Skip to Main content Skip to Navigation


...
tel-01748685v1  Theses
Olfa Mosbahi-Khalgui. Développement formel de systèmes automatisés
Autre [cs.OH]. Institut National Polytechnique de Lorraine, 2008. Français. ⟨NNT : 2008INPL007N⟩
...
hal-01396831v1  Journal articles
Wael Ben MessaoudFrédéric GiraudBetty Lemaire-SemailMichel AmbergMarie-Ange Bueno. Amplitude Control of an Ultrasonic Vibration for a Tactile Stimulator
IEEE/ASME Transactions on Mechatronics, Institute of Electrical and Electronics Engineers, 2016, 21 (3), pp.1692 - 1701. ⟨10.1109/TMECH.2016.2535300⟩
hal-02112471v1  Conference papers
Vanna Lisa ColiLouise GomartDidier BinderLaure Blanc-FéraudSerge X. Cohen et al.  Céramiques imprimées de Méditerranée occidentale: apports de la micro-tomographie à la restitution des traditions céramiques en contexte archéologique
Journée d'échanges "Applications de la tomographie par rayons X", Réseau Tomo3D, CNRS-INEE, Muséum National d'Histoire Naturelle, Nov 2018, Paris, France
hal-02112470v1  Conference papers
Vanna Lisa ColiDidier BinderLaure Blanc-FéraudSerge X. CohenLouise Gomart et al.  Multiscale Tomography - Imaging and Modelling Ancient Materials
Journées du Programme structurant UCA-JEDI "Matière, Lumière, Interactions", 2018, Villa Clythia de Fréjus, France, France
...
tel-00011674v1  Theses
Christelle Melo de Lima. Développement d'une approche markovienne pour l'analyse de l'organisation spatiale des génomes.
Modélisation et simulation. Université Claude Bernard - Lyon I, 2005. Français
...
tel-00137153v1  Habilitation à diriger des recherches
François Boulier. Réécriture algébrique dans les systèmes d'équations différentielles polynomiales en vue d'applications dans les Sciences du Vivant
Génie logiciel [cs.SE]. Université des Sciences et Technologie de Lille - Lille I, 2006
...
hal-01984426v2  Journal articles
Luís AlmeidaMichel DuprezYannick PrivatNicolas Vauchelet. Mosquito population control strategies for fighting against arboviruses
Mathematical Biosciences and Engineering, AIMS Press, 2019, 16 (6), pp.6274-6297. ⟨10.3934/mbe.2019313⟩
...
pastel-00649350v1  Theses
Juan Antonio Cordero. Link-State Routing Optimization for Compound Autonomous Systems in the Internet
Networking and Internet Architecture [cs.NI]. Ecole Polytechnique X, 2011. English
hal-00763571v1  Conference papers
Patrick Amar. Comparative study of some methods for simulation of biochemical reactions
Ecole de Printemps 2012 de la Société Francophone de Biologie Théorique, Jun 2012, Saint Flour, France
...
hal-01714825v1  Conference papers
Alix GogueyGéry CasiezAndy CockburnCarl Gutwin. Storyboard-Based Empirical Modelling of Touch Interface Performance
Proceedings of the ACM Conference on Human Factors in Computing Systems (CHI 2018), Apr 2018, Montréal, Canada. ⟨10.1145/3173574.3174019⟩
...
hal-01736699v1  Conference papers
Alix GogueyGéry CasiezAndy CockburnCarl Gutwin. Storyboard-Based Empirical Modeling of Touch Interface Performance
Adjunct Proceedings of the ACM Conference on Human Factors in Computing Systems (CHI 2018), Demonstration, Apr 2018, Montreal, Canada. ⟨10.1145/3170427.3186479⟩
...
hal-00737768v1  Reports
François FagesSylvain Soliman. Reifying Global Constraints
[Research Report] RR-8084, INRIA. 2012, pp.18
...
tel-00929785v1  Habilitation à diriger des recherches
Patrick Amar. Contributions à l'étude de la dynamique des systèmes biologiques et aux systèmes de calcul en biologie synthétique
Bio-informatique [q-bio.QM]. Université Paris Sud - Paris XI, 2013
...
inria-00586638v1  Book sections
Paul GraceNikolaos GeorgantasAmel BennaceurGordon BlairFranck Chauvel et al.  The CONNECT Architecture
Marco Bernardo and Valerie Issarny. 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Connectors for Eternal Networked Software Systems, 6659, Springer, pp.27-52, 2011, Lecture notes in computer science, 978-3-642-21454-7. ⟨10.1007/978-3-642-21455-4⟩
hal-01274508v1  Conference papers
Raphael GomesJúnio LimaFábio M. CostaRicardo da RochaNikolaos Georgantas. A Model-Based Approach to Pragmatic Service Choreography Deployment
Proceedings of Second Workshop on Seamless Adaptive Multi-cloud Management of Service-based Applications, Sep 2015, Taormina, Italy
...
tel-01475023v1  Theses
Pierre-Luc Manteaux. Simulation et contrôle de phénomènes physiques
Synthèse d'image et réalité virtuelle [cs.GR]. Université Grenoble Alpes, 2016. Français. ⟨NNT : 2016GREAM062⟩