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

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

Search Limiters

Last 2 Years | English Only

Degrees

Levels

Languages

Country

▼ Search Limiters


Universidade do Porto

1. Moura, Paulo André Alves. Controlo remoto de presenças recorrendo à tecnologia de speaker verification.

Degree: 2010, Universidade do Porto

Estágio realizado na PT Inovação e orientado pelo Eng.º Sérgio Ramalho

Tese de mestrado integrado. Engenharia Electrotécnica e de Computadores (Major Telecomunicações). Faculdade de Engenharia. Universidade do Porto. 2010

Advisors/Committee Members: Ferreira, Aníbal João de Sousa, Universidade do Porto. Faculdade de Engenharia.

Subjects/Keywords: Speaker verification

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Moura, P. A. A. (2010). Controlo remoto de presenças recorrendo à tecnologia de speaker verification. (Thesis). Universidade do Porto. Retrieved from http://www.rcaap.pt/detail.jsp?id=oai:repositorio-aberto.up.pt:10216/57628

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

Moura, Paulo André Alves. “Controlo remoto de presenças recorrendo à tecnologia de speaker verification.” 2010. Thesis, Universidade do Porto. Accessed May 26, 2019. http://www.rcaap.pt/detail.jsp?id=oai:repositorio-aberto.up.pt:10216/57628.

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

MLA Handbook (7th Edition):

Moura, Paulo André Alves. “Controlo remoto de presenças recorrendo à tecnologia de speaker verification.” 2010. Web. 26 May 2019.

Vancouver:

Moura PAA. Controlo remoto de presenças recorrendo à tecnologia de speaker verification. [Internet] [Thesis]. Universidade do Porto; 2010. [cited 2019 May 26]. Available from: http://www.rcaap.pt/detail.jsp?id=oai:repositorio-aberto.up.pt:10216/57628.

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

Council of Science Editors:

Moura PAA. Controlo remoto de presenças recorrendo à tecnologia de speaker verification. [Thesis]. Universidade do Porto; 2010. Available from: http://www.rcaap.pt/detail.jsp?id=oai:repositorio-aberto.up.pt:10216/57628

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


University of New South Wales

2. Greenaway, David. Automated proof-producing abstraction of C code.

Degree: Computer Science & Engineering, 2014, University of New South Wales

 Before software can be formally reasoned about, it must first be represented in some form of logic. There are two approaches to carrying out this… (more)

Subjects/Keywords: Interactive Theorem Proving; Formal Verification; Program Verification

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Greenaway, D. (2014). Automated proof-producing abstraction of C code. (Doctoral Dissertation). University of New South Wales. Retrieved from http://handle.unsw.edu.au/1959.4/54260 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:13743/SOURCE02?view=true

Chicago Manual of Style (16th Edition):

Greenaway, David. “Automated proof-producing abstraction of C code.” 2014. Doctoral Dissertation, University of New South Wales. Accessed May 26, 2019. http://handle.unsw.edu.au/1959.4/54260 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:13743/SOURCE02?view=true.

MLA Handbook (7th Edition):

Greenaway, David. “Automated proof-producing abstraction of C code.” 2014. Web. 26 May 2019.

Vancouver:

Greenaway D. Automated proof-producing abstraction of C code. [Internet] [Doctoral dissertation]. University of New South Wales; 2014. [cited 2019 May 26]. Available from: http://handle.unsw.edu.au/1959.4/54260 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:13743/SOURCE02?view=true.

Council of Science Editors:

Greenaway D. Automated proof-producing abstraction of C code. [Doctoral Dissertation]. University of New South Wales; 2014. Available from: http://handle.unsw.edu.au/1959.4/54260 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:13743/SOURCE02?view=true


Texas A&M University

3. Han, Fan. A Morphing-based Technique for the Verification of Deterministic and Ensemble Precipitation Forecasts.

Degree: 2017, Texas A&M University

 A new morphing based technique is proposed for the verification of deterministic precipitation forecasts. It provides accurate estimates of the components of the precipitation forecast… (more)

Subjects/Keywords: Precipitation; Verification; Predictability

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Han, F. (2017). A Morphing-based Technique for the Verification of Deterministic and Ensemble Precipitation Forecasts. (Thesis). Texas A&M University. Retrieved from http://hdl.handle.net/1969.1/161662

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

Han, Fan. “A Morphing-based Technique for the Verification of Deterministic and Ensemble Precipitation Forecasts.” 2017. Thesis, Texas A&M University. Accessed May 26, 2019. http://hdl.handle.net/1969.1/161662.

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

MLA Handbook (7th Edition):

Han, Fan. “A Morphing-based Technique for the Verification of Deterministic and Ensemble Precipitation Forecasts.” 2017. Web. 26 May 2019.

Vancouver:

Han F. A Morphing-based Technique for the Verification of Deterministic and Ensemble Precipitation Forecasts. [Internet] [Thesis]. Texas A&M University; 2017. [cited 2019 May 26]. Available from: http://hdl.handle.net/1969.1/161662.

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

Council of Science Editors:

Han F. A Morphing-based Technique for the Verification of Deterministic and Ensemble Precipitation Forecasts. [Thesis]. Texas A&M University; 2017. Available from: http://hdl.handle.net/1969.1/161662

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


Texas A&M University

4. Han, Fan. A Morphing-based Approach for the Verification of Precipitation Forecasts.

Degree: 2014, Texas A&M University

 This thesis described a morphing-based precipitation verification strategy inspired by Keil and Craig. This strategy is based on an optical flow algorithm to morph the… (more)

Subjects/Keywords: Precipitation verification; morphing

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Han, F. (2014). A Morphing-based Approach for the Verification of Precipitation Forecasts. (Thesis). Texas A&M University. Retrieved from http://hdl.handle.net/1969.1/154042

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

Han, Fan. “A Morphing-based Approach for the Verification of Precipitation Forecasts.” 2014. Thesis, Texas A&M University. Accessed May 26, 2019. http://hdl.handle.net/1969.1/154042.

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

MLA Handbook (7th Edition):

Han, Fan. “A Morphing-based Approach for the Verification of Precipitation Forecasts.” 2014. Web. 26 May 2019.

Vancouver:

Han F. A Morphing-based Approach for the Verification of Precipitation Forecasts. [Internet] [Thesis]. Texas A&M University; 2014. [cited 2019 May 26]. Available from: http://hdl.handle.net/1969.1/154042.

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

Council of Science Editors:

Han F. A Morphing-based Approach for the Verification of Precipitation Forecasts. [Thesis]. Texas A&M University; 2014. Available from: http://hdl.handle.net/1969.1/154042

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

5. Peri, Ramesh V. Specification and Verification of Security Policies.

Degree: PhD, 2015, University of Virginia

 Computer security is the protection of the resources of a computer against events that can result in loss of availability, unauthorized access, or modification of… (more)

Subjects/Keywords: computer; security; verification

Page 1 Page 2 Page 3 Page 4 Page 5 Page 6 Page 7

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Peri, R. V. (2015). Specification and Verification of Security Policies. (Doctoral Dissertation). University of Virginia. Retrieved from http://libra.virginia.edu/catalog/libra-oa:9674

Chicago Manual of Style (16th Edition):

Peri, Ramesh V. “Specification and Verification of Security Policies.” 2015. Doctoral Dissertation, University of Virginia. Accessed May 26, 2019. http://libra.virginia.edu/catalog/libra-oa:9674.

MLA Handbook (7th Edition):

Peri, Ramesh V. “Specification and Verification of Security Policies.” 2015. Web. 26 May 2019.

Vancouver:

Peri RV. Specification and Verification of Security Policies. [Internet] [Doctoral dissertation]. University of Virginia; 2015. [cited 2019 May 26]. Available from: http://libra.virginia.edu/catalog/libra-oa:9674.

Council of Science Editors:

Peri RV. Specification and Verification of Security Policies. [Doctoral Dissertation]. University of Virginia; 2015. Available from: http://libra.virginia.edu/catalog/libra-oa:9674


Penn State University

6. Schneider, Anna Irene. Use of Spatial Statistics in Precipitation Climatology and Model Evaluation.

Degree: MS, Meteorology, 2014, Penn State University

 A quantitative technique is developed which distinguishes different precipitation structures based on a small set of spatial statistics of the mesoscale reflectivity field. These spatial… (more)

Subjects/Keywords: forecast verification; weather

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Schneider, A. I. (2014). Use of Spatial Statistics in Precipitation Climatology and Model Evaluation. (Masters Thesis). Penn State University. Retrieved from https://etda.libraries.psu.edu/catalog/24779

Chicago Manual of Style (16th Edition):

Schneider, Anna Irene. “Use of Spatial Statistics in Precipitation Climatology and Model Evaluation.” 2014. Masters Thesis, Penn State University. Accessed May 26, 2019. https://etda.libraries.psu.edu/catalog/24779.

MLA Handbook (7th Edition):

Schneider, Anna Irene. “Use of Spatial Statistics in Precipitation Climatology and Model Evaluation.” 2014. Web. 26 May 2019.

Vancouver:

Schneider AI. Use of Spatial Statistics in Precipitation Climatology and Model Evaluation. [Internet] [Masters thesis]. Penn State University; 2014. [cited 2019 May 26]. Available from: https://etda.libraries.psu.edu/catalog/24779.

Council of Science Editors:

Schneider AI. Use of Spatial Statistics in Precipitation Climatology and Model Evaluation. [Masters Thesis]. Penn State University; 2014. Available from: https://etda.libraries.psu.edu/catalog/24779


University of Toronto

7. Berryhill, Ryan. Traceless Automated Design Debugging of Liveness Properties Using Property Directed Reachability.

Degree: 2016, University of Toronto

The growth in complexity of digital hardware drives an increase in the importance of automated computer-aided design (CAD) tools. Verification consumes most of the design… (more)

Subjects/Keywords: Debugging; Verification; 0464

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Berryhill, R. (2016). Traceless Automated Design Debugging of Liveness Properties Using Property Directed Reachability. (Masters Thesis). University of Toronto. Retrieved from http://hdl.handle.net/1807/72716

Chicago Manual of Style (16th Edition):

Berryhill, Ryan. “Traceless Automated Design Debugging of Liveness Properties Using Property Directed Reachability.” 2016. Masters Thesis, University of Toronto. Accessed May 26, 2019. http://hdl.handle.net/1807/72716.

MLA Handbook (7th Edition):

Berryhill, Ryan. “Traceless Automated Design Debugging of Liveness Properties Using Property Directed Reachability.” 2016. Web. 26 May 2019.

Vancouver:

Berryhill R. Traceless Automated Design Debugging of Liveness Properties Using Property Directed Reachability. [Internet] [Masters thesis]. University of Toronto; 2016. [cited 2019 May 26]. Available from: http://hdl.handle.net/1807/72716.

Council of Science Editors:

Berryhill R. Traceless Automated Design Debugging of Liveness Properties Using Property Directed Reachability. [Masters Thesis]. University of Toronto; 2016. Available from: http://hdl.handle.net/1807/72716


McMaster University

8. Cai, Yixian. Secure and Trusted Verification.

Degree: MSc, 2015, McMaster University

In our setting, verification is a process that checks whether a device's program (implementation) has been produced according to its corresponding requirements specification. Ideally a… (more)

Subjects/Keywords: Verification; Tabular expressions

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Cai, Y. (2015). Secure and Trusted Verification. (Masters Thesis). McMaster University. Retrieved from http://hdl.handle.net/11375/17468

Chicago Manual of Style (16th Edition):

Cai, Yixian. “Secure and Trusted Verification.” 2015. Masters Thesis, McMaster University. Accessed May 26, 2019. http://hdl.handle.net/11375/17468.

MLA Handbook (7th Edition):

Cai, Yixian. “Secure and Trusted Verification.” 2015. Web. 26 May 2019.

Vancouver:

Cai Y. Secure and Trusted Verification. [Internet] [Masters thesis]. McMaster University; 2015. [cited 2019 May 26]. Available from: http://hdl.handle.net/11375/17468.

Council of Science Editors:

Cai Y. Secure and Trusted Verification. [Masters Thesis]. McMaster University; 2015. Available from: http://hdl.handle.net/11375/17468


Cornell University

9. Longfield, Stephen. Constructive Verification Of Quasi Delay-Insensitive Circuits .

Degree: 2015, Cornell University

 Self-timed circuits have recently regained active interest as their abilities in avoiding timing and voltage margins, disconnecting pipeline depth from occupancy, and achieving average-case performance… (more)

Subjects/Keywords: VLSI; Verification; Asynchronous

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Longfield, S. (2015). Constructive Verification Of Quasi Delay-Insensitive Circuits . (Thesis). Cornell University. Retrieved from http://hdl.handle.net/1813/40716

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

Longfield, Stephen. “Constructive Verification Of Quasi Delay-Insensitive Circuits .” 2015. Thesis, Cornell University. Accessed May 26, 2019. http://hdl.handle.net/1813/40716.

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

MLA Handbook (7th Edition):

Longfield, Stephen. “Constructive Verification Of Quasi Delay-Insensitive Circuits .” 2015. Web. 26 May 2019.

Vancouver:

Longfield S. Constructive Verification Of Quasi Delay-Insensitive Circuits . [Internet] [Thesis]. Cornell University; 2015. [cited 2019 May 26]. Available from: http://hdl.handle.net/1813/40716.

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

Council of Science Editors:

Longfield S. Constructive Verification Of Quasi Delay-Insensitive Circuits . [Thesis]. Cornell University; 2015. Available from: http://hdl.handle.net/1813/40716

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


University of Waterloo

10. Langari, Zarrin. Modelling and Analysis using Graph Transformation Systems.

Degree: 2010, University of Waterloo

 Communication protocols, a class of critical systems, play an important role in industry. These protocols are critical because the tolerance for faults in these systems… (more)

Subjects/Keywords: verification; graph transformation

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Langari, Z. (2010). Modelling and Analysis using Graph Transformation Systems. (Thesis). University of Waterloo. Retrieved from http://hdl.handle.net/10012/5619

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

Langari, Zarrin. “Modelling and Analysis using Graph Transformation Systems.” 2010. Thesis, University of Waterloo. Accessed May 26, 2019. http://hdl.handle.net/10012/5619.

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

MLA Handbook (7th Edition):

Langari, Zarrin. “Modelling and Analysis using Graph Transformation Systems.” 2010. Web. 26 May 2019.

Vancouver:

Langari Z. Modelling and Analysis using Graph Transformation Systems. [Internet] [Thesis]. University of Waterloo; 2010. [cited 2019 May 26]. Available from: http://hdl.handle.net/10012/5619.

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

Council of Science Editors:

Langari Z. Modelling and Analysis using Graph Transformation Systems. [Thesis]. University of Waterloo; 2010. Available from: http://hdl.handle.net/10012/5619

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


University of Waterloo

11. Shehata, Hazem. Formal Verification of Instruction Dependencies in Microprocessors.

Degree: 2011, University of Waterloo

 In microprocessors, achieving an efficient utilization of the execution units is a key factor in improving performance. However, maintaining an uninterrupted flow of instructions is… (more)

Subjects/Keywords: Formal Verification; Microprocessors

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Shehata, H. (2011). Formal Verification of Instruction Dependencies in Microprocessors. (Thesis). University of Waterloo. Retrieved from http://hdl.handle.net/10012/6102

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

Shehata, Hazem. “Formal Verification of Instruction Dependencies in Microprocessors.” 2011. Thesis, University of Waterloo. Accessed May 26, 2019. http://hdl.handle.net/10012/6102.

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

MLA Handbook (7th Edition):

Shehata, Hazem. “Formal Verification of Instruction Dependencies in Microprocessors.” 2011. Web. 26 May 2019.

Vancouver:

Shehata H. Formal Verification of Instruction Dependencies in Microprocessors. [Internet] [Thesis]. University of Waterloo; 2011. [cited 2019 May 26]. Available from: http://hdl.handle.net/10012/6102.

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

Council of Science Editors:

Shehata H. Formal Verification of Instruction Dependencies in Microprocessors. [Thesis]. University of Waterloo; 2011. Available from: http://hdl.handle.net/10012/6102

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


University of Oxford

12. Antonino, Pedro Ribeiro Gonçalves. Verifying concurrent systems by approximation.

Degree: PhD, 2018, University of Oxford

 Approximate verification frameworks are an approach to combat the well-known state-space explosion problem. For properties formulated as "no bad state can be reached", an approximate… (more)

Subjects/Keywords: Computer systems – Verification

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Antonino, P. R. G. (2018). Verifying concurrent systems by approximation. (Doctoral Dissertation). University of Oxford. Retrieved from http://ora.ox.ac.uk/objects/uuid:f75c782c-a168-49b3-bfed-e2715f027157 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.770542

Chicago Manual of Style (16th Edition):

Antonino, Pedro Ribeiro Gonçalves. “Verifying concurrent systems by approximation.” 2018. Doctoral Dissertation, University of Oxford. Accessed May 26, 2019. http://ora.ox.ac.uk/objects/uuid:f75c782c-a168-49b3-bfed-e2715f027157 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.770542.

MLA Handbook (7th Edition):

Antonino, Pedro Ribeiro Gonçalves. “Verifying concurrent systems by approximation.” 2018. Web. 26 May 2019.

Vancouver:

Antonino PRG. Verifying concurrent systems by approximation. [Internet] [Doctoral dissertation]. University of Oxford; 2018. [cited 2019 May 26]. Available from: http://ora.ox.ac.uk/objects/uuid:f75c782c-a168-49b3-bfed-e2715f027157 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.770542.

Council of Science Editors:

Antonino PRG. Verifying concurrent systems by approximation. [Doctoral Dissertation]. University of Oxford; 2018. Available from: http://ora.ox.ac.uk/objects/uuid:f75c782c-a168-49b3-bfed-e2715f027157 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.770542


Duke University

13. Matthews, Opeoluwa. A Formal Framework for Designing Verifiable Protocols .

Degree: 2017, Duke University

  Protocols play critical roles in computer systems today, including managing resources, facilitating communication, and coordinating actions of components. It is highly desirable to formally… (more)

Subjects/Keywords: Computer engineering; Cache Coherence; Formal Verification; Model Checking; Parameterized verification; Protocols; Verification-aware architecture

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Matthews, O. (2017). A Formal Framework for Designing Verifiable Protocols . (Thesis). Duke University. Retrieved from http://hdl.handle.net/10161/16236

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

Matthews, Opeoluwa. “A Formal Framework for Designing Verifiable Protocols .” 2017. Thesis, Duke University. Accessed May 26, 2019. http://hdl.handle.net/10161/16236.

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

MLA Handbook (7th Edition):

Matthews, Opeoluwa. “A Formal Framework for Designing Verifiable Protocols .” 2017. Web. 26 May 2019.

Vancouver:

Matthews O. A Formal Framework for Designing Verifiable Protocols . [Internet] [Thesis]. Duke University; 2017. [cited 2019 May 26]. Available from: http://hdl.handle.net/10161/16236.

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

Council of Science Editors:

Matthews O. A Formal Framework for Designing Verifiable Protocols . [Thesis]. Duke University; 2017. Available from: http://hdl.handle.net/10161/16236

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


Clemson University

14. Afnan, Shamama. Comparison GMM and SVM Classifier for Automatic Speaker Verification.

Degree: MS, Electrical Engineering, 2015, Clemson University

  The objective of this thesis is to develop automatic text-independent speaker verification systems using unconstrained telephone conversational speech. We began by performing a Gaussian… (more)

Subjects/Keywords: Digital Signal Processing; GMM in Speaker Verification; Speaker Verification; SVM in Speaker Verification; Engineering

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Afnan, S. (2015). Comparison GMM and SVM Classifier for Automatic Speaker Verification. (Masters Thesis). Clemson University. Retrieved from https://tigerprints.clemson.edu/all_theses/2228

Chicago Manual of Style (16th Edition):

Afnan, Shamama. “Comparison GMM and SVM Classifier for Automatic Speaker Verification.” 2015. Masters Thesis, Clemson University. Accessed May 26, 2019. https://tigerprints.clemson.edu/all_theses/2228.

MLA Handbook (7th Edition):

Afnan, Shamama. “Comparison GMM and SVM Classifier for Automatic Speaker Verification.” 2015. Web. 26 May 2019.

Vancouver:

Afnan S. Comparison GMM and SVM Classifier for Automatic Speaker Verification. [Internet] [Masters thesis]. Clemson University; 2015. [cited 2019 May 26]. Available from: https://tigerprints.clemson.edu/all_theses/2228.

Council of Science Editors:

Afnan S. Comparison GMM and SVM Classifier for Automatic Speaker Verification. [Masters Thesis]. Clemson University; 2015. Available from: https://tigerprints.clemson.edu/all_theses/2228


University of Utah

15. Vakkalanka, Sarvani. Efficient dynamic verification algorithms for MPI applications.

Degree: PhD, Computing (School of);, 2010, University of Utah

 The Message Passing Interface (MPI) Application Programming Interface (API) is widely used in almost all high performance College of Engineering; applications. Yet, conventional debugging tools… (more)

Subjects/Keywords: Dynamic verification; MPI; Testing

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Vakkalanka, S. (2010). Efficient dynamic verification algorithms for MPI applications. (Doctoral Dissertation). University of Utah. Retrieved from http://content.lib.utah.edu/cdm/singleitem/collection/etd2/id/882/rec/406

Chicago Manual of Style (16th Edition):

Vakkalanka, Sarvani. “Efficient dynamic verification algorithms for MPI applications.” 2010. Doctoral Dissertation, University of Utah. Accessed May 26, 2019. http://content.lib.utah.edu/cdm/singleitem/collection/etd2/id/882/rec/406.

MLA Handbook (7th Edition):

Vakkalanka, Sarvani. “Efficient dynamic verification algorithms for MPI applications.” 2010. Web. 26 May 2019.

Vancouver:

Vakkalanka S. Efficient dynamic verification algorithms for MPI applications. [Internet] [Doctoral dissertation]. University of Utah; 2010. [cited 2019 May 26]. Available from: http://content.lib.utah.edu/cdm/singleitem/collection/etd2/id/882/rec/406.

Council of Science Editors:

Vakkalanka S. Efficient dynamic verification algorithms for MPI applications. [Doctoral Dissertation]. University of Utah; 2010. Available from: http://content.lib.utah.edu/cdm/singleitem/collection/etd2/id/882/rec/406


University of Utah

16. Thacker, Robert A. New verification method for embedded systems.

Degree: PhD, College of Engineering; (School of);, 2010, University of Utah

 Cyber-physical systems, in which computers control real-world mechanisms, are ever more pervasive in our society. These complex systems, containing a mixture of software, digital hardware,… (more)

Subjects/Keywords: Embedded systems; Petri nets; Verification

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Thacker, R. A. (2010). New verification method for embedded systems. (Doctoral Dissertation). University of Utah. Retrieved from http://content.lib.utah.edu/cdm/singleitem/collection/etd2/id/1152/rec/817

Chicago Manual of Style (16th Edition):

Thacker, Robert A. “New verification method for embedded systems.” 2010. Doctoral Dissertation, University of Utah. Accessed May 26, 2019. http://content.lib.utah.edu/cdm/singleitem/collection/etd2/id/1152/rec/817.

MLA Handbook (7th Edition):

Thacker, Robert A. “New verification method for embedded systems.” 2010. Web. 26 May 2019.

Vancouver:

Thacker RA. New verification method for embedded systems. [Internet] [Doctoral dissertation]. University of Utah; 2010. [cited 2019 May 26]. Available from: http://content.lib.utah.edu/cdm/singleitem/collection/etd2/id/1152/rec/817.

Council of Science Editors:

Thacker RA. New verification method for embedded systems. [Doctoral Dissertation]. University of Utah; 2010. Available from: http://content.lib.utah.edu/cdm/singleitem/collection/etd2/id/1152/rec/817

17. Ochoa Ronderos, Martín. Model based security guarantees and change.

Degree: 2012, Technische Universität Dortmund

 Achieving security in practical systems is a hard task. As it is the case for other critical system properties (i.e. safety), security should be a… (more)

Subjects/Keywords: Security; UML; Verification; 004

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Ochoa Ronderos, M. (2012). Model based security guarantees and change. (Thesis). Technische Universität Dortmund. Retrieved from http://hdl.handle.net/2003/29594

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

Ochoa Ronderos, Martín. “Model based security guarantees and change.” 2012. Thesis, Technische Universität Dortmund. Accessed May 26, 2019. http://hdl.handle.net/2003/29594.

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

MLA Handbook (7th Edition):

Ochoa Ronderos, Martín. “Model based security guarantees and change.” 2012. Web. 26 May 2019.

Vancouver:

Ochoa Ronderos M. Model based security guarantees and change. [Internet] [Thesis]. Technische Universität Dortmund; 2012. [cited 2019 May 26]. Available from: http://hdl.handle.net/2003/29594.

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

Council of Science Editors:

Ochoa Ronderos M. Model based security guarantees and change. [Thesis]. Technische Universität Dortmund; 2012. Available from: http://hdl.handle.net/2003/29594

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


Texas A&M University

18. Kumar, Rohit. Timing Verification of Adaptive Integrated Circuits.

Degree: 2014, Texas A&M University

 An adaptive circuit can perform built-in self-detection of timing variations and accordingly adjust itself to avoid timing violations. Compared with conventional over-design approach, adaptive circuit… (more)

Subjects/Keywords: Timing Verification; Adaptive circuits

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Kumar, R. (2014). Timing Verification of Adaptive Integrated Circuits. (Thesis). Texas A&M University. Retrieved from http://hdl.handle.net/1969.1/153648

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

Kumar, Rohit. “Timing Verification of Adaptive Integrated Circuits.” 2014. Thesis, Texas A&M University. Accessed May 26, 2019. http://hdl.handle.net/1969.1/153648.

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

MLA Handbook (7th Edition):

Kumar, Rohit. “Timing Verification of Adaptive Integrated Circuits.” 2014. Web. 26 May 2019.

Vancouver:

Kumar R. Timing Verification of Adaptive Integrated Circuits. [Internet] [Thesis]. Texas A&M University; 2014. [cited 2019 May 26]. Available from: http://hdl.handle.net/1969.1/153648.

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

Council of Science Editors:

Kumar R. Timing Verification of Adaptive Integrated Circuits. [Thesis]. Texas A&M University; 2014. Available from: http://hdl.handle.net/1969.1/153648

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


Victoria University of Wellington

19. Palmer, Ben. Verifying Privacy Preserving Combinatorial Auctions.

Degree: 2009, Victoria University of Wellington

 Suppose you are competing in an online sealed bid auction for some goods. How do you know the auction result can be trusted? The auction… (more)

Subjects/Keywords: Verification; Zero knowledge; Auctions

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Palmer, B. (2009). Verifying Privacy Preserving Combinatorial Auctions. (Masters Thesis). Victoria University of Wellington. Retrieved from http://hdl.handle.net/10063/867

Chicago Manual of Style (16th Edition):

Palmer, Ben. “Verifying Privacy Preserving Combinatorial Auctions.” 2009. Masters Thesis, Victoria University of Wellington. Accessed May 26, 2019. http://hdl.handle.net/10063/867.

MLA Handbook (7th Edition):

Palmer, Ben. “Verifying Privacy Preserving Combinatorial Auctions.” 2009. Web. 26 May 2019.

Vancouver:

Palmer B. Verifying Privacy Preserving Combinatorial Auctions. [Internet] [Masters thesis]. Victoria University of Wellington; 2009. [cited 2019 May 26]. Available from: http://hdl.handle.net/10063/867.

Council of Science Editors:

Palmer B. Verifying Privacy Preserving Combinatorial Auctions. [Masters Thesis]. Victoria University of Wellington; 2009. Available from: http://hdl.handle.net/10063/867


Victoria University of Wellington

20. Tabilog, Allan. Program Verification with Separation Logic and Rely Guarantee.

Degree: 2017, Victoria University of Wellington

 This thesis explores two kinds of program logics that have become important for modern program verification - separation logic, for reasoning about programs that use… (more)

Subjects/Keywords: Logic; Program verification; Concurrency

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Tabilog, A. (2017). Program Verification with Separation Logic and Rely Guarantee. (Masters Thesis). Victoria University of Wellington. Retrieved from http://hdl.handle.net/10063/6271

Chicago Manual of Style (16th Edition):

Tabilog, Allan. “Program Verification with Separation Logic and Rely Guarantee.” 2017. Masters Thesis, Victoria University of Wellington. Accessed May 26, 2019. http://hdl.handle.net/10063/6271.

MLA Handbook (7th Edition):

Tabilog, Allan. “Program Verification with Separation Logic and Rely Guarantee.” 2017. Web. 26 May 2019.

Vancouver:

Tabilog A. Program Verification with Separation Logic and Rely Guarantee. [Internet] [Masters thesis]. Victoria University of Wellington; 2017. [cited 2019 May 26]. Available from: http://hdl.handle.net/10063/6271.

Council of Science Editors:

Tabilog A. Program Verification with Separation Logic and Rely Guarantee. [Masters Thesis]. Victoria University of Wellington; 2017. Available from: http://hdl.handle.net/10063/6271


University of Kansas

21. Alharbi, Fahad Abdullah. The Translation and Translation Verification of the PIRLS Reading Questionnaires for Saudi Students.

Degree: M.S.Ed., Psychology & Research in Education, 2017, University of Kansas

 When translating psychological measures from their original language to another language, after translation an assumption is made that the measurement assesses the same construct(s) in… (more)

Subjects/Keywords: Educational psychology; PIRLS; Translation; Verification

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Alharbi, F. A. (2017). The Translation and Translation Verification of the PIRLS Reading Questionnaires for Saudi Students. (Masters Thesis). University of Kansas. Retrieved from http://hdl.handle.net/1808/26900

Chicago Manual of Style (16th Edition):

Alharbi, Fahad Abdullah. “The Translation and Translation Verification of the PIRLS Reading Questionnaires for Saudi Students.” 2017. Masters Thesis, University of Kansas. Accessed May 26, 2019. http://hdl.handle.net/1808/26900.

MLA Handbook (7th Edition):

Alharbi, Fahad Abdullah. “The Translation and Translation Verification of the PIRLS Reading Questionnaires for Saudi Students.” 2017. Web. 26 May 2019.

Vancouver:

Alharbi FA. The Translation and Translation Verification of the PIRLS Reading Questionnaires for Saudi Students. [Internet] [Masters thesis]. University of Kansas; 2017. [cited 2019 May 26]. Available from: http://hdl.handle.net/1808/26900.

Council of Science Editors:

Alharbi FA. The Translation and Translation Verification of the PIRLS Reading Questionnaires for Saudi Students. [Masters Thesis]. University of Kansas; 2017. Available from: http://hdl.handle.net/1808/26900

22. Sekar, Mummalaneni Raja. Face Verification Using support Vector Machines with Histogram Intersection Kernal; -.

Degree: Compute Science Engineering, 2013, Jawaharlal Nehru Technological University, Hyderabad

Face verification is an image categorization procedure. In this the face of the person is identified by using the given set of images. The precision… (more)

Subjects/Keywords: Histogram; Intersection; Machines; support; Verification

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Sekar, M. R. (2013). Face Verification Using support Vector Machines with Histogram Intersection Kernal; -. (Thesis). Jawaharlal Nehru Technological University, Hyderabad. Retrieved from http://shodhganga.inflibnet.ac.in/handle/10603/19858

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

Sekar, Mummalaneni Raja. “Face Verification Using support Vector Machines with Histogram Intersection Kernal; -.” 2013. Thesis, Jawaharlal Nehru Technological University, Hyderabad. Accessed May 26, 2019. http://shodhganga.inflibnet.ac.in/handle/10603/19858.

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

MLA Handbook (7th Edition):

Sekar, Mummalaneni Raja. “Face Verification Using support Vector Machines with Histogram Intersection Kernal; -.” 2013. Web. 26 May 2019.

Vancouver:

Sekar MR. Face Verification Using support Vector Machines with Histogram Intersection Kernal; -. [Internet] [Thesis]. Jawaharlal Nehru Technological University, Hyderabad; 2013. [cited 2019 May 26]. Available from: http://shodhganga.inflibnet.ac.in/handle/10603/19858.

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

Council of Science Editors:

Sekar MR. Face Verification Using support Vector Machines with Histogram Intersection Kernal; -. [Thesis]. Jawaharlal Nehru Technological University, Hyderabad; 2013. Available from: http://shodhganga.inflibnet.ac.in/handle/10603/19858

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

23. Kawasaki, Toru. Regular Expression Timing Simulation of Logic Circuits Based on Implicit Manipulation of Finite Automata : 有限オートマンの非明示的処理を用いた正則表現タイミングシミュレーション; ユウゲン オートマン ノ ヒメイジテキ ショリ オ モチイタ セイソク ヒョウゲン タイミング シミュレーション.

Degree: Nara Institute of Science and Technology / 奈良先端科学技術大学院大学

Subjects/Keywords: timing verification

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Kawasaki, T. (n.d.). Regular Expression Timing Simulation of Logic Circuits Based on Implicit Manipulation of Finite Automata : 有限オートマンの非明示的処理を用いた正則表現タイミングシミュレーション; ユウゲン オートマン ノ ヒメイジテキ ショリ オ モチイタ セイソク ヒョウゲン タイミング シミュレーション. (Thesis). Nara Institute of Science and Technology / 奈良先端科学技術大学院大学. Retrieved from http://hdl.handle.net/10061/2350

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

Kawasaki, Toru. “Regular Expression Timing Simulation of Logic Circuits Based on Implicit Manipulation of Finite Automata : 有限オートマンの非明示的処理を用いた正則表現タイミングシミュレーション; ユウゲン オートマン ノ ヒメイジテキ ショリ オ モチイタ セイソク ヒョウゲン タイミング シミュレーション.” Thesis, Nara Institute of Science and Technology / 奈良先端科学技術大学院大学. Accessed May 26, 2019. http://hdl.handle.net/10061/2350.

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

Kawasaki, Toru. “Regular Expression Timing Simulation of Logic Circuits Based on Implicit Manipulation of Finite Automata : 有限オートマンの非明示的処理を用いた正則表現タイミングシミュレーション; ユウゲン オートマン ノ ヒメイジテキ ショリ オ モチイタ セイソク ヒョウゲン タイミング シミュレーション.” Web. 26 May 2019.

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

Vancouver:

Kawasaki T. Regular Expression Timing Simulation of Logic Circuits Based on Implicit Manipulation of Finite Automata : 有限オートマンの非明示的処理を用いた正則表現タイミングシミュレーション; ユウゲン オートマン ノ ヒメイジテキ ショリ オ モチイタ セイソク ヒョウゲン タイミング シミュレーション. [Internet] [Thesis]. Nara Institute of Science and Technology / 奈良先端科学技術大学院大学; [cited 2019 May 26]. Available from: http://hdl.handle.net/10061/2350.

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:

Kawasaki T. Regular Expression Timing Simulation of Logic Circuits Based on Implicit Manipulation of Finite Automata : 有限オートマンの非明示的処理を用いた正則表現タイミングシミュレーション; ユウゲン オートマン ノ ヒメイジテキ ショリ オ モチイタ セイソク ヒョウゲン タイミング シミュレーション. [Thesis]. Nara Institute of Science and Technology / 奈良先端科学技術大学院大学; Available from: http://hdl.handle.net/10061/2350

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


Victoria University of Wellington

24. Palmer, Benjamin Philip. Anonymously Establishing Digital Provenance in Reseller Chains.

Degree: 2012, Victoria University of Wellington

 An increasing number of products are exclusively digital items, such as media files, licenses, services, or subscriptions. In many cases customers do not purchase these… (more)

Subjects/Keywords: Provenance; e-Commerce; Verification

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Palmer, B. P. (2012). Anonymously Establishing Digital Provenance in Reseller Chains. (Doctoral Dissertation). Victoria University of Wellington. Retrieved from http://hdl.handle.net/10063/2281

Chicago Manual of Style (16th Edition):

Palmer, Benjamin Philip. “Anonymously Establishing Digital Provenance in Reseller Chains.” 2012. Doctoral Dissertation, Victoria University of Wellington. Accessed May 26, 2019. http://hdl.handle.net/10063/2281.

MLA Handbook (7th Edition):

Palmer, Benjamin Philip. “Anonymously Establishing Digital Provenance in Reseller Chains.” 2012. Web. 26 May 2019.

Vancouver:

Palmer BP. Anonymously Establishing Digital Provenance in Reseller Chains. [Internet] [Doctoral dissertation]. Victoria University of Wellington; 2012. [cited 2019 May 26]. Available from: http://hdl.handle.net/10063/2281.

Council of Science Editors:

Palmer BP. Anonymously Establishing Digital Provenance in Reseller Chains. [Doctoral Dissertation]. Victoria University of Wellington; 2012. Available from: http://hdl.handle.net/10063/2281


Queens University

25. Foo, King Chun (Derek). Automated discovery of performance regressions in enterprise applications .

Degree: Electrical and Computer Engineering, 2011, Queens University

 Performance regression refers to the phenomena where the application performance degrades compared to prior releases. Performance regressions are unwanted side-effects caused by changes to application… (more)

Subjects/Keywords: performance regression; performance verification

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Foo, K. C. (. (2011). Automated discovery of performance regressions in enterprise applications . (Thesis). Queens University. Retrieved from http://hdl.handle.net/1974/6292

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

Foo, King Chun (Derek). “Automated discovery of performance regressions in enterprise applications .” 2011. Thesis, Queens University. Accessed May 26, 2019. http://hdl.handle.net/1974/6292.

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

MLA Handbook (7th Edition):

Foo, King Chun (Derek). “Automated discovery of performance regressions in enterprise applications .” 2011. Web. 26 May 2019.

Vancouver:

Foo KC(. Automated discovery of performance regressions in enterprise applications . [Internet] [Thesis]. Queens University; 2011. [cited 2019 May 26]. Available from: http://hdl.handle.net/1974/6292.

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

Council of Science Editors:

Foo KC(. Automated discovery of performance regressions in enterprise applications . [Thesis]. Queens University; 2011. Available from: http://hdl.handle.net/1974/6292

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


University of Hawaii – Manoa

26. Bennett, Christine. Verification and Enhancement in Predicting Relationship Satisfaction: Does Context Matter?.

Degree: 2017, University of Hawaii – Manoa

M.A. University of Hawaii at Manoa 2015.

Self-verification theory argues that people attempt to maintain and preserve their self-perceptions by acting in ways that reinforce… (more)

Subjects/Keywords: verification; enhancement; relationship satisfaction

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Bennett, C. (2017). Verification and Enhancement in Predicting Relationship Satisfaction: Does Context Matter?. (Thesis). University of Hawaii – Manoa. Retrieved from http://hdl.handle.net/10125/50880

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

Bennett, Christine. “Verification and Enhancement in Predicting Relationship Satisfaction: Does Context Matter?.” 2017. Thesis, University of Hawaii – Manoa. Accessed May 26, 2019. http://hdl.handle.net/10125/50880.

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

MLA Handbook (7th Edition):

Bennett, Christine. “Verification and Enhancement in Predicting Relationship Satisfaction: Does Context Matter?.” 2017. Web. 26 May 2019.

Vancouver:

Bennett C. Verification and Enhancement in Predicting Relationship Satisfaction: Does Context Matter?. [Internet] [Thesis]. University of Hawaii – Manoa; 2017. [cited 2019 May 26]. Available from: http://hdl.handle.net/10125/50880.

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

Council of Science Editors:

Bennett C. Verification and Enhancement in Predicting Relationship Satisfaction: Does Context Matter?. [Thesis]. University of Hawaii – Manoa; 2017. Available from: http://hdl.handle.net/10125/50880

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


University of Toronto

27. Abhishek. Incremental Power Grid Verification.

Degree: 2012, University of Toronto

Verification of the on-die power grid is a key step in the design of complex high performance integrated circuits. For the very large grids in… (more)

Subjects/Keywords: EDA; Power Grid Verification; 0544

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Abhishek. (2012). Incremental Power Grid Verification. (Masters Thesis). University of Toronto. Retrieved from http://hdl.handle.net/1807/33311

Note: this citation may be lacking information needed for this citation format:
Author name may be incomplete

Chicago Manual of Style (16th Edition):

Abhishek. “Incremental Power Grid Verification.” 2012. Masters Thesis, University of Toronto. Accessed May 26, 2019. http://hdl.handle.net/1807/33311.

Note: this citation may be lacking information needed for this citation format:
Author name may be incomplete

MLA Handbook (7th Edition):

Abhishek. “Incremental Power Grid Verification.” 2012. Web. 26 May 2019.

Note: this citation may be lacking information needed for this citation format:
Author name may be incomplete

Vancouver:

Abhishek. Incremental Power Grid Verification. [Internet] [Masters thesis]. University of Toronto; 2012. [cited 2019 May 26]. Available from: http://hdl.handle.net/1807/33311.

Note: this citation may be lacking information needed for this citation format:
Author name may be incomplete

Council of Science Editors:

Abhishek. Incremental Power Grid Verification. [Masters Thesis]. University of Toronto; 2012. Available from: http://hdl.handle.net/1807/33311

Note: this citation may be lacking information needed for this citation format:
Author name may be incomplete


University of Toronto

28. Adler, John. Novel Approaches to Automated Digital Design Debugging in a Modern Development Cycle.

Degree: 2017, University of Toronto

The ever-increasing complexity of modern digital designs has introduced significant challenges to ensuring designs meet specification. Verification alone consumes up to 70% of the cost… (more)

Subjects/Keywords: Debugging; Machine Learning; Verification; 0464

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Adler, J. (2017). Novel Approaches to Automated Digital Design Debugging in a Modern Development Cycle. (Masters Thesis). University of Toronto. Retrieved from http://hdl.handle.net/1807/79092

Chicago Manual of Style (16th Edition):

Adler, John. “Novel Approaches to Automated Digital Design Debugging in a Modern Development Cycle.” 2017. Masters Thesis, University of Toronto. Accessed May 26, 2019. http://hdl.handle.net/1807/79092.

MLA Handbook (7th Edition):

Adler, John. “Novel Approaches to Automated Digital Design Debugging in a Modern Development Cycle.” 2017. Web. 26 May 2019.

Vancouver:

Adler J. Novel Approaches to Automated Digital Design Debugging in a Modern Development Cycle. [Internet] [Masters thesis]. University of Toronto; 2017. [cited 2019 May 26]. Available from: http://hdl.handle.net/1807/79092.

Council of Science Editors:

Adler J. Novel Approaches to Automated Digital Design Debugging in a Modern Development Cycle. [Masters Thesis]. University of Toronto; 2017. Available from: http://hdl.handle.net/1807/79092


Louisiana State University

29. Hesston, Ricky. Dosimetric evaluation of a delivery verification and dose reconstruction method for helical tomotherapy.

Degree: MS, Physical Sciences and Mathematics, 2009, Louisiana State University

  Purpose: To determine the dosimetric accuracy of a dose reconstruction method used for verification of helical tomotherapy delivery for three different clinical sites. Methods… (more)

Subjects/Keywords: delivery verification; dose reconstruction

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Hesston, R. (2009). Dosimetric evaluation of a delivery verification and dose reconstruction method for helical tomotherapy. (Masters Thesis). Louisiana State University. Retrieved from etd-03122009-120024 ; https://digitalcommons.lsu.edu/gradschool_theses/2491

Chicago Manual of Style (16th Edition):

Hesston, Ricky. “Dosimetric evaluation of a delivery verification and dose reconstruction method for helical tomotherapy.” 2009. Masters Thesis, Louisiana State University. Accessed May 26, 2019. etd-03122009-120024 ; https://digitalcommons.lsu.edu/gradschool_theses/2491.

MLA Handbook (7th Edition):

Hesston, Ricky. “Dosimetric evaluation of a delivery verification and dose reconstruction method for helical tomotherapy.” 2009. Web. 26 May 2019.

Vancouver:

Hesston R. Dosimetric evaluation of a delivery verification and dose reconstruction method for helical tomotherapy. [Internet] [Masters thesis]. Louisiana State University; 2009. [cited 2019 May 26]. Available from: etd-03122009-120024 ; https://digitalcommons.lsu.edu/gradschool_theses/2491.

Council of Science Editors:

Hesston R. Dosimetric evaluation of a delivery verification and dose reconstruction method for helical tomotherapy. [Masters Thesis]. Louisiana State University; 2009. Available from: etd-03122009-120024 ; https://digitalcommons.lsu.edu/gradschool_theses/2491


Louisiana State University

30. Roberts, Matthew. Comparison of TLD dose and reconstructed dose for post-mastectomy radiation therapy with TomoTherapy.

Degree: MS, Physical Sciences and Mathematics, 2011, Louisiana State University

  Purpose: To determine the dosimetric accuracy of TomoTherapy’s database technique for delivery verification and dose reconstruction in post-mastectomy radiation therapy (PMRT) treatments. Methods and… (more)

Subjects/Keywords: radiation therapy; verification; tomotherapy

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Roberts, M. (2011). Comparison of TLD dose and reconstructed dose for post-mastectomy radiation therapy with TomoTherapy. (Masters Thesis). Louisiana State University. Retrieved from etd-08042011-180939 ; https://digitalcommons.lsu.edu/gradschool_theses/1491

Chicago Manual of Style (16th Edition):

Roberts, Matthew. “Comparison of TLD dose and reconstructed dose for post-mastectomy radiation therapy with TomoTherapy.” 2011. Masters Thesis, Louisiana State University. Accessed May 26, 2019. etd-08042011-180939 ; https://digitalcommons.lsu.edu/gradschool_theses/1491.

MLA Handbook (7th Edition):

Roberts, Matthew. “Comparison of TLD dose and reconstructed dose for post-mastectomy radiation therapy with TomoTherapy.” 2011. Web. 26 May 2019.

Vancouver:

Roberts M. Comparison of TLD dose and reconstructed dose for post-mastectomy radiation therapy with TomoTherapy. [Internet] [Masters thesis]. Louisiana State University; 2011. [cited 2019 May 26]. Available from: etd-08042011-180939 ; https://digitalcommons.lsu.edu/gradschool_theses/1491.

Council of Science Editors:

Roberts M. Comparison of TLD dose and reconstructed dose for post-mastectomy radiation therapy with TomoTherapy. [Masters Thesis]. Louisiana State University; 2011. Available from: etd-08042011-180939 ; https://digitalcommons.lsu.edu/gradschool_theses/1491

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

.