 |
 |
 |
 |
|
|
||
|---|---|---|
|
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-00654324v1
Chapitre d'ouvrage
Jean-Yves Audibert, Sébastien Bubeck, Rémi Munos. Bandit view on noisy optimization Optimization for Machine Learning, MIT Press, pp.431-454, 2011, 978-0-262-01646-9 |
||
|
hal-00654404v1
Communication dans un congrès
Jean-Yves Audibert, Sébastien Bubeck. Best Arm Identification in Multi-Armed Bandits COLT - 23th Conference on Learning Theory - 2010, Jun 2010, Haifa, Israel. 13 p., 2010 |
||
|
halshs-00176319v1
Communication dans un congrès
Laure-Hélène Thevenet, Camille Salinesi, Anne Etien, Ines Gam, Menel Lassoued. Experimenting a Modeling Approach for Designing Organization's Strategies in the Context of Strategic Alignment Australian Workshop on Requirements Engineering (AWRE), Dec 2006, Adelaide, Australia. pp.1, 2006 |
||
|
hal-01003189v1
Communication dans un congrès
Sylvie Borne, Pierre Fouilhoux, Roland Grappe, Mathieu Lacroix, Pierre Pesneau. Circuit and bond polytopes in series-parallel graphs ISCO 2014 - 3rd International Symposium on Combinatorial Optimization, Mar 2014, Lisbon, Portugal. 2014 |
||
|
hal-01275310v1
Pré-publication, Document de travail
Frédérique Bassino, Mathilde Bouvel, Valentin Féray, Lucas Gerin, Adeline Pierrot. The Brownian limit of separable permutations 2016 |
||
|
hal-00825617v1
Communication dans un congrès
Emmanuel Lassalle, Pascal Denis. Apprentissage d'une hiérarchie de modèles à paires spécialisés pour la résolution de la coréférence TALN 2013 - 20ème conférence du Traitement Automatique du Langage Naturel 2013, Jun 2013, Les Sables-d'Olonne, France. 2013 |
||
|
inria-00077192v1
Communication dans un congrès
Guy Fayolle, Stéphane Grumbach, Christophe Tollu. Asymptotic probabilities of languages with generalized quantifiers Eighth Annual IEEE Symposium on Logic in Computer Science, Jun 1993, Montréal / Canada, IEEE Computer Society, pp.199-207, 1993, Logic in Computer Science, 1993. LICS '93., Proceedings of Eighth Annual IEEE Symposium on. <10.1109/LICS.1993.287587> |
||
|
hal-00925001v1
Communication dans un congrès
Alejandro Díaz-Caro, Gilles Dowek. Non determinism through type isomorphism Delia Kesner and Petrucio Viana. LSFA - 7th Workshop on Logical and Semantic Frameworks with Applications - 2012, Sep 2012, Rio de Janeiro, Brazil. Open Publishing Association, 113, pp.137-144, 2013, Electronic Proceedings in Theoretical Computer Science. <10.4204/EPTCS.113.13> |
||
|
inria-00074344v1
Rapport
Stéphane Grumbach, Christophe Tollu. On the Expressive Power of Counting [Research Report] RR-2330, INRIA. 1992, pp.38 |
||
|
hal-00924992v1
Communication dans un congrès
Alejandro Díaz-Caro, Barbara Petit. Linearity in the non-deterministic call-by-value setting Luke Ong and Ruy de Queiroz. WoLLIC - 19th International Workshop on Logic, Language, Information and Computation - 2012, Sep 2012, Buenos Aires, Argentina. Springer, 7456, pp.216-231, 2012, Lecture Notes in Computer Science. <10.1007/978-3-642-32621-9_16> |
||
|
hal-00924926v1
Communication dans un congrès
Pablo Arrighi, Alejandro Díaz-Caro, Benoît Valiron. A Type System for the Vectorial Aspect of the Linear-Algebraic Lambda-Calculus Elham Kashefi and Jean Krivine and Femke van Raamsdonk. DCM - 7th International Workshop on Developments of Computational Methods - 2011, Jul 2011, Zurich, Swaziland. Open Publishing Association, 88, pp.1-15, 2012, Electronic Proceedings in Theoretical Computer Science. <10.4204/EPTCS.88.1> |
||
|
hal-00477574v1
Communication dans un congrès
Franck Butelle, Florent Hivert, Micaela Mayero, Frédéric Toumazet. Formal Proof of SCHUR Conjugate Function CALCULEMUS 2010, Jul 2010, Paris, France. Springer, 6167, pp.158-171, 2010, LNAI. <10.1007/978-3-642-14128-7> |
||
|
hal-00465672v1
Communication dans un congrès
Colette Johnen, Ivan Lavallee, Christian Lavault. A Self-Stabilizing Communication Primitive Hermès. International Conference on Principles of Distributed Systems (OPODIS), 1998, France. Proceedings of OPODIS'98, pp.15-23, 1998 |
||
|
hal-00516688v1
Communication dans un congrès
Fayçal Hamdi, Haïfa Zargayouna, Brigitte Safar, Chantal Reynaud. TaxoMap in the OAEI 2008 alignment contest The Third International Workshop on Ontology Matching, Oct 2008, Karlsruhe, Germany. pp.206-213, 2008 |
||
|
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-00436330v1
Communication dans un congrès
Erwan Moreau, Isabelle Tellier, Antonio Balvet, Grégoire Laurence, Antoine Rozenknop et al. Annotation fonctionnelle de corpus arborés avec des Champs Aléatoires Conditionnels TALN 2009, Jun 2009, Senlis, France. 2009 |
||
|
hal-00084822v1
Communication dans un congrès
Christophe Cérin, Jean-Christophe Dubacq, Jean-Louis Roch. Methods for Partitioning Data to Improve Parallel Execution Time for Sorting on Heterogeneous Clusters Y.-C. Chung & J.E. Moreira. GPC 2006, 2006, France. Springer, pp.175-186, 2006, LNCS 3947 |
||
|
inria-00491031v1
Communication dans un congrès
Dominique Bouhtinon, Henry Soldano, Veronique Ventos. Apprentissage de Concept a partir d'Exemples (tres) Ambigus Y. Bennani and C. Rouveirol. XI eme conference francophone sur l'apprentissage artificiel, May 2009, Hammamet, Tunisie. p 1-11, 2009, <http://cap2009.lipn.fr> |
||
|
hal-00702496v1
Communication dans un congrès
Joseph Le Roux, Benoît Sagot, Djamé Seddah. Statistical Parsing of Spanish and Data Driven Lemmatization ACL 2012 Joint Workshop on Statistical Parsing and Semantic Processing of Morphologically Rich Languages (SP-Sem-MRL 2012), Jul 2012, Jeju, South Korea. 6 p., 2012 |
||
|
hal-01055909v1
Direction d'ouvrage, Proceedings
Laurence Duchien, Jean-Louis Giavitto. Editorial Laurence Duchien and Jean-Louis Giavitto. 33, Technique et Science Informatiques, pp.4, 2014, 3 |
||
|
hal-00703613v1
Communication dans un congrès
Anne Etien, Rebecca Deneckere, Camille Salinesi. Extending methods to express change requirements Engineering Methods to support information Systems Evolution (EMSISE'03), 2003, Geneva, Switzerland. pp.15, 2003 |
||
|
hal-01244838v1
Communication dans un congrès
Beniamino Accattoli, Pablo Barenbaum, Damiano Mazza. A Strong Distillery Programming Languages and Systems - 13th Asian Symposium, APLAS 2015, Nov 2015, Pohang, South Korea. Programming Languages and Systems - 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings, 9458, pp.231-250, 2015, Lecture notes in computer science. <10.1007/978-3-319-26529-2_13> |
||
|
hal-00741242v1
Chapitre d'ouvrage
Sujeevan Aseervatham, Éric Gaussier, Anestis Antoniadis, Michel Burlet, Yves Denneulin. Logistic Regression and Text Classification Eric Gaussier, François Yvon. Textual Information Access: Statistical Models, John Wiley & Sons, pp.Part II.3 61-84, 2012, ISTE, 978-1-84821-322-7 |
||
|
hal-01401180v1
Communication dans un congrès
Christian Bessière, Jérôme Euzenat, Robert Jeansoulin, Gérard Ligozat, Sylviane Schwer. Raisonnement spatial et temporel 6e journées nationales PRC-GDR intelligence artificielle, Mar 1997, Grenoble, France. Hermès, 6e journées nationales PRC-GDR intelligence artificielle, pp.77-88, 1997 |
||
|
lirmm-00322878v1
Communication dans un congrès
Muhammad Usman Bhatti, Stéphane Ducasse, Marianne Huchard. Reconsidering Classes in Procedural Object-Oriented Code WCRE'08: 15th Working Conference on Reverse Engineering, Oct 2008, France. pp.10, 2008, <http://swerl.tudelft.nl/wcre2008/> |
||
|
lirmm-00138129v1
Article dans une revue
Jérôme Azé, Mathieu Roche, Erick Alphonse, Ahmed Amrani, Thomas Heitz et al. Bilan du premier défi francophone de Fouille de Textes Revue des Nouvelles Technologies de l'Information, Hermann, 2007, DEFT'2007: Défi Fouille de Textes : reconnaissance automatique des auteurs de discours - Campagne DEFT'05 (TALN'05), RNTI-E-10, pp.15-38 |
||
|
hal-01391578v1
Communication dans un congrès
Sylvie Boldo, François Clément, Florian Faissole, Vincent Martin, Micaela Mayero. A Coq Formal Proof of the Lax–Milgram theorem 6th ACM SIGPLAN Conference on Certified Programs and Proofs, Jan 2017, Paris, France. <http://cpp2017.mpi-sws.org/> |
||
|
hal-01500116v1
Pré-publication, Document de travail
Cedric Chauve, Julien Courtiel, Yann Ponty. Counting, generating, analyzing and sampling tree alignments Submitted to IJFCS. 2017 |
||
|
hal-01500112v1
Pré-publication, Document de travail
Farid Benbadis, Jean-Jacques Puig, Marcelo Dias de Amorim, Claude Chaudet, Timur Friedman et al. Jumps: Enhancing hop-count positioning in sensor networks using multiple coordinates 2017 |
||
|
|
||