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

Dept: Computer Science and Engineering

You searched for subject:( Heuristic). Showing records 1 – 12 of 12 total matches.

Search Limiters

Last 2 Years | English Only

No search limiters apply to these results.

▼ Search Limiters


University of Connecticut

1. wang, honglin. A Method to Score Pathways Using Heuristic Rules.

Degree: MS, Computer Science and Engineering, 2019, University of Connecticut

  Pathway analysis is a critically important topic in high-throughput gene expression studies. Ranking pathways based on their scores is an important aspect in many… (more)

Subjects/Keywords: Pathway Score; Heuristic Rules; NAFLD

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

wang, h. (2019). A Method to Score Pathways Using Heuristic Rules. (Masters Thesis). University of Connecticut. Retrieved from https://opencommons.uconn.edu/gs_theses/1413

Chicago Manual of Style (16th Edition):

wang, honglin. “A Method to Score Pathways Using Heuristic Rules.” 2019. Masters Thesis, University of Connecticut. Accessed October 15, 2019. https://opencommons.uconn.edu/gs_theses/1413.

MLA Handbook (7th Edition):

wang, honglin. “A Method to Score Pathways Using Heuristic Rules.” 2019. Web. 15 Oct 2019.

Vancouver:

wang h. A Method to Score Pathways Using Heuristic Rules. [Internet] [Masters thesis]. University of Connecticut; 2019. [cited 2019 Oct 15]. Available from: https://opencommons.uconn.edu/gs_theses/1413.

Council of Science Editors:

wang h. A Method to Score Pathways Using Heuristic Rules. [Masters Thesis]. University of Connecticut; 2019. Available from: https://opencommons.uconn.edu/gs_theses/1413


NSYSU

2. Wu, De-kai. A Heuristic Algorithm for Maximizing Lifetime in Sensor Network.

Degree: Master, Computer Science and Engineering, 2009, NSYSU

 Wireless sensor network has applications in environmental surveillance, healthcare, and military operations. Because the energy of sensor nodes is limited and nodes are unable to… (more)

Subjects/Keywords: Heuristic Algorithm; Wireless Sensor Network; Lifetime

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Wu, D. (2009). A Heuristic Algorithm for Maximizing Lifetime in Sensor Network. (Thesis). NSYSU. Retrieved from http://etd.lib.nsysu.edu.tw/ETD-db/ETD-search/view_etd?URN=etd-0715109-154428

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

Wu, De-kai. “A Heuristic Algorithm for Maximizing Lifetime in Sensor Network.” 2009. Thesis, NSYSU. Accessed October 15, 2019. http://etd.lib.nsysu.edu.tw/ETD-db/ETD-search/view_etd?URN=etd-0715109-154428.

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

MLA Handbook (7th Edition):

Wu, De-kai. “A Heuristic Algorithm for Maximizing Lifetime in Sensor Network.” 2009. Web. 15 Oct 2019.

Vancouver:

Wu D. A Heuristic Algorithm for Maximizing Lifetime in Sensor Network. [Internet] [Thesis]. NSYSU; 2009. [cited 2019 Oct 15]. Available from: http://etd.lib.nsysu.edu.tw/ETD-db/ETD-search/view_etd?URN=etd-0715109-154428.

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

Council of Science Editors:

Wu D. A Heuristic Algorithm for Maximizing Lifetime in Sensor Network. [Thesis]. NSYSU; 2009. Available from: http://etd.lib.nsysu.edu.tw/ETD-db/ETD-search/view_etd?URN=etd-0715109-154428

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


Mississippi State University

3. Malone, Brandon. Learning optimal Bayesian networks with heuristic search.

Degree: PhD, Computer Science and Engineering, 2012, Mississippi State University

  Bayesian networks are a widely used graphical model which formalize reasoning under uncertainty. Unfortunately, construction of a Bayesian network by an expert is timeconsuming,… (more)

Subjects/Keywords: machine learning; heuristic search; Bayesian networks

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Malone, B. (2012). Learning optimal Bayesian networks with heuristic search. (Doctoral Dissertation). Mississippi State University. Retrieved from http://sun.library.msstate.edu/ETD-db/theses/available/etd-06202012-144942/ ;

Chicago Manual of Style (16th Edition):

Malone, Brandon. “Learning optimal Bayesian networks with heuristic search.” 2012. Doctoral Dissertation, Mississippi State University. Accessed October 15, 2019. http://sun.library.msstate.edu/ETD-db/theses/available/etd-06202012-144942/ ;.

MLA Handbook (7th Edition):

Malone, Brandon. “Learning optimal Bayesian networks with heuristic search.” 2012. Web. 15 Oct 2019.

Vancouver:

Malone B. Learning optimal Bayesian networks with heuristic search. [Internet] [Doctoral dissertation]. Mississippi State University; 2012. [cited 2019 Oct 15]. Available from: http://sun.library.msstate.edu/ETD-db/theses/available/etd-06202012-144942/ ;.

Council of Science Editors:

Malone B. Learning optimal Bayesian networks with heuristic search. [Doctoral Dissertation]. Mississippi State University; 2012. Available from: http://sun.library.msstate.edu/ETD-db/theses/available/etd-06202012-144942/ ;


NSYSU

4. Huang, Wei-Cheng. Hyper-heuristic-based Workflow Scheduling: Using Cloud Workflow as a Case.

Degree: Master, Computer Science and Engineering, 2013, NSYSU

 None of the metaheuristics and the traditional algortihms ever proposed are perfect for all the cloud scheduling problems. In order to leverage the strengths of… (more)

Subjects/Keywords: workflow; workflow scheduling; hyper-heuristic; cloud computing; metaheuristic; cloudsim

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Huang, W. (2013). Hyper-heuristic-based Workflow Scheduling: Using Cloud Workflow as a Case. (Thesis). NSYSU. Retrieved from http://etd.lib.nsysu.edu.tw/ETD-db/ETD-search/view_etd?URN=etd-0630113-110110

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

Huang, Wei-Cheng. “Hyper-heuristic-based Workflow Scheduling: Using Cloud Workflow as a Case.” 2013. Thesis, NSYSU. Accessed October 15, 2019. http://etd.lib.nsysu.edu.tw/ETD-db/ETD-search/view_etd?URN=etd-0630113-110110.

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

MLA Handbook (7th Edition):

Huang, Wei-Cheng. “Hyper-heuristic-based Workflow Scheduling: Using Cloud Workflow as a Case.” 2013. Web. 15 Oct 2019.

Vancouver:

Huang W. Hyper-heuristic-based Workflow Scheduling: Using Cloud Workflow as a Case. [Internet] [Thesis]. NSYSU; 2013. [cited 2019 Oct 15]. Available from: http://etd.lib.nsysu.edu.tw/ETD-db/ETD-search/view_etd?URN=etd-0630113-110110.

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

Council of Science Editors:

Huang W. Hyper-heuristic-based Workflow Scheduling: Using Cloud Workflow as a Case. [Thesis]. NSYSU; 2013. Available from: http://etd.lib.nsysu.edu.tw/ETD-db/ETD-search/view_etd?URN=etd-0630113-110110

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


NSYSU

5. Chiang, Meng-hsiu. A Framework for the Implementation of Heuristic-based Schedulers on Hadoop.

Degree: Master, Computer Science and Engineering, 2014, NSYSU

 The advance of computer technology from uni-processing to symmetric-multiprocessing to distributed computing and then to cloud computing has made it more and more difficult to… (more)

Subjects/Keywords: distributed computing; heuristic algorithm; cloud computing; Hadoop; scheduling

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Chiang, M. (2014). A Framework for the Implementation of Heuristic-based Schedulers on Hadoop. (Thesis). NSYSU. Retrieved from http://etd.lib.nsysu.edu.tw/ETD-db/ETD-search/view_etd?URN=etd-0720114-145150

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

Chiang, Meng-hsiu. “A Framework for the Implementation of Heuristic-based Schedulers on Hadoop.” 2014. Thesis, NSYSU. Accessed October 15, 2019. http://etd.lib.nsysu.edu.tw/ETD-db/ETD-search/view_etd?URN=etd-0720114-145150.

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

MLA Handbook (7th Edition):

Chiang, Meng-hsiu. “A Framework for the Implementation of Heuristic-based Schedulers on Hadoop.” 2014. Web. 15 Oct 2019.

Vancouver:

Chiang M. A Framework for the Implementation of Heuristic-based Schedulers on Hadoop. [Internet] [Thesis]. NSYSU; 2014. [cited 2019 Oct 15]. Available from: http://etd.lib.nsysu.edu.tw/ETD-db/ETD-search/view_etd?URN=etd-0720114-145150.

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

Council of Science Editors:

Chiang M. A Framework for the Implementation of Heuristic-based Schedulers on Hadoop. [Thesis]. NSYSU; 2014. Available from: http://etd.lib.nsysu.edu.tw/ETD-db/ETD-search/view_etd?URN=etd-0720114-145150

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


NSYSU

6. Song, Huei-jyun. A Hyper-Heuristic Clustering Algorithm.

Degree: Master, Computer Science and Engineering, 2012, NSYSU

 The so-called heuristics have been widely used in solving combinatorial optimization problems because they provide a simple but effective way to find an approximate solution.… (more)

Subjects/Keywords: diversified detection; metaheuristics algorithm; clustering problem; Hyper-heuristic algorithm

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Song, H. (2012). A Hyper-Heuristic Clustering Algorithm. (Thesis). NSYSU. Retrieved from http://etd.lib.nsysu.edu.tw/ETD-db/ETD-search/view_etd?URN=etd-0907112-211759

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

Song, Huei-jyun. “A Hyper-Heuristic Clustering Algorithm.” 2012. Thesis, NSYSU. Accessed October 15, 2019. http://etd.lib.nsysu.edu.tw/ETD-db/ETD-search/view_etd?URN=etd-0907112-211759.

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

MLA Handbook (7th Edition):

Song, Huei-jyun. “A Hyper-Heuristic Clustering Algorithm.” 2012. Web. 15 Oct 2019.

Vancouver:

Song H. A Hyper-Heuristic Clustering Algorithm. [Internet] [Thesis]. NSYSU; 2012. [cited 2019 Oct 15]. Available from: http://etd.lib.nsysu.edu.tw/ETD-db/ETD-search/view_etd?URN=etd-0907112-211759.

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

Council of Science Editors:

Song H. A Hyper-Heuristic Clustering Algorithm. [Thesis]. NSYSU; 2012. Available from: http://etd.lib.nsysu.edu.tw/ETD-db/ETD-search/view_etd?URN=etd-0907112-211759

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


NSYSU

7. Chang, Wei-lun. An Improved Hyper-Heuristic Clustering Algorithm for Wireless Sensor Networks.

Degree: Master, Computer Science and Engineering, 2017, NSYSU

 Wireless sensor network (WSN) has been widely used in surveillance and monitoring nowadays. As such, a lot of applications and services are built on it… (more)

Subjects/Keywords: LEACH; Clustering; Evolutionary Computation; Hyper-heuristic Algorithm; Lifetime; Wireless Sensor Network

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Chang, W. (2017). An Improved Hyper-Heuristic Clustering Algorithm for Wireless Sensor Networks. (Thesis). NSYSU. Retrieved from http://etd.lib.nsysu.edu.tw/ETD-db/ETD-search/view_etd?URN=etd-0512117-205105

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

Chang, Wei-lun. “An Improved Hyper-Heuristic Clustering Algorithm for Wireless Sensor Networks.” 2017. Thesis, NSYSU. Accessed October 15, 2019. http://etd.lib.nsysu.edu.tw/ETD-db/ETD-search/view_etd?URN=etd-0512117-205105.

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

MLA Handbook (7th Edition):

Chang, Wei-lun. “An Improved Hyper-Heuristic Clustering Algorithm for Wireless Sensor Networks.” 2017. Web. 15 Oct 2019.

Vancouver:

Chang W. An Improved Hyper-Heuristic Clustering Algorithm for Wireless Sensor Networks. [Internet] [Thesis]. NSYSU; 2017. [cited 2019 Oct 15]. Available from: http://etd.lib.nsysu.edu.tw/ETD-db/ETD-search/view_etd?URN=etd-0512117-205105.

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

Council of Science Editors:

Chang W. An Improved Hyper-Heuristic Clustering Algorithm for Wireless Sensor Networks. [Thesis]. NSYSU; 2017. Available from: http://etd.lib.nsysu.edu.tw/ETD-db/ETD-search/view_etd?URN=etd-0512117-205105

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


NSYSU

8. Peng, Yuan-ching. Design of Multi-population Genetic Algorithms under Different Hierarchical Architectures.

Degree: Master, Computer Science and Engineering, 2016, NSYSU

 Metaheuristics have recently been commonly used to solve complex problems in real applications. They are easy to use and usually get good solutions for the… (more)

Subjects/Keywords: migration strategy; multiple sub-populations; Genetic algorithm; hierarchical execution structure; meta-heuristic

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Peng, Y. (2016). Design of Multi-population Genetic Algorithms under Different Hierarchical Architectures. (Thesis). NSYSU. Retrieved from http://etd.lib.nsysu.edu.tw/ETD-db/ETD-search/view_etd?URN=etd-0718116-154924

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

Peng, Yuan-ching. “Design of Multi-population Genetic Algorithms under Different Hierarchical Architectures.” 2016. Thesis, NSYSU. Accessed October 15, 2019. http://etd.lib.nsysu.edu.tw/ETD-db/ETD-search/view_etd?URN=etd-0718116-154924.

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

MLA Handbook (7th Edition):

Peng, Yuan-ching. “Design of Multi-population Genetic Algorithms under Different Hierarchical Architectures.” 2016. Web. 15 Oct 2019.

Vancouver:

Peng Y. Design of Multi-population Genetic Algorithms under Different Hierarchical Architectures. [Internet] [Thesis]. NSYSU; 2016. [cited 2019 Oct 15]. Available from: http://etd.lib.nsysu.edu.tw/ETD-db/ETD-search/view_etd?URN=etd-0718116-154924.

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

Council of Science Editors:

Peng Y. Design of Multi-population Genetic Algorithms under Different Hierarchical Architectures. [Thesis]. NSYSU; 2016. Available from: http://etd.lib.nsysu.edu.tw/ETD-db/ETD-search/view_etd?URN=etd-0718116-154924

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


NSYSU

9. Chan, Huang-Ting. The Definitions and Computation of the Two Dimensional Largest Common Substructure Problems.

Degree: Master, Computer Science and Engineering, 2016, NSYSU

 The traditional longest common subsequence (LCS) problem is to find the maximum number of ordered matches in two sequences. The similarity of two one-dimensional sequences… (more)

Subjects/Keywords: Longest Common Subsequence; Similarity; NP-hard; Matrices; Integer Linear Programming; Heuristic Algorithm

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Chan, H. (2016). The Definitions and Computation of the Two Dimensional Largest Common Substructure Problems. (Thesis). NSYSU. Retrieved from http://etd.lib.nsysu.edu.tw/ETD-db/ETD-search/view_etd?URN=etd-0031116-004017

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

Chan, Huang-Ting. “The Definitions and Computation of the Two Dimensional Largest Common Substructure Problems.” 2016. Thesis, NSYSU. Accessed October 15, 2019. http://etd.lib.nsysu.edu.tw/ETD-db/ETD-search/view_etd?URN=etd-0031116-004017.

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

MLA Handbook (7th Edition):

Chan, Huang-Ting. “The Definitions and Computation of the Two Dimensional Largest Common Substructure Problems.” 2016. Web. 15 Oct 2019.

Vancouver:

Chan H. The Definitions and Computation of the Two Dimensional Largest Common Substructure Problems. [Internet] [Thesis]. NSYSU; 2016. [cited 2019 Oct 15]. Available from: http://etd.lib.nsysu.edu.tw/ETD-db/ETD-search/view_etd?URN=etd-0031116-004017.

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

Council of Science Editors:

Chan H. The Definitions and Computation of the Two Dimensional Largest Common Substructure Problems. [Thesis]. NSYSU; 2016. Available from: http://etd.lib.nsysu.edu.tw/ETD-db/ETD-search/view_etd?URN=etd-0031116-004017

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


NSYSU

10. Yang, You-Chuan. A NewGreedy Genetic Algorithm for Influence Maximization in Social Network.

Degree: Master, Computer Science and Engineering, 2016, NSYSU

 With the advance of computer and internet technologies, social networks have become an integral part of most peopleâs life. People can now use social networks… (more)

Subjects/Keywords: influence maximization problem; social network; meta-heuristic algorithm; genetic algorithm; NewGreedy algorithm; propagation model

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Yang, Y. (2016). A NewGreedy Genetic Algorithm for Influence Maximization in Social Network. (Thesis). NSYSU. Retrieved from http://etd.lib.nsysu.edu.tw/ETD-db/ETD-search/view_etd?URN=etd-0115116-163418

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

Yang, You-Chuan. “A NewGreedy Genetic Algorithm for Influence Maximization in Social Network.” 2016. Thesis, NSYSU. Accessed October 15, 2019. http://etd.lib.nsysu.edu.tw/ETD-db/ETD-search/view_etd?URN=etd-0115116-163418.

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

MLA Handbook (7th Edition):

Yang, You-Chuan. “A NewGreedy Genetic Algorithm for Influence Maximization in Social Network.” 2016. Web. 15 Oct 2019.

Vancouver:

Yang Y. A NewGreedy Genetic Algorithm for Influence Maximization in Social Network. [Internet] [Thesis]. NSYSU; 2016. [cited 2019 Oct 15]. Available from: http://etd.lib.nsysu.edu.tw/ETD-db/ETD-search/view_etd?URN=etd-0115116-163418.

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

Council of Science Editors:

Yang Y. A NewGreedy Genetic Algorithm for Influence Maximization in Social Network. [Thesis]. NSYSU; 2016. Available from: http://etd.lib.nsysu.edu.tw/ETD-db/ETD-search/view_etd?URN=etd-0115116-163418

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


Mississippi State University

11. Abdoulahi, Ibrahim. Improved heuristic search algorithms for decision-theoretic planning.

Degree: PhD, Computer Science and Engineering, 2017, Mississippi State University

  A large class of practical planning problems that require reasoning about uncertain outcomes, as well as tradeoffs among competing goals, can be modeled as… (more)

Subjects/Keywords: Planning under Uncertainty; Value Iteration; Heuristic Search; Suboptimality Bounds; Action Elimination; Markov Decision Process

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Abdoulahi, I. (2017). Improved heuristic search algorithms for decision-theoretic planning. (Doctoral Dissertation). Mississippi State University. Retrieved from http://sun.library.msstate.edu/ETD-db/theses/available/etd-10232017-121510/ ;

Chicago Manual of Style (16th Edition):

Abdoulahi, Ibrahim. “Improved heuristic search algorithms for decision-theoretic planning.” 2017. Doctoral Dissertation, Mississippi State University. Accessed October 15, 2019. http://sun.library.msstate.edu/ETD-db/theses/available/etd-10232017-121510/ ;.

MLA Handbook (7th Edition):

Abdoulahi, Ibrahim. “Improved heuristic search algorithms for decision-theoretic planning.” 2017. Web. 15 Oct 2019.

Vancouver:

Abdoulahi I. Improved heuristic search algorithms for decision-theoretic planning. [Internet] [Doctoral dissertation]. Mississippi State University; 2017. [cited 2019 Oct 15]. Available from: http://sun.library.msstate.edu/ETD-db/theses/available/etd-10232017-121510/ ;.

Council of Science Editors:

Abdoulahi I. Improved heuristic search algorithms for decision-theoretic planning. [Doctoral Dissertation]. Mississippi State University; 2017. Available from: http://sun.library.msstate.edu/ETD-db/theses/available/etd-10232017-121510/ ;


University of New South Wales

12. Qian, Kairong. Formal symbolic verification using heuristic search and abstraction techniques.

Degree: Computer Science and Engineering, 2006, University of New South Wales

 Computing devices are pervading our everyday life and imposing challenges for designersthat have the responsibility of producing reliable hardware and software systems. As systemsgrow in… (more)

Subjects/Keywords: Heuristic programming; Computer algorithms; Computer software - Verification

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Qian, K. (2006). Formal symbolic verification using heuristic search and abstraction techniques. (Doctoral Dissertation). University of New South Wales. Retrieved from http://handle.unsw.edu.au/1959.4/25703 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:1063/SOURCE1?view=true

Chicago Manual of Style (16th Edition):

Qian, Kairong. “Formal symbolic verification using heuristic search and abstraction techniques.” 2006. Doctoral Dissertation, University of New South Wales. Accessed October 15, 2019. http://handle.unsw.edu.au/1959.4/25703 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:1063/SOURCE1?view=true.

MLA Handbook (7th Edition):

Qian, Kairong. “Formal symbolic verification using heuristic search and abstraction techniques.” 2006. Web. 15 Oct 2019.

Vancouver:

Qian K. Formal symbolic verification using heuristic search and abstraction techniques. [Internet] [Doctoral dissertation]. University of New South Wales; 2006. [cited 2019 Oct 15]. Available from: http://handle.unsw.edu.au/1959.4/25703 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:1063/SOURCE1?view=true.

Council of Science Editors:

Qian K. Formal symbolic verification using heuristic search and abstraction techniques. [Doctoral Dissertation]. University of New South Wales; 2006. Available from: http://handle.unsw.edu.au/1959.4/25703 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:1063/SOURCE1?view=true

.