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:("Janicki, Ryszard"). Showing records 1 – 13 of 13 total matches.

Search Limiters

Last 2 Years | English Only

No search limiters apply to these results.

▼ Search Limiters


McMaster University

1. Adams, Stephen W. An Investigation of Coloured Petri Nets:Automated Part Cutting Case Study.

Degree: MSc, 2016, McMaster University

Petri nets are a graphical construction with clearly de ned semantics which can model concurrent communicating systems in a formal manner similar to the way… (more)

Subjects/Keywords: petri net; coloured; alegbra; graph; automation; part cutting

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Adams, S. W. (2016). An Investigation of Coloured Petri Nets:Automated Part Cutting Case Study. (Masters Thesis). McMaster University. Retrieved from http://hdl.handle.net/11375/18678

Chicago Manual of Style (16th Edition):

Adams, Stephen W. “An Investigation of Coloured Petri Nets:Automated Part Cutting Case Study.” 2016. Masters Thesis, McMaster University. Accessed May 23, 2019. http://hdl.handle.net/11375/18678.

MLA Handbook (7th Edition):

Adams, Stephen W. “An Investigation of Coloured Petri Nets:Automated Part Cutting Case Study.” 2016. Web. 23 May 2019.

Vancouver:

Adams SW. An Investigation of Coloured Petri Nets:Automated Part Cutting Case Study. [Internet] [Masters thesis]. McMaster University; 2016. [cited 2019 May 23]. Available from: http://hdl.handle.net/11375/18678.

Council of Science Editors:

Adams SW. An Investigation of Coloured Petri Nets:Automated Part Cutting Case Study. [Masters Thesis]. McMaster University; 2016. Available from: http://hdl.handle.net/11375/18678


McMaster University

2. 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 23, 2019. http://hdl.handle.net/11375/22245.

MLA Handbook (7th Edition):

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

Vancouver:

Lenarcic A. Rough Sets, Similarity, and Optimal Approximations. [Internet] [Doctoral dissertation]. McMaster University; 2017. [cited 2019 May 23]. 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

3. 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 23, 2019. http://hdl.handle.net/11375/18040.

MLA Handbook (7th Edition):

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

Vancouver:

Assiri M. Modeling Elevator System With Coloured Petri Nets. [Internet] [Masters thesis]. McMaster University; 2015. [cited 2019 May 23]. 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

4. 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 23, 2019. http://hdl.handle.net/11375/18438.

MLA Handbook (7th Edition):

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

Vancouver:

Mirdad A. A Mixed Model for Pairwise Comparisons and Its Applications. [Internet] [Masters thesis]. McMaster University; 2015. [cited 2019 May 23]. 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

5. 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 23, 2019. http://hdl.handle.net/11375/9194.

MLA Handbook (7th Edition):

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

Vancouver:

Romanowicz E. Verification of programs with Z3. [Internet] [Masters thesis]. McMaster University; 2010. [cited 2019 May 23]. 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


McMaster University

6. Alqarni, Mohammad. Modelling Concurrent Systems with Interval Processes.

Degree: PhD, 2016, McMaster University

Standard operational semantics of the majority of concurrency models is defined in terms of either sequences or step sequences, while standard concurrent history semantics is… (more)

Subjects/Keywords: Computer Science; Theoretical Computer Sceince; Systems Modelling; Concurrency

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Alqarni, M. (2016). Modelling Concurrent Systems with Interval Processes. (Doctoral Dissertation). McMaster University. Retrieved from http://hdl.handle.net/11375/19007

Chicago Manual of Style (16th Edition):

Alqarni, Mohammad. “Modelling Concurrent Systems with Interval Processes.” 2016. Doctoral Dissertation, McMaster University. Accessed May 23, 2019. http://hdl.handle.net/11375/19007.

MLA Handbook (7th Edition):

Alqarni, Mohammad. “Modelling Concurrent Systems with Interval Processes.” 2016. Web. 23 May 2019.

Vancouver:

Alqarni M. Modelling Concurrent Systems with Interval Processes. [Internet] [Doctoral dissertation]. McMaster University; 2016. [cited 2019 May 23]. Available from: http://hdl.handle.net/11375/19007.

Council of Science Editors:

Alqarni M. Modelling Concurrent Systems with Interval Processes. [Doctoral Dissertation]. McMaster University; 2016. Available from: http://hdl.handle.net/11375/19007


McMaster University

7. Al-janabi, Samir. An Integrated Approach to Improve Data Quality.

Degree: PhD, 2016, McMaster University

Thesis

A huge quantity of data is created and saved everyday in databases from different types of data sources, including financial data, web log data,… (more)

Subjects/Keywords: data management; data quality; data mining

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Al-janabi, S. (2016). An Integrated Approach to Improve Data Quality. (Doctoral Dissertation). McMaster University. Retrieved from http://hdl.handle.net/11375/19161

Chicago Manual of Style (16th Edition):

Al-janabi, Samir. “An Integrated Approach to Improve Data Quality.” 2016. Doctoral Dissertation, McMaster University. Accessed May 23, 2019. http://hdl.handle.net/11375/19161.

MLA Handbook (7th Edition):

Al-janabi, Samir. “An Integrated Approach to Improve Data Quality.” 2016. Web. 23 May 2019.

Vancouver:

Al-janabi S. An Integrated Approach to Improve Data Quality. [Internet] [Doctoral dissertation]. McMaster University; 2016. [cited 2019 May 23]. Available from: http://hdl.handle.net/11375/19161.

Council of Science Editors:

Al-janabi S. An Integrated Approach to Improve Data Quality. [Doctoral Dissertation]. McMaster University; 2016. Available from: http://hdl.handle.net/11375/19161


McMaster University

8. Zhai, Yun. Non-Numerical Ranking Based on Pairwise Comparisons.

Degree: PhD, 2010, McMaster University

Title: Non-Numerical Ranking Based on Pairwise Comparisons, Author: Yun Zhai, Location: Mills

The method of Pairwise Comparisons was first described by Marquis de Condorcet… (more)

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Zhai, Y. (2010). Non-Numerical Ranking Based on Pairwise Comparisons. (Doctoral Dissertation). McMaster University. Retrieved from http://hdl.handle.net/11375/19476

Chicago Manual of Style (16th Edition):

Zhai, Yun. “Non-Numerical Ranking Based on Pairwise Comparisons.” 2010. Doctoral Dissertation, McMaster University. Accessed May 23, 2019. http://hdl.handle.net/11375/19476.

MLA Handbook (7th Edition):

Zhai, Yun. “Non-Numerical Ranking Based on Pairwise Comparisons.” 2010. Web. 23 May 2019.

Vancouver:

Zhai Y. Non-Numerical Ranking Based on Pairwise Comparisons. [Internet] [Doctoral dissertation]. McMaster University; 2010. [cited 2019 May 23]. Available from: http://hdl.handle.net/11375/19476.

Council of Science Editors:

Zhai Y. Non-Numerical Ranking Based on Pairwise Comparisons. [Doctoral Dissertation]. McMaster University; 2010. Available from: http://hdl.handle.net/11375/19476


McMaster University

9. Babiy, Volodymyr. A context aware framework for product based software certification.

Degree: MS, 2010, McMaster University

p.p1 {margin: 0.0px 0.0px 0.0px 0.0px; font: 11.0px Times} Software certification is becoming a reasonable expectation from the ever growing number of software users.… (more)

Subjects/Keywords: Computer Sciences; Computer Sciences

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Babiy, V. (2010). A context aware framework for product based software certification. (Masters Thesis). McMaster University. Retrieved from http://hdl.handle.net/11375/9057

Chicago Manual of Style (16th Edition):

Babiy, Volodymyr. “A context aware framework for product based software certification.” 2010. Masters Thesis, McMaster University. Accessed May 23, 2019. http://hdl.handle.net/11375/9057.

MLA Handbook (7th Edition):

Babiy, Volodymyr. “A context aware framework for product based software certification.” 2010. Web. 23 May 2019.

Vancouver:

Babiy V. A context aware framework for product based software certification. [Internet] [Masters thesis]. McMaster University; 2010. [cited 2019 May 23]. Available from: http://hdl.handle.net/11375/9057.

Council of Science Editors:

Babiy V. A context aware framework for product based software certification. [Masters Thesis]. McMaster University; 2010. Available from: http://hdl.handle.net/11375/9057


McMaster University

10. Soudkhah, Mohammad Hadi. Weighted Feature Classification.

Degree: MCS, 2013, McMaster University

Most existing classification algorithms either consider all features as equally important (equal weights), or do not analyze consistency of weights assigned to features. When… (more)

Subjects/Keywords: Classification; Artificial Intelligence; Support Vector Machines; Pairwise Comparison; Inconsistency; Other Computer Engineering; Other Computer Engineering

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Soudkhah, M. H. (2013). Weighted Feature Classification. (Masters Thesis). McMaster University. Retrieved from http://hdl.handle.net/11375/13017

Chicago Manual of Style (16th Edition):

Soudkhah, Mohammad Hadi. “Weighted Feature Classification.” 2013. Masters Thesis, McMaster University. Accessed May 23, 2019. http://hdl.handle.net/11375/13017.

MLA Handbook (7th Edition):

Soudkhah, Mohammad Hadi. “Weighted Feature Classification.” 2013. Web. 23 May 2019.

Vancouver:

Soudkhah MH. Weighted Feature Classification. [Internet] [Masters thesis]. McMaster University; 2013. [cited 2019 May 23]. Available from: http://hdl.handle.net/11375/13017.

Council of Science Editors:

Soudkhah MH. Weighted Feature Classification. [Masters Thesis]. McMaster University; 2013. Available from: http://hdl.handle.net/11375/13017

11. Zubkova, Nadezhda. On Closure Operator for Interval Order Structures.

Degree: MSc, 2014, McMaster University

Formal studies of models of concurrency are usually focused on two major models: Interleaving abstraction (Bergstra, 2001; Milner, 1990) and partially ordered causality (Diekert and… (more)

Subjects/Keywords: concurrency; interval order structures; relational structures; closure operator

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

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Zubkova, N. (2014). On Closure Operator for Interval Order Structures. (Masters Thesis). McMaster University. Retrieved from http://hdl.handle.net/11375/16228

Chicago Manual of Style (16th Edition):

Zubkova, Nadezhda. “On Closure Operator for Interval Order Structures.” 2014. Masters Thesis, McMaster University. Accessed May 23, 2019. http://hdl.handle.net/11375/16228.

MLA Handbook (7th Edition):

Zubkova, Nadezhda. “On Closure Operator for Interval Order Structures.” 2014. Web. 23 May 2019.

Vancouver:

Zubkova N. On Closure Operator for Interval Order Structures. [Internet] [Masters thesis]. McMaster University; 2014. [cited 2019 May 23]. Available from: http://hdl.handle.net/11375/16228.

Council of Science Editors:

Zubkova N. On Closure Operator for Interval Order Structures. [Masters Thesis]. McMaster University; 2014. Available from: http://hdl.handle.net/11375/16228


McMaster University

12. Wu, Angela. Modelling Concurrent Systems with Object-Oriented Coloured Petri Nets.

Degree: MSc, 2003, McMaster University

This thesis presents a new modelling technique for the complex current system. It integrates object-oriented methodology into Petri Nets formalism. Petri Nets are used… (more)

Subjects/Keywords: concurrent systems; object-oriented; coloured petri nets; network; modularity; class; inheritance; polymorphism

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Wu, A. (2003). Modelling Concurrent Systems with Object-Oriented Coloured Petri Nets. (Masters Thesis). McMaster University. Retrieved from http://hdl.handle.net/11375/19981

Chicago Manual of Style (16th Edition):

Wu, Angela. “Modelling Concurrent Systems with Object-Oriented Coloured Petri Nets.” 2003. Masters Thesis, McMaster University. Accessed May 23, 2019. http://hdl.handle.net/11375/19981.

MLA Handbook (7th Edition):

Wu, Angela. “Modelling Concurrent Systems with Object-Oriented Coloured Petri Nets.” 2003. Web. 23 May 2019.

Vancouver:

Wu A. Modelling Concurrent Systems with Object-Oriented Coloured Petri Nets. [Internet] [Masters thesis]. McMaster University; 2003. [cited 2019 May 23]. Available from: http://hdl.handle.net/11375/19981.

Council of Science Editors:

Wu A. Modelling Concurrent Systems with Object-Oriented Coloured Petri Nets. [Masters Thesis]. McMaster University; 2003. Available from: http://hdl.handle.net/11375/19981


McMaster University

13. Radaideh, Mohammad A. Organizing, and documenting component-oriented toolkits.

Degree: PhD, 2000, McMaster University

Component-Oriented Software Technology started to emerge during the last few years. The purpose is to make it easier to build new applications from existing… (more)

Subjects/Keywords: Electrical and Computer Engineering; Electrical and Computer Engineering

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Radaideh, M. A. (2000). Organizing, and documenting component-oriented toolkits. (Doctoral Dissertation). McMaster University. Retrieved from http://hdl.handle.net/11375/7325

Chicago Manual of Style (16th Edition):

Radaideh, Mohammad A. “Organizing, and documenting component-oriented toolkits.” 2000. Doctoral Dissertation, McMaster University. Accessed May 23, 2019. http://hdl.handle.net/11375/7325.

MLA Handbook (7th Edition):

Radaideh, Mohammad A. “Organizing, and documenting component-oriented toolkits.” 2000. Web. 23 May 2019.

Vancouver:

Radaideh MA. Organizing, and documenting component-oriented toolkits. [Internet] [Doctoral dissertation]. McMaster University; 2000. [cited 2019 May 23]. Available from: http://hdl.handle.net/11375/7325.

Council of Science Editors:

Radaideh MA. Organizing, and documenting component-oriented toolkits. [Doctoral Dissertation]. McMaster University; 2000. Available from: http://hdl.handle.net/11375/7325

.