Relevant bibliographies by topics / Filtrage par motifs

Contents

  1. Dissertations / Theses
  2. Conference papers

Academic literature on the topic 'Filtrage par motifs'

Author: Grafiati
Published: 4 June 2021
Last updated: 1 February 2022

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 motifs.'

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 "Filtrage par motifs"

1

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
2

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
3

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
4

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
5

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
6

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
7

Roujol, Sébastien. "MR-guided thermotherapies of mobile organs : advances in real time correction of motion and MR-thermometry." Thesis, Bordeaux 1, 2011. http://www.theses.fr/2011BOR14263/document.

Full text
Abstract:
L'ablation des tissus par hyperthermie locale guidée par IRM est une technique prometteuse pour le traitement du cancer et des arythmies cardiaques. L'IRM permet d'extraire en temps réel des informations anatomiques et thermiques des tissus. Cette thèse a pour objectif d'améliorer et d'étendre la méthodologie existante pour des interventions sur des organes mobiles comme le rein, le foie et le coeur. La première partie a été consacrée à l'introduction de l'imagerie rapide (jusqu'à 10-15 Hz) pour le guidage de l'intervention par IRM en temps réel. L'utilisation de cartes graphiques (GPGPU) a pe
APA, Harvard, Vancouver, ISO, and other styles
8

Fernandez, Brice. "Techniques adaptatives pour l'imagerie par résonance magnétique des organes en mouvement." Thesis, Nancy 1, 2010. http://www.theses.fr/2010NAN10100/document.

Full text
Abstract:
L'imagerie par résonance magnétique (IRM) est un outil remarquable pour le diagnostic clinique, aussi bien pour l'imagerie cérébrale que pour l'imagerie cardiaque et abdominale. En IRM cardiaque, deux problèmes sont récurrents : la non reproductibilité des cycles cardiaques et le mouvement respiratoire. L'IRM cardiaque morphologique est généralement faite avec une séquence composée d'une préparation longue, visant à annuler le signal du sang pour accentuer le contraste au niveau du myocarde, et de l?acquisition à proprement parler. Ces acquisitions sont généralement faites en mésodiastole (pha
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
10

Aloui, Saifeddine. "Capture de mouvement par mesure de distances dans un réseau corporel hétérogène." Phd thesis, Université de Grenoble, 2013. http://tel.archives-ouvertes.fr/tel-00951381.

Full text
Abstract:
La capture de mouvement ambulatoire est un sujet en plein essor pour des applications aussi diverses que le suivi des personnes âgées, l'assistance des sportifs de haut niveau, la réhabilitation fonctionnelle, etc. Ces applications exigent que le mouvement ne soit pas contraint par un système externe, qu'il puisse être réalisé dans différentes situations, y compris en extérieur, que l'équipement soit léger et à un faible coût, qu'il soit réellement ambulatoire et sans procédure complexe de calibration.Actuellement, seuls les systèmes utilisant un exosquelette ou bien des modules inertiels (sou
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Filtrage par motifs"

1

F. R. Pereira, Ronaldo, Felipe P. Albuquerque, Luisa H. B. Liboni, Eduardo C. M. Costa, Luís F. N. Lourençoo, and Mauricio C. de Oliveira. "Estimação Fasorial em Linhas de Transmissão de Energia Elétrica utilizando Técnicas de Filtragem Ótima." In Congresso Brasileiro de Automática - 2020. sbabra, 2020. http://dx.doi.org/10.48011/asba.v2i1.1025.

Full text
Abstract:
Este artigo propõe um método baseado em filtro de Kalman para estimar a magnitude e as fases das correntes e tensões de uma linha de transmissão. A linha de transmissão é representada por um modelo de estado estacionário, no qual as tensões e correntes são consideradas no domínio d-q complexo. O desempenho do estimador é avaliado por meio da simulação numérica de uma linha de transmissão de comprimento médio. Os resultados apresentados mostram que o filtro é altamente eficiente e motiva futuras pesquisas sobre a estimação dos parâmetros elétricos das linhas de transmissão usando técnicas de fi
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