Sleep Deprivation and Information Integration The Effects of Sleep Deprivation on Information-Integration Categorization Performance W. Todd Maddox, PhD1,2; Brian D. Glass, BS1; Sasha M. Wolosin, BS1; Zachary R. Savarie

Source URL: www.homepages.ucl.ac.uk

• Cognitive science
• Neuroscience
• Neuropsychology
• Sleep
• Memory
• Sleep deprivation
• Procedural memory
• Motor learning
• Sleep in non-human animals
• Effects of sleep deprivation on cognitive performance
• Sleep and memory

Probabilistic Model Checking Christel Baier, Luca de Alfaro, Vojtˇech Forejt, and Marta Kwiatkowska Abstract The model-checking approach was originally formulated for verifying qualitative properties of systems, for exa

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

• Temporal logic
• Theoretical computer science
• Probability
• Markov decision process
• Markov chain
• Probabilistic CTL
• Linear temporal logic
• Computation tree logic
• PL

24 Challenges in Deductive Software Verification∗ Reiner H¨ahnle1 and Marieke Huisman2 1 2 Technische Universit¨

Source URL: www.cs.man.ac.uk

• Theoretical computer science
• Formal methods
• Logic in computer science
• Computing
• Software engineering
• Electronic engineering
• Software testing
• Formal verification
• Runtime verification
• Software verification
• Java Modeling Language
• Verification

Syntax-Guided Optimal Synthesis for Chemical Reaction Networks∗ ˇ ska3 Martin Fr¨anzle4 , Marta Kwiatkowska2 , Luca Cardelli1,2 , Milan Ceˇ 2 Luca Laurenti , Nicola Paoletti5 , and Max Whitby2

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

• Mathematical analysis
• Mathematics
• Distribution
• Functional analysis
• Markov chain

The Potential of Interference-Based Proof Systems Marijn J.H. Heule1 and Benjamin Kiesl2 1 2 Department of Computer Science, The University of Texas at Austin

Source URL: www.cs.man.ac.uk

• Logic
• Mathematical logic
• Mathematics
• Propositional calculus
• Logical truth
• Logic in computer science
• Syntax
• Automated theorem proving
• Resolution
• Frege system
• Boolean satisfiability problem
• First-order logic

Incremental Runtime Verification of Probabilistic Systems Vojtˇech Forejt1 , Marta Kwiatkowska1 , David Parker2 , Hongyang Qu1 , and Mateusz Ujma1 1

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

• Theoretical computer science
• Probability
• Formal methods
• Logic in computer science
• Model checkers
• Dynamic programming
• Stochastic control
• Model checking
• Markov decision process
• PRISM model checker
• Verification
• Runtime verification

54th Annual Conference of the Royal Musical Association University of Bristol, Department of Music – Programme overview without abstracts – Thursday, 13th September:30 am – 5:00 pm: Registration (Foyer)

Source URL: www.bristol.ac.uk

Beyond the Best: Real-Time Non-Invasive Collection of BGP Messages Stefano Vissicchio Luca Cittadini Maurizio Pizzonia Luca Vergantini Valerio Mezzapesa

Source URL: www0.cs.ucl.ac.uk

• Internet architecture
• Computing
• Internet
• Network architecture
• Routing
• Internet Standards
• Internet protocols
• Border Gateway Protocol
• Router
• Default-free zone
• IP routing
• Control plane

A Case for Query-driven Predicate Answer Set Programming (Position Paper) Gopal Gupta Elmer Salazar, Kyle Marple, Zhuo Chen, Farhad Shakerin Department of Computer Science The University of Texas at Dallas

Source URL: www.cs.man.ac.uk

• Artificial intelligence
• Logic
• Logic programming
• Declarative programming
• Automated reasoning
• Programming paradigms
• Automated theorem proving
• Answer set programming
• Reasoning system
• Stable model semantics
• Prolog
• Inference

1 “I Can’t Get No Satisfaction”: Helping Autonomous Systems Identify Their Unsatisfied Inter-domain Interests Juan Camilo Cardona, Stefano Vissicchio, Paolo Lucente, and Pierre Francois

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