Skip to Main content Skip to Navigation

hal-00772059v1  Conference papers
Philippe MoireauDominique ChapelleMariette Yvinec. Cardiac motion extraction from images by filtering estimation based on a biomechanical model
FIMH'09 - 5th International Conference Functional Imaging and Modeling of the Heart, Jun 2009, Nice, France. pp.220-228, ⟨10.1007/978-3-642-01932-6_24⟩
hal-00776637v1  Conference papers
Alan TucholkaMerlin KellerJean-Baptiste PolineAlexis RocheBertrand Thirion. Surface-based versus volume-based fMRI group analysis: a case study
MICCAI 2009 Functional NeuroImaging Workshop, Bertrand Thirion, Alexis Roche, Philippe Ciuciu, Sep 2009, Londres, United Kingdom
inria-00359699v1  Conference papers
Alain FinkelJean Goubault-Larrecq. Forward analysis for WSTS, Part I: Completions
26th International Symposium on Theoretical Aspects of Computer Science - STACS 2009, Feb 2009, Freiburg, Germany. pp.433-444
inria-00432551v1  Conference papers
Fayçal HamdiBrigitte SafarHaïfa ZargayounaChantal Reynaud-Delaître. Partitionnement d'ontologies pour le passage à l'échelle des techniques d'alignement
9eme Journées Francophones "Extraction et Gestion des Connaissances", Jan 2009, Strasbourg, France
inria-00363227v1  Reports
Thomas Heide Clausen. MANET Router Configuration Recommendations
[Research Report] RR-6852, INRIA. 2009
inria-00434283v1  Conference papers
Mathieu Boespflug. Efficient normalization by evaluation
2009 Workshop on Normalization by Evaluation, Olivier Danvy, Aug 2009, Los Angeles, United States
inria-00434284v1  Conference papers
Mathieu Boespflug. From Self-Interpreters to Normalization by Evaluation
2009 Workshop on Normalization by Evaluation, Olivier Danvy, Aug 2009, Los Angeles, United States
hal-00461215v1  Conference papers
Pierre R., BertrandMehdi Fhima. Filtered derivative with p-value method for multiple change-points detection
International Workshop in Sequential Methodologies, Jun 2009, Troyes, France. pp.6
inria-00426607v1  Conference papers
Carlos OlarteCamilo Rueda. A Declarative Language for Dynamic Multimedia Interaction Systems
MCM 2009 - Second International Conference of the Society for Mathematics and Computation in Music, Jun 2009, New Haven, United States. ⟨10.1007/978-3-642-02394-1_20⟩
inria-00426610v1  Conference papers
Jesus ArandaGérard AssayagCarlos OlarteCamilo RuedaToro Mauricio et al.  An Overview of FORCES: An INRIA Project on Declarative Formalisms for Emergent Systems
ICLP 2009 - 25th International Conference on Logic Programming, Jul 2009, Pasadena, United States. pp.509-513, ⟨10.1007/978-3-642-02846-5⟩
hal-01806188v1  Conference papers
Diego FigueiraLuc Segoufin. Future-looking Logics on Data Words and Trees
International Symposium on Mathematical Foundations of Computer Science (MFCS), Aug 2009, Novy Smokovec, Slovakia. pp.331-343
hal-00777585v1  Conference papers
Johannes KanigJean-Christophe Filliâtre. Who: A Verifier for Effectful Higher-order Programs
ACM SIGPLAN Workshop on ML, Aug 2009, Edinburgh, United Kingdom
hal-00777577v1  Conference papers
Clément HurlinFrançois BobotAlexander Summers. Size Does Matter: Two Certified Abstractions to Disprove Entailment in Intuitionistic and Classical Separation Logic
International Workshop on Aliasing, Confinement and Ownership in object-oriented programming (IWACO'09), Jul 2009, Genova, Italy
inria-00386475v1  Conference papers
François-Michel De RainvilleChristian GagnéOlivier TeytaudDenis Laurendeau. Optimizing Low-Discrepancy Sequences with an Evolutionary Algorithm
Genetic and Evolutionary Computation Conference, 2009, Montréal, Canada. 8 p
hal-00684869v1  Conference papers
Haiwu HeGilles FedakBing TangFranck Cappello. BLAST Application with Data-aware Desktop Grid Middleware
CCGrid'09: Proceedings of the 9th IEEE International Symposium on Cluster Computing and the Grid, May 2009, Shanghai, China. ⟨10.1109/CCGRID.2009.91⟩
inria-00428521v1  Reports
Ulrich Herberg. Integrating Java Support for Routing Protocols in NS2
[Research Report] RR-7075, INRIA. 2009, pp.32
hal-01299746v1  Conference papers
Catherine LetondalWendy E. Mackay. L'écriture augmentée : enregistrer des explorations interactives avec une feuille de données scientifiques
21ème Conférence Francophone sur l'Interaction Homme-Machine (IHM 2009), Oct 2009, Grenoble, France
hal-01301485v1  Reports
Catherine LetondalAurélien TabardWendy E. Mackay. Quand tu l'as écrit, tu l'as lu !
[Rapport de recherche] 1526, Laboratoire de Recherche en Informatique (LRI). 2009
hal-00781428v1  Conference papers
Bastien RanceJean-François GibratChristine Froidevaux. An Adaptive Combination of Matchers: Application to the Mapping of Biological Ontologies for Genome Annotation
DILS 2009-6th International Workshop on Data Integration in the Life Sciences, Jul 2009, Manchester, United Kingdom. pp.113-126, ⟨10.1007/978-3-642-02879-3_10⟩
hal-00781450v1  Conference papers
Bao ZhuoweiSarah Cohen-BoulakiaSusan DavidsonPierrick Girard. PDiffView: Viewing the Difference in Provenance of Workflow Results
VLDB- Very Large DataBase systems-2009, Serge Abiteboul and Tova Milo and Jignesh Patel and Philippe Rigaux, Aug 2009, Lyon, France. pp.1638-1641