Under consideration for publication in Theory and Practice of Logic Programming 1 Clingo = ASP + Control: Preliminary Report Martin Gebser1,2 , Roland Kaminski2 , Benjamin Kaufmann2 , and Torsten Schaub2 ∗

Source URL: www.cs.uni-potsdam.de

• Logic programming
• Mathematical logic
• Constraint programming
• Logic in computer science
• Programming paradigms
• Satisfiability modulo theories
• Answer set programming
• Stable model semantics
• G-code
• Subroutine
• Analogy
• Algorithm

Energieeffiziente Sensoren / Systeme im Internet der Dinge Martin Jaegle, Kilian Bartholomé, Jan König, Markus Bartel, Ulrike Nussel, Jan Horzella, Roland Binninger,

Source URL: www.connect-dreilaendereck.com

Memory-safe Execution of C on a Java VM Matthias Grimmer Roland Schatz Chris Seaton

Source URL: chrisseaton.com

• Software engineering
• Computing
• Computer programming
• Data types
• C++
• Memory management
• Primitive types
• Software bugs
• Pointer
• Struct
• Memory safety
• C dynamic memory allocation

Visual-Inertial SLAM for a Small Helicopter in Large Outdoor Environments Markus W. Achtelik, Simon Lynen, Stephan Weiss, Laurent Kneip, Margarita Chli, Roland Siegwart Abstract— In this video, we present our latest re

Source URL: www.margaritachli.com

• Artificial intelligence
• Robot control
• Emerging technologies
• Technology
• Robotic sensing
• Micro air vehicle
• Simultaneous localization and mapping
• Engineering
• Kalman filter
• Inertial measurement unit
• Robotics
• Sensor fusion

Finding is as easy as detecting for quantum walks ´ emie ´ Jer Roland

Source URL: qip2011.quantumlah.org

RMA Nr. (Return Merchandise Authorization)

Source URL: www.roland.dk

Options  for  Cap  and  Trade  Auction  Revenue   Allocation:   An  economic  assessment  for  California   David Roland-Holst Introduction This report provides a macroeconomic asse

Source URL: next10.org

• Economics
• Natural environment
• Climate change policy
• Biology
• Emissions trading
• Supply-side economics
• Global Warming Solutions Act
• Sustainable development
• Fiscal multiplier
• Low-carbon economy
• New Zealand Emissions Trading Scheme
• Carbon tax

Ethics in Data Sharing a best practice for NRENs Roland van Rijswijk-Deij SURFnet bv

Source URL: wwwhome.ewi.utwente.nl

SFly: Swarm of Micro Flying Robots Markus Achtelik1 , Michael Achtelik2 , Yorick Brunet3 , Margarita Chli1 , Savvas Chatzichristofis4 , Jean-Dominique Decotignie3 , Klaus-Michael Doth2 , Friedrich Fraundorfer5 , Laurent

Source URL: www.margaritachli.com

• Emerging technologies
• Autonomy
• Micro air vehicle
• Roland Siegwart
• International Conference on Robotics and Automation
• ICRA
• Robotics
• Robot
• MAV
• Inertial measurement unit
• Autonomous robot
• Technology

http://www.lirmm.fr/ec-montpellier-2013 Organisation Committee General Conference Chair Marianne Huchard, LIRMM Organisation Chairs Roland Ducournau, LIRMM

Source URL: info-web.lirmm.fr