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

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

Search Limiters

Last 2 Years | English Only

Department

Degrees

Levels

Languages

Country

▼ Search Limiters

1. Besbes, Anissa. Physiopathologie de la pneumonie à Pseudomonas aeruginosa : implication des cellules épithéliales alvéolaires via l'IL-22 et l'échappement immunitaire : Physiopathology of Pseudomonas aeruginosa pneumonia : involvement of alveolar epithelial cells through IL-22 and role of the immune escape.

Degree: Docteur es, Aspects moléculaires et cellulaires de la biologie, 2018, Nantes

Pseudorrwnas aeruginosa (PA) est un pathogène opportuniste responsable de pneumonies nosocomiales chez les patients immunodéprimés. L'émergence des souches multirésistantes rend les traitements antibiotiques inefficaces nécessitant… (more)

Subjects/Keywords: Interféron lambda

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Besbes, A. (2018). Physiopathologie de la pneumonie à Pseudomonas aeruginosa : implication des cellules épithéliales alvéolaires via l'IL-22 et l'échappement immunitaire : Physiopathology of Pseudomonas aeruginosa pneumonia : involvement of alveolar epithelial cells through IL-22 and role of the immune escape. (Doctoral Dissertation). Nantes. Retrieved from http://www.theses.fr/2018NANT1008

Chicago Manual of Style (16th Edition):

Besbes, Anissa. “Physiopathologie de la pneumonie à Pseudomonas aeruginosa : implication des cellules épithéliales alvéolaires via l'IL-22 et l'échappement immunitaire : Physiopathology of Pseudomonas aeruginosa pneumonia : involvement of alveolar epithelial cells through IL-22 and role of the immune escape.” 2018. Doctoral Dissertation, Nantes. Accessed November 26, 2020. http://www.theses.fr/2018NANT1008.

MLA Handbook (7th Edition):

Besbes, Anissa. “Physiopathologie de la pneumonie à Pseudomonas aeruginosa : implication des cellules épithéliales alvéolaires via l'IL-22 et l'échappement immunitaire : Physiopathology of Pseudomonas aeruginosa pneumonia : involvement of alveolar epithelial cells through IL-22 and role of the immune escape.” 2018. Web. 26 Nov 2020.

Vancouver:

Besbes A. Physiopathologie de la pneumonie à Pseudomonas aeruginosa : implication des cellules épithéliales alvéolaires via l'IL-22 et l'échappement immunitaire : Physiopathology of Pseudomonas aeruginosa pneumonia : involvement of alveolar epithelial cells through IL-22 and role of the immune escape. [Internet] [Doctoral dissertation]. Nantes; 2018. [cited 2020 Nov 26]. Available from: http://www.theses.fr/2018NANT1008.

Council of Science Editors:

Besbes A. Physiopathologie de la pneumonie à Pseudomonas aeruginosa : implication des cellules épithéliales alvéolaires via l'IL-22 et l'échappement immunitaire : Physiopathology of Pseudomonas aeruginosa pneumonia : involvement of alveolar epithelial cells through IL-22 and role of the immune escape. [Doctoral Dissertation]. Nantes; 2018. Available from: http://www.theses.fr/2018NANT1008

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

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

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

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

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

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

Chicago Manual of Style (16th Edition):

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

MLA Handbook (7th Edition):

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

Vancouver:

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

Council of Science Editors:

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

3. Lepigre, Rodolphe. Sémantique et implantation d'une extension de ML pour la preuve de programmes : Semantics and implementation of an extension of ML for proving programs.

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

Au cours des dernières années, les assistants de preuves on fait des progrès considérables et ont atteint un grand niveau de maturité. Ils ont permit… (more)

Subjects/Keywords: Réalisabilité; Λ-Calcul; Théorie des types; Realizability; Λ-Calculus; Type theory; 004

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Lepigre, R. (2017). Sémantique et implantation d'une extension de ML pour la preuve de programmes : Semantics and implementation of an extension of ML for proving programs. (Doctoral Dissertation). Université Grenoble Alpes (ComUE). Retrieved from http://www.theses.fr/2017GREAM034

Chicago Manual of Style (16th Edition):

Lepigre, Rodolphe. “Sémantique et implantation d'une extension de ML pour la preuve de programmes : Semantics and implementation of an extension of ML for proving programs.” 2017. Doctoral Dissertation, Université Grenoble Alpes (ComUE). Accessed November 26, 2020. http://www.theses.fr/2017GREAM034.

MLA Handbook (7th Edition):

Lepigre, Rodolphe. “Sémantique et implantation d'une extension de ML pour la preuve de programmes : Semantics and implementation of an extension of ML for proving programs.” 2017. Web. 26 Nov 2020.

Vancouver:

Lepigre R. Sémantique et implantation d'une extension de ML pour la preuve de programmes : Semantics and implementation of an extension of ML for proving programs. [Internet] [Doctoral dissertation]. Université Grenoble Alpes (ComUE); 2017. [cited 2020 Nov 26]. Available from: http://www.theses.fr/2017GREAM034.

Council of Science Editors:

Lepigre R. Sémantique et implantation d'une extension de ML pour la preuve de programmes : Semantics and implementation of an extension of ML for proving programs. [Doctoral Dissertation]. Université Grenoble Alpes (ComUE); 2017. Available from: http://www.theses.fr/2017GREAM034

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/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 November 26, 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. 26 Nov 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 Nov 26]. 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

5. Tortella, Pietro. Lambda-modules and holomorphic Lie algebroids : Lambda-modules et algébroïdes de Lie holomorphes.

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

La thèse est consacrée à la construction et à l'étude des espaces de modules des connexions holomorphes algébroïdes de Lie sont étudiés.On commence par une… (more)

Subjects/Keywords: Lambda-modules; 512.55

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Tortella, P. (2011). Lambda-modules and holomorphic Lie algebroids : Lambda-modules et algébroïdes de Lie holomorphes. (Doctoral Dissertation). Université Lille I – Sciences et Technologies. Retrieved from http://www.theses.fr/2011LIL10077

Chicago Manual of Style (16th Edition):

Tortella, Pietro. “Lambda-modules and holomorphic Lie algebroids : Lambda-modules et algébroïdes de Lie holomorphes.” 2011. Doctoral Dissertation, Université Lille I – Sciences et Technologies. Accessed November 26, 2020. http://www.theses.fr/2011LIL10077.

MLA Handbook (7th Edition):

Tortella, Pietro. “Lambda-modules and holomorphic Lie algebroids : Lambda-modules et algébroïdes de Lie holomorphes.” 2011. Web. 26 Nov 2020.

Vancouver:

Tortella P. Lambda-modules and holomorphic Lie algebroids : Lambda-modules et algébroïdes de Lie holomorphes. [Internet] [Doctoral dissertation]. Université Lille I – Sciences et Technologies; 2011. [cited 2020 Nov 26]. Available from: http://www.theses.fr/2011LIL10077.

Council of Science Editors:

Tortella P. Lambda-modules and holomorphic Lie algebroids : Lambda-modules et algébroïdes de Lie holomorphes. [Doctoral Dissertation]. Université Lille I – Sciences et Technologies; 2011. Available from: http://www.theses.fr/2011LIL10077

6. 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 November 26, 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. 26 Nov 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 Nov 26]. 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

7. 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 November 26, 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. 26 Nov 2020.

Vancouver:

Brahimi F. Formalisation du système elambda. [Internet] [Thesis]. Université M'Hamed Bougara Boumerdès; 2015. [cited 2020 Nov 26]. 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


University of Tasmania

8. Kazmierczak, EA. Algebraic reasoning in lambda calculi.

Degree: 1991, University of Tasmania

 This dissertation examines some aspects of the relationship between λ calculus and universal algebra. Motivated by the desire to understand the implementation of abstract data… (more)

Subjects/Keywords: Lambda calculus

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Kazmierczak, E. (1991). Algebraic reasoning in lambda calculi. (Thesis). University of Tasmania. Retrieved from https://eprints.utas.edu.au/20096/7/whole_KazmierczakEdmundAlbert1993.pdf

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

Chicago Manual of Style (16th Edition):

Kazmierczak, EA. “Algebraic reasoning in lambda calculi.” 1991. Thesis, University of Tasmania. Accessed November 26, 2020. https://eprints.utas.edu.au/20096/7/whole_KazmierczakEdmundAlbert1993.pdf.

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

MLA Handbook (7th Edition):

Kazmierczak, EA. “Algebraic reasoning in lambda calculi.” 1991. Web. 26 Nov 2020.

Vancouver:

Kazmierczak E. Algebraic reasoning in lambda calculi. [Internet] [Thesis]. University of Tasmania; 1991. [cited 2020 Nov 26]. Available from: https://eprints.utas.edu.au/20096/7/whole_KazmierczakEdmundAlbert1993.pdf.

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

Council of Science Editors:

Kazmierczak E. Algebraic reasoning in lambda calculi. [Thesis]. University of Tasmania; 1991. Available from: https://eprints.utas.edu.au/20096/7/whole_KazmierczakEdmundAlbert1993.pdf

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


Texas A&M University

9. Cahill, Jesse L. Molecular, Genetic, and Biochemical Analysis of Phage Lambda Lysis.

Degree: PhD, Biochemistry, 2017, Texas A&M University

 Spanins are required for outer membrane disruption, the final step in phage lysis of Gram-negative hosts. Recently spanins were shown to be fusogenic and it… (more)

Subjects/Keywords: lambda lysis spanin holin

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Cahill, J. L. (2017). Molecular, Genetic, and Biochemical Analysis of Phage Lambda Lysis. (Doctoral Dissertation). Texas A&M University. Retrieved from http://hdl.handle.net/1969.1/173189

Chicago Manual of Style (16th Edition):

Cahill, Jesse L. “Molecular, Genetic, and Biochemical Analysis of Phage Lambda Lysis.” 2017. Doctoral Dissertation, Texas A&M University. Accessed November 26, 2020. http://hdl.handle.net/1969.1/173189.

MLA Handbook (7th Edition):

Cahill, Jesse L. “Molecular, Genetic, and Biochemical Analysis of Phage Lambda Lysis.” 2017. Web. 26 Nov 2020.

Vancouver:

Cahill JL. Molecular, Genetic, and Biochemical Analysis of Phage Lambda Lysis. [Internet] [Doctoral dissertation]. Texas A&M University; 2017. [cited 2020 Nov 26]. Available from: http://hdl.handle.net/1969.1/173189.

Council of Science Editors:

Cahill JL. Molecular, Genetic, and Biochemical Analysis of Phage Lambda Lysis. [Doctoral Dissertation]. Texas A&M University; 2017. Available from: http://hdl.handle.net/1969.1/173189


Brno University of Technology

10. Kastner, Jakub. Rozšíření senzorů kotle na biomasu: Extension of biomass boiler.

Degree: 2018, Brno University of Technology

 Goal of this work is design and create extension data acquisition unit for existing system of heating boiler. Work is divided to theoretical and practical… (more)

Subjects/Keywords: Termočlánek; Lambda sonda; spalování; Thermocouple; lambda probe; combustion

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Kastner, J. (2018). Rozšíření senzorů kotle na biomasu: Extension of biomass boiler. (Thesis). Brno University of Technology. Retrieved from http://hdl.handle.net/11012/58754

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

Kastner, Jakub. “Rozšíření senzorů kotle na biomasu: Extension of biomass boiler.” 2018. Thesis, Brno University of Technology. Accessed November 26, 2020. http://hdl.handle.net/11012/58754.

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

MLA Handbook (7th Edition):

Kastner, Jakub. “Rozšíření senzorů kotle na biomasu: Extension of biomass boiler.” 2018. Web. 26 Nov 2020.

Vancouver:

Kastner J. Rozšíření senzorů kotle na biomasu: Extension of biomass boiler. [Internet] [Thesis]. Brno University of Technology; 2018. [cited 2020 Nov 26]. Available from: http://hdl.handle.net/11012/58754.

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

Council of Science Editors:

Kastner J. Rozšíření senzorů kotle na biomasu: Extension of biomass boiler. [Thesis]. Brno University of Technology; 2018. Available from: http://hdl.handle.net/11012/58754

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

11. Lefeuvre, Anais. Sémantique des temps du français : une formalisation compositionnelle : French Tenses Semantics : a Compositionnal Formalisation.

Degree: Docteur es, Informatique, 2014, Bordeaux

Cette thèse s’inscrit dans le cadre du projet Région Aquitaine - INRIA : ITIPY. Ce projet vise à terme l’extraction automatique d’itinéraires à partir de… (more)

Subjects/Keywords: Sémantique formelle; Temporalité des éventualités; Lexique compositionnel; Récits de voyage; Λ-calcul simplement typé; Formal Semantics; Eventualities temporality; Compositionnal Lexicon; Travel novels; Simply typed λ-calcul

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Lefeuvre, A. (2014). Sémantique des temps du français : une formalisation compositionnelle : French Tenses Semantics : a Compositionnal Formalisation. (Doctoral Dissertation). Bordeaux. Retrieved from http://www.theses.fr/2014BORD0065

Chicago Manual of Style (16th Edition):

Lefeuvre, Anais. “Sémantique des temps du français : une formalisation compositionnelle : French Tenses Semantics : a Compositionnal Formalisation.” 2014. Doctoral Dissertation, Bordeaux. Accessed November 26, 2020. http://www.theses.fr/2014BORD0065.

MLA Handbook (7th Edition):

Lefeuvre, Anais. “Sémantique des temps du français : une formalisation compositionnelle : French Tenses Semantics : a Compositionnal Formalisation.” 2014. Web. 26 Nov 2020.

Vancouver:

Lefeuvre A. Sémantique des temps du français : une formalisation compositionnelle : French Tenses Semantics : a Compositionnal Formalisation. [Internet] [Doctoral dissertation]. Bordeaux; 2014. [cited 2020 Nov 26]. Available from: http://www.theses.fr/2014BORD0065.

Council of Science Editors:

Lefeuvre A. Sémantique des temps du français : une formalisation compositionnelle : French Tenses Semantics : a Compositionnal Formalisation. [Doctoral Dissertation]. Bordeaux; 2014. Available from: http://www.theses.fr/2014BORD0065

12. Σταυρινός, Γιώργος. Τύποι τομής και ιδιότητες αναγωγής στο λ-λογισμό.

Degree: 2001, Εθνικό Μετσόβιο Πολυτεχνείο (ΕΜΠ); National Technical University of Athens (NTUA)

Subjects/Keywords: Λ-λογισμός; Αναγωγή; Τύποι τομής; Αναγωγικότητα; Λ-calculus; Reduction; Reducibility; Intersection types

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Σταυρινός, . (2001). Τύποι τομής και ιδιότητες αναγωγής στο λ-λογισμό. (Thesis). Εθνικό Μετσόβιο Πολυτεχνείο (ΕΜΠ); National Technical University of Athens (NTUA). Retrieved from http://hdl.handle.net/10442/hedi/12592

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

Σταυρινός, Γιώργος. “Τύποι τομής και ιδιότητες αναγωγής στο λ-λογισμό.” 2001. Thesis, Εθνικό Μετσόβιο Πολυτεχνείο (ΕΜΠ); National Technical University of Athens (NTUA). Accessed November 26, 2020. http://hdl.handle.net/10442/hedi/12592.

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

MLA Handbook (7th Edition):

Σταυρινός, Γιώργος. “Τύποι τομής και ιδιότητες αναγωγής στο λ-λογισμό.” 2001. Web. 26 Nov 2020.

Vancouver:

Σταυρινός . Τύποι τομής και ιδιότητες αναγωγής στο λ-λογισμό. [Internet] [Thesis]. Εθνικό Μετσόβιο Πολυτεχνείο (ΕΜΠ); National Technical University of Athens (NTUA); 2001. [cited 2020 Nov 26]. Available from: http://hdl.handle.net/10442/hedi/12592.

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

Council of Science Editors:

Σταυρινός . Τύποι τομής και ιδιότητες αναγωγής στο λ-λογισμό. [Thesis]. Εθνικό Μετσόβιο Πολυτεχνείο (ΕΜΠ); National Technical University of Athens (NTUA); 2001. Available from: http://hdl.handle.net/10442/hedi/12592

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

13. 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 November 26, 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. 26 Nov 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 Nov 26]. 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


Vanderbilt University

14. Roach, Dillon Patrick. Inclusive Lambda Baryon Spectra in Au+Au Collisions at sqrt(S_{NN}) = 200 GeV.

Degree: PhD, Physics, 2015, Vanderbilt University

 Studies of the lambda and anti-lambda baryons in Au+Au collisions provide information on in-medium energy loss and hadronization mechanisms, which are important to understanding the… (more)

Subjects/Keywords: quark gluon plasma; hadronization; lambda baryon

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Roach, D. P. (2015). Inclusive Lambda Baryon Spectra in Au+Au Collisions at sqrt(S_{NN}) = 200 GeV. (Doctoral Dissertation). Vanderbilt University. Retrieved from http://hdl.handle.net/1803/13085

Chicago Manual of Style (16th Edition):

Roach, Dillon Patrick. “Inclusive Lambda Baryon Spectra in Au+Au Collisions at sqrt(S_{NN}) = 200 GeV.” 2015. Doctoral Dissertation, Vanderbilt University. Accessed November 26, 2020. http://hdl.handle.net/1803/13085.

MLA Handbook (7th Edition):

Roach, Dillon Patrick. “Inclusive Lambda Baryon Spectra in Au+Au Collisions at sqrt(S_{NN}) = 200 GeV.” 2015. Web. 26 Nov 2020.

Vancouver:

Roach DP. Inclusive Lambda Baryon Spectra in Au+Au Collisions at sqrt(S_{NN}) = 200 GeV. [Internet] [Doctoral dissertation]. Vanderbilt University; 2015. [cited 2020 Nov 26]. Available from: http://hdl.handle.net/1803/13085.

Council of Science Editors:

Roach DP. Inclusive Lambda Baryon Spectra in Au+Au Collisions at sqrt(S_{NN}) = 200 GeV. [Doctoral Dissertation]. Vanderbilt University; 2015. Available from: http://hdl.handle.net/1803/13085

15. Pardon, Aurélien. Théories symétriques monoïdales closes, applications au lambda-calcul et aux bigraphes : Symmetric monoidal closed theories, applications to bigraphs and to the λ-calculus.

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

En se fondant sur les travaux de Trimble et al., puis Hughes, on donne une notion de théorie symétrique monoïdale close (smc) et une construction… (more)

Subjects/Keywords: Catégories symétriques monoïdales closes; Théories de Lawvere; Réseaux de preuves; Lambda-calcul; Lambda-graphes; Bigraphes; Symmetric monoidal closed categories; Lawvere theories; Proof nets; Lambda-calculus; Lambda-graphs; Bigraphs

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Pardon, A. (2011). Théories symétriques monoïdales closes, applications au lambda-calcul et aux bigraphes : Symmetric monoidal closed theories, applications to bigraphs and to the λ-calculus. (Doctoral Dissertation). Lyon, École normale supérieure. Retrieved from http://www.theses.fr/2011ENSL0622

Chicago Manual of Style (16th Edition):

Pardon, Aurélien. “Théories symétriques monoïdales closes, applications au lambda-calcul et aux bigraphes : Symmetric monoidal closed theories, applications to bigraphs and to the λ-calculus.” 2011. Doctoral Dissertation, Lyon, École normale supérieure. Accessed November 26, 2020. http://www.theses.fr/2011ENSL0622.

MLA Handbook (7th Edition):

Pardon, Aurélien. “Théories symétriques monoïdales closes, applications au lambda-calcul et aux bigraphes : Symmetric monoidal closed theories, applications to bigraphs and to the λ-calculus.” 2011. Web. 26 Nov 2020.

Vancouver:

Pardon A. Théories symétriques monoïdales closes, applications au lambda-calcul et aux bigraphes : Symmetric monoidal closed theories, applications to bigraphs and to the λ-calculus. [Internet] [Doctoral dissertation]. Lyon, École normale supérieure; 2011. [cited 2020 Nov 26]. Available from: http://www.theses.fr/2011ENSL0622.

Council of Science Editors:

Pardon A. Théories symétriques monoïdales closes, applications au lambda-calcul et aux bigraphes : Symmetric monoidal closed theories, applications to bigraphs and to the λ-calculus. [Doctoral Dissertation]. Lyon, École normale supérieure; 2011. Available from: http://www.theses.fr/2011ENSL0622


Universitat Politècnica de València

16. Oliver Villarroya, Francisco Javier. Extension del lambda-cálculo para la modelizacion de procesos concurrentes .

Degree: 2015, Universitat Politècnica de València

 El lambda-cálculo es una teoría sin tipos que interpreta las funciones como reglas, es decir, el proceso de ir de un argumento a un valor,… (more)

Subjects/Keywords: Lambda-cálculo; Modelización; Procesos concurrentes; LCEP

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Oliver Villarroya, F. J. (2015). Extension del lambda-cálculo para la modelizacion de procesos concurrentes . (Doctoral Dissertation). Universitat Politècnica de València. Retrieved from http://hdl.handle.net/10251/58867

Chicago Manual of Style (16th Edition):

Oliver Villarroya, Francisco Javier. “Extension del lambda-cálculo para la modelizacion de procesos concurrentes .” 2015. Doctoral Dissertation, Universitat Politècnica de València. Accessed November 26, 2020. http://hdl.handle.net/10251/58867.

MLA Handbook (7th Edition):

Oliver Villarroya, Francisco Javier. “Extension del lambda-cálculo para la modelizacion de procesos concurrentes .” 2015. Web. 26 Nov 2020.

Vancouver:

Oliver Villarroya FJ. Extension del lambda-cálculo para la modelizacion de procesos concurrentes . [Internet] [Doctoral dissertation]. Universitat Politècnica de València; 2015. [cited 2020 Nov 26]. Available from: http://hdl.handle.net/10251/58867.

Council of Science Editors:

Oliver Villarroya FJ. Extension del lambda-cálculo para la modelizacion de procesos concurrentes . [Doctoral Dissertation]. Universitat Politècnica de València; 2015. Available from: http://hdl.handle.net/10251/58867

17. Midez, Jean baptiste. Une étude combinatoire du lambda-calcul avec ressources uniforme : A combinatory study of uniforme resource lambda-calculus.

Degree: Docteur es, Mathématiques, 2014, Aix Marseille Université

Le lambda-calcul avec ressources est une variante du lambda-calcul fondée sur la linéarité : les lambda-termes avec ressources sont aux lambda-termes ce que sont les… (more)

Subjects/Keywords: Lambda-Calcul avec ressources; Lambda-Calcul différentiel; Développement de Taylor; Combinatoire; Uniformité; Resource lambda-Calculus; Differential lambda-Calculus; Taylor expansion; Combinatory; Uniformity; 510

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Midez, J. b. (2014). Une étude combinatoire du lambda-calcul avec ressources uniforme : A combinatory study of uniforme resource lambda-calculus. (Doctoral Dissertation). Aix Marseille Université. Retrieved from http://www.theses.fr/2014AIXM4093

Chicago Manual of Style (16th Edition):

Midez, Jean baptiste. “Une étude combinatoire du lambda-calcul avec ressources uniforme : A combinatory study of uniforme resource lambda-calculus.” 2014. Doctoral Dissertation, Aix Marseille Université. Accessed November 26, 2020. http://www.theses.fr/2014AIXM4093.

MLA Handbook (7th Edition):

Midez, Jean baptiste. “Une étude combinatoire du lambda-calcul avec ressources uniforme : A combinatory study of uniforme resource lambda-calculus.” 2014. Web. 26 Nov 2020.

Vancouver:

Midez Jb. Une étude combinatoire du lambda-calcul avec ressources uniforme : A combinatory study of uniforme resource lambda-calculus. [Internet] [Doctoral dissertation]. Aix Marseille Université 2014. [cited 2020 Nov 26]. Available from: http://www.theses.fr/2014AIXM4093.

Council of Science Editors:

Midez Jb. Une étude combinatoire du lambda-calcul avec ressources uniforme : A combinatory study of uniforme resource lambda-calculus. [Doctoral Dissertation]. Aix Marseille Université 2014. Available from: http://www.theses.fr/2014AIXM4093


University of Houston

18. Arcot, Mrinalini. Attitude determination of GPS satellite vehicles.

Degree: MS, Engineering Technology, 2014, University of Houston

 There is an increasing demand for navigation systems that has led to rapid development of Global Positioning System (GPS) across industries. Apart from position and… (more)

Subjects/Keywords: GPS; Attitudes; LAMBDA; Integer ambiguity; Attitude determination

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Arcot, M. (2014). Attitude determination of GPS satellite vehicles. (Masters Thesis). University of Houston. Retrieved from http://hdl.handle.net/10657/1455

Chicago Manual of Style (16th Edition):

Arcot, Mrinalini. “Attitude determination of GPS satellite vehicles.” 2014. Masters Thesis, University of Houston. Accessed November 26, 2020. http://hdl.handle.net/10657/1455.

MLA Handbook (7th Edition):

Arcot, Mrinalini. “Attitude determination of GPS satellite vehicles.” 2014. Web. 26 Nov 2020.

Vancouver:

Arcot M. Attitude determination of GPS satellite vehicles. [Internet] [Masters thesis]. University of Houston; 2014. [cited 2020 Nov 26]. Available from: http://hdl.handle.net/10657/1455.

Council of Science Editors:

Arcot M. Attitude determination of GPS satellite vehicles. [Masters Thesis]. University of Houston; 2014. Available from: http://hdl.handle.net/10657/1455


University of Debrecen

19. Pénzes, Andor. Az rx nyelv implementációja a Xerox súlyozott automata rendszeréhez.

Degree: DE – TEK – Informatikai Kar, 2011, University of Debrecen

A Xerox súlyozott automata rendszerének és az ehhez megalkotott rx programozási nyelv áttekintése. Az implementációhoz alkalmazott fogalmak, mint például súlyozott automaták, fordítóprogramok általános architektúrájának, lambda kalkulus bemutatása. Advisors/Committee Members: Horváth, Géza (advisor).

Subjects/Keywords: funkcionális nyelvek; lambda kalkulus; automata elmélet; fordítóprogramok

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Pénzes, A. (2011). Az rx nyelv implementációja a Xerox súlyozott automata rendszeréhez. (Thesis). University of Debrecen. Retrieved from http://hdl.handle.net/2437/119818

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

Pénzes, Andor. “Az rx nyelv implementációja a Xerox súlyozott automata rendszeréhez. ” 2011. Thesis, University of Debrecen. Accessed November 26, 2020. http://hdl.handle.net/2437/119818.

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

MLA Handbook (7th Edition):

Pénzes, Andor. “Az rx nyelv implementációja a Xerox súlyozott automata rendszeréhez. ” 2011. Web. 26 Nov 2020.

Vancouver:

Pénzes A. Az rx nyelv implementációja a Xerox súlyozott automata rendszeréhez. [Internet] [Thesis]. University of Debrecen; 2011. [cited 2020 Nov 26]. Available from: http://hdl.handle.net/2437/119818.

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

Council of Science Editors:

Pénzes A. Az rx nyelv implementációja a Xerox súlyozott automata rendszeréhez. [Thesis]. University of Debrecen; 2011. Available from: http://hdl.handle.net/2437/119818

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


University of Arizona

20. Knoll, Brian John. CONTROL OF LYSOGENIZATION BY BACTERIOPHAGE LAMBDA .

Degree: 1979, University of Arizona

Subjects/Keywords: Bacteriophage lambda.; Lysogeny.

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Knoll, B. J. (1979). CONTROL OF LYSOGENIZATION BY BACTERIOPHAGE LAMBDA . (Doctoral Dissertation). University of Arizona. Retrieved from http://hdl.handle.net/10150/298597

Chicago Manual of Style (16th Edition):

Knoll, Brian John. “CONTROL OF LYSOGENIZATION BY BACTERIOPHAGE LAMBDA .” 1979. Doctoral Dissertation, University of Arizona. Accessed November 26, 2020. http://hdl.handle.net/10150/298597.

MLA Handbook (7th Edition):

Knoll, Brian John. “CONTROL OF LYSOGENIZATION BY BACTERIOPHAGE LAMBDA .” 1979. Web. 26 Nov 2020.

Vancouver:

Knoll BJ. CONTROL OF LYSOGENIZATION BY BACTERIOPHAGE LAMBDA . [Internet] [Doctoral dissertation]. University of Arizona; 1979. [cited 2020 Nov 26]. Available from: http://hdl.handle.net/10150/298597.

Council of Science Editors:

Knoll BJ. CONTROL OF LYSOGENIZATION BY BACTERIOPHAGE LAMBDA . [Doctoral Dissertation]. University of Arizona; 1979. Available from: http://hdl.handle.net/10150/298597


Arizona State University

21. Franks, Chase Leroyce. Classifying Lambda-modules up to Isomorphism and Applications to Iwasawa Theory.

Degree: PhD, Mathematics, 2011, Arizona State University

 In Iwasawa theory, one studies how an arithmetic or geometric object grows as its field of definition varies over certain sequences of number fields. For… (more)

Subjects/Keywords: Mathematics; elliptic curves; Iwasawa theory; Lambda modules

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Franks, C. L. (2011). Classifying Lambda-modules up to Isomorphism and Applications to Iwasawa Theory. (Doctoral Dissertation). Arizona State University. Retrieved from http://repository.asu.edu/items/8879

Chicago Manual of Style (16th Edition):

Franks, Chase Leroyce. “Classifying Lambda-modules up to Isomorphism and Applications to Iwasawa Theory.” 2011. Doctoral Dissertation, Arizona State University. Accessed November 26, 2020. http://repository.asu.edu/items/8879.

MLA Handbook (7th Edition):

Franks, Chase Leroyce. “Classifying Lambda-modules up to Isomorphism and Applications to Iwasawa Theory.” 2011. Web. 26 Nov 2020.

Vancouver:

Franks CL. Classifying Lambda-modules up to Isomorphism and Applications to Iwasawa Theory. [Internet] [Doctoral dissertation]. Arizona State University; 2011. [cited 2020 Nov 26]. Available from: http://repository.asu.edu/items/8879.

Council of Science Editors:

Franks CL. Classifying Lambda-modules up to Isomorphism and Applications to Iwasawa Theory. [Doctoral Dissertation]. Arizona State University; 2011. Available from: http://repository.asu.edu/items/8879


University of Edinburgh

22. Moggi, Eugenio. The partial lambda calculus.

Degree: PhD, 1988, University of Edinburgh

 This thesis investigates various formal systems for reasoning about partial functions or partial elements, with particular emphasis on lambda calculi for partial functions. Beeson's (intuitionistic)… (more)

Subjects/Keywords: 510; Lambda calculus

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Moggi, E. (1988). The partial lambda calculus. (Doctoral Dissertation). University of Edinburgh. Retrieved from http://hdl.handle.net/1842/419

Chicago Manual of Style (16th Edition):

Moggi, Eugenio. “The partial lambda calculus.” 1988. Doctoral Dissertation, University of Edinburgh. Accessed November 26, 2020. http://hdl.handle.net/1842/419.

MLA Handbook (7th Edition):

Moggi, Eugenio. “The partial lambda calculus.” 1988. Web. 26 Nov 2020.

Vancouver:

Moggi E. The partial lambda calculus. [Internet] [Doctoral dissertation]. University of Edinburgh; 1988. [cited 2020 Nov 26]. Available from: http://hdl.handle.net/1842/419.

Council of Science Editors:

Moggi E. The partial lambda calculus. [Doctoral Dissertation]. University of Edinburgh; 1988. Available from: http://hdl.handle.net/1842/419

23. 木曽, 淳. 筋電義手制御を目的とした前腕部表面筋電位信号の高精度解析システムに関する研究.

Degree: 博士(工学), 2016, Ciba Institute of Technology / 千葉工業大学

平成23年度

Subjects/Keywords: ニュートラルネット|ファジィ推論|ウィルクスΛ

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

木曽, . (2016). 筋電義手制御を目的とした前腕部表面筋電位信号の高精度解析システムに関する研究. (Thesis). Ciba Institute of Technology / 千葉工業大学. Retrieved from http://id.nii.ac.jp/1196/00000139/

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

木曽, 淳. “筋電義手制御を目的とした前腕部表面筋電位信号の高精度解析システムに関する研究.” 2016. Thesis, Ciba Institute of Technology / 千葉工業大学. Accessed November 26, 2020. http://id.nii.ac.jp/1196/00000139/.

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

MLA Handbook (7th Edition):

木曽, 淳. “筋電義手制御を目的とした前腕部表面筋電位信号の高精度解析システムに関する研究.” 2016. Web. 26 Nov 2020.

Vancouver:

木曽 . 筋電義手制御を目的とした前腕部表面筋電位信号の高精度解析システムに関する研究. [Internet] [Thesis]. Ciba Institute of Technology / 千葉工業大学; 2016. [cited 2020 Nov 26]. Available from: http://id.nii.ac.jp/1196/00000139/.

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

Council of Science Editors:

木曽 . 筋電義手制御を目的とした前腕部表面筋電位信号の高精度解析システムに関する研究. [Thesis]. Ciba Institute of Technology / 千葉工業大学; 2016. Available from: http://id.nii.ac.jp/1196/00000139/

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


University of Gothenburg / Göteborgs Universitet

24. Rugwizangoga, Belson. Aspects of infection and leukemia in Rwanda.

Degree: 2020, University of Gothenburg / Göteborgs Universitet

 A first part of this thesis addressed the potential impact of variants of genes encoding interferon-λ4, which is a cytokine that participates in protection against… (more)

Subjects/Keywords: interferon-λ; respiratory infection; nucleotide polymorphism; acute leukemia; Rwanda; Epstein-Barr virus; malaria

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Rugwizangoga, B. (2020). Aspects of infection and leukemia in Rwanda. (Thesis). University of Gothenburg / Göteborgs Universitet. Retrieved from http://hdl.handle.net/2077/63615

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

Rugwizangoga, Belson. “Aspects of infection and leukemia in Rwanda.” 2020. Thesis, University of Gothenburg / Göteborgs Universitet. Accessed November 26, 2020. http://hdl.handle.net/2077/63615.

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

MLA Handbook (7th Edition):

Rugwizangoga, Belson. “Aspects of infection and leukemia in Rwanda.” 2020. Web. 26 Nov 2020.

Vancouver:

Rugwizangoga B. Aspects of infection and leukemia in Rwanda. [Internet] [Thesis]. University of Gothenburg / Göteborgs Universitet; 2020. [cited 2020 Nov 26]. Available from: http://hdl.handle.net/2077/63615.

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

Council of Science Editors:

Rugwizangoga B. Aspects of infection and leukemia in Rwanda. [Thesis]. University of Gothenburg / Göteborgs Universitet; 2020. Available from: http://hdl.handle.net/2077/63615

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


University of Adelaide

25. Menadue, Benjamin Jason. A Study of the Λ(1405) in Lattice QCD.

Degree: 2018, University of Adelaide

 The lowest-lying odd-parity state of the Λ baryon lies surprisingly low in mass. Even though it contains a heavier valence strange quark and has odd… (more)

Subjects/Keywords: Λ(1405); hadron structure; lattice QCD; negative parity; excited states; electromagnetic form factors

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Menadue, B. J. (2018). A Study of the Λ(1405) in Lattice QCD. (Thesis). University of Adelaide. Retrieved from http://hdl.handle.net/2440/120301

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

Menadue, Benjamin Jason. “A Study of the Λ(1405) in Lattice QCD.” 2018. Thesis, University of Adelaide. Accessed November 26, 2020. http://hdl.handle.net/2440/120301.

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

MLA Handbook (7th Edition):

Menadue, Benjamin Jason. “A Study of the Λ(1405) in Lattice QCD.” 2018. Web. 26 Nov 2020.

Vancouver:

Menadue BJ. A Study of the Λ(1405) in Lattice QCD. [Internet] [Thesis]. University of Adelaide; 2018. [cited 2020 Nov 26]. Available from: http://hdl.handle.net/2440/120301.

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

Council of Science Editors:

Menadue BJ. A Study of the Λ(1405) in Lattice QCD. [Thesis]. University of Adelaide; 2018. Available from: http://hdl.handle.net/2440/120301

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


Indian Institute of Science

26. Borah, Diganta. A Study Of The Metric Induced By The Robin Function.

Degree: PhD, Faculty of Science, 2013, Indian Institute of Science

 Let D be a smoothly bounded domain in Cn , n> 1. For each point p _ D, we have the Green function G(z, p)… (more)

Subjects/Keywords: Robin Function; Metric (Robin Function); Robin Function - Boundary Behavior; Metric - Boundary Behavior; Λ-metric; Mathematics

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Borah, D. (2013). A Study Of The Metric Induced By The Robin Function. (Doctoral Dissertation). Indian Institute of Science. Retrieved from http://etd.iisc.ac.in/handle/2005/2240

Chicago Manual of Style (16th Edition):

Borah, Diganta. “A Study Of The Metric Induced By The Robin Function.” 2013. Doctoral Dissertation, Indian Institute of Science. Accessed November 26, 2020. http://etd.iisc.ac.in/handle/2005/2240.

MLA Handbook (7th Edition):

Borah, Diganta. “A Study Of The Metric Induced By The Robin Function.” 2013. Web. 26 Nov 2020.

Vancouver:

Borah D. A Study Of The Metric Induced By The Robin Function. [Internet] [Doctoral dissertation]. Indian Institute of Science; 2013. [cited 2020 Nov 26]. Available from: http://etd.iisc.ac.in/handle/2005/2240.

Council of Science Editors:

Borah D. A Study Of The Metric Induced By The Robin Function. [Doctoral Dissertation]. Indian Institute of Science; 2013. Available from: http://etd.iisc.ac.in/handle/2005/2240


Universidade do Porto

27. Vale, Suzana Karina Silva. Propagação de sinais em meios Lambda.

Degree: 2012, Universidade do Porto

Tese de mestrado integrado. Engenharia Electrotécnica e de Computadores. Faculdade de Engenharia. Universidade do Porto. 2012 Advisors/Committee Members: Carvalho, Maria Inês Barbosa de, Universidade do Porto. Faculdade de Engenharia.

Subjects/Keywords: Transparência eletromagneticamente induzida (EIT); Propagação de sinais em meios Lambda; Sistema Lambda

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Vale, S. K. S. (2012). Propagação de sinais em meios Lambda. (Thesis). Universidade do Porto. Retrieved from http://www.rcaap.pt/detail.jsp?id=oai:repositorio-aberto.up.pt:10216/69271

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

Vale, Suzana Karina Silva. “Propagação de sinais em meios Lambda.” 2012. Thesis, Universidade do Porto. Accessed November 26, 2020. http://www.rcaap.pt/detail.jsp?id=oai:repositorio-aberto.up.pt:10216/69271.

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

MLA Handbook (7th Edition):

Vale, Suzana Karina Silva. “Propagação de sinais em meios Lambda.” 2012. Web. 26 Nov 2020.

Vancouver:

Vale SKS. Propagação de sinais em meios Lambda. [Internet] [Thesis]. Universidade do Porto; 2012. [cited 2020 Nov 26]. Available from: http://www.rcaap.pt/detail.jsp?id=oai:repositorio-aberto.up.pt:10216/69271.

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

Council of Science Editors:

Vale SKS. Propagação de sinais em meios Lambda. [Thesis]. Universidade do Porto; 2012. Available from: http://www.rcaap.pt/detail.jsp?id=oai:repositorio-aberto.up.pt:10216/69271

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


Universidade de Brasília

28. Daniel Lima Ventura. Cálculos de substituições explícitas à La Bruijn com sistemas de tipos com interseção.

Degree: 2010, Universidade de Brasília

The ג-calculus is a well known theoretical computation model as old as the concept of computable functions. Due to the substitution definition as a meta-operator… (more)

Subjects/Keywords: Lambda calculus; substituições explícitas; Lambda calculus; explicit substitutions; type theory; MATEMATICA APLICADA; teoria de tipos

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Ventura, D. L. (2010). Cálculos de substituições explícitas à La Bruijn com sistemas de tipos com interseção. (Thesis). Universidade de Brasília. Retrieved from http://bdtd.bce.unb.br/tedesimplificado/tde_busca/arquivo.php?codArquivo=6785

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

Ventura, Daniel Lima. “Cálculos de substituições explícitas à La Bruijn com sistemas de tipos com interseção.” 2010. Thesis, Universidade de Brasília. Accessed November 26, 2020. http://bdtd.bce.unb.br/tedesimplificado/tde_busca/arquivo.php?codArquivo=6785.

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

MLA Handbook (7th Edition):

Ventura, Daniel Lima. “Cálculos de substituições explícitas à La Bruijn com sistemas de tipos com interseção.” 2010. Web. 26 Nov 2020.

Vancouver:

Ventura DL. Cálculos de substituições explícitas à La Bruijn com sistemas de tipos com interseção. [Internet] [Thesis]. Universidade de Brasília; 2010. [cited 2020 Nov 26]. Available from: http://bdtd.bce.unb.br/tedesimplificado/tde_busca/arquivo.php?codArquivo=6785.

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

Council of Science Editors:

Ventura DL. Cálculos de substituições explícitas à La Bruijn com sistemas de tipos com interseção. [Thesis]. Universidade de Brasília; 2010. Available from: http://bdtd.bce.unb.br/tedesimplificado/tde_busca/arquivo.php?codArquivo=6785

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


University of Waterloo

29. Huh, Haein. Characterization of Bacteriophage λ Displaying Epidermal Growth Factor in the Uptake, Infiltration and Formation of HT29 Spheroids.

Degree: 2019, University of Waterloo

 Solid tumours are characterized by a complex structure comprised of extracellular matrix, neoplastic cells and stromal cells, each presenting a barrier to conventional anticancer chemotherapy… (more)

Subjects/Keywords: bacteriophage; solid tumor; multicellular spheroid; lambda; mammalian cells; Bacteriophage lambda; Tumors – Treatment

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Huh, H. (2019). Characterization of Bacteriophage λ Displaying Epidermal Growth Factor in the Uptake, Infiltration and Formation of HT29 Spheroids. (Thesis). University of Waterloo. Retrieved from http://hdl.handle.net/10012/14833

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

Huh, Haein. “Characterization of Bacteriophage λ Displaying Epidermal Growth Factor in the Uptake, Infiltration and Formation of HT29 Spheroids.” 2019. Thesis, University of Waterloo. Accessed November 26, 2020. http://hdl.handle.net/10012/14833.

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

MLA Handbook (7th Edition):

Huh, Haein. “Characterization of Bacteriophage λ Displaying Epidermal Growth Factor in the Uptake, Infiltration and Formation of HT29 Spheroids.” 2019. Web. 26 Nov 2020.

Vancouver:

Huh H. Characterization of Bacteriophage λ Displaying Epidermal Growth Factor in the Uptake, Infiltration and Formation of HT29 Spheroids. [Internet] [Thesis]. University of Waterloo; 2019. [cited 2020 Nov 26]. Available from: http://hdl.handle.net/10012/14833.

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

Council of Science Editors:

Huh H. Characterization of Bacteriophage λ Displaying Epidermal Growth Factor in the Uptake, Infiltration and Formation of HT29 Spheroids. [Thesis]. University of Waterloo; 2019. Available from: http://hdl.handle.net/10012/14833

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

30. Sobreiro , Saulo Abel Ramos. Estudo de tecnologias para sistemas de Big Data.

Degree: 2018, Instituto Politécnico do Porto

Big Data é um conceito da moda, consequência da evolução tecnológica dos últimos anos, que tem potenciado o aumento do volume de dados gerados diariamente.… (more)

Subjects/Keywords: Big Data; Apache Hadoop; Arquitetura Lambda; Arquitetura Kappa; Lambda Architecture; Kappa Architecture; Sistemas Computacionais

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Sobreiro , S. A. R. (2018). Estudo de tecnologias para sistemas de Big Data. (Thesis). Instituto Politécnico do Porto. Retrieved from https://www.rcaap.pt/detail.jsp?id=oai:recipp.ipp.pt:10400.22/11936

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

Sobreiro , Saulo Abel Ramos. “Estudo de tecnologias para sistemas de Big Data.” 2018. Thesis, Instituto Politécnico do Porto. Accessed November 26, 2020. https://www.rcaap.pt/detail.jsp?id=oai:recipp.ipp.pt:10400.22/11936.

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

MLA Handbook (7th Edition):

Sobreiro , Saulo Abel Ramos. “Estudo de tecnologias para sistemas de Big Data.” 2018. Web. 26 Nov 2020.

Vancouver:

Sobreiro SAR. Estudo de tecnologias para sistemas de Big Data. [Internet] [Thesis]. Instituto Politécnico do Porto; 2018. [cited 2020 Nov 26]. Available from: https://www.rcaap.pt/detail.jsp?id=oai:recipp.ipp.pt:10400.22/11936.

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

Council of Science Editors:

Sobreiro SAR. Estudo de tecnologias para sistemas de Big Data. [Thesis]. Instituto Politécnico do Porto; 2018. Available from: https://www.rcaap.pt/detail.jsp?id=oai:recipp.ipp.pt:10400.22/11936

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

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

.