A Trusted Mechanised JavaScript Specification Martin Bodin Arthur Charguéraud Daniele Filaretti

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

NBER WORKING PAPER SERIES OF MICE AND MERCHANTS: TRADE AND GROWTH IN THE IRON AGE Jan David Bakker Stephan Maurer

Source URL: econ.lse.ac.uk

• Western Asia
• Holocene
• Geography of North Africa
• Geography of Asia
• Ancient Near East
• 2nd millennium BC
• Bronze Age
• Mediterranean Sea
• Phoenicia
• Trade route
• Minoan civilization
• Aegean civilizations

Ivy: Interactive Verification of Parameterized Systems via Effectively Propositional Reasoning Abstract annotate the system with an inductive invariant and use an

Source URL: www.cs.tau.ac.il

WhatsApp, Doc? A First Look at WhatsApp Public Group Data∗ Kiran Garimella Gareth Tyson

Source URL: www.eecs.qmul.ac.uk

• Software
• Computing
• Digital media
• Online chat
• Social media
• Instant messaging clients
• Text messaging
• Social networking services
• WhatsApp
• Messaging apps
• SMS
• Instant messaging

PDF Document

Source URL: dream.inf.ed.ac.uk

• Automated theorem proving
• Heuristics
• Rippling
• Mathematical proof
• Cognition
• Knowledge
• Epistemology

PDF Document

Source URL: www.cl.cam.ac.uk

• Algebra
• Abstract algebra
• Mathematics
• Semigroup theory
• Algebraic structures
• Monoid
• Semigroup
• Inverse element
• Constructible universe
• Ordinal number
• Variety of finite semigroups
• Special classes of semigroups

Continuous-Time Stochastic Games with Time-Bounded ReachabilityI Tom´ aˇs Br´ azdil, Vojtˇech Forejt1 , Jan Krˇc´al, Jan Kˇret´ınsk´ y2,∗, Anton´ın Kuˇcera

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

• Mathematics
• Mathematical analysis
• Abstract algebra
• Geometric group theory
• Measure theory
• Group theory
• Boolean algebra
• Experiment
• Sigma-algebra
• Determinacy
• Kazhdan's property
• Building

PDF Document

Source URL: www.cl.cam.ac.uk

• Logic
• Mathematical logic
• Mathematics
• Predicate logic
• Quantification
• Model theory
• Free variables and bound variables
• Mathematical notation
• Skolem normal form
• Universal quantification
• Counterexample
• Expected value

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

Planning and Patching Proofs: Exercise Solutions Lucas Dixon and Alan Bundy August 26, 2010 1

Source URL: dream.inf.ed.ac.uk

• Operator theory
• Harmonic analysis
• Mathematics
• Partial differential equations
• Morphism of algebraic varieties
• Beltrami equation