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

University: University of Oxford

You searched for subject:(Model Theory). Showing records 1 – 30 of 37 total matches.

[1] [2]

Search Limiters

Last 2 Years | English Only

▼ Search Limiters


University of Oxford

1. Williamson, Richard David. Categorical model structures.

Degree: PhD, 2011, University of Oxford

We build a model structure from the simple point of departure of a structured interval in a monoidal category — more generally, a structured cylinder and a structured co-cylinder in a category.

Subjects/Keywords: 512.62; Mathematics; Algebraic topology; category theory; homotopy theory; model categories

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Williamson, R. D. (2011). Categorical model structures. (Doctoral Dissertation). University of Oxford. Retrieved from http://ora.ox.ac.uk/objects/uuid:466f4700-7cbf-401c-b0b7-9399b4c840df ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.580907

Chicago Manual of Style (16th Edition):

Williamson, Richard David. “Categorical model structures.” 2011. Doctoral Dissertation, University of Oxford. Accessed July 07, 2020. http://ora.ox.ac.uk/objects/uuid:466f4700-7cbf-401c-b0b7-9399b4c840df ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.580907.

MLA Handbook (7th Edition):

Williamson, Richard David. “Categorical model structures.” 2011. Web. 07 Jul 2020.

Vancouver:

Williamson RD. Categorical model structures. [Internet] [Doctoral dissertation]. University of Oxford; 2011. [cited 2020 Jul 07]. Available from: http://ora.ox.ac.uk/objects/uuid:466f4700-7cbf-401c-b0b7-9399b4c840df ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.580907.

Council of Science Editors:

Williamson RD. Categorical model structures. [Doctoral Dissertation]. University of Oxford; 2011. Available from: http://ora.ox.ac.uk/objects/uuid:466f4700-7cbf-401c-b0b7-9399b4c840df ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.580907


University of Oxford

2. Constantin, Andrei. Heterotic string models on smooth Calabi-Yau threefolds.

Degree: PhD, 2013, University of Oxford

 This thesis contributes with a number of topics to the subject of string compactifications, especially in the instance of the E8 × E8 heterotic string… (more)

Subjects/Keywords: 539.7; Theoretical physics; Elementary particle theory; heterotic string theory; model building; Calabi-Yau manifolds

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Constantin, A. (2013). Heterotic string models on smooth Calabi-Yau threefolds. (Doctoral Dissertation). University of Oxford. Retrieved from http://ora.ox.ac.uk/objects/uuid:30be3aee-ba9b-4417-9b00-ee26a6bd67c5 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.627806

Chicago Manual of Style (16th Edition):

Constantin, Andrei. “Heterotic string models on smooth Calabi-Yau threefolds.” 2013. Doctoral Dissertation, University of Oxford. Accessed July 07, 2020. http://ora.ox.ac.uk/objects/uuid:30be3aee-ba9b-4417-9b00-ee26a6bd67c5 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.627806.

MLA Handbook (7th Edition):

Constantin, Andrei. “Heterotic string models on smooth Calabi-Yau threefolds.” 2013. Web. 07 Jul 2020.

Vancouver:

Constantin A. Heterotic string models on smooth Calabi-Yau threefolds. [Internet] [Doctoral dissertation]. University of Oxford; 2013. [cited 2020 Jul 07]. Available from: http://ora.ox.ac.uk/objects/uuid:30be3aee-ba9b-4417-9b00-ee26a6bd67c5 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.627806.

Council of Science Editors:

Constantin A. Heterotic string models on smooth Calabi-Yau threefolds. [Doctoral Dissertation]. University of Oxford; 2013. Available from: http://ora.ox.ac.uk/objects/uuid:30be3aee-ba9b-4417-9b00-ee26a6bd67c5 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.627806


University of Oxford

3. Anscombe, William George. Definability in Henselian fields.

Degree: PhD, 2012, University of Oxford

 We investigate definability in henselian fields. Specifically, we are interested in those sets and substructures that are existentially definable or definable with `few' parameters. Our… (more)

Subjects/Keywords: 511.324; Mathematical logic and foundations; logic; 03C model theory; 12L field theory; polynomials

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Anscombe, W. G. (2012). Definability in Henselian fields. (Doctoral Dissertation). University of Oxford. Retrieved from http://ora.ox.ac.uk/objects/uuid:65eec6d9-457d-4673-80de-6413865a6a46 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.581039

Chicago Manual of Style (16th Edition):

Anscombe, William George. “Definability in Henselian fields.” 2012. Doctoral Dissertation, University of Oxford. Accessed July 07, 2020. http://ora.ox.ac.uk/objects/uuid:65eec6d9-457d-4673-80de-6413865a6a46 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.581039.

MLA Handbook (7th Edition):

Anscombe, William George. “Definability in Henselian fields.” 2012. Web. 07 Jul 2020.

Vancouver:

Anscombe WG. Definability in Henselian fields. [Internet] [Doctoral dissertation]. University of Oxford; 2012. [cited 2020 Jul 07]. Available from: http://ora.ox.ac.uk/objects/uuid:65eec6d9-457d-4673-80de-6413865a6a46 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.581039.

Council of Science Editors:

Anscombe WG. Definability in Henselian fields. [Doctoral Dissertation]. University of Oxford; 2012. Available from: http://ora.ox.ac.uk/objects/uuid:65eec6d9-457d-4673-80de-6413865a6a46 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.581039


University of Oxford

4. Jahnke, Franziska Maxie. Definable henselian valuations and absolute Galois groups.

Degree: PhD, 2014, University of Oxford

 This thesis investigates the connections between henselian valuations and absolute Galois groups. There are fundamental links between these: On one hand, the absolute Galois group… (more)

Subjects/Keywords: 515; Mathematical logic and foundations; Valuations; Henselian; Absolute Galois Theory; Model Theory of Fields; Definability

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Jahnke, F. M. (2014). Definable henselian valuations and absolute Galois groups. (Doctoral Dissertation). University of Oxford. Retrieved from http://ora.ox.ac.uk/objects/uuid:95b8f301-bb8b-42d9-9b63-46580424e515 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.596025

Chicago Manual of Style (16th Edition):

Jahnke, Franziska Maxie. “Definable henselian valuations and absolute Galois groups.” 2014. Doctoral Dissertation, University of Oxford. Accessed July 07, 2020. http://ora.ox.ac.uk/objects/uuid:95b8f301-bb8b-42d9-9b63-46580424e515 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.596025.

MLA Handbook (7th Edition):

Jahnke, Franziska Maxie. “Definable henselian valuations and absolute Galois groups.” 2014. Web. 07 Jul 2020.

Vancouver:

Jahnke FM. Definable henselian valuations and absolute Galois groups. [Internet] [Doctoral dissertation]. University of Oxford; 2014. [cited 2020 Jul 07]. Available from: http://ora.ox.ac.uk/objects/uuid:95b8f301-bb8b-42d9-9b63-46580424e515 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.596025.

Council of Science Editors:

Jahnke FM. Definable henselian valuations and absolute Galois groups. [Doctoral Dissertation]. University of Oxford; 2014. Available from: http://ora.ox.ac.uk/objects/uuid:95b8f301-bb8b-42d9-9b63-46580424e515 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.596025


University of Oxford

5. Yim, Austin Vincent. On Galois correspondences in formal logic.

Degree: PhD, 2012, University of Oxford

 This thesis examines two approaches to Galois correspondences in formal logic. A standard result of classical first-order model theory is the observation that models of… (more)

Subjects/Keywords: 511.3; Mathematics; Mathematical logic and foundations; Logic; Number theory; Mathematical logic; model theory; substructural logic

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Yim, A. V. (2012). On Galois correspondences in formal logic. (Doctoral Dissertation). University of Oxford. Retrieved from http://ora.ox.ac.uk/objects/uuid:b47d1dda-8186-4c81-876c-359409f45b97 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.588404

Chicago Manual of Style (16th Edition):

Yim, Austin Vincent. “On Galois correspondences in formal logic.” 2012. Doctoral Dissertation, University of Oxford. Accessed July 07, 2020. http://ora.ox.ac.uk/objects/uuid:b47d1dda-8186-4c81-876c-359409f45b97 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.588404.

MLA Handbook (7th Edition):

Yim, Austin Vincent. “On Galois correspondences in formal logic.” 2012. Web. 07 Jul 2020.

Vancouver:

Yim AV. On Galois correspondences in formal logic. [Internet] [Doctoral dissertation]. University of Oxford; 2012. [cited 2020 Jul 07]. Available from: http://ora.ox.ac.uk/objects/uuid:b47d1dda-8186-4c81-876c-359409f45b97 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.588404.

Council of Science Editors:

Yim AV. On Galois correspondences in formal logic. [Doctoral Dissertation]. University of Oxford; 2012. Available from: http://ora.ox.ac.uk/objects/uuid:b47d1dda-8186-4c81-876c-359409f45b97 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.588404


University of Oxford

6. Ramsay, Steven J. Intersection types and higer-order model checking.

Degree: PhD, 2014, University of Oxford

 Higher-order recursion schemes are systems of equations that are used to define finite and infinite labelled trees. Since, as Ong has shown, the trees defined… (more)

Subjects/Keywords: 005.3; Theory and automated verification; software verification; intersection types; model checking

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Ramsay, S. J. (2014). Intersection types and higer-order model checking. (Doctoral Dissertation). University of Oxford. Retrieved from http://ora.ox.ac.uk/objects/uuid:46b7bc70-3dfe-476e-92e7-245b7629ae4e ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.596036

Chicago Manual of Style (16th Edition):

Ramsay, Steven J. “Intersection types and higer-order model checking.” 2014. Doctoral Dissertation, University of Oxford. Accessed July 07, 2020. http://ora.ox.ac.uk/objects/uuid:46b7bc70-3dfe-476e-92e7-245b7629ae4e ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.596036.

MLA Handbook (7th Edition):

Ramsay, Steven J. “Intersection types and higer-order model checking.” 2014. Web. 07 Jul 2020.

Vancouver:

Ramsay SJ. Intersection types and higer-order model checking. [Internet] [Doctoral dissertation]. University of Oxford; 2014. [cited 2020 Jul 07]. Available from: http://ora.ox.ac.uk/objects/uuid:46b7bc70-3dfe-476e-92e7-245b7629ae4e ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.596036.

Council of Science Editors:

Ramsay SJ. Intersection types and higer-order model checking. [Doctoral Dissertation]. University of Oxford; 2014. Available from: http://ora.ox.ac.uk/objects/uuid:46b7bc70-3dfe-476e-92e7-245b7629ae4e ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.596036


University of Oxford

7. Aslanyan, Vahagn. Ax-Schanuel type inequalities in differentially closed fields.

Degree: PhD, 2017, University of Oxford

 In this thesis we study Ax-Schanuel type inequalities for abstract differential equations. A motivating example is the exponential differential equation. The Ax-Schanuel theorem states positivity… (more)

Subjects/Keywords: 515; Differential algebra; Model theory; Logic; Symbolic and mathematical; Model theoretic algebra; Abstract differential equation; Hrushovski construction; Ax-Schanuel theorem

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Aslanyan, V. (2017). Ax-Schanuel type inequalities in differentially closed fields. (Doctoral Dissertation). University of Oxford. Retrieved from https://ora.ox.ac.uk/objects/uuid:bced8c2d-22df-4a21-9a1f-5e4204b6c85d ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.729553

Chicago Manual of Style (16th Edition):

Aslanyan, Vahagn. “Ax-Schanuel type inequalities in differentially closed fields.” 2017. Doctoral Dissertation, University of Oxford. Accessed July 07, 2020. https://ora.ox.ac.uk/objects/uuid:bced8c2d-22df-4a21-9a1f-5e4204b6c85d ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.729553.

MLA Handbook (7th Edition):

Aslanyan, Vahagn. “Ax-Schanuel type inequalities in differentially closed fields.” 2017. Web. 07 Jul 2020.

Vancouver:

Aslanyan V. Ax-Schanuel type inequalities in differentially closed fields. [Internet] [Doctoral dissertation]. University of Oxford; 2017. [cited 2020 Jul 07]. Available from: https://ora.ox.ac.uk/objects/uuid:bced8c2d-22df-4a21-9a1f-5e4204b6c85d ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.729553.

Council of Science Editors:

Aslanyan V. Ax-Schanuel type inequalities in differentially closed fields. [Doctoral Dissertation]. University of Oxford; 2017. Available from: https://ora.ox.ac.uk/objects/uuid:bced8c2d-22df-4a21-9a1f-5e4204b6c85d ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.729553


University of Oxford

8. Probst, Jonas. Applications of the gauge/gravity duality.

Degree: PhD, 2017, University of Oxford

 This thesis investigates applications of the gauge/gravity duality to strongly coupled quantum field theories. After a review of the duality and of correlators and transport… (more)

Subjects/Keywords: 530.14; Theoretical physics; Quantum Field Theory; Kondo model; Hydrodynamics; General Relativity; AdS/CFT Correspondence; Gauge Field Theory

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Probst, J. (2017). Applications of the gauge/gravity duality. (Doctoral Dissertation). University of Oxford. Retrieved from https://ora.ox.ac.uk/objects/uuid:970c6e71-371f-442f-94c9-8f1fffc8a4f7 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.729279

Chicago Manual of Style (16th Edition):

Probst, Jonas. “Applications of the gauge/gravity duality.” 2017. Doctoral Dissertation, University of Oxford. Accessed July 07, 2020. https://ora.ox.ac.uk/objects/uuid:970c6e71-371f-442f-94c9-8f1fffc8a4f7 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.729279.

MLA Handbook (7th Edition):

Probst, Jonas. “Applications of the gauge/gravity duality.” 2017. Web. 07 Jul 2020.

Vancouver:

Probst J. Applications of the gauge/gravity duality. [Internet] [Doctoral dissertation]. University of Oxford; 2017. [cited 2020 Jul 07]. Available from: https://ora.ox.ac.uk/objects/uuid:970c6e71-371f-442f-94c9-8f1fffc8a4f7 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.729279.

Council of Science Editors:

Probst J. Applications of the gauge/gravity duality. [Doctoral Dissertation]. University of Oxford; 2017. Available from: https://ora.ox.ac.uk/objects/uuid:970c6e71-371f-442f-94c9-8f1fffc8a4f7 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.729279


University of Oxford

9. Harper, Fenner Thomas Pearson. The Hofstadter model and other fractional Chern insulators.

Degree: PhD, 2015, University of Oxford

 Fractional Chern insulators (FCIs) are strongly correlated, topological phases of matter that may exist on a lattice in the presence of broken time-reversal symmetry. This… (more)

Subjects/Keywords: 530.4; Theoretical physics; Quantum theory; Condensed matter; The Hofstadter model; Fractional Chern insulators

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Harper, F. T. P. (2015). The Hofstadter model and other fractional Chern insulators. (Doctoral Dissertation). University of Oxford. Retrieved from https://ora.ox.ac.uk/objects/uuid:4c4df19a-9bab-43c4-a845-ae170868913f ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.711944

Chicago Manual of Style (16th Edition):

Harper, Fenner Thomas Pearson. “The Hofstadter model and other fractional Chern insulators.” 2015. Doctoral Dissertation, University of Oxford. Accessed July 07, 2020. https://ora.ox.ac.uk/objects/uuid:4c4df19a-9bab-43c4-a845-ae170868913f ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.711944.

MLA Handbook (7th Edition):

Harper, Fenner Thomas Pearson. “The Hofstadter model and other fractional Chern insulators.” 2015. Web. 07 Jul 2020.

Vancouver:

Harper FTP. The Hofstadter model and other fractional Chern insulators. [Internet] [Doctoral dissertation]. University of Oxford; 2015. [cited 2020 Jul 07]. Available from: https://ora.ox.ac.uk/objects/uuid:4c4df19a-9bab-43c4-a845-ae170868913f ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.711944.

Council of Science Editors:

Harper FTP. The Hofstadter model and other fractional Chern insulators. [Doctoral Dissertation]. University of Oxford; 2015. Available from: https://ora.ox.ac.uk/objects/uuid:4c4df19a-9bab-43c4-a845-ae170868913f ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.711944


University of Oxford

10. Neatherway, Robin Philip. Higher-order model checking with traversals.

Degree: PhD, 2014, University of Oxford

 Higher-order recursion schemes are a powerful model of functional computation that grew out of traditional recursive program schemes and generalisations of grammars. It is common… (more)

Subjects/Keywords: 005.1; Computer science (mathematics); Theory and automated verification; software verification; intersection types; model checking

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Neatherway, R. P. (2014). Higher-order model checking with traversals. (Doctoral Dissertation). University of Oxford. Retrieved from http://ora.ox.ac.uk/objects/uuid:240bd517-1582-45f9-86c3-eb30f85757de ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.640027

Chicago Manual of Style (16th Edition):

Neatherway, Robin Philip. “Higher-order model checking with traversals.” 2014. Doctoral Dissertation, University of Oxford. Accessed July 07, 2020. http://ora.ox.ac.uk/objects/uuid:240bd517-1582-45f9-86c3-eb30f85757de ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.640027.

MLA Handbook (7th Edition):

Neatherway, Robin Philip. “Higher-order model checking with traversals.” 2014. Web. 07 Jul 2020.

Vancouver:

Neatherway RP. Higher-order model checking with traversals. [Internet] [Doctoral dissertation]. University of Oxford; 2014. [cited 2020 Jul 07]. Available from: http://ora.ox.ac.uk/objects/uuid:240bd517-1582-45f9-86c3-eb30f85757de ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.640027.

Council of Science Editors:

Neatherway RP. Higher-order model checking with traversals. [Doctoral Dissertation]. University of Oxford; 2014. Available from: http://ora.ox.ac.uk/objects/uuid:240bd517-1582-45f9-86c3-eb30f85757de ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.640027


University of Oxford

11. Sustretov, Dmitry. Non-algebraic Zariski geometries.

Degree: PhD, 2012, University of Oxford

 The thesis deals with definability of certain Zariski geometries, introduced by Zilber, in the theory of algebraically closed fields. I axiomatise a class of structures,… (more)

Subjects/Keywords: 516.3; Mathematical logic and foundations; Zariski geometries; interpretability; algebraic geometry; model theory

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Sustretov, D. (2012). Non-algebraic Zariski geometries. (Doctoral Dissertation). University of Oxford. Retrieved from http://ora.ox.ac.uk/objects/uuid:b67f85d8-6fac-4820-913d-a064d3582412 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.581011

Chicago Manual of Style (16th Edition):

Sustretov, Dmitry. “Non-algebraic Zariski geometries.” 2012. Doctoral Dissertation, University of Oxford. Accessed July 07, 2020. http://ora.ox.ac.uk/objects/uuid:b67f85d8-6fac-4820-913d-a064d3582412 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.581011.

MLA Handbook (7th Edition):

Sustretov, Dmitry. “Non-algebraic Zariski geometries.” 2012. Web. 07 Jul 2020.

Vancouver:

Sustretov D. Non-algebraic Zariski geometries. [Internet] [Doctoral dissertation]. University of Oxford; 2012. [cited 2020 Jul 07]. Available from: http://ora.ox.ac.uk/objects/uuid:b67f85d8-6fac-4820-913d-a064d3582412 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.581011.

Council of Science Editors:

Sustretov D. Non-algebraic Zariski geometries. [Doctoral Dissertation]. University of Oxford; 2012. Available from: http://ora.ox.ac.uk/objects/uuid:b67f85d8-6fac-4820-913d-a064d3582412 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.581011


University of Oxford

12. Mazur, Tomasz Krzysztof. Model Checking Systems with Replicated Components using CSP.

Degree: PhD, 2011, University of Oxford

 The Parameterised Model Checking Problem asks whether an implementation Impl(t) satisfies a specification Spec(t) for all instantiations of parameter t. In general, t can determine… (more)

Subjects/Keywords: 005.3; Computer science (mathematics); Communication Sequential Processing (CSP); Computing; Theory and automated verification; Communicating Sequential Processes (CSP); Model Checking; model checking; formal verification; formal methods

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Mazur, T. K. (2011). Model Checking Systems with Replicated Components using CSP. (Doctoral Dissertation). University of Oxford. Retrieved from http://ora.ox.ac.uk/objects/uuid:6694fac7-00b4-4b25-b054-813d7a6a4cdb ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.533835

Chicago Manual of Style (16th Edition):

Mazur, Tomasz Krzysztof. “Model Checking Systems with Replicated Components using CSP.” 2011. Doctoral Dissertation, University of Oxford. Accessed July 07, 2020. http://ora.ox.ac.uk/objects/uuid:6694fac7-00b4-4b25-b054-813d7a6a4cdb ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.533835.

MLA Handbook (7th Edition):

Mazur, Tomasz Krzysztof. “Model Checking Systems with Replicated Components using CSP.” 2011. Web. 07 Jul 2020.

Vancouver:

Mazur TK. Model Checking Systems with Replicated Components using CSP. [Internet] [Doctoral dissertation]. University of Oxford; 2011. [cited 2020 Jul 07]. Available from: http://ora.ox.ac.uk/objects/uuid:6694fac7-00b4-4b25-b054-813d7a6a4cdb ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.533835.

Council of Science Editors:

Mazur TK. Model Checking Systems with Replicated Components using CSP. [Doctoral Dissertation]. University of Oxford; 2011. Available from: http://ora.ox.ac.uk/objects/uuid:6694fac7-00b4-4b25-b054-813d7a6a4cdb ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.533835


University of Oxford

13. Bundala, Daniel. Algorithmic verification problems in automata-theoretic settings.

Degree: PhD, 2014, University of Oxford

 Problems in formal verification are often stated in terms of finite automata and extensions thereof. In this thesis we investigate several such algorithmic problems. In… (more)

Subjects/Keywords: 005.1; Application software; Algorithms; Computer science – Mathematics; temporal logic; bounded model checking; automata theory; formal verification; parametric timed automata

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Bundala, D. (2014). Algorithmic verification problems in automata-theoretic settings. (Doctoral Dissertation). University of Oxford. Retrieved from http://ora.ox.ac.uk/objects/uuid:60b2d507-153f-4119-a888-56ccd47c3752 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.711709

Chicago Manual of Style (16th Edition):

Bundala, Daniel. “Algorithmic verification problems in automata-theoretic settings.” 2014. Doctoral Dissertation, University of Oxford. Accessed July 07, 2020. http://ora.ox.ac.uk/objects/uuid:60b2d507-153f-4119-a888-56ccd47c3752 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.711709.

MLA Handbook (7th Edition):

Bundala, Daniel. “Algorithmic verification problems in automata-theoretic settings.” 2014. Web. 07 Jul 2020.

Vancouver:

Bundala D. Algorithmic verification problems in automata-theoretic settings. [Internet] [Doctoral dissertation]. University of Oxford; 2014. [cited 2020 Jul 07]. Available from: http://ora.ox.ac.uk/objects/uuid:60b2d507-153f-4119-a888-56ccd47c3752 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.711709.

Council of Science Editors:

Bundala D. Algorithmic verification problems in automata-theoretic settings. [Doctoral Dissertation]. University of Oxford; 2014. Available from: http://ora.ox.ac.uk/objects/uuid:60b2d507-153f-4119-a888-56ccd47c3752 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.711709


University of Oxford

14. Elsner, Bernhard August Maurice. Presmooth geometries.

Degree: PhD, 2014, University of Oxford

 This thesis explores the geometric principles underlying many of the known Trichotomy Theorems. The main aims are to unify the field construction in non-linear o-minimal… (more)

Subjects/Keywords: 516.3; Mathematical logic and foundations; Mathematics; Model Theory; Zariski Geometries; Presmooth Geometries; Trichotomy Theorem; Zilber's Trichotomy

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Elsner, B. A. M. (2014). Presmooth geometries. (Doctoral Dissertation). University of Oxford. Retrieved from http://ora.ox.ac.uk/objects/uuid:b5d9ccfd-8360-4a2c-ad89-0b4f136c5a96 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.618508

Chicago Manual of Style (16th Edition):

Elsner, Bernhard August Maurice. “Presmooth geometries.” 2014. Doctoral Dissertation, University of Oxford. Accessed July 07, 2020. http://ora.ox.ac.uk/objects/uuid:b5d9ccfd-8360-4a2c-ad89-0b4f136c5a96 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.618508.

MLA Handbook (7th Edition):

Elsner, Bernhard August Maurice. “Presmooth geometries.” 2014. Web. 07 Jul 2020.

Vancouver:

Elsner BAM. Presmooth geometries. [Internet] [Doctoral dissertation]. University of Oxford; 2014. [cited 2020 Jul 07]. Available from: http://ora.ox.ac.uk/objects/uuid:b5d9ccfd-8360-4a2c-ad89-0b4f136c5a96 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.618508.

Council of Science Editors:

Elsner BAM. Presmooth geometries. [Doctoral Dissertation]. University of Oxford; 2014. Available from: http://ora.ox.ac.uk/objects/uuid:b5d9ccfd-8360-4a2c-ad89-0b4f136c5a96 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.618508


University of Oxford

15. Diciolla, Marco. Quantitative verification of real-time properties with application to medical devices.

Degree: PhD, 2014, University of Oxford

 Probabilistic model checking is a powerful technique used to ensure the correct functioning of systems which exhibit real-time and stochastic behaviours. Many such systems are… (more)

Subjects/Keywords: 004; Applications and algorithms; Theory and automated verification; Computing; Algorithms; Verification; Model Checking; Approximation Algorithms; Probability

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Diciolla, M. (2014). Quantitative verification of real-time properties with application to medical devices. (Doctoral Dissertation). University of Oxford. Retrieved from http://ora.ox.ac.uk/objects/uuid:fee320e8-9d4f-4831-a999-f5a1febade36 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.618491

Chicago Manual of Style (16th Edition):

Diciolla, Marco. “Quantitative verification of real-time properties with application to medical devices.” 2014. Doctoral Dissertation, University of Oxford. Accessed July 07, 2020. http://ora.ox.ac.uk/objects/uuid:fee320e8-9d4f-4831-a999-f5a1febade36 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.618491.

MLA Handbook (7th Edition):

Diciolla, Marco. “Quantitative verification of real-time properties with application to medical devices.” 2014. Web. 07 Jul 2020.

Vancouver:

Diciolla M. Quantitative verification of real-time properties with application to medical devices. [Internet] [Doctoral dissertation]. University of Oxford; 2014. [cited 2020 Jul 07]. Available from: http://ora.ox.ac.uk/objects/uuid:fee320e8-9d4f-4831-a999-f5a1febade36 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.618491.

Council of Science Editors:

Diciolla M. Quantitative verification of real-time properties with application to medical devices. [Doctoral Dissertation]. University of Oxford; 2014. Available from: http://ora.ox.ac.uk/objects/uuid:fee320e8-9d4f-4831-a999-f5a1febade36 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.618491


University of Oxford

16. Adams, Sara Elisabeth. Abstraction discovery and refinement for model checking by symbolic trajectory evaluation.

Degree: PhD, 2014, University of Oxford

 This dissertation documents two contributions to automating the formal verification of hardware – particularly memory-intensive circuits – by Symbolic Trajectory Evaluation (STE), a model checking… (more)

Subjects/Keywords: 004.2; Computing; Theory and automated verification; formal verification; symbolic trajectory evaluation; model checking; hardware verification; abstraction

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Adams, S. E. (2014). Abstraction discovery and refinement for model checking by symbolic trajectory evaluation. (Doctoral Dissertation). University of Oxford. Retrieved from http://ora.ox.ac.uk/objects/uuid:27276f9c-eba5-42a9-985d-1812097773f8 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.618507

Chicago Manual of Style (16th Edition):

Adams, Sara Elisabeth. “Abstraction discovery and refinement for model checking by symbolic trajectory evaluation.” 2014. Doctoral Dissertation, University of Oxford. Accessed July 07, 2020. http://ora.ox.ac.uk/objects/uuid:27276f9c-eba5-42a9-985d-1812097773f8 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.618507.

MLA Handbook (7th Edition):

Adams, Sara Elisabeth. “Abstraction discovery and refinement for model checking by symbolic trajectory evaluation.” 2014. Web. 07 Jul 2020.

Vancouver:

Adams SE. Abstraction discovery and refinement for model checking by symbolic trajectory evaluation. [Internet] [Doctoral dissertation]. University of Oxford; 2014. [cited 2020 Jul 07]. Available from: http://ora.ox.ac.uk/objects/uuid:27276f9c-eba5-42a9-985d-1812097773f8 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.618507.

Council of Science Editors:

Adams SE. Abstraction discovery and refinement for model checking by symbolic trajectory evaluation. [Doctoral Dissertation]. University of Oxford; 2014. Available from: http://ora.ox.ac.uk/objects/uuid:27276f9c-eba5-42a9-985d-1812097773f8 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.618507


University of Oxford

17. Evans, Martin A. Multiplicative robust and stochastic MPC with application to wind turbine control.

Degree: PhD, 2014, University of Oxford

 A robust model predictive control algorithm is presented that explicitly handles multiplicative, or parametric, uncertainty in linear discrete models over a finite horizon. The uncertainty… (more)

Subjects/Keywords: 629.8; Control engineering; predictive control; model predictive control; robust control; stochastic MPC; probabilistic control; control theory; wind power; wind turbine control

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Evans, M. A. (2014). Multiplicative robust and stochastic MPC with application to wind turbine control. (Doctoral Dissertation). University of Oxford. Retrieved from http://ora.ox.ac.uk/objects/uuid:0ad9b878-00f3-4cfa-a683-148765e3ae39 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.635233

Chicago Manual of Style (16th Edition):

Evans, Martin A. “Multiplicative robust and stochastic MPC with application to wind turbine control.” 2014. Doctoral Dissertation, University of Oxford. Accessed July 07, 2020. http://ora.ox.ac.uk/objects/uuid:0ad9b878-00f3-4cfa-a683-148765e3ae39 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.635233.

MLA Handbook (7th Edition):

Evans, Martin A. “Multiplicative robust and stochastic MPC with application to wind turbine control.” 2014. Web. 07 Jul 2020.

Vancouver:

Evans MA. Multiplicative robust and stochastic MPC with application to wind turbine control. [Internet] [Doctoral dissertation]. University of Oxford; 2014. [cited 2020 Jul 07]. Available from: http://ora.ox.ac.uk/objects/uuid:0ad9b878-00f3-4cfa-a683-148765e3ae39 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.635233.

Council of Science Editors:

Evans MA. Multiplicative robust and stochastic MPC with application to wind turbine control. [Doctoral Dissertation]. University of Oxford; 2014. Available from: http://ora.ox.ac.uk/objects/uuid:0ad9b878-00f3-4cfa-a683-148765e3ae39 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.635233


University of Oxford

18. Spence, Haden. O-minimality, nonclassical modular functions and diophantine problems.

Degree: PhD, 2018, University of Oxford

 There now exists an abundant collection of conjectures and results, of various complexities, regarding the diophantine properties of Shimura varieties. Two central such statements are… (more)

Subjects/Keywords: Pure Mathematics; Number Theory; Logic; Pila-Wilkie Theorem; Shimura Varieties; Unlikely Intersections; Andre-Oort; O-minimality; Zilber-Pink; Model Theory; Diophantine Problems; Modular Functions

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Spence, H. (2018). O-minimality, nonclassical modular functions and diophantine problems. (Doctoral Dissertation). University of Oxford. Retrieved from http://ora.ox.ac.uk/objects/uuid:38147ede-511d-4c5e-abba-657c2cbfb4f3 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.748942

Chicago Manual of Style (16th Edition):

Spence, Haden. “O-minimality, nonclassical modular functions and diophantine problems.” 2018. Doctoral Dissertation, University of Oxford. Accessed July 07, 2020. http://ora.ox.ac.uk/objects/uuid:38147ede-511d-4c5e-abba-657c2cbfb4f3 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.748942.

MLA Handbook (7th Edition):

Spence, Haden. “O-minimality, nonclassical modular functions and diophantine problems.” 2018. Web. 07 Jul 2020.

Vancouver:

Spence H. O-minimality, nonclassical modular functions and diophantine problems. [Internet] [Doctoral dissertation]. University of Oxford; 2018. [cited 2020 Jul 07]. Available from: http://ora.ox.ac.uk/objects/uuid:38147ede-511d-4c5e-abba-657c2cbfb4f3 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.748942.

Council of Science Editors:

Spence H. O-minimality, nonclassical modular functions and diophantine problems. [Doctoral Dissertation]. University of Oxford; 2018. Available from: http://ora.ox.ac.uk/objects/uuid:38147ede-511d-4c5e-abba-657c2cbfb4f3 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.748942


University of Oxford

19. Fruth, Matthias. Formal methods for the analysis of wireless network protocols.

Degree: PhD, 2011, University of Oxford

 In this thesis, we present novel software technology for the analysis of wireless networks, an emerging area of computer science. To address the widely acknowledged… (more)

Subjects/Keywords: 004.6; Computer science (mathematics); Program development and tools; Theory and automated verification; formal methods; quantitative analysis; probabilistic model checking; wireless network protocols

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Fruth, M. (2011). Formal methods for the analysis of wireless network protocols. (Doctoral Dissertation). University of Oxford. Retrieved from http://ora.ox.ac.uk/objects/uuid:df2c08f4-001c-42d3-a2f4-9922f081fb49 ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.555373

Chicago Manual of Style (16th Edition):

Fruth, Matthias. “Formal methods for the analysis of wireless network protocols.” 2011. Doctoral Dissertation, University of Oxford. Accessed July 07, 2020. http://ora.ox.ac.uk/objects/uuid:df2c08f4-001c-42d3-a2f4-9922f081fb49 ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.555373.

MLA Handbook (7th Edition):

Fruth, Matthias. “Formal methods for the analysis of wireless network protocols.” 2011. Web. 07 Jul 2020.

Vancouver:

Fruth M. Formal methods for the analysis of wireless network protocols. [Internet] [Doctoral dissertation]. University of Oxford; 2011. [cited 2020 Jul 07]. Available from: http://ora.ox.ac.uk/objects/uuid:df2c08f4-001c-42d3-a2f4-9922f081fb49 ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.555373.

Council of Science Editors:

Fruth M. Formal methods for the analysis of wireless network protocols. [Doctoral Dissertation]. University of Oxford; 2011. Available from: http://ora.ox.ac.uk/objects/uuid:df2c08f4-001c-42d3-a2f4-9922f081fb49 ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.555373


University of Oxford

20. Kaiser, Alexander. Monotonicity in shared-memory program verification.

Degree: PhD, 2013, University of Oxford

 Predicate abstraction is a key enabling technology for applying model checkers to programs written in mainstream languages. It has been used very successfully for debugging… (more)

Subjects/Keywords: 005.14; Program development and tools; Scalable systems; Theory and automated verification; Computer science (mathematics); concurrency; parameterized model checking; predicate abstraction; monotonicity; well quasi-ordered systems

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Kaiser, A. (2013). Monotonicity in shared-memory program verification. (Doctoral Dissertation). University of Oxford. Retrieved from http://ora.ox.ac.uk/objects/uuid:1d16b4b5-524a-40db-b7bf-062374f8679c ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.581399

Chicago Manual of Style (16th Edition):

Kaiser, Alexander. “Monotonicity in shared-memory program verification.” 2013. Doctoral Dissertation, University of Oxford. Accessed July 07, 2020. http://ora.ox.ac.uk/objects/uuid:1d16b4b5-524a-40db-b7bf-062374f8679c ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.581399.

MLA Handbook (7th Edition):

Kaiser, Alexander. “Monotonicity in shared-memory program verification.” 2013. Web. 07 Jul 2020.

Vancouver:

Kaiser A. Monotonicity in shared-memory program verification. [Internet] [Doctoral dissertation]. University of Oxford; 2013. [cited 2020 Jul 07]. Available from: http://ora.ox.ac.uk/objects/uuid:1d16b4b5-524a-40db-b7bf-062374f8679c ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.581399.

Council of Science Editors:

Kaiser A. Monotonicity in shared-memory program verification. [Doctoral Dissertation]. University of Oxford; 2013. Available from: http://ora.ox.ac.uk/objects/uuid:1d16b4b5-524a-40db-b7bf-062374f8679c ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.581399


University of Oxford

21. Feng, Lu. On learning assumptions for compositional verification of probabilistic systems.

Degree: PhD, 2014, University of Oxford

 Probabilistic model checking is a powerful formal verification method that can ensure the correctness of real-life systems that exhibit stochastic behaviour. The work presented in… (more)

Subjects/Keywords: 518.28; Computer science (mathematics); Theory and automated verification; Scalable systems; Applications and algorithms; Software engineering; Compositional verification; Computational learning; Assume-guarantee reasoning; Probabilistic model checking

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Feng, L. (2014). On learning assumptions for compositional verification of probabilistic systems. (Doctoral Dissertation). University of Oxford. Retrieved from http://ora.ox.ac.uk/objects/uuid:12502ba2-478f-429a-a250-6590c43a8e8a ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.606259

Chicago Manual of Style (16th Edition):

Feng, Lu. “On learning assumptions for compositional verification of probabilistic systems.” 2014. Doctoral Dissertation, University of Oxford. Accessed July 07, 2020. http://ora.ox.ac.uk/objects/uuid:12502ba2-478f-429a-a250-6590c43a8e8a ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.606259.

MLA Handbook (7th Edition):

Feng, Lu. “On learning assumptions for compositional verification of probabilistic systems.” 2014. Web. 07 Jul 2020.

Vancouver:

Feng L. On learning assumptions for compositional verification of probabilistic systems. [Internet] [Doctoral dissertation]. University of Oxford; 2014. [cited 2020 Jul 07]. Available from: http://ora.ox.ac.uk/objects/uuid:12502ba2-478f-429a-a250-6590c43a8e8a ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.606259.

Council of Science Editors:

Feng L. On learning assumptions for compositional verification of probabilistic systems. [Doctoral Dissertation]. University of Oxford; 2014. Available from: http://ora.ox.ac.uk/objects/uuid:12502ba2-478f-429a-a250-6590c43a8e8a ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.606259


University of Oxford

22. Gehrmann, Jan. Transferable reduced TB models for elemental Si and N and binary Si-N systems.

Degree: PhD, 2013, University of Oxford

 Silicon nitride is a bulk and a coating material exhibiting excellent mechanical properties. The understanding of the complex processes at the nanometre scale gained through… (more)

Subjects/Keywords: 620.1; Materials Sciences; Atomic scale structure and properties; Ceramics; Defect analysis; Materials modelling; Semiconductors; Silicon; Condensed Matter Physics; Condensed matter theory; Silicon nitride; nitrogen; model; transferable; reduced tight-binding; density functional theory; tight binding; bond-order potential; simulation

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Gehrmann, J. (2013). Transferable reduced TB models for elemental Si and N and binary Si-N systems. (Doctoral Dissertation). University of Oxford. Retrieved from http://ora.ox.ac.uk/objects/uuid:002b0c99-0e9d-4d8c-a0dc-ad07383f083f ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.658394

Chicago Manual of Style (16th Edition):

Gehrmann, Jan. “Transferable reduced TB models for elemental Si and N and binary Si-N systems.” 2013. Doctoral Dissertation, University of Oxford. Accessed July 07, 2020. http://ora.ox.ac.uk/objects/uuid:002b0c99-0e9d-4d8c-a0dc-ad07383f083f ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.658394.

MLA Handbook (7th Edition):

Gehrmann, Jan. “Transferable reduced TB models for elemental Si and N and binary Si-N systems.” 2013. Web. 07 Jul 2020.

Vancouver:

Gehrmann J. Transferable reduced TB models for elemental Si and N and binary Si-N systems. [Internet] [Doctoral dissertation]. University of Oxford; 2013. [cited 2020 Jul 07]. Available from: http://ora.ox.ac.uk/objects/uuid:002b0c99-0e9d-4d8c-a0dc-ad07383f083f ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.658394.

Council of Science Editors:

Gehrmann J. Transferable reduced TB models for elemental Si and N and binary Si-N systems. [Doctoral Dissertation]. University of Oxford; 2013. Available from: http://ora.ox.ac.uk/objects/uuid:002b0c99-0e9d-4d8c-a0dc-ad07383f083f ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.658394


University of Oxford

23. Wharton, Elizabeth. The model theory of certain infinite soluble groups.

Degree: PhD, 2006, University of Oxford

 This thesis is concerned with aspects of the model theory of infinite soluble groups. The results proved lie on the border between group theory and… (more)

Subjects/Keywords: 511.34; Mathematics; Group theory and generalizations (mathematics); Mathematical logic and foundations; group theory; model theory; nilpotent groups; polynilpotent groups; soluble groups; wreath products; infinite groups; universal theory; elementary theory; decidability

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Wharton, E. (2006). The model theory of certain infinite soluble groups. (Doctoral Dissertation). University of Oxford. Retrieved from http://ora.ox.ac.uk/objects/uuid:7bd8d05b-4ff6-4326-8463-f896e2862e25 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.432573

Chicago Manual of Style (16th Edition):

Wharton, Elizabeth. “The model theory of certain infinite soluble groups.” 2006. Doctoral Dissertation, University of Oxford. Accessed July 07, 2020. http://ora.ox.ac.uk/objects/uuid:7bd8d05b-4ff6-4326-8463-f896e2862e25 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.432573.

MLA Handbook (7th Edition):

Wharton, Elizabeth. “The model theory of certain infinite soluble groups.” 2006. Web. 07 Jul 2020.

Vancouver:

Wharton E. The model theory of certain infinite soluble groups. [Internet] [Doctoral dissertation]. University of Oxford; 2006. [cited 2020 Jul 07]. Available from: http://ora.ox.ac.uk/objects/uuid:7bd8d05b-4ff6-4326-8463-f896e2862e25 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.432573.

Council of Science Editors:

Wharton E. The model theory of certain infinite soluble groups. [Doctoral Dissertation]. University of Oxford; 2006. Available from: http://ora.ox.ac.uk/objects/uuid:7bd8d05b-4ff6-4326-8463-f896e2862e25 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.432573


University of Oxford

24. Kattenbelt, Mark Alex. Automated quantitative software verification.

Degree: PhD, 2010, University of Oxford

 Many software systems exhibit probabilistic behaviour, either added explicitly, to improve performance or to break symmetry, or implicitly, through interaction with unreliable networks or faulty… (more)

Subjects/Keywords: 005.3; Theory and automated verification; model checking; quantitative; verification; software; formal methods; formal verification; software verification

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Kattenbelt, M. A. (2010). Automated quantitative software verification. (Doctoral Dissertation). University of Oxford. Retrieved from http://ora.ox.ac.uk/objects/uuid:62430df4-7fdf-4c4f-b3cd-97ba8912c9f5 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.540281

Chicago Manual of Style (16th Edition):

Kattenbelt, Mark Alex. “Automated quantitative software verification.” 2010. Doctoral Dissertation, University of Oxford. Accessed July 07, 2020. http://ora.ox.ac.uk/objects/uuid:62430df4-7fdf-4c4f-b3cd-97ba8912c9f5 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.540281.

MLA Handbook (7th Edition):

Kattenbelt, Mark Alex. “Automated quantitative software verification.” 2010. Web. 07 Jul 2020.

Vancouver:

Kattenbelt MA. Automated quantitative software verification. [Internet] [Doctoral dissertation]. University of Oxford; 2010. [cited 2020 Jul 07]. Available from: http://ora.ox.ac.uk/objects/uuid:62430df4-7fdf-4c4f-b3cd-97ba8912c9f5 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.540281.

Council of Science Editors:

Kattenbelt MA. Automated quantitative software verification. [Doctoral Dissertation]. University of Oxford; 2010. Available from: http://ora.ox.ac.uk/objects/uuid:62430df4-7fdf-4c4f-b3cd-97ba8912c9f5 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.540281


University of Oxford

25. Hieronymi, Philipp Christian Karl. The real field with an irrational power function and a dense multiplicative subgroup.

Degree: PhD, 2008, University of Oxford

 In recent years the field of real numbers expanded by a multiplicative subgroup has been studied extensively. In this thesis, the known results will be… (more)

Subjects/Keywords: 512.786; Mathematics; Mathematical logic and foundations; O-minimality; Power Function; Model Theory; Diophantine Approximation; Schanuel's Conjecture

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Hieronymi, P. C. K. (2008). The real field with an irrational power function and a dense multiplicative subgroup. (Doctoral Dissertation). University of Oxford. Retrieved from http://ora.ox.ac.uk/objects/uuid:2f9733a2-d8d7-4ec3-aeff-a1653e971817 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.490071

Chicago Manual of Style (16th Edition):

Hieronymi, Philipp Christian Karl. “The real field with an irrational power function and a dense multiplicative subgroup.” 2008. Doctoral Dissertation, University of Oxford. Accessed July 07, 2020. http://ora.ox.ac.uk/objects/uuid:2f9733a2-d8d7-4ec3-aeff-a1653e971817 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.490071.

MLA Handbook (7th Edition):

Hieronymi, Philipp Christian Karl. “The real field with an irrational power function and a dense multiplicative subgroup.” 2008. Web. 07 Jul 2020.

Vancouver:

Hieronymi PCK. The real field with an irrational power function and a dense multiplicative subgroup. [Internet] [Doctoral dissertation]. University of Oxford; 2008. [cited 2020 Jul 07]. Available from: http://ora.ox.ac.uk/objects/uuid:2f9733a2-d8d7-4ec3-aeff-a1653e971817 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.490071.

Council of Science Editors:

Hieronymi PCK. The real field with an irrational power function and a dense multiplicative subgroup. [Doctoral Dissertation]. University of Oxford; 2008. Available from: http://ora.ox.ac.uk/objects/uuid:2f9733a2-d8d7-4ec3-aeff-a1653e971817 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.490071


University of Oxford

26. Cherif, Alhaji. Mathematical evolutionary epidemiology : limited epitopes, evolution of strain structures and age-specificity.

Degree: PhD, 2015, University of Oxford

 We investigate the biological constraints determined by the complex relationships between ecological and immunological processes of host-pathogen interactions, with emphasis on influenza viruses in human,… (more)

Subjects/Keywords: 616.2; Mathematics; Biology; Disease (zoology); Ecology (zoology); Evolution (zoology); Biology and other natural sciences (mathematics); Dynamical systems and ergodic theory (mathematics); Functional analysis (mathematics); Mathematical biology; Ordinary differential equations; Partial differential equations; Infectious diseases; Epidemiology; antigenic variation; strain structure; influenza; age-structured model; age-specificity

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Cherif, A. (2015). Mathematical evolutionary epidemiology : limited epitopes, evolution of strain structures and age-specificity. (Doctoral Dissertation). University of Oxford. Retrieved from http://ora.ox.ac.uk/objects/uuid:28dec0f4-e6da-466a-905c-d875f132415e ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.680422

Chicago Manual of Style (16th Edition):

Cherif, Alhaji. “Mathematical evolutionary epidemiology : limited epitopes, evolution of strain structures and age-specificity.” 2015. Doctoral Dissertation, University of Oxford. Accessed July 07, 2020. http://ora.ox.ac.uk/objects/uuid:28dec0f4-e6da-466a-905c-d875f132415e ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.680422.

MLA Handbook (7th Edition):

Cherif, Alhaji. “Mathematical evolutionary epidemiology : limited epitopes, evolution of strain structures and age-specificity.” 2015. Web. 07 Jul 2020.

Vancouver:

Cherif A. Mathematical evolutionary epidemiology : limited epitopes, evolution of strain structures and age-specificity. [Internet] [Doctoral dissertation]. University of Oxford; 2015. [cited 2020 Jul 07]. Available from: http://ora.ox.ac.uk/objects/uuid:28dec0f4-e6da-466a-905c-d875f132415e ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.680422.

Council of Science Editors:

Cherif A. Mathematical evolutionary epidemiology : limited epitopes, evolution of strain structures and age-specificity. [Doctoral Dissertation]. University of Oxford; 2015. Available from: http://ora.ox.ac.uk/objects/uuid:28dec0f4-e6da-466a-905c-d875f132415e ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.680422


University of Oxford

27. Rosser, Gabriel A. Mathematical modelling and analysis of aspects of bacterial motility.

Degree: PhD, 2012, University of Oxford

 The motile behaviour of bacteria underlies many important aspects of their actions, including pathogenicity, foraging efficiency, and ability to form biofilms. In this thesis, we… (more)

Subjects/Keywords: 579.3; Life Sciences; Mathematics; Biology and other natural sciences (mathematics); Mathematical biology; Probability theory and stochastic processes; Microscopy; Biophysics; Stochastic processes; bacterial chemotaxis; bacterial motility; mathematical ecology; tracking; hidden markov model; velocity jump process; correlated random walk

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Rosser, G. A. (2012). Mathematical modelling and analysis of aspects of bacterial motility. (Doctoral Dissertation). University of Oxford. Retrieved from http://ora.ox.ac.uk/objects/uuid:1af98367-aa2f-4af3-9344-8c361311b553 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.647522

Chicago Manual of Style (16th Edition):

Rosser, Gabriel A. “Mathematical modelling and analysis of aspects of bacterial motility.” 2012. Doctoral Dissertation, University of Oxford. Accessed July 07, 2020. http://ora.ox.ac.uk/objects/uuid:1af98367-aa2f-4af3-9344-8c361311b553 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.647522.

MLA Handbook (7th Edition):

Rosser, Gabriel A. “Mathematical modelling and analysis of aspects of bacterial motility.” 2012. Web. 07 Jul 2020.

Vancouver:

Rosser GA. Mathematical modelling and analysis of aspects of bacterial motility. [Internet] [Doctoral dissertation]. University of Oxford; 2012. [cited 2020 Jul 07]. Available from: http://ora.ox.ac.uk/objects/uuid:1af98367-aa2f-4af3-9344-8c361311b553 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.647522.

Council of Science Editors:

Rosser GA. Mathematical modelling and analysis of aspects of bacterial motility. [Doctoral Dissertation]. University of Oxford; 2012. Available from: http://ora.ox.ac.uk/objects/uuid:1af98367-aa2f-4af3-9344-8c361311b553 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.647522


University of Oxford

28. Palikareva, Hristina. Techniques and tools for the verification of concurrent systems.

Degree: PhD, 2012, University of Oxford

Model checking is an automatic formal verification technique for establishing correctness of systems. It has been widely used in industry for analysing and verifying complex… (more)

Subjects/Keywords: 004.35; Theory and automated verification; Communicating Sequential Processing (CSP); Program development and tools; Mathematical logic and foundations; automated verification; model checking; concurrency; process algebra; symbolic techniques; static analysis; livelock; abstraction; tools

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Palikareva, H. (2012). Techniques and tools for the verification of concurrent systems. (Doctoral Dissertation). University of Oxford. Retrieved from http://ora.ox.ac.uk/objects/uuid:fc2028e1-2a45-459a-afdd-70001893f3d8 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.581031

Chicago Manual of Style (16th Edition):

Palikareva, Hristina. “Techniques and tools for the verification of concurrent systems.” 2012. Doctoral Dissertation, University of Oxford. Accessed July 07, 2020. http://ora.ox.ac.uk/objects/uuid:fc2028e1-2a45-459a-afdd-70001893f3d8 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.581031.

MLA Handbook (7th Edition):

Palikareva, Hristina. “Techniques and tools for the verification of concurrent systems.” 2012. Web. 07 Jul 2020.

Vancouver:

Palikareva H. Techniques and tools for the verification of concurrent systems. [Internet] [Doctoral dissertation]. University of Oxford; 2012. [cited 2020 Jul 07]. Available from: http://ora.ox.ac.uk/objects/uuid:fc2028e1-2a45-459a-afdd-70001893f3d8 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.581031.

Council of Science Editors:

Palikareva H. Techniques and tools for the verification of concurrent systems. [Doctoral Dissertation]. University of Oxford; 2012. Available from: http://ora.ox.ac.uk/objects/uuid:fc2028e1-2a45-459a-afdd-70001893f3d8 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.581031


University of Oxford

29. Kochems, Jonathan Antonius. Verification of asynchronous concurrency and the shaped stack constraint.

Degree: PhD, 2014, University of Oxford

 In this dissertation, we study the verification of concurrent programs written in the programming language Erlang using infinite-state model-checking. Erlang is a widely used, higher… (more)

Subjects/Keywords: 005.1; Computer science (mathematics); Computing; Theory and automated verification; Applications and algorithms; Concurrent Pushdown Systems; Asynchronous Message Passing; Verification; Infinite-State Model-Checking; Petri Nets; Well-Structured Transition Systems; Erlang; Infinite-State Systems Verification

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Kochems, J. A. (2014). Verification of asynchronous concurrency and the shaped stack constraint. (Doctoral Dissertation). University of Oxford. Retrieved from http://ora.ox.ac.uk/objects/uuid:cd487639-0e7f-4248-9405-e05e8a8383d5 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.664795

Chicago Manual of Style (16th Edition):

Kochems, Jonathan Antonius. “Verification of asynchronous concurrency and the shaped stack constraint.” 2014. Doctoral Dissertation, University of Oxford. Accessed July 07, 2020. http://ora.ox.ac.uk/objects/uuid:cd487639-0e7f-4248-9405-e05e8a8383d5 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.664795.

MLA Handbook (7th Edition):

Kochems, Jonathan Antonius. “Verification of asynchronous concurrency and the shaped stack constraint.” 2014. Web. 07 Jul 2020.

Vancouver:

Kochems JA. Verification of asynchronous concurrency and the shaped stack constraint. [Internet] [Doctoral dissertation]. University of Oxford; 2014. [cited 2020 Jul 07]. Available from: http://ora.ox.ac.uk/objects/uuid:cd487639-0e7f-4248-9405-e05e8a8383d5 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.664795.

Council of Science Editors:

Kochems JA. Verification of asynchronous concurrency and the shaped stack constraint. [Doctoral Dissertation]. University of Oxford; 2014. Available from: http://ora.ox.ac.uk/objects/uuid:cd487639-0e7f-4248-9405-e05e8a8383d5 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.664795


University of Oxford

30. Angoshtari, Bahman. Stochastic modeling and methods for portfolio management in cointegrated markets.

Degree: PhD, 2014, University of Oxford

 In this thesis we study the utility maximization problem for assets whose prices are cointegrated, which arises from the investment practice of convergence trading and… (more)

Subjects/Keywords: 332.63; Mathematical finance; Calculus of variations and optimal control; Probability theory and stochastic processes; Econometrics; convergence trading; pairs trading; market neutrality; expected utility; cointegration; error correction model; well posedness; Riccati equation; proportional transaction costs; penalty method

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Angoshtari, B. (2014). Stochastic modeling and methods for portfolio management in cointegrated markets. (Doctoral Dissertation). University of Oxford. Retrieved from http://ora.ox.ac.uk/objects/uuid:1ae9236c-4bf0-4d9b-a694-f08e1b8713c0 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.596012

Chicago Manual of Style (16th Edition):

Angoshtari, Bahman. “Stochastic modeling and methods for portfolio management in cointegrated markets.” 2014. Doctoral Dissertation, University of Oxford. Accessed July 07, 2020. http://ora.ox.ac.uk/objects/uuid:1ae9236c-4bf0-4d9b-a694-f08e1b8713c0 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.596012.

MLA Handbook (7th Edition):

Angoshtari, Bahman. “Stochastic modeling and methods for portfolio management in cointegrated markets.” 2014. Web. 07 Jul 2020.

Vancouver:

Angoshtari B. Stochastic modeling and methods for portfolio management in cointegrated markets. [Internet] [Doctoral dissertation]. University of Oxford; 2014. [cited 2020 Jul 07]. Available from: http://ora.ox.ac.uk/objects/uuid:1ae9236c-4bf0-4d9b-a694-f08e1b8713c0 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.596012.

Council of Science Editors:

Angoshtari B. Stochastic modeling and methods for portfolio management in cointegrated markets. [Doctoral Dissertation]. University of Oxford; 2014. Available from: http://ora.ox.ac.uk/objects/uuid:1ae9236c-4bf0-4d9b-a694-f08e1b8713c0 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.596012

[1] [2]

.