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

Dates: Last 2 Years

You searched for subject:(specification). Showing records 1 – 30 of 66 total matches.

[1] [2] [3]

Search Limiters

Last 2 Years | English Only

Languages

Country

▼ Search Limiters

1. Xuexin, Wang. Three essays on specification testing.

Degree: 2018, Universidad Carlos III de Madrid

Subjects/Keywords: Specification testing; Economía

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Xuexin, W. (2018). Three essays on specification testing. (Thesis). Universidad Carlos III de Madrid. Retrieved from http://hdl.handle.net/10016/15106

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

Xuexin, Wang. “Three essays on specification testing.” 2018. Thesis, Universidad Carlos III de Madrid. Accessed July 17, 2019. http://hdl.handle.net/10016/15106.

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

MLA Handbook (7th Edition):

Xuexin, Wang. “Three essays on specification testing.” 2018. Web. 17 Jul 2019.

Vancouver:

Xuexin W. Three essays on specification testing. [Internet] [Thesis]. Universidad Carlos III de Madrid; 2018. [cited 2019 Jul 17]. Available from: http://hdl.handle.net/10016/15106.

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

Council of Science Editors:

Xuexin W. Three essays on specification testing. [Thesis]. Universidad Carlos III de Madrid; 2018. Available from: http://hdl.handle.net/10016/15106

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


Colorado State University

2. Al Lail, Mustafa. Unified Modeling Language framework for specifying and analyzing temporal properties, A.

Degree: PhD, Computer Science, 2018, Colorado State University

 In the context of Model-Driven Engineering (MDE), designers use the Unified Modeling Language (UML) to create models that drive the entire development process. Once UML… (more)

Subjects/Keywords: Properties; Temporal; Verification; Specification; Model Checking; UML

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Al Lail, M. (2018). Unified Modeling Language framework for specifying and analyzing temporal properties, A. (Doctoral Dissertation). Colorado State University. Retrieved from http://hdl.handle.net/10217/191492

Chicago Manual of Style (16th Edition):

Al Lail, Mustafa. “Unified Modeling Language framework for specifying and analyzing temporal properties, A.” 2018. Doctoral Dissertation, Colorado State University. Accessed July 17, 2019. http://hdl.handle.net/10217/191492.

MLA Handbook (7th Edition):

Al Lail, Mustafa. “Unified Modeling Language framework for specifying and analyzing temporal properties, A.” 2018. Web. 17 Jul 2019.

Vancouver:

Al Lail M. Unified Modeling Language framework for specifying and analyzing temporal properties, A. [Internet] [Doctoral dissertation]. Colorado State University; 2018. [cited 2019 Jul 17]. Available from: http://hdl.handle.net/10217/191492.

Council of Science Editors:

Al Lail M. Unified Modeling Language framework for specifying and analyzing temporal properties, A. [Doctoral Dissertation]. Colorado State University; 2018. Available from: http://hdl.handle.net/10217/191492


Brno University of Technology

3. Antes, Jiří. Analýza postupu posouzení shody spouště se specifikací .

Degree: 2018, Brno University of Technology

 Tato bakalářská práce pojednává o analýze specifikace a procesu posouzení shody spouště se specifikací. Cíli práce byla analýza specifikace spouště, analýza postupu posouzení shody a… (more)

Subjects/Keywords: shoda se specifikací; ISO GPS; posuzování shody; jednoznačnost specifikace; Conformity with specification; ISO GPS; conformity assessment; specification unambiguity

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Antes, J. (2018). Analýza postupu posouzení shody spouště se specifikací . (Thesis). Brno University of Technology. Retrieved from http://hdl.handle.net/11012/82688

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

Antes, Jiří. “Analýza postupu posouzení shody spouště se specifikací .” 2018. Thesis, Brno University of Technology. Accessed July 17, 2019. http://hdl.handle.net/11012/82688.

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

MLA Handbook (7th Edition):

Antes, Jiří. “Analýza postupu posouzení shody spouště se specifikací .” 2018. Web. 17 Jul 2019.

Vancouver:

Antes J. Analýza postupu posouzení shody spouště se specifikací . [Internet] [Thesis]. Brno University of Technology; 2018. [cited 2019 Jul 17]. Available from: http://hdl.handle.net/11012/82688.

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

Council of Science Editors:

Antes J. Analýza postupu posouzení shody spouště se specifikací . [Thesis]. Brno University of Technology; 2018. Available from: http://hdl.handle.net/11012/82688

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


Brno University of Technology

4. Úlehlová, Eva. Analýza postupu posouzení shody kohoutu se specifikací .

Degree: 2018, Brno University of Technology

 Tato bakalářská práce se zabývá analýzou postupu posouzení shody kohoutu se specifikací. Práce je zaměřena na kohout revolveru a je vypracována ve spolupráci s firmou… (more)

Subjects/Keywords: Posouzení shody; ISO GPS; jednoznačná specifikace; shoda se specifikací; Conformity assessment; ISO GPS; unambiguous specification; conformity with specification

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Úlehlová, E. (2018). Analýza postupu posouzení shody kohoutu se specifikací . (Thesis). Brno University of Technology. Retrieved from http://hdl.handle.net/11012/82694

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

Úlehlová, Eva. “Analýza postupu posouzení shody kohoutu se specifikací .” 2018. Thesis, Brno University of Technology. Accessed July 17, 2019. http://hdl.handle.net/11012/82694.

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

MLA Handbook (7th Edition):

Úlehlová, Eva. “Analýza postupu posouzení shody kohoutu se specifikací .” 2018. Web. 17 Jul 2019.

Vancouver:

Úlehlová E. Analýza postupu posouzení shody kohoutu se specifikací . [Internet] [Thesis]. Brno University of Technology; 2018. [cited 2019 Jul 17]. Available from: http://hdl.handle.net/11012/82694.

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

Council of Science Editors:

Úlehlová E. Analýza postupu posouzení shody kohoutu se specifikací . [Thesis]. Brno University of Technology; 2018. Available from: http://hdl.handle.net/11012/82694

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

5. Husein, Mustafa. A Type-inferencing Mechanism for Automatically Detecting Variable Types in System Requirements Specifications.

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

  A system requirements specification (SyRS) defines a set of functionalities that a system is expected to fulfil. A requirement may be “it is always… (more)

Subjects/Keywords: system requirements specification; type-inference; Computer Sciences; Datavetenskap (datalogi)

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Husein, M. (2018). A Type-inferencing Mechanism for Automatically Detecting Variable Types in System Requirements Specifications. (Thesis). Mälardalen University. Retrieved from http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-39667

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

Husein, Mustafa. “A Type-inferencing Mechanism for Automatically Detecting Variable Types in System Requirements Specifications.” 2018. Thesis, Mälardalen University. Accessed July 17, 2019. http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-39667.

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

MLA Handbook (7th Edition):

Husein, Mustafa. “A Type-inferencing Mechanism for Automatically Detecting Variable Types in System Requirements Specifications.” 2018. Web. 17 Jul 2019.

Vancouver:

Husein M. A Type-inferencing Mechanism for Automatically Detecting Variable Types in System Requirements Specifications. [Internet] [Thesis]. Mälardalen University; 2018. [cited 2019 Jul 17]. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-39667.

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

Council of Science Editors:

Husein M. A Type-inferencing Mechanism for Automatically Detecting Variable Types in System Requirements Specifications. [Thesis]. Mälardalen University; 2018. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-39667

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


California State University – Sacramento

6. Aldausari, Nuha. Enhancing a design by contract tool using inference rules of programming logic.

Degree: MS, Computer Science, 2017, California State University – Sacramento

 Design by contract (DBC) is an effective methodology that dynamically checks whether a program meets its specifications which are also called design contracts. The contracts… (more)

Subjects/Keywords: DBC; OpenJML; JML; Software verification; Program specification; Contract for Java

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Aldausari, N. (2017). Enhancing a design by contract tool using inference rules of programming logic. (Masters Thesis). California State University – Sacramento. Retrieved from http://hdl.handle.net/10211.3/198819

Chicago Manual of Style (16th Edition):

Aldausari, Nuha. “Enhancing a design by contract tool using inference rules of programming logic.” 2017. Masters Thesis, California State University – Sacramento. Accessed July 17, 2019. http://hdl.handle.net/10211.3/198819.

MLA Handbook (7th Edition):

Aldausari, Nuha. “Enhancing a design by contract tool using inference rules of programming logic.” 2017. Web. 17 Jul 2019.

Vancouver:

Aldausari N. Enhancing a design by contract tool using inference rules of programming logic. [Internet] [Masters thesis]. California State University – Sacramento; 2017. [cited 2019 Jul 17]. Available from: http://hdl.handle.net/10211.3/198819.

Council of Science Editors:

Aldausari N. Enhancing a design by contract tool using inference rules of programming logic. [Masters Thesis]. California State University – Sacramento; 2017. Available from: http://hdl.handle.net/10211.3/198819


Georgia Tech

7. Miller, Matthew James. Decision support system development for human extravehicular activity.

Degree: PhD, Aerospace Engineering, 2017, Georgia Tech

 Human spaceflight is arguably one of mankind's most challenging engineering feats, requiring carefully crafted synergy between human and technological capabilities. One critical component of human… (more)

Subjects/Keywords: Cognitive work analysis; Decision support system; Requirements specification

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Miller, M. J. (2017). Decision support system development for human extravehicular activity. (Doctoral Dissertation). Georgia Tech. Retrieved from http://hdl.handle.net/1853/59210

Chicago Manual of Style (16th Edition):

Miller, Matthew James. “Decision support system development for human extravehicular activity.” 2017. Doctoral Dissertation, Georgia Tech. Accessed July 17, 2019. http://hdl.handle.net/1853/59210.

MLA Handbook (7th Edition):

Miller, Matthew James. “Decision support system development for human extravehicular activity.” 2017. Web. 17 Jul 2019.

Vancouver:

Miller MJ. Decision support system development for human extravehicular activity. [Internet] [Doctoral dissertation]. Georgia Tech; 2017. [cited 2019 Jul 17]. Available from: http://hdl.handle.net/1853/59210.

Council of Science Editors:

Miller MJ. Decision support system development for human extravehicular activity. [Doctoral Dissertation]. Georgia Tech; 2017. Available from: http://hdl.handle.net/1853/59210


Texas A&M University

8. Al-Khayat, Haydar Tahseen Ali. A Case Study for Developing Specification Limits for Hot-Mix Asphalt and the Impact on Pay Factors.

Degree: MS, Civil Engineering, 2018, Texas A&M University

Specification limits utilized in percent within limits (PWL) specifications are developed by highway agencies, and used to determine the percent of hot-mix asphalt “Lot” within… (more)

Subjects/Keywords: Specification Limits; Hot-Mix Asphalt; PWL; Pay Factors

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Al-Khayat, H. T. A. (2018). A Case Study for Developing Specification Limits for Hot-Mix Asphalt and the Impact on Pay Factors. (Masters Thesis). Texas A&M University. Retrieved from http://hdl.handle.net/1969.1/173949

Chicago Manual of Style (16th Edition):

Al-Khayat, Haydar Tahseen Ali. “A Case Study for Developing Specification Limits for Hot-Mix Asphalt and the Impact on Pay Factors.” 2018. Masters Thesis, Texas A&M University. Accessed July 17, 2019. http://hdl.handle.net/1969.1/173949.

MLA Handbook (7th Edition):

Al-Khayat, Haydar Tahseen Ali. “A Case Study for Developing Specification Limits for Hot-Mix Asphalt and the Impact on Pay Factors.” 2018. Web. 17 Jul 2019.

Vancouver:

Al-Khayat HTA. A Case Study for Developing Specification Limits for Hot-Mix Asphalt and the Impact on Pay Factors. [Internet] [Masters thesis]. Texas A&M University; 2018. [cited 2019 Jul 17]. Available from: http://hdl.handle.net/1969.1/173949.

Council of Science Editors:

Al-Khayat HTA. A Case Study for Developing Specification Limits for Hot-Mix Asphalt and the Impact on Pay Factors. [Masters Thesis]. Texas A&M University; 2018. Available from: http://hdl.handle.net/1969.1/173949


Georgia Tech

9. Edwards, Ashley Deloris. Emulation and imitation via perceptual goal specifications.

Degree: PhD, Computer Science, 2019, Georgia Tech

 This dissertation aims to demonstrate how perceptual goal specifications may be used as alternative representations for specifying domain-specific reward functions for reinforcement learning. The works… (more)

Subjects/Keywords: Reinforcement learning; goal specification; imitation learning; reward design

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Edwards, A. D. (2019). Emulation and imitation via perceptual goal specifications. (Doctoral Dissertation). Georgia Tech. Retrieved from http://hdl.handle.net/1853/61234

Chicago Manual of Style (16th Edition):

Edwards, Ashley Deloris. “Emulation and imitation via perceptual goal specifications.” 2019. Doctoral Dissertation, Georgia Tech. Accessed July 17, 2019. http://hdl.handle.net/1853/61234.

MLA Handbook (7th Edition):

Edwards, Ashley Deloris. “Emulation and imitation via perceptual goal specifications.” 2019. Web. 17 Jul 2019.

Vancouver:

Edwards AD. Emulation and imitation via perceptual goal specifications. [Internet] [Doctoral dissertation]. Georgia Tech; 2019. [cited 2019 Jul 17]. Available from: http://hdl.handle.net/1853/61234.

Council of Science Editors:

Edwards AD. Emulation and imitation via perceptual goal specifications. [Doctoral Dissertation]. Georgia Tech; 2019. Available from: http://hdl.handle.net/1853/61234


Northeastern University

10. Schuster, Jonathan. Specification And Verification Of Actor Protocols With Finite-state Machines.

Degree: PhD, 2019, Northeastern University

 Many programmers use the actor model to build distributed systems. The communication aspects of such systems are notoriously hard to implement correctly, however, leading programmers… (more)

Subjects/Keywords: actors; concurrency; distributed systems; programming languages; specification; verification; Computer science

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Schuster, J. (2019). Specification And Verification Of Actor Protocols With Finite-state Machines. (Doctoral Dissertation). Northeastern University. Retrieved from http://hdl.handle.net/2047/D20318587

Chicago Manual of Style (16th Edition):

Schuster, Jonathan. “Specification And Verification Of Actor Protocols With Finite-state Machines.” 2019. Doctoral Dissertation, Northeastern University. Accessed July 17, 2019. http://hdl.handle.net/2047/D20318587.

MLA Handbook (7th Edition):

Schuster, Jonathan. “Specification And Verification Of Actor Protocols With Finite-state Machines.” 2019. Web. 17 Jul 2019.

Vancouver:

Schuster J. Specification And Verification Of Actor Protocols With Finite-state Machines. [Internet] [Doctoral dissertation]. Northeastern University; 2019. [cited 2019 Jul 17]. Available from: http://hdl.handle.net/2047/D20318587.

Council of Science Editors:

Schuster J. Specification And Verification Of Actor Protocols With Finite-state Machines. [Doctoral Dissertation]. Northeastern University; 2019. Available from: http://hdl.handle.net/2047/D20318587


UCLA

11. Soerensen, Jesper Riis-Vestergaard. Essays on Nonparametric and High-Dimensional Econometrics.

Degree: Economics, 2018, UCLA

 This dissertation studies questions related to identification, estimation, and specification testing of nonparametric and high-dimensional econometric models. The thesis is composed by two chapters.In Chapter… (more)

Subjects/Keywords: Economics; Consistent specification testing; High-dimensional; Maximum rank correlation; Nonparametric; Semiparametric; Weak functional form assumptions

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Soerensen, J. R. (2018). Essays on Nonparametric and High-Dimensional Econometrics. (Thesis). UCLA. Retrieved from http://www.escholarship.org/uc/item/4z229694

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

Soerensen, Jesper Riis-Vestergaard. “Essays on Nonparametric and High-Dimensional Econometrics.” 2018. Thesis, UCLA. Accessed July 17, 2019. http://www.escholarship.org/uc/item/4z229694.

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

MLA Handbook (7th Edition):

Soerensen, Jesper Riis-Vestergaard. “Essays on Nonparametric and High-Dimensional Econometrics.” 2018. Web. 17 Jul 2019.

Vancouver:

Soerensen JR. Essays on Nonparametric and High-Dimensional Econometrics. [Internet] [Thesis]. UCLA; 2018. [cited 2019 Jul 17]. Available from: http://www.escholarship.org/uc/item/4z229694.

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

Council of Science Editors:

Soerensen JR. Essays on Nonparametric and High-Dimensional Econometrics. [Thesis]. UCLA; 2018. Available from: http://www.escholarship.org/uc/item/4z229694

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


Mid Sweden University

12. Dahlberg, Ted. Byte av Ärendehanteringssystem : - Förstudie och REST API av kund-databas.

Degree: Information Systems and Technology, 2018, Mid Sweden University

  Leeroy Group AB är ett IT-produktbolag i Sundsvall som även sköter support för sina produkter. Detta görs i ett egenutvecklat ärendehanteringssystem som under tid… (more)

Subjects/Keywords: Requirements Specification; Zendesk; Jira Service Desk; REST API; Nodejs.; Computer Engineering; Datorteknik

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Dahlberg, T. (2018). Byte av Ärendehanteringssystem : - Förstudie och REST API av kund-databas. (Thesis). Mid Sweden University. Retrieved from http://urn.kb.se/resolve?urn=urn:nbn:se:miun:diva-35139

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

Dahlberg, Ted. “Byte av Ärendehanteringssystem : - Förstudie och REST API av kund-databas.” 2018. Thesis, Mid Sweden University. Accessed July 17, 2019. http://urn.kb.se/resolve?urn=urn:nbn:se:miun:diva-35139.

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

MLA Handbook (7th Edition):

Dahlberg, Ted. “Byte av Ärendehanteringssystem : - Förstudie och REST API av kund-databas.” 2018. Web. 17 Jul 2019.

Vancouver:

Dahlberg T. Byte av Ärendehanteringssystem : - Förstudie och REST API av kund-databas. [Internet] [Thesis]. Mid Sweden University; 2018. [cited 2019 Jul 17]. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:miun:diva-35139.

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

Council of Science Editors:

Dahlberg T. Byte av Ärendehanteringssystem : - Förstudie och REST API av kund-databas. [Thesis]. Mid Sweden University; 2018. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:miun:diva-35139

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


University of California – Berkeley

13. Sabillo, Armbien. Morphogenesis and Specification of the Muscle Lineage During Xenopus laevis Embryo Development.

Degree: Molecular & Cell Biology, 2018, University of California – Berkeley

 Development consists of complex morphogenetic movements that shape individual tissues as well as the embryo. Tissues must interact both physically and through signaling molecules to… (more)

Subjects/Keywords: Developmental biology; Molecular biology; Cellular biology; Morphogenesis; Muscle; Neural Plate; Somite; Specification; Xenopus

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Sabillo, A. (2018). Morphogenesis and Specification of the Muscle Lineage During Xenopus laevis Embryo Development. (Thesis). University of California – Berkeley. Retrieved from http://www.escholarship.org/uc/item/4r10c6c3

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

Sabillo, Armbien. “Morphogenesis and Specification of the Muscle Lineage During Xenopus laevis Embryo Development.” 2018. Thesis, University of California – Berkeley. Accessed July 17, 2019. http://www.escholarship.org/uc/item/4r10c6c3.

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

MLA Handbook (7th Edition):

Sabillo, Armbien. “Morphogenesis and Specification of the Muscle Lineage During Xenopus laevis Embryo Development.” 2018. Web. 17 Jul 2019.

Vancouver:

Sabillo A. Morphogenesis and Specification of the Muscle Lineage During Xenopus laevis Embryo Development. [Internet] [Thesis]. University of California – Berkeley; 2018. [cited 2019 Jul 17]. Available from: http://www.escholarship.org/uc/item/4r10c6c3.

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

Council of Science Editors:

Sabillo A. Morphogenesis and Specification of the Muscle Lineage During Xenopus laevis Embryo Development. [Thesis]. University of California – Berkeley; 2018. Available from: http://www.escholarship.org/uc/item/4r10c6c3

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


Rice University

14. Mukherjee, Rohan. Mining Natural APIs from Large Code Corpora using a Mixture of Hidden Markov Models.

Degree: MS, Engineering, 2017, Rice University

 A Natural API is a collection of API methods that tend to be used following certain discernible statistical patterns in real-world code. In this thesis,… (more)

Subjects/Keywords: Hidden Markov Model; Topic Model; Specification Mining; API Prediction; Data Mining; Software Engineering

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Mukherjee, R. (2017). Mining Natural APIs from Large Code Corpora using a Mixture of Hidden Markov Models. (Masters Thesis). Rice University. Retrieved from http://hdl.handle.net/1911/105464

Chicago Manual of Style (16th Edition):

Mukherjee, Rohan. “Mining Natural APIs from Large Code Corpora using a Mixture of Hidden Markov Models.” 2017. Masters Thesis, Rice University. Accessed July 17, 2019. http://hdl.handle.net/1911/105464.

MLA Handbook (7th Edition):

Mukherjee, Rohan. “Mining Natural APIs from Large Code Corpora using a Mixture of Hidden Markov Models.” 2017. Web. 17 Jul 2019.

Vancouver:

Mukherjee R. Mining Natural APIs from Large Code Corpora using a Mixture of Hidden Markov Models. [Internet] [Masters thesis]. Rice University; 2017. [cited 2019 Jul 17]. Available from: http://hdl.handle.net/1911/105464.

Council of Science Editors:

Mukherjee R. Mining Natural APIs from Large Code Corpora using a Mixture of Hidden Markov Models. [Masters Thesis]. Rice University; 2017. Available from: http://hdl.handle.net/1911/105464


University of Bridgeport

15. Abdulhammed, Razan. Intrusion Detection: Embedded Software Machine Learning and Hardware Rules Based Co-Designs .

Degree: 2019, University of Bridgeport

 Security of innovative technologies in future generation networks such as (Cyber Physical Systems (CPS) and Wi-Fi has become a critical universal issue for individuals, economy,… (more)

Subjects/Keywords: Behavior specification rules; Cyber physical systems; Field programmable gate array; Intrusion detection system; Machine learning

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Abdulhammed, R. (2019). Intrusion Detection: Embedded Software Machine Learning and Hardware Rules Based Co-Designs . (Thesis). University of Bridgeport. Retrieved from https://scholarworks.bridgeport.edu/xmlui/handle/123456789/4200

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

Abdulhammed, Razan. “Intrusion Detection: Embedded Software Machine Learning and Hardware Rules Based Co-Designs .” 2019. Thesis, University of Bridgeport. Accessed July 17, 2019. https://scholarworks.bridgeport.edu/xmlui/handle/123456789/4200.

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

MLA Handbook (7th Edition):

Abdulhammed, Razan. “Intrusion Detection: Embedded Software Machine Learning and Hardware Rules Based Co-Designs .” 2019. Web. 17 Jul 2019.

Vancouver:

Abdulhammed R. Intrusion Detection: Embedded Software Machine Learning and Hardware Rules Based Co-Designs . [Internet] [Thesis]. University of Bridgeport; 2019. [cited 2019 Jul 17]. Available from: https://scholarworks.bridgeport.edu/xmlui/handle/123456789/4200.

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

Council of Science Editors:

Abdulhammed R. Intrusion Detection: Embedded Software Machine Learning and Hardware Rules Based Co-Designs . [Thesis]. University of Bridgeport; 2019. Available from: https://scholarworks.bridgeport.edu/xmlui/handle/123456789/4200

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


University of Waterloo

16. Benann Rajendra, Nirmal Joshi. A Study on the Acceleration of Arrival Curve Construction and Regular Specification Mining using GPUs.

Degree: 2018, University of Waterloo

 Data analytics is a process of examining datasets using various analytical and statistical techniques. Several tools have been proposed in the literature to extract hidden… (more)

Subjects/Keywords: GPU; Acceleration; Arrival Curves; Specification Mining; Nested Word; Timed Regular Expression; Data Analytics; Execution Traces

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Benann Rajendra, N. J. (2018). A Study on the Acceleration of Arrival Curve Construction and Regular Specification Mining using GPUs. (Thesis). University of Waterloo. Retrieved from http://hdl.handle.net/10012/14284

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

Benann Rajendra, Nirmal Joshi. “A Study on the Acceleration of Arrival Curve Construction and Regular Specification Mining using GPUs.” 2018. Thesis, University of Waterloo. Accessed July 17, 2019. http://hdl.handle.net/10012/14284.

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

MLA Handbook (7th Edition):

Benann Rajendra, Nirmal Joshi. “A Study on the Acceleration of Arrival Curve Construction and Regular Specification Mining using GPUs.” 2018. Web. 17 Jul 2019.

Vancouver:

Benann Rajendra NJ. A Study on the Acceleration of Arrival Curve Construction and Regular Specification Mining using GPUs. [Internet] [Thesis]. University of Waterloo; 2018. [cited 2019 Jul 17]. Available from: http://hdl.handle.net/10012/14284.

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

Council of Science Editors:

Benann Rajendra NJ. A Study on the Acceleration of Arrival Curve Construction and Regular Specification Mining using GPUs. [Thesis]. University of Waterloo; 2018. Available from: http://hdl.handle.net/10012/14284

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


University of New South Wales

17. Liu, Shilong. Image De-hazing and Contrast Enhancement.

Degree: Mechanical & Manufacturing Engineering, 2018, University of New South Wales

 Digital images captured under adverse environments can be vulnerably degraded in their capacities to convey adequate amount of information to the viewer or computer-based processes.… (more)

Subjects/Keywords: De-hazing; Contrast enhancement; Histogram specification; Dark channel prior; Noise filtering; Polynomial estimation; Steepest descent

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Liu, S. (2018). Image De-hazing and Contrast Enhancement. (Doctoral Dissertation). University of New South Wales. Retrieved from http://handle.unsw.edu.au/1959.4/60224 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:51016/SOURCE2?view=true

Chicago Manual of Style (16th Edition):

Liu, Shilong. “Image De-hazing and Contrast Enhancement.” 2018. Doctoral Dissertation, University of New South Wales. Accessed July 17, 2019. http://handle.unsw.edu.au/1959.4/60224 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:51016/SOURCE2?view=true.

MLA Handbook (7th Edition):

Liu, Shilong. “Image De-hazing and Contrast Enhancement.” 2018. Web. 17 Jul 2019.

Vancouver:

Liu S. Image De-hazing and Contrast Enhancement. [Internet] [Doctoral dissertation]. University of New South Wales; 2018. [cited 2019 Jul 17]. Available from: http://handle.unsw.edu.au/1959.4/60224 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:51016/SOURCE2?view=true.

Council of Science Editors:

Liu S. Image De-hazing and Contrast Enhancement. [Doctoral Dissertation]. University of New South Wales; 2018. Available from: http://handle.unsw.edu.au/1959.4/60224 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:51016/SOURCE2?view=true


Université de Lorraine

18. Sayar, Imen. Articulation entre activités formelles et activités semi-formelles dans le développement de logiciels : Articulation between definite and semi-definite activities in software development.

Degree: Docteur es, Informatique, 2019, Université de Lorraine

Le développement de spécifications formelles correctes pour des systèmes et logiciels commence par l’analyse et la compréhension des besoins du client. Entre ces besoins décrits… (more)

Subjects/Keywords: Exigences; Spécification formelle; Liens; Outils; Vérification; Validation; Requirements; Formal Specification; Links; Tools; Verification; Validation; 005.12

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Sayar, I. (2019). Articulation entre activités formelles et activités semi-formelles dans le développement de logiciels : Articulation between definite and semi-definite activities in software development. (Doctoral Dissertation). Université de Lorraine. Retrieved from http://www.theses.fr/2019LORR0030

Chicago Manual of Style (16th Edition):

Sayar, Imen. “Articulation entre activités formelles et activités semi-formelles dans le développement de logiciels : Articulation between definite and semi-definite activities in software development.” 2019. Doctoral Dissertation, Université de Lorraine. Accessed July 17, 2019. http://www.theses.fr/2019LORR0030.

MLA Handbook (7th Edition):

Sayar, Imen. “Articulation entre activités formelles et activités semi-formelles dans le développement de logiciels : Articulation between definite and semi-definite activities in software development.” 2019. Web. 17 Jul 2019.

Vancouver:

Sayar I. Articulation entre activités formelles et activités semi-formelles dans le développement de logiciels : Articulation between definite and semi-definite activities in software development. [Internet] [Doctoral dissertation]. Université de Lorraine; 2019. [cited 2019 Jul 17]. Available from: http://www.theses.fr/2019LORR0030.

Council of Science Editors:

Sayar I. Articulation entre activités formelles et activités semi-formelles dans le développement de logiciels : Articulation between definite and semi-definite activities in software development. [Doctoral Dissertation]. Université de Lorraine; 2019. Available from: http://www.theses.fr/2019LORR0030

19. Loreti, Mafalda. Rôle de XDSCR6 et de ses partenaires au cours du développement embryonnaire précoce de Xenopus laevis : XDSCR6 function during early embryonic development of Xenopus laevis.

Degree: Docteur es, Complexité du Vivant, 2017, Université Pierre et Marie Curie – Paris VI

La formation des trois feuillets embryonnaires primordiaux et leur régionalisation selon les axes embryonnaires sont des étapes cruciales au cours du développement précoce. Dans ce… (more)

Subjects/Keywords: Xdscr6; Stat3; Ezh2; Xenopus laevis; Formation des axes embryonnaires; Facteur de transcription; Polycomb; Xdscr6; Axis specification; Transcriptional factor; 571.8

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Loreti, M. (2017). Rôle de XDSCR6 et de ses partenaires au cours du développement embryonnaire précoce de Xenopus laevis : XDSCR6 function during early embryonic development of Xenopus laevis. (Doctoral Dissertation). Université Pierre et Marie Curie – Paris VI. Retrieved from http://www.theses.fr/2017PA066443

Chicago Manual of Style (16th Edition):

Loreti, Mafalda. “Rôle de XDSCR6 et de ses partenaires au cours du développement embryonnaire précoce de Xenopus laevis : XDSCR6 function during early embryonic development of Xenopus laevis.” 2017. Doctoral Dissertation, Université Pierre et Marie Curie – Paris VI. Accessed July 17, 2019. http://www.theses.fr/2017PA066443.

MLA Handbook (7th Edition):

Loreti, Mafalda. “Rôle de XDSCR6 et de ses partenaires au cours du développement embryonnaire précoce de Xenopus laevis : XDSCR6 function during early embryonic development of Xenopus laevis.” 2017. Web. 17 Jul 2019.

Vancouver:

Loreti M. Rôle de XDSCR6 et de ses partenaires au cours du développement embryonnaire précoce de Xenopus laevis : XDSCR6 function during early embryonic development of Xenopus laevis. [Internet] [Doctoral dissertation]. Université Pierre et Marie Curie – Paris VI; 2017. [cited 2019 Jul 17]. Available from: http://www.theses.fr/2017PA066443.

Council of Science Editors:

Loreti M. Rôle de XDSCR6 et de ses partenaires au cours du développement embryonnaire précoce de Xenopus laevis : XDSCR6 function during early embryonic development of Xenopus laevis. [Doctoral Dissertation]. Université Pierre et Marie Curie – Paris VI; 2017. Available from: http://www.theses.fr/2017PA066443


Linköping University

20. Johansson, Hanna. Facilitate flight missions : An interview study about what could be made easier during planning and evaluation of flight missions.

Degree: Computer and Information Science, 2018, Linköping University

  This thesis was in collaboration with Saab AB Aeronautics and aimed to investigate the information requirements at Saab AB, and then to write at… (more)

Subjects/Keywords: flight mission; flight; interview study; grounded theory; thematic analysis; coding; specification; mission support system; Human Computer Interaction; Människa-datorinteraktion (interaktionsdesign)

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Johansson, H. (2018). Facilitate flight missions : An interview study about what could be made easier during planning and evaluation of flight missions. (Thesis). Linköping University. Retrieved from http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-149554

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

Johansson, Hanna. “Facilitate flight missions : An interview study about what could be made easier during planning and evaluation of flight missions.” 2018. Thesis, Linköping University. Accessed July 17, 2019. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-149554.

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

MLA Handbook (7th Edition):

Johansson, Hanna. “Facilitate flight missions : An interview study about what could be made easier during planning and evaluation of flight missions.” 2018. Web. 17 Jul 2019.

Vancouver:

Johansson H. Facilitate flight missions : An interview study about what could be made easier during planning and evaluation of flight missions. [Internet] [Thesis]. Linköping University; 2018. [cited 2019 Jul 17]. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-149554.

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

Council of Science Editors:

Johansson H. Facilitate flight missions : An interview study about what could be made easier during planning and evaluation of flight missions. [Thesis]. Linköping University; 2018. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-149554

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

21. Castells, Pablo. Adaptive multimedia access: from user needs to semantic personalisation.

Degree: 2018, Institute of Electrical and Electronics Engineers

Subjects/Keywords: Formal specification; Multimedia computing; User needs; Informática

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Castells, P. (2018). Adaptive multimedia access: from user needs to semantic personalisation. (Thesis). Institute of Electrical and Electronics Engineers. Retrieved from http://hdl.handle.net/10486/665337

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

Castells, Pablo. “Adaptive multimedia access: from user needs to semantic personalisation.” 2018. Thesis, Institute of Electrical and Electronics Engineers. Accessed July 17, 2019. http://hdl.handle.net/10486/665337.

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

MLA Handbook (7th Edition):

Castells, Pablo. “Adaptive multimedia access: from user needs to semantic personalisation.” 2018. Web. 17 Jul 2019.

Vancouver:

Castells P. Adaptive multimedia access: from user needs to semantic personalisation. [Internet] [Thesis]. Institute of Electrical and Electronics Engineers; 2018. [cited 2019 Jul 17]. Available from: http://hdl.handle.net/10486/665337.

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

Council of Science Editors:

Castells P. Adaptive multimedia access: from user needs to semantic personalisation. [Thesis]. Institute of Electrical and Electronics Engineers; 2018. Available from: http://hdl.handle.net/10486/665337

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


East Carolina University

22. Hinnant, Taylor D. Mechanisms of germ cell development in Drosophila oogenesis.

Degree: 2018, East Carolina University

 Germ cell development requires interplay between factors that control cell fate and division. Early in their development, germ cells are an interconnected group of mitotically… (more)

Subjects/Keywords: oocyte specification; meiosis; mitosis; endocycle; FUCCI; germline stem cell; CycB; E2f1; Cul4; CRL4; cell cycle; Drosophila; Germ cells; Oogenesis; Cell cycle

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Hinnant, T. D. (2018). Mechanisms of germ cell development in Drosophila oogenesis. (Thesis). East Carolina University. Retrieved from http://hdl.handle.net/10342/6933

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

Hinnant, Taylor D. “Mechanisms of germ cell development in Drosophila oogenesis.” 2018. Thesis, East Carolina University. Accessed July 17, 2019. http://hdl.handle.net/10342/6933.

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

MLA Handbook (7th Edition):

Hinnant, Taylor D. “Mechanisms of germ cell development in Drosophila oogenesis.” 2018. Web. 17 Jul 2019.

Vancouver:

Hinnant TD. Mechanisms of germ cell development in Drosophila oogenesis. [Internet] [Thesis]. East Carolina University; 2018. [cited 2019 Jul 17]. Available from: http://hdl.handle.net/10342/6933.

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

Council of Science Editors:

Hinnant TD. Mechanisms of germ cell development in Drosophila oogenesis. [Thesis]. East Carolina University; 2018. Available from: http://hdl.handle.net/10342/6933

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


Texas A&M University

23. Huang, Ta-Cheng. Nonparametric Estimation and Inference in Econometrics.

Degree: PhD, Economics, 2018, Texas A&M University

 This dissertation includes two essays: The first one is on nonparametric inference in causal effect models, and the second one is on nonparametric estimation in… (more)

Subjects/Keywords: Specification test; Nonseparability; Unobserved heterogeneous treatment effects; State price density; Implied volatility; Nonparametric regression; Trend filtering; LASSO

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Huang, T. (2018). Nonparametric Estimation and Inference in Econometrics. (Doctoral Dissertation). Texas A&M University. Retrieved from http://hdl.handle.net/1969.1/173461

Chicago Manual of Style (16th Edition):

Huang, Ta-Cheng. “Nonparametric Estimation and Inference in Econometrics.” 2018. Doctoral Dissertation, Texas A&M University. Accessed July 17, 2019. http://hdl.handle.net/1969.1/173461.

MLA Handbook (7th Edition):

Huang, Ta-Cheng. “Nonparametric Estimation and Inference in Econometrics.” 2018. Web. 17 Jul 2019.

Vancouver:

Huang T. Nonparametric Estimation and Inference in Econometrics. [Internet] [Doctoral dissertation]. Texas A&M University; 2018. [cited 2019 Jul 17]. Available from: http://hdl.handle.net/1969.1/173461.

Council of Science Editors:

Huang T. Nonparametric Estimation and Inference in Econometrics. [Doctoral Dissertation]. Texas A&M University; 2018. Available from: http://hdl.handle.net/1969.1/173461

24. Lundström, Adam. Verification of CEVT Steering System Specification.

Degree: Engineering Sciences and Mathematics, 2019, Luleå University of Technology

  This thesis covers the development of a component specification for the steering system of vehicles engineered by CEVT. This includes the components steering column, intermediate… (more)

Subjects/Keywords: Product development; Product specification; Kano; Quality Function Deployment; QFD Steering gear; Steering column; Customer needs; Metrics; Mechanical Engineering; Maskinteknik

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Lundström, A. (2019). Verification of CEVT Steering System Specification. (Thesis). Luleå University of Technology. Retrieved from http://urn.kb.se/resolve?urn=urn:nbn:se:ltu:diva-74374

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

Lundström, Adam. “Verification of CEVT Steering System Specification.” 2019. Thesis, Luleå University of Technology. Accessed July 17, 2019. http://urn.kb.se/resolve?urn=urn:nbn:se:ltu:diva-74374.

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

MLA Handbook (7th Edition):

Lundström, Adam. “Verification of CEVT Steering System Specification.” 2019. Web. 17 Jul 2019.

Vancouver:

Lundström A. Verification of CEVT Steering System Specification. [Internet] [Thesis]. Luleå University of Technology; 2019. [cited 2019 Jul 17]. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:ltu:diva-74374.

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

Council of Science Editors:

Lundström A. Verification of CEVT Steering System Specification. [Thesis]. Luleå University of Technology; 2019. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:ltu:diva-74374

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

25. Oshone, Mirkat Tamire. PERFORMANCE BASED EVALUATION OF CRACKING IN ASPHALT CONCRETE USING VISCOELASTIC AND FRACTURE PROPERTIES.

Degree: PhD, 2018, University of New Hampshire

  Cracking is one of the major distresses encountered in pavements. Pavements that fail prematurely due to cracking precipitate lower ride quality, elevate the chance… (more)

Subjects/Keywords: Asphalt concrete; BBR specification paramters from DSR; Fracture characterization; Linear viscoelastic characterization; Performance based; Phase angle estimation; Civil engineering; Materials Science

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Oshone, M. T. (2018). PERFORMANCE BASED EVALUATION OF CRACKING IN ASPHALT CONCRETE USING VISCOELASTIC AND FRACTURE PROPERTIES. (Doctoral Dissertation). University of New Hampshire. Retrieved from https://scholars.unh.edu/dissertation/2401

Chicago Manual of Style (16th Edition):

Oshone, Mirkat Tamire. “PERFORMANCE BASED EVALUATION OF CRACKING IN ASPHALT CONCRETE USING VISCOELASTIC AND FRACTURE PROPERTIES.” 2018. Doctoral Dissertation, University of New Hampshire. Accessed July 17, 2019. https://scholars.unh.edu/dissertation/2401.

MLA Handbook (7th Edition):

Oshone, Mirkat Tamire. “PERFORMANCE BASED EVALUATION OF CRACKING IN ASPHALT CONCRETE USING VISCOELASTIC AND FRACTURE PROPERTIES.” 2018. Web. 17 Jul 2019.

Vancouver:

Oshone MT. PERFORMANCE BASED EVALUATION OF CRACKING IN ASPHALT CONCRETE USING VISCOELASTIC AND FRACTURE PROPERTIES. [Internet] [Doctoral dissertation]. University of New Hampshire; 2018. [cited 2019 Jul 17]. Available from: https://scholars.unh.edu/dissertation/2401.

Council of Science Editors:

Oshone MT. PERFORMANCE BASED EVALUATION OF CRACKING IN ASPHALT CONCRETE USING VISCOELASTIC AND FRACTURE PROPERTIES. [Doctoral Dissertation]. University of New Hampshire; 2018. Available from: https://scholars.unh.edu/dissertation/2401

26. Cao, Hanyang. Développement d'applications Web avec des composants tiers : Web application development with third-party components.

Degree: Docteur es, Informatique, 2019, Bordeaux

Les applications Web sont très populaires et l'utilisation de certaines d'entre elles (p. ex. Facebook, Google) fait de plus en plus partie de nos vies.… (more)

Subjects/Keywords: Application Web; Recommandation de la bibliothèque; Rest; Json; Spécification; Web Application; Library Recommendation; Rest; Json; Specification

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Cao, H. (2019). Développement d'applications Web avec des composants tiers : Web application development with third-party components. (Doctoral Dissertation). Bordeaux. Retrieved from http://www.theses.fr/2019BORD0017

Chicago Manual of Style (16th Edition):

Cao, Hanyang. “Développement d'applications Web avec des composants tiers : Web application development with third-party components.” 2019. Doctoral Dissertation, Bordeaux. Accessed July 17, 2019. http://www.theses.fr/2019BORD0017.

MLA Handbook (7th Edition):

Cao, Hanyang. “Développement d'applications Web avec des composants tiers : Web application development with third-party components.” 2019. Web. 17 Jul 2019.

Vancouver:

Cao H. Développement d'applications Web avec des composants tiers : Web application development with third-party components. [Internet] [Doctoral dissertation]. Bordeaux; 2019. [cited 2019 Jul 17]. Available from: http://www.theses.fr/2019BORD0017.

Council of Science Editors:

Cao H. Développement d'applications Web avec des composants tiers : Web application development with third-party components. [Doctoral Dissertation]. Bordeaux; 2019. Available from: http://www.theses.fr/2019BORD0017


Brno University of Technology

27. John, Václav. Analýza postupu posouzení shody těla převodníku kroutícího momentu se specifikací .

Degree: 2018, Brno University of Technology

 Diplomová práce se zabývá analýzou postupu posuzování shody těla převodníku krouticího momentu se specifikací. Jednotlivými cíli bylo analyzovat specifikaci dílu, stávající postup posuzování jeho shody… (more)

Subjects/Keywords: Posuzování shody výrobků; geometrická specifikace produktu; měření geometrie.; Conformity assessment of products; geometrical product specification; measurement of geometry.

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

John, V. (2018). Analýza postupu posouzení shody těla převodníku kroutícího momentu se specifikací . (Thesis). Brno University of Technology. Retrieved from http://hdl.handle.net/11012/81907

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

John, Václav. “Analýza postupu posouzení shody těla převodníku kroutícího momentu se specifikací .” 2018. Thesis, Brno University of Technology. Accessed July 17, 2019. http://hdl.handle.net/11012/81907.

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

MLA Handbook (7th Edition):

John, Václav. “Analýza postupu posouzení shody těla převodníku kroutícího momentu se specifikací .” 2018. Web. 17 Jul 2019.

Vancouver:

John V. Analýza postupu posouzení shody těla převodníku kroutícího momentu se specifikací . [Internet] [Thesis]. Brno University of Technology; 2018. [cited 2019 Jul 17]. Available from: http://hdl.handle.net/11012/81907.

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

Council of Science Editors:

John V. Analýza postupu posouzení shody těla převodníku kroutícího momentu se specifikací . [Thesis]. Brno University of Technology; 2018. Available from: http://hdl.handle.net/11012/81907

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


Iowa State University

28. Kempa, Brian Christopher Schwinkendorf. Embedding runtime verification post-deployment for real-time health management of safety-critical systems.

Degree: 2019, Iowa State University

 As cyber-physical systems increase in both complexity and criticality, formal methods have gained traction for design-time verification of safety properties. A lightweight formal method, runtime… (more)

Subjects/Keywords: Human-Robot Interaction; Online Runtime verification; Real-time Embedded Systems; Temporal Logic Specification; Aerospace Engineering; Computer Engineering; Computer Sciences

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Kempa, B. C. S. (2019). Embedding runtime verification post-deployment for real-time health management of safety-critical systems. (Thesis). Iowa State University. Retrieved from https://lib.dr.iastate.edu/etd/17036

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

Kempa, Brian Christopher Schwinkendorf. “Embedding runtime verification post-deployment for real-time health management of safety-critical systems.” 2019. Thesis, Iowa State University. Accessed July 17, 2019. https://lib.dr.iastate.edu/etd/17036.

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

MLA Handbook (7th Edition):

Kempa, Brian Christopher Schwinkendorf. “Embedding runtime verification post-deployment for real-time health management of safety-critical systems.” 2019. Web. 17 Jul 2019.

Vancouver:

Kempa BCS. Embedding runtime verification post-deployment for real-time health management of safety-critical systems. [Internet] [Thesis]. Iowa State University; 2019. [cited 2019 Jul 17]. Available from: https://lib.dr.iastate.edu/etd/17036.

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

Council of Science Editors:

Kempa BCS. Embedding runtime verification post-deployment for real-time health management of safety-critical systems. [Thesis]. Iowa State University; 2019. Available from: https://lib.dr.iastate.edu/etd/17036

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


University of Georgia

29. Burnett, Jacob Bradley. Investigation of the mechanisms of vertebrate eye development through analysis of mouse ciliogenesis mutants.

Degree: PhD, Genetics, 2017, University of Georgia

 Development of the vertebrate eye is a multi-step process that requires the integration of morphogen signals, inductive tissue interactions, and intrinsic cell programs. The eye… (more)

Subjects/Keywords: Mouse; Cilia; Hedgehog signaling; Morphogen; Eye development; Optic stalk; Retinal pigment epithelium; Neural retina; Epistasis; Cell fate specification; Morphogenesis; IFT122; IFT172; CCRK; SMO; GLI2; GLI3

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Burnett, J. B. (2017). Investigation of the mechanisms of vertebrate eye development through analysis of mouse ciliogenesis mutants. (Doctoral Dissertation). University of Georgia. Retrieved from http://hdl.handle.net/10724/37632

Chicago Manual of Style (16th Edition):

Burnett, Jacob Bradley. “Investigation of the mechanisms of vertebrate eye development through analysis of mouse ciliogenesis mutants.” 2017. Doctoral Dissertation, University of Georgia. Accessed July 17, 2019. http://hdl.handle.net/10724/37632.

MLA Handbook (7th Edition):

Burnett, Jacob Bradley. “Investigation of the mechanisms of vertebrate eye development through analysis of mouse ciliogenesis mutants.” 2017. Web. 17 Jul 2019.

Vancouver:

Burnett JB. Investigation of the mechanisms of vertebrate eye development through analysis of mouse ciliogenesis mutants. [Internet] [Doctoral dissertation]. University of Georgia; 2017. [cited 2019 Jul 17]. Available from: http://hdl.handle.net/10724/37632.

Council of Science Editors:

Burnett JB. Investigation of the mechanisms of vertebrate eye development through analysis of mouse ciliogenesis mutants. [Doctoral Dissertation]. University of Georgia; 2017. Available from: http://hdl.handle.net/10724/37632

30. Liu, Tuo. Model Selection and Adaptive Lasso Estimation of Spatial Models.

Degree: PhD, Economics, 2017, The Ohio State University

 Various spatial econometrics models have been proposed to characterize spatially correlated data. As economic theories provide little guidance on constructing a true model, we are… (more)

Subjects/Keywords: Economics; likelihood ratio; near-epoch dependence; spatial autoregressive model; matrix exponential spatial specification, model selection; adaptive lasso; oracle property; least square approximation; selection consistency

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Liu, T. (2017). Model Selection and Adaptive Lasso Estimation of Spatial Models. (Doctoral Dissertation). The Ohio State University. Retrieved from http://rave.ohiolink.edu/etdc/view?acc_num=osu1500379101560737

Chicago Manual of Style (16th Edition):

Liu, Tuo. “Model Selection and Adaptive Lasso Estimation of Spatial Models.” 2017. Doctoral Dissertation, The Ohio State University. Accessed July 17, 2019. http://rave.ohiolink.edu/etdc/view?acc_num=osu1500379101560737.

MLA Handbook (7th Edition):

Liu, Tuo. “Model Selection and Adaptive Lasso Estimation of Spatial Models.” 2017. Web. 17 Jul 2019.

Vancouver:

Liu T. Model Selection and Adaptive Lasso Estimation of Spatial Models. [Internet] [Doctoral dissertation]. The Ohio State University; 2017. [cited 2019 Jul 17]. Available from: http://rave.ohiolink.edu/etdc/view?acc_num=osu1500379101560737.

Council of Science Editors:

Liu T. Model Selection and Adaptive Lasso Estimation of Spatial Models. [Doctoral Dissertation]. The Ohio State University; 2017. Available from: http://rave.ohiolink.edu/etdc/view?acc_num=osu1500379101560737

[1] [2] [3]

.