 |
 |
 |
 |
|
|
||
|---|---|---|
|
inria-00250900v1
Communication dans un congrès
Hassane Abouaïssa, Cédric Join. Modélisation macroscopique du flux de trafic basé sur l'estimation paramétrique des modèles bond graphs 7ème Conférence Internationale de Modélisation, Optimisation et Simulation des Systèmes, MOSIM 08, Mar 2008, Paris, France. 2008 |
||
|
inria-00300799v1
Communication dans un congrès
Cédric Join, Salvatore Tabbone. Robust curvature extrema detection based on new numerical derivation Advanced Concepts for Intelligent Vision Systems, ACIVS 2008, Oct 2008, Juan-les-Pins, France. Springer, 2008 |
||
|
hal-00650802v1
Communication dans un congrès
Abdouramane Moussa Ali, Cédric Join, Frédéric Hamelin. A robust algebraic approach to fault diagnosis of uncertain linear systems 50th IEEE Conference on Decision and Control and European Control Conference, CDC-ECC 2011, Dec 2011, Orlando, Florida, United States. pp.CDROM, 2011 |
||
|
inria-00259032v1
Communication dans un congrès
Hassane Abouaïssa, Michel Fliess, Cédric Join. Fast parametric estimation for macroscopic traffic flow model 17th IFAC World Congress, 2008, Seoul, South Korea. 2008 |
||
|
hal-00562488v1
Communication dans un congrès
Michel Fliess, Cédric Join, Frédéric Hatt. Volatility made observable at last 3èmes Journées Identification et Modélisation Expérimentale, JIME'2011, Apr 2011, Douai, France. pp.CDROM, 2011 |
||
|
hal-00576955v1
Communication dans un congrès
Michel Fliess, Cédric Join, Samer Riachy. Revisiting some practical issues in the implementation of model-free control 18th IFAC World Congress, IFAC WC'2011, Aug 2011, Milan, Italy. pp.CDROM, 2011 |
||
|
inria-00077334v1
Rapport
Pierrick Gaudry, Emmanuel Thomé, Nicolas Thériault, Claus Diem. A double large prime variation for small genus hyperelliptic index calculus [Research Report] RR-5764, INRIA. 2005 |
||
|
inria-00457222v1
Rapport
Michel Fliess, Cédric Join. A model-free approach to delta hedging [Research Report] 2010 |
||
|
inria-00308474v1
Article dans une revue
Sonia Rezk, Cédric Join, Sadok El Asmi, Mohamed Dogui, Mohamed Hédi Bedoui. Frequency Change-Point Detection in physiological Signals : an Algebraic Approach International Journal on Sciences and Techniques of Automatic control & computer engineering, Academic Publication Center, CPU, Tunisia, 2008, 2 (1), pp.456-468 |
||
|
hal-00105953v1
Chapitre d'ouvrage
Yann Guermeur, Olivier Teytaud. Estimation et contrôle des performances en généralisation des réseaux de neurones Younes Bennani. Apprentissage Connexioniste, Hermès, pp.283, 2006, collection I2C |
||
|
inria-00408908v1
Communication dans un congrès
Mouna Chaouch-Saad, Bernadette Charron-Bost, Stephan Merz. A Reduction Theorem for the Verification of Round-Based Distributed Algorithms Olivier Bournez and Igor Potapov. Reachability Problems 2009, Sep 2009, Palaiseau, France. Springer Berlin / Heidelberg, 5797, pp.93-106, 2009, Lecture Notes in Computer Science; Reachability Problems 3rd International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009. Proceedings. <10.1007/978-3-642-04420-5_10> |
||
|
inria-00160586v2
Communication dans un congrès
Frédéric Blanqui, Jean-Pierre Jouannaud, Pierre-Yves Strub. Building Decision Procedures in the Calculus of Inductive Constructions Jacques Duparc and Thomas Henziger. 16th EACSL Annual Conference on Computer Science and Logic - CSL 2007, Sep 2007, Lausanne, Switzerland. Springer Verlag, 4646, 2007, Lecture Notes in Computer Science. <10.1007/978-3-540-74915-8_26> |
||
|
hal-00654576v1
Communication dans un congrès
Victor Codocedo, Carla Taramasco, Hernan Astudillo. Cheating to achieve Formal Concept Analysis over a large formal context The Eighth International Conference on Concept Lattices and their Applications - CLA 2011, Oct 2011, Nancy, France. pp.349-362, 2011 |
||
|
inria-00425077v1
Communication dans un congrès
Michel Fliess, Cédric Join. Systematic risk analysis: first steps towards a new definition of beta Cognitive Systems with Interactive Sensors (COGIS'09), Nov 2009, PARIS, France. 2009 |
||
|
inria-00280410v2
Rapport
Lisa Allali, Paul Brauner. A Semantic Normalization Proof for Inductive Types [Research Report] 2008, pp.21 |
||
|
inria-00091308v2
Communication dans un congrès
Frédéric Blanqui, Jean-Pierre Jouannaud, Albert Rubio. Higher-Order Termination: from Kruskal to Computability Miki Hermann and Andrei Voronkov. 13th International Conference on Logic for Programming, Artificial Intelligence and Reasoning - LPAR 2006, Nov 2006, Phnom Penh, Cambodia. Springer-Verlag, 4246, pp.1-14, 2006, Lecture Notes in Computer Science. <10.1007/11916277_1> |
||
|
inria-00479824v1
Communication dans un congrès
Michel Fliess, Cédric Join. Delta Hedging in Financial Engineering: Towards a Model-Free Approach 18th Mediterranean Conference on Control and Automation, MED'10, Jun 2010, Marrakech, Morocco. IEEE, pp.CDROM, 2010 |
||
|
inria-00098749v1
Rapport
Alain Goupil, Dominique Poulalhon, Gilles Schaeffer. Characters and conjugacy classes of the symmetric group [Intern report] 99-R-349 || goupil99a, 1999, 12 p |
||
|
inria-00099194v1
Communication dans un congrès
Alain Goupil, Dominique Poulalhon, Gilles Schaeffer. Central Characters and Conjugacy Classes in the Symmetric Group Krob, D. and Mikhalev, A.A. & Mikhalev, A.V. 12th International Conference on Formal Power Series and Algebraic Combinatorics - FPSAC'00, 2000, Moscou/Russia, Springer, pp.238-249, 2000 |
||
|
inria-00099181v1
Rapport
Jörn Migge, P. Minet, S. Kamoun. Evaluation d'outils d'analyse de performances [Contrat] A00-R-299 || migge00a, Loria. 2000, 8 p |
||
|
inria-00099183v1
Rapport
Jörn Migge, P. Minet, S. Kamoun, E. Broutin. Cahier des charges des outils de simulation et d'analyse de performances [Contrat] A00-R-301 || migge00b, Loria. 2000, 5 p |
||
|
inria-00433745v1
Chapitre d'ouvrage
Claude Kirchner, Florent Kirchner, Hélène Kirchner. Strategic Computation and Deduction Christoph Benzmüller and Chad E. Brown and Jörg Siekmann and Richard Statman. Reasoning in Simple Type Theory. Festchrift in Honour of Peter B. Andrews on His 70th Birthday, 17, College Publications, pp.339-364, 2008, Studies in Logic and the Foundations of Mathematics, 978-1-904987-70-3 |
||
|
hal-00464414v1
Article dans une revue
Ugo Boscain, Grégoire Charlot, Roberta Ghezzi, Mario Sigalotti. Lipschitz classification of almost-Riemannian distances on compact oriented surfaces Journal of Geometric Analysis, 2013, 23, pp. 438-455 |
||
|
inria-00141720v3
Pré-publication, Document de travail
Paul Brauner, Gilles Dowek, Benjamin Wack. Normalization in Supernatural deduction and in Deduction modulo 2007 |
||
|
hal-00589554v1
Communication dans un congrès
Mario Sigalotti, Paolo Mason, Ugo Boscain, Thomas Chambrion. Generic controllability properties for the bilinear Schrödinger equation Conference on Decision and Control, Dec 2009, Shanghai, China. pp.3799, 2009, <10.1109/CDC.2009.5399813> |
||
|
inria-00101066v1
Rapport
Dominique Poulalhon, Gilles Schaeffer. A note on Bipartite Eulerian Planar Maps [Intern report] A02-R-213 || poulalhon02a, 2002, 5 p |
||
|
hal-00553441v1
Communication dans un congrès
Bruno Cessac, Juan Carlos Vasquez, Hassan Nasser, Horacio Rostro-Gonzalez, Thierry Viéville et al. Parametric estimation of spike train statistics by Gibbs distributions : an application to bio-inspired and experimental data Cinquième conférence plénière française de Neurosciences Computationnelles, "Neurocomp'10", Aug 2010, Lyon, France |
||
|
inria-00352834v1
Communication dans un congrès
Michel Fliess, Cédric Join. A mathematical proof of the existence of trends in financial time series A. EL JAI and L. AFIFI and E. ZERRIK. Systems Theory: Modelling, Analysis and Control, May 2009, Fes, Morocco. Presses Universitaires de Perpignan, pp.43-62, 2009, Etudes; SYSTEMS THEORY: MODELING, ANALYSIS and CONTROL |
||
|
inria-00100542v1
Communication dans un congrès
Guillaume Hanrot, François Morain. Solvability by radicals from an algorithmic point of view Bernard Mourrain. International Symposium on Symbolic and Algebraic Computation - ISSAC'2001, 2001, London, Ontario, Canada, ACM, 18 p, 2001 |
||
|
|
||