Advanced search options

Advanced Search Options 🞨

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

Find ETDs with:

in
/  
in
/  
in
/  
in

Written in Published in Earliest date Latest date

Sorted by

Results per page:

Sorted by: relevance · author · university · dateNew search

Dept: Informatique

You searched for subject:(Variable order Markov Model). Showing records 1 – 30 of 457 total matches.

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

Search Limiters

Last 2 Years | English Only

Languages

▼ Search Limiters

1. Lefaucheux, Engel. Controlling information in probalistic systems : Le contrôle de l'information dans les systèmes probabilistes.

Degree: Docteur es, Informatique, 2018, Rennes 1

Le contrôle de l'information émise par un système a vu son utilité grandir avec la multiplication des systèmes communicants. Ce contrôle peut être réalisé par… (more)

Subjects/Keywords: Vérification de modèles; Systèmes probabilistes; Diagnostic; Chaînes de Markov; Model checking; Probabilistic system; Markov chains

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Lefaucheux, E. (2018). Controlling information in probalistic systems : Le contrôle de l'information dans les systèmes probabilistes. (Doctoral Dissertation). Rennes 1. Retrieved from http://www.theses.fr/2018REN1S057

Chicago Manual of Style (16th Edition):

Lefaucheux, Engel. “Controlling information in probalistic systems : Le contrôle de l'information dans les systèmes probabilistes.” 2018. Doctoral Dissertation, Rennes 1. Accessed November 13, 2019. http://www.theses.fr/2018REN1S057.

MLA Handbook (7th Edition):

Lefaucheux, Engel. “Controlling information in probalistic systems : Le contrôle de l'information dans les systèmes probabilistes.” 2018. Web. 13 Nov 2019.

Vancouver:

Lefaucheux E. Controlling information in probalistic systems : Le contrôle de l'information dans les systèmes probabilistes. [Internet] [Doctoral dissertation]. Rennes 1; 2018. [cited 2019 Nov 13]. Available from: http://www.theses.fr/2018REN1S057.

Council of Science Editors:

Lefaucheux E. Controlling information in probalistic systems : Le contrôle de l'information dans les systèmes probabilistes. [Doctoral Dissertation]. Rennes 1; 2018. Available from: http://www.theses.fr/2018REN1S057

2. Françoise, Jules. Motion-sound Mapping By Demonstration : Apprentissage des Relations entre Mouvement et Son par Démonstration.

Degree: Docteur es, Informatique, 2015, Université Pierre et Marie Curie – Paris VI

Le design du mapping (ou couplage) entre mouvement et son est essentiel à la création de systèmes interactifs sonores et musicaux. Cette thèse propose une… (more)

Subjects/Keywords: Interaction; Apprentissage automatique; Design sonore; Musique; Modèles de markov cachés; Son; Mapping mouvement-son; Mapping-by-Demonstration; Hidden Markov Model; 004

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Françoise, J. (2015). Motion-sound Mapping By Demonstration : Apprentissage des Relations entre Mouvement et Son par Démonstration. (Doctoral Dissertation). Université Pierre et Marie Curie – Paris VI. Retrieved from http://www.theses.fr/2015PA066105

Chicago Manual of Style (16th Edition):

Françoise, Jules. “Motion-sound Mapping By Demonstration : Apprentissage des Relations entre Mouvement et Son par Démonstration.” 2015. Doctoral Dissertation, Université Pierre et Marie Curie – Paris VI. Accessed November 13, 2019. http://www.theses.fr/2015PA066105.

MLA Handbook (7th Edition):

Françoise, Jules. “Motion-sound Mapping By Demonstration : Apprentissage des Relations entre Mouvement et Son par Démonstration.” 2015. Web. 13 Nov 2019.

Vancouver:

Françoise J. Motion-sound Mapping By Demonstration : Apprentissage des Relations entre Mouvement et Son par Démonstration. [Internet] [Doctoral dissertation]. Université Pierre et Marie Curie – Paris VI; 2015. [cited 2019 Nov 13]. Available from: http://www.theses.fr/2015PA066105.

Council of Science Editors:

Françoise J. Motion-sound Mapping By Demonstration : Apprentissage des Relations entre Mouvement et Son par Démonstration. [Doctoral Dissertation]. Université Pierre et Marie Curie – Paris VI; 2015. Available from: http://www.theses.fr/2015PA066105

3. Mouawad, Pauline. Modeling and predicting affect in audio signals : perspectives from acoustics and chaotic dynamics : Modelisation de l'affect dans le son : perspectives de l'acoustique et de la dynamique chaotique.

Degree: Docteur es, Informatique, 2017, Bordeaux

 La présente thèse décrit un projet de recherche multidisciplinaire qui porte sur la reconnaissance de l’émotion dans les sons, couvrant les théories psychologiques, l’analyse du… (more)

Subjects/Keywords: Sons non-verbaux; Analyse acoustique; Apprentissage automatique; Réseau de neurones; Non-verbal sounds; Acoustic analysis; Machine learning; Neural networks; Chaotic dynamics; Embedding; Variable Markov Oracle; Symbolization; Dynamical invariants

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Mouawad, P. (2017). Modeling and predicting affect in audio signals : perspectives from acoustics and chaotic dynamics : Modelisation de l'affect dans le son : perspectives de l'acoustique et de la dynamique chaotique. (Doctoral Dissertation). Bordeaux. Retrieved from http://www.theses.fr/2017BORD0627

Chicago Manual of Style (16th Edition):

Mouawad, Pauline. “Modeling and predicting affect in audio signals : perspectives from acoustics and chaotic dynamics : Modelisation de l'affect dans le son : perspectives de l'acoustique et de la dynamique chaotique.” 2017. Doctoral Dissertation, Bordeaux. Accessed November 13, 2019. http://www.theses.fr/2017BORD0627.

MLA Handbook (7th Edition):

Mouawad, Pauline. “Modeling and predicting affect in audio signals : perspectives from acoustics and chaotic dynamics : Modelisation de l'affect dans le son : perspectives de l'acoustique et de la dynamique chaotique.” 2017. Web. 13 Nov 2019.

Vancouver:

Mouawad P. Modeling and predicting affect in audio signals : perspectives from acoustics and chaotic dynamics : Modelisation de l'affect dans le son : perspectives de l'acoustique et de la dynamique chaotique. [Internet] [Doctoral dissertation]. Bordeaux; 2017. [cited 2019 Nov 13]. Available from: http://www.theses.fr/2017BORD0627.

Council of Science Editors:

Mouawad P. Modeling and predicting affect in audio signals : perspectives from acoustics and chaotic dynamics : Modelisation de l'affect dans le son : perspectives de l'acoustique et de la dynamique chaotique. [Doctoral Dissertation]. Bordeaux; 2017. Available from: http://www.theses.fr/2017BORD0627

4. Laurent, Yoann. Alloy4PV : un Framework pour la Vérification de Procédés Métiers : Alloy4PV : a Framework for Business Process Verification.

Degree: Docteur es, Informatique, 2015, Université Pierre et Marie Curie – Paris VI

Dans cette thèse, nous avons tout d'abord fait une étude de l'état de l'art dans les différents domaines des procédés (métier, logiciel, militaire, médical, etc)… (more)

Subjects/Keywords: Procédés; Métiers; Vérification; Model-Checking; Alloy; Logique de premier-Ordre; First-order logic; Business; 004

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Laurent, Y. (2015). Alloy4PV : un Framework pour la Vérification de Procédés Métiers : Alloy4PV : a Framework for Business Process Verification. (Doctoral Dissertation). Université Pierre et Marie Curie – Paris VI. Retrieved from http://www.theses.fr/2015PA066024

Chicago Manual of Style (16th Edition):

Laurent, Yoann. “Alloy4PV : un Framework pour la Vérification de Procédés Métiers : Alloy4PV : a Framework for Business Process Verification.” 2015. Doctoral Dissertation, Université Pierre et Marie Curie – Paris VI. Accessed November 13, 2019. http://www.theses.fr/2015PA066024.

MLA Handbook (7th Edition):

Laurent, Yoann. “Alloy4PV : un Framework pour la Vérification de Procédés Métiers : Alloy4PV : a Framework for Business Process Verification.” 2015. Web. 13 Nov 2019.

Vancouver:

Laurent Y. Alloy4PV : un Framework pour la Vérification de Procédés Métiers : Alloy4PV : a Framework for Business Process Verification. [Internet] [Doctoral dissertation]. Université Pierre et Marie Curie – Paris VI; 2015. [cited 2019 Nov 13]. Available from: http://www.theses.fr/2015PA066024.

Council of Science Editors:

Laurent Y. Alloy4PV : un Framework pour la Vérification de Procédés Métiers : Alloy4PV : a Framework for Business Process Verification. [Doctoral Dissertation]. Université Pierre et Marie Curie – Paris VI; 2015. Available from: http://www.theses.fr/2015PA066024

5. Zheng, Fei. Learning and smoothing in switching Markov models with copulas : The question of humanism in the Liber de Sapiente of Charles de Bovelles (1479-1566).

Degree: Docteur es, Informatique, 2017, Lyon

Les modèles de Markov à sauts (appelés JMS pour Jump Markov System) sont utilisés dans de nombreux domaines tels que la poursuite de cibles, le… (more)

Subjects/Keywords: Modèles de Markov à sauts; Systèmes non-linéaires et non-gaussiens; Chaîne de Markov triplet; Identification de modèles; Restauration optimale de séries temporelles de données; Algorithme espérance-maximisation; Switching Markov models; Non-Gaussian non-linear Markov system; Triplet Markov chain; Model identification; Optimal time series data restoration; Expectation-Maximization

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Zheng, F. (2017). Learning and smoothing in switching Markov models with copulas : The question of humanism in the Liber de Sapiente of Charles de Bovelles (1479-1566). (Doctoral Dissertation). Lyon. Retrieved from http://www.theses.fr/2017LYSEC066

Chicago Manual of Style (16th Edition):

Zheng, Fei. “Learning and smoothing in switching Markov models with copulas : The question of humanism in the Liber de Sapiente of Charles de Bovelles (1479-1566).” 2017. Doctoral Dissertation, Lyon. Accessed November 13, 2019. http://www.theses.fr/2017LYSEC066.

MLA Handbook (7th Edition):

Zheng, Fei. “Learning and smoothing in switching Markov models with copulas : The question of humanism in the Liber de Sapiente of Charles de Bovelles (1479-1566).” 2017. Web. 13 Nov 2019.

Vancouver:

Zheng F. Learning and smoothing in switching Markov models with copulas : The question of humanism in the Liber de Sapiente of Charles de Bovelles (1479-1566). [Internet] [Doctoral dissertation]. Lyon; 2017. [cited 2019 Nov 13]. Available from: http://www.theses.fr/2017LYSEC066.

Council of Science Editors:

Zheng F. Learning and smoothing in switching Markov models with copulas : The question of humanism in the Liber de Sapiente of Charles de Bovelles (1479-1566). [Doctoral Dissertation]. Lyon; 2017. Available from: http://www.theses.fr/2017LYSEC066

6. Grave, Edouard. A Markovian approach to distributional semantics : Une approche Markovienne à la sémantique distributionnelle.

Degree: Docteur es, Informatique, 2014, Université Pierre et Marie Curie – Paris VI

Cette thèse, organisée en deux parties indépendantes, a pour objet la sémantique distributionnelle et la sélection de variables. Dans la première partie, nous introduisons une… (more)

Subjects/Keywords: Sémantique distributionnelle; Modèle de Markov caché; Arbre de dépendance; Représentation de mots; Sélection de variables; Trace Lasso; Distributional semantics; Hidden Markov model; 004

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Grave, E. (2014). A Markovian approach to distributional semantics : Une approche Markovienne à la sémantique distributionnelle. (Doctoral Dissertation). Université Pierre et Marie Curie – Paris VI. Retrieved from http://www.theses.fr/2014PA066002

Chicago Manual of Style (16th Edition):

Grave, Edouard. “A Markovian approach to distributional semantics : Une approche Markovienne à la sémantique distributionnelle.” 2014. Doctoral Dissertation, Université Pierre et Marie Curie – Paris VI. Accessed November 13, 2019. http://www.theses.fr/2014PA066002.

MLA Handbook (7th Edition):

Grave, Edouard. “A Markovian approach to distributional semantics : Une approche Markovienne à la sémantique distributionnelle.” 2014. Web. 13 Nov 2019.

Vancouver:

Grave E. A Markovian approach to distributional semantics : Une approche Markovienne à la sémantique distributionnelle. [Internet] [Doctoral dissertation]. Université Pierre et Marie Curie – Paris VI; 2014. [cited 2019 Nov 13]. Available from: http://www.theses.fr/2014PA066002.

Council of Science Editors:

Grave E. A Markovian approach to distributional semantics : Une approche Markovienne à la sémantique distributionnelle. [Doctoral Dissertation]. Université Pierre et Marie Curie – Paris VI; 2014. Available from: http://www.theses.fr/2014PA066002

7. Essid, Houcine. Modélisation spatio-temporelle à base de modèles de Markov cachés pour la prévision des changements en imagerie satellitaire : cas de la végétation et de l'urbain : Spatio-temporal modelling based on hidden Markov models for predicting changes in satellite imagery : the case of vegetation and urban areas.

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

Les séries temporelles d'images satellitaires sont une source d'information importante pour le suivi des changements spatio-temporels des surfaces terrestres. En outre, le nombre d’images est… (more)

Subjects/Keywords: Télédétection; Analyse spatio-temporelle; Modèle de Markov caché; Descripteurs d’images; Imagerie satellitaire; Remote sensing; Spatiotemporal analysis; Hidden Markov model; Image descriptors; Satellite image

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Essid, H. (2012). Modélisation spatio-temporelle à base de modèles de Markov cachés pour la prévision des changements en imagerie satellitaire : cas de la végétation et de l'urbain : Spatio-temporal modelling based on hidden Markov models for predicting changes in satellite imagery : the case of vegetation and urban areas. (Doctoral Dissertation). Université Blaise-Pascale, Clermont-Ferrand II. Retrieved from http://www.theses.fr/2012CLF22317

Chicago Manual of Style (16th Edition):

Essid, Houcine. “Modélisation spatio-temporelle à base de modèles de Markov cachés pour la prévision des changements en imagerie satellitaire : cas de la végétation et de l'urbain : Spatio-temporal modelling based on hidden Markov models for predicting changes in satellite imagery : the case of vegetation and urban areas.” 2012. Doctoral Dissertation, Université Blaise-Pascale, Clermont-Ferrand II. Accessed November 13, 2019. http://www.theses.fr/2012CLF22317.

MLA Handbook (7th Edition):

Essid, Houcine. “Modélisation spatio-temporelle à base de modèles de Markov cachés pour la prévision des changements en imagerie satellitaire : cas de la végétation et de l'urbain : Spatio-temporal modelling based on hidden Markov models for predicting changes in satellite imagery : the case of vegetation and urban areas.” 2012. Web. 13 Nov 2019.

Vancouver:

Essid H. Modélisation spatio-temporelle à base de modèles de Markov cachés pour la prévision des changements en imagerie satellitaire : cas de la végétation et de l'urbain : Spatio-temporal modelling based on hidden Markov models for predicting changes in satellite imagery : the case of vegetation and urban areas. [Internet] [Doctoral dissertation]. Université Blaise-Pascale, Clermont-Ferrand II; 2012. [cited 2019 Nov 13]. Available from: http://www.theses.fr/2012CLF22317.

Council of Science Editors:

Essid H. Modélisation spatio-temporelle à base de modèles de Markov cachés pour la prévision des changements en imagerie satellitaire : cas de la végétation et de l'urbain : Spatio-temporal modelling based on hidden Markov models for predicting changes in satellite imagery : the case of vegetation and urban areas. [Doctoral Dissertation]. Université Blaise-Pascale, Clermont-Ferrand II; 2012. Available from: http://www.theses.fr/2012CLF22317


Université de Lorraine

8. Dubois, Amandine. Mesure de la fragilité et détection de chutes pour le maintien à domicile des personnes âgées : Measure of frailty and fall detection for helping elderly people to stay at home.

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

Le vieillissement de la population est un enjeu majeur pour les prochaines années en raison, notamment, de l'augmentation du nombre de personnes dépendantes. La question… (more)

Subjects/Keywords: Caméra de profondeur; Modèle de Markov caché; Reconnaissance d'activité; Analyse de la marche; Depth camera; Hidden Markov Model; Activity recognition; Gait analysis; 006.3

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Dubois, A. (2014). Mesure de la fragilité et détection de chutes pour le maintien à domicile des personnes âgées : Measure of frailty and fall detection for helping elderly people to stay at home. (Doctoral Dissertation). Université de Lorraine. Retrieved from http://www.theses.fr/2014LORR0095

Chicago Manual of Style (16th Edition):

Dubois, Amandine. “Mesure de la fragilité et détection de chutes pour le maintien à domicile des personnes âgées : Measure of frailty and fall detection for helping elderly people to stay at home.” 2014. Doctoral Dissertation, Université de Lorraine. Accessed November 13, 2019. http://www.theses.fr/2014LORR0095.

MLA Handbook (7th Edition):

Dubois, Amandine. “Mesure de la fragilité et détection de chutes pour le maintien à domicile des personnes âgées : Measure of frailty and fall detection for helping elderly people to stay at home.” 2014. Web. 13 Nov 2019.

Vancouver:

Dubois A. Mesure de la fragilité et détection de chutes pour le maintien à domicile des personnes âgées : Measure of frailty and fall detection for helping elderly people to stay at home. [Internet] [Doctoral dissertation]. Université de Lorraine; 2014. [cited 2019 Nov 13]. Available from: http://www.theses.fr/2014LORR0095.

Council of Science Editors:

Dubois A. Mesure de la fragilité et détection de chutes pour le maintien à domicile des personnes âgées : Measure of frailty and fall detection for helping elderly people to stay at home. [Doctoral Dissertation]. Université de Lorraine; 2014. Available from: http://www.theses.fr/2014LORR0095


Université de Lorraine

9. Dib, Abdallah. Vers un système de capture du mouvement humain en 3D pour un robot mobile évoluant dans un environnement encombré : Toward a motion capture system in 3D for a mobile robot moving in a cluttered environment.

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

Dans cette thèse nous intéressons à la conception d'un robot mobile capable d’analyser le comportement et le mouvement d’une personne en environnement intérieur et encombré,… (more)

Subjects/Keywords: Capture de mouvement; Odométrie visuelle; Filtrage particulaire; Modèle de Markov Caché; Caméra RGB-D; Motion capture; Visual odometry; Particle filter; Hidden Markov Model; RGB-D camera; Optical flow; 681.75; 006.33

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Dib, A. (2016). Vers un système de capture du mouvement humain en 3D pour un robot mobile évoluant dans un environnement encombré : Toward a motion capture system in 3D for a mobile robot moving in a cluttered environment. (Doctoral Dissertation). Université de Lorraine. Retrieved from http://www.theses.fr/2016LORR0045

Chicago Manual of Style (16th Edition):

Dib, Abdallah. “Vers un système de capture du mouvement humain en 3D pour un robot mobile évoluant dans un environnement encombré : Toward a motion capture system in 3D for a mobile robot moving in a cluttered environment.” 2016. Doctoral Dissertation, Université de Lorraine. Accessed November 13, 2019. http://www.theses.fr/2016LORR0045.

MLA Handbook (7th Edition):

Dib, Abdallah. “Vers un système de capture du mouvement humain en 3D pour un robot mobile évoluant dans un environnement encombré : Toward a motion capture system in 3D for a mobile robot moving in a cluttered environment.” 2016. Web. 13 Nov 2019.

Vancouver:

Dib A. Vers un système de capture du mouvement humain en 3D pour un robot mobile évoluant dans un environnement encombré : Toward a motion capture system in 3D for a mobile robot moving in a cluttered environment. [Internet] [Doctoral dissertation]. Université de Lorraine; 2016. [cited 2019 Nov 13]. Available from: http://www.theses.fr/2016LORR0045.

Council of Science Editors:

Dib A. Vers un système de capture du mouvement humain en 3D pour un robot mobile évoluant dans un environnement encombré : Toward a motion capture system in 3D for a mobile robot moving in a cluttered environment. [Doctoral Dissertation]. Université de Lorraine; 2016. Available from: http://www.theses.fr/2016LORR0045

10. Houmani, Nesma. Analyse de la qualité des signatures manuscrites en-ligne par la mesure d'entropie : Quality analysis of online signatures based on entropy measure.

Degree: Docteur es, Informatique, 2011, Evry, Institut national des télécommunications

 Cette thèse s'inscrit dans le contexte de la vérification d'identité par la signature manuscrite en-ligne. Notre travail concerne plus particulièrement la recherche de nouvelles mesures… (more)

Subjects/Keywords: Biométrie; Signature en-ligne; Système de vérification; Bases de signature; Modèles de Markov cachés; Biometry; Online signature; Verification systems; Hidden Markov model

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Houmani, N. (2011). Analyse de la qualité des signatures manuscrites en-ligne par la mesure d'entropie : Quality analysis of online signatures based on entropy measure. (Doctoral Dissertation). Evry, Institut national des télécommunications. Retrieved from http://www.theses.fr/2011TELE0004

Chicago Manual of Style (16th Edition):

Houmani, Nesma. “Analyse de la qualité des signatures manuscrites en-ligne par la mesure d'entropie : Quality analysis of online signatures based on entropy measure.” 2011. Doctoral Dissertation, Evry, Institut national des télécommunications. Accessed November 13, 2019. http://www.theses.fr/2011TELE0004.

MLA Handbook (7th Edition):

Houmani, Nesma. “Analyse de la qualité des signatures manuscrites en-ligne par la mesure d'entropie : Quality analysis of online signatures based on entropy measure.” 2011. Web. 13 Nov 2019.

Vancouver:

Houmani N. Analyse de la qualité des signatures manuscrites en-ligne par la mesure d'entropie : Quality analysis of online signatures based on entropy measure. [Internet] [Doctoral dissertation]. Evry, Institut national des télécommunications; 2011. [cited 2019 Nov 13]. Available from: http://www.theses.fr/2011TELE0004.

Council of Science Editors:

Houmani N. Analyse de la qualité des signatures manuscrites en-ligne par la mesure d'entropie : Quality analysis of online signatures based on entropy measure. [Doctoral Dissertation]. Evry, Institut national des télécommunications; 2011. Available from: http://www.theses.fr/2011TELE0004

11. Abo, Robert. Approches formelles pour l'analyse de la performabilité des systèmes communicants mobiles : Applications aux réseaux de capteurs sans fil : Formal approaches for performability analysis of communicating systems : an application to wireless sensor networks.

Degree: Docteur es, Informatique, 2011, Paris, CNAM

Nous nous intéressons à l'analyse des exigences de performabilité des systèmes communicants mobiles par model checking. Nous modélisons ces systèmes à l'aide d'un formalisme de… (more)

Subjects/Keywords: Systèmes communicants mobiles; Performabilité; Méthodes formelles; Algèbres de processus; Model checking; Chaînes de Markov; Automates temporisés probabilistes; Prism; Mobile communicating systems; Performability; Formal methods; Process algebra; Model checking; Markov chains; Probabilistic timed automata; Prism; 004.68

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Abo, R. (2011). Approches formelles pour l'analyse de la performabilité des systèmes communicants mobiles : Applications aux réseaux de capteurs sans fil : Formal approaches for performability analysis of communicating systems : an application to wireless sensor networks. (Doctoral Dissertation). Paris, CNAM. Retrieved from http://www.theses.fr/2011CNAM0822

Chicago Manual of Style (16th Edition):

Abo, Robert. “Approches formelles pour l'analyse de la performabilité des systèmes communicants mobiles : Applications aux réseaux de capteurs sans fil : Formal approaches for performability analysis of communicating systems : an application to wireless sensor networks.” 2011. Doctoral Dissertation, Paris, CNAM. Accessed November 13, 2019. http://www.theses.fr/2011CNAM0822.

MLA Handbook (7th Edition):

Abo, Robert. “Approches formelles pour l'analyse de la performabilité des systèmes communicants mobiles : Applications aux réseaux de capteurs sans fil : Formal approaches for performability analysis of communicating systems : an application to wireless sensor networks.” 2011. Web. 13 Nov 2019.

Vancouver:

Abo R. Approches formelles pour l'analyse de la performabilité des systèmes communicants mobiles : Applications aux réseaux de capteurs sans fil : Formal approaches for performability analysis of communicating systems : an application to wireless sensor networks. [Internet] [Doctoral dissertation]. Paris, CNAM; 2011. [cited 2019 Nov 13]. Available from: http://www.theses.fr/2011CNAM0822.

Council of Science Editors:

Abo R. Approches formelles pour l'analyse de la performabilité des systèmes communicants mobiles : Applications aux réseaux de capteurs sans fil : Formal approaches for performability analysis of communicating systems : an application to wireless sensor networks. [Doctoral Dissertation]. Paris, CNAM; 2011. Available from: http://www.theses.fr/2011CNAM0822


Université de Lorraine

12. Akhtar, Sabina. Vérification formelle d'algorithmes distribués en PlusCal-2 : Formal Verification of distributed algorithms using PlusCal-2.

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

La conception d'algorithmes pour les systèmes concurrents et répartis est subtile et difficile. Ces systèmes sont enclins à des blocages et à des conditions de… (more)

Subjects/Keywords: Algorithmes distribués; Langage algorithmique; Model-checking; PlusCal-2; Réductionpar ordre partiel; Distributed algorithms; Algorithm language; Model checking; PlusCal-2; Partial-order reduction; 005.131

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Akhtar, S. (2012). Vérification formelle d'algorithmes distribués en PlusCal-2 : Formal Verification of distributed algorithms using PlusCal-2. (Doctoral Dissertation). Université de Lorraine. Retrieved from http://www.theses.fr/2012LORR0014

Chicago Manual of Style (16th Edition):

Akhtar, Sabina. “Vérification formelle d'algorithmes distribués en PlusCal-2 : Formal Verification of distributed algorithms using PlusCal-2.” 2012. Doctoral Dissertation, Université de Lorraine. Accessed November 13, 2019. http://www.theses.fr/2012LORR0014.

MLA Handbook (7th Edition):

Akhtar, Sabina. “Vérification formelle d'algorithmes distribués en PlusCal-2 : Formal Verification of distributed algorithms using PlusCal-2.” 2012. Web. 13 Nov 2019.

Vancouver:

Akhtar S. Vérification formelle d'algorithmes distribués en PlusCal-2 : Formal Verification of distributed algorithms using PlusCal-2. [Internet] [Doctoral dissertation]. Université de Lorraine; 2012. [cited 2019 Nov 13]. Available from: http://www.theses.fr/2012LORR0014.

Council of Science Editors:

Akhtar S. Vérification formelle d'algorithmes distribués en PlusCal-2 : Formal Verification of distributed algorithms using PlusCal-2. [Doctoral Dissertation]. Université de Lorraine; 2012. Available from: http://www.theses.fr/2012LORR0014

13. Roy, Shubhabrata. A Complete Framework for Modelling Workload Volatility of VoD System - a Perspective to Probabilistic Management : Un framework complet pour la modélisation de la volatilité des charges de travail d'un système de vidéo à la demande - une perspective de gestion probabiliste.

Degree: Docteur es, Informatique, 2014, Lyon, École normale supérieure

Il y a de nouveaux défis dans l'administration et dans la conception des systèmes pour optimiser la gestion des ressources des applications basées en nuage… (more)

Subjects/Keywords: Vidéo à la demande; Charge de travail en rafale; Modèle épidémique; Effets de buzz; Chaînes de Markov Monte Carlo; Estimation; Principe de grandes déviations; Gestion des ressources; Video on demand; Bursty workload; Epidemic model; Buzz effects; Markov Chain Monte Carlo; Estimation; Large deviation principle; Resource management

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Roy, S. (2014). A Complete Framework for Modelling Workload Volatility of VoD System - a Perspective to Probabilistic Management : Un framework complet pour la modélisation de la volatilité des charges de travail d'un système de vidéo à la demande - une perspective de gestion probabiliste. (Doctoral Dissertation). Lyon, École normale supérieure. Retrieved from http://www.theses.fr/2014ENSL0905

Chicago Manual of Style (16th Edition):

Roy, Shubhabrata. “A Complete Framework for Modelling Workload Volatility of VoD System - a Perspective to Probabilistic Management : Un framework complet pour la modélisation de la volatilité des charges de travail d'un système de vidéo à la demande - une perspective de gestion probabiliste.” 2014. Doctoral Dissertation, Lyon, École normale supérieure. Accessed November 13, 2019. http://www.theses.fr/2014ENSL0905.

MLA Handbook (7th Edition):

Roy, Shubhabrata. “A Complete Framework for Modelling Workload Volatility of VoD System - a Perspective to Probabilistic Management : Un framework complet pour la modélisation de la volatilité des charges de travail d'un système de vidéo à la demande - une perspective de gestion probabiliste.” 2014. Web. 13 Nov 2019.

Vancouver:

Roy S. A Complete Framework for Modelling Workload Volatility of VoD System - a Perspective to Probabilistic Management : Un framework complet pour la modélisation de la volatilité des charges de travail d'un système de vidéo à la demande - une perspective de gestion probabiliste. [Internet] [Doctoral dissertation]. Lyon, École normale supérieure; 2014. [cited 2019 Nov 13]. Available from: http://www.theses.fr/2014ENSL0905.

Council of Science Editors:

Roy S. A Complete Framework for Modelling Workload Volatility of VoD System - a Perspective to Probabilistic Management : Un framework complet pour la modélisation de la volatilité des charges de travail d'un système de vidéo à la demande - une perspective de gestion probabiliste. [Doctoral Dissertation]. Lyon, École normale supérieure; 2014. Available from: http://www.theses.fr/2014ENSL0905

14. Cyriac, Aiswarya. Verification of communicating recursive programs via split-width : Vérification de programmes récursifs et communicants via split-width.

Degree: Docteur es, Informatique, 2014, Cachan, Ecole normale supérieure

Cette thèse développe des techniques à base d'automates pour la vérification formelle de systèmes physiquement distribués communiquant via des canaux fiables de tailles non bornées.… (more)

Subjects/Keywords: Systèmes concurrents; Contrôleurs distribués; Vérification; Concurrent systems; Distributed controllers; Model checking; Monadic second-order logic; Propositional dynamic logic; Split-width; Under-approximate verification

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Cyriac, A. (2014). Verification of communicating recursive programs via split-width : Vérification de programmes récursifs et communicants via split-width. (Doctoral Dissertation). Cachan, Ecole normale supérieure. Retrieved from http://www.theses.fr/2014DENS0004

Chicago Manual of Style (16th Edition):

Cyriac, Aiswarya. “Verification of communicating recursive programs via split-width : Vérification de programmes récursifs et communicants via split-width.” 2014. Doctoral Dissertation, Cachan, Ecole normale supérieure. Accessed November 13, 2019. http://www.theses.fr/2014DENS0004.

MLA Handbook (7th Edition):

Cyriac, Aiswarya. “Verification of communicating recursive programs via split-width : Vérification de programmes récursifs et communicants via split-width.” 2014. Web. 13 Nov 2019.

Vancouver:

Cyriac A. Verification of communicating recursive programs via split-width : Vérification de programmes récursifs et communicants via split-width. [Internet] [Doctoral dissertation]. Cachan, Ecole normale supérieure; 2014. [cited 2019 Nov 13]. Available from: http://www.theses.fr/2014DENS0004.

Council of Science Editors:

Cyriac A. Verification of communicating recursive programs via split-width : Vérification de programmes récursifs et communicants via split-width. [Doctoral Dissertation]. Cachan, Ecole normale supérieure; 2014. Available from: http://www.theses.fr/2014DENS0004

15. Bashir, Bushra. Contribution to modeling and optimization of home healthcare : Contribution à la modélisation et l'optimisation d’hospitalisation à domicile.

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

Résumé indisponible.

A healthcare network or health system consists of all organizations, actions and people who participate to promote, restore or maintain people’s health. The… (more)

Subjects/Keywords: Hospitalisation à domicile; Planification; Circonscriptions; Ordonnancement; Méta heuristique; Recherche voisinage; Recuit simulé; Recuit simulé et algorithme génétique; Home health care services; Operations management; Assignment problem; Districting; Scheduling; Mathematical model; Metaheuristics; Variable neighbourhood search algorithm; Simulated annealing; Genetic algorithm

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Bashir, B. (2013). Contribution to modeling and optimization of home healthcare : Contribution à la modélisation et l'optimisation d’hospitalisation à domicile. (Doctoral Dissertation). Université Blaise-Pascale, Clermont-Ferrand II. Retrieved from http://www.theses.fr/2013CLF22391

Chicago Manual of Style (16th Edition):

Bashir, Bushra. “Contribution to modeling and optimization of home healthcare : Contribution à la modélisation et l'optimisation d’hospitalisation à domicile.” 2013. Doctoral Dissertation, Université Blaise-Pascale, Clermont-Ferrand II. Accessed November 13, 2019. http://www.theses.fr/2013CLF22391.

MLA Handbook (7th Edition):

Bashir, Bushra. “Contribution to modeling and optimization of home healthcare : Contribution à la modélisation et l'optimisation d’hospitalisation à domicile.” 2013. Web. 13 Nov 2019.

Vancouver:

Bashir B. Contribution to modeling and optimization of home healthcare : Contribution à la modélisation et l'optimisation d’hospitalisation à domicile. [Internet] [Doctoral dissertation]. Université Blaise-Pascale, Clermont-Ferrand II; 2013. [cited 2019 Nov 13]. Available from: http://www.theses.fr/2013CLF22391.

Council of Science Editors:

Bashir B. Contribution to modeling and optimization of home healthcare : Contribution à la modélisation et l'optimisation d’hospitalisation à domicile. [Doctoral Dissertation]. Université Blaise-Pascale, Clermont-Ferrand II; 2013. Available from: http://www.theses.fr/2013CLF22391

16. Laclau, Charlotte. Hard and fuzzy block clustering algorithms for high dimensional data : Algorithmes de block-clustering dur et flou pour les données en grande dimension.

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

 Notre capacité grandissante à collecter et stocker des données a fait de l'apprentissage non supervisé un outil indispensable qui permet la découverte de structures et… (more)

Subjects/Keywords: Classification; Flou; Classification croisée; Modèle de mélange; Approche métrique; Modèle à bloc latent; Données sparses; Données binaires; Classification de document; Théorème de Zangwill; Sélection de variable; Données en grande dimension; Algorithme; Clustering; Fuzzy; Co-clustering; Mixture model; Metric approach; Latent block model; Sparse data; Binary data; Document clustering; Zangwill theorem; Feature selection; High dimensional data; Algorithm; 004

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Laclau, C. (2016). Hard and fuzzy block clustering algorithms for high dimensional data : Algorithmes de block-clustering dur et flou pour les données en grande dimension. (Doctoral Dissertation). Sorbonne Paris Cité. Retrieved from http://www.theses.fr/2016USPCB014

Chicago Manual of Style (16th Edition):

Laclau, Charlotte. “Hard and fuzzy block clustering algorithms for high dimensional data : Algorithmes de block-clustering dur et flou pour les données en grande dimension.” 2016. Doctoral Dissertation, Sorbonne Paris Cité. Accessed November 13, 2019. http://www.theses.fr/2016USPCB014.

MLA Handbook (7th Edition):

Laclau, Charlotte. “Hard and fuzzy block clustering algorithms for high dimensional data : Algorithmes de block-clustering dur et flou pour les données en grande dimension.” 2016. Web. 13 Nov 2019.

Vancouver:

Laclau C. Hard and fuzzy block clustering algorithms for high dimensional data : Algorithmes de block-clustering dur et flou pour les données en grande dimension. [Internet] [Doctoral dissertation]. Sorbonne Paris Cité; 2016. [cited 2019 Nov 13]. Available from: http://www.theses.fr/2016USPCB014.

Council of Science Editors:

Laclau C. Hard and fuzzy block clustering algorithms for high dimensional data : Algorithmes de block-clustering dur et flou pour les données en grande dimension. [Doctoral Dissertation]. Sorbonne Paris Cité; 2016. Available from: http://www.theses.fr/2016USPCB014

17. Bourgeois, Florent. Système de Mesure Mobile Adaptif Qualifié : Mobile System for Adaptive Qualified Measurement.

Degree: Docteur es, Informatique, 2018, Mulhouse

 Les dispositifs matériels mobiles proposent des capacités de mesure à l'aide de capteurs soit embarqués, soit connectés. Ils ont vocation à être de plus en… (more)

Subjects/Keywords: Métrologie; Représentation de connaissances; Logique du premier ordre; Génie logiciel; Langage spécifique de domaine; Transformation de modèle; Métamodélisation; Procédure de mesure; Metrology; Knowledge Representation; First order logic; Software engineering; Domain specific language; Model transformation; Metamodeling; Measurement procedure; 681.2

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Bourgeois, F. (2018). Système de Mesure Mobile Adaptif Qualifié : Mobile System for Adaptive Qualified Measurement. (Doctoral Dissertation). Mulhouse. Retrieved from http://www.theses.fr/2018MULH8953

Chicago Manual of Style (16th Edition):

Bourgeois, Florent. “Système de Mesure Mobile Adaptif Qualifié : Mobile System for Adaptive Qualified Measurement.” 2018. Doctoral Dissertation, Mulhouse. Accessed November 13, 2019. http://www.theses.fr/2018MULH8953.

MLA Handbook (7th Edition):

Bourgeois, Florent. “Système de Mesure Mobile Adaptif Qualifié : Mobile System for Adaptive Qualified Measurement.” 2018. Web. 13 Nov 2019.

Vancouver:

Bourgeois F. Système de Mesure Mobile Adaptif Qualifié : Mobile System for Adaptive Qualified Measurement. [Internet] [Doctoral dissertation]. Mulhouse; 2018. [cited 2019 Nov 13]. Available from: http://www.theses.fr/2018MULH8953.

Council of Science Editors:

Bourgeois F. Système de Mesure Mobile Adaptif Qualifié : Mobile System for Adaptive Qualified Measurement. [Doctoral Dissertation]. Mulhouse; 2018. Available from: http://www.theses.fr/2018MULH8953

18. Shirmohammadi, Mahsa. Qualitative analysis of synchronizing probabilistic systems : Analyse qualitative des systèmes probabilistes synchronisants.

Degree: Docteur es, Informatique, 2014, Cachan, Ecole normale supérieure; Université libre de Bruxelles (1970-....)

 Les Markov Decision Process (MDP) sont des systèmes finis probabilistes avec à la fois des choix aléatoires et des stratégies, et sont ainsi reconnus comme… (more)

Subjects/Keywords: Markov decision process; Automates probabilistes; Mots synchronisants; Markov decision process; Probabilistic automata; Synchronising words

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Shirmohammadi, M. (2014). Qualitative analysis of synchronizing probabilistic systems : Analyse qualitative des systèmes probabilistes synchronisants. (Doctoral Dissertation). Cachan, Ecole normale supérieure; Université libre de Bruxelles (1970-....). Retrieved from http://www.theses.fr/2014DENS0054

Chicago Manual of Style (16th Edition):

Shirmohammadi, Mahsa. “Qualitative analysis of synchronizing probabilistic systems : Analyse qualitative des systèmes probabilistes synchronisants.” 2014. Doctoral Dissertation, Cachan, Ecole normale supérieure; Université libre de Bruxelles (1970-....). Accessed November 13, 2019. http://www.theses.fr/2014DENS0054.

MLA Handbook (7th Edition):

Shirmohammadi, Mahsa. “Qualitative analysis of synchronizing probabilistic systems : Analyse qualitative des systèmes probabilistes synchronisants.” 2014. Web. 13 Nov 2019.

Vancouver:

Shirmohammadi M. Qualitative analysis of synchronizing probabilistic systems : Analyse qualitative des systèmes probabilistes synchronisants. [Internet] [Doctoral dissertation]. Cachan, Ecole normale supérieure; Université libre de Bruxelles (1970-....); 2014. [cited 2019 Nov 13]. Available from: http://www.theses.fr/2014DENS0054.

Council of Science Editors:

Shirmohammadi M. Qualitative analysis of synchronizing probabilistic systems : Analyse qualitative des systèmes probabilistes synchronisants. [Doctoral Dissertation]. Cachan, Ecole normale supérieure; Université libre de Bruxelles (1970-....); 2014. Available from: http://www.theses.fr/2014DENS0054


Université Montpellier II

19. Terrapon, Nicolas. Recherche de domaines protéiques divergents à l'aide de modèles de Markov cachés : application à Plasmodium falciparum : Protein Domain Detection with Hidden Markov Models : application to Plasmodium falciparum.

Degree: Docteur es, Informatique, 2010, Université Montpellier II

Les modèles de Markov cachés (MMC) par exemple ceux de la librairie Pfam sont des outils très populaires pour l'annotation des domaines protéiques. Cependant, ils… (more)

Subjects/Keywords: Domaines protéiques; Modèles de Markov cachés; Paludisme; Protein Domains; Hidden Markov Models; Malaria

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Terrapon, N. (2010). Recherche de domaines protéiques divergents à l'aide de modèles de Markov cachés : application à Plasmodium falciparum : Protein Domain Detection with Hidden Markov Models : application to Plasmodium falciparum. (Doctoral Dissertation). Université Montpellier II. Retrieved from http://www.theses.fr/2010MON20103

Chicago Manual of Style (16th Edition):

Terrapon, Nicolas. “Recherche de domaines protéiques divergents à l'aide de modèles de Markov cachés : application à Plasmodium falciparum : Protein Domain Detection with Hidden Markov Models : application to Plasmodium falciparum.” 2010. Doctoral Dissertation, Université Montpellier II. Accessed November 13, 2019. http://www.theses.fr/2010MON20103.

MLA Handbook (7th Edition):

Terrapon, Nicolas. “Recherche de domaines protéiques divergents à l'aide de modèles de Markov cachés : application à Plasmodium falciparum : Protein Domain Detection with Hidden Markov Models : application to Plasmodium falciparum.” 2010. Web. 13 Nov 2019.

Vancouver:

Terrapon N. Recherche de domaines protéiques divergents à l'aide de modèles de Markov cachés : application à Plasmodium falciparum : Protein Domain Detection with Hidden Markov Models : application to Plasmodium falciparum. [Internet] [Doctoral dissertation]. Université Montpellier II; 2010. [cited 2019 Nov 13]. Available from: http://www.theses.fr/2010MON20103.

Council of Science Editors:

Terrapon N. Recherche de domaines protéiques divergents à l'aide de modèles de Markov cachés : application à Plasmodium falciparum : Protein Domain Detection with Hidden Markov Models : application to Plasmodium falciparum. [Doctoral Dissertation]. Université Montpellier II; 2010. Available from: http://www.theses.fr/2010MON20103

20. Ouali, Abdelkader. Méthodes hybrides parallèles pour la résolution de problèmes d'optimisation combinatoire : application au clustering sous contraintes : Parallel hybrid methods for solving combinatorial optimization problems : application to clustering under constraints.

Degree: Docteur es, Informatique, 2017, Normandie; Université d'Oran

Les problèmes d’optimisation combinatoire sont devenus la cible de nombreuses recherches scientifiques pour leur importance dans la résolution de problèmes académiques et de problèmes réels… (more)

Subjects/Keywords: Méthode de recherche à voisinage variables; Méthodes parallèles; Décomposition arborescente; Réseaux de fonctions de coût; Modèle maître-travailleur; Clustering conceptuel; Problème de tuilage; Contraintes n-airs; Programmation linéaire en nombres entiers; Heuristiques; Extraction des ensembles de motifs; Cadre déclaratif; Metaheuristics; Variable neighborhood search method; Parallel methods; Tree decomposition; Combinatorial optimization problem; Cost function networks; Master-worker model; Conceptual clustering; Tiling problem; N-ary constraints; Nteger linear programming; Heuristics; Pattern mining, pattern set mining; Declarative framework

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Ouali, A. (2017). Méthodes hybrides parallèles pour la résolution de problèmes d'optimisation combinatoire : application au clustering sous contraintes : Parallel hybrid methods for solving combinatorial optimization problems : application to clustering under constraints. (Doctoral Dissertation). Normandie; Université d'Oran. Retrieved from http://www.theses.fr/2017NORMC215

Chicago Manual of Style (16th Edition):

Ouali, Abdelkader. “Méthodes hybrides parallèles pour la résolution de problèmes d'optimisation combinatoire : application au clustering sous contraintes : Parallel hybrid methods for solving combinatorial optimization problems : application to clustering under constraints.” 2017. Doctoral Dissertation, Normandie; Université d'Oran. Accessed November 13, 2019. http://www.theses.fr/2017NORMC215.

MLA Handbook (7th Edition):

Ouali, Abdelkader. “Méthodes hybrides parallèles pour la résolution de problèmes d'optimisation combinatoire : application au clustering sous contraintes : Parallel hybrid methods for solving combinatorial optimization problems : application to clustering under constraints.” 2017. Web. 13 Nov 2019.

Vancouver:

Ouali A. Méthodes hybrides parallèles pour la résolution de problèmes d'optimisation combinatoire : application au clustering sous contraintes : Parallel hybrid methods for solving combinatorial optimization problems : application to clustering under constraints. [Internet] [Doctoral dissertation]. Normandie; Université d'Oran; 2017. [cited 2019 Nov 13]. Available from: http://www.theses.fr/2017NORMC215.

Council of Science Editors:

Ouali A. Méthodes hybrides parallèles pour la résolution de problèmes d'optimisation combinatoire : application au clustering sous contraintes : Parallel hybrid methods for solving combinatorial optimization problems : application to clustering under constraints. [Doctoral Dissertation]. Normandie; Université d'Oran; 2017. Available from: http://www.theses.fr/2017NORMC215

21. Mjirda, Anis. Recherche à voisinage variable pour des problèmes de routage avec ou sans gestion de stock : Variable neighborhood search for routing problems with or without inventory management.

Degree: Docteur es, Informatique, 2014, Valenciennes

Dans cette thèse nous nous intéressons à l'étude et à la résolution de problèmes d'optimisation dans le domaine du transport. La première problématique concerne le… (more)

Subjects/Keywords: Optimisation; Routage; Gestion de stock; Heuristique; Métaheuristique; Recherche à voisinage variable.; Optimization; Routing; Inventory management; Heuristic; Metaheuristic; Variable neighborhood search

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Mjirda, A. (2014). Recherche à voisinage variable pour des problèmes de routage avec ou sans gestion de stock : Variable neighborhood search for routing problems with or without inventory management. (Doctoral Dissertation). Valenciennes. Retrieved from http://www.theses.fr/2014VALE0023

Chicago Manual of Style (16th Edition):

Mjirda, Anis. “Recherche à voisinage variable pour des problèmes de routage avec ou sans gestion de stock : Variable neighborhood search for routing problems with or without inventory management.” 2014. Doctoral Dissertation, Valenciennes. Accessed November 13, 2019. http://www.theses.fr/2014VALE0023.

MLA Handbook (7th Edition):

Mjirda, Anis. “Recherche à voisinage variable pour des problèmes de routage avec ou sans gestion de stock : Variable neighborhood search for routing problems with or without inventory management.” 2014. Web. 13 Nov 2019.

Vancouver:

Mjirda A. Recherche à voisinage variable pour des problèmes de routage avec ou sans gestion de stock : Variable neighborhood search for routing problems with or without inventory management. [Internet] [Doctoral dissertation]. Valenciennes; 2014. [cited 2019 Nov 13]. Available from: http://www.theses.fr/2014VALE0023.

Council of Science Editors:

Mjirda A. Recherche à voisinage variable pour des problèmes de routage avec ou sans gestion de stock : Variable neighborhood search for routing problems with or without inventory management. [Doctoral Dissertation]. Valenciennes; 2014. Available from: http://www.theses.fr/2014VALE0023

22. Alizadeh, Pegah. Elicitation and planning in Markov decision processes with unknown rewards : Elicitation et planification dans les processus décisionnel de MARKOV avec récompenses inconnues.

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

Les processus décisionnels de Markov (MDPs) modélisent des problèmes de décisionsséquentielles dans lesquels un utilisateur interagit avec l’environnement et adapte soncomportement en prenant en compte… (more)

Subjects/Keywords: Processus décisionnel de Markov; Valeur vectorielle MDP; Markov decision process; Vector-valued MPD; Policy iteration; Reward elicitation

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Alizadeh, P. (2016). Elicitation and planning in Markov decision processes with unknown rewards : Elicitation et planification dans les processus décisionnel de MARKOV avec récompenses inconnues. (Doctoral Dissertation). Sorbonne Paris Cité. Retrieved from http://www.theses.fr/2016USPCD011

Chicago Manual of Style (16th Edition):

Alizadeh, Pegah. “Elicitation and planning in Markov decision processes with unknown rewards : Elicitation et planification dans les processus décisionnel de MARKOV avec récompenses inconnues.” 2016. Doctoral Dissertation, Sorbonne Paris Cité. Accessed November 13, 2019. http://www.theses.fr/2016USPCD011.

MLA Handbook (7th Edition):

Alizadeh, Pegah. “Elicitation and planning in Markov decision processes with unknown rewards : Elicitation et planification dans les processus décisionnel de MARKOV avec récompenses inconnues.” 2016. Web. 13 Nov 2019.

Vancouver:

Alizadeh P. Elicitation and planning in Markov decision processes with unknown rewards : Elicitation et planification dans les processus décisionnel de MARKOV avec récompenses inconnues. [Internet] [Doctoral dissertation]. Sorbonne Paris Cité; 2016. [cited 2019 Nov 13]. Available from: http://www.theses.fr/2016USPCD011.

Council of Science Editors:

Alizadeh P. Elicitation and planning in Markov decision processes with unknown rewards : Elicitation et planification dans les processus décisionnel de MARKOV avec récompenses inconnues. [Doctoral Dissertation]. Sorbonne Paris Cité; 2016. Available from: http://www.theses.fr/2016USPCD011


Université de Bordeaux I

23. Karaman, Svebor. Indexation de la vidéo portée : application à l’étude épidémiologique des maladies liées à l’âge : Indexing of activities in wearable videos : application to epidemiological studies of aged dementia.

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

 Le travail de recherche de cette thèse de doctorat s'inscrit dans le cadre du suivi médical des patients atteints de démences liées à l'âge à… (more)

Subjects/Keywords: Indexation Video; Modèles de Markov Cachés; Reconnaissance d'Objets; Mots-Graphes Visuels; Video Indexing; Hidden Markov Models; Object Recognition; Visual Graph Words

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Karaman, S. (2011). Indexation de la vidéo portée : application à l’étude épidémiologique des maladies liées à l’âge : Indexing of activities in wearable videos : application to epidemiological studies of aged dementia. (Doctoral Dissertation). Université de Bordeaux I. Retrieved from http://www.theses.fr/2011BOR14402

Chicago Manual of Style (16th Edition):

Karaman, Svebor. “Indexation de la vidéo portée : application à l’étude épidémiologique des maladies liées à l’âge : Indexing of activities in wearable videos : application to epidemiological studies of aged dementia.” 2011. Doctoral Dissertation, Université de Bordeaux I. Accessed November 13, 2019. http://www.theses.fr/2011BOR14402.

MLA Handbook (7th Edition):

Karaman, Svebor. “Indexation de la vidéo portée : application à l’étude épidémiologique des maladies liées à l’âge : Indexing of activities in wearable videos : application to epidemiological studies of aged dementia.” 2011. Web. 13 Nov 2019.

Vancouver:

Karaman S. Indexation de la vidéo portée : application à l’étude épidémiologique des maladies liées à l’âge : Indexing of activities in wearable videos : application to epidemiological studies of aged dementia. [Internet] [Doctoral dissertation]. Université de Bordeaux I; 2011. [cited 2019 Nov 13]. Available from: http://www.theses.fr/2011BOR14402.

Council of Science Editors:

Karaman S. Indexation de la vidéo portée : application à l’étude épidémiologique des maladies liées à l’âge : Indexing of activities in wearable videos : application to epidemiological studies of aged dementia. [Doctoral Dissertation]. Université de Bordeaux I; 2011. Available from: http://www.theses.fr/2011BOR14402

24. Dinh, Quang-Thang. Apprentissage statistique relationnel : apprentissage de structures de réseaux de Markov logiques : Statistical relational learning : Structure learning for Markov logic networks.

Degree: Docteur es, Informatique, 2011, Université d'Orléans

Un réseau logique de Markov est formé de clauses en logique du premier ordre auxquelles sont associés des poids. Cette thèse propose plusieurs méthodes pour… (more)

Subjects/Keywords: Réseaux logiques de Markov; Apprentissage de structure; Apprentissage statistique relationnel; Markov logic networks; Structure learning; Statistical relational learning

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Dinh, Q. (2011). Apprentissage statistique relationnel : apprentissage de structures de réseaux de Markov logiques : Statistical relational learning : Structure learning for Markov logic networks. (Doctoral Dissertation). Université d'Orléans. Retrieved from http://www.theses.fr/2011ORLE2047

Chicago Manual of Style (16th Edition):

Dinh, Quang-Thang. “Apprentissage statistique relationnel : apprentissage de structures de réseaux de Markov logiques : Statistical relational learning : Structure learning for Markov logic networks.” 2011. Doctoral Dissertation, Université d'Orléans. Accessed November 13, 2019. http://www.theses.fr/2011ORLE2047.

MLA Handbook (7th Edition):

Dinh, Quang-Thang. “Apprentissage statistique relationnel : apprentissage de structures de réseaux de Markov logiques : Statistical relational learning : Structure learning for Markov logic networks.” 2011. Web. 13 Nov 2019.

Vancouver:

Dinh Q. Apprentissage statistique relationnel : apprentissage de structures de réseaux de Markov logiques : Statistical relational learning : Structure learning for Markov logic networks. [Internet] [Doctoral dissertation]. Université d'Orléans; 2011. [cited 2019 Nov 13]. Available from: http://www.theses.fr/2011ORLE2047.

Council of Science Editors:

Dinh Q. Apprentissage statistique relationnel : apprentissage de structures de réseaux de Markov logiques : Statistical relational learning : Structure learning for Markov logic networks. [Doctoral Dissertation]. Université d'Orléans; 2011. Available from: http://www.theses.fr/2011ORLE2047

25. Corona, Gabriel. Utilisation de croyances heuristiques pour la planification multi-agent dans le cadre des Dec-POMDP : Using heuristic belief points for Dec-POMDP planning.

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

Nous nous intéressons dans cette thèse à la planification pour les problèmes de prise de décision décentralisée séquentielle dans l'incertain. Dans le cadre centralisé, l'utilisation… (more)

Subjects/Keywords: Intelligence artificielle; Systèmes multi-agent; Modèles de Markov; Planification; Artificial intelligence; Multi-agent systems; Markov models; Planning

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Corona, G. (2011). Utilisation de croyances heuristiques pour la planification multi-agent dans le cadre des Dec-POMDP : Using heuristic belief points for Dec-POMDP planning. (Doctoral Dissertation). Université Henri Poincaré – Nancy I. Retrieved from http://www.theses.fr/2011NAN10026

Chicago Manual of Style (16th Edition):

Corona, Gabriel. “Utilisation de croyances heuristiques pour la planification multi-agent dans le cadre des Dec-POMDP : Using heuristic belief points for Dec-POMDP planning.” 2011. Doctoral Dissertation, Université Henri Poincaré – Nancy I. Accessed November 13, 2019. http://www.theses.fr/2011NAN10026.

MLA Handbook (7th Edition):

Corona, Gabriel. “Utilisation de croyances heuristiques pour la planification multi-agent dans le cadre des Dec-POMDP : Using heuristic belief points for Dec-POMDP planning.” 2011. Web. 13 Nov 2019.

Vancouver:

Corona G. Utilisation de croyances heuristiques pour la planification multi-agent dans le cadre des Dec-POMDP : Using heuristic belief points for Dec-POMDP planning. [Internet] [Doctoral dissertation]. Université Henri Poincaré – Nancy I; 2011. [cited 2019 Nov 13]. Available from: http://www.theses.fr/2011NAN10026.

Council of Science Editors:

Corona G. Utilisation de croyances heuristiques pour la planification multi-agent dans le cadre des Dec-POMDP : Using heuristic belief points for Dec-POMDP planning. [Doctoral Dissertation]. Université Henri Poincaré – Nancy I; 2011. Available from: http://www.theses.fr/2011NAN10026


Université de Lorraine

26. Tagorti, Manel. Sur les abstractions et les projections des processus décisionnels de Markov de grande taille : On the abstractions and projections of Large Markov Decision Processes.

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

Les processus décisionnels de Markov (MDP) sont un formalisme mathématique des domaines de l'intelligence artificielle telle que la planification, l'apprentissage automatique, l'apprentissage par renforcement... Résoudre… (more)

Subjects/Keywords: Processus décisionnels de Markov; Abstractions; Vitesse de convergence; Borne de performance; Markov Decision Processes; Abstractions; Rate of convergence; Performance bound; 006.3

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Tagorti, M. (2015). Sur les abstractions et les projections des processus décisionnels de Markov de grande taille : On the abstractions and projections of Large Markov Decision Processes. (Doctoral Dissertation). Université de Lorraine. Retrieved from http://www.theses.fr/2015LORR0005

Chicago Manual of Style (16th Edition):

Tagorti, Manel. “Sur les abstractions et les projections des processus décisionnels de Markov de grande taille : On the abstractions and projections of Large Markov Decision Processes.” 2015. Doctoral Dissertation, Université de Lorraine. Accessed November 13, 2019. http://www.theses.fr/2015LORR0005.

MLA Handbook (7th Edition):

Tagorti, Manel. “Sur les abstractions et les projections des processus décisionnels de Markov de grande taille : On the abstractions and projections of Large Markov Decision Processes.” 2015. Web. 13 Nov 2019.

Vancouver:

Tagorti M. Sur les abstractions et les projections des processus décisionnels de Markov de grande taille : On the abstractions and projections of Large Markov Decision Processes. [Internet] [Doctoral dissertation]. Université de Lorraine; 2015. [cited 2019 Nov 13]. Available from: http://www.theses.fr/2015LORR0005.

Council of Science Editors:

Tagorti M. Sur les abstractions et les projections des processus décisionnels de Markov de grande taille : On the abstractions and projections of Large Markov Decision Processes. [Doctoral Dissertation]. Université de Lorraine; 2015. Available from: http://www.theses.fr/2015LORR0005

27. Selig, Thomas. Convergence de cartes et tas de sable : Convergence of random maps and sandpile model.

Degree: Docteur es, Informatique, 2014, Bordeaux

Cette thèse est dédiée à l'étude de divers problèmes se situant à la frontière entre combinatoire et théorie des probabilités. Elle se compose de deux… (more)

Subjects/Keywords: Cartes; Combinatoire; Probabilites; Théorèmes limites; Tas de sable; Chaine de Markov; Graphes; Maps; Combinatories; Probability; Limit theorems; Sendpile; Markov chain; Graphs

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Selig, T. (2014). Convergence de cartes et tas de sable : Convergence of random maps and sandpile model. (Doctoral Dissertation). Bordeaux. Retrieved from http://www.theses.fr/2014BORD0286

Chicago Manual of Style (16th Edition):

Selig, Thomas. “Convergence de cartes et tas de sable : Convergence of random maps and sandpile model.” 2014. Doctoral Dissertation, Bordeaux. Accessed November 13, 2019. http://www.theses.fr/2014BORD0286.

MLA Handbook (7th Edition):

Selig, Thomas. “Convergence de cartes et tas de sable : Convergence of random maps and sandpile model.” 2014. Web. 13 Nov 2019.

Vancouver:

Selig T. Convergence de cartes et tas de sable : Convergence of random maps and sandpile model. [Internet] [Doctoral dissertation]. Bordeaux; 2014. [cited 2019 Nov 13]. Available from: http://www.theses.fr/2014BORD0286.

Council of Science Editors:

Selig T. Convergence de cartes et tas de sable : Convergence of random maps and sandpile model. [Doctoral Dissertation]. Bordeaux; 2014. Available from: http://www.theses.fr/2014BORD0286

28. Vassiliev, Pavel. Développement et réalisation d'un simulateur de machines à états abstraits temps-réel et model-checking de formules d'une logique des prédicats temporisée du premier ordre : Development and implementation of a simulator for abstract state machines with real time and model-checking of properties in a language of first order predicate logic with time.

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

Dans cette thèse nous proposons un modèle temporel dans le cadre des machines à états abstraits (ASM). Une extension du langage de spécification ASM est… (more)

Subjects/Keywords: Machines à états abstraits; Langage de spécification exécutable; Simulation; Spécification formelle; Vérification; Model-checking; Systèmes à temps réel; Logique des prédicats du premier ordre; Abstract state machines; Executable specification language; Simulation; Formal specification; Verification; Model-checking; Real-time systems; First order predicate logic

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Vassiliev, P. (2008). Développement et réalisation d'un simulateur de machines à états abstraits temps-réel et model-checking de formules d'une logique des prédicats temporisée du premier ordre : Development and implementation of a simulator for abstract state machines with real time and model-checking of properties in a language of first order predicate logic with time. (Doctoral Dissertation). Université Paris-Est. Retrieved from http://www.theses.fr/2008PEST0050

Chicago Manual of Style (16th Edition):

Vassiliev, Pavel. “Développement et réalisation d'un simulateur de machines à états abstraits temps-réel et model-checking de formules d'une logique des prédicats temporisée du premier ordre : Development and implementation of a simulator for abstract state machines with real time and model-checking of properties in a language of first order predicate logic with time.” 2008. Doctoral Dissertation, Université Paris-Est. Accessed November 13, 2019. http://www.theses.fr/2008PEST0050.

MLA Handbook (7th Edition):

Vassiliev, Pavel. “Développement et réalisation d'un simulateur de machines à états abstraits temps-réel et model-checking de formules d'une logique des prédicats temporisée du premier ordre : Development and implementation of a simulator for abstract state machines with real time and model-checking of properties in a language of first order predicate logic with time.” 2008. Web. 13 Nov 2019.

Vancouver:

Vassiliev P. Développement et réalisation d'un simulateur de machines à états abstraits temps-réel et model-checking de formules d'une logique des prédicats temporisée du premier ordre : Development and implementation of a simulator for abstract state machines with real time and model-checking of properties in a language of first order predicate logic with time. [Internet] [Doctoral dissertation]. Université Paris-Est; 2008. [cited 2019 Nov 13]. Available from: http://www.theses.fr/2008PEST0050.

Council of Science Editors:

Vassiliev P. Développement et réalisation d'un simulateur de machines à états abstraits temps-réel et model-checking de formules d'une logique des prédicats temporisée du premier ordre : Development and implementation of a simulator for abstract state machines with real time and model-checking of properties in a language of first order predicate logic with time. [Doctoral Dissertation]. Université Paris-Est; 2008. Available from: http://www.theses.fr/2008PEST0050

29. Ugolnikova, Alexandra. Pavages Aléatoires : Random Tilings.

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

Dans cette thèse nous étudions deux types de pavages : des pavages par une paire de carres et des pavages sur le réseau tri-hexagonal (Kagome).… (more)

Subjects/Keywords: Générations aléatoires; Pavage par carrés; Markov Chains; Approximate couting; Square Tilings

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Ugolnikova, A. (2016). Pavages Aléatoires : Random Tilings. (Doctoral Dissertation). Sorbonne Paris Cité. Retrieved from http://www.theses.fr/2016USPCD034

Chicago Manual of Style (16th Edition):

Ugolnikova, Alexandra. “Pavages Aléatoires : Random Tilings.” 2016. Doctoral Dissertation, Sorbonne Paris Cité. Accessed November 13, 2019. http://www.theses.fr/2016USPCD034.

MLA Handbook (7th Edition):

Ugolnikova, Alexandra. “Pavages Aléatoires : Random Tilings.” 2016. Web. 13 Nov 2019.

Vancouver:

Ugolnikova A. Pavages Aléatoires : Random Tilings. [Internet] [Doctoral dissertation]. Sorbonne Paris Cité; 2016. [cited 2019 Nov 13]. Available from: http://www.theses.fr/2016USPCD034.

Council of Science Editors:

Ugolnikova A. Pavages Aléatoires : Random Tilings. [Doctoral Dissertation]. Sorbonne Paris Cité; 2016. Available from: http://www.theses.fr/2016USPCD034

30. Harb, Hassan. Conception du décodeur NB-LDPC à débit ultra-élevé : Design of ultra high throughput rate NB-LDPC decoder.

Degree: Docteur es, Informatique, 2018, Lorient; Université libanaise

Les codes correcteurs d’erreurs Non-Binaires Low Density Parity Check (NB-LDPC) sont connus pour avoir de meilleure performance que les codes LDPC binaires. Toutefois, la complexité… (more)

Subjects/Keywords: Codes NB-LDPC; Noeuds de variable; Non-Binary Low Density Parity Check; H-CN; First Then Second Extrema Selection; Variable Node; 621.382

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Harb, H. (2018). Conception du décodeur NB-LDPC à débit ultra-élevé : Design of ultra high throughput rate NB-LDPC decoder. (Doctoral Dissertation). Lorient; Université libanaise. Retrieved from http://www.theses.fr/2018LORIS504

Chicago Manual of Style (16th Edition):

Harb, Hassan. “Conception du décodeur NB-LDPC à débit ultra-élevé : Design of ultra high throughput rate NB-LDPC decoder.” 2018. Doctoral Dissertation, Lorient; Université libanaise. Accessed November 13, 2019. http://www.theses.fr/2018LORIS504.

MLA Handbook (7th Edition):

Harb, Hassan. “Conception du décodeur NB-LDPC à débit ultra-élevé : Design of ultra high throughput rate NB-LDPC decoder.” 2018. Web. 13 Nov 2019.

Vancouver:

Harb H. Conception du décodeur NB-LDPC à débit ultra-élevé : Design of ultra high throughput rate NB-LDPC decoder. [Internet] [Doctoral dissertation]. Lorient; Université libanaise; 2018. [cited 2019 Nov 13]. Available from: http://www.theses.fr/2018LORIS504.

Council of Science Editors:

Harb H. Conception du décodeur NB-LDPC à débit ultra-élevé : Design of ultra high throughput rate NB-LDPC decoder. [Doctoral Dissertation]. Lorient; Université libanaise; 2018. Available from: http://www.theses.fr/2018LORIS504

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

.