1. Recherche
102 résultats  enregistrer la recherche
...
hal-01360650v2  Pré-publication, Document de travail
Romain Azaïs, Alexandre Genadot, Benoît Henry. Inference for conditioned Galton-Watson trees from their Harris path
2017
...
hal-01195719v1  Communication dans un congrès
Hugo Talbot, Stéphane Cotin, Reza Razavi, Christopher Rinaldi, Hervé Delingette. Personalization of Cardiac Electrophysiology Model using the Unscented Kalman Filtering
Computer Assisted Radiology and Surgery (CARS 2015), Jun 2015, Barcelona, Spain
...
hal-01285120v1  Article dans une revue
Olivier Devillers, Marc Glisse, Xavier Goaoc, Rémy Thomasse. Smoothed complexity of convex hulls by witnesses and collectors
Journal of Computational Geometry, Carleton University, Computational Geometry Laboratory, 2016, 7 (2), pp.101-144. <http://jocg.org/v7n2p6>. <10.20382/jocg.v7i2a6>
...
hal-00695670v1  Article dans une revue
Bruno Galerne, Ares Lagae, Sylvain Lefebvre, George Drettakis. Gabor Noise by Example
ACM Transactions on Graphics, Association for Computing Machinery, 2012, 31 (4), pp.Article No. 73. <10.1145/2185520.2185569>
...
hal-00642544v1  Communication dans un congrès
Frédéric Besson, Pascal Fontaine, Laurent Théry. A Flexible Proof Format for SMT: a Proposal
Pascal Fontaine and Aaron Stump. First International Workshop on Proof eXchange for Theorem Proving - PxTP 2011, Aug 2011, Wrocław, Poland. 2011, <http://pxtp2011.loria.fr>
...
hal-00720910v2  Rapport
Daniel Balouek, Alexandra Carpen-Amarie, Ghislain Charrier, Frédéric Desprez, Emmanuel Jeannot et al.  Adding Virtualization Capabilities to Grid'5000
[Research Report] RR-8026, INRIA. 2012, pp.18
hal-01409001v1  Chapitre d'ouvrage
Maureen Clerc, Laurent Bougrain, Fabien Lotte. Introduction
Maureen Clerc; Laurent Bougrain; Fabien Lotte. Brain-Computer Interfaces 1, Wiley-ISTE, 2016, 978-1-84821-826-0
...
hal-01416310v1  Communication dans un congrès
Dorin Maxim, Robert Davis, Liliana Cucu-Grosjean, Arvind Easwaran. Probabilistic Analysis for Mixed Criticality Scheduling with SMC and AMC
WMC 2016, Nov 2016, Porto, Portugal. 2016, <http://2016.rtss.org/>
lirmm-01017944v1  Chapitre d'ouvrage
Daniel Simon, Ye-Qiong Song, Olivier Sename. Conception conjointe commande-ordonnancement
Maryline Chetto. Ordonnancement dans les systèmes temps réel, ISTE Editions, pp.293-324, 2014, 978-1-78405-039-9
hal-01419741v1  Communication dans un congrès
Slim Ben-Amor, Dorin Maxim, Liliana Cucu-Grosjean. Schedulability analysis of dependent probabilistic real-time tasks
RTNS 2016 - 24th International Conference on Real-Time Networks and Systems, Oct 2016, Brest, France. ACM DL, pp.99-107, 2016, <10.1145/2997465.2997499>
hal-01421276v1  Poster
Antoine Bertout, Dorin Maxim, Liliana Cucu-Grosjean. Average Probabilistic Response Time Analysis of Tasks with Multiple Probabilistic Parameters
RTSS 2016 - Work in Progress of the 22nd IEEE Real-Time Systems Symposium, Dec 2016, Porto, Portugal. IEEE RTSS 2016 proceedings, 2016, <10.1109/RTSS.2016.046>
...
hal-01095344v1  Chapitre d'ouvrage
Julien Cojan, Jean Lieber. Applying Belief Revision to Case-Based Reasoning
Computational Approaches to Analogical Reasoning: Current Trends, 548, Springer, pp.133 - 161, 2014, Studies in Computational Intelligence, <10.1007/978-3-642-54516-0_6>
hal-01172466v1  Communication dans un congrès
Xavier Goaoc, Alfredo Hubard, Rémi De Joannis de Verclos, Jean-Sébastien Sereni, Jan Volec. Limits of order types
Janos Pach, Larse Arge. Symposium on Computational Geometry 2015, Jun 2015, Eindhoven, Netherlands. 34, pp.876, 2015, Symposium on Computational Geometry 2015: Eindhoven, The Netherlands. <10.4230/LIPIcs.SOCG.2015.300>
hal-00763220v1  Communication dans un congrès
Julien Cojan, Jean Lieber. Belief revision-based case-based reasoning
G. Richard. ECAI-2012 Workshop SAMAI, Aug 2012, Montpellier, France. pp.33--39, 2012, Proceedings of the ECAI-2012 Workshop SAMAI: Similarity and Analogy-based Methods in AI
hal-00846118v1  Pré-publication, Document de travail
Horacio Rostro-Gonzalez, Bruno Cessac, Juan Carlos Vasquez, Thierry Vieville. Back-engineering of spiking neural networks parameters
30 pages, 17 figures, submitted. 2009
hal-00847435v1  Communication dans un congrès
Bruno Cessac, Horacio Rostro, Juan-Carlos Vasquez, Thierry Viéville. Statistics of spike trains: A dynamical systems perspective
Stochastic models in neuroscience, Jan 2010, Marseille, France. 2010
hal-00847436v1  Communication dans un congrès
Bruno Cessac, Juan-Carlos Vasquez, Thierry Viéville. Statistical analysis of spike trains.
Workshop on Spike Train Measures and Their Applications to Neural Coding, Jun 2010, Plymouth, United Kingdom. 2010
lirmm-01067487v1  Chapitre d'ouvrage
Daniel Simon, Ye-Qiong Song, Olivier Sename. Control and Scheduling Joint Design
Maryline Chetto. Real-time Systems Scheduling, 2 "Focuses", ISTE Editions, pp.53-96, 2014, 9781848217898. <http://www.iste.co.uk/index.php?p=a&ACTION=View&id=810>
...
hal-00783091v2  Rapport
Elaa Teftef, Maria-Jose Escobar, Aland Astudillo, Carlos Carvajal, Bruno Cessac et al.  Modeling non-standard retinal in/out function using computer vision variational methods
[Research Report] RR-8217, INRIA. 2013, pp.28
hal-00906470v1  Communication dans un congrès
David Daney, Sylvain Lazard, Steve Robbins, Sue Whitesides. Géométrie algorithmique pour la CAO et la conception optimale de robots
68ème Congrés ACFAS, May 2000, Montréal, Canada. 2000
...
hal-01224549v1  Communication dans un congrès
Mikhail Bogdanov, Manuel Caroli, Monique Teillaud. Computing Periodic Triangulations
Shape up - Exercises in Materials Geometry and Topology, Sep 2015, Berlin, Germany. pp.60-61, 2015, <http://www.shape-up.academy>
...
hal-01393125v1  Pré-publication, Document de travail
Baldwin Dumortier, Emmanuel Vincent, Madalina Deaconu, Patrice Cornu. Efficient optimisation of wind power under acoustic constraints
2016
hal-00918566v1  Communication dans un congrès
Dorin Maxim, Liliana Cucu-Grosjean. Response Time Analysis for Fixed-Priority Tasks with Multiple Probabilistic Parameters
RTSS 2013 - IEEE Real-Time Systems Symposium, Dec 2013, Vancouver, Canada. 2013
hal-00920504v1  Communication dans un congrès
Liliana Cucu-Grosjean. Independence - a misunderstood property of and for probabilistic real-­‐time systems
N. Audsley and S. Baruah. Alan Burns 60th Anniversary, Mar 2013, York, United Kingdom. 2013
hal-00920513v1  Communication dans un congrès
Liliana Cucu-Grosjean. Probabilistic real-time systems
RTNS 2013 - 21st International Conference on Real-Time Networks and Systems, Oct 2013, Sophia Antipolis, France. ACM, 2013
hal-00920517v1  Communication dans un congrès
Liliana Cucu-Grosjean. Probabilistic real-time scheduling
ETR 2013 - Ecole d'été temps réel, Aug 2013, Toulouse, France. 2013
...
hal-01233730v1  Communication dans un congrès
Baldwin Dumortier, Emmanuel Vincent, Madalina Deaconu. Acoustic Control of Wind Farms
Ewea 2015 - The European Wind Energy Association Conference , Nov 2015, Paris, France
hal-00920913v1  Communication dans un congrès
Robert Davis, Luca Santinelli, Sebastian Altmeyer, Claire Maiza, Liliana Cucu-Grosjean. Analysis of Probabilistic Cache Related Pre-emption Delays
ECRTS - the 25th Euromicro Conference on Real-time Systems, Jul 2013, Paris, France. 2013

Contact


archive-ouverte@inria.fr