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:(V rification Formelle et Logiques Temporelles). Showing records 1 – 30 of 19000 total matches.

[1] [2] [3] [4] [5] … [634]

Search Limiters

Last 2 Years | English Only

Degrees

Levels

Languages

Country

▼ Search Limiters

1. Tacla Saad, Rodrigo. Parallel model checking for multiprocessor architecture : Model checking sur architecture multiprocesseur.

Degree: Docteur es, Sûreté de logiciel et calcul de haute performance, 2011, Toulouse, INSA

Nous proposons de nouveaux algorithmes et de nouvelles structures de données pour la vérification formelle de systèmes réactifs finis sur architectures parallèles. Ces travaux se… (more)

Subjects/Keywords: Model Checking en Parallèle; Vérification Formelle et Logiques Temporelles; Algorithme et Structure de Données concurrents; Méthode Formelle; Parallel Model Checking; Concurrent algorithms and data structures; Formal Verification and Temporal Logic; Formal Methods

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Tacla Saad, R. (2011). Parallel model checking for multiprocessor architecture : Model checking sur architecture multiprocesseur. (Doctoral Dissertation). Toulouse, INSA. Retrieved from http://www.theses.fr/2011ISAT0028

Chicago Manual of Style (16th Edition):

Tacla Saad, Rodrigo. “Parallel model checking for multiprocessor architecture : Model checking sur architecture multiprocesseur.” 2011. Doctoral Dissertation, Toulouse, INSA. Accessed January 22, 2020. http://www.theses.fr/2011ISAT0028.

MLA Handbook (7th Edition):

Tacla Saad, Rodrigo. “Parallel model checking for multiprocessor architecture : Model checking sur architecture multiprocesseur.” 2011. Web. 22 Jan 2020.

Vancouver:

Tacla Saad R. Parallel model checking for multiprocessor architecture : Model checking sur architecture multiprocesseur. [Internet] [Doctoral dissertation]. Toulouse, INSA; 2011. [cited 2020 Jan 22]. Available from: http://www.theses.fr/2011ISAT0028.

Council of Science Editors:

Tacla Saad R. Parallel model checking for multiprocessor architecture : Model checking sur architecture multiprocesseur. [Doctoral Dissertation]. Toulouse, INSA; 2011. Available from: http://www.theses.fr/2011ISAT0028

2. Maksimović, Petar. Développement etrification des logiques probabilistes et des cadres logiques : Development and verification of probability logics and logical frameworks.

Degree: Docteur es, Informatique, 2013, Nice; Univerzitet u Novom Sadu

On présente une Logique Probabiliste avec des opérateurs Conditionnels - LPCP, sa syntaxe, sémantique, axiomatisation correcte et fortement complète, comprenant une règle de déduction infinitaire.… (more)

Subjects/Keywords: Logiques probabilistes; Vérification formelle; Cadres logiques; Coq; Probability logics; Formal verification; Logical frameworks; Coq

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Maksimović, P. (2013). Développement et vérification des logiques probabilistes et des cadres logiques : Development and verification of probability logics and logical frameworks. (Doctoral Dissertation). Nice; Univerzitet u Novom Sadu. Retrieved from http://www.theses.fr/2013NICE4074

Chicago Manual of Style (16th Edition):

Maksimović, Petar. “Développement et vérification des logiques probabilistes et des cadres logiques : Development and verification of probability logics and logical frameworks.” 2013. Doctoral Dissertation, Nice; Univerzitet u Novom Sadu. Accessed January 22, 2020. http://www.theses.fr/2013NICE4074.

MLA Handbook (7th Edition):

Maksimović, Petar. “Développement et vérification des logiques probabilistes et des cadres logiques : Development and verification of probability logics and logical frameworks.” 2013. Web. 22 Jan 2020.

Vancouver:

Maksimović P. Développement et vérification des logiques probabilistes et des cadres logiques : Development and verification of probability logics and logical frameworks. [Internet] [Doctoral dissertation]. Nice; Univerzitet u Novom Sadu; 2013. [cited 2020 Jan 22]. Available from: http://www.theses.fr/2013NICE4074.

Council of Science Editors:

Maksimović P. Développement et vérification des logiques probabilistes et des cadres logiques : Development and verification of probability logics and logical frameworks. [Doctoral Dissertation]. Nice; Univerzitet u Novom Sadu; 2013. Available from: http://www.theses.fr/2013NICE4074


Université de Lorraine

3. Kimmel, Pierre. Extensions modales des logiques de ressources : expressivité et calculs : Modal extensions of resource logics : expressivity and calculi.

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

Le développement de nouveaux formalismes logiques est au cœur de nombreuses problématiques de méthodes formelles. Ces formalismes doivent répondre à la fois à des impératifs… (more)

Subjects/Keywords: Modélisation; Preuve; Logiques de ressources; Logiques de séparation; Logiques temporelles; Logiques épistémiques; Logiques hybrides; Calcul des tableaux; Labels; Extraction de contre-modèles; Modelling; Proof; Resource logics; Separation logics; Temporal logics; Epistemic logics; Hybrid logics; Tableaux calculus; Labels; Counter-model extraction; 004.015 1; 005.1

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Kimmel, P. (2018). Extensions modales des logiques de ressources : expressivité et calculs : Modal extensions of resource logics : expressivity and calculi. (Doctoral Dissertation). Université de Lorraine. Retrieved from http://www.theses.fr/2018LORR0299

Chicago Manual of Style (16th Edition):

Kimmel, Pierre. “Extensions modales des logiques de ressources : expressivité et calculs : Modal extensions of resource logics : expressivity and calculi.” 2018. Doctoral Dissertation, Université de Lorraine. Accessed January 22, 2020. http://www.theses.fr/2018LORR0299.

MLA Handbook (7th Edition):

Kimmel, Pierre. “Extensions modales des logiques de ressources : expressivité et calculs : Modal extensions of resource logics : expressivity and calculi.” 2018. Web. 22 Jan 2020.

Vancouver:

Kimmel P. Extensions modales des logiques de ressources : expressivité et calculs : Modal extensions of resource logics : expressivity and calculi. [Internet] [Doctoral dissertation]. Université de Lorraine; 2018. [cited 2020 Jan 22]. Available from: http://www.theses.fr/2018LORR0299.

Council of Science Editors:

Kimmel P. Extensions modales des logiques de ressources : expressivité et calculs : Modal extensions of resource logics : expressivity and calculi. [Doctoral Dissertation]. Université de Lorraine; 2018. Available from: http://www.theses.fr/2018LORR0299


INP Toulouse

4. Zalila, Faiez. Methods and tools for the integration of formal verification in domain-specific languages : Méthodes et outils pour l’intégration de la vérification formelle pour les langages dédiés.

Degree: Docteur es, Sûreté de Logiciel et Calcul à Haute Performance, 2014, INP Toulouse

Les langages dédiés de modélisation (DSMLs) sont de plus en plus utilisés dans les phases amont du développement des systèmes complexes, en particulier pour les… (more)

Subjects/Keywords: Ingénierie dirigée par les modèles (IDM); Langage dédié de modélisation (DSML); Vérification et validation (V V); Object Constraint Language (OCL); Vérification formelle; Vérification de modèle par exploration exhaustive; Sémantique translationnelle; Traçabilité; Remontée de vérification; Model Driven Engineering (MDE); Domain specific Modeling Language (DSML); Verification and validation (V V); Object Constraint Language (OCL); Formal verification; Model checking; Translational semantics; Traceability; Verification feedback

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Zalila, F. (2014). Methods and tools for the integration of formal verification in domain-specific languages : Méthodes et outils pour l’intégration de la vérification formelle pour les langages dédiés. (Doctoral Dissertation). INP Toulouse. Retrieved from http://www.theses.fr/2014INPT0092

Chicago Manual of Style (16th Edition):

Zalila, Faiez. “Methods and tools for the integration of formal verification in domain-specific languages : Méthodes et outils pour l’intégration de la vérification formelle pour les langages dédiés.” 2014. Doctoral Dissertation, INP Toulouse. Accessed January 22, 2020. http://www.theses.fr/2014INPT0092.

MLA Handbook (7th Edition):

Zalila, Faiez. “Methods and tools for the integration of formal verification in domain-specific languages : Méthodes et outils pour l’intégration de la vérification formelle pour les langages dédiés.” 2014. Web. 22 Jan 2020.

Vancouver:

Zalila F. Methods and tools for the integration of formal verification in domain-specific languages : Méthodes et outils pour l’intégration de la vérification formelle pour les langages dédiés. [Internet] [Doctoral dissertation]. INP Toulouse; 2014. [cited 2020 Jan 22]. Available from: http://www.theses.fr/2014INPT0092.

Council of Science Editors:

Zalila F. Methods and tools for the integration of formal verification in domain-specific languages : Méthodes et outils pour l’intégration de la vérification formelle pour les langages dédiés. [Doctoral Dissertation]. INP Toulouse; 2014. Available from: http://www.theses.fr/2014INPT0092


Université de Lorraine

5. Guthmuller, Marion. rification dynamique formelle de propriétés temporelles sur des applications distribuées réelles : Dynamic formal verification of temporal properties on legacy distributed applications.

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

Alors que l'informatique est devenue omniprésente dans notre société actuelle, assurer la qualité d'un logiciel revêt une importance grandissante. Pour accroître cette qualité, l'une des… (more)

Subjects/Keywords: Vérification dynamique formelle; Applications distribuées; SimGrid; Propriétés temporelles; Model checking; Dynamic Formal Verification; Distributed applications; SimGrid; Temporal properties; Model checking; 005.14

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Guthmuller, M. (2015). Vérification dynamique formelle de propriétés temporelles sur des applications distribuées réelles : Dynamic formal verification of temporal properties on legacy distributed applications. (Doctoral Dissertation). Université de Lorraine. Retrieved from http://www.theses.fr/2015LORR0090

Chicago Manual of Style (16th Edition):

Guthmuller, Marion. “Vérification dynamique formelle de propriétés temporelles sur des applications distribuées réelles : Dynamic formal verification of temporal properties on legacy distributed applications.” 2015. Doctoral Dissertation, Université de Lorraine. Accessed January 22, 2020. http://www.theses.fr/2015LORR0090.

MLA Handbook (7th Edition):

Guthmuller, Marion. “Vérification dynamique formelle de propriétés temporelles sur des applications distribuées réelles : Dynamic formal verification of temporal properties on legacy distributed applications.” 2015. Web. 22 Jan 2020.

Vancouver:

Guthmuller M. Vérification dynamique formelle de propriétés temporelles sur des applications distribuées réelles : Dynamic formal verification of temporal properties on legacy distributed applications. [Internet] [Doctoral dissertation]. Université de Lorraine; 2015. [cited 2020 Jan 22]. Available from: http://www.theses.fr/2015LORR0090.

Council of Science Editors:

Guthmuller M. Vérification dynamique formelle de propriétés temporelles sur des applications distribuées réelles : Dynamic formal verification of temporal properties on legacy distributed applications. [Doctoral Dissertation]. Université de Lorraine; 2015. Available from: http://www.theses.fr/2015LORR0090

6. Gnimpieba Zanfack, David R. Modélisation des flux logistiques : vers une plateforme d'interopérabilité des objets logistiques : Modelling logistics workflows : towards a platform for interoperability of logistics entities.

Degree: Docteur es, Informatique, 2017, Amiens

Ces travaux de recherche ont été réalisés dans le cadre du projet régional Com-SLoT (Communauté de Services Logistiques sur l'Internet des Objets) qui s'inscrit dans… (more)

Subjects/Keywords: Plateforme collaborative; Architecture orientée modèles - MDA; Spécifications et vérification formelle

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Gnimpieba Zanfack, D. R. (2017). Modélisation des flux logistiques : vers une plateforme d'interopérabilité des objets logistiques : Modelling logistics workflows : towards a platform for interoperability of logistics entities. (Doctoral Dissertation). Amiens. Retrieved from http://www.theses.fr/2017AMIE0045

Chicago Manual of Style (16th Edition):

Gnimpieba Zanfack, David R. “Modélisation des flux logistiques : vers une plateforme d'interopérabilité des objets logistiques : Modelling logistics workflows : towards a platform for interoperability of logistics entities.” 2017. Doctoral Dissertation, Amiens. Accessed January 22, 2020. http://www.theses.fr/2017AMIE0045.

MLA Handbook (7th Edition):

Gnimpieba Zanfack, David R. “Modélisation des flux logistiques : vers une plateforme d'interopérabilité des objets logistiques : Modelling logistics workflows : towards a platform for interoperability of logistics entities.” 2017. Web. 22 Jan 2020.

Vancouver:

Gnimpieba Zanfack DR. Modélisation des flux logistiques : vers une plateforme d'interopérabilité des objets logistiques : Modelling logistics workflows : towards a platform for interoperability of logistics entities. [Internet] [Doctoral dissertation]. Amiens; 2017. [cited 2020 Jan 22]. Available from: http://www.theses.fr/2017AMIE0045.

Council of Science Editors:

Gnimpieba Zanfack DR. Modélisation des flux logistiques : vers une plateforme d'interopérabilité des objets logistiques : Modelling logistics workflows : towards a platform for interoperability of logistics entities. [Doctoral Dissertation]. Amiens; 2017. Available from: http://www.theses.fr/2017AMIE0045


Université de Lorraine

7. Courtault, Jean-René. Logiques de ressources dynamiques : modèles, propriétés et preuves : Dynamic Resource Logic : Models, Properties et Proofs.

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

En informatique, la notion de ressource est une notion centrale. Nous considérons comme ressource toute entité pouvant être composée ou décomposée en sous-entités. Plusieurs logiques(more)

Subjects/Keywords: Modélisation; Vérification et preuve; Logiques de ressources; Logiques de séparation; Dynamique; Méthodes des tableaux; Recherche de preuves; Méthodes formelles; Extraction de contre-Modèles; 004.015 1; 005.101

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Courtault, J. (2015). Logiques de ressources dynamiques : modèles, propriétés et preuves : Dynamic Resource Logic : Models, Properties et Proofs. (Doctoral Dissertation). Université de Lorraine. Retrieved from http://www.theses.fr/2015LORR0033

Chicago Manual of Style (16th Edition):

Courtault, Jean-René. “Logiques de ressources dynamiques : modèles, propriétés et preuves : Dynamic Resource Logic : Models, Properties et Proofs.” 2015. Doctoral Dissertation, Université de Lorraine. Accessed January 22, 2020. http://www.theses.fr/2015LORR0033.

MLA Handbook (7th Edition):

Courtault, Jean-René. “Logiques de ressources dynamiques : modèles, propriétés et preuves : Dynamic Resource Logic : Models, Properties et Proofs.” 2015. Web. 22 Jan 2020.

Vancouver:

Courtault J. Logiques de ressources dynamiques : modèles, propriétés et preuves : Dynamic Resource Logic : Models, Properties et Proofs. [Internet] [Doctoral dissertation]. Université de Lorraine; 2015. [cited 2020 Jan 22]. Available from: http://www.theses.fr/2015LORR0033.

Council of Science Editors:

Courtault J. Logiques de ressources dynamiques : modèles, propriétés et preuves : Dynamic Resource Logic : Models, Properties et Proofs. [Doctoral Dissertation]. Université de Lorraine; 2015. Available from: http://www.theses.fr/2015LORR0033


Université Catholique de Louvain

8. Houssa, Hélène. Étude du lien entre les fondamentaux économiques et l'évolution des spreads des pays de la zone euro.

Degree: 2015, Université Catholique de Louvain

Ce mémoire étudie le lien entre les fondamentaux économiques et l’évolution du spread des obligations d’États par rapport à l’Allemagne pour 9 pays de la… (more)

Subjects/Keywords: Spread souverain – UEM – Fondamentaux économiques – Analyse en séries temporelles et en coupes transversales – Politiques monétaires

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Houssa, H. (2015). Étude du lien entre les fondamentaux économiques et l'évolution des spreads des pays de la zone euro. (Thesis). Université Catholique de Louvain. Retrieved from http://hdl.handle.net/2078.1/thesis:2578

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Houssa, Hélène. “Étude du lien entre les fondamentaux économiques et l'évolution des spreads des pays de la zone euro.” 2015. Thesis, Université Catholique de Louvain. Accessed January 22, 2020. http://hdl.handle.net/2078.1/thesis:2578.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Houssa, Hélène. “Étude du lien entre les fondamentaux économiques et l'évolution des spreads des pays de la zone euro.” 2015. Web. 22 Jan 2020.

Vancouver:

Houssa H. Étude du lien entre les fondamentaux économiques et l'évolution des spreads des pays de la zone euro. [Internet] [Thesis]. Université Catholique de Louvain; 2015. [cited 2020 Jan 22]. Available from: http://hdl.handle.net/2078.1/thesis:2578.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Houssa H. Étude du lien entre les fondamentaux économiques et l'évolution des spreads des pays de la zone euro. [Thesis]. Université Catholique de Louvain; 2015. Available from: http://hdl.handle.net/2078.1/thesis:2578

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Université du Québec à Montréal

9. Benzid, Adela Lila. Immersion en nature et identité écologique : une recherche-développement d'un programme d'éducation relative à l'environnement inspiré des «Forest Schools».

Degree: 2017, Université du Québec à Montréal

 Immersion en nature et identité écologique : une recherche-développement d'un programme d'éducation relative à l'environnement inspiré des Forest Schools. Les Amis de la montagne est… (more)

Subjects/Keywords: Éducation environnementale; École en nature; Éducation non-formelle; Enfants et nature; Amis de la montagne

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Benzid, A. L. (2017). Immersion en nature et identité écologique : une recherche-développement d'un programme d'éducation relative à l'environnement inspiré des «Forest Schools». (Thesis). Université du Québec à Montréal. Retrieved from http://archipel.uqam.ca/10851/1/M15257.pdf

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Benzid, Adela Lila. “Immersion en nature et identité écologique : une recherche-développement d'un programme d'éducation relative à l'environnement inspiré des «Forest Schools».” 2017. Thesis, Université du Québec à Montréal. Accessed January 22, 2020. http://archipel.uqam.ca/10851/1/M15257.pdf.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Benzid, Adela Lila. “Immersion en nature et identité écologique : une recherche-développement d'un programme d'éducation relative à l'environnement inspiré des «Forest Schools».” 2017. Web. 22 Jan 2020.

Vancouver:

Benzid AL. Immersion en nature et identité écologique : une recherche-développement d'un programme d'éducation relative à l'environnement inspiré des «Forest Schools». [Internet] [Thesis]. Université du Québec à Montréal; 2017. [cited 2020 Jan 22]. Available from: http://archipel.uqam.ca/10851/1/M15257.pdf.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Benzid AL. Immersion en nature et identité écologique : une recherche-développement d'un programme d'éducation relative à l'environnement inspiré des «Forest Schools». [Thesis]. Université du Québec à Montréal; 2017. Available from: http://archipel.uqam.ca/10851/1/M15257.pdf

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Université du Québec à Montréal

10. Benzid, Adela Lila. Immersion en nature et identité écologique : une recherche-développement d'un programme d'éducation relative à l'environnement inspiré des «Forest Schools».

Degree: 2017, Université du Québec à Montréal

 Immersion en nature et identité écologique : une recherche-développement d'un programme d'éducation relative à l'environnement inspiré des Forest Schools. Les Amis de la montagne est… (more)

Subjects/Keywords: Éducation environnementale; École en nature; Éducation non-formelle; Enfants et nature; Amis de la montagne

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Benzid, A. L. (2017). Immersion en nature et identité écologique : une recherche-développement d'un programme d'éducation relative à l'environnement inspiré des «Forest Schools». (Thesis). Université du Québec à Montréal. Retrieved from http://archipel.uqam.ca/10851/1/M15257.pdf

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Benzid, Adela Lila. “Immersion en nature et identité écologique : une recherche-développement d'un programme d'éducation relative à l'environnement inspiré des «Forest Schools».” 2017. Thesis, Université du Québec à Montréal. Accessed January 22, 2020. http://archipel.uqam.ca/10851/1/M15257.pdf.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Benzid, Adela Lila. “Immersion en nature et identité écologique : une recherche-développement d'un programme d'éducation relative à l'environnement inspiré des «Forest Schools».” 2017. Web. 22 Jan 2020.

Vancouver:

Benzid AL. Immersion en nature et identité écologique : une recherche-développement d'un programme d'éducation relative à l'environnement inspiré des «Forest Schools». [Internet] [Thesis]. Université du Québec à Montréal; 2017. [cited 2020 Jan 22]. Available from: http://archipel.uqam.ca/10851/1/M15257.pdf.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Benzid AL. Immersion en nature et identité écologique : une recherche-développement d'un programme d'éducation relative à l'environnement inspiré des «Forest Schools». [Thesis]. Université du Québec à Montréal; 2017. Available from: http://archipel.uqam.ca/10851/1/M15257.pdf

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Université du Québec à Montréal

11. Calonne, Olivier. Parcours d'usages numériques mis en œuvre par des migrants adultes dans le but de s'approprier le français langue seconde à Montréal.

Degree: 2017, Université du Québec à Montréal

 L'objectif général de ce mémoire est de dresser un portrait de parcours d'usages numériques mis en œuvre par des migrants adultes dans le but de… (more)

Subjects/Keywords: Langue seconde  – Acquisition; Français (Langue)  – Étude et enseignement; Éducation non formelle; Immigrants; Information électronique; Technologies de l'information et de la communication

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Calonne, O. (2017). Parcours d'usages numériques mis en œuvre par des migrants adultes dans le but de s'approprier le français langue seconde à Montréal. (Thesis). Université du Québec à Montréal. Retrieved from http://archipel.uqam.ca/11640/1/M15425.pdf

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Calonne, Olivier. “Parcours d'usages numériques mis en œuvre par des migrants adultes dans le but de s'approprier le français langue seconde à Montréal.” 2017. Thesis, Université du Québec à Montréal. Accessed January 22, 2020. http://archipel.uqam.ca/11640/1/M15425.pdf.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Calonne, Olivier. “Parcours d'usages numériques mis en œuvre par des migrants adultes dans le but de s'approprier le français langue seconde à Montréal.” 2017. Web. 22 Jan 2020.

Vancouver:

Calonne O. Parcours d'usages numériques mis en œuvre par des migrants adultes dans le but de s'approprier le français langue seconde à Montréal. [Internet] [Thesis]. Université du Québec à Montréal; 2017. [cited 2020 Jan 22]. Available from: http://archipel.uqam.ca/11640/1/M15425.pdf.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Calonne O. Parcours d'usages numériques mis en œuvre par des migrants adultes dans le but de s'approprier le français langue seconde à Montréal. [Thesis]. Université du Québec à Montréal; 2017. Available from: http://archipel.uqam.ca/11640/1/M15425.pdf

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

12. Adler, Yoann. Les familles face au choix du collège : logiques d’action, régulation administrative et critique sociale : Families and the choice of secondary school : action logics, administrative regulation and social criticism.

Degree: Docteur es, Sciences de l'éducation, 2013, Université Lumière – Lyon II

Cette thèse s’inscrit dans un contexte de préoccupation internationale sur le choix de l’école par les familles et plus particulièrement, dans le contexte national français… (more)

Subjects/Keywords: Logiques d’acteurs; Mixité sociale et ethnique; Offre de formation; Actors' logics; Social and ethnic mixity; Training provision

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Adler, Y. (2013). Les familles face au choix du collège : logiques d’action, régulation administrative et critique sociale : Families and the choice of secondary school : action logics, administrative regulation and social criticism. (Doctoral Dissertation). Université Lumière – Lyon II. Retrieved from http://www.theses.fr/2013LYO20079

Chicago Manual of Style (16th Edition):

Adler, Yoann. “Les familles face au choix du collège : logiques d’action, régulation administrative et critique sociale : Families and the choice of secondary school : action logics, administrative regulation and social criticism.” 2013. Doctoral Dissertation, Université Lumière – Lyon II. Accessed January 22, 2020. http://www.theses.fr/2013LYO20079.

MLA Handbook (7th Edition):

Adler, Yoann. “Les familles face au choix du collège : logiques d’action, régulation administrative et critique sociale : Families and the choice of secondary school : action logics, administrative regulation and social criticism.” 2013. Web. 22 Jan 2020.

Vancouver:

Adler Y. Les familles face au choix du collège : logiques d’action, régulation administrative et critique sociale : Families and the choice of secondary school : action logics, administrative regulation and social criticism. [Internet] [Doctoral dissertation]. Université Lumière – Lyon II; 2013. [cited 2020 Jan 22]. Available from: http://www.theses.fr/2013LYO20079.

Council of Science Editors:

Adler Y. Les familles face au choix du collège : logiques d’action, régulation administrative et critique sociale : Families and the choice of secondary school : action logics, administrative regulation and social criticism. [Doctoral Dissertation]. Université Lumière – Lyon II; 2013. Available from: http://www.theses.fr/2013LYO20079

13. Abdallah, Adolf. Conception de SoC à base d’horloges abstraites : vers l’exploration d’architectures en MARTE : Clock based SoC design, towards a design space exploration in MARTE.

Degree: Docteur es, Informatique, 2011, Université Lille I – Sciences et Technologies

Les applications embarquées hautes performances sont de plus en plus complexes et exigeantes en termes de ressources de calcul. L’augmentation des performances des puces monoprocesseur… (more)

Subjects/Keywords: Horloges logiques

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Abdallah, A. (2011). Conception de SoC à base d’horloges abstraites : vers l’exploration d’architectures en MARTE : Clock based SoC design, towards a design space exploration in MARTE. (Doctoral Dissertation). Université Lille I – Sciences et Technologies. Retrieved from http://www.theses.fr/2011LIL10005

Chicago Manual of Style (16th Edition):

Abdallah, Adolf. “Conception de SoC à base d’horloges abstraites : vers l’exploration d’architectures en MARTE : Clock based SoC design, towards a design space exploration in MARTE.” 2011. Doctoral Dissertation, Université Lille I – Sciences et Technologies. Accessed January 22, 2020. http://www.theses.fr/2011LIL10005.

MLA Handbook (7th Edition):

Abdallah, Adolf. “Conception de SoC à base d’horloges abstraites : vers l’exploration d’architectures en MARTE : Clock based SoC design, towards a design space exploration in MARTE.” 2011. Web. 22 Jan 2020.

Vancouver:

Abdallah A. Conception de SoC à base d’horloges abstraites : vers l’exploration d’architectures en MARTE : Clock based SoC design, towards a design space exploration in MARTE. [Internet] [Doctoral dissertation]. Université Lille I – Sciences et Technologies; 2011. [cited 2020 Jan 22]. Available from: http://www.theses.fr/2011LIL10005.

Council of Science Editors:

Abdallah A. Conception de SoC à base d’horloges abstraites : vers l’exploration d’architectures en MARTE : Clock based SoC design, towards a design space exploration in MARTE. [Doctoral Dissertation]. Université Lille I – Sciences et Technologies; 2011. Available from: http://www.theses.fr/2011LIL10005

14. Dentzer, Jacques. Forçages environnementaux et contrôles structuraux sur le régime thermique actuel du bassin de Paris : enjeux pour la compréhension du potentiel géothermique en Ile-de-France : Environmental forcings and structural controls on the present thermal regime of the Paris basin : issues for understanding the geothermal potential in Ile-de-France.

Degree: Docteur es, Géosciences, 2016, Université Pierre et Marie Curie – Paris VI

Les acquisitions de mesures de températures et de conductivités thermiques ont enrichi la connaissance du régime thermique du bassin sédimentaire de Paris et ont mis… (more)

Subjects/Keywords: Bassin sédimentaire de Paris; Géothermie; Anomalies thermiques spatio-temporelles; Failles et fractures; Hydrogéologie; Paléoclimats; Hydrogeology; Paleoclimates; Paris sedimentary basin; 550

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Dentzer, J. (2016). Forçages environnementaux et contrôles structuraux sur le régime thermique actuel du bassin de Paris : enjeux pour la compréhension du potentiel géothermique en Ile-de-France : Environmental forcings and structural controls on the present thermal regime of the Paris basin : issues for understanding the geothermal potential in Ile-de-France. (Doctoral Dissertation). Université Pierre et Marie Curie – Paris VI. Retrieved from http://www.theses.fr/2016PA066187

Chicago Manual of Style (16th Edition):

Dentzer, Jacques. “Forçages environnementaux et contrôles structuraux sur le régime thermique actuel du bassin de Paris : enjeux pour la compréhension du potentiel géothermique en Ile-de-France : Environmental forcings and structural controls on the present thermal regime of the Paris basin : issues for understanding the geothermal potential in Ile-de-France.” 2016. Doctoral Dissertation, Université Pierre et Marie Curie – Paris VI. Accessed January 22, 2020. http://www.theses.fr/2016PA066187.

MLA Handbook (7th Edition):

Dentzer, Jacques. “Forçages environnementaux et contrôles structuraux sur le régime thermique actuel du bassin de Paris : enjeux pour la compréhension du potentiel géothermique en Ile-de-France : Environmental forcings and structural controls on the present thermal regime of the Paris basin : issues for understanding the geothermal potential in Ile-de-France.” 2016. Web. 22 Jan 2020.

Vancouver:

Dentzer J. Forçages environnementaux et contrôles structuraux sur le régime thermique actuel du bassin de Paris : enjeux pour la compréhension du potentiel géothermique en Ile-de-France : Environmental forcings and structural controls on the present thermal regime of the Paris basin : issues for understanding the geothermal potential in Ile-de-France. [Internet] [Doctoral dissertation]. Université Pierre et Marie Curie – Paris VI; 2016. [cited 2020 Jan 22]. Available from: http://www.theses.fr/2016PA066187.

Council of Science Editors:

Dentzer J. Forçages environnementaux et contrôles structuraux sur le régime thermique actuel du bassin de Paris : enjeux pour la compréhension du potentiel géothermique en Ile-de-France : Environmental forcings and structural controls on the present thermal regime of the Paris basin : issues for understanding the geothermal potential in Ile-de-France. [Doctoral Dissertation]. Université Pierre et Marie Curie – Paris VI; 2016. Available from: http://www.theses.fr/2016PA066187

15. Prokopiak, Marie. L'amélioration de la qualité rédactionnelle des textes législatifs. Approche comparée droit français - droit de l'Union européenne : The Improvement of the quality of drafting of degislative texts. Comparative study of french law and European Union Law.

Degree: Docteur es, Droit public, 2015, Limoges

La critique de la qualité rédactionnelle des textes législatifs s’est intensifiée depuis la fin des années quatre-vingt. Dans de nombreux systèmes juridiques nationaux comme dans… (more)

Subjects/Keywords: Loi; Qualité; Légistique formelle et matérielle; Sécurité juridique; Legislation; Quality; Formal and material legistic; Legal Security; 348

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Prokopiak, M. (2015). L'amélioration de la qualité rédactionnelle des textes législatifs. Approche comparée droit français - droit de l'Union européenne : The Improvement of the quality of drafting of degislative texts. Comparative study of french law and European Union Law. (Doctoral Dissertation). Limoges. Retrieved from http://www.theses.fr/2015LIMO0116

Chicago Manual of Style (16th Edition):

Prokopiak, Marie. “L'amélioration de la qualité rédactionnelle des textes législatifs. Approche comparée droit français - droit de l'Union européenne : The Improvement of the quality of drafting of degislative texts. Comparative study of french law and European Union Law.” 2015. Doctoral Dissertation, Limoges. Accessed January 22, 2020. http://www.theses.fr/2015LIMO0116.

MLA Handbook (7th Edition):

Prokopiak, Marie. “L'amélioration de la qualité rédactionnelle des textes législatifs. Approche comparée droit français - droit de l'Union européenne : The Improvement of the quality of drafting of degislative texts. Comparative study of french law and European Union Law.” 2015. Web. 22 Jan 2020.

Vancouver:

Prokopiak M. L'amélioration de la qualité rédactionnelle des textes législatifs. Approche comparée droit français - droit de l'Union européenne : The Improvement of the quality of drafting of degislative texts. Comparative study of french law and European Union Law. [Internet] [Doctoral dissertation]. Limoges; 2015. [cited 2020 Jan 22]. Available from: http://www.theses.fr/2015LIMO0116.

Council of Science Editors:

Prokopiak M. L'amélioration de la qualité rédactionnelle des textes législatifs. Approche comparée droit français - droit de l'Union européenne : The Improvement of the quality of drafting of degislative texts. Comparative study of french law and European Union Law. [Doctoral Dissertation]. Limoges; 2015. Available from: http://www.theses.fr/2015LIMO0116


Université du Québec à Montréal

16. Bézaire, Maryse. Portrait des activités technologiques réalisées pour soutenir l'apprentissage du français, en contextes universitaire et extra-universitaire, par des adultes suivant un cours de français langue seconde à l'université.

Degree: 2018, Université du Québec à Montréal

 Ce travail exploratoire souhaite contribuer à la recherche dans le domaine de la didactique des langues secondes (L2), domaine qui s'intéresse souvent aux nouvelles technologies,… (more)

Subjects/Keywords: Français (Langue seconde); Enseignement supérieur; Éducation non formelle; Enseignement assisté par ordinateur; Technologies de l'information et de la communication pour l'éducation

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Bézaire, M. (2018). Portrait des activités technologiques réalisées pour soutenir l'apprentissage du français, en contextes universitaire et extra-universitaire, par des adultes suivant un cours de français langue seconde à l'université. (Thesis). Université du Québec à Montréal. Retrieved from http://archipel.uqam.ca/12919/1/M15840.pdf

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Bézaire, Maryse. “Portrait des activités technologiques réalisées pour soutenir l'apprentissage du français, en contextes universitaire et extra-universitaire, par des adultes suivant un cours de français langue seconde à l'université.” 2018. Thesis, Université du Québec à Montréal. Accessed January 22, 2020. http://archipel.uqam.ca/12919/1/M15840.pdf.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Bézaire, Maryse. “Portrait des activités technologiques réalisées pour soutenir l'apprentissage du français, en contextes universitaire et extra-universitaire, par des adultes suivant un cours de français langue seconde à l'université.” 2018. Web. 22 Jan 2020.

Vancouver:

Bézaire M. Portrait des activités technologiques réalisées pour soutenir l'apprentissage du français, en contextes universitaire et extra-universitaire, par des adultes suivant un cours de français langue seconde à l'université. [Internet] [Thesis]. Université du Québec à Montréal; 2018. [cited 2020 Jan 22]. Available from: http://archipel.uqam.ca/12919/1/M15840.pdf.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Bézaire M. Portrait des activités technologiques réalisées pour soutenir l'apprentissage du français, en contextes universitaire et extra-universitaire, par des adultes suivant un cours de français langue seconde à l'université. [Thesis]. Université du Québec à Montréal; 2018. Available from: http://archipel.uqam.ca/12919/1/M15840.pdf

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

17. Clarke, Sean. Formal function and phrase structure in contemporary music : Pierre Boulez’s late solo works and Sean Clarke’s "Lucretia Overture" and "4 Impromptus" .

Degree: 2016, Université de Montréal

 Cette thèse présente une théorie de la fonction formelle et de la structure des phrases dans la musique contemporaine, théorie qui peut être utilisée aussi… (more)

Subjects/Keywords: Fonctions formelles; Structure des phrases; Projections temporelles; Organisation formelle soudée versus lâche; Pierre Boulez; Idées de base; Formal function; Phrase structure; Durational projections; Tight-knit vs. loose formal organization; Pierre Boulez; Basic ideas

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Clarke, S. (2016). Formal function and phrase structure in contemporary music : Pierre Boulez’s late solo works and Sean Clarke’s "Lucretia Overture" and "4 Impromptus" . (Thesis). Université de Montréal. Retrieved from http://hdl.handle.net/1866/15947

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Clarke, Sean. “Formal function and phrase structure in contemporary music : Pierre Boulez’s late solo works and Sean Clarke’s "Lucretia Overture" and "4 Impromptus" .” 2016. Thesis, Université de Montréal. Accessed January 22, 2020. http://hdl.handle.net/1866/15947.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Clarke, Sean. “Formal function and phrase structure in contemporary music : Pierre Boulez’s late solo works and Sean Clarke’s "Lucretia Overture" and "4 Impromptus" .” 2016. Web. 22 Jan 2020.

Vancouver:

Clarke S. Formal function and phrase structure in contemporary music : Pierre Boulez’s late solo works and Sean Clarke’s "Lucretia Overture" and "4 Impromptus" . [Internet] [Thesis]. Université de Montréal; 2016. [cited 2020 Jan 22]. Available from: http://hdl.handle.net/1866/15947.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Clarke S. Formal function and phrase structure in contemporary music : Pierre Boulez’s late solo works and Sean Clarke’s "Lucretia Overture" and "4 Impromptus" . [Thesis]. Université de Montréal; 2016. Available from: http://hdl.handle.net/1866/15947

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

18. Du, Yixiong. La transmission du patrimoine culturel immatériel par le biais de la formation : étude comparative du mode de formation professionnelle des artisans de la céramique en Chine et en France : Transmission of intangible cultural heritage through professional training : a comparative study on the mode of vocational training of ceramic craftsmen in China and France.

Degree: Docteur es, Sciences de l'éducation, 2017, Université Paris X – Nanterre

De nos jours, la transmission du patrimoine culturel immatériel reste une problématique internationale qui touche à la fois la question de conservation de notre passé… (more)

Subjects/Keywords: Patrimoine culturel immatériel; Transmission des savoirs; Étude comparative Chine et France; Artisanat de la céramique; Formation professionnelle; Formation formelle et non-Formelle; Safeguard of intangible; Knowledge transfer; Comparative study China-France; Ceramic artcraft; Vocational education and training; Formal and non-Formal training

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Du, Y. (2017). La transmission du patrimoine culturel immatériel par le biais de la formation : étude comparative du mode de formation professionnelle des artisans de la céramique en Chine et en France : Transmission of intangible cultural heritage through professional training : a comparative study on the mode of vocational training of ceramic craftsmen in China and France. (Doctoral Dissertation). Université Paris X – Nanterre. Retrieved from http://www.theses.fr/2017PA100193

Chicago Manual of Style (16th Edition):

Du, Yixiong. “La transmission du patrimoine culturel immatériel par le biais de la formation : étude comparative du mode de formation professionnelle des artisans de la céramique en Chine et en France : Transmission of intangible cultural heritage through professional training : a comparative study on the mode of vocational training of ceramic craftsmen in China and France.” 2017. Doctoral Dissertation, Université Paris X – Nanterre. Accessed January 22, 2020. http://www.theses.fr/2017PA100193.

MLA Handbook (7th Edition):

Du, Yixiong. “La transmission du patrimoine culturel immatériel par le biais de la formation : étude comparative du mode de formation professionnelle des artisans de la céramique en Chine et en France : Transmission of intangible cultural heritage through professional training : a comparative study on the mode of vocational training of ceramic craftsmen in China and France.” 2017. Web. 22 Jan 2020.

Vancouver:

Du Y. La transmission du patrimoine culturel immatériel par le biais de la formation : étude comparative du mode de formation professionnelle des artisans de la céramique en Chine et en France : Transmission of intangible cultural heritage through professional training : a comparative study on the mode of vocational training of ceramic craftsmen in China and France. [Internet] [Doctoral dissertation]. Université Paris X – Nanterre; 2017. [cited 2020 Jan 22]. Available from: http://www.theses.fr/2017PA100193.

Council of Science Editors:

Du Y. La transmission du patrimoine culturel immatériel par le biais de la formation : étude comparative du mode de formation professionnelle des artisans de la céramique en Chine et en France : Transmission of intangible cultural heritage through professional training : a comparative study on the mode of vocational training of ceramic craftsmen in China and France. [Doctoral Dissertation]. Université Paris X – Nanterre; 2017. Available from: http://www.theses.fr/2017PA100193


Université de Grenoble

19. Abdulahhad, Karam. Information retrieval modeling by logic and lattice : application to conceptual information retrieval : Modélisation de la recherche d'information par la logique et les treillis : application à la recherche d'information conceptuelle.

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

 Cette thèse se situe dans le contexte des modèles logique de Recherche d'Information (RI). Le travail présenté dans la thèse est principalement motivé par l'inexactitude… (more)

Subjects/Keywords: Recherche d'Information; Modèles logiques; Logique propositionnelle; Treillis; RI conceptuelle; Exhaustivité et spécificité; Information retrieval; Logic-based models; Propositional logic; Lattice theory; Conceptual IR; Exhaustivity and specificity; 004

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Abdulahhad, K. (2014). Information retrieval modeling by logic and lattice : application to conceptual information retrieval : Modélisation de la recherche d'information par la logique et les treillis : application à la recherche d'information conceptuelle. (Doctoral Dissertation). Université de Grenoble. Retrieved from http://www.theses.fr/2014GRENM014

Chicago Manual of Style (16th Edition):

Abdulahhad, Karam. “Information retrieval modeling by logic and lattice : application to conceptual information retrieval : Modélisation de la recherche d'information par la logique et les treillis : application à la recherche d'information conceptuelle.” 2014. Doctoral Dissertation, Université de Grenoble. Accessed January 22, 2020. http://www.theses.fr/2014GRENM014.

MLA Handbook (7th Edition):

Abdulahhad, Karam. “Information retrieval modeling by logic and lattice : application to conceptual information retrieval : Modélisation de la recherche d'information par la logique et les treillis : application à la recherche d'information conceptuelle.” 2014. Web. 22 Jan 2020.

Vancouver:

Abdulahhad K. Information retrieval modeling by logic and lattice : application to conceptual information retrieval : Modélisation de la recherche d'information par la logique et les treillis : application à la recherche d'information conceptuelle. [Internet] [Doctoral dissertation]. Université de Grenoble; 2014. [cited 2020 Jan 22]. Available from: http://www.theses.fr/2014GRENM014.

Council of Science Editors:

Abdulahhad K. Information retrieval modeling by logic and lattice : application to conceptual information retrieval : Modélisation de la recherche d'information par la logique et les treillis : application à la recherche d'information conceptuelle. [Doctoral Dissertation]. Université de Grenoble; 2014. Available from: http://www.theses.fr/2014GRENM014

20. Bouraoui, Zied. Inconsistency and uncertainty handling in lightweight description logics : Dynamique des croyances et gestion de l'incertitude dans des logiques de description légères DL-Lite.

Degree: Docteur es, Informatique, 2015, Université d'Artois

Cette thèse étudie la dynamique des croyances et la gestion de l’incertitude dans DL-Lite, une des plus importantes familles des logiques de description légères. La… (more)

Subjects/Keywords: Intelligence artificielle; Représentation des connaissances et raisonnements; Logiques de description; DL-Lite; Théorie de possibilités; Gestion de l'incertitude; Dynamique des croyances; 006.3

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Bouraoui, Z. (2015). Inconsistency and uncertainty handling in lightweight description logics : Dynamique des croyances et gestion de l'incertitude dans des logiques de description légères DL-Lite. (Doctoral Dissertation). Université d'Artois. Retrieved from http://www.theses.fr/2015ARTO0408

Chicago Manual of Style (16th Edition):

Bouraoui, Zied. “Inconsistency and uncertainty handling in lightweight description logics : Dynamique des croyances et gestion de l'incertitude dans des logiques de description légères DL-Lite.” 2015. Doctoral Dissertation, Université d'Artois. Accessed January 22, 2020. http://www.theses.fr/2015ARTO0408.

MLA Handbook (7th Edition):

Bouraoui, Zied. “Inconsistency and uncertainty handling in lightweight description logics : Dynamique des croyances et gestion de l'incertitude dans des logiques de description légères DL-Lite.” 2015. Web. 22 Jan 2020.

Vancouver:

Bouraoui Z. Inconsistency and uncertainty handling in lightweight description logics : Dynamique des croyances et gestion de l'incertitude dans des logiques de description légères DL-Lite. [Internet] [Doctoral dissertation]. Université d'Artois; 2015. [cited 2020 Jan 22]. Available from: http://www.theses.fr/2015ARTO0408.

Council of Science Editors:

Bouraoui Z. Inconsistency and uncertainty handling in lightweight description logics : Dynamique des croyances et gestion de l'incertitude dans des logiques de description légères DL-Lite. [Doctoral Dissertation]. Université d'Artois; 2015. Available from: http://www.theses.fr/2015ARTO0408

21. Moulié, Jean Gide. Divergences des univers psycho-culturels et formation des représentations sociales du Sida au Congo : Perceptions,presse et étudiants de Bayardelle : Psycho-cultural differences universe and formation of social representations of AIDS in Congo : Perceptions, press and students of Brazzaville.

Degree: Docteur es, Psychologie, 2016, Lyon

L’objet de la présente étude porte sur « Les divergences des univers psycho-culturels et la formation des représentations sociales du Sida au Congo : Perceptions,… (more)

Subjects/Keywords: Églises Catholique; Logiques Modernes; Pandémie; Presse congolaise; Représentations sociales; Traditionnalistes; Univers psycho-culturels et VIH/Sida; Catholic Churches; Modern Logics; Pandemic; Congolese press; Social

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Moulié, J. G. (2016). Divergences des univers psycho-culturels et formation des représentations sociales du Sida au Congo : Perceptions,presse et étudiants de Bayardelle : Psycho-cultural differences universe and formation of social representations of AIDS in Congo : Perceptions, press and students of Brazzaville. (Doctoral Dissertation). Lyon. Retrieved from http://www.theses.fr/2016LYSE2003

Chicago Manual of Style (16th Edition):

Moulié, Jean Gide. “Divergences des univers psycho-culturels et formation des représentations sociales du Sida au Congo : Perceptions,presse et étudiants de Bayardelle : Psycho-cultural differences universe and formation of social representations of AIDS in Congo : Perceptions, press and students of Brazzaville.” 2016. Doctoral Dissertation, Lyon. Accessed January 22, 2020. http://www.theses.fr/2016LYSE2003.

MLA Handbook (7th Edition):

Moulié, Jean Gide. “Divergences des univers psycho-culturels et formation des représentations sociales du Sida au Congo : Perceptions,presse et étudiants de Bayardelle : Psycho-cultural differences universe and formation of social representations of AIDS in Congo : Perceptions, press and students of Brazzaville.” 2016. Web. 22 Jan 2020.

Vancouver:

Moulié JG. Divergences des univers psycho-culturels et formation des représentations sociales du Sida au Congo : Perceptions,presse et étudiants de Bayardelle : Psycho-cultural differences universe and formation of social representations of AIDS in Congo : Perceptions, press and students of Brazzaville. [Internet] [Doctoral dissertation]. Lyon; 2016. [cited 2020 Jan 22]. Available from: http://www.theses.fr/2016LYSE2003.

Council of Science Editors:

Moulié JG. Divergences des univers psycho-culturels et formation des représentations sociales du Sida au Congo : Perceptions,presse et étudiants de Bayardelle : Psycho-cultural differences universe and formation of social representations of AIDS in Congo : Perceptions, press and students of Brazzaville. [Doctoral Dissertation]. Lyon; 2016. Available from: http://www.theses.fr/2016LYSE2003

22. Bourbousson, Céline. La "mise en dispositif" de réseaux territorialisés d'organisations : quel travail institutionnel à l'oeuvre ? : The adoption of a "dispositive" for territorial networks : which institutional work ?.

Degree: Docteur es, Sciences de Gestion, 2018, Aix Marseille Université

Notre recherche propose d’appréhender la « mise en dispositif », au sens de Foucault (1977), de projets de polarisation territoriale dans le champ de l’économie… (more)

Subjects/Keywords: Dispositif foucaldien; Travail institutionnel; Logiques institutionnelles; Économie sociale et solidaire; Pôle Territorial de Coopération Economique; Foucauldian dispositive; Institutional work; Institutional logics; Social economy; Territorial Cluster for Economic Cooperation

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Bourbousson, C. (2018). La "mise en dispositif" de réseaux territorialisés d'organisations : quel travail institutionnel à l'oeuvre ? : The adoption of a "dispositive" for territorial networks : which institutional work ?. (Doctoral Dissertation). Aix Marseille Université. Retrieved from http://www.theses.fr/2018AIXM0151

Chicago Manual of Style (16th Edition):

Bourbousson, Céline. “La "mise en dispositif" de réseaux territorialisés d'organisations : quel travail institutionnel à l'oeuvre ? : The adoption of a "dispositive" for territorial networks : which institutional work ?.” 2018. Doctoral Dissertation, Aix Marseille Université. Accessed January 22, 2020. http://www.theses.fr/2018AIXM0151.

MLA Handbook (7th Edition):

Bourbousson, Céline. “La "mise en dispositif" de réseaux territorialisés d'organisations : quel travail institutionnel à l'oeuvre ? : The adoption of a "dispositive" for territorial networks : which institutional work ?.” 2018. Web. 22 Jan 2020.

Vancouver:

Bourbousson C. La "mise en dispositif" de réseaux territorialisés d'organisations : quel travail institutionnel à l'oeuvre ? : The adoption of a "dispositive" for territorial networks : which institutional work ?. [Internet] [Doctoral dissertation]. Aix Marseille Université 2018. [cited 2020 Jan 22]. Available from: http://www.theses.fr/2018AIXM0151.

Council of Science Editors:

Bourbousson C. La "mise en dispositif" de réseaux territorialisés d'organisations : quel travail institutionnel à l'oeuvre ? : The adoption of a "dispositive" for territorial networks : which institutional work ?. [Doctoral Dissertation]. Aix Marseille Université 2018. Available from: http://www.theses.fr/2018AIXM0151

23. Zaraket, Jean Gerges. Étude de la fiabilité des structures silicium employées dans le domaine des énergies renouvelables suite à leur fonctionnement sous conditions extrêmes : Study of the reliability of silicon structures used in the field of renewable energy after their operation under extreme conditions.

Degree: Docteur es, Physique, 2017, Université de Lorraine; Université libanaise

Le travail de la thèse proposé consiste à étudier, caractériser et modéliser la performance et la fiabilité de composants semi-conducteurs sous conditions extrêmes c’est à… (more)

Subjects/Keywords: Cellules photovoltaïques; Contrainte thermique et électrique; Caractéristique (I(V), C(V)); Défauts profonds; DLTS; Photovoltaic cells; Thermal and electrical stress; Characteristic (I (V), C (V)); Defects; DLTS; 537.54; 621.381 542

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Zaraket, J. G. (2017). Étude de la fiabilité des structures silicium employées dans le domaine des énergies renouvelables suite à leur fonctionnement sous conditions extrêmes : Study of the reliability of silicon structures used in the field of renewable energy after their operation under extreme conditions. (Doctoral Dissertation). Université de Lorraine; Université libanaise. Retrieved from http://www.theses.fr/2017LORR0244

Chicago Manual of Style (16th Edition):

Zaraket, Jean Gerges. “Étude de la fiabilité des structures silicium employées dans le domaine des énergies renouvelables suite à leur fonctionnement sous conditions extrêmes : Study of the reliability of silicon structures used in the field of renewable energy after their operation under extreme conditions.” 2017. Doctoral Dissertation, Université de Lorraine; Université libanaise. Accessed January 22, 2020. http://www.theses.fr/2017LORR0244.

MLA Handbook (7th Edition):

Zaraket, Jean Gerges. “Étude de la fiabilité des structures silicium employées dans le domaine des énergies renouvelables suite à leur fonctionnement sous conditions extrêmes : Study of the reliability of silicon structures used in the field of renewable energy after their operation under extreme conditions.” 2017. Web. 22 Jan 2020.

Vancouver:

Zaraket JG. Étude de la fiabilité des structures silicium employées dans le domaine des énergies renouvelables suite à leur fonctionnement sous conditions extrêmes : Study of the reliability of silicon structures used in the field of renewable energy after their operation under extreme conditions. [Internet] [Doctoral dissertation]. Université de Lorraine; Université libanaise; 2017. [cited 2020 Jan 22]. Available from: http://www.theses.fr/2017LORR0244.

Council of Science Editors:

Zaraket JG. Étude de la fiabilité des structures silicium employées dans le domaine des énergies renouvelables suite à leur fonctionnement sous conditions extrêmes : Study of the reliability of silicon structures used in the field of renewable energy after their operation under extreme conditions. [Doctoral Dissertation]. Université de Lorraine; Université libanaise; 2017. Available from: http://www.theses.fr/2017LORR0244

24. Hamadouche, Samiya. Étude de la sécurité d’un vérifieur de byte code et génération de tests de vulnérabilité.

Degree: 2012, Université M'Hamed Bougara Boumerdès

121 p. , ill. , 30 cm

Les cartes à puce sont considérées comme étant des supports d’exécution d’applications et de stockage d’informations très sécurisés.… (more)

Subjects/Keywords: B (méthode formelle)

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Hamadouche, S. (2012). Étude de la sécurité d’un vérifieur de byte code et génération de tests de vulnérabilité. (Thesis). Université M'Hamed Bougara Boumerdès. Retrieved from http://dlibrary.univ-boumerdes.dz:8080/jspui/handle/123456789/887

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Hamadouche, Samiya. “Étude de la sécurité d’un vérifieur de byte code et génération de tests de vulnérabilité.” 2012. Thesis, Université M'Hamed Bougara Boumerdès. Accessed January 22, 2020. http://dlibrary.univ-boumerdes.dz:8080/jspui/handle/123456789/887.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Hamadouche, Samiya. “Étude de la sécurité d’un vérifieur de byte code et génération de tests de vulnérabilité.” 2012. Web. 22 Jan 2020.

Vancouver:

Hamadouche S. Étude de la sécurité d’un vérifieur de byte code et génération de tests de vulnérabilité. [Internet] [Thesis]. Université M'Hamed Bougara Boumerdès; 2012. [cited 2020 Jan 22]. Available from: http://dlibrary.univ-boumerdes.dz:8080/jspui/handle/123456789/887.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Hamadouche S. Étude de la sécurité d’un vérifieur de byte code et génération de tests de vulnérabilité. [Thesis]. Université M'Hamed Bougara Boumerdès; 2012. Available from: http://dlibrary.univ-boumerdes.dz:8080/jspui/handle/123456789/887

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

25. Hamadouche, Samiya. Étude de la sécurité d’un vérifieur de byte code et génération de tests de vulnérabilité.

Degree: 2012, Université M'Hamed Bougara Boumerdès

121 p. , ill. , 30 cm

Les cartes à puce sont considérées comme étant des supports d’exécution d’applications et de stockage d’informations très sécurisés.… (more)

Subjects/Keywords: B (méthode formelle)

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Hamadouche, S. (2012). Étude de la sécurité d’un vérifieur de byte code et génération de tests de vulnérabilité. (Thesis). Université M'Hamed Bougara Boumerdès. Retrieved from http://dlibrary.univ-boumerdes.dz:8080/jspui/handle/123456789/217

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Hamadouche, Samiya. “Étude de la sécurité d’un vérifieur de byte code et génération de tests de vulnérabilité.” 2012. Thesis, Université M'Hamed Bougara Boumerdès. Accessed January 22, 2020. http://dlibrary.univ-boumerdes.dz:8080/jspui/handle/123456789/217.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Hamadouche, Samiya. “Étude de la sécurité d’un vérifieur de byte code et génération de tests de vulnérabilité.” 2012. Web. 22 Jan 2020.

Vancouver:

Hamadouche S. Étude de la sécurité d’un vérifieur de byte code et génération de tests de vulnérabilité. [Internet] [Thesis]. Université M'Hamed Bougara Boumerdès; 2012. [cited 2020 Jan 22]. Available from: http://dlibrary.univ-boumerdes.dz:8080/jspui/handle/123456789/217.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Hamadouche S. Étude de la sécurité d’un vérifieur de byte code et génération de tests de vulnérabilité. [Thesis]. Université M'Hamed Bougara Boumerdès; 2012. Available from: http://dlibrary.univ-boumerdes.dz:8080/jspui/handle/123456789/217

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Université Catholique de Louvain

26. Kevers, Laurent. Accès sémantique aux bases de données documentaires : techniques symboliques de traitement automatique du langage pour l'indexation thématique et l'extraction d'informations temporelles.

Degree: 2011, Université Catholique de Louvain

Within our information society and economy, access to the growing bulk of electronic documents is a major concern. Surprisingly, information retrieval tools often only work… (more)

Subjects/Keywords: Recherche d'informations; Classification supervisée; Temporal adverbs; Multidimensional indexation; Thésaurus et ontologie; Extraction d'informations temporelles; Adverbes temporels; Indexation multidimensionnelle; Information retrieval; Supervised classification; Thesaurus and ontology; Temporal information extraction

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Kevers, L. (2011). Accès sémantique aux bases de données documentaires : techniques symboliques de traitement automatique du langage pour l'indexation thématique et l'extraction d'informations temporelles. (Thesis). Université Catholique de Louvain. Retrieved from http://hdl.handle.net/2078.1/69204

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Kevers, Laurent. “Accès sémantique aux bases de données documentaires : techniques symboliques de traitement automatique du langage pour l'indexation thématique et l'extraction d'informations temporelles.” 2011. Thesis, Université Catholique de Louvain. Accessed January 22, 2020. http://hdl.handle.net/2078.1/69204.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Kevers, Laurent. “Accès sémantique aux bases de données documentaires : techniques symboliques de traitement automatique du langage pour l'indexation thématique et l'extraction d'informations temporelles.” 2011. Web. 22 Jan 2020.

Vancouver:

Kevers L. Accès sémantique aux bases de données documentaires : techniques symboliques de traitement automatique du langage pour l'indexation thématique et l'extraction d'informations temporelles. [Internet] [Thesis]. Université Catholique de Louvain; 2011. [cited 2020 Jan 22]. Available from: http://hdl.handle.net/2078.1/69204.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Kevers L. Accès sémantique aux bases de données documentaires : techniques symboliques de traitement automatique du langage pour l'indexation thématique et l'extraction d'informations temporelles. [Thesis]. Université Catholique de Louvain; 2011. Available from: http://hdl.handle.net/2078.1/69204

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

27. Dachraoui, Asma. Cost-Sensitive Early classification of Time Series : Classification précoce de séries temporelles lorsque reporter la décision est coûteux.

Degree: Docteur es, Informatique appliquée, 2017, Paris Saclay

Dans de nombreux domaines dans lesquels les mesures ou les données sont disponibles séquentiellement, il est important de savoir décider le plus tôt possible, même… (more)

Subjects/Keywords: Classification précoce; Séries temporelles; Décision adaptative et non myope; Coûts d'attente de décision; Early classification; Time series; Adaptive and non-Myopic decision making; Costly delaying decision; 610.28

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Dachraoui, A. (2017). Cost-Sensitive Early classification of Time Series : Classification précoce de séries temporelles lorsque reporter la décision est coûteux. (Doctoral Dissertation). Paris Saclay. Retrieved from http://www.theses.fr/2017SACLA002

Chicago Manual of Style (16th Edition):

Dachraoui, Asma. “Cost-Sensitive Early classification of Time Series : Classification précoce de séries temporelles lorsque reporter la décision est coûteux.” 2017. Doctoral Dissertation, Paris Saclay. Accessed January 22, 2020. http://www.theses.fr/2017SACLA002.

MLA Handbook (7th Edition):

Dachraoui, Asma. “Cost-Sensitive Early classification of Time Series : Classification précoce de séries temporelles lorsque reporter la décision est coûteux.” 2017. Web. 22 Jan 2020.

Vancouver:

Dachraoui A. Cost-Sensitive Early classification of Time Series : Classification précoce de séries temporelles lorsque reporter la décision est coûteux. [Internet] [Doctoral dissertation]. Paris Saclay; 2017. [cited 2020 Jan 22]. Available from: http://www.theses.fr/2017SACLA002.

Council of Science Editors:

Dachraoui A. Cost-Sensitive Early classification of Time Series : Classification précoce de séries temporelles lorsque reporter la décision est coûteux. [Doctoral Dissertation]. Paris Saclay; 2017. Available from: http://www.theses.fr/2017SACLA002

28. Cordi, Marcus. Causalité des marchés financiers : asymétrie temporelle et réseaux multi-échelles de meneurs et suiveurs : Causality in financial markets : time reversal asymmetry and multi-scale lead-lag networks.

Degree: Docteur es, Mathématiques appliquées, 2019, Paris Saclay

 Cette thèse a pour but d’explorer la structure de causalité qui sous-tend les marchés financiers. Elle se concentre sur l’inférence multi-échelle de réseaux de causalité… (more)

Subjects/Keywords: Processus de Hawkes; Asymétrie temporelles; Réseaux validés statistiquement; Réseaux de meneurs et suiveurs; Hawkes process; Time reversal asymmetry; Statistically validated networks; Lead-Lag networks

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Cordi, M. (2019). Causalité des marchés financiers : asymétrie temporelle et réseaux multi-échelles de meneurs et suiveurs : Causality in financial markets : time reversal asymmetry and multi-scale lead-lag networks. (Doctoral Dissertation). Paris Saclay. Retrieved from http://www.theses.fr/2019SACLC013

Chicago Manual of Style (16th Edition):

Cordi, Marcus. “Causalité des marchés financiers : asymétrie temporelle et réseaux multi-échelles de meneurs et suiveurs : Causality in financial markets : time reversal asymmetry and multi-scale lead-lag networks.” 2019. Doctoral Dissertation, Paris Saclay. Accessed January 22, 2020. http://www.theses.fr/2019SACLC013.

MLA Handbook (7th Edition):

Cordi, Marcus. “Causalité des marchés financiers : asymétrie temporelle et réseaux multi-échelles de meneurs et suiveurs : Causality in financial markets : time reversal asymmetry and multi-scale lead-lag networks.” 2019. Web. 22 Jan 2020.

Vancouver:

Cordi M. Causalité des marchés financiers : asymétrie temporelle et réseaux multi-échelles de meneurs et suiveurs : Causality in financial markets : time reversal asymmetry and multi-scale lead-lag networks. [Internet] [Doctoral dissertation]. Paris Saclay; 2019. [cited 2020 Jan 22]. Available from: http://www.theses.fr/2019SACLC013.

Council of Science Editors:

Cordi M. Causalité des marchés financiers : asymétrie temporelle et réseaux multi-échelles de meneurs et suiveurs : Causality in financial markets : time reversal asymmetry and multi-scale lead-lag networks. [Doctoral Dissertation]. Paris Saclay; 2019. Available from: http://www.theses.fr/2019SACLC013

29. Moussa, Ahmad. Pour une cohérence du résultat d'un opérateur dans un contexte spatial, temporel et alphanumérique : Towards a coherency of the data model associated with the result of an operator in a spatial, temporal and alphanumerical context.

Degree: Docteur es, Informatique, 2018, Normandie

L'information géographique peut être perçue selon trois dimensions : une dimension spatiale (e.g., ville), une dimension temporelle (e.g., date) et une dimension alphanumérique (e.g., population).… (more)

Subjects/Keywords: Cohérence de données; Informations géographiques et temporelles; Manipulation de données; Liaison sémantique; Data coherency; Geographical and temporal information; Data manipulation; Semantic link

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Moussa, A. (2018). Pour une cohérence du résultat d'un opérateur dans un contexte spatial, temporel et alphanumérique : Towards a coherency of the data model associated with the result of an operator in a spatial, temporal and alphanumerical context. (Doctoral Dissertation). Normandie. Retrieved from http://www.theses.fr/2018NORMIR31

Chicago Manual of Style (16th Edition):

Moussa, Ahmad. “Pour une cohérence du résultat d'un opérateur dans un contexte spatial, temporel et alphanumérique : Towards a coherency of the data model associated with the result of an operator in a spatial, temporal and alphanumerical context.” 2018. Doctoral Dissertation, Normandie. Accessed January 22, 2020. http://www.theses.fr/2018NORMIR31.

MLA Handbook (7th Edition):

Moussa, Ahmad. “Pour une cohérence du résultat d'un opérateur dans un contexte spatial, temporel et alphanumérique : Towards a coherency of the data model associated with the result of an operator in a spatial, temporal and alphanumerical context.” 2018. Web. 22 Jan 2020.

Vancouver:

Moussa A. Pour une cohérence du résultat d'un opérateur dans un contexte spatial, temporel et alphanumérique : Towards a coherency of the data model associated with the result of an operator in a spatial, temporal and alphanumerical context. [Internet] [Doctoral dissertation]. Normandie; 2018. [cited 2020 Jan 22]. Available from: http://www.theses.fr/2018NORMIR31.

Council of Science Editors:

Moussa A. Pour une cohérence du résultat d'un opérateur dans un contexte spatial, temporel et alphanumérique : Towards a coherency of the data model associated with the result of an operator in a spatial, temporal and alphanumerical context. [Doctoral Dissertation]. Normandie; 2018. Available from: http://www.theses.fr/2018NORMIR31


Université de Bordeaux I

30. Bourreau, Pierre. Jeux de typage et analyse de lambda-grammaires non-contextuelles : Elaboration, characterization and modelling of conduction mechanisms in anionic and protonic conducting ceramic materials.

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

Les grammaires catégorielles abstraites (ou λ-grammaires) sont un formalisme basé sur le λ-calcul simplement typé. Elles peuvent être vues comme des grammaires générant de tels… (more)

Subjects/Keywords: Lambda-calcul; Linguistique formelle; Analyse et génération de langage; Datalog; Sémantique des jeux; Lambda calculus; Formal linguistic; Natural language parsing and generation; Datalog; Game semantics

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Bourreau, P. (2012). Jeux de typage et analyse de lambda-grammaires non-contextuelles : Elaboration, characterization and modelling of conduction mechanisms in anionic and protonic conducting ceramic materials. (Doctoral Dissertation). Université de Bordeaux I. Retrieved from http://www.theses.fr/2012BOR14538

Chicago Manual of Style (16th Edition):

Bourreau, Pierre. “Jeux de typage et analyse de lambda-grammaires non-contextuelles : Elaboration, characterization and modelling of conduction mechanisms in anionic and protonic conducting ceramic materials.” 2012. Doctoral Dissertation, Université de Bordeaux I. Accessed January 22, 2020. http://www.theses.fr/2012BOR14538.

MLA Handbook (7th Edition):

Bourreau, Pierre. “Jeux de typage et analyse de lambda-grammaires non-contextuelles : Elaboration, characterization and modelling of conduction mechanisms in anionic and protonic conducting ceramic materials.” 2012. Web. 22 Jan 2020.

Vancouver:

Bourreau P. Jeux de typage et analyse de lambda-grammaires non-contextuelles : Elaboration, characterization and modelling of conduction mechanisms in anionic and protonic conducting ceramic materials. [Internet] [Doctoral dissertation]. Université de Bordeaux I; 2012. [cited 2020 Jan 22]. Available from: http://www.theses.fr/2012BOR14538.

Council of Science Editors:

Bourreau P. Jeux de typage et analyse de lambda-grammaires non-contextuelles : Elaboration, characterization and modelling of conduction mechanisms in anionic and protonic conducting ceramic materials. [Doctoral Dissertation]. Université de Bordeaux I; 2012. Available from: http://www.theses.fr/2012BOR14538

[1] [2] [3] [4] [5] … [634]

.