Relevant bibliographies by topics / Modèles de langage protéique / Dissertations / Theses
To see the other types of publications on this topic, follow the link: Modèles de langage protéique.

Dissertations / Theses on the topic 'Modèles de langage protéique'

Author: Grafiati
Published: 1 March 2025

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

Select a source type:

Consult the top 50 dissertations / theses for your research on the topic 'Modèles de langage protéique.'

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.

Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.

1

Vander, Meersche Yann. "Étude de la flexibilité des protéines : analyse à grande échelle de simulations de dynamique moléculaire et prédiction par apprentissage profond." Electronic Thesis or Diss., Université Paris Cité, 2024. http://www.theses.fr/2024UNIP5147.

Full text
Abstract:
Les protéines sont essentielles aux processus biologiques. Comprendre leur dynamique est crucial pour élucider leurs fonctions biologiques et leurs interactions. Cependant, mesurer expérimentalement cette flexibilité reste un défi en raison des limitations techniques et des coûts associés. Cette thèse vise à approfondir la compréhension des propriétés dynamiques des protéines et à proposer des méthodes bioinformatique permettant de prédire leur flexibilité directement à partir de leur séquence. Ces travaux s'organisent en quatre axes principaux : 1) Prédiction de la flexibilité des protéines e
APA, Harvard, Vancouver, ISO, and other styles
2

Hladiš, Matej. "Réseaux de neurones en graphes et modèle de langage des protéines pour révéler le code combinatoire de l'olfaction." Electronic Thesis or Diss., Université Côte d'Azur, 2024. http://www.theses.fr/2024COAZ5024.

Full text
Abstract:
Les mammifères identifient et interprètent une myriade de stimuli olfactifs par un mécanisme de codage complexe reposant sur la reconnaissance des molécules odorantes par des centaines de récepteurs olfactifs (RO). Ces interactions génèrent des combinaisons uniques de récepteurs activés, appelées code combinatoire, que le cerveau humain interprète comme la sensation que nous appelons l'odeur. Jusqu'à présent, le grand nombre de combinaisons possibles entre les récepteurs et les molécules a empêché une étude expérimentale à grande échelle de ce code et de son lien avec la perception des odeurs.
APA, Harvard, Vancouver, ISO, and other styles
3

Alain, Pierre. "Contributions à l'évaluation des modèles de langage." Rennes 1, 2007. http://www.theses.fr/2007REN1S003.

Full text
Abstract:
Ces travaux portent sur l'évaluation des modèles de langages en dehors de toute tâche applicative. Le problème d'une étude comparative entre plusieurs modèles est généralement lié à la fonction dans un système complet. Notre objectif consiste au contraire à s'abstraire au maximum des contraintes liées au système, et ainsi pourvoir comparer effectivement les modèles. Le critère le plus couramment admis pour une comparaison de modèles de langage est la perplexité. Ces travaux reprennent les hypothèses du jeu de Shannon, de manière à poser un cadre d'évaluation des modèles de langage fondée sur l
APA, Harvard, Vancouver, ISO, and other styles
4

Delot, Thierry. "Interrogation d'annuaires étendus : modèles, langage et optimisation." Versailles-St Quentin en Yvelines, 2001. http://www.theses.fr/2001VERS0028.

Full text
Abstract:
Les travaux menés dans cette thèse se concentrent sur les problèmes de partage, d'interrogation et de médiation rencontrés dans les systèmes d'information de nouvelle génération qui s'articulent autour de sources de données, d'objets, et de composants largement distribués. Dans cet environnement, différents systèmes coexistent : des SGBD, des serveurs LDAP et des architectures à objets distribués. Les limites actuelles des services d'annuaires et leur interaction toujours plus grande avec l'environnemnet qui les entoure (SGBDs, objets,. . . ) nous a amené à étudier la définition d'un service d
APA, Harvard, Vancouver, ISO, and other styles
5

Oota, Subba Reddy. "Modèles neurocomputationnels de la compréhension du langage : caractérisation des similarités et des différences entre le traitement cérébral du langage et les modèles de langage." Electronic Thesis or Diss., Bordeaux, 2024. http://www.theses.fr/2024BORD0080.

Full text
Abstract:
Cette thèse explore la synergie entre l'intelligence artificielle (IA) et la neuroscience cognitive pour faire progresser les capacités de traitement du langage. Elle s'appuie sur l'idée que les avancées en IA, telles que les réseaux neuronaux convolutionnels et des mécanismes comme le « replay d'expérience », s'inspirent souvent des découvertes neuroscientifiques. Cette interconnexion est bénéfique dans le domaine du langage, où une compréhension plus profonde des capacités cognitives humaines uniques, telles que le traitement de structures linguistiques complexes, peut ouvrir la voie à des s
APA, Harvard, Vancouver, ISO, and other styles
6

Chauveau, Dominique. "Étude d'une extension du langage synchrone SIGNAL aux modèles probabilistes : le langage SIGNalea." Rennes 1, 1996. http://www.theses.fr/1996REN10110.

Full text
Abstract:
L'absence d'outils ergonomiques pour le traitement de systemes stochastiques complexes, comme on peut en trouver dans de nombreuses applications industrielles, a conduit le projet epatr de l'irisa a envisager la realisation d'une extension du langage de programmation signal pour la manipulation de systemes hybrides stochastiques/non-stochastiques. Developpe depuis une dizaine d'annees par le projet epatr, le langage signal est un langage flot de donnees de type equationnel, appartenant a la famille des langages synchrones et destine a la specification de systemes reactifs temps-reel. Une inter
APA, Harvard, Vancouver, ISO, and other styles
7

Fleurey, Franck. "Langage et méthode pour une ingénierie des modèles fiable." Phd thesis, Université Rennes 1, 2006. http://tel.archives-ouvertes.fr/tel-00538288.

Full text
Abstract:
Ce travail s'inscrit dans un contexte où la taille et la complexité des logiciels augmentent alors que les contraintes de temps de développement, de qualité, de maintenance et d'évolution sont toujours plus fortes. Pour répondre à cette tendance, l'ingénierie dirigée par les modèles constitue une évolution prometteuse des techniques de génie logiciel. Les idées de l'ingénierie dirigée par les modèles sont, d'une part de rendre les modèles productifs, et d'autre part d'automatiser certaines étapes du développement grâce à des transformations de modèles. Une des conditions pour que l'ingénierie
APA, Harvard, Vancouver, ISO, and other styles
8

Laborde-Huguet, Bénédicte. "Recherche sur les mécanismes moléculaires de l'instabilité protéique des vins blancs." Bordeaux 2, 2006. http://www.theses.fr/2006BOR21381.

Full text
Abstract:
Les protéines solubles des vins blancs sont instables et peuvent précipiter au cours de la conservation des vins sous l'influence d'une augmentation de température. Nous proposons un nouveau modèle réactionnel de la casse protéique qui résulte principalement non pas de la dénaturation des protéines mais de l'intervention de composés non protéiques capables de les faire troubler. Ces molécules très probablement d'origine pelliculaire sont présentes dans les moûts et les vins sous forme de précurseurs qui par chauffage vont se transformer en molécules actives réagissant avec les protéines par de
APA, Harvard, Vancouver, ISO, and other styles
9

LABAT, GILLES. "Modélisation d'hémoprotéines, cytochrome P-450, chloroperoxydase et lignine peroxydase : modèles efficaces de la lignine peroxydase et développement de procédés d'oxydation par catalyse biomimétique." Toulouse 3, 1989. http://www.theses.fr/1989TOU30175.

Full text
Abstract:
Ce memoire montre l'interet des metalloporphyrines synthetiques dans la modelisation d'hemoproteines. Dans une premiere partie, des essais de synthese de complexes porphyriniques modelisant le cytochrome p-450 sont decrits. Dans une deuxieme partie, la modelisation de la chloroperoxydase par des metalloporphyrines encombrees anioniques de fer et de manganese libres en solution ou immobilisees sur support (adsorbees sur resine echangeuse d'ions ou fixees sur un polymere poly-vinylpyridine) est decrite. Dans une troisieme partie, la modelisation de la lignine peroxydase est etudiee. Ces memes mo
APA, Harvard, Vancouver, ISO, and other styles
10

Lopes, Marcos. "Modèles inductifs de la sémiotique textuelle." Paris 10, 2002. http://www.theses.fr/2002PA100145.

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

Eyssautier-Bavay, Carole. "Modèles, langage et outils pour la réutilisation de profils d'apprenants." Phd thesis, Université Joseph Fourier (Grenoble), 2008. http://tel.archives-ouvertes.fr/tel-00327198.

Full text
Abstract:
Cette thèse en informatique se place dans le domaine des Environnements Informatiques pour l'Apprentissage Humain. Durant une activité d'apprentissage, de nombreuses informations peuvent être recueillies et interprétées pour constituer un profil, en termes de connaissances, compétences, conceptions ou comportements d'un apprenant ou d'un groupe d'apprenants. Ces profils peuvent différer de part leur intention pédagogique, leur contenu, leur structuration, leur présentation. Par ailleurs, les acteurs de la situation d'apprentissage concernés par ces profils sont divers.<br /><br />Il n'existe p
APA, Harvard, Vancouver, ISO, and other styles
12

Swaileh, Wassim. "Des modèles de langage pour la reconnaissance de l'écriture manuscrite." Thesis, Normandie, 2017. http://www.theses.fr/2017NORMR024/document.

Full text
Abstract:
Cette thèse porte sur le développement d'une chaîne de traitement complète pour réaliser des tâches de reconnaissance d'écriture manuscrite non contrainte. Trois difficultés majeures sont à résoudre: l'étape du prétraitement, l'étape de la modélisation optique et l'étape de la modélisation du langage. Au stade des prétraitements il faut extraire correctement les lignes de texte à partir de l'image du document. Une méthode de segmentation itérative en lignes utilisant des filtres orientables a été développée à cette fin. La difficulté dans l’étape de la modélisation optique vient de la diversit
APA, Harvard, Vancouver, ISO, and other styles
13

Beaufrere, Bernard. "Modèles d'étude du métabolisme protéique in vivo à l'aide de leucine marquée aux isotopes stables et radioactifs." Lyon 1, 1990. http://www.theses.fr/1990LYO1T074.

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

Ameur-Boulifa, Rabéa. "Génération de modèles comportementaux des applications réparties." Nice, 2004. http://www.theses.fr/2004NICE4094.

Full text
Abstract:
Nous nous intéressons dans ce document à la vérification de propriétés comportementales d’applications distribuées par la technique du model-checking. En particulier, nous étudions le problème de génération de modèles à partir de programmes Java répartis et représentés par systèmes de transitions communiquant. A partir de la sémantique formelle de programmes ProActive – une librairie 100 % Java pour la programmation parallèle, distribuée et concurrente – nous construisons, de manière compositionnelle et hiérarchique, des modèles comportementaux finis pour des abstractions finies d’applications
APA, Harvard, Vancouver, ISO, and other styles
15

Vantelon, Nadine. "Effet d'une acidose lactique sur la phase d'initiation de la synthèse protéique dans des primocultures d'astrocytes de rats." Poitiers, 2007. http://www.theses.fr/2007POIT1801.

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

Trojet, Mohamed Wassim. "Approche de vérification formelle des modèles DEVS à base du langage Z." Aix-Marseille 3, 2010. http://www.theses.fr/2010AIX30040.

Full text
Abstract:
Le cadre général dans lequel se situe cette thèse concerne l’amélioration de la vérification et la validation des modèles de simulation par l'intégration des méthodes formelles. Notre approche consiste à doter les modèles DEVS d’une approche de vérification formelle basée sur le langage Z. DEVS est un formalisme qui permet la description et l'analyse du comportement des systèmes à évènements discrets, c'est à dire, les systèmes dont le changement d'état dépend de l'occurrence d'un évènement. Un modèle DEVS est essentiellement validé par la simulation qui permet de vérifier si celui ci décrit b
APA, Harvard, Vancouver, ISO, and other styles
17

Janiszek, David. "Adaptation des modèles de langage dans le cadre du dialogue homme-machine." Avignon, 2005. http://www.theses.fr/2005AVIG0144.

Full text
Abstract:
Actuellement, la plupart des systèmes de reconnaissance automatique de la parole (SRAP) sont basés sur des modèles de langage statistiques (MLS). Ces modèles sont estimés à partir d'ensembles d'observations. La mise en oeuvre d'un SRAP nécessite un corpus en adéquation avec le domaine de l'application. Or, à cause des difficultés posées par leur collecte, les corpora disponibles peuvent s'avérer insuffisants pour estimer correctement des MLS. Pour surmonter cela, on souhaite utiliser d'autres données et les adapter au contexte applicatif du SRAP afin d'améliorer les performances du système de
APA, Harvard, Vancouver, ISO, and other styles
18

Oger, Stanislas. "Modèles de langage ad hoc pour la reconnaissance automatique de la parole." Phd thesis, Université d'Avignon, 2011. http://tel.archives-ouvertes.fr/tel-00954220.

Full text
Abstract:
Les trois piliers d'un système de reconnaissance automatique de la parole sont le lexique,le modèle de langage et le modèle acoustique. Le lexique fournit l'ensemble des mots qu'il est possible de transcrire, associés à leur prononciation. Le modèle acoustique donne une indication sur la manière dont sont réalisés les unités acoustiques et le modèle de langage apporte la connaissance de la manière dont les mots s'enchaînent.Dans les systèmes de reconnaissance automatique de la parole markoviens, les modèles acoustiques et linguistiques sont de nature statistique. Leur estimation nécessite de g
APA, Harvard, Vancouver, ISO, and other styles
19

Fichot, Jean. "Langage et signification : le cas des mathématiques constructives." Paris 1, 2002. http://www.theses.fr/2002PA010653.

Full text
Abstract:
Différentes définitions permettent d'interpréter les théories mathématiques constructives formellement axiomatisées. L'objectif ici est de déterminer si l'une de ces définitions rend compte fidèlement des notions intuitives de vérité et de validité constructives. Nous montrons que l'adéquation de différentes définitions de modèles de la logique intuitionniste (Scott, Beth et Kripke) à ces notions intuitives est douteuse (Partie I). La théorie des constructions (Kreisel, Goodman) et différentes définitions de la réalisabilité récursive (Kleene ), qui cherchent à rendre compte de l'aspect épisté
APA, Harvard, Vancouver, ISO, and other styles
20

Sourty, Raphael. "Apprentissage de représentation de graphes de connaissances et enrichissement de modèles de langue pré-entraînés par les graphes de connaissances : approches basées sur les modèles de distillation." Electronic Thesis or Diss., Toulouse 3, 2023. http://www.theses.fr/2023TOU30337.

Full text
Abstract:
Le traitement du langage naturel (NLP) est un domaine en pleine expansion axé sur le développement d'algorithmes et de systèmes permettant de comprendre et de manipuler les données du langage naturel. La capacité à traiter et à analyser efficacement les données du langage naturel est devenue de plus en plus importante ces dernières années, car le volume de données textuelles générées par les individus, les organisations et la société dans son ensemble continue de croître de façon significative. Les graphes de connaissances sont des structures qui encodent des informations sur les entités et le
APA, Harvard, Vancouver, ISO, and other styles
21

Halabi, Amira. "Formules infantiles modèles : relation entre structures protéiques et comportement en digestion." Thesis, Rennes, Agrocampus Ouest, 2020. http://www.theses.fr/2020NSARB340.

Full text
Abstract:
Les traitements thermiques appliqués pendant la fabrication des préparations pour nourrissons (PPNs) peuvent altérer les structures des protéines et donc leur comportement au cours de la digestion. L'objectif de ce projet de thèse était d'étudier la relation entre la structure des protéines au sein de PPNs modèles et leur comportement au cours de leur digestion in vitro.Trois PPNs modèles ont été développées, se différenciant par leur profil en protéines du lactosérum (PS) afin de se rapprocher du profil protéique du lait maternel. Les PPNs, avec différentes teneurs en matière sèche et donc co
APA, Harvard, Vancouver, ISO, and other styles
22

Fourty, Guillaume. "Recherche de contraintes structurales pour la modélisation ab initio du repliement protéique." Paris 7, 2006. http://www.theses.fr/2006PA077101.

Full text
Abstract:
La compréhension du processus de repliement protéique et la détermination de la structure tridimensionnelle à partir de la seule information de séquence sont des problématiques majeures de la biologie structurale. Nous observons, tout d'abord, la proximité quasi-systématique des extrémités N- et C-terminales des domaines protéiques qui pourrait être liée aux premières étapes du repliement. Puis, nous abordons le repliement de polymères sur des réseaux réguliers. L'énumération des orbites et des orbites cycliques hamiltoniennes sur des réseaux carrés n x n permet d'évaluer la réduction de l'esp
APA, Harvard, Vancouver, ISO, and other styles
23

Boyarm, Aristide. "Contribution à l'élaboration d'un langage de simulation à événements discrets pour modèles continus." Aix-Marseille 3, 1999. http://www.theses.fr/1999AIX30050.

Full text
Abstract:
Le travail presente dans cette these concerne la modelisation et la simulation a evenements discrets de systemes continus a trajectoires d'entree - sortie lineaires par morceaux. Il s'agit principalement de concevoir un langage de simulation a evenements discrets pour modeles continus dont l'objectif est de proposer une alternative prometteuse a la simulation des systemes continus. Le langage de simulation que nous proposons, comporte sous la forme de modeles atomique a evenements discrets les trois classes d'instructions (instructions fonctions du temps, instantanees, et memoires) utilisees p
APA, Harvard, Vancouver, ISO, and other styles
24

Nogier, Jean-François. "Un système de production de langage fondé sur le modèles des graphes conceptuels." Paris 7, 1990. http://www.theses.fr/1990PA077157.

Full text
Abstract:
Cette thèse porte sur la conception d'une architecture de production de langage, c'est-à-dire la mise en oeuvre informatique de la traduction des idées en mots (comment le dire ?). L'accent a été mis sur deux aspects du problème : le choix des mots et la linéarisation en phrase des représentations syntaxiques intermédiaires. Le modèle de représentation des connaissances : les graphes conceptuels, est unique tout au long du processus. En effet, il permet de modéliser à la fois la structure manipulée par le programme (aux stades conceptuels et syntaxiques) et les connaissances déclaratives néces
APA, Harvard, Vancouver, ISO, and other styles
25

Strub, Florian. "Développement de modèles multimodaux interactifs pour l'apprentissage du langage dans des environnements visuels." Thesis, Lille 1, 2020. http://www.theses.fr/2020LIL1I030.

Full text
Abstract:
Alors que nous nous représentons le monde au travers de nos sens, de notre langage et de nos interactions, chacun de ces domaines a été historiquement étudié de manière indépendante en apprentissage automatique. Heureusement, ce cloisonnement tend à se défaire grâce aux dernières avancées en apprentissage profond, ce qui a conduit à l'uniformisation de l'extraction des données au travers des communautés. Cependant, les architectures neuronales multimodales n'en sont qu'à leurs premiers balbutiements et l’apprentissage par renforcement profond est encore souvent restreint à des environnements l
APA, Harvard, Vancouver, ISO, and other styles
26

Roque, Matthieu. "Contribution à la définition d'un langage générique de modélisation d'entreprise." Bordeaux 1, 2005. http://www.theses.fr/2005BOR13059.

Full text
Abstract:
Cette thèse traite de la définition d'un langage unifié de modélisation d'entreprise (UEML). Celle‑ci aborde, dans un premier temps, l'existant en modélisation d'entreprise. Nous exposons différentes approches et langages qui au cours des années ont eu pour objectif d'unifier des langages et nous montrons, qu'à l'heure actuelle, ils ne permettent pas de répondre à notre problématique. Par la suite, un exemple simple de traduction entre une activité SADT et une activité GRAI des réseaux GRAI est traité par une approche empirique. Il permet de faire ressortir un ensemble de difficultés inhérente
APA, Harvard, Vancouver, ISO, and other styles
27

Juillet, Barbara. "Modélisation comportementale du métabolisme interrégional de l'azote alimentaire et des cinétiques de l'urée à l'état nourri non stationnaire chez l'homme." Phd thesis, INAPG (AgroParisTech), 2006. http://pastel.archives-ouvertes.fr/pastel-00002662.

Full text
Abstract:
L'assimilation des protéines du repas met en jeu une cascade d'événements métaboliques, dynamiques et transitoires, contrôlant la distribution des acides aminés alimentaires dans les zones splanchnique et périphérique de l'organisme. Le recours à la modélisation compartimentale permet d'analyser les données cliniques obtenues sur ce système physiologique complexe afin de comprendre son fonctionnement par le biais d'une approche intégrée. Les travaux pionniers récemment opérés à ce sujet se sont heurtés à une difficulté majeure : la difficulté de mener à bien l'identification numérique de modèl
APA, Harvard, Vancouver, ISO, and other styles
28

Brault, Julie. "Nouveaux modèles d’étude de la Granulomatose Septique Chronique grâce aux cellules souches pluripotentes induites – Application au développement de la thérapie protéique." Thesis, Université Grenoble Alpes (ComUE), 2015. http://www.theses.fr/2015GREAS020/document.

Full text
Abstract:
La Granulomatose Septique Chronique (CGD) est une maladie génétique rare de l’immunodéficience innée affectant les cellules phagocytaires (neutrophiles, macrophages). Elle est causée par des mutations dans les sous-unités du complexe NADPH oxydase formé du cytochrome b558 membranaire (NOX2 associé à p22phox) et de facteurs cytosoliques (p47phox, p67phox et p40phox). La déficience de ce complexe enzymatique va conduire à l’absence de formation de formes réactives de l’oxygène (FRO) microbicides et donc à l’apparition d’infections graves et récurrentes très tôt dans l’enfance. La chimioprophylax
APA, Harvard, Vancouver, ISO, and other styles
29

Tron, Cécile. "Modèles quantitatifs de machines parallèles : les réseaux d'interconnexion." Grenoble INPG, 1994. http://www.theses.fr/1994INPG0179.

Full text
Abstract:
Cette thèse s'inscrit dans le cadre de la conception et de la réalisation de l'environnement alpes (algorithmes parallèles et évaluation de systèmes), dédié à l'évaluation des performances des systèmes parallèles. Son objectif est de permettre d'évaluer différents programmes, différentes machines et différentes stratégies d'implémentation (placement, répartition dynamique) avec le même outil, en émulant le comportement de l'ensemble sur la même machine, appelée machine cible. Pour cela notre approche se fonde sur deux modèles: le modèle de programmes et le modèle de machines. Le travail présen
APA, Harvard, Vancouver, ISO, and other styles
30

Kettani, Omar. "Modèles du calcul sans changement d'état : quelques développements et résultats." Aix-Marseille 2, 1989. http://www.theses.fr/1989AIX24005.

Full text
Abstract:
Le modele etudie, voisin de la machine de turing fait disparaitre l expression de l etat dans l algorithme par notation sur le ruban. La methode consiste a se munir d alphabets riches pour noter a la fois donnees et structures algorithmiques. L auteur presente d abord deux demonstrations d equivalence avec la machine de turing. Il envisage ensuite un modele dit parallele qui consiste a se deplacer en bloc sur une suite de cases, et en donne quelques applications sur des problemes classiques. La caracteristique de ces machines est de deplacer la tete de lecture a cheval sur deux cellules de mem
APA, Harvard, Vancouver, ISO, and other styles
31

Boisson, Jean-Charles. "Modélisation et résolution par métaheuristiques coopératives : de l'atome à la séquence protéique." Electronic Thesis or Diss., Lille 1, 2008. http://www.theses.fr/2008LIL10154.

Full text
Abstract:
Dans cette thèse, nous montrons l'importance de la modélisation et de la coopération de métaheuristiques pour la résolution de problèmes réels en bioinformatique. Deux problèmes ont été étudiés: l'identification de protéines à partir de données spectrales en protéomique et le problème du docking moléculaire flexible en analyse structurale des molécules. Pour le premier problème, un nouveau modèle basé sur une comparaison directe des bases de données protéiques avec les données expérimentales brutes a été mise en place. L'approche associée a été intégrée au sein d'un moteur d'identification par
APA, Harvard, Vancouver, ISO, and other styles
32

Le, Gloahec Vincent. "Un langage et une plateforme pour la définition et l’exécution de bonnes pratiques de modélisation." Lorient, 2011. http://www.theses.fr/2011LORIS239.

Full text
Abstract:
Le capital le plus précieux d’une entreprise d’ingénierie réside dans les connaissances et le savoir-faire acquis au fils des ans par ses employés. Malheureusement, faute de moyens qu’elles jugent adéquats, la plupart des entreprises ne rationalisent pas la gestion de ce type de connaissance. Dans le domaine de l’ingénierie des logiciels, ce savoir est généralement rassemblé sous la forme de bonnes pratiques documentées de manière informelle, peu propice à un usage effectif et adéquat de ces pratiques. Dans ce domaine, les activités de modélisation sont devenues prépondérantes, favorisant la r
APA, Harvard, Vancouver, ISO, and other styles
33

Boisson, Jean-Charles. "Modélisation et résolution par métaheuristiques coopératives : de l'atome à la séquence protéique." Phd thesis, Lille 1, 2008. http://tel.archives-ouvertes.fr/tel-00842054.

Full text
Abstract:
A travers cette thèse, nous montrons l'importance de la modélisation et de la coopération de métaheuristiques pour la résolution de problèmes réels en bioinformatique. Pour ce faire, deux problèmes ont été étudiés : le premier dans le domaine de la protéomique pour l'identification de protéines à partir de données spectrales et le second dans le domaine de l'analyse structurale de molécules pour le problème du docking moléculaire flexible. Ainsi, pour le premier problème, un nouveau modèle basé sur une comparaison directe des bases de données protéiques avec les données expérimentales brutes a
APA, Harvard, Vancouver, ISO, and other styles
34

Guihal, David. "Modélisation en langage VHDL-AMS des systèmes pluridisciplinaires." Phd thesis, Université Paul Sabatier - Toulouse III, 2007. http://tel.archives-ouvertes.fr/tel-00157570.

Full text
Abstract:
Ce travail de thèse porte sur la problématique d'élaboration de modèles de systèmes hétérogènes. Il a associé le laboratoire de recherche LAAS-CNRS et la société MENTOR GRAPHICS. Il prend place au sein d'un processus de conception qui se fonde sur les recommandations de l'EIA-632 et sur une ingénierie guidée par les modèles. L'objectif de notre travail est de montrer en quoi le langage VHDL-AMS est adapté à la problématique de modélisation et de simulation de la solution physique au sens des recommandations de l'EIA-632. Dans un premier temps, ce manuscrit présente un état de l'art sur les bes
APA, Harvard, Vancouver, ISO, and other styles
35

Ramadour, Philippe. "Modèles et langage pour la conception et la manipulation de composants réutilisables de domaine." Aix-Marseille 3, 2001. http://www.theses.fr/2001AIX30092.

Full text
Abstract:
Le domaine de la conception des systèmes d'information est un secteur très demandeur en techniques et méthodes nouvelles visant à améliorer la qualité des produits et la performance des processus de conception. Ces besoins ont tait émerger des méthodes et outils innovants, aujourd'hui largement adoptés et utilisés. II est maintenant possible d'envisager une approche de développement basée sur la réutilisation de composants existants et éprouvés. Une telle approche doit permettre de réduire le temps de conception des systèmes d information, d'en améliorer la qualité et d'en faciliter la mainten
APA, Harvard, Vancouver, ISO, and other styles
36

Raibon, Audrey. "Le facteur d'initiation de la traduction eIF3f dans le muscle squelettique : étude in vitro et obtention de modèles animaux." Thesis, Montpellier 1, 2013. http://www.theses.fr/2013MON1T023/document.

Full text
Abstract:
Le facteur d'initiation de la traduction eIF3f est une des sous-unités constituant le facteur d'initiation de la traduction eIF3. Au niveau musculaire la surexpression de eIF3f dans les myotubes induit une hypertrophie associée à une augmentation de la synthèse protéique. A l'inverse, l'inhibition de l'expression de eIF3f entraîne une atrophie associée à une diminution de la synthèse protéique. Ce travail de thèse a permis (i) in vitro de mettre en évidence les fonctions inhibitrices du facteur eIF3f au cours de la prolifération des myoblastes C2C12 et par une étude transcriptomique sur les fr
APA, Harvard, Vancouver, ISO, and other styles
37

Beaumont, Jean-François. "Adaptation non supervisée des modèles de langage pour le sous-titrage de bulletins de nouvelles." Thesis, McGill University, 2004. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=79997.

Full text
Abstract:
This thesis presents an approach to create topic dependent language models. It is shown that a gain of 5% was reached using speech recognition for news broadcast. First, this document presents the theory, on which language models are based and the problem of sparse data which is one of the biggest problems associated with the creation of adequate language models. Next, general guidelines are presented in regard of the choices and techniques implied in the creation and the adaptation of language models. Finally, experimental results are presented and commented on to sustain the concept o
APA, Harvard, Vancouver, ISO, and other styles
38

Nemo, Clémentine. "Construction et validation de modèles guidées par l'application idempotente de transformations." Nice, 2010. http://www.theses.fr/2010NICE4090.

Full text
Abstract:
Les systèmes d’information d’entreprise (SIE) visent à mettre à disposition des développeurs un ensemble d’éléments hétérogènes (politiques, composants sur étagère, patrons de conception,…) communs à tous les projets de l’entreprise. Le développement des logiciels se fait ainsi par l’alternance d’intégrations des briques logicielles et de modifications manuelles des codes. Lorsque les briques logicielles correspondent à l’introduction de politiques, telle que le contrôle d’accès, les assemblages de composants résultants respectent les contraintes imposées par la politique. Or, l’intégration d’
APA, Harvard, Vancouver, ISO, and other styles
39

Lokpo, Brahima. "Étude de la réutilisation dans les modèles parallèles à processus communicants." Toulouse, INPT, 1992. http://www.theses.fr/1992INPT033H.

Full text
Abstract:
Les difficultes pour exploiter efficacement les calculateurs paralleles augmentent de plus en plus avec leur puissance. Un effort important aussi bien dans la recherche d'algorithmes et de methodes que dans le developpement d'environnements de programmation adequats doit etre fourni afin de surmonter ces difficultes. La presente these se veut une contribution aux aspects methodologiques de la programmation parallele fondee sur le modele des processus communicants. Trois principes de conception facilitant la structuration et la reutilisation dans ce modele particulier y sont etudies. Le premier
APA, Harvard, Vancouver, ISO, and other styles
40

Lespagne, Christian. "Traitement statistique de modèles numériques du terrain topographique." Paris 11, 1985. http://www.theses.fr/1985PA112376.

Full text
Abstract:
La thèse porte sur la compréhension analytique des modèles numériques du terrain topographique, ainsi que sur l'analyse post-compensation des canevas observés ramenés à la géométrie simplifiée d'un "Espace Topométrique". Son exposé présente diverses possibilités d'apport des méthodes statistiques pour une meilleure évaluation qualitative post compensation de ces modèles et proposé une méthode de correction des variances-covariances qui tient compte de l'effet des appuis fixes soumis à variance. Compensation et analyse de variances des grandeurs observées sont traitées dans l'esprit probabilist
APA, Harvard, Vancouver, ISO, and other styles
41

Tissot, Régis. "Contribution à la génération automatique de tests à partir de modèles et de schémas de test comme critères de sélection dynamiques." Besançon, 2009. http://www.theses.fr/2009BESA2015.

Full text
Abstract:
Cette thèse est une contribution à la conception d'une méthode de génération automatique de tests à partir de modèles (ou MBT -Model Based Testing). Le contexte de nos travaux se situe dans la continuité de ceux effectués autour de l'outil BZ- TT (BZ- Testing Tools) qui permet d'engendrer des tests fonctionnels à partir de modèles décrits en langage B. Les critères de sélection de tests implémentés dans l'outil BZ- TT reposent sur la couverture structurelle du modèle du système à valider en prenant en compte les structures de données et de contrôle de celui-ci. Cette approche ne permet pas de
APA, Harvard, Vancouver, ISO, and other styles
42

Delaunay, Jérôme. "Contribution à l'analyse d'un mécanisme de répression traductionnelle conservé entre le xénope et la drosophile : identification et caractérisation du facteur protéique Bru3 de liaison à l'élément EDEN." Montpellier 1, 2004. http://www.theses.fr/2004MON1T001.

Full text
Abstract:
LA REGULATION TRADUCTIONNELLE JOUE UN ROLE ESSENTIEL DANS LE CONTROLE DE L'EXPRESSION GENIQUE, EN PARTICULIER DANS L'OVOCYTE ET L'OEUF. LE TRAVAIL REALISE AU COURS DE MA THESE S'INSCRIT DANS UNE ANALYSE D'UN MECANISME DE REGULATION TRADUCTIONNELLE DES ARN MESSAGERS MATERNELS CONSERVE ENTRE LA DROSOPHILE ET LE XENOPE. CE MECANISME A D'ABORD ETE DECRIT CHEZ LE XENOPE POUR UNE CLASSE D'ARNm MATERNELS, DONT L'ARNm DU PROTO-ONCOGENE C-MOS DONT LA TRADUCTION EST CRITIQUE POUR LA MATURATION MEIOTIQUE. CES ARNm PORTENT UN ELEMENT DANS LEUR 3'UTR QUI JOUE UN ROLE ESSENTIEL DANS LEUR REPRESSION TRADUCTI
APA, Harvard, Vancouver, ISO, and other styles
43

Brun, Armelle. "Détection de thème et adaptation des modèles de langage pour la reconnaissance automatique de la parole." Nancy 1, 2003. http://www.theses.fr/2003NAN10003.

Full text
Abstract:
Une des façons de procéder pour l'amélioration de la qualité des systèmes de Reconnaissance Automatique de la Parole (RAP) consiste à adapter le modèle de langage utilisé au thème du texte en cours de traitement. Nous proposons dans cette thèse une nouvelle approche de la sélection devocabulaire pour la détection de thème, qui permet d'améliorer légèrement les performances. Nous proposons également une méthode originale de détection de thème qui atteint des performances comparables à celles de l'état de l'art en exploitant un vocabulaire réduit. Nous avons également étudié la combinaison des m
APA, Harvard, Vancouver, ISO, and other styles
44

Lamine, Elyes. "Définition d'un modèle de propriété et proposition d'un langage de spécification associé : LUSP." Montpellier 2, 2001. http://www.theses.fr/2001MON20205.

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

Barbier, Guillaume. "Contribution de l'ingénierie dirigée par les modèles à la conception de modèles grande culture." Phd thesis, Université Blaise Pascal - Clermont-Ferrand II, 2013. http://tel.archives-ouvertes.fr/tel-00914318.

Full text
Abstract:
Cette thèse, à caractère industriel, vise à répondre à une problématique de production de l'entreprise ITK. Par la mise en oeuvre des techniques de l'ingénierie dirigée par les modèles, nous proposons un environnement de modélisation et de simulation pour la croissance des plantes. Outre sa facilité d'utilisation pour les agronomes, le prototype obtenu permet la génération automatique de code Java des modèles à intégrer dans des outils d'aide à la décision exécutés sur une plateforme Java Enterprise Edition.
APA, Harvard, Vancouver, ISO, and other styles
46

Maran, Abdalhmed. "Une approche formelle pour la transformation de modèles UML-XML." Versailles-St Quentin en Yvelines, 2005. http://www.theses.fr/2005VERS0007.

Full text
Abstract:
UML (Unified Modeling Language) allows modeling of structure and behavior of systems and offers several kinds of diagrams. XML (eXtensible Markup Language) is a data format and it has a schema definition language which is also in XML. In XML, there are a clear separation between XML Data and their schemas, descriptions and ontology and several possible representations. From early beginning of XML, there had been associations between UML and XML and complementarities had been shown between them. Our goal is to define a new and formal approach for model transformation and use it in case of UML t
APA, Harvard, Vancouver, ISO, and other styles
47

Dumery, Jean-Jacques. "Un langage de spécification pour la conception structurée de la commande des systèmes à évènements discrets." Châtenay-Malabry, Ecole centrale de Paris, 1999. http://www.theses.fr/1999ECAP0644.

Full text
Abstract:
Dans le cadre de l'ingénierie des systèmes automatisés de production, concevoir une commande de système à évènements discrets est une activité complexe. Elle nécessite souvent l'utilisation de méthodes qui mettent en œuvre un ensemble de langages de spécification. Par ailleurs, on observe que les représentations graphiques sont de plus en plus privilégiées par rapport aux représentations littérales et algébriques du fait de leur aptitude à servir de support de communication entre tous les intervenants. C'est dans cet esprit que le Grafcet a été conçu. Il est aujourd'hui largement enseigné, uti
APA, Harvard, Vancouver, ISO, and other styles
48

Séguéla, Patrick. "Construction de modèles de connaissances par analyse lingustiques de relations lexicales dans les documents techniques." Toulouse 3, 2001. http://www.theses.fr/2001TOU30210.

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

Sardet, Éric. "Intégration des approches modélisation conceptuelle et structuration documentaire pour la saisie, la représentation, l'échange et l'exploitation d'informations ; application aux catalogues de composants industriels." Poitiers, 1999. http://www.theses.fr/1999POIT2311.

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

Watrin, David. "Formalisation des modèles d'information d'administration de réseaux à l'aide de la méthode B : Application au langage GDMO." Ecole Nationale Supérieure des télécommunications, 2001. http://www.theses.fr/2001ENST0039.

Full text
Abstract:
Suite à la libéralisation des marchés de télécommunications et à la multiplication de l'offre de services, l'Administration de Réseaux de Télécommunications connaît un réel essor. A l'exception de SNMP, les différentes technologies qui adressent cette activité ont fait le choix de langages orientés objets afin de décrire leurs modèles d'information. Ce choix est motivé par des considérations d'évolutivité bien connues. Cependant une constante se dégage à travers ces langages: I'utilisation du langage naturel pour décrire les contraintes et les comportements des objets gérés, des attributs et a
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