Search - Archive ouverte HAL Access content directly

Filter your results

99 Results
Image document

Implicit Complexity over an Arbitrary Structure: Quantifier Alternations

Olivier Bournez , Felipe Cucker , Paulin Jacobé de Naurois , Jean-Yves Marion
[Intern report] A04-R-300 || bournez04e, 2004, 23 p
Reports inria-00107811v1
Image document

Using local planar geometric invariants to match and model images of line segments

Patrick Gros , Olivier Bournez , Edmond Boyer
Computer Vision and Image Understanding, 1998, 69 (2), pp.135-155. ⟨10.1006/cviu.1997.0565⟩
Journal articles istex inria-00102944v1

Proving Positive Almost Sure Termination Under Strategies

Bournez Olivier , Garnier Florent
17th International Conference on Rewriting Techniques and Applications - RTA'2006, Aug 2006, Seattle, WA/USA, pp.357--371, ⟨10.1007/11805618⟩
Conference papers inria-00102945v1

Population Protocols that Correspond to Symmetric Games

Olivier Bournez , Jérémie Chalopin , Johanne Cohen , Xavier Koegler , Mikael Rabie
International Journal of Unconventional Computing, 2013, 9 (1-2), pp.5--36
Journal articles hal-01198889v1

A Rule-Based Approach for Automated Generation of Kinetic Chemical Mechanisms

Olivier Bournez , Guy-Marie Côme , Valérie Conraud , Hélène Kirchner , Liliana L. Ibanescu
14th International Conference on Rewriting Techniques and Applications - RTA'2003, Jun 2003, Valencia, Spain, pp.30-45
Conference papers inria-00099621v1
Image document

A Survey on Continuous Time Computations

Olivier Bournez , Manuel Campagnolo
New Computational Paradigms. Changing Conceptions of What is Computable, Springer, pp.383-423, 2008
Book sections hal-00760976v1
Image document

Polynomial differential equations compute all real computable functions on computable compact intervals

Olivier Bournez , Manuel L. Campagnolo , Daniel S. Graça , Emmanuel Hainry
Journal of Complexity, 2007, 23 (3), pp.317--335
Journal articles inria-00102947v2
Image document

A dynamic approach for load balancing

Dominique Barth , Olivier Bournez , Octave Boussaton , Johanne Cohen
The Third International Workshop on Game Theory in Communication Networks - GAMECOMM 2009, Samson Lasaulce and Yezekael Hayel, Oct 2009, Pise, Italy
Conference papers inria-00435160v1

Tailoring Recursion to Characterize Non-Deterministic Complexity Classes Over Arbitrary Structures

Olivier Bournez , Felipe Cucker , Paulin Jacobé de Naurois , Jean-Yves Marion
3rd IFIP International Conference on Theoretical Computer Science - TCS'2004, Aug 2004, Toulouse, France, 14 p
Conference papers inria-00099896v1

An analog Characterization of Elementarily Computable Functions Over the Real Numbers

Olivier Bournez , Emmanuel Hainry
2nd APPSEM II Workshop - APPSEM'2004, 2004, Tallinn, Estonia, 12 p
Conference papers inria-00099897v1

Theoretical Computer Science: Computational Complexity

Olivier Bournez , Gilles Dowek , Rémi Gilleron , Serge Grigorieff , Jean-Yves Marion , et al.
A Guided Tour of Artificial Intelligence Research - Volume III: Interfaces and Applications of Artificial Intelligence (10.1007/978-3-030-06170-8), Springer International Publishing, 2020
Book sections hal-02995771v1

On the mortality problem for matrices of low dimensions

Olivier Bournez , Michael Branicky
[Intern report] A00-R-089 || bournez00b, 2000
Reports inria-00099293v1

Proving Positive Almost-Sure Termination

Olivier Bournez , Florent Garnier
16th International Conference on Rewriting Techniques and Applications - RTA'2005, Apr 2005, Nara/Japan, pp.323-337, ⟨10.1007/b135673⟩
Conference papers inria-00000522v1

The General Purpose Analog Computer and Computable Analysis are Two Equivalent Paradigms of Analog Computation

Olivier Bournez , Manuel Lameiras Campagnolo , Daniel S. Graça , Emmanuel Hainry
3rd International Conference on Theory and Applications of Models of Computation - TAMC'2006, 2006, Pekin/Chine
Conference papers inria-00102946v1

Projet GasEl. Elaboration d'un logiciel de génération de mécanismes détaillés d'oxydation et de combustion de molécules d'hydrocarbures. Rapport No 2

Liliana L. Ibanescu , Olivier Bournez , Hélène Kirchner , Guy-Marie Côme , Valérie Conraud
[Contrat] A02-R-559 || ibanescu02a, 2002, 26 p
Reports inria-00101047v1

On matrix mortality in low dimensions

Olivier Bournez , Michael Branicky
V. Blondel, E. Sontag, M. Vidyasagar, J. Willems. Open Problems in Mathematical Systems Theory and Control, Springer-Verlag, pp.67-70, 1998
Book sections inria-00108039v1
Image document

Computing with Large Populations Using Interactions

Olivier Bournez , Pierre Fraigniaud , Xavier Koegler
Mathematical Foundations of Computer Science 2012, MFCS'2012, Aug 2012, Slovakia. pp.234-246
Conference papers hal-00760669v1
Image document

Towards an Axiomatization of Simple Analog Algorithms

Olivier Bournez , Nachum Dershowitz , Evgenia Falkovich
Theory and Applications of Models of Computation - 9th Annual Conference, TAMC 2012, Beijing, China, May 16-21, 2012. Proceedings, Date-Added = 2012-05-04 20:32:53 +0000, Date-Modified = 2012-05-04 20:35:01 +0000, 2012, China. pp.525-536
Conference papers hal-00760736v1
Image document

Using geometric quasi-invariants to match and model images of line segments

Patrick Gros , Olivier Bournez , Edmond Boyer
[Research Report] RR-2608, INRIA. 1995
Reports inria-00074077v1

Safe Recursion and Calculus over an Arbitrary Structure

Olivier Bournez , Paulin de Naurois , Jean-Yves Marion
Implicit Computational Complexity - ICC'2002, Jul 2002, Copenhagen, Denmark, 12 p
Conference papers inria-00100884v1

Recursive Analysis Characterized as a Class of Real Recursive Functions

Olivier Bournez , Emmanuel Hainry
Fundamenta Informaticae, 2006, 74 (4), pp.409-433
Journal articles inria-00000515v1

Computability over an Arbitrary Structure. Sequential and Parallel Polynomial Time

Olivier Bournez , Felipe Cucker , Paulin Jacobé de Naurois , Jean-Yves Marion
Foundations of Software Science and Computation Structures - FOSSACS'03, Apr 2003, Warsaw, Poland, pp.185-199
Conference papers inria-00099618v1

Rewriting Logic and Probabilities

Olivier Bournez , Mathieu Hoyrup
14th International Conference on Rewriting Techniques and Applications - RTA'2003, Jun 2003, Valencia, Spain, pp.61-75
Conference papers inria-00099620v1

Automated Generation of Kinetic Chemical Mechanisms Using Rewriting

Olivier Bournez , Guy-Marie Côme , Valérie Conraud , Hélène Kirchner , Liliana L. Ibanescu
International Conference on Computational Science - ICCS 2003, Jun 2003, Melbourne, Australie, pp.367-376
Conference papers inria-00099622v1
Image document

Solving Analytic Differential Equations in Polynomial Time over Unbounded Domains

Olivier Bournez , Daniel Graça , Amaury Pouly
Mathematical Foundations of Computer Science, MFCS'11, 2011, Poland. pp.170-181
Conference papers hal-00760919v1

A Universal Ordinary Differential Equation

Olivier Bournez , Amaury Pouly
Logical Methods in Computer Science, 2020, 16 (1), ⟨10.23638/LMCS-16(1:28)2020⟩
Journal articles hal-03011133v1
Image document

Computability, Complexity and Programming with Ordinary Differential Equations

Olivier Bournez
37th International Symposium on Theoretical Aspects of Computer Science (STACS 2020), 2020, Montpellier, France. ⟨10.4230/LIPIcs.STACS.2020.3⟩
Conference papers hal-03668004v1

On the Convergence of a Population Protocol When Population Goes to Infinity

Olivier Bournez , Philippe Chassaing , Johanne Cohen , Lucas Gerin , Xavier Koegler
Physics and Computations, Worshop of Unconventional Computation - UC 2008, Aug 2008, Vienne, Austria
Conference papers inria-00308018v1

Implicit Complexity over an Arbitrary Structure: Quantifier Alternations

Olivier Bournez , Felipe Cucker , Paulin Jacobé de Naurois , Jean-Yves Marion
Information and Computation, 2006, 204 (2), pp.210--230
Journal articles inria-00000516v1

Elementarily Computable Functions Over the Real Numbers and R-Sub-Recursive Functions

Olivier Bournez , Emmanuel Hainry
Theoretical Computer Science, 2005, 348 (2-3), pp.130--147. ⟨10.1016/j.tcs.2005.09.010⟩
Journal articles inria-00000518v1