320 résultats  enregistrer la recherche


...
hal-00150387v1  Article dans une revue
Maureen ClercStéphane MallatEstimating deformations of stationary processes
The Annals of Statistics, IMS, 2003, 31 (6), pp. 1772-1821. <10.1214/aos/1074290327>
...
hal-01200696v1  Communication dans un congrès
Christophe LabreucheSebastien DesterckeBrice MayagElicitation of a Utility from Uncertainty Equivalent Without Standard Gambles
European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty 2015, Jul 2015, Compiègne, France. Springer, Lecture notes in Computer Science, 9161, pp.25-35, 2015, Symbolic and Quantitative Approaches to Reasoning with Uncertainty. <10.1007/978-3-319-20807-7_3>
inria-00100059v1  Direction d'ouvrage, Proceedings
Francis CorblinClaire GardentInterpréter en contexte
Hermès, 384 p, 2004, Traité Sciences Cognitives
inria-00100168v1  Communication dans un congrès
Emmanuel DesveauxLaurent RomaryEthnonymie et ingénierie sémantique
Sources et ressources pour les sciences sociales, Dec 2004, Paris, France, 2004
...
inria-00176181v1  Communication dans un congrès
Christian BouchenyGeorges-Pierre BonneauJacques DroulezGuillaume ThibaultStéphane PloixA Perceptive Evaluation of Volume Rendering Techniques
Christian Wallraven and Veronica Sundstedt. APGV '07 - 4th symposium on Applied Perception in Graphics and Visualization, Jul 2007, Tübingen, Germany. ACM, pp.83-90, 2007, <10.1145/1272582.1272600>
...
tel-00327441v1  Thèse
Christian BrunetteConstruction et simulation graphiques de comportements : le modèle des Icobjs
Autre [cs.OH]. École Nationale Supérieure des Mines de Paris, 2004. Français
...
inria-00075075v1  Rapport
Frédéric BoussinotRobert De SimoneThe ESTEREL language
[Research Report] RR-1487, INRIA. 1991
...
inria-00074985v1  Rapport
Amar BoualiWeak and branching bisimulation in Fctool
[Research Report] RR-1575, INRIA. 1992
hal-00925345v1  Communication dans un congrès
Jonathan HaymanTobias HeindelPattern Graphs and Rule-Based Models: The Semantics of Kappa
Frank Pfenning. FOSSACS - 16th International Conference on Foundations of Software Science and Computation Structures, Mar 2013, Rome, Italy. Springer, 7794, pp.1--16, 2013, Lecture Notes in Computer Science. <10.1007/978-3-642-37075-5>
hal-00925549v1  Communication dans un congrès
Jonathan HaymanFiltered compression for Kappa
Jérôme Feret and Andre Levchenko. SASB - 4th INternational Workshop on Static Analysis and Systems Biology, Jun 2013, Seattle, United States. Elsevier, 2014, 4th International Workshop on Static Analysis and Systems Biology
inria-00527548v1  Communication dans un congrès
Ferdinanda CamporesiJérôme FeretHeinz KoepplTatjana PetrovAutomatic reduction of stochastic rules-based models in a nutshell
T.E. Simos. International Conference of Numerical Analysis and Applied Mathematics - ICNAAM 2010, Sep 2010, Rhodos, Greece. American Institute of Physics, 1281(2), pp.1330-1334, 2010, American Institute of Physics conference proceedings; International Conference of Numerical Analysis and Applied Mathematics (ICNAAM 2010). <10.1063/1.3497965>
...
inria-00074823v1  Rapport
Frédéric BoussinotReactive shared variables bases systems
[Research Report] RR-1849, INRIA. 1993
inria-00527536v1  Communication dans un congrès
Ferdinanda CamporesiJérôme FeretHeinz KoepplTatjana PetrovCombining Model Reductions
Michael Mislove and Peter Selinger. the 26th Conference on the Mathematical Foundations of Programming Semantics - MFPS 2010, May 2010, Ottawa, Canada. Elsevier, 265, pp.73--96, 2010, Electronic Notes in Theoretical Computer Science; Proceedings of the 26th Conference on the Mathematical Foundations of Programming Semantics (MFPS 2010). <10.1016/j.entcs.2010.08.006>
inria-00527933v1  Communication dans un congrès
Jérôme FeretOccurrence counting analysis for the pi-calculus
GEometry and Topology in COncurrency theory (Satellite Workshop from CONCUR 2000), Aug 2000, University Park, United States. Elsevier, 39(2), pp.1--18, 2001, Electronic Notes in Theoretical Computer Science; GEometry and Topology in COncurrency theory (Satellite Workshop from CONCUR 2000). <10.1016/S1571-0661(05)01155-2>
...
inria-00076371v1  Rapport
Didier AustryGérard BoudolAlgebre de processus et synchronisation
[Rapport de recherche] RR-0187, INRIA. 1983
inria-00429871v1  Article dans une revue
Iasonas KokkinosRachid DericheOlivier FaugerasPetros MaragosComputational analysis and learning for a biologically motivated model of boundary detection
Neurocomputing / EEG Neurocomputing, Elsevier, 2008, 71 (10-12), pp.1798--1812
...
inria-00430198v1  Poster
F. Ben HassenMaureen ClercJuliette LeblondStéphane RigatM. ZghalInverse EEG source problems and approximation
Proceedings of Optimization and Inverse Problems in Electromagnetism (OIPE), Sep 2008, Ilmenau, Germany
hal-00907830v1  Communication dans un congrès
Luke CampagnolaAlmar KleinCyrille RossantNicolas P. RougierVISPY, A Modern and Interactive Scientific Visualisation
Euroscipy 2013, Aug 2013, Brusells, Belgium. 2013