Relevant bibliographies by topics / Filtrage par motif

Contents

  1. Journal articles
  2. Dissertations / Theses

Academic literature on the topic 'Filtrage par motif'

Author: Grafiati
Published: 8 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 'Filtrage par motif.'

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.

Journal articles on the topic "Filtrage par motif"

1

MBARKI, Ahmed, and ADNANI Jallal EL. "Digitalization in local authorities and local governments: Bibliometric analysis." International Journal of Accounting, Finance, Auditing, Management and Economics, December 5, 2024. https://doi.org/10.5281/zenodo.14285752.

Full text
Abstract:
<strong>Abstract:</strong> This study explores the evolution of research on the digital transformation of local authorities and open governments. We limited ourselves to articles indexed in Scopus, published between 2013 and 2022, specifically dealing with the digitalization of local public services. After a rigorous filtering process, 85 articles were selected for our analysis, using the Vosviewer software. The significant increase in the number of publications reflects the growing interest of the scientific community in this subject, driven by socio-economic and health challenges that compel
APA, Harvard, Vancouver, ISO, and other styles

Dissertations / Theses on the topic "Filtrage par motif"

1

Lermusiaux, Pierre. "Analyse statique de transformations pour l’élimination de motifs." Electronic Thesis or Diss., Université de Lorraine, 2022. http://www.theses.fr/2022LORR0372.

Full text
Abstract:
La transformation de programmes est une pratique très courante dans le domaine des sciences informatiques. De la compilation à la génération de tests en passant par de nombreuses approches d'analyse de codes et de vérification formelle des programmes, c'est un procédé qui est à la fois omniprésent et crucial au bon fonctionnement des programmes et systèmes informatiques. Cette thèse propose une étude formelle des procédures de transformation de programmes dans le but d'exprimer et de garantir des propriétés syntaxiques sur le comportement et les résultats d'une telle transformation. Dans le co
APA, Harvard, Vancouver, ISO, and other styles
2

Ma, Qin. "Classes concurrentes et appel par filtrage dans le join calcul." Paris 7, 2005. http://www.theses.fr/2005PA077072.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Sacchini, Jorge. "Terminaison basée sur les types et filtrage dépendant pour le calcul des constructions inductives." Phd thesis, École Nationale Supérieure des Mines de Paris, 2011. http://pastel.archives-ouvertes.fr/pastel-00622429.

Full text
Abstract:
Les assistants de preuve basés sur des théories des types dépendants sont de plus en plus utilisé comme un outil pour développer programmes certifiés. Un exemple réussi est l'assistant de preuves Coq, fondé sur le Calcul des Constructions Inductives (CCI). Coq est un langage de programmation fonctionnel dont un expressif système de type qui permet de préciser et de démontrer des propriétés des programmes dans une logique d'ordre supérieur. Motivé par le succès de Coq et le désir d'améliorer sa facilité d'utilisation, dans cette thèse nous étudions certaines limitations des implémentations actu
APA, Harvard, Vancouver, ISO, and other styles
4

CORNES, CRISTINA. "Conception d'un langage de haut niveau de representation de preuves : recurrence par filtrage de motifs unification en presence de types inductifs primitifs synthese de lemmes d'inversion." Paris 7, 1997. http://www.theses.fr/1997PA077193.

Full text
Abstract:
Les systemes de preuves bases sur les theories des types offrent un cadre uniforme qui permet de programmer, specifier et prouver. L'utilisateur dispose d'un langage de programmation, d'un langage de specification et d'outils qui l'aident a raisonner formellement sur son programme. Dans le but de rapprocher dans ces systemes la syntaxe des definitions de fonctions de celle des mathematiques et des langages de programmation a la ml, nous etudions les preuves de terminaison de fonctions recursives definies equationnellement. A partir de la methode de synthese de preuves proposee par gilles dowek
APA, Harvard, Vancouver, ISO, and other styles
5

Miachon, Cédric. "Langages de requêtes pour XML à base de patterns : conception, optimisation et implantation." Phd thesis, Université Paris Sud - Paris XI, 2006. http://www.cduce.org/papers/miachon_phd.pdf.

Full text
Abstract:
Dans les dernières années XML est devenu un véritable modèle de bases de données permettant de représenter, stocker et échanger des données semi-structurées. Il est devenu alors nécessaire de développer des langages de requêtes efficaces pour ce modèle. Différents langages de requêtes existent qui utilisent une primitive de déconstruction dans le but de capturer des parties de documents XML, qui peuvent êtes vus comme des arbres. Il existe deux déconstructeurs : (i) la navigation par chemins qui permet de naviguer en profondeur (par des projections) à l'intérieur d'un arbre afin de capturer un
APA, Harvard, Vancouver, ISO, and other styles
6

Tavares, Cláudia. "Un système de types pour la programmation par réécriture embarquée." Phd thesis, Université Henri Poincaré - Nancy I, 2012. http://tel.archives-ouvertes.fr/tel-00702301.

Full text
Abstract:
Dans le domaine de l'ingénierie du logiciel, les systèmes de types sont souvent considérés pour la prévention de l'occurrence de termes dénués de sens par rapport à une spécification des types. Dans le cadre de l'extension d'un langage de programmation avec des caractéristiques dédiées, le typage de ces dernières doit être compatible avec les caractéristiques du langage hôte. Cette thèse se situe dans le contexte de la réécriture de termes embarquée dans la programmation orientée objet. Elle vise à développer un système de types avec sous-typage pour le support du filtrage de motifs associatif
APA, Harvard, Vancouver, ISO, and other styles
7

Oliveira, Kiermes Tavares Claudia Fernanda. "Un système de types pour la programmation par réécriture embarquée." Thesis, Université de Lorraine, 2012. http://www.theses.fr/2012LORR0015/document.

Full text
Abstract:
Dans le domaine de l'ingénierie du logiciel, les systèmes de types sont souvent considérés pour la prévention de l'occurrence de termes dénués de sens par rapport à une spécification des types. Dans le cadre de l'extension d'un langage de programmation avec des caractéristiques dédiées, le typage de ces dernières doit être compatible avec les caractéristiques du langage hôte. Cette thèse se situe dans le contexte de la réécriture de termes embarquée dans la programmation orientée objet. Elle vise à développer un système de types avec sous-typage pour le support du filtrage de motifs associatif
APA, Harvard, Vancouver, ISO, and other styles
8

Oliveira, Kiermes Tavares Claudia Fernanda. "Un système de types pour la programmation par réécriture embarquée." Electronic Thesis or Diss., Université de Lorraine, 2012. http://www.theses.fr/2012LORR0015.

Full text
Abstract:
Dans le domaine de l'ingénierie du logiciel, les systèmes de types sont souvent considérés pour la prévention de l'occurrence de termes dénués de sens par rapport à une spécification des types. Dans le cadre de l'extension d'un langage de programmation avec des caractéristiques dédiées, le typage de ces dernières doit être compatible avec les caractéristiques du langage hôte. Cette thèse se situe dans le contexte de la réécriture de termes embarquée dans la programmation orientée objet. Elle vise à développer un système de types avec sous-typage pour le support du filtrage de motifs associatif
APA, Harvard, Vancouver, ISO, and other styles
9

Neto, Domingos Soares. "Filtros para a busca e extração de padrões aproximados em cadeias biológicas." Universidade de São Paulo, 2008. http://www.teses.usp.br/teses/disponiveis/45/45134/tde-19102009-002745/.

Full text
Abstract:
Esta dissertação de mestrado aborda formulações computacionais e algoritmos para a busca e extração de padrões em cadeias biológicas. Em particular, o presente texto concentra-se nos dois problemas a seguir, considerando-os sob as distâncias de Hamming e Levenshtein: a) como determinar os locais nos quais um dado padrão ocorre de modo aproximado em uma cadeia fornecida; b) como extrair padrões que ocorram de modo aproximado em um número significativo de cadeias de um conjunto fornecido. O primeiro problema, para o qual já existem diversos algoritmos polinomiais, tem recebido muita atenção desd
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!

To the bibliography