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

[1] [2]

Search Limiters

Last 2 Years | English Only

Country

▼ Search Limiters

1. Brunel, Aloïs. The monitoring power of forcing transformations : Transformations de forcing et algèbres de monitoring.

Degree: Docteur es, Informatique, 2014, Paris 13

Nous proposons dans ce manuscrit un nouveau cadre sémantique, basé sur la composition de variantes Linéaires de la réalisabiblité de Krivine et du forcing de… (more)

Subjects/Keywords: Réalisabiblité; Realizability

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Brunel, A. (2014). The monitoring power of forcing transformations : Transformations de forcing et algèbres de monitoring. (Doctoral Dissertation). Paris 13. Retrieved from http://www.theses.fr/2014PA132069

Chicago Manual of Style (16th Edition):

Brunel, Aloïs. “The monitoring power of forcing transformations : Transformations de forcing et algèbres de monitoring.” 2014. Doctoral Dissertation, Paris 13. Accessed July 14, 2020. http://www.theses.fr/2014PA132069.

MLA Handbook (7th Edition):

Brunel, Aloïs. “The monitoring power of forcing transformations : Transformations de forcing et algèbres de monitoring.” 2014. Web. 14 Jul 2020.

Vancouver:

Brunel A. The monitoring power of forcing transformations : Transformations de forcing et algèbres de monitoring. [Internet] [Doctoral dissertation]. Paris 13; 2014. [cited 2020 Jul 14]. Available from: http://www.theses.fr/2014PA132069.

Council of Science Editors:

Brunel A. The monitoring power of forcing transformations : Transformations de forcing et algèbres de monitoring. [Doctoral Dissertation]. Paris 13; 2014. Available from: http://www.theses.fr/2014PA132069


University of Edinburgh

2. Fiore, Vincenzo G. Under the Spell of Multiple Realizability - A defence of reductionism in mind studies.

Degree: 2007, University of Edinburgh

 Hilary Putnam’s ‘Psychological Predicates’ (1967) represents the first formalization of the argument for the multiple realizability theory (MRT) of mental states. Few years later, Jerry… (more)

Subjects/Keywords: Multiple Realizability; Connectionism; Reductionism; Philosophy

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Fiore, V. G. (2007). Under the Spell of Multiple Realizability - A defence of reductionism in mind studies. (Thesis). University of Edinburgh. Retrieved from http://hdl.handle.net/1842/1906

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

Fiore, Vincenzo G. “Under the Spell of Multiple Realizability - A defence of reductionism in mind studies.” 2007. Thesis, University of Edinburgh. Accessed July 14, 2020. http://hdl.handle.net/1842/1906.

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

MLA Handbook (7th Edition):

Fiore, Vincenzo G. “Under the Spell of Multiple Realizability - A defence of reductionism in mind studies.” 2007. Web. 14 Jul 2020.

Vancouver:

Fiore VG. Under the Spell of Multiple Realizability - A defence of reductionism in mind studies. [Internet] [Thesis]. University of Edinburgh; 2007. [cited 2020 Jul 14]. Available from: http://hdl.handle.net/1842/1906.

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

Council of Science Editors:

Fiore VG. Under the Spell of Multiple Realizability - A defence of reductionism in mind studies. [Thesis]. University of Edinburgh; 2007. Available from: http://hdl.handle.net/1842/1906

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


Ohio University

3. Jameel, Muhammad. On unique realizability of digraphs and graphs.

Degree: PhD, Electrical Engineering & Computer Science (Engineering and Technology), 1982, Ohio University

On unique realizability of digraphs and graphs Advisors/Committee Members: Chen, Wai-Kai (Advisor).

Subjects/Keywords: digraphs; graphs; realizability

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Jameel, M. (1982). On unique realizability of digraphs and graphs. (Doctoral Dissertation). Ohio University. Retrieved from http://rave.ohiolink.edu/etdc/view?acc_num=ohiou1171668980

Chicago Manual of Style (16th Edition):

Jameel, Muhammad. “On unique realizability of digraphs and graphs.” 1982. Doctoral Dissertation, Ohio University. Accessed July 14, 2020. http://rave.ohiolink.edu/etdc/view?acc_num=ohiou1171668980.

MLA Handbook (7th Edition):

Jameel, Muhammad. “On unique realizability of digraphs and graphs.” 1982. Web. 14 Jul 2020.

Vancouver:

Jameel M. On unique realizability of digraphs and graphs. [Internet] [Doctoral dissertation]. Ohio University; 1982. [cited 2020 Jul 14]. Available from: http://rave.ohiolink.edu/etdc/view?acc_num=ohiou1171668980.

Council of Science Editors:

Jameel M. On unique realizability of digraphs and graphs. [Doctoral Dissertation]. Ohio University; 1982. Available from: http://rave.ohiolink.edu/etdc/view?acc_num=ohiou1171668980


Universiteit Utrecht

4. Slooten, L.C. van. Arithmetical conservativity results, a theory of operations and Goodman's theorem.

Degree: 2014, Universiteit Utrecht

 We present a new theory of operations HAPε and show that it is a conservative extension of Heyting Arithmetic. An important property of HAPε is… (more)

Subjects/Keywords: Constructive logic; conservativity results; realizability; forcing.

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Slooten, L. C. v. (2014). Arithmetical conservativity results, a theory of operations and Goodman's theorem. (Masters Thesis). Universiteit Utrecht. Retrieved from http://dspace.library.uu.nl:8080/handle/1874/294632

Chicago Manual of Style (16th Edition):

Slooten, L C van. “Arithmetical conservativity results, a theory of operations and Goodman's theorem.” 2014. Masters Thesis, Universiteit Utrecht. Accessed July 14, 2020. http://dspace.library.uu.nl:8080/handle/1874/294632.

MLA Handbook (7th Edition):

Slooten, L C van. “Arithmetical conservativity results, a theory of operations and Goodman's theorem.” 2014. Web. 14 Jul 2020.

Vancouver:

Slooten LCv. Arithmetical conservativity results, a theory of operations and Goodman's theorem. [Internet] [Masters thesis]. Universiteit Utrecht; 2014. [cited 2020 Jul 14]. Available from: http://dspace.library.uu.nl:8080/handle/1874/294632.

Council of Science Editors:

Slooten LCv. Arithmetical conservativity results, a theory of operations and Goodman's theorem. [Masters Thesis]. Universiteit Utrecht; 2014. Available from: http://dspace.library.uu.nl:8080/handle/1874/294632


Western Michigan University

5. Houck, Julie Dare. A Pattern in the Lusternik-Schnirelmann Category of Rational Spaces.

Degree: PhD, Mathematics, 2013, Western Michigan University

  The Lusternik-Schnirelmann (or LS) category of a space is one less than the number of contractible open sets with which we can cover the… (more)

Subjects/Keywords: category sequence; rational realizability; Lusternik-Schnirelmann; Mathematics

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Houck, J. D. (2013). A Pattern in the Lusternik-Schnirelmann Category of Rational Spaces. (Doctoral Dissertation). Western Michigan University. Retrieved from https://scholarworks.wmich.edu/dissertations/181

Chicago Manual of Style (16th Edition):

Houck, Julie Dare. “A Pattern in the Lusternik-Schnirelmann Category of Rational Spaces.” 2013. Doctoral Dissertation, Western Michigan University. Accessed July 14, 2020. https://scholarworks.wmich.edu/dissertations/181.

MLA Handbook (7th Edition):

Houck, Julie Dare. “A Pattern in the Lusternik-Schnirelmann Category of Rational Spaces.” 2013. Web. 14 Jul 2020.

Vancouver:

Houck JD. A Pattern in the Lusternik-Schnirelmann Category of Rational Spaces. [Internet] [Doctoral dissertation]. Western Michigan University; 2013. [cited 2020 Jul 14]. Available from: https://scholarworks.wmich.edu/dissertations/181.

Council of Science Editors:

Houck JD. A Pattern in the Lusternik-Schnirelmann Category of Rational Spaces. [Doctoral Dissertation]. Western Michigan University; 2013. Available from: https://scholarworks.wmich.edu/dissertations/181


Universiteit Utrecht

6. Faber, E.E. Code-free Recursion & Realizability.

Degree: 2014, Universiteit Utrecht

 This thesis is an elaborate account of the theory of partial combinatory algebras (pcas) and their associated categorical structures called categories of assemblies and realizability(more)

Subjects/Keywords: realizability; topos theory; category theory; partial combinatory algebra

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Faber, E. E. (2014). Code-free Recursion & Realizability. (Masters Thesis). Universiteit Utrecht. Retrieved from http://dspace.library.uu.nl:8080/handle/1874/294634

Chicago Manual of Style (16th Edition):

Faber, E E. “Code-free Recursion & Realizability.” 2014. Masters Thesis, Universiteit Utrecht. Accessed July 14, 2020. http://dspace.library.uu.nl:8080/handle/1874/294634.

MLA Handbook (7th Edition):

Faber, E E. “Code-free Recursion & Realizability.” 2014. Web. 14 Jul 2020.

Vancouver:

Faber EE. Code-free Recursion & Realizability. [Internet] [Masters thesis]. Universiteit Utrecht; 2014. [cited 2020 Jul 14]. Available from: http://dspace.library.uu.nl:8080/handle/1874/294634.

Council of Science Editors:

Faber EE. Code-free Recursion & Realizability. [Masters Thesis]. Universiteit Utrecht; 2014. Available from: http://dspace.library.uu.nl:8080/handle/1874/294634


University of New South Wales

7. Vuglar, Shanon. The Physical Realizability of Quantum Systems with Applications to Coherent Quantum Control.

Degree: Engineering & Information Technology, 2015, University of New South Wales

 Quantum versions of control problems are typically more difficult than their classical counterparts because of additional constraints imposed by quantum mechanics. In coherent quantum controller… (more)

Subjects/Keywords: Physical Realizability; Quantum Information and Control; Quantum Systems; Optimal Control

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Vuglar, S. (2015). The Physical Realizability of Quantum Systems with Applications to Coherent Quantum Control. (Doctoral Dissertation). University of New South Wales. Retrieved from http://handle.unsw.edu.au/1959.4/55184 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:36706/SOURCE02?view=true

Chicago Manual of Style (16th Edition):

Vuglar, Shanon. “The Physical Realizability of Quantum Systems with Applications to Coherent Quantum Control.” 2015. Doctoral Dissertation, University of New South Wales. Accessed July 14, 2020. http://handle.unsw.edu.au/1959.4/55184 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:36706/SOURCE02?view=true.

MLA Handbook (7th Edition):

Vuglar, Shanon. “The Physical Realizability of Quantum Systems with Applications to Coherent Quantum Control.” 2015. Web. 14 Jul 2020.

Vancouver:

Vuglar S. The Physical Realizability of Quantum Systems with Applications to Coherent Quantum Control. [Internet] [Doctoral dissertation]. University of New South Wales; 2015. [cited 2020 Jul 14]. Available from: http://handle.unsw.edu.au/1959.4/55184 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:36706/SOURCE02?view=true.

Council of Science Editors:

Vuglar S. The Physical Realizability of Quantum Systems with Applications to Coherent Quantum Control. [Doctoral Dissertation]. University of New South Wales; 2015. Available from: http://handle.unsw.edu.au/1959.4/55184 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:36706/SOURCE02?view=true

8. Rieg, Lionel. On Forcing and Classical Realizability : Forcing et réalisabilité classique.

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

Cette thèse s'intéresse à la correspondance de Curry-Howard classique et son interaction avec le forcing de Cohen, en s'appuyant sur les outils de la réalisabilité… (more)

Subjects/Keywords: Réalisabilité classique; Extraction de programme; Nombres réels; Classical realizability; Program extraction; Real numbers

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Rieg, L. (2014). On Forcing and Classical Realizability : Forcing et réalisabilité classique. (Doctoral Dissertation). Lyon, École normale supérieure. Retrieved from http://www.theses.fr/2014ENSL0915

Chicago Manual of Style (16th Edition):

Rieg, Lionel. “On Forcing and Classical Realizability : Forcing et réalisabilité classique.” 2014. Doctoral Dissertation, Lyon, École normale supérieure. Accessed July 14, 2020. http://www.theses.fr/2014ENSL0915.

MLA Handbook (7th Edition):

Rieg, Lionel. “On Forcing and Classical Realizability : Forcing et réalisabilité classique.” 2014. Web. 14 Jul 2020.

Vancouver:

Rieg L. On Forcing and Classical Realizability : Forcing et réalisabilité classique. [Internet] [Doctoral dissertation]. Lyon, École normale supérieure; 2014. [cited 2020 Jul 14]. Available from: http://www.theses.fr/2014ENSL0915.

Council of Science Editors:

Rieg L. On Forcing and Classical Realizability : Forcing et réalisabilité classique. [Doctoral Dissertation]. Lyon, École normale supérieure; 2014. Available from: http://www.theses.fr/2014ENSL0915


KTH

9. Lundstedt, Anders. Realizability in Coq.

Degree: Mathematics (Div.), 2015, KTH

This thesis describes a Coq formalization of realizability interpretations of arithmetic. The realizability interpretations are based on partial combinatory algebras—to each partial combinatory algebra… (more)

Subjects/Keywords: Coq; formalization; partial combinatory algebra; realizability; Coq; formalisering; partiell kombinatorisk algebra; realiserbarhet

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Lundstedt, A. (2015). Realizability in Coq. (Thesis). KTH. Retrieved from http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-174109

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

Lundstedt, Anders. “Realizability in Coq.” 2015. Thesis, KTH. Accessed July 14, 2020. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-174109.

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

MLA Handbook (7th Edition):

Lundstedt, Anders. “Realizability in Coq.” 2015. Web. 14 Jul 2020.

Vancouver:

Lundstedt A. Realizability in Coq. [Internet] [Thesis]. KTH; 2015. [cited 2020 Jul 14]. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-174109.

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

Council of Science Editors:

Lundstedt A. Realizability in Coq. [Thesis]. KTH; 2015. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-174109

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

10. 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 July 14, 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. 14 Jul 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 Jul 14]. 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

11. Geoffroy, Guillaume. Réalisabilité classique : nouveaux outils et applications : Classical realizability : new tools and applications.

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

La réalisabilité classique de Jean-Louis Krivine associe à chaque modèle de calcul et chaque modèle de la théorie des ensembles un nouveau modèle de la… (more)

Subjects/Keywords: Logique; Réalisabilité classique; Théorie de la démonstration; Sémantique dénotationnelle; Lambda-Calcul; Logic; Classical realizability; Proof theory; Denotational semantics; Lambda-Calculus; 510

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Geoffroy, G. (2019). Réalisabilité classique : nouveaux outils et applications : Classical realizability : new tools and applications. (Doctoral Dissertation). Aix Marseille Université. Retrieved from http://www.theses.fr/2019AIXM0099

Chicago Manual of Style (16th Edition):

Geoffroy, Guillaume. “Réalisabilité classique : nouveaux outils et applications : Classical realizability : new tools and applications.” 2019. Doctoral Dissertation, Aix Marseille Université. Accessed July 14, 2020. http://www.theses.fr/2019AIXM0099.

MLA Handbook (7th Edition):

Geoffroy, Guillaume. “Réalisabilité classique : nouveaux outils et applications : Classical realizability : new tools and applications.” 2019. Web. 14 Jul 2020.

Vancouver:

Geoffroy G. Réalisabilité classique : nouveaux outils et applications : Classical realizability : new tools and applications. [Internet] [Doctoral dissertation]. Aix Marseille Université 2019. [cited 2020 Jul 14]. Available from: http://www.theses.fr/2019AIXM0099.

Council of Science Editors:

Geoffroy G. Réalisabilité classique : nouveaux outils et applications : Classical realizability : new tools and applications. [Doctoral Dissertation]. Aix Marseille Université 2019. Available from: http://www.theses.fr/2019AIXM0099

12. Matsumoto, Kei. Coherence Spaces and Uniform Continuity : 整合空間と一様連続性.

Degree: 博士(理学), 2017, Kyoto University / 京都大学

新制・課程博士

甲第20157号

理博第4242号

Subjects/Keywords: coherence spaces; linear logic; uniform spaces; uniform continuity; realizability theory; computable analysis

Page 1 Page 2 Page 3 Page 4

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Matsumoto, K. (2017). Coherence Spaces and Uniform Continuity : 整合空間と一様連続性. (Thesis). Kyoto University / 京都大学. Retrieved from http://hdl.handle.net/2433/225382 ; http://dx.doi.org/10.14989/doctor.k20157

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

Matsumoto, Kei. “Coherence Spaces and Uniform Continuity : 整合空間と一様連続性.” 2017. Thesis, Kyoto University / 京都大学. Accessed July 14, 2020. http://hdl.handle.net/2433/225382 ; http://dx.doi.org/10.14989/doctor.k20157.

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

MLA Handbook (7th Edition):

Matsumoto, Kei. “Coherence Spaces and Uniform Continuity : 整合空間と一様連続性.” 2017. Web. 14 Jul 2020.

Vancouver:

Matsumoto K. Coherence Spaces and Uniform Continuity : 整合空間と一様連続性. [Internet] [Thesis]. Kyoto University / 京都大学; 2017. [cited 2020 Jul 14]. Available from: http://hdl.handle.net/2433/225382 ; http://dx.doi.org/10.14989/doctor.k20157.

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

Council of Science Editors:

Matsumoto K. Coherence Spaces and Uniform Continuity : 整合空間と一様連続性. [Thesis]. Kyoto University / 京都大学; 2017. Available from: http://hdl.handle.net/2433/225382 ; http://dx.doi.org/10.14989/doctor.k20157

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


Kyoto University

13. Matsumoto, Kei. Coherence Spaces and Uniform Continuity .

Degree: 2017, Kyoto University

Subjects/Keywords: coherence spaces; linear logic; uniform spaces; uniform continuity; realizability theory; computable analysis

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Matsumoto, K. (2017). Coherence Spaces and Uniform Continuity . (Thesis). Kyoto University. Retrieved from http://hdl.handle.net/2433/225382

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

Matsumoto, Kei. “Coherence Spaces and Uniform Continuity .” 2017. Thesis, Kyoto University. Accessed July 14, 2020. http://hdl.handle.net/2433/225382.

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

MLA Handbook (7th Edition):

Matsumoto, Kei. “Coherence Spaces and Uniform Continuity .” 2017. Web. 14 Jul 2020.

Vancouver:

Matsumoto K. Coherence Spaces and Uniform Continuity . [Internet] [Thesis]. Kyoto University; 2017. [cited 2020 Jul 14]. Available from: http://hdl.handle.net/2433/225382.

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

Council of Science Editors:

Matsumoto K. Coherence Spaces and Uniform Continuity . [Thesis]. Kyoto University; 2017. Available from: http://hdl.handle.net/2433/225382

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

14. Horton, Michael Brady. INFLATIONARY TRUTH-THEORETIC SEMANTICS.

Degree: 2012, University of Kentucky

 I argue that satisfaction and reference—and therefore, truth—are multiply realizable properties. I advocate a novel approach motivated by a commitment to the robustness and fruitfulness… (more)

Subjects/Keywords: Truth; Semantics; Deflationism; Pluralism; Multiple-Realizability; Metaphysics; Philosophy

Page 1 Page 2 Page 3 Page 4 Page 5 Page 6 Page 7

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Horton, M. B. (2012). INFLATIONARY TRUTH-THEORETIC SEMANTICS. (Doctoral Dissertation). University of Kentucky. Retrieved from https://uknowledge.uky.edu/philosophy_etds/1

Chicago Manual of Style (16th Edition):

Horton, Michael Brady. “INFLATIONARY TRUTH-THEORETIC SEMANTICS.” 2012. Doctoral Dissertation, University of Kentucky. Accessed July 14, 2020. https://uknowledge.uky.edu/philosophy_etds/1.

MLA Handbook (7th Edition):

Horton, Michael Brady. “INFLATIONARY TRUTH-THEORETIC SEMANTICS.” 2012. Web. 14 Jul 2020.

Vancouver:

Horton MB. INFLATIONARY TRUTH-THEORETIC SEMANTICS. [Internet] [Doctoral dissertation]. University of Kentucky; 2012. [cited 2020 Jul 14]. Available from: https://uknowledge.uky.edu/philosophy_etds/1.

Council of Science Editors:

Horton MB. INFLATIONARY TRUTH-THEORETIC SEMANTICS. [Doctoral Dissertation]. University of Kentucky; 2012. Available from: https://uknowledge.uky.edu/philosophy_etds/1

15. Haque, Mohammad Moinul. Realizability of tropical lines in the fan tropical plane.

Degree: PhD, Mathematics, 2013, University of Texas – Austin

 In this thesis we construct an analogue in tropical geometry for a class of Schubert varieties from classical geometry. In particular, we look at the… (more)

Subjects/Keywords: Tropical geometry; Algebraic geometry; Geometry; Tropical; Deformation theory; Obstruction; Realizability

…Linear Spaces and Realizability Having defined tropical varieties we can define tropical lines… …of σ of dimension 3 or higher. 27 Chapter 4 Realizability of a Tropical Schubert… 

Page 1 Page 2 Page 3 Page 4 Page 5 Page 6 Page 7

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Haque, M. M. (2013). Realizability of tropical lines in the fan tropical plane. (Doctoral Dissertation). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/21209

Chicago Manual of Style (16th Edition):

Haque, Mohammad Moinul. “Realizability of tropical lines in the fan tropical plane.” 2013. Doctoral Dissertation, University of Texas – Austin. Accessed July 14, 2020. http://hdl.handle.net/2152/21209.

MLA Handbook (7th Edition):

Haque, Mohammad Moinul. “Realizability of tropical lines in the fan tropical plane.” 2013. Web. 14 Jul 2020.

Vancouver:

Haque MM. Realizability of tropical lines in the fan tropical plane. [Internet] [Doctoral dissertation]. University of Texas – Austin; 2013. [cited 2020 Jul 14]. Available from: http://hdl.handle.net/2152/21209.

Council of Science Editors:

Haque MM. Realizability of tropical lines in the fan tropical plane. [Doctoral Dissertation]. University of Texas – Austin; 2013. Available from: http://hdl.handle.net/2152/21209

16. Todorović, Tadej. Večvrstna realizacija v luči sodobnih nevroznanstvenih raziskav.

Degree: 2017, Univerza v Mariboru

Naloga se ukvarja s problemom večvrstne realizacije v filozofiji duha in telesa. V prvem delu naloge je predstavljen sam problem duha in telesa, kot ga… (more)

Subjects/Keywords: problem duha in telesa; večvrstna realizacija; redukcionizem; funkcionalizem; nevroznanost; mind–body problem; multiple realizability; reductionism; functionalism; neuroscience; info:eu-repo/classification/udc/13(043.2)

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Todorović, T. (2017). Večvrstna realizacija v luči sodobnih nevroznanstvenih raziskav. (Masters Thesis). Univerza v Mariboru. Retrieved from https://dk.um.si/IzpisGradiva.php?id=68293 ; https://dk.um.si/Dokument.php?id=118841&dn= ; https://plus.si.cobiss.net/opac7/bib/23378952?lang=sl

Chicago Manual of Style (16th Edition):

Todorović, Tadej. “Večvrstna realizacija v luči sodobnih nevroznanstvenih raziskav.” 2017. Masters Thesis, Univerza v Mariboru. Accessed July 14, 2020. https://dk.um.si/IzpisGradiva.php?id=68293 ; https://dk.um.si/Dokument.php?id=118841&dn= ; https://plus.si.cobiss.net/opac7/bib/23378952?lang=sl.

MLA Handbook (7th Edition):

Todorović, Tadej. “Večvrstna realizacija v luči sodobnih nevroznanstvenih raziskav.” 2017. Web. 14 Jul 2020.

Vancouver:

Todorović T. Večvrstna realizacija v luči sodobnih nevroznanstvenih raziskav. [Internet] [Masters thesis]. Univerza v Mariboru; 2017. [cited 2020 Jul 14]. Available from: https://dk.um.si/IzpisGradiva.php?id=68293 ; https://dk.um.si/Dokument.php?id=118841&dn= ; https://plus.si.cobiss.net/opac7/bib/23378952?lang=sl.

Council of Science Editors:

Todorović T. Večvrstna realizacija v luči sodobnih nevroznanstvenih raziskav. [Masters Thesis]. Univerza v Mariboru; 2017. Available from: https://dk.um.si/IzpisGradiva.php?id=68293 ; https://dk.um.si/Dokument.php?id=118841&dn= ; https://plus.si.cobiss.net/opac7/bib/23378952?lang=sl


Colorado State University

17. Osnaga, Silvia Monica. Low rank representations of matrices using nuclear norm heuristics.

Degree: PhD, Mathematics, 2007, Colorado State University

 The pursuit of low dimensional structure from high dimensional data leads in many instances to the finding the lowest rank matrix among a parameterized family… (more)

Subjects/Keywords: chromatic number; convex optimization; Euclidean distance matrix completion; graph realizability; positive semidefinite cone

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Osnaga, S. M. (2007). Low rank representations of matrices using nuclear norm heuristics. (Doctoral Dissertation). Colorado State University. Retrieved from http://hdl.handle.net/10217/83799

Chicago Manual of Style (16th Edition):

Osnaga, Silvia Monica. “Low rank representations of matrices using nuclear norm heuristics.” 2007. Doctoral Dissertation, Colorado State University. Accessed July 14, 2020. http://hdl.handle.net/10217/83799.

MLA Handbook (7th Edition):

Osnaga, Silvia Monica. “Low rank representations of matrices using nuclear norm heuristics.” 2007. Web. 14 Jul 2020.

Vancouver:

Osnaga SM. Low rank representations of matrices using nuclear norm heuristics. [Internet] [Doctoral dissertation]. Colorado State University; 2007. [cited 2020 Jul 14]. Available from: http://hdl.handle.net/10217/83799.

Council of Science Editors:

Osnaga SM. Low rank representations of matrices using nuclear norm heuristics. [Doctoral Dissertation]. Colorado State University; 2007. Available from: http://hdl.handle.net/10217/83799

18. 土佐, 尚之. 現実的な構成的算術の関数的解釈に関する研究.

Degree: Japan Advanced Institute of Science and Technology / 北陸先端科学技術大学院大学

910075x

Supervisor:石原 哉

情報科学研究科

修士

Subjects/Keywords: 限定算術, 多項式時間計算可能関数, Godel Dialectica interpretation, Kreisel realizability, Kleene realizability; bounded arithmetic, polynomial time computable fun

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

土佐, . (n.d.). 現実的な構成的算術の関数的解釈に関する研究. (Thesis). Japan Advanced Institute of Science and Technology / 北陸先端科学技術大学院大学. Retrieved from http://hdl.handle.net/10119/1456

Note: this citation may be lacking information needed for this citation format:
No year of publication.
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

土佐, 尚之. “現実的な構成的算術の関数的解釈に関する研究.” Thesis, Japan Advanced Institute of Science and Technology / 北陸先端科学技術大学院大学. Accessed July 14, 2020. http://hdl.handle.net/10119/1456.

Note: this citation may be lacking information needed for this citation format:
No year of publication.
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

土佐, 尚之. “現実的な構成的算術の関数的解釈に関する研究.” Web. 14 Jul 2020.

Note: this citation may be lacking information needed for this citation format:
No year of publication.

Vancouver:

土佐 . 現実的な構成的算術の関数的解釈に関する研究. [Internet] [Thesis]. Japan Advanced Institute of Science and Technology / 北陸先端科学技術大学院大学; [cited 2020 Jul 14]. Available from: http://hdl.handle.net/10119/1456.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
No year of publication.

Council of Science Editors:

土佐 . 現実的な構成的算術の関数的解釈に関する研究. [Thesis]. Japan Advanced Institute of Science and Technology / 北陸先端科学技術大学院大学; Available from: http://hdl.handle.net/10119/1456

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
No year of publication.


Freie Universität Berlin

19. Timmreck, Dagmar Ingrid. Realisierungsprobleme für Punktkonfigurationen und Polyedrische Flächen.

Degree: 2015, Freie Universität Berlin

 Realisierungsprobleme treten in der diskreten Geometrie an den veschiedensten Stellen auf. Die allgemeine Fragestellung ist dabei, ob es ein Objekt im Anschauungsraum gibt, dass vorgegebene… (more)

Subjects/Keywords: slope problem; realizability; deformed cubes; polyhedral surfaces; Morse theory; obstruction theory; 500 Naturwissenschaften und Mathematik; 500 Naturwissenschaften und Mathematik::510 Mathematik; 500 Naturwissenschaften und Mathematik::510 Mathematik::514 Topologie; 500 Naturwissenschaften und Mathematik::510 Mathematik::516 Geometrie

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Timmreck, D. I. (2015). Realisierungsprobleme für Punktkonfigurationen und Polyedrische Flächen. (Thesis). Freie Universität Berlin. Retrieved from http://dx.doi.org/10.17169/refubium-14465

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

Timmreck, Dagmar Ingrid. “Realisierungsprobleme für Punktkonfigurationen und Polyedrische Flächen.” 2015. Thesis, Freie Universität Berlin. Accessed July 14, 2020. http://dx.doi.org/10.17169/refubium-14465.

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

MLA Handbook (7th Edition):

Timmreck, Dagmar Ingrid. “Realisierungsprobleme für Punktkonfigurationen und Polyedrische Flächen.” 2015. Web. 14 Jul 2020.

Vancouver:

Timmreck DI. Realisierungsprobleme für Punktkonfigurationen und Polyedrische Flächen. [Internet] [Thesis]. Freie Universität Berlin; 2015. [cited 2020 Jul 14]. Available from: http://dx.doi.org/10.17169/refubium-14465.

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

Council of Science Editors:

Timmreck DI. Realisierungsprobleme für Punktkonfigurationen und Polyedrische Flächen. [Thesis]. Freie Universität Berlin; 2015. Available from: http://dx.doi.org/10.17169/refubium-14465

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


Université Paris-Sud – Paris XI

20. Nguyễn, Hữu Nghĩa. A symbolic approach for the verification and the test of service choreographies : Une approche symbolique pour la vérification et le test des chorégraphies de services.

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

L'ingénierie orientée services est un nouveau paradigme pour développer des logiciels distribués et collaboratifs. Un tel logiciel se compose de plusieurs entités, appelés services, chacun… (more)

Subjects/Keywords: Chorégraphie de services; Service web; Passage de valeurs; Conformité; Projection; Réalisabilité; Test passif; Système de transitions symboliques; Outils; Choreography; Web services; Value-passing; Conformance; Projection; Realizability; Passive testing; Symbolic transition systems; Tools

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Nguyễn, H. N. (2013). A symbolic approach for the verification and the test of service choreographies : Une approche symbolique pour la vérification et le test des chorégraphies de services. (Doctoral Dissertation). Université Paris-Sud – Paris XI. Retrieved from http://www.theses.fr/2013PA112250

Chicago Manual of Style (16th Edition):

Nguyễn, Hữu Nghĩa. “A symbolic approach for the verification and the test of service choreographies : Une approche symbolique pour la vérification et le test des chorégraphies de services.” 2013. Doctoral Dissertation, Université Paris-Sud – Paris XI. Accessed July 14, 2020. http://www.theses.fr/2013PA112250.

MLA Handbook (7th Edition):

Nguyễn, Hữu Nghĩa. “A symbolic approach for the verification and the test of service choreographies : Une approche symbolique pour la vérification et le test des chorégraphies de services.” 2013. Web. 14 Jul 2020.

Vancouver:

Nguyễn HN. A symbolic approach for the verification and the test of service choreographies : Une approche symbolique pour la vérification et le test des chorégraphies de services. [Internet] [Doctoral dissertation]. Université Paris-Sud – Paris XI; 2013. [cited 2020 Jul 14]. Available from: http://www.theses.fr/2013PA112250.

Council of Science Editors:

Nguyễn HN. A symbolic approach for the verification and the test of service choreographies : Une approche symbolique pour la vérification et le test des chorégraphies de services. [Doctoral Dissertation]. Université Paris-Sud – Paris XI; 2013. Available from: http://www.theses.fr/2013PA112250

21. Essadki, Mohamed. Contribution à la modélisation eulérienne unifiée de l’injection : de la zone dense au spray polydispersé : Contribution to a unified Eulerian modeling of fuel injection : from dense liquid to polydisperse spray.

Degree: Docteur es, Mathématiques appliquées, 2018, Université Paris-Saclay (ComUE)

L’injection directe à haute pression du carburant dans les moteurs à combustion interne permet une atomisation compacte et efficace. Dans ce contexte, la simulation numérique… (more)

Subjects/Keywords: Écoulements diphasiques; Spray polydisperse; Phases séparée; Méthodes numeriques d’order élevée; Géometrie d’interface; Modèles bifluides; Schémas cinétiques; Realizabilité; Calcul Haute Performance; Two-phase flows; Polydisperse sprays; Separated phases; High order moment methods; Interface geometry; Two-fluid models; Kinetic-based numerical schemes; Realizability; HPC

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Essadki, M. (2018). Contribution à la modélisation eulérienne unifiée de l’injection : de la zone dense au spray polydispersé : Contribution to a unified Eulerian modeling of fuel injection : from dense liquid to polydisperse spray. (Doctoral Dissertation). Université Paris-Saclay (ComUE). Retrieved from http://www.theses.fr/2018SACLC024

Chicago Manual of Style (16th Edition):

Essadki, Mohamed. “Contribution à la modélisation eulérienne unifiée de l’injection : de la zone dense au spray polydispersé : Contribution to a unified Eulerian modeling of fuel injection : from dense liquid to polydisperse spray.” 2018. Doctoral Dissertation, Université Paris-Saclay (ComUE). Accessed July 14, 2020. http://www.theses.fr/2018SACLC024.

MLA Handbook (7th Edition):

Essadki, Mohamed. “Contribution à la modélisation eulérienne unifiée de l’injection : de la zone dense au spray polydispersé : Contribution to a unified Eulerian modeling of fuel injection : from dense liquid to polydisperse spray.” 2018. Web. 14 Jul 2020.

Vancouver:

Essadki M. Contribution à la modélisation eulérienne unifiée de l’injection : de la zone dense au spray polydispersé : Contribution to a unified Eulerian modeling of fuel injection : from dense liquid to polydisperse spray. [Internet] [Doctoral dissertation]. Université Paris-Saclay (ComUE); 2018. [cited 2020 Jul 14]. Available from: http://www.theses.fr/2018SACLC024.

Council of Science Editors:

Essadki M. Contribution à la modélisation eulérienne unifiée de l’injection : de la zone dense au spray polydispersé : Contribution to a unified Eulerian modeling of fuel injection : from dense liquid to polydisperse spray. [Doctoral Dissertation]. Université Paris-Saclay (ComUE); 2018. Available from: http://www.theses.fr/2018SACLC024

22. Miquey, Étienne. Réalisabilité classique et effets de bord : Classical realizability and side effects.

Degree: Docteur es, Informatique. Informatique fondamentale, 2017, Sorbonne Paris Cité; Universidad de la República (Montevideo)

 Cette thèse s'intéresse au contenu calculatoire des preuves classiques, et plus spécifiquement aux preuves avec effets de bord et à la réalisabilité classique de Krivine.… (more)

Subjects/Keywords: Contenu calculatoire de preuves classiques; Effets de bord; Axiomes du choix dépendant; Evaluation paresseuse; Réalisabilité classique; Algèbres implicatives; Types dépendants; Computational content of classical proof; Side effects; Axiom of dependent choice; Lazy evaluation; Classical realizability; Implicative algebras; Dependent types

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Miquey, E. (2017). Réalisabilité classique et effets de bord : Classical realizability and side effects. (Doctoral Dissertation). Sorbonne Paris Cité; Universidad de la República (Montevideo). Retrieved from http://www.theses.fr/2017USPCC031

Chicago Manual of Style (16th Edition):

Miquey, Étienne. “Réalisabilité classique et effets de bord : Classical realizability and side effects.” 2017. Doctoral Dissertation, Sorbonne Paris Cité; Universidad de la República (Montevideo). Accessed July 14, 2020. http://www.theses.fr/2017USPCC031.

MLA Handbook (7th Edition):

Miquey, Étienne. “Réalisabilité classique et effets de bord : Classical realizability and side effects.” 2017. Web. 14 Jul 2020.

Vancouver:

Miquey E. Réalisabilité classique et effets de bord : Classical realizability and side effects. [Internet] [Doctoral dissertation]. Sorbonne Paris Cité; Universidad de la República (Montevideo); 2017. [cited 2020 Jul 14]. Available from: http://www.theses.fr/2017USPCC031.

Council of Science Editors:

Miquey E. Réalisabilité classique et effets de bord : Classical realizability and side effects. [Doctoral Dissertation]. Sorbonne Paris Cité; Universidad de la República (Montevideo); 2017. Available from: http://www.theses.fr/2017USPCC031

23. Sabat, Macole. Modèles euleriens et méthodes numériques pour la description des sprays polydisperses turbulents. : Eulerian modeling and numerical methods for the description of turbulent polydisperse sprays.

Degree: Docteur es, Mécanique des fluides, 2016, Université Paris-Saclay (ComUE)

De nos jours, la simulation des écoulements diphasiques a de plus en plus d’importance dans les chambres de combustion aéronautiques en tant qu’un des éléments… (more)

Subjects/Keywords: Spray; Turbulence; Méthodes des moments; Fermetures cinétique; Réalizabilité; Croisement des trajectoires; Simulation aux grandes échelles; Schémas numérique d'ordre élevé préservant la réalizabilité; Spray; Turbulence; Moment method; Kinetic based closures; Realizability; Particle trajectory crossing; Large Eddy Simulation; Realizabilitypreserving high order numerical schemes

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Sabat, M. (2016). Modèles euleriens et méthodes numériques pour la description des sprays polydisperses turbulents. : Eulerian modeling and numerical methods for the description of turbulent polydisperse sprays. (Doctoral Dissertation). Université Paris-Saclay (ComUE). Retrieved from http://www.theses.fr/2016SACLC086

Chicago Manual of Style (16th Edition):

Sabat, Macole. “Modèles euleriens et méthodes numériques pour la description des sprays polydisperses turbulents. : Eulerian modeling and numerical methods for the description of turbulent polydisperse sprays.” 2016. Doctoral Dissertation, Université Paris-Saclay (ComUE). Accessed July 14, 2020. http://www.theses.fr/2016SACLC086.

MLA Handbook (7th Edition):

Sabat, Macole. “Modèles euleriens et méthodes numériques pour la description des sprays polydisperses turbulents. : Eulerian modeling and numerical methods for the description of turbulent polydisperse sprays.” 2016. Web. 14 Jul 2020.

Vancouver:

Sabat M. Modèles euleriens et méthodes numériques pour la description des sprays polydisperses turbulents. : Eulerian modeling and numerical methods for the description of turbulent polydisperse sprays. [Internet] [Doctoral dissertation]. Université Paris-Saclay (ComUE); 2016. [cited 2020 Jul 14]. Available from: http://www.theses.fr/2016SACLC086.

Council of Science Editors:

Sabat M. Modèles euleriens et méthodes numériques pour la description des sprays polydisperses turbulents. : Eulerian modeling and numerical methods for the description of turbulent polydisperse sprays. [Doctoral Dissertation]. Université Paris-Saclay (ComUE); 2016. Available from: http://www.theses.fr/2016SACLC086


University of Florida

24. Lowry, James Lee, 1931-. New methods of RC lattice synthesis with maximum gain.

Degree: 1963, University of Florida

Subjects/Keywords: Canonical forms; Capacitors; Conceptual lattices; Mathematical lattices; RC circuits; Real lines; Realizability; Resistors; Transfer functions; Zero; Electric networks ( fast )

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Lowry, James Lee, 1. (1963). New methods of RC lattice synthesis with maximum gain. (Thesis). University of Florida. Retrieved from https://ufdc.ufl.edu/AA00032927

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

Lowry, James Lee, 1931-. “New methods of RC lattice synthesis with maximum gain.” 1963. Thesis, University of Florida. Accessed July 14, 2020. https://ufdc.ufl.edu/AA00032927.

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

MLA Handbook (7th Edition):

Lowry, James Lee, 1931-. “New methods of RC lattice synthesis with maximum gain.” 1963. Web. 14 Jul 2020.

Vancouver:

Lowry, James Lee 1. New methods of RC lattice synthesis with maximum gain. [Internet] [Thesis]. University of Florida; 1963. [cited 2020 Jul 14]. Available from: https://ufdc.ufl.edu/AA00032927.

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

Council of Science Editors:

Lowry, James Lee 1. New methods of RC lattice synthesis with maximum gain. [Thesis]. University of Florida; 1963. Available from: https://ufdc.ufl.edu/AA00032927

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

25. Blot, Valentin. Game semantics and realizability for classical logic : Sémantique des jeux et réalisabilité pour la logique classique.

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

Cette thèse étudie deux modèles de réalisabilité pour la logique classique construits sur la sémantique des jeux HO, interprétant la logique, l'arithmétique et l'analyse classiques… (more)

Subjects/Keywords: Sémantique des jeux de Hyland et Ong; Réalisabilité; Axiome du choix; Bar-récursion; Lambda-mu calcul; Logique classique; Arithmétique de Peano; Hyland-Ong game semantics; Realizability; Axiom of choice; Bar-recursion; Lambda-mu calculus; Classical logic; Peano arithmetic

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Blot, V. (2014). Game semantics and realizability for classical logic : Sémantique des jeux et réalisabilité pour la logique classique. (Doctoral Dissertation). Lyon, École normale supérieure. Retrieved from http://www.theses.fr/2014ENSL0945

Chicago Manual of Style (16th Edition):

Blot, Valentin. “Game semantics and realizability for classical logic : Sémantique des jeux et réalisabilité pour la logique classique.” 2014. Doctoral Dissertation, Lyon, École normale supérieure. Accessed July 14, 2020. http://www.theses.fr/2014ENSL0945.

MLA Handbook (7th Edition):

Blot, Valentin. “Game semantics and realizability for classical logic : Sémantique des jeux et réalisabilité pour la logique classique.” 2014. Web. 14 Jul 2020.

Vancouver:

Blot V. Game semantics and realizability for classical logic : Sémantique des jeux et réalisabilité pour la logique classique. [Internet] [Doctoral dissertation]. Lyon, École normale supérieure; 2014. [cited 2020 Jul 14]. Available from: http://www.theses.fr/2014ENSL0945.

Council of Science Editors:

Blot V. Game semantics and realizability for classical logic : Sémantique des jeux et réalisabilité pour la logique classique. [Doctoral Dissertation]. Lyon, École normale supérieure; 2014. Available from: http://www.theses.fr/2014ENSL0945

26. Lasson, Marc. Réalisabilité et paramétricité dans les systèmes de types purs : Realizability and parametricity in Pure Type Systems.

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

Cette thèse porte sur l’adaptation de la réalisabilité et la paramétricité au cas des types dépendants dans le cadre des Systèmes de Types Purs. Nous… (more)

Subjects/Keywords: Réalisabilité; Paramétricité; Relation logique; Systèmes de types purs; Types dépendants; Théorie des types; Isomorphisme de curry-howard; Lambda-calcul; Calcul des constructions; Coq; Assistants de preuve; Realizability; Parametricity; Logical relation; Pure type systems; Dependant type; Type theory; Curry-howard isomoprhism; Lambda-calculus; Calculus of constructions; Coq; Proof assistants

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Lasson, M. (2012). Réalisabilité et paramétricité dans les systèmes de types purs : Realizability and parametricity in Pure Type Systems. (Doctoral Dissertation). Lyon, École normale supérieure. Retrieved from http://www.theses.fr/2012ENSL0764

Chicago Manual of Style (16th Edition):

Lasson, Marc. “Réalisabilité et paramétricité dans les systèmes de types purs : Realizability and parametricity in Pure Type Systems.” 2012. Doctoral Dissertation, Lyon, École normale supérieure. Accessed July 14, 2020. http://www.theses.fr/2012ENSL0764.

MLA Handbook (7th Edition):

Lasson, Marc. “Réalisabilité et paramétricité dans les systèmes de types purs : Realizability and parametricity in Pure Type Systems.” 2012. Web. 14 Jul 2020.

Vancouver:

Lasson M. Réalisabilité et paramétricité dans les systèmes de types purs : Realizability and parametricity in Pure Type Systems. [Internet] [Doctoral dissertation]. Lyon, École normale supérieure; 2012. [cited 2020 Jul 14]. Available from: http://www.theses.fr/2012ENSL0764.

Council of Science Editors:

Lasson M. Réalisabilité et paramétricité dans les systèmes de types purs : Realizability and parametricity in Pure Type Systems. [Doctoral Dissertation]. Lyon, École normale supérieure; 2012. Available from: http://www.theses.fr/2012ENSL0764


University of Florida

27. Ferrer Suarez, José J., 1956-. Realization of linear discrete time-varying systems.

Degree: 1984, University of Florida

Subjects/Keywords: Analytics; Input output; Integers; Linear systems; Mathematical vectors; Matrices; Power series; Realizability; Scalars; Sine function; Discrete-time systems; Electrical Engineering thesis Ph. D; System analysis

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Ferrer Suarez, José J., 1. (1984). Realization of linear discrete time-varying systems. (Thesis). University of Florida. Retrieved from https://ufdc.ufl.edu/AA00040983

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

Ferrer Suarez, José J., 1956-. “Realization of linear discrete time-varying systems.” 1984. Thesis, University of Florida. Accessed July 14, 2020. https://ufdc.ufl.edu/AA00040983.

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

MLA Handbook (7th Edition):

Ferrer Suarez, José J., 1956-. “Realization of linear discrete time-varying systems.” 1984. Web. 14 Jul 2020.

Vancouver:

Ferrer Suarez, José J. 1. Realization of linear discrete time-varying systems. [Internet] [Thesis]. University of Florida; 1984. [cited 2020 Jul 14]. Available from: https://ufdc.ufl.edu/AA00040983.

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

Council of Science Editors:

Ferrer Suarez, José J. 1. Realization of linear discrete time-varying systems. [Thesis]. University of Florida; 1984. Available from: https://ufdc.ufl.edu/AA00040983

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


University of Florida

28. Walter, William Austin, 1937-. The Synthesis of minimum phase transfer functions by zero sharing.

Degree: 1964, University of Florida

Subjects/Keywords: Circles; Degrees of polynomials; Electrical impedance; Mathematical optima; Polynomials; RC circuits; Realizability; RLC circuits; Transfer functions; Zero; Electric networks; Electrical Engineering thesis Ph. D

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Walter, William Austin, 1. (1964). The Synthesis of minimum phase transfer functions by zero sharing. (Thesis). University of Florida. Retrieved from https://ufdc.ufl.edu/UF00097951

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

Walter, William Austin, 1937-. “The Synthesis of minimum phase transfer functions by zero sharing.” 1964. Thesis, University of Florida. Accessed July 14, 2020. https://ufdc.ufl.edu/UF00097951.

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

MLA Handbook (7th Edition):

Walter, William Austin, 1937-. “The Synthesis of minimum phase transfer functions by zero sharing.” 1964. Web. 14 Jul 2020.

Vancouver:

Walter, William Austin 1. The Synthesis of minimum phase transfer functions by zero sharing. [Internet] [Thesis]. University of Florida; 1964. [cited 2020 Jul 14]. Available from: https://ufdc.ufl.edu/UF00097951.

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

Council of Science Editors:

Walter, William Austin 1. The Synthesis of minimum phase transfer functions by zero sharing. [Thesis]. University of Florida; 1964. Available from: https://ufdc.ufl.edu/UF00097951

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


Georgia Southern University

29. Smith, Inna N. Controllability, Observability and Realizability.

Degree: MSin Mathematics (M.S.), Department of Mathematical Sciences, 2005, Georgia Southern University

 In this research project, we analyze three important concepts of the control theory, including controllability, observability and realizability. In particular, we analyze the theory of… (more)

Subjects/Keywords: ETD; Control theory; Controllability; Observability; Realizability; Duality; Transfer function; Matrix exponential function; Fundamental matrix solution; Sylvester systems; Control theory; Functional analysis; Operator theory; Jack N. Averitt College of Graduate Studies, Electronic Theses & Dissertations, ETDs, Student Research

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Smith, I. N. (2005). Controllability, Observability and Realizability. (Masters Thesis). Georgia Southern University. Retrieved from https://digitalcommons.georgiasouthern.edu/etd/686

Chicago Manual of Style (16th Edition):

Smith, Inna N. “Controllability, Observability and Realizability.” 2005. Masters Thesis, Georgia Southern University. Accessed July 14, 2020. https://digitalcommons.georgiasouthern.edu/etd/686.

MLA Handbook (7th Edition):

Smith, Inna N. “Controllability, Observability and Realizability.” 2005. Web. 14 Jul 2020.

Vancouver:

Smith IN. Controllability, Observability and Realizability. [Internet] [Masters thesis]. Georgia Southern University; 2005. [cited 2020 Jul 14]. Available from: https://digitalcommons.georgiasouthern.edu/etd/686.

Council of Science Editors:

Smith IN. Controllability, Observability and Realizability. [Masters Thesis]. Georgia Southern University; 2005. Available from: https://digitalcommons.georgiasouthern.edu/etd/686


East Tennessee State University

30. Jackson, Eugenie Marie. Explorations in the Classification of Vertices as Good or Bad.

Degree: MS, Mathematical Sciences, 2001, East Tennessee State University

  For a graph G, a set S is a dominating set if every vertex in V-S has a neighbor in S. A vertex contained… (more)

Subjects/Keywords: graph theory; bad vertices; domination; domination-fair graphs; realizability; caterpillars; paths; domination-commendable graphs; domination-excellent graphs; goodness index; good vertices; domination-poor graphs; Physical Sciences and Mathematics

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Jackson, E. M. (2001). Explorations in the Classification of Vertices as Good or Bad. (Masters Thesis). East Tennessee State University. Retrieved from https://dc.etsu.edu/etd/132

Chicago Manual of Style (16th Edition):

Jackson, Eugenie Marie. “Explorations in the Classification of Vertices as Good or Bad.” 2001. Masters Thesis, East Tennessee State University. Accessed July 14, 2020. https://dc.etsu.edu/etd/132.

MLA Handbook (7th Edition):

Jackson, Eugenie Marie. “Explorations in the Classification of Vertices as Good or Bad.” 2001. Web. 14 Jul 2020.

Vancouver:

Jackson EM. Explorations in the Classification of Vertices as Good or Bad. [Internet] [Masters thesis]. East Tennessee State University; 2001. [cited 2020 Jul 14]. Available from: https://dc.etsu.edu/etd/132.

Council of Science Editors:

Jackson EM. Explorations in the Classification of Vertices as Good or Bad. [Masters Thesis]. East Tennessee State University; 2001. Available from: https://dc.etsu.edu/etd/132

[1] [2]

.