Zobrazeno 1 - 10 of 72 pro vyhledávání: '"Calculabilité"'
1
Aspects Topologiques des Représentations en Analyse Calculable
Autor: Hoyrup, Mathieu
Publikováno v: Computer Science [cs]. Université de Lorraine, 2023
Computable analysis provides a formalization of algorithmic computations over infinite mathematical objects. The central notion of this theory is the symbolic representation of objects, which determines the computation power of the machine, and has a
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od_______165::7d7999f450cab9e1d63162fe6d521ba3
https://inria.hal.science/tel-03932408/document
Zobrazit plný text záznamu
2
Jeux de parité et problème d'accessibilité dans des systèmes à infinité d'états avec paramètres
Autor: Hilaire, Mathieu
Publikováno v: Computational Complexity [cs.CC]. Université Paris-Saclay, 2022. English. ⟨NNT : 2022UPASG095⟩
The most standard model checking approaches are limited to verifying concrete specifications, such as “can we reach a configuration with more than 10 time units elapsing ?”. Nethertheless, for certaincomputer programs, like embedded systems, the
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od_______165::770103ada399783ac3b3a9708bc0283e
https://theses.hal.science/tel-03964912
Zobrazit plný text záznamu
3
Informatique et sciences numériques (chaire annuelle 2018-2019)
Autor: Rachid Guerraoui
L’algorithmique répartie Contexte Les fondamentaux théoriques du numérique supposent pour la plupart qu’un algorithme s’exécute sur une machine de Turing : une seule machine à la fois. Cependant, la grande majorité des algorithmes aujourd
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1e42d2d1b08fc6d0ceca9c7a6fb9585c
http://journals.openedition.org/annuaire-cdf/16784
Zobrazit plný text záznamu
4
La calculabilité
Autor: Guido Gherardi, Maël Pegny
La calculabilité est la théorie mathématique des fonctions calculables en droit par un algorithme. Fondée durant les années 1930 pour résoudre des problèmes de logique et fondements des mathématiques, elle s’est révélée a posteriori féc
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______4094::441d291bcef6e5380140a1d0e6b3834e
https://hdl.handle.net/11585/618940
Zobrazit plný text záznamu
5
Le Professeur Patrice Pognan et le glossoir magique
Autor: Léonard, Jean Léo, Kostov, Jovan
Publikováno v: Des langues calculables à l'homme incalculable
Des langues calculables à l'homme incalculable, Editions des archives contemporaines, pp.61-74, 2021, ⟨10.17184/eac.5263⟩
International audience; Le Professeur Patrice Pognan (désormais PPP) avait de quoi cogiter. Il revenait de loin. Tout au long du trajet et à travers les 990 gares de la Транссибирская магистраль, le Maître avait sauvé le m
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::f19507ee362859f390b27edbe5b5df09
https://halshs.archives-ouvertes.fr/halshs-03517762
Zobrazit plný text záznamu
6
Synthèse Automatique de Systèmes avec Données
Autor: Exibard, Léo
Publikováno v: Formal Languages and Automata Theory [cs.FL]. Aix Marseille Université (AMU); Université libre de Bruxelles (ULB), 2021. English. ⟨NNT : 2020AIXM0001⟩
A reactive system is a system that continuously interacts with its environment. The environment provides an input signal, to which the system reacts with an output signal, and so on ad infinitum. In reactive synthesis, the goal is to automatically ge
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::abd9fdf290ebb0053149b6c8a8a3a549
https://hal.archives-ouvertes.fr/tel-03409602
Zobrazit plný text záznamu
8
Le rôle des tiers dans l’engagement d’une attention chiffrée à soi chiffrée
Autor: Danieli, Aude
Publikováno v: in Modes d’engagement, de partage et de sociabilité associés aux pratiques de quantification du soi (avec Éric Dagiral et Anne-Sylvie Pharabod), Séminaire i3 « Analyse de la participation en ligne », CSI, École des Mines, (discutants : Valérie Beaudouin et Alexandre Mallard)
in Modes d’engagement, de partage et de sociabilité associés aux pratiques de quantification du soi (avec Éric Dagiral et Anne-Sylvie Pharabod), Séminaire i3 « Analyse de la participation en ligne », CSI, École des Mines, (discutants : Valérie Beaudouin et Alexandre Mallard), Feb 2020, Paris, France
National audience
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::c64b0a4d69c3637d42f1bdb1eaba1897
https://hal.archives-ouvertes.fr/hal-02503282
Zobrazit plný text záznamu
9
L’algorithmique répartie : à la recherche de l’universalité perdue
Autor: Guerraoui, Rachid, Berry, Gérard
Les algorithmes existent depuis que l’humain essaie de calculer. Au Moyen Âge, leur exécution est déléguée à des machines. En 1936, Alan Turing propose une machine universelle, exécutant tous les algorithmes possibles et imaginables, et donn
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=openedition_::0447c7829e44c960618d08b6a452b5eb
http://books.openedition.org/cdf/7602
Zobrazit plný text záznamu
10
Infinite Computations in Algorithmic Randomness and Reverse Mathematics
Autor: Anglès d'Auriac, Paul-Elliot
Publikováno v: Logic in Computer Science [cs.LO]. Université Paris-Est, 2019. English. ⟨NNT : 2019PESC0061⟩
This thesis focuses on the gains of infinite time computations to mathematical logic. Infinite time computations is a variant of the traditional definition of computations as a finite sequence of stages, each stage being defined from the previous one
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::5068914f8cd1eb04ae314bfd660d7861
https://tel.archives-ouvertes.fr/tel-02936757
Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání

Omezení vyhledávání
Plný text Recenzováno Digitální knihovna AV ČR
Zdroje