Counterexample-guided Refinement of Template Polyhedra Sergiy Bogomolov12, Goran Frehse3, Mirco Giacobbe2, and Thomas A. Henzinger2 1 3

Source URL: repository.ist.ac.at

• Algebra
• Mathematics
• Convex geometry
• Linear algebra
• Convex analysis
• Convex cone
• Abstract interpretation
• Octahedron
• Polyhedron
• Linear programming
• Linear inequality
• Convex set

Solvency Markov Decision Processes with Interest Tomáš Brázdil∗1 , Taolue Chen2 , Vojtěch Forejt†3 , Petr Novotný1 , and Aistis Simaitis3 1 2 3

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

• Mathematics
• Mathematical analysis
• Dynamic programming
• Markov processes
• Stochastic control
• Probability
• Markov decision process
• Sigma-algebra
• P versus NP problem
• Reinforcement learning

Selecting the Selection? Kryˇstof Hoder, Giles Reger1 , Martin Suda1 , and Andrei Voronkov1,2,3 1 2

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

• Logic
• Automated theorem proving
• Propositional calculus
• Mathematical logic
• Logic programming
• Mathematics
• Rules of inference
• Resolution
• Clause
• Literal
• Unit propagation
• E theorem prover

Code-Carrying Authorization Sergio Maffeis2,3 , Mart´ın Abadi1,2 , C´edric Fournet1 , and Andrew D. Gordon1 1 2

Source URL: www.doc.ic.ac.uk

• Process calculi
• Theoretical computer science
• -calculus
• Expected value
• Mathematics
• Creativity
• Abstraction

EFFECTS OF SLEEP DEPRIVATION ON LEARNING SYSTEMS The Effects of Sleep Deprivation on Dissociable Prototype Learning Systems W. Todd Maddox, PhD1-3; Brian D. Glass, MA1; Dagmar Zeithamova, PhD2; Zachary R. Savarie, BA4;

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

• Neuroscience
• Cognitive science
• Neuropsychology
• Mental processes
• Neuropsychological assessment
• Memory
• Sleep
• Perception
• Sleep deprivation
• Perceptual learning
• Procedural memory
• Attention

Testing a Saturation-Based Theorem Prover: Experiences and Challenges? Giles Reger1 , Martin Suda2 , and Andrei Voronkov1,3,4 1 3

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

• Theoretical computer science
• Formal methods
• Mathematics
• Logic in computer science
• Mathematical logic
• Automated theorem proving
• School of Computer Science
• University of Manchester
• Automated reasoning
• Formal verification
• E theorem prover
• IP
• Satisfiability modulo theories

Towards Strong Higher-Order Automation for Fast Interactive Verification Jasmin Christian Blanchette1,2,3 , Pascal Fontaine3 , Stephan Schulz4 , and Uwe Waldmann2 1

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

• Theoretical computer science
• Software engineering
• Mathematical software
• Formal methods
• Proof assistants
• Logic in computer science
• Automated theorem proving
• Isabelle
• Automated reasoning
• E theorem prover
• Formal verification
• KeY

Haptic SLAM: an ideal observer model for Bayesian inference of object shape and hand pose from contact dynamics Feryal M. P. Behbahani1 , Guillem Singla–Buxarrais2 and A. Aldo Faisal1,2,3 1

Source URL: spiral.imperial.ac.uk

• Humancomputer interaction
• Artificial intelligence
• Robot control
• Virtual reality
• Multimodal interaction
• Video game controllers
• Robot navigation
• Haptic technology
• Haptic perception
• Simultaneous localization and mapping
• Occupancy grid mapping
• Kalman filter

PDF Document

Source URL: anrdw-3.knu.ac.kr

PDF Document

Source URL: anrdw-3.knu.ac.kr