Log in

Relevant bibliographies by topics / Spécification du destin

Contents

Dissertations / Theses

Academic literature 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 lists of relevant articles, books, theses, conference reports, and other scholarly sources 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.

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

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

More sources

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!