Symbolic Magnifying Lens Abstraction in Markov Decision Processes Pritam Roy1 David Parker2 Gethin Norman2 Luca de Alfaro1 Computer Engineering Dept, UC Santa Cruz, Santa Cruz, CA, USA 1 Oxford University Computing Labor

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

• Mathematics
• Dynamic programming
• Markov decision process
• Stochastic control
• Probability
• Mathematical analysis
• Reachability

Static Analysis and Runtime-Assertion Checking: Contribution to Security Counter-Measures Dillon Pariente1 and Julien Signoles2 1

Source URL: julien.signoles.free.fr

• Software engineering
• Computing
• Computer programming
• Program analysis
• Object-oriented programming languages
• Frama-C
• Software testing
• Static program analysis
• Abstract interpretation
• OCaml
• Type system
• Formal methods

Controller synthesis for MDPs and Frequency LTL\GU Vojtˇech Forejt1 , Jan Krˇc´al2 , and Jan Kˇret´ınsk´ y3 1

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

• Temporal logic
• Linear temporal logic
• Theoretical computer science
• Symbol
• Mathematical logic
• Computation tree logic

To appear in ACM TOGVizGen: Accelerating Visual Computing Prototypes in Dynamic Languages Yuting Yang1 1 ours

Source URL: www.connellybarnes.com

• Software engineering
• Computing
• Computer programming
• Compiler optimizations
• Compiler construction
• Object-oriented programming languages
• Programming language implementation
• High-level programming languages
• Optimizing compiler
• Compiler
• Automatic parallelization
• Array data type

Journal of Experimental Psychology: General © 2018 American Psychological Association/$, Vol. 1, No. 999, 000 http://dx.doi.orgxge0000417

Source URL: saxelab.mit.edu

• Neuroscience
• Human behavior
• Cognitive science
• Cognition
• Cognitive neuroscience
• Neural coding
• Interpersonal relationships
• Philosophy of mind
• Dehumanization
• Functional magnetic resonance imaging
• Consciousness
• Asexuality

MONEY SERVICES BUSINESS REGISTRATION FACT SHEET The Bank Secrecy Act (BSA)1 requires certain money services businesses (MSBs) to register with the Financial Crimes Enforcement Network (FinCEN), of the U.S. Department of

Source URL: www.fincen.gov

• Economy
• Money
• Finance
• Terrorism
• Money laundering
• Money transmitter
• Money services business
• Financial Crimes Enforcement Network
• MSB
• Bank Secrecy Act

Proving Non-termination Using Max-SMT? Daniel Larraz1 , Kaustubh Nimkar2 , Albert Oliveras1 , Enric Rodr´ıguez-Carbonell1 , and Albert Rubio1 1 Universitat Polit`ecnica de Catalunya, Barcelona

Source URL: www.lsi.upc.edu

• Mathematical analysis
• Ergodic theory
• Differential topology
• Mathematics
• Computability theory
• Lie algebras
• Non-associative algebras
• Hopf decomposition
• Orbifold

10579_2007_9017_41_1-web

Source URL: www.ryannorth.ca

• Linguistics
• Parts of speech
• Syntax
• Grammar
• English grammar
• Light verb
• Semantics
• Verb
• Predicate
• Argument
• Idiom
• Copula

Survey of Burma/Myanmar Public Opinion March 9 – April 1, 2017 Detailed Methodology •

Source URL: www.iri.org

• Survey methodology
• Measurement
• Sampling
• Response rate
• Scientific method

1 Yhä useampi suomalainen käyttää luomua Luomua syödään myös muissa Pohjoismaissa Vuonna 2016 luomuun

Source URL: www.mtk.fi