1. Recherche
169 résultats  enregistrer la recherche
...
hal-01100512v1  Communication dans un congrès
Pierre Halmagrand. Using Deduction Modulo in Set Theory
SETS14, 1st International Workshop about Sets and Tools, Jun 2014, Toulouse, France. SETS14, 1st International Workshop about Sets and Tools, 2014, Toulouse, France, EasyChair., pp.12, 2014, <http://sets2014.cnam.fr/>
...
hal-01410195v1  Article dans une revue
Daniel Porumbel, François Clautiaux. Convergent Dual Bounds Using an Aggregation of Set-Covering Constraints for Capacitated Problems
INFORMS Journal on Computing, Institute for Operations Research and the Management Sciences (INFORMS), 2016
...
hal-00924491v1  Communication dans un congrès
Truong Giang Le, Olivier Hermant, Matthieu Manceny, Renaud Pawlak, Renaud Rioboo. Using Event-Based Style for Developing M2M Applications
James Park and Hamid Arabnia and Cheonshik Kim and Weisong Shi and Joon-Min Gil. GPC - 8th International Conference on Grid and Pervasive Computing - 2013, 2013, Seoul, South Korea. Springer, 7861, pp.348-357, 2013, Lecture Notes in Computer Science; Grid and Pervasive Computing. <10.1007/978-3-642-38027-3_37>
hal-01126274v1  Article dans une revue
Denis Efimov, Tarek Raïssi, Ali Zolghadri. Adaptive set observers for LPV systems: Application to fault detection
ASME Journal of Dynamic Systems, Measurement and Control, ASME, 2014, 136
hal-01126405v1  Communication dans un congrès
Annie Morin, Gilbert Saporta, A. Spinakis. Computer assisted training in statistics : internet and multimedia : a survey of existing tools
NTTS 1998, Sep 1998, Sorrento, Italy. pp.339-344, 1998
hal-01126108v1  Communication dans un congrès
Wajih Ouertani, Michel Crucianu, Nozha Boujemaa. Interactive Learning of Heterogeneous Visual Concepts with Local Features
ACM Multimedia 2010 (short paper), Nov 2010, X, France. pp.995-998, 2010
hal-01126175v1  Communication dans un congrès
Mauricio Iturralde, Tara Yahiya, Anne Wei, André-Luc Beylot. Interference Mitigation by Dynamic Self-Power Control in Femtocell Scenarios in LTE Networks
IEEE Global Communications Conference 2012, Dec 2012, X, France. à paraitre, 2012
hal-01126176v1  Communication dans un congrès
Mauricio Iturralde, Tara Yahiya, Anne Wei, André-Luc Beylot. A Real-Time Services Performance and Interference Mitigation for Femtocell Scenarios in LTE Networks
IEEE Conference on Local Computer Networks 2012, Oct 2012, X, France. à paraitre, 2012
hal-01126394v1  Communication dans un congrès
Raphaël Cauderlier, Ali Assaf, Catherine Dubois. Objects and subtyping in the lambda-Pi-calculus modulo,
TYPES 2014, May 2014, Paris, France. pp.2, 2014
...
tel-01420460v2  Thèse
Pierre Halmagrand. Automated Deduction and Proof Certification for the B Method
Logic in Computer Science [cs.LO]. Conservatoire National Des Arts et Métiers, Paris, 2016. English
hal-01122664v1  Communication dans un congrès
Gerhard Weikum, Nikos Ntarmos, Marc Spaniol, Peter Triantafillou, András Benczúr et al.  Longitudinal Analytics on Web Archive Data: It's About Time!
Proceedings of the 5th biennial Conference on Innovative Data Systems Research (CIDR), Asilomar, CA, USA, January 9 - 12, pp. 199-202, 2011, 2011, Asilomar, United States. 2011
hal-01125044v1  Rapport
Dan Vodislav, Sophie Cluet, Grégory Corona, Imen Sebei. XyView: Universal Relations Revisited
[Research Report] CEDRIC-05-828, CEDRIC Lab/CNAM. 2005
hal-00847933v1  Ouvrage (y compris édition critique et traduction)
Serge Abiteboul, Ioana Manolescu, Philippe Rigaux, Marie-Christine Rousset, Pierre Senellart. Web Data Management
Cambridge University Press, pp.432, 2012
...
hal-01248385v1  Article dans une revue
Liang Zhou, Baoyu Zheng, Benoit Geller, Anne Wei, Shan Xu et al.  Cross-layer rate control, medium access control and routing design in cooperative VANET
Journal on Computer Communications, 2008, <10.1016/j.comcom.2007.12.006>
inria-00292045v1  Communication dans un congrès
Sandrine Blazy, Benoît Robillard, Eric Soutif. Coloration avec préférences dans les graphes triangulés
Journées Graphes et algorithmes (JGA'07), Nov 2007, Paris, France. pp.32, 2007
...
inria-00292043v1  Communication dans un congrès
Sandrine Blazy. Experiments in validating formal semantics for C
C/C++ Verification Workshop, 2007, Oxford, United Kingdom. pp.95-102, 2007
...
inria-00535655v1  Communication dans un congrès
Évelyne Contejean, Pierre Courtieu, Julien Forest, Andrei Paskevich, Olivier Pons et al.  A3PAT, an Approach for Certified Automated Termination Proofs
John Gallagher and Janis Voigtländer. 2010 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, Jan 2010, Madrid, Spain. ACM, pp.63-72, 2010, PEPM'10. <10.1145/1706356.1706370>
inria-00340377v1  Communication dans un congrès
Michel Adiba, François Bancilhon, Christine Collet, J.L. Maître, Philippe Pucheral et al.  Bilans et perspectives de 20 ans de recherche en bases de données
20èmes Journées Bases de Données Avancées (BDA), Oct 2004, Montpellier, France. 2004
...
inria-00387749v1  Communication dans un congrès
Sandrine Blazy, Benoît Robillard. Register allocation by graph coloring under full live-range splitting
ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded systems (LCTES'2009), Jun 2009, Dublin, Ireland. 2009
inria-00602871v1  Communication dans un congrès
François Barthélemy. A Testing Framework for Finite-State Morphology
CIAA 2009 - 14th International Conference on Implementation and Application of Automata (CIAA), Jul 2009, Sydney, Australia. Springer, 5642, pp.75-83, 2009, Lecture Notes in Computer Science; Implementation and Application of Automata, 14th International Conference, CIAA 2009. <http://www.springerlink.com/content/y741111787224684/>. <10.1007/978-3-642-02979-0_11>
...
hal-01055907v1  Direction d'ouvrage, Proceedings
Catherine Dubois, Laurence Duchien, Nicole Levy. Actes des Sixièmes journées nationales du Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel
Catherine Dubois; Laurence Duchien; Nicole Levy. France. Conservatoire National des Arts et Métiers, pp.239, 2014
...
hal-01252138v1  Communication dans un congrès
Guillaume Burel, Gilles Dowek, Ying Jiang. A Completion Method to Decide Reachability in Rewrite Systems
Carsten Lutz; Silvio Ranise. International Symposium on Frontiers of Combining Systems FroCoS'15, Sep 2015, Wroclaw, Poland. Springer, 9322, pp.205-219, 2015, Lecture Notes in Computer Science. <http://frocos2015.ii.uni.wroc.pl/>. <10.1007/978-3-319-24246-0_13>
...
inria-00202715v1  Direction d'ouvrage, Proceedings
Sandrine Blazy. Actes de la conférence JFLA2008 (Journées Francophones des Langages Applicatifs)
INRIA. INRIA, pp.173, 2008, 2-7261-1295-1
hal-00701503v1  Communication dans un congrès
Serge Abiteboul, Itay Dar, Radu Pop, Gabriel Vasile, Dan Vodislav. EDOS Distribution System: a P2P architecture for open-source content dissemination
OSS 2005 - The First International Conference on Open Source Systems, Jul 2005, Genova, Italy. 2005
hal-01126329v1  Rapport
Tatiana Aubonnet, Eric Madelaine, Ludovic Henrio, Thomas Ledoux, Yousri Kouki et al.  Modèle logique avancé - version V1
[Rapport de recherche] CEDRIC-13-2871, CEDRIC Lab/CNAM. 2013
hal-01124674v1  Communication dans un congrès
Eric Gressier-Soudan, Madelaine Eric. Prototyping a CORBA based MMS -Industrial Communications with CORBA
OMG Technical Meeting, Jan 2000, X, France. 2000
...
hal-01524536v1  Pré-publication, Document de travail
Elena Di Bernardino, Clémentine Prieur. Estimation of the Multivariate Conditional-Tail-Expectation for extreme risk levels: illustrations on environmental data-sets
2017
...
hal-00699233v1  Communication dans un congrès
Mathieu Carlier, Catherine Dubois, Arnaud Gotlieb. Constraint Reasoning in FocalTest
ICSOFT, Jul 2010, Athènes, Greece. 2010

Contact


archive-ouverte@inria.fr