Add to ORKGInternational audienceComputation constraints can be due to the formal aspects of the computation itself: a program that corresponds to a formal mathematical model able to be implemented on a specific computation automaton, called computer. This specific mathematical model was called algorithm, from the name of the Arab mathematician Al-Huwarizmi
International audienceA model of hypercomputation can compute at least one function not computable b...
This dissertation addresses a variety of foundational issues pertaining to the notion of algorithm e...
This dissertation examines aspects of the interplay between computing and scientific practice. The a...
The goal of this chapter is to bring to the attention of philosophers of mathematics the concept of ...
International audienceThe purpose of this talk is to single out some physical assumptions that commo...
How can we rethink the definition of algorithm, and through that, produce another age of enlightenme...
Cette thèse rend compte de pratiques dont l'articulation aboutit, parfois, à la constitution de méth...
International audienceResearchers and practitioners have for long worked on improving the computatio...
Basic definition of algorithm in mathematics is step by step procedure to solve a problem. Algorithm...
The relationship between abstract formal procedures and the activities of actual physical systems ha...
Our world is densely populated by ubiquitous processors, capacious storage, and vigilant sensors. Ne...
Algorithmics is the study and practice of taking a high-level description of a program’s purpose an...
In our information societies, tasks and decisions are increasingly outsourced to automated systems, ...
This paper vindicates interpretational accounts of physical computation. Specifically, recent agenti...
Depuis 1978, le droit encadre les algorithmes décisionnels, c’est-à-dire les algorithmes aidant ou r...
International audienceA model of hypercomputation can compute at least one function not computable b...
This dissertation addresses a variety of foundational issues pertaining to the notion of algorithm e...
This dissertation examines aspects of the interplay between computing and scientific practice. The a...
The goal of this chapter is to bring to the attention of philosophers of mathematics the concept of ...
International audienceThe purpose of this talk is to single out some physical assumptions that commo...
How can we rethink the definition of algorithm, and through that, produce another age of enlightenme...
Cette thèse rend compte de pratiques dont l'articulation aboutit, parfois, à la constitution de méth...
International audienceResearchers and practitioners have for long worked on improving the computatio...
Basic definition of algorithm in mathematics is step by step procedure to solve a problem. Algorithm...
The relationship between abstract formal procedures and the activities of actual physical systems ha...
Our world is densely populated by ubiquitous processors, capacious storage, and vigilant sensors. Ne...
Algorithmics is the study and practice of taking a high-level description of a program’s purpose an...
In our information societies, tasks and decisions are increasingly outsourced to automated systems, ...
This paper vindicates interpretational accounts of physical computation. Specifically, recent agenti...
Depuis 1978, le droit encadre les algorithmes décisionnels, c’est-à-dire les algorithmes aidant ou r...
International audienceA model of hypercomputation can compute at least one function not computable b...
This dissertation addresses a variety of foundational issues pertaining to the notion of algorithm e...
This dissertation examines aspects of the interplay between computing and scientific practice. The a...