Zobrazeno 1 - 10
of 425
pro vyhledávání: '"méthodes formelles"'
Autor:
Moehler, Michael
This article discusses the use of orthodox rational choice theory in the context of moral contractarianism. The article’s goals are threefold. First, the article clarifies the nature of moral contractarianism and corrects a fundamental misconceptio
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=openedition_::acf993df0f1a7725bcf77d7ea3a14713
https://journals.openedition.org/oeconomia/13914
https://journals.openedition.org/oeconomia/13914
Autor:
Xavier Leroy
Publikováno v:
L’annuaire du Collège de France. :21-33
Enseignement Leçon inaugurale – Le logiciel, entre l’esprit et la matière La leçon inaugurale a rappelé à quel point l’informatique trouve ses racines dans la logique mathématique. Comme Leibniz avec son calculus ratiocinator, de nombreux
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f05c9f4a1d65399c36f5032c93b5d990
https://doi.org/10.4000/annuaire-cdf.16737
https://doi.org/10.4000/annuaire-cdf.16737
Autor:
Le Khanh, T. (Trinh)
Il est essentiel de coordonner correctement l’accès aux ressources cloud entre les composants logiciels cloud simultanés pour s’assurer qu’ils satisfont aux exigences des utilisateurs et du système et éviter les pannes opérationnelles et l
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______4198::2925a23ff25b12ef929d9f0718871d1e
http://hdl.handle.net/20.500.12210/79851
http://hdl.handle.net/20.500.12210/79851
Autor:
Le Khanh, Trinh
Publikováno v:
Formal Languages and Automata Theory [cs.FL]. Université de Lille, 2023. English. ⟨NNT : ⟩
Symbolic Computation [cs.SC]. Université de Lille, 2023. English. ⟨NNT : 2023ULILB002⟩
Symbolic Computation [cs.SC]. Université de Lille, 2023. English. ⟨NNT : 2023ULILB002⟩
Correctly coordinating access to cloud resources across concurrent cloud software components is essential to ensure that they satisfy user and system requirements and avoid operational faults and deadlocks. Cloud systems must be able to self-adapt to
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::55824257dfc1c8a4fbf924e411991351
https://theses.hal.science/tel-03979518/document
https://theses.hal.science/tel-03979518/document
Autor:
Borgna, Agustín
Publikováno v:
Computer Science [cs]. Université de Lorraine, 2023. English. ⟨NNT : 2023LORR0016⟩
The advent of quantum computers capable of solving problems that are untractable on classical computers has motivated the development of new programming languages and tools for quantum computing. However, the current state of the art in quantum progr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______165::518996d293471994ee696cea26261610
https://hal.univ-lorraine.fr/tel-04102354/document
https://hal.univ-lorraine.fr/tel-04102354/document
Autor:
Thomas, Colin
Publikováno v:
Formal Languages and Automata Theory [cs.FL]. Université Paris-Saclay, 2022. English. ⟨NNT : 2022UPASG087⟩
Sciences de l'environnement. Université d'Evry Val d'Essonne, 2022. Français. ⟨NNT : ⟩
Sciences de l'environnement. Université d'Evry Val d'Essonne, 2022. Français. ⟨NNT : ⟩
The entire world is nowadays undergoing major ecological crises with the current mass extinction of a wide range of living forms. Indeed, between 20% to 50% of all living species may extinct in the 21st century. To understand these phenomenons, some
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::385d1dd436d2a6e9f03cbbde1df17192
https://theses.hal.science/tel-04065482/document
https://theses.hal.science/tel-04065482/document
Autor:
Martin, Thibault
Publikováno v:
Génie logiciel [cs.SE]. Université Paris-Saclay, 2022. Français. ⟨NNT : 2022UPASG077⟩
At a time where software are omnipresent in our daily life, verifying their safety and security present an important challenge for the industry. The most used technique to ensure that a software meets certain requirements is testing, where we run the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::d880ec8d8a634657b1ba632d04d19d69
https://theses.hal.science/tel-03922713/document
https://theses.hal.science/tel-03922713/document
Autor:
Merigoux, Denis
Publikováno v:
[Rapport de recherche] RR-9485, Inria Paris. 2022, pp.27
À l'aide du langage de programmation dédié Catala, nous avons implémenté le calcul de l'éligibilité et du montant des aides au logement en France à partir de l'ensemble de textes législatifs et réglementaires s'y rapportant. Cette démarche
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______165::5344f21a66609a5bbcc3a4405f064c40
https://inria.hal.science/hal-03781578
https://inria.hal.science/hal-03781578
Autor:
Lee, Dongho
Publikováno v:
Formal Languages and Automata Theory [cs.FL]. Université Paris-Saclay, 2022. English. ⟨NNT : 2022UPASG059⟩
The quantum random-access machine (QRAM) model is a practical model of quantum computation composed of a classical computer and a quantum processor communicating with each other. The program is executed on the classical computer. It can send instruct
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______165::ae83bd6a9f3c4cffde4ac12bc3f88d6d
https://theses.hal.science/tel-03895847/document
https://theses.hal.science/tel-03895847/document
Autor:
L'Yvonnet, Thibaud
Publikováno v:
Modeling and Simulation. Université Côte d'Azur, 2022. English. ⟨NNT : 2022COAZ4002⟩
This thesis explores the ability of formal methods, and more particularly model-checking, to analyze the behavior of patients during neuro-cognitive tests in clinical settings. To this end, it studies the use of "serious games" for cognitive training
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______165::5164123a05f13ebe12cd8d694f761779
https://theses.hal.science/tel-03685758/file/2022COAZ4002.pdf
https://theses.hal.science/tel-03685758/file/2022COAZ4002.pdf