Relevant bibliographies by topics / Spécification du destin / Dissertations / Theses
To see the other types of publications on this topic, follow the link: Spécification du destin.

Dissertations / Theses on the topic 'Spécification du destin'

Author: Grafiati
Published: 18 May 2024

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

Select a source type:

Consult the top 29 dissertations / theses for your research on the topic 'Spécification du destin.'

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

Bolz, Marianne. "Régulation du destin cellulaire pendant la neurogénèse postnatale : rôle de l'innervation dopaminergique issue du mésencéphale." Thesis, Aix-Marseille, 2013. http://www.theses.fr/2013AIXM4098.

Full text
Abstract:
Le cerveau des mammifères abrite deux régions spécifiques où la neurogenèse adulte ne cesse pas après l'embryogenèse, mais persiste dans le cerveau postnatal et adulte. Ces deux régions sont la zone sous-granulaire du gyrus denté de l’hippocampe et la zone sous-ventriculaire (SVZ) des ventricules latéraux.Dans la SVZ, des cellules souches neurales génèrent des neuroblastes qui migrent jusqu’au bulbe olfactif (OB) pour coloniser les couches granulaires et glomérulaires et se différencier en différent types d’interneurones dont une petite fraction sont des interneurones dopaminergiques. La décou
APA, Harvard, Vancouver, ISO, and other styles
2

Mazurier, Nicolas. "Etude des mécanismes de maintenance et de spécification des cellules souches et progénitrices de la rétine du xénope." Phd thesis, Université Paris Sud - Paris XI, 2012. http://tel.archives-ouvertes.fr/tel-00980574.

Full text
Abstract:
Au cours de ma thèse, mes projets de recherche ont visé à mieux comprendre les mécanismes moléculaires contrôlant la prolifération et la spécification des cellules progénitrices dans la rétine du xénope à travers trois projets principaux. Le réseau de régulation qui contrôle la spécification des cellules progénitrices vers les sous-types neuronaux est à ce jour très peu connu. C'est dans ce contexte que j'ai étudié le rôle du facteur de transcription à domaine bHLH, Ascl1, dans la détermination des sous-types rétiniens au cours du développement. Par des approches in vivo de gain et perte de fo
APA, Harvard, Vancouver, ISO, and other styles
3

Farreny, Marie-Amélie. "Détermination des précurseurs des oligodendrocytes dans la moelle épinière embryonnaire ventrale : rôles des FGFs dans la modulation du signal Shh et l'engagement des progéniteurs Olig2 vers un destin glial." Toulouse 3, 2013. http://thesesups.ups-tlse.fr/2610/.

Full text
Abstract:
Le système nerveux central des vertébrés (SNC), cerveau et moelle épinière, est composé d'une grande diversité de cellules aux fonctions très spécifiques. Deux classes de cellules sont majoritaires dans ce tissu : les neurones et les cellules gliales. Le tube neural, ébauche embryonnaire du SNC, s'organise en différents domaines de cellules immatures appelées progéniteurs neuraux. Chaque domaine est à l'origine d'une population neuronale ou gliale particulière, telle que les oligodendrocytes, cellules myélinisantes du SNC. La moelle épinière embryonnaire représente un bon modèle d'étude du dév
APA, Harvard, Vancouver, ISO, and other styles
4

Verdier, Guillaume. "Variants of acceptance specifications for modular system design." Thesis, Toulouse 3, 2016. http://www.theses.fr/2016TOU30044/document.

Full text
Abstract:
Les programmes informatiques prennent une place de plus en plus importante dans nos vies. Certains de ces programmes, comme par exemple les systèmes de contrôle de centrales électriques, d'avions ou de systèmes médicaux sont critiques : une panne ou un dysfonctionnement pourraient causer la perte de vies humaines ou des dommages matériels ou environnementaux importants. Les méthodes formelles visent à offrir des moyens de concevoir et vérifier de tels systèmes afin de garantir qu'ils fonctionneront comme prévu. Au fil du temps, ces systèmes deviennent de plus en plus évolués et complexes, ce q
APA, Harvard, Vancouver, ISO, and other styles
5

Dussaux, Valere. "Spécifications partielles de dessin de graphe : Étude logique et combinatoire." Bordeaux 1, 2002. http://www.theses.fr/2002BOR12527.

Full text
Abstract:
Les travaux présentés dans cette thèse concernent les spécifications de dessins de graphe. On introduit la notion de carte partielle dont deux cas extrêmes sont le graphe (sans indication de dessin) et la carte (combinatoire) qui spécifie complètement le dessin (à déformation près) d'un graphe connexe. Des problèmes de réalisabilité de dessin sans croisement d'arêtes, sur le plan, sur des surfaces plus complexes, sont étudiés des points de vue logique et combinatoire au moyen de la structure de carte partielle. Dans la formulation de ceux-ci intervient le problème de l'ordonnancement cyclique.
APA, Harvard, Vancouver, ISO, and other styles
6

Jacquet, Laurent. "Contribution à l'élaboration d'une démarche de spécification fonctionnelle." Valenciennes, 1998. https://ged.uphf.fr/nuxeo/site/esupversions/4c2eee6b-58fa-4a04-9865-a7834af2bd07.

Full text
Abstract:
La qualité d'un produit et son temps de commercialisation dépendent étroitement du temps de conception du système de production. En effet, le temps de conception du système rallonge d'autant la commercialisation du produit. Par conséquent, la conception d'un système automatisé étant partagée entre plusieurs acteurs (automaticien, mécanicien, maintenicien. . . ), une méthode de conception doit être appliquée. Celle-ci doit accroître la cohérence des prises de décision des intervenants afin d'augmenter la qualité du système et réduire son temps de conception en permettant une conception concoura
APA, Harvard, Vancouver, ISO, and other styles
7

Chae, Jung Kyu. "Plateforme de spécification pour le développement de bibliothèques de cellules et d'IPs." Thesis, Paris 6, 2014. http://www.theses.fr/2014PA066140/document.

Full text
Abstract:
Une plateforme de conception est une solution totale qui permet à une équipe de conception de développer un système sur puce. Une telle plateforme se compose d'un ensemble de bibliothèques et de circuits réutilisables (IPs), d'outils de CAO et de kits de conception en conformité avec les flots de conception et les méthodologies supportés. Les spécifications de ce type de plateforme offrent un large éventail d'informations, depuis des paramètres de technologie, jusqu'aux informations sur les outils. En outre, les développeurs de bibliothèque/IP ont des difficultés à obtenir les données nécessai
APA, Harvard, Vancouver, ISO, and other styles
8

Belhadj, Mohamed Hichem. "Spécification et synthèse de systèmes à controle intensif." Grenoble INPG, 1996. http://www.theses.fr/1996INPG0084.

Full text
Abstract:
La realisation avec succes de nouveaux produits fiables, performants et peu couteux est le resume des defis actuels du marche de l'electronique. Relever ces defis passe par un bon choix des moyens de modelisation et de specification et par l'utilisation d'outils specifiques aux applications visees et aux technologies cibles. Cette these propose quelques elements de reponse pour la specification et la synthese des systemes a controle intensif sur les technologies programmables du type fpga et cpld. Les aspects de specification etudies sont relatifs aux modeles abstraits, aux langages de descrip
APA, Harvard, Vancouver, ISO, and other styles
9

Fadi, Abdallah el. "Spécification comportementale temporelle dans un simulateur multi-niveaux." Grenoble INPG, 1988. http://www.theses.fr/1988INPG0039.

Full text
Abstract:
Cette thèse aborde les problèmes de la validation automatique dans le domaine CAO de matériels informatiques et électroniques, en liaison avec des techniques de simulation mixte. Le but a été d'établir une méthodologie de spécification comportementale basée sur l'utilisation de primitives logiques et temporelles permettant de conditionner certaines propriétés des systèmes modélises et simulés
APA, Harvard, Vancouver, ISO, and other styles
10

Costadoat, Renaud. "Contribution à la recherche de spécifications pour la gestion des variations géométriques au plus tôt dans le cycle de conception." Phd thesis, École normale supérieure de Cachan - ENS Cachan, 2010. http://tel.archives-ouvertes.fr/tel-00566221.

Full text
Abstract:
Les travaux présentés proposent une méthode appelée GeoSpecif. L'objectif de cette méthode est de proposer une assistance à la recherche de spécifications géométriques. Cette méthode doit, de plus, s'intégrer au cycle de conception. Ces travaux sur la spécification sont basés sur deux outils : le Torseur des Petits Déplacements, pour la simulation, le langage GeoSpelling, pour l'expression de la spécification. Le produit est modélisé par deux vues, une première géométrique (correspondant aux pièces) et une seconde architecturale (correspondant à l'assemblage). La méthode peut être décomposée e
APA, Harvard, Vancouver, ISO, and other styles
11

Daveau, Jean-Marc. "Spécifications systèmes et synthèse de la communication pour le co-design logiciel/matériel." Grenoble INPG, 1997. https://tel.archives-ouvertes.fr/tel-00002996.

Full text
Abstract:
Au fur et à mesure que la complexité s'accroit, il devient nécessaire de définir de nouvelles méthodes permettant de la gérer. Une des façons de maîtriser cette complexité est d'élever le niveau d'abstraction des spécifications en utilisant des langages de spécification systèmes. D'un autre côté, l'élévation du niveau d'abstraction augmente le fossé entre les concepts utilisés pour la spécification (processus communicants, communication abstraite) et ceux utilisés par les langages de description de matériel. Bien que ces langages soient bien adaptés à la spécification et la validation de systè
APA, Harvard, Vancouver, ISO, and other styles
12

Javaheri, Fatemeh Negin. "Synthèse automatique de circuits numériques à partir de spécifications temporelles." Thesis, Université Grenoble Alpes (ComUE), 2015. http://www.theses.fr/2015GREAT083/document.

Full text
Abstract:
Les travaux présentés dans cette thèse visent à produire automatiquement des prototypes de circuits de communication et de contrôle à partir de spécifications temporelles déclaratives. Partant d'un ensemble de propriétés écrites en langage PSL, nous produisons un modèle RTL synthétisable automatiquement. La méthode proposée est modulaire, contrairement aux méthodes publiées antérieurement qui étaient fondées sur la théorie des automates. Pour chaque propriété, nous produisons un composant qui observe certains opérandes et génère des chronogrammes pour les autres opérandes : le module réactif.
APA, Harvard, Vancouver, ISO, and other styles
13

Sautet, Bernard. "Spécification et conception d'un outil de développement de systèmes temps-réel-strict distribués." Toulouse 3, 1996. http://www.theses.fr/1996TOU30100.

Full text
Abstract:
Cette these est une contribution au projet r. S. D. P. (real-time system development project) developpe a l'i. R. I. T. , dont l'objectif est d'obtenir la machine dediee la mieux adaptee pour traiter une application complexe temps-reel-strict donnee, sans que le concepteur tienne compte des problemes temporels et materiels. L'objet de cette these concerne l'outil de developpement integrant les differentes etapes d'une methodologie de conception conjointe materiel-logiciel permettant d'automatiser le passage de la specification a la realisation. Le premier chapitre, developpement de systemes te
APA, Harvard, Vancouver, ISO, and other styles
14

Petit, Dorian. "Génération automatique de composants logiciels sûrs à partir de spécifications formelles B." Valenciennes, 2003. http://www.theses.fr/2003VALE0039.

Full text
Abstract:
Ce mémoire est consacré à l'étude de la génération de code à partir de spécifications formelles B. L'aspect primordial à maîtriser pour la génération de code est la modularité du langage B. Pour ce faire, nous avons modélisé le système de modules du langage B en l'exprimant par un système de modules à la Harper-Lillibridge-Leroy. Cette modélisation nous permet de clarifier certains aspects de la modularité de B et nous permet ainsi d'avoir une représentation des spécifications B qui pourra ensuite être utilisée lors de la phase de génération de code. Ce nouveau système de module pour B nous pe
APA, Harvard, Vancouver, ISO, and other styles
15

Vara, Larsen Matias. "B-COoL : un métalangage pour la spécification des opérateurs de coordination des langages." Thesis, Nice, 2016. http://www.theses.fr/2016NICE4013/document.

Full text
Abstract:
Les appareils modernes sont constitués de plusieurs sous-systèmes de différentes sortes qui communiquent et interagissent. L'hétérogénéité de ces sous-systèmes et leurs interactions complexes rendent très délicate leur développement. L'approche d'ingénierie dirigée par les modèles apporte une solution en permettant l'expression de nombreux modèles structurels et comportementaux de natures très diverses. Dans ce contexte, il est nécessaire de construire un modèle unique qui intègre ces différents modèles afin d'y appliquer des méthodes de validation et de vérification pour permettre aux ingénie
APA, Harvard, Vancouver, ISO, and other styles
16

Constant, Damien. "Contribution à la spécification d'un modèle fonctionnel de produits pour la conception intégrée de systèmes mécaniques." Université Joseph Fourier (Grenoble), 1996. http://www.theses.fr/1996GRE10158.

Full text
Abstract:
Cette thèse est relative au domaine de la conception de systèmes mécaniques et plus particulièrement à la modélisation fonctionnelle du produit en cours de conception. Actuellement, les systèmes informatiques de Conception Assistée par Ordinateur (CAO) ne sont pas conçus pour fournir une assistance dans la recherche et le maintien de la cohérence entre les données fonctionnelles et la définition structurelle du produit. La mise en œuvre de telles fonctionnalités nécessite une formalisation de la description fonctionnelle du produit et l'explicitation des liens entre fonctions et éléments struc
APA, Harvard, Vancouver, ISO, and other styles
17

Reysset, Aurelien. "Conception préliminaire d'actionneurs électromécaniques - outils d'aide à la spécification et à la génération de procédures de dimensionnement pour l'optimisation." Thesis, Toulouse, INSA, 2015. http://www.theses.fr/2015ISAT0003/document.

Full text
Abstract:
Cette thèse a pour objectif d’apporter un ensemble d’outils logiciels s’inscrivant dans une méthodologie globale de conception de systèmes mécatroniques. Elle arrive en complément de travaux déjà menés au sein du laboratoire sur le pré-dimensionnement d’actionneurs aéronautiques de nouvelle génération : les actionneurs électromécaniques (EMA). Cette technologie apporte de nouvelles problématiques qui forcent les ingénieurs à modifier leur processus de développement et ce dès la phase de spécification où des profils de mission devront être générés/transformés/analysés de manière à simplifier la
APA, Harvard, Vancouver, ISO, and other styles
18

Ruggiero, Antonella. "Impact of Wnt signalling on multipotent stem cell dynamics during Clytia hemisphaerica embryonic and larval development." Thesis, Paris 6, 2015. http://www.theses.fr/2015PA066561/document.

Full text
Abstract:
Le but de ce travail était d’accroitre notre connaissance des mécanismes qui gouvernent la formation, la spécification et la différentiation des cellules souches, à l’aide du modèle métazoaire non-bilatérien Clytia hemisphaerica. Clytia possède une population particulière de cellules multipotentes appelées cellules interstitielles (i-cells). Ces cellules, présentes au cours du développement larvaire et chez la méduse adulte, sont capables de donner naissances a des cellules somatiques et aux gamètes. Chez les bilatériens, la signalisation Wnt/β-caténine (Wntβc) régule les processus développeme
APA, Harvard, Vancouver, ISO, and other styles
19

Lemrabet, Youness. "Proposition d’une méthode de spécification d’une architecture orientée services dirigée par le métier dans le cadre d’une collaboration inter-organisationnelle." Thesis, Ecole centrale de Lille, 2012. http://www.theses.fr/2012ECLI0010/document.

Full text
Abstract:
Les organisations contemporaines collaborent de plus en plus avec leurs partenaires. Cette dimension ouverte leur permet d’être plus réactives face aux changements que leur imposent leurs environnements. La caractéristique de la collaboration est due, pour les entreprises, au nouvel environnement économique, qui fait de l'interopérabilité et l'agilité deux des principaux résultats que les entreprises doivent atteindre. Ce contexte correspond au cadre global de nos travaux, qui porte sur la question suivante : Comment concevoir une architecture orientée services dirigée par le métier dans le ca
APA, Harvard, Vancouver, ISO, and other styles
20

Chavanne, Robin. "Contribution au tolérancement fonctionnel 3D des mécanismes complexes : synthèse des spécifications et analyse de tolérances." Phd thesis, École normale supérieure de Cachan - ENS Cachan, 2011. http://tel.archives-ouvertes.fr/tel-00661712.

Full text
Abstract:
L'étude est dédiée à la conception d'un système expert d'aide au tolérancement assurant la gestion multi-utilisateurs, multi-produits et temporelle des tolérances et des dimensions nominales de pièces pour des mécanismes complexes. Ce travail rentre dans le projet "usine numérique" de grandes entreprises et constitue un maillon manquant de cette chaîne numérique. Les travaux de thèse contribuent à la méthode CLIC (Cotation en Localisation avec Influence des Contacts) sur des liaisons complexes en proposant la spécification adéquate et le calcul de chaîne de cotes tridimensionnelle au pire des
APA, Harvard, Vancouver, ISO, and other styles
21

Ferrere, Thomas. "Assertions and measurements for mixed-signal simulation." Thesis, Université Grenoble Alpes (ComUE), 2016. http://www.theses.fr/2016GREAM050.

Full text
Abstract:
Cette thèse porte sur le monitorage des simulations de circuits en signaux mixtes. Dans le domaine de la vérification de matériel, l'utilisation de formalismes déclaratifs pour la specification, dans le cadre de la validation par simulation, s'est installée dans la pratique courante. Cependant, le manque de fonctionnalités visant à spécifier les comportements asynchrones, ou l'intégration insuffisante des résultats de la vérification, rend les language d'assertions et de mesures inopérants pour la vérification de comportements en signaux mixtes. Nous proposons des outils théoriques et pratique
APA, Harvard, Vancouver, ISO, and other styles
22

Bonnetto, Émilie. "Prise en compte des problèmes inter-métiers lors de l’introduction d’une innovation relative aux automatismes et systèmes d’information d’une entreprise : processus de spécification et de conception de l’offre." Thesis, Université Paris-Saclay (ComUE), 2016. http://www.theses.fr/2016SACLC081/document.

Full text
Abstract:
Ce travail de thèse propose une démarche méthodologique pour caractériser et anticiper les perturbations organisationnelles dues à l’introduction d’un concept d’offre innovant dans un contexte « business to business ». Elle s’intéresse donc à des produits dont la mise en oeuvre induit conjointement une création de valeur pour le client et une modification des interrelations professionnelles entre métiers de cette entreprise cliente. L’enjeu est de concevoir des nouveaux produits ou services qui soient mieux acceptés par les clients internes des sociétés acheteuses par anticipation et intégrati
APA, Harvard, Vancouver, ISO, and other styles
23

Sayar, Imen. "Articulation entre activités formelles et activités semi-formelles dans le développement de logiciels." Thesis, Université de Lorraine, 2019. http://www.theses.fr/2019LORR0030/document.

Full text
Abstract:
Le développement de spécifications formelles correctes pour des systèmes et logiciels commence par l’analyse et la compréhension des besoins du client. Entre ces besoins décrits en langage naturel et leur spécification définie dans un langage formel précis, un écart existe et rend la tâche de développement de plus en plus difficile à accomplir. Nous sommes face à deux mondes distincts. Ce travail de thèse a pour objectif d’expliciter et d’établir des interactions entre ces deux mondes et de les faire évoluer en même temps. Par interaction, nous désignons les liens, les échanges et les activité
APA, Harvard, Vancouver, ISO, and other styles
24

Ge, Ning. "Property driven verification framework : application to real time property for UML MARTE software design." Phd thesis, Toulouse, INPT, 2014. http://oatao.univ-toulouse.fr/11973/1/ge.pdf.

Full text
Abstract:
Automatic formal verification such as model checking faces the combinatorial explosion issue. This limits its application in indus- trial projects. This issue is caused by the explosion of the number of states during system’s execution , as it may easily exceed the amount of available computing or storage resources. This thesis designs and experiments a set of methods for the development of scalable verification based on the property-driven approach. We propose efficient approaches based on model checking to verify real-time requirements expressed in large scale UML-MARTE real-time system desi
APA, Harvard, Vancouver, ISO, and other styles
25

Basnyat, Sandra. "A generic integrated modelling framework for the analysis, design and validation of interactive safety-critical, error tolerant systems." Toulouse 3, 2006. http://www.theses.fr/2006TOU30246.

Full text
Abstract:
Ce travail porte sur une approche multi perspectives pour la conception des systèmes interactifs critiques appelée « Generic Integrated Modelling Framework ». Le but est de proposer des techniques, méthode et outils pour une conception basée sur des modèles prenant en compte les comportements erronés du système et des utilisateurs. Notre recherche se concentre sur la modélisation des tâches et du système qui, comme d'autres modèles, sont souvent développés pour des cas d'utilisation normale, sans prendre en compte ni les erreurs humaines ni les comportements erronés du système. Ces modèles son
APA, Harvard, Vancouver, ISO, and other styles
26

Lallier, Martial. "Un environnement d'édition evolué, graphique et syntaxique, pour la conception des systemes repartis." Nancy 1, 1988. http://www.theses.fr/1988NAN10284.

Full text
Abstract:
Proposition d' un outil d' assistance à l' utilisateur dans les problèmes d' édition et de contrôle des différents niveaux de descriptions intervenant lors de la conception d' application informatiques réparties
APA, Harvard, Vancouver, ISO, and other styles
27

Morin-Allory, Katell. "Vérification Formelle dans le Modèle Polyédrique." Phd thesis, Université Rennes 1, 2004. http://tel.archives-ouvertes.fr/tel-00011522.

Full text
Abstract:
Les travaux présentés dans ce document sont orientés vers la vérification formelle de propriétés de sûreté dans le cadre de la conception des systèmes enfouis. Nous nous plaçons dans le formalisme du modèle polyédrique, combinaison des systèmes d'équations récurrentes affines avec les polyèdes entiers. Ce modèle permet de faire de la synthèse de haut niveau pour générer des architectures parallèles à partir de la description d'un système régulier dont les dimensions sont définies par des paramètres symboliques. Nous nous intéressons à la vérification de propriétés de sûreté portant sur des sig
APA, Harvard, Vancouver, ISO, and other styles
28

Diaz, Nava Mario. "Proposition d'une méthodologie de conception de circuits intégrés de communication : réalisation d'un communicateur pour le réseau local FIP." Phd thesis, Grenoble INPG, 1986. http://tel.archives-ouvertes.fr/tel-00320454.

Full text
Abstract:
FIP=Factory Instrumentation Protocol. On réalise un circuit intégré de communication pour le réseau FIP, projet national de communication entre automates réflexes, capteurs et actionneurs. Le circuit intégré est spécifié pour permettre soit la connexion de capteurs simples, soit la connexion de capteurs intelligents ou des automates de réseau. La conception de ce circuit intégré «à la demande» résulte d'une méthodologie originale. Cette méthodologie est orientée vers la conception de circuits VLSI de communication à partir d'une bibliothèque d'opérateurs flexibles, d'une part pour réduire le t
APA, Harvard, Vancouver, ISO, and other styles
29

DAVEAU, Jean Marc. "Spécifications systèmes et synthèses de la communication pour le co-design logiciel/matériel." Phd thesis, 1997. http://tel.archives-ouvertes.fr/tel-00002996.

Full text
Abstract:
Au fur et à mesure que la complexité s'accroit, il devient nécessaire de définir de nouvelles méthodes permettant de la gérer. Une des façons de maîtriser cette complexité est d'élever le niveau d'abstraction des spécifications en utilisant des langages de spécification systèmes. D'un autre côté, l'élévation du niveau d'abstraction augmente le fossé entre les concepts utilisés pour la spécification (processus communicants, communication abstraite) et ceux utilisés par les langages de description de matériel. Bien que ces langages soient bien adaptés à la spécification et la validation de systè
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