1. Recherche
42 résultats  enregistrer la recherche


  • 1
  • 2
...
hal-00150387v1  Article dans une revue
Maureen Clerc, Stéphane Mallat. Estimating deformations of stationary processes
The Annals of Statistics, IMS, 2003, 31 (6), pp. 1772-1821. <10.1214/aos/1074290327>
...
inria-00075075v1  Rapport
Frédéric Boussinot, Robert De Simone. The ESTEREL language
[Research Report] RR-1487, INRIA. 1991
...
inria-00074985v1  Rapport
Amar Bouali. Weak and branching bisimulation in Fctool
[Research Report] RR-1575, INRIA. 1992
...
inria-00074658v1  Rapport
Olivier Faugeras, Thierry Viéville, Eric Theron, Jean Vuillemin, Bernard Hotz et al.  Real-time correlation-based stereo : algorithm, implementations and applications
[Research Report] RR-2013, INRIA. 1993
...
inria-00074823v1  Rapport
Frédéric Boussinot. Reactive shared variables bases systems
[Research Report] RR-1849, INRIA. 1993
...
inria-00075115v1  Rapport
Albert Benveniste, Gérard Berry. The Synchronous approach to reactive and real-time systems
[Research Report] RR-1445, INRIA. 1991
...
inria-00075119v1  Rapport
Eve Coste-Maniere, Bernard Espiau, Eric Rutten. Task-level robot programming combining object-oriented design and synchronous approach : a tentative study
[Research Report] RR-1441, INRIA. 1991
...
inria-00076371v1  Rapport
Didier Austry, Gérard Boudol. Algebre de processus et synchronisation
[Rapport de recherche] RR-0187, INRIA. 1983
...
inria-00075179v1  Rapport
Juliette Leblond, Jean-Paul Marmorat. Boundary control and observation of some one-dimensional vibrating structures : regularity and stabilization
[Research Report] RR-1382, INRIA. 1991
...
inria-00075367v1  Rapport
Guillaume Doumenc, Eric Madelaine, Robert De Simone. Proving process calculi translations in ecrins :The pureLOTOS -> MEIJE example
[Research Report] RR-1192, INRIA. 1990
...
inria-00075531v1  Rapport
Frédéric Boussinot. A reactive extension of C
[Research Report] RR-1027, INRIA. 1989
...
inria-00075420v1  Rapport
Eve Coste-Maniere. Utilisation d'Esterel dans un contexte asynchrone : une application robotique
[Rapport de recherche] RR-1139, INRIA. 1989
...
pastel-00644122v1  Thèse
Christian Fischer. Contrôle multi-objectifs d'ordre réduit
Autre [cs.OH]. École Nationale Supérieure des Mines de Paris, 2011. Français. <NNT : 2011ENMP0033>
...
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
...
inria-00287879v2  Rapport
Pierre Martinon, Joseph Gergaud. Shoot-1.1 Package - User Guide
[Technical Report] RT-0354, INRIA. 2008, pp.41
...
inria-00072613v1  Rapport
Frédéric Boussinot, Laurent Hazard, Jean-Ferdy Susini. La programmation en Junior
[Rapport de recherche] RR-4027, INRIA. 2000, pp.31
...
inria-00072607v1  Rapport
Frédéric Boussinot. Junior Automata
[Research Report] RR-4031, INRIA. 2000, pp.23
...
inria-00072737v1  Rapport
V. Dolean, Stephane Lanteri, Frédéric Nataf. Convergence Analysis of a Schwarz Type Domain Decomposition Method for the Solution of the Euler Equations
[Research Report] RR-3916, INRIA. 2000, pp.45
...
inria-00076136v1  Rapport
Michel Delfour, G. Payre, J.P. Zolesio. An optimal triangulation for second order elliptic problems
[Research Report] RR-0420, INRIA. 1985
...
inria-00069980v1  Rapport
Amar Bouali, Annie Ressouche, Valérie Roy, Robert De Simone. The FCTOOLS User Manual (Version 1.0)
[Technical Report] RT-0191, INRIA. 1996, pp.34
...
inria-00070054v1  Rapport
Valérie Roy, Robert De Simone. An autograph primer
[Research Report] RT-0112, INRIA. 1989, pp.30
...
inria-00070081v1  Rapport
Valérie Lecompte, Eric Madelaine, Didier Vergamini. Un système de vérification de processus parallèles et communicants
[Rapport de recherche] RT-0083, INRIA. 1987, pp.22
...
inria-00071255v1  Rapport
Mireille Bossy, Nadia Maïzi, Geert Jan Olsder, Odile Pourtallier, Etienne Tanré. Using game theory for the electricity market
[Research Report] RR-5274, INRIA. 2006
...
inria-00076030v1  Rapport
Gérard Berry, Philippe Couronne, Georges Gonthier. Systèmes réactifs et programmation synchrone
[Rapport de recherche] RR-0524, INRIA. 1986
...
inria-00075904v1  Rapport
Gérard Berry, Ravi Sethi. From regular expressions to deterministic automata
[Research Report] RR-0649, INRIA. 1987
...
inria-00075906v1  Rapport
Gérard Berry, Philippe Couronne, Georges Gonthier. Synchronous programming of reactive systems: an introduction to ESTEREL
[Research Report] RR-0647, INRIA. 1987
...
inria-00075426v1  Rapport
Gérard Berry, Gérard Boudol. The chemical abstract machine
[Research Report] RR-1133, INRIA. 1989
...
inria-00623930v1  Communication dans un congrès
Stéphanie Allassonnière, Pierre Jolivet, Christophe Giraud. Detecting Long Distance Conditional Correlations Between Anatomical Regions Using Gaussian Graphical Models
Pennec, Xavier and Joshi, Sarang and Nielsen, Mads. Proceedings of the Third International Workshop on Mathematical Foundations of Computational Anatomy - Geometrical and Statistical Methods for Modelling Biological Shape Variability, Sep 2011, Toronto, Canada. pp.111-122, 2011
...
inria-00075461v1  Rapport
Gérard Boudol, Valérie Roy, Robert De Simone, Didier Vergamini. Process calculi, from theory to practice : verification tools
[Research Report] RR-1098, INRIA. 1989
...
inria-00075527v1  Rapport
Gérard Berry, Georges Gonthier. Incremental development of an HDLC protocol in Esterel
[Research Report] RR-1031, INRIA. 1989
  • 1
  • 2

Contact


archive-ouverte@inria.fr