2540 résultats  enregistrer la recherche


hal-00450126v1  Article dans une revue
David Thevenet. Etude du comportement en fatigue d'assemblages soudés de type naval
Bulletin de l'Association Technique Maritime et Aéronautique, 2008
hal-00450104v1  Article dans une revue
Luc Jaulin. Probabilistic set-membership approach for robust regression
Journal of Statistical Theory and Practice, 2010, 4 (1), pp.155-167
...
hal-00800702v1  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-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-01780556v1  Communication dans un congrès
Lamia AllalGhalem BelalemPhilippe DhaussyCiprian Teodorov. Using Parallel and Distributed Reachability in Model Checking
Recent Advancement in Computer, Communication and Computational Sciences (RACCCS-2017), Sep 2017, Ajmer, India. pp.143-154, ⟨10.1007/978-981-10-7386-1_12⟩
hal-01716143v1  Article dans une revue
Lamia AllalGhalem BelalemPhilippe DhaussyCiprian Teodorov. Distributed algorithm to fight the state explosion problem
INDERSCIENCE International Journal of Internet Technology and Secured Transactions., 2018, 8 (3), pp.398 - 411. ⟨10.1504/IJITST.2018.10014833⟩
hal-00925066v1  Communication dans un congrès
Guillaume HelbertL. DiengThibaut LecompteShabnam Arbab-ChiraniSylvain Calloch et al.  A New Shape Memory Alloy-Based Damping Device Dedicated to Civil Engineering Cables
Conference Proceedings of the Society for Experimental Mechanics, Feb 2013, United States. pp.89-100, ⟨10.1007/978-1-4614-6555-3_11⟩
hal-01387672v1  Communication dans un congrès
Hicham Jamid. Les ingénieurs maghrébins diplômés en France. Des parcours professionnels différenciés et des expériences migratoires mouvementées
XXe congrès international des sociologues de langue française, Association des Sociologues de la Langue française (AISLF), Jul 2016, Montréal, Canada
...
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-00942582v1  Ouvrage (y compris édition critique et traduction)
Y. DoutreleauL. JodetJean-Marc Laurens. Résistance et propulsion du navire
Ellipses, 2011, Technosup, 978-2-7298-6490-3
...
hal-00947395v1  Article dans une revue
Renaud Bellais. Technology and the defense industry: real threats, bad habits, or new (market) opportunities?
Journal of Innovation Economics & Management, De Boeck Supérieur 2013, 2013/02 (12), pp.59-78
hal-00601661v1  Communication dans un congrès
Nicolas JacquesSebastien MercierAlain Molinari. Microinertia effects on dynamic crack propagation in ductile materials
ICILLS 2011, Jun 2011, Valenciennes, France. pp.XXXX
hal-00601663v1  Communication dans un congrès
Nicolas JacquesSebastien MercierAlain Molinari. Influence of micro inertia on dynamic damage, application to fracture of ductile materials
Annual International Workshop 2011 on Dynamic Behavior of Structures and Materials, Interaction and Friction, Jun 2011, Valenciennes, France. pp.XXXX
hal-01801705v1  Communication dans un congrès
Helmi GhanmiAli KhenchafComblet Fabrice. Electromagnetic characterization of a polluted maritime surface
2018 4th International Conference on Advanced Technologies for Signal and Image Processing (ATSIP), Mar 2018, Sousse, Tunisia. ⟨10.1109/ATSIP.2018.8364495⟩
hal-01053850v1  Ouvrage (y compris édition critique et traduction)
Renaud Bellais. La maîtrise des mers face aux défis de la mondialisation
Université Catholique du Sacré-Cœur, CRiSSMA, pp.230, 2004
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-01635395v1  Communication dans un congrès
Hicham Jamid. Les étudiants étrangers en mobilité internationale en France : stratégies de séjour dynamiques et projets d’insertion professionnelle sous contraintes
Migration irrégulière et développement humain, CERLIS-CNRS, Université Paris Descartes, Nov 2017, Paris, France
...
hal-01933794v1  Communication dans un congrès
Vincent LeildeVincent RibaudCiprian TeodorovPhilippe Dhaussy. Domain-oriented Verification Management
8th International Conference on Model and Data Engineering (MEDI 2018), Oct 2018, Marrakesh, Morocco. pp.30-39