Zobrazeno 1 - 10
of 1 211
pro vyhledávání: '"logique temporelle"'
Autor:
Hallé, Sylvain
Depuis quelques années, de nombreux champs de l'informatique ont été transformés par l'introduction d'une nouvelle vision de la conception et de l'utilisation d'un système, appelée approche déclarative. Contrairement à l'approche dite impéra
Externí odkaz:
http://www.archipel.uqam.ca/1680/1/D1740.pdf
Autor:
Traynard, Pauline
Publikováno v:
Quantitative Methods [q-bio.QM]. Université Paris Diderot, 2016. English. ⟨NNT : ⟩
In this dissertation, we explore the use of temporal logic and model checking in systems biology. Our thesis is that temporal logic provides a powerful language to formalize complex yet imprecise dynamical properties of biological systems and to part
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1398::11fe4f1d954738c0750473670f24be5a
https://theses.hal.science/tel-01404060
https://theses.hal.science/tel-01404060
Autor:
Bouneffouf, Djallel
Publikováno v:
[Rapport de recherche] Télécom SudParis. 2013
Dans ce papier, nous clarifions quelques concepts linguistiques, en étudiant les différents niveaux de représentation et de traitement des énoncés linguistiques. Nous avons aussi illustré avec quelques travaux les différents types d'inférence
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______212::66ce8fc9d4e91acecf2db825b264f862
https://hal.archives-ouvertes.fr/hal-00799121/document
https://hal.archives-ouvertes.fr/hal-00799121/document
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Mokkedem, Abdelillah
Publikováno v:
Autre. Institut National Polytechnique de Lorraine, 1994. Français. ⟨NNT : 1994INPL051N⟩
Not available
Le contexte dans lequel la logique temporelle linéaire (TL) s'est révélée un outil efficace est celui de la vérification a priori. Cela exige la connaissance préalable entière du programme que l'on veut vérifier. Une premi
Le contexte dans lequel la logique temporelle linéaire (TL) s'est révélée un outil efficace est celui de la vérification a priori. Cela exige la connaissance préalable entière du programme que l'on veut vérifier. Une premi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::34e7104e626a34e77b263cc0de91e2af
https://hal.univ-lorraine.fr/tel-01751846
https://hal.univ-lorraine.fr/tel-01751846
Autor:
Hantry, François
La logique temporelle a traditionnellement été utilisée dans de nombreux champs de recherches comme la vérification de matériel, la synthèse, ou la représentation des connaissances. Récemment la logique temporelle a été appliquée à de nou
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::761b4fe10ac59b9b4f73d4943c2e806f
https://hal.archives-ouvertes.fr/hal-01466008
https://hal.archives-ouvertes.fr/hal-01466008
Autor:
Hantry, François
La logique temporelle a traditionnellement été utilisée dans de nombreux champs de recherches comme la vérification de matériel, la synthèse, ou la représentation des connaissances. Récemment la logique temporelle a été appliquée à de nou
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______166::761b4fe10ac59b9b4f73d4943c2e806f
https://hal.archives-ouvertes.fr/hal-01466008
https://hal.archives-ouvertes.fr/hal-01466008
Autor:
Fages, Francois, Rizk, Aurélien
Publikováno v:
JFPC 2008-Quatrièmes Journées Francophones de Programmation par Contraintes
JFPC 2008-Quatrièmes Journées Francophones de Programmation par Contraintes, LINA-Université de Nantes-Ecole des Mines de Nantes, Jun 2008, Nantes, France. pp.1-10
JFPC 2008-Quatrièmes Journées Francophones de Programmation par Contraintes, LINA-Université de Nantes-Ecole des Mines de Nantes, Jun 2008, Nantes, France. pp.1-10
National audience; La logique temporelle et le model-checking ont fait leurs preuves pour formaliser des propriétés biologiques de systèmes biochimiques complexes et vérifier automatiquement leur satisfaction sur des modèles quantitatifs ou qual
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::697f76dc29604204708544c9548f9784
https://inria.hal.science/inria-00290470/file/pages-001-10-article36.pdf
https://inria.hal.science/inria-00290470/file/pages-001-10-article36.pdf
Autor:
Gueffaz , Mahdi
Publikováno v:
Réseau Grand Est (RGE)
Réseau Grand Est (RGE), Oct 2011, Strasbourg, France. 2011
Réseau Grand Est (RGE), Oct 2011, Strasbourg, France
Réseau Grand Est (RGE), Oct 2011, Strasbourg, France. 2011
Réseau Grand Est (RGE), Oct 2011, Strasbourg, France
National audience; La logique temporelle pour interroger et qualifier des graphes sémantiques
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::57ea8243913859f74a8e251dfddbf46d
https://hal.archives-ouvertes.fr/hal-00635906
https://hal.archives-ouvertes.fr/hal-00635906
Publikováno v:
À L'Épreuve de L'expérience
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d8e52dc36cd10df59f3e212425032933
https://doi.org/10.7761/9789731997513_4
https://doi.org/10.7761/9789731997513_4