Advanced search options

Sorted by: relevance · author · university · date | New search

University: University of Oxford ^{❌}

You searched for `subject:(Model Theory)`

.
Showing records 1 – 30 of
37 total matches.

▼ Search Limiters

University of Oxford

1.
Williamson, Richard David.
Categorical *model* structures.

Degree: PhD, 2011, University of Oxford

URL: http://ora.ox.ac.uk/objects/uuid:466f4700-7cbf-401c-b0b7-9399b4c840df ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.580907

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 Details Similar Records

❌

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

APA (6^{th} 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 (16^{th} 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 (7^{th} 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

URL: http://ora.ox.ac.uk/objects/uuid:30be3aee-ba9b-4417-9b00-ee26a6bd67c5 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.627806

► This thesis contributes with a number of topics to the *subject* of string compactifications, especially in the instance of the E_{8} × E_{8} heterotic string…
(more)

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

Record Details Similar Records

❌

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

APA (6^{th} 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 (16^{th} 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 (7^{th} 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

URL: http://ora.ox.ac.uk/objects/uuid:65eec6d9-457d-4673-80de-6413865a6a46 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.581039

► 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 Details Similar Records

❌

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

APA (6^{th} 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 (16^{th} 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 (7^{th} 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

URL: http://ora.ox.ac.uk/objects/uuid:95b8f301-bb8b-42d9-9b63-46580424e515 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.596025

► 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 Details Similar Records

❌

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

APA (6^{th} 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 (16^{th} 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 (7^{th} 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

URL: http://ora.ox.ac.uk/objects/uuid:b47d1dda-8186-4c81-876c-359409f45b97 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.588404

► 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 Details Similar Records

❌

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

APA (6^{th} 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 (16^{th} 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 (7^{th} 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

URL: http://ora.ox.ac.uk/objects/uuid:46b7bc70-3dfe-476e-92e7-245b7629ae4e ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.596036

► 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 Details Similar Records

❌

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

APA (6^{th} 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 (16^{th} 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 (7^{th} 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

URL: https://ora.ox.ac.uk/objects/uuid:bced8c2d-22df-4a21-9a1f-5e4204b6c85d ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.729553

► 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 Details Similar Records

❌

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

APA (6^{th} 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 (16^{th} 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 (7^{th} 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

URL: https://ora.ox.ac.uk/objects/uuid:970c6e71-371f-442f-94c9-8f1fffc8a4f7 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.729279

► 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 Details Similar Records

❌

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

APA (6^{th} 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 (16^{th} 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 (7^{th} 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

URL: https://ora.ox.ac.uk/objects/uuid:4c4df19a-9bab-43c4-a845-ae170868913f ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.711944

► 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 Details Similar Records

❌

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

APA (6^{th} 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 (16^{th} 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 (7^{th} 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

URL: http://ora.ox.ac.uk/objects/uuid:240bd517-1582-45f9-86c3-eb30f85757de ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.640027

► 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 Details Similar Records

❌

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

APA (6^{th} 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 (16^{th} 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 (7^{th} 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

URL: http://ora.ox.ac.uk/objects/uuid:b67f85d8-6fac-4820-913d-a064d3582412 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.581011

► 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 Details Similar Records

❌

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

APA (6^{th} 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 (16^{th} 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 (7^{th} 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

URL: http://ora.ox.ac.uk/objects/uuid:6694fac7-00b4-4b25-b054-813d7a6a4cdb ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.533835

► 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 Details Similar Records

❌

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

APA (6^{th} 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 (16^{th} 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 (7^{th} 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

URL: http://ora.ox.ac.uk/objects/uuid:60b2d507-153f-4119-a888-56ccd47c3752 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.711709

► 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 Details Similar Records

❌

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

APA (6^{th} 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 (16^{th} 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 (7^{th} 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

URL: http://ora.ox.ac.uk/objects/uuid:b5d9ccfd-8360-4a2c-ad89-0b4f136c5a96 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.618508

► 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 Details Similar Records

❌

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

APA (6^{th} 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 (16^{th} 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 (7^{th} 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

URL: http://ora.ox.ac.uk/objects/uuid:fee320e8-9d4f-4831-a999-f5a1febade36 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.618491

► 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 Details Similar Records

❌

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

APA (6^{th} 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 (16^{th} 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 (7^{th} 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

URL: http://ora.ox.ac.uk/objects/uuid:27276f9c-eba5-42a9-985d-1812097773f8 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.618507

► 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 Details Similar Records

❌

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

APA (6^{th} 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 (16^{th} 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 (7^{th} 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

URL: http://ora.ox.ac.uk/objects/uuid:0ad9b878-00f3-4cfa-a683-148765e3ae39 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.635233

► 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 Details Similar Records

❌

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

APA (6^{th} 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 (16^{th} 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 (7^{th} 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

URL: http://ora.ox.ac.uk/objects/uuid:38147ede-511d-4c5e-abba-657c2cbfb4f3 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.748942

► 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 Details Similar Records

❌

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

APA (6^{th} 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 (16^{th} 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 (7^{th} 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

URL: http://ora.ox.ac.uk/objects/uuid:df2c08f4-001c-42d3-a2f4-9922f081fb49 ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.555373

► 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 Details Similar Records

❌

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

APA (6^{th} 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 (16^{th} 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 (7^{th} 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

URL: http://ora.ox.ac.uk/objects/uuid:1d16b4b5-524a-40db-b7bf-062374f8679c ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.581399

► 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 Details Similar Records

❌

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

APA (6^{th} 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 (16^{th} 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 (7^{th} 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

URL: http://ora.ox.ac.uk/objects/uuid:12502ba2-478f-429a-a250-6590c43a8e8a ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.606259

► 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 Details Similar Records

❌

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

APA (6^{th} 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 (16^{th} 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 (7^{th} 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

URL: http://ora.ox.ac.uk/objects/uuid:002b0c99-0e9d-4d8c-a0dc-ad07383f083f ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.658394

► 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 Details Similar Records

❌

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

APA (6^{th} 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 (16^{th} 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 (7^{th} 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

URL: http://ora.ox.ac.uk/objects/uuid:7bd8d05b-4ff6-4326-8463-f896e2862e25 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.432573

► 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 Details Similar Records

❌

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

APA (6^{th} 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 (16^{th} 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 (7^{th} 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

URL: http://ora.ox.ac.uk/objects/uuid:62430df4-7fdf-4c4f-b3cd-97ba8912c9f5 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.540281

► 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 Details Similar Records

❌

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

APA (6^{th} 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 (16^{th} 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 (7^{th} 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

URL: http://ora.ox.ac.uk/objects/uuid:2f9733a2-d8d7-4ec3-aeff-a1653e971817 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.490071

► 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 Details Similar Records

❌

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

APA (6^{th} 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 (16^{th} 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 (7^{th} 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

URL: http://ora.ox.ac.uk/objects/uuid:28dec0f4-e6da-466a-905c-d875f132415e ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.680422

► 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 Details Similar Records

❌

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

APA (6^{th} 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 (16^{th} 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 (7^{th} 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

URL: http://ora.ox.ac.uk/objects/uuid:1af98367-aa2f-4af3-9344-8c361311b553 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.647522

► 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 Details Similar Records

❌

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

APA (6^{th} 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 (16^{th} 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 (7^{th} 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

URL: http://ora.ox.ac.uk/objects/uuid:fc2028e1-2a45-459a-afdd-70001893f3d8 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.581031

► *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 Details Similar Records

❌

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

APA (6^{th} 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 (16^{th} 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 (7^{th} 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

URL: http://ora.ox.ac.uk/objects/uuid:cd487639-0e7f-4248-9405-e05e8a8383d5 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.664795

► 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 Details Similar Records

❌

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

APA (6^{th} 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 (16^{th} 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 (7^{th} 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

URL: http://ora.ox.ac.uk/objects/uuid:1ae9236c-4bf0-4d9b-a694-f08e1b8713c0 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.596012

► 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 Details Similar Records

❌

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

APA (6^{th} 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 (16^{th} 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 (7^{th} 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