Advanced search options

Advanced Search Options 🞨

Browse by author name (“Author name starts with…”).

Find ETDs with:

in
/  
in
/  
in
/  
in

Written in Published in Earliest date Latest date

Sorted by

Results per page:

Sorted by: relevance · author · university · dateNew search

You searched for subject:(Church Synthesis). Showing records 1 – 2 of 2 total matches.

Search Limiters

Last 2 Years | English Only

No search limiters apply to these results.

▼ Search Limiters


University of Oxford

1. Jenkins, Mark Daniel. Synthesis and alternating automata over real time.

Degree: PhD, 2012, University of Oxford

Alternating timed automata are a powerful extension of classical Alur-Dill timed automata that are closed under all Boolean operations. They have played a key role, among others, in providing verification algorithms for prominent specification formalisms such as Metric Temporal Logic. Unfortunately, when interpreted over an infinite dense time domain (such as the reals), alternating timed automata have an undecidable language emptiness problem. In this thesis we consider restrictions on this model that restore the decidability of the language emptiness problem. We consider the restricted class of safety alternating timed automata, which can encode a corresponding Safety fragment of Metric Temporal Logic. This thesis connects these two formalisms with insertion channel machines, a model of faulty communication, and demonstrates that the three formalisms are interreducible. We thus prove a non-elementary lower bound for the language emptiness problem for 1-clock safety alternating timed automata and further obtain a new proof of decidability for this problem. Complementing the restriction to safety properties, we consider interpreting the automata over bounded dense time domains. We prove that the time-bounded language emptiness problem is decidable but non-elementary for unrestricted alternating timed automata. The language emptiness problem for alternating timed automata is a special case of a much more general and abstract logical problem: Church's synthesis problem. Given a logical specification S(I,O), Church's problem is to determine whether there exists an operator F that implements the specification in the sense that S(I,F(I)) holds for all inputs I. It is a classical result that the synthesis problem is decidable in the case that the specification and implementation are given in monadic second-order logic over the naturals. We prove that this decidability extends to MSO over the reals with order and furthermore to MSO over every fixed bounded interval of the reals with order and the +1 relation.

Subjects/Keywords: 004; Computing; Theory and automated verification; Mathematical logic and foundations; Computer science (mathematics); Alternating Timed Automata; Real-time verification; Church Synthesis; Metric Temporal Logic; Channel Machines

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Jenkins, M. D. (2012). Synthesis and alternating automata over real time. (Doctoral Dissertation). University of Oxford. Retrieved from http://ora.ox.ac.uk/objects/uuid:f37ccc5f-8ed6-4b00-b9e3-28c4bb4ec60a ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.581018

Chicago Manual of Style (16th Edition):

Jenkins, Mark Daniel. “Synthesis and alternating automata over real time.” 2012. Doctoral Dissertation, University of Oxford. Accessed July 21, 2019. http://ora.ox.ac.uk/objects/uuid:f37ccc5f-8ed6-4b00-b9e3-28c4bb4ec60a ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.581018.

MLA Handbook (7th Edition):

Jenkins, Mark Daniel. “Synthesis and alternating automata over real time.” 2012. Web. 21 Jul 2019.

Vancouver:

Jenkins MD. Synthesis and alternating automata over real time. [Internet] [Doctoral dissertation]. University of Oxford; 2012. [cited 2019 Jul 21]. Available from: http://ora.ox.ac.uk/objects/uuid:f37ccc5f-8ed6-4b00-b9e3-28c4bb4ec60a ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.581018.

Council of Science Editors:

Jenkins MD. Synthesis and alternating automata over real time. [Doctoral Dissertation]. University of Oxford; 2012. Available from: http://ora.ox.ac.uk/objects/uuid:f37ccc5f-8ed6-4b00-b9e3-28c4bb4ec60a ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.581018


University of South Africa

2. Klotz, Monika. Bibelauslegung im Spannungsfeld von Methodenvielfalt und Eindeutigkeitsbestreben - Dargestellt, Untersucht und Gewertet unter Zuhilfenahme der Wirkungsgeschichte von Lukas 10,25-37 = Bible interpretation between methodological pluralityand the clarity of the text - described, examined and assessed with reference to the history of interpretation of Luke 10:25-37 .

Degree: 2009, University of South Africa

Taking the plurality of methods in Biblical studies as starting point this dissertation shows a way to coherent interpretation message. An analysis of the current state and its long history identifies characteristics preventing clear interpretation results as well as ways to work out coherent interpretation messages. It is accompanied by five interpretations of Luke 10:25-37. An interdisciplinary excursus examines the legal interpretation with its claim of clarity. Three levels of interpretation are considered as essential for an adequate process of interpretation: 1. Clarification of the literal meaning on the basis of a historical exegesis. The author calls for the interdisciplinary cooperation of the methods and introduces a synthesis of methods. 2. Consideration of the reception history of texts. Special attention is given to the authority of interpretation in the Roman Catholic Church. The author regards "interpretive communities" as an alternative option. 3. The Holy Spirit's influence on the process of interpretation. Also in post-modern times interpreters need to "inhabit" the biblical texts. Advisors/Committee Members: Stenschke, C (advisor), Van Heever, G (advisor).

Subjects/Keywords: Hermeneutics; Plurality of methods in biblical interpretation; Discussion of methods in biblical interpretation; History of biblical interpretation; History of reception of the Bible; Luke 10:25-37; "Good Samaritan"; Relativity of meaning; Synthesis of methods in biblical studies; Teaching office of the Church/magisterium; Interpretive communities

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Klotz, M. (2009). Bibelauslegung im Spannungsfeld von Methodenvielfalt und Eindeutigkeitsbestreben - Dargestellt, Untersucht und Gewertet unter Zuhilfenahme der Wirkungsgeschichte von Lukas 10,25-37 = Bible interpretation between methodological pluralityand the clarity of the text - described, examined and assessed with reference to the history of interpretation of Luke 10:25-37 . (Masters Thesis). University of South Africa. Retrieved from http://hdl.handle.net/10500/1337

Chicago Manual of Style (16th Edition):

Klotz, Monika. “Bibelauslegung im Spannungsfeld von Methodenvielfalt und Eindeutigkeitsbestreben - Dargestellt, Untersucht und Gewertet unter Zuhilfenahme der Wirkungsgeschichte von Lukas 10,25-37 = Bible interpretation between methodological pluralityand the clarity of the text - described, examined and assessed with reference to the history of interpretation of Luke 10:25-37 .” 2009. Masters Thesis, University of South Africa. Accessed July 21, 2019. http://hdl.handle.net/10500/1337.

MLA Handbook (7th Edition):

Klotz, Monika. “Bibelauslegung im Spannungsfeld von Methodenvielfalt und Eindeutigkeitsbestreben - Dargestellt, Untersucht und Gewertet unter Zuhilfenahme der Wirkungsgeschichte von Lukas 10,25-37 = Bible interpretation between methodological pluralityand the clarity of the text - described, examined and assessed with reference to the history of interpretation of Luke 10:25-37 .” 2009. Web. 21 Jul 2019.

Vancouver:

Klotz M. Bibelauslegung im Spannungsfeld von Methodenvielfalt und Eindeutigkeitsbestreben - Dargestellt, Untersucht und Gewertet unter Zuhilfenahme der Wirkungsgeschichte von Lukas 10,25-37 = Bible interpretation between methodological pluralityand the clarity of the text - described, examined and assessed with reference to the history of interpretation of Luke 10:25-37 . [Internet] [Masters thesis]. University of South Africa; 2009. [cited 2019 Jul 21]. Available from: http://hdl.handle.net/10500/1337.

Council of Science Editors:

Klotz M. Bibelauslegung im Spannungsfeld von Methodenvielfalt und Eindeutigkeitsbestreben - Dargestellt, Untersucht und Gewertet unter Zuhilfenahme der Wirkungsgeschichte von Lukas 10,25-37 = Bible interpretation between methodological pluralityand the clarity of the text - described, examined and assessed with reference to the history of interpretation of Luke 10:25-37 . [Masters Thesis]. University of South Africa; 2009. Available from: http://hdl.handle.net/10500/1337

.