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 +publisher:"McMaster University" +contributor:("Computing and Software"). Showing records 1 – 30 of 184 total matches.

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

Search Limiters

Last 2 Years | English Only

Degrees

Levels

▼ Search Limiters

1. Brown, Helen. MacVenture: An iPad Application Design for Social Constructivist E-Learning.

Degree: MSc, 2016, McMaster University

Several countries are beginning to introduce computer science education at an elementary school level in response to the increasing demand of technologically skilled workers. In… (more)

Subjects/Keywords: educational technology; iPad education; social constructivism; learning theories; iPad application design

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Brown, H. (2016). MacVenture: An iPad Application Design for Social Constructivist E-Learning. (Masters Thesis). McMaster University. Retrieved from http://hdl.handle.net/11375/20478

Chicago Manual of Style (16th Edition):

Brown, Helen. “MacVenture: An iPad Application Design for Social Constructivist E-Learning.” 2016. Masters Thesis, McMaster University. Accessed May 20, 2019. http://hdl.handle.net/11375/20478.

MLA Handbook (7th Edition):

Brown, Helen. “MacVenture: An iPad Application Design for Social Constructivist E-Learning.” 2016. Web. 20 May 2019.

Vancouver:

Brown H. MacVenture: An iPad Application Design for Social Constructivist E-Learning. [Internet] [Masters thesis]. McMaster University; 2016. [cited 2019 May 20]. Available from: http://hdl.handle.net/11375/20478.

Council of Science Editors:

Brown H. MacVenture: An iPad Application Design for Social Constructivist E-Learning. [Masters Thesis]. McMaster University; 2016. Available from: http://hdl.handle.net/11375/20478


McMaster University

2. LIANG, HONGFENG. NOVEL STOCHASTIC PROGRAMMING FORMULATIONS FOR ASSEMBLE-TO-ORDER SYSTEMS.

Degree: PhD, 2017, McMaster University

We study a periodic review assemble-to-order (ATO) system introduced by Akcay and Xu (2004) which jointly optimizes the base stock levels and the component allocation… (more)

Subjects/Keywords: Assemble-To-Order; component commonality; stochastic programming; inventory replenishment; component allocation

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

LIANG, H. (2017). NOVEL STOCHASTIC PROGRAMMING FORMULATIONS FOR ASSEMBLE-TO-ORDER SYSTEMS. (Doctoral Dissertation). McMaster University. Retrieved from http://hdl.handle.net/11375/22118

Chicago Manual of Style (16th Edition):

LIANG, HONGFENG. “NOVEL STOCHASTIC PROGRAMMING FORMULATIONS FOR ASSEMBLE-TO-ORDER SYSTEMS.” 2017. Doctoral Dissertation, McMaster University. Accessed May 20, 2019. http://hdl.handle.net/11375/22118.

MLA Handbook (7th Edition):

LIANG, HONGFENG. “NOVEL STOCHASTIC PROGRAMMING FORMULATIONS FOR ASSEMBLE-TO-ORDER SYSTEMS.” 2017. Web. 20 May 2019.

Vancouver:

LIANG H. NOVEL STOCHASTIC PROGRAMMING FORMULATIONS FOR ASSEMBLE-TO-ORDER SYSTEMS. [Internet] [Doctoral dissertation]. McMaster University; 2017. [cited 2019 May 20]. Available from: http://hdl.handle.net/11375/22118.

Council of Science Editors:

LIANG H. NOVEL STOCHASTIC PROGRAMMING FORMULATIONS FOR ASSEMBLE-TO-ORDER SYSTEMS. [Doctoral Dissertation]. McMaster University; 2017. Available from: http://hdl.handle.net/11375/22118


McMaster University

3. Mo, Guang. Analysis of On/Off servers with Dynamic Voltage Scaling.

Degree: MCS, 2017, McMaster University

With rapid adoption of cloud solutions across industries, energy consumed by server farms continues to rise. There are numerous approaches to reduce energy consumption in… (more)

Subjects/Keywords: green computing; performance; DVS

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Mo, G. (2017). Analysis of On/Off servers with Dynamic Voltage Scaling. (Masters Thesis). McMaster University. Retrieved from http://hdl.handle.net/11375/22804

Chicago Manual of Style (16th Edition):

Mo, Guang. “Analysis of On/Off servers with Dynamic Voltage Scaling.” 2017. Masters Thesis, McMaster University. Accessed May 20, 2019. http://hdl.handle.net/11375/22804.

MLA Handbook (7th Edition):

Mo, Guang. “Analysis of On/Off servers with Dynamic Voltage Scaling.” 2017. Web. 20 May 2019.

Vancouver:

Mo G. Analysis of On/Off servers with Dynamic Voltage Scaling. [Internet] [Masters thesis]. McMaster University; 2017. [cited 2019 May 20]. Available from: http://hdl.handle.net/11375/22804.

Council of Science Editors:

Mo G. Analysis of On/Off servers with Dynamic Voltage Scaling. [Masters Thesis]. McMaster University; 2017. Available from: http://hdl.handle.net/11375/22804


McMaster University

4. Lenarcic, Adam. Rough Sets, Similarity, and Optimal Approximations.

Degree: PhD, 2017, McMaster University

Rough sets have been studied for over 30 years, and the basic concepts of lower and upper approximations have been analysed in detail, yet nowhere… (more)

Subjects/Keywords: Approximation; Rough Sets; Similarity; Optimal Approximation

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Lenarcic, A. (2017). Rough Sets, Similarity, and Optimal Approximations. (Doctoral Dissertation). McMaster University. Retrieved from http://hdl.handle.net/11375/22245

Chicago Manual of Style (16th Edition):

Lenarcic, Adam. “Rough Sets, Similarity, and Optimal Approximations.” 2017. Doctoral Dissertation, McMaster University. Accessed May 20, 2019. http://hdl.handle.net/11375/22245.

MLA Handbook (7th Edition):

Lenarcic, Adam. “Rough Sets, Similarity, and Optimal Approximations.” 2017. Web. 20 May 2019.

Vancouver:

Lenarcic A. Rough Sets, Similarity, and Optimal Approximations. [Internet] [Doctoral dissertation]. McMaster University; 2017. [cited 2019 May 20]. Available from: http://hdl.handle.net/11375/22245.

Council of Science Editors:

Lenarcic A. Rough Sets, Similarity, and Optimal Approximations. [Doctoral Dissertation]. McMaster University; 2017. Available from: http://hdl.handle.net/11375/22245


McMaster University

5. Assiri, Mohammed. Modeling Elevator System With Coloured Petri Nets.

Degree: MASc, 2015, McMaster University

A fairly general model of the elevator system is presented. Coloured Petri Nets (CPN) and CPN tools are adopted as modeling tools. The model, which… (more)

Subjects/Keywords: Formal Specification; Coloured Petri Nets; Software Specification Benchmarks; Elevator System

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Assiri, M. (2015). Modeling Elevator System With Coloured Petri Nets. (Masters Thesis). McMaster University. Retrieved from http://hdl.handle.net/11375/18040

Chicago Manual of Style (16th Edition):

Assiri, Mohammed. “Modeling Elevator System With Coloured Petri Nets.” 2015. Masters Thesis, McMaster University. Accessed May 20, 2019. http://hdl.handle.net/11375/18040.

MLA Handbook (7th Edition):

Assiri, Mohammed. “Modeling Elevator System With Coloured Petri Nets.” 2015. Web. 20 May 2019.

Vancouver:

Assiri M. Modeling Elevator System With Coloured Petri Nets. [Internet] [Masters thesis]. McMaster University; 2015. [cited 2019 May 20]. Available from: http://hdl.handle.net/11375/18040.

Council of Science Editors:

Assiri M. Modeling Elevator System With Coloured Petri Nets. [Masters Thesis]. McMaster University; 2015. Available from: http://hdl.handle.net/11375/18040


McMaster University

6. Mirdad, Abeer. A Mixed Model for Pairwise Comparisons and Its Applications.

Degree: MCS, 2015, McMaster University

The method of Pairwise Comparisons was first described by Ramon Llull in the end of XIII century. At present, this method is identified with controversial… (more)

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Mirdad, A. (2015). A Mixed Model for Pairwise Comparisons and Its Applications. (Masters Thesis). McMaster University. Retrieved from http://hdl.handle.net/11375/18438

Chicago Manual of Style (16th Edition):

Mirdad, Abeer. “A Mixed Model for Pairwise Comparisons and Its Applications.” 2015. Masters Thesis, McMaster University. Accessed May 20, 2019. http://hdl.handle.net/11375/18438.

MLA Handbook (7th Edition):

Mirdad, Abeer. “A Mixed Model for Pairwise Comparisons and Its Applications.” 2015. Web. 20 May 2019.

Vancouver:

Mirdad A. A Mixed Model for Pairwise Comparisons and Its Applications. [Internet] [Masters thesis]. McMaster University; 2015. [cited 2019 May 20]. Available from: http://hdl.handle.net/11375/18438.

Council of Science Editors:

Mirdad A. A Mixed Model for Pairwise Comparisons and Its Applications. [Masters Thesis]. McMaster University; 2015. Available from: http://hdl.handle.net/11375/18438


McMaster University

7. Bo, Yang. Lattice Basis Reduction Algorithms and the Subset Sum Problem.

Degree: MSc, 2016, McMaster University

It is well-known that the subset sum problem is NP-complete, which is the basis for the subset sum based public-key cryptosystems. Some attacks on such… (more)

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Bo, Y. (2016). Lattice Basis Reduction Algorithms and the Subset Sum Problem. (Masters Thesis). McMaster University. Retrieved from http://hdl.handle.net/11375/20476

Chicago Manual of Style (16th Edition):

Bo, Yang. “Lattice Basis Reduction Algorithms and the Subset Sum Problem.” 2016. Masters Thesis, McMaster University. Accessed May 20, 2019. http://hdl.handle.net/11375/20476.

MLA Handbook (7th Edition):

Bo, Yang. “Lattice Basis Reduction Algorithms and the Subset Sum Problem.” 2016. Web. 20 May 2019.

Vancouver:

Bo Y. Lattice Basis Reduction Algorithms and the Subset Sum Problem. [Internet] [Masters thesis]. McMaster University; 2016. [cited 2019 May 20]. Available from: http://hdl.handle.net/11375/20476.

Council of Science Editors:

Bo Y. Lattice Basis Reduction Algorithms and the Subset Sum Problem. [Masters Thesis]. McMaster University; 2016. Available from: http://hdl.handle.net/11375/20476


McMaster University

8. Mhaskar, Neerja. A Generalization of Square-free Strings.

Degree: PhD, 2016, McMaster University

Our research is in the general area of String Algorithms and Combinatorics on Words. Specifically, we study a generalization of square-free strings, shuffle properties of… (more)

Subjects/Keywords: Strings; Repetitions; Square-free; Thue Morphisms; Formalism for strings; Proof Complexity; String Algorithms; String shuffle; Graphs and string shuffle

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Mhaskar, N. (2016). A Generalization of Square-free Strings. (Doctoral Dissertation). McMaster University. Retrieved from http://hdl.handle.net/11375/20492

Chicago Manual of Style (16th Edition):

Mhaskar, Neerja. “A Generalization of Square-free Strings.” 2016. Doctoral Dissertation, McMaster University. Accessed May 20, 2019. http://hdl.handle.net/11375/20492.

MLA Handbook (7th Edition):

Mhaskar, Neerja. “A Generalization of Square-free Strings.” 2016. Web. 20 May 2019.

Vancouver:

Mhaskar N. A Generalization of Square-free Strings. [Internet] [Doctoral dissertation]. McMaster University; 2016. [cited 2019 May 20]. Available from: http://hdl.handle.net/11375/20492.

Council of Science Editors:

Mhaskar N. A Generalization of Square-free Strings. [Doctoral Dissertation]. McMaster University; 2016. Available from: http://hdl.handle.net/11375/20492


McMaster University

9. Markov, Mikhail. Multi-Agent Distributed Graph Traversal.

Degree: MSc, 2016, McMaster University

The industry of the civil Unmanned Aerial Vehicles (UAVs) has been growing rapidly in past few years. In many scenarios, accomplishing a task using a… (more)

Subjects/Keywords: multi-agent; distributed; graph; traversal; algorithms; decentralized; optimization; Unmanned Aerial Vehicles; cost-effective; autonomous

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Markov, M. (2016). Multi-Agent Distributed Graph Traversal. (Masters Thesis). McMaster University. Retrieved from http://hdl.handle.net/11375/20514

Chicago Manual of Style (16th Edition):

Markov, Mikhail. “Multi-Agent Distributed Graph Traversal.” 2016. Masters Thesis, McMaster University. Accessed May 20, 2019. http://hdl.handle.net/11375/20514.

MLA Handbook (7th Edition):

Markov, Mikhail. “Multi-Agent Distributed Graph Traversal.” 2016. Web. 20 May 2019.

Vancouver:

Markov M. Multi-Agent Distributed Graph Traversal. [Internet] [Masters thesis]. McMaster University; 2016. [cited 2019 May 20]. Available from: http://hdl.handle.net/11375/20514.

Council of Science Editors:

Markov M. Multi-Agent Distributed Graph Traversal. [Masters Thesis]. McMaster University; 2016. Available from: http://hdl.handle.net/11375/20514


McMaster University

10. Baskaran, Sridevi. Discovering Ontology Functional Dependencies.

Degree: MSc, 2016, McMaster University

Functional Dependencies (FDs) are commonly used in data cleaning to identify dirty and inconsistent data values. However, many errors require user input for specific do-… (more)

Subjects/Keywords: Ontology

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Baskaran, S. (2016). Discovering Ontology Functional Dependencies. (Masters Thesis). McMaster University. Retrieved from http://hdl.handle.net/11375/20691

Chicago Manual of Style (16th Edition):

Baskaran, Sridevi. “Discovering Ontology Functional Dependencies.” 2016. Masters Thesis, McMaster University. Accessed May 20, 2019. http://hdl.handle.net/11375/20691.

MLA Handbook (7th Edition):

Baskaran, Sridevi. “Discovering Ontology Functional Dependencies.” 2016. Web. 20 May 2019.

Vancouver:

Baskaran S. Discovering Ontology Functional Dependencies. [Internet] [Masters thesis]. McMaster University; 2016. [cited 2019 May 20]. Available from: http://hdl.handle.net/11375/20691.

Council of Science Editors:

Baskaran S. Discovering Ontology Functional Dependencies. [Masters Thesis]. McMaster University; 2016. Available from: http://hdl.handle.net/11375/20691


McMaster University

11. Krishnan, Akhil. Distributed Vehicle Routing Approximation.

Degree: MSc, 2016, McMaster University

Distributed Approximation

The classic vehicle routing problem (VRP) is generally concerned with the optimal design of routes by a fleet of vehicles to service a… (more)

Subjects/Keywords: VRP; NP-Complete; Distributed

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Krishnan, A. (2016). Distributed Vehicle Routing Approximation. (Masters Thesis). McMaster University. Retrieved from http://hdl.handle.net/11375/20769

Chicago Manual of Style (16th Edition):

Krishnan, Akhil. “Distributed Vehicle Routing Approximation.” 2016. Masters Thesis, McMaster University. Accessed May 20, 2019. http://hdl.handle.net/11375/20769.

MLA Handbook (7th Edition):

Krishnan, Akhil. “Distributed Vehicle Routing Approximation.” 2016. Web. 20 May 2019.

Vancouver:

Krishnan A. Distributed Vehicle Routing Approximation. [Internet] [Masters thesis]. McMaster University; 2016. [cited 2019 May 20]. Available from: http://hdl.handle.net/11375/20769.

Council of Science Editors:

Krishnan A. Distributed Vehicle Routing Approximation. [Masters Thesis]. McMaster University; 2016. Available from: http://hdl.handle.net/11375/20769


McMaster University

12. Mailach, Rachel. Robustness to Estimation Errors for Size-Aware Scheduling.

Degree: MASc, 2017, McMaster University

When scheduling size-aware single server systems, Shortest Remaining Processing Time (SRPT) has strong optimality properties - it minimizes the number of jobs at the server… (more)

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Mailach, R. (2017). Robustness to Estimation Errors for Size-Aware Scheduling. (Masters Thesis). McMaster University. Retrieved from http://hdl.handle.net/11375/20965

Chicago Manual of Style (16th Edition):

Mailach, Rachel. “Robustness to Estimation Errors for Size-Aware Scheduling.” 2017. Masters Thesis, McMaster University. Accessed May 20, 2019. http://hdl.handle.net/11375/20965.

MLA Handbook (7th Edition):

Mailach, Rachel. “Robustness to Estimation Errors for Size-Aware Scheduling.” 2017. Web. 20 May 2019.

Vancouver:

Mailach R. Robustness to Estimation Errors for Size-Aware Scheduling. [Internet] [Masters thesis]. McMaster University; 2017. [cited 2019 May 20]. Available from: http://hdl.handle.net/11375/20965.

Council of Science Editors:

Mailach R. Robustness to Estimation Errors for Size-Aware Scheduling. [Masters Thesis]. McMaster University; 2017. Available from: http://hdl.handle.net/11375/20965


McMaster University

13. Smith, Geneva. GLaDOS: Integrating Emotion-Based Behaviours into Non-Player Characters in Computer Role-Playing Games.

Degree: MASc, 2017, McMaster University

Non-Player Character (NPC) believability is a game aspect that can be exploited to increase a game's replayability, but little research has been conducted on the… (more)

Subjects/Keywords: Replayability; Non-Player Character Believability

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Smith, G. (2017). GLaDOS: Integrating Emotion-Based Behaviours into Non-Player Characters in Computer Role-Playing Games. (Masters Thesis). McMaster University. Retrieved from http://hdl.handle.net/11375/21369

Chicago Manual of Style (16th Edition):

Smith, Geneva. “GLaDOS: Integrating Emotion-Based Behaviours into Non-Player Characters in Computer Role-Playing Games.” 2017. Masters Thesis, McMaster University. Accessed May 20, 2019. http://hdl.handle.net/11375/21369.

MLA Handbook (7th Edition):

Smith, Geneva. “GLaDOS: Integrating Emotion-Based Behaviours into Non-Player Characters in Computer Role-Playing Games.” 2017. Web. 20 May 2019.

Vancouver:

Smith G. GLaDOS: Integrating Emotion-Based Behaviours into Non-Player Characters in Computer Role-Playing Games. [Internet] [Masters thesis]. McMaster University; 2017. [cited 2019 May 20]. Available from: http://hdl.handle.net/11375/21369.

Council of Science Editors:

Smith G. GLaDOS: Integrating Emotion-Based Behaviours into Non-Player Characters in Computer Role-Playing Games. [Masters Thesis]. McMaster University; 2017. Available from: http://hdl.handle.net/11375/21369


McMaster University

14. Perna, Natalie. (Re-)Creating sharing in Agda's GHC backend.

Degree: MSc, 2017, McMaster University

Agda is a dependently-typed programming language and theorem prover, supporting proof construction in a functional programming style. Due to its incredibly flexible concrete syntax and… (more)

Subjects/Keywords: Compiler optimizations; Functional programming; Dependent types; Computer science

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Perna, N. (2017). (Re-)Creating sharing in Agda's GHC backend. (Masters Thesis). McMaster University. Retrieved from http://hdl.handle.net/11375/22177

Chicago Manual of Style (16th Edition):

Perna, Natalie. “(Re-)Creating sharing in Agda's GHC backend.” 2017. Masters Thesis, McMaster University. Accessed May 20, 2019. http://hdl.handle.net/11375/22177.

MLA Handbook (7th Edition):

Perna, Natalie. “(Re-)Creating sharing in Agda's GHC backend.” 2017. Web. 20 May 2019.

Vancouver:

Perna N. (Re-)Creating sharing in Agda's GHC backend. [Internet] [Masters thesis]. McMaster University; 2017. [cited 2019 May 20]. Available from: http://hdl.handle.net/11375/22177.

Council of Science Editors:

Perna N. (Re-)Creating sharing in Agda's GHC backend. [Masters Thesis]. McMaster University; 2017. Available from: http://hdl.handle.net/11375/22177

15. Mohammad Gholizadeh, Hamid. A Query Structured Model Transformation Approach.

Degree: PhD, 2017, McMaster University

Model Driven Engineering (MDE) has gained a considerable attention in the software engineering domain in the past decade. MDE proposes shifting the focus of the… (more)

Subjects/Keywords: Model Transformation; Diagrammatic Queries; Model Synchronization Taxonomy; Formal Methods

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Mohammad Gholizadeh, H. (2017). A Query Structured Model Transformation Approach. (Doctoral Dissertation). McMaster University. Retrieved from http://hdl.handle.net/11375/21976

Chicago Manual of Style (16th Edition):

Mohammad Gholizadeh, Hamid. “A Query Structured Model Transformation Approach.” 2017. Doctoral Dissertation, McMaster University. Accessed May 20, 2019. http://hdl.handle.net/11375/21976.

MLA Handbook (7th Edition):

Mohammad Gholizadeh, Hamid. “A Query Structured Model Transformation Approach.” 2017. Web. 20 May 2019.

Vancouver:

Mohammad Gholizadeh H. A Query Structured Model Transformation Approach. [Internet] [Doctoral dissertation]. McMaster University; 2017. [cited 2019 May 20]. Available from: http://hdl.handle.net/11375/21976.

Council of Science Editors:

Mohammad Gholizadeh H. A Query Structured Model Transformation Approach. [Doctoral Dissertation]. McMaster University; 2017. Available from: http://hdl.handle.net/11375/21976


McMaster University

16. Sayari Nejad, Mojdeh. A CASE STUDY IN ASSURANCE CASE DEVELOPMENT FOR SCIENTIFIC SOFTWAR.

Degree: MSc, 2017, McMaster University

Assurance Cases have been effectively used for improving the safety of real-time safety systems. However, until now, Assurance Case techniques have not been applied to… (more)

Subjects/Keywords: Assurance Case; GSN; Goal Structuring Notation; Scientific Software; 3dfim+; SRS; Software Requirements Specification

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Sayari Nejad, M. (2017). A CASE STUDY IN ASSURANCE CASE DEVELOPMENT FOR SCIENTIFIC SOFTWAR. (Masters Thesis). McMaster University. Retrieved from http://hdl.handle.net/11375/23075

Chicago Manual of Style (16th Edition):

Sayari Nejad, Mojdeh. “A CASE STUDY IN ASSURANCE CASE DEVELOPMENT FOR SCIENTIFIC SOFTWAR.” 2017. Masters Thesis, McMaster University. Accessed May 20, 2019. http://hdl.handle.net/11375/23075.

MLA Handbook (7th Edition):

Sayari Nejad, Mojdeh. “A CASE STUDY IN ASSURANCE CASE DEVELOPMENT FOR SCIENTIFIC SOFTWAR.” 2017. Web. 20 May 2019.

Vancouver:

Sayari Nejad M. A CASE STUDY IN ASSURANCE CASE DEVELOPMENT FOR SCIENTIFIC SOFTWAR. [Internet] [Masters thesis]. McMaster University; 2017. [cited 2019 May 20]. Available from: http://hdl.handle.net/11375/23075.

Council of Science Editors:

Sayari Nejad M. A CASE STUDY IN ASSURANCE CASE DEVELOPMENT FOR SCIENTIFIC SOFTWAR. [Masters Thesis]. McMaster University; 2017. Available from: http://hdl.handle.net/11375/23075


McMaster University

17. Sun, Zhuoyu. COMPUTATIONAL FRAMEWORK FOR THE GENERALIZED BERGE SORTING CONJECTURE.

Degree: MASc, 2017, McMaster University

In 1966, Claude Berge proposed the following sorting problem. Given a string of n alternating white and black pegs, rearrange the pegs into a string… (more)

Subjects/Keywords: Berge Sorting

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Sun, Z. (2017). COMPUTATIONAL FRAMEWORK FOR THE GENERALIZED BERGE SORTING CONJECTURE. (Masters Thesis). McMaster University. Retrieved from http://hdl.handle.net/11375/23463

Chicago Manual of Style (16th Edition):

Sun, Zhuoyu. “COMPUTATIONAL FRAMEWORK FOR THE GENERALIZED BERGE SORTING CONJECTURE.” 2017. Masters Thesis, McMaster University. Accessed May 20, 2019. http://hdl.handle.net/11375/23463.

MLA Handbook (7th Edition):

Sun, Zhuoyu. “COMPUTATIONAL FRAMEWORK FOR THE GENERALIZED BERGE SORTING CONJECTURE.” 2017. Web. 20 May 2019.

Vancouver:

Sun Z. COMPUTATIONAL FRAMEWORK FOR THE GENERALIZED BERGE SORTING CONJECTURE. [Internet] [Masters thesis]. McMaster University; 2017. [cited 2019 May 20]. Available from: http://hdl.handle.net/11375/23463.

Council of Science Editors:

Sun Z. COMPUTATIONAL FRAMEWORK FOR THE GENERALIZED BERGE SORTING CONJECTURE. [Masters Thesis]. McMaster University; 2017. Available from: http://hdl.handle.net/11375/23463


McMaster University

18. Chadder, Nathan. Computational determination of the largest lattice polytope diameter.

Degree: MASc, 2017, McMaster University

A lattice (d, k)-polytope is the convex hull of a set of points in dimension d whose coordinates are integers between 0 and k. Let… (more)

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Chadder, N. (2017). Computational determination of the largest lattice polytope diameter. (Masters Thesis). McMaster University. Retrieved from http://hdl.handle.net/11375/22226

Chicago Manual of Style (16th Edition):

Chadder, Nathan. “Computational determination of the largest lattice polytope diameter.” 2017. Masters Thesis, McMaster University. Accessed May 20, 2019. http://hdl.handle.net/11375/22226.

MLA Handbook (7th Edition):

Chadder, Nathan. “Computational determination of the largest lattice polytope diameter.” 2017. Web. 20 May 2019.

Vancouver:

Chadder N. Computational determination of the largest lattice polytope diameter. [Internet] [Masters thesis]. McMaster University; 2017. [cited 2019 May 20]. Available from: http://hdl.handle.net/11375/22226.

Council of Science Editors:

Chadder N. Computational determination of the largest lattice polytope diameter. [Masters Thesis]. McMaster University; 2017. Available from: http://hdl.handle.net/11375/22226


McMaster University

19. Tian, Zhaofei. A Hybrid Method for Lattice Basis Reduction and Applications.

Degree: PhD, 2018, McMaster University

Lattice reduction aided techniques have been successfully applied to a wide range of applications. Efficient and robust lattice basis reduction algorithms are valuable. In this… (more)

Subjects/Keywords: Lattice; Lattice reduction; LLL algorithm; Jacobi method; MIMO; Cryptography; BKZ 2.0

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Tian, Z. (2018). A Hybrid Method for Lattice Basis Reduction and Applications. (Doctoral Dissertation). McMaster University. Retrieved from http://hdl.handle.net/11375/23465

Chicago Manual of Style (16th Edition):

Tian, Zhaofei. “A Hybrid Method for Lattice Basis Reduction and Applications.” 2018. Doctoral Dissertation, McMaster University. Accessed May 20, 2019. http://hdl.handle.net/11375/23465.

MLA Handbook (7th Edition):

Tian, Zhaofei. “A Hybrid Method for Lattice Basis Reduction and Applications.” 2018. Web. 20 May 2019.

Vancouver:

Tian Z. A Hybrid Method for Lattice Basis Reduction and Applications. [Internet] [Doctoral dissertation]. McMaster University; 2018. [cited 2019 May 20]. Available from: http://hdl.handle.net/11375/23465.

Council of Science Editors:

Tian Z. A Hybrid Method for Lattice Basis Reduction and Applications. [Doctoral Dissertation]. McMaster University; 2018. Available from: http://hdl.handle.net/11375/23465


McMaster University

20. Xu, Qiang. Fingerprints for Indoor Localization.

Degree: PhD, 2018, McMaster University

 Location-based services have experienced substantial growth in the last decade. However, despite extensive research efforts, sub-meter location accuracy with low-cost infrastructure continues to be elusive.… (more)

Subjects/Keywords: indoor localization; fingerprint; mobile crowdsensing; active learning

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Xu, Q. (2018). Fingerprints for Indoor Localization. (Doctoral Dissertation). McMaster University. Retrieved from http://hdl.handle.net/11375/22841

Chicago Manual of Style (16th Edition):

Xu, Qiang. “Fingerprints for Indoor Localization.” 2018. Doctoral Dissertation, McMaster University. Accessed May 20, 2019. http://hdl.handle.net/11375/22841.

MLA Handbook (7th Edition):

Xu, Qiang. “Fingerprints for Indoor Localization.” 2018. Web. 20 May 2019.

Vancouver:

Xu Q. Fingerprints for Indoor Localization. [Internet] [Doctoral dissertation]. McMaster University; 2018. [cited 2019 May 20]. Available from: http://hdl.handle.net/11375/22841.

Council of Science Editors:

Xu Q. Fingerprints for Indoor Localization. [Doctoral Dissertation]. McMaster University; 2018. Available from: http://hdl.handle.net/11375/22841


McMaster University

21. Paracha, Asma. LYNDON FACTORS AND PERIODICITIES IN STRINGS.

Degree: PhD, 2018, McMaster University

Strings are very simple yet very applicable data structures. Their applicability ranges from modelling DNA, to modelling protein sequences, to information retrieval, to web page… (more)

Subjects/Keywords: Lyndon

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Paracha, A. (2018). LYNDON FACTORS AND PERIODICITIES IN STRINGS. (Doctoral Dissertation). McMaster University. Retrieved from http://hdl.handle.net/11375/22749

Chicago Manual of Style (16th Edition):

Paracha, Asma. “LYNDON FACTORS AND PERIODICITIES IN STRINGS.” 2018. Doctoral Dissertation, McMaster University. Accessed May 20, 2019. http://hdl.handle.net/11375/22749.

MLA Handbook (7th Edition):

Paracha, Asma. “LYNDON FACTORS AND PERIODICITIES IN STRINGS.” 2018. Web. 20 May 2019.

Vancouver:

Paracha A. LYNDON FACTORS AND PERIODICITIES IN STRINGS. [Internet] [Doctoral dissertation]. McMaster University; 2018. [cited 2019 May 20]. Available from: http://hdl.handle.net/11375/22749.

Council of Science Editors:

Paracha A. LYNDON FACTORS AND PERIODICITIES IN STRINGS. [Doctoral Dissertation]. McMaster University; 2018. Available from: http://hdl.handle.net/11375/22749


McMaster University

22. Alrashed, Weaam. Evaluating the effectiveness of web application testing techniques using automated tools.

Degree: MASc, 2018, McMaster University

The heterogeneous structure and dynamic nature of web applications have made the testing procedure a challenge. Producing high-quality web applications can be performed by conducting… (more)

Subjects/Keywords: web application; testing techniques; automated tools

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Alrashed, W. (2018). Evaluating the effectiveness of web application testing techniques using automated tools. (Masters Thesis). McMaster University. Retrieved from http://hdl.handle.net/11375/22746

Chicago Manual of Style (16th Edition):

Alrashed, Weaam. “Evaluating the effectiveness of web application testing techniques using automated tools.” 2018. Masters Thesis, McMaster University. Accessed May 20, 2019. http://hdl.handle.net/11375/22746.

MLA Handbook (7th Edition):

Alrashed, Weaam. “Evaluating the effectiveness of web application testing techniques using automated tools.” 2018. Web. 20 May 2019.

Vancouver:

Alrashed W. Evaluating the effectiveness of web application testing techniques using automated tools. [Internet] [Masters thesis]. McMaster University; 2018. [cited 2019 May 20]. Available from: http://hdl.handle.net/11375/22746.

Council of Science Editors:

Alrashed W. Evaluating the effectiveness of web application testing techniques using automated tools. [Masters Thesis]. McMaster University; 2018. Available from: http://hdl.handle.net/11375/22746


McMaster University

23. Hu, Qian. FCL: A FORMAL LANGUAGE FOR WRITING CONTRACTS.

Degree: PhD, 2018, McMaster University

Contracts are legally enforceable agreements between two or more parties. The agreements can contain temporally based conditions, such as actions taken by the contract parties… (more)

Subjects/Keywords: contracts; formal languages; simple type theory; observables; deontic logic; conditional agreements; temporally based conditions

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Hu, Q. (2018). FCL: A FORMAL LANGUAGE FOR WRITING CONTRACTS. (Doctoral Dissertation). McMaster University. Retrieved from http://hdl.handle.net/11375/23049

Chicago Manual of Style (16th Edition):

Hu, Qian. “FCL: A FORMAL LANGUAGE FOR WRITING CONTRACTS.” 2018. Doctoral Dissertation, McMaster University. Accessed May 20, 2019. http://hdl.handle.net/11375/23049.

MLA Handbook (7th Edition):

Hu, Qian. “FCL: A FORMAL LANGUAGE FOR WRITING CONTRACTS.” 2018. Web. 20 May 2019.

Vancouver:

Hu Q. FCL: A FORMAL LANGUAGE FOR WRITING CONTRACTS. [Internet] [Doctoral dissertation]. McMaster University; 2018. [cited 2019 May 20]. Available from: http://hdl.handle.net/11375/23049.

Council of Science Editors:

Hu Q. FCL: A FORMAL LANGUAGE FOR WRITING CONTRACTS. [Doctoral Dissertation]. McMaster University; 2018. Available from: http://hdl.handle.net/11375/23049


McMaster University

24. Sutton, Andrew. Establishing Verifiable Trust in Collaborative Health Research.

Degree: MSc, 2018, McMaster University

Collaborative health research environments usually involve sharing private health data between a number of participants, including researchers at different institutions. Inclusion of AI systems as… (more)

Subjects/Keywords: Trust; Transparency; Privacy; Security; Blockchain; Provenance; Linked Data; Integrity; Collaboration; Artificial Intelligence; Audit Logs; Data Sharing

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Sutton, A. (2018). Establishing Verifiable Trust in Collaborative Health Research. (Masters Thesis). McMaster University. Retrieved from http://hdl.handle.net/11375/23417

Chicago Manual of Style (16th Edition):

Sutton, Andrew. “Establishing Verifiable Trust in Collaborative Health Research.” 2018. Masters Thesis, McMaster University. Accessed May 20, 2019. http://hdl.handle.net/11375/23417.

MLA Handbook (7th Edition):

Sutton, Andrew. “Establishing Verifiable Trust in Collaborative Health Research.” 2018. Web. 20 May 2019.

Vancouver:

Sutton A. Establishing Verifiable Trust in Collaborative Health Research. [Internet] [Masters thesis]. McMaster University; 2018. [cited 2019 May 20]. Available from: http://hdl.handle.net/11375/23417.

Council of Science Editors:

Sutton A. Establishing Verifiable Trust in Collaborative Health Research. [Masters Thesis]. McMaster University; 2018. Available from: http://hdl.handle.net/11375/23417


McMaster University

25. Eles, Colin J. A Tabular Expression Toolbox for Matlab/Simulink.

Degree: MASc, 2011, McMaster University

Model based design has had a large impact on the process of software development in many different industries. A lack of formality in these… (more)

Subjects/Keywords: software engineering; formal methods; tabular exressions; model-based design; simulink; Software Engineering; Software Engineering

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Eles, C. J. (2011). A Tabular Expression Toolbox for Matlab/Simulink. (Masters Thesis). McMaster University. Retrieved from http://hdl.handle.net/11375/8957

Chicago Manual of Style (16th Edition):

Eles, Colin J. “A Tabular Expression Toolbox for Matlab/Simulink.” 2011. Masters Thesis, McMaster University. Accessed May 20, 2019. http://hdl.handle.net/11375/8957.

MLA Handbook (7th Edition):

Eles, Colin J. “A Tabular Expression Toolbox for Matlab/Simulink.” 2011. Web. 20 May 2019.

Vancouver:

Eles CJ. A Tabular Expression Toolbox for Matlab/Simulink. [Internet] [Masters thesis]. McMaster University; 2011. [cited 2019 May 20]. Available from: http://hdl.handle.net/11375/8957.

Council of Science Editors:

Eles CJ. A Tabular Expression Toolbox for Matlab/Simulink. [Masters Thesis]. McMaster University; 2011. Available from: http://hdl.handle.net/11375/8957


McMaster University

26. Hsieh, Tzu-Chen Alvin. MATHEMATICAL MODELING OF THE FLYING PROBE TEST SYSTEM.

Degree: MS, 2010, McMaster University

Electrical components are the building blocks of any electronics. These building blocks, when intelligently assembled, form circuits that behave as intended by the designer.… (more)

Subjects/Keywords: Computer Sciences; Software Engineering; Computer Sciences

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Hsieh, T. A. (2010). MATHEMATICAL MODELING OF THE FLYING PROBE TEST SYSTEM. (Masters Thesis). McMaster University. Retrieved from http://hdl.handle.net/11375/9010

Chicago Manual of Style (16th Edition):

Hsieh, Tzu-Chen Alvin. “MATHEMATICAL MODELING OF THE FLYING PROBE TEST SYSTEM.” 2010. Masters Thesis, McMaster University. Accessed May 20, 2019. http://hdl.handle.net/11375/9010.

MLA Handbook (7th Edition):

Hsieh, Tzu-Chen Alvin. “MATHEMATICAL MODELING OF THE FLYING PROBE TEST SYSTEM.” 2010. Web. 20 May 2019.

Vancouver:

Hsieh TA. MATHEMATICAL MODELING OF THE FLYING PROBE TEST SYSTEM. [Internet] [Masters thesis]. McMaster University; 2010. [cited 2019 May 20]. Available from: http://hdl.handle.net/11375/9010.

Council of Science Editors:

Hsieh TA. MATHEMATICAL MODELING OF THE FLYING PROBE TEST SYSTEM. [Masters Thesis]. McMaster University; 2010. Available from: http://hdl.handle.net/11375/9010


McMaster University

27. Moore-Oliva, Joshua I. A Comparison of Scalable Multi-Threaded Stack Mechanisms.

Degree: MS, 2010, McMaster University

The traditional "stack grows from the top, heap grows from the bottom" memory layout allows a single-threaded process to make use of all available… (more)

Subjects/Keywords: Computing and Software; Computer Engineering; Computer Sciences; Software Engineering; Computer Engineering

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Moore-Oliva, J. I. (2010). A Comparison of Scalable Multi-Threaded Stack Mechanisms. (Masters Thesis). McMaster University. Retrieved from http://hdl.handle.net/11375/9011

Chicago Manual of Style (16th Edition):

Moore-Oliva, Joshua I. “A Comparison of Scalable Multi-Threaded Stack Mechanisms.” 2010. Masters Thesis, McMaster University. Accessed May 20, 2019. http://hdl.handle.net/11375/9011.

MLA Handbook (7th Edition):

Moore-Oliva, Joshua I. “A Comparison of Scalable Multi-Threaded Stack Mechanisms.” 2010. Web. 20 May 2019.

Vancouver:

Moore-Oliva JI. A Comparison of Scalable Multi-Threaded Stack Mechanisms. [Internet] [Masters thesis]. McMaster University; 2010. [cited 2019 May 20]. Available from: http://hdl.handle.net/11375/9011.

Council of Science Editors:

Moore-Oliva JI. A Comparison of Scalable Multi-Threaded Stack Mechanisms. [Masters Thesis]. McMaster University; 2010. Available from: http://hdl.handle.net/11375/9011


McMaster University

28. Ma, Xiaoxi. A Primal-Dual Heuristic for the Traveling Salesman Problem.

Degree: MS, 2010, McMaster University

In this thesis we provide a Linear Programming (LP) formulation and a heuristic for the symmetric Traveling Salesman Problem (TSP) on certain complete graphs… (more)

Subjects/Keywords: Computing and Software; Computer Engineering; Computer Engineering

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Ma, X. (2010). A Primal-Dual Heuristic for the Traveling Salesman Problem. (Masters Thesis). McMaster University. Retrieved from http://hdl.handle.net/11375/9111

Chicago Manual of Style (16th Edition):

Ma, Xiaoxi. “A Primal-Dual Heuristic for the Traveling Salesman Problem.” 2010. Masters Thesis, McMaster University. Accessed May 20, 2019. http://hdl.handle.net/11375/9111.

MLA Handbook (7th Edition):

Ma, Xiaoxi. “A Primal-Dual Heuristic for the Traveling Salesman Problem.” 2010. Web. 20 May 2019.

Vancouver:

Ma X. A Primal-Dual Heuristic for the Traveling Salesman Problem. [Internet] [Masters thesis]. McMaster University; 2010. [cited 2019 May 20]. Available from: http://hdl.handle.net/11375/9111.

Council of Science Editors:

Ma X. A Primal-Dual Heuristic for the Traveling Salesman Problem. [Masters Thesis]. McMaster University; 2010. Available from: http://hdl.handle.net/11375/9111


McMaster University

29. Sharma, Anuroop. Elementary function evaluation using New Hardware Instruction.

Degree: MS, 2010, McMaster University

In this thesis, we present novel fast and accurate hardware/ software implementations of the elementary math functions based on range reduction, e.g. Berner's multiplicative… (more)

Subjects/Keywords: Computer Engineering; Computer Sciences; Software Engineering; Computer Engineering

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Sharma, A. (2010). Elementary function evaluation using New Hardware Instruction. (Masters Thesis). McMaster University. Retrieved from http://hdl.handle.net/11375/9186

Chicago Manual of Style (16th Edition):

Sharma, Anuroop. “Elementary function evaluation using New Hardware Instruction.” 2010. Masters Thesis, McMaster University. Accessed May 20, 2019. http://hdl.handle.net/11375/9186.

MLA Handbook (7th Edition):

Sharma, Anuroop. “Elementary function evaluation using New Hardware Instruction.” 2010. Web. 20 May 2019.

Vancouver:

Sharma A. Elementary function evaluation using New Hardware Instruction. [Internet] [Masters thesis]. McMaster University; 2010. [cited 2019 May 20]. Available from: http://hdl.handle.net/11375/9186.

Council of Science Editors:

Sharma A. Elementary function evaluation using New Hardware Instruction. [Masters Thesis]. McMaster University; 2010. Available from: http://hdl.handle.net/11375/9186


McMaster University

30. Romanowicz, Ewa. Verification of programs with Z3.

Degree: MS, 2010, McMaster University

Fixing the errors in programs is usually very labor-intensive and thus an expensive task. It is also known to be prone to human error… (more)

Subjects/Keywords: Software Engineering; Software Engineering

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Romanowicz, E. (2010). Verification of programs with Z3. (Masters Thesis). McMaster University. Retrieved from http://hdl.handle.net/11375/9194

Chicago Manual of Style (16th Edition):

Romanowicz, Ewa. “Verification of programs with Z3.” 2010. Masters Thesis, McMaster University. Accessed May 20, 2019. http://hdl.handle.net/11375/9194.

MLA Handbook (7th Edition):

Romanowicz, Ewa. “Verification of programs with Z3.” 2010. Web. 20 May 2019.

Vancouver:

Romanowicz E. Verification of programs with Z3. [Internet] [Masters thesis]. McMaster University; 2010. [cited 2019 May 20]. Available from: http://hdl.handle.net/11375/9194.

Council of Science Editors:

Romanowicz E. Verification of programs with Z3. [Masters Thesis]. McMaster University; 2010. Available from: http://hdl.handle.net/11375/9194

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

.