1. Recherche
219 résultats  enregistrer la recherche
...
hal-01346868v2  Pré-publication, Document de travail
Benoit Combès, Anne Philippe. Bayesian analysis of individual and systematic multiplicative errors for estimating ages with stratigraphic constraints in optically stimulated luminescence dating
2016
inria-00424520v1  Communication dans un congrès
Christel Baier, Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Marcus Größer. Almost-Sure Model Checking of Infinite Paths in One-Clock Timed Automata.
23rd Annual IEEE Symposium on Logic in Computer Science (LICS'08), Jun 2008, Pittsburgh, United States. IEEE, pp.217-226, 2008, <10.1109/LICS.2008.25>
inria-00424518v1  Communication dans un congrès
Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Nicolas Markey. Quantitative Model-Checking of One-Clock Timed Automata under Probabilistic Semantics.
5th International Conference on the Quantitative Evaluation of Systems (QEST'08), Sep 2008, Saint Malo, France. IEEE, pp.55-64, 2008, <10.1109/QEST.2008.19>
inria-00424351v1  Communication dans un congrès
Christel Baier, Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye. When are timed automata determinizable?
36th International Colloquium on Automata, Languages and Programming (ICALP'09), Jul 2009, Rhodes, Greece. Springer, 5556, pp.43-54, 2009, LNCS. <10.1007/978-3-642-02930-1_4>
...
hal-00872394v1  Article dans une revue
Emmanuel Frénod. An Attempt at Classifying Homogenization-Based Numerical Methods
DCDS-S, 2015, Numerical Methods Based on Two-Scale Convergence and Homogenization, 8 (1), pp.6. <http://aimsciences.org/journals/displayArticles.jsp?paperID=10095>. <10.3934/dcdss.2015.8.1i>
hal-01266129v1  Communication dans un congrès
Gilles Durrieu, Raphaël Coudret, Jerôme Saracco. Comparison of kernel density estimators with assumption on number of modes
20th International Conference on Computational Statistics, Aug 2012, Limassol, Cyprus. 2012
...
hal-00765843v1  Pré-publication, Document de travail
Raphaël Coudret, Gilles Durrieu, Jerôme Saracco. A note about the critical bandwidth for a kernel density estimator with the uniform kernel
2012
...
hal-00748790v1  Article dans une revue
Raphaël Coudret, Gilles Durrieu, Jerôme Saracco. Comparison of kernel density estimators with assumption on number of modes
Communication in Statistics - Simulation and Computation, 2013, in press. <10.1080/03610918.2013.770530>
...
hal-00873012v1  Article dans une revue
Emmanuel Frénod, Ibrahima Faye, Diaraf Seck. Two-Scale numerical simulation of sand transport problems
DCDS-S, 2015, Numerical Methods Based on Two-Scale Convergence and Homogenization, 8 (1), pp.151--168. <http://aimsciences.org/journals/displayArticles.jsp?paperID=10104>. <10.3934/dcdss.2015.8.151>
...
hal-00817522v2  Pré-publication, Document de travail
Emmanuel Frénod. A PDE-like Toy-Model of Territory Working
2013
...
hal-00522938v2  Pré-publication, Document de travail
Wilfried Despagne, Emmanuel Frénod. Transport hub flow modelling
2014
...
hal-00833192v1  Article dans une revue
Aurore Back, Emmanuel Frénod. GEOMETRIC TWO-SCALE CONVERGENCE ON MANIFOLD AND APPLICATIONS TO THE VLASOV EQUATION.
DCDS-S, 2015, Special Issue on "Numerical Methods Based on Two-Scale Convergence and Homogenization", 8 (1), pp 223--241
...
hal-00365357v1  Pré-publication, Document de travail
Emmanuel Frénod. Models for cohesive sediments describing the evolution of the characteristics of particles
2009
...
hal-00816149v1  Article dans une revue
Emmanuel Frénod. Un exemple d'application des mathématiques à l'environnement littoral : La dynamique à long terme des dunes marines dans les zones soumises à la marée. Modélisation, Analyse, Homogénéisation et Simulation
Matapli, SMAI, 2013, pp.129 --140
...
hal-01187587v1  Article dans une revue
Xiequan Fan, Ion Grama, Quansheng Liu. Sharp large deviation results for sums of independent random variables
Science China Mathematics, 2015, 58 (9), pp.1939-1958
...
lirmm-00748195v1  Communication dans un congrès
Mohamed Wahbi, Redouane Ezzahir, Christian Bessière, El Houssine Bouyakhf. Maintaining Arc Consistency Asynchronously in Synchronous Distributed Search
ICTAI'12: International Conference on Tools with Artificial Intelligence, Nov 2012, Athens, Greece. pp.8, 2012, <http://ictai12.unipi.gr/>
lirmm-00830408v1  Communication dans un congrès
Mohamed Wahbi, Redouane Ezzahir, Christian Bessière, El Houssine Bouyakhf. Maintien asynchrone de la consistance d'arc dans la recherche distribuée synchrone
JFPC'2013: Journées Francophones de Programmation par Contraintes, Jun 2013, Aix-en-Provence, France. pp.10, 2013
...
hal-01341125v3  Pré-publication, Document de travail
Frédéric Lavancier, Paul Rochet. A tutorial on estimator averaging in spatial point process models
2017
...
tel-00485033v1  Thèse
Marc Léger. Fiabilité des reconfigurations dynamiques dans les architectures à composants
Génie logiciel [cs.SE]. École Nationale Supérieure des Mines de Paris, 2009. Français. <NNT : 2009ENMP1618>
...
hal-01353483v2  Pré-publication, Document de travail
Gennadi Gromykov, Mohamedou Ould Haye, Anne Philippe. A Frequency-domain test for long range dependence
2017
...
hal-01347895v3  Pré-publication, Document de travail
Anne Philippe, Marie-Anne Vibet. Analysis of Archaeological Phases using the CRAN Package ArchaeoPhases
2017
hal-01061866v1  Communication dans un congrès
Laetitia Chapel, Chloé Friguet. Anomaly detection with score functions based on the reconstruction error of the kernel PCA
European Conference on Machine Learning (ECML PKDD), Sep 2014, Nancy, France. 8724, pp.227-241, 2014
...
tel-00555556v1  Thèse
Bernard Fotsing. Les grammaires attribuées pour la conception et l'assemblage de langages dédiés
Génie logiciel [cs.SE]. Université Rennes 1, 2010. Français
hal-00911890v1  Communication dans un congrès
Mathieu Chouchane, Sébastien Paris, François Le Gland, Christian Musso, Dinh--Tuan Pham. On the probability distribution of a moving target. Asymptotic and non-asymptotic results
Proceedings of the 14th International Conference on Information Fusion, Chicago 2011, Jul 2011, Chicago, United States. pp.99-101, 2011, <http://ieeexplore.ieee.org/document/5977480/>
...
inria-00070320v1  Pré-publication, Document de travail
Frédéric Cao, Julie Delon, Agnès Desolneux, Pablo Musé, Frédéric Sur. A unified framework for detecting groups and application to shape recognition
RR-5695. 2005
...
hal-01160791v2  Pré-publication, Document de travail
Clotilde Fermanian Kammerer, Florian Méhats. A kinetic model for the transport of electrons in a graphen layer
2015

Contact


archive-ouverte@inria.fr