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

[1] [2] [3] [4] [5] … [331]

Search Limiters

Last 2 Years | English Only

Degrees

Levels

Languages

Country

▼ Search Limiters

1. Pukkila, Veikko. Hotel System with Java & MySQL .

Degree: 2010, Theseus

 This thesis is a system work for a hotel, which required a reservation system for their customers. The thesis project was split into parts and… (more)

Subjects/Keywords: programming

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Pukkila, V. (2010). Hotel System with Java & MySQL . (Thesis). Theseus. Retrieved from http://www.theseus.fi/handle/10024/17292

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

Pukkila, Veikko. “Hotel System with Java & MySQL .” 2010. Thesis, Theseus. Accessed September 17, 2019. http://www.theseus.fi/handle/10024/17292.

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

MLA Handbook (7th Edition):

Pukkila, Veikko. “Hotel System with Java & MySQL .” 2010. Web. 17 Sep 2019.

Vancouver:

Pukkila V. Hotel System with Java & MySQL . [Internet] [Thesis]. Theseus; 2010. [cited 2019 Sep 17]. Available from: http://www.theseus.fi/handle/10024/17292.

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

Council of Science Editors:

Pukkila V. Hotel System with Java & MySQL . [Thesis]. Theseus; 2010. Available from: http://www.theseus.fi/handle/10024/17292

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


Rochester Institute of Technology

2. Amsden, Edward. Timeflies: Push-pull signal-function functional reactive programming.

Degree: Computer Science (GCCIS), 2013, Rochester Institute of Technology

  Functional Reactive Programming (FRP) is a promising class of abstractions for interactive programs. FRP systems provide values defined at all points in time (behaviors… (more)

Subjects/Keywords: Functional programming; Functional reactive programming; Programming languages

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Amsden, E. (2013). Timeflies: Push-pull signal-function functional reactive programming. (Thesis). Rochester Institute of Technology. Retrieved from https://scholarworks.rit.edu/theses/5512

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

Amsden, Edward. “Timeflies: Push-pull signal-function functional reactive programming.” 2013. Thesis, Rochester Institute of Technology. Accessed September 17, 2019. https://scholarworks.rit.edu/theses/5512.

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

MLA Handbook (7th Edition):

Amsden, Edward. “Timeflies: Push-pull signal-function functional reactive programming.” 2013. Web. 17 Sep 2019.

Vancouver:

Amsden E. Timeflies: Push-pull signal-function functional reactive programming. [Internet] [Thesis]. Rochester Institute of Technology; 2013. [cited 2019 Sep 17]. Available from: https://scholarworks.rit.edu/theses/5512.

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

Council of Science Editors:

Amsden E. Timeflies: Push-pull signal-function functional reactive programming. [Thesis]. Rochester Institute of Technology; 2013. Available from: https://scholarworks.rit.edu/theses/5512

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


North Carolina State University

3. Hayward, Lauren Janece. Students' Perceptions of Distributed Pair Programming in an Upper-Level Undergraduate Software Engineering Course.

Degree: MS, Computer Science, 2009, North Carolina State University

 Pair programming is a style of programming in which two programmers work together on the same software artifact. Pair programming has many demonstrated benefits including… (more)

Subjects/Keywords: collaborative programming; distributed programming; pair programming

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Hayward, L. J. (2009). Students' Perceptions of Distributed Pair Programming in an Upper-Level Undergraduate Software Engineering Course. (Thesis). North Carolina State University. Retrieved from http://www.lib.ncsu.edu/resolver/1840.16/1336

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

Hayward, Lauren Janece. “Students' Perceptions of Distributed Pair Programming in an Upper-Level Undergraduate Software Engineering Course.” 2009. Thesis, North Carolina State University. Accessed September 17, 2019. http://www.lib.ncsu.edu/resolver/1840.16/1336.

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

MLA Handbook (7th Edition):

Hayward, Lauren Janece. “Students' Perceptions of Distributed Pair Programming in an Upper-Level Undergraduate Software Engineering Course.” 2009. Web. 17 Sep 2019.

Vancouver:

Hayward LJ. Students' Perceptions of Distributed Pair Programming in an Upper-Level Undergraduate Software Engineering Course. [Internet] [Thesis]. North Carolina State University; 2009. [cited 2019 Sep 17]. Available from: http://www.lib.ncsu.edu/resolver/1840.16/1336.

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

Council of Science Editors:

Hayward LJ. Students' Perceptions of Distributed Pair Programming in an Upper-Level Undergraduate Software Engineering Course. [Thesis]. North Carolina State University; 2009. Available from: http://www.lib.ncsu.edu/resolver/1840.16/1336

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


Penn State University

4. Thein, Michael William. An In Depth Analysis of Sudoku with Focus in Integer and Constraint Programming.

Degree: MS, Industrial Engineering, 2014, Penn State University

 We analyze sudoku in detail. We study sudoku as it pertains to computational complexity, graph coloring, and various programming methods that can be used to… (more)

Subjects/Keywords: Sudoku; Integer Programming; Constraint Programming

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Thein, M. W. (2014). An In Depth Analysis of Sudoku with Focus in Integer and Constraint Programming. (Masters Thesis). Penn State University. Retrieved from https://etda.libraries.psu.edu/catalog/21272

Chicago Manual of Style (16th Edition):

Thein, Michael William. “An In Depth Analysis of Sudoku with Focus in Integer and Constraint Programming.” 2014. Masters Thesis, Penn State University. Accessed September 17, 2019. https://etda.libraries.psu.edu/catalog/21272.

MLA Handbook (7th Edition):

Thein, Michael William. “An In Depth Analysis of Sudoku with Focus in Integer and Constraint Programming.” 2014. Web. 17 Sep 2019.

Vancouver:

Thein MW. An In Depth Analysis of Sudoku with Focus in Integer and Constraint Programming. [Internet] [Masters thesis]. Penn State University; 2014. [cited 2019 Sep 17]. Available from: https://etda.libraries.psu.edu/catalog/21272.

Council of Science Editors:

Thein MW. An In Depth Analysis of Sudoku with Focus in Integer and Constraint Programming. [Masters Thesis]. Penn State University; 2014. Available from: https://etda.libraries.psu.edu/catalog/21272


University of Melbourne

5. Aziz, Rehan Abdul. Answer set programming: founded bounds and model counting.

Degree: 2015, University of Melbourne

 Answer Set Programming (ASP) is a powerful modelling formalism that is very efficient for solving combinatorial problems. This work extends the state-of-the-art in theory and… (more)

Subjects/Keywords: answer set programming; constraint programming

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Aziz, R. A. (2015). Answer set programming: founded bounds and model counting. (Doctoral Dissertation). University of Melbourne. Retrieved from http://hdl.handle.net/11343/58612

Chicago Manual of Style (16th Edition):

Aziz, Rehan Abdul. “Answer set programming: founded bounds and model counting.” 2015. Doctoral Dissertation, University of Melbourne. Accessed September 17, 2019. http://hdl.handle.net/11343/58612.

MLA Handbook (7th Edition):

Aziz, Rehan Abdul. “Answer set programming: founded bounds and model counting.” 2015. Web. 17 Sep 2019.

Vancouver:

Aziz RA. Answer set programming: founded bounds and model counting. [Internet] [Doctoral dissertation]. University of Melbourne; 2015. [cited 2019 Sep 17]. Available from: http://hdl.handle.net/11343/58612.

Council of Science Editors:

Aziz RA. Answer set programming: founded bounds and model counting. [Doctoral Dissertation]. University of Melbourne; 2015. Available from: http://hdl.handle.net/11343/58612


University of New Mexico

6. Gordon, Benjamin M. Improving Spoken Programming Through Language Design and the Incorporation of Dynamic Context.

Degree: Department of Computer Science, 2013, University of New Mexico

Programming is not just about the syntax of the language; the programming environment is also an important part of the process. In English prose speech… (more)

Subjects/Keywords: spoken programming; programming-by-voice

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Gordon, B. M. (2013). Improving Spoken Programming Through Language Design and the Incorporation of Dynamic Context. (Doctoral Dissertation). University of New Mexico. Retrieved from http://hdl.handle.net/1928/23325

Chicago Manual of Style (16th Edition):

Gordon, Benjamin M. “Improving Spoken Programming Through Language Design and the Incorporation of Dynamic Context.” 2013. Doctoral Dissertation, University of New Mexico. Accessed September 17, 2019. http://hdl.handle.net/1928/23325.

MLA Handbook (7th Edition):

Gordon, Benjamin M. “Improving Spoken Programming Through Language Design and the Incorporation of Dynamic Context.” 2013. Web. 17 Sep 2019.

Vancouver:

Gordon BM. Improving Spoken Programming Through Language Design and the Incorporation of Dynamic Context. [Internet] [Doctoral dissertation]. University of New Mexico; 2013. [cited 2019 Sep 17]. Available from: http://hdl.handle.net/1928/23325.

Council of Science Editors:

Gordon BM. Improving Spoken Programming Through Language Design and the Incorporation of Dynamic Context. [Doctoral Dissertation]. University of New Mexico; 2013. Available from: http://hdl.handle.net/1928/23325


University of Auckland

7. Biggs, Geoffrey. Designing an application-specific programming language for mobile robots.

Degree: 2007, University of Auckland

 The process of programming mobile robots is improved by this work. The tools used for programming robot systems have not advanced significantly, while robots themselves… (more)

Subjects/Keywords: robots; programming

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Biggs, G. (2007). Designing an application-specific programming language for mobile robots. (Doctoral Dissertation). University of Auckland. Retrieved from http://hdl.handle.net/2292/702

Chicago Manual of Style (16th Edition):

Biggs, Geoffrey. “Designing an application-specific programming language for mobile robots.” 2007. Doctoral Dissertation, University of Auckland. Accessed September 17, 2019. http://hdl.handle.net/2292/702.

MLA Handbook (7th Edition):

Biggs, Geoffrey. “Designing an application-specific programming language for mobile robots.” 2007. Web. 17 Sep 2019.

Vancouver:

Biggs G. Designing an application-specific programming language for mobile robots. [Internet] [Doctoral dissertation]. University of Auckland; 2007. [cited 2019 Sep 17]. Available from: http://hdl.handle.net/2292/702.

Council of Science Editors:

Biggs G. Designing an application-specific programming language for mobile robots. [Doctoral Dissertation]. University of Auckland; 2007. Available from: http://hdl.handle.net/2292/702


University of Georgia

8. Proctor, Lindsey Brooke. Maternal nutrient restriction: consequences on the offspring.

Degree: MS, Foods and Nutrition, 2009, University of Georgia

 Objective: To determine the effects of maternal nutrient restriction of dams on two different diets on body weight, food intake, feed efficiency, perirenal fat pads,… (more)

Subjects/Keywords: fetal programming

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Proctor, L. B. (2009). Maternal nutrient restriction: consequences on the offspring. (Masters Thesis). University of Georgia. Retrieved from http://purl.galileo.usg.edu/uga_etd/proctor_lindsey_b_200905_ms

Chicago Manual of Style (16th Edition):

Proctor, Lindsey Brooke. “Maternal nutrient restriction: consequences on the offspring.” 2009. Masters Thesis, University of Georgia. Accessed September 17, 2019. http://purl.galileo.usg.edu/uga_etd/proctor_lindsey_b_200905_ms.

MLA Handbook (7th Edition):

Proctor, Lindsey Brooke. “Maternal nutrient restriction: consequences on the offspring.” 2009. Web. 17 Sep 2019.

Vancouver:

Proctor LB. Maternal nutrient restriction: consequences on the offspring. [Internet] [Masters thesis]. University of Georgia; 2009. [cited 2019 Sep 17]. Available from: http://purl.galileo.usg.edu/uga_etd/proctor_lindsey_b_200905_ms.

Council of Science Editors:

Proctor LB. Maternal nutrient restriction: consequences on the offspring. [Masters Thesis]. University of Georgia; 2009. Available from: http://purl.galileo.usg.edu/uga_etd/proctor_lindsey_b_200905_ms


University of Georgia

9. Zhao, Zhe. Solo programming vs pair programming: strategies for debugging.

Degree: MS, Computer Science, 2014, University of Georgia

 Program debugging is a process to locate and fix the bugs or defects responsible for a symptom violation in a computer program, thus making it… (more)

Subjects/Keywords: pair programming

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Zhao, Z. (2014). Solo programming vs pair programming: strategies for debugging. (Masters Thesis). University of Georgia. Retrieved from http://purl.galileo.usg.edu/uga_etd/zhao_zhe_201408_ms

Chicago Manual of Style (16th Edition):

Zhao, Zhe. “Solo programming vs pair programming: strategies for debugging.” 2014. Masters Thesis, University of Georgia. Accessed September 17, 2019. http://purl.galileo.usg.edu/uga_etd/zhao_zhe_201408_ms.

MLA Handbook (7th Edition):

Zhao, Zhe. “Solo programming vs pair programming: strategies for debugging.” 2014. Web. 17 Sep 2019.

Vancouver:

Zhao Z. Solo programming vs pair programming: strategies for debugging. [Internet] [Masters thesis]. University of Georgia; 2014. [cited 2019 Sep 17]. Available from: http://purl.galileo.usg.edu/uga_etd/zhao_zhe_201408_ms.

Council of Science Editors:

Zhao Z. Solo programming vs pair programming: strategies for debugging. [Masters Thesis]. University of Georgia; 2014. Available from: http://purl.galileo.usg.edu/uga_etd/zhao_zhe_201408_ms


University of Georgia

10. Cline, Dustin Troy. Integrating logic programming with description logic reasoning and sensor observation management for mobile devices.

Degree: MS, Artificial Intelligence, 2015, University of Georgia

 The ubiquity of mobile devices has opened new research opportunities for knowledge-based systems. The purpose of this work is to integrate logic programming with description… (more)

Subjects/Keywords: Logic programming

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Cline, D. T. (2015). Integrating logic programming with description logic reasoning and sensor observation management for mobile devices. (Masters Thesis). University of Georgia. Retrieved from http://purl.galileo.usg.edu/uga_etd/cline_dustin_t_201505_ms

Chicago Manual of Style (16th Edition):

Cline, Dustin Troy. “Integrating logic programming with description logic reasoning and sensor observation management for mobile devices.” 2015. Masters Thesis, University of Georgia. Accessed September 17, 2019. http://purl.galileo.usg.edu/uga_etd/cline_dustin_t_201505_ms.

MLA Handbook (7th Edition):

Cline, Dustin Troy. “Integrating logic programming with description logic reasoning and sensor observation management for mobile devices.” 2015. Web. 17 Sep 2019.

Vancouver:

Cline DT. Integrating logic programming with description logic reasoning and sensor observation management for mobile devices. [Internet] [Masters thesis]. University of Georgia; 2015. [cited 2019 Sep 17]. Available from: http://purl.galileo.usg.edu/uga_etd/cline_dustin_t_201505_ms.

Council of Science Editors:

Cline DT. Integrating logic programming with description logic reasoning and sensor observation management for mobile devices. [Masters Thesis]. University of Georgia; 2015. Available from: http://purl.galileo.usg.edu/uga_etd/cline_dustin_t_201505_ms


University of Victoria

11. Strooper, Paul Anthony. From specification to implementation in logic.

Degree: Department of Computer Science, 2018, University of Victoria

 The use of modules to decompose large software systems into smaller, more manageable, programming tasks is now widely accepted. To benefit from such a decomposition,… (more)

Subjects/Keywords: Logic programming

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Strooper, P. A. (2018). From specification to implementation in logic. (Thesis). University of Victoria. Retrieved from https://dspace.library.uvic.ca//handle/1828/9493

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

Strooper, Paul Anthony. “From specification to implementation in logic.” 2018. Thesis, University of Victoria. Accessed September 17, 2019. https://dspace.library.uvic.ca//handle/1828/9493.

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

MLA Handbook (7th Edition):

Strooper, Paul Anthony. “From specification to implementation in logic.” 2018. Web. 17 Sep 2019.

Vancouver:

Strooper PA. From specification to implementation in logic. [Internet] [Thesis]. University of Victoria; 2018. [cited 2019 Sep 17]. Available from: https://dspace.library.uvic.ca//handle/1828/9493.

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

Council of Science Editors:

Strooper PA. From specification to implementation in logic. [Thesis]. University of Victoria; 2018. Available from: https://dspace.library.uvic.ca//handle/1828/9493

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


University of Victoria

12. Orgun, Mehmet Ali. Intensional logic programming.

Degree: Department of Computer Science, 2018, University of Victoria

 This dissertation presents an investigation of logic programming based on intensional logic. Through intensional logic, the notion of dynamic change and the ability to reason… (more)

Subjects/Keywords: Logic programming

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Orgun, M. A. (2018). Intensional logic programming. (Thesis). University of Victoria. Retrieved from https://dspace.library.uvic.ca//handle/1828/9541

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

Orgun, Mehmet Ali. “Intensional logic programming.” 2018. Thesis, University of Victoria. Accessed September 17, 2019. https://dspace.library.uvic.ca//handle/1828/9541.

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

MLA Handbook (7th Edition):

Orgun, Mehmet Ali. “Intensional logic programming.” 2018. Web. 17 Sep 2019.

Vancouver:

Orgun MA. Intensional logic programming. [Internet] [Thesis]. University of Victoria; 2018. [cited 2019 Sep 17]. Available from: https://dspace.library.uvic.ca//handle/1828/9541.

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

Council of Science Editors:

Orgun MA. Intensional logic programming. [Thesis]. University of Victoria; 2018. Available from: https://dspace.library.uvic.ca//handle/1828/9541

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


University of Victoria

13. Bagai, Rajiv. Ordinal-theoretic properties of logic programs.

Degree: Department of Computer Science, 2018, University of Victoria

 The work described in this dissertation is mainly a study of some ordinal-theoretic properties of logic programs that are related to the downward powers of… (more)

Subjects/Keywords: Logic programming

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Bagai, R. (2018). Ordinal-theoretic properties of logic programs. (Thesis). University of Victoria. Retrieved from https://dspace.library.uvic.ca//handle/1828/9476

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

Bagai, Rajiv. “Ordinal-theoretic properties of logic programs.” 2018. Thesis, University of Victoria. Accessed September 17, 2019. https://dspace.library.uvic.ca//handle/1828/9476.

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

MLA Handbook (7th Edition):

Bagai, Rajiv. “Ordinal-theoretic properties of logic programs.” 2018. Web. 17 Sep 2019.

Vancouver:

Bagai R. Ordinal-theoretic properties of logic programs. [Internet] [Thesis]. University of Victoria; 2018. [cited 2019 Sep 17]. Available from: https://dspace.library.uvic.ca//handle/1828/9476.

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

Council of Science Editors:

Bagai R. Ordinal-theoretic properties of logic programs. [Thesis]. University of Victoria; 2018. Available from: https://dspace.library.uvic.ca//handle/1828/9476

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

14. Scott, Andrew Simon. Using flowcharts, code and animation for improved comprehension and ability in novice programming.

Degree: PhD, University of Glamorgan, 2011, University of South Wales

 This thesis documents the research; development methodology and evaluation of „Progranimate‟, a visual programming environment and associated pedagogy that helps novices overcome their difficulties in… (more)

Subjects/Keywords: Programming (Computers)

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Scott, A. S. (2011). Using flowcharts, code and animation for improved comprehension and ability in novice programming. (Doctoral Dissertation). University of South Wales. Retrieved from http://hdl.handle.net/10265/460

Chicago Manual of Style (16th Edition):

Scott, Andrew Simon. “Using flowcharts, code and animation for improved comprehension and ability in novice programming.” 2011. Doctoral Dissertation, University of South Wales. Accessed September 17, 2019. http://hdl.handle.net/10265/460.

MLA Handbook (7th Edition):

Scott, Andrew Simon. “Using flowcharts, code and animation for improved comprehension and ability in novice programming.” 2011. Web. 17 Sep 2019.

Vancouver:

Scott AS. Using flowcharts, code and animation for improved comprehension and ability in novice programming. [Internet] [Doctoral dissertation]. University of South Wales; 2011. [cited 2019 Sep 17]. Available from: http://hdl.handle.net/10265/460.

Council of Science Editors:

Scott AS. Using flowcharts, code and animation for improved comprehension and ability in novice programming. [Doctoral Dissertation]. University of South Wales; 2011. Available from: http://hdl.handle.net/10265/460


Victoria University of Wellington

15. Downey, Carlton. Explorations in Parallel Linear Genetic Programming.

Degree: 2011, Victoria University of Wellington

 Linear Genetic Programming (LGP) is a powerful problem-solving technique, but one with several significant weaknesses. LGP programs consist of a linear sequence of instructions, where… (more)

Subjects/Keywords: Genetic programming

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Downey, C. (2011). Explorations in Parallel Linear Genetic Programming. (Masters Thesis). Victoria University of Wellington. Retrieved from http://hdl.handle.net/10063/2312

Chicago Manual of Style (16th Edition):

Downey, Carlton. “Explorations in Parallel Linear Genetic Programming.” 2011. Masters Thesis, Victoria University of Wellington. Accessed September 17, 2019. http://hdl.handle.net/10063/2312.

MLA Handbook (7th Edition):

Downey, Carlton. “Explorations in Parallel Linear Genetic Programming.” 2011. Web. 17 Sep 2019.

Vancouver:

Downey C. Explorations in Parallel Linear Genetic Programming. [Internet] [Masters thesis]. Victoria University of Wellington; 2011. [cited 2019 Sep 17]. Available from: http://hdl.handle.net/10063/2312.

Council of Science Editors:

Downey C. Explorations in Parallel Linear Genetic Programming. [Masters Thesis]. Victoria University of Wellington; 2011. Available from: http://hdl.handle.net/10063/2312

16. Yip, Yue Kwen Justin. The Length-Lex Representation for Constraint Programming over Sets.

Degree: PhD, Computer Science, 2011, Brown University

 Constraint Programming is a declarative programming paradigm for solving hard combinatorial problems. Its model consists of a set of decision variables, and a set of… (more)

Subjects/Keywords: Constraint Programming

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Yip, Y. K. J. (2011). The Length-Lex Representation for Constraint Programming over Sets. (Doctoral Dissertation). Brown University. Retrieved from https://repository.library.brown.edu/studio/item/bdr:11342/

Chicago Manual of Style (16th Edition):

Yip, Yue Kwen Justin. “The Length-Lex Representation for Constraint Programming over Sets.” 2011. Doctoral Dissertation, Brown University. Accessed September 17, 2019. https://repository.library.brown.edu/studio/item/bdr:11342/.

MLA Handbook (7th Edition):

Yip, Yue Kwen Justin. “The Length-Lex Representation for Constraint Programming over Sets.” 2011. Web. 17 Sep 2019.

Vancouver:

Yip YKJ. The Length-Lex Representation for Constraint Programming over Sets. [Internet] [Doctoral dissertation]. Brown University; 2011. [cited 2019 Sep 17]. Available from: https://repository.library.brown.edu/studio/item/bdr:11342/.

Council of Science Editors:

Yip YKJ. The Length-Lex Representation for Constraint Programming over Sets. [Doctoral Dissertation]. Brown University; 2011. Available from: https://repository.library.brown.edu/studio/item/bdr:11342/

17. Guha, Arjun. Semantics and Types for Safe Web Programming.

Degree: PhD, Computer Science, 2012, Brown University

 Web programs are distinct from traditional programs in two key ways. First, programs freely compose data and code from several sources. Second, the user often… (more)

Subjects/Keywords: programming languages

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Guha, A. (2012). Semantics and Types for Safe Web Programming. (Doctoral Dissertation). Brown University. Retrieved from https://repository.library.brown.edu/studio/item/bdr:297608/

Chicago Manual of Style (16th Edition):

Guha, Arjun. “Semantics and Types for Safe Web Programming.” 2012. Doctoral Dissertation, Brown University. Accessed September 17, 2019. https://repository.library.brown.edu/studio/item/bdr:297608/.

MLA Handbook (7th Edition):

Guha, Arjun. “Semantics and Types for Safe Web Programming.” 2012. Web. 17 Sep 2019.

Vancouver:

Guha A. Semantics and Types for Safe Web Programming. [Internet] [Doctoral dissertation]. Brown University; 2012. [cited 2019 Sep 17]. Available from: https://repository.library.brown.edu/studio/item/bdr:297608/.

Council of Science Editors:

Guha A. Semantics and Types for Safe Web Programming. [Doctoral Dissertation]. Brown University; 2012. Available from: https://repository.library.brown.edu/studio/item/bdr:297608/

18. Lev, Yossi. Debugging and Profiling of Transactional Programs.

Degree: PhD, Computer Science, 2010, Brown University

 Transactional memory (TM) has become increasingly popular in recent years as a promising programming paradigm for writing correct and scalable concurrent programs. Despite its popularity,… (more)

Subjects/Keywords: Concurrent programming

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Lev, Y. (2010). Debugging and Profiling of Transactional Programs. (Doctoral Dissertation). Brown University. Retrieved from https://repository.library.brown.edu/studio/item/bdr:11078/

Chicago Manual of Style (16th Edition):

Lev, Yossi. “Debugging and Profiling of Transactional Programs.” 2010. Doctoral Dissertation, Brown University. Accessed September 17, 2019. https://repository.library.brown.edu/studio/item/bdr:11078/.

MLA Handbook (7th Edition):

Lev, Yossi. “Debugging and Profiling of Transactional Programs.” 2010. Web. 17 Sep 2019.

Vancouver:

Lev Y. Debugging and Profiling of Transactional Programs. [Internet] [Doctoral dissertation]. Brown University; 2010. [cited 2019 Sep 17]. Available from: https://repository.library.brown.edu/studio/item/bdr:11078/.

Council of Science Editors:

Lev Y. Debugging and Profiling of Transactional Programs. [Doctoral Dissertation]. Brown University; 2010. Available from: https://repository.library.brown.edu/studio/item/bdr:11078/

19. Wen, Xiaozhong. The pathway of fetal programming of cardiovascular disease risks: maternal factors, placental morphology, intrauterine growth restriction, and childhood growth.

Degree: PhD, Epidemiology, 2010, Brown University

 Increasing evidence suggests that some intrauterine insults may program the risk of cardiovascular diseases in later life. However, the underlying pathways remain largely unknown. We… (more)

Subjects/Keywords: fetal programming

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Wen, X. (2010). The pathway of fetal programming of cardiovascular disease risks: maternal factors, placental morphology, intrauterine growth restriction, and childhood growth. (Doctoral Dissertation). Brown University. Retrieved from https://repository.library.brown.edu/studio/item/bdr:11080/

Chicago Manual of Style (16th Edition):

Wen, Xiaozhong. “The pathway of fetal programming of cardiovascular disease risks: maternal factors, placental morphology, intrauterine growth restriction, and childhood growth.” 2010. Doctoral Dissertation, Brown University. Accessed September 17, 2019. https://repository.library.brown.edu/studio/item/bdr:11080/.

MLA Handbook (7th Edition):

Wen, Xiaozhong. “The pathway of fetal programming of cardiovascular disease risks: maternal factors, placental morphology, intrauterine growth restriction, and childhood growth.” 2010. Web. 17 Sep 2019.

Vancouver:

Wen X. The pathway of fetal programming of cardiovascular disease risks: maternal factors, placental morphology, intrauterine growth restriction, and childhood growth. [Internet] [Doctoral dissertation]. Brown University; 2010. [cited 2019 Sep 17]. Available from: https://repository.library.brown.edu/studio/item/bdr:11080/.

Council of Science Editors:

Wen X. The pathway of fetal programming of cardiovascular disease risks: maternal factors, placental morphology, intrauterine growth restriction, and childhood growth. [Doctoral Dissertation]. Brown University; 2010. Available from: https://repository.library.brown.edu/studio/item/bdr:11080/

20. Kadioglu, Serdar. Efficient Search Procedures for Solving Combinatorial Problems.

Degree: PhD, Computer Science, 2012, Brown University

 Solving combinatorial problems is an interplay between search and inference. In this thesis, we focus on search and investigate its important aspects. We start with… (more)

Subjects/Keywords: Constraint Programming

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Kadioglu, S. (2012). Efficient Search Procedures for Solving Combinatorial Problems. (Doctoral Dissertation). Brown University. Retrieved from https://repository.library.brown.edu/studio/item/bdr:297614/

Chicago Manual of Style (16th Edition):

Kadioglu, Serdar. “Efficient Search Procedures for Solving Combinatorial Problems.” 2012. Doctoral Dissertation, Brown University. Accessed September 17, 2019. https://repository.library.brown.edu/studio/item/bdr:297614/.

MLA Handbook (7th Edition):

Kadioglu, Serdar. “Efficient Search Procedures for Solving Combinatorial Problems.” 2012. Web. 17 Sep 2019.

Vancouver:

Kadioglu S. Efficient Search Procedures for Solving Combinatorial Problems. [Internet] [Doctoral dissertation]. Brown University; 2012. [cited 2019 Sep 17]. Available from: https://repository.library.brown.edu/studio/item/bdr:297614/.

Council of Science Editors:

Kadioglu S. Efficient Search Procedures for Solving Combinatorial Problems. [Doctoral Dissertation]. Brown University; 2012. Available from: https://repository.library.brown.edu/studio/item/bdr:297614/


University of Bridgeport

21. Rana, Utpal. Advanced Problems Solution (in Java) .

Degree: 2005, University of Bridgeport

Subjects/Keywords: Programming

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Rana, U. (2005). Advanced Problems Solution (in Java) . (Thesis). University of Bridgeport. Retrieved from https://scholarworks.bridgeport.edu/xmlui/handle/123456789/826

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

Rana, Utpal. “Advanced Problems Solution (in Java) .” 2005. Thesis, University of Bridgeport. Accessed September 17, 2019. https://scholarworks.bridgeport.edu/xmlui/handle/123456789/826.

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

MLA Handbook (7th Edition):

Rana, Utpal. “Advanced Problems Solution (in Java) .” 2005. Web. 17 Sep 2019.

Vancouver:

Rana U. Advanced Problems Solution (in Java) . [Internet] [Thesis]. University of Bridgeport; 2005. [cited 2019 Sep 17]. Available from: https://scholarworks.bridgeport.edu/xmlui/handle/123456789/826.

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

Council of Science Editors:

Rana U. Advanced Problems Solution (in Java) . [Thesis]. University of Bridgeport; 2005. Available from: https://scholarworks.bridgeport.edu/xmlui/handle/123456789/826

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


Università della Svizzera italiana

22. Triglianos, Vasileios. ASQ: active learning with interactive web presentations and classroom analytics.

Degree: 2018, Università della Svizzera italiana

 Today it is commonly accepted that the effectiveness of instructional technology, measured as improvement over the learning outcomes of students, is highly correlated with the… (more)

Subjects/Keywords: Live Programming

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Triglianos, V. (2018). ASQ: active learning with interactive web presentations and classroom analytics. (Thesis). Università della Svizzera italiana. Retrieved from http://doc.rero.ch/record/323122

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

Triglianos, Vasileios. “ASQ: active learning with interactive web presentations and classroom analytics.” 2018. Thesis, Università della Svizzera italiana. Accessed September 17, 2019. http://doc.rero.ch/record/323122.

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

MLA Handbook (7th Edition):

Triglianos, Vasileios. “ASQ: active learning with interactive web presentations and classroom analytics.” 2018. Web. 17 Sep 2019.

Vancouver:

Triglianos V. ASQ: active learning with interactive web presentations and classroom analytics. [Internet] [Thesis]. Università della Svizzera italiana; 2018. [cited 2019 Sep 17]. Available from: http://doc.rero.ch/record/323122.

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

Council of Science Editors:

Triglianos V. ASQ: active learning with interactive web presentations and classroom analytics. [Thesis]. Università della Svizzera italiana; 2018. Available from: http://doc.rero.ch/record/323122

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


Rutgers University

23. Yamangil, Emre, 1984-. Valid inequalities for mixed-integer linear programming problems.

Degree: PhD, Operations Research, 2015, Rutgers University

In this work we focus on various cutting-plane methods for Mixed-integer Linear Programming (MILP) problems. It is well-known that MILP is a fundamental hard problem… (more)

Subjects/Keywords: Linear programming

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Yamangil, Emre, 1. (2015). Valid inequalities for mixed-integer linear programming problems. (Doctoral Dissertation). Rutgers University. Retrieved from https://rucore.libraries.rutgers.edu/rutgers-lib/48729/

Chicago Manual of Style (16th Edition):

Yamangil, Emre, 1984-. “Valid inequalities for mixed-integer linear programming problems.” 2015. Doctoral Dissertation, Rutgers University. Accessed September 17, 2019. https://rucore.libraries.rutgers.edu/rutgers-lib/48729/.

MLA Handbook (7th Edition):

Yamangil, Emre, 1984-. “Valid inequalities for mixed-integer linear programming problems.” 2015. Web. 17 Sep 2019.

Vancouver:

Yamangil, Emre 1. Valid inequalities for mixed-integer linear programming problems. [Internet] [Doctoral dissertation]. Rutgers University; 2015. [cited 2019 Sep 17]. Available from: https://rucore.libraries.rutgers.edu/rutgers-lib/48729/.

Council of Science Editors:

Yamangil, Emre 1. Valid inequalities for mixed-integer linear programming problems. [Doctoral Dissertation]. Rutgers University; 2015. Available from: https://rucore.libraries.rutgers.edu/rutgers-lib/48729/


University of Texas – Austin

24. Benton, Thomas Jonathan. Musical expertise as a scaffold for novice programming.

Degree: PhD, Curriculum and Instruction, 2015, University of Texas – Austin

 This study addresses the role of musical expertise on novice computer programming. Engaging novices with computer programming is one of the great challenges of computer… (more)

Subjects/Keywords: Programming; Music

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Benton, T. J. (2015). Musical expertise as a scaffold for novice programming. (Doctoral Dissertation). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/30935

Chicago Manual of Style (16th Edition):

Benton, Thomas Jonathan. “Musical expertise as a scaffold for novice programming.” 2015. Doctoral Dissertation, University of Texas – Austin. Accessed September 17, 2019. http://hdl.handle.net/2152/30935.

MLA Handbook (7th Edition):

Benton, Thomas Jonathan. “Musical expertise as a scaffold for novice programming.” 2015. Web. 17 Sep 2019.

Vancouver:

Benton TJ. Musical expertise as a scaffold for novice programming. [Internet] [Doctoral dissertation]. University of Texas – Austin; 2015. [cited 2019 Sep 17]. Available from: http://hdl.handle.net/2152/30935.

Council of Science Editors:

Benton TJ. Musical expertise as a scaffold for novice programming. [Doctoral Dissertation]. University of Texas – Austin; 2015. Available from: http://hdl.handle.net/2152/30935


University of Alberta

25. Liu, Guohua. Logic programming with constraints.

Degree: PhD, Department of Computing Science, 2010, University of Alberta

 Answer set programming (ASP), namely logic programming under the answer set semantics, provides a promising constraint programming paradigm, due to its simple syntax, high expressiveness,… (more)

Subjects/Keywords: Constraint programming (Computer science); Logic programming

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Liu, G. (2010). Logic programming with constraints. (Doctoral Dissertation). University of Alberta. Retrieved from https://era.library.ualberta.ca/files/7d278v37f

Chicago Manual of Style (16th Edition):

Liu, Guohua. “Logic programming with constraints.” 2010. Doctoral Dissertation, University of Alberta. Accessed September 17, 2019. https://era.library.ualberta.ca/files/7d278v37f.

MLA Handbook (7th Edition):

Liu, Guohua. “Logic programming with constraints.” 2010. Web. 17 Sep 2019.

Vancouver:

Liu G. Logic programming with constraints. [Internet] [Doctoral dissertation]. University of Alberta; 2010. [cited 2019 Sep 17]. Available from: https://era.library.ualberta.ca/files/7d278v37f.

Council of Science Editors:

Liu G. Logic programming with constraints. [Doctoral Dissertation]. University of Alberta; 2010. Available from: https://era.library.ualberta.ca/files/7d278v37f


University of Alberta

26. Maier, Andrew J. Design and Optimization of Decoders for Low-Denisty Parity Check Codes Synthesized from the OpenCL Specifications.

Degree: MS, Department of Electrical and Computer Engineering, 2016, University of Alberta

 Open Computing Language (OpenCL) is a high-level language that allows developers to produce portable software for heterogeneous parallel computing platforms. OpenCL is available for a… (more)

Subjects/Keywords: OpenCL; LDPC; FPGA; Heterogeneous Programming; Parallel Programming

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Maier, A. J. (2016). Design and Optimization of Decoders for Low-Denisty Parity Check Codes Synthesized from the OpenCL Specifications. (Masters Thesis). University of Alberta. Retrieved from https://era.library.ualberta.ca/files/cjd472w72q

Chicago Manual of Style (16th Edition):

Maier, Andrew J. “Design and Optimization of Decoders for Low-Denisty Parity Check Codes Synthesized from the OpenCL Specifications.” 2016. Masters Thesis, University of Alberta. Accessed September 17, 2019. https://era.library.ualberta.ca/files/cjd472w72q.

MLA Handbook (7th Edition):

Maier, Andrew J. “Design and Optimization of Decoders for Low-Denisty Parity Check Codes Synthesized from the OpenCL Specifications.” 2016. Web. 17 Sep 2019.

Vancouver:

Maier AJ. Design and Optimization of Decoders for Low-Denisty Parity Check Codes Synthesized from the OpenCL Specifications. [Internet] [Masters thesis]. University of Alberta; 2016. [cited 2019 Sep 17]. Available from: https://era.library.ualberta.ca/files/cjd472w72q.

Council of Science Editors:

Maier AJ. Design and Optimization of Decoders for Low-Denisty Parity Check Codes Synthesized from the OpenCL Specifications. [Masters Thesis]. University of Alberta; 2016. Available from: https://era.library.ualberta.ca/files/cjd472w72q


Texas A&M University

27. Park, Myoungkuk. Performance Guarantee of a Sub-Optimal Policy for a Discrete Markov Decision Process and Its Application to a Robotic Surveillance Problem.

Degree: 2014, Texas A&M University

 This dissertation deals with the development and analysis of sub-optimal decision algorithms for a collection of robots that assist a remotely located operator in perimeter… (more)

Subjects/Keywords: Approximate Dynamic programming; Linear programming; patrol problem

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Park, M. (2014). Performance Guarantee of a Sub-Optimal Policy for a Discrete Markov Decision Process and Its Application to a Robotic Surveillance Problem. (Thesis). Texas A&M University. Retrieved from http://hdl.handle.net/1969.1/152659

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

Park, Myoungkuk. “Performance Guarantee of a Sub-Optimal Policy for a Discrete Markov Decision Process and Its Application to a Robotic Surveillance Problem.” 2014. Thesis, Texas A&M University. Accessed September 17, 2019. http://hdl.handle.net/1969.1/152659.

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

MLA Handbook (7th Edition):

Park, Myoungkuk. “Performance Guarantee of a Sub-Optimal Policy for a Discrete Markov Decision Process and Its Application to a Robotic Surveillance Problem.” 2014. Web. 17 Sep 2019.

Vancouver:

Park M. Performance Guarantee of a Sub-Optimal Policy for a Discrete Markov Decision Process and Its Application to a Robotic Surveillance Problem. [Internet] [Thesis]. Texas A&M University; 2014. [cited 2019 Sep 17]. Available from: http://hdl.handle.net/1969.1/152659.

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

Council of Science Editors:

Park M. Performance Guarantee of a Sub-Optimal Policy for a Discrete Markov Decision Process and Its Application to a Robotic Surveillance Problem. [Thesis]. Texas A&M University; 2014. Available from: http://hdl.handle.net/1969.1/152659

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


Victoria University of Wellington

28. Dymnikov, Constantine. OwnKit: Ownership Inference for Java.

Degree: 2013, Victoria University of Wellington

 Object ownership allows us to statically control run-time aliasing in order to provide a strong notion of object encapsulation. Unfortunately in order to use ownership,… (more)

Subjects/Keywords: Encapsulation; Aliasing; Programming languages; Object-oriented programming

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Dymnikov, C. (2013). OwnKit: Ownership Inference for Java. (Masters Thesis). Victoria University of Wellington. Retrieved from http://hdl.handle.net/10063/2742

Chicago Manual of Style (16th Edition):

Dymnikov, Constantine. “OwnKit: Ownership Inference for Java.” 2013. Masters Thesis, Victoria University of Wellington. Accessed September 17, 2019. http://hdl.handle.net/10063/2742.

MLA Handbook (7th Edition):

Dymnikov, Constantine. “OwnKit: Ownership Inference for Java.” 2013. Web. 17 Sep 2019.

Vancouver:

Dymnikov C. OwnKit: Ownership Inference for Java. [Internet] [Masters thesis]. Victoria University of Wellington; 2013. [cited 2019 Sep 17]. Available from: http://hdl.handle.net/10063/2742.

Council of Science Editors:

Dymnikov C. OwnKit: Ownership Inference for Java. [Masters Thesis]. Victoria University of Wellington; 2013. Available from: http://hdl.handle.net/10063/2742


University of Hong Kong

29. Zhang, Weixin. Extensible domain-specific languages in object-oriented programming.

Degree: M. Phil., 2017, University of Hong Kong

Domain-specific languages (DSLs) are now ubiquitous. New DSLs are needed and existing DSLs are evolving all the time. However, creating and maintaining DSLs is hard!… (more)

Subjects/Keywords: Domain-specific programming languages; Object-oriented programming

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Zhang, W. (2017). Extensible domain-specific languages in object-oriented programming. (Masters Thesis). University of Hong Kong. Retrieved from http://hdl.handle.net/10722/241427

Chicago Manual of Style (16th Edition):

Zhang, Weixin. “Extensible domain-specific languages in object-oriented programming.” 2017. Masters Thesis, University of Hong Kong. Accessed September 17, 2019. http://hdl.handle.net/10722/241427.

MLA Handbook (7th Edition):

Zhang, Weixin. “Extensible domain-specific languages in object-oriented programming.” 2017. Web. 17 Sep 2019.

Vancouver:

Zhang W. Extensible domain-specific languages in object-oriented programming. [Internet] [Masters thesis]. University of Hong Kong; 2017. [cited 2019 Sep 17]. Available from: http://hdl.handle.net/10722/241427.

Council of Science Editors:

Zhang W. Extensible domain-specific languages in object-oriented programming. [Masters Thesis]. University of Hong Kong; 2017. Available from: http://hdl.handle.net/10722/241427


Indiana University

30. Byrd, William E. Relational Programming in miniKanren: Techniques, Applications, and Implementations .

Degree: 2010, Indiana University

 The promise of logic programming is that programs can be written relationally, without distinguishing between input and output arguments. Relational programs are remarkably flexible—for example,… (more)

Subjects/Keywords: relational programming; miniKanren; logic programming; Scheme

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Byrd, W. E. (2010). Relational Programming in miniKanren: Techniques, Applications, and Implementations . (Thesis). Indiana University. Retrieved from http://hdl.handle.net/2022/8777

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

Byrd, William E. “Relational Programming in miniKanren: Techniques, Applications, and Implementations .” 2010. Thesis, Indiana University. Accessed September 17, 2019. http://hdl.handle.net/2022/8777.

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

MLA Handbook (7th Edition):

Byrd, William E. “Relational Programming in miniKanren: Techniques, Applications, and Implementations .” 2010. Web. 17 Sep 2019.

Vancouver:

Byrd WE. Relational Programming in miniKanren: Techniques, Applications, and Implementations . [Internet] [Thesis]. Indiana University; 2010. [cited 2019 Sep 17]. Available from: http://hdl.handle.net/2022/8777.

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

Council of Science Editors:

Byrd WE. Relational Programming in miniKanren: Techniques, Applications, and Implementations . [Thesis]. Indiana University; 2010. Available from: http://hdl.handle.net/2022/8777

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

[1] [2] [3] [4] [5] … [331]

.