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:(Program development AND tools). Showing records 1 – 30 of 216 total matches.

[1] [2] [3] [4] [5] [6] [7] [8]

Search Limiters

Last 2 Years | English Only

Degrees

Levels

Languages

Country

▼ Search Limiters


University of Oxford

1. Cartey, Luke. Domain-specific languages for massively parallel processors.

Degree: PhD, 2013, University of Oxford

 Massively Parallel Processors provide significantly higher peak performance figures than other forms of general purpose processors. However, this comes at a cost to the developer,… (more)

Subjects/Keywords: 005.1; Program development and tools; Bioinformatics (technology); graphics cards; domain-specific languages; bioinformatics; program analysis

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Cartey, L. (2013). Domain-specific languages for massively parallel processors. (Doctoral Dissertation). University of Oxford. Retrieved from http://ora.ox.ac.uk/objects/uuid:60f1aa3d-ba7f-4a8e-9671-d5dadb5f6e2c ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.618387

Chicago Manual of Style (16th Edition):

Cartey, Luke. “Domain-specific languages for massively parallel processors.” 2013. Doctoral Dissertation, University of Oxford. Accessed January 18, 2020. http://ora.ox.ac.uk/objects/uuid:60f1aa3d-ba7f-4a8e-9671-d5dadb5f6e2c ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.618387.

MLA Handbook (7th Edition):

Cartey, Luke. “Domain-specific languages for massively parallel processors.” 2013. Web. 18 Jan 2020.

Vancouver:

Cartey L. Domain-specific languages for massively parallel processors. [Internet] [Doctoral dissertation]. University of Oxford; 2013. [cited 2020 Jan 18]. Available from: http://ora.ox.ac.uk/objects/uuid:60f1aa3d-ba7f-4a8e-9671-d5dadb5f6e2c ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.618387.

Council of Science Editors:

Cartey L. Domain-specific languages for massively parallel processors. [Doctoral Dissertation]. University of Oxford; 2013. Available from: http://ora.ox.ac.uk/objects/uuid:60f1aa3d-ba7f-4a8e-9671-d5dadb5f6e2c ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.618387


University of Oxford

2. Coutts, Duncan. Stream fusion : practical shortcut fusion for coinductive sequence types.

Degree: PhD, 2011, University of Oxford

 In functional programming it is common practice to build modular programs by composing functions where the intermediate values are data structures such as lists or… (more)

Subjects/Keywords: 005.114; Computer science (mathematics); Computing; Program development and tools; functional programming; program fusion; deforestation; program optimisation; program transformation

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Coutts, D. (2011). Stream fusion : practical shortcut fusion for coinductive sequence types. (Doctoral Dissertation). University of Oxford. Retrieved from http://ora.ox.ac.uk/objects/uuid:b4971f57-2b94-4fdf-a5c0-98d6935a44da ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.572593

Chicago Manual of Style (16th Edition):

Coutts, Duncan. “Stream fusion : practical shortcut fusion for coinductive sequence types.” 2011. Doctoral Dissertation, University of Oxford. Accessed January 18, 2020. http://ora.ox.ac.uk/objects/uuid:b4971f57-2b94-4fdf-a5c0-98d6935a44da ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.572593.

MLA Handbook (7th Edition):

Coutts, Duncan. “Stream fusion : practical shortcut fusion for coinductive sequence types.” 2011. Web. 18 Jan 2020.

Vancouver:

Coutts D. Stream fusion : practical shortcut fusion for coinductive sequence types. [Internet] [Doctoral dissertation]. University of Oxford; 2011. [cited 2020 Jan 18]. Available from: http://ora.ox.ac.uk/objects/uuid:b4971f57-2b94-4fdf-a5c0-98d6935a44da ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.572593.

Council of Science Editors:

Coutts D. Stream fusion : practical shortcut fusion for coinductive sequence types. [Doctoral Dissertation]. University of Oxford; 2011. Available from: http://ora.ox.ac.uk/objects/uuid:b4971f57-2b94-4fdf-a5c0-98d6935a44da ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.572593


University of Oxford

3. Schaefer, Max. Specification, implementation and verification of refactorings.

Degree: PhD, 2010, University of Oxford

 Refactoring is the process of reorganising or restructuring code by means of behaviour-preserving program transformations, themselves called refactorings. Most modern development environments come with built-in… (more)

Subjects/Keywords: 005.1; Program development and tools; refactoring; name analysis; attribute grammars; language extensions; verification of refactorings

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Schaefer, M. (2010). Specification, implementation and verification of refactorings. (Doctoral Dissertation). University of Oxford. Retrieved from http://ora.ox.ac.uk/objects/uuid:1a027679-1e2b-4fb5-a6ff-3270f15154a1 ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.580861

Chicago Manual of Style (16th Edition):

Schaefer, Max. “Specification, implementation and verification of refactorings.” 2010. Doctoral Dissertation, University of Oxford. Accessed January 18, 2020. http://ora.ox.ac.uk/objects/uuid:1a027679-1e2b-4fb5-a6ff-3270f15154a1 ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.580861.

MLA Handbook (7th Edition):

Schaefer, Max. “Specification, implementation and verification of refactorings.” 2010. Web. 18 Jan 2020.

Vancouver:

Schaefer M. Specification, implementation and verification of refactorings. [Internet] [Doctoral dissertation]. University of Oxford; 2010. [cited 2020 Jan 18]. Available from: http://ora.ox.ac.uk/objects/uuid:1a027679-1e2b-4fb5-a6ff-3270f15154a1 ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.580861.

Council of Science Editors:

Schaefer M. Specification, implementation and verification of refactorings. [Doctoral Dissertation]. University of Oxford; 2010. Available from: http://ora.ox.ac.uk/objects/uuid:1a027679-1e2b-4fb5-a6ff-3270f15154a1 ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.580861


University of Oxford

4. Cheng, Wang. AMBER : a domain-aware template based system for data extraction.

Degree: PhD, 2015, University of Oxford

 The web is the greatest information source in human history, yet finding all offers for flats with gardens in London, Paris, and Berlin or all… (more)

Subjects/Keywords: 006.3; Applications and algorithms; Program development and tools; data extraction; web extraction; result page analysis

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Cheng, W. (2015). AMBER : a domain-aware template based system for data extraction. (Doctoral Dissertation). University of Oxford. Retrieved from http://ora.ox.ac.uk/objects/uuid:ff49d786-bfd8-4cd4-a69c-19e81cb95920 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.667031

Chicago Manual of Style (16th Edition):

Cheng, Wang. “AMBER : a domain-aware template based system for data extraction.” 2015. Doctoral Dissertation, University of Oxford. Accessed January 18, 2020. http://ora.ox.ac.uk/objects/uuid:ff49d786-bfd8-4cd4-a69c-19e81cb95920 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.667031.

MLA Handbook (7th Edition):

Cheng, Wang. “AMBER : a domain-aware template based system for data extraction.” 2015. Web. 18 Jan 2020.

Vancouver:

Cheng W. AMBER : a domain-aware template based system for data extraction. [Internet] [Doctoral dissertation]. University of Oxford; 2015. [cited 2020 Jan 18]. Available from: http://ora.ox.ac.uk/objects/uuid:ff49d786-bfd8-4cd4-a69c-19e81cb95920 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.667031.

Council of Science Editors:

Cheng W. AMBER : a domain-aware template based system for data extraction. [Doctoral Dissertation]. University of Oxford; 2015. Available from: http://ora.ox.ac.uk/objects/uuid:ff49d786-bfd8-4cd4-a69c-19e81cb95920 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.667031


University of Oxford

5. Faitelson, David. Program synthesis from domain specific object models.

Degree: 2008, University of Oxford

 Automatically generating a program from its specification eliminates a large source of errors that is often unavoidable in a manual approach. While a general purpose… (more)

Subjects/Keywords: 005.1; Computer science (mathematics) : Program development and tools : Software engineering : Theory and automated verification : refinement : code generation : program synthesis : model driven development : Booster

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Faitelson, D. (2008). Program synthesis from domain specific object models. (Doctoral Dissertation). University of Oxford. Retrieved from http://ora.ox.ac.uk/objects/uuid:0c5a992e-dad4-435c-a576-e3ed504bcdbd ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.489437

Chicago Manual of Style (16th Edition):

Faitelson, David. “Program synthesis from domain specific object models.” 2008. Doctoral Dissertation, University of Oxford. Accessed January 18, 2020. http://ora.ox.ac.uk/objects/uuid:0c5a992e-dad4-435c-a576-e3ed504bcdbd ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.489437.

MLA Handbook (7th Edition):

Faitelson, David. “Program synthesis from domain specific object models.” 2008. Web. 18 Jan 2020.

Vancouver:

Faitelson D. Program synthesis from domain specific object models. [Internet] [Doctoral dissertation]. University of Oxford; 2008. [cited 2020 Jan 18]. Available from: http://ora.ox.ac.uk/objects/uuid:0c5a992e-dad4-435c-a576-e3ed504bcdbd ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.489437.

Council of Science Editors:

Faitelson D. Program synthesis from domain specific object models. [Doctoral Dissertation]. University of Oxford; 2008. Available from: http://ora.ox.ac.uk/objects/uuid:0c5a992e-dad4-435c-a576-e3ed504bcdbd ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.489437


University of Oxford

6. Weissenbacher, Georg. Program analysis with interpolants.

Degree: 2010, University of Oxford

 This dissertation discusses novel techniques for interpolation-based software model checking, an approximate method which uses Craig interpolation to compute invariants of programs. Our work addresses… (more)

Subjects/Keywords: 005.3; Theory and automated verification : Program development and tools : Computer science (mathematics) : software verification : Craig interpolation : logic : decision procedures

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Weissenbacher, G. (2010). Program analysis with interpolants. (Doctoral Dissertation). University of Oxford. Retrieved from http://ora.ox.ac.uk/objects/uuid:6987de8b-92c2-4309-b762-f0b0b9a165e6 ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.526418

Chicago Manual of Style (16th Edition):

Weissenbacher, Georg. “Program analysis with interpolants.” 2010. Doctoral Dissertation, University of Oxford. Accessed January 18, 2020. http://ora.ox.ac.uk/objects/uuid:6987de8b-92c2-4309-b762-f0b0b9a165e6 ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.526418.

MLA Handbook (7th Edition):

Weissenbacher, Georg. “Program analysis with interpolants.” 2010. Web. 18 Jan 2020.

Vancouver:

Weissenbacher G. Program analysis with interpolants. [Internet] [Doctoral dissertation]. University of Oxford; 2010. [cited 2020 Jan 18]. Available from: http://ora.ox.ac.uk/objects/uuid:6987de8b-92c2-4309-b762-f0b0b9a165e6 ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.526418.

Council of Science Editors:

Weissenbacher G. Program analysis with interpolants. [Doctoral Dissertation]. University of Oxford; 2010. Available from: http://ora.ox.ac.uk/objects/uuid:6987de8b-92c2-4309-b762-f0b0b9a165e6 ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.526418


University of California – Irvine

7. Lopez Giraldo, Nicolas Francisco. Assessing and reducing the impact of LDA's non-determinism in software engineering.

Degree: Information and Computer Science, 2014, University of California – Irvine

 Latent Dirichlet Allocation is a generative technique, the application of which has recently gained traction in software engineering research. A particular focus has been the… (more)

Subjects/Keywords: Computer science; Information science; Concern-oriented software engineering; Development tools; Mining software repositories; Program comprehension; Software engineering; Topic modeling

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Lopez Giraldo, N. F. (2014). Assessing and reducing the impact of LDA's non-determinism in software engineering. (Thesis). University of California – Irvine. Retrieved from http://www.escholarship.org/uc/item/1j28j4kd

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

Chicago Manual of Style (16th Edition):

Lopez Giraldo, Nicolas Francisco. “Assessing and reducing the impact of LDA's non-determinism in software engineering.” 2014. Thesis, University of California – Irvine. Accessed January 18, 2020. http://www.escholarship.org/uc/item/1j28j4kd.

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

MLA Handbook (7th Edition):

Lopez Giraldo, Nicolas Francisco. “Assessing and reducing the impact of LDA's non-determinism in software engineering.” 2014. Web. 18 Jan 2020.

Vancouver:

Lopez Giraldo NF. Assessing and reducing the impact of LDA's non-determinism in software engineering. [Internet] [Thesis]. University of California – Irvine; 2014. [cited 2020 Jan 18]. Available from: http://www.escholarship.org/uc/item/1j28j4kd.

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

Council of Science Editors:

Lopez Giraldo NF. Assessing and reducing the impact of LDA's non-determinism in software engineering. [Thesis]. University of California – Irvine; 2014. Available from: http://www.escholarship.org/uc/item/1j28j4kd

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


University of Oxford

8. Harvey, Daniel Gordon. Efficient approaches to simulating individual-based cell population models.

Degree: PhD, 2013, University of Oxford

 Computational modelling of populations of cells has been applied to further understanding in a range of biological fields, from cell sorting to tumour development. The… (more)

Subjects/Keywords: 570.285; Software engineering; Numerical analysis; Program development and tools; Scalable systems; Individual-based; agent-based; scientific computing; parallel; cell population

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Harvey, D. G. (2013). Efficient approaches to simulating individual-based cell population models. (Doctoral Dissertation). University of Oxford. Retrieved from http://ora.ox.ac.uk/objects/uuid:95f50f05-9cf5-4c58-9115-aff7aabdfd6f ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.618406

Chicago Manual of Style (16th Edition):

Harvey, Daniel Gordon. “Efficient approaches to simulating individual-based cell population models.” 2013. Doctoral Dissertation, University of Oxford. Accessed January 18, 2020. http://ora.ox.ac.uk/objects/uuid:95f50f05-9cf5-4c58-9115-aff7aabdfd6f ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.618406.

MLA Handbook (7th Edition):

Harvey, Daniel Gordon. “Efficient approaches to simulating individual-based cell population models.” 2013. Web. 18 Jan 2020.

Vancouver:

Harvey DG. Efficient approaches to simulating individual-based cell population models. [Internet] [Doctoral dissertation]. University of Oxford; 2013. [cited 2020 Jan 18]. Available from: http://ora.ox.ac.uk/objects/uuid:95f50f05-9cf5-4c58-9115-aff7aabdfd6f ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.618406.

Council of Science Editors:

Harvey DG. Efficient approaches to simulating individual-based cell population models. [Doctoral Dissertation]. University of Oxford; 2013. Available from: http://ora.ox.ac.uk/objects/uuid:95f50f05-9cf5-4c58-9115-aff7aabdfd6f ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.618406


University of Oxford

9. Wang, Chen-Wei. Model-driven development of information systems.

Degree: 2012, University of Oxford

 The research presented in this thesis is aimed at developing reliable information systems through the application of model-driven and formal techniques. These are techniques in… (more)

Subjects/Keywords: 025.04; Computing : Software engineering : Program development and tools : information systems : model-driven development : object modelling : formal methods : language of substitutions : workflows : precondition : model-based testing : database development

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Wang, C. (2012). Model-driven development of information systems. (Doctoral Dissertation). University of Oxford. Retrieved from http://ora.ox.ac.uk/objects/uuid:9d70647c-e1b6-4cbb-b88c-707f09431db6 ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.559855

Chicago Manual of Style (16th Edition):

Wang, Chen-Wei. “Model-driven development of information systems.” 2012. Doctoral Dissertation, University of Oxford. Accessed January 18, 2020. http://ora.ox.ac.uk/objects/uuid:9d70647c-e1b6-4cbb-b88c-707f09431db6 ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.559855.

MLA Handbook (7th Edition):

Wang, Chen-Wei. “Model-driven development of information systems.” 2012. Web. 18 Jan 2020.

Vancouver:

Wang C. Model-driven development of information systems. [Internet] [Doctoral dissertation]. University of Oxford; 2012. [cited 2020 Jan 18]. Available from: http://ora.ox.ac.uk/objects/uuid:9d70647c-e1b6-4cbb-b88c-707f09431db6 ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.559855.

Council of Science Editors:

Wang C. Model-driven development of information systems. [Doctoral Dissertation]. University of Oxford; 2012. Available from: http://ora.ox.ac.uk/objects/uuid:9d70647c-e1b6-4cbb-b88c-707f09431db6 ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.559855


University of Oxford

10. 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 January 18, 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. 18 Jan 2020.

Vancouver:

Kaiser A. Monotonicity in shared-memory program verification. [Internet] [Doctoral dissertation]. University of Oxford; 2013. [cited 2020 Jan 18]. 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

11. 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 January 18, 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. 18 Jan 2020.

Vancouver:

Fruth M. Formal methods for the analysis of wireless network protocols. [Internet] [Doctoral dissertation]. University of Oxford; 2011. [cited 2020 Jan 18]. 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

12. Ana, Cavalcanti. A refinement calculus for Z.

Degree: 1997, University of Oxford

 The lack of a method for developing programs from Z specifications is a difficulty that is now widely recognised. As a contribution to solving this… (more)

Subjects/Keywords: 005; Computer science (mathematics) : Program development and tools : Software engineering : weakest preconditions : semantics

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Ana, C. (1997). A refinement calculus for Z. (Doctoral Dissertation). University of Oxford. Retrieved from http://ora.ox.ac.uk/objects/uuid:ee9c7207-01f6-4bac-8ed1-c354a2551f9c ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.360217

Chicago Manual of Style (16th Edition):

Ana, Cavalcanti. “A refinement calculus for Z.” 1997. Doctoral Dissertation, University of Oxford. Accessed January 18, 2020. http://ora.ox.ac.uk/objects/uuid:ee9c7207-01f6-4bac-8ed1-c354a2551f9c ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.360217.

MLA Handbook (7th Edition):

Ana, Cavalcanti. “A refinement calculus for Z.” 1997. Web. 18 Jan 2020.

Vancouver:

Ana C. A refinement calculus for Z. [Internet] [Doctoral dissertation]. University of Oxford; 1997. [cited 2020 Jan 18]. Available from: http://ora.ox.ac.uk/objects/uuid:ee9c7207-01f6-4bac-8ed1-c354a2551f9c ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.360217.

Council of Science Editors:

Ana C. A refinement calculus for Z. [Doctoral Dissertation]. University of Oxford; 1997. Available from: http://ora.ox.ac.uk/objects/uuid:ee9c7207-01f6-4bac-8ed1-c354a2551f9c ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.360217


University of Oxford

13. Smith, Simon Paul. Towards a knowledge management methodology for articulating the role of hidden knowledges.

Degree: PhD, 2012, University of Oxford

 Knowledge Management Systems are deployed in organisations of all sizes to support the coordination and control of a range of intellectual assets, and the low… (more)

Subjects/Keywords: 658.4038; Ethnographic practices; Science and technology (business & management); Computing; Program development and tools; Software engineering; ethnomethodology; knowledge management; tacit knowledge; knowledge management systems; ethnography; pattern languages

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Smith, S. P. (2012). Towards a knowledge management methodology for articulating the role of hidden knowledges. (Doctoral Dissertation). University of Oxford. Retrieved from http://ora.ox.ac.uk/objects/uuid:32449230-a86a-453b-b9d4-dca2d0b7be3c ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.572768

Chicago Manual of Style (16th Edition):

Smith, Simon Paul. “Towards a knowledge management methodology for articulating the role of hidden knowledges.” 2012. Doctoral Dissertation, University of Oxford. Accessed January 18, 2020. http://ora.ox.ac.uk/objects/uuid:32449230-a86a-453b-b9d4-dca2d0b7be3c ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.572768.

MLA Handbook (7th Edition):

Smith, Simon Paul. “Towards a knowledge management methodology for articulating the role of hidden knowledges.” 2012. Web. 18 Jan 2020.

Vancouver:

Smith SP. Towards a knowledge management methodology for articulating the role of hidden knowledges. [Internet] [Doctoral dissertation]. University of Oxford; 2012. [cited 2020 Jan 18]. Available from: http://ora.ox.ac.uk/objects/uuid:32449230-a86a-453b-b9d4-dca2d0b7be3c ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.572768.

Council of Science Editors:

Smith SP. Towards a knowledge management methodology for articulating the role of hidden knowledges. [Doctoral Dissertation]. University of Oxford; 2012. Available from: http://ora.ox.ac.uk/objects/uuid:32449230-a86a-453b-b9d4-dca2d0b7be3c ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.572768


University of Oxford

14. Bishop, Courtney Alexandra. Development and application of image analysis techniques to study structural and metabolic neurodegeneration in the human hippocampus using MRI and PET.

Degree: PhD, 2012, University of Oxford

 Despite the association between hippocampal atrophy and a vast array of highly debilitating neurological diseases, such as Alzheimer’s disease and frontotemporal lobar degeneration, tools to… (more)

Subjects/Keywords: 616.83107; Computational Neuroscience; Neuropathology; Dementia; Bipolar disorder; Neurology; Memory; Applications and algorithms; Numerical analysis; Program development and tools; Image understanding; Mathematical modeling (engineering); Metabolism; hippocampus; segmentation; neurodegeneration

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Bishop, C. A. (2012). Development and application of image analysis techniques to study structural and metabolic neurodegeneration in the human hippocampus using MRI and PET. (Doctoral Dissertation). University of Oxford. Retrieved from http://ora.ox.ac.uk/objects/uuid:2549bad2-432f-4d0e-8878-be9cce6ae0d2 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.573474

Chicago Manual of Style (16th Edition):

Bishop, Courtney Alexandra. “Development and application of image analysis techniques to study structural and metabolic neurodegeneration in the human hippocampus using MRI and PET.” 2012. Doctoral Dissertation, University of Oxford. Accessed January 18, 2020. http://ora.ox.ac.uk/objects/uuid:2549bad2-432f-4d0e-8878-be9cce6ae0d2 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.573474.

MLA Handbook (7th Edition):

Bishop, Courtney Alexandra. “Development and application of image analysis techniques to study structural and metabolic neurodegeneration in the human hippocampus using MRI and PET.” 2012. Web. 18 Jan 2020.

Vancouver:

Bishop CA. Development and application of image analysis techniques to study structural and metabolic neurodegeneration in the human hippocampus using MRI and PET. [Internet] [Doctoral dissertation]. University of Oxford; 2012. [cited 2020 Jan 18]. Available from: http://ora.ox.ac.uk/objects/uuid:2549bad2-432f-4d0e-8878-be9cce6ae0d2 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.573474.

Council of Science Editors:

Bishop CA. Development and application of image analysis techniques to study structural and metabolic neurodegeneration in the human hippocampus using MRI and PET. [Doctoral Dissertation]. University of Oxford; 2012. Available from: http://ora.ox.ac.uk/objects/uuid:2549bad2-432f-4d0e-8878-be9cce6ae0d2 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.573474


University of Oxford

15. Gill, Mandeep Singh. Application of software engineering methodologies to the development of mathematical biological models.

Degree: PhD, 2013, University of Oxford

 Mathematical models have been used to capture the behaviour of biological systems, from low-level biochemical reactions to multi-scale whole-organ models. Models are typically based on… (more)

Subjects/Keywords: 570.1; Computer science (mathematics); Mathematical biology; Ordinary differential equations; Program development and tools; Software engineering; Biology and other natural sciences (mathematics); domain specific languages; mathematical modelling; biological modelling; cardiac modelling

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Gill, M. S. (2013). Application of software engineering methodologies to the development of mathematical biological models. (Doctoral Dissertation). University of Oxford. Retrieved from http://ora.ox.ac.uk/objects/uuid:35178f3a-7951-4f1c-aeab-390cdd622b05 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.604408

Chicago Manual of Style (16th Edition):

Gill, Mandeep Singh. “Application of software engineering methodologies to the development of mathematical biological models.” 2013. Doctoral Dissertation, University of Oxford. Accessed January 18, 2020. http://ora.ox.ac.uk/objects/uuid:35178f3a-7951-4f1c-aeab-390cdd622b05 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.604408.

MLA Handbook (7th Edition):

Gill, Mandeep Singh. “Application of software engineering methodologies to the development of mathematical biological models.” 2013. Web. 18 Jan 2020.

Vancouver:

Gill MS. Application of software engineering methodologies to the development of mathematical biological models. [Internet] [Doctoral dissertation]. University of Oxford; 2013. [cited 2020 Jan 18]. Available from: http://ora.ox.ac.uk/objects/uuid:35178f3a-7951-4f1c-aeab-390cdd622b05 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.604408.

Council of Science Editors:

Gill MS. Application of software engineering methodologies to the development of mathematical biological models. [Doctoral Dissertation]. University of Oxford; 2013. Available from: http://ora.ox.ac.uk/objects/uuid:35178f3a-7951-4f1c-aeab-390cdd622b05 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.604408


New Jersey Institute of Technology

16. Bladek, Christopher John. A review and assessment of novice learning tools for problem solving and program development.

Degree: MSin Computer Science - (M.S.), Computer and Information Science, 2001, New Jersey Institute of Technology

  There is a great demand for the development of novice learning tools to supplement classroom instruction in the areas of problem solving and program(more)

Subjects/Keywords: Novice learning Tools; Problem Solving; program Development; Pedagogy; Computer Sciences

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Bladek, C. J. (2001). A review and assessment of novice learning tools for problem solving and program development. (Thesis). New Jersey Institute of Technology. Retrieved from https://digitalcommons.njit.edu/theses/682

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

Chicago Manual of Style (16th Edition):

Bladek, Christopher John. “A review and assessment of novice learning tools for problem solving and program development.” 2001. Thesis, New Jersey Institute of Technology. Accessed January 18, 2020. https://digitalcommons.njit.edu/theses/682.

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

MLA Handbook (7th Edition):

Bladek, Christopher John. “A review and assessment of novice learning tools for problem solving and program development.” 2001. Web. 18 Jan 2020.

Vancouver:

Bladek CJ. A review and assessment of novice learning tools for problem solving and program development. [Internet] [Thesis]. New Jersey Institute of Technology; 2001. [cited 2020 Jan 18]. Available from: https://digitalcommons.njit.edu/theses/682.

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

Council of Science Editors:

Bladek CJ. A review and assessment of novice learning tools for problem solving and program development. [Thesis]. New Jersey Institute of Technology; 2001. Available from: https://digitalcommons.njit.edu/theses/682

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


University of Oxford

17. 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 January 18, 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. 18 Jan 2020.

Vancouver:

Palikareva H. Techniques and tools for the verification of concurrent systems. [Internet] [Doctoral dissertation]. University of Oxford; 2012. [cited 2020 Jan 18]. 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 Ottawa

18. Abtahi, Yasaman. Things Kids Think With: The Role of the Physical Properties of Mathematical Tools in Children's Learning in the Context of Addition of Fractions .

Degree: 2016, University of Ottawa

 This research was designed to examine the role of the physical properties of the mathematical tools, in children’s learning in the context of adding two… (more)

Subjects/Keywords: Zone of Proximal Development; Tools; Affordances; Fraction

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Abtahi, Y. (2016). Things Kids Think With: The Role of the Physical Properties of Mathematical Tools in Children's Learning in the Context of Addition of Fractions . (Thesis). University of Ottawa. Retrieved from http://hdl.handle.net/10393/35265

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

Chicago Manual of Style (16th Edition):

Abtahi, Yasaman. “Things Kids Think With: The Role of the Physical Properties of Mathematical Tools in Children's Learning in the Context of Addition of Fractions .” 2016. Thesis, University of Ottawa. Accessed January 18, 2020. http://hdl.handle.net/10393/35265.

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

MLA Handbook (7th Edition):

Abtahi, Yasaman. “Things Kids Think With: The Role of the Physical Properties of Mathematical Tools in Children's Learning in the Context of Addition of Fractions .” 2016. Web. 18 Jan 2020.

Vancouver:

Abtahi Y. Things Kids Think With: The Role of the Physical Properties of Mathematical Tools in Children's Learning in the Context of Addition of Fractions . [Internet] [Thesis]. University of Ottawa; 2016. [cited 2020 Jan 18]. Available from: http://hdl.handle.net/10393/35265.

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

Council of Science Editors:

Abtahi Y. Things Kids Think With: The Role of the Physical Properties of Mathematical Tools in Children's Learning in the Context of Addition of Fractions . [Thesis]. University of Ottawa; 2016. Available from: http://hdl.handle.net/10393/35265

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


University of Manitoba

19. Ferguson, Erin. Implementing sustainability in BC communities: exploring the checklist approach.

Degree: City Planning, 2012, University of Manitoba

 Sustainability is vital to the success of our cities and settlements. While communities are becoming increasingly conversant with sustainability concepts, uncertainty remains over how to… (more)

Subjects/Keywords: sustainable urban development; sustainability assessment tools; development review process

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Ferguson, E. (2012). Implementing sustainability in BC communities: exploring the checklist approach. (Masters Thesis). University of Manitoba. Retrieved from http://hdl.handle.net/1993/8875

Chicago Manual of Style (16th Edition):

Ferguson, Erin. “Implementing sustainability in BC communities: exploring the checklist approach.” 2012. Masters Thesis, University of Manitoba. Accessed January 18, 2020. http://hdl.handle.net/1993/8875.

MLA Handbook (7th Edition):

Ferguson, Erin. “Implementing sustainability in BC communities: exploring the checklist approach.” 2012. Web. 18 Jan 2020.

Vancouver:

Ferguson E. Implementing sustainability in BC communities: exploring the checklist approach. [Internet] [Masters thesis]. University of Manitoba; 2012. [cited 2020 Jan 18]. Available from: http://hdl.handle.net/1993/8875.

Council of Science Editors:

Ferguson E. Implementing sustainability in BC communities: exploring the checklist approach. [Masters Thesis]. University of Manitoba; 2012. Available from: http://hdl.handle.net/1993/8875


University of Oxford

20. van Damme, Myron. Modelling embankment breaching due to overflow.

Degree: PhD, 2014, University of Oxford

 Correct modelling of embankment breach formation is essential for an accurate assessment of the associated flood risk. Modelling breach formation due to overflow requires a… (more)

Subjects/Keywords: 627; Fluid mechanics (mathematics); Numerical analysis; Ordinary differential equations; Partial differential equations; Applications and algorithms; Program development and tools; Civil engineering; Dynamics and ocean and coastal engieneering; Geotechnical engineering; Mathematical modeling (engineering); fluid dynamics; embankments; breach; Navier-Stokes; unsaturated soil; erosion

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

van Damme, M. (2014). Modelling embankment breaching due to overflow. (Doctoral Dissertation). University of Oxford. Retrieved from http://ora.ox.ac.uk/objects/uuid:57d0c96f-1a8a-4e00-82a4-585f3d337ad6 ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.604493

Chicago Manual of Style (16th Edition):

van Damme, Myron. “Modelling embankment breaching due to overflow.” 2014. Doctoral Dissertation, University of Oxford. Accessed January 18, 2020. http://ora.ox.ac.uk/objects/uuid:57d0c96f-1a8a-4e00-82a4-585f3d337ad6 ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.604493.

MLA Handbook (7th Edition):

van Damme, Myron. “Modelling embankment breaching due to overflow.” 2014. Web. 18 Jan 2020.

Vancouver:

van Damme M. Modelling embankment breaching due to overflow. [Internet] [Doctoral dissertation]. University of Oxford; 2014. [cited 2020 Jan 18]. Available from: http://ora.ox.ac.uk/objects/uuid:57d0c96f-1a8a-4e00-82a4-585f3d337ad6 ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.604493.

Council of Science Editors:

van Damme M. Modelling embankment breaching due to overflow. [Doctoral Dissertation]. University of Oxford; 2014. Available from: http://ora.ox.ac.uk/objects/uuid:57d0c96f-1a8a-4e00-82a4-585f3d337ad6 ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.604493


University of Oxford

21. Bernabeu Llinares, Miguel Oscar. An open source HPC-enabled model of cardiac defibrillation of the human heart.

Degree: PhD, 2011, University of Oxford

 Sudden cardiac death following cardiac arrest is a major killer in the industrialised world. The leading cause of sudden cardiac death are disturbances in the… (more)

Subjects/Keywords: 616.1280645; Applications and algorithms; Numerical analysis; Program development and tools; Scalable systems; Software engineering; Biomedical engineering; Numerical analysis; Partial differential equations; Cardiovascular disease; Physiology; computational cardiac electrophysiology; cardiac defibrillation; bidomain equations; finite element method; parallel computing; linear solvers; preconditioning; software engineering; Chaste

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Bernabeu Llinares, M. O. (2011). An open source HPC-enabled model of cardiac defibrillation of the human heart. (Doctoral Dissertation). University of Oxford. Retrieved from http://ora.ox.ac.uk/objects/uuid:9ca44896-8873-4c91-9358-96744e28d187 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.572834

Chicago Manual of Style (16th Edition):

Bernabeu Llinares, Miguel Oscar. “An open source HPC-enabled model of cardiac defibrillation of the human heart.” 2011. Doctoral Dissertation, University of Oxford. Accessed January 18, 2020. http://ora.ox.ac.uk/objects/uuid:9ca44896-8873-4c91-9358-96744e28d187 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.572834.

MLA Handbook (7th Edition):

Bernabeu Llinares, Miguel Oscar. “An open source HPC-enabled model of cardiac defibrillation of the human heart.” 2011. Web. 18 Jan 2020.

Vancouver:

Bernabeu Llinares MO. An open source HPC-enabled model of cardiac defibrillation of the human heart. [Internet] [Doctoral dissertation]. University of Oxford; 2011. [cited 2020 Jan 18]. Available from: http://ora.ox.ac.uk/objects/uuid:9ca44896-8873-4c91-9358-96744e28d187 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.572834.

Council of Science Editors:

Bernabeu Llinares MO. An open source HPC-enabled model of cardiac defibrillation of the human heart. [Doctoral Dissertation]. University of Oxford; 2011. Available from: http://ora.ox.ac.uk/objects/uuid:9ca44896-8873-4c91-9358-96744e28d187 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.572834


University of Oxford

22. Merry, Alexander. Reasoning with !-graphs.

Degree: PhD, 2013, University of Oxford

 The aim of this thesis is to present an extension to the string graphs of Dixon, Duncan and Kissinger that allows the finite representation of… (more)

Subjects/Keywords: 006.6; Computer science (mathematics); Mathematical logic and foundations; Quantum theory (mathematics); Applications and algorithms; Program development and tools; Theory and automated verification; graphs; commutative frobenius algrebras; quantum computer science; quantomatic; automated reasoning; proofs

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Merry, A. (2013). Reasoning with !-graphs. (Doctoral Dissertation). University of Oxford. Retrieved from http://ora.ox.ac.uk/objects/uuid:416c2e6d-2932-4220-8506-50e6b403b660 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.604414

Chicago Manual of Style (16th Edition):

Merry, Alexander. “Reasoning with !-graphs.” 2013. Doctoral Dissertation, University of Oxford. Accessed January 18, 2020. http://ora.ox.ac.uk/objects/uuid:416c2e6d-2932-4220-8506-50e6b403b660 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.604414.

MLA Handbook (7th Edition):

Merry, Alexander. “Reasoning with !-graphs.” 2013. Web. 18 Jan 2020.

Vancouver:

Merry A. Reasoning with !-graphs. [Internet] [Doctoral dissertation]. University of Oxford; 2013. [cited 2020 Jan 18]. Available from: http://ora.ox.ac.uk/objects/uuid:416c2e6d-2932-4220-8506-50e6b403b660 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.604414.

Council of Science Editors:

Merry A. Reasoning with !-graphs. [Doctoral Dissertation]. University of Oxford; 2013. Available from: http://ora.ox.ac.uk/objects/uuid:416c2e6d-2932-4220-8506-50e6b403b660 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.604414


University of Oxford

23. Kelm, Sebastian. Structural modelling of transmembrane domains.

Degree: PhD, 2011, University of Oxford

 Membrane proteins represent about one third of all known vertebrate proteins and over half of the current drug targets. Knowledge of their three-dimensional (3D) structure… (more)

Subjects/Keywords: 572.696; Bioinformatics (biochemistry); Bioinformatics (life sciences); Membrane proteins; Crystallography; Applications and algorithms; Program development and tools; Software engineering; Molecular biophysics (biochemistry); membrane proteins; protein structure; protein modelling; three-dimensional structure prediction; membrane insertion; environment-specific substitution tables; loop modelling

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Kelm, S. (2011). Structural modelling of transmembrane domains. (Doctoral Dissertation). University of Oxford. Retrieved from http://ora.ox.ac.uk/objects/uuid:b4c9fba9-ee25-469b-8baf-b7c1d70c9d05 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.555376

Chicago Manual of Style (16th Edition):

Kelm, Sebastian. “Structural modelling of transmembrane domains.” 2011. Doctoral Dissertation, University of Oxford. Accessed January 18, 2020. http://ora.ox.ac.uk/objects/uuid:b4c9fba9-ee25-469b-8baf-b7c1d70c9d05 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.555376.

MLA Handbook (7th Edition):

Kelm, Sebastian. “Structural modelling of transmembrane domains.” 2011. Web. 18 Jan 2020.

Vancouver:

Kelm S. Structural modelling of transmembrane domains. [Internet] [Doctoral dissertation]. University of Oxford; 2011. [cited 2020 Jan 18]. Available from: http://ora.ox.ac.uk/objects/uuid:b4c9fba9-ee25-469b-8baf-b7c1d70c9d05 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.555376.

Council of Science Editors:

Kelm S. Structural modelling of transmembrane domains. [Doctoral Dissertation]. University of Oxford; 2011. Available from: http://ora.ox.ac.uk/objects/uuid:b4c9fba9-ee25-469b-8baf-b7c1d70c9d05 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.555376


University of Oxford

24. Roued-Cunliffe, Henriette. A decision support system for the reading of ancient documents.

Degree: PhD, 2011, University of Oxford

 The research presented in this thesis is based in the Humanities discipline of Ancient History and begins by attempting to understand the interpretation process involved… (more)

Subjects/Keywords: 410.285; Roman archeology; Latin; Computational Linguistics; Decision science; Program development and tools; Internet and science and learning; Library & information science; Digital Humanities; Roman Britain; decision support system; humanities IT; artificial intelligence; cognition; e-science; regular expressions

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Roued-Cunliffe, H. (2011). A decision support system for the reading of ancient documents. (Doctoral Dissertation). University of Oxford. Retrieved from http://ora.ox.ac.uk/objects/uuid:9d547661-4dea-4c54-832b-b2f862ec7b25 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.580913

Chicago Manual of Style (16th Edition):

Roued-Cunliffe, Henriette. “A decision support system for the reading of ancient documents.” 2011. Doctoral Dissertation, University of Oxford. Accessed January 18, 2020. http://ora.ox.ac.uk/objects/uuid:9d547661-4dea-4c54-832b-b2f862ec7b25 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.580913.

MLA Handbook (7th Edition):

Roued-Cunliffe, Henriette. “A decision support system for the reading of ancient documents.” 2011. Web. 18 Jan 2020.

Vancouver:

Roued-Cunliffe H. A decision support system for the reading of ancient documents. [Internet] [Doctoral dissertation]. University of Oxford; 2011. [cited 2020 Jan 18]. Available from: http://ora.ox.ac.uk/objects/uuid:9d547661-4dea-4c54-832b-b2f862ec7b25 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.580913.

Council of Science Editors:

Roued-Cunliffe H. A decision support system for the reading of ancient documents. [Doctoral Dissertation]. University of Oxford; 2011. Available from: http://ora.ox.ac.uk/objects/uuid:9d547661-4dea-4c54-832b-b2f862ec7b25 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.580913


University of Manitoba

25. Copping, Rebecca. Tax increment finance: the legislative romance between the municipal government and Winnipeg stakeholders.

Degree: City Planning, 2015, University of Manitoba

 This research explores the effectiveness of Tax Increment Financing (TIF) as a financial tool to stimulate residential and commercial development in downtown Winnipeg. Cost is… (more)

Subjects/Keywords: tax increment finance; financial tools; downtown revitalization; development; urban renewal; planning

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Copping, R. (2015). Tax increment finance: the legislative romance between the municipal government and Winnipeg stakeholders. (Masters Thesis). University of Manitoba. Retrieved from http://hdl.handle.net/1993/30292

Chicago Manual of Style (16th Edition):

Copping, Rebecca. “Tax increment finance: the legislative romance between the municipal government and Winnipeg stakeholders.” 2015. Masters Thesis, University of Manitoba. Accessed January 18, 2020. http://hdl.handle.net/1993/30292.

MLA Handbook (7th Edition):

Copping, Rebecca. “Tax increment finance: the legislative romance between the municipal government and Winnipeg stakeholders.” 2015. Web. 18 Jan 2020.

Vancouver:

Copping R. Tax increment finance: the legislative romance between the municipal government and Winnipeg stakeholders. [Internet] [Masters thesis]. University of Manitoba; 2015. [cited 2020 Jan 18]. Available from: http://hdl.handle.net/1993/30292.

Council of Science Editors:

Copping R. Tax increment finance: the legislative romance between the municipal government and Winnipeg stakeholders. [Masters Thesis]. University of Manitoba; 2015. Available from: http://hdl.handle.net/1993/30292

26. Melin, Jesper. Applying AUTOSAR in Practice : Available Development Tools and Migration Paths.

Degree: Design and Engineering, 2011, Mälardalen University

  With the increased use of Electronic Control Units (ECUs) in the automotive industry, the system creation and integration becomes progressively more complex. In order… (more)

Subjects/Keywords: AUTOSAR; development tools; migration; trade-offs; ArcCore; Arctic Studio; OpenSynergy; COQOS

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Melin, J. (2011). Applying AUTOSAR in Practice : Available Development Tools and Migration Paths. (Thesis). Mälardalen University. Retrieved from http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-12155

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

Chicago Manual of Style (16th Edition):

Melin, Jesper. “Applying AUTOSAR in Practice : Available Development Tools and Migration Paths.” 2011. Thesis, Mälardalen University. Accessed January 18, 2020. http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-12155.

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

MLA Handbook (7th Edition):

Melin, Jesper. “Applying AUTOSAR in Practice : Available Development Tools and Migration Paths.” 2011. Web. 18 Jan 2020.

Vancouver:

Melin J. Applying AUTOSAR in Practice : Available Development Tools and Migration Paths. [Internet] [Thesis]. Mälardalen University; 2011. [cited 2020 Jan 18]. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-12155.

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

Council of Science Editors:

Melin J. Applying AUTOSAR in Practice : Available Development Tools and Migration Paths. [Thesis]. Mälardalen University; 2011. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-12155

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

27. Andersson, Emma. Förändringsarbete och motstånd : Inom energibranschen.

Degree: Division of Business Administration, 2015, University West

Most organizations go through some kind of changing process during its lifetime. Unfortunately many of these changes fail due to different reasons. Larger changing… (more)

Subjects/Keywords: Development; change management; förändringsprocesser; develop ledership; restructuring; effective change management; tools

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Andersson, E. (2015). Förändringsarbete och motstånd : Inom energibranschen. (Thesis). University West. Retrieved from http://urn.kb.se/resolve?urn=urn:nbn:se:hv:diva-8102

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

Chicago Manual of Style (16th Edition):

Andersson, Emma. “Förändringsarbete och motstånd : Inom energibranschen.” 2015. Thesis, University West. Accessed January 18, 2020. http://urn.kb.se/resolve?urn=urn:nbn:se:hv:diva-8102.

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

MLA Handbook (7th Edition):

Andersson, Emma. “Förändringsarbete och motstånd : Inom energibranschen.” 2015. Web. 18 Jan 2020.

Vancouver:

Andersson E. Förändringsarbete och motstånd : Inom energibranschen. [Internet] [Thesis]. University West; 2015. [cited 2020 Jan 18]. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:hv:diva-8102.

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

Council of Science Editors:

Andersson E. Förändringsarbete och motstånd : Inom energibranschen. [Thesis]. University West; 2015. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:hv:diva-8102

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


University of Guelph

28. Dhillon, Sanjeet. An Evaluation Framework for Cross-Platform Mobile Application Development Tools .

Degree: 2012, University of Guelph

 The mobile application market is becoming increasingly fragmented with the availability of multiple mobile platforms that differ in development procedures. Developers are forced to choose… (more)

Subjects/Keywords: Mobile applications; Mobile app development; Cross-platform mobile apps; Cross-platform development tools

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Dhillon, S. (2012). An Evaluation Framework for Cross-Platform Mobile Application Development Tools . (Thesis). University of Guelph. Retrieved from https://atrium.lib.uoguelph.ca/xmlui/handle/10214/4949

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

Chicago Manual of Style (16th Edition):

Dhillon, Sanjeet. “An Evaluation Framework for Cross-Platform Mobile Application Development Tools .” 2012. Thesis, University of Guelph. Accessed January 18, 2020. https://atrium.lib.uoguelph.ca/xmlui/handle/10214/4949.

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

MLA Handbook (7th Edition):

Dhillon, Sanjeet. “An Evaluation Framework for Cross-Platform Mobile Application Development Tools .” 2012. Web. 18 Jan 2020.

Vancouver:

Dhillon S. An Evaluation Framework for Cross-Platform Mobile Application Development Tools . [Internet] [Thesis]. University of Guelph; 2012. [cited 2020 Jan 18]. Available from: https://atrium.lib.uoguelph.ca/xmlui/handle/10214/4949.

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

Council of Science Editors:

Dhillon S. An Evaluation Framework for Cross-Platform Mobile Application Development Tools . [Thesis]. University of Guelph; 2012. Available from: https://atrium.lib.uoguelph.ca/xmlui/handle/10214/4949

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


University of Oxford

29. Hunt, Julian David. Integration of rationale management with multi-criteria decision analysis, probabilistic forecasting and semantics : application to the UK energy sector.

Degree: PhD, 2013, University of Oxford

 This thesis presents a new integrated tool and decision support framework to approach complex problems resulting from the interaction of many multi-criteria issues. The framework… (more)

Subjects/Keywords: 333.79; Environment; Game theory,economics,social and behavioral sciences (mathematics); Functions of a complex variable; Probability theory and stochastic processes; Logic; Cognition; Probability; Applications and algorithms; Software engineering; Game semantics; Program development and tools; Engineering & allied sciences; Chemical and process engineering; Information engineering; decision support systems; energy and water; probabilistic forecasting; semantics; decision ontology; energy ontology

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Hunt, J. D. (2013). Integration of rationale management with multi-criteria decision analysis, probabilistic forecasting and semantics : application to the UK energy sector. (Doctoral Dissertation). University of Oxford. Retrieved from http://ora.ox.ac.uk/objects/uuid:2cc24d23-3e93-42e0-bb7a-6e39a65d7425 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.581272

Chicago Manual of Style (16th Edition):

Hunt, Julian David. “Integration of rationale management with multi-criteria decision analysis, probabilistic forecasting and semantics : application to the UK energy sector.” 2013. Doctoral Dissertation, University of Oxford. Accessed January 18, 2020. http://ora.ox.ac.uk/objects/uuid:2cc24d23-3e93-42e0-bb7a-6e39a65d7425 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.581272.

MLA Handbook (7th Edition):

Hunt, Julian David. “Integration of rationale management with multi-criteria decision analysis, probabilistic forecasting and semantics : application to the UK energy sector.” 2013. Web. 18 Jan 2020.

Vancouver:

Hunt JD. Integration of rationale management with multi-criteria decision analysis, probabilistic forecasting and semantics : application to the UK energy sector. [Internet] [Doctoral dissertation]. University of Oxford; 2013. [cited 2020 Jan 18]. Available from: http://ora.ox.ac.uk/objects/uuid:2cc24d23-3e93-42e0-bb7a-6e39a65d7425 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.581272.

Council of Science Editors:

Hunt JD. Integration of rationale management with multi-criteria decision analysis, probabilistic forecasting and semantics : application to the UK energy sector. [Doctoral Dissertation]. University of Oxford; 2013. Available from: http://ora.ox.ac.uk/objects/uuid:2cc24d23-3e93-42e0-bb7a-6e39a65d7425 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.581272


AUT University

30. Ballinger, Shona. A critical examination of a positive youth development programme’s individual self-assessment tool .

Degree: AUT University

 This research investigates the overarching question of ‘How do we know if young people in a positive youth development (PYD) programme have developed?’ The specific… (more)

Subjects/Keywords: Youth development; Assessment tools; Positive youth development; Youth development self assessment tools

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Ballinger, S. (n.d.). A critical examination of a positive youth development programme’s individual self-assessment tool . (Thesis). AUT University. Retrieved from http://hdl.handle.net/10292/9213

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

Chicago Manual of Style (16th Edition):

Ballinger, Shona. “A critical examination of a positive youth development programme’s individual self-assessment tool .” Thesis, AUT University. Accessed January 18, 2020. http://hdl.handle.net/10292/9213.

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

MLA Handbook (7th Edition):

Ballinger, Shona. “A critical examination of a positive youth development programme’s individual self-assessment tool .” Web. 18 Jan 2020.

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

Vancouver:

Ballinger S. A critical examination of a positive youth development programme’s individual self-assessment tool . [Internet] [Thesis]. AUT University; [cited 2020 Jan 18]. Available from: http://hdl.handle.net/10292/9213.

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

Council of Science Editors:

Ballinger S. A critical examination of a positive youth development programme’s individual self-assessment tool . [Thesis]. AUT University; Available from: http://hdl.handle.net/10292/9213

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

[1] [2] [3] [4] [5] [6] [7] [8]

.