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 2008 total matches.

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

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 July 18, 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. 18 Jul 2019.

Vancouver:

Moura PAA. Controlo remoto de presenças recorrendo à tecnologia de speaker verification. [Internet] [Thesis]. Universidade do Porto; 2010. [cited 2019 Jul 18]. 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 July 18, 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. 18 Jul 2019.

Vancouver:

Greenaway D. Automated proof-producing abstraction of C code. [Internet] [Doctoral dissertation]. University of New South Wales; 2014. [cited 2019 Jul 18]. 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 July 18, 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. 18 Jul 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 Jul 18]. 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 July 18, 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. 18 Jul 2019.

Vancouver:

Han F. A Morphing-based Approach for the Verification of Precipitation Forecasts. [Internet] [Thesis]. Texas A&M University; 2014. [cited 2019 Jul 18]. 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


Penn State University

5. 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 July 18, 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. 18 Jul 2019.

Vancouver:

Schneider AI. Use of Spatial Statistics in Precipitation Climatology and Model Evaluation. [Internet] [Masters thesis]. Penn State University; 2014. [cited 2019 Jul 18]. 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


McMaster University

6. 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 July 18, 2019. http://hdl.handle.net/11375/17468.

MLA Handbook (7th Edition):

Cai, Yixian. “Secure and Trusted Verification.” 2015. Web. 18 Jul 2019.

Vancouver:

Cai Y. Secure and Trusted Verification. [Internet] [Masters thesis]. McMaster University; 2015. [cited 2019 Jul 18]. 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

7. 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 July 18, 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. 18 Jul 2019.

Vancouver:

Longfield S. Constructive Verification Of Quasi Delay-Insensitive Circuits . [Internet] [Thesis]. Cornell University; 2015. [cited 2019 Jul 18]. 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 Toronto

8. 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 July 18, 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. 18 Jul 2019.

Vancouver:

Berryhill R. Traceless Automated Design Debugging of Liveness Properties Using Property Directed Reachability. [Internet] [Masters thesis]. University of Toronto; 2016. [cited 2019 Jul 18]. 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


University of Waterloo

9. 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 July 18, 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. 18 Jul 2019.

Vancouver:

Langari Z. Modelling and Analysis using Graph Transformation Systems. [Internet] [Thesis]. University of Waterloo; 2010. [cited 2019 Jul 18]. 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

10. 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 July 18, 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. 18 Jul 2019.

Vancouver:

Shehata H. Formal Verification of Instruction Dependencies in Microprocessors. [Internet] [Thesis]. University of Waterloo; 2011. [cited 2019 Jul 18]. 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

11. 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 July 18, 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. 18 Jul 2019.

Vancouver:

Antonino PRG. Verifying concurrent systems by approximation. [Internet] [Doctoral dissertation]. University of Oxford; 2018. [cited 2019 Jul 18]. 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

12. 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 July 18, 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. 18 Jul 2019.

Vancouver:

Matthews O. A Formal Framework for Designing Verifiable Protocols . [Internet] [Thesis]. Duke University; 2017. [cited 2019 Jul 18]. 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

13. 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 July 18, 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. 18 Jul 2019.

Vancouver:

Afnan S. Comparison GMM and SVM Classifier for Automatic Speaker Verification. [Internet] [Masters thesis]. Clemson University; 2015. [cited 2019 Jul 18]. 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

14. 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 July 18, 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. 18 Jul 2019.

Vancouver:

Vakkalanka S. Efficient dynamic verification algorithms for MPI applications. [Internet] [Doctoral dissertation]. University of Utah; 2010. [cited 2019 Jul 18]. 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

15. 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 July 18, 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. 18 Jul 2019.

Vancouver:

Thacker RA. New verification method for embedded systems. [Internet] [Doctoral dissertation]. University of Utah; 2010. [cited 2019 Jul 18]. 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

16. 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 July 18, 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. 18 Jul 2019.

Vancouver:

Ochoa Ronderos M. Model based security guarantees and change. [Internet] [Thesis]. Technische Universität Dortmund; 2012. [cited 2019 Jul 18]. 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

17. 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 July 18, 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. 18 Jul 2019.

Vancouver:

Kumar R. Timing Verification of Adaptive Integrated Circuits. [Internet] [Thesis]. Texas A&M University; 2014. [cited 2019 Jul 18]. 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

18. 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 July 18, 2019. http://hdl.handle.net/10063/867.

MLA Handbook (7th Edition):

Palmer, Ben. “Verifying Privacy Preserving Combinatorial Auctions.” 2009. Web. 18 Jul 2019.

Vancouver:

Palmer B. Verifying Privacy Preserving Combinatorial Auctions. [Internet] [Masters thesis]. Victoria University of Wellington; 2009. [cited 2019 Jul 18]. 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

19. 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 July 18, 2019. http://hdl.handle.net/10063/6271.

MLA Handbook (7th Edition):

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

Vancouver:

Tabilog A. Program Verification with Separation Logic and Rely Guarantee. [Internet] [Masters thesis]. Victoria University of Wellington; 2017. [cited 2019 Jul 18]. 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

20. 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 July 18, 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. 18 Jul 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 Jul 18]. 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

21. 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 July 18, 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. 18 Jul 2019.

Vancouver:

Sekar MR. Face Verification Using support Vector Machines with Histogram Intersection Kernal; -. [Internet] [Thesis]. Jawaharlal Nehru Technological University, Hyderabad; 2013. [cited 2019 Jul 18]. 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

22. 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 July 18, 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. 18 Jul 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 Jul 18]. 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.


Queens University

23. 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 July 18, 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. 18 Jul 2019.

Vancouver:

Foo KC(. Automated discovery of performance regressions in enterprise applications . [Internet] [Thesis]. Queens University; 2011. [cited 2019 Jul 18]. 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

24. 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 July 18, 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. 18 Jul 2019.

Vancouver:

Bennett C. Verification and Enhancement in Predicting Relationship Satisfaction: Does Context Matter?. [Internet] [Thesis]. University of Hawaii – Manoa; 2017. [cited 2019 Jul 18]. 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


Louisiana State University

25. 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 July 18, 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. 18 Jul 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 Jul 18]. 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

26. 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 July 18, 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. 18 Jul 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 Jul 18]. 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


University of Victoria

27. Reddoch, Lisa. Verifying relational value: the moderating role of self-esteem in seeking self-verifying feedback.

Degree: Dept. of Psychology, 2012, University of Victoria

 People feel discomfort when they receive feedback about their relational value that is inconsistent with their self-esteem and certainty when they receive feedback that is… (more)

Subjects/Keywords: Self-Esteem; Motivation; Self-Verification

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Reddoch, L. (2012). Verifying relational value: the moderating role of self-esteem in seeking self-verifying feedback. (Masters Thesis). University of Victoria. Retrieved from http://hdl.handle.net/1828/4048

Chicago Manual of Style (16th Edition):

Reddoch, Lisa. “Verifying relational value: the moderating role of self-esteem in seeking self-verifying feedback.” 2012. Masters Thesis, University of Victoria. Accessed July 18, 2019. http://hdl.handle.net/1828/4048.

MLA Handbook (7th Edition):

Reddoch, Lisa. “Verifying relational value: the moderating role of self-esteem in seeking self-verifying feedback.” 2012. Web. 18 Jul 2019.

Vancouver:

Reddoch L. Verifying relational value: the moderating role of self-esteem in seeking self-verifying feedback. [Internet] [Masters thesis]. University of Victoria; 2012. [cited 2019 Jul 18]. Available from: http://hdl.handle.net/1828/4048.

Council of Science Editors:

Reddoch L. Verifying relational value: the moderating role of self-esteem in seeking self-verifying feedback. [Masters Thesis]. University of Victoria; 2012. Available from: http://hdl.handle.net/1828/4048


McMaster University

28. Zhong, Hongsheng. Secure and Trusted Partial White-box Verification Based on Garbled Circuits.

Degree: MSc, 2016, McMaster University

Verification is a process that checks whether a program G, implemented by a devel- oper, correctly complies with the corresponding requirement specifications. A verifier, whose… (more)

Subjects/Keywords: Cryptography; Software Engineering; Software Verification

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Zhong, H. (2016). Secure and Trusted Partial White-box Verification Based on Garbled Circuits. (Masters Thesis). McMaster University. Retrieved from http://hdl.handle.net/11375/20551

Chicago Manual of Style (16th Edition):

Zhong, Hongsheng. “Secure and Trusted Partial White-box Verification Based on Garbled Circuits.” 2016. Masters Thesis, McMaster University. Accessed July 18, 2019. http://hdl.handle.net/11375/20551.

MLA Handbook (7th Edition):

Zhong, Hongsheng. “Secure and Trusted Partial White-box Verification Based on Garbled Circuits.” 2016. Web. 18 Jul 2019.

Vancouver:

Zhong H. Secure and Trusted Partial White-box Verification Based on Garbled Circuits. [Internet] [Masters thesis]. McMaster University; 2016. [cited 2019 Jul 18]. Available from: http://hdl.handle.net/11375/20551.

Council of Science Editors:

Zhong H. Secure and Trusted Partial White-box Verification Based on Garbled Circuits. [Masters Thesis]. McMaster University; 2016. Available from: http://hdl.handle.net/11375/20551


University of Bath

29. Bibu, Gideon Dadik. Computational verification of security requirements.

Degree: PhD, 2014, University of Bath

 One of the reasons for persistence of information security challenges in organisations is that security is usually seen as a technical problem. Hence the emphasis… (more)

Subjects/Keywords: 658.4; Verification; Security; Requirements

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Bibu, G. D. (2014). Computational verification of security requirements. (Doctoral Dissertation). University of Bath. Retrieved from https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.648941

Chicago Manual of Style (16th Edition):

Bibu, Gideon Dadik. “Computational verification of security requirements.” 2014. Doctoral Dissertation, University of Bath. Accessed July 18, 2019. https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.648941.

MLA Handbook (7th Edition):

Bibu, Gideon Dadik. “Computational verification of security requirements.” 2014. Web. 18 Jul 2019.

Vancouver:

Bibu GD. Computational verification of security requirements. [Internet] [Doctoral dissertation]. University of Bath; 2014. [cited 2019 Jul 18]. Available from: https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.648941.

Council of Science Editors:

Bibu GD. Computational verification of security requirements. [Doctoral Dissertation]. University of Bath; 2014. Available from: https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.648941


University of Oxford

30. Kattenbelt, Mark Alex. Automated quantitative software verification.

Degree: PhD, 2010, University of Oxford

 Many software systems exhibit probabilistic behaviour, either added explicitly, to improve performance or to break symmetry, or implicitly, through interaction with unreliable networks or faulty… (more)

Subjects/Keywords: 005.3; Theory and automated verification; model checking; quantitative; verification; software; formal methods; formal verification; software verification

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Kattenbelt, M. A. (2010). Automated quantitative software verification. (Doctoral Dissertation). University of Oxford. Retrieved from http://ora.ox.ac.uk/objects/uuid:62430df4-7fdf-4c4f-b3cd-97ba8912c9f5 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.540281

Chicago Manual of Style (16th Edition):

Kattenbelt, Mark Alex. “Automated quantitative software verification.” 2010. Doctoral Dissertation, University of Oxford. Accessed July 18, 2019. http://ora.ox.ac.uk/objects/uuid:62430df4-7fdf-4c4f-b3cd-97ba8912c9f5 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.540281.

MLA Handbook (7th Edition):

Kattenbelt, Mark Alex. “Automated quantitative software verification.” 2010. Web. 18 Jul 2019.

Vancouver:

Kattenbelt MA. Automated quantitative software verification. [Internet] [Doctoral dissertation]. University of Oxford; 2010. [cited 2019 Jul 18]. Available from: http://ora.ox.ac.uk/objects/uuid:62430df4-7fdf-4c4f-b3cd-97ba8912c9f5 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.540281.

Council of Science Editors:

Kattenbelt MA. Automated quantitative software verification. [Doctoral Dissertation]. University of Oxford; 2010. Available from: http://ora.ox.ac.uk/objects/uuid:62430df4-7fdf-4c4f-b3cd-97ba8912c9f5 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.540281

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

.