28 results  save search


hal-01109192v1  Conference papers
Simon Lacroix. Visual-inertial hybridization with SLAM. Application to mobile robotics
Workshop Hybridization GNSS and Video, Centres de Compétence Technique du CNES, Jul 2014, Toulouse, France
hal-01143735v1  Conference papers
Andreas Herzig. Logics for multi-agent systems: a critical overview
International Joint Conference on Artificial Intelligence - IJCAI 2013, Aug 2013, Beijing, China. pp. 1-52
hal-01071481v1  Conference papers
S.R. Plissard. InSb nanowire networks
ESPS-NIS 2014, Jul 2014, Traunkirchen, Austria
hal-01874771v1  Conference papers
Aliki TsopelaAhmet LaleAdrian LabordePierre Temple-BoyerIsabelle Séguy et al.  Microalgae electrochemical microbiosensor for water toxicity analysis
14th topical meeting of the international society of electrochemistry (ISE), Mar 2014, Nanjing, China
hal-01874797v1  Conference papers
Aliki TsopelaAhmet LaleAdrian LabordePierre Temple-BoyerIsabelle Séguy et al.  Microalgae lab-on-chip microbiosensor for environmental monitoring
13th world congress on biosensors, BIOSENSORS 2014, May 2014, Melbourne, Australia
hal-00946367v1  Conference papers
Tambet TreimuthDaniel DelahayeSandra Ulrich Ngueveu. Resectorisation d'espace aérien
ROADEF 2014, 15ème congrès annuel de la Société française de recherche opérationnelle et d'aide à la décision, Société française de recherche opérationnelle et d'aide à la décision, Feb 2014, Bordeaux, France
hal-00946447v1  Conference papers
Brunilde GirardetChristophe RabutDaniel DelahayeLaurent Lapasset. Optimisation du trafic aérien en tenant compte des conditions météorologiques
ROADEF 2014, 15ème congrès annuel de la Société française de recherche opérationnelle et d'aide à la décision, Société française de recherche opérationnelle et d'aide à la décision, Feb 2014, Bordeaux, France
hal-01118615v1  Poster communications
Fabien AmargerCatherine RousseyJean-Pierre ChanetOllivier HaemmerléNathalie Hernandez. Web de données agricole : transformation de sources pour une ontologie modulaire
IC - 24èmes Journées francophones d'Ingénierie des Connaissances, Jul 2013, Lille, France. 2013
hal-01081697v1  Conference papers
Raphaël RivaCyril ButtayRémi PerrinMarie-Laure LocatelliVincent Bley et al.  3D Packaging Structure for High Temperature Power electronics
From Nano to Micro Power Electronics and Packaging Workshop, IMAPS France, Oct 2014, Tours, France
hal-01135142v1  Conference papers
Matthieu Herrb. Outils libres pour la robotique
Journées nationales du Développement Logiciel (JDEV), Sep 2013, Palaiseau, France
hal-01543485v1  Poster communications
Simon RizzettoNoémie GaudioSalim BelyazidJean-Claude GégoutDidier Alard et al.  Critical load of atmospheric nitrogen deposition in French forests: modelling soil and vegetation response in a context of climate change
Sustaining Forests, Sustaining People: The Role of Research XXIV IUFRO World Congress,, Oct 2014, Salt Lake City, United States. Alan Pottinger, 16, 588 p., 2014, International Forestry Review
hal-01188592v1  Conference papers
Pascale ZaratÉ. Cooperative Decision Support Systems
5th International Conference on Computers Communications and Control (ICCCC 2014), May 2014, Oradea, Romania. pp. 1-79
hal-01501793v1  Books
Paula KotzéGary MarsdenGitte LindgaardJanet WessonMarco Winckler. Human-Computer Interaction – INTERACT 2013
Springer, LNCS-8118 (Part II), 2013, Lecture Notes in Computer Science, 978-3-642-40479-5. ⟨10.1007/978-3-642-40480-1⟩
hal-01497486v1  Books
Paula KotzéGary MarsdenGitte LindgaardJanet WessonMarco Winckler. Human-Computer Interaction – INTERACT 2013
Springer, LNCS-8117 (Part I), 2013, Lecture Notes in Computer Science, 978-3-642-40482-5. ⟨10.1007/978-3-642-40483-2⟩
hal-01405095v1  Books
Stefan SauerCristian BogdanPeter ForbrigRegina BernhauptMarco Winckler. Human-Centered Software Engineering
Springer, LNCS-8742, 2014, Lecture Notes in Computer Science, 978-3-662-44810-6. ⟨10.1007/978-3-662-44811-3⟩
hal-01044820v1  Conference papers
Christian Retoré. A natural framework for natural language semantics: many sorted logic and Hilbert operators in type theory
Logic Colloquium, Association for Symbolic Logic (ASL), Jul 2013, Évora, Portugal
hal-01133599v1  Conference papers
Jean-Daniel ParisBoris BelanGérard AncelletPhilippe NédélecMikhail Arshinov et al.  YAK-AEROSIB: continental scale aircraft measurements of trace gases gases above Siberia
MOZAIC-IAGOS, Scientific Symposium on Atmospheric Composition Observation by Commercial Aircraft, May 2014, Toulouse, France
hal-02109548v1  Conference papers
Eric DeferSylvain CoquillatJean-Pierre PintyJ.-P PintySerge Soula et al.  An Overview Of The Electrical Activity Recorded During Peach
7th European Conference on Severe Storms, Jun 2013, Helsinki, Finland