Alignment-based Translations Across Formal Systems Using Interface Theories Dennis M¨uller Colin Rothgang

Source URL: pxtp.github.io

• Logic
• Mathematical logic
• Abstraction
• Formal languages
• Syntax
• Formal systems
• Proof assistants
• Type theory
• Metamath
• Formal proof
• Theory
• OMDoc

1 Annotation inference for modular checkers Cormac Flanagan, Rajeev Joshi, and K. Rustan M. Leino Compaq Systems Research Center, 130 Lytton Ave., Palo Alto, CA 94301, U.S.A.

Source URL: rjoshi.org

• Software engineering
• Formal methods
• Mathematical logic
• Type theory
• Theoretical computer science
• Type systems
• Edsger W. Dijkstra
• Predicate transformer semantics
• Extended static checking
• ESC/Java
• Type inference
• HindleyMilner type system

Quantitative Verification and Strategy Synthesis for Stochastic Games M´aria Svoreˇnov´a and Marta Kwiatkowska Abstract— Design and control of computer systems that operate in uncertain, competitive or adversarial,

Source URL: www.prismmodelchecker.org

• Mathematical analysis
• Mathematics
• Measure theory
• Boolean algebra
• Experiment
• Sigma-algebra
• Determinacy
• Stochastic game
• Linear temporal logic
• Markov chain
• Markov decision process

66 IEEE TRANSACTIONS ON HUMAN-MACHINE SYSTEMS, VOL. 46, NO. 1, FEBRUARY 2016 The GRASP Taxonomy of Human Grasp Types Thomas Feix, Javier Romero, Heinz-Bodo Schmiedmayer, Aaron M. Dollar, and Danica Kragic

Source URL: www.is.mpg.de

• Metaphysics
• Learning
• Child development
• Grasp
• Ontology
• Aptitude
• Motor control
• Motor skills
• Palmar grasp reflex
• Fine motor skill
• Thumb
• Taxonomy

Specification Revision for Markov Decision Processes with Optimal Trade-off M. Lahijanian and M. Kwiatkowska Abstract— Optimal control policy synthesis for probabilistic systems from high-level specifications is increa

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

• Logic
• 120-cell
• Linear temporal logic
• Substitution
• Markov decision process
• Symbol
• Theoretical computer science
• Mathematical logic

SoK: Making Sense of Censorship Resistance Systems That CRS SoK paper at PETS Sheharbano Khattak1, Tariq Elahi2, Laurent Simon1, Colleen M. Swanson3, Steven J. Murdoch4, Ian Goldberg5 1: University of Cambridge, 2: KU Le

Source URL: sheharbano.com

• Compagnies Rpublicaines de Scurit
• National Police

Exploring Limits to Prediction in Complex Social Systems Jake M. Hofman Travis Martin University of Michigan

Source URL: gdac.uqam.ca

• Software
• Computing
• Digital media
• Social media
• Social networking services
• Business intelligence
• Real-time web
• Text messaging
• Twitter
• Predictive modelling
• Prediction
• Instagram

Quantitative Verification and Strategy Synthesis for Stochastic Games M´aria Svoreˇnov´a and Marta Kwiatkowska Abstract— Design and control of computer systems that operate in uncertain, competitive or adversarial,

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

• Mathematical analysis
• Mathematics
• Measure theory
• Boolean algebra
• Experiment
• Sigma-algebra
• Determinacy
• Stochastic game
• Linear temporal logic
• Markov chain
• Markov decision process

METR.systems  M-Gate | ​DATA SHEET  KEY FEATURES  ● Open system gateway for wired and wireless M-Bus/ OMS ● Reads common submetering network nodes via wired/wireless M-Bus

Source URL: metr.systems

• Computing
• Computer buses
• Wireless networking
• Computer network
• Telecommunications engineering
• Meter-Bus
• Information and communications technology
• USB
• Internet access
• Utility submeter
• IEEE 802.3
• Technology

METR.systems M-Gate 1.0 | ​DATENBLATT HAUPTFUNKTIONEN ● Gateway mit wired und wireless M-Bus   ● Auslese von Submetering Netzwerkknoten über wired/wireless M-Bus 

Source URL: metr.systems