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:(reasoning systems). Showing records 1 – 30 of 131 total matches.

[1] [2] [3] [4] [5]

Search Limiters

Last 2 Years | English Only

Levels

Languages

Country

▼ Search Limiters


Delft University of Technology

1. Goedhart, B. A general framework for compositional reasoning with uncertainty.

Degree: 1994, Delft University of Technology

Subjects/Keywords: reasoning systems; uncertainty

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Goedhart, B. (1994). A general framework for compositional reasoning with uncertainty. (Doctoral Dissertation). Delft University of Technology. Retrieved from http://resolver.tudelft.nl/uuid:3852ec41-b546-4c19-b296-f0e00d49587f ; urn:NBN:nl:ui:24-uuid:3852ec41-b546-4c19-b296-f0e00d49587f ; urn:NBN:nl:ui:24-uuid:3852ec41-b546-4c19-b296-f0e00d49587f ; http://resolver.tudelft.nl/uuid:3852ec41-b546-4c19-b296-f0e00d49587f

Chicago Manual of Style (16th Edition):

Goedhart, B. “A general framework for compositional reasoning with uncertainty.” 1994. Doctoral Dissertation, Delft University of Technology. Accessed August 21, 2019. http://resolver.tudelft.nl/uuid:3852ec41-b546-4c19-b296-f0e00d49587f ; urn:NBN:nl:ui:24-uuid:3852ec41-b546-4c19-b296-f0e00d49587f ; urn:NBN:nl:ui:24-uuid:3852ec41-b546-4c19-b296-f0e00d49587f ; http://resolver.tudelft.nl/uuid:3852ec41-b546-4c19-b296-f0e00d49587f.

MLA Handbook (7th Edition):

Goedhart, B. “A general framework for compositional reasoning with uncertainty.” 1994. Web. 21 Aug 2019.

Vancouver:

Goedhart B. A general framework for compositional reasoning with uncertainty. [Internet] [Doctoral dissertation]. Delft University of Technology; 1994. [cited 2019 Aug 21]. Available from: http://resolver.tudelft.nl/uuid:3852ec41-b546-4c19-b296-f0e00d49587f ; urn:NBN:nl:ui:24-uuid:3852ec41-b546-4c19-b296-f0e00d49587f ; urn:NBN:nl:ui:24-uuid:3852ec41-b546-4c19-b296-f0e00d49587f ; http://resolver.tudelft.nl/uuid:3852ec41-b546-4c19-b296-f0e00d49587f.

Council of Science Editors:

Goedhart B. A general framework for compositional reasoning with uncertainty. [Doctoral Dissertation]. Delft University of Technology; 1994. Available from: http://resolver.tudelft.nl/uuid:3852ec41-b546-4c19-b296-f0e00d49587f ; urn:NBN:nl:ui:24-uuid:3852ec41-b546-4c19-b296-f0e00d49587f ; urn:NBN:nl:ui:24-uuid:3852ec41-b546-4c19-b296-f0e00d49587f ; http://resolver.tudelft.nl/uuid:3852ec41-b546-4c19-b296-f0e00d49587f


Universitat Politècnica de València

2. Heras Barberá, Stella María. Case-Based Argumentation in Agent Societies .

Degree: 2011, Universitat Politècnica de València

 Hoy en día los sistemas informáticos complejos se pueden ven en términos de los servicios que ofrecen y las entidades que interactúan para proporcionar o… (more)

Subjects/Keywords: Argumentation; Case-based reasoning; Multi-agent systems; Artificial intelligence

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Heras Barberá, S. M. (2011). Case-Based Argumentation in Agent Societies . (Doctoral Dissertation). Universitat Politècnica de València. Retrieved from http://hdl.handle.net/10251/12497

Chicago Manual of Style (16th Edition):

Heras Barberá, Stella María. “Case-Based Argumentation in Agent Societies .” 2011. Doctoral Dissertation, Universitat Politècnica de València. Accessed August 21, 2019. http://hdl.handle.net/10251/12497.

MLA Handbook (7th Edition):

Heras Barberá, Stella María. “Case-Based Argumentation in Agent Societies .” 2011. Web. 21 Aug 2019.

Vancouver:

Heras Barberá SM. Case-Based Argumentation in Agent Societies . [Internet] [Doctoral dissertation]. Universitat Politècnica de València; 2011. [cited 2019 Aug 21]. Available from: http://hdl.handle.net/10251/12497.

Council of Science Editors:

Heras Barberá SM. Case-Based Argumentation in Agent Societies . [Doctoral Dissertation]. Universitat Politècnica de València; 2011. Available from: http://hdl.handle.net/10251/12497


University of Waterloo

3. Ashmore, Rylo. Local Reasoning for Parameterized First Order Protocols.

Degree: 2019, University of Waterloo

 First Order Logic (FOL) is a powerful reasoning tool for program verification. Recent work on Ivy shows that FOL is well suited for verification of… (more)

Subjects/Keywords: formal methods; verification; local reasoning; Ivy; distributed systems; first order logic

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Ashmore, R. (2019). Local Reasoning for Parameterized First Order Protocols. (Thesis). University of Waterloo. Retrieved from http://hdl.handle.net/10012/14886

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

Ashmore, Rylo. “Local Reasoning for Parameterized First Order Protocols.” 2019. Thesis, University of Waterloo. Accessed August 21, 2019. http://hdl.handle.net/10012/14886.

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

MLA Handbook (7th Edition):

Ashmore, Rylo. “Local Reasoning for Parameterized First Order Protocols.” 2019. Web. 21 Aug 2019.

Vancouver:

Ashmore R. Local Reasoning for Parameterized First Order Protocols. [Internet] [Thesis]. University of Waterloo; 2019. [cited 2019 Aug 21]. Available from: http://hdl.handle.net/10012/14886.

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

Council of Science Editors:

Ashmore R. Local Reasoning for Parameterized First Order Protocols. [Thesis]. University of Waterloo; 2019. Available from: http://hdl.handle.net/10012/14886

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


University of Newcastle

4. Fernando, Irosh. An approach to formalisation of clinical reasoning in medicine: a case study in psychiatry.

Degree: PhD, 2017, University of Newcastle

Research Doctorate - Doctor of Philosophy (PhD)

Clinical reasoning involves eliciting clinical information, arriving at diagnoses, making treatment decisions, and assessing treatment progress. Errors in… (more)

Subjects/Keywords: clinical reasoning; medical diagnostic reasoning; medical treatment decision; algorithms in medical diagnosis; medical expert systems; psychiatric case formulation; thesis by publication

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Fernando, I. (2017). An approach to formalisation of clinical reasoning in medicine: a case study in psychiatry. (Doctoral Dissertation). University of Newcastle. Retrieved from http://hdl.handle.net/1959.13/1390678

Chicago Manual of Style (16th Edition):

Fernando, Irosh. “An approach to formalisation of clinical reasoning in medicine: a case study in psychiatry.” 2017. Doctoral Dissertation, University of Newcastle. Accessed August 21, 2019. http://hdl.handle.net/1959.13/1390678.

MLA Handbook (7th Edition):

Fernando, Irosh. “An approach to formalisation of clinical reasoning in medicine: a case study in psychiatry.” 2017. Web. 21 Aug 2019.

Vancouver:

Fernando I. An approach to formalisation of clinical reasoning in medicine: a case study in psychiatry. [Internet] [Doctoral dissertation]. University of Newcastle; 2017. [cited 2019 Aug 21]. Available from: http://hdl.handle.net/1959.13/1390678.

Council of Science Editors:

Fernando I. An approach to formalisation of clinical reasoning in medicine: a case study in psychiatry. [Doctoral Dissertation]. University of Newcastle; 2017. Available from: http://hdl.handle.net/1959.13/1390678


University of Aberdeen

5. Emele, Chukwuemeka David. Informing dialogue strategy through argumentation-derived evidence.

Degree: 2011, University of Aberdeen

 In many settings, agents engage in problem-solving activities, which require them to share resources, act on each others behalf, coordinate individual acts, etc. If autonomous… (more)

Subjects/Keywords: 006.3; Machine learning : Artificial intelligence : Decision theory : Expert systems (Computer science) : Reasoning

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Emele, C. D. (2011). Informing dialogue strategy through argumentation-derived evidence. (Doctoral Dissertation). University of Aberdeen. Retrieved from http://digitool.abdn.ac.uk:80/webclient/DeliveryManager?pid=179453 ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.554336

Chicago Manual of Style (16th Edition):

Emele, Chukwuemeka David. “Informing dialogue strategy through argumentation-derived evidence.” 2011. Doctoral Dissertation, University of Aberdeen. Accessed August 21, 2019. http://digitool.abdn.ac.uk:80/webclient/DeliveryManager?pid=179453 ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.554336.

MLA Handbook (7th Edition):

Emele, Chukwuemeka David. “Informing dialogue strategy through argumentation-derived evidence.” 2011. Web. 21 Aug 2019.

Vancouver:

Emele CD. Informing dialogue strategy through argumentation-derived evidence. [Internet] [Doctoral dissertation]. University of Aberdeen; 2011. [cited 2019 Aug 21]. Available from: http://digitool.abdn.ac.uk:80/webclient/DeliveryManager?pid=179453 ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.554336.

Council of Science Editors:

Emele CD. Informing dialogue strategy through argumentation-derived evidence. [Doctoral Dissertation]. University of Aberdeen; 2011. Available from: http://digitool.abdn.ac.uk:80/webclient/DeliveryManager?pid=179453 ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.554336

6. Nizamani, Abdul Rahim. Reasoning with Bounded Cognitive Resources.

Degree: 2015, University of Gothenburg / Göteborgs Universitet

Reasoning is an essential element of intelligence. Automated reasoning in formal and symbolic systems is a major topic in computer science and artificial intelligence (AI).… (more)

Subjects/Keywords: Artificial general intelligence; logical reasoning; inductive learning; proof systems; bounded cognitive resources; cognitive modeling

Page 1 Page 2

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Nizamani, A. R. (2015). Reasoning with Bounded Cognitive Resources. (Thesis). University of Gothenburg / Göteborgs Universitet. Retrieved from http://hdl.handle.net/2077/40579

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

Nizamani, Abdul Rahim. “Reasoning with Bounded Cognitive Resources.” 2015. Thesis, University of Gothenburg / Göteborgs Universitet. Accessed August 21, 2019. http://hdl.handle.net/2077/40579.

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

MLA Handbook (7th Edition):

Nizamani, Abdul Rahim. “Reasoning with Bounded Cognitive Resources.” 2015. Web. 21 Aug 2019.

Vancouver:

Nizamani AR. Reasoning with Bounded Cognitive Resources. [Internet] [Thesis]. University of Gothenburg / Göteborgs Universitet; 2015. [cited 2019 Aug 21]. Available from: http://hdl.handle.net/2077/40579.

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

Council of Science Editors:

Nizamani AR. Reasoning with Bounded Cognitive Resources. [Thesis]. University of Gothenburg / Göteborgs Universitet; 2015. Available from: http://hdl.handle.net/2077/40579

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


Case Western Reserve University

7. Fennimore, Todd F. Understanding change in medicine and the biomedical sciences: Modeling change as interactions among flows with arrow diagrams.

Degree: MA, Cognitive Linguistics, 2011, Case Western Reserve University

 Building on Aristotle’s analysis, this thesis starts with a definition of change as the result of a network of influences operating to shape a particular… (more)

Subjects/Keywords: Scientific Imaging; Systems Science; scientific reasoning; explanation; diagramming; cognitive science; modeling of change

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Fennimore, T. F. (2011). Understanding change in medicine and the biomedical sciences: Modeling change as interactions among flows with arrow diagrams. (Masters Thesis). Case Western Reserve University. Retrieved from http://rave.ohiolink.edu/etdc/view?acc_num=case1307626543

Chicago Manual of Style (16th Edition):

Fennimore, Todd F. “Understanding change in medicine and the biomedical sciences: Modeling change as interactions among flows with arrow diagrams.” 2011. Masters Thesis, Case Western Reserve University. Accessed August 21, 2019. http://rave.ohiolink.edu/etdc/view?acc_num=case1307626543.

MLA Handbook (7th Edition):

Fennimore, Todd F. “Understanding change in medicine and the biomedical sciences: Modeling change as interactions among flows with arrow diagrams.” 2011. Web. 21 Aug 2019.

Vancouver:

Fennimore TF. Understanding change in medicine and the biomedical sciences: Modeling change as interactions among flows with arrow diagrams. [Internet] [Masters thesis]. Case Western Reserve University; 2011. [cited 2019 Aug 21]. Available from: http://rave.ohiolink.edu/etdc/view?acc_num=case1307626543.

Council of Science Editors:

Fennimore TF. Understanding change in medicine and the biomedical sciences: Modeling change as interactions among flows with arrow diagrams. [Masters Thesis]. Case Western Reserve University; 2011. Available from: http://rave.ohiolink.edu/etdc/view?acc_num=case1307626543


Clemson University

8. Morkos, Beshoy. Computational Representation And Reasoning Support For Requirements Change Management In Complex System Design.

Degree: PhD, Mechanical Engineering, 2012, Clemson University

 Requirements play a critical role within any design process and the activity of identifying and maintaining a system's requirements is essential to. However, design is… (more)

Subjects/Keywords: Change Propagation; Complex Systems Management; Computational Reasoning; Computational Representations; Requirements Management; Mechanical Engineering

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Morkos, B. (2012). Computational Representation And Reasoning Support For Requirements Change Management In Complex System Design. (Doctoral Dissertation). Clemson University. Retrieved from https://tigerprints.clemson.edu/all_dissertations/794

Chicago Manual of Style (16th Edition):

Morkos, Beshoy. “Computational Representation And Reasoning Support For Requirements Change Management In Complex System Design.” 2012. Doctoral Dissertation, Clemson University. Accessed August 21, 2019. https://tigerprints.clemson.edu/all_dissertations/794.

MLA Handbook (7th Edition):

Morkos, Beshoy. “Computational Representation And Reasoning Support For Requirements Change Management In Complex System Design.” 2012. Web. 21 Aug 2019.

Vancouver:

Morkos B. Computational Representation And Reasoning Support For Requirements Change Management In Complex System Design. [Internet] [Doctoral dissertation]. Clemson University; 2012. [cited 2019 Aug 21]. Available from: https://tigerprints.clemson.edu/all_dissertations/794.

Council of Science Editors:

Morkos B. Computational Representation And Reasoning Support For Requirements Change Management In Complex System Design. [Doctoral Dissertation]. Clemson University; 2012. Available from: https://tigerprints.clemson.edu/all_dissertations/794


Universidade Nova

9. Miranda, Luís Miguel Gonçalves. Data fusion with computational intelligence techniques: a case study of fuzzy inference for terrain assessment.

Degree: 2014, Universidade Nova

Dissertação apresentada para obtenção do Grau de Mestre em Engenharia Electrotécnica e de Computadores, pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia

With… (more)

Subjects/Keywords: Data fusion; Fuzzy reasoning; Hazard detection and avoidance; Fuzzy inference systems; Data visualization

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Miranda, L. M. G. (2014). Data fusion with computational intelligence techniques: a case study of fuzzy inference for terrain assessment. (Thesis). Universidade Nova. Retrieved from http://www.rcaap.pt/detail.jsp?id=oai:run.unl.pt:10362/12338

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

Miranda, Luís Miguel Gonçalves. “Data fusion with computational intelligence techniques: a case study of fuzzy inference for terrain assessment.” 2014. Thesis, Universidade Nova. Accessed August 21, 2019. http://www.rcaap.pt/detail.jsp?id=oai:run.unl.pt:10362/12338.

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

MLA Handbook (7th Edition):

Miranda, Luís Miguel Gonçalves. “Data fusion with computational intelligence techniques: a case study of fuzzy inference for terrain assessment.” 2014. Web. 21 Aug 2019.

Vancouver:

Miranda LMG. Data fusion with computational intelligence techniques: a case study of fuzzy inference for terrain assessment. [Internet] [Thesis]. Universidade Nova; 2014. [cited 2019 Aug 21]. Available from: http://www.rcaap.pt/detail.jsp?id=oai:run.unl.pt:10362/12338.

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

Council of Science Editors:

Miranda LMG. Data fusion with computational intelligence techniques: a case study of fuzzy inference for terrain assessment. [Thesis]. Universidade Nova; 2014. Available from: http://www.rcaap.pt/detail.jsp?id=oai:run.unl.pt:10362/12338

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


Uniwersytet im. Adama Mickiewicza w Poznaniu

10. Gajda, Andrzej. Generowanie hipotez abdukcyjnych w systemach neuronalno-symbolicznych .

Degree: 2018, Uniwersytet im. Adama Mickiewicza w Poznaniu

 Celem pracy było opracowanie procedury abdukcyjnej, która działa w oparciu o system neuronalno-symboliczny. Procedura abdukcyjna jest rozumiana jako rozszerzona interpretacja algorytmiczna rozumowania abdukcyjnego, tj. posiadając… (more)

Subjects/Keywords: Rozumowanie abdukcyjne; systemy neuronalno-symboliczne; programy logiczne; Abductive reasoning; neural-symbolic systems; logic programming

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Gajda, A. (2018). Generowanie hipotez abdukcyjnych w systemach neuronalno-symbolicznych . (Doctoral Dissertation). Uniwersytet im. Adama Mickiewicza w Poznaniu. Retrieved from http://hdl.handle.net/10593/24450

Chicago Manual of Style (16th Edition):

Gajda, Andrzej. “Generowanie hipotez abdukcyjnych w systemach neuronalno-symbolicznych .” 2018. Doctoral Dissertation, Uniwersytet im. Adama Mickiewicza w Poznaniu. Accessed August 21, 2019. http://hdl.handle.net/10593/24450.

MLA Handbook (7th Edition):

Gajda, Andrzej. “Generowanie hipotez abdukcyjnych w systemach neuronalno-symbolicznych .” 2018. Web. 21 Aug 2019.

Vancouver:

Gajda A. Generowanie hipotez abdukcyjnych w systemach neuronalno-symbolicznych . [Internet] [Doctoral dissertation]. Uniwersytet im. Adama Mickiewicza w Poznaniu; 2018. [cited 2019 Aug 21]. Available from: http://hdl.handle.net/10593/24450.

Council of Science Editors:

Gajda A. Generowanie hipotez abdukcyjnych w systemach neuronalno-symbolicznych . [Doctoral Dissertation]. Uniwersytet im. Adama Mickiewicza w Poznaniu; 2018. Available from: http://hdl.handle.net/10593/24450


Georgia Tech

11. Cavieres, Andres. A functional modeling framework for interdisciplinary building design.

Degree: PhD, Architecture, 2018, Georgia Tech

 The process of Building Design, as in many other forms of design, requires the effective integration of different types of knowledge. However, and in the… (more)

Subjects/Keywords: Functional representation and reasoning; Building information modeling; Ontology; Systems integration; Performance-based design

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Cavieres, A. (2018). A functional modeling framework for interdisciplinary building design. (Doctoral Dissertation). Georgia Tech. Retrieved from http://hdl.handle.net/1853/60302

Chicago Manual of Style (16th Edition):

Cavieres, Andres. “A functional modeling framework for interdisciplinary building design.” 2018. Doctoral Dissertation, Georgia Tech. Accessed August 21, 2019. http://hdl.handle.net/1853/60302.

MLA Handbook (7th Edition):

Cavieres, Andres. “A functional modeling framework for interdisciplinary building design.” 2018. Web. 21 Aug 2019.

Vancouver:

Cavieres A. A functional modeling framework for interdisciplinary building design. [Internet] [Doctoral dissertation]. Georgia Tech; 2018. [cited 2019 Aug 21]. Available from: http://hdl.handle.net/1853/60302.

Council of Science Editors:

Cavieres A. A functional modeling framework for interdisciplinary building design. [Doctoral Dissertation]. Georgia Tech; 2018. Available from: http://hdl.handle.net/1853/60302


George Mason University

12. Martin, Todd William. Probabilistic Reasoning for Dynamic Spectrum Access .

Degree: 2016, George Mason University

 Dynamic Spectrum Access (DSA) systems combine situational awareness development, decision assessment, and spectrum adaptation to provide greater spectrum access to wireless systems. While significant progress… (more)

Subjects/Keywords: Engineering; Systems science; Computer science; Bayesian Networks; Dynamic Spectrum Access; Probabilistic Reasoning; Wireless Communications

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Martin, T. W. (2016). Probabilistic Reasoning for Dynamic Spectrum Access . (Thesis). George Mason University. Retrieved from http://hdl.handle.net/1920/10630

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

Martin, Todd William. “Probabilistic Reasoning for Dynamic Spectrum Access .” 2016. Thesis, George Mason University. Accessed August 21, 2019. http://hdl.handle.net/1920/10630.

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

MLA Handbook (7th Edition):

Martin, Todd William. “Probabilistic Reasoning for Dynamic Spectrum Access .” 2016. Web. 21 Aug 2019.

Vancouver:

Martin TW. Probabilistic Reasoning for Dynamic Spectrum Access . [Internet] [Thesis]. George Mason University; 2016. [cited 2019 Aug 21]. Available from: http://hdl.handle.net/1920/10630.

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

Council of Science Editors:

Martin TW. Probabilistic Reasoning for Dynamic Spectrum Access . [Thesis]. George Mason University; 2016. Available from: http://hdl.handle.net/1920/10630

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


Iowa State University

13. Santhanam, Ganesh Ram. Representing and reasoning with qualitative preferences for compositional systems.

Degree: 2010, Iowa State University

 Many applications call for techniques for representing and reasoning about preferences, i.e., relative desirability over a set of alternatives. Preferences over the alternatives are typically… (more)

Subjects/Keywords: Compositional Systems; Decision Theory; Dominance Testing; Model Checking; Preference Reasoning; Qualitative Preferences; Computer Sciences

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Santhanam, G. R. (2010). Representing and reasoning with qualitative preferences for compositional systems. (Thesis). Iowa State University. Retrieved from https://lib.dr.iastate.edu/etd/11834

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

Santhanam, Ganesh Ram. “Representing and reasoning with qualitative preferences for compositional systems.” 2010. Thesis, Iowa State University. Accessed August 21, 2019. https://lib.dr.iastate.edu/etd/11834.

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

MLA Handbook (7th Edition):

Santhanam, Ganesh Ram. “Representing and reasoning with qualitative preferences for compositional systems.” 2010. Web. 21 Aug 2019.

Vancouver:

Santhanam GR. Representing and reasoning with qualitative preferences for compositional systems. [Internet] [Thesis]. Iowa State University; 2010. [cited 2019 Aug 21]. Available from: https://lib.dr.iastate.edu/etd/11834.

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

Council of Science Editors:

Santhanam GR. Representing and reasoning with qualitative preferences for compositional systems. [Thesis]. Iowa State University; 2010. Available from: https://lib.dr.iastate.edu/etd/11834

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

14. Johnson, John J., IV. A General Theory of Emergence in Engineered Systems.

Degree: PhD, Engineering Management, 2016, Old Dominion University

  Engineered systems are designed to satisfy specific needs and produce explainable/predictable results. But despite this intent, engineered systems don’t always do what they are… (more)

Subjects/Keywords: Analogical reasoning; Emergence; Emergent; Ontology; Structural mapping; System dynamics modeling; Systems Engineering

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Johnson, John J., I. (2016). A General Theory of Emergence in Engineered Systems. (Doctoral Dissertation). Old Dominion University. Retrieved from 9781369543667 ; https://digitalcommons.odu.edu/emse_etds/8

Chicago Manual of Style (16th Edition):

Johnson, John J., IV. “A General Theory of Emergence in Engineered Systems.” 2016. Doctoral Dissertation, Old Dominion University. Accessed August 21, 2019. 9781369543667 ; https://digitalcommons.odu.edu/emse_etds/8.

MLA Handbook (7th Edition):

Johnson, John J., IV. “A General Theory of Emergence in Engineered Systems.” 2016. Web. 21 Aug 2019.

Vancouver:

Johnson, John J. I. A General Theory of Emergence in Engineered Systems. [Internet] [Doctoral dissertation]. Old Dominion University; 2016. [cited 2019 Aug 21]. Available from: 9781369543667 ; https://digitalcommons.odu.edu/emse_etds/8.

Council of Science Editors:

Johnson, John J. I. A General Theory of Emergence in Engineered Systems. [Doctoral Dissertation]. Old Dominion University; 2016. Available from: 9781369543667 ; https://digitalcommons.odu.edu/emse_etds/8

15. Amato, Christopher. Increasing Scalability in Algorithms for Centralized and Decentralized Partially Observable Markov Decision Processes: Efficient Decision-Making and Coordination in Uncertain Environments.

Degree: PhD, Computer Science, 2010, U of Massachusetts : PhD

 As agents are built for ever more complex environments, methods that consider the uncertainty in the system have strong advantages. This uncertainty is common in… (more)

Subjects/Keywords: Artificial Intelligence; Decision Theory; Game Theory; Machine Learning; Multiagent Systems; Reasoning Under Uncertainty; Computer Sciences

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Amato, C. (2010). Increasing Scalability in Algorithms for Centralized and Decentralized Partially Observable Markov Decision Processes: Efficient Decision-Making and Coordination in Uncertain Environments. (Doctoral Dissertation). U of Massachusetts : PhD. Retrieved from https://scholarworks.umass.edu/open_access_dissertations/260

Chicago Manual of Style (16th Edition):

Amato, Christopher. “Increasing Scalability in Algorithms for Centralized and Decentralized Partially Observable Markov Decision Processes: Efficient Decision-Making and Coordination in Uncertain Environments.” 2010. Doctoral Dissertation, U of Massachusetts : PhD. Accessed August 21, 2019. https://scholarworks.umass.edu/open_access_dissertations/260.

MLA Handbook (7th Edition):

Amato, Christopher. “Increasing Scalability in Algorithms for Centralized and Decentralized Partially Observable Markov Decision Processes: Efficient Decision-Making and Coordination in Uncertain Environments.” 2010. Web. 21 Aug 2019.

Vancouver:

Amato C. Increasing Scalability in Algorithms for Centralized and Decentralized Partially Observable Markov Decision Processes: Efficient Decision-Making and Coordination in Uncertain Environments. [Internet] [Doctoral dissertation]. U of Massachusetts : PhD; 2010. [cited 2019 Aug 21]. Available from: https://scholarworks.umass.edu/open_access_dissertations/260.

Council of Science Editors:

Amato C. Increasing Scalability in Algorithms for Centralized and Decentralized Partially Observable Markov Decision Processes: Efficient Decision-Making and Coordination in Uncertain Environments. [Doctoral Dissertation]. U of Massachusetts : PhD; 2010. Available from: https://scholarworks.umass.edu/open_access_dissertations/260


Texas State University – San Marcos

16. Mukhopadhyay, Alolika. An Ontological Approach to Engineering Requirement Representation and Analysis.

Degree: MS, Industrial Technology, 2015, Texas State University – San Marcos

 The objective of this research is to develop an ontological method for measuring the information content of engineering design requirements, assessing their completeness and specificity,… (more)

Subjects/Keywords: Ontology; Requirement; SWRL; Reasoning; Information content; Entropy; OWL API; Requirements engineering; System analysis; Systems engineering

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Mukhopadhyay, A. (2015). An Ontological Approach to Engineering Requirement Representation and Analysis. (Masters Thesis). Texas State University – San Marcos. Retrieved from https://digital.library.txstate.edu/handle/10877/5754

Chicago Manual of Style (16th Edition):

Mukhopadhyay, Alolika. “An Ontological Approach to Engineering Requirement Representation and Analysis.” 2015. Masters Thesis, Texas State University – San Marcos. Accessed August 21, 2019. https://digital.library.txstate.edu/handle/10877/5754.

MLA Handbook (7th Edition):

Mukhopadhyay, Alolika. “An Ontological Approach to Engineering Requirement Representation and Analysis.” 2015. Web. 21 Aug 2019.

Vancouver:

Mukhopadhyay A. An Ontological Approach to Engineering Requirement Representation and Analysis. [Internet] [Masters thesis]. Texas State University – San Marcos; 2015. [cited 2019 Aug 21]. Available from: https://digital.library.txstate.edu/handle/10877/5754.

Council of Science Editors:

Mukhopadhyay A. An Ontological Approach to Engineering Requirement Representation and Analysis. [Masters Thesis]. Texas State University – San Marcos; 2015. Available from: https://digital.library.txstate.edu/handle/10877/5754

17. Canto, Nílton César Furtado. Uma abordagem evolutiva para identificação de procedimentos de raciocínio humano.

Degree: PhD, Sistemas Eletrônicos, 2008, University of São Paulo

Neste trabalho, investigou-se a utilização de algoritmos evolutivos para identificação de procedimentos de raciocínio utilizados por humanos na construção de soluções para uma classe de… (more)

Subjects/Keywords: Algoritmos genéticos; Artificial intelligence; Classifier systems; Cognição; Cognitive systems; Evolutionary algorithms; Genetic algorithms; Human reasoning; Inteligência artificial

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Canto, N. C. F. (2008). Uma abordagem evolutiva para identificação de procedimentos de raciocínio humano. (Doctoral Dissertation). University of São Paulo. Retrieved from http://www.teses.usp.br/teses/disponiveis/3/3142/tde-09022009-184704/ ;

Chicago Manual of Style (16th Edition):

Canto, Nílton César Furtado. “Uma abordagem evolutiva para identificação de procedimentos de raciocínio humano.” 2008. Doctoral Dissertation, University of São Paulo. Accessed August 21, 2019. http://www.teses.usp.br/teses/disponiveis/3/3142/tde-09022009-184704/ ;.

MLA Handbook (7th Edition):

Canto, Nílton César Furtado. “Uma abordagem evolutiva para identificação de procedimentos de raciocínio humano.” 2008. Web. 21 Aug 2019.

Vancouver:

Canto NCF. Uma abordagem evolutiva para identificação de procedimentos de raciocínio humano. [Internet] [Doctoral dissertation]. University of São Paulo; 2008. [cited 2019 Aug 21]. Available from: http://www.teses.usp.br/teses/disponiveis/3/3142/tde-09022009-184704/ ;.

Council of Science Editors:

Canto NCF. Uma abordagem evolutiva para identificação de procedimentos de raciocínio humano. [Doctoral Dissertation]. University of São Paulo; 2008. Available from: http://www.teses.usp.br/teses/disponiveis/3/3142/tde-09022009-184704/ ;

18. Γιαννίκης, Γεώργιος. Symbolic representations and common - sense reasoning in open multi - agent systems.

Degree: 2009, University of Thessaly (UTH); Πανεπιστήμιο Θεσσαλίας

 This thesis concerns with intelligent autonomous software agents that populate open computational environments, in which they interact for various purposes, e.g. competitively in the case… (more)

Subjects/Keywords: Κοινή λογική; Αναπαραστάσεις γνώσεις; Πολυ - πρακτορικά συστήματα; Ανοιχτά συστήματα; Common - sense reasoning; Knowledge representation; Multi - agent systems; Open systems

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Γιαννίκης, . . (2009). Symbolic representations and common - sense reasoning in open multi - agent systems. (Thesis). University of Thessaly (UTH); Πανεπιστήμιο Θεσσαλίας. Retrieved from http://hdl.handle.net/10442/hedi/17424

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

Γιαννίκης, Γεώργιος. “Symbolic representations and common - sense reasoning in open multi - agent systems.” 2009. Thesis, University of Thessaly (UTH); Πανεπιστήμιο Θεσσαλίας. Accessed August 21, 2019. http://hdl.handle.net/10442/hedi/17424.

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

MLA Handbook (7th Edition):

Γιαννίκης, Γεώργιος. “Symbolic representations and common - sense reasoning in open multi - agent systems.” 2009. Web. 21 Aug 2019.

Vancouver:

Γιαννίκης . Symbolic representations and common - sense reasoning in open multi - agent systems. [Internet] [Thesis]. University of Thessaly (UTH); Πανεπιστήμιο Θεσσαλίας; 2009. [cited 2019 Aug 21]. Available from: http://hdl.handle.net/10442/hedi/17424.

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

Council of Science Editors:

Γιαννίκης . Symbolic representations and common - sense reasoning in open multi - agent systems. [Thesis]. University of Thessaly (UTH); Πανεπιστήμιο Θεσσαλίας; 2009. Available from: http://hdl.handle.net/10442/hedi/17424

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


University of Pretoria

19. Conradie, Dirk Cornelis Uys. The use of software systems to implement Case-Based Reasoning enabled intelligent components for architectural briefing and design.

Degree: Architecture, 2002, University of Pretoria

 This thesis describes the development of a prototype Case-Based Reasoning (CBR) enabled intelligent component system, called Architectural General Object System (ARGOS), to facilitate the storage… (more)

Subjects/Keywords: Software systems; Design systems; Case-based reasoning; Argos; UCTD

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Conradie, D. C. (2002). The use of software systems to implement Case-Based Reasoning enabled intelligent components for architectural briefing and design. (Masters Thesis). University of Pretoria. Retrieved from http://hdl.handle.net/2263/28068

Chicago Manual of Style (16th Edition):

Conradie, Dirk Cornelis. “The use of software systems to implement Case-Based Reasoning enabled intelligent components for architectural briefing and design.” 2002. Masters Thesis, University of Pretoria. Accessed August 21, 2019. http://hdl.handle.net/2263/28068.

MLA Handbook (7th Edition):

Conradie, Dirk Cornelis. “The use of software systems to implement Case-Based Reasoning enabled intelligent components for architectural briefing and design.” 2002. Web. 21 Aug 2019.

Vancouver:

Conradie DC. The use of software systems to implement Case-Based Reasoning enabled intelligent components for architectural briefing and design. [Internet] [Masters thesis]. University of Pretoria; 2002. [cited 2019 Aug 21]. Available from: http://hdl.handle.net/2263/28068.

Council of Science Editors:

Conradie DC. The use of software systems to implement Case-Based Reasoning enabled intelligent components for architectural briefing and design. [Masters Thesis]. University of Pretoria; 2002. Available from: http://hdl.handle.net/2263/28068


University of Pretoria

20. [No author]. The use of software systems to implement Case-Based Reasoning enabled intelligent components for architectural briefing and design .

Degree: 2002, University of Pretoria

 This thesis describes the development of a prototype Case-Based Reasoning (CBR) enabled intelligent component system, called Architectural General Object System (ARGOS), to facilitate the storage… (more)

Subjects/Keywords: Software systems; Design systems; Case-based reasoning; Argos; UCTD

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

author], [. (2002). The use of software systems to implement Case-Based Reasoning enabled intelligent components for architectural briefing and design . (Masters Thesis). University of Pretoria. Retrieved from http://upetd.up.ac.za/thesis/available/etd-09212001-154304/

Chicago Manual of Style (16th Edition):

author], [No. “The use of software systems to implement Case-Based Reasoning enabled intelligent components for architectural briefing and design .” 2002. Masters Thesis, University of Pretoria. Accessed August 21, 2019. http://upetd.up.ac.za/thesis/available/etd-09212001-154304/.

MLA Handbook (7th Edition):

author], [No. “The use of software systems to implement Case-Based Reasoning enabled intelligent components for architectural briefing and design .” 2002. Web. 21 Aug 2019.

Vancouver:

author] [. The use of software systems to implement Case-Based Reasoning enabled intelligent components for architectural briefing and design . [Internet] [Masters thesis]. University of Pretoria; 2002. [cited 2019 Aug 21]. Available from: http://upetd.up.ac.za/thesis/available/etd-09212001-154304/.

Council of Science Editors:

author] [. The use of software systems to implement Case-Based Reasoning enabled intelligent components for architectural briefing and design . [Masters Thesis]. University of Pretoria; 2002. Available from: http://upetd.up.ac.za/thesis/available/etd-09212001-154304/

21. Martin, Andreas. A combined case-based reasoning and process execution approach for knowledge-intensive work.

Degree: 2016, University of South Africa

 Knowledge and knowledge work are key factors of today’s successful companies. This study devises an approach for increasing the performance of knowledge work by shifting… (more)

Subjects/Keywords: Case-based reasoning; Business process; Business process management; Work systems; Enterprise ontology; Enterprise architecture; Ontology-based case-based reasoning; Experience management; Knowledge-intensive processes; Process flexibility; Semantic web

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Martin, A. (2016). A combined case-based reasoning and process execution approach for knowledge-intensive work. (Doctoral Dissertation). University of South Africa. Retrieved from http://hdl.handle.net/10500/22796

Chicago Manual of Style (16th Edition):

Martin, Andreas. “A combined case-based reasoning and process execution approach for knowledge-intensive work.” 2016. Doctoral Dissertation, University of South Africa. Accessed August 21, 2019. http://hdl.handle.net/10500/22796.

MLA Handbook (7th Edition):

Martin, Andreas. “A combined case-based reasoning and process execution approach for knowledge-intensive work.” 2016. Web. 21 Aug 2019.

Vancouver:

Martin A. A combined case-based reasoning and process execution approach for knowledge-intensive work. [Internet] [Doctoral dissertation]. University of South Africa; 2016. [cited 2019 Aug 21]. Available from: http://hdl.handle.net/10500/22796.

Council of Science Editors:

Martin A. A combined case-based reasoning and process execution approach for knowledge-intensive work. [Doctoral Dissertation]. University of South Africa; 2016. Available from: http://hdl.handle.net/10500/22796


Universidade do Rio Grande do Sul

22. Lorenzi, Fabiana. Uma abordagem multiagente de recomendação baseada em suposições e confiança para cenários dinâmicos.

Degree: 2010, Universidade do Rio Grande do Sul

A falta de informação e de confiança entre os agentes em sistemas de recomendação que lidam com domínios dinâmicos podem ser fatores que contribuem para… (more)

Subjects/Keywords: Inteligência artificial; Multiagent systems; Assumptions; Sistemas multiagentes; Informática : Turismo; Trust; Sistemas : Recomendação; Truth maintenance system; Case- based reasoning

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Lorenzi, F. (2010). Uma abordagem multiagente de recomendação baseada em suposições e confiança para cenários dinâmicos. (Thesis). Universidade do Rio Grande do Sul. Retrieved from http://hdl.handle.net/10183/26969

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

Lorenzi, Fabiana. “Uma abordagem multiagente de recomendação baseada em suposições e confiança para cenários dinâmicos.” 2010. Thesis, Universidade do Rio Grande do Sul. Accessed August 21, 2019. http://hdl.handle.net/10183/26969.

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

MLA Handbook (7th Edition):

Lorenzi, Fabiana. “Uma abordagem multiagente de recomendação baseada em suposições e confiança para cenários dinâmicos.” 2010. Web. 21 Aug 2019.

Vancouver:

Lorenzi F. Uma abordagem multiagente de recomendação baseada em suposições e confiança para cenários dinâmicos. [Internet] [Thesis]. Universidade do Rio Grande do Sul; 2010. [cited 2019 Aug 21]. Available from: http://hdl.handle.net/10183/26969.

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

Council of Science Editors:

Lorenzi F. Uma abordagem multiagente de recomendação baseada em suposições e confiança para cenários dinâmicos. [Thesis]. Universidade do Rio Grande do Sul; 2010. Available from: http://hdl.handle.net/10183/26969

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

23. Benavides, Santiago David Davila. Raciocínio de agentes musicais composição algorítmica, vida artificial e interatividade em sistemas multiagentes musicais.

Degree: Mestrado, Ciência da Computação, 2012, University of São Paulo

Os múltiplos trabalhos de sistemas multiagentes musicais realizados nos últimos anos demonstram o interesse crescente na pesquisa de sistemas de composição e de performance musical… (more)

Subjects/Keywords: agent reasoning; algorithmic composition; composição algorítmica; computação musical; computer music; multiagent systems; raciocínio do agente; sistemas multiagentes

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Benavides, S. D. D. (2012). Raciocínio de agentes musicais composição algorítmica, vida artificial e interatividade em sistemas multiagentes musicais. (Masters Thesis). University of São Paulo. Retrieved from http://www.teses.usp.br/teses/disponiveis/45/45134/tde-17082013-154859/ ;

Chicago Manual of Style (16th Edition):

Benavides, Santiago David Davila. “Raciocínio de agentes musicais composição algorítmica, vida artificial e interatividade em sistemas multiagentes musicais.” 2012. Masters Thesis, University of São Paulo. Accessed August 21, 2019. http://www.teses.usp.br/teses/disponiveis/45/45134/tde-17082013-154859/ ;.

MLA Handbook (7th Edition):

Benavides, Santiago David Davila. “Raciocínio de agentes musicais composição algorítmica, vida artificial e interatividade em sistemas multiagentes musicais.” 2012. Web. 21 Aug 2019.

Vancouver:

Benavides SDD. Raciocínio de agentes musicais composição algorítmica, vida artificial e interatividade em sistemas multiagentes musicais. [Internet] [Masters thesis]. University of São Paulo; 2012. [cited 2019 Aug 21]. Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-17082013-154859/ ;.

Council of Science Editors:

Benavides SDD. Raciocínio de agentes musicais composição algorítmica, vida artificial e interatividade em sistemas multiagentes musicais. [Masters Thesis]. University of São Paulo; 2012. Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-17082013-154859/ ;


University of Oulu

24. Su, X. (Xiang). Lightweight data and knowledge exchange for pervasive environments.

Degree: 2016, University of Oulu

Abstract Pervasive environments are physical spaces saturated with devices collecting data, controlling the environment, and interacting with users. These environments support human users in their… (more)

Subjects/Keywords: Entity Notation; Resource Description Framework; knowledge-based systems; ontology; reasoning; resourceconstrained devices; semantics; ontologia; päättely; resurssirajoitteiset laitteet; semantiikka; tietämysjärjestelmät

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Su, X. (. (2016). Lightweight data and knowledge exchange for pervasive environments. (Doctoral Dissertation). University of Oulu. Retrieved from http://urn.fi/urn:isbn:9789526213354

Chicago Manual of Style (16th Edition):

Su, X (Xiang). “Lightweight data and knowledge exchange for pervasive environments.” 2016. Doctoral Dissertation, University of Oulu. Accessed August 21, 2019. http://urn.fi/urn:isbn:9789526213354.

MLA Handbook (7th Edition):

Su, X (Xiang). “Lightweight data and knowledge exchange for pervasive environments.” 2016. Web. 21 Aug 2019.

Vancouver:

Su X(. Lightweight data and knowledge exchange for pervasive environments. [Internet] [Doctoral dissertation]. University of Oulu; 2016. [cited 2019 Aug 21]. Available from: http://urn.fi/urn:isbn:9789526213354.

Council of Science Editors:

Su X(. Lightweight data and knowledge exchange for pervasive environments. [Doctoral Dissertation]. University of Oulu; 2016. Available from: http://urn.fi/urn:isbn:9789526213354


Universiteit Utrecht

25. Engelenburg, S.H. van. A temporal argumentation logic for medical diagnosis.

Degree: 2012, Universiteit Utrecht

 Clinical decision support systems are systems purposed to improve clinical decision making by matching characteristics of patients to a knowledgebase and generating patient-specific recommendations. The… (more)

Subjects/Keywords: medical diagnosis; temporal; argumentation; logic; artificial intelligence; automated reasoning; expert systems; diagnose; temporeel; argumentatie; logica; expert systemen; kunstmatige intelligentie

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Engelenburg, S. H. v. (2012). A temporal argumentation logic for medical diagnosis. (Masters Thesis). Universiteit Utrecht. Retrieved from http://dspace.library.uu.nl:8080/handle/1874/240792

Chicago Manual of Style (16th Edition):

Engelenburg, S H van. “A temporal argumentation logic for medical diagnosis.” 2012. Masters Thesis, Universiteit Utrecht. Accessed August 21, 2019. http://dspace.library.uu.nl:8080/handle/1874/240792.

MLA Handbook (7th Edition):

Engelenburg, S H van. “A temporal argumentation logic for medical diagnosis.” 2012. Web. 21 Aug 2019.

Vancouver:

Engelenburg SHv. A temporal argumentation logic for medical diagnosis. [Internet] [Masters thesis]. Universiteit Utrecht; 2012. [cited 2019 Aug 21]. Available from: http://dspace.library.uu.nl:8080/handle/1874/240792.

Council of Science Editors:

Engelenburg SHv. A temporal argumentation logic for medical diagnosis. [Masters Thesis]. Universiteit Utrecht; 2012. Available from: http://dspace.library.uu.nl:8080/handle/1874/240792


Georgia Tech

26. Hester, Jesse Stuart. A technique for determining viable military logistics support alternatives.

Degree: PhD, Aerospace Engineering, 2009, Georgia Tech

 A look at today's US military will see them operating much beyond the scope of protecting and defending the United States. These operations now consist… (more)

Subjects/Keywords: Fuzzy logic; ANN; Seabasing; Military logistics; Distributed operations; Case based reasoning; Logistics; Decision support systems; Computer simulation

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Hester, J. S. (2009). A technique for determining viable military logistics support alternatives. (Doctoral Dissertation). Georgia Tech. Retrieved from http://hdl.handle.net/1853/28274

Chicago Manual of Style (16th Edition):

Hester, Jesse Stuart. “A technique for determining viable military logistics support alternatives.” 2009. Doctoral Dissertation, Georgia Tech. Accessed August 21, 2019. http://hdl.handle.net/1853/28274.

MLA Handbook (7th Edition):

Hester, Jesse Stuart. “A technique for determining viable military logistics support alternatives.” 2009. Web. 21 Aug 2019.

Vancouver:

Hester JS. A technique for determining viable military logistics support alternatives. [Internet] [Doctoral dissertation]. Georgia Tech; 2009. [cited 2019 Aug 21]. Available from: http://hdl.handle.net/1853/28274.

Council of Science Editors:

Hester JS. A technique for determining viable military logistics support alternatives. [Doctoral Dissertation]. Georgia Tech; 2009. Available from: http://hdl.handle.net/1853/28274


Loughborough University

27. Batmaz, Firat. Semi-Automatic assessment of students' graph-based diagrams.

Degree: PhD, 2011, Loughborough University

 Diagrams are increasingly used in many design methods, and are being taught in a variety of contexts in higher education such as database conceptual design… (more)

Subjects/Keywords: 006.3; Computer Aided Assessment; Traceability; Self-Explanation Systems; Case-Based Reasoning; Online assessment; Graph-Based Diagrams

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Batmaz, F. (2011). Semi-Automatic assessment of students' graph-based diagrams. (Doctoral Dissertation). Loughborough University. Retrieved from https://dspace.lboro.ac.uk/2134/8431 ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.540917

Chicago Manual of Style (16th Edition):

Batmaz, Firat. “Semi-Automatic assessment of students' graph-based diagrams.” 2011. Doctoral Dissertation, Loughborough University. Accessed August 21, 2019. https://dspace.lboro.ac.uk/2134/8431 ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.540917.

MLA Handbook (7th Edition):

Batmaz, Firat. “Semi-Automatic assessment of students' graph-based diagrams.” 2011. Web. 21 Aug 2019.

Vancouver:

Batmaz F. Semi-Automatic assessment of students' graph-based diagrams. [Internet] [Doctoral dissertation]. Loughborough University; 2011. [cited 2019 Aug 21]. Available from: https://dspace.lboro.ac.uk/2134/8431 ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.540917.

Council of Science Editors:

Batmaz F. Semi-Automatic assessment of students' graph-based diagrams. [Doctoral Dissertation]. Loughborough University; 2011. Available from: https://dspace.lboro.ac.uk/2134/8431 ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.540917


Michigan Technological University

28. Tahat, Amer. ON THE APPLICATIONS OF INTERACTIVE THEOREM PROVING IN COMPUTATIONAL SCIENCES AND ENGINEERING.

Degree: PhD, Department of Computer Science, 2016, Michigan Technological University

  Interactive Theorem Proving (ITP) is one of the most rigorous methods used in formal verification of computing systems. While ITP provides a high level… (more)

Subjects/Keywords: Theorem Proving; Self-Stabilization; Parametrized Protocol; Riemann Integral; Automatic Reasoning; Critical-Systems; NASA Formal Methods; Computational Engineering

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Tahat, A. (2016). ON THE APPLICATIONS OF INTERACTIVE THEOREM PROVING IN COMPUTATIONAL SCIENCES AND ENGINEERING. (Doctoral Dissertation). Michigan Technological University. Retrieved from http://digitalcommons.mtu.edu/etdr/210

Chicago Manual of Style (16th Edition):

Tahat, Amer. “ON THE APPLICATIONS OF INTERACTIVE THEOREM PROVING IN COMPUTATIONAL SCIENCES AND ENGINEERING.” 2016. Doctoral Dissertation, Michigan Technological University. Accessed August 21, 2019. http://digitalcommons.mtu.edu/etdr/210.

MLA Handbook (7th Edition):

Tahat, Amer. “ON THE APPLICATIONS OF INTERACTIVE THEOREM PROVING IN COMPUTATIONAL SCIENCES AND ENGINEERING.” 2016. Web. 21 Aug 2019.

Vancouver:

Tahat A. ON THE APPLICATIONS OF INTERACTIVE THEOREM PROVING IN COMPUTATIONAL SCIENCES AND ENGINEERING. [Internet] [Doctoral dissertation]. Michigan Technological University; 2016. [cited 2019 Aug 21]. Available from: http://digitalcommons.mtu.edu/etdr/210.

Council of Science Editors:

Tahat A. ON THE APPLICATIONS OF INTERACTIVE THEOREM PROVING IN COMPUTATIONAL SCIENCES AND ENGINEERING. [Doctoral Dissertation]. Michigan Technological University; 2016. Available from: http://digitalcommons.mtu.edu/etdr/210


Université de Grenoble

29. Lefèvre, Stéphanie. Estimation du risque aux intersections pour applications sécuritaires avec véhicules communicants : Risk estimation at road intersections for connected vehicle safety applications.

Degree: Docteur es, Mathématiques, 2012, Université de Grenoble

Les intersections sont les zones les plus dangereuses du réseau routier. Les statistiques montrent que la plupart des accidents aux intersections sont causés par des… (more)

Subjects/Keywords: Estimation du risque; Systèmes de transport intelligents; Raisonnement probabiliste; Véhicules communicants; Risk assessment; Intelligent transportation systems; Probabilistic reasoning; Connected vehicles

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Lefèvre, S. (2012). Estimation du risque aux intersections pour applications sécuritaires avec véhicules communicants : Risk estimation at road intersections for connected vehicle safety applications. (Doctoral Dissertation). Université de Grenoble. Retrieved from http://www.theses.fr/2012GRENM070

Chicago Manual of Style (16th Edition):

Lefèvre, Stéphanie. “Estimation du risque aux intersections pour applications sécuritaires avec véhicules communicants : Risk estimation at road intersections for connected vehicle safety applications.” 2012. Doctoral Dissertation, Université de Grenoble. Accessed August 21, 2019. http://www.theses.fr/2012GRENM070.

MLA Handbook (7th Edition):

Lefèvre, Stéphanie. “Estimation du risque aux intersections pour applications sécuritaires avec véhicules communicants : Risk estimation at road intersections for connected vehicle safety applications.” 2012. Web. 21 Aug 2019.

Vancouver:

Lefèvre S. Estimation du risque aux intersections pour applications sécuritaires avec véhicules communicants : Risk estimation at road intersections for connected vehicle safety applications. [Internet] [Doctoral dissertation]. Université de Grenoble; 2012. [cited 2019 Aug 21]. Available from: http://www.theses.fr/2012GRENM070.

Council of Science Editors:

Lefèvre S. Estimation du risque aux intersections pour applications sécuritaires avec véhicules communicants : Risk estimation at road intersections for connected vehicle safety applications. [Doctoral Dissertation]. Université de Grenoble; 2012. Available from: http://www.theses.fr/2012GRENM070


Montana State University

30. Weems, Dennis Lorry. The effects of autogenic exercises and the ability of college students to think abstractly as measured by electromyographic biofeedback.

Degree: College of Education, Health & Human Development, 1982, Montana State University

Subjects/Keywords: College students.; Reasoning (Psychology).; Biological control systems.; Relaxation.

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Weems, D. L. (1982). The effects of autogenic exercises and the ability of college students to think abstractly as measured by electromyographic biofeedback. (Thesis). Montana State University. Retrieved from https://scholarworks.montana.edu/xmlui/handle/1/3680

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

Weems, Dennis Lorry. “The effects of autogenic exercises and the ability of college students to think abstractly as measured by electromyographic biofeedback.” 1982. Thesis, Montana State University. Accessed August 21, 2019. https://scholarworks.montana.edu/xmlui/handle/1/3680.

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

MLA Handbook (7th Edition):

Weems, Dennis Lorry. “The effects of autogenic exercises and the ability of college students to think abstractly as measured by electromyographic biofeedback.” 1982. Web. 21 Aug 2019.

Vancouver:

Weems DL. The effects of autogenic exercises and the ability of college students to think abstractly as measured by electromyographic biofeedback. [Internet] [Thesis]. Montana State University; 1982. [cited 2019 Aug 21]. Available from: https://scholarworks.montana.edu/xmlui/handle/1/3680.

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

Council of Science Editors:

Weems DL. The effects of autogenic exercises and the ability of college students to think abstractly as measured by electromyographic biofeedback. [Thesis]. Montana State University; 1982. Available from: https://scholarworks.montana.edu/xmlui/handle/1/3680

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

[1] [2] [3] [4] [5]

.