|
|
||
|---|---|---|
|
hal-00644924v1
Communication dans un congrès
Claire Chauvin, Frédéric Bernardin, Mireille Bossy, Antoine Rousseau. Wind Simulation Refinement: some New Challenges for Particle Methods ECMI 2008 - The European Consortium For Mathematics In Industry, Jun 2008, London, United Kingdom. Springer-Verlag Berlin Heidelberg, 15, pp.765-770, 2010, Mathematics in Industry; Progress in Industrial Mathematics at ECMI 2008. <10.1007/978-3-642-12110-4> |
||
|
inria-00099581v1
Communication dans un congrès
Caroline Brun, Marc Dymetman, Eric Fanchon, Stanislas Lhomme, Sylvain Pogodalla. Semantically-based text authoring and the concurrent documentation of experimental protocols Cécile Roisin and Ethan V. Munson and Christine Vanoirbeek. ACM Symposium on Document Engineering - DocEng 2003, Nov 2003, Grenoble, France. ACM New York, NY, USA, pp.193-202, 2003, DocEng '03 Proceedings of the 2003 ACM symposium on Document engineering. <http://doi.acm.org/10.1145/958220.958256>. <10.1145/958220.958256> |
||
|
hal-00449960v1
Pré-publication, Document de travail
Claire Chauvin, Pierre Saramito, Christophe Trophime. Convergence properties and numerical simulation by an adaptive FEM of the thermistor problem 2007 |
||
|
inria-00099072v1
Rapport
Olivier Bournez, Oded Maler. On the representation of timed polyhedra [Intern report] A00-R-079 || bournez00a, 2000 |
||
|
hal-00953423v1
Communication dans un congrès
Matthieu Chavent, Antoine Vanel, Alex Teck, Bruno Lévy, Bruno Raffin et al. A Rendering Method for Small Molecules up to Macromolecular Systems: HyperBalls Accelerated by Graphics Processors Journées Ouvertes en Biologie, Informatique et Mathématiques (JOBIM'10), 2010, Unknown, France. 2010 |
||
|
inria-00502888v1
Communication dans un congrès
Gilles Fedak, Jean-Patrick Gelas, Thomas Hérault, Victor Iniesta, Derrick Kondo et al. DSL-Lab: a Low-power Lightweight Platform to Experiment on Domestic Broadband Internet 9th International Symposium on Parallel and Distributed Computing (ISPDC'2010), Jul 2010, Istanbul, Turkey. 2010 |
||
|
inria-00101025v1
Communication dans un congrès
Sandy Maumus, Amedeo Napoli, Rafik Taouil, Sophie Visvikis. A first study of the central role of the analyst in the knowledge discovery process in biology Poster session at the 10th International Conference on Intelligent Systems for Molecular Biology - ISMB'02, Aug 2002, Edmonton, Canada, 1 p, 2002 |
||
|
inria-00101060v1
Rapport
Damien Eveillard, Delphine Ropers, Hidde De Jong, Christiane Branlant, Alexander Bockmayr. Modeling the effects of SR proteins on alternative splicing [Intern report] A02-R-117 || eveillard02b, 2002, 8 p |
||
|
hal-01242824v1
Rapport
Mathieu D'Aquin, Peter Haase, Chan Le Duc, Antoine Zimmermann. D1.1.4: NeOn Formalism for Modularization: Implementation and Evaluation [Research Report] Universität Karlsruhe. 2008, 44p |
||
|
hal-00863139v1
Communication dans un congrès
Yoann Maurel, André Bottaro, Radu Kopetz, Koutheir Attouchi. Adaptive Monitoring of End-user OSGi-based Home Boxes Component Based Software Engineering, Jun 2012, Bertinoro, Italy. CBSE '12 Proceedings of the 15th ACM SIGSOFT symposium on Component Based Software Engineering, pp.Pages 157-166, 2012, <10.1145/2304736.2304763> |
||
|
hal-00954025v1
Communication dans un congrès
Georges Quénot, Tien-Ping Tan, Viet-Bac Le, Stéphane Ayache, Laurent Besacier et al. Recherche par le contenu dans des documents audiovisuels multilingues Actes de la conférence CORIA, 2009, Giens, France. pp.67-82, 2009 |
||
|
hal-00155964v1
Communication dans un congrès
Jack Dongarra, Emmanuel Jeannot, Erik Saule, Zhiao Shi. Bi-objective Scheduling Algorithms for Optimizing Makespan and Reliability on Heterogeneous Systems 19th ACM Symposium on Parallelism in Algorithms and Architectures - SPAA'07, Jun 2007, San Diego, United States. ACM, pp.280-288, 2007, SESSION: Latency and makespan. <10.1145/1248377.1248423> |
||
|
hal-00953855v1
Communication dans un congrès
Georges Quénot, Tien-Ping Tan, Viet-Bac Le, Stéphane Ayache, Laurent Besacier et al. Content-Based Search in Multilingual Audiovisual Documents using the International Phonetic Alphabet 7th International Workshop on Content-Based Multimedia Indexing (CBMI 2009), 2009, Chania, Crete. 3-5 June 2009, 2009 |
||
|
hal-00762658v1
Communication dans un congrès
Roukaya Keinj, Magalie Thomassin, Thierry Bastogne, Pierre Vallois. Model of cell damage in single session radiation treatments based on continuous-time Markov chains IFAC BMS 2012 - 8th IFAC Symposium on Biological and Medical Systems, Aug 2012, Budapest, Hungary. IFAC, 8, pp.160-165, 2012, Biological and Medical Systems. <10.3182/20120829-3-HU-2029.00081> |
||
|
hal-00861528v2
Pré-publication, Document de travail
Basad Al-Sarray, Beniamin Bogosel, Eric Dalissier, Jean-Matthieu Etancelin, Janne-Kathrin Gunther et al. Semaine d'Etude Mathématiques et Entreprises 6 : Représentation des fonctions de réponse radiométrique 2013 |
||
|
hal-00193203v2
Article dans une revue
Jacques Istas, Céline Lacaux. On locally self-similar fractional random fields indexed by a manifold Stochastics: An International Journal of Probability and Stochastic Processes, Taylor & Francis: STM, Behavioural Science and Public Health Titles, 2013, 85 (3), pp.489-499. <10.1080/17442508.2012.654609> |
||
|
inria-00337526v1
Article dans une revue
Frédéric Bernardin, Mireille Bossy, Claire Chauvin, Philippe Drobinski, Antoine Rousseau et al. Stochastic Downscaling Method: Application to Wind Refinement Stochastic Environmental Research and Risk Assessment, Springer Verlag (Germany), 2009, 23 (6), pp.851-859. <10.1007/s00477-008-0276-9> |
||
|
inria-00326931v1
Communication dans un congrès
Claire Chauvin, Sever Adrian Hirstoaga, Pavla Kabelikova, Antoine Rousseau, Frédéric Bernardin et al. Solving the Uniform Density Constraint in a Stochastic Downscaling Model Cécile Dobrzynski and Pascal Frey and Philippe Pebay. CEMRACS 2007 - Centre d'Eté Mathématique de Recherche Avancée en Calcul Scientifique, Aug 2007, Marseille, France. EDP Sciences, 24, pp.97-110, 2008, ESAIM: Proc.; CEMRACS 2007. <10.1051/proc:2008032> |
||
|
inria-00099316v1
Communication dans un congrès
Eugène Asarin, Olivier Bournez, Thao Dang, Oded Maler. Approximate reachability analysis of piecewise-linear dynamical systems Nancy Lynch Bruce H. Krogh. International Workshop on Hybrid Systems: Computation & Control - HSCC'2000, 2000, Pittsburgh, PA, USA, Springer-Verlag, 1790, pp.20-31, 2000, Lecture Notes in Computer Science |
||
|
inria-00099342v1
Article dans une revue
Eugène Asarin, Olivier Bournez, Thao Dang, Oded Maler, Amir Pnueli. Effective Synthesis of Switching Controllers for Linear Systems Proceedings of the IEEE, Special Issue on "Hybrid Systems", 2000, 88 (7), pp.1011-1025 |
||
|
inria-00098887v1
Communication dans un congrès
Olivier Bournez, Oded Maler, Amir Pnueli. Orthogonal Polyhedra: Representation and Computation Frits W. Vaandrager &Jan H. van Schuppen. Hybrid Systems: Computation & Control - HSCC'99, 1999, Berg en Dal, Pays Bas, Springer, 1569, pp.46-60, 1999, Lecture Notes in Computer Science |
||
|
hal-01394707v1
Poster
Romain Azaïs, Jean-Baptiste Durand, Christophe Godin. Lossy compression of unordered rooted trees DCC 2016 - Data Compression Conference , Mar 2016, Snowbird, Utah, United States. <10.1109/DCC.2016.73> |
||
|
inria-00443847v1
Direction d'ouvrage, Proceedings
Christophe Aubrun, Daniel Simon, Ye-Qiong Song. Co-design Approaches for Dependable Networked Control Systems Christophe Aubrun and Daniel Simon and Ye-Qiong Song. France. ISTE Wiley, pp.314, 2010, 978-1-84821-176-6 |
||
|
hal-01242833v1
Rapport
Mathieu D'Aquin, Peter Haase, Sebastian Rudolph, Jérôme Euzenat, Antoine Zimmermann et al. D1.1.3: NeOn Formalisms for Modularization: Syntax, Semantics, Algebra [Research Report] Universität Karlsruhe. 2008, 49p |
||
|
hal-01294013v2
Pré-publication, Document de travail
Romain Azaïs, Jean-Baptiste Durand, Christophe Godin. Approximation of trees by self-nested trees 2016 |
||
|
halshs-00320440v1
Article dans une revue
Pierre-Antoine Landel, Françoise Papa, Laurent Collet. TIC et développement durable Journal of Alpine Research, 2006, Tome 94 (3), pp.89-99 |
||
|
hal-00764418v1
Communication dans un congrès
Antoine Rousseau, Emmanuel Frénod. Numerical simulations of confinement for paralic ecosystems 9th AIMS Conference on Dynamical Systems, Differential Equations and Applications, Jul 2012, Orlando, United States. 2012 |
||
|
inria-00393030v1
Communication dans un congrès
Frédéric Bernardin, Mireille Bossy, Antoine Rousseau, Tamara Salameh, Philippe Drobinski. Local wind simulation using a stochastic particle method SciCADE 2007 - International conference on scientific computation and differential equations, Jul 2007, Saint-Malo, France. 2007 |
||
|
hal-00456249v1
Chapitre d'ouvrage
Christophe Aubrun, Daniel Simon, Ye-Qiong Song. Preliminary notions and state of the art Christophe Aubrun, Daniel Simon, Ye-Qiong Song. Co-design Approaches for Dependable Networked Control Systems, ISTE Wiley, pp.19-53, 2010, Wiley / Engineering & Materials Science / Electrical & Electronics Engineering / Control Systems Technology |
||
|
|
||