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] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 59.

Pagetti, Claire and Saussié, David and Gratia, Romain and Noulard, Eric and Siron, Pierre The ROSACE Case Study: From Simulink Specification to Multi/Many-Core Execution. (2014) In: 20th IEEE Real-Time Embedded Technology and Applications (RTAS 2014), 15 April 2014 - 17 April 2014 (Berlin, Germany).

Pagetti, Claire and Saussié, David and Gratia, Romain and Noulard, Eric and Siron, Pierre The ROSACE Case Study: From Simulink Specification to Multi/Many-Core Execution. (2014) In: Journées FAC - Formalisation des Activités Concurrentes, 16 April 2014 - 17 April 2014 (Toulouse, France). (Unpublished)

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

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 .

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

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. (2010) Revue d'intelligence artificielle, vol. 24 (n° 3). pp. 267-290. ISSN 0992-499X

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 .

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

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 .

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

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 .

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)

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

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 .

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

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 .

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 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 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 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 .

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.

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 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 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 .

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

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 .

This list was generated on Tue Sep 2 09:11:10 2014 CEST.