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:(Computer Science AND Automation). Showing records 1 – 30 of 155 total matches.

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

Search Limiters

Last 2 Years | English Only

Degrees

Levels

Country

▼ Search Limiters


Bond University

1. Pari-Salas, Percy Antonio. Domain Specialisation and Applications of Model-Based Testing.

Degree: 2010, Bond University

 Software testing, one of the most important methods for quality assurance, has become too expensive and error prone for complex modern software systems. Test automation(more)

Subjects/Keywords: computer software; testing; automation; Computer Science (0984)

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Pari-Salas, P. A. (2010). Domain Specialisation and Applications of Model-Based Testing. (Thesis). Bond University. Retrieved from https://epublications.bond.edu.au/theses/21

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

Pari-Salas, Percy Antonio. “Domain Specialisation and Applications of Model-Based Testing.” 2010. Thesis, Bond University. Accessed April 17, 2021. https://epublications.bond.edu.au/theses/21.

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

MLA Handbook (7th Edition):

Pari-Salas, Percy Antonio. “Domain Specialisation and Applications of Model-Based Testing.” 2010. Web. 17 Apr 2021.

Vancouver:

Pari-Salas PA. Domain Specialisation and Applications of Model-Based Testing. [Internet] [Thesis]. Bond University; 2010. [cited 2021 Apr 17]. Available from: https://epublications.bond.edu.au/theses/21.

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

Council of Science Editors:

Pari-Salas PA. Domain Specialisation and Applications of Model-Based Testing. [Thesis]. Bond University; 2010. Available from: https://epublications.bond.edu.au/theses/21

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


Reykjavík University

2. Unnar Freyr Erlendsson 1993-. Effective enumeration of permutation classes and their juxtapositions .

Degree: 2019, Reykjavík University

 We generalise the idea of greedily gridding permutations, introduced by Brignall and Sliačan, to help enumerate N × 1 grid classes by translating them to… (more)

Subjects/Keywords: Tölvunarfræði; Meistaraprófsritgerðir; Sjálfvirkni; Computer science; Automation

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

1993-, U. F. E. (2019). Effective enumeration of permutation classes and their juxtapositions . (Thesis). Reykjavík University. Retrieved from http://hdl.handle.net/1946/33586

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

1993-, Unnar Freyr Erlendsson. “Effective enumeration of permutation classes and their juxtapositions .” 2019. Thesis, Reykjavík University. Accessed April 17, 2021. http://hdl.handle.net/1946/33586.

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

MLA Handbook (7th Edition):

1993-, Unnar Freyr Erlendsson. “Effective enumeration of permutation classes and their juxtapositions .” 2019. Web. 17 Apr 2021.

Vancouver:

1993- UFE. Effective enumeration of permutation classes and their juxtapositions . [Internet] [Thesis]. Reykjavík University; 2019. [cited 2021 Apr 17]. Available from: http://hdl.handle.net/1946/33586.

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

Council of Science Editors:

1993- UFE. Effective enumeration of permutation classes and their juxtapositions . [Thesis]. Reykjavík University; 2019. Available from: http://hdl.handle.net/1946/33586

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


University of California – Santa Cruz

3. Trapani Possignolo, Rafael. Improving the Productivity of Hardware Design.

Degree: Computer Engineering, 2018, University of California – Santa Cruz

 Current hardware development techniques contrast with agile methods that became popular in modern software development. This has been mitigated with technology scaling, when performance gains… (more)

Subjects/Keywords: Computer engineering; Computer science; Digital Design; Electronic Design Automation; Pipelining; Productivity

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Trapani Possignolo, R. (2018). Improving the Productivity of Hardware Design. (Thesis). University of California – Santa Cruz. Retrieved from http://www.escholarship.org/uc/item/6bd5n1c7

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

Trapani Possignolo, Rafael. “Improving the Productivity of Hardware Design.” 2018. Thesis, University of California – Santa Cruz. Accessed April 17, 2021. http://www.escholarship.org/uc/item/6bd5n1c7.

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

MLA Handbook (7th Edition):

Trapani Possignolo, Rafael. “Improving the Productivity of Hardware Design.” 2018. Web. 17 Apr 2021.

Vancouver:

Trapani Possignolo R. Improving the Productivity of Hardware Design. [Internet] [Thesis]. University of California – Santa Cruz; 2018. [cited 2021 Apr 17]. Available from: http://www.escholarship.org/uc/item/6bd5n1c7.

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

Council of Science Editors:

Trapani Possignolo R. Improving the Productivity of Hardware Design. [Thesis]. University of California – Santa Cruz; 2018. Available from: http://www.escholarship.org/uc/item/6bd5n1c7

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


Michigan State University

4. Cho, Janghee. Mental models and home virtual assistants (HVAs : a single turn-taking is not enough to have a human-like conversation.

Degree: 2018, Michigan State University

Thesis M.A. Michigan State University. Information and Media 2018

As virtual assistants become more intelligent, these applications are dispersed in our everyday life. However, virtual… (more)

Subjects/Keywords: Natural language processing (Computer science); Intelligent personal assistants (Computer software); Human-computer interaction; Home automation; Information science; Cognitive psychology; Computer science

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Cho, J. (2018). Mental models and home virtual assistants (HVAs : a single turn-taking is not enough to have a human-like conversation. (Thesis). Michigan State University. Retrieved from http://etd.lib.msu.edu/islandora/object/etd:16412

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, Janghee. “Mental models and home virtual assistants (HVAs : a single turn-taking is not enough to have a human-like conversation.” 2018. Thesis, Michigan State University. Accessed April 17, 2021. http://etd.lib.msu.edu/islandora/object/etd:16412.

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

MLA Handbook (7th Edition):

Cho, Janghee. “Mental models and home virtual assistants (HVAs : a single turn-taking is not enough to have a human-like conversation.” 2018. Web. 17 Apr 2021.

Vancouver:

Cho J. Mental models and home virtual assistants (HVAs : a single turn-taking is not enough to have a human-like conversation. [Internet] [Thesis]. Michigan State University; 2018. [cited 2021 Apr 17]. Available from: http://etd.lib.msu.edu/islandora/object/etd:16412.

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

Council of Science Editors:

Cho J. Mental models and home virtual assistants (HVAs : a single turn-taking is not enough to have a human-like conversation. [Thesis]. Michigan State University; 2018. Available from: http://etd.lib.msu.edu/islandora/object/etd:16412

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


Michigan State University

5. Le, Tam Dan. Secure and private access control for systems of smart devices.

Degree: 2019, Michigan State University

Thesis Ph. D. Michigan State University. Computer Science 2019.

With the emergence of Internet of Things (IoT) technologies and the invasion of smart devices in… (more)

Subjects/Keywords: Home automation – Access control; Home automation – Security measures; Computer networks – Access control – Mathematical models; Blockchains (Databases) – Mathematical models; Computer science

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Le, T. D. (2019). Secure and private access control for systems of smart devices. (Thesis). Michigan State University. Retrieved from http://etd.lib.msu.edu/islandora/object/etd:48274

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

Le, Tam Dan. “Secure and private access control for systems of smart devices.” 2019. Thesis, Michigan State University. Accessed April 17, 2021. http://etd.lib.msu.edu/islandora/object/etd:48274.

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

MLA Handbook (7th Edition):

Le, Tam Dan. “Secure and private access control for systems of smart devices.” 2019. Web. 17 Apr 2021.

Vancouver:

Le TD. Secure and private access control for systems of smart devices. [Internet] [Thesis]. Michigan State University; 2019. [cited 2021 Apr 17]. Available from: http://etd.lib.msu.edu/islandora/object/etd:48274.

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

Council of Science Editors:

Le TD. Secure and private access control for systems of smart devices. [Thesis]. Michigan State University; 2019. Available from: http://etd.lib.msu.edu/islandora/object/etd:48274

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


University of California – San Diego

6. Verma, Chetan Kumar. Enabling Automated and Efficient Personalization Systems.

Degree: Electrical Engineering (Computer Engineering), 2015, University of California – San Diego

 Information explosion and the increasing use of Internet have fueled the growing popularity of personalization systems. Such systems can understand user interests to customize the… (more)

Subjects/Keywords: Computer science; automation; classification; efficiency; personalization systems; recommendation systems

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Verma, C. K. (2015). Enabling Automated and Efficient Personalization Systems. (Thesis). University of California – San Diego. Retrieved from http://www.escholarship.org/uc/item/8tq2c9xn

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

Verma, Chetan Kumar. “Enabling Automated and Efficient Personalization Systems.” 2015. Thesis, University of California – San Diego. Accessed April 17, 2021. http://www.escholarship.org/uc/item/8tq2c9xn.

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

MLA Handbook (7th Edition):

Verma, Chetan Kumar. “Enabling Automated and Efficient Personalization Systems.” 2015. Web. 17 Apr 2021.

Vancouver:

Verma CK. Enabling Automated and Efficient Personalization Systems. [Internet] [Thesis]. University of California – San Diego; 2015. [cited 2021 Apr 17]. Available from: http://www.escholarship.org/uc/item/8tq2c9xn.

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

Council of Science Editors:

Verma CK. Enabling Automated and Efficient Personalization Systems. [Thesis]. University of California – San Diego; 2015. Available from: http://www.escholarship.org/uc/item/8tq2c9xn

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


Reykjavík University

7. Arnar Bjarni Arnarson 1995-. Substitution decomposition for permutation classes with infinitely many simple permutations .

Degree: 2019, Reykjavík University

 We present an automatic method, using the substitution decomposition (Albert et.al, Bassino et al.) and the CombSpecSearcher (Bean) algorithm, to enumerate classes containing infinitely many… (more)

Subjects/Keywords: Tölvunarfræði; Meistaraprófsritgerðir; Reiknirit; Sjálfvirkni; Computer science; Algorithms; Automation

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

1995-, A. B. A. (2019). Substitution decomposition for permutation classes with infinitely many simple permutations . (Thesis). Reykjavík University. Retrieved from http://hdl.handle.net/1946/33583

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

1995-, Arnar Bjarni Arnarson. “Substitution decomposition for permutation classes with infinitely many simple permutations .” 2019. Thesis, Reykjavík University. Accessed April 17, 2021. http://hdl.handle.net/1946/33583.

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

MLA Handbook (7th Edition):

1995-, Arnar Bjarni Arnarson. “Substitution decomposition for permutation classes with infinitely many simple permutations .” 2019. Web. 17 Apr 2021.

Vancouver:

1995- ABA. Substitution decomposition for permutation classes with infinitely many simple permutations . [Internet] [Thesis]. Reykjavík University; 2019. [cited 2021 Apr 17]. Available from: http://hdl.handle.net/1946/33583.

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

Council of Science Editors:

1995- ABA. Substitution decomposition for permutation classes with infinitely many simple permutations . [Thesis]. Reykjavík University; 2019. Available from: http://hdl.handle.net/1946/33583

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


Arizona State University

8. Kuppuswamy, Venkataramanan. A Distributed Component-based Software Framework for Laboratory Automation Systems.

Degree: MS, Computer Science, 2012, Arizona State University

 Laboratory automation systems have seen a lot of technological advances in recent times. As a result, the software that is written for them are becoming… (more)

Subjects/Keywords: Computer science; Asynchronous Programming; Automation; Concurrency; Framework; Networking; State Machine

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Kuppuswamy, V. (2012). A Distributed Component-based Software Framework for Laboratory Automation Systems. (Masters Thesis). Arizona State University. Retrieved from http://repository.asu.edu/items/15945

Chicago Manual of Style (16th Edition):

Kuppuswamy, Venkataramanan. “A Distributed Component-based Software Framework for Laboratory Automation Systems.” 2012. Masters Thesis, Arizona State University. Accessed April 17, 2021. http://repository.asu.edu/items/15945.

MLA Handbook (7th Edition):

Kuppuswamy, Venkataramanan. “A Distributed Component-based Software Framework for Laboratory Automation Systems.” 2012. Web. 17 Apr 2021.

Vancouver:

Kuppuswamy V. A Distributed Component-based Software Framework for Laboratory Automation Systems. [Internet] [Masters thesis]. Arizona State University; 2012. [cited 2021 Apr 17]. Available from: http://repository.asu.edu/items/15945.

Council of Science Editors:

Kuppuswamy V. A Distributed Component-based Software Framework for Laboratory Automation Systems. [Masters Thesis]. Arizona State University; 2012. Available from: http://repository.asu.edu/items/15945


Michigan State University

9. Klare, Brendan F. Heterogeneous face recognition.

Degree: 2012, Michigan State University

Thesis Ph. D. Michigan State University, Computer Science and Engineering 2012.

One of the most difficult challenges in automated face recognition is computing facial similarities… (more)

Subjects/Keywords: Biometric identification; Identification – Automation; Face perception; Pattern recognition systems; Computer science

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Klare, B. F. (2012). Heterogeneous face recognition. (Thesis). Michigan State University. Retrieved from http://etd.lib.msu.edu/islandora/object/etd:477

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

Klare, Brendan F. “Heterogeneous face recognition.” 2012. Thesis, Michigan State University. Accessed April 17, 2021. http://etd.lib.msu.edu/islandora/object/etd:477.

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

MLA Handbook (7th Edition):

Klare, Brendan F. “Heterogeneous face recognition.” 2012. Web. 17 Apr 2021.

Vancouver:

Klare BF. Heterogeneous face recognition. [Internet] [Thesis]. Michigan State University; 2012. [cited 2021 Apr 17]. Available from: http://etd.lib.msu.edu/islandora/object/etd:477.

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

Council of Science Editors:

Klare BF. Heterogeneous face recognition. [Thesis]. Michigan State University; 2012. Available from: http://etd.lib.msu.edu/islandora/object/etd:477

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

10. McDaniel, Jeffrey. Design Automation of Continuous Flow-Based Microfluidic Biochips.

Degree: Computer Science, 2016, University of California – Riverside

 Continuous flow-based microfluidic biochips use actively controlled valves to manipulate the flow of fluids through components and channels to automate biochemical protocols. The current state-of-the-art… (more)

Subjects/Keywords: Computer science; Biomedical engineering; Computer engineering; design automation; lab-on-a-chip; microfluidics

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

McDaniel, J. (2016). Design Automation of Continuous Flow-Based Microfluidic Biochips. (Thesis). University of California – Riverside. Retrieved from http://www.escholarship.org/uc/item/5cc8573p

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

McDaniel, Jeffrey. “Design Automation of Continuous Flow-Based Microfluidic Biochips.” 2016. Thesis, University of California – Riverside. Accessed April 17, 2021. http://www.escholarship.org/uc/item/5cc8573p.

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

MLA Handbook (7th Edition):

McDaniel, Jeffrey. “Design Automation of Continuous Flow-Based Microfluidic Biochips.” 2016. Web. 17 Apr 2021.

Vancouver:

McDaniel J. Design Automation of Continuous Flow-Based Microfluidic Biochips. [Internet] [Thesis]. University of California – Riverside; 2016. [cited 2021 Apr 17]. Available from: http://www.escholarship.org/uc/item/5cc8573p.

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

Council of Science Editors:

McDaniel J. Design Automation of Continuous Flow-Based Microfluidic Biochips. [Thesis]. University of California – Riverside; 2016. Available from: http://www.escholarship.org/uc/item/5cc8573p

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


Nelson Mandela Metropolitan University

11. Van Rooyen, Ivän Jan-Richard. Intelligence based error detection and classification for 3D measurement systems.

Degree: Faculty of Engineering, the Built Environment and Information Technology, 2017, Nelson Mandela Metropolitan University

 For many years 2D machine vision has been used to perform automated inspection and measuring in the manufacturing environment. A strong drive to automate manufacturing… (more)

Subjects/Keywords: Computer integrated manufacturing systems; Manufacturing processes  – Automation; Computers, Special purpose; Neural networks (Computer science)

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Van Rooyen, I. J. (2017). Intelligence based error detection and classification for 3D measurement systems. (Thesis). Nelson Mandela Metropolitan University. Retrieved from http://hdl.handle.net/10948/21241

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

Van Rooyen, Ivän Jan-Richard. “Intelligence based error detection and classification for 3D measurement systems.” 2017. Thesis, Nelson Mandela Metropolitan University. Accessed April 17, 2021. http://hdl.handle.net/10948/21241.

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

MLA Handbook (7th Edition):

Van Rooyen, Ivän Jan-Richard. “Intelligence based error detection and classification for 3D measurement systems.” 2017. Web. 17 Apr 2021.

Vancouver:

Van Rooyen IJ. Intelligence based error detection and classification for 3D measurement systems. [Internet] [Thesis]. Nelson Mandela Metropolitan University; 2017. [cited 2021 Apr 17]. Available from: http://hdl.handle.net/10948/21241.

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

Council of Science Editors:

Van Rooyen IJ. Intelligence based error detection and classification for 3D measurement systems. [Thesis]. Nelson Mandela Metropolitan University; 2017. Available from: http://hdl.handle.net/10948/21241

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


University of California – Santa Cruz

12. Skinner, Haven Blake. Pyrope: A Latency-Insensitive Digital Architecture Toolchain.

Degree: Computer Engineering, 2018, University of California – Santa Cruz

 This paper proposes a new toolchain for digital architecture development which is designed to leverage Fluid Pipelines, a variant of latency-insensitive (LI) systems developed at… (more)

Subjects/Keywords: Computer science; Computer engineering; architecture; compilers; electronic design automation; hardware description languages; programming languages; Pyrope

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Skinner, H. B. (2018). Pyrope: A Latency-Insensitive Digital Architecture Toolchain. (Thesis). University of California – Santa Cruz. Retrieved from http://www.escholarship.org/uc/item/9md197hq

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

Skinner, Haven Blake. “Pyrope: A Latency-Insensitive Digital Architecture Toolchain.” 2018. Thesis, University of California – Santa Cruz. Accessed April 17, 2021. http://www.escholarship.org/uc/item/9md197hq.

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

MLA Handbook (7th Edition):

Skinner, Haven Blake. “Pyrope: A Latency-Insensitive Digital Architecture Toolchain.” 2018. Web. 17 Apr 2021.

Vancouver:

Skinner HB. Pyrope: A Latency-Insensitive Digital Architecture Toolchain. [Internet] [Thesis]. University of California – Santa Cruz; 2018. [cited 2021 Apr 17]. Available from: http://www.escholarship.org/uc/item/9md197hq.

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

Council of Science Editors:

Skinner HB. Pyrope: A Latency-Insensitive Digital Architecture Toolchain. [Thesis]. University of California – Santa Cruz; 2018. Available from: http://www.escholarship.org/uc/item/9md197hq

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

13. Ding, Chen. Computer formal drawings and their automation.

Degree: PhD, Computer Engineering, 1991, Case Western Reserve University School of Graduate Studies

 Pictures are an important communication medium; but generating pictures in a computer system is tedious and time consuming. Besides, many other problems are found in… (more)

Subjects/Keywords: Computer Science; Computer formal drawings automation

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Ding, C. (1991). Computer formal drawings and their automation. (Doctoral Dissertation). Case Western Reserve University School of Graduate Studies. Retrieved from http://rave.ohiolink.edu/etdc/view?acc_num=case1055359112

Chicago Manual of Style (16th Edition):

Ding, Chen. “Computer formal drawings and their automation.” 1991. Doctoral Dissertation, Case Western Reserve University School of Graduate Studies. Accessed April 17, 2021. http://rave.ohiolink.edu/etdc/view?acc_num=case1055359112.

MLA Handbook (7th Edition):

Ding, Chen. “Computer formal drawings and their automation.” 1991. Web. 17 Apr 2021.

Vancouver:

Ding C. Computer formal drawings and their automation. [Internet] [Doctoral dissertation]. Case Western Reserve University School of Graduate Studies; 1991. [cited 2021 Apr 17]. Available from: http://rave.ohiolink.edu/etdc/view?acc_num=case1055359112.

Council of Science Editors:

Ding C. Computer formal drawings and their automation. [Doctoral Dissertation]. Case Western Reserve University School of Graduate Studies; 1991. Available from: http://rave.ohiolink.edu/etdc/view?acc_num=case1055359112


Colorado School of Mines

14. Chee, Matthew C. T. Application of mobile robotics concepts to industrial automation.

Degree: MS(M.S.), Mechanical Engineering, 2015, Colorado School of Mines

 The author proposes a methodology to construct reconfigurable flexible manufacturing systems by enabling individual components to make localized decisions influenced by optimization algorithms. In order… (more)

Subjects/Keywords: robotics; material transportation; dynamic optimization; automation; Manufacturing processes  – Automation; Robotics; Algorithms; Materials handling; Robust optimization; Systems programming (Computer science)

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Chee, M. C. T. (2015). Application of mobile robotics concepts to industrial automation. (Masters Thesis). Colorado School of Mines. Retrieved from http://hdl.handle.net/11124/17077

Chicago Manual of Style (16th Edition):

Chee, Matthew C T. “Application of mobile robotics concepts to industrial automation.” 2015. Masters Thesis, Colorado School of Mines. Accessed April 17, 2021. http://hdl.handle.net/11124/17077.

MLA Handbook (7th Edition):

Chee, Matthew C T. “Application of mobile robotics concepts to industrial automation.” 2015. Web. 17 Apr 2021.

Vancouver:

Chee MCT. Application of mobile robotics concepts to industrial automation. [Internet] [Masters thesis]. Colorado School of Mines; 2015. [cited 2021 Apr 17]. Available from: http://hdl.handle.net/11124/17077.

Council of Science Editors:

Chee MCT. Application of mobile robotics concepts to industrial automation. [Masters Thesis]. Colorado School of Mines; 2015. Available from: http://hdl.handle.net/11124/17077


Youngstown State University

15. Garip, Omer. Web-based Thesis Workflow Management System.

Degree: Master of Computing and Information Systems, Department of Computer Science and Information Systems, 2020, Youngstown State University

 Web-based workflow management systems have been helping entities to regulate their workload more efficiently. Applying this efficiency to graduate schools will benefit both students and… (more)

Subjects/Keywords: Computer Science; Information Science; Information Systems; Computer Engineering; Workflow Management Systems; Thesis Process Automation; Dissertation Process Automation; Web-based Workflow Management Systems

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Garip, O. (2020). Web-based Thesis Workflow Management System. (Masters Thesis). Youngstown State University. Retrieved from http://rave.ohiolink.edu/etdc/view?acc_num=ysu1588779226055449

Chicago Manual of Style (16th Edition):

Garip, Omer. “Web-based Thesis Workflow Management System.” 2020. Masters Thesis, Youngstown State University. Accessed April 17, 2021. http://rave.ohiolink.edu/etdc/view?acc_num=ysu1588779226055449.

MLA Handbook (7th Edition):

Garip, Omer. “Web-based Thesis Workflow Management System.” 2020. Web. 17 Apr 2021.

Vancouver:

Garip O. Web-based Thesis Workflow Management System. [Internet] [Masters thesis]. Youngstown State University; 2020. [cited 2021 Apr 17]. Available from: http://rave.ohiolink.edu/etdc/view?acc_num=ysu1588779226055449.

Council of Science Editors:

Garip O. Web-based Thesis Workflow Management System. [Masters Thesis]. Youngstown State University; 2020. Available from: http://rave.ohiolink.edu/etdc/view?acc_num=ysu1588779226055449


University of Michigan

16. Bai, Lan. Simplifying Design of Wireless Sensor Networks with Programming Languages, Compilers, and Synthesis.

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

 Wireless sensor networks have opened opportunities for new applications and attracted users from domains beyond computer system design. Sensor network design is challenging. It is… (more)

Subjects/Keywords: Wireless Sensor Network; Design Automation; Programming Language; Synthesis; Modeling; Computer Science; Engineering

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Bai, L. (2011). Simplifying Design of Wireless Sensor Networks with Programming Languages, Compilers, and Synthesis. (Doctoral Dissertation). University of Michigan. Retrieved from http://hdl.handle.net/2027.42/86465

Chicago Manual of Style (16th Edition):

Bai, Lan. “Simplifying Design of Wireless Sensor Networks with Programming Languages, Compilers, and Synthesis.” 2011. Doctoral Dissertation, University of Michigan. Accessed April 17, 2021. http://hdl.handle.net/2027.42/86465.

MLA Handbook (7th Edition):

Bai, Lan. “Simplifying Design of Wireless Sensor Networks with Programming Languages, Compilers, and Synthesis.” 2011. Web. 17 Apr 2021.

Vancouver:

Bai L. Simplifying Design of Wireless Sensor Networks with Programming Languages, Compilers, and Synthesis. [Internet] [Doctoral dissertation]. University of Michigan; 2011. [cited 2021 Apr 17]. Available from: http://hdl.handle.net/2027.42/86465.

Council of Science Editors:

Bai L. Simplifying Design of Wireless Sensor Networks with Programming Languages, Compilers, and Synthesis. [Doctoral Dissertation]. University of Michigan; 2011. Available from: http://hdl.handle.net/2027.42/86465


George Mason University

17. Li, Nan. Generating Cost-effective Criteria-based Tests from Behavioral Models .

Degree: 2014, George Mason University

 In software engineering, behavioral models such as finite state machines (FSMs) are used to represent key system behaviors. To evaluate the system behaviors, testers need… (more)

Subjects/Keywords: Computer science; Model-based Testing; Software Engineering; Software Testing; Test Automation; Test Generation; Test Oracles

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Li, N. (2014). Generating Cost-effective Criteria-based Tests from Behavioral Models . (Thesis). George Mason University. Retrieved from http://hdl.handle.net/1920/8921

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

Li, Nan. “Generating Cost-effective Criteria-based Tests from Behavioral Models .” 2014. Thesis, George Mason University. Accessed April 17, 2021. http://hdl.handle.net/1920/8921.

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

MLA Handbook (7th Edition):

Li, Nan. “Generating Cost-effective Criteria-based Tests from Behavioral Models .” 2014. Web. 17 Apr 2021.

Vancouver:

Li N. Generating Cost-effective Criteria-based Tests from Behavioral Models . [Internet] [Thesis]. George Mason University; 2014. [cited 2021 Apr 17]. Available from: http://hdl.handle.net/1920/8921.

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

Council of Science Editors:

Li N. Generating Cost-effective Criteria-based Tests from Behavioral Models . [Thesis]. George Mason University; 2014. Available from: http://hdl.handle.net/1920/8921

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


Reykjavík University

18. Sveinn Elmar Magnússon 1978-. CUDA Accelerated X-ray Image Processing for Bone Detection in the Valka X-ray Guided Cutting Machine .

Degree: 2015, Reykjavík University

 The Valka X-ray Guided Cutting Machine is a fish fillet cutting machine which takes an X-Ray image of every fillet fed to the machine via… (more)

Subjects/Keywords: Tölvunarfræði; Tölvufræði; Sjálfvirkni; Röntgentækni; Computer science; Automation; Three-dimensional imaging; X-rays

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

1978-, S. E. M. (2015). CUDA Accelerated X-ray Image Processing for Bone Detection in the Valka X-ray Guided Cutting Machine . (Thesis). Reykjavík University. Retrieved from http://hdl.handle.net/1946/22125

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

1978-, Sveinn Elmar Magnússon. “CUDA Accelerated X-ray Image Processing for Bone Detection in the Valka X-ray Guided Cutting Machine .” 2015. Thesis, Reykjavík University. Accessed April 17, 2021. http://hdl.handle.net/1946/22125.

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

MLA Handbook (7th Edition):

1978-, Sveinn Elmar Magnússon. “CUDA Accelerated X-ray Image Processing for Bone Detection in the Valka X-ray Guided Cutting Machine .” 2015. Web. 17 Apr 2021.

Vancouver:

1978- SEM. CUDA Accelerated X-ray Image Processing for Bone Detection in the Valka X-ray Guided Cutting Machine . [Internet] [Thesis]. Reykjavík University; 2015. [cited 2021 Apr 17]. Available from: http://hdl.handle.net/1946/22125.

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

Council of Science Editors:

1978- SEM. CUDA Accelerated X-ray Image Processing for Bone Detection in the Valka X-ray Guided Cutting Machine . [Thesis]. Reykjavík University; 2015. Available from: http://hdl.handle.net/1946/22125

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


University of Maryland

19. Robbins, Bryan Thomas. A Binary Classifier for Test Case Feasibility Applied to Automatically Generated Tests of Event-Driven Software.

Degree: Computer Science, 2016, University of Maryland

 Modern software application testing, such as the testing of software driven by graphical user interfaces (GUIs) or leveraging event-driven architectures in general, requires paying careful… (more)

Subjects/Keywords: Computer science; Automation; Graphical User Interfaces; Logistic Regression; Software Engineering; Software Testing

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Robbins, B. T. (2016). A Binary Classifier for Test Case Feasibility Applied to Automatically Generated Tests of Event-Driven Software. (Thesis). University of Maryland. Retrieved from http://hdl.handle.net/1903/18233

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

Robbins, Bryan Thomas. “A Binary Classifier for Test Case Feasibility Applied to Automatically Generated Tests of Event-Driven Software.” 2016. Thesis, University of Maryland. Accessed April 17, 2021. http://hdl.handle.net/1903/18233.

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

MLA Handbook (7th Edition):

Robbins, Bryan Thomas. “A Binary Classifier for Test Case Feasibility Applied to Automatically Generated Tests of Event-Driven Software.” 2016. Web. 17 Apr 2021.

Vancouver:

Robbins BT. A Binary Classifier for Test Case Feasibility Applied to Automatically Generated Tests of Event-Driven Software. [Internet] [Thesis]. University of Maryland; 2016. [cited 2021 Apr 17]. Available from: http://hdl.handle.net/1903/18233.

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

Council of Science Editors:

Robbins BT. A Binary Classifier for Test Case Feasibility Applied to Automatically Generated Tests of Event-Driven Software. [Thesis]. University of Maryland; 2016. Available from: http://hdl.handle.net/1903/18233

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

20. Zhu, Zelin. Design of A Virtual Laboratory for Automation Control.

Degree: MS, Modeling Simul & Visual Engineering, 2017, Old Dominion University

  In the past, only students who studied on campus were able to access laboratory equipment in traditional lab courses; distance learning students, enrolled in… (more)

Subjects/Keywords: Automation control; Interactive learning; Virtual lab; Virtual reality; Computer Engineering; Engineering; Science and Technology Studies

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Zhu, Z. (2017). Design of A Virtual Laboratory for Automation Control. (Thesis). Old Dominion University. Retrieved from 9780355409383 ; https://digitalcommons.odu.edu/msve_etds/9

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

Zhu, Zelin. “Design of A Virtual Laboratory for Automation Control.” 2017. Thesis, Old Dominion University. Accessed April 17, 2021. 9780355409383 ; https://digitalcommons.odu.edu/msve_etds/9.

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

MLA Handbook (7th Edition):

Zhu, Zelin. “Design of A Virtual Laboratory for Automation Control.” 2017. Web. 17 Apr 2021.

Vancouver:

Zhu Z. Design of A Virtual Laboratory for Automation Control. [Internet] [Thesis]. Old Dominion University; 2017. [cited 2021 Apr 17]. Available from: 9780355409383 ; https://digitalcommons.odu.edu/msve_etds/9.

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

Council of Science Editors:

Zhu Z. Design of A Virtual Laboratory for Automation Control. [Thesis]. Old Dominion University; 2017. Available from: 9780355409383 ; https://digitalcommons.odu.edu/msve_etds/9

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

21. Ramos, Letícia. Uma proposta de ontologia para residências inteligentes buscando a integração de dispositivos.

Degree: 2014, Universidade Tecnológica Federal do Paraná; Curitiba; Programa de Pós-Graduação em Computação Aplicada

Uma residência inteligente é capaz de adquirir e aplicar conhecimentos sobre um ambiente e, de forma autônoma, adaptar-se aos seus habitantes. Estes espaços contêm uma… (more)

Subjects/Keywords: Ontologia; Computação ubíqua; Automação residencial; Computação; Ontology; Ubiquitous computing; Home automation; Computer science

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Ramos, L. (2014). Uma proposta de ontologia para residências inteligentes buscando a integração de dispositivos. (Masters Thesis). Universidade Tecnológica Federal do Paraná; Curitiba; Programa de Pós-Graduação em Computação Aplicada. Retrieved from http://repositorio.utfpr.edu.br/jspui/handle/1/1025

Chicago Manual of Style (16th Edition):

Ramos, Letícia. “Uma proposta de ontologia para residências inteligentes buscando a integração de dispositivos.” 2014. Masters Thesis, Universidade Tecnológica Federal do Paraná; Curitiba; Programa de Pós-Graduação em Computação Aplicada. Accessed April 17, 2021. http://repositorio.utfpr.edu.br/jspui/handle/1/1025.

MLA Handbook (7th Edition):

Ramos, Letícia. “Uma proposta de ontologia para residências inteligentes buscando a integração de dispositivos.” 2014. Web. 17 Apr 2021.

Vancouver:

Ramos L. Uma proposta de ontologia para residências inteligentes buscando a integração de dispositivos. [Internet] [Masters thesis]. Universidade Tecnológica Federal do Paraná; Curitiba; Programa de Pós-Graduação em Computação Aplicada; 2014. [cited 2021 Apr 17]. Available from: http://repositorio.utfpr.edu.br/jspui/handle/1/1025.

Council of Science Editors:

Ramos L. Uma proposta de ontologia para residências inteligentes buscando a integração de dispositivos. [Masters Thesis]. Universidade Tecnológica Federal do Paraná; Curitiba; Programa de Pós-Graduação em Computação Aplicada; 2014. Available from: http://repositorio.utfpr.edu.br/jspui/handle/1/1025


University of Michigan

22. Karnati, Ramya. Security of Process Bus in Digital Substation.

Degree: MS, Computer and Information Science, College of Engineering and Computer Science, 2020, University of Michigan

 Cyber security attacks in substations have been a issue for a very long time [1]. It is necessary to secure the communication between devices in… (more)

Subjects/Keywords: Cyber security; Digital substation; Sampled values; Automation system; IEC 62351-6; HMAC; GMAC; Computer Science

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Karnati, R. (2020). Security of Process Bus in Digital Substation. (Masters Thesis). University of Michigan. Retrieved from http://hdl.handle.net/2027.42/166307

Chicago Manual of Style (16th Edition):

Karnati, Ramya. “Security of Process Bus in Digital Substation.” 2020. Masters Thesis, University of Michigan. Accessed April 17, 2021. http://hdl.handle.net/2027.42/166307.

MLA Handbook (7th Edition):

Karnati, Ramya. “Security of Process Bus in Digital Substation.” 2020. Web. 17 Apr 2021.

Vancouver:

Karnati R. Security of Process Bus in Digital Substation. [Internet] [Masters thesis]. University of Michigan; 2020. [cited 2021 Apr 17]. Available from: http://hdl.handle.net/2027.42/166307.

Council of Science Editors:

Karnati R. Security of Process Bus in Digital Substation. [Masters Thesis]. University of Michigan; 2020. Available from: http://hdl.handle.net/2027.42/166307


Duke University

23. Wang, Fan. Autonomous Robot Packing of Complex-shaped Objects .

Degree: 2020, Duke University

  With the unprecedented growth of the E-Commerce market, robotic warehouse automation has attracted much interest and capital investment. Compared to a conventional labor-intensive approach,… (more)

Subjects/Keywords: Robotics; Computer science; Electrical engineering; Packing; Robot Manipulation; Robot Perception; Robotics; Warehouse Automation

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Wang, F. (2020). Autonomous Robot Packing of Complex-shaped Objects . (Thesis). Duke University. Retrieved from http://hdl.handle.net/10161/21513

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

Wang, Fan. “Autonomous Robot Packing of Complex-shaped Objects .” 2020. Thesis, Duke University. Accessed April 17, 2021. http://hdl.handle.net/10161/21513.

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

MLA Handbook (7th Edition):

Wang, Fan. “Autonomous Robot Packing of Complex-shaped Objects .” 2020. Web. 17 Apr 2021.

Vancouver:

Wang F. Autonomous Robot Packing of Complex-shaped Objects . [Internet] [Thesis]. Duke University; 2020. [cited 2021 Apr 17]. Available from: http://hdl.handle.net/10161/21513.

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

Council of Science Editors:

Wang F. Autonomous Robot Packing of Complex-shaped Objects . [Thesis]. Duke University; 2020. Available from: http://hdl.handle.net/10161/21513

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


University of California – Irvine

24. Harris, Christopher Bryant. Generating Formal Verification Properties from Natural Language Hardware Specifications.

Degree: Electrical and Computer Engineering, 2015, University of California – Irvine

 Verification of modern digital systems can consume up to 70% of the design cycle. Verification engineers must create formal properties which reflect correct operation from… (more)

Subjects/Keywords: Computer engineering; Electrical engineering; Computer science; Assertion Based Verification; Computer Architecture; Electronic Design Automation; Formal Verification; Natural Language Processing

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Harris, C. B. (2015). Generating Formal Verification Properties from Natural Language Hardware Specifications. (Thesis). University of California – Irvine. Retrieved from http://www.escholarship.org/uc/item/11d7k48g

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

Harris, Christopher Bryant. “Generating Formal Verification Properties from Natural Language Hardware Specifications.” 2015. Thesis, University of California – Irvine. Accessed April 17, 2021. http://www.escholarship.org/uc/item/11d7k48g.

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

MLA Handbook (7th Edition):

Harris, Christopher Bryant. “Generating Formal Verification Properties from Natural Language Hardware Specifications.” 2015. Web. 17 Apr 2021.

Vancouver:

Harris CB. Generating Formal Verification Properties from Natural Language Hardware Specifications. [Internet] [Thesis]. University of California – Irvine; 2015. [cited 2021 Apr 17]. Available from: http://www.escholarship.org/uc/item/11d7k48g.

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

Council of Science Editors:

Harris CB. Generating Formal Verification Properties from Natural Language Hardware Specifications. [Thesis]. University of California – Irvine; 2015. Available from: http://www.escholarship.org/uc/item/11d7k48g

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


Cleveland State University

25. Bhatt, Mrunal Dipakkumar, Bhatt. INTELLIGENT VOICE ACTIVATED HOME AUTOMATION (IVA).

Degree: Master of Computer and Information Science, Washkewicz College of Engineering, 2016, Cleveland State University

 This thesis presents the design of an original Intelligent Home Automation Architecture. My work was divided in two phases. The first portion was dedicated to… (more)

Subjects/Keywords: Computer Science; Computer Engineering; Information Technology; Technology; Home automation, smart home, smart home architecture, Domotic computing, technology, natural language speech controlled home automation, Android app, Arduino based hardware design

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Bhatt, Mrunal Dipakkumar, B. (2016). INTELLIGENT VOICE ACTIVATED HOME AUTOMATION (IVA). (Masters Thesis). Cleveland State University. Retrieved from http://rave.ohiolink.edu/etdc/view?acc_num=csu1463517275

Chicago Manual of Style (16th Edition):

Bhatt, Mrunal Dipakkumar, Bhatt. “INTELLIGENT VOICE ACTIVATED HOME AUTOMATION (IVA).” 2016. Masters Thesis, Cleveland State University. Accessed April 17, 2021. http://rave.ohiolink.edu/etdc/view?acc_num=csu1463517275.

MLA Handbook (7th Edition):

Bhatt, Mrunal Dipakkumar, Bhatt. “INTELLIGENT VOICE ACTIVATED HOME AUTOMATION (IVA).” 2016. Web. 17 Apr 2021.

Vancouver:

Bhatt, Mrunal Dipakkumar B. INTELLIGENT VOICE ACTIVATED HOME AUTOMATION (IVA). [Internet] [Masters thesis]. Cleveland State University; 2016. [cited 2021 Apr 17]. Available from: http://rave.ohiolink.edu/etdc/view?acc_num=csu1463517275.

Council of Science Editors:

Bhatt, Mrunal Dipakkumar B. INTELLIGENT VOICE ACTIVATED HOME AUTOMATION (IVA). [Masters Thesis]. Cleveland State University; 2016. Available from: http://rave.ohiolink.edu/etdc/view?acc_num=csu1463517275

26. Pari-Salas, Percy Antonio. Domain Specialisation and Applications of Model-Based Testing.

Degree: [email protected]

 Software testing, one of the most important methods for quality assurance, has become too expensive and error prone for complex modern software systems. Test automation(more)

Subjects/Keywords: computer software; testing; automation; Computer Science (0984)

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Pari-Salas, P. A. (n.d.). Domain Specialisation and Applications of Model-Based Testing. (Thesis). [email protected] Retrieved from http://epublications.bond.edu.au/theses/21

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

Chicago Manual of Style (16th Edition):

Pari-Salas, Percy Antonio. “Domain Specialisation and Applications of Model-Based Testing.” Thesis, [email protected] Accessed April 17, 2021. http://epublications.bond.edu.au/theses/21.

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

MLA Handbook (7th Edition):

Pari-Salas, Percy Antonio. “Domain Specialisation and Applications of Model-Based Testing.” Web. 17 Apr 2021.

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

Vancouver:

Pari-Salas PA. Domain Specialisation and Applications of Model-Based Testing. [Internet] [Thesis]. [email protected]; [cited 2021 Apr 17]. Available from: http://epublications.bond.edu.au/theses/21.

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

Council of Science Editors:

Pari-Salas PA. Domain Specialisation and Applications of Model-Based Testing. [Thesis]. [email protected]; Available from: http://epublications.bond.edu.au/theses/21

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


University of Notre Dame

27. Holly T. Ferguson. A Semantic Graph Based Approach for Automating Big Spatial Data Interoperability Used in Decision Support</h1>.

Degree: Computer Science and Engineering, 2017, University of Notre Dame

  As the quantities and complexity of data increase, methods for structuring and effectively processing it are more vital than they have ever been in… (more)

Subjects/Keywords: Computer Science; Ontology; Civil Engineering and Architecture; Decision Support; Semantic Web; Computer Engineering; Artificial Intelligence; Semantic Graph Automation

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Ferguson, H. T. (2017). A Semantic Graph Based Approach for Automating Big Spatial Data Interoperability Used in Decision Support</h1>. (Thesis). University of Notre Dame. Retrieved from https://curate.nd.edu/show/v979v121x8v

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

Ferguson, Holly T.. “A Semantic Graph Based Approach for Automating Big Spatial Data Interoperability Used in Decision Support</h1>.” 2017. Thesis, University of Notre Dame. Accessed April 17, 2021. https://curate.nd.edu/show/v979v121x8v.

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

MLA Handbook (7th Edition):

Ferguson, Holly T.. “A Semantic Graph Based Approach for Automating Big Spatial Data Interoperability Used in Decision Support</h1>.” 2017. Web. 17 Apr 2021.

Vancouver:

Ferguson HT. A Semantic Graph Based Approach for Automating Big Spatial Data Interoperability Used in Decision Support</h1>. [Internet] [Thesis]. University of Notre Dame; 2017. [cited 2021 Apr 17]. Available from: https://curate.nd.edu/show/v979v121x8v.

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

Council of Science Editors:

Ferguson HT. A Semantic Graph Based Approach for Automating Big Spatial Data Interoperability Used in Decision Support</h1>. [Thesis]. University of Notre Dame; 2017. Available from: https://curate.nd.edu/show/v979v121x8v

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

28. Liesenfeld, Alexssander Ariel Kuhn. Programação integrada aplicada à automação de projetos: uma aplicação em exaustores para aviários.

Degree: 2017, Universidade Tecnológica Federal do Paraná; Medianeira; Programa de Pós-Graduação em Tecnologias Computacionais para o Agronegócio; UTFPR; Brasil

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Este trabalho trata de uma alternativa na execução do projeto de um exaustor utilizado em aviário,… (more)

Subjects/Keywords: CNPQ::OUTROS::DESENHO DE PROJETOS; Programação de sistemas (Computação); Software; Automação; Systems programming (Computer science); Computer software; Automation; Engenharia/Tecnologia/Gestão

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Liesenfeld, A. A. K. (2017). Programação integrada aplicada à automação de projetos: uma aplicação em exaustores para aviários. (Masters Thesis). Universidade Tecnológica Federal do Paraná; Medianeira; Programa de Pós-Graduação em Tecnologias Computacionais para o Agronegócio; UTFPR; Brasil. Retrieved from http://repositorio.utfpr.edu.br/jspui/handle/1/2936

Chicago Manual of Style (16th Edition):

Liesenfeld, Alexssander Ariel Kuhn. “Programação integrada aplicada à automação de projetos: uma aplicação em exaustores para aviários.” 2017. Masters Thesis, Universidade Tecnológica Federal do Paraná; Medianeira; Programa de Pós-Graduação em Tecnologias Computacionais para o Agronegócio; UTFPR; Brasil. Accessed April 17, 2021. http://repositorio.utfpr.edu.br/jspui/handle/1/2936.

MLA Handbook (7th Edition):

Liesenfeld, Alexssander Ariel Kuhn. “Programação integrada aplicada à automação de projetos: uma aplicação em exaustores para aviários.” 2017. Web. 17 Apr 2021.

Vancouver:

Liesenfeld AAK. Programação integrada aplicada à automação de projetos: uma aplicação em exaustores para aviários. [Internet] [Masters thesis]. Universidade Tecnológica Federal do Paraná; Medianeira; Programa de Pós-Graduação em Tecnologias Computacionais para o Agronegócio; UTFPR; Brasil; 2017. [cited 2021 Apr 17]. Available from: http://repositorio.utfpr.edu.br/jspui/handle/1/2936.

Council of Science Editors:

Liesenfeld AAK. Programação integrada aplicada à automação de projetos: uma aplicação em exaustores para aviários. [Masters Thesis]. Universidade Tecnológica Federal do Paraná; Medianeira; Programa de Pós-Graduação em Tecnologias Computacionais para o Agronegócio; UTFPR; Brasil; 2017. Available from: http://repositorio.utfpr.edu.br/jspui/handle/1/2936


New Jersey Institute of Technology

29. Ghauri, Muhammad Mutahir. Development of an expert system to facilitate a pump manufacturing/warehouse facility.

Degree: MSin Manufacturing Systems Engineering - (M.S.), Manufacturing Engineering Division, 1995, New Jersey Institute of Technology

  The objective of this study is to evaluate the effectiveness of utilizing an expert system technology as it relates to manufacturing. It appears that… (more)

Subjects/Keywords: Pumping machinery industry – Automation.; Expert systems (Computer science) – Industrial applications.; Warehouses – Automation.; Manufacturing

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Ghauri, M. M. (1995). Development of an expert system to facilitate a pump manufacturing/warehouse facility. (Thesis). New Jersey Institute of Technology. Retrieved from https://digitalcommons.njit.edu/theses/1187

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

Ghauri, Muhammad Mutahir. “Development of an expert system to facilitate a pump manufacturing/warehouse facility.” 1995. Thesis, New Jersey Institute of Technology. Accessed April 17, 2021. https://digitalcommons.njit.edu/theses/1187.

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

MLA Handbook (7th Edition):

Ghauri, Muhammad Mutahir. “Development of an expert system to facilitate a pump manufacturing/warehouse facility.” 1995. Web. 17 Apr 2021.

Vancouver:

Ghauri MM. Development of an expert system to facilitate a pump manufacturing/warehouse facility. [Internet] [Thesis]. New Jersey Institute of Technology; 1995. [cited 2021 Apr 17]. Available from: https://digitalcommons.njit.edu/theses/1187.

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

Council of Science Editors:

Ghauri MM. Development of an expert system to facilitate a pump manufacturing/warehouse facility. [Thesis]. New Jersey Institute of Technology; 1995. Available from: https://digitalcommons.njit.edu/theses/1187

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


Michigan State University

30. McCarthy, Jacob E. Effects of content management on writing in an administrative office : building a way of organizing writing.

Degree: MA, Rhetoric & Writing, 2009, Michigan State University

Subjects/Keywords: Writing – Automation; Wikis (Computer science); Database management; Office practice – Automation

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

McCarthy, J. E. (2009). Effects of content management on writing in an administrative office : building a way of organizing writing. (Masters Thesis). Michigan State University. Retrieved from http://etd.lib.msu.edu/islandora/object/etd:16857

Chicago Manual of Style (16th Edition):

McCarthy, Jacob E. “Effects of content management on writing in an administrative office : building a way of organizing writing.” 2009. Masters Thesis, Michigan State University. Accessed April 17, 2021. http://etd.lib.msu.edu/islandora/object/etd:16857.

MLA Handbook (7th Edition):

McCarthy, Jacob E. “Effects of content management on writing in an administrative office : building a way of organizing writing.” 2009. Web. 17 Apr 2021.

Vancouver:

McCarthy JE. Effects of content management on writing in an administrative office : building a way of organizing writing. [Internet] [Masters thesis]. Michigan State University; 2009. [cited 2021 Apr 17]. Available from: http://etd.lib.msu.edu/islandora/object/etd:16857.

Council of Science Editors:

McCarthy JE. Effects of content management on writing in an administrative office : building a way of organizing writing. [Masters Thesis]. Michigan State University; 2009. Available from: http://etd.lib.msu.edu/islandora/object/etd:16857

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

.