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

healthbank Charter At healthbank we hold the following core values as inalienable : 1. Our users have the right to own and control their health data. 2. Our users have the option to share their data with health care prof

Source URL: www.healthbank.coop

Nickel: A Framework for Design and Verification of Information Flow Control Systems Helgi Sigurbjarnarson, Luke Nelson, Bruno Castro-Karney, James Bornholt, Emina Torlak, Xi Wang University of Washington

Source URL: unsat.cs.washington.edu

• Formal methods
• Software engineering
• Computing
• Logic in computer science
• Non-interference
• Exception handling
• Formal verification
• Refinement
• Thread
• Futures and promises
• Covert channel
• Application programming interface

AerieTM 16 Clutch Teradactyl® provides clients with Enterprise Department Backup solutions in a simple 3U rack mounted configuration. Enjoy the same capabilities as larger central IT services and maintain control of yo

Source URL: www.teradactyl.com

• Backup software
• System software
• Utility software
• Computing
• Backup
• Incremental backup
• NetApp
• Veeam Backup & Replication
• Backup Exec

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

A Declarative and Expressive Approach to Control Forwarding in Carrier-Grade Networks Stefano Vissicchio UCLouvain

Source URL: inl.info.ucl.ac.be

• Computing
• Network architecture
• Information and communications technology
• Emerging technologies
• OpenFlow
• Computer networking
• Scalability
• Control theory
• Frenetic
• Software-defined networking
• Network function virtualization

Occipital Cortex of Blind Individuals Is Functionally Coupled with Executive Control Areas of Frontal Cortex Ben Deen, Rebecca Saxe, and Marina Bedny Abstract

Source URL: saxelab.mit.edu

• Brain
• Cerebrum
• Neuroscience
• Neuroimaging
• Magnetic resonance imaging
• Frontal lobe
• Resting state fMRI
• Occipital lobe
• Human brain
• Auditory cortex
• Inferior temporal gyrus
• Functional magnetic resonance imaging

Do Not Pay (DNP) Quick Reference Card Frequently Asked Questions What is OFAC? The Office of Foreign Assets Control of the Department of the Treasury is responsible for the administration and enforcement of economic and

Source URL: donotpay.treas.gov

• International sanctions
• Office of Foreign Assets Control
• Union of Good
• International relations
• IranUnited States relations
• Informal value transfer systems

Efficient RAM and control flow in verifiable outsourced computation Riad S. Wahby⋆ , Srinath Setty† , Zuocheng Ren† , Andrew J. Blumberg† , and Michael Walfish⋆ ⋆ †

Source URL: www.pepper-project.org

Control-plane Isolation and Recovery for a Secure SDN Architecture Takayuki Sasaki Daniele E. Asoni

Source URL: www.netsec.ethz.ch

• Computing
• System software
• Network architecture
• Computer architecture
• Emerging technologies
• OpenFlow
• Software-defined networking
• Transaction processing
• Nox
• Network function virtualization
• LXC
• Network switch