160 résultats  enregistrer la recherche


...
inria-00126995v1  Communication dans un congrès
Alexandre SedoglavicA probabilistic algorithm to test local algebraic observability in polynomial time
International Symposium on Symbolic and Algebraic Computation, Jul 2001, London, Ontorio, Canada, 2001
hal-00644834v1  Communication dans un congrès
Johan OudinetAlain DeniseMarie-Claude GaudelRichard LassaigneSylvain PeyronnetUniform Monte-Carlo Model Checking
FASE 2011, 2011, Saarbrücken, Germany. 2011
...
inria-00136198v2  Rapport
Pierre-Arnaud CoquelinRémi MunosBandit Algorithms for Tree Search
[Research Report] RR-6141, INRIA. 2007, pp.20
inria-00560621v1  Article dans une revue
Alain DeniseMarie-Claude GaudelSandrine-Dominique GouraudRichard LassaigneJohan Oudinet et al.  Coverage-biased random exploration of large models and application to testing
Software Tools for Technology Transfer (STTT), Springer, 2012, 14 (1), pp.73-93
...
inria-00549416v1  Chapitre d'ouvrage
Olivier BournezGilles DowekRémi GilleronSerge GrigorieffJean-Yves Marion et al.  Décidabilité et Complexité
Pierre Marquis, Odile Papini and Henri Prade. IA Handbook, Cépaduès, pp.1-63, 2010
...
inria-00001264v1  Communication dans un congrès
Alin BostanFrédéric ChyzakFrançois OllivierBruno SalvyÉric Schost et al.  Fast computation of power series solutions of systems of differential equations
2007 ACM-SIAM Symposium on Discrete Algorithms, Jan 2007, New Orleans, Louisiana, United States. pp.1012-1021, 2007
...
hal-01255499v2  Article dans une revue
Alice HeliouMartine LéonardLaurent MouchardMikael SalsonEfficient dynamic range minimum query
Theoretical Computer Science, Elsevier, 2016, 656, pp.108-117. <10.1016/j.tcs.2016.07.002>
hal-00782790v1  Communication dans un congrès
Marianne AkianStéphane GaubertM. SharifyTropical bounds for the eigenvalues of structured matrices
2012 SIAM Conference on Applied Linear Algebra, 2012, Valencia, Spain, Spain. 2012
...
inria-00120991v1  Communication dans un congrès
Alexandre SedoglavicReduction of Algebraic Parametric Systems by Rectification of their Affine Expanded Lie Symmetries
H. Anai and K. Horimoto and T. Kutsia. Algebraic Biology 2007, Jul 2007, RISC, Castle of Hagenberg, Austria, Austria. Springer, 4545, pp.277-291, 2007, Lecture Notes in Computer Science,; Proceedings of Algebraic Biology 2007. <10.1007/978-3-540-73433-8_20>
hal-00687531v1  Communication dans un congrès
Antonio MucherinoCarlile LavorL. LibertiE.-G. TalbiA Parallel Version of the Branch & Prune Algorithm for the Molecular Distance Geometry Problem
Computer Systems and Applications (AICCSA), 2010 IEEE/ACS International Conference on, May 2010, Hammamet, Tunisia. 2010, <10.1109/AICCSA.2010.5586983>
...
hal-00488672v1  Pré-publication, Document de travail
Moez KilaniFabien LeurentAndré De PalmaA Monocentric City With Discrete Transit Stations
cahier de recherche 2010-14. 2010
...
inria-00117175v1  Article dans une revue
Christophe Barrera-EsteveFlorent BergeretCharles DossalEmmanuel GobetAsma Meziou et al.  Numerical methods for the pricing of Swing options: a stochastic control approach
Methodology and Computing in Applied Probability, Springer Verlag, 2006, Methodology and Computing in Applied Probability, 8 (4), pp.517-540
...
hal-00830166v1  Communication dans un congrès
Pierre-Arnaud CoquelinRomain DeguestRémi MunosSensitivity analysis in HMMs with application to likelihood maximization
Advances in Neural Information Processing Systems, 2009, Canada. 2009
...
hal-00830178v1  Communication dans un congrès
Yizao WangJean-Yves AudibertRémi MunosInfinitely many-armed bandits
Advances in Neural Information Processing Systems, 2008, Canada. 2008
...
hal-00830173v1  Communication dans un congrès
Pierre-Arnaud CoquelinRomain DeguestRémi MunosParticle filter-based policy gradient for pomdps
Advances in Neural Information Processing Systems, 2008, Canada. 2008
...
inria-00125423v1  Communication dans un congrès
Pierre-Arnaud CoquelinSophie MartinRémi MunosA Dynamic Programming Approach to Viability Problems
IEEE ADPRL, Apr 2007, Hawai, United States. pp.178-184, 2007, Proceedings of the 2007 IEEE Symposium on Approximate Dynamic Programming and Reinforcement Learning (ADPRL 2007)
...
hal-00129689v1  Communication dans un congrès
Guillermo MateraAlexandre SedoglavicThe differential Hilbert function of a differential rational mapping can be computed in polynomial time
Mora, Teo. International Symposium on Symbolic and Algebraic Computation, Jul 2002, lille, France. pp.184-191, 2001, Proceedings of the 2002 International Symposium on Symbolic and Algebraic Computation