384 résultats  enregistrer la recherche

hal-00650333v1  Communication dans un congrès
Jan SliwkaLuc JaulinMartine CeberioVladik Kreinovich. Processing Interval Sensor Data in the Presence of Outliers, with Potential Applications to Localizing Underwater Robots
IEEE SMC 2011, Oct 2011, Anchorage, United States. 978-1-4577-0653-0/11/©2011 IEEE p. 2333-2337
hal-00800765v1  Communication dans un congrès
Christophe Osswald. Controling the number of focal elements
Belief 2012, May 2012, Compiègne, France. pp.135-143, ⟨10.1007/978-3-642-29461-7⟩
hal-01373317v1  Article dans une revue
Lamia AllalGhalem BelalemPhilippe DhaussyCiprian Teodorov. A Parallel Algorithm for the State Space Exploration
Scalable Computing : Practice and Experience, West University of Timisoara, 2016, Scalable Computing: Practice and Experience, 17 (2), pp.129-141. ⟨10.12694/scpe.v17i2.1161⟩
hal-01087442v1  Communication dans un congrès
Julien DeantoniPapa Issa DialloCiprian TeodorovJoël ChampeauBenoit Combemale. Towards a Meta-Language for the Concurrency Concern in DSLs
Design, Automation and Test in Europe Conference and Exhibition (DATE), Mar 2015, Grenoble, France
hal-01192706v1  Article dans une revue
Jeremy NicolaLuc Jaulin. Contractors and Linear Matrix Inequalities
ASCE-ASME Journal of Risk and Uncertainty in Engineering Systems, Part B: Mechanical Engineering, American Society of Mechanical Engineers (ASME), 2015, 1 (3), ⟨http://ascelibrary.org/⟩. ⟨10.1115/1.4030781 ⟩
hal-00636875v1  Communication dans un congrès
Amine RajiPhilippe Dhaussy. Use Cases Modeling for Scalable Model-Checking
APSEC'11, Dec 2011, Minh City, Vietnam
hal-01089392v1  Direction d'ouvrage, Proceedings, Dossier
Loïc LagadecAlain Plantec. Preface to the special issue on advances in Smalltalk based systems
France. 96 (1), pp.1-3, 2014, Science of Computer Programming, ⟨10.1016/j.scico.2014.07.004⟩
hal-00678272v1  Communication dans un congrès
Ali KoudriTeodora PetrisorJoël ChampeauVincent Leilde. Framework for Integrating ESL Tools
PMDE 2011, Jun 2011, United Kingdom. 2011
hal-00670420v1  Communication dans un congrès
Marie LudwigNicolas FarcetJean-Philippe BabauJoël Champeau. Organizational Configurations in Executable Enterprise Architecture Models
poster session of Complex Systems Design and Management 2011, Dec 2011, Paris, France. 2011
hal-01241525v1  Communication dans un congrès
Anthony FicheArnaud MartinJean-Christophe CexusAli Khenchaf. Continuous belief functions and α-stable distributions
Information Fusion (FUSION), 2010 13th Conference on, Jul 2010, Edinburgh, United Kingdom. 7 p
hal-01236692v1  Communication dans un congrès
R. dos Santos FagundesD. LejeuneA. MansourF. Le RoyMohamad-Raafat Lababidi. Wideband High Dynamic Range Surveillance
EUSIPCO 2015, Université de Sophia Antipolis, Aug 2015, Nice, France
hal-01203491v1  Communication dans un congrès
Seifallah Ben SaadBenoît ZerrIrvin ProbstFrédéric Dambreville. Hybrid Coordination Strategy of a Group of Cooperating Autonomous Underwater Vehicles
IFAC Workshop on Multivehicle Systems MVS 2015, IFAC - International Federation of Automatic Control, May 2015, Genova, Italy. pp.47-52
hal-01164494v1  Communication dans un congrès
Zahra KatbaySawsan SadekMohamad-Raafat LababidiAndre PerennecMarc Le Roy. Miniature Antenna for Breast Tumor Detection
NEWCAS 2015, Université de Grenoble, Jun 2015, Grenoble, France