OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Items where Laboratory is "Département Traitement de l'Information et Modélisation - DTIM (Toulouse, France)"

Up a level
Export as [feed] RSS 1.0 [feed] Atom [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 57.

Article

Lasnier, Gilles and Cardoso, Janette and Pagetti, Claire and Siron, Pierre Environnement de coopération de simulation pour la conception de systèmes cyber-physiques. (2013) Journal Européen des Systèmes Automatisés (JESA), vol. 47 (n° 1-3). pp. 13-27. ISSN 1269-6935

Bettebghor, Dimitri and Bartoli, Nathalie Approximation of the critical buckling factor for composite panels. (2012) Structural and Multidisciplinary Optimization . pp. 01-24. ISSN 1615-147X

Bettebghor, Dimitri and Bartoli, Nathalie and Grihon, Stéphane and Morlier, Joseph and Samuelides, Manuel Surrogate modeling approximation using a mixture of experts based on EM joint estimation. (2010) Structural and Multidisciplinary Optimization . ISSN 1615-1488

Garion, Christophe and Roussel, Stéphanie and Cholvy, Laurence Une logique modale pour raisonner sur la cohérence et la complétude de réglementations. (2010) Revue d'intelligence artificielle, vol. 24 (n° 3). pp. 267-290. ISSN 0992-499X

Siron, Pierre Une application pilote de simulation coopérative distribuée sous HLA (PRF SICODIS). (2005) Revue des activités scientifiques et techniques de l'ONERA . ISSN 1770-4448

Cholvy, Laurence and Garion, Christophe Answering queries addressed to several databases according to a majority approach. (2004) Journal of Intelligent Information Systems, vol. 2 (n° 2). pp. 175-201. ISSN 0925-9902

Cholvy, Laurence and Garion, Christophe Querying several conflicting databases. (2004) Journal of applied non-classical logics, vol. 1 (n° 3). pp. 295-327. ISSN 1166-3081

Cholvy, Laurence and Garion, Christophe Allocation de buts affectés à un groupe d'agents. (2002) Information interaction intelligence (specia). pp. 1-24. ISSN 1630-649X

Cholvy, Laurence and Garion, Christophe An attempt to adapt a logic of conditional preferences for reasoning with Contrary-To-Duties. (2001) Fundamenta Informaticae, vol. 4 (n° 2-3). pp. 183-204. ISSN 0169-2968

Book Section

Samuelides, Manuel Surfaces de réponse et réduction de modèles. ( In Press: 2009) In: Optimisation multidisciplinaire en mécanique 2 : réduction de modèles, robustesse, fiabilité, réalisations logicielles (Traité MIM, série méthodes numériques en mécanique). Lavoisier, France. ISBN 2746221942

Cholvy, Laurence and Garion, Christophe Apports de la logique mathématique dans la modélisation formelle des informations et des systèmes. (2009) In: Gestion de la complexité et de l'information dans les grands systèmes critiques. SEE & CNRS Editions , France, pp. 105-118. ISBN 9782271068286

Samuelides, Manuel Identification « neuronale » de systèmes dynamiques commandés et réseaux bouclés (récurrents). (2008) In: Apprentissage statistique (Réseaux de neurones - Cartes topologiques - Machines à vecteurs supports). (Algorithmes ). EYROLLES, France, pp. 179-221. ISBN 978-2-212-12229-9

Conference or Workshop Item

Cholvy, Laurence and Garion, Christophe and Roussel, Stéphanie Cohérence et complétude des réglementations en présence de contraintes. (2012) In: Sixièmes Journées d'Intelligence Artificielle Fondamentale (JIAF), 22-24 may 2012, Toulouse, France .

Bettebghor, Dimitri and Samuelides, Manuel and Grihon, Stéphane and Bartoli, Nathalie and Morlier, Joseph Approche en paramètres de stratification pour l’optimisation biniveau de structures de fuselage composite. (2011) In: 10e Colloque National en Calcul des Structures , 09-13 Mai 2011, Giens, France .

Morlier, Joseph and Bettebghor, Dimitri Compressed sensing applied to modeshapes reconstruction. (2011) In: IMAC XXX Conference and exposition on structural dynamics, 30 Jan – 02 Feb 2012, Jacksonville, USA . (Unpublished)

Chaudron, Jean-Baptiste and Noulard, Eric and Siron, Pierre Design and model-checking techniques applied to real-time RTI time management. (2011) In: 2011 Spring Simulation Multiconference - SpringSim'11, 04-08 Avril 2011, Boston, USA .

Chaudron, Jean-Baptiste and Adelantado, Martin and Noulard, Eric and Siron, Pierre HLA high performance and real-time simulation studies with CERTI. (2011) In: 25th European Simulation and Modelling Conference- ESM'2011, 24-26 Oct 2011, Guimaraes, Portugal .

Chaudron, Jean-Baptiste and Saussié, David and Siron, Pierre and Adelantado, Martin Real-time aircraft simulation using HLA standard. ( In Press: 2011) In: IEEE AESS Simulation in Aerospace 2011, 8 Jun 2011, Toulouse, France .

Adelantado, Martin and Siron, Pierre and Chaudron, Jean-Baptiste Towards an HLA Run-time Infrastructure with Hard Real-time Capabilities. (2010) In: International Simulation Multi-Conference (ISMC'10), 12-14 July 2010, Ottawa, Canada .

Garion, Christophe and Roussel, Stéphanie and Cholvy, Laurence Une logique modale pour raisonner sur la cohérence et la complétude de réglementations. (2009) In: Cinquièmes journées francophones des Modèles Formels de l'Interaction (MFI'09), 03-05 June 2009, Lannion, France .

Garion, Christophe and Roussel, Stéphanie and Cholvy, Laurence A modal logic for reasoning on consistency and completeness of regulations. (2009) In: Normative Multi-Agent Systems, 15-20 Mars 2009, Dagstuhl, Allemagne .

Noulard, Eric and Rousselot, Jean-Yves and Siron, Pierre CERTI, an Open Source RTI, why and how. ( In Press: 2009) In: Spring Simulation Interoperability Workshop, 23-27 March 2009, San Diego, United States .

Garion, Christophe and Roussel, Stéphanie and Cholvy, Laurence How to Complete Regulations in Multi-agent Systems. (2009) In: Proceedings of the 2008 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, IAT 2009, 15-18 Sep 2009, Milan, Italy .

Samuelides, Manuel and Bettebghor, Dimitri and Grihon, Stéphane and Merval, Antoine and Morlier, Joseph Modèles réduits en optimisation multiniveau de structures aéronautiques. ( In Press: 2009) In: 9e Colloque national en calcul des structures, 25-29 Mai 2009, Giens, France .

Merval, Antoine and Samuelides, Manuel and Grihon, Stéphane Lagrange-Kuhn-Tucker coordination for multilevel optimization of aeronautical structures. (2008) In: 4th AIAA Multidisciplinary Design Optimization Specialist Conference, 07-10 April 2008, Schaumburg, United States .

D'Ausbourg, Bruno and Noulard, Eric and Siron, Pierre Running real time distributed simulations under Linux and CERTI. (2008) In: European Simulation Interoperability Workshop - EURO SIW 2008, 16-19 June 2008, Edimburgh, Scotland .

Cholvy, Laurence and Garion, Christophe Deriving individual obligations from collective obligations. (2007) In: Normative Multi-agent Systems, 18-23 Mars 2007, Dagstuhl, Germany .

Cholvy, Laurence and Garion, Christophe and Saurel, Claire Modeling regulation for information sharing in a MAS: a case study. (2007) In: Actes des quatrièmes journées francophones sur les modèles formels de l'interaction - MFI'07, 30 May - 01 June 2007, Paris, France . (Unpublished)

Merval, Antoine and Samuelides, Manuel and Grihon, Stéphane Multilevel optimization with local mass minimization. (2007) In: 2nd European conference for aerospace sciences - EUCASS 2007, 01-06 June 2007, Brussels, Belgium .

Jousselme, Anne-Claire and Maupin, Patrick and Cholvy, Laurence and Garion, Christophe and Saurel, Claire Situation awareness and ability in coalitions. (2007) In: 10th International Conference on Information Fusion (FUSION 2007), 09-12 Jul 2007, Québec, Canada .

Cholvy, Laurence and Garion, Christophe and Saurel, Claire Ability in a multi-agent context: a model in the situation calculus. (2006) In: Sixth International Workshop on Computational Logic In Multi-Agent Systems (CLIMA VI), 27-29 June 2005, London, United Kingdom .

Merval, Antoine and Samuelides, Manuel and Grihon, Stéphane Application of response surface methodology to stiffened panel optimization. (2006) In: 47th conference on AIAA/ASME/ASCE/AHS/ASC Structures, Structural Dynamics, and Materials Conference, 2006, Newport, Rhode Island .

Cholvy, Laurence and Garion, Christophe and Saurel, Claire Notion de capacité dans un contexte multi-agents : une modélisation dans le calcul des situations. (2005) In: Troisième Conférence Francophone sur les Modèles Formels de l'Interaction - MFI'05, 25-27 May 2005, Caen, France . (Unpublished)

Adelantado, Martin and Bussenot, Jean-Loup and Rousselot, Jean-Yves and Siron, Pierre HP-CERTI: achieving high performance and high availability composable simulation through the High Level Architecture. (2005) In: Spring Simulation Multiconference, 03-07 April 2005, San Diego, United States .

Torki, Samir and Sanza, Cedric and Torguet, Patrice and Jessel, Jean-Pierre and Siron, Pierre Intelligent autonomous agents in HLA virtual environments. (2005) In: European Simulation Interoperability Workshop, 27-30 juin 2005, Toulouse, France . (Unpublished)

Cholvy, Laurence and Garion, Christophe Strategies for distributing goals in a team of cooperative agents. (2005) In: ESAW 2004 : Engineering Societies in the Agents World V - 5th International Workshop, 20-22 Oct. 2004, Toulouse, France .

Cholvy, Laurence and Garion, Christophe Desires, norms and constraints. (2004) In: Proceedings of the Third International Conference on Autonomous Agents and Multi Agent Systems (AAMAS'04), 19-23 Jul 2004, New York, United States .

Adelantado, Martin and Bussenot, Jean-Loup and Rousselot, Jean-Yves and Siron, Pierre and Betoule, Marc HP-CERTI: Towards a high performance, high availability open source RTI for composable simulations (04F-SIW-014). (2004) In: Fall simulation interoperability workshop - 2004 Fall SIW, 19-24 Sept 2004, Orlando, United States .

Cholvy, Laurence and Garion, Christophe Deriving individual obligations from collective obligations. (2003) In: AAMAS'03 : Second International Joint Conference on Autonomous Agents and Multiagent Systems, 14-18 Jul 2003, Melbourne, Australia .

Bréholée, Benoît and Siron, Pierre Design and implementation of a HLA inter-federation bridge. (2003) In: European Simulation Interoperability Workshop - EURO SIW 2003, 16-19 June 2003, Stockholm, Sweden .

Cholvy, Laurence and Garion, Christophe Distribution of goals addressed to a group of agents. (2003) In: AAMAS'03 : Second International Joint Conference on Autonomous Agents and Multiagent Systems, 14-18 Jui 2003, Melbourne, Australia .

Cholvy, Laurence and Garion, Christophe Exigences, réglementations et contraintes. (2003) In: Actes des Troisièmes Journées Nationales sur les Modèles de Raisonnement (JNMR-2003), 27-28 Nov 2003, Paris, France .

Cholvy, Laurence and Garion, Christophe Merging conflictual requirements with a majority approach. (2002) In: International Workshop for High Assurance Systems (RHAS'02), 30 May 2002, Essen, Germany . (Unpublished)

Cholvy, Laurence and Garion, Christophe Collective obligations, commitments and individual obligations: a preliminary study. (2002) In: Proceedings of the 6th International Workshop on Deontic Logic In Computer Science - DEON'02, 22--24 May 2002, London, UK .

D'Ausbourg, Bruno and Bussenot, Jean-Loup and Siron, Pierre PERFOSIM: a performance evaluation tool for HLA distributed simulations. (2002) In: Sixth IEEE International Workshop on Distributed Simulation and Real-Time Applications, 11-13 Oct 2002, Fort Worth, USA .

Cholvy, Laurence and Garion, Christophe Allocation des buts affectés à un groupe d'agents. (2001) In: MFI'01 : Premières Journées Francophones Modèles, 21-23 mai 2001, Toulouse, France . (Unpublished)

Cholvy, Laurence and Garion, Christophe A logic to reason on contradictory beliefs with a majority approach. (2001) In: IJCAI'01 Workshop on Inconsistency in Data and Knowledge, 6 août 2001, Seattle, USA .

Adelantado, Martin and Siron, Pierre Multiresolution modeling and simulation of an air-ground combat application. (2001) In: 2001 Spring Simulation Interoperability Workshop, 25-30 Mar 2001, Orlando, USA .

Garion, Christophe Representation and distribution of requirements with a logic of preferences. (2001) In: Journées FAC 2001 : formalisation des activités concurrentes, 25-26 Avr 2001, Toulouse, France . (Unpublished)

Cholvy, Laurence and Garion, Christophe Utilisation d'une logique de préférences conditionnelles pour raisonner avec des normes contrary-to-duties. (2001) In: JNMR 2001 : Secondes Journées Nationales sur les Modèles de Raisonnement, 03-04 Mai 2001, Arras, France . (Unpublished)

Cholvy, Laurence and Garion, Christophe An attempt to adapt a logic for conditional preferences for reasoning with Contrary-To-Duties. (2000) In: Fifth International Workshop on Deontic Logic In Computer Science, 20-22 Jan 2000, Toulouse, France .

Garion, Christophe Distributions des exigences : un problème de calcul de buts individuels en fonction de buts collectifs. (2000) In: RJCIA 2000 : Cinquièmes Rencontres Nationales des Jeunes Chercheurs en Intelligence Artificielle, 11-13 sept 2000, Lyon, France . (Unpublished)

Garion, Christophe Une logique pour la fusion majoritaire de croyances. (2000) In: RJCIA 2000 : Cinquièmes Rencontres Nationales des Jeunes Chercheurs en Intelligence Artificielle, 11-13 sept 2000, Lyon, France . (Unpublished)

Bieber, Pierre and Siron, Pierre Design and implementation of a distributed interactive simulation security architecture. (1999) In: 3rd IEEE International Workshop on Distributed Interactive Simulation and Real-Time Applications, 22-23 Oct 1999, Greenbelt, USA .

HDR

Cardoso, Janette Les aspects temporels qualitatifs et quantitatifs dans les systèmes embarqués. (2007) [HDR]

Invited Conference

Siron, Pierre and Noulard, Eric and Rousselot, Jean-Yves Un RTI Open Source, pourquoi et comment? (2009) In: Séminaires ISCLP 2009 logiciels libres et technologies Open source, 18-19 Nov 2009, Toulouse, France . (Unpublished)

Thesis

Garion, Christophe. Apports de la logique mathématique en ingénierie des exigences. PhD, Ecole Nationale Supérieure de l'Aéronautique et de l'Espace, 2002, 210 p.

This list was generated on Sat Apr 19 20:09:01 2014 CEST.