Log in

Relevant bibliographies by topics / Inférence d'automates

Contents

Dissertations / Theses

Academic literature on the topic 'Inférence d'automates'

Author: Grafiati

Published: 1 June 2024

Last updated: 31 July 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Inférence d'automates.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Dissertations / Theses on the topic "Inférence d'automates"

1

Esposito, Yann. "Contribution à l'inférence d'automates probabilistes." Aix-Marseille 1, 2004. http://www.theses.fr/2004AIX11040.

Full text

Abstract:

Les langages stochastiques -- des disbributions de probabilité sur des séquences -- jouent un rôle central dans de nombreux domaines. Notamment en bio-informatique, en reconnaissance vocale et plus généralement dans la plupart des domaines qui traitent un grand nombre de données représentées comme des chaînes de caractères. Nous utilisons des automates probabilistes (PA) -- un modèle équivalent aux chaînes de Markov cachées -- pour modéliser de tels langages stochastiques. Inférer des automates probabilistes à partir de données est un vaste domaine de recherche ouvert. Nous montrons qu'à parti

APA, Harvard, Vancouver, ISO, and other styles

2

Fredouille, Daniel. "Inférence d'automates finis non déterministes par gestion de l'ambigui͏̈té, en vue d'applications en bioinformatique." Rennes 1, 2003. http://www.theses.fr/2003REN10064.

Full text

Abstract:

Nous considérons un problème d'inférence grammaticale. Celui-ci peut être formulé comme la tâche de découvrir un concept caractérisant un ensemble de séquences, appelé aussi langage, à partir de séquences exemple. Afin de caractériser un langage, nous considérons une représentation sous forme d'automates finis non déterministes (NFA). Ceux-ci, bien que plus difficilement manipulables que les automates déterministes (DFA) habituellement utilisés, possèdent pour avantage d'être compactes et explicites (i. E. Interprétables par un expert du domaine d'application). Nous décrivons l'espace de reche

APA, Harvard, Vancouver, ISO, and other styles

3

Kerbellec, Goulven. "Apprentissage d'automates modélisant des familles de séquences protéiques." Phd thesis, Rennes 1, 2008. ftp://ftp.irisa.fr/techreports/theses/2008/kerbellec.pdf.

Full text

Abstract:

Cette thèse propose une nouvelle approche de découverte de signatures de familles de protéines. Etant donné un échantillon (non-aligné) de séquences appartenant à une famille structurelle ou fonctionnelle de protéines, cette approche infère des automates finis non-déterministes (NFA) caractérisant la famille. Un nouveau type d'alignement multiple nommé PLMA est introduit afin de mettre en valeur les similarités partielles et locales significativement similaires. A partir de ces informations, les modèles de type NFA sont produits par un procédé relevant du domaine de l'inférence grammaticale. L

APA, Harvard, Vancouver, ISO, and other styles

4

Kerbellec, Goulven. "Apprentissage d'automates modélisant des familles de séquences protéiques." Phd thesis, Université Rennes 1, 2008. http://tel.archives-ouvertes.fr/tel-00327938.

Full text

Abstract:

Cette thèse propose une nouvelle approche de découverte de signatures de familles de protéines. Etant donné un échantillon (non-aligné) de séquences appartenant à une famille structurelle ou fonctionnelle de protéines, cette approche infère des automates fini s non déterministes (NFA) caractérisant la famille.<br>Un nouveau type d'alignement multiple nommé PLMA est introduit afin de mettre en valeur les similarités partielles et locales significativement similaires. A partir de ces informations, les modèles de type NFA sont produits par un procédé relevant du domaine de l'inférence grammatical

APA, Harvard, Vancouver, ISO, and other styles

5

Rasoamanana, Aina Toky. "Derivation and Analysis of Cryptographic Protocol Implementation." Electronic Thesis or Diss., Institut polytechnique de Paris, 2023. http://www.theses.fr/2023IPPAS005.

Full text

Abstract:

TLS et SSH sont deux protocoles de sécurité très répandu et étudiés par la communauté de la recherche. Dans cette thèse, nous nous concentrons sur une classe spécifique de vulnérabilités affectant les implémentations TLS et SSH, tels que les problèmes de machine à états. Ces vulnérabilités sont dues par des différences d'interprétation de la norme et correspondent à des écarts par rapport aux spécifications, par exemple l'acceptation de messages non valides ou l'acceptation de messages valides hors séquence.Nous développons une méthodologie généralisée et systématique pour déduire les machines

APA, Harvard, Vancouver, ISO, and other styles

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!