1. Recherche
320 résultats  enregistrer la recherche
...
tel-01400369v1  Thèse
Marco Solieri. Sharing, Superposition and Expansion: Geometrical Studies on the Semantics and Implementation of λ-calculi and Proof-nets
Logic in Computer Science [cs.LO]. Université Paris XIII, Sorbonne Paris Cité; Università di Bologna, 2016. English
...
hal-00750611v1  Communication dans un congrès
Philippe Muller, Stergos Afantenos, Pascal Denis, Nicholas Asher. Constrained decoding for text-level discourse parsing
COLING - 24th International Conference on Computational Linguistics, Dec 2012, Mumbai, India. 2012
hal-01038124v1  Direction d'ouvrage, Proceedings
Guillaume Gravier, Frédéric Bechet. Proceedings of the First ISCA/IEEE Workshop on Speech, Language and Audio in Multimedia
Guillaume Gravier and Frédéric Béchet. First ISCA/IEEE Workshop on Speech, Language and Audio in Multimedia, Aug 2013, France. 2012, 2013
...
hal-01424469v1  Communication dans un congrès
Étienne Birmelé, Fabien De Montgolfier, Léo Planche. Minimum Eccentricity Shortest Path Problem: An Approximation Algorithm and Relation with the k-Laminarity Problem
COCOA 2016, Combinatorial Optimization and Applications - 10th International Conference, Dec 2016, Hong Kong, China. pp.216 - 229, 2016, <https://conference.cs.cityu.edu.hk/cocoa2016/>. <10.1007/978-3-319-48749-6_16>
...
hal-01415090v1  Communication dans un congrès
Adrian Kosowski. What Makes a Distributed Problem Truly Local?
Jukka Suomela SIROCCO 2016 - 23rd International Colloquium on Structural Information and Communication Complexity, Jul 2016, Helsinki, Finland. Springer, 9988 pp.3, Lecture Notes in Computer Science. <10.1007/978-3-319-48314-6>
hal-00946320v1  Communication dans un congrès
Matthieu Gerard, François Clautiaux. planification hebdomadaire sur plusieurs sites d'un personnel hétérogène et poly-compétent sous contraintes multiples
ROADEF - 15ème congrès annuel de la Société française de recherche opérationnelle et d'aide à la décision, Feb 2014, Bordeaux, France
hal-00946329v1  Communication dans un congrès
Aline Parreau, François Clautiaux. Coloration bornée avec multiplicité
ROADEF - 15ème congrès annuel de la Société française de recherche opérationnelle et d'aide à la décision, Feb 2014, Bordeaux, France
hal-00946388v1  Communication dans un congrès
Martin Bué, François Clautiaux, Luce Brotcorne. Conception d'un système de rangement à deux niveaux
ROADEF - 15ème congrès annuel de la Société française de recherche opérationnelle et d'aide à la décision, Feb 2014, Bordeaux, France
...
inria-00526561v1  Rapport
Vlad Rusu, Laure Gonnord, Benoît Combemale. Formally Tracing Executions From an Analysis Tool Back to a Domain Specific Modeling Language's Operational Semantics
[Research Report] RR-7423, INRIA. 2010
inria-00425370v1  Chapitre d'ouvrage
Nadia Pisanti, Mathieu Giraud, Pierre Peterlongo. Filters and seeds approaches for fast homology searches in large datasets
Mourad Elloumi and Albert Y. Zomaya. Algorithms in computational molecular biology, John Wiley & sons, 2010
...
inria-00623390v1  Communication dans un congrès
Mathieu Giraud, Stéphane Janot, Jean-Frédéric Berthelot, Charles Deltel, Laetitia Jourdan et al.  Biomanycores, open-source parallel code for many-core bioinformatics
Bioinformatics Open Source Conference (BOSC 2011), 2011, Vienne, Austria. 2011
...
inria-00477556v1  Communication dans un congrès
Sébastien Saudrais, Olivier Barais, Laurence Duchien, Noël Plouzeau. Intégration de propriétés temporelles dans des applications à base de composants
Dixième Anniversaire de la Conférence Francophone sur les Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL'07), 2007, Namur, Belgium, Belgique. 2007
...
inria-00178325v1  Communication dans un congrès
Pierre Peterlongo, Laurent Noé, Dominique Lavenier, Gilles Georges, Julien Jacques et al.  Protein similarity search with subset seeds on a dedicated reconfigurable hardware
Parallel Bio-Computing, Sep 2007, Gdansk,, Poland. 2007
...
hal-00726121v1  Communication dans un congrès
Xavier Devroey, Maxime Cordy, Gilles Perrouin, Eun-Young Kang, Pierre-Yves Schobbens et al.  A Vision for Behavioural Model-Driven Validation of Software Product Lines
International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, Oct 2012, Amirandes, Heraclion, Greece. 2012
...
inria-00580599v2  Rapport
Franck Cappello, Mathias Jacquelin, Loris Marchal, Yves Robert, Marc Snir. Comparing archival policies for Blue Waters
[Research Report] RR-7583, INRIA. 2011
...
inria-00074284v1  Rapport
Solange Coupet-Grimal, Olivier Ridoux. On the use of advanced logic programming languages
[Research Report] RR-2391, INRIA. 1994
hal-00826392v1  Communication dans un congrès
Patricia Everaere, Sébastien Konieczny, Pierre Marquis. The epistemic view of belief merging: can we track the truth?
ECAI'2010 -- Lisbon (Portugal) -- August 16-20, 2010, 2010, Portugal. pp.621-626, 2010
hal-00826463v1  Communication dans un congrès
Patricia Everaere, Sébastien Konieczny, Pierre Marquis. Compositional belief merging
KR'2012 -- Roma (Italy) -- 10-14 June 2012, 2012, Italy. pp.603-607, 2012
hal-00644834v1  Communication dans un congrès
Johan Oudinet, Alain Denise, Marie-Claude Gaudel, Richard Lassaigne, Sylvain Peyronnet. Uniform Monte-Carlo Model Checking
FASE 2011, 2011, Saarbrücken, Germany. 2011
...
hal-01373411v2  Rapport
Paolo Penna, Laurent Viennot. Independent lazy better-response dynamics on network games
[Research Report] ETH Zurich; INRIA; Universite Paris Diderot-Paris VII. 2016
...
hal-01130889v1  Communication dans un congrès
Lionel Lacassagne, Antoine Manzanera, Antoine Dupret. Motion detection: Fast and robust algorithms for embedded systems
International Conference on Image Processing (ICIP), Nov 2009, Le Caire, Egypt. 2009, <10.1109/ICIP.2009.5413946>
...
tel-01415910v1  Thèse
Cyrille Chenavier. Le treillis des opérateurs de réduction : applications aux bases de Gröbner non commutatives et en algèbre homologique
Mathématiques [math]. Université paris Diderot, 2016. Français
hal-01415064v1  Communication dans un congrès
Pawel Gawrychowski, Adrian Kosowski, Przemyslaw Uznanski. Sublinear-Space Distance Labeling Using Hubs
Cyril Gavoille; David Ilcinkas. DISC 2016 - 30th International Symposium on DIStributed Computing, Sep 2016, Paris, France. Springer, Lecture Notes in Computer Science, 9888 pp.230-242, Distributed Computing. <10.1007/978-3-662-53426-7_17>
hal-00863174v1  Communication dans un congrès
Rémy Wyss, Frédéric Boniol, Claire Pagetti, Julien Forget. End-to-end latency computation in a multi-periodic design
28th Symposium On Applied Computing (SAC'13), Apr 2013, Coimbra, Portugal. pp.1682--1687, 2013
hal-01416509v1  Article dans une revue
Carole Delporte-Gallet, Hugues Fauconnier. Asynchronous Consensus with Bounded Memory.
Lecture notes in computer science, springer, 2016, Networked Systems, 9944, pp.15. <10.1007/978-3-319-46140-3_12>
...
hal-01337192v1  Article dans une revue
Flavien Breuvart, Giulio Manzonetto, Andrew Polonsky, Domenico Ruoppolo. New Results on Morris's Observational Theory
Leibniz International Proceedings in Informatics (LIPIcs), 2016, 1st International Conference on Formal Structures for Computation and Deduction, pp.560. <http://fscd2016.dcc.fc.up.pt/>. <10.4230/LIPIcs.FSCD.2016.70>
hal-01251571v1  Communication dans un congrès
Carole Delporte-Gallet, Hugues Fauconnier, Sam Toueg. A Separation of n-consensus and (n + 1)-consensus Based on Process Scheduling
Structural Information and Communication Complexity - 22nd International Colloquium, 2015, Jul 2015, Montserrat, France. Structural Information and Communication Complexity - 22nd International Colloquium, 2015, Springer LNCS, 9439, pp.385-398, 2015, Springer LNCS. <10.1007/978-3-319-25258-2_27>

Contact


archive-ouverte@inria.fr