Advanced search options

Advanced Search Options 🞨

Browse by author name (“Author name starts with…”).

Find ETDs with:

in
/  
in
/  
in
/  
in

Written in Published in Earliest date Latest date

Sorted by

Results per page:

Sorted by: relevance · author · university · dateNew search

Dept: Informatique

You searched for subject:(Model Theory). Showing records 1 – 11 of 11 total matches.

Search Limiters

Last 2 Years | English Only

No search limiters apply to these results.

▼ Search Limiters

1. Boulier, Simon Pierre. Extending type theory with syntactic models : Etendre la théorie des types à l'aide de modèles syntaxiques.

Degree: Docteur es, Informatique, 2018, Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire

Cette thèse s'intéresse à la métathéorie de la théorie des types intuitionniste. Les systèmes que nous considérons sont des variantes de la théorie des types… (more)

Subjects/Keywords: Théorie des types; Modèles; Traduction de programme; Métaprogrammation; Théorie des types homotopique; Modèle cubique; Type theory; Models; Program translation; Metaprogramming; Homotopy type theory; Cubical model; 004

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Boulier, S. P. (2018). Extending type theory with syntactic models : Etendre la théorie des types à l'aide de modèles syntaxiques. (Doctoral Dissertation). Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire. Retrieved from http://www.theses.fr/2018IMTA0110

Chicago Manual of Style (16th Edition):

Boulier, Simon Pierre. “Extending type theory with syntactic models : Etendre la théorie des types à l'aide de modèles syntaxiques.” 2018. Doctoral Dissertation, Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire. Accessed July 07, 2020. http://www.theses.fr/2018IMTA0110.

MLA Handbook (7th Edition):

Boulier, Simon Pierre. “Extending type theory with syntactic models : Etendre la théorie des types à l'aide de modèles syntaxiques.” 2018. Web. 07 Jul 2020.

Vancouver:

Boulier SP. Extending type theory with syntactic models : Etendre la théorie des types à l'aide de modèles syntaxiques. [Internet] [Doctoral dissertation]. Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire; 2018. [cited 2020 Jul 07]. Available from: http://www.theses.fr/2018IMTA0110.

Council of Science Editors:

Boulier SP. Extending type theory with syntactic models : Etendre la théorie des types à l'aide de modèles syntaxiques. [Doctoral Dissertation]. Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire; 2018. Available from: http://www.theses.fr/2018IMTA0110

2. Batog, Guillaume. Problèmes classiques en vision par ordinateur et en géométrie algorithmique revisités via la géométrie des droites : Classical problems in computer vision and computational geometry revisited through line geometry.

Degree: Docteur es, Informatique, 2011, Université Nancy II

Systématiser : tel est le leitmotiv des résultats de cette thèse portant sur trois domaines d'étude en vision et en géométrie algorithmique. Dans le premier,… (more)

Subjects/Keywords: Géométrie des droites; Modèle d'appareil photo; Théorie des transversales géométriques; Théorie des invariants; Prédicat géométrique; Line geométry; Camera model; Geometri transversal theory; Invariant theory; Geometric predicates

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Batog, G. (2011). Problèmes classiques en vision par ordinateur et en géométrie algorithmique revisités via la géométrie des droites : Classical problems in computer vision and computational geometry revisited through line geometry. (Doctoral Dissertation). Université Nancy II. Retrieved from http://www.theses.fr/2011NAN23001

Chicago Manual of Style (16th Edition):

Batog, Guillaume. “Problèmes classiques en vision par ordinateur et en géométrie algorithmique revisités via la géométrie des droites : Classical problems in computer vision and computational geometry revisited through line geometry.” 2011. Doctoral Dissertation, Université Nancy II. Accessed July 07, 2020. http://www.theses.fr/2011NAN23001.

MLA Handbook (7th Edition):

Batog, Guillaume. “Problèmes classiques en vision par ordinateur et en géométrie algorithmique revisités via la géométrie des droites : Classical problems in computer vision and computational geometry revisited through line geometry.” 2011. Web. 07 Jul 2020.

Vancouver:

Batog G. Problèmes classiques en vision par ordinateur et en géométrie algorithmique revisités via la géométrie des droites : Classical problems in computer vision and computational geometry revisited through line geometry. [Internet] [Doctoral dissertation]. Université Nancy II; 2011. [cited 2020 Jul 07]. Available from: http://www.theses.fr/2011NAN23001.

Council of Science Editors:

Batog G. Problèmes classiques en vision par ordinateur et en géométrie algorithmique revisités via la géométrie des droites : Classical problems in computer vision and computational geometry revisited through line geometry. [Doctoral Dissertation]. Université Nancy II; 2011. Available from: http://www.theses.fr/2011NAN23001

3. Meyssonnier, Thomas. Vers des systèmes et outils de notation et de composition pour la musique électroacoustique : Towards notation and composition tools and systems for electroacoustic music.

Degree: Docteur es, Informatique, 2018, Bordeaux

Ce travail se situe dans le cadre de la recherche de systèmes de notation permettant de transcrire de façon symbolique l’aspect concret et sensoriel, et… (more)

Subjects/Keywords: Musique par ordinateur; Synthèse sonore; Partitions virtuelles; Modèles formels; Théorie Schaefferienne; Psychoacoustique; Computer music; Sound synthesis; Virutal scores; Formal model; Scheafferian theory; Psychoacoustics

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Meyssonnier, T. (2018). Vers des systèmes et outils de notation et de composition pour la musique électroacoustique : Towards notation and composition tools and systems for electroacoustic music. (Doctoral Dissertation). Bordeaux. Retrieved from http://www.theses.fr/2018BORD0200

Chicago Manual of Style (16th Edition):

Meyssonnier, Thomas. “Vers des systèmes et outils de notation et de composition pour la musique électroacoustique : Towards notation and composition tools and systems for electroacoustic music.” 2018. Doctoral Dissertation, Bordeaux. Accessed July 07, 2020. http://www.theses.fr/2018BORD0200.

MLA Handbook (7th Edition):

Meyssonnier, Thomas. “Vers des systèmes et outils de notation et de composition pour la musique électroacoustique : Towards notation and composition tools and systems for electroacoustic music.” 2018. Web. 07 Jul 2020.

Vancouver:

Meyssonnier T. Vers des systèmes et outils de notation et de composition pour la musique électroacoustique : Towards notation and composition tools and systems for electroacoustic music. [Internet] [Doctoral dissertation]. Bordeaux; 2018. [cited 2020 Jul 07]. Available from: http://www.theses.fr/2018BORD0200.

Council of Science Editors:

Meyssonnier T. Vers des systèmes et outils de notation et de composition pour la musique électroacoustique : Towards notation and composition tools and systems for electroacoustic music. [Doctoral Dissertation]. Bordeaux; 2018. Available from: http://www.theses.fr/2018BORD0200

4. Ruoppolo, Domenico. Relational graph models and Morris's observability : resource-sensitive semantic investigations on the untyped λ-calculus : Modèles de Graphe Relationnels et Observabilité à la Morris : recherches sémantiques sensibles aux ressources sur le λ-calcul non typé.

Degree: Docteur es, Informatique, 2016, Sorbonne Paris Cité

La thèse contribue à l’étude du λ-calcul non-typé de Church, un système de réécriture dont la règle principale est la β-réduction (formalisant l’exécution d’un programme).… (more)

Subjects/Keywords: Semantique relationnelle; Equivalence observationnelle; Λ-calcul non-typé de Church; Théoris Morris; Modèle λ-König; Denotational semantics; Church’s untyped λ-calculus; Morris theory; Λ-König model

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Ruoppolo, D. (2016). Relational graph models and Morris's observability : resource-sensitive semantic investigations on the untyped λ-calculus : Modèles de Graphe Relationnels et Observabilité à la Morris : recherches sémantiques sensibles aux ressources sur le λ-calcul non typé. (Doctoral Dissertation). Sorbonne Paris Cité. Retrieved from http://www.theses.fr/2016USPCD069

Chicago Manual of Style (16th Edition):

Ruoppolo, Domenico. “Relational graph models and Morris's observability : resource-sensitive semantic investigations on the untyped λ-calculus : Modèles de Graphe Relationnels et Observabilité à la Morris : recherches sémantiques sensibles aux ressources sur le λ-calcul non typé.” 2016. Doctoral Dissertation, Sorbonne Paris Cité. Accessed July 07, 2020. http://www.theses.fr/2016USPCD069.

MLA Handbook (7th Edition):

Ruoppolo, Domenico. “Relational graph models and Morris's observability : resource-sensitive semantic investigations on the untyped λ-calculus : Modèles de Graphe Relationnels et Observabilité à la Morris : recherches sémantiques sensibles aux ressources sur le λ-calcul non typé.” 2016. Web. 07 Jul 2020.

Vancouver:

Ruoppolo D. Relational graph models and Morris's observability : resource-sensitive semantic investigations on the untyped λ-calculus : Modèles de Graphe Relationnels et Observabilité à la Morris : recherches sémantiques sensibles aux ressources sur le λ-calcul non typé. [Internet] [Doctoral dissertation]. Sorbonne Paris Cité; 2016. [cited 2020 Jul 07]. Available from: http://www.theses.fr/2016USPCD069.

Council of Science Editors:

Ruoppolo D. Relational graph models and Morris's observability : resource-sensitive semantic investigations on the untyped λ-calculus : Modèles de Graphe Relationnels et Observabilité à la Morris : recherches sémantiques sensibles aux ressources sur le λ-calcul non typé. [Doctoral Dissertation]. Sorbonne Paris Cité; 2016. Available from: http://www.theses.fr/2016USPCD069

5. Ferte, Julien. Régularité et contraintes de descendance : équations algébriques. : Regularity and descendant constraints : algebraic equations.

Degree: Docteur es, Informatique, 2014, Aix Marseille Université

Ce mémoire est constitué de 3 parties.La NP-complétude de la satisfaction de combinaisons booléennes de contraintes de sous-arbres est démontrée dans l'article [Ven87] ; la… (more)

Subjects/Keywords: Automates à pile de piles fortement déterministes; Model-Checking; Patterns; Réécriture; Satisfaisabilité; Systèmes d'équations algébriques; T-Dag; Théorie des langages; Algebraic equation systems; Language theory; Model-Checking; Patterns; Rewriting; Satisfiability; Strongly-Deterministic 2-Level pushdown automata; T-Dags

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Ferte, J. (2014). Régularité et contraintes de descendance : équations algébriques. : Regularity and descendant constraints : algebraic equations. (Doctoral Dissertation). Aix Marseille Université. Retrieved from http://www.theses.fr/2014AIXM4713

Chicago Manual of Style (16th Edition):

Ferte, Julien. “Régularité et contraintes de descendance : équations algébriques. : Regularity and descendant constraints : algebraic equations.” 2014. Doctoral Dissertation, Aix Marseille Université. Accessed July 07, 2020. http://www.theses.fr/2014AIXM4713.

MLA Handbook (7th Edition):

Ferte, Julien. “Régularité et contraintes de descendance : équations algébriques. : Regularity and descendant constraints : algebraic equations.” 2014. Web. 07 Jul 2020.

Vancouver:

Ferte J. Régularité et contraintes de descendance : équations algébriques. : Regularity and descendant constraints : algebraic equations. [Internet] [Doctoral dissertation]. Aix Marseille Université 2014. [cited 2020 Jul 07]. Available from: http://www.theses.fr/2014AIXM4713.

Council of Science Editors:

Ferte J. Régularité et contraintes de descendance : équations algébriques. : Regularity and descendant constraints : algebraic equations. [Doctoral Dissertation]. Aix Marseille Université 2014. Available from: http://www.theses.fr/2014AIXM4713

6. Clement, Benjamin. Adaptive Personalization of Pedagogical Sequences using Machine Learning : Personalisation Adaptative de Séquences Pédagogique à l'aide d'Apprentissage Automatique.

Degree: Docteur es, Informatique, 2018, Bordeaux

 Les ordinateurs peuvent-ils enseigner ? Pour répondre à cette question, la recherche dans les Systèmes Tuteurs Intelligents est en pleine expansion parmi la communauté travaillant… (more)

Subjects/Keywords: Système Tuteur Intelligent; Enseignement Adaptatif; Théorie du Flow; Motivation Intrinsèque; Algorithme de Bandit Multi Bras; Modèle d’apprenant; Serious Game; Intelligent Tutoring System; Adaptive Teaching; Flow Theory; Intrinsic Motivation; Multi-Armed Bandit; Learner Model; Serious Game

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Clement, B. (2018). Adaptive Personalization of Pedagogical Sequences using Machine Learning : Personalisation Adaptative de Séquences Pédagogique à l'aide d'Apprentissage Automatique. (Doctoral Dissertation). Bordeaux. Retrieved from http://www.theses.fr/2018BORD0373

Chicago Manual of Style (16th Edition):

Clement, Benjamin. “Adaptive Personalization of Pedagogical Sequences using Machine Learning : Personalisation Adaptative de Séquences Pédagogique à l'aide d'Apprentissage Automatique.” 2018. Doctoral Dissertation, Bordeaux. Accessed July 07, 2020. http://www.theses.fr/2018BORD0373.

MLA Handbook (7th Edition):

Clement, Benjamin. “Adaptive Personalization of Pedagogical Sequences using Machine Learning : Personalisation Adaptative de Séquences Pédagogique à l'aide d'Apprentissage Automatique.” 2018. Web. 07 Jul 2020.

Vancouver:

Clement B. Adaptive Personalization of Pedagogical Sequences using Machine Learning : Personalisation Adaptative de Séquences Pédagogique à l'aide d'Apprentissage Automatique. [Internet] [Doctoral dissertation]. Bordeaux; 2018. [cited 2020 Jul 07]. Available from: http://www.theses.fr/2018BORD0373.

Council of Science Editors:

Clement B. Adaptive Personalization of Pedagogical Sequences using Machine Learning : Personalisation Adaptative de Séquences Pédagogique à l'aide d'Apprentissage Automatique. [Doctoral Dissertation]. Bordeaux; 2018. Available from: http://www.theses.fr/2018BORD0373

7. Oger, Stanislas. Modèles de langage ad hoc pour la reconnaissance automatique de la parole : Ad-hoc language models for automatic speech recognition.

Degree: Docteur es, Informatique, 2011, Avignon

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… (more)

Subjects/Keywords: Reconnaissance Automatique de la Parole; Modélisation du Langage; Théorie des Possibilités; Modèle de Langage Web; Mots Hors-Vocabulaires; Automatic Speech Recognition,; Language Modeling; Theory of Possibilities; Web Language Model; Out-Of-Vocabulary Words; 006.454

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Oger, S. (2011). Modèles de langage ad hoc pour la reconnaissance automatique de la parole : Ad-hoc language models for automatic speech recognition. (Doctoral Dissertation). Avignon. Retrieved from http://www.theses.fr/2011AVIG0193

Chicago Manual of Style (16th Edition):

Oger, Stanislas. “Modèles de langage ad hoc pour la reconnaissance automatique de la parole : Ad-hoc language models for automatic speech recognition.” 2011. Doctoral Dissertation, Avignon. Accessed July 07, 2020. http://www.theses.fr/2011AVIG0193.

MLA Handbook (7th Edition):

Oger, Stanislas. “Modèles de langage ad hoc pour la reconnaissance automatique de la parole : Ad-hoc language models for automatic speech recognition.” 2011. Web. 07 Jul 2020.

Vancouver:

Oger S. Modèles de langage ad hoc pour la reconnaissance automatique de la parole : Ad-hoc language models for automatic speech recognition. [Internet] [Doctoral dissertation]. Avignon; 2011. [cited 2020 Jul 07]. Available from: http://www.theses.fr/2011AVIG0193.

Council of Science Editors:

Oger S. Modèles de langage ad hoc pour la reconnaissance automatique de la parole : Ad-hoc language models for automatic speech recognition. [Doctoral Dissertation]. Avignon; 2011. Available from: http://www.theses.fr/2011AVIG0193

8. Urrutia, Florent. Information theory for multi-party peer-to-peer communication protocols : Théorie de l’information pour protocoles de communication peer-to-peer.

Degree: Docteur es, Informatique, 2018, Sorbonne Paris Cité

Cette thèse a pour sujet les protocoles de communication peer-to-peer asynchrones. Nous introduisons deux mesures basées sur la théorie de l'information,la Public Information Complexity (PIC)… (more)

Subjects/Keywords: Public Information Complexity (PIC); Multi-party Information Complexity (MIC); Communication protocol; Multi-party communication; Peer-to peer model; Public Information Complexity (PIC); Multi-party Information Complexity (MIC); Communication complexity; Information theory; Randomness complexity; Privacy

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Urrutia, F. (2018). Information theory for multi-party peer-to-peer communication protocols : Théorie de l’information pour protocoles de communication peer-to-peer. (Doctoral Dissertation). Sorbonne Paris Cité. Retrieved from http://www.theses.fr/2018USPCC015

Chicago Manual of Style (16th Edition):

Urrutia, Florent. “Information theory for multi-party peer-to-peer communication protocols : Théorie de l’information pour protocoles de communication peer-to-peer.” 2018. Doctoral Dissertation, Sorbonne Paris Cité. Accessed July 07, 2020. http://www.theses.fr/2018USPCC015.

MLA Handbook (7th Edition):

Urrutia, Florent. “Information theory for multi-party peer-to-peer communication protocols : Théorie de l’information pour protocoles de communication peer-to-peer.” 2018. Web. 07 Jul 2020.

Vancouver:

Urrutia F. Information theory for multi-party peer-to-peer communication protocols : Théorie de l’information pour protocoles de communication peer-to-peer. [Internet] [Doctoral dissertation]. Sorbonne Paris Cité; 2018. [cited 2020 Jul 07]. Available from: http://www.theses.fr/2018USPCC015.

Council of Science Editors:

Urrutia F. Information theory for multi-party peer-to-peer communication protocols : Théorie de l’information pour protocoles de communication peer-to-peer. [Doctoral Dissertation]. Sorbonne Paris Cité; 2018. Available from: http://www.theses.fr/2018USPCC015

9. Cattaneo, David. Modélisation graphique et simulation en traitement d'information quantique : Graph modeling and simulation in quantum information processing.

Degree: Docteur es, Informatique, 2017, Université Grenoble Alpes (ComUE)

Le formalisme des états graphes consiste à modéliser des états quantiques par des graphes. Ce formalisme permet l'utilisation des notions et des outils de théorie… (more)

Subjects/Keywords: Informatique quantique; Simulation quantique; Théorie des graphes; Domination dans les graphes; Complexité Paramétrique; Modèle de calcul Quantique; Quantum Information Processing; Quantum Simulation; Graph Theory; Graph Domination; Parameterized Complexity; Quantum Calculus Model; 004

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Cattaneo, D. (2017). Modélisation graphique et simulation en traitement d'information quantique : Graph modeling and simulation in quantum information processing. (Doctoral Dissertation). Université Grenoble Alpes (ComUE). Retrieved from http://www.theses.fr/2017GREAM076

Chicago Manual of Style (16th Edition):

Cattaneo, David. “Modélisation graphique et simulation en traitement d'information quantique : Graph modeling and simulation in quantum information processing.” 2017. Doctoral Dissertation, Université Grenoble Alpes (ComUE). Accessed July 07, 2020. http://www.theses.fr/2017GREAM076.

MLA Handbook (7th Edition):

Cattaneo, David. “Modélisation graphique et simulation en traitement d'information quantique : Graph modeling and simulation in quantum information processing.” 2017. Web. 07 Jul 2020.

Vancouver:

Cattaneo D. Modélisation graphique et simulation en traitement d'information quantique : Graph modeling and simulation in quantum information processing. [Internet] [Doctoral dissertation]. Université Grenoble Alpes (ComUE); 2017. [cited 2020 Jul 07]. Available from: http://www.theses.fr/2017GREAM076.

Council of Science Editors:

Cattaneo D. Modélisation graphique et simulation en traitement d'information quantique : Graph modeling and simulation in quantum information processing. [Doctoral Dissertation]. Université Grenoble Alpes (ComUE); 2017. Available from: http://www.theses.fr/2017GREAM076

10. Lohier, Théophile. Analyse temporelle de la dynamique de communautés végétales à l'aide de modèles individus-centrés : Temporal analysis of plant community dynamics using individual-based models.

Degree: Docteur es, Informatique, 2016, Université Blaise-Pascale, Clermont-Ferrand II

Les communautés végétales constituent des systèmes complexes au sein desquels de nombreuses espèces, pouvant présenter une large variété de traits fonctionnels, interagissent entre elles et… (more)

Subjects/Keywords: Modèle individu-centré; Modèle stochastique; Analyse de séries temporelles; Sélection de modèle; Inférence statistique; Écophysiologie; Dynamique des communautés végétales; Prairie; Traits fonctionnels; Théorie de l'allocation optimale; Individual based modelling; Stochastic modelling; Time series analysis; Model selection; Statistical inference; Ecophysiology; Plant community dynamics; Grassland; Functional traits; Optimal allocation theory

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Lohier, T. (2016). Analyse temporelle de la dynamique de communautés végétales à l'aide de modèles individus-centrés : Temporal analysis of plant community dynamics using individual-based models. (Doctoral Dissertation). Université Blaise-Pascale, Clermont-Ferrand II. Retrieved from http://www.theses.fr/2016CLF22683

Chicago Manual of Style (16th Edition):

Lohier, Théophile. “Analyse temporelle de la dynamique de communautés végétales à l'aide de modèles individus-centrés : Temporal analysis of plant community dynamics using individual-based models.” 2016. Doctoral Dissertation, Université Blaise-Pascale, Clermont-Ferrand II. Accessed July 07, 2020. http://www.theses.fr/2016CLF22683.

MLA Handbook (7th Edition):

Lohier, Théophile. “Analyse temporelle de la dynamique de communautés végétales à l'aide de modèles individus-centrés : Temporal analysis of plant community dynamics using individual-based models.” 2016. Web. 07 Jul 2020.

Vancouver:

Lohier T. Analyse temporelle de la dynamique de communautés végétales à l'aide de modèles individus-centrés : Temporal analysis of plant community dynamics using individual-based models. [Internet] [Doctoral dissertation]. Université Blaise-Pascale, Clermont-Ferrand II; 2016. [cited 2020 Jul 07]. Available from: http://www.theses.fr/2016CLF22683.

Council of Science Editors:

Lohier T. Analyse temporelle de la dynamique de communautés végétales à l'aide de modèles individus-centrés : Temporal analysis of plant community dynamics using individual-based models. [Doctoral Dissertation]. Université Blaise-Pascale, Clermont-Ferrand II; 2016. Available from: http://www.theses.fr/2016CLF22683


Université Paris-Sud – Paris XI

11. Noyrit, Florian. Conception dirigée par les modèles à l’aide de langages de modélisation hétérogènes : application aux profils UML : Model-driven engineering using heterogeneous modeling languages : application to UML profiles.

Degree: Docteur es, Informatique, 2012, Université Paris-Sud – Paris XI

Les divers intervenants qui décrivent, étudient et réalisent un système complexe ont besoin de points de vue adaptés à leurs préoccupations. Cependant, dans le contexte… (more)

Subjects/Keywords: Langage de modélisation; Langage spécialisé; UML; Profils UML; Cadre architectural; Points de vue; Traitement automatique du langage naturel; Ingénierie dirigée par les modèles; ISO42010; Théorie des catégories, (Cohérence, Alignement, Correspondances); Modeling language; Domain specific language; UML; UML profiles; Architectural framework; Viewpoint; Natural language processing; Model-Driven Engineering; ISO42010; Category theory , (Consistency, Alignment, Correspondences)

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Noyrit, F. (2012). Conception dirigée par les modèles à l’aide de langages de modélisation hétérogènes : application aux profils UML : Model-driven engineering using heterogeneous modeling languages : application to UML profiles. (Doctoral Dissertation). Université Paris-Sud – Paris XI. Retrieved from http://www.theses.fr/2012PA112224

Chicago Manual of Style (16th Edition):

Noyrit, Florian. “Conception dirigée par les modèles à l’aide de langages de modélisation hétérogènes : application aux profils UML : Model-driven engineering using heterogeneous modeling languages : application to UML profiles.” 2012. Doctoral Dissertation, Université Paris-Sud – Paris XI. Accessed July 07, 2020. http://www.theses.fr/2012PA112224.

MLA Handbook (7th Edition):

Noyrit, Florian. “Conception dirigée par les modèles à l’aide de langages de modélisation hétérogènes : application aux profils UML : Model-driven engineering using heterogeneous modeling languages : application to UML profiles.” 2012. Web. 07 Jul 2020.

Vancouver:

Noyrit F. Conception dirigée par les modèles à l’aide de langages de modélisation hétérogènes : application aux profils UML : Model-driven engineering using heterogeneous modeling languages : application to UML profiles. [Internet] [Doctoral dissertation]. Université Paris-Sud – Paris XI; 2012. [cited 2020 Jul 07]. Available from: http://www.theses.fr/2012PA112224.

Council of Science Editors:

Noyrit F. Conception dirigée par les modèles à l’aide de langages de modélisation hétérogènes : application aux profils UML : Model-driven engineering using heterogeneous modeling languages : application to UML profiles. [Doctoral Dissertation]. Université Paris-Sud – Paris XI; 2012. Available from: http://www.theses.fr/2012PA112224

.