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

You searched for subject:(Raffinement). Showing records 1 – 30 of 68 total matches.

[1] [2] [3]

Search Limiters

Last 2 Years | English Only

Languages

▼ Search Limiters

1. Fejoz, Loïc. Développement prouvé de structures de données sans verrou : Provably correct lock­free data structure.

Degree: Docteur es, Informatique, 2009, Université Henri Poincaré – Nancy I

Le sujet central de cette thèse est le développement d'une méthode dédiée à la preuve de structures de données sans verrou. La motivation première vient… (more)

Subjects/Keywords: algorithme sans verrou; preuves; raffinement

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Fejoz, L. (2009). Développement prouvé de structures de données sans verrou : Provably correct lock­free data structure. (Doctoral Dissertation). Université Henri Poincaré – Nancy I. Retrieved from http://www.theses.fr/2009NAN10022

Chicago Manual of Style (16th Edition):

Fejoz, Loïc. “Développement prouvé de structures de données sans verrou : Provably correct lock­free data structure.” 2009. Doctoral Dissertation, Université Henri Poincaré – Nancy I. Accessed February 29, 2020. http://www.theses.fr/2009NAN10022.

MLA Handbook (7th Edition):

Fejoz, Loïc. “Développement prouvé de structures de données sans verrou : Provably correct lock­free data structure.” 2009. Web. 29 Feb 2020.

Vancouver:

Fejoz L. Développement prouvé de structures de données sans verrou : Provably correct lock­free data structure. [Internet] [Doctoral dissertation]. Université Henri Poincaré – Nancy I; 2009. [cited 2020 Feb 29]. Available from: http://www.theses.fr/2009NAN10022.

Council of Science Editors:

Fejoz L. Développement prouvé de structures de données sans verrou : Provably correct lock­free data structure. [Doctoral Dissertation]. Université Henri Poincaré – Nancy I; 2009. Available from: http://www.theses.fr/2009NAN10022


Université de Bordeaux I

2. Chucri, Farès. Exploiting model structure in CEGAR verification method : Exploiter la structure des modèles pour la vérification par la méthode CEGAR.

Degree: Docteur es, Informatique, 2012, Université de Bordeaux I

Cette thèse a eu pour but l'étude et la mise en oeuvre des méthodes de vérification par abstraction pour les modèles AltaRica. A cette effet,… (more)

Subjects/Keywords: Verification; Raffinement; Abstraction; Model Checking; Cegar; Abstraction

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Chucri, F. (2012). Exploiting model structure in CEGAR verification method : Exploiter la structure des modèles pour la vérification par la méthode CEGAR. (Doctoral Dissertation). Université de Bordeaux I. Retrieved from http://www.theses.fr/2012BOR14641

Chicago Manual of Style (16th Edition):

Chucri, Farès. “Exploiting model structure in CEGAR verification method : Exploiter la structure des modèles pour la vérification par la méthode CEGAR.” 2012. Doctoral Dissertation, Université de Bordeaux I. Accessed February 29, 2020. http://www.theses.fr/2012BOR14641.

MLA Handbook (7th Edition):

Chucri, Farès. “Exploiting model structure in CEGAR verification method : Exploiter la structure des modèles pour la vérification par la méthode CEGAR.” 2012. Web. 29 Feb 2020.

Vancouver:

Chucri F. Exploiting model structure in CEGAR verification method : Exploiter la structure des modèles pour la vérification par la méthode CEGAR. [Internet] [Doctoral dissertation]. Université de Bordeaux I; 2012. [cited 2020 Feb 29]. Available from: http://www.theses.fr/2012BOR14641.

Council of Science Editors:

Chucri F. Exploiting model structure in CEGAR verification method : Exploiter la structure des modèles pour la vérification par la méthode CEGAR. [Doctoral Dissertation]. Université de Bordeaux I; 2012. Available from: http://www.theses.fr/2012BOR14641

3. Rehm, Joris. Gestion du temps par le raffinement : Refinement Patterns for Real-Time Systems.

Degree: Docteur es, Informatique, 2009, Université Henri Poincaré – Nancy I

Dans les domaines critiques d'application de l'informatique, il peut être vital de disposer d'un génie logiciel qui soit capable de garantir le bon fonctionnement des… (more)

Subjects/Keywords: Raffinement; Méthode B; Temps-réel; Méthodes formelles

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Rehm, J. (2009). Gestion du temps par le raffinement : Refinement Patterns for Real-Time Systems. (Doctoral Dissertation). Université Henri Poincaré – Nancy I. Retrieved from http://www.theses.fr/2009NAN10101

Chicago Manual of Style (16th Edition):

Rehm, Joris. “Gestion du temps par le raffinement : Refinement Patterns for Real-Time Systems.” 2009. Doctoral Dissertation, Université Henri Poincaré – Nancy I. Accessed February 29, 2020. http://www.theses.fr/2009NAN10101.

MLA Handbook (7th Edition):

Rehm, Joris. “Gestion du temps par le raffinement : Refinement Patterns for Real-Time Systems.” 2009. Web. 29 Feb 2020.

Vancouver:

Rehm J. Gestion du temps par le raffinement : Refinement Patterns for Real-Time Systems. [Internet] [Doctoral dissertation]. Université Henri Poincaré – Nancy I; 2009. [cited 2020 Feb 29]. Available from: http://www.theses.fr/2009NAN10101.

Council of Science Editors:

Rehm J. Gestion du temps par le raffinement : Refinement Patterns for Real-Time Systems. [Doctoral Dissertation]. Université Henri Poincaré – Nancy I; 2009. Available from: http://www.theses.fr/2009NAN10101

4. Delaume, Eric. Méthode de raffinement local adaptatif multi-niveaux pour la fissuration des matériaux hétérogènes : Local adaptative refinement and multilevel method for the fracture ofheterogeneous materials.

Degree: Docteur es, Mécanique et Génie Civil, 2017, Montpellier

Afin d'anticiper les effets du vieillissement des enceintes de confinement des centrales électronucléaires, l'IRSN effectue des recherches avancées sur le vieillissement du béton. Les problématiques… (more)

Subjects/Keywords: Charms; Fissuration; Modèles de Zones Cohésives; Eigen-Erosion; Raffinement local adaptatif; Critère de raffinement; Charms; Crack; Cohesive Zone Model; Local adaptive refinement; Refinement criterion

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Delaume, E. (2017). Méthode de raffinement local adaptatif multi-niveaux pour la fissuration des matériaux hétérogènes : Local adaptative refinement and multilevel method for the fracture ofheterogeneous materials. (Doctoral Dissertation). Montpellier. Retrieved from http://www.theses.fr/2017MONTS028

Chicago Manual of Style (16th Edition):

Delaume, Eric. “Méthode de raffinement local adaptatif multi-niveaux pour la fissuration des matériaux hétérogènes : Local adaptative refinement and multilevel method for the fracture ofheterogeneous materials.” 2017. Doctoral Dissertation, Montpellier. Accessed February 29, 2020. http://www.theses.fr/2017MONTS028.

MLA Handbook (7th Edition):

Delaume, Eric. “Méthode de raffinement local adaptatif multi-niveaux pour la fissuration des matériaux hétérogènes : Local adaptative refinement and multilevel method for the fracture ofheterogeneous materials.” 2017. Web. 29 Feb 2020.

Vancouver:

Delaume E. Méthode de raffinement local adaptatif multi-niveaux pour la fissuration des matériaux hétérogènes : Local adaptative refinement and multilevel method for the fracture ofheterogeneous materials. [Internet] [Doctoral dissertation]. Montpellier; 2017. [cited 2020 Feb 29]. Available from: http://www.theses.fr/2017MONTS028.

Council of Science Editors:

Delaume E. Méthode de raffinement local adaptatif multi-niveaux pour la fissuration des matériaux hétérogènes : Local adaptative refinement and multilevel method for the fracture ofheterogeneous materials. [Doctoral Dissertation]. Montpellier; 2017. Available from: http://www.theses.fr/2017MONTS028

5. Mohand Oussaïd, Linda. Conception et vérification formelles des interfaces homme-machine multimodales : applications à la multimodalité en sortie : Formal modelling and verification of multimodal human computer interfaces : output multimodality.

Degree: Docteur es, Informatique et applications, 2014, Chasseneuil-du-Poitou, Ecole nationale supérieure de mécanique et d'aérotechnique

Les interfaces homme-machine (IHM) multimodales offrent à l’utilisateur la possibilité de combiner les modalités d’interaction afin d’augmenter la robustesse et l’utilisabilité de l’interface utilisateur d’un… (more)

Subjects/Keywords: Multimodalité en sortie; Raffinement; Preuve de théorème; Output multimodality; Refinement; Theorem proving

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Mohand Oussaïd, L. (2014). Conception et vérification formelles des interfaces homme-machine multimodales : applications à la multimodalité en sortie : Formal modelling and verification of multimodal human computer interfaces : output multimodality. (Doctoral Dissertation). Chasseneuil-du-Poitou, Ecole nationale supérieure de mécanique et d'aérotechnique. Retrieved from http://www.theses.fr/2014ESMA0022

Chicago Manual of Style (16th Edition):

Mohand Oussaïd, Linda. “Conception et vérification formelles des interfaces homme-machine multimodales : applications à la multimodalité en sortie : Formal modelling and verification of multimodal human computer interfaces : output multimodality.” 2014. Doctoral Dissertation, Chasseneuil-du-Poitou, Ecole nationale supérieure de mécanique et d'aérotechnique. Accessed February 29, 2020. http://www.theses.fr/2014ESMA0022.

MLA Handbook (7th Edition):

Mohand Oussaïd, Linda. “Conception et vérification formelles des interfaces homme-machine multimodales : applications à la multimodalité en sortie : Formal modelling and verification of multimodal human computer interfaces : output multimodality.” 2014. Web. 29 Feb 2020.

Vancouver:

Mohand Oussaïd L. Conception et vérification formelles des interfaces homme-machine multimodales : applications à la multimodalité en sortie : Formal modelling and verification of multimodal human computer interfaces : output multimodality. [Internet] [Doctoral dissertation]. Chasseneuil-du-Poitou, Ecole nationale supérieure de mécanique et d'aérotechnique; 2014. [cited 2020 Feb 29]. Available from: http://www.theses.fr/2014ESMA0022.

Council of Science Editors:

Mohand Oussaïd L. Conception et vérification formelles des interfaces homme-machine multimodales : applications à la multimodalité en sortie : Formal modelling and verification of multimodal human computer interfaces : output multimodality. [Doctoral Dissertation]. Chasseneuil-du-Poitou, Ecole nationale supérieure de mécanique et d'aérotechnique; 2014. Available from: http://www.theses.fr/2014ESMA0022


Université de Grenoble

6. Sampaio Elesbao Mazza, Eduardo. Méthode pour la spécification de responsabilité pour les logiciels : Modelisation, Tracabilité et Analyse de dysfonctionnements : Method for software liability specifications : Modelisation, Traceability and Incident Analysis.

Degree: Docteur es, Informatique, 2012, Université de Grenoble

Malgré les progrès importants effectués en matière de conception de logiciels et l'existence de méthodes de développement éprouvées, il faut reconnaître que les défaillances de… (more)

Subjects/Keywords: Spécification formelle; Raffinement; Responsabilité; Modèle de fautes; Formal specification; Refinement; Liability; Fault model

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Sampaio Elesbao Mazza, E. (2012). Méthode pour la spécification de responsabilité pour les logiciels : Modelisation, Tracabilité et Analyse de dysfonctionnements : Method for software liability specifications : Modelisation, Traceability and Incident Analysis. (Doctoral Dissertation). Université de Grenoble. Retrieved from http://www.theses.fr/2012GRENM022

Chicago Manual of Style (16th Edition):

Sampaio Elesbao Mazza, Eduardo. “Méthode pour la spécification de responsabilité pour les logiciels : Modelisation, Tracabilité et Analyse de dysfonctionnements : Method for software liability specifications : Modelisation, Traceability and Incident Analysis.” 2012. Doctoral Dissertation, Université de Grenoble. Accessed February 29, 2020. http://www.theses.fr/2012GRENM022.

MLA Handbook (7th Edition):

Sampaio Elesbao Mazza, Eduardo. “Méthode pour la spécification de responsabilité pour les logiciels : Modelisation, Tracabilité et Analyse de dysfonctionnements : Method for software liability specifications : Modelisation, Traceability and Incident Analysis.” 2012. Web. 29 Feb 2020.

Vancouver:

Sampaio Elesbao Mazza E. Méthode pour la spécification de responsabilité pour les logiciels : Modelisation, Tracabilité et Analyse de dysfonctionnements : Method for software liability specifications : Modelisation, Traceability and Incident Analysis. [Internet] [Doctoral dissertation]. Université de Grenoble; 2012. [cited 2020 Feb 29]. Available from: http://www.theses.fr/2012GRENM022.

Council of Science Editors:

Sampaio Elesbao Mazza E. Méthode pour la spécification de responsabilité pour les logiciels : Modelisation, Tracabilité et Analyse de dysfonctionnements : Method for software liability specifications : Modelisation, Traceability and Incident Analysis. [Doctoral Dissertation]. Université de Grenoble; 2012. Available from: http://www.theses.fr/2012GRENM022


Université de Grenoble

7. Belhadj Amor, Zeineb. Validation de systèmes sur puce complexes du niveau transactionnel au niveau transfert de registres : Validation of complex systems on a chip, from TLM level to RTL.

Degree: Docteur es, Micro et nanoélectronique, 2014, Université de Grenoble

Cette thèse se situe dans le contexte de la vérification fonctionnelle des circuits intégrés complexes. L’objectif de ce travail est de créer un flot de… (more)

Subjects/Keywords: ABV; Vérification; Raffinement; SystemC; TLM; RTL; PSL; ABV; Vérification; Refinement; SystemC; TLM; RTL; PSL; 620

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Belhadj Amor, Z. (2014). Validation de systèmes sur puce complexes du niveau transactionnel au niveau transfert de registres : Validation of complex systems on a chip, from TLM level to RTL. (Doctoral Dissertation). Université de Grenoble. Retrieved from http://www.theses.fr/2014GRENT083

Chicago Manual of Style (16th Edition):

Belhadj Amor, Zeineb. “Validation de systèmes sur puce complexes du niveau transactionnel au niveau transfert de registres : Validation of complex systems on a chip, from TLM level to RTL.” 2014. Doctoral Dissertation, Université de Grenoble. Accessed February 29, 2020. http://www.theses.fr/2014GRENT083.

MLA Handbook (7th Edition):

Belhadj Amor, Zeineb. “Validation de systèmes sur puce complexes du niveau transactionnel au niveau transfert de registres : Validation of complex systems on a chip, from TLM level to RTL.” 2014. Web. 29 Feb 2020.

Vancouver:

Belhadj Amor Z. Validation de systèmes sur puce complexes du niveau transactionnel au niveau transfert de registres : Validation of complex systems on a chip, from TLM level to RTL. [Internet] [Doctoral dissertation]. Université de Grenoble; 2014. [cited 2020 Feb 29]. Available from: http://www.theses.fr/2014GRENT083.

Council of Science Editors:

Belhadj Amor Z. Validation de systèmes sur puce complexes du niveau transactionnel au niveau transfert de registres : Validation of complex systems on a chip, from TLM level to RTL. [Doctoral Dissertation]. Université de Grenoble; 2014. Available from: http://www.theses.fr/2014GRENT083

8. Liu, Zhe. Robust, refined and selective matching for accurate camera pose estimation : Sélection et raffinement de mises en correspondance robustes pour l'estimation de pose précise de caméras.

Degree: Docteur es, Informatique, 2015, Université Paris-Est

Grâce aux progrès récents en photogrammétrie, il est désormais possible de reconstruire automatiquement un modèle d'une scène 3D à partir de photographies ou d'une vidéo.… (more)

Subjects/Keywords: Correspondance; Sélection; Précision; Raffinement; Reconstruction; Caméra; Matching; Selection; Accuracy; Refinement; Reconstruction; Camera

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Liu, Z. (2015). Robust, refined and selective matching for accurate camera pose estimation : Sélection et raffinement de mises en correspondance robustes pour l'estimation de pose précise de caméras. (Doctoral Dissertation). Université Paris-Est. Retrieved from http://www.theses.fr/2015PESC1020

Chicago Manual of Style (16th Edition):

Liu, Zhe. “Robust, refined and selective matching for accurate camera pose estimation : Sélection et raffinement de mises en correspondance robustes pour l'estimation de pose précise de caméras.” 2015. Doctoral Dissertation, Université Paris-Est. Accessed February 29, 2020. http://www.theses.fr/2015PESC1020.

MLA Handbook (7th Edition):

Liu, Zhe. “Robust, refined and selective matching for accurate camera pose estimation : Sélection et raffinement de mises en correspondance robustes pour l'estimation de pose précise de caméras.” 2015. Web. 29 Feb 2020.

Vancouver:

Liu Z. Robust, refined and selective matching for accurate camera pose estimation : Sélection et raffinement de mises en correspondance robustes pour l'estimation de pose précise de caméras. [Internet] [Doctoral dissertation]. Université Paris-Est; 2015. [cited 2020 Feb 29]. Available from: http://www.theses.fr/2015PESC1020.

Council of Science Editors:

Liu Z. Robust, refined and selective matching for accurate camera pose estimation : Sélection et raffinement de mises en correspondance robustes pour l'estimation de pose précise de caméras. [Doctoral Dissertation]. Université Paris-Est; 2015. Available from: http://www.theses.fr/2015PESC1020

9. Fang, Bin. Techniques for formal modelling and verification on dynamic memory allocators : Techniques de modélisation et de vérification formelles des allocateurs de mémoire dynamiques.

Degree: Docteur es, Informatique. Modélisation et vérification, 2018, Sorbonne Paris Cité; Université normale de la Chine de l'Est (Shanghai)

Cette thèse est une contribution à la spécification et à la vérification formelles des allocateurs de mémoire dynamiques séquentiels (SDMA, en abrégé), qui sont des… (more)

Subjects/Keywords: Raffinement modulaire; Interprétation abstraite; Allocateur de mémoire dynamique; Modular refinement; Abstract interpretation; Dynamic memory allocator

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Fang, B. (2018). Techniques for formal modelling and verification on dynamic memory allocators : Techniques de modélisation et de vérification formelles des allocateurs de mémoire dynamiques. (Doctoral Dissertation). Sorbonne Paris Cité; Université normale de la Chine de l'Est (Shanghai). Retrieved from http://www.theses.fr/2018USPCC093

Chicago Manual of Style (16th Edition):

Fang, Bin. “Techniques for formal modelling and verification on dynamic memory allocators : Techniques de modélisation et de vérification formelles des allocateurs de mémoire dynamiques.” 2018. Doctoral Dissertation, Sorbonne Paris Cité; Université normale de la Chine de l'Est (Shanghai). Accessed February 29, 2020. http://www.theses.fr/2018USPCC093.

MLA Handbook (7th Edition):

Fang, Bin. “Techniques for formal modelling and verification on dynamic memory allocators : Techniques de modélisation et de vérification formelles des allocateurs de mémoire dynamiques.” 2018. Web. 29 Feb 2020.

Vancouver:

Fang B. Techniques for formal modelling and verification on dynamic memory allocators : Techniques de modélisation et de vérification formelles des allocateurs de mémoire dynamiques. [Internet] [Doctoral dissertation]. Sorbonne Paris Cité; Université normale de la Chine de l'Est (Shanghai); 2018. [cited 2020 Feb 29]. Available from: http://www.theses.fr/2018USPCC093.

Council of Science Editors:

Fang B. Techniques for formal modelling and verification on dynamic memory allocators : Techniques de modélisation et de vérification formelles des allocateurs de mémoire dynamiques. [Doctoral Dissertation]. Sorbonne Paris Cité; Université normale de la Chine de l'Est (Shanghai); 2018. Available from: http://www.theses.fr/2018USPCC093


Université Paris-Sud – Paris XI

10. Garnier, Ilias. Formalisme pour la conception haut-niveau et détaillée de systèmes de contrôle-commande critiques : Formalism for the high-level design of hard real-time embedded systems.

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

L’importance des systèmes temps-réels embarqués dans les sociétés industrialisées modernes en font un terrain d’application privilégié pour les méthodes formelles. La prépondérance des contraintes temporelles… (more)

Subjects/Keywords: Systèmes embarqués; Délai de bout-en-bout; Raffinement; Abstraction; Systèmes synchrones; Embedded systems; End-to-end delay; Refinement; Abstraction; Synchronous systems

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Garnier, I. (2012). Formalisme pour la conception haut-niveau et détaillée de systèmes de contrôle-commande critiques : Formalism for the high-level design of hard real-time embedded systems. (Doctoral Dissertation). Université Paris-Sud – Paris XI. Retrieved from http://www.theses.fr/2012PA112018

Chicago Manual of Style (16th Edition):

Garnier, Ilias. “Formalisme pour la conception haut-niveau et détaillée de systèmes de contrôle-commande critiques : Formalism for the high-level design of hard real-time embedded systems.” 2012. Doctoral Dissertation, Université Paris-Sud – Paris XI. Accessed February 29, 2020. http://www.theses.fr/2012PA112018.

MLA Handbook (7th Edition):

Garnier, Ilias. “Formalisme pour la conception haut-niveau et détaillée de systèmes de contrôle-commande critiques : Formalism for the high-level design of hard real-time embedded systems.” 2012. Web. 29 Feb 2020.

Vancouver:

Garnier I. Formalisme pour la conception haut-niveau et détaillée de systèmes de contrôle-commande critiques : Formalism for the high-level design of hard real-time embedded systems. [Internet] [Doctoral dissertation]. Université Paris-Sud – Paris XI; 2012. [cited 2020 Feb 29]. Available from: http://www.theses.fr/2012PA112018.

Council of Science Editors:

Garnier I. Formalisme pour la conception haut-niveau et détaillée de systèmes de contrôle-commande critiques : Formalism for the high-level design of hard real-time embedded systems. [Doctoral Dissertation]. Université Paris-Sud – Paris XI; 2012. Available from: http://www.theses.fr/2012PA112018

11. Durrenberger, Daniel. NSIBM : un solveur parallèle de Navier-Stokes avec raffinement automatique basé sur la méthode des frontières immergées : NSIBM : a parallel Navier-Stokes solver with automatic mesh refinement based on immersed boundary method.

Degree: Docteur es, Mécanique des fluides, 2015, Université de Strasbourg

Cette thèse, intitulée NSIBM : un solveur parallèle de Navier-Stokes avec raffinement automatique basé sur la méthode des frontières immergées, a été effectuée au sein… (more)

Subjects/Keywords: CFD; Navier-Stokes; OpenMPI; Raffinement de maillage; IBM; CFD; Navier-Stokes; OpenMPI; Mesh refinement; IBM; 532.5; 620

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Durrenberger, D. (2015). NSIBM : un solveur parallèle de Navier-Stokes avec raffinement automatique basé sur la méthode des frontières immergées : NSIBM : a parallel Navier-Stokes solver with automatic mesh refinement based on immersed boundary method. (Doctoral Dissertation). Université de Strasbourg. Retrieved from http://www.theses.fr/2015STRAD049

Chicago Manual of Style (16th Edition):

Durrenberger, Daniel. “NSIBM : un solveur parallèle de Navier-Stokes avec raffinement automatique basé sur la méthode des frontières immergées : NSIBM : a parallel Navier-Stokes solver with automatic mesh refinement based on immersed boundary method.” 2015. Doctoral Dissertation, Université de Strasbourg. Accessed February 29, 2020. http://www.theses.fr/2015STRAD049.

MLA Handbook (7th Edition):

Durrenberger, Daniel. “NSIBM : un solveur parallèle de Navier-Stokes avec raffinement automatique basé sur la méthode des frontières immergées : NSIBM : a parallel Navier-Stokes solver with automatic mesh refinement based on immersed boundary method.” 2015. Web. 29 Feb 2020.

Vancouver:

Durrenberger D. NSIBM : un solveur parallèle de Navier-Stokes avec raffinement automatique basé sur la méthode des frontières immergées : NSIBM : a parallel Navier-Stokes solver with automatic mesh refinement based on immersed boundary method. [Internet] [Doctoral dissertation]. Université de Strasbourg; 2015. [cited 2020 Feb 29]. Available from: http://www.theses.fr/2015STRAD049.

Council of Science Editors:

Durrenberger D. NSIBM : un solveur parallèle de Navier-Stokes avec raffinement automatique basé sur la méthode des frontières immergées : NSIBM : a parallel Navier-Stokes solver with automatic mesh refinement based on immersed boundary method. [Doctoral Dissertation]. Université de Strasbourg; 2015. Available from: http://www.theses.fr/2015STRAD049


Université de Sherbrooke

12. Quesnel, François. Synthèse de titanates de lithium nanostructurés par plasma inductif pour les batteries lithium-ion .

Degree: 2016, Université de Sherbrooke

 Le marché des accumulateurs lithium-ion est en expansion. Cette croissance repose partiellement sur la multiplication des niches d’utilisation et l’amélioration constante de leurs performances. En… (more)

Subjects/Keywords: Plasma thermique à induction; Synthèse de titanates de lithium; Cinétiques de recuit; Raffinement de Rietveld; Batterie lithium-ion

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Quesnel, F. (2016). Synthèse de titanates de lithium nanostructurés par plasma inductif pour les batteries lithium-ion . (Masters Thesis). Université de Sherbrooke. Retrieved from http://hdl.handle.net/11143/8997

Chicago Manual of Style (16th Edition):

Quesnel, François. “Synthèse de titanates de lithium nanostructurés par plasma inductif pour les batteries lithium-ion .” 2016. Masters Thesis, Université de Sherbrooke. Accessed February 29, 2020. http://hdl.handle.net/11143/8997.

MLA Handbook (7th Edition):

Quesnel, François. “Synthèse de titanates de lithium nanostructurés par plasma inductif pour les batteries lithium-ion .” 2016. Web. 29 Feb 2020.

Vancouver:

Quesnel F. Synthèse de titanates de lithium nanostructurés par plasma inductif pour les batteries lithium-ion . [Internet] [Masters thesis]. Université de Sherbrooke; 2016. [cited 2020 Feb 29]. Available from: http://hdl.handle.net/11143/8997.

Council of Science Editors:

Quesnel F. Synthèse de titanates de lithium nanostructurés par plasma inductif pour les batteries lithium-ion . [Masters Thesis]. Université de Sherbrooke; 2016. Available from: http://hdl.handle.net/11143/8997

13. Dutailly, Bruno. Plongement de surfaces continues dans des surfaces discrètes épaisses. : Embedding continuous surfaces into discrete thick surfaces.

Degree: Docteur es, Informatique, 2016, Bordeaux

Dans le contexte des sciences archéologiques, des images tridimensionnelles issues de scanners tomodensitométriques sont segmentées en régions d’intérêt afin d’en faire une analyse. Ces objets… (more)

Subjects/Keywords: Raffinement de segmentation; Précision de mesures; HMH; Extraction contrainte de surface; Segmentation refinement; Accurate measurement; HMH; Constrained surface extraction

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Dutailly, B. (2016). Plongement de surfaces continues dans des surfaces discrètes épaisses. : Embedding continuous surfaces into discrete thick surfaces. (Doctoral Dissertation). Bordeaux. Retrieved from http://www.theses.fr/2016BORD0444

Chicago Manual of Style (16th Edition):

Dutailly, Bruno. “Plongement de surfaces continues dans des surfaces discrètes épaisses. : Embedding continuous surfaces into discrete thick surfaces.” 2016. Doctoral Dissertation, Bordeaux. Accessed February 29, 2020. http://www.theses.fr/2016BORD0444.

MLA Handbook (7th Edition):

Dutailly, Bruno. “Plongement de surfaces continues dans des surfaces discrètes épaisses. : Embedding continuous surfaces into discrete thick surfaces.” 2016. Web. 29 Feb 2020.

Vancouver:

Dutailly B. Plongement de surfaces continues dans des surfaces discrètes épaisses. : Embedding continuous surfaces into discrete thick surfaces. [Internet] [Doctoral dissertation]. Bordeaux; 2016. [cited 2020 Feb 29]. Available from: http://www.theses.fr/2016BORD0444.

Council of Science Editors:

Dutailly B. Plongement de surfaces continues dans des surfaces discrètes épaisses. : Embedding continuous surfaces into discrete thick surfaces. [Doctoral Dissertation]. Bordeaux; 2016. Available from: http://www.theses.fr/2016BORD0444

14. Ozhan, Cansu. Multi-scale simulation of automotive catalytic converters : Simulation multi-échelle de l'écoulement dans les systèmes de post-traitement des gaz d'échappement automobile.

Degree: Docteur es, Génie des Procédés - Mécanique des Fluides, 2014, Université Pierre et Marie Curie – Paris VI

 L'utilisation croissante de véhicules au cours des dernières décennies a causé une augmentation dans les émissions de gaz d'échappement nocifs provoquant des problèmes de santé… (more)

Subjects/Keywords: Mécanique des fluides; Transfert de masse; Simulation numérique; Raffinement de maillage adaptatif; Procédés catalytiques; Dépollution; Adaptative mesh refinement; Numerical simulation; 532

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Ozhan, C. (2014). Multi-scale simulation of automotive catalytic converters : Simulation multi-échelle de l'écoulement dans les systèmes de post-traitement des gaz d'échappement automobile. (Doctoral Dissertation). Université Pierre et Marie Curie – Paris VI. Retrieved from http://www.theses.fr/2014PA066484

Chicago Manual of Style (16th Edition):

Ozhan, Cansu. “Multi-scale simulation of automotive catalytic converters : Simulation multi-échelle de l'écoulement dans les systèmes de post-traitement des gaz d'échappement automobile.” 2014. Doctoral Dissertation, Université Pierre et Marie Curie – Paris VI. Accessed February 29, 2020. http://www.theses.fr/2014PA066484.

MLA Handbook (7th Edition):

Ozhan, Cansu. “Multi-scale simulation of automotive catalytic converters : Simulation multi-échelle de l'écoulement dans les systèmes de post-traitement des gaz d'échappement automobile.” 2014. Web. 29 Feb 2020.

Vancouver:

Ozhan C. Multi-scale simulation of automotive catalytic converters : Simulation multi-échelle de l'écoulement dans les systèmes de post-traitement des gaz d'échappement automobile. [Internet] [Doctoral dissertation]. Université Pierre et Marie Curie – Paris VI; 2014. [cited 2020 Feb 29]. Available from: http://www.theses.fr/2014PA066484.

Council of Science Editors:

Ozhan C. Multi-scale simulation of automotive catalytic converters : Simulation multi-échelle de l'écoulement dans les systèmes de post-traitement des gaz d'échappement automobile. [Doctoral Dissertation]. Université Pierre et Marie Curie – Paris VI; 2014. Available from: http://www.theses.fr/2014PA066484

15. Chaudemar, Jean-Charles. Étude des architectures de sécurité de systèmes autonomes : formalisation et évaluation en Event B : Model based safety of FDIR architectures for autonomous systems : formal specification and assessment with Event-B.

Degree: Docteur es, Systèmes embarqués, 2012, Toulouse, ISAE

La recherche de la sûreté de fonctionnement des systèmes complexes impose une démarche de conception rigoureuse. Les travaux de cette thèse s’inscrivent dans le cadre… (more)

Subjects/Keywords: Méthode formelle; Event-B; Raffinement; Architectures tolérantes aux fautes; Sécurité; Formal method; Event-B; Refinement; Fault tolerant architectures; Safety; Dependability; 000

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Chaudemar, J. (2012). Étude des architectures de sécurité de systèmes autonomes : formalisation et évaluation en Event B : Model based safety of FDIR architectures for autonomous systems : formal specification and assessment with Event-B. (Doctoral Dissertation). Toulouse, ISAE. Retrieved from http://www.theses.fr/2012ESAE0003

Chicago Manual of Style (16th Edition):

Chaudemar, Jean-Charles. “Étude des architectures de sécurité de systèmes autonomes : formalisation et évaluation en Event B : Model based safety of FDIR architectures for autonomous systems : formal specification and assessment with Event-B.” 2012. Doctoral Dissertation, Toulouse, ISAE. Accessed February 29, 2020. http://www.theses.fr/2012ESAE0003.

MLA Handbook (7th Edition):

Chaudemar, Jean-Charles. “Étude des architectures de sécurité de systèmes autonomes : formalisation et évaluation en Event B : Model based safety of FDIR architectures for autonomous systems : formal specification and assessment with Event-B.” 2012. Web. 29 Feb 2020.

Vancouver:

Chaudemar J. Étude des architectures de sécurité de systèmes autonomes : formalisation et évaluation en Event B : Model based safety of FDIR architectures for autonomous systems : formal specification and assessment with Event-B. [Internet] [Doctoral dissertation]. Toulouse, ISAE; 2012. [cited 2020 Feb 29]. Available from: http://www.theses.fr/2012ESAE0003.

Council of Science Editors:

Chaudemar J. Étude des architectures de sécurité de systèmes autonomes : formalisation et évaluation en Event B : Model based safety of FDIR architectures for autonomous systems : formal specification and assessment with Event-B. [Doctoral Dissertation]. Toulouse, ISAE; 2012. Available from: http://www.theses.fr/2012ESAE0003


Université Paris-Sud – Paris XI

16. Hamdi, Fayçal. Améliorer l'interopérabilité sémantique : applicabilité et utilité de l'alignement d'ontologies : Enhancing the semantic interoperability : applicability and utility of the ontology alignment.

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

Dans cette thèse, nous présentons des approches d’adaptation d’un processus d’alignement aux caractéristiques des ontologies alignées, qu'il s'agisse de caractéristiques quantitatives telles que leur volume… (more)

Subjects/Keywords: Web sémantique; Alignement d’ontologies; Raffinement de mappings; Partitionnement d’ontologies; Enrichissement d’ontologies; Semantic Web; Ontology alignment; Mapping refinement; Ontology partitioning; Ontology enrichment

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Hamdi, F. (2011). Améliorer l'interopérabilité sémantique : applicabilité et utilité de l'alignement d'ontologies : Enhancing the semantic interoperability : applicability and utility of the ontology alignment. (Doctoral Dissertation). Université Paris-Sud – Paris XI. Retrieved from http://www.theses.fr/2011PA112285

Chicago Manual of Style (16th Edition):

Hamdi, Fayçal. “Améliorer l'interopérabilité sémantique : applicabilité et utilité de l'alignement d'ontologies : Enhancing the semantic interoperability : applicability and utility of the ontology alignment.” 2011. Doctoral Dissertation, Université Paris-Sud – Paris XI. Accessed February 29, 2020. http://www.theses.fr/2011PA112285.

MLA Handbook (7th Edition):

Hamdi, Fayçal. “Améliorer l'interopérabilité sémantique : applicabilité et utilité de l'alignement d'ontologies : Enhancing the semantic interoperability : applicability and utility of the ontology alignment.” 2011. Web. 29 Feb 2020.

Vancouver:

Hamdi F. Améliorer l'interopérabilité sémantique : applicabilité et utilité de l'alignement d'ontologies : Enhancing the semantic interoperability : applicability and utility of the ontology alignment. [Internet] [Doctoral dissertation]. Université Paris-Sud – Paris XI; 2011. [cited 2020 Feb 29]. Available from: http://www.theses.fr/2011PA112285.

Council of Science Editors:

Hamdi F. Améliorer l'interopérabilité sémantique : applicabilité et utilité de l'alignement d'ontologies : Enhancing the semantic interoperability : applicability and utility of the ontology alignment. [Doctoral Dissertation]. Université Paris-Sud – Paris XI; 2011. Available from: http://www.theses.fr/2011PA112285

17. Chareton, Christophe. Modélisation formelle d’exigences et logiques temporelles multi-agents : Formal modelling of requirements and multi-agent temporal logics.

Degree: Docteur es, Sureté de logiciel et calcul de haute performance, 2014, Toulouse, ISAE

Ces travaux concernent la modélisation formelle d’exigences et les interactions entre agents. Nous y avons développé un langage de modélisation pour les exigences d’un système… (more)

Subjects/Keywords: Exigences; Agents; Rôles; Multi-Stratégies; Raffinement de stratégies; Requirements; Agents; Roles; Multi-Strategies; Strategy refinement; 000

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Chareton, C. (2014). Modélisation formelle d’exigences et logiques temporelles multi-agents : Formal modelling of requirements and multi-agent temporal logics. (Doctoral Dissertation). Toulouse, ISAE. Retrieved from http://www.theses.fr/2014ESAE0020

Chicago Manual of Style (16th Edition):

Chareton, Christophe. “Modélisation formelle d’exigences et logiques temporelles multi-agents : Formal modelling of requirements and multi-agent temporal logics.” 2014. Doctoral Dissertation, Toulouse, ISAE. Accessed February 29, 2020. http://www.theses.fr/2014ESAE0020.

MLA Handbook (7th Edition):

Chareton, Christophe. “Modélisation formelle d’exigences et logiques temporelles multi-agents : Formal modelling of requirements and multi-agent temporal logics.” 2014. Web. 29 Feb 2020.

Vancouver:

Chareton C. Modélisation formelle d’exigences et logiques temporelles multi-agents : Formal modelling of requirements and multi-agent temporal logics. [Internet] [Doctoral dissertation]. Toulouse, ISAE; 2014. [cited 2020 Feb 29]. Available from: http://www.theses.fr/2014ESAE0020.

Council of Science Editors:

Chareton C. Modélisation formelle d’exigences et logiques temporelles multi-agents : Formal modelling of requirements and multi-agent temporal logics. [Doctoral Dissertation]. Toulouse, ISAE; 2014. Available from: http://www.theses.fr/2014ESAE0020


INP Toulouse

18. Babin, Guillaume. A formal approach for correct-by-construction system substitution : Une approche formelle pour la substitution correcte par construction de systèmes.

Degree: Docteur es, Sureté de Logiciel et Calcul à Haute Performance, 2017, INP Toulouse

Les systèmes critiques dépendent du fait que leurs composants logiciels fournissent des services aux comportements corrects (c'est-à-dire satisfaisant leurs exigences). De plus, dans de nombreux… (more)

Subjects/Keywords: Méthodes formelles; Systèmes corrects par construction; Substitution de systèmes; Raffinement; Formal methods; Correct-By-Construction systems; System substitution; Refinement

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Babin, G. (2017). A formal approach for correct-by-construction system substitution : Une approche formelle pour la substitution correcte par construction de systèmes. (Doctoral Dissertation). INP Toulouse. Retrieved from http://www.theses.fr/2017INPT0061

Chicago Manual of Style (16th Edition):

Babin, Guillaume. “A formal approach for correct-by-construction system substitution : Une approche formelle pour la substitution correcte par construction de systèmes.” 2017. Doctoral Dissertation, INP Toulouse. Accessed February 29, 2020. http://www.theses.fr/2017INPT0061.

MLA Handbook (7th Edition):

Babin, Guillaume. “A formal approach for correct-by-construction system substitution : Une approche formelle pour la substitution correcte par construction de systèmes.” 2017. Web. 29 Feb 2020.

Vancouver:

Babin G. A formal approach for correct-by-construction system substitution : Une approche formelle pour la substitution correcte par construction de systèmes. [Internet] [Doctoral dissertation]. INP Toulouse; 2017. [cited 2020 Feb 29]. Available from: http://www.theses.fr/2017INPT0061.

Council of Science Editors:

Babin G. A formal approach for correct-by-construction system substitution : Une approche formelle pour la substitution correcte par construction de systèmes. [Doctoral Dissertation]. INP Toulouse; 2017. Available from: http://www.theses.fr/2017INPT0061

19. Singh, Neeraj Kumar. Fiabilité et sûreté des systèmes informatiques critiques : Reliability and Safety of Critical Device Software Systems.

Degree: Docteur es, Informatique, 2011, Université Henri Poincaré – Nancy I

 Les systèmes informatiques envahissent notre vie quotidienne et sont devenus des éléments essentiels de chacun de nos instants de vie. La technologie de l'information est… (more)

Subjects/Keywords: Développement fondé sur la preuve; Raffinement; Systèmes embarqués; Vérification; Validation; Génération de code; Modèle du coeur; Protocoles médicaux; 004.21; 005.36

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Singh, N. K. (2011). Fiabilité et sûreté des systèmes informatiques critiques : Reliability and Safety of Critical Device Software Systems. (Doctoral Dissertation). Université Henri Poincaré – Nancy I. Retrieved from http://www.theses.fr/2011NAN10129

Chicago Manual of Style (16th Edition):

Singh, Neeraj Kumar. “Fiabilité et sûreté des systèmes informatiques critiques : Reliability and Safety of Critical Device Software Systems.” 2011. Doctoral Dissertation, Université Henri Poincaré – Nancy I. Accessed February 29, 2020. http://www.theses.fr/2011NAN10129.

MLA Handbook (7th Edition):

Singh, Neeraj Kumar. “Fiabilité et sûreté des systèmes informatiques critiques : Reliability and Safety of Critical Device Software Systems.” 2011. Web. 29 Feb 2020.

Vancouver:

Singh NK. Fiabilité et sûreté des systèmes informatiques critiques : Reliability and Safety of Critical Device Software Systems. [Internet] [Doctoral dissertation]. Université Henri Poincaré – Nancy I; 2011. [cited 2020 Feb 29]. Available from: http://www.theses.fr/2011NAN10129.

Council of Science Editors:

Singh NK. Fiabilité et sûreté des systèmes informatiques critiques : Reliability and Safety of Critical Device Software Systems. [Doctoral Dissertation]. Université Henri Poincaré – Nancy I; 2011. Available from: http://www.theses.fr/2011NAN10129


Université de Lorraine

20. Andriamiarina, Manamiary Bruno. Développement d'algorithmes répartis corrects par construction : Developing correct-by-construction distributed algorithms.

Degree: Docteur es, Informatique, 2015, Université de Lorraine

Nous présentons dans cette thèse intitulée "Développement d'algorithmes répartis corrects par construction" nos travaux sur le développement et la vérification formels d'algorithmes répartis. Nous nous… (more)

Subjects/Keywords: Modélisation; Systèmes; Algorithmes; Répartis; Dynamiques; Correction-Par-Construction; Raffinement; Modelling; Systems; Algorithms; Distributed; Mobile; Correct-By-Construction paradigm; Refinement; 005.14

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Andriamiarina, M. B. (2015). Développement d'algorithmes répartis corrects par construction : Developing correct-by-construction distributed algorithms. (Doctoral Dissertation). Université de Lorraine. Retrieved from http://www.theses.fr/2015LORR0181

Chicago Manual of Style (16th Edition):

Andriamiarina, Manamiary Bruno. “Développement d'algorithmes répartis corrects par construction : Developing correct-by-construction distributed algorithms.” 2015. Doctoral Dissertation, Université de Lorraine. Accessed February 29, 2020. http://www.theses.fr/2015LORR0181.

MLA Handbook (7th Edition):

Andriamiarina, Manamiary Bruno. “Développement d'algorithmes répartis corrects par construction : Developing correct-by-construction distributed algorithms.” 2015. Web. 29 Feb 2020.

Vancouver:

Andriamiarina MB. Développement d'algorithmes répartis corrects par construction : Developing correct-by-construction distributed algorithms. [Internet] [Doctoral dissertation]. Université de Lorraine; 2015. [cited 2020 Feb 29]. Available from: http://www.theses.fr/2015LORR0181.

Council of Science Editors:

Andriamiarina MB. Développement d'algorithmes répartis corrects par construction : Developing correct-by-construction distributed algorithms. [Doctoral Dissertation]. Université de Lorraine; 2015. Available from: http://www.theses.fr/2015LORR0181

21. Mokrani, Hocine. Assistance au raffinement dans la conception des systèmes embarqués : Assisting formal refinement and verification in embedded system design.

Degree: Docteur es, Electronique et communications, 2014, Paris, ENST

La dernière décennie, la complexité des technologies embarqués a explosé et les flots de conception industrielle habituels ne suffisent plus pour proposer des produits fiables… (more)

Subjects/Keywords: Systèmes embarqués; Modèle formel; Raffinement formel; Propriétés linéaires; Embedded systems; Formal model; Formal refinement; Linear properties

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Mokrani, H. (2014). Assistance au raffinement dans la conception des systèmes embarqués : Assisting formal refinement and verification in embedded system design. (Doctoral Dissertation). Paris, ENST. Retrieved from http://www.theses.fr/2014ENST0029

Chicago Manual of Style (16th Edition):

Mokrani, Hocine. “Assistance au raffinement dans la conception des systèmes embarqués : Assisting formal refinement and verification in embedded system design.” 2014. Doctoral Dissertation, Paris, ENST. Accessed February 29, 2020. http://www.theses.fr/2014ENST0029.

MLA Handbook (7th Edition):

Mokrani, Hocine. “Assistance au raffinement dans la conception des systèmes embarqués : Assisting formal refinement and verification in embedded system design.” 2014. Web. 29 Feb 2020.

Vancouver:

Mokrani H. Assistance au raffinement dans la conception des systèmes embarqués : Assisting formal refinement and verification in embedded system design. [Internet] [Doctoral dissertation]. Paris, ENST; 2014. [cited 2020 Feb 29]. Available from: http://www.theses.fr/2014ENST0029.

Council of Science Editors:

Mokrani H. Assistance au raffinement dans la conception des systèmes embarqués : Assisting formal refinement and verification in embedded system design. [Doctoral Dissertation]. Paris, ENST; 2014. Available from: http://www.theses.fr/2014ENST0029

22. Riahi, Mohamed Hédi. Identification de paramètres hydrogéologiques dans un milieu poreux : Identification of hydrological parameters in a porous medium.

Degree: Docteur es, Mathématiques Appliquées, 2016, Université Pierre et Marie Curie – Paris VI

On identifie simultanément les coefficients d'emmagasinement et de transmissivité hydraulique dans un écoulement souterrain gouvernent par une équation parabolique linéaire. Ces deux paramètres sont supposés… (more)

Subjects/Keywords: Problème inverse; Estimation de paramètres; Coefficient d'emmagasinement; Transmissivité hydraulique; Paramétrisation; Indicateurs de raffinement; Inverse problem; Parameter estimation; Storage coefficient; 519.4

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Riahi, M. H. (2016). Identification de paramètres hydrogéologiques dans un milieu poreux : Identification of hydrological parameters in a porous medium. (Doctoral Dissertation). Université Pierre et Marie Curie – Paris VI. Retrieved from http://www.theses.fr/2016PA066741

Chicago Manual of Style (16th Edition):

Riahi, Mohamed Hédi. “Identification de paramètres hydrogéologiques dans un milieu poreux : Identification of hydrological parameters in a porous medium.” 2016. Doctoral Dissertation, Université Pierre et Marie Curie – Paris VI. Accessed February 29, 2020. http://www.theses.fr/2016PA066741.

MLA Handbook (7th Edition):

Riahi, Mohamed Hédi. “Identification de paramètres hydrogéologiques dans un milieu poreux : Identification of hydrological parameters in a porous medium.” 2016. Web. 29 Feb 2020.

Vancouver:

Riahi MH. Identification de paramètres hydrogéologiques dans un milieu poreux : Identification of hydrological parameters in a porous medium. [Internet] [Doctoral dissertation]. Université Pierre et Marie Curie – Paris VI; 2016. [cited 2020 Feb 29]. Available from: http://www.theses.fr/2016PA066741.

Council of Science Editors:

Riahi MH. Identification de paramètres hydrogéologiques dans un milieu poreux : Identification of hydrological parameters in a porous medium. [Doctoral Dissertation]. Université Pierre et Marie Curie – Paris VI; 2016. Available from: http://www.theses.fr/2016PA066741

23. Li, Shan. Régionalisation du climat avec le modèle LMDZ : étude méthodologique : Climate regionalization with the LMDZ model : methodological study.

Degree: Docteur es, Sciences de l'univers, de la terre, de l'espace, 2017, Université Pierre et Marie Curie – Paris VI

 Ce manuscrit de thèse rapporte quelques études méthodologiques sur la régionalisation du climat par l’approche dynamique. Le domaine géographique couvre une large zone allant du… (more)

Subjects/Keywords: Régionalisation; Master versus slave; Relaxation newtonienne; One-Way nesting; Two-Way nesting; Raffinement de maille; Regionalization; OWN/TWN; Newtonian relaxation; 551.6

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Li, S. (2017). Régionalisation du climat avec le modèle LMDZ : étude méthodologique : Climate regionalization with the LMDZ model : methodological study. (Doctoral Dissertation). Université Pierre et Marie Curie – Paris VI. Retrieved from http://www.theses.fr/2017PA066451

Chicago Manual of Style (16th Edition):

Li, Shan. “Régionalisation du climat avec le modèle LMDZ : étude méthodologique : Climate regionalization with the LMDZ model : methodological study.” 2017. Doctoral Dissertation, Université Pierre et Marie Curie – Paris VI. Accessed February 29, 2020. http://www.theses.fr/2017PA066451.

MLA Handbook (7th Edition):

Li, Shan. “Régionalisation du climat avec le modèle LMDZ : étude méthodologique : Climate regionalization with the LMDZ model : methodological study.” 2017. Web. 29 Feb 2020.

Vancouver:

Li S. Régionalisation du climat avec le modèle LMDZ : étude méthodologique : Climate regionalization with the LMDZ model : methodological study. [Internet] [Doctoral dissertation]. Université Pierre et Marie Curie – Paris VI; 2017. [cited 2020 Feb 29]. Available from: http://www.theses.fr/2017PA066451.

Council of Science Editors:

Li S. Régionalisation du climat avec le modèle LMDZ : étude méthodologique : Climate regionalization with the LMDZ model : methodological study. [Doctoral Dissertation]. Université Pierre et Marie Curie – Paris VI; 2017. Available from: http://www.theses.fr/2017PA066451

24. Gondelman, Léon. Un système de types pragmatique pour la vérification déductive des programmes : A Pragmatic Type System for Deductive Software Verification.

Degree: Docteur es, Informatique, 2016, Paris Saclay

Cette thèse se place dans le contexte de la vérification déductive des programmes et a pour objectif de formaliser un certain nombre de concepts qui… (more)

Subjects/Keywords: Vérification déductive des programmes; Why3; Raffinement de données; Système de types; Code fantôme; Deductive Software Verification; Why3; Data refinement; Type systems; Ghost code

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Gondelman, L. (2016). Un système de types pragmatique pour la vérification déductive des programmes : A Pragmatic Type System for Deductive Software Verification. (Doctoral Dissertation). Paris Saclay. Retrieved from http://www.theses.fr/2016SACLS583

Chicago Manual of Style (16th Edition):

Gondelman, Léon. “Un système de types pragmatique pour la vérification déductive des programmes : A Pragmatic Type System for Deductive Software Verification.” 2016. Doctoral Dissertation, Paris Saclay. Accessed February 29, 2020. http://www.theses.fr/2016SACLS583.

MLA Handbook (7th Edition):

Gondelman, Léon. “Un système de types pragmatique pour la vérification déductive des programmes : A Pragmatic Type System for Deductive Software Verification.” 2016. Web. 29 Feb 2020.

Vancouver:

Gondelman L. Un système de types pragmatique pour la vérification déductive des programmes : A Pragmatic Type System for Deductive Software Verification. [Internet] [Doctoral dissertation]. Paris Saclay; 2016. [cited 2020 Feb 29]. Available from: http://www.theses.fr/2016SACLS583.

Council of Science Editors:

Gondelman L. Un système de types pragmatique pour la vérification déductive des programmes : A Pragmatic Type System for Deductive Software Verification. [Doctoral Dissertation]. Paris Saclay; 2016. Available from: http://www.theses.fr/2016SACLS583

25. Fournier, Damien. Analyse et développement de méthodes de raffinement hp en espace pour l'équation de transport des neutrons : The desactivation of the National Norm by the Court of Justice of the European Union : national corporate law and direction taxation reviewed by free establishment and free movement of capital.

Degree: Docteur es, Mathématiques, 2011, Aix-Marseille 1

Pour la conception des cœurs de réacteurs de 4ème génération, une précision accrue est requise pour les calculs des différents paramètres neutroniques. Les ressources mémoire… (more)

Subjects/Keywords: Équation de transport; Volumes finis; Galerkin discontinu; Estimateurs d'erreurs; Hp-raffinement; Neutronique; Système hyperoblique; Transport equation; Finite volume; Discontinuous Galerkin; Error estimates; Hp-refinement; Nuclear core; Hyperoblic system

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Fournier, D. (2011). Analyse et développement de méthodes de raffinement hp en espace pour l'équation de transport des neutrons : The desactivation of the National Norm by the Court of Justice of the European Union : national corporate law and direction taxation reviewed by free establishment and free movement of capital. (Doctoral Dissertation). Aix-Marseille 1. Retrieved from http://www.theses.fr/2011AIX10085

Chicago Manual of Style (16th Edition):

Fournier, Damien. “Analyse et développement de méthodes de raffinement hp en espace pour l'équation de transport des neutrons : The desactivation of the National Norm by the Court of Justice of the European Union : national corporate law and direction taxation reviewed by free establishment and free movement of capital.” 2011. Doctoral Dissertation, Aix-Marseille 1. Accessed February 29, 2020. http://www.theses.fr/2011AIX10085.

MLA Handbook (7th Edition):

Fournier, Damien. “Analyse et développement de méthodes de raffinement hp en espace pour l'équation de transport des neutrons : The desactivation of the National Norm by the Court of Justice of the European Union : national corporate law and direction taxation reviewed by free establishment and free movement of capital.” 2011. Web. 29 Feb 2020.

Vancouver:

Fournier D. Analyse et développement de méthodes de raffinement hp en espace pour l'équation de transport des neutrons : The desactivation of the National Norm by the Court of Justice of the European Union : national corporate law and direction taxation reviewed by free establishment and free movement of capital. [Internet] [Doctoral dissertation]. Aix-Marseille 1; 2011. [cited 2020 Feb 29]. Available from: http://www.theses.fr/2011AIX10085.

Council of Science Editors:

Fournier D. Analyse et développement de méthodes de raffinement hp en espace pour l'équation de transport des neutrons : The desactivation of the National Norm by the Court of Justice of the European Union : national corporate law and direction taxation reviewed by free establishment and free movement of capital. [Doctoral Dissertation]. Aix-Marseille 1; 2011. Available from: http://www.theses.fr/2011AIX10085

26. Schmidmayer, Kevin. Simulation de l'atomisation d'une goutte par un écoulement à grande vitesse : Simulation of the atomization of a droplet by a high-speed flow.

Degree: Docteur es, Mécanique et physique des fluides, 2017, Aix Marseille Université

Depuis le début du millénaire, la simulation numérique directe est apparue comme un outil précieux capable d'étudier l’atomisation d’une goutte isolée par un écoulement à… (more)

Subjects/Keywords: Simulation numérique direct; Écoulement compressible multiphasique; Tension de surface; Raffinement adaptatif du maillage; Atomisation; Direct Numerical Simulation; Multiphase compressible flows; Surface tension; Adaptive Mesh Refinement; Atomization

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Schmidmayer, K. (2017). Simulation de l'atomisation d'une goutte par un écoulement à grande vitesse : Simulation of the atomization of a droplet by a high-speed flow. (Doctoral Dissertation). Aix Marseille Université. Retrieved from http://www.theses.fr/2017AIXM0339

Chicago Manual of Style (16th Edition):

Schmidmayer, Kevin. “Simulation de l'atomisation d'une goutte par un écoulement à grande vitesse : Simulation of the atomization of a droplet by a high-speed flow.” 2017. Doctoral Dissertation, Aix Marseille Université. Accessed February 29, 2020. http://www.theses.fr/2017AIXM0339.

MLA Handbook (7th Edition):

Schmidmayer, Kevin. “Simulation de l'atomisation d'une goutte par un écoulement à grande vitesse : Simulation of the atomization of a droplet by a high-speed flow.” 2017. Web. 29 Feb 2020.

Vancouver:

Schmidmayer K. Simulation de l'atomisation d'une goutte par un écoulement à grande vitesse : Simulation of the atomization of a droplet by a high-speed flow. [Internet] [Doctoral dissertation]. Aix Marseille Université 2017. [cited 2020 Feb 29]. Available from: http://www.theses.fr/2017AIXM0339.

Council of Science Editors:

Schmidmayer K. Simulation de l'atomisation d'une goutte par un écoulement à grande vitesse : Simulation of the atomization of a droplet by a high-speed flow. [Doctoral Dissertation]. Aix Marseille Université 2017. Available from: http://www.theses.fr/2017AIXM0339

27. Bousabbah, Maha. Preuves d'algorithmes distribués par composition et raffinement. : Proofs of Distributed Algorithms by refinement and composition.

Degree: Docteur es, Informatique, 2017, Bordeaux; Université de Sfax (Tunisie)

Dans cette thèse, nous présentons des approches formelles permettant de simplifier la modélisation et la preuve du calcul distribué. Un système distribué est défini par… (more)

Subjects/Keywords: Algorithmes Distribués; Calculs Locaux; Détection de Terminaison,; Énumération; Snapshots; Composition; Raffinement; Méthodes Formelles; Event-B; Distributed algorithms; Local computations; Termination Detection,; Enumeration; Snapshots; Composition; Refinement; Formal methods; Event-B

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Bousabbah, M. (2017). Preuves d'algorithmes distribués par composition et raffinement. : Proofs of Distributed Algorithms by refinement and composition. (Doctoral Dissertation). Bordeaux; Université de Sfax (Tunisie). Retrieved from http://www.theses.fr/2017BORD0799

Chicago Manual of Style (16th Edition):

Bousabbah, Maha. “Preuves d'algorithmes distribués par composition et raffinement. : Proofs of Distributed Algorithms by refinement and composition.” 2017. Doctoral Dissertation, Bordeaux; Université de Sfax (Tunisie). Accessed February 29, 2020. http://www.theses.fr/2017BORD0799.

MLA Handbook (7th Edition):

Bousabbah, Maha. “Preuves d'algorithmes distribués par composition et raffinement. : Proofs of Distributed Algorithms by refinement and composition.” 2017. Web. 29 Feb 2020.

Vancouver:

Bousabbah M. Preuves d'algorithmes distribués par composition et raffinement. : Proofs of Distributed Algorithms by refinement and composition. [Internet] [Doctoral dissertation]. Bordeaux; Université de Sfax (Tunisie); 2017. [cited 2020 Feb 29]. Available from: http://www.theses.fr/2017BORD0799.

Council of Science Editors:

Bousabbah M. Preuves d'algorithmes distribués par composition et raffinement. : Proofs of Distributed Algorithms by refinement and composition. [Doctoral Dissertation]. Bordeaux; Université de Sfax (Tunisie); 2017. Available from: http://www.theses.fr/2017BORD0799

28. Siala, Badr. Décomposition formelle des spécifications centralisées Event-B : application aux systèmes distribués BIP : Formal decomposition of event-B centralized specifications : application to BIP distributed systems.

Degree: Docteur es, Informatique, 2017, Université Toulouse III – Paul Sabatier

Cette thèse a pour cadre scientifique la décomposition formelle des spécifications centrali- sées Event-B appliquée aux systèmes distribués BIP. Elle propose une démarche descendante de… (more)

Subjects/Keywords: Méthodes formelles; Décomposition formelle; Systèmes distribués; Raffinement automatique; Génération de code; IDM; DSL; Event-B; BIP; Formal methods; Formal decomposition; Distributed systems; Code generation; IDM; DSL; Event-B; BIP

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Siala, B. (2017). Décomposition formelle des spécifications centralisées Event-B : application aux systèmes distribués BIP : Formal decomposition of event-B centralized specifications : application to BIP distributed systems. (Doctoral Dissertation). Université Toulouse III – Paul Sabatier. Retrieved from http://www.theses.fr/2017TOU30268

Chicago Manual of Style (16th Edition):

Siala, Badr. “Décomposition formelle des spécifications centralisées Event-B : application aux systèmes distribués BIP : Formal decomposition of event-B centralized specifications : application to BIP distributed systems.” 2017. Doctoral Dissertation, Université Toulouse III – Paul Sabatier. Accessed February 29, 2020. http://www.theses.fr/2017TOU30268.

MLA Handbook (7th Edition):

Siala, Badr. “Décomposition formelle des spécifications centralisées Event-B : application aux systèmes distribués BIP : Formal decomposition of event-B centralized specifications : application to BIP distributed systems.” 2017. Web. 29 Feb 2020.

Vancouver:

Siala B. Décomposition formelle des spécifications centralisées Event-B : application aux systèmes distribués BIP : Formal decomposition of event-B centralized specifications : application to BIP distributed systems. [Internet] [Doctoral dissertation]. Université Toulouse III – Paul Sabatier; 2017. [cited 2020 Feb 29]. Available from: http://www.theses.fr/2017TOU30268.

Council of Science Editors:

Siala B. Décomposition formelle des spécifications centralisées Event-B : application aux systèmes distribués BIP : Formal decomposition of event-B centralized specifications : application to BIP distributed systems. [Doctoral Dissertation]. Université Toulouse III – Paul Sabatier; 2017. Available from: http://www.theses.fr/2017TOU30268


Université de Lorraine

29. Zhao, Yajun. Consolidation des poudres métalliques par des déformations plastiques extrêmes : torsion sous haute pression : expériences et modélisations : Consolidation of Metal Powders through Severe Plastic Deformation : High Pressure Torsion : Experiments and Modeling.

Degree: Docteur es, Sciences des matériaux, 2016, Université de Lorraine

Les procédés d’hyper-déformations (SPD) peuvent imposer de très grandes déformations à un métal et en transformer les propriétés métallurgiques de la matière en introduisant une… (more)

Subjects/Keywords: Consolidation des poudres; Torsion sous haute pression; Déformations plastiques; Raffinement de la microstructure; Évolution des textures; Powder Consolidation; High Pressure Torsion; Plastic Deformation; Microstructure Refinement; Texture Evolution; 671.3

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Zhao, Y. (2016). Consolidation des poudres métalliques par des déformations plastiques extrêmes : torsion sous haute pression : expériences et modélisations : Consolidation of Metal Powders through Severe Plastic Deformation : High Pressure Torsion : Experiments and Modeling. (Doctoral Dissertation). Université de Lorraine. Retrieved from http://www.theses.fr/2016LORR0104

Chicago Manual of Style (16th Edition):

Zhao, Yajun. “Consolidation des poudres métalliques par des déformations plastiques extrêmes : torsion sous haute pression : expériences et modélisations : Consolidation of Metal Powders through Severe Plastic Deformation : High Pressure Torsion : Experiments and Modeling.” 2016. Doctoral Dissertation, Université de Lorraine. Accessed February 29, 2020. http://www.theses.fr/2016LORR0104.

MLA Handbook (7th Edition):

Zhao, Yajun. “Consolidation des poudres métalliques par des déformations plastiques extrêmes : torsion sous haute pression : expériences et modélisations : Consolidation of Metal Powders through Severe Plastic Deformation : High Pressure Torsion : Experiments and Modeling.” 2016. Web. 29 Feb 2020.

Vancouver:

Zhao Y. Consolidation des poudres métalliques par des déformations plastiques extrêmes : torsion sous haute pression : expériences et modélisations : Consolidation of Metal Powders through Severe Plastic Deformation : High Pressure Torsion : Experiments and Modeling. [Internet] [Doctoral dissertation]. Université de Lorraine; 2016. [cited 2020 Feb 29]. Available from: http://www.theses.fr/2016LORR0104.

Council of Science Editors:

Zhao Y. Consolidation des poudres métalliques par des déformations plastiques extrêmes : torsion sous haute pression : expériences et modélisations : Consolidation of Metal Powders through Severe Plastic Deformation : High Pressure Torsion : Experiments and Modeling. [Doctoral Dissertation]. Université de Lorraine; 2016. Available from: http://www.theses.fr/2016LORR0104


Université de Bordeaux I

30. Bernard, Romain. Analyses de sûreté de fonctionnement multi-systèmes : Study of nematode virulence effectors in rice (Oryza sativa)-Meloidogyne incognita interactions.

Degree: Docteur es, Informatique, 2009, Université de Bordeaux I

Cette thèse se situe au croisement de deux domaines : la sûreté de fonctionnement des systèmes critiques et les méthodes formelles. Nous cherchons à établir… (more)

Subjects/Keywords: AltaRica; Méthodes formelles; Raffinement; Conception/validation d'architecture; Sûreté de fonctionnement des systèmes; AltaRica; Formal methods; Re?nement; System design/validation; Safety engineering

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Bernard, R. (2009). Analyses de sûreté de fonctionnement multi-systèmes : Study of nematode virulence effectors in rice (Oryza sativa)-Meloidogyne incognita interactions. (Doctoral Dissertation). Université de Bordeaux I. Retrieved from http://www.theses.fr/2009BOR13885

Chicago Manual of Style (16th Edition):

Bernard, Romain. “Analyses de sûreté de fonctionnement multi-systèmes : Study of nematode virulence effectors in rice (Oryza sativa)-Meloidogyne incognita interactions.” 2009. Doctoral Dissertation, Université de Bordeaux I. Accessed February 29, 2020. http://www.theses.fr/2009BOR13885.

MLA Handbook (7th Edition):

Bernard, Romain. “Analyses de sûreté de fonctionnement multi-systèmes : Study of nematode virulence effectors in rice (Oryza sativa)-Meloidogyne incognita interactions.” 2009. Web. 29 Feb 2020.

Vancouver:

Bernard R. Analyses de sûreté de fonctionnement multi-systèmes : Study of nematode virulence effectors in rice (Oryza sativa)-Meloidogyne incognita interactions. [Internet] [Doctoral dissertation]. Université de Bordeaux I; 2009. [cited 2020 Feb 29]. Available from: http://www.theses.fr/2009BOR13885.

Council of Science Editors:

Bernard R. Analyses de sûreté de fonctionnement multi-systèmes : Study of nematode virulence effectors in rice (Oryza sativa)-Meloidogyne incognita interactions. [Doctoral Dissertation]. Université de Bordeaux I; 2009. Available from: http://www.theses.fr/2009BOR13885

[1] [2] [3]

.