Déjà Q: Using Dual Systems to Revisit q-Type Assumptions Melissa Chase (MSR Redmond) Sarah Meiklejohn (UC San Diego → University College London)

Source URL: smeiklej.com

• Cryptography
• Public-key cryptography
• Pairing-based cryptography
• Elliptic curve cryptography
• Pairing
• IBE

LMS-Verify: Abstraction without Regret for Verified Systems Programming Nada Amin∗ Tiark Rompf †

Source URL: lampwww.epfl.ch

Abstract Interpretation over Non-Lattice Abstract Domains Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, and Peter J. Stuckey Department of Computing and Information Systems, The University of Melbour

Source URL: jorgenavas.github.io

• Mathematics
• Order theory
• Algebra
• Abstract algebra
• Lattice theory
• Lattice
• Partially ordered set
• KnasterTarski theorem
• Complete lattice
• Binary relation
• Join and meet
• Monotonic function

Formal Systems 2 P. H. Schmitt May 2016 Contents Contents . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Source URL: formal.iti.kit.edu

• Logic
• Mathematical logic
• Metaphysics
• Predicate logic
• Metalogic
• Propositional calculus
• Non-classical logic
• First-order logic
• Second-order logic
• Tautology
• Modal logic
• Well-formed formula

Appeared in Proceedings of the Fourth Symposium on Operating Systems Design and Implementation (OSDI 2000), pages 347–360, San Diego, CA, October 23–25, 2000. Knit: Component Composition for Systems Software Alastair

Source URL: www.cs.utah.edu

• Software engineering
• Computer programming
• Computing
• Object-oriented programming
• Component-based software engineering
• Inter-process communication
• C++
• Component Object Model
• Inline function
• ECO
• Scope
• C standard library

Verification of Fault-Tolerant Protocols with Sally Bruno Dutertre, Dejan Jovanovi´c, and Jorge A. Navas Computer Science Laboratory, SRI International Abstract. Sally is a model checker for infinite-state systems that

Source URL: jorgenavas.github.io

• Algorithm
• Mathematical logic
• Theoretical computer science
• IP
• Model checking
• Mathematics
• Machine learning

InsFtute
of
Molecular
Systems
Biology

 Accelerating 3D Protein Modeling Using Cloud Computing 
 Lars
Malmström,
Ruedi
Aebersold
–
ETH
Zürich,
IMSB
h?p://www.imsb.ethz.ch
 Wibke
Sud

Source URL: www.cloudbroker.com

• Cloud infrastructure
• IBM cloud computing
• Computing
• Cloud computing

Fast Exhaustive Search for Quadratic Systems in F2 on FPGAs∗ Charles Bouillaguet1 , Chen-Mou Cheng2 , Tung Chou3 , Ruben Niederhagen4 , and Bo-Yin Yang4 1

Source URL: precision.moscito.org

• Computing
• Computer programming
• Mathematics
• Equations
• Elementary algebra
• Hardware acceleration
• Arrays
• Computer performance
• Lookup table
• Quadratic
• Field-programmable gate array
• Equation solving

Optimal Multi-Valued LTL Planning for Systems with Access Right Levels Mohammad Hekmatnejad, and Georgios Fainekos Abstract— We propose a method for optimal Linear Temporal Logic (LTL) planning under incomplete or unce

Source URL: www.public.asu.edu

• Temporal logic
• Algebraic structures
• Mathematics
• Mathematical logic
• Theoretical computer science
• Linear temporal logic
• Logic in computer science
• Computation tree logic
• MVS
• Boolean domain
• Boolean algebra
• Finite-state machine

The future is here Project Ubin: SGD on Distributed Ledger A report developed with the contributions of Bank of America Merrill Lynch, BCS Information Systems, Credit Suisse, DBS Bank, HSBC, J.P. Morgan, Mitsubishi UFJ F

Source URL: www.mas.gov.sg

• Blockchains
• Cryptocurrencies
• Concurrent computing
• Computing
• Economy
• Alternative currencies
• Bitcoin
• Distributed computing
• Distributed ledger
• R3
• DLT
• Digital currency