Langages d'arbres réguliers et algébriques pour la réécriture et la vérification :: SCD d'Orléans

Langages d'arbres réguliers et algébriques pour la réécriture et la vérification

Langages d'arbres réguliers et algébriques pour la réécriture et la vérification

Partant d'un système de réécriture R basé sur les constructeurs et d'un langage initial E, il est alors possible de calculer l'ensemble des descendants, c est à dire des termes atteignables à partir de E en appliquant récursivement les règles de R. Calculer l'ensemble des descend...

Disgrifiad llawn

Wedi'i Gadw mewn:

Manylion Llyfryddiaeth
Prif Awdur:	Vuotto-Moan, Julie
Awduron Eraill:	Réty, Pierre, 19..- (Cynghorydd traethodau ymchwil)
Fformat:	Thèse et Mémoire papier
Iaith:	Français
Cyhoeddwyd:	[S.l.] : [s.n.] 2004.
Pynciau:	Automates mathématiques, Théorie des Réécriture, Systèmes de (informatique) Thèses et écrits académiques
Autres localisations:	Voir dans le Sudoc
Variante du titre:	Regular and context-free tree languages for rewriting and verification

Eitemau Tebyg

Utilisation des langages d'arbres pour la modélisation et la vérification des systèmes à états infinis
gan: Pillot, Pierre, 1979-
Cyhoeddwyd: (2010)

Utilisation des langages d'arbres pour la modélisation et la vérification des systèmes à états infinis
gan: Pillot, Pierre, 1979-
Cyhoeddwyd: (2007)

Vérification symbolique de modèles à l'aide de systèmes de ré-écriture dédiés
gan: Nguyên, Duy-Tùng, 1979-
Cyhoeddwyd: (2010)

Construction semi-automatique d'une grammaire d'arbres adjoints pour l'analyse syntaxico-sémantique de l'arabe
gan: Ben Khelil, Cherifa
Cyhoeddwyd: (2019)

Conception des circuits programmables par la réécriture conditionnelle et étude des aspects vectoriels des fonctions booléennes
gan: Maazouzi, Zahir, 1972-
Cyhoeddwyd: (2001)

CONTRIBUTION A LA PRODUCTION AUTOMATIQUE DE SELECTEURS D'INSTRUCTIONS OPTIMISANTS FONDES SUR LA REECRITURE D'ARBRES
gan: Canalda, Philippe, 19..-
Cyhoeddwyd: (1997)

Automates à états finis et langages réguliers : rappels des notions essentielles et plus de 170 exercices corrigés
gan: Falcone, Yliès Carlo, 1981-...., auteur en informatique, et al.
Cyhoeddwyd: (2020)

Sur-approximations non régulières et terminaison pour l'analyse d'accessibilité
gan: Pelletier, Vivien, 1988-
Cyhoeddwyd: (2017)

CONTRIBUTIONS A LA SEMANTIQUE DECLARATIVE DES SYSTEMES DE TRANSFORMATION D'ARBRES ATTRIBUES
gan: Souah, Aziz, 19..-
Cyhoeddwyd: (1991)

Test de conformité pour des spécifications à base d'automates : une approche par la théorie des jeux
gan: Ramangalahy, Solofo
Cyhoeddwyd: (1999)

-Pomset pour la modélisation et la vérification de systèmes parallèles
gan: Sakho, Mouhamadou Tafsir, 1981-
Cyhoeddwyd: (2014)

Courbes d'accumulations des machines à signaux
gan: Emmanuel, Aurélien, 1992-
Cyhoeddwyd: (2023)

Logiques temporelles pour la vérification : expressivité, complexité, algorithmes
gan: Markey, Nicolas, 1976-
Cyhoeddwyd: (2003)

S’affranchir des normes de l’écrit académique par la réécriture
gan: Gournay, Lucie, et al.
Cyhoeddwyd: (2017)

Systems of reductions
gan: Benninghofen, Benjamin, 1958-, et al.

Discrétisation automatique de machines à signaux en automates cellulaires
gan: Besson, Tom, 1991-
Cyhoeddwyd: (2018)

Time series classification with Shapelets : Application to predictive maintenance on event logs
gan: Guillaume, Antoine, 1994-
Cyhoeddwyd: (2023)

Évaluation et validation de prévisions en loi
gan: Richard, Michael, 1988-
Cyhoeddwyd: (2019)

VERIFICATION DES PROGRAMMES NORMAUX
gan: Renault, Sophie, 19..-...., docteur en informatique
Cyhoeddwyd: (1996)

Génération modulaire de grammaires formelles
gan: Petitjean, Simon, 1988-
Cyhoeddwyd: (2014)

Lectures on proof verification and approximation algorithms
gan: Mayr, Ernst W., 1950-

Apprentissage non supervisé de dépendances à partir de textes
gan: Arcadias, Marie, 1982-
Cyhoeddwyd: (2015)

Construction de cartes pour l'exploration de corpus
gan: Debourges, Isabelle, 1974-
Cyhoeddwyd: (2002)

Classification non supervisée : de la multiplicité des données à la multiplicité des analyses
gan: Sublemontier, Jacques-Henri, 1985-
Cyhoeddwyd: (2012)

Exploration de micro-posts d'actualité : représentation, structuration et description
gan: Gracianne, Olivier, 1997-
Cyhoeddwyd: (2023)

Modélisation par équations aux dérivées partielles des retards pour la commande des systèmes robotiques télé-opérés
gan: Babet, Fabrice, 1981-
Cyhoeddwyd: (2008)

Process algebra and probabilistic methods : performance modelling and verification : joint international workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001 : proceedings

Process algebra and probabilistic methods : performance modeling and verification : second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 : proceedings

Analyseurs syntaxiques et non-déterminisme
gan: Billot, Sylvie, 1960-
Cyhoeddwyd: (1988)

Formal verification of trusted layers of software : application to the TPM Software Stack
gan: Ziani, Yani, 1995-
Cyhoeddwyd: (2025)

Une méthode de classification non-supervisée pour l'apprentissage de règles et la recherche d'information
gan: Cleuziou, Guillaume, 1978-
Cyhoeddwyd: (2004)

Incidence des propriétés statiques et dynamiques des paliers lisses sur l'équilibrage des lignes d'arbres par les fonctions d'influence : approche expérimentale de l'impédance mécanique du film d'huile d'un palier partiel
gan: Ballester, Jean-Louis
Cyhoeddwyd: (1978)

Application de la logique floue à la planification de trajectoires de robots mobiles dans des environnements inconnus
gan: Beaufrère, Bertrand
Cyhoeddwyd: (1994)

Réflexion traductologique d'un professionnel
gan: Rochard, Michel
Cyhoeddwyd: (2024)

Spécification algébrique à l'aide de types abstraits du système EXPRIM (EXpert Pour la Recherche d'IMages)
gan: Boukakiou, Mekki
Cyhoeddwyd: (1984)

Construction automatique de bases de données pour le domaine médical : Intégration de texte et maintien de la cohérence
gan: Hiot, Nicolas, 1996-
Cyhoeddwyd: (2024)

Langage de biais en apprentissage symbolique
gan: Moal, Frédéric, 1969-...., enseignant-chercheur en informatique
Cyhoeddwyd: (2000)

Marches aléatoires et arbres de Galton-Watson
gan: Bouaziz, Aymen, 1989-
Cyhoeddwyd: (2017)

De la compensation et de l'imputation en matière fiscale
gan: Roussel, Max
Cyhoeddwyd: (1906)

Apprentissage d'espaces prétopologiques pour l'extraction de connaissances structurées
gan: Caillaut, Gaëtan, 1994-
Cyhoeddwyd: (2019)

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales