Optimizing S-box Implementations for Several Criteria using SAT Solvers Ko Stoffelen Goal

Source URL: ko.stoffelen.nl

• Logic gates
• XNOR gate
• Circuit

Isomer Info Sheet   Isomer is a lightweight solution for Singapore Government informational services that  employs UX best practices.    The goal of Isomer is three-fold: 

Source URL: isomer.gov.sg

• World Wide Web
• Web development
• Web 1.0
• Web hosting
• Static web page
• Website
• Webs
• GitHub Pages
• Web application
• Jekyll

2015 Forth Day Programming Challenge Chen-Hanson Ting The goal of this programming challenge is to generate the best images on an 8x8 LED array. The LED array is from Jameco, ValuePro LD788BS. It is mounted on a shield t

Source URL: www.forth.org

• Microcontrollers
• Computing
• Electronics
• Arduino
• Software engineering
• Physical computing
• ATmega328
• Forth
• Comparison of single-board microcontrollers

ZKProof Charter Boston, May 10th and 11th 2018 The goal of the ZKProof Standardardization effort is to advance the use of Zero Knowledge Proof technology by bringing together experts from industry and academia. To furthe

Source URL: zkproof.org

• Information science
• Social media
• Computing
• World Wide Web
• Twitter
• Computer jargon
• Hashtag
• Knowledge representation
• Web 2.0
• Technology

Denali: A Goal-directed Superoptimizer Rajeev Joshi Greg Nelson ∗

Source URL: rjoshi.org

• Theoretical computer science
• Logic
• Mathematical logic
• Formal methods
• Boolean algebra
• NP-complete problems
• Logic in computer science
• Propositional calculus
• Algorithm
• Boolean satisfiability problem
• NP
• Modal logic

Abstract The AdEx team is building the next generation online ad exchange that is based on blockchain technology. Our goal is to provide a more efficient, intuitive and transparent advertising platform. Our aim is to di

Source URL: www.adex.network

• Marketing
• Online advertising
• Cryptocurrencies
• Advertising
• Market economics)
• Targeted advertising
• Blockchain
• Bitcoin
• Ad serving
• Ethereum
• Advertising network
• ternity

NEARBY SLOPES AND BOUNDEDNESS FOR `-ADIC SHEAVES IN POSITIVE CHARACTERISTIC by Jean-Baptiste Teyssier Abstract. — The goal of this paper is to motivate a boundedness conjecture for

Source URL: jbteyssier.com

• Algebra
• Abstract algebra
• Ring theory
• Algebraic number theory
• Field theory
• Complex analysis
• Algebraic topology
• Ramification
• Conductor
• Valuation
• Proper morphism
• Field extension

SoK: Science, Security, and the Elusive Goal of Security as a Scientific Pursuit Cormac Herley P.C. van Oorschot

Source URL: www.microsoft.com

• Philosophy
• Epistemology
• Philosophy of science
• Epistemology of science
• Analytic philosophy
• Scientific method
• Falsifiability
• Science
• Hypothetico-deductive model
• Scientific theory
• Occam's razor
• Theory

Ternion Executive Business Summary Ternion Mission With Ternion, our goal is to build a reliable bridge to connect modern financial realities with the decentralized financial systems of the future, facilitating practica

Source URL: ternion.io

• Cryptocurrencies
• Economy
• Money
• Alternative currencies
• Finance
• Digital currencies
• Financial technology
• Stablecoin
• Blockchains
• Bitcoin
• Counterparty
• Initial coin offering

Third Workshop on Script to Program Evolution STOP 2012 This year marks the third edition of the STOP workshop series, and a colocation with ECOOP and PLDI in Beijing, China. For this year’s STOP, the goal was to take

Source URL: homes.sice.indiana.edu