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

[1] [2] [3] [4] [5]

Search Limiters

Last 2 Years | English Only

Degrees

Levels

Country

▼ Search Limiters

1. Hao, Wu. Automated Metamodel Instance Generation Satisfying Quantitative Constraints.

Degree: 2013, RIAN

 Metamodels are the core of the metamodeling approach and widely used in model driven architecture. The high abstraction level provided by metamodels makes the metamodeling… (more)

Subjects/Keywords: Computer Science; Automated Metamodel Instance; Quantitative Constraints

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Hao, W. (2013). Automated Metamodel Instance Generation Satisfying Quantitative Constraints. (Thesis). RIAN. Retrieved from http://eprints.maynoothuniversity.ie/5614/

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

Hao, Wu. “Automated Metamodel Instance Generation Satisfying Quantitative Constraints.” 2013. Thesis, RIAN. Accessed April 23, 2019. http://eprints.maynoothuniversity.ie/5614/.

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

MLA Handbook (7th Edition):

Hao, Wu. “Automated Metamodel Instance Generation Satisfying Quantitative Constraints.” 2013. Web. 23 Apr 2019.

Vancouver:

Hao W. Automated Metamodel Instance Generation Satisfying Quantitative Constraints. [Internet] [Thesis]. RIAN; 2013. [cited 2019 Apr 23]. Available from: http://eprints.maynoothuniversity.ie/5614/.

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

Council of Science Editors:

Hao W. Automated Metamodel Instance Generation Satisfying Quantitative Constraints. [Thesis]. RIAN; 2013. Available from: http://eprints.maynoothuniversity.ie/5614/

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


Cornell University

2. Ly, Daniel. Automated Telescience: Active Machine Learning Of Remote Dynamical Systems .

Degree: 2013, Cornell University

Automated science is an emerging field of research and technology that aims to extend the role of computers in science from a tool that stores… (more)

Subjects/Keywords: Automated science; Machine learning; Remote experimentation

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Ly, D. (2013). Automated Telescience: Active Machine Learning Of Remote Dynamical Systems . (Thesis). Cornell University. Retrieved from http://hdl.handle.net/1813/34229

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

Ly, Daniel. “Automated Telescience: Active Machine Learning Of Remote Dynamical Systems .” 2013. Thesis, Cornell University. Accessed April 23, 2019. http://hdl.handle.net/1813/34229.

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

MLA Handbook (7th Edition):

Ly, Daniel. “Automated Telescience: Active Machine Learning Of Remote Dynamical Systems .” 2013. Web. 23 Apr 2019.

Vancouver:

Ly D. Automated Telescience: Active Machine Learning Of Remote Dynamical Systems . [Internet] [Thesis]. Cornell University; 2013. [cited 2019 Apr 23]. Available from: http://hdl.handle.net/1813/34229.

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

Council of Science Editors:

Ly D. Automated Telescience: Active Machine Learning Of Remote Dynamical Systems . [Thesis]. Cornell University; 2013. Available from: http://hdl.handle.net/1813/34229

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


University of California – Irvine

3. Achar, Rohan. Automatic Builds of Large Software Repositories.

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

 A large number of open source projects are hosted on the Internet by popular repository sites like GitHub, SourceForge, BitBucket, etc. These repositories are becoming… (more)

Subjects/Keywords: Information science; Computer science; Automated compilation; Mining software repositories; Software engineering

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Achar, R. (2015). Automatic Builds of Large Software Repositories. (Thesis). University of California – Irvine. Retrieved from http://www.escholarship.org/uc/item/8946w97h

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

Achar, Rohan. “Automatic Builds of Large Software Repositories.” 2015. Thesis, University of California – Irvine. Accessed April 23, 2019. http://www.escholarship.org/uc/item/8946w97h.

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

MLA Handbook (7th Edition):

Achar, Rohan. “Automatic Builds of Large Software Repositories.” 2015. Web. 23 Apr 2019.

Vancouver:

Achar R. Automatic Builds of Large Software Repositories. [Internet] [Thesis]. University of California – Irvine; 2015. [cited 2019 Apr 23]. Available from: http://www.escholarship.org/uc/item/8946w97h.

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

Council of Science Editors:

Achar R. Automatic Builds of Large Software Repositories. [Thesis]. University of California – Irvine; 2015. Available from: http://www.escholarship.org/uc/item/8946w97h

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


University of Oxford

4. Momtahan, Lee. Small model theorems for data independent systems in Alloy.

Degree: 2007, University of Oxford

 A system is data independent in a type T if the only operations allowed on variables of type T are input, output, assignment and equality… (more)

Subjects/Keywords: 005.3; Computer science (mathematics) : Automated verification : data independence : Alloy

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Momtahan, L. (2007). Small model theorems for data independent systems in Alloy. (Doctoral Dissertation). University of Oxford. Retrieved from http://ora.ox.ac.uk/objects/uuid:361f81e2-ab8a-468d-b614-058eeefd6e0b ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.491500

Chicago Manual of Style (16th Edition):

Momtahan, Lee. “Small model theorems for data independent systems in Alloy.” 2007. Doctoral Dissertation, University of Oxford. Accessed April 23, 2019. http://ora.ox.ac.uk/objects/uuid:361f81e2-ab8a-468d-b614-058eeefd6e0b ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.491500.

MLA Handbook (7th Edition):

Momtahan, Lee. “Small model theorems for data independent systems in Alloy.” 2007. Web. 23 Apr 2019.

Vancouver:

Momtahan L. Small model theorems for data independent systems in Alloy. [Internet] [Doctoral dissertation]. University of Oxford; 2007. [cited 2019 Apr 23]. Available from: http://ora.ox.ac.uk/objects/uuid:361f81e2-ab8a-468d-b614-058eeefd6e0b ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.491500.

Council of Science Editors:

Momtahan L. Small model theorems for data independent systems in Alloy. [Doctoral Dissertation]. University of Oxford; 2007. Available from: http://ora.ox.ac.uk/objects/uuid:361f81e2-ab8a-468d-b614-058eeefd6e0b ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.491500


Univerzitet u Beogradu

5. Banković, Milan M., 1982-. Унапређивање SMT решаваче коришћењем CSP техника и техника паралелизације.

Degree: Matematički fakultet, 2017, Univerzitet u Beogradu

Рачунарство - Аутоматско резоновање / Computer science - Automated reasoning

SMT решавачи имплементирају процедуре одлучивања за испитивање задовољивости логичких формула првог реда у односу на… (more)

Subjects/Keywords: computer science; automated reasoning; SAT solvers; SMT solvers; CSP solvers; parallelization

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Banković, Milan M., 1. (2017). Унапређивање SMT решаваче коришћењем CSP техника и техника паралелизације. (Thesis). Univerzitet u Beogradu. Retrieved from https://fedorabg.bg.ac.rs/fedora/get/o:15293/bdef:Content/get

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

Banković, Milan M., 1982-. “Унапређивање SMT решаваче коришћењем CSP техника и техника паралелизације.” 2017. Thesis, Univerzitet u Beogradu. Accessed April 23, 2019. https://fedorabg.bg.ac.rs/fedora/get/o:15293/bdef:Content/get.

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

MLA Handbook (7th Edition):

Banković, Milan M., 1982-. “Унапређивање SMT решаваче коришћењем CSP техника и техника паралелизације.” 2017. Web. 23 Apr 2019.

Vancouver:

Banković, Milan M. 1. Унапређивање SMT решаваче коришћењем CSP техника и техника паралелизације. [Internet] [Thesis]. Univerzitet u Beogradu; 2017. [cited 2019 Apr 23]. Available from: https://fedorabg.bg.ac.rs/fedora/get/o:15293/bdef:Content/get.

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

Council of Science Editors:

Banković, Milan M. 1. Унапређивање SMT решаваче коришћењем CSP техника и техника паралелизације. [Thesis]. Univerzitet u Beogradu; 2017. Available from: https://fedorabg.bg.ac.rs/fedora/get/o:15293/bdef:Content/get

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


Wright State University

6. Swamy, Sneha. Transformation of Object-Oriented Associations and Embedded References to Them.

Degree: MSCE, Computer Engineering, 2008, Wright State University

 AFIT Wide Spectrum Object Modeling Environment (AWSOME) automatically generates executable code by applying transforms to the formal specifications developed from the domain knowledge. AWSOME uses… (more)

Subjects/Keywords: Computer Science; Technology; Automated code generation; software Engineering; associations; transforms; OCL

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Swamy, S. (2008). Transformation of Object-Oriented Associations and Embedded References to Them. (Masters Thesis). Wright State University. Retrieved from http://rave.ohiolink.edu/etdc/view?acc_num=wright1218692829

Chicago Manual of Style (16th Edition):

Swamy, Sneha. “Transformation of Object-Oriented Associations and Embedded References to Them.” 2008. Masters Thesis, Wright State University. Accessed April 23, 2019. http://rave.ohiolink.edu/etdc/view?acc_num=wright1218692829.

MLA Handbook (7th Edition):

Swamy, Sneha. “Transformation of Object-Oriented Associations and Embedded References to Them.” 2008. Web. 23 Apr 2019.

Vancouver:

Swamy S. Transformation of Object-Oriented Associations and Embedded References to Them. [Internet] [Masters thesis]. Wright State University; 2008. [cited 2019 Apr 23]. Available from: http://rave.ohiolink.edu/etdc/view?acc_num=wright1218692829.

Council of Science Editors:

Swamy S. Transformation of Object-Oriented Associations and Embedded References to Them. [Masters Thesis]. Wright State University; 2008. Available from: http://rave.ohiolink.edu/etdc/view?acc_num=wright1218692829


The Ohio State University

7. Kerwin, Thomas. Enhancements in Volumetric Surgical Simulation.

Degree: PhD, Computer Science and Engineering, 2011, The Ohio State University

  Computer surgical simulation has a great deal of potential in medical education and testing. However, there are numerous problems in integrating simulation software technology… (more)

Subjects/Keywords: Computer Science; Medical Imaging; Surgical simulation; visualization; automated assessment; volume rendering

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Kerwin, T. (2011). Enhancements in Volumetric Surgical Simulation. (Doctoral Dissertation). The Ohio State University. Retrieved from http://rave.ohiolink.edu/etdc/view?acc_num=osu1306163401

Chicago Manual of Style (16th Edition):

Kerwin, Thomas. “Enhancements in Volumetric Surgical Simulation.” 2011. Doctoral Dissertation, The Ohio State University. Accessed April 23, 2019. http://rave.ohiolink.edu/etdc/view?acc_num=osu1306163401.

MLA Handbook (7th Edition):

Kerwin, Thomas. “Enhancements in Volumetric Surgical Simulation.” 2011. Web. 23 Apr 2019.

Vancouver:

Kerwin T. Enhancements in Volumetric Surgical Simulation. [Internet] [Doctoral dissertation]. The Ohio State University; 2011. [cited 2019 Apr 23]. Available from: http://rave.ohiolink.edu/etdc/view?acc_num=osu1306163401.

Council of Science Editors:

Kerwin T. Enhancements in Volumetric Surgical Simulation. [Doctoral Dissertation]. The Ohio State University; 2011. Available from: http://rave.ohiolink.edu/etdc/view?acc_num=osu1306163401

8. Cheng, Zheng. nExaminer: A Semi-automated Assignment Assessment Framework for Moodle.

Degree: 2011, RIAN

 In this paper, we present the nExaminer framework for semi-automated assignment assessment in an open source virtual learning system, namely, Moodle. The motivation for developing… (more)

Subjects/Keywords: Computer Science; nExaminer; Semi-automated Assignment Assessment Framework; Moodle

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Cheng, Z. (2011). nExaminer: A Semi-automated Assignment Assessment Framework for Moodle. (Thesis). RIAN. Retrieved from http://eprints.maynoothuniversity.ie/5360/

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

Cheng, Zheng. “nExaminer: A Semi-automated Assignment Assessment Framework for Moodle.” 2011. Thesis, RIAN. Accessed April 23, 2019. http://eprints.maynoothuniversity.ie/5360/.

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

MLA Handbook (7th Edition):

Cheng, Zheng. “nExaminer: A Semi-automated Assignment Assessment Framework for Moodle.” 2011. Web. 23 Apr 2019.

Vancouver:

Cheng Z. nExaminer: A Semi-automated Assignment Assessment Framework for Moodle. [Internet] [Thesis]. RIAN; 2011. [cited 2019 Apr 23]. Available from: http://eprints.maynoothuniversity.ie/5360/.

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

Council of Science Editors:

Cheng Z. nExaminer: A Semi-automated Assignment Assessment Framework for Moodle. [Thesis]. RIAN; 2011. Available from: http://eprints.maynoothuniversity.ie/5360/

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


Kent State University

9. Newman, Christian D. A SOURCE CODE TRANSFORMATION LANGUAGE TO SUPPORT SOFTWARE EVOLUTION.

Degree: PhD, College of Arts and Sciences / Department of Computer Science, 2017, Kent State University

 The research presented in the dissertation focuses on the construction and evaluation of a transformation language to support software maintenance. The language, srcTL, is built… (more)

Subjects/Keywords: Computer Science; program transformation; software maintenance; software evolution; automated refactoring

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Newman, C. D. (2017). A SOURCE CODE TRANSFORMATION LANGUAGE TO SUPPORT SOFTWARE EVOLUTION. (Doctoral Dissertation). Kent State University. Retrieved from http://rave.ohiolink.edu/etdc/view?acc_num=kent1500560236029486

Chicago Manual of Style (16th Edition):

Newman, Christian D. “A SOURCE CODE TRANSFORMATION LANGUAGE TO SUPPORT SOFTWARE EVOLUTION.” 2017. Doctoral Dissertation, Kent State University. Accessed April 23, 2019. http://rave.ohiolink.edu/etdc/view?acc_num=kent1500560236029486.

MLA Handbook (7th Edition):

Newman, Christian D. “A SOURCE CODE TRANSFORMATION LANGUAGE TO SUPPORT SOFTWARE EVOLUTION.” 2017. Web. 23 Apr 2019.

Vancouver:

Newman CD. A SOURCE CODE TRANSFORMATION LANGUAGE TO SUPPORT SOFTWARE EVOLUTION. [Internet] [Doctoral dissertation]. Kent State University; 2017. [cited 2019 Apr 23]. Available from: http://rave.ohiolink.edu/etdc/view?acc_num=kent1500560236029486.

Council of Science Editors:

Newman CD. A SOURCE CODE TRANSFORMATION LANGUAGE TO SUPPORT SOFTWARE EVOLUTION. [Doctoral Dissertation]. Kent State University; 2017. Available from: http://rave.ohiolink.edu/etdc/view?acc_num=kent1500560236029486


University of California – Merced

10. Kyrilov, Angelo. Using Case-Based Reasoning to Improve the Quality of Feedback Provided by Automated Assessment Systems for Programming Exercises.

Degree: Electrical Engineering and Computer Science, 2017, University of California – Merced

 Information technology is now ubiquitous in higher education institutions worldwide. More than 85% of American universities use e-learning systems to supplement traditional classroom activities. An… (more)

Subjects/Keywords: Computer science; Automated Assessment; Case-Based Reasoning; E-Learning; Plagiarism

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Kyrilov, A. (2017). Using Case-Based Reasoning to Improve the Quality of Feedback Provided by Automated Assessment Systems for Programming Exercises. (Thesis). University of California – Merced. Retrieved from http://www.escholarship.org/uc/item/0r05m1m4

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

Kyrilov, Angelo. “Using Case-Based Reasoning to Improve the Quality of Feedback Provided by Automated Assessment Systems for Programming Exercises.” 2017. Thesis, University of California – Merced. Accessed April 23, 2019. http://www.escholarship.org/uc/item/0r05m1m4.

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

MLA Handbook (7th Edition):

Kyrilov, Angelo. “Using Case-Based Reasoning to Improve the Quality of Feedback Provided by Automated Assessment Systems for Programming Exercises.” 2017. Web. 23 Apr 2019.

Vancouver:

Kyrilov A. Using Case-Based Reasoning to Improve the Quality of Feedback Provided by Automated Assessment Systems for Programming Exercises. [Internet] [Thesis]. University of California – Merced; 2017. [cited 2019 Apr 23]. Available from: http://www.escholarship.org/uc/item/0r05m1m4.

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

Council of Science Editors:

Kyrilov A. Using Case-Based Reasoning to Improve the Quality of Feedback Provided by Automated Assessment Systems for Programming Exercises. [Thesis]. University of California – Merced; 2017. Available from: http://www.escholarship.org/uc/item/0r05m1m4

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


University of Washington

11. Grabaskas, Nathaniel J. Automated Parallelization to Improve Usability and Efficiency of Distributed Neural Network Training.

Degree: 2018, University of Washington

 The recent success of Deep Neural Networks (DNNs) [1] has triggered a race to build larger and larger DNNs [2]; however, a known limitation is… (more)

Subjects/Keywords: Automated; Distributed; Neural Networks; Parallel; Computer science; Computing and software systems

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Grabaskas, N. J. (2018). Automated Parallelization to Improve Usability and Efficiency of Distributed Neural Network Training. (Thesis). University of Washington. Retrieved from http://hdl.handle.net/1773/41725

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

Grabaskas, Nathaniel J. “Automated Parallelization to Improve Usability and Efficiency of Distributed Neural Network Training.” 2018. Thesis, University of Washington. Accessed April 23, 2019. http://hdl.handle.net/1773/41725.

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

MLA Handbook (7th Edition):

Grabaskas, Nathaniel J. “Automated Parallelization to Improve Usability and Efficiency of Distributed Neural Network Training.” 2018. Web. 23 Apr 2019.

Vancouver:

Grabaskas NJ. Automated Parallelization to Improve Usability and Efficiency of Distributed Neural Network Training. [Internet] [Thesis]. University of Washington; 2018. [cited 2019 Apr 23]. Available from: http://hdl.handle.net/1773/41725.

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

Council of Science Editors:

Grabaskas NJ. Automated Parallelization to Improve Usability and Efficiency of Distributed Neural Network Training. [Thesis]. University of Washington; 2018. Available from: http://hdl.handle.net/1773/41725

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


Duke University

12. Borisov, Nedyalko Krasimirov. Integrated Management of the Persistent-Storage and Data-Processing Layers in Data-Intensive Computing Systems .

Degree: 2012, Duke University

  Over the next decade, it is estimated that the number of servers (virtual and physical) in enterprise datacenters will grow by a factor of… (more)

Subjects/Keywords: Computer science; automated testing; management; proactive detection; problem diagnosis

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Borisov, N. K. (2012). Integrated Management of the Persistent-Storage and Data-Processing Layers in Data-Intensive Computing Systems . (Thesis). Duke University. Retrieved from http://hdl.handle.net/10161/5806

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

Borisov, Nedyalko Krasimirov. “Integrated Management of the Persistent-Storage and Data-Processing Layers in Data-Intensive Computing Systems .” 2012. Thesis, Duke University. Accessed April 23, 2019. http://hdl.handle.net/10161/5806.

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

MLA Handbook (7th Edition):

Borisov, Nedyalko Krasimirov. “Integrated Management of the Persistent-Storage and Data-Processing Layers in Data-Intensive Computing Systems .” 2012. Web. 23 Apr 2019.

Vancouver:

Borisov NK. Integrated Management of the Persistent-Storage and Data-Processing Layers in Data-Intensive Computing Systems . [Internet] [Thesis]. Duke University; 2012. [cited 2019 Apr 23]. Available from: http://hdl.handle.net/10161/5806.

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

Council of Science Editors:

Borisov NK. Integrated Management of the Persistent-Storage and Data-Processing Layers in Data-Intensive Computing Systems . [Thesis]. Duke University; 2012. Available from: http://hdl.handle.net/10161/5806

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


Iowa State University

13. Ke, Yalin. An automated approach to program repair with semantic code search.

Degree: 2015, Iowa State University

 Every year software companies dedicate numerous developer hours to debugging and fixing defects. Automated program repair has the potential to greatly decrease the costs of… (more)

Subjects/Keywords: Computer Science; automated; program repair; semantic code search; Computer Sciences

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Ke, Y. (2015). An automated approach to program repair with semantic code search. (Thesis). Iowa State University. Retrieved from https://lib.dr.iastate.edu/etd/14813

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

Ke, Yalin. “An automated approach to program repair with semantic code search.” 2015. Thesis, Iowa State University. Accessed April 23, 2019. https://lib.dr.iastate.edu/etd/14813.

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

MLA Handbook (7th Edition):

Ke, Yalin. “An automated approach to program repair with semantic code search.” 2015. Web. 23 Apr 2019.

Vancouver:

Ke Y. An automated approach to program repair with semantic code search. [Internet] [Thesis]. Iowa State University; 2015. [cited 2019 Apr 23]. Available from: https://lib.dr.iastate.edu/etd/14813.

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

Council of Science Editors:

Ke Y. An automated approach to program repair with semantic code search. [Thesis]. Iowa State University; 2015. Available from: https://lib.dr.iastate.edu/etd/14813

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


UCLA

14. Sengupta, Debleena. Deep Learning Architectures for Automated Image Segmentation.

Degree: Computer Science, 2019, UCLA

 Image segmentation is widely used in a variety of computer vision tasks, such as object localization and recognition, boundary detection, and medical imaging. This thesis… (more)

Subjects/Keywords: Computer science; automated segmentation; computer vision; deep learning; image segmentation

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Sengupta, D. (2019). Deep Learning Architectures for Automated Image Segmentation. (Thesis). UCLA. Retrieved from http://www.escholarship.org/uc/item/6gb3k51s

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

Sengupta, Debleena. “Deep Learning Architectures for Automated Image Segmentation.” 2019. Thesis, UCLA. Accessed April 23, 2019. http://www.escholarship.org/uc/item/6gb3k51s.

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

MLA Handbook (7th Edition):

Sengupta, Debleena. “Deep Learning Architectures for Automated Image Segmentation.” 2019. Web. 23 Apr 2019.

Vancouver:

Sengupta D. Deep Learning Architectures for Automated Image Segmentation. [Internet] [Thesis]. UCLA; 2019. [cited 2019 Apr 23]. Available from: http://www.escholarship.org/uc/item/6gb3k51s.

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

Council of Science Editors:

Sengupta D. Deep Learning Architectures for Automated Image Segmentation. [Thesis]. UCLA; 2019. Available from: http://www.escholarship.org/uc/item/6gb3k51s

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


University of Kentucky

15. Dolecheck, Karmella Ann. ASSESSMENT OF THE TECHNICAL AND ECONOMIC POTENTIAL OF AUTOMATED ESTRUS DETECTION TECHNOLOGIES FOR DAIRY CATTLE.

Degree: 2015, University of Kentucky

 Poor estrus detection can limit the reproductive performance of a dairy herd. One objective of this research was to evaluate an alternative method to traditional… (more)

Subjects/Keywords: Estrus Detection; Automated Estrus Detection; Precision Dairy Farming; Automated Activity Monitoring; Decision Support Tool; Agriculture; Animal Sciences; Dairy Science

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Dolecheck, K. A. (2015). ASSESSMENT OF THE TECHNICAL AND ECONOMIC POTENTIAL OF AUTOMATED ESTRUS DETECTION TECHNOLOGIES FOR DAIRY CATTLE. (Masters Thesis). University of Kentucky. Retrieved from http://uknowledge.uky.edu/animalsci_etds/44

Chicago Manual of Style (16th Edition):

Dolecheck, Karmella Ann. “ASSESSMENT OF THE TECHNICAL AND ECONOMIC POTENTIAL OF AUTOMATED ESTRUS DETECTION TECHNOLOGIES FOR DAIRY CATTLE.” 2015. Masters Thesis, University of Kentucky. Accessed April 23, 2019. http://uknowledge.uky.edu/animalsci_etds/44.

MLA Handbook (7th Edition):

Dolecheck, Karmella Ann. “ASSESSMENT OF THE TECHNICAL AND ECONOMIC POTENTIAL OF AUTOMATED ESTRUS DETECTION TECHNOLOGIES FOR DAIRY CATTLE.” 2015. Web. 23 Apr 2019.

Vancouver:

Dolecheck KA. ASSESSMENT OF THE TECHNICAL AND ECONOMIC POTENTIAL OF AUTOMATED ESTRUS DETECTION TECHNOLOGIES FOR DAIRY CATTLE. [Internet] [Masters thesis]. University of Kentucky; 2015. [cited 2019 Apr 23]. Available from: http://uknowledge.uky.edu/animalsci_etds/44.

Council of Science Editors:

Dolecheck KA. ASSESSMENT OF THE TECHNICAL AND ECONOMIC POTENTIAL OF AUTOMATED ESTRUS DETECTION TECHNOLOGIES FOR DAIRY CATTLE. [Masters Thesis]. University of Kentucky; 2015. Available from: http://uknowledge.uky.edu/animalsci_etds/44


University of Oxford

16. Haller, Leopold Carl Robert. Abstract satisfaction.

Degree: PhD, 2013, University of Oxford

 This dissertation shows that satisfiability procedures are abstract interpreters. This insight provides a unified view of program analysis and satisfiability solving and enables technology transfer… (more)

Subjects/Keywords: 005.7; Computer science (mathematics); Computing; Theory and automated verification; logic; satisfiability; abstract interpretation; program analysis

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Haller, L. C. R. (2013). Abstract satisfaction. (Doctoral Dissertation). University of Oxford. Retrieved from http://ora.ox.ac.uk/objects/uuid:68f76f3a-485b-4c98-8d02-5e8d6b844b4e ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.604436

Chicago Manual of Style (16th Edition):

Haller, Leopold Carl Robert. “Abstract satisfaction.” 2013. Doctoral Dissertation, University of Oxford. Accessed April 23, 2019. http://ora.ox.ac.uk/objects/uuid:68f76f3a-485b-4c98-8d02-5e8d6b844b4e ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.604436.

MLA Handbook (7th Edition):

Haller, Leopold Carl Robert. “Abstract satisfaction.” 2013. Web. 23 Apr 2019.

Vancouver:

Haller LCR. Abstract satisfaction. [Internet] [Doctoral dissertation]. University of Oxford; 2013. [cited 2019 Apr 23]. Available from: http://ora.ox.ac.uk/objects/uuid:68f76f3a-485b-4c98-8d02-5e8d6b844b4e ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.604436.

Council of Science Editors:

Haller LCR. Abstract satisfaction. [Doctoral Dissertation]. University of Oxford; 2013. Available from: http://ora.ox.ac.uk/objects/uuid:68f76f3a-485b-4c98-8d02-5e8d6b844b4e ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.604436


University of Kentucky

17. Mayo, Lauren M. ASSESSING THE EFFICACY OF AUTOMATED DETECTION OF ESTRUS IN DAIRY CATTLE.

Degree: 2015, University of Kentucky

 The detection of estrus continues to be a primary factor contributing to poor reproductive performance in modern dairy cattle. The objectives of this research were… (more)

Subjects/Keywords: automated detection of estrus; precision dairy technology; behaviors of estrus; Dairy Science

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Mayo, L. M. (2015). ASSESSING THE EFFICACY OF AUTOMATED DETECTION OF ESTRUS IN DAIRY CATTLE. (Masters Thesis). University of Kentucky. Retrieved from http://uknowledge.uky.edu/animalsci_etds/51

Chicago Manual of Style (16th Edition):

Mayo, Lauren M. “ASSESSING THE EFFICACY OF AUTOMATED DETECTION OF ESTRUS IN DAIRY CATTLE.” 2015. Masters Thesis, University of Kentucky. Accessed April 23, 2019. http://uknowledge.uky.edu/animalsci_etds/51.

MLA Handbook (7th Edition):

Mayo, Lauren M. “ASSESSING THE EFFICACY OF AUTOMATED DETECTION OF ESTRUS IN DAIRY CATTLE.” 2015. Web. 23 Apr 2019.

Vancouver:

Mayo LM. ASSESSING THE EFFICACY OF AUTOMATED DETECTION OF ESTRUS IN DAIRY CATTLE. [Internet] [Masters thesis]. University of Kentucky; 2015. [cited 2019 Apr 23]. Available from: http://uknowledge.uky.edu/animalsci_etds/51.

Council of Science Editors:

Mayo LM. ASSESSING THE EFFICACY OF AUTOMATED DETECTION OF ESTRUS IN DAIRY CATTLE. [Masters Thesis]. University of Kentucky; 2015. Available from: http://uknowledge.uky.edu/animalsci_etds/51


The Ohio State University

18. Adcock, Bruce M. Working Towards the Verified Software Process.

Degree: PhD, Computer Science and Engineering, 2010, The Ohio State University

  Numerous pieces of the software verification puzzle need to fit together in order to achieve that vision. First, there must be a programming language… (more)

Subjects/Keywords: Computer Science; Software engineering; software verification; automated theorem prover; lazy copying; Resolve; debugging

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Adcock, B. M. (2010). Working Towards the Verified Software Process. (Doctoral Dissertation). The Ohio State University. Retrieved from http://rave.ohiolink.edu/etdc/view?acc_num=osu1293463269

Chicago Manual of Style (16th Edition):

Adcock, Bruce M. “Working Towards the Verified Software Process.” 2010. Doctoral Dissertation, The Ohio State University. Accessed April 23, 2019. http://rave.ohiolink.edu/etdc/view?acc_num=osu1293463269.

MLA Handbook (7th Edition):

Adcock, Bruce M. “Working Towards the Verified Software Process.” 2010. Web. 23 Apr 2019.

Vancouver:

Adcock BM. Working Towards the Verified Software Process. [Internet] [Doctoral dissertation]. The Ohio State University; 2010. [cited 2019 Apr 23]. Available from: http://rave.ohiolink.edu/etdc/view?acc_num=osu1293463269.

Council of Science Editors:

Adcock BM. Working Towards the Verified Software Process. [Doctoral Dissertation]. The Ohio State University; 2010. Available from: http://rave.ohiolink.edu/etdc/view?acc_num=osu1293463269


University of Oxford

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

Degree: PhD, 2014, University of Oxford

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

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

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

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

Chicago Manual of Style (16th Edition):

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

MLA Handbook (7th Edition):

Neatherway, Robin Philip. “Higher-order model checking with traversals.” 2014. Web. 23 Apr 2019.

Vancouver:

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

Council of Science Editors:

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


Case Western Reserve University

20. Thungtong, Anurak. REAL-TIME AUTOMATED SLEEP SCORING OF NEONATES.

Degree: MSs, Electrical Engineering, 2008, Case Western Reserve University

 Observation of sleep state can provide very useful information for understanding brain disorders in neonates. The neurologist visually scores sleep state according to the polysomnogram.… (more)

Subjects/Keywords: Engineering, System Science; Sleep scoring; EEG; Automated; Real-time; Neonate; Wavelet; PCA; SVM

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Thungtong, A. (2008). REAL-TIME AUTOMATED SLEEP SCORING OF NEONATES. (Masters Thesis). Case Western Reserve University. Retrieved from http://rave.ohiolink.edu/etdc/view?acc_num=case1194467225

Chicago Manual of Style (16th Edition):

Thungtong, Anurak. “REAL-TIME AUTOMATED SLEEP SCORING OF NEONATES.” 2008. Masters Thesis, Case Western Reserve University. Accessed April 23, 2019. http://rave.ohiolink.edu/etdc/view?acc_num=case1194467225.

MLA Handbook (7th Edition):

Thungtong, Anurak. “REAL-TIME AUTOMATED SLEEP SCORING OF NEONATES.” 2008. Web. 23 Apr 2019.

Vancouver:

Thungtong A. REAL-TIME AUTOMATED SLEEP SCORING OF NEONATES. [Internet] [Masters thesis]. Case Western Reserve University; 2008. [cited 2019 Apr 23]. Available from: http://rave.ohiolink.edu/etdc/view?acc_num=case1194467225.

Council of Science Editors:

Thungtong A. REAL-TIME AUTOMATED SLEEP SCORING OF NEONATES. [Masters Thesis]. Case Western Reserve University; 2008. Available from: http://rave.ohiolink.edu/etdc/view?acc_num=case1194467225


University of California – Berkeley

21. Cho, Chia Yuan. Techniques for Model Inference and Bug Finding.

Degree: Computer Science, 2013, University of California – Berkeley

 Security bugs in network-based applications allow an attacker to compromise a system from the network. Existing techniques to find bugs in network-based applications are limited… (more)

Subjects/Keywords: Computer science; Automated Reasoning; Bounded Model Checking; Model Inference; Program Analysis; Symbolic Execution

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Cho, C. Y. (2013). Techniques for Model Inference and Bug Finding. (Thesis). University of California – Berkeley. Retrieved from http://www.escholarship.org/uc/item/7129s7s9

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

Cho, Chia Yuan. “Techniques for Model Inference and Bug Finding.” 2013. Thesis, University of California – Berkeley. Accessed April 23, 2019. http://www.escholarship.org/uc/item/7129s7s9.

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

MLA Handbook (7th Edition):

Cho, Chia Yuan. “Techniques for Model Inference and Bug Finding.” 2013. Web. 23 Apr 2019.

Vancouver:

Cho CY. Techniques for Model Inference and Bug Finding. [Internet] [Thesis]. University of California – Berkeley; 2013. [cited 2019 Apr 23]. Available from: http://www.escholarship.org/uc/item/7129s7s9.

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

Council of Science Editors:

Cho CY. Techniques for Model Inference and Bug Finding. [Thesis]. University of California – Berkeley; 2013. Available from: http://www.escholarship.org/uc/item/7129s7s9

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


Arizona State University

22. Nandakumar, Vivek. Three-dimensional Morphometric Biosignatures Of Cancer By Automated Analysis Of Transmission-mode Optical Cell CT Images.

Degree: PhD, Electrical Engineering, 2013, Arizona State University

 Despite significant advances in digital pathology and automation sciences, current diagnostic practice for cancer detection primarily relies on a qualitative manual inspection of tissue architecture… (more)

Subjects/Keywords: Electrical engineering; Computer science; Automated; early cancer detection; Morphometric; optical cell CT; Three-dimensional

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Nandakumar, V. (2013). Three-dimensional Morphometric Biosignatures Of Cancer By Automated Analysis Of Transmission-mode Optical Cell CT Images. (Doctoral Dissertation). Arizona State University. Retrieved from http://repository.asu.edu/items/18668

Chicago Manual of Style (16th Edition):

Nandakumar, Vivek. “Three-dimensional Morphometric Biosignatures Of Cancer By Automated Analysis Of Transmission-mode Optical Cell CT Images.” 2013. Doctoral Dissertation, Arizona State University. Accessed April 23, 2019. http://repository.asu.edu/items/18668.

MLA Handbook (7th Edition):

Nandakumar, Vivek. “Three-dimensional Morphometric Biosignatures Of Cancer By Automated Analysis Of Transmission-mode Optical Cell CT Images.” 2013. Web. 23 Apr 2019.

Vancouver:

Nandakumar V. Three-dimensional Morphometric Biosignatures Of Cancer By Automated Analysis Of Transmission-mode Optical Cell CT Images. [Internet] [Doctoral dissertation]. Arizona State University; 2013. [cited 2019 Apr 23]. Available from: http://repository.asu.edu/items/18668.

Council of Science Editors:

Nandakumar V. Three-dimensional Morphometric Biosignatures Of Cancer By Automated Analysis Of Transmission-mode Optical Cell CT Images. [Doctoral Dissertation]. Arizona State University; 2013. Available from: http://repository.asu.edu/items/18668


University of North Texas

23. Koppula, Sreedevi. Automated GUI Tests Generation for Android Apps Using Q-learning.

Degree: 2017, University of North Texas

 Mobile applications are growing in popularity and pose new problems in the area of software testing. In particular, mobile applications heavily depend upon user interactions… (more)

Subjects/Keywords: Automated GUI Testing; Android applications; Dynamic action selection; Q-learning; Computer Science

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Koppula, S. (2017). Automated GUI Tests Generation for Android Apps Using Q-learning. (Thesis). University of North Texas. Retrieved from https://digital.library.unt.edu/ark:/67531/metadc984181/

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

Koppula, Sreedevi. “Automated GUI Tests Generation for Android Apps Using Q-learning.” 2017. Thesis, University of North Texas. Accessed April 23, 2019. https://digital.library.unt.edu/ark:/67531/metadc984181/.

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

MLA Handbook (7th Edition):

Koppula, Sreedevi. “Automated GUI Tests Generation for Android Apps Using Q-learning.” 2017. Web. 23 Apr 2019.

Vancouver:

Koppula S. Automated GUI Tests Generation for Android Apps Using Q-learning. [Internet] [Thesis]. University of North Texas; 2017. [cited 2019 Apr 23]. Available from: https://digital.library.unt.edu/ark:/67531/metadc984181/.

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

Council of Science Editors:

Koppula S. Automated GUI Tests Generation for Android Apps Using Q-learning. [Thesis]. University of North Texas; 2017. Available from: https://digital.library.unt.edu/ark:/67531/metadc984181/

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


University of California – Santa Cruz

24. Keehl, Oleksandra Gennadievna. Monster Carlo: An MCTS-Based Framework For Machine Playtesting Unity Games.

Degree: Computational Media, 2018, University of California – Santa Cruz

 In this thesis, I describe a Monte Carlo Tree Search (MCTS) powered toolthat I created to help assess the impact of various design choices for… (more)

Subjects/Keywords: Artificial intelligence; Computer science; Design; AI assisted design; automated playtesting; MCTS; unity

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Keehl, O. G. (2018). Monster Carlo: An MCTS-Based Framework For Machine Playtesting Unity Games. (Thesis). University of California – Santa Cruz. Retrieved from http://www.escholarship.org/uc/item/7v41t9t0

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

Keehl, Oleksandra Gennadievna. “Monster Carlo: An MCTS-Based Framework For Machine Playtesting Unity Games.” 2018. Thesis, University of California – Santa Cruz. Accessed April 23, 2019. http://www.escholarship.org/uc/item/7v41t9t0.

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

MLA Handbook (7th Edition):

Keehl, Oleksandra Gennadievna. “Monster Carlo: An MCTS-Based Framework For Machine Playtesting Unity Games.” 2018. Web. 23 Apr 2019.

Vancouver:

Keehl OG. Monster Carlo: An MCTS-Based Framework For Machine Playtesting Unity Games. [Internet] [Thesis]. University of California – Santa Cruz; 2018. [cited 2019 Apr 23]. Available from: http://www.escholarship.org/uc/item/7v41t9t0.

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

Council of Science Editors:

Keehl OG. Monster Carlo: An MCTS-Based Framework For Machine Playtesting Unity Games. [Thesis]. University of California – Santa Cruz; 2018. Available from: http://www.escholarship.org/uc/item/7v41t9t0

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


University of Michigan

25. Padala, Pradeep. Auotomated Management of Virtualized Data Centers.

Degree: PhD, Computer Science & Engineering, 2010, University of Michigan

 Virtualized data centers enable sharing of resources among hosted applications. However, it is difficult to manage these data centers because of ever-changing application requirements. This… (more)

Subjects/Keywords: Virtualized Data Centers; Automated Control; Resource Allocation; Control Theory; Computer Science; Engineering

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Padala, P. (2010). Auotomated Management of Virtualized Data Centers. (Doctoral Dissertation). University of Michigan. Retrieved from http://hdl.handle.net/2027.42/75988

Chicago Manual of Style (16th Edition):

Padala, Pradeep. “Auotomated Management of Virtualized Data Centers.” 2010. Doctoral Dissertation, University of Michigan. Accessed April 23, 2019. http://hdl.handle.net/2027.42/75988.

MLA Handbook (7th Edition):

Padala, Pradeep. “Auotomated Management of Virtualized Data Centers.” 2010. Web. 23 Apr 2019.

Vancouver:

Padala P. Auotomated Management of Virtualized Data Centers. [Internet] [Doctoral dissertation]. University of Michigan; 2010. [cited 2019 Apr 23]. Available from: http://hdl.handle.net/2027.42/75988.

Council of Science Editors:

Padala P. Auotomated Management of Virtualized Data Centers. [Doctoral Dissertation]. University of Michigan; 2010. Available from: http://hdl.handle.net/2027.42/75988


University of Miami

26. McGinty, Hande Küçük. KNowledge Acquisition and Representation Methodology (KNARM) and Its Applications.

Degree: PhD, Computer Science (Arts and Sciences), 2018, University of Miami

 Technological advancements in many fields have led to huge increases in data production, including data volume, diversity, and the speed at which new data is… (more)

Subjects/Keywords: ontology; semantic web; data science; semi-automated ontology building; ontology building methodology

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

McGinty, H. K. (2018). KNowledge Acquisition and Representation Methodology (KNARM) and Its Applications. (Doctoral Dissertation). University of Miami. Retrieved from https://scholarlyrepository.miami.edu/oa_dissertations/2078

Chicago Manual of Style (16th Edition):

McGinty, Hande Küçük. “KNowledge Acquisition and Representation Methodology (KNARM) and Its Applications.” 2018. Doctoral Dissertation, University of Miami. Accessed April 23, 2019. https://scholarlyrepository.miami.edu/oa_dissertations/2078.

MLA Handbook (7th Edition):

McGinty, Hande Küçük. “KNowledge Acquisition and Representation Methodology (KNARM) and Its Applications.” 2018. Web. 23 Apr 2019.

Vancouver:

McGinty HK. KNowledge Acquisition and Representation Methodology (KNARM) and Its Applications. [Internet] [Doctoral dissertation]. University of Miami; 2018. [cited 2019 Apr 23]. Available from: https://scholarlyrepository.miami.edu/oa_dissertations/2078.

Council of Science Editors:

McGinty HK. KNowledge Acquisition and Representation Methodology (KNARM) and Its Applications. [Doctoral Dissertation]. University of Miami; 2018. Available from: https://scholarlyrepository.miami.edu/oa_dissertations/2078


University of KwaZulu-Natal

27. Coetzer, Willem. A knowledge-based system for automated discovery of ecological interactions in flower-visiting data.

Degree: 2017, University of KwaZulu-Natal

 Studies on the community ecology of flower-visiting insects, which can be inferred to pollinate flowers, are important in agriculture and nature conservation. Many scientific observations… (more)

Subjects/Keywords: Theses - Computer Science.; Flower-visiting insects.; Flower-visiting data.; Automated ecological interactions.; Ecosystem informatics.

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Coetzer, W. (2017). A knowledge-based system for automated discovery of ecological interactions in flower-visiting data. (Thesis). University of KwaZulu-Natal. Retrieved from http://hdl.handle.net/10413/15529

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

Coetzer, Willem. “A knowledge-based system for automated discovery of ecological interactions in flower-visiting data.” 2017. Thesis, University of KwaZulu-Natal. Accessed April 23, 2019. http://hdl.handle.net/10413/15529.

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

MLA Handbook (7th Edition):

Coetzer, Willem. “A knowledge-based system for automated discovery of ecological interactions in flower-visiting data.” 2017. Web. 23 Apr 2019.

Vancouver:

Coetzer W. A knowledge-based system for automated discovery of ecological interactions in flower-visiting data. [Internet] [Thesis]. University of KwaZulu-Natal; 2017. [cited 2019 Apr 23]. Available from: http://hdl.handle.net/10413/15529.

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

Council of Science Editors:

Coetzer W. A knowledge-based system for automated discovery of ecological interactions in flower-visiting data. [Thesis]. University of KwaZulu-Natal; 2017. Available from: http://hdl.handle.net/10413/15529

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

28. Nip, Terence. Efficacy of frequent, secure, automated testing on student academic performance.

Degree: MS, Computer Science, 2016, University of Illinois – Urbana-Champaign

 This thesis discusses the effects of frequent, secure automated testing on student performance in CS 421, a class titled Programming Languages and Compilers at the… (more)

Subjects/Keywords: computer science; education; automated testing

…the magnitude of these issues, CS 421 decided to turn towards using secure automated student… …new method of frequent, secure automated testing just as effective, if not more, than… …Science departments across the country have been experiencing a steady increase in the number of… …exists a need for secure automated student assessment platforms to handle facilitation of… …student assessments and partial automated grading. Our solution to combat both this problem and… 

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Nip, T. (2016). Efficacy of frequent, secure, automated testing on student academic performance. (Thesis). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/90664

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

Nip, Terence. “Efficacy of frequent, secure, automated testing on student academic performance.” 2016. Thesis, University of Illinois – Urbana-Champaign. Accessed April 23, 2019. http://hdl.handle.net/2142/90664.

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

MLA Handbook (7th Edition):

Nip, Terence. “Efficacy of frequent, secure, automated testing on student academic performance.” 2016. Web. 23 Apr 2019.

Vancouver:

Nip T. Efficacy of frequent, secure, automated testing on student academic performance. [Internet] [Thesis]. University of Illinois – Urbana-Champaign; 2016. [cited 2019 Apr 23]. Available from: http://hdl.handle.net/2142/90664.

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

Council of Science Editors:

Nip T. Efficacy of frequent, secure, automated testing on student academic performance. [Thesis]. University of Illinois – Urbana-Champaign; 2016. Available from: http://hdl.handle.net/2142/90664

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


Virginia Tech

29. Maji, Nabanita. An Interactive Tutorial for NP-Completeness.

Degree: MS, Computer Science, 2015, Virginia Tech

 A Theory of Algorithms course is essential to any Computer Science curriculum at both the undergraduate and graduate levels. It is also considered to be… (more)

Subjects/Keywords: NP Completeness; Complexity Theory; Reductions; Algorithm Visualization; Computer Science Education; Automated Assessment

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Maji, N. (2015). An Interactive Tutorial for NP-Completeness. (Masters Thesis). Virginia Tech. Retrieved from http://hdl.handle.net/10919/52973

Chicago Manual of Style (16th Edition):

Maji, Nabanita. “An Interactive Tutorial for NP-Completeness.” 2015. Masters Thesis, Virginia Tech. Accessed April 23, 2019. http://hdl.handle.net/10919/52973.

MLA Handbook (7th Edition):

Maji, Nabanita. “An Interactive Tutorial for NP-Completeness.” 2015. Web. 23 Apr 2019.

Vancouver:

Maji N. An Interactive Tutorial for NP-Completeness. [Internet] [Masters thesis]. Virginia Tech; 2015. [cited 2019 Apr 23]. Available from: http://hdl.handle.net/10919/52973.

Council of Science Editors:

Maji N. An Interactive Tutorial for NP-Completeness. [Masters Thesis]. Virginia Tech; 2015. Available from: http://hdl.handle.net/10919/52973


University of Oxford

30. Kissinger, Aleks. Pictures of processes : automated graph rewriting for monoidal categories and applications to quantum computing.

Degree: PhD, 2011, University of Oxford

 This work is about diagrammatic languages, how they can be represented, and what they in turn can be used to represent. More specifically, it focuses… (more)

Subjects/Keywords: 004.0157; Computer science (mathematics); Quantum theory (mathematics); Theoretical physics; Physics and CS; Theory and automated verification; quantum information; quantum computing; category theory; graph rewriting; automated reasoning

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Kissinger, A. (2011). Pictures of processes : automated graph rewriting for monoidal categories and applications to quantum computing. (Doctoral Dissertation). University of Oxford. Retrieved from http://ora.ox.ac.uk/objects/uuid:61fb3161-a353-48fc-8da2-6ce220cce6a2 ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.572524

Chicago Manual of Style (16th Edition):

Kissinger, Aleks. “Pictures of processes : automated graph rewriting for monoidal categories and applications to quantum computing.” 2011. Doctoral Dissertation, University of Oxford. Accessed April 23, 2019. http://ora.ox.ac.uk/objects/uuid:61fb3161-a353-48fc-8da2-6ce220cce6a2 ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.572524.

MLA Handbook (7th Edition):

Kissinger, Aleks. “Pictures of processes : automated graph rewriting for monoidal categories and applications to quantum computing.” 2011. Web. 23 Apr 2019.

Vancouver:

Kissinger A. Pictures of processes : automated graph rewriting for monoidal categories and applications to quantum computing. [Internet] [Doctoral dissertation]. University of Oxford; 2011. [cited 2019 Apr 23]. Available from: http://ora.ox.ac.uk/objects/uuid:61fb3161-a353-48fc-8da2-6ce220cce6a2 ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.572524.

Council of Science Editors:

Kissinger A. Pictures of processes : automated graph rewriting for monoidal categories and applications to quantum computing. [Doctoral Dissertation]. University of Oxford; 2011. Available from: http://ora.ox.ac.uk/objects/uuid:61fb3161-a353-48fc-8da2-6ce220cce6a2 ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.572524

[1] [2] [3] [4] [5]

.