Recherche

	1 2	Pertinence Auteur A→Z Auteur Z→A Titre A→Z Titre Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 résultats par page 50 résultats par page 100 résultats par page Pour les 49 documents Exporter XML-TEI BibTeX EndNote CSV PDF Export avancé... Syndication RSS ATOM
	inria-00074988v1 Article dans une revue Stéphane Grumbach, Victor Vianu. Tractable query languages for complex object databases Journal of Computer and System Sciences (JCSS), Elsevier, 1995, 51 (2), pp.149-167. <10.1006/jcss.1995.1058>
	tel-00527367v1 Thèse Christelle Braun. Quantitative Approaches to Information Hiding Other [cs.OH]. Ecole Polytechnique X, 2010. English
	tel-00124998v1 HDR Philippe Baptiste. Résultats de complexité et programmation par contraintes pour l'ordonnancement Other [cs.OH]. Université de Technologie de Compiègne, 2002
	inria-00077334v1 Rapport Pierrick Gaudry, Emmanuel Thomé, Nicolas Thériault, Claus Diem. A double large prime variation for small genus hyperelliptic index calculus [Research Report] RR-5764, INRIA. 2005
	pastel-00956183v1 Thèse Claire Lucas. Trois essais sur les relations entre les invariants structuraux des graphes et le spectre du Laplacien sans signe Autre [cs.OH]. Ecole Polytechnique X, 2013. Français
	inria-00075838v1 Chapitre d'ouvrage Serge Abiteboul, Stéphane Grumbach. COL : a logic-based language for complex objects François Bancilhon ; Peter Buneman. Advances in database programming languages, ACM Press, pp.347-374, 1987, 0-201-50257-7. <10.1145/101620.101641>
	inria-00098749v1 Rapport Alain Goupil, Dominique Poulalhon, Gilles Schaeffer. Characters and conjugacy classes of the symmetric group [Intern report] 99-R-349 \|\| goupil99a, 1999, 12 p
	inria-00099194v1 Communication dans un congrès Alain Goupil, Dominique Poulalhon, Gilles Schaeffer. Central Characters and Conjugacy Classes in the Symmetric Group Krob, D. and Mikhalev, A.A. & Mikhalev, A.V. 12th International Conference on Formal Power Series and Algebraic Combinatorics - FPSAC'00, 2000, Moscou/Russia, Springer, pp.238-249, 2000
	hal-00765226v1 Ouvrage (y compris édition critique et traduction) Gilles Dowek, Jean-Pierre Archambault, Emmanuel Baccelli, Sylvie Boldo, Denis Bouhineau et al. Une introduction à la science informatique pour les enseignants de la discipline en lycée Gilles Dowek. CRDP Paris, pp.376, 2011, Repères pour agir (RPA disciplines & compétences), Christine Moulin, 978-2-86631-188-9
	inria-00101066v1 Rapport Dominique Poulalhon, Gilles Schaeffer. A note on Bipartite Eulerian Planar Maps [Intern report] A02-R-213 \|\| poulalhon02a, 2002, 5 p
	hal-00643634v2 Article dans une revue Olivier Bournez, Daniel Graça, Emmanuel Hainry. Computation with perturbed dynamical systems Journal of Computer and System Sciences, Elsevier, 2013, 79 (5), pp.714-724. <10.1016/j.jcss.2013.01.025>
	inria-00100542v1 Communication dans un congrès Guillaume Hanrot, François Morain. Solvability by radicals from an algorithmic point of view Bernard Mourrain. International Symposium on Symbolic and Algebraic Computation - ISSAC'2001, 2001, London, Ontario, Canada, ACM, 18 p, 2001
	inria-00100860v1 Communication dans un congrès Dominique Poulalhon, Gilles Schaeffer. A bijection for loopless triangulations of a polygon with interior points Foda, O. and Guttmann, T. International Conference on Formal Power Series and Algebraic Combinatorics - FPSAC'02, Jul 2002, Melbourne, Australie, Actes locaux de l'universite de Melbourne, 12 p, 2002
	inria-00101067v1 Rapport Dominique Poulalhon, Gilles Schaeffer. A bijection for triangulations of a polygon with interior points and multiple edges [Intern report] A02-R-362 \|\| poulalhon02c, 2002, 21 p
	hal-00163564v1 Article dans une revue C.C. Pantelides, L. Liberti, P. Tsiakis, T. Crombie. MINLP Interface Specification CAPE-OPEN Update, 2002, 2, pp.10-13
	hal-00163555v1 Communication dans un congrès E. Amaldi, L. Liberti, N. Maculan, F. Maffioli. Efficient edge-swapping heuristics for finding minimum fundamental cycle bases Ribeiro, C. and Martins, S. 2004, Springer, pp.15-29, 2004
	hal-00163563v1 Ouvrage (y compris édition critique et traduction) L. Liberti. Reformulation techniques in Mathematical Programming Thèse d'Habilitation à Diriger des Recherches, 2007
	hal-00163561v1 Ouvrage (y compris édition critique et traduction) L. Liberti. Fondamenti Algebrici degli Automi Cellulari Invertibili M.Sc.~Thesis (in Italian), Dip. di Matematica, Università di Torino, 1997
	hal-00163562v1 Ouvrage (y compris édition critique et traduction) L. Liberti. Reformulation and Convex Relaxation Techniques for Global Optimization 2004
	inria-00522029v1 Communication dans un congrès Olivier Bournez, Daniel Graça, Emmanuel Hainry. Robust computations with dynamical systems Petr Hlineny and Antonin Kucera. 35th international symposium on Mathematical Foundations of Computer Science - MFCS 2010, Aug 2010, Brno, Czech Republic. Springer-Verlag, 6281, pp.198-208, 2010, Lecture Notes in Computer Science. <10.1007/978-3-642-15155-2_19>
	hal-00760688v1 Communication dans un congrès Catuscia Palamidessi, Marco Stronati. Differential privacy for relational algebra: improving the sensitivity bounds via constraint systems Wiklicky, Herbert and Massink, Mieke. QAPL - Tenth Workshop on Quantitative Aspects of Programming Languages, Apr 2012, Tallin, Estonia. Open Publishing Association, 85, pp.92-105, 2012, Electronic Proceedings in Theoretical Computer Science. <10.4204/EPTCS.85.7>
	tel-00111205v1 HDR Christoph Dürr. Tomographie discrète, calcul quantique et ordonnancement Autre [cs.OH]. Université Paris Sud - Paris XI, 2006
	inria-00072522v1 Rapport Guillaume Hanrot, François Morain. Solvability by Radicals from an Algorithmic Point of View [Research Report] RR-4109, INRIA. 2001
	inria-00099311v1 Rapport Sébastien Kunz-Jacques, Gilles Schaeffer. The asymptotic number of prime alternating links [Intern report] A00-R-424 \|\| kunz-jacques00a, 2000, 12 p
	hal-00445553v3 Chapitre d'ouvrage Giuseppe Longo, Catuscia Palamidessi, Paul Thierry. Some Bridging Results and Challenges in Classical, Quantum and Computational Randomness Hector Zenil. Randomness Through Computation, World Scientific, pp.NA, 2011
	tel-00847745v1 Thèse Philippe Rinaudo. Algorithmique de l'alignement structure-séquence d'ARN : une approche générale et paramétrée Autre [cs.OH]. Université Paris Sud - Paris XI, 2012. Français. <NNT : 2012PA112355>
	tel-00441540v3 Thèse Tom Gundersen. A General View of Normalisation through Atomic Flows Mathematics [math]. The University of Bath, 2009. English
	hal-00671809v2 Communication dans un congrès Cyril Cohen. Construction of real algebraic numbers in Coq Lennart Beringer and Amy Felty. ITP - 3rd International Conference on Interactive Theorem Proving - 2012, Aug 2012, Princeton, United States. Springer, 2012
	pastel-00756952v1 Thèse Andrés Aristizábal. Bisimulation Techniques and Algorithms for Concurrent Constraint Programming Other [cs.OH]. Ecole Polytechnique X, 2012. English
	inria-00070574v1 Rapport Luca Castelli Aleardi, Olivier Devillers, Gilles Schaeffer. Compact representation of triangulations [Research Report] RR-5433, INRIA. 2006, pp.20
	1 2	Pertinence Auteur A→Z Auteur Z→A Titre A→Z Titre Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 résultats par page 50 résultats par page 100 résultats par page Pour les 49 documents Exporter XML-TEI BibTeX EndNote CSV PDF Export avancé... Syndication RSS ATOM

Type de document

Auteur

Discipline

Structure

Collection

Langue

Type de dépôt

Année

Contact