Recherche

	1 2 3	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 74 documents Exporter XML-TEI BibTeX EndNote CSV PDF Export avancé... Syndication RSS ATOM
	hal-00980394v1 Communication dans un congrès Nicolas Ollinger. Tutorial on Cellular Automata Cristian S. Calude and Jarkko Kari and Ion Petre and Grzegorz Rozenberg. UC 2011, Jun 2011, Turku, Finland. Springer, 6714, pp.34-35, 2011, <10.1007/978-3-642-21341-0_7>
	hal-00980362v1 Chapitre d'ouvrage Nicolas Ollinger. Universalities in Cellular Automata Grzegorz Rozenberg and Thomas Bäck and Joost N. Kok. Handbook of Natural Computing, Springer, pp.189-229, 2012, 978-3-540-92909-3. <10.1007/978-3-540-92910-9_6>
	hal-00980369v1 Communication dans un congrès Rodrigo Torres, Nicolas Ollinger, Anahi Gajardo. Undecidability of the Surjectivity of the Subshift Associated to a Turing Machine Robert Glück and Tetsuo Yokoyama. RC 2012, Jul 2012, Copenhague, Denmark. Springer, 7581, pp.44-56, 2013, <10.1007/978-3-642-36315-3_4>
	hal-00708817v1 Communication dans un congrès Frédéric Loulergue. On the Formal Verification of Computer Simulations Models and Simulations 5, Jun 2012, Helsinki, Finland. 2012
	hal-00960244v1 Communication dans un congrès Bastien Le Gloannec, Nicolas Ollinger. Knight tiles: particles and collisions in the realm of 4-way deterministic tilings Arseny M. Shur and Mikhail V. Volkov. Developments in Language Theory (DLT), Aug 2014, Ekaterinburg, Russia. Springer, 8633, pp 227-238, 2014, LNCS. <10.1007/978-3-319-09698-8_20>
	hal-00926333v1 Article dans une revue Aurélien Alvarez, Thierry Viéville. Dis maman (ou papa), c'est quoi un algorithme dans ce monde numérique ? Image des Maths, CNRS, 2014, <http://images.math.cnrs.fr/Dis-maman-ou-papa-c-est-quoi-un.html>
	hal-00926346v1 Article dans une revue Aurélien Alvarez, Thierry Viéville. Dis papa (ou maman), comment arrivent les bugs dans le monde numérique ? Image des Maths, CNRS, 2014, <http://images.math.cnrs.fr/Dis-papa-ou-maman-comment-arrivent.html>
	hal-00926349v1 Article dans une revue Aurélien Alvarez, Thierry Viéville. Dis maman (ou papa), comment on cache des secrets dans le monde numérique ? Image des Maths, CNRS, 2014, <http://images.math.cnrs.fr/Dis-maman-ou-papa-comment-on-cache.html>
	hal-00985482v1 Pré-publication, Document de travail Bastien Le Gloannec. The 4-way deterministic Periodic Domino Problem is undecidable 2014
	tel-00465080v1 Thèse Sylvain Jubertie. Modèles et outils pour le déploiement d'applications de Réalité Virtuelle sur des architectures distribuées Autre [cs.OH]. Université d'Orléans, 2007. Français
	hal-00989257v1 Direction d'ouvrage, Proceedings Jérôme Durand-Lose, Nataša Jonoska. Int. J. Natural Computing 13(2), special issue on Unconventional Computation and Natural Computation (UCNC '12) springer, pp.193-283, 2014
	hal-00989258v1 Direction d'ouvrage, Proceedings Jérôme Durand-Lose. Int. J. Unconventional Computing, 9(1-2), special issue on New Worlds of Computation (NWC '11) Old City Publishing, pp.1-201, 2013
	tel-00084828v1 Thèse Guillaume Cleuziou. Une méthode de classification non-supervisée pour l'apprentissage de règles et la recherche d'information Autre [cs.OH]. Université d'Orléans, 2004. Français
	hal-00823216v1 Article dans une revue Jarkko Kari, Bastien Le Gloannec. Modified Traffic Cellular Automaton for the Density Classification Task Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2012, 116 (1-4), pp 141-156. <10.3233/FI-2012-675>
	inria-00099990v1 Article dans une revue Siva Anantharaman, Paliath Narendran, Michael Rusinowitch. Unification Modulo ACUI Plus Distributivity Axioms Journal of Automated Reasoning, Springer Verlag, 2004, 33 (1), pp.1-28
	hal-00701201v1 Communication dans un congrès Pierre Réty, Jacques Chabin, Joshua Amavi. Weak Inclusion for Recursive XML Types CIAA - 2012, Jul 2012, Porto, Portugal. Springer, 7381, pp.78-89, 2012, LNCS; Proceedings of CIAA 2012
	hal-01294132v1 Direction d'ouvrage, Proceedings Ernst Mayr, Nicolas Ollinger. 32nd International Symposium on Theoretical Aspects of Computer Science (STACS 2015) STACS 2015, Mar 2015, Munich, Germany. 30, 2015, LIPIcs, 978-3-939897- 78-1. <10.4230/LIPIcs.STACS.2015.i>
	hal-01294133v1 Direction d'ouvrage, Proceedings Nicolas Ollinger. Informatique Mathématique École Jeunes Chercheurs en Informatique Mathématique, Mar 2015, Orléans, France. CNRS Éditions, 2015, CNRS Alpha, 978-2-271-08791-1
	hal-01294131v1 Direction d'ouvrage, Proceedings Nicolas Ollinger, Heribert Vollmer. 33rd Symposium on Theoretical Aspects of Computer Science (STACS 2016) STACS 2016, Feb 2016, Orléans, France. 47, 2016, LIPIcs, 978-3-95977-001-9. <10.4230/LIPIcs.STACS.2016.0>
	hal-00859779v1 Communication dans un congrès Nicolas Dugué, Vincent Labatut, Anthony Perez. Rôle communautaire des capitalistes sociaux dans Twitter 4ème Conférence sur les modèles et l'analyse de réseaux : approches mathématiques et informatiques (MARAMI), Oct 2013, Saint-Étienne, France. pp.12, 2013
	hal-00461203v1 Direction d'ouvrage, Proceedings Maurice Margenstern, Jérôme Durand-Lose. Int. J. Fundamenta Informaticae, 91(1-2), special issue on Machines, Computations and Universality (MCU '07) IOS Press, pp.1-195, 2009, Fundamenta Informaticae, 91(1 and 2), <10.3233/FI-2009-0029>
	hal-00661887v1 Communication dans un congrès Bastien Le Gloannec, Nicolas Ollinger. Substitutions and Strongly Deterministic Tilesets S.B. Cooper, A. Dawar and B. Löwe. Computability in Europe (CiE), Jun 2012, Cambridge, United Kingdom. Springer, 7318, pp 462-471, 2012, LNCS. <10.1007/978-3-642-30870-3_47>
	inria-00464114v1 Rapport Jacques Chabin, Jing Chen, Pierre Réty. Synchronized ContextFree Tree-tuple Languages [Research Report] RR-2006-13, 2006
	inria-00464120v1 Communication dans un congrès Jacques Chabin, Mirian Halfeld Ferrari Alves, Pierre Réty, Martin A. Musicante. Minimal Extensions of Tree Languages: Application to XML Schema Evolution Journées informatiques de la région centre (JIRC), Jan 2010, Blois, France. 2010
	inria-00464116v1 Rapport Jacques Chabin, Mirian Halfeld Ferrari Alves, Pierre Réty, Martin A. Musicante. Minimal Extensions of Tree Languages: Application to XML Schema Evolution [Research Report] RR-2009-06, 2009
	inria-00448751v1 Rapport Julien Tesson, Hideki Hashimoto, Zhenjiang Hu, Frédéric Loulergue, Masato Takeichi. Program Calculation in Coq [Research Report] RR-2009-07, 2009, pp.18
	tel-01163150v2 Thèse Simon Petitjean. Génération modulaire de grammaires formelles Autre [cs.OH]. Université d'Orléans, 2014. Français. < NNT : 2014ORLE2048 >
	tel-01202674v1 Thèse Khanh-Chuong Duong. Constrained clustering by constraint programming Other [cs.OH]. Université d'Orléans, 2014. English. < NNT : 2014ORLE2049 >
	inria-00072322v1 Rapport J. Frederic Bonnans, Philippe Chartier, Hasnaa Zidani. Discrete Approximations of the Hamilton-Jacobi Equation for an Optimal Control Problem of a Differential-Algebraic System [Research Report] RR-4265, INRIA. 2001
	inria-00099423v1 Rapport Emmanuel Melin, Bruno Raffin, Xavier Rebeuf, Bernard Virot. A symbolic cost model for asynchronous parallel programs with structured dependences [Intern report] A02-R-031 \|\| melin02a, 2002, 21 p
	1 2 3	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 74 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