SMT Beyond DPLL(T): A New Approach to Theory Solvers and Theory Combination by Dejan Jovanovi´c

Source URL: csl.sri.com

• Theoretical computer science
• Mathematical logic
• Mathematics
• Formal methods
• Logic in computer science
• Computability theory
• Electronic design automation
• NP-complete problems
• Satisfiability modulo theories
• Solver
• Entscheidungsproblem
• Decidability

c Copyright 2014 Tom Bergan Avoiding State-Space Explosion in Multithreaded Programs with

Source URL: homes.cs.washington.edu

• Abstract interpretation
• Computer science
• Symbolic execution
• Thread
• Algorithm
• Computing
• Electrical engineering
• Computer engineering

C HAINIAC: Proactive Software-Update Transparency via Collectively Signed Skipchains and Verified Builds Kirill Nikitin1 , Eleftherios Kokoris-Kogias1 , Philipp Jovanovic1 , Linus Gasser1 , Nicolas Gailly1 , Ismail Khoff

Source URL: eprint.iacr.org

• Computer architecture
• System software
• Debian
• Free software
• Arch Linux
• Ubuntu
• Package manager
• APT
• Bitcoin
• Justin Cappos
• Software
• Code signing

PROLONGEMENT DES FONCTIONS CONVEXES YVES DE CORNULIER ET ROMAIN TESSERA 1 Dans tout ce papier, C d´esignera un convexe ouvert non vide d’un espace vectoriel r´eel de dimension d, et K = C est son adh´erence.

Source URL: www.normalesup.org

Synthesis and verification of self-aware systems Radu Calinescu, Marco Autili, Javier C´amara, Antinisca Di Marco, Simos Gerasimou, Paola Inverardi, Alexander Perucci, Nils Jansen, Joost-Pieter Katoen, Marta Kwiatkowska

Source URL: qav.comlab.ox.ac.uk

• Computing
• Electronic engineering
• Theoretical computer science
• Electronic design automation
• Service choreography
• Formal verification
• Orchestration
• Autonomic computing
• Transition
• Business Process Execution Language
• High-level synthesis
• Systems engineering

ISSN • 2005 • 2,50 EUR Postvertriebsstück C11301F die datenschleuder. #87 C

Source URL: ds.ccc.de

playing a role in VWM or claim that online perceptual processing exclusively involves early sensory cortex; neither does it make any specific claim about

Source URL: saxelab.mit.edu

• Brain
• Cerebrum
• Nervous system
• Cerebral cortex
• Cognition
• Philosophy of mind
• Neural coding
• Materialism
• Neural correlate
• Visual cortex
• Prefrontal cortex
• Sensory processing

Patrick McCorry - C.V. Research Interests

Source URL: homepages.cs.ncl.ac.uk

• Cryptocurrencies
• Computing
• Bitcoin
• Economy
• Money
• Decentralization
• Financial technology
• Alternative currencies
• Blockchain
• CICS
• Ledger

c Cambridge University Press 2011 JFP 21 (4 & 5): 467–496, 2011.  467 doi:S0956796811000153 First published online 29 June 2011

Source URL: thev.net

• Mathematics
• Algebra
• Lambda calculus
• Category
• Function
• Monad
• Arrow
• Morphism
• Sheaf
• Combinatory logic
• Functor
• Commutative property

C ELEB RAT I N GY E A RS O F KARL MARX

Source URL: panmacmillan.co.in

• Philosophy
• Atheism
• Criticism
• Deconstruction
• Guggenheim Fellows
• Postcolonial literature
• Marxist theorists
• Fellows of the British Academy
• Cultural studies
• Terry Eagleton
• Edward Said
• Jean-Paul Sartre