66 IEEE TRANSACTIONS ON HUMAN-MACHINE SYSTEMS, VOL. 46, NO. 1, FEBRUARY 2016 The GRASP Taxonomy of Human Grasp Types Thomas Feix, Javier Romero, Heinz-Bodo Schmiedmayer, Aaron M. Dollar, and Danica Kragic

Source URL: www.is.mpg.de

• Metaphysics
• Learning
• Child development
• Grasp
• Ontology
• Aptitude
• Motor control
• Motor skills
• Palmar grasp reflex
• Fine motor skill
• Thumb
• Taxonomy

Gemeinsame Verwaltung / Joint Administration Geschäftsführer V&T / General Manager Volker Maria Geiss + Übersetzung

Source URL: www.mpi-klsb.mpg.de

Better Answers to Real Questions Thomas Sturm, Joint Work with M. Košta and A. Dolzmann SMT 2014, Vienna, 18 Julyhttp://www.mpi-inf.mpg.de/~sturm/

Source URL: smt2014.it.uu.se

(Mostly Real) Quantifier Elimination Thomas Sturm AVACS Autumn School, Oldenburg, Germany, October 1, 2015 http://www.mpi-inf.mpg.de/~sturm/

Source URL: www.avacs.org

• Mathematical logic
• Mathematics
• Logic
• Model theory
• Predicate logic
• Quantification
• Quantifier
• First-order logic
• Definable set
• FO
• Grbner basis
• Real closed field

Suggesting Valid Hole Fits for Typed-Holes (Experience Report) Matthías Páll Gissurarson Chalmers University of Technology, Sweden

Source URL: mpg.is

• Software engineering
• Programming language theory
• Computing
• Type theory
• Data types
• Functional languages
• Type systems
• Lambda calculus
• HindleyMilner type system
• Haskell
• Agda
• Dependent type

PDF Document

Source URL: www.imprs.econ.mpg.de

PDF Document

Source URL: www.imprs-uncertainty.mpg.de

PDF Document

Source URL: www.kyb.tuebingen.mpg.de

PDF Document

Source URL: w0.rz-berlin.mpg.de

PDF Document

Source URL: www.mpi-inf.mpg.de