Introduction Finite Model Generation Proof-Producing SAT Solvers Satisfiability Modulo Theories Finite Model Generation, Proof-Producing

Source URL: user.it.uu.se

• Theoretical computer science
• Logic
• Mathematical logic
• Logic in computer science
• Formal methods
• Electronic design automation
• NP-complete problems
• Constraint programming
• Satisfiability modulo theories
• Satisfiability
• Propositional calculus
• Solver

MuJoCo: A physics engine for model-based control Emanuel Todorov, Tom Erez and Yuval Tassa University of Washington Abstract— We describe a new physics engine tailored to model-based control. Multi-joint dynamics are r

Source URL: homes.cs.washington.edu

• Mathematical optimization
• Mechanics
• Physics
• Dynamical systems
• Mechanical engineering
• Contact dynamics
• Linear complementarity problem
• Multibody system
• Trajectory optimization
• Constraint
• Degrees of freedom
• Inverse dynamics

Model Checking Gene Regulatory Networks ? Mirco Giacobbe∗ , C˘alin C. Guet∗ , Ashutosh Gupta∗† , Thomas A. Henzinger∗ , Tiago Paix˜ao∗ , and Tatjana Petrov∗

Source URL: pub.ist.ac.at

• Mathematical analysis
• Probability theory
• Statistical theory
• Evolutionary developmental biology
• Gene expression
• Gene regulatory network
• Networks
• Systems biology
• Linear temporal logic
• Normal distribution
• Model theory

Robotic control through model-free reinforcement learning Hofer Ludovic 1 Introduction

Source URL: icaps16.icaps-conference.org

• Machine learning algorithms
• Applied mathematics
• Computational neuroscience
• Artificial intelligence
• Belief revision
• Reinforcement learning
• Mathematics
• Artificial neural network
• Algorithm

Closed-loop quantitative verification of rate-adaptive pacemakers Marta Kwiatkowska1, Nicola Paoletti2, Andrea Patanè1 1) University of Oxford (UK); 2) Stony Brook University (USA) Closed-loop model

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

• Cardiac electrophysiology
• Medicine
• Physiology
• Circulatory system
• Artificial cardiac pacemaker
• QT interval
• Electrocardiography
• Heart arrhythmia
• Cardiac pacemaker
• Atrioventricular block
• Pacing

PDF Document

Source URL: www.geosci-model-dev-discuss.net

PDF Document

Source URL: ig-model.com

PDF Document

Source URL: www.model-un.de

PDF Document

Source URL: www.geosci-model-dev-discuss.net

PDF Document

Source URL: www.geosci-model-dev.net