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:(Calcul). Showing records 1 – 30 of 753 total matches.

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

Search Limiters

Last 2 Years | English Only

Languages

Country

▼ Search Limiters

1. Meghouche, Djedjiga. Effet des conditions de contact sur la réponse dynamique des structures.

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

89 p. : ill. ; 30 cm

L'analyse des structures soumises aux actions sismiques constitue un domaine de recherche d'actualité et revêt un intérêt particulier… (more)

Subjects/Keywords: Constructions : Calcul

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Meghouche, D. (2015). Effet des conditions de contact sur la réponse dynamique des structures. (Thesis). Université M'Hamed Bougara Boumerdès. Retrieved from http://dlibrary.univ-boumerdes.dz:8080123456789/2058

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):

Meghouche, Djedjiga. “Effet des conditions de contact sur la réponse dynamique des structures.” 2015. Thesis, Université M'Hamed Bougara Boumerdès. Accessed December 03, 2020. http://dlibrary.univ-boumerdes.dz:8080123456789/2058.

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

MLA Handbook (7th Edition):

Meghouche, Djedjiga. “Effet des conditions de contact sur la réponse dynamique des structures.” 2015. Web. 03 Dec 2020.

Vancouver:

Meghouche D. Effet des conditions de contact sur la réponse dynamique des structures. [Internet] [Thesis]. Université M'Hamed Bougara Boumerdès; 2015. [cited 2020 Dec 03]. Available from: http://dlibrary.univ-boumerdes.dz:8080123456789/2058.

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

Council of Science Editors:

Meghouche D. Effet des conditions de contact sur la réponse dynamique des structures. [Thesis]. Université M'Hamed Bougara Boumerdès; 2015. Available from: http://dlibrary.univ-boumerdes.dz:8080123456789/2058

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

2. Shahsavari, Mahyar. Unconventional computing using memristive nanodevices : from digital computing to brain-like neuromorphic accelerator : Calcul non conventionnel avec des nanocomposants memristifs : du calcul numérique aux accélérateurs neuromorphiques.

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

On estime que le nombre d'objets connectés à l'Internet atteindra 50 à 100 milliards en 2020. La recherche s'organise en deux champs principaux pour répondre… (more)

Subjects/Keywords: Calcul non conventionnel; Calcul neuromorphique; 006.32

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Shahsavari, M. (2016). Unconventional computing using memristive nanodevices : from digital computing to brain-like neuromorphic accelerator : Calcul non conventionnel avec des nanocomposants memristifs : du calcul numérique aux accélérateurs neuromorphiques. (Doctoral Dissertation). Université Lille I – Sciences et Technologies. Retrieved from http://www.theses.fr/2016LIL10203

Chicago Manual of Style (16th Edition):

Shahsavari, Mahyar. “Unconventional computing using memristive nanodevices : from digital computing to brain-like neuromorphic accelerator : Calcul non conventionnel avec des nanocomposants memristifs : du calcul numérique aux accélérateurs neuromorphiques.” 2016. Doctoral Dissertation, Université Lille I – Sciences et Technologies. Accessed December 03, 2020. http://www.theses.fr/2016LIL10203.

MLA Handbook (7th Edition):

Shahsavari, Mahyar. “Unconventional computing using memristive nanodevices : from digital computing to brain-like neuromorphic accelerator : Calcul non conventionnel avec des nanocomposants memristifs : du calcul numérique aux accélérateurs neuromorphiques.” 2016. Web. 03 Dec 2020.

Vancouver:

Shahsavari M. Unconventional computing using memristive nanodevices : from digital computing to brain-like neuromorphic accelerator : Calcul non conventionnel avec des nanocomposants memristifs : du calcul numérique aux accélérateurs neuromorphiques. [Internet] [Doctoral dissertation]. Université Lille I – Sciences et Technologies; 2016. [cited 2020 Dec 03]. Available from: http://www.theses.fr/2016LIL10203.

Council of Science Editors:

Shahsavari M. Unconventional computing using memristive nanodevices : from digital computing to brain-like neuromorphic accelerator : Calcul non conventionnel avec des nanocomposants memristifs : du calcul numérique aux accélérateurs neuromorphiques. [Doctoral Dissertation]. Université Lille I – Sciences et Technologies; 2016. Available from: http://www.theses.fr/2016LIL10203

3. Si Smail, Ouarda. Génération des habitants d'un type simple dans le lambda-calcul.

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

100 p. , ill. , 30 cm

Vu l'intérêt des types dans le ?-calcul, nous nous sommes intéressés au problème d' énumération des habitants d'un… (more)

Subjects/Keywords: Algorithmes; Lambda-calcul

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Si Smail, O. (2011). Génération des habitants d'un type simple dans le lambda-calcul. (Thesis). Université M'Hamed Bougara Boumerdès. Retrieved from http://dlibrary.univ-boumerdes.dz:8080/jspui/handle/123456789/889

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):

Si Smail, Ouarda. “Génération des habitants d'un type simple dans le lambda-calcul.” 2011. Thesis, Université M'Hamed Bougara Boumerdès. Accessed December 03, 2020. http://dlibrary.univ-boumerdes.dz:8080/jspui/handle/123456789/889.

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

MLA Handbook (7th Edition):

Si Smail, Ouarda. “Génération des habitants d'un type simple dans le lambda-calcul.” 2011. Web. 03 Dec 2020.

Vancouver:

Si Smail O. Génération des habitants d'un type simple dans le lambda-calcul. [Internet] [Thesis]. Université M'Hamed Bougara Boumerdès; 2011. [cited 2020 Dec 03]. Available from: http://dlibrary.univ-boumerdes.dz:8080/jspui/handle/123456789/889.

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

Council of Science Editors:

Si Smail O. Génération des habitants d'un type simple dans le lambda-calcul. [Thesis]. Université M'Hamed Bougara Boumerdès; 2011. Available from: http://dlibrary.univ-boumerdes.dz:8080/jspui/handle/123456789/889

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

4. Si Smail, Ouarda. Génération des habitants d'un type simple dans le lambda-calcul.

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

100 p. , ill. , 30 cm

Vu l'intérêt des types dans le À-calcul, nous nous sommes intéressés au problème d' énumération des habitants d'un… (more)

Subjects/Keywords: Algorithmes; Lambda-calcul

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Si Smail, O. (2011). Génération des habitants d'un type simple dans le lambda-calcul. (Thesis). Université M'Hamed Bougara Boumerdès. Retrieved from http://dlibrary.univ-boumerdes.dz:8080/jspui/handle/123456789/221

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):

Si Smail, Ouarda. “Génération des habitants d'un type simple dans le lambda-calcul.” 2011. Thesis, Université M'Hamed Bougara Boumerdès. Accessed December 03, 2020. http://dlibrary.univ-boumerdes.dz:8080/jspui/handle/123456789/221.

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

MLA Handbook (7th Edition):

Si Smail, Ouarda. “Génération des habitants d'un type simple dans le lambda-calcul.” 2011. Web. 03 Dec 2020.

Vancouver:

Si Smail O. Génération des habitants d'un type simple dans le lambda-calcul. [Internet] [Thesis]. Université M'Hamed Bougara Boumerdès; 2011. [cited 2020 Dec 03]. Available from: http://dlibrary.univ-boumerdes.dz:8080/jspui/handle/123456789/221.

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

Council of Science Editors:

Si Smail O. Génération des habitants d'un type simple dans le lambda-calcul. [Thesis]. Université M'Hamed Bougara Boumerdès; 2011. Available from: http://dlibrary.univ-boumerdes.dz:8080/jspui/handle/123456789/221

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

5. Brahimi, Farida. Formalisation du système elambda.

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

Bibliogr. p. 100-102. Annexes

Dans ce mémoire, on a définit un nouveau système Elambda qu'est une extension de lambda calcul classique par l'ajout de deux… (more)

Subjects/Keywords: Lambda-calcul; Normalisation; Substitution

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Brahimi, F. (2015). Formalisation du système elambda. (Thesis). Université M'Hamed Bougara Boumerdès. Retrieved from http://dlibrary.univ-boumerdes.dz:8080123456789/2080

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):

Brahimi, Farida. “Formalisation du système elambda.” 2015. Thesis, Université M'Hamed Bougara Boumerdès. Accessed December 03, 2020. http://dlibrary.univ-boumerdes.dz:8080123456789/2080.

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

MLA Handbook (7th Edition):

Brahimi, Farida. “Formalisation du système elambda.” 2015. Web. 03 Dec 2020.

Vancouver:

Brahimi F. Formalisation du système elambda. [Internet] [Thesis]. Université M'Hamed Bougara Boumerdès; 2015. [cited 2020 Dec 03]. Available from: http://dlibrary.univ-boumerdes.dz:8080123456789/2080.

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

Council of Science Editors:

Brahimi F. Formalisation du système elambda. [Thesis]. Université M'Hamed Bougara Boumerdès; 2015. Available from: http://dlibrary.univ-boumerdes.dz:8080123456789/2080

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

6. Bella, Sandra. De la géométrie et du calcul des infiniment petits : les réceptions de l'algorithme leibnizien en France (1690-1706) : Of the geometry and calculus of the infinitely small : the receptions of the Leibnizian algorithm in France (1690-1706).

Degree: Docteur es, Histoire des Mathématiques, 2018, Nantes

Cette thèse essaie de reconstituer l’histoire de la réception du calcul leibnizien dans les milieux savants français (1690-1706). Nous repérons deux lieux : d’abord au… (more)

Subjects/Keywords: Calcul leibnizien; 515.3; 510.1

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Bella, S. (2018). De la géométrie et du calcul des infiniment petits : les réceptions de l'algorithme leibnizien en France (1690-1706) : Of the geometry and calculus of the infinitely small : the receptions of the Leibnizian algorithm in France (1690-1706). (Doctoral Dissertation). Nantes. Retrieved from http://www.theses.fr/2018NANT4044

Chicago Manual of Style (16th Edition):

Bella, Sandra. “De la géométrie et du calcul des infiniment petits : les réceptions de l'algorithme leibnizien en France (1690-1706) : Of the geometry and calculus of the infinitely small : the receptions of the Leibnizian algorithm in France (1690-1706).” 2018. Doctoral Dissertation, Nantes. Accessed December 03, 2020. http://www.theses.fr/2018NANT4044.

MLA Handbook (7th Edition):

Bella, Sandra. “De la géométrie et du calcul des infiniment petits : les réceptions de l'algorithme leibnizien en France (1690-1706) : Of the geometry and calculus of the infinitely small : the receptions of the Leibnizian algorithm in France (1690-1706).” 2018. Web. 03 Dec 2020.

Vancouver:

Bella S. De la géométrie et du calcul des infiniment petits : les réceptions de l'algorithme leibnizien en France (1690-1706) : Of the geometry and calculus of the infinitely small : the receptions of the Leibnizian algorithm in France (1690-1706). [Internet] [Doctoral dissertation]. Nantes; 2018. [cited 2020 Dec 03]. Available from: http://www.theses.fr/2018NANT4044.

Council of Science Editors:

Bella S. De la géométrie et du calcul des infiniment petits : les réceptions de l'algorithme leibnizien en France (1690-1706) : Of the geometry and calculus of the infinitely small : the receptions of the Leibnizian algorithm in France (1690-1706). [Doctoral Dissertation]. Nantes; 2018. Available from: http://www.theses.fr/2018NANT4044

7. Wei, Yiyi. Toward real-time simulation of aneurysm coil embolization using the discrete exterior calculus method : Vers la simulation temps-réel de l’embolisation d’un coil dans un anévrisme par l’utilisation de la méthode du calcul extérieur discret.

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

 Des progrès remarquables ont été réalisés ces dix dernières années dans le traitement des anévrismes endovasculaires. Les avancées technologiques permettent de traiter un nombre croissant… (more)

Subjects/Keywords: Calcul extérieur discret; 003.3

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Wei, Y. (2012). Toward real-time simulation of aneurysm coil embolization using the discrete exterior calculus method : Vers la simulation temps-réel de l’embolisation d’un coil dans un anévrisme par l’utilisation de la méthode du calcul extérieur discret. (Doctoral Dissertation). Université Lille I – Sciences et Technologies. Retrieved from http://www.theses.fr/2012LIL10034

Chicago Manual of Style (16th Edition):

Wei, Yiyi. “Toward real-time simulation of aneurysm coil embolization using the discrete exterior calculus method : Vers la simulation temps-réel de l’embolisation d’un coil dans un anévrisme par l’utilisation de la méthode du calcul extérieur discret.” 2012. Doctoral Dissertation, Université Lille I – Sciences et Technologies. Accessed December 03, 2020. http://www.theses.fr/2012LIL10034.

MLA Handbook (7th Edition):

Wei, Yiyi. “Toward real-time simulation of aneurysm coil embolization using the discrete exterior calculus method : Vers la simulation temps-réel de l’embolisation d’un coil dans un anévrisme par l’utilisation de la méthode du calcul extérieur discret.” 2012. Web. 03 Dec 2020.

Vancouver:

Wei Y. Toward real-time simulation of aneurysm coil embolization using the discrete exterior calculus method : Vers la simulation temps-réel de l’embolisation d’un coil dans un anévrisme par l’utilisation de la méthode du calcul extérieur discret. [Internet] [Doctoral dissertation]. Université Lille I – Sciences et Technologies; 2012. [cited 2020 Dec 03]. Available from: http://www.theses.fr/2012LIL10034.

Council of Science Editors:

Wei Y. Toward real-time simulation of aneurysm coil embolization using the discrete exterior calculus method : Vers la simulation temps-réel de l’embolisation d’un coil dans un anévrisme par l’utilisation de la méthode du calcul extérieur discret. [Doctoral Dissertation]. Université Lille I – Sciences et Technologies; 2012. Available from: http://www.theses.fr/2012LIL10034

8. Bordeu Weldt, Felipe Eduardo. Calcul à l'echelle méso avec interface non locale des composites stratifiés : Meso scale with non local interface simulation of stratified composite.

Degree: Docteur es, Mécanique, génie mécanique, génie civil, 2012, Cachan, Ecole normale supérieure

L'industrie utilise de plus en plus les matériaux composites stratifiés à matrice organique (CMO) pour remplacer les alliages métalliques légers. Avec un rapport résistance/masse supérieur… (more)

Subjects/Keywords: Composites; Endommagement; Calcul parallèle; Composites; Damage; Parallel calcul

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Bordeu Weldt, F. E. (2012). Calcul à l'echelle méso avec interface non locale des composites stratifiés : Meso scale with non local interface simulation of stratified composite. (Doctoral Dissertation). Cachan, Ecole normale supérieure. Retrieved from http://www.theses.fr/2012DENS0001

Chicago Manual of Style (16th Edition):

Bordeu Weldt, Felipe Eduardo. “Calcul à l'echelle méso avec interface non locale des composites stratifiés : Meso scale with non local interface simulation of stratified composite.” 2012. Doctoral Dissertation, Cachan, Ecole normale supérieure. Accessed December 03, 2020. http://www.theses.fr/2012DENS0001.

MLA Handbook (7th Edition):

Bordeu Weldt, Felipe Eduardo. “Calcul à l'echelle méso avec interface non locale des composites stratifiés : Meso scale with non local interface simulation of stratified composite.” 2012. Web. 03 Dec 2020.

Vancouver:

Bordeu Weldt FE. Calcul à l'echelle méso avec interface non locale des composites stratifiés : Meso scale with non local interface simulation of stratified composite. [Internet] [Doctoral dissertation]. Cachan, Ecole normale supérieure; 2012. [cited 2020 Dec 03]. Available from: http://www.theses.fr/2012DENS0001.

Council of Science Editors:

Bordeu Weldt FE. Calcul à l'echelle méso avec interface non locale des composites stratifiés : Meso scale with non local interface simulation of stratified composite. [Doctoral Dissertation]. Cachan, Ecole normale supérieure; 2012. Available from: http://www.theses.fr/2012DENS0001

9. Baladron Pezoa, Javier. Exploring the neural codes using parallel hardware : Explorer les codes neuronaux utilisant des machines parallèles.

Degree: Docteur es, Informatique, 2013, Nice

L'objectif de cette thèse est de comprendre la dynamique des grandes populations de neurones interconnectées. La méthode utilisée pour atteindre cet objectif est un mélange… (more)

Subjects/Keywords: Neurosciences; Calcul numérique; Calcul parallèle; Neuroscience; Numerical methods; Parallel computing

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Baladron Pezoa, J. (2013). Exploring the neural codes using parallel hardware : Explorer les codes neuronaux utilisant des machines parallèles. (Doctoral Dissertation). Nice. Retrieved from http://www.theses.fr/2013NICE4027

Chicago Manual of Style (16th Edition):

Baladron Pezoa, Javier. “Exploring the neural codes using parallel hardware : Explorer les codes neuronaux utilisant des machines parallèles.” 2013. Doctoral Dissertation, Nice. Accessed December 03, 2020. http://www.theses.fr/2013NICE4027.

MLA Handbook (7th Edition):

Baladron Pezoa, Javier. “Exploring the neural codes using parallel hardware : Explorer les codes neuronaux utilisant des machines parallèles.” 2013. Web. 03 Dec 2020.

Vancouver:

Baladron Pezoa J. Exploring the neural codes using parallel hardware : Explorer les codes neuronaux utilisant des machines parallèles. [Internet] [Doctoral dissertation]. Nice; 2013. [cited 2020 Dec 03]. Available from: http://www.theses.fr/2013NICE4027.

Council of Science Editors:

Baladron Pezoa J. Exploring the neural codes using parallel hardware : Explorer les codes neuronaux utilisant des machines parallèles. [Doctoral Dissertation]. Nice; 2013. Available from: http://www.theses.fr/2013NICE4027

10. Taleb, Djamel. Modélisation et simulation numérique de la coupe orthogonale par la méthode des éléments finis à maillage adaptatif.

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

111 p. : ill. ; 30 cm

Dans le cadre des études d'optimisation des paramètres géométriques et cinématiques de coupe en usinage, il est fondamental… (more)

Subjects/Keywords: Éléments finis, Méthode des; Calcul adaptatif

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Taleb, D. (2011). Modélisation et simulation numérique de la coupe orthogonale par la méthode des éléments finis à maillage adaptatif. (Thesis). Université M'Hamed Bougara Boumerdès. Retrieved from http://dlibrary.univ-boumerdes.dz:8080123456789/1966

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):

Taleb, Djamel. “Modélisation et simulation numérique de la coupe orthogonale par la méthode des éléments finis à maillage adaptatif.” 2011. Thesis, Université M'Hamed Bougara Boumerdès. Accessed December 03, 2020. http://dlibrary.univ-boumerdes.dz:8080123456789/1966.

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

MLA Handbook (7th Edition):

Taleb, Djamel. “Modélisation et simulation numérique de la coupe orthogonale par la méthode des éléments finis à maillage adaptatif.” 2011. Web. 03 Dec 2020.

Vancouver:

Taleb D. Modélisation et simulation numérique de la coupe orthogonale par la méthode des éléments finis à maillage adaptatif. [Internet] [Thesis]. Université M'Hamed Bougara Boumerdès; 2011. [cited 2020 Dec 03]. Available from: http://dlibrary.univ-boumerdes.dz:8080123456789/1966.

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

Council of Science Editors:

Taleb D. Modélisation et simulation numérique de la coupe orthogonale par la méthode des éléments finis à maillage adaptatif. [Thesis]. Université M'Hamed Bougara Boumerdès; 2011. Available from: http://dlibrary.univ-boumerdes.dz:8080123456789/1966

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

11. Iza, Lyla. La formalisation du graphe MDG dans l'assistant d'aide à la preuve COQ et la preuve de correction de ses algorithmes.

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

93 p. : ill. ; 30 cm

La vérification formelle des systèmes critiques est réalisée, en utilisant une de ces deux approches : les modèle… (more)

Subjects/Keywords: Lambda calcul; Informatique : Programmation; Modèles checking

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Iza, L. (2014). La formalisation du graphe MDG dans l'assistant d'aide à la preuve COQ et la preuve de correction de ses algorithmes. (Thesis). Université M'Hamed Bougara Boumerdès. Retrieved from http://dlibrary.univ-boumerdes.dz:8080123456789/2133

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):

Iza, Lyla. “La formalisation du graphe MDG dans l'assistant d'aide à la preuve COQ et la preuve de correction de ses algorithmes.” 2014. Thesis, Université M'Hamed Bougara Boumerdès. Accessed December 03, 2020. http://dlibrary.univ-boumerdes.dz:8080123456789/2133.

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

MLA Handbook (7th Edition):

Iza, Lyla. “La formalisation du graphe MDG dans l'assistant d'aide à la preuve COQ et la preuve de correction de ses algorithmes.” 2014. Web. 03 Dec 2020.

Vancouver:

Iza L. La formalisation du graphe MDG dans l'assistant d'aide à la preuve COQ et la preuve de correction de ses algorithmes. [Internet] [Thesis]. Université M'Hamed Bougara Boumerdès; 2014. [cited 2020 Dec 03]. Available from: http://dlibrary.univ-boumerdes.dz:8080123456789/2133.

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

Council of Science Editors:

Iza L. La formalisation du graphe MDG dans l'assistant d'aide à la preuve COQ et la preuve de correction de ses algorithmes. [Thesis]. Université M'Hamed Bougara Boumerdès; 2014. Available from: http://dlibrary.univ-boumerdes.dz:8080123456789/2133

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

12. Rouibah, Abdelkader. Évaluation dynamique des risques majeurs dans les installations pétrochimiques.

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

69 p. : ill. ; 30 cm

Nous traitons dans ce mémoire l'évaluation des risques industriels majeurs dans les installations pétrochimiques. Cette étude se compose… (more)

Subjects/Keywords: Évaluation du risque; Calcul adaptatif; Pétrochimie : Installations

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Rouibah, A. (2012). Évaluation dynamique des risques majeurs dans les installations pétrochimiques. (Thesis). Université M'Hamed Bougara Boumerdès. Retrieved from http://dlibrary.univ-boumerdes.dz:8080123456789/1728

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):

Rouibah, Abdelkader. “Évaluation dynamique des risques majeurs dans les installations pétrochimiques.” 2012. Thesis, Université M'Hamed Bougara Boumerdès. Accessed December 03, 2020. http://dlibrary.univ-boumerdes.dz:8080123456789/1728.

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

MLA Handbook (7th Edition):

Rouibah, Abdelkader. “Évaluation dynamique des risques majeurs dans les installations pétrochimiques.” 2012. Web. 03 Dec 2020.

Vancouver:

Rouibah A. Évaluation dynamique des risques majeurs dans les installations pétrochimiques. [Internet] [Thesis]. Université M'Hamed Bougara Boumerdès; 2012. [cited 2020 Dec 03]. Available from: http://dlibrary.univ-boumerdes.dz:8080123456789/1728.

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

Council of Science Editors:

Rouibah A. Évaluation dynamique des risques majeurs dans les installations pétrochimiques. [Thesis]. Université M'Hamed Bougara Boumerdès; 2012. Available from: http://dlibrary.univ-boumerdes.dz:8080123456789/1728

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

13. Rouibah, Abdelkader. Évaluation dynamique des risques majeurs dans les installations pétrochimiques.

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

69 p. ; ill. ; 30 cm

Nous traitons dans ce mémoire l'évaluation des risques industriels majeurs dans les installations pétrochimiques. Cette étude se compose… (more)

Subjects/Keywords: Évaluation du risque; Calcul adaptatif; Pétrochimie : Installations

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Rouibah, A. (2012). Évaluation dynamique des risques majeurs dans les installations pétrochimiques. (Thesis). Université M'Hamed Bougara Boumerdès. Retrieved from http://dlibrary.univ-boumerdes.dz:8080/jspui/handle/123456789/417

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):

Rouibah, Abdelkader. “Évaluation dynamique des risques majeurs dans les installations pétrochimiques.” 2012. Thesis, Université M'Hamed Bougara Boumerdès. Accessed December 03, 2020. http://dlibrary.univ-boumerdes.dz:8080/jspui/handle/123456789/417.

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

MLA Handbook (7th Edition):

Rouibah, Abdelkader. “Évaluation dynamique des risques majeurs dans les installations pétrochimiques.” 2012. Web. 03 Dec 2020.

Vancouver:

Rouibah A. Évaluation dynamique des risques majeurs dans les installations pétrochimiques. [Internet] [Thesis]. Université M'Hamed Bougara Boumerdès; 2012. [cited 2020 Dec 03]. Available from: http://dlibrary.univ-boumerdes.dz:8080/jspui/handle/123456789/417.

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

Council of Science Editors:

Rouibah A. Évaluation dynamique des risques majeurs dans les installations pétrochimiques. [Thesis]. Université M'Hamed Bougara Boumerdès; 2012. Available from: http://dlibrary.univ-boumerdes.dz:8080/jspui/handle/123456789/417

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

14. Taleb, Djamel. Modélisation et simulation numérique de la coupe orthogonale par la méthode des éléments finis à maillage adaptatif.

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

111 p. ; ill. ; 30 cm

Dans le cadre des études d'optimisation des paramètres géométriques et cinématiques de coupe en usinage, il est fondamental… (more)

Subjects/Keywords: Éléments finis, Méthode des; Calcul adaptatif

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Taleb, D. (2011). Modélisation et simulation numérique de la coupe orthogonale par la méthode des éléments finis à maillage adaptatif. (Thesis). Université M'Hamed Bougara Boumerdès. Retrieved from http://dlibrary.univ-boumerdes.dz:8080/jspui/handle/123456789/838

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):

Taleb, Djamel. “Modélisation et simulation numérique de la coupe orthogonale par la méthode des éléments finis à maillage adaptatif.” 2011. Thesis, Université M'Hamed Bougara Boumerdès. Accessed December 03, 2020. http://dlibrary.univ-boumerdes.dz:8080/jspui/handle/123456789/838.

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

MLA Handbook (7th Edition):

Taleb, Djamel. “Modélisation et simulation numérique de la coupe orthogonale par la méthode des éléments finis à maillage adaptatif.” 2011. Web. 03 Dec 2020.

Vancouver:

Taleb D. Modélisation et simulation numérique de la coupe orthogonale par la méthode des éléments finis à maillage adaptatif. [Internet] [Thesis]. Université M'Hamed Bougara Boumerdès; 2011. [cited 2020 Dec 03]. Available from: http://dlibrary.univ-boumerdes.dz:8080/jspui/handle/123456789/838.

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

Council of Science Editors:

Taleb D. Modélisation et simulation numérique de la coupe orthogonale par la méthode des éléments finis à maillage adaptatif. [Thesis]. Université M'Hamed Bougara Boumerdès; 2011. Available from: http://dlibrary.univ-boumerdes.dz:8080/jspui/handle/123456789/838

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

15. Zhu, Li. A distributed modular self-reconfiguring robotic platform based on simplified electro-permanent magnets : Plate-forme robotique et auto-reconfigurable basée sur un aimant électro-permanent simplifié.

Degree: Docteur es, Réseaux, Télécoms, Systèmes et Architecture, 2018, Université Toulouse III – Paul Sabatier

Un système robotique distribué et reconfigurable (MSRR) est composé de plusieurs modules ayant certaines fonctions de mouvement, de perception et d'action. Ils peuvent s'adapter à… (more)

Subjects/Keywords: Calcul distribué; Robot modulaire; Système intelligent

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Zhu, L. (2018). A distributed modular self-reconfiguring robotic platform based on simplified electro-permanent magnets : Plate-forme robotique et auto-reconfigurable basée sur un aimant électro-permanent simplifié. (Doctoral Dissertation). Université Toulouse III – Paul Sabatier. Retrieved from http://www.theses.fr/2018TOU30060

Chicago Manual of Style (16th Edition):

Zhu, Li. “A distributed modular self-reconfiguring robotic platform based on simplified electro-permanent magnets : Plate-forme robotique et auto-reconfigurable basée sur un aimant électro-permanent simplifié.” 2018. Doctoral Dissertation, Université Toulouse III – Paul Sabatier. Accessed December 03, 2020. http://www.theses.fr/2018TOU30060.

MLA Handbook (7th Edition):

Zhu, Li. “A distributed modular self-reconfiguring robotic platform based on simplified electro-permanent magnets : Plate-forme robotique et auto-reconfigurable basée sur un aimant électro-permanent simplifié.” 2018. Web. 03 Dec 2020.

Vancouver:

Zhu L. A distributed modular self-reconfiguring robotic platform based on simplified electro-permanent magnets : Plate-forme robotique et auto-reconfigurable basée sur un aimant électro-permanent simplifié. [Internet] [Doctoral dissertation]. Université Toulouse III – Paul Sabatier; 2018. [cited 2020 Dec 03]. Available from: http://www.theses.fr/2018TOU30060.

Council of Science Editors:

Zhu L. A distributed modular self-reconfiguring robotic platform based on simplified electro-permanent magnets : Plate-forme robotique et auto-reconfigurable basée sur un aimant électro-permanent simplifié. [Doctoral Dissertation]. Université Toulouse III – Paul Sabatier; 2018. Available from: http://www.theses.fr/2018TOU30060

16. Chapuis, Guillaume. Exploiting parallel features of modern computer architectures in bioinformatics : applications to genetics, structure comparison and large graph analysis : Exploiter les capacités de calcul parallèle des architectures modernes en bioinformatique.

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

La croissance exponentielle de la génération de données pour la bioinformatique couplée à une stagnation des fréquences d’horloge des processeurs modernes accentuent la nécessité de… (more)

Subjects/Keywords: Bioinformatique; Calcul parallèle; Bioinformatics; High performance computing

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Chapuis, G. (2013). Exploiting parallel features of modern computer architectures in bioinformatics : applications to genetics, structure comparison and large graph analysis : Exploiter les capacités de calcul parallèle des architectures modernes en bioinformatique. (Doctoral Dissertation). Cachan, Ecole normale supérieure. Retrieved from http://www.theses.fr/2013DENS0068

Chicago Manual of Style (16th Edition):

Chapuis, Guillaume. “Exploiting parallel features of modern computer architectures in bioinformatics : applications to genetics, structure comparison and large graph analysis : Exploiter les capacités de calcul parallèle des architectures modernes en bioinformatique.” 2013. Doctoral Dissertation, Cachan, Ecole normale supérieure. Accessed December 03, 2020. http://www.theses.fr/2013DENS0068.

MLA Handbook (7th Edition):

Chapuis, Guillaume. “Exploiting parallel features of modern computer architectures in bioinformatics : applications to genetics, structure comparison and large graph analysis : Exploiter les capacités de calcul parallèle des architectures modernes en bioinformatique.” 2013. Web. 03 Dec 2020.

Vancouver:

Chapuis G. Exploiting parallel features of modern computer architectures in bioinformatics : applications to genetics, structure comparison and large graph analysis : Exploiter les capacités de calcul parallèle des architectures modernes en bioinformatique. [Internet] [Doctoral dissertation]. Cachan, Ecole normale supérieure; 2013. [cited 2020 Dec 03]. Available from: http://www.theses.fr/2013DENS0068.

Council of Science Editors:

Chapuis G. Exploiting parallel features of modern computer architectures in bioinformatics : applications to genetics, structure comparison and large graph analysis : Exploiter les capacités de calcul parallèle des architectures modernes en bioinformatique. [Doctoral Dissertation]. Cachan, Ecole normale supérieure; 2013. Available from: http://www.theses.fr/2013DENS0068

17. Putigny, Bertrand. Benchmark-driven approaches to performance modeling of multi-core architectures : Modélisation des architecture multi-cœur par des mesures de performance.

Degree: Docteur es, Informatique, 2014, Bordeaux

Ce manuscrit s'inscrit dans le domaine du calcul intensif (HPC) où le besoin croissant de performance pousse les fabricants de processeurs à y intégrer des… (more)

Subjects/Keywords: Modélisation; Performance; Calcul intensif; Modeling; Performance; HPC

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Putigny, B. (2014). Benchmark-driven approaches to performance modeling of multi-core architectures : Modélisation des architecture multi-cœur par des mesures de performance. (Doctoral Dissertation). Bordeaux. Retrieved from http://www.theses.fr/2014BORD0155

Chicago Manual of Style (16th Edition):

Putigny, Bertrand. “Benchmark-driven approaches to performance modeling of multi-core architectures : Modélisation des architecture multi-cœur par des mesures de performance.” 2014. Doctoral Dissertation, Bordeaux. Accessed December 03, 2020. http://www.theses.fr/2014BORD0155.

MLA Handbook (7th Edition):

Putigny, Bertrand. “Benchmark-driven approaches to performance modeling of multi-core architectures : Modélisation des architecture multi-cœur par des mesures de performance.” 2014. Web. 03 Dec 2020.

Vancouver:

Putigny B. Benchmark-driven approaches to performance modeling of multi-core architectures : Modélisation des architecture multi-cœur par des mesures de performance. [Internet] [Doctoral dissertation]. Bordeaux; 2014. [cited 2020 Dec 03]. Available from: http://www.theses.fr/2014BORD0155.

Council of Science Editors:

Putigny B. Benchmark-driven approaches to performance modeling of multi-core architectures : Modélisation des architecture multi-cœur par des mesures de performance. [Doctoral Dissertation]. Bordeaux; 2014. Available from: http://www.theses.fr/2014BORD0155

18. Krichene, Haná. SCAC : modèle d'exécution faiblement couplé pour les systèmes massivement parallèles sur puce : SCAC : weakly-coupled execution model for massively parallel Systems-on-Chip.

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

Ce travail propose un modèle d'exécution pour les systèmes massivement parallèles qui vise à assurer le recouvrement des communications par les calculs. Le modèle d'exécution… (more)

Subjects/Keywords: Modèle d'exécution; Recouvrement communication-Calcul; 004.35

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Krichene, H. (2015). SCAC : modèle d'exécution faiblement couplé pour les systèmes massivement parallèles sur puce : SCAC : weakly-coupled execution model for massively parallel Systems-on-Chip. (Doctoral Dissertation). Université Lille I – Sciences et Technologies. Retrieved from http://www.theses.fr/2015LIL10093

Chicago Manual of Style (16th Edition):

Krichene, Haná. “SCAC : modèle d'exécution faiblement couplé pour les systèmes massivement parallèles sur puce : SCAC : weakly-coupled execution model for massively parallel Systems-on-Chip.” 2015. Doctoral Dissertation, Université Lille I – Sciences et Technologies. Accessed December 03, 2020. http://www.theses.fr/2015LIL10093.

MLA Handbook (7th Edition):

Krichene, Haná. “SCAC : modèle d'exécution faiblement couplé pour les systèmes massivement parallèles sur puce : SCAC : weakly-coupled execution model for massively parallel Systems-on-Chip.” 2015. Web. 03 Dec 2020.

Vancouver:

Krichene H. SCAC : modèle d'exécution faiblement couplé pour les systèmes massivement parallèles sur puce : SCAC : weakly-coupled execution model for massively parallel Systems-on-Chip. [Internet] [Doctoral dissertation]. Université Lille I – Sciences et Technologies; 2015. [cited 2020 Dec 03]. Available from: http://www.theses.fr/2015LIL10093.

Council of Science Editors:

Krichene H. SCAC : modèle d'exécution faiblement couplé pour les systèmes massivement parallèles sur puce : SCAC : weakly-coupled execution model for massively parallel Systems-on-Chip. [Doctoral Dissertation]. Université Lille I – Sciences et Technologies; 2015. Available from: http://www.theses.fr/2015LIL10093

19. Benhabiles, Halim. 3D-mesh segmentation : automatic evaluation and a new learning-based method : Segmentation de maillages 3D : évaluation automatique et une nouvelle méthode par apprentissage.

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

Dans cette thèse, nous abordons deux problèmes principaux, à savoir l'évaluation quantitative des algorithmes de segmentation de maillages ainsi que la segmentation de maillages par… (more)

Subjects/Keywords: Vérité-Terrain; Calcul de similarité; 006.31

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Benhabiles, H. (2011). 3D-mesh segmentation : automatic evaluation and a new learning-based method : Segmentation de maillages 3D : évaluation automatique et une nouvelle méthode par apprentissage. (Doctoral Dissertation). Université Lille I – Sciences et Technologies. Retrieved from http://www.theses.fr/2011LIL10105

Chicago Manual of Style (16th Edition):

Benhabiles, Halim. “3D-mesh segmentation : automatic evaluation and a new learning-based method : Segmentation de maillages 3D : évaluation automatique et une nouvelle méthode par apprentissage.” 2011. Doctoral Dissertation, Université Lille I – Sciences et Technologies. Accessed December 03, 2020. http://www.theses.fr/2011LIL10105.

MLA Handbook (7th Edition):

Benhabiles, Halim. “3D-mesh segmentation : automatic evaluation and a new learning-based method : Segmentation de maillages 3D : évaluation automatique et une nouvelle méthode par apprentissage.” 2011. Web. 03 Dec 2020.

Vancouver:

Benhabiles H. 3D-mesh segmentation : automatic evaluation and a new learning-based method : Segmentation de maillages 3D : évaluation automatique et une nouvelle méthode par apprentissage. [Internet] [Doctoral dissertation]. Université Lille I – Sciences et Technologies; 2011. [cited 2020 Dec 03]. Available from: http://www.theses.fr/2011LIL10105.

Council of Science Editors:

Benhabiles H. 3D-mesh segmentation : automatic evaluation and a new learning-based method : Segmentation de maillages 3D : évaluation automatique et une nouvelle méthode par apprentissage. [Doctoral Dissertation]. Université Lille I – Sciences et Technologies; 2011. Available from: http://www.theses.fr/2011LIL10105


INP Toulouse

20. Nguyen, The Tung. Un environnement pour le calcul intensif pair à pair : An environment for peer-to-peer high performance computing.

Degree: Docteur es, Systèmes informatiques critiques, 2011, INP Toulouse

Le concept de pair à pair (P2P) a connu récemment de grands développements dans les domaines du partage de fichiers, du streaming vidéo et des… (more)

Subjects/Keywords: Calcul pair à pair; Calcul distribué; Calcul à haute performance; Itérations asynchrones; Environnement décentralisé de calcul; Peer-to-peer; Parallel computing; High performance computing; Communication protocol; Self-adaptive; Environment

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Nguyen, T. T. (2011). Un environnement pour le calcul intensif pair à pair : An environment for peer-to-peer high performance computing. (Doctoral Dissertation). INP Toulouse. Retrieved from http://www.theses.fr/2011INPT0105

Chicago Manual of Style (16th Edition):

Nguyen, The Tung. “Un environnement pour le calcul intensif pair à pair : An environment for peer-to-peer high performance computing.” 2011. Doctoral Dissertation, INP Toulouse. Accessed December 03, 2020. http://www.theses.fr/2011INPT0105.

MLA Handbook (7th Edition):

Nguyen, The Tung. “Un environnement pour le calcul intensif pair à pair : An environment for peer-to-peer high performance computing.” 2011. Web. 03 Dec 2020.

Vancouver:

Nguyen TT. Un environnement pour le calcul intensif pair à pair : An environment for peer-to-peer high performance computing. [Internet] [Doctoral dissertation]. INP Toulouse; 2011. [cited 2020 Dec 03]. Available from: http://www.theses.fr/2011INPT0105.

Council of Science Editors:

Nguyen TT. Un environnement pour le calcul intensif pair à pair : An environment for peer-to-peer high performance computing. [Doctoral Dissertation]. INP Toulouse; 2011. Available from: http://www.theses.fr/2011INPT0105


Université de Sherbrooke

21. Désilets, Jacques. Formalisation du concept de calculabilité effective.

Degree: 1971, Université de Sherbrooke

 Une fonction sera dite calculable s'il existe un processus mécanique calculant la valeur de cette fonction pour des arguments quelconques. Cette phrase contient sans doute… (more)

Subjects/Keywords: Calcul; Analyse mathématique

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Désilets, J. (1971). Formalisation du concept de calculabilité effective. (Masters Thesis). Université de Sherbrooke. Retrieved from http://hdl.handle.net/11143/12461

Chicago Manual of Style (16th Edition):

Désilets, Jacques. “Formalisation du concept de calculabilité effective.” 1971. Masters Thesis, Université de Sherbrooke. Accessed December 03, 2020. http://hdl.handle.net/11143/12461.

MLA Handbook (7th Edition):

Désilets, Jacques. “Formalisation du concept de calculabilité effective.” 1971. Web. 03 Dec 2020.

Vancouver:

Désilets J. Formalisation du concept de calculabilité effective. [Internet] [Masters thesis]. Université de Sherbrooke; 1971. [cited 2020 Dec 03]. Available from: http://hdl.handle.net/11143/12461.

Council of Science Editors:

Désilets J. Formalisation du concept de calculabilité effective. [Masters Thesis]. Université de Sherbrooke; 1971. Available from: http://hdl.handle.net/11143/12461

22. Vialla, Bastien. Contributions à l'algèbre linéaire exacte sur corps finis et au chiffrement homomorphe : Contributions in sparse linear algebra on finite fields and homomorphic encryption.

Degree: Docteur es, Informatique, 2015, Montpellier

Cette thèse est composée de deux axes principaux, le premier portant sur le chiffrement homomorphe et le second sur l’algèbre linéaire creuse sur corps finis.… (more)

Subjects/Keywords: Cryptographie; Calcul formel; Algèbre linéaire; Calcul parallèle; Cryptography; Computer Algebra; Linear Algebra; Parallel computation

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Vialla, B. (2015). Contributions à l'algèbre linéaire exacte sur corps finis et au chiffrement homomorphe : Contributions in sparse linear algebra on finite fields and homomorphic encryption. (Doctoral Dissertation). Montpellier. Retrieved from http://www.theses.fr/2015MONTS112

Chicago Manual of Style (16th Edition):

Vialla, Bastien. “Contributions à l'algèbre linéaire exacte sur corps finis et au chiffrement homomorphe : Contributions in sparse linear algebra on finite fields and homomorphic encryption.” 2015. Doctoral Dissertation, Montpellier. Accessed December 03, 2020. http://www.theses.fr/2015MONTS112.

MLA Handbook (7th Edition):

Vialla, Bastien. “Contributions à l'algèbre linéaire exacte sur corps finis et au chiffrement homomorphe : Contributions in sparse linear algebra on finite fields and homomorphic encryption.” 2015. Web. 03 Dec 2020.

Vancouver:

Vialla B. Contributions à l'algèbre linéaire exacte sur corps finis et au chiffrement homomorphe : Contributions in sparse linear algebra on finite fields and homomorphic encryption. [Internet] [Doctoral dissertation]. Montpellier; 2015. [cited 2020 Dec 03]. Available from: http://www.theses.fr/2015MONTS112.

Council of Science Editors:

Vialla B. Contributions à l'algèbre linéaire exacte sur corps finis et au chiffrement homomorphe : Contributions in sparse linear algebra on finite fields and homomorphic encryption. [Doctoral Dissertation]. Montpellier; 2015. Available from: http://www.theses.fr/2015MONTS112


Université de Lorraine

23. Demange, Vincent. Vers un calcul des constructions pédagogique : Towards a pedagogical calculus of constructions.

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

Les systèmes pédagogiques sont apparus récemment à propos des calculs propositionnels (jusqu'à l'ordre supérieur), et consistent à donner systématiquement des exemples des notions (hypothèses) introduites.… (more)

Subjects/Keywords: Lambda-calcul typé; Calcul des constructions; Calculs pédagogiques; Logique; Systèmes formels; Systèmes fonctionnels; 003; 511.35

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Demange, V. (2012). Vers un calcul des constructions pédagogique : Towards a pedagogical calculus of constructions. (Doctoral Dissertation). Université de Lorraine. Retrieved from http://www.theses.fr/2012LORR0388

Chicago Manual of Style (16th Edition):

Demange, Vincent. “Vers un calcul des constructions pédagogique : Towards a pedagogical calculus of constructions.” 2012. Doctoral Dissertation, Université de Lorraine. Accessed December 03, 2020. http://www.theses.fr/2012LORR0388.

MLA Handbook (7th Edition):

Demange, Vincent. “Vers un calcul des constructions pédagogique : Towards a pedagogical calculus of constructions.” 2012. Web. 03 Dec 2020.

Vancouver:

Demange V. Vers un calcul des constructions pédagogique : Towards a pedagogical calculus of constructions. [Internet] [Doctoral dissertation]. Université de Lorraine; 2012. [cited 2020 Dec 03]. Available from: http://www.theses.fr/2012LORR0388.

Council of Science Editors:

Demange V. Vers un calcul des constructions pédagogique : Towards a pedagogical calculus of constructions. [Doctoral Dissertation]. Université de Lorraine; 2012. Available from: http://www.theses.fr/2012LORR0388

24. Bourge, Alban. Changement de contexte matériel sur FPGA, entre équipements reconfigurables et hétérogènes dans un environnement de calcul distribué : Hardware task context switch on FPGA between heterogeneous reconfigurable devices in a cloud-FPGA environment.

Degree: Docteur es, Nanoélectronique et nanotechnologie, 2016, Université Grenoble Alpes (ComUE)

Architectures reconfigurables dynamiquement offrent théoriquement excellent compromis entre performance et flexibilité. Pratiquement, ces architectures sont basées sur un ou plusieurs processeurs et plusieurs cellules reconfigurables.… (more)

Subjects/Keywords: Fpga; Calcul distribué; Contexte; Hétérogène; Calcul; Configuration; Fpga; Cloud-Computing; Context; Heterogeneous; Computing; Switch; 620

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Bourge, A. (2016). Changement de contexte matériel sur FPGA, entre équipements reconfigurables et hétérogènes dans un environnement de calcul distribué : Hardware task context switch on FPGA between heterogeneous reconfigurable devices in a cloud-FPGA environment. (Doctoral Dissertation). Université Grenoble Alpes (ComUE). Retrieved from http://www.theses.fr/2016GREAT068

Chicago Manual of Style (16th Edition):

Bourge, Alban. “Changement de contexte matériel sur FPGA, entre équipements reconfigurables et hétérogènes dans un environnement de calcul distribué : Hardware task context switch on FPGA between heterogeneous reconfigurable devices in a cloud-FPGA environment.” 2016. Doctoral Dissertation, Université Grenoble Alpes (ComUE). Accessed December 03, 2020. http://www.theses.fr/2016GREAT068.

MLA Handbook (7th Edition):

Bourge, Alban. “Changement de contexte matériel sur FPGA, entre équipements reconfigurables et hétérogènes dans un environnement de calcul distribué : Hardware task context switch on FPGA between heterogeneous reconfigurable devices in a cloud-FPGA environment.” 2016. Web. 03 Dec 2020.

Vancouver:

Bourge A. Changement de contexte matériel sur FPGA, entre équipements reconfigurables et hétérogènes dans un environnement de calcul distribué : Hardware task context switch on FPGA between heterogeneous reconfigurable devices in a cloud-FPGA environment. [Internet] [Doctoral dissertation]. Université Grenoble Alpes (ComUE); 2016. [cited 2020 Dec 03]. Available from: http://www.theses.fr/2016GREAT068.

Council of Science Editors:

Bourge A. Changement de contexte matériel sur FPGA, entre équipements reconfigurables et hétérogènes dans un environnement de calcul distribué : Hardware task context switch on FPGA between heterogeneous reconfigurable devices in a cloud-FPGA environment. [Doctoral Dissertation]. Université Grenoble Alpes (ComUE); 2016. Available from: http://www.theses.fr/2016GREAT068

25. Beniamine, David. Analyzing the memory behavior of parallel scientific applications : Analyse du comportement mémoire d'applications parallèles de calcul scientifique.

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

Depuis plusieurs décennies, afin de réduire la consommation énergétique des processeurs, les constructeurs fabriquent des ordinateurs de plus en plus parallèles.Dans le même temps, l'écart… (more)

Subjects/Keywords: Analyse de performances; Calcul scientifique; Calcul parallèle; Performance analysis; Scientific computing; Parallel computing; 004

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Beniamine, D. (2016). Analyzing the memory behavior of parallel scientific applications : Analyse du comportement mémoire d'applications parallèles de calcul scientifique. (Doctoral Dissertation). Université Grenoble Alpes (ComUE). Retrieved from http://www.theses.fr/2016GREAM088

Chicago Manual of Style (16th Edition):

Beniamine, David. “Analyzing the memory behavior of parallel scientific applications : Analyse du comportement mémoire d'applications parallèles de calcul scientifique.” 2016. Doctoral Dissertation, Université Grenoble Alpes (ComUE). Accessed December 03, 2020. http://www.theses.fr/2016GREAM088.

MLA Handbook (7th Edition):

Beniamine, David. “Analyzing the memory behavior of parallel scientific applications : Analyse du comportement mémoire d'applications parallèles de calcul scientifique.” 2016. Web. 03 Dec 2020.

Vancouver:

Beniamine D. Analyzing the memory behavior of parallel scientific applications : Analyse du comportement mémoire d'applications parallèles de calcul scientifique. [Internet] [Doctoral dissertation]. Université Grenoble Alpes (ComUE); 2016. [cited 2020 Dec 03]. Available from: http://www.theses.fr/2016GREAM088.

Council of Science Editors:

Beniamine D. Analyzing the memory behavior of parallel scientific applications : Analyse du comportement mémoire d'applications parallèles de calcul scientifique. [Doctoral Dissertation]. Université Grenoble Alpes (ComUE); 2016. Available from: http://www.theses.fr/2016GREAM088

26. Senot, Maxime. Modèle géométrique de calcul : fractales et barrières de complexité : Geometrical model of computation : fractals and complexity gaps.

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

Les modèles géométriques de calcul permettent d’effectuer des calculs à l’aide de primitives géométriques. Parmi eux, le modèle des machines à signaux se distingue par… (more)

Subjects/Keywords: Modèle de calcul; Calcul non-conventionnel; Calcul géométrique; Machines à signaux; Fractales; Complexité de problèmes; Model of computation; Unconventional computing; Geometrical computation; Signal machines; Fractals; Computational complexity

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Senot, M. (2013). Modèle géométrique de calcul : fractales et barrières de complexité : Geometrical model of computation : fractals and complexity gaps. (Doctoral Dissertation). Université d'Orléans. Retrieved from http://www.theses.fr/2013ORLE2019

Chicago Manual of Style (16th Edition):

Senot, Maxime. “Modèle géométrique de calcul : fractales et barrières de complexité : Geometrical model of computation : fractals and complexity gaps.” 2013. Doctoral Dissertation, Université d'Orléans. Accessed December 03, 2020. http://www.theses.fr/2013ORLE2019.

MLA Handbook (7th Edition):

Senot, Maxime. “Modèle géométrique de calcul : fractales et barrières de complexité : Geometrical model of computation : fractals and complexity gaps.” 2013. Web. 03 Dec 2020.

Vancouver:

Senot M. Modèle géométrique de calcul : fractales et barrières de complexité : Geometrical model of computation : fractals and complexity gaps. [Internet] [Doctoral dissertation]. Université d'Orléans; 2013. [cited 2020 Dec 03]. Available from: http://www.theses.fr/2013ORLE2019.

Council of Science Editors:

Senot M. Modèle géométrique de calcul : fractales et barrières de complexité : Geometrical model of computation : fractals and complexity gaps. [Doctoral Dissertation]. Université d'Orléans; 2013. Available from: http://www.theses.fr/2013ORLE2019

27. Fakih, Bilal. Environnement décentralisé et protocole de communication pour le calcul intensif sur grille : A decentralized environment and a protocol of communication for high performance computing on grid architecture.

Degree: Docteur es, Réseaux, Télécoms, Systèmes et Architecture, 2018, Université Toulouse III – Paul Sabatier

Dans cette thèse nous présentons un environnement décentralisé pour la mise en oeuvre des calcul intensif sur grille. Nous nous intéressons à des applications dans… (more)

Subjects/Keywords: Protocole de communication; Calcul sur grille; Calcul haute performance; Calcul parallèle; Planification; Simulation numérique; Communication Protocol; Grid Computing; High Performance Computing; Parallel Computing; Planning; Numerical Simulation

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Fakih, B. (2018). Environnement décentralisé et protocole de communication pour le calcul intensif sur grille : A decentralized environment and a protocol of communication for high performance computing on grid architecture. (Doctoral Dissertation). Université Toulouse III – Paul Sabatier. Retrieved from http://www.theses.fr/2018TOU30179

Chicago Manual of Style (16th Edition):

Fakih, Bilal. “Environnement décentralisé et protocole de communication pour le calcul intensif sur grille : A decentralized environment and a protocol of communication for high performance computing on grid architecture.” 2018. Doctoral Dissertation, Université Toulouse III – Paul Sabatier. Accessed December 03, 2020. http://www.theses.fr/2018TOU30179.

MLA Handbook (7th Edition):

Fakih, Bilal. “Environnement décentralisé et protocole de communication pour le calcul intensif sur grille : A decentralized environment and a protocol of communication for high performance computing on grid architecture.” 2018. Web. 03 Dec 2020.

Vancouver:

Fakih B. Environnement décentralisé et protocole de communication pour le calcul intensif sur grille : A decentralized environment and a protocol of communication for high performance computing on grid architecture. [Internet] [Doctoral dissertation]. Université Toulouse III – Paul Sabatier; 2018. [cited 2020 Dec 03]. Available from: http://www.theses.fr/2018TOU30179.

Council of Science Editors:

Fakih B. Environnement décentralisé et protocole de communication pour le calcul intensif sur grille : A decentralized environment and a protocol of communication for high performance computing on grid architecture. [Doctoral Dissertation]. Université Toulouse III – Paul Sabatier; 2018. Available from: http://www.theses.fr/2018TOU30179


Université de Grenoble

28. Chakode Noumowe, Rodrigue. Environnement d'exécution pour des services de calcul à la demande sur des grappes mutualisées : Execution Environment for On-demand Computing Services Based on Shared Clusters.

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

Cette thèse étudie la gestion de ressources pour des services de calcul intensif à la demande sur une grappe de calcul partagée. Dans un tel… (more)

Subjects/Keywords: Calcul à la demande; Gestion de ressources; Virtualisation; Exécution dynamique; Calcul dans le nuage; Calcul haute performance; On-demand computing; Resource management; Virtualization; Dynamic execution; Cloud Computing; High Performance Computing

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Chakode Noumowe, R. (2012). Environnement d'exécution pour des services de calcul à la demande sur des grappes mutualisées : Execution Environment for On-demand Computing Services Based on Shared Clusters. (Doctoral Dissertation). Université de Grenoble. Retrieved from http://www.theses.fr/2012GRENM035

Chicago Manual of Style (16th Edition):

Chakode Noumowe, Rodrigue. “Environnement d'exécution pour des services de calcul à la demande sur des grappes mutualisées : Execution Environment for On-demand Computing Services Based on Shared Clusters.” 2012. Doctoral Dissertation, Université de Grenoble. Accessed December 03, 2020. http://www.theses.fr/2012GRENM035.

MLA Handbook (7th Edition):

Chakode Noumowe, Rodrigue. “Environnement d'exécution pour des services de calcul à la demande sur des grappes mutualisées : Execution Environment for On-demand Computing Services Based on Shared Clusters.” 2012. Web. 03 Dec 2020.

Vancouver:

Chakode Noumowe R. Environnement d'exécution pour des services de calcul à la demande sur des grappes mutualisées : Execution Environment for On-demand Computing Services Based on Shared Clusters. [Internet] [Doctoral dissertation]. Université de Grenoble; 2012. [cited 2020 Dec 03]. Available from: http://www.theses.fr/2012GRENM035.

Council of Science Editors:

Chakode Noumowe R. Environnement d'exécution pour des services de calcul à la demande sur des grappes mutualisées : Execution Environment for On-demand Computing Services Based on Shared Clusters. [Doctoral Dissertation]. Université de Grenoble; 2012. Available from: http://www.theses.fr/2012GRENM035

29. Souloumiac, Pauline. Mécanismes 3D de ruine en géologie structurale : approches numérique et analogique. : Mécanismes 3D de ruine en géologie structurale : approches numérique et analogique.

Degree: Docteur es, Modélisation numérique, géologie structurale, 2009, Châtenay-Malabry, Ecole centrale de Paris

 Le premier but de cette thèse est d’étudier les séquences de chevauchements dans les prismes d’accrétion et les chaînes plissées grâce au calcul à la… (more)

Subjects/Keywords: Calcul à la rupture; Chaînes plissées; Expériences analogiques; Calcul à la rupture; Chaînes plissées; Expériences analogiques

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Souloumiac, P. (2009). Mécanismes 3D de ruine en géologie structurale : approches numérique et analogique. : Mécanismes 3D de ruine en géologie structurale : approches numérique et analogique. (Doctoral Dissertation). Châtenay-Malabry, Ecole centrale de Paris. Retrieved from http://www.theses.fr/2009ECAP0024

Chicago Manual of Style (16th Edition):

Souloumiac, Pauline. “Mécanismes 3D de ruine en géologie structurale : approches numérique et analogique. : Mécanismes 3D de ruine en géologie structurale : approches numérique et analogique.” 2009. Doctoral Dissertation, Châtenay-Malabry, Ecole centrale de Paris. Accessed December 03, 2020. http://www.theses.fr/2009ECAP0024.

MLA Handbook (7th Edition):

Souloumiac, Pauline. “Mécanismes 3D de ruine en géologie structurale : approches numérique et analogique. : Mécanismes 3D de ruine en géologie structurale : approches numérique et analogique.” 2009. Web. 03 Dec 2020.

Vancouver:

Souloumiac P. Mécanismes 3D de ruine en géologie structurale : approches numérique et analogique. : Mécanismes 3D de ruine en géologie structurale : approches numérique et analogique. [Internet] [Doctoral dissertation]. Châtenay-Malabry, Ecole centrale de Paris; 2009. [cited 2020 Dec 03]. Available from: http://www.theses.fr/2009ECAP0024.

Council of Science Editors:

Souloumiac P. Mécanismes 3D de ruine en géologie structurale : approches numérique et analogique. : Mécanismes 3D de ruine en géologie structurale : approches numérique et analogique. [Doctoral Dissertation]. Châtenay-Malabry, Ecole centrale de Paris; 2009. Available from: http://www.theses.fr/2009ECAP0024

30. Moura, Patrice. L'expertise économique dans la décision publique : le cas de la politique autoroutière (1960-2000) : The economic expertise in public decision - making : the case of the motorway policy (1960-2000).

Degree: Docteur es, Sciences politiques, 2016, Université Paris-Saclay (ComUE)

Le calcul économique appliqué aux choix des investissements routiers, mis au point par les ingénieurs-économistes du corps des ponts et chaussées, est un outil destiné… (more)

Subjects/Keywords: Action publique; Administration; Expertise; Décision publique; Calcul économique; Autoroutes; Etat; Public action; Administration; Expertise; Décision publique; Calcul économique; Highways; State

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Moura, P. (2016). L'expertise économique dans la décision publique : le cas de la politique autoroutière (1960-2000) : The economic expertise in public decision - making : the case of the motorway policy (1960-2000). (Doctoral Dissertation). Université Paris-Saclay (ComUE). Retrieved from http://www.theses.fr/2016SACLN034

Chicago Manual of Style (16th Edition):

Moura, Patrice. “L'expertise économique dans la décision publique : le cas de la politique autoroutière (1960-2000) : The economic expertise in public decision - making : the case of the motorway policy (1960-2000).” 2016. Doctoral Dissertation, Université Paris-Saclay (ComUE). Accessed December 03, 2020. http://www.theses.fr/2016SACLN034.

MLA Handbook (7th Edition):

Moura, Patrice. “L'expertise économique dans la décision publique : le cas de la politique autoroutière (1960-2000) : The economic expertise in public decision - making : the case of the motorway policy (1960-2000).” 2016. Web. 03 Dec 2020.

Vancouver:

Moura P. L'expertise économique dans la décision publique : le cas de la politique autoroutière (1960-2000) : The economic expertise in public decision - making : the case of the motorway policy (1960-2000). [Internet] [Doctoral dissertation]. Université Paris-Saclay (ComUE); 2016. [cited 2020 Dec 03]. Available from: http://www.theses.fr/2016SACLN034.

Council of Science Editors:

Moura P. L'expertise économique dans la décision publique : le cas de la politique autoroutière (1960-2000) : The economic expertise in public decision - making : the case of the motorway policy (1960-2000). [Doctoral Dissertation]. Université Paris-Saclay (ComUE); 2016. Available from: http://www.theses.fr/2016SACLN034

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

.