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:(zero suppressed binary decision diagrams). Showing records 1 – 30 of 17683 total matches.

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

Search Limiters

Last 2 Years | English Only

Degrees

Languages

Country

▼ Search Limiters

1. Morrison, David. New methods for branch-and-bound algorithms.

Degree: PhD, 0112, 2014, University of Illinois – Urbana-Champaign

 Branch-and-bound (B&B) algorithms, and extensions such as branch-and-price (B&P) are powerful tools for optimization. These algorithms are used in a wide variety of settings, and… (more)

Subjects/Keywords: branch-and-bound; branch-and-price; search strategies; zero-suppressed binary decision diagrams; wide branching; graph coloring; mixed integer programming

…column in C ; i.e., z yields C̄. Z, ZC A zero-suppressed binary decision diagram; a ZDD… …extension uses a data structure called a zero-suppressed binary decision diagram (ZDD)… …an exponential number of decision variables are often used to improve the value of the… …of the tree first. For example, given a binary mixed integer programming problem with a… …decision setting yi = 1 may satisfy a large number of constraints simultaneously, whereas a… 

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Morrison, D. (2014). New methods for branch-and-bound algorithms. (Doctoral Dissertation). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/50713

Chicago Manual of Style (16th Edition):

Morrison, David. “New methods for branch-and-bound algorithms.” 2014. Doctoral Dissertation, University of Illinois – Urbana-Champaign. Accessed June 17, 2019. http://hdl.handle.net/2142/50713.

MLA Handbook (7th Edition):

Morrison, David. “New methods for branch-and-bound algorithms.” 2014. Web. 17 Jun 2019.

Vancouver:

Morrison D. New methods for branch-and-bound algorithms. [Internet] [Doctoral dissertation]. University of Illinois – Urbana-Champaign; 2014. [cited 2019 Jun 17]. Available from: http://hdl.handle.net/2142/50713.

Council of Science Editors:

Morrison D. New methods for branch-and-bound algorithms. [Doctoral Dissertation]. University of Illinois – Urbana-Champaign; 2014. Available from: http://hdl.handle.net/2142/50713


University of Melbourne

2. Loekito, E. Mining simple and complex patterns efficiently using Binary Decision Diagrams.

Degree: 2009, University of Melbourne

 Pattern mining is a knowledge discovery task which is useful for finding interesting data characteristics. Existing mining techniques sometimes suffer from limited performance in challenging… (more)

Subjects/Keywords: Binary Decision Diagrams; Pattern Mining

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Loekito, E. (2009). Mining simple and complex patterns efficiently using Binary Decision Diagrams. (Doctoral Dissertation). University of Melbourne. Retrieved from http://hdl.handle.net/11343/35146

Chicago Manual of Style (16th Edition):

Loekito, E. “Mining simple and complex patterns efficiently using Binary Decision Diagrams.” 2009. Doctoral Dissertation, University of Melbourne. Accessed June 17, 2019. http://hdl.handle.net/11343/35146.

MLA Handbook (7th Edition):

Loekito, E. “Mining simple and complex patterns efficiently using Binary Decision Diagrams.” 2009. Web. 17 Jun 2019.

Vancouver:

Loekito E. Mining simple and complex patterns efficiently using Binary Decision Diagrams. [Internet] [Doctoral dissertation]. University of Melbourne; 2009. [cited 2019 Jun 17]. Available from: http://hdl.handle.net/11343/35146.

Council of Science Editors:

Loekito E. Mining simple and complex patterns efficiently using Binary Decision Diagrams. [Doctoral Dissertation]. University of Melbourne; 2009. Available from: http://hdl.handle.net/11343/35146


Rice University

3. Martinelli Tabajara, Lucas. BDD-Based Boolean Synthesis.

Degree: MS, Computer Science, 2018, Rice University

 Synthesizing a Boolean function satisfying a given relation between inputs and outputs is a problem with many applications in the verification and design of hardware… (more)

Subjects/Keywords: Boolean synthesis; Binary Decision Diagrams; Factored representation

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Martinelli Tabajara, L. (2018). BDD-Based Boolean Synthesis. (Masters Thesis). Rice University. Retrieved from http://hdl.handle.net/1911/105515

Chicago Manual of Style (16th Edition):

Martinelli Tabajara, Lucas. “BDD-Based Boolean Synthesis.” 2018. Masters Thesis, Rice University. Accessed June 17, 2019. http://hdl.handle.net/1911/105515.

MLA Handbook (7th Edition):

Martinelli Tabajara, Lucas. “BDD-Based Boolean Synthesis.” 2018. Web. 17 Jun 2019.

Vancouver:

Martinelli Tabajara L. BDD-Based Boolean Synthesis. [Internet] [Masters thesis]. Rice University; 2018. [cited 2019 Jun 17]. Available from: http://hdl.handle.net/1911/105515.

Council of Science Editors:

Martinelli Tabajara L. BDD-Based Boolean Synthesis. [Masters Thesis]. Rice University; 2018. Available from: http://hdl.handle.net/1911/105515

4. Pock, Michael. A Hierarchical Modelling and Evaluation Technique for Safety Critical Systems : Une technique hiérarchique pour la modélisation et l'évaluation des systèmes de sécurité fonctionnelle.

Degree: Docteur es, Automatique, Traitement du Signal et des Images, Génie informatique, 2012, Université de Lorraine; Technische Universität (Munich, Allemagne)

Cette thèse présente une nouvelle approche pour la modélisation des systèmes de sécurité fonctionnelle qui prend en compte plusieurs modes de défaillance pour les composants… (more)

Subjects/Keywords: Binary Decision Diagrams; Systèmes de sécurité fonctionnelle; Modélisation des systèmes; Modèles hiérarchiques; Binary Decision Diagrams; Safety Critical Systems; System Modelling; Hierarchical Models; 620.004 52

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Pock, M. (2012). A Hierarchical Modelling and Evaluation Technique for Safety Critical Systems : Une technique hiérarchique pour la modélisation et l'évaluation des systèmes de sécurité fonctionnelle. (Doctoral Dissertation). Université de Lorraine; Technische Universität (Munich, Allemagne). Retrieved from http://www.theses.fr/2012LORR0103

Chicago Manual of Style (16th Edition):

Pock, Michael. “A Hierarchical Modelling and Evaluation Technique for Safety Critical Systems : Une technique hiérarchique pour la modélisation et l'évaluation des systèmes de sécurité fonctionnelle.” 2012. Doctoral Dissertation, Université de Lorraine; Technische Universität (Munich, Allemagne). Accessed June 17, 2019. http://www.theses.fr/2012LORR0103.

MLA Handbook (7th Edition):

Pock, Michael. “A Hierarchical Modelling and Evaluation Technique for Safety Critical Systems : Une technique hiérarchique pour la modélisation et l'évaluation des systèmes de sécurité fonctionnelle.” 2012. Web. 17 Jun 2019.

Vancouver:

Pock M. A Hierarchical Modelling and Evaluation Technique for Safety Critical Systems : Une technique hiérarchique pour la modélisation et l'évaluation des systèmes de sécurité fonctionnelle. [Internet] [Doctoral dissertation]. Université de Lorraine; Technische Universität (Munich, Allemagne); 2012. [cited 2019 Jun 17]. Available from: http://www.theses.fr/2012LORR0103.

Council of Science Editors:

Pock M. A Hierarchical Modelling and Evaluation Technique for Safety Critical Systems : Une technique hiérarchique pour la modélisation et l'évaluation des systèmes de sécurité fonctionnelle. [Doctoral Dissertation]. Université de Lorraine; Technische Universität (Munich, Allemagne); 2012. Available from: http://www.theses.fr/2012LORR0103


Loughborough University

5. Riauke, Jelena. SPEA2-based safety system multi-objective optimization.

Degree: PhD, 2009, Loughborough University

 Safety systems are designed to prevent the occurrence of certain conditions and their future development into a hazardous situation. The consequence of the failure of… (more)

Subjects/Keywords: 005.3; Optimization; Fault tree analysis; Binary decision diagrams; Genetic algorithms; SPEA2; Markov analysis

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Riauke, J. (2009). SPEA2-based safety system multi-objective optimization. (Doctoral Dissertation). Loughborough University. Retrieved from https://dspace.lboro.ac.uk/2134/5514 ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.508286

Chicago Manual of Style (16th Edition):

Riauke, Jelena. “SPEA2-based safety system multi-objective optimization.” 2009. Doctoral Dissertation, Loughborough University. Accessed June 17, 2019. https://dspace.lboro.ac.uk/2134/5514 ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.508286.

MLA Handbook (7th Edition):

Riauke, Jelena. “SPEA2-based safety system multi-objective optimization.” 2009. Web. 17 Jun 2019.

Vancouver:

Riauke J. SPEA2-based safety system multi-objective optimization. [Internet] [Doctoral dissertation]. Loughborough University; 2009. [cited 2019 Jun 17]. Available from: https://dspace.lboro.ac.uk/2134/5514 ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.508286.

Council of Science Editors:

Riauke J. SPEA2-based safety system multi-objective optimization. [Doctoral Dissertation]. Loughborough University; 2009. Available from: https://dspace.lboro.ac.uk/2134/5514 ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.508286


University of Waterloo

6. Mendonca, Marcilio. Efficient Reasoning Techniques for Large Scale Feature Models.

Degree: 2009, University of Waterloo

 In Software Product Lines (SPLs), a feature model can be used to represent the similarities and differences within a family of software systems. This allows… (more)

Subjects/Keywords: Software Product Lines; Feature Models; Binary Decision Diagrams; SAT Solvers; Feature Model Reasoning

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Mendonca, M. (2009). Efficient Reasoning Techniques for Large Scale Feature Models. (Thesis). University of Waterloo. Retrieved from http://hdl.handle.net/10012/4201

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

Mendonca, Marcilio. “Efficient Reasoning Techniques for Large Scale Feature Models.” 2009. Thesis, University of Waterloo. Accessed June 17, 2019. http://hdl.handle.net/10012/4201.

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

MLA Handbook (7th Edition):

Mendonca, Marcilio. “Efficient Reasoning Techniques for Large Scale Feature Models.” 2009. Web. 17 Jun 2019.

Vancouver:

Mendonca M. Efficient Reasoning Techniques for Large Scale Feature Models. [Internet] [Thesis]. University of Waterloo; 2009. [cited 2019 Jun 17]. Available from: http://hdl.handle.net/10012/4201.

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

Council of Science Editors:

Mendonca M. Efficient Reasoning Techniques for Large Scale Feature Models. [Thesis]. University of Waterloo; 2009. Available from: http://hdl.handle.net/10012/4201

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


Brno University of Technology

7. Janků, Petr. Knihovna pro binární rozhodovací diagramy .

Degree: 2015, Brno University of Technology

 Efektivní manipulace Booleovských funkcí je důležitou součástí mnoha počítačových návrhů. Jako datová struktura pro reprezentaci a manipulaci s Booleovskými funkcemi se běžně používají binární rozhodovací… (more)

Subjects/Keywords: Booleovské funkce; symbolická manipulace; binární rozhodovací diagramy.; Boolean functions; symbolic manipulation; binary decision diagrams.

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Janků, P. (2015). Knihovna pro binární rozhodovací diagramy . (Thesis). Brno University of Technology. Retrieved from http://hdl.handle.net/11012/52301

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

Janků, Petr. “Knihovna pro binární rozhodovací diagramy .” 2015. Thesis, Brno University of Technology. Accessed June 17, 2019. http://hdl.handle.net/11012/52301.

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

MLA Handbook (7th Edition):

Janků, Petr. “Knihovna pro binární rozhodovací diagramy .” 2015. Web. 17 Jun 2019.

Vancouver:

Janků P. Knihovna pro binární rozhodovací diagramy . [Internet] [Thesis]. Brno University of Technology; 2015. [cited 2019 Jun 17]. Available from: http://hdl.handle.net/11012/52301.

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

Council of Science Editors:

Janků P. Knihovna pro binární rozhodovací diagramy . [Thesis]. Brno University of Technology; 2015. Available from: http://hdl.handle.net/11012/52301

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


Texas A&M University

8. Cobb, Bradley Douglas. Using ordered partial decision diagrams for manufacture test generation.

Degree: 2004, Texas A&M University

 Because of limited tester time and memory, a primary goal of digital circuit manufacture test generation is to create compact test sets. Test generation programs… (more)

Subjects/Keywords: binary decision diagrams; ordered partial decision diagrams; manufacture test generation

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Cobb, B. D. (2004). Using ordered partial decision diagrams for manufacture test generation. (Thesis). Texas A&M University. Retrieved from http://hdl.handle.net/1969.1/498

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

Cobb, Bradley Douglas. “Using ordered partial decision diagrams for manufacture test generation.” 2004. Thesis, Texas A&M University. Accessed June 17, 2019. http://hdl.handle.net/1969.1/498.

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

MLA Handbook (7th Edition):

Cobb, Bradley Douglas. “Using ordered partial decision diagrams for manufacture test generation.” 2004. Web. 17 Jun 2019.

Vancouver:

Cobb BD. Using ordered partial decision diagrams for manufacture test generation. [Internet] [Thesis]. Texas A&M University; 2004. [cited 2019 Jun 17]. Available from: http://hdl.handle.net/1969.1/498.

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

Council of Science Editors:

Cobb BD. Using ordered partial decision diagrams for manufacture test generation. [Thesis]. Texas A&M University; 2004. Available from: http://hdl.handle.net/1969.1/498

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


Brno University of Technology

9. Lengál, Ondřej. Efektivní knihovna pro práci s konečnými stromovými automaty .

Degree: 2010, Brno University of Technology

 Mnoho současných počítačových systémů používá dynamické datové či řídicí struktury předem neomezené velikosti. Tyto datové struktury mají často charakter stromů nebo se dají zakódovat jako… (more)

Subjects/Keywords: stromové automaty; formální verifikace; abstraktní regulární stromový model checking; binární rozhodovací diagramy; multiterminálové binární rozhodovací diagramy; tree automata; formal verification; abstract regular tree model checking; binary decision diagrams; multiterminal binary decision diagrams

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Lengál, O. (2010). Efektivní knihovna pro práci s konečnými stromovými automaty . (Thesis). Brno University of Technology. Retrieved from http://hdl.handle.net/11012/54375

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

Lengál, Ondřej. “Efektivní knihovna pro práci s konečnými stromovými automaty .” 2010. Thesis, Brno University of Technology. Accessed June 17, 2019. http://hdl.handle.net/11012/54375.

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

MLA Handbook (7th Edition):

Lengál, Ondřej. “Efektivní knihovna pro práci s konečnými stromovými automaty .” 2010. Web. 17 Jun 2019.

Vancouver:

Lengál O. Efektivní knihovna pro práci s konečnými stromovými automaty . [Internet] [Thesis]. Brno University of Technology; 2010. [cited 2019 Jun 17]. Available from: http://hdl.handle.net/11012/54375.

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

Council of Science Editors:

Lengál O. Efektivní knihovna pro práci s konečnými stromovými automaty . [Thesis]. Brno University of Technology; 2010. Available from: http://hdl.handle.net/11012/54375

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

10. Wallace Rodrigues de Santana. Estudo sobre modelagem e avaliação de confiabilidade em redes óticas.

Degree: 2010, Universidade Federal do ABC

Nos dias de hoje, as redes de comunicação têm se mostrado cada vez mais vitais e importantes, pois provêm conexões locais, regionais e internacionais para… (more)

Subjects/Keywords: Redes ópticas; SISTEMAS DE TELECOMUNICACOES; Diagramas de Decisão Binária; KyaTera; Optical Networks; Reliability; Availability; Fault Tolerance; MTTF; MTBF; Protection; Survivability; Binary Decision Diagrams; KyaTera

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Santana, W. R. d. (2010). Estudo sobre modelagem e avaliação de confiabilidade em redes óticas. (Thesis). Universidade Federal do ABC. Retrieved from http://tede.ufabc.edu.br/tde_busca/arquivo.php?codArquivo=198

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

Santana, Wallace Rodrigues de. “Estudo sobre modelagem e avaliação de confiabilidade em redes óticas.” 2010. Thesis, Universidade Federal do ABC. Accessed June 17, 2019. http://tede.ufabc.edu.br/tde_busca/arquivo.php?codArquivo=198.

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

MLA Handbook (7th Edition):

Santana, Wallace Rodrigues de. “Estudo sobre modelagem e avaliação de confiabilidade em redes óticas.” 2010. Web. 17 Jun 2019.

Vancouver:

Santana WRd. Estudo sobre modelagem e avaliação de confiabilidade em redes óticas. [Internet] [Thesis]. Universidade Federal do ABC; 2010. [cited 2019 Jun 17]. Available from: http://tede.ufabc.edu.br/tde_busca/arquivo.php?codArquivo=198.

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

Council of Science Editors:

Santana WRd. Estudo sobre modelagem e avaliação de confiabilidade em redes óticas. [Thesis]. Universidade Federal do ABC; 2010. Available from: http://tede.ufabc.edu.br/tde_busca/arquivo.php?codArquivo=198

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


Linnaeus University

11. Kovalov, Ievgen. Context-sensitive Points-To Analysis : Comparing precision and scalability<! – [if gte mso 9]><xml> <w:data>FFFFFFFF00000000000005005400650078007400310000000B0055006E00640065007200720075006200720069006B0000000000000000000000000000000000000000000000</w:data></xml><![endif] – >.

Degree: Physics and Mathematics, 2012, Linnaeus University

  Points-to analysis is a static program analysis that tries to predict the dynamic behavior of programs without running them. It computes reference information by… (more)

Subjects/Keywords: Points-To Analysis; Context-sensitivity; Spark; Paddle; P2SSA; Simulated execution; Binary Decision Diagrams; JNI; Soot; Analysis Time; Call Edge; Heap Object; Analysis Memory.

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Kovalov, I. (2012). Context-sensitive Points-To Analysis : Comparing precision and scalability<! – [if gte mso 9]><xml> <w:data>FFFFFFFF00000000000005005400650078007400310000000B0055006E00640065007200720075006200720069006B0000000000000000000000000000000000000000000000</w:data></xml><![endif] – >. (Thesis). Linnaeus University. Retrieved from http://urn.kb.se/resolve?urn=urn:nbn:se:lnu:diva-18225

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

Kovalov, Ievgen. “Context-sensitive Points-To Analysis : Comparing precision and scalability<! – [if gte mso 9]><xml> <w:data>FFFFFFFF00000000000005005400650078007400310000000B0055006E00640065007200720075006200720069006B0000000000000000000000000000000000000000000000</w:data></xml><![endif] – >.” 2012. Thesis, Linnaeus University. Accessed June 17, 2019. http://urn.kb.se/resolve?urn=urn:nbn:se:lnu:diva-18225.

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

MLA Handbook (7th Edition):

Kovalov, Ievgen. “Context-sensitive Points-To Analysis : Comparing precision and scalability<! – [if gte mso 9]><xml> <w:data>FFFFFFFF00000000000005005400650078007400310000000B0055006E00640065007200720075006200720069006B0000000000000000000000000000000000000000000000</w:data></xml><![endif] – >.” 2012. Web. 17 Jun 2019.

Vancouver:

Kovalov I. Context-sensitive Points-To Analysis : Comparing precision and scalability<! – [if gte mso 9]><xml> <w:data>FFFFFFFF00000000000005005400650078007400310000000B0055006E00640065007200720075006200720069006B0000000000000000000000000000000000000000000000</w:data></xml><![endif] – >. [Internet] [Thesis]. Linnaeus University; 2012. [cited 2019 Jun 17]. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:lnu:diva-18225.

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

Council of Science Editors:

Kovalov I. Context-sensitive Points-To Analysis : Comparing precision and scalability<! – [if gte mso 9]><xml> <w:data>FFFFFFFF00000000000005005400650078007400310000000B0055006E00640065007200720075006200720069006B0000000000000000000000000000000000000000000000</w:data></xml><![endif] – >. [Thesis]. Linnaeus University; 2012. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:lnu:diva-18225

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


McMaster University

12. Agarwal, Urvashi. Symbolic Decentralized Supervisory Control.

Degree: MSc, 2014, McMaster University

A decentralized discrete-event system (DES) consists of supervisors that are physically distributed. Co-observability is one of the necessary and sufficient conditions for the existence… (more)

Subjects/Keywords: Discrete Event Systems; Decentralized Supervisory Control; State-based co-observability; SB co-observability; Algorithms; Computational complexity; Binary Decision Diagrams; Controls and Control Theory; Controls and Control Theory

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Agarwal, U. (2014). Symbolic Decentralized Supervisory Control. (Masters Thesis). McMaster University. Retrieved from http://hdl.handle.net/11375/14047

Chicago Manual of Style (16th Edition):

Agarwal, Urvashi. “Symbolic Decentralized Supervisory Control.” 2014. Masters Thesis, McMaster University. Accessed June 17, 2019. http://hdl.handle.net/11375/14047.

MLA Handbook (7th Edition):

Agarwal, Urvashi. “Symbolic Decentralized Supervisory Control.” 2014. Web. 17 Jun 2019.

Vancouver:

Agarwal U. Symbolic Decentralized Supervisory Control. [Internet] [Masters thesis]. McMaster University; 2014. [cited 2019 Jun 17]. Available from: http://hdl.handle.net/11375/14047.

Council of Science Editors:

Agarwal U. Symbolic Decentralized Supervisory Control. [Masters Thesis]. McMaster University; 2014. Available from: http://hdl.handle.net/11375/14047

13. Ren, Mingming. An incremental approach for hardware discrete controller synthesis : Une approche incrémentale pour la synthèse de contrôleurs discrets matériels.

Degree: Docteur es, Informatique, 2011, INSA Lyon

La synthèse de contrôleurs discrets (SCD) est appliquée pour générer automatiquement des contrôleurs matériels corrects par construction. Pour un système donné (un modèle à états),… (more)

Subjects/Keywords: Génie électronique; Conception de circuit; Conception de système intégré; Système embarqué; SCD - Synthèse de contrôleurs discrets; BDD - Diagramme de décision binaire; Contrôleur exact; Electronics; Circuit Design; Embedded System; DCS - Discrete Controller Synthesis; BDD - Binary Decision Diagrams; Exact controller; 621.395 072

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Ren, M. (2011). An incremental approach for hardware discrete controller synthesis : Une approche incrémentale pour la synthèse de contrôleurs discrets matériels. (Doctoral Dissertation). INSA Lyon. Retrieved from http://www.theses.fr/2011ISAL0071

Chicago Manual of Style (16th Edition):

Ren, Mingming. “An incremental approach for hardware discrete controller synthesis : Une approche incrémentale pour la synthèse de contrôleurs discrets matériels.” 2011. Doctoral Dissertation, INSA Lyon. Accessed June 17, 2019. http://www.theses.fr/2011ISAL0071.

MLA Handbook (7th Edition):

Ren, Mingming. “An incremental approach for hardware discrete controller synthesis : Une approche incrémentale pour la synthèse de contrôleurs discrets matériels.” 2011. Web. 17 Jun 2019.

Vancouver:

Ren M. An incremental approach for hardware discrete controller synthesis : Une approche incrémentale pour la synthèse de contrôleurs discrets matériels. [Internet] [Doctoral dissertation]. INSA Lyon; 2011. [cited 2019 Jun 17]. Available from: http://www.theses.fr/2011ISAL0071.

Council of Science Editors:

Ren M. An incremental approach for hardware discrete controller synthesis : Une approche incrémentale pour la synthèse de contrôleurs discrets matériels. [Doctoral Dissertation]. INSA Lyon; 2011. Available from: http://www.theses.fr/2011ISAL0071


Massey University

14. Taylor, Robert T. Criterion variance in signal detection theory : the interactive effect of knowledge of results and task difficulty on binary decision tasks.

Degree: MA, Psychology, 2010, Massey University

 Within traditional Signal Detection Theory (SDT) experiments decision noise is very rarely considered, with researchers clinging to the assumption that the decision criterion has no… (more)

Subjects/Keywords: Signal detection theory; Binary decision tasks

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Taylor, R. T. (2010). Criterion variance in signal detection theory : the interactive effect of knowledge of results and task difficulty on binary decision tasks. (Masters Thesis). Massey University. Retrieved from http://hdl.handle.net/10179/2340

Chicago Manual of Style (16th Edition):

Taylor, Robert T. “Criterion variance in signal detection theory : the interactive effect of knowledge of results and task difficulty on binary decision tasks.” 2010. Masters Thesis, Massey University. Accessed June 17, 2019. http://hdl.handle.net/10179/2340.

MLA Handbook (7th Edition):

Taylor, Robert T. “Criterion variance in signal detection theory : the interactive effect of knowledge of results and task difficulty on binary decision tasks.” 2010. Web. 17 Jun 2019.

Vancouver:

Taylor RT. Criterion variance in signal detection theory : the interactive effect of knowledge of results and task difficulty on binary decision tasks. [Internet] [Masters thesis]. Massey University; 2010. [cited 2019 Jun 17]. Available from: http://hdl.handle.net/10179/2340.

Council of Science Editors:

Taylor RT. Criterion variance in signal detection theory : the interactive effect of knowledge of results and task difficulty on binary decision tasks. [Masters Thesis]. Massey University; 2010. Available from: http://hdl.handle.net/10179/2340


The Ohio State University

15. Asim, Saad F, Asim. The Binary Decision Diagram: Abstraction and Implementation.

Degree: MS, Computer Science and Engineering, 2018, The Ohio State University

 A Boolean formula in predicate logic is an expression on Boolean variables that evaluates to either True or False. This fundamental construct has many important… (more)

Subjects/Keywords: Computer Science; Binary Decision Diagram; Computer Science

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Asim, Saad F, A. (2018). The Binary Decision Diagram: Abstraction and Implementation. (Masters Thesis). The Ohio State University. Retrieved from http://rave.ohiolink.edu/etdc/view?acc_num=osu152414624378423

Chicago Manual of Style (16th Edition):

Asim, Saad F, Asim. “The Binary Decision Diagram: Abstraction and Implementation.” 2018. Masters Thesis, The Ohio State University. Accessed June 17, 2019. http://rave.ohiolink.edu/etdc/view?acc_num=osu152414624378423.

MLA Handbook (7th Edition):

Asim, Saad F, Asim. “The Binary Decision Diagram: Abstraction and Implementation.” 2018. Web. 17 Jun 2019.

Vancouver:

Asim, Saad F A. The Binary Decision Diagram: Abstraction and Implementation. [Internet] [Masters thesis]. The Ohio State University; 2018. [cited 2019 Jun 17]. Available from: http://rave.ohiolink.edu/etdc/view?acc_num=osu152414624378423.

Council of Science Editors:

Asim, Saad F A. The Binary Decision Diagram: Abstraction and Implementation. [Masters Thesis]. The Ohio State University; 2018. Available from: http://rave.ohiolink.edu/etdc/view?acc_num=osu152414624378423


Florida Atlantic University

16. Bouwens, Mark R. Theoretical study of binary alloy thin film growth.

Degree: PhD, 2011, Florida Atlantic University

Summary: Computer simulations of the growth of binary alloy thin films in two and three dimensions were performed using an extension of the Solid on… (more)

Subjects/Keywords: Binary systems (Metallurgy) – Mathematical models; Thermal diffusivity; Phase diagrams; Phase transformations (Statistical physics)

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Bouwens, M. R. (2011). Theoretical study of binary alloy thin film growth. (Doctoral Dissertation). Florida Atlantic University. Retrieved from http://purl.flvc.org/FAU/3174504

Chicago Manual of Style (16th Edition):

Bouwens, Mark R. “Theoretical study of binary alloy thin film growth.” 2011. Doctoral Dissertation, Florida Atlantic University. Accessed June 17, 2019. http://purl.flvc.org/FAU/3174504.

MLA Handbook (7th Edition):

Bouwens, Mark R. “Theoretical study of binary alloy thin film growth.” 2011. Web. 17 Jun 2019.

Vancouver:

Bouwens MR. Theoretical study of binary alloy thin film growth. [Internet] [Doctoral dissertation]. Florida Atlantic University; 2011. [cited 2019 Jun 17]. Available from: http://purl.flvc.org/FAU/3174504.

Council of Science Editors:

Bouwens MR. Theoretical study of binary alloy thin film growth. [Doctoral Dissertation]. Florida Atlantic University; 2011. Available from: http://purl.flvc.org/FAU/3174504


Brno University of Technology

17. Lengál, Ondřej. Automaty v nekonečně stavové formální verifikaci .

Degree: 2015, Brno University of Technology

 Tato práce se zaměřuje na konečné automaty nad konečnými slovy a konečnými stromy, a použití těchto automatů při formální verifikaci nekonečně stavových systémů. Práce se… (more)

Subjects/Keywords: antiřetězce; analýza tvaru; binární rozhodovací diagramy; druhořádová logika; haldy; jazyková inkluze; konečný automat; monadická logika; nedeterminismus; regulární stromový model checking; separační logika; simulace; stromový automat; formální verifikace; antichains; binary decision diagrams; finite automata; heaps; language inclusion; monadic logic; nondeterminism; regular tree model checking; second-order logic; separation logic; shape analysis; simulation; tree automata; formal verification

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Lengál, O. (2015). Automaty v nekonečně stavové formální verifikaci . (Thesis). Brno University of Technology. Retrieved from http://hdl.handle.net/11012/63282

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

Lengál, Ondřej. “Automaty v nekonečně stavové formální verifikaci .” 2015. Thesis, Brno University of Technology. Accessed June 17, 2019. http://hdl.handle.net/11012/63282.

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

MLA Handbook (7th Edition):

Lengál, Ondřej. “Automaty v nekonečně stavové formální verifikaci .” 2015. Web. 17 Jun 2019.

Vancouver:

Lengál O. Automaty v nekonečně stavové formální verifikaci . [Internet] [Thesis]. Brno University of Technology; 2015. [cited 2019 Jun 17]. Available from: http://hdl.handle.net/11012/63282.

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

Council of Science Editors:

Lengál O. Automaty v nekonečně stavové formální verifikaci . [Thesis]. Brno University of Technology; 2015. Available from: http://hdl.handle.net/11012/63282

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


University of Victoria

18. Rice, Jacqueline Elsie. Autocorrelation coefficients in the representation and classification of switching functions.

Degree: Department of Computer Science, 2018, University of Victoria

 Reductions in the cost and size of integrated circuits are allowing more and more complex functions to be included in previously simple tools such as… (more)

Subjects/Keywords: Field programmable gate arrays; Autocorrelation coefficients; Kronecker decision diagrams

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Rice, J. E. (2018). Autocorrelation coefficients in the representation and classification of switching functions. (Thesis). University of Victoria. Retrieved from https://dspace.library.uvic.ca//handle/1828/10347

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

Rice, Jacqueline Elsie. “Autocorrelation coefficients in the representation and classification of switching functions.” 2018. Thesis, University of Victoria. Accessed June 17, 2019. https://dspace.library.uvic.ca//handle/1828/10347.

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

MLA Handbook (7th Edition):

Rice, Jacqueline Elsie. “Autocorrelation coefficients in the representation and classification of switching functions.” 2018. Web. 17 Jun 2019.

Vancouver:

Rice JE. Autocorrelation coefficients in the representation and classification of switching functions. [Internet] [Thesis]. University of Victoria; 2018. [cited 2019 Jun 17]. Available from: https://dspace.library.uvic.ca//handle/1828/10347.

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

Council of Science Editors:

Rice JE. Autocorrelation coefficients in the representation and classification of switching functions. [Thesis]. University of Victoria; 2018. Available from: https://dspace.library.uvic.ca//handle/1828/10347

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


Université Catholique de Louvain

19. Tréfois, Maguy. Topics in combinatorial matrix theory.

Degree: 2016, Université Catholique de Louvain

In the finite-time average consensus problem, the goal is to make the agents meet at the average of their initial positions in a finite number… (more)

Subjects/Keywords: Combinatorics; Strong structural controllability; Linear systems; Matrices; Graphs; Zero forcing; Binary factorizations

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Tréfois, M. (2016). Topics in combinatorial matrix theory. (Thesis). Université Catholique de Louvain. Retrieved from http://hdl.handle.net/2078.1/173836

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

Tréfois, Maguy. “Topics in combinatorial matrix theory.” 2016. Thesis, Université Catholique de Louvain. Accessed June 17, 2019. http://hdl.handle.net/2078.1/173836.

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

MLA Handbook (7th Edition):

Tréfois, Maguy. “Topics in combinatorial matrix theory.” 2016. Web. 17 Jun 2019.

Vancouver:

Tréfois M. Topics in combinatorial matrix theory. [Internet] [Thesis]. Université Catholique de Louvain; 2016. [cited 2019 Jun 17]. Available from: http://hdl.handle.net/2078.1/173836.

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

Council of Science Editors:

Tréfois M. Topics in combinatorial matrix theory. [Thesis]. Université Catholique de Louvain; 2016. Available from: http://hdl.handle.net/2078.1/173836

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


Texas A&M University

20. Chen, Pu. Security Attack Models for Split Manufacturing of Integrated Circuits.

Degree: 2016, Texas A&M University

 Split manufacturing of integrated circuits reduces vulnerabilities introduced by an untrusted foundry by manufacturing only a part of design at an untrusted high-end foundry and… (more)

Subjects/Keywords: Security; Split manufacturing; Binary decision diagram; Automatic test pattern generation

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Chen, P. (2016). Security Attack Models for Split Manufacturing of Integrated Circuits. (Thesis). Texas A&M University. Retrieved from http://hdl.handle.net/1969.1/158619

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

Chen, Pu. “Security Attack Models for Split Manufacturing of Integrated Circuits.” 2016. Thesis, Texas A&M University. Accessed June 17, 2019. http://hdl.handle.net/1969.1/158619.

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

MLA Handbook (7th Edition):

Chen, Pu. “Security Attack Models for Split Manufacturing of Integrated Circuits.” 2016. Web. 17 Jun 2019.

Vancouver:

Chen P. Security Attack Models for Split Manufacturing of Integrated Circuits. [Internet] [Thesis]. Texas A&M University; 2016. [cited 2019 Jun 17]. Available from: http://hdl.handle.net/1969.1/158619.

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

Council of Science Editors:

Chen P. Security Attack Models for Split Manufacturing of Integrated Circuits. [Thesis]. Texas A&M University; 2016. Available from: http://hdl.handle.net/1969.1/158619

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


Anna University

21. Mohamed Raseen, M. Reduced ordered binary decision diagram optimization analysis representations and applications; -.

Degree: Information and Communication Engineering, 2014, Anna University

For decades representation of Boolean functions using Reduced newlineOrdered Binary Decision Diagrams ROBDD has been popular The newlineorder of variables in ROBDD is important since… (more)

Subjects/Keywords: binary decision diagram; information and communication engineering; optimization analysis

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Mohamed Raseen, M. (2014). Reduced ordered binary decision diagram optimization analysis representations and applications; -. (Thesis). Anna University. Retrieved from http://shodhganga.inflibnet.ac.in/handle/10603/24971

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

Mohamed Raseen, M. “Reduced ordered binary decision diagram optimization analysis representations and applications; -.” 2014. Thesis, Anna University. Accessed June 17, 2019. http://shodhganga.inflibnet.ac.in/handle/10603/24971.

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

MLA Handbook (7th Edition):

Mohamed Raseen, M. “Reduced ordered binary decision diagram optimization analysis representations and applications; -.” 2014. Web. 17 Jun 2019.

Vancouver:

Mohamed Raseen M. Reduced ordered binary decision diagram optimization analysis representations and applications; -. [Internet] [Thesis]. Anna University; 2014. [cited 2019 Jun 17]. Available from: http://shodhganga.inflibnet.ac.in/handle/10603/24971.

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

Council of Science Editors:

Mohamed Raseen M. Reduced ordered binary decision diagram optimization analysis representations and applications; -. [Thesis]. Anna University; 2014. Available from: http://shodhganga.inflibnet.ac.in/handle/10603/24971

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


Virginia Tech

22. Limaye, Chinmay Avinash. Formal Verification Techniques for Reversible Circuits.

Degree: MS, Electrical and Computer Engineering, 2011, Virginia Tech

 As the number of transistors per unit chip area increases, the power dissipation of the chip becomes a bottleneck. New nano-technology materials have been proposed… (more)

Subjects/Keywords: Binary Decision Diagram (BDD); Reversible Circuits; Redundancy; Equivalence Checking

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Limaye, C. A. (2011). Formal Verification Techniques for Reversible Circuits. (Masters Thesis). Virginia Tech. Retrieved from http://hdl.handle.net/10919/33406

Chicago Manual of Style (16th Edition):

Limaye, Chinmay Avinash. “Formal Verification Techniques for Reversible Circuits.” 2011. Masters Thesis, Virginia Tech. Accessed June 17, 2019. http://hdl.handle.net/10919/33406.

MLA Handbook (7th Edition):

Limaye, Chinmay Avinash. “Formal Verification Techniques for Reversible Circuits.” 2011. Web. 17 Jun 2019.

Vancouver:

Limaye CA. Formal Verification Techniques for Reversible Circuits. [Internet] [Masters thesis]. Virginia Tech; 2011. [cited 2019 Jun 17]. Available from: http://hdl.handle.net/10919/33406.

Council of Science Editors:

Limaye CA. Formal Verification Techniques for Reversible Circuits. [Masters Thesis]. Virginia Tech; 2011. Available from: http://hdl.handle.net/10919/33406


University of Waikato

23. Connolly, Justin Dennis. Group model building to understand ‘wicked’ problems in New Zealand freshwater management .

Degree: 2017, University of Waikato

 Freshwater resources are coming under increasing pressure across New Zealand. High levels of water use and contaminant loss from both point and non-point sources are… (more)

Subjects/Keywords: group model building; causal-loop diagrams; system dynamics; freshwater; collaboration; stakeholders; decision-making

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Connolly, J. D. (2017). Group model building to understand ‘wicked’ problems in New Zealand freshwater management . (Masters Thesis). University of Waikato. Retrieved from http://hdl.handle.net/10289/11570

Chicago Manual of Style (16th Edition):

Connolly, Justin Dennis. “Group model building to understand ‘wicked’ problems in New Zealand freshwater management .” 2017. Masters Thesis, University of Waikato. Accessed June 17, 2019. http://hdl.handle.net/10289/11570.

MLA Handbook (7th Edition):

Connolly, Justin Dennis. “Group model building to understand ‘wicked’ problems in New Zealand freshwater management .” 2017. Web. 17 Jun 2019.

Vancouver:

Connolly JD. Group model building to understand ‘wicked’ problems in New Zealand freshwater management . [Internet] [Masters thesis]. University of Waikato; 2017. [cited 2019 Jun 17]. Available from: http://hdl.handle.net/10289/11570.

Council of Science Editors:

Connolly JD. Group model building to understand ‘wicked’ problems in New Zealand freshwater management . [Masters Thesis]. University of Waikato; 2017. Available from: http://hdl.handle.net/10289/11570


University of New South Wales

24. Coutts, Andrew. Decision Making In Crisis: A Bayesian Influence Diagram Methodology for Modelling Critical and Time-Constrained Political-Strategic Decision Making.

Degree: Engineering & Information Technology, 2017, University of New South Wales

 This thesis proposes a Bayesian Influence Diagram (BID) based methodology to construct decision-aiding models to support political-strategic crisis decision making (PSCDM). The key methodological challenges… (more)

Subjects/Keywords: Bayesian Influence Diagrams; Bayesian Belief Networks; Political Strategic Crisis Decision Making; Decision Support Systems; Operations Research

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Coutts, A. (2017). Decision Making In Crisis: A Bayesian Influence Diagram Methodology for Modelling Critical and Time-Constrained Political-Strategic Decision Making. (Doctoral Dissertation). University of New South Wales. Retrieved from http://handle.unsw.edu.au/1959.4/59012 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:48278/SOURCE02?view=true

Chicago Manual of Style (16th Edition):

Coutts, Andrew. “Decision Making In Crisis: A Bayesian Influence Diagram Methodology for Modelling Critical and Time-Constrained Political-Strategic Decision Making.” 2017. Doctoral Dissertation, University of New South Wales. Accessed June 17, 2019. http://handle.unsw.edu.au/1959.4/59012 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:48278/SOURCE02?view=true.

MLA Handbook (7th Edition):

Coutts, Andrew. “Decision Making In Crisis: A Bayesian Influence Diagram Methodology for Modelling Critical and Time-Constrained Political-Strategic Decision Making.” 2017. Web. 17 Jun 2019.

Vancouver:

Coutts A. Decision Making In Crisis: A Bayesian Influence Diagram Methodology for Modelling Critical and Time-Constrained Political-Strategic Decision Making. [Internet] [Doctoral dissertation]. University of New South Wales; 2017. [cited 2019 Jun 17]. Available from: http://handle.unsw.edu.au/1959.4/59012 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:48278/SOURCE02?view=true.

Council of Science Editors:

Coutts A. Decision Making In Crisis: A Bayesian Influence Diagram Methodology for Modelling Critical and Time-Constrained Political-Strategic Decision Making. [Doctoral Dissertation]. University of New South Wales; 2017. Available from: http://handle.unsw.edu.au/1959.4/59012 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:48278/SOURCE02?view=true


University of Texas – Austin

25. Brantley, Johnathan Nathanael. Mechanical activations of synthetic and biological systems.

Degree: Chemistry, 2014, University of Texas – Austin

 Polymer mechanochemistry, wherein exogenous forces are harnessed to drive chemical processes within polymeric matrices, has afforded access to an astounding array of otherwise kinetically prohibitive… (more)

Subjects/Keywords: Polymer Mechanochemistry; Triazole Cycloreversion; Suppressed Reactivity; Biomechanophores

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Brantley, J. N. (2014). Mechanical activations of synthetic and biological systems. (Thesis). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/31307

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

Brantley, Johnathan Nathanael. “Mechanical activations of synthetic and biological systems.” 2014. Thesis, University of Texas – Austin. Accessed June 17, 2019. http://hdl.handle.net/2152/31307.

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

MLA Handbook (7th Edition):

Brantley, Johnathan Nathanael. “Mechanical activations of synthetic and biological systems.” 2014. Web. 17 Jun 2019.

Vancouver:

Brantley JN. Mechanical activations of synthetic and biological systems. [Internet] [Thesis]. University of Texas – Austin; 2014. [cited 2019 Jun 17]. Available from: http://hdl.handle.net/2152/31307.

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

Council of Science Editors:

Brantley JN. Mechanical activations of synthetic and biological systems. [Thesis]. University of Texas – Austin; 2014. Available from: http://hdl.handle.net/2152/31307

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


University of Illinois – Urbana-Champaign

26. Vanburen, Robert. Dissecting the evolutionary forces shaping sex chromosome evolution in papaya.

Degree: PhD, 0320, 2014, University of Illinois – Urbana-Champaign

 The human Y chromosome is an ancient relic of its autosomal precursor; most of the genes have been lost in its 166 million years of… (more)

Subjects/Keywords: sex chromosomes; evolution; degeneration; suppressed recombination

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Vanburen, R. (2014). Dissecting the evolutionary forces shaping sex chromosome evolution in papaya. (Doctoral Dissertation). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/49675

Chicago Manual of Style (16th Edition):

Vanburen, Robert. “Dissecting the evolutionary forces shaping sex chromosome evolution in papaya.” 2014. Doctoral Dissertation, University of Illinois – Urbana-Champaign. Accessed June 17, 2019. http://hdl.handle.net/2142/49675.

MLA Handbook (7th Edition):

Vanburen, Robert. “Dissecting the evolutionary forces shaping sex chromosome evolution in papaya.” 2014. Web. 17 Jun 2019.

Vancouver:

Vanburen R. Dissecting the evolutionary forces shaping sex chromosome evolution in papaya. [Internet] [Doctoral dissertation]. University of Illinois – Urbana-Champaign; 2014. [cited 2019 Jun 17]. Available from: http://hdl.handle.net/2142/49675.

Council of Science Editors:

Vanburen R. Dissecting the evolutionary forces shaping sex chromosome evolution in papaya. [Doctoral Dissertation]. University of Illinois – Urbana-Champaign; 2014. Available from: http://hdl.handle.net/2142/49675


University of Manchester

27. James, Philip David. The specification of construction strategies for low and zero carbon homes : decision-making tools and the evaluation of whole life energy, carbon, cost and performance.

Degree: Thesis (Eng.D.), 2012, University of Manchester

 The UK is committed to cutting greenhouse gas emissions by 80% from 1990 levels by 2050, with intermediate targets set in the form of 5-year… (more)

Subjects/Keywords: 728.047; low zero carbon homes; decision-making tools; construction strategy; whole life

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

James, P. D. (2012). The specification of construction strategies for low and zero carbon homes : decision-making tools and the evaluation of whole life energy, carbon, cost and performance. (Doctoral Dissertation). University of Manchester. Retrieved from https://www.research.manchester.ac.uk/portal/en/theses/the-specification-of-construction-strategies-for-low-and-zero-carbon-homesdecisionmaking-tools-and-the-evaluation-of-whole-life-energy-carbon-cost-and-performance(1a80a114-9bdb-44a9-b708-82f797e747e8).html ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.554180

Chicago Manual of Style (16th Edition):

James, Philip David. “The specification of construction strategies for low and zero carbon homes : decision-making tools and the evaluation of whole life energy, carbon, cost and performance.” 2012. Doctoral Dissertation, University of Manchester. Accessed June 17, 2019. https://www.research.manchester.ac.uk/portal/en/theses/the-specification-of-construction-strategies-for-low-and-zero-carbon-homesdecisionmaking-tools-and-the-evaluation-of-whole-life-energy-carbon-cost-and-performance(1a80a114-9bdb-44a9-b708-82f797e747e8).html ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.554180.

MLA Handbook (7th Edition):

James, Philip David. “The specification of construction strategies for low and zero carbon homes : decision-making tools and the evaluation of whole life energy, carbon, cost and performance.” 2012. Web. 17 Jun 2019.

Vancouver:

James PD. The specification of construction strategies for low and zero carbon homes : decision-making tools and the evaluation of whole life energy, carbon, cost and performance. [Internet] [Doctoral dissertation]. University of Manchester; 2012. [cited 2019 Jun 17]. Available from: https://www.research.manchester.ac.uk/portal/en/theses/the-specification-of-construction-strategies-for-low-and-zero-carbon-homesdecisionmaking-tools-and-the-evaluation-of-whole-life-energy-carbon-cost-and-performance(1a80a114-9bdb-44a9-b708-82f797e747e8).html ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.554180.

Council of Science Editors:

James PD. The specification of construction strategies for low and zero carbon homes : decision-making tools and the evaluation of whole life energy, carbon, cost and performance. [Doctoral Dissertation]. University of Manchester; 2012. Available from: https://www.research.manchester.ac.uk/portal/en/theses/the-specification-of-construction-strategies-for-low-and-zero-carbon-homesdecisionmaking-tools-and-the-evaluation-of-whole-life-energy-carbon-cost-and-performance(1a80a114-9bdb-44a9-b708-82f797e747e8).html ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.554180


Texas State University – San Marcos

28. Conrad, Esther D. Zero Forcing in Graphs and Digraphs.

Degree: MS, Applied Mathematics, 2018, Texas State University – San Marcos

No abstract prepared. Advisors/Committee Members: Ferrero, Daniela (advisor), Barrera, Roberto (committee member), Shen, Jian (committee member).

Subjects/Keywords: Zero Forcing; Graph Theory; Graphs Digraphs; Graph theory; Mathematics – Charts, diagrams, etc.

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Conrad, E. D. (2018). Zero Forcing in Graphs and Digraphs. (Masters Thesis). Texas State University – San Marcos. Retrieved from https://digital.library.txstate.edu/handle/10877/7420

Chicago Manual of Style (16th Edition):

Conrad, Esther D. “Zero Forcing in Graphs and Digraphs.” 2018. Masters Thesis, Texas State University – San Marcos. Accessed June 17, 2019. https://digital.library.txstate.edu/handle/10877/7420.

MLA Handbook (7th Edition):

Conrad, Esther D. “Zero Forcing in Graphs and Digraphs.” 2018. Web. 17 Jun 2019.

Vancouver:

Conrad ED. Zero Forcing in Graphs and Digraphs. [Internet] [Masters thesis]. Texas State University – San Marcos; 2018. [cited 2019 Jun 17]. Available from: https://digital.library.txstate.edu/handle/10877/7420.

Council of Science Editors:

Conrad ED. Zero Forcing in Graphs and Digraphs. [Masters Thesis]. Texas State University – San Marcos; 2018. Available from: https://digital.library.txstate.edu/handle/10877/7420


The Ohio State University

29. Gwinn, Rachael E. Attitudes and Attention: How Attitude Accessibility and Certainty Influence Attention and Subjective Choice.

Degree: MA, Psychology, 2016, The Ohio State University

 Many studies have concluded that attention plays a causal role in decision-making. Prior research shows that attention is drawn by physical properties of stimuli, such… (more)

Subjects/Keywords: Psychology; Cognitive Psychology; Attitude Accessibility, Choice, Binary Decision-Making, Attention, Eye-Tracking

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Gwinn, R. E. (2016). Attitudes and Attention: How Attitude Accessibility and Certainty Influence Attention and Subjective Choice. (Masters Thesis). The Ohio State University. Retrieved from http://rave.ohiolink.edu/etdc/view?acc_num=osu14804247828136

Chicago Manual of Style (16th Edition):

Gwinn, Rachael E. “Attitudes and Attention: How Attitude Accessibility and Certainty Influence Attention and Subjective Choice.” 2016. Masters Thesis, The Ohio State University. Accessed June 17, 2019. http://rave.ohiolink.edu/etdc/view?acc_num=osu14804247828136.

MLA Handbook (7th Edition):

Gwinn, Rachael E. “Attitudes and Attention: How Attitude Accessibility and Certainty Influence Attention and Subjective Choice.” 2016. Web. 17 Jun 2019.

Vancouver:

Gwinn RE. Attitudes and Attention: How Attitude Accessibility and Certainty Influence Attention and Subjective Choice. [Internet] [Masters thesis]. The Ohio State University; 2016. [cited 2019 Jun 17]. Available from: http://rave.ohiolink.edu/etdc/view?acc_num=osu14804247828136.

Council of Science Editors:

Gwinn RE. Attitudes and Attention: How Attitude Accessibility and Certainty Influence Attention and Subjective Choice. [Masters Thesis]. The Ohio State University; 2016. Available from: http://rave.ohiolink.edu/etdc/view?acc_num=osu14804247828136


Jawaharlal Nehru University

30. Gangasharan. Phase diagrams and nucleation in binary alloys and experimental study of glass transition; -.

Degree: Political Science, 1995, Jawaharlal Nehru University

None

References given

Advisors/Committee Members: Murthy, S S N, Kumar, Deepak.

Subjects/Keywords: Political Science; Phase diagrams; nucleation; binary alloys; experimental study; glass transition

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Gangasharan. (1995). Phase diagrams and nucleation in binary alloys and experimental study of glass transition; -. (Thesis). Jawaharlal Nehru University. Retrieved from http://shodhganga.inflibnet.ac.in/handle/10603/14263

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

Chicago Manual of Style (16th Edition):

Gangasharan. “Phase diagrams and nucleation in binary alloys and experimental study of glass transition; -.” 1995. Thesis, Jawaharlal Nehru University. Accessed June 17, 2019. http://shodhganga.inflibnet.ac.in/handle/10603/14263.

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

MLA Handbook (7th Edition):

Gangasharan. “Phase diagrams and nucleation in binary alloys and experimental study of glass transition; -.” 1995. Web. 17 Jun 2019.

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

Vancouver:

Gangasharan. Phase diagrams and nucleation in binary alloys and experimental study of glass transition; -. [Internet] [Thesis]. Jawaharlal Nehru University; 1995. [cited 2019 Jun 17]. Available from: http://shodhganga.inflibnet.ac.in/handle/10603/14263.

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

Council of Science Editors:

Gangasharan. Phase diagrams and nucleation in binary alloys and experimental study of glass transition; -. [Thesis]. Jawaharlal Nehru University; 1995. Available from: http://shodhganga.inflibnet.ac.in/handle/10603/14263

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

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

.