A Large Public Corpus of Web Tables containing Time and Context Metadata Oliver Lehmberg, Dominique Ritze, Robert Meusel, Christian Bizer Data and Web Science Group, University of Mannheim, Mannheim, Germany {oli,domini

Source URL: gdac.uqam.ca

• Data management
• Computing
• Data modeling
• Data
• Join
• Table
• DBpedia
• Database
• Dimension
• Data model
• Unique key

(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

Probabilistic Counterexamples Albert-Ludwigs-Universität Freiburg Ralf Wimmer Albert-Ludwigs-Universität Freiburg, Germany

Source URL: www.avacs.org

• Markov models
• Probability
• Markov processes
• Dynamic programming
• Markov decision process
• Stochastic control
• Markov chain
• Stochastic matrix
• Model checking

Technical Meeting of Repository Networks May 14 & 15, Hamburg, Germany On May 14 & 15, COAR will host a meeting of repository networks to discuss services and technologies of networks around the world. Repository

Source URL: www.coar-repositories.org

• Academic publishing
• Publishing
• Knowledge
• Information
• Institutional repository
• Open access
• COnnecting REpositories
• Interoperability

Kundenorientierte Outsourcing-Services für Banken Banken und Finanzdienstleister sehen sich durch das Zusammenwachsen des europäischen Bankenmarktes mit einer Erhöhung des Wettbewerbsdrucks konfrontiert. Eine bedarfs-

Source URL: www.fis-germany.de

Libraries as Curators of Open Citations Perspectives of the Project LOC-DB in Germany Anne Lauscher, Kai Eckert, Lukas Galke, Ansgar Scherp, Syed Tahseen Raza Rizvi, Sheraz Ahmed, Andreas Dengel, Philipp Zumstein, Annett

Source URL: workshop-oc.github.io

• Information science
• Information
• Library science
• Business intelligence
• Data management
• Knowledge representation
• Records management
• Cataloging
• Library

Dissertation Abstract: Numeric Planning Johannes Aldinger Albert-Ludwigs-Universit¨at Freiburg Institut f¨ur Informatik Georges-K¨ohler-AlleeFreiburg, Germany

Source URL: icaps16.icaps-conference.org

• Automated planning and scheduling
• Planning Domain Definition Language
• Mathematics
• Heuristic
• Search algorithm
• Algorithm
• Equation solving
• Philosophy of mathematics
• Abstraction

Regulation of Drones Australia • Canada • China • France • Germany • Israel Japan • New Zealand • Poland • South Africa Sweden • Ukraine • United Kingdom European Union

Source URL: www.loc.gov

• Unmanned aerial vehicles
• Robotics
• Avionics
• Pilot licensing and certification
• Aviation
• Technology
• Control engineering
• Regulation of unmanned aerial vehicles
• Unmanned aircraft in Singapore

SMT Workshop’07 5th International Workshop on Satisfiability Modulo Theories (Previously called PDPAR: Pragmatics of Decision Procedures in Automated Reasoning) Affiliated with CAV’07 Berlin, Germany, 1-2 July 2007

Source URL: www.lsi.upc.edu

• Theoretical computer science
• Logic in computer science
• Formal methods
• Logic
• Constraint programming
• Electronic design automation
• Satisfiability modulo theories
• Formal verification
• SMT
• Automated reasoning
• Satisfiability