Satisfiability of a Spatial Logic with Tree Variables Emmanuel Filiot INRIA Futurs, Lille, Mostrare Project Jean-Marc Talbot University of Provence, LIF, Marseille Sophie Tison University of Lille1, LIFL, Mostrare Projec

Source URL: www.ulb.ac.be

Universit´e Libre de Bruxelles Aperiodic Two-way Transducers and FO-Transductions Olivier Carton 1 , Luc Dartois 2 October 22th , 2015

Source URL: www.ulb.ac.be

Aviation Recorders 100 Cattlemen Road Sarasota, FLTel: (Fax: (www.L-3ar.com

Source URL: www.l-3ar.com

• Beacons
• L-3 Aviation Recorders
• Underwater locator beacon
• Recorder
• ULB
• Dot
• Facebook Beacon

Introduction Functionality Inclusion Problem

Source URL: www.ulb.ac.be

17 Property-Driven Design for Robot Swarms: A Design Method Based on Prescriptive Modeling and Model Checking MANUELE BRAMBILLA, ARNE BRUTSCHY, MARCO DORIGO, and MAURO BIRATTARI, IRIDIA, Universit´e Libre de Bruxelles,

Source URL: code.ulb.ac.be

Recherche et développement technologique 305 Novembre 2014

Source URL: quic.ulb.ac.be

Convergence of the shadow sequence of inscribed polygons Francisco Gomez-Martin∗ 1 Perouz Taslakian†

Source URL: student.ulb.ac.be

CCCG 2008, Montr´eal, Qu´ebec, August 13–15, 2008 A Pumping Lemma for Homometric Rhythms Joseph O’Rourke∗ Perouz Taslakian†

Source URL: homepages.ulb.ac.be

The Distance Geometry of Music Erik D. Demaine∗ Francisco Gomez-Martin† Henk Meijer‡

Source URL: homepages.ulb.ac.be

Description de certaines formes géométriques. (entre autres) Keno Merckx Mathématiques / Informatique

Source URL: homepages.ulb.ac.be