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:(Description Logic). Showing records 1 – 30 of 56 total matches.

[1] [2]

Search Limiters

Last 2 Years | English Only

Levels

▼ Search Limiters


University of Waterloo

1. Ben-David, Shoham. Applications of Description Logic and Causality in Model Checking.

Degree: 2009, University of Waterloo

 Model checking is an automated technique for the verification of finite-state systems that is widely used in practice. In model checking, a model M is… (more)

Subjects/Keywords: Model Checking; Description Logic; Causality

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Ben-David, S. (2009). Applications of Description Logic and Causality in Model Checking. (Thesis). University of Waterloo. Retrieved from http://hdl.handle.net/10012/4485

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

Ben-David, Shoham. “Applications of Description Logic and Causality in Model Checking.” 2009. Thesis, University of Waterloo. Accessed May 21, 2019. http://hdl.handle.net/10012/4485.

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

MLA Handbook (7th Edition):

Ben-David, Shoham. “Applications of Description Logic and Causality in Model Checking.” 2009. Web. 21 May 2019.

Vancouver:

Ben-David S. Applications of Description Logic and Causality in Model Checking. [Internet] [Thesis]. University of Waterloo; 2009. [cited 2019 May 21]. Available from: http://hdl.handle.net/10012/4485.

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

Council of Science Editors:

Ben-David S. Applications of Description Logic and Causality in Model Checking. [Thesis]. University of Waterloo; 2009. Available from: http://hdl.handle.net/10012/4485

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

2. Jayakumar, Badrinath. Handling Inconsistency in Knowledge Bases.

Degree: PhD, Computer Science, 2017, Georgia State University

  Real-world automated reasoning systems, based on classical logic, face logically inconsistent information, and they must cope with it. It is onerous to develop such… (more)

Subjects/Keywords: Paraconsistent logics; Paraconsistent Relations; Description logic; Semantic Web; Description Logic Programs

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Jayakumar, B. (2017). Handling Inconsistency in Knowledge Bases. (Doctoral Dissertation). Georgia State University. Retrieved from https://scholarworks.gsu.edu/cs_diss/120

Chicago Manual of Style (16th Edition):

Jayakumar, Badrinath. “Handling Inconsistency in Knowledge Bases.” 2017. Doctoral Dissertation, Georgia State University. Accessed May 21, 2019. https://scholarworks.gsu.edu/cs_diss/120.

MLA Handbook (7th Edition):

Jayakumar, Badrinath. “Handling Inconsistency in Knowledge Bases.” 2017. Web. 21 May 2019.

Vancouver:

Jayakumar B. Handling Inconsistency in Knowledge Bases. [Internet] [Doctoral dissertation]. Georgia State University; 2017. [cited 2019 May 21]. Available from: https://scholarworks.gsu.edu/cs_diss/120.

Council of Science Editors:

Jayakumar B. Handling Inconsistency in Knowledge Bases. [Doctoral Dissertation]. Georgia State University; 2017. Available from: https://scholarworks.gsu.edu/cs_diss/120


University of Manchester

3. Klinov, Pavel. Practical Reasoning in Probabilistic Description Logic.

Degree: 2011, University of Manchester

Description Logics (DLs) form a family of languages which correspond to decidable fragments of First-Order Logic (FOL). They have been overwhelmingly successful for constructing ontologies—conceptual… (more)

Subjects/Keywords: Description logic; Probability; Automated reasoning; Ontology; Optimization

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Klinov, P. (2011). Practical Reasoning in Probabilistic Description Logic. (Doctoral Dissertation). University of Manchester. Retrieved from http://www.manchester.ac.uk/escholar/uk-ac-man-scw:125054

Chicago Manual of Style (16th Edition):

Klinov, Pavel. “Practical Reasoning in Probabilistic Description Logic.” 2011. Doctoral Dissertation, University of Manchester. Accessed May 21, 2019. http://www.manchester.ac.uk/escholar/uk-ac-man-scw:125054.

MLA Handbook (7th Edition):

Klinov, Pavel. “Practical Reasoning in Probabilistic Description Logic.” 2011. Web. 21 May 2019.

Vancouver:

Klinov P. Practical Reasoning in Probabilistic Description Logic. [Internet] [Doctoral dissertation]. University of Manchester; 2011. [cited 2019 May 21]. Available from: http://www.manchester.ac.uk/escholar/uk-ac-man-scw:125054.

Council of Science Editors:

Klinov P. Practical Reasoning in Probabilistic Description Logic. [Doctoral Dissertation]. University of Manchester; 2011. Available from: http://www.manchester.ac.uk/escholar/uk-ac-man-scw:125054


University of Miami

4. Xu, Jia. Improving ABox Reasoning for Efficient and Scalable Object Queries over Large Ontologies.

Degree: PhD, Electrical and Computer Engineering (Engineering), 2015, University of Miami

Description logics (DLs), as a decidable fragment of first-order logic, are a family of logic based formalisms for knowledge representation and the mathematical underpinning of… (more)

Subjects/Keywords: Ontology; Description Logic; Query; ABox; Modularity

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Xu, J. (2015). Improving ABox Reasoning for Efficient and Scalable Object Queries over Large Ontologies. (Doctoral Dissertation). University of Miami. Retrieved from https://scholarlyrepository.miami.edu/oa_dissertations/1363

Chicago Manual of Style (16th Edition):

Xu, Jia. “Improving ABox Reasoning for Efficient and Scalable Object Queries over Large Ontologies.” 2015. Doctoral Dissertation, University of Miami. Accessed May 21, 2019. https://scholarlyrepository.miami.edu/oa_dissertations/1363.

MLA Handbook (7th Edition):

Xu, Jia. “Improving ABox Reasoning for Efficient and Scalable Object Queries over Large Ontologies.” 2015. Web. 21 May 2019.

Vancouver:

Xu J. Improving ABox Reasoning for Efficient and Scalable Object Queries over Large Ontologies. [Internet] [Doctoral dissertation]. University of Miami; 2015. [cited 2019 May 21]. Available from: https://scholarlyrepository.miami.edu/oa_dissertations/1363.

Council of Science Editors:

Xu J. Improving ABox Reasoning for Efficient and Scalable Object Queries over Large Ontologies. [Doctoral Dissertation]. University of Miami; 2015. Available from: https://scholarlyrepository.miami.edu/oa_dissertations/1363


Universiteit Utrecht

5. Grossi, D. Designing invisible handcuffs : Formal investigations in institutions and organizations for multi-agent systems.

Degree: 2007, Universiteit Utrecht

 The work presented in this thesis suggestively moves from the consideration that what makes social notions difficult to grasp lies probably in their intrinsic "invisibility".… (more)

Subjects/Keywords: Informatica; institutions; organizations; norms; contexts; constitutive rules; modal logic; deontic logic; description logic

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Grossi, D. (2007). Designing invisible handcuffs : Formal investigations in institutions and organizations for multi-agent systems. (Doctoral Dissertation). Universiteit Utrecht. Retrieved from http://dspace.library.uu.nl:8080/handle/1874/22838

Chicago Manual of Style (16th Edition):

Grossi, D. “Designing invisible handcuffs : Formal investigations in institutions and organizations for multi-agent systems.” 2007. Doctoral Dissertation, Universiteit Utrecht. Accessed May 21, 2019. http://dspace.library.uu.nl:8080/handle/1874/22838.

MLA Handbook (7th Edition):

Grossi, D. “Designing invisible handcuffs : Formal investigations in institutions and organizations for multi-agent systems.” 2007. Web. 21 May 2019.

Vancouver:

Grossi D. Designing invisible handcuffs : Formal investigations in institutions and organizations for multi-agent systems. [Internet] [Doctoral dissertation]. Universiteit Utrecht; 2007. [cited 2019 May 21]. Available from: http://dspace.library.uu.nl:8080/handle/1874/22838.

Council of Science Editors:

Grossi D. Designing invisible handcuffs : Formal investigations in institutions and organizations for multi-agent systems. [Doctoral Dissertation]. Universiteit Utrecht; 2007. Available from: http://dspace.library.uu.nl:8080/handle/1874/22838


Universiteit Utrecht

6. Beek, L.L.A.M. van. Object Classification through Probabilistic Common Sense Knowledge Reasoning.

Degree: 2013, Universiteit Utrecht

 This thesis presents a manner for object classification by the use of semantic knowledge and probabilistic reasoning with such knowledge. An ontology of object classes… (more)

Subjects/Keywords: object classification; ontology; markov logic; probabilistic reasoning; hierarchical object classification; semantic knowledge; description logic

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Beek, L. L. A. M. v. (2013). Object Classification through Probabilistic Common Sense Knowledge Reasoning. (Masters Thesis). Universiteit Utrecht. Retrieved from http://dspace.library.uu.nl:8080/handle/1874/268192

Chicago Manual of Style (16th Edition):

Beek, L L A M van. “Object Classification through Probabilistic Common Sense Knowledge Reasoning.” 2013. Masters Thesis, Universiteit Utrecht. Accessed May 21, 2019. http://dspace.library.uu.nl:8080/handle/1874/268192.

MLA Handbook (7th Edition):

Beek, L L A M van. “Object Classification through Probabilistic Common Sense Knowledge Reasoning.” 2013. Web. 21 May 2019.

Vancouver:

Beek LLAMv. Object Classification through Probabilistic Common Sense Knowledge Reasoning. [Internet] [Masters thesis]. Universiteit Utrecht; 2013. [cited 2019 May 21]. Available from: http://dspace.library.uu.nl:8080/handle/1874/268192.

Council of Science Editors:

Beek LLAMv. Object Classification through Probabilistic Common Sense Knowledge Reasoning. [Masters Thesis]. Universiteit Utrecht; 2013. Available from: http://dspace.library.uu.nl:8080/handle/1874/268192

7. Yousef Sanati, Morteza. A Metric Interval-based Temporal Description Logic.

Degree: PhD, 2015, McMaster University

Because of the importance of undecidability and the concern with the high complexity of automated reasoning, a few interval-based temporal description logics (ITDLs) have been… (more)

Subjects/Keywords: Metric interval-based temporal logic; Temporal Description Logic; Tableau-based satisfiability checking; Guideline Modeling

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Yousef Sanati, M. (2015). A Metric Interval-based Temporal Description Logic. (Doctoral Dissertation). McMaster University. Retrieved from http://hdl.handle.net/11375/16783

Chicago Manual of Style (16th Edition):

Yousef Sanati, Morteza. “A Metric Interval-based Temporal Description Logic.” 2015. Doctoral Dissertation, McMaster University. Accessed May 21, 2019. http://hdl.handle.net/11375/16783.

MLA Handbook (7th Edition):

Yousef Sanati, Morteza. “A Metric Interval-based Temporal Description Logic.” 2015. Web. 21 May 2019.

Vancouver:

Yousef Sanati M. A Metric Interval-based Temporal Description Logic. [Internet] [Doctoral dissertation]. McMaster University; 2015. [cited 2019 May 21]. Available from: http://hdl.handle.net/11375/16783.

Council of Science Editors:

Yousef Sanati M. A Metric Interval-based Temporal Description Logic. [Doctoral Dissertation]. McMaster University; 2015. Available from: http://hdl.handle.net/11375/16783


University of Miami

8. Arhami, Negin. Automated Theorem Proving by Translation to Description Logic.

Degree: PhD, Computer Science (Arts and Sciences), 2015, University of Miami

 Many Automated Theorem Proving (ATP) systems for different logical forms, and translators for translating different logical forms from one to another, have been developed and… (more)

Subjects/Keywords: Automated Theorem Proving; TPTP; Description Logic; Logic Translation; Conjunctive Normal Form (CNF)

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Arhami, N. (2015). Automated Theorem Proving by Translation to Description Logic. (Doctoral Dissertation). University of Miami. Retrieved from https://scholarlyrepository.miami.edu/oa_dissertations/1564

Chicago Manual of Style (16th Edition):

Arhami, Negin. “Automated Theorem Proving by Translation to Description Logic.” 2015. Doctoral Dissertation, University of Miami. Accessed May 21, 2019. https://scholarlyrepository.miami.edu/oa_dissertations/1564.

MLA Handbook (7th Edition):

Arhami, Negin. “Automated Theorem Proving by Translation to Description Logic.” 2015. Web. 21 May 2019.

Vancouver:

Arhami N. Automated Theorem Proving by Translation to Description Logic. [Internet] [Doctoral dissertation]. University of Miami; 2015. [cited 2019 May 21]. Available from: https://scholarlyrepository.miami.edu/oa_dissertations/1564.

Council of Science Editors:

Arhami N. Automated Theorem Proving by Translation to Description Logic. [Doctoral Dissertation]. University of Miami; 2015. Available from: https://scholarlyrepository.miami.edu/oa_dissertations/1564


University of Manchester

9. Klinov, Pavel. Practical reasoning in probabilistic description logic.

Degree: PhD, 2011, University of Manchester

Description Logics (DLs) form a family of languages which correspond to decidable fragments of First-Order Logic (FOL). They have been overwhelmingly successful for constructing ontologies… (more)

Subjects/Keywords: 511.3; Description logic; Probability; Automated reasoning; Ontology; Optimization

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Klinov, P. (2011). Practical reasoning in probabilistic description logic. (Doctoral Dissertation). University of Manchester. Retrieved from https://www.research.manchester.ac.uk/portal/en/theses/practical-reasoning-in-probabilistic-description-logic(6aff2ad0-dc76-44cf-909b-2134f580f29b).html ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.539981

Chicago Manual of Style (16th Edition):

Klinov, Pavel. “Practical reasoning in probabilistic description logic.” 2011. Doctoral Dissertation, University of Manchester. Accessed May 21, 2019. https://www.research.manchester.ac.uk/portal/en/theses/practical-reasoning-in-probabilistic-description-logic(6aff2ad0-dc76-44cf-909b-2134f580f29b).html ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.539981.

MLA Handbook (7th Edition):

Klinov, Pavel. “Practical reasoning in probabilistic description logic.” 2011. Web. 21 May 2019.

Vancouver:

Klinov P. Practical reasoning in probabilistic description logic. [Internet] [Doctoral dissertation]. University of Manchester; 2011. [cited 2019 May 21]. Available from: https://www.research.manchester.ac.uk/portal/en/theses/practical-reasoning-in-probabilistic-description-logic(6aff2ad0-dc76-44cf-909b-2134f580f29b).html ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.539981.

Council of Science Editors:

Klinov P. Practical reasoning in probabilistic description logic. [Doctoral Dissertation]. University of Manchester; 2011. Available from: https://www.research.manchester.ac.uk/portal/en/theses/practical-reasoning-in-probabilistic-description-logic(6aff2ad0-dc76-44cf-909b-2134f580f29b).html ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.539981

10. Carriço, Bruno Miguel Alves. e-Recruitment: descrição e inferência sobre oferta e procura.

Degree: 2014, Repositório Científico do Instituto Politécnico de Lisboa

Trabalho de Projeto para obtenção do grau de Mestre em Engenharia Informática e de Computadores

A procura pelo currículo que melhor responda às necessidades dos… (more)

Subjects/Keywords: HR-XML recruiting specification; OWL/DL description logic; Recruitment semantic matching

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Carriço, B. M. A. (2014). e-Recruitment: descrição e inferência sobre oferta e procura. (Thesis). Repositório Científico do Instituto Politécnico de Lisboa. Retrieved from http://www.rcaap.pt/detail.jsp?id=oai:repositorio.ipl.pt:10400.21/3746

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

Carriço, Bruno Miguel Alves. “e-Recruitment: descrição e inferência sobre oferta e procura.” 2014. Thesis, Repositório Científico do Instituto Politécnico de Lisboa. Accessed May 21, 2019. http://www.rcaap.pt/detail.jsp?id=oai:repositorio.ipl.pt:10400.21/3746.

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

MLA Handbook (7th Edition):

Carriço, Bruno Miguel Alves. “e-Recruitment: descrição e inferência sobre oferta e procura.” 2014. Web. 21 May 2019.

Vancouver:

Carriço BMA. e-Recruitment: descrição e inferência sobre oferta e procura. [Internet] [Thesis]. Repositório Científico do Instituto Politécnico de Lisboa; 2014. [cited 2019 May 21]. Available from: http://www.rcaap.pt/detail.jsp?id=oai:repositorio.ipl.pt:10400.21/3746.

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

Council of Science Editors:

Carriço BMA. e-Recruitment: descrição e inferência sobre oferta e procura. [Thesis]. Repositório Científico do Instituto Politécnico de Lisboa; 2014. Available from: http://www.rcaap.pt/detail.jsp?id=oai:repositorio.ipl.pt:10400.21/3746

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


Universidade Nova

11. Knorr, Matthias. Combining open and closed world reasoning for the semantic web.

Degree: 2011, Universidade Nova

Dissertação para obtenção do Grau de Doutor em Informática

One important problem in the ongoing standardization of knowledge representation languages for the Semantic Web is… (more)

Subjects/Keywords: Semantic web; Non-monotonic reasoning; Description logics; Logic programming

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Knorr, M. (2011). Combining open and closed world reasoning for the semantic web. (Thesis). Universidade Nova. Retrieved from http://www.rcaap.pt/detail.jsp?id=oai:run.unl.pt:10362/6702

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

Knorr, Matthias. “Combining open and closed world reasoning for the semantic web.” 2011. Thesis, Universidade Nova. Accessed May 21, 2019. http://www.rcaap.pt/detail.jsp?id=oai:run.unl.pt:10362/6702.

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

MLA Handbook (7th Edition):

Knorr, Matthias. “Combining open and closed world reasoning for the semantic web.” 2011. Web. 21 May 2019.

Vancouver:

Knorr M. Combining open and closed world reasoning for the semantic web. [Internet] [Thesis]. Universidade Nova; 2011. [cited 2019 May 21]. Available from: http://www.rcaap.pt/detail.jsp?id=oai:run.unl.pt:10362/6702.

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

Council of Science Editors:

Knorr M. Combining open and closed world reasoning for the semantic web. [Thesis]. Universidade Nova; 2011. Available from: http://www.rcaap.pt/detail.jsp?id=oai:run.unl.pt:10362/6702

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


University of New South Wales

12. Lee, Kevin. Inconsistency management for description logics.

Degree: Computer Science & Engineering, 2012, University of New South Wales

Description logics belong to a family of knowledge representation formalisms that are widely used for representing ontologies. However, ontologies are subject to changes and are… (more)

Subjects/Keywords: Knowledge representation and reasoning; Description logic; Belief change

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Lee, K. (2012). Inconsistency management for description logics. (Doctoral Dissertation). University of New South Wales. Retrieved from http://handle.unsw.edu.au/1959.4/52359 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:11032/SOURCE01?view=true

Chicago Manual of Style (16th Edition):

Lee, Kevin. “Inconsistency management for description logics.” 2012. Doctoral Dissertation, University of New South Wales. Accessed May 21, 2019. http://handle.unsw.edu.au/1959.4/52359 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:11032/SOURCE01?view=true.

MLA Handbook (7th Edition):

Lee, Kevin. “Inconsistency management for description logics.” 2012. Web. 21 May 2019.

Vancouver:

Lee K. Inconsistency management for description logics. [Internet] [Doctoral dissertation]. University of New South Wales; 2012. [cited 2019 May 21]. Available from: http://handle.unsw.edu.au/1959.4/52359 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:11032/SOURCE01?view=true.

Council of Science Editors:

Lee K. Inconsistency management for description logics. [Doctoral Dissertation]. University of New South Wales; 2012. Available from: http://handle.unsw.edu.au/1959.4/52359 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:11032/SOURCE01?view=true


Rochester Institute of Technology

13. Sharma, Vyoma. Pipelined Implementation of a Fixed-Point Square Root Core Using Non-Restoring and Restoring Algorithm.

Degree: MS, Electrical Engineering, 2017, Rochester Institute of Technology

  Arithmetic Square Root is one of the most complex but nevertheless widely used operations in modern computing. A primary reason for the complexity is… (more)

Subjects/Keywords: Logic design; Circuits; Design methodology; Hardware description languages; Computer architecture; Calculators

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Sharma, V. (2017). Pipelined Implementation of a Fixed-Point Square Root Core Using Non-Restoring and Restoring Algorithm. (Masters Thesis). Rochester Institute of Technology. Retrieved from https://scholarworks.rit.edu/theses/9703

Chicago Manual of Style (16th Edition):

Sharma, Vyoma. “Pipelined Implementation of a Fixed-Point Square Root Core Using Non-Restoring and Restoring Algorithm.” 2017. Masters Thesis, Rochester Institute of Technology. Accessed May 21, 2019. https://scholarworks.rit.edu/theses/9703.

MLA Handbook (7th Edition):

Sharma, Vyoma. “Pipelined Implementation of a Fixed-Point Square Root Core Using Non-Restoring and Restoring Algorithm.” 2017. Web. 21 May 2019.

Vancouver:

Sharma V. Pipelined Implementation of a Fixed-Point Square Root Core Using Non-Restoring and Restoring Algorithm. [Internet] [Masters thesis]. Rochester Institute of Technology; 2017. [cited 2019 May 21]. Available from: https://scholarworks.rit.edu/theses/9703.

Council of Science Editors:

Sharma V. Pipelined Implementation of a Fixed-Point Square Root Core Using Non-Restoring and Restoring Algorithm. [Masters Thesis]. Rochester Institute of Technology; 2017. Available from: https://scholarworks.rit.edu/theses/9703


Rochester Institute of Technology

14. Salunkhe, Balaji. Automatic Protein Shake Freestyle Vending Machine.

Degree: MS, Electrical Engineering, 2017, Rochester Institute of Technology

  This paper discusses the design and implementation of an automatic protein shake freestyle vending machine. This machine is capable of providing protein shakes as… (more)

Subjects/Keywords: Logic design; Circuits; Design methodology; Hardware description languages; Liquids; Containers

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Salunkhe, B. (2017). Automatic Protein Shake Freestyle Vending Machine. (Masters Thesis). Rochester Institute of Technology. Retrieved from https://scholarworks.rit.edu/theses/9708

Chicago Manual of Style (16th Edition):

Salunkhe, Balaji. “Automatic Protein Shake Freestyle Vending Machine.” 2017. Masters Thesis, Rochester Institute of Technology. Accessed May 21, 2019. https://scholarworks.rit.edu/theses/9708.

MLA Handbook (7th Edition):

Salunkhe, Balaji. “Automatic Protein Shake Freestyle Vending Machine.” 2017. Web. 21 May 2019.

Vancouver:

Salunkhe B. Automatic Protein Shake Freestyle Vending Machine. [Internet] [Masters thesis]. Rochester Institute of Technology; 2017. [cited 2019 May 21]. Available from: https://scholarworks.rit.edu/theses/9708.

Council of Science Editors:

Salunkhe B. Automatic Protein Shake Freestyle Vending Machine. [Masters Thesis]. Rochester Institute of Technology; 2017. Available from: https://scholarworks.rit.edu/theses/9708


Florida Atlantic University

15. Cividanes, Ernesto. Smart low power obstacle avoidance device.

Degree: M.S.C.S., 2010, Florida Atlantic University

Summary: Several technologies are being made available for the blind and the visually impaired with the use of infrared and sonar sensors, Radio Frequency Identification,… (more)

Subjects/Keywords: Verilog (Computer hardware description language); VHDL (Computer hardware description language); Rapid prototyping; Logic design; Intelligent control systems; Brain-computer interfaces

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Cividanes, E. (2010). Smart low power obstacle avoidance device. (Masters Thesis). Florida Atlantic University. Retrieved from http://purl.flvc.org/FAU/2954841

Chicago Manual of Style (16th Edition):

Cividanes, Ernesto. “Smart low power obstacle avoidance device.” 2010. Masters Thesis, Florida Atlantic University. Accessed May 21, 2019. http://purl.flvc.org/FAU/2954841.

MLA Handbook (7th Edition):

Cividanes, Ernesto. “Smart low power obstacle avoidance device.” 2010. Web. 21 May 2019.

Vancouver:

Cividanes E. Smart low power obstacle avoidance device. [Internet] [Masters thesis]. Florida Atlantic University; 2010. [cited 2019 May 21]. Available from: http://purl.flvc.org/FAU/2954841.

Council of Science Editors:

Cividanes E. Smart low power obstacle avoidance device. [Masters Thesis]. Florida Atlantic University; 2010. Available from: http://purl.flvc.org/FAU/2954841

16. Μαΐλης, Θεόφιλος. Επεκτάσεις ασαφών περιγραφικών λογικών με κανόνες και απτά πεδία.

Degree: 2012, National Technical University of Athens (NTUA); Εθνικό Μετσόβιο Πολυτεχνείο (ΕΜΠ)

 One of the most important topics in Computer Science is Knowledge Representation and Reasoning. Description Logics is a family of formal knowledge representation languages used… (more)

Subjects/Keywords: Περιγραφικές λογικές; Ασαφείς περιγραφικές λογικές; Ασαφής λογική; Απτά πεδία; Τύποι δεδομένων; Συλλογιστική; Βατές περιγραφικές λογικές; Description logics; Fuzzy description logics; Fuzzy logic; Concrete domains; Datatypes; Reasoning; Tracatable description logics

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Μαΐλης, . . (2012). Επεκτάσεις ασαφών περιγραφικών λογικών με κανόνες και απτά πεδία. (Thesis). National Technical University of Athens (NTUA); Εθνικό Μετσόβιο Πολυτεχνείο (ΕΜΠ). Retrieved from http://hdl.handle.net/10442/hedi/28667

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

Μαΐλης, Θεόφιλος. “Επεκτάσεις ασαφών περιγραφικών λογικών με κανόνες και απτά πεδία.” 2012. Thesis, National Technical University of Athens (NTUA); Εθνικό Μετσόβιο Πολυτεχνείο (ΕΜΠ). Accessed May 21, 2019. http://hdl.handle.net/10442/hedi/28667.

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

MLA Handbook (7th Edition):

Μαΐλης, Θεόφιλος. “Επεκτάσεις ασαφών περιγραφικών λογικών με κανόνες και απτά πεδία.” 2012. Web. 21 May 2019.

Vancouver:

Μαΐλης . Επεκτάσεις ασαφών περιγραφικών λογικών με κανόνες και απτά πεδία. [Internet] [Thesis]. National Technical University of Athens (NTUA); Εθνικό Μετσόβιο Πολυτεχνείο (ΕΜΠ); 2012. [cited 2019 May 21]. Available from: http://hdl.handle.net/10442/hedi/28667.

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

Council of Science Editors:

Μαΐλης . Επεκτάσεις ασαφών περιγραφικών λογικών με κανόνες και απτά πεδία. [Thesis]. National Technical University of Athens (NTUA); Εθνικό Μετσόβιο Πολυτεχνείο (ΕΜΠ); 2012. Available from: http://hdl.handle.net/10442/hedi/28667

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

17. Leo, Jared Levi Jordan. Capturing Temporal Aspects of Bio-Health Ontologies.

Degree: 2016, University of Manchester

 Extending Descriptions Logics (DLs) with a temporal dimension to aid in the ability to model meaningful temporal information is an active and popular research area… (more)

Subjects/Keywords: temporal logic; description logic; bio-health; ontology

…be seen as a two dimensional Temporal Description Logic (TDL). Alternatively… …fragments of First Order Logic, they are static in nature and are limited in what they can express… …Information in Ontologies Description Logics (DLs) [BCM+ 03, BS01, KSH12] are a… …logic, allowing us to represent and query knowledge in the past or present or future. OWL 2… …static logic, being a fragment of First Order Logic. The temporal information that is present… 

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Leo, J. L. J. (2016). Capturing Temporal Aspects of Bio-Health Ontologies. (Doctoral Dissertation). University of Manchester. Retrieved from http://www.manchester.ac.uk/escholar/uk-ac-man-scw:305949

Chicago Manual of Style (16th Edition):

Leo, Jared Levi Jordan. “Capturing Temporal Aspects of Bio-Health Ontologies.” 2016. Doctoral Dissertation, University of Manchester. Accessed May 21, 2019. http://www.manchester.ac.uk/escholar/uk-ac-man-scw:305949.

MLA Handbook (7th Edition):

Leo, Jared Levi Jordan. “Capturing Temporal Aspects of Bio-Health Ontologies.” 2016. Web. 21 May 2019.

Vancouver:

Leo JLJ. Capturing Temporal Aspects of Bio-Health Ontologies. [Internet] [Doctoral dissertation]. University of Manchester; 2016. [cited 2019 May 21]. Available from: http://www.manchester.ac.uk/escholar/uk-ac-man-scw:305949.

Council of Science Editors:

Leo JLJ. Capturing Temporal Aspects of Bio-Health Ontologies. [Doctoral Dissertation]. University of Manchester; 2016. Available from: http://www.manchester.ac.uk/escholar/uk-ac-man-scw:305949


University of Miami

18. Arhami, Negin. The Efficiency of Automated Theorem Proving by Translation to Less Expressive Logics.

Degree: MS, Computer Science (Arts and Sciences), 2014, University of Miami

  Many Automated Theorem Prover (ATP) systems for different logical forms, and translators for translating different logical forms from one to another, have been developed… (more)

Subjects/Keywords: Automated Theorem Proving; Description Logic; Logic Translation; Conjunctive Normal Form (CNF); Logical Form; Automated Reasoning; Saffron DL Translator

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Arhami, N. (2014). The Efficiency of Automated Theorem Proving by Translation to Less Expressive Logics. (Thesis). University of Miami. Retrieved from https://scholarlyrepository.miami.edu/oa_theses/519

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

Arhami, Negin. “The Efficiency of Automated Theorem Proving by Translation to Less Expressive Logics.” 2014. Thesis, University of Miami. Accessed May 21, 2019. https://scholarlyrepository.miami.edu/oa_theses/519.

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

MLA Handbook (7th Edition):

Arhami, Negin. “The Efficiency of Automated Theorem Proving by Translation to Less Expressive Logics.” 2014. Web. 21 May 2019.

Vancouver:

Arhami N. The Efficiency of Automated Theorem Proving by Translation to Less Expressive Logics. [Internet] [Thesis]. University of Miami; 2014. [cited 2019 May 21]. Available from: https://scholarlyrepository.miami.edu/oa_theses/519.

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

Council of Science Editors:

Arhami N. The Efficiency of Automated Theorem Proving by Translation to Less Expressive Logics. [Thesis]. University of Miami; 2014. Available from: https://scholarlyrepository.miami.edu/oa_theses/519

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


Loughborough University

19. Kumar, Sri K. Tools for enterprises collaboration in virtual enterprises.

Degree: PhD, 2013, Loughborough University

 Virtual Enterprise (VE) is an organizational collaboration concept which provides a competitive edge in the globalized business environment. The life cycle of a VE consists… (more)

Subjects/Keywords: 658.4; Virtual Enterprise (VE); Ontology; Description Logic (DL); Cooperative game theory; Nonlinear programming

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Kumar, S. K. (2013). Tools for enterprises collaboration in virtual enterprises. (Doctoral Dissertation). Loughborough University. Retrieved from https://dspace.lboro.ac.uk/2134/12512 ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.587964

Chicago Manual of Style (16th Edition):

Kumar, Sri K. “Tools for enterprises collaboration in virtual enterprises.” 2013. Doctoral Dissertation, Loughborough University. Accessed May 21, 2019. https://dspace.lboro.ac.uk/2134/12512 ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.587964.

MLA Handbook (7th Edition):

Kumar, Sri K. “Tools for enterprises collaboration in virtual enterprises.” 2013. Web. 21 May 2019.

Vancouver:

Kumar SK. Tools for enterprises collaboration in virtual enterprises. [Internet] [Doctoral dissertation]. Loughborough University; 2013. [cited 2019 May 21]. Available from: https://dspace.lboro.ac.uk/2134/12512 ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.587964.

Council of Science Editors:

Kumar SK. Tools for enterprises collaboration in virtual enterprises. [Doctoral Dissertation]. Loughborough University; 2013. Available from: https://dspace.lboro.ac.uk/2134/12512 ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.587964


Wright State University

20. Huster, Todd. OWL query answering using machine learning.

Degree: MS, Computer Science, 2015, Wright State University

 The formal semantics of the Web Ontology Language (OWL) enables automated reasoning overOWL knowledge bases, which in turn can be used for a variety of… (more)

Subjects/Keywords: Artificial Intelligence; Computer Science; approximate reasoning; OWL query answering; Semantic Web; SPARQL; ontology; description logic

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Huster, T. (2015). OWL query answering using machine learning. (Masters Thesis). Wright State University. Retrieved from http://rave.ohiolink.edu/etdc/view?acc_num=wright1446117806

Chicago Manual of Style (16th Edition):

Huster, Todd. “OWL query answering using machine learning.” 2015. Masters Thesis, Wright State University. Accessed May 21, 2019. http://rave.ohiolink.edu/etdc/view?acc_num=wright1446117806.

MLA Handbook (7th Edition):

Huster, Todd. “OWL query answering using machine learning.” 2015. Web. 21 May 2019.

Vancouver:

Huster T. OWL query answering using machine learning. [Internet] [Masters thesis]. Wright State University; 2015. [cited 2019 May 21]. Available from: http://rave.ohiolink.edu/etdc/view?acc_num=wright1446117806.

Council of Science Editors:

Huster T. OWL query answering using machine learning. [Masters Thesis]. Wright State University; 2015. Available from: http://rave.ohiolink.edu/etdc/view?acc_num=wright1446117806


Clemson University

21. Michaelraj, Ashwin. Taxonomy of physical prototypes: structure and validation.

Degree: MS, Mechanical Engineering, 2009, Clemson University

 This thesis introduces a taxonomy of physical prototypes, and validates the proposed taxonomy by five different approaches. The proposed taxonomy is validated by, (i) checking… (more)

Subjects/Keywords: Description Logic; Prototype; Taxonomy; Engineering Mechanics

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Michaelraj, A. (2009). Taxonomy of physical prototypes: structure and validation. (Masters Thesis). Clemson University. Retrieved from https://tigerprints.clemson.edu/all_theses/553

Chicago Manual of Style (16th Edition):

Michaelraj, Ashwin. “Taxonomy of physical prototypes: structure and validation.” 2009. Masters Thesis, Clemson University. Accessed May 21, 2019. https://tigerprints.clemson.edu/all_theses/553.

MLA Handbook (7th Edition):

Michaelraj, Ashwin. “Taxonomy of physical prototypes: structure and validation.” 2009. Web. 21 May 2019.

Vancouver:

Michaelraj A. Taxonomy of physical prototypes: structure and validation. [Internet] [Masters thesis]. Clemson University; 2009. [cited 2019 May 21]. Available from: https://tigerprints.clemson.edu/all_theses/553.

Council of Science Editors:

Michaelraj A. Taxonomy of physical prototypes: structure and validation. [Masters Thesis]. Clemson University; 2009. Available from: https://tigerprints.clemson.edu/all_theses/553

22. Rockwell, Justin A. A Semantic Framework for Reusing Decision Making Knowledge in Engineering Design.

Degree: MSin Mechanical Engineering (M.S.M.E.), Mechanical Engineering, 2009, U of Massachusetts : Masters

 A semantic framework to improve automated reasoning, retrieval, reuse and communication of engineering design knowledge is presented in this research. We consider design to be… (more)

Subjects/Keywords: decision support; description logic; distributed; ontology; semantic; Computer-Aided Engineering and Design

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Rockwell, J. A. (2009). A Semantic Framework for Reusing Decision Making Knowledge in Engineering Design. (Masters Thesis). U of Massachusetts : Masters. Retrieved from http://scholarworks.umass.edu/theses/329

Chicago Manual of Style (16th Edition):

Rockwell, Justin A. “A Semantic Framework for Reusing Decision Making Knowledge in Engineering Design.” 2009. Masters Thesis, U of Massachusetts : Masters. Accessed May 21, 2019. http://scholarworks.umass.edu/theses/329.

MLA Handbook (7th Edition):

Rockwell, Justin A. “A Semantic Framework for Reusing Decision Making Knowledge in Engineering Design.” 2009. Web. 21 May 2019.

Vancouver:

Rockwell JA. A Semantic Framework for Reusing Decision Making Knowledge in Engineering Design. [Internet] [Masters thesis]. U of Massachusetts : Masters; 2009. [cited 2019 May 21]. Available from: http://scholarworks.umass.edu/theses/329.

Council of Science Editors:

Rockwell JA. A Semantic Framework for Reusing Decision Making Knowledge in Engineering Design. [Masters Thesis]. U of Massachusetts : Masters; 2009. Available from: http://scholarworks.umass.edu/theses/329


Rochester Institute of Technology

23. Parthipan, Vaishnavi. Image Down-Scaler Using the Box Filter Algorithm.

Degree: MS, Electrical Engineering, 2017, Rochester Institute of Technology

  One of the indispensable aspects of digital image processing is the requirement of varied image resolutions. To achieve varied resolution, scaling comes into picture.… (more)

Subjects/Keywords: Logic design; Circuits; Design methodology; Hardware description languages; Memory management; Mathematical model

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Parthipan, V. (2017). Image Down-Scaler Using the Box Filter Algorithm. (Masters Thesis). Rochester Institute of Technology. Retrieved from https://scholarworks.rit.edu/theses/9704

Chicago Manual of Style (16th Edition):

Parthipan, Vaishnavi. “Image Down-Scaler Using the Box Filter Algorithm.” 2017. Masters Thesis, Rochester Institute of Technology. Accessed May 21, 2019. https://scholarworks.rit.edu/theses/9704.

MLA Handbook (7th Edition):

Parthipan, Vaishnavi. “Image Down-Scaler Using the Box Filter Algorithm.” 2017. Web. 21 May 2019.

Vancouver:

Parthipan V. Image Down-Scaler Using the Box Filter Algorithm. [Internet] [Masters thesis]. Rochester Institute of Technology; 2017. [cited 2019 May 21]. Available from: https://scholarworks.rit.edu/theses/9704.

Council of Science Editors:

Parthipan V. Image Down-Scaler Using the Box Filter Algorithm. [Masters Thesis]. Rochester Institute of Technology; 2017. Available from: https://scholarworks.rit.edu/theses/9704


Rochester Institute of Technology

24. Simha, Shashank. The Design of a Custom 32-Bit SIMD Enhanced Digital Signal Processor.

Degree: MS, Electrical Engineering, 2017, Rochester Institute of Technology

  For a number of years, the hardware industry has seen a drastic rise in embedded applications. Thanks to the Internet of Things (IoT) revolution,… (more)

Subjects/Keywords: Logic design; Circuits; Design methodology; Hardware description languages; Digital signal processing; Digital signal processing

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Simha, S. (2017). The Design of a Custom 32-Bit SIMD Enhanced Digital Signal Processor. (Masters Thesis). Rochester Institute of Technology. Retrieved from https://scholarworks.rit.edu/theses/9705

Chicago Manual of Style (16th Edition):

Simha, Shashank. “The Design of a Custom 32-Bit SIMD Enhanced Digital Signal Processor.” 2017. Masters Thesis, Rochester Institute of Technology. Accessed May 21, 2019. https://scholarworks.rit.edu/theses/9705.

MLA Handbook (7th Edition):

Simha, Shashank. “The Design of a Custom 32-Bit SIMD Enhanced Digital Signal Processor.” 2017. Web. 21 May 2019.

Vancouver:

Simha S. The Design of a Custom 32-Bit SIMD Enhanced Digital Signal Processor. [Internet] [Masters thesis]. Rochester Institute of Technology; 2017. [cited 2019 May 21]. Available from: https://scholarworks.rit.edu/theses/9705.

Council of Science Editors:

Simha S. The Design of a Custom 32-Bit SIMD Enhanced Digital Signal Processor. [Masters Thesis]. Rochester Institute of Technology; 2017. Available from: https://scholarworks.rit.edu/theses/9705


Rochester Institute of Technology

25. Keni, Mayuresh Vijay. Design of a Single Precision Floating Point Divider and Multiplier with Pipelined Architecture.

Degree: MS, Electrical Engineering, 2017, Rochester Institute of Technology

  High speed computation is the need of today’s generation of Processors. To accomplish this major task, many functions are implemented inside the hardware of… (more)

Subjects/Keywords: Logic design; Circuits; Design methodology; Hardware description languages; Floating point arithmetic; Equations

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Keni, M. V. (2017). Design of a Single Precision Floating Point Divider and Multiplier with Pipelined Architecture. (Masters Thesis). Rochester Institute of Technology. Retrieved from https://scholarworks.rit.edu/theses/9706

Chicago Manual of Style (16th Edition):

Keni, Mayuresh Vijay. “Design of a Single Precision Floating Point Divider and Multiplier with Pipelined Architecture.” 2017. Masters Thesis, Rochester Institute of Technology. Accessed May 21, 2019. https://scholarworks.rit.edu/theses/9706.

MLA Handbook (7th Edition):

Keni, Mayuresh Vijay. “Design of a Single Precision Floating Point Divider and Multiplier with Pipelined Architecture.” 2017. Web. 21 May 2019.

Vancouver:

Keni MV. Design of a Single Precision Floating Point Divider and Multiplier with Pipelined Architecture. [Internet] [Masters thesis]. Rochester Institute of Technology; 2017. [cited 2019 May 21]. Available from: https://scholarworks.rit.edu/theses/9706.

Council of Science Editors:

Keni MV. Design of a Single Precision Floating Point Divider and Multiplier with Pipelined Architecture. [Masters Thesis]. Rochester Institute of Technology; 2017. Available from: https://scholarworks.rit.edu/theses/9706

26. Ochoa Luna, José Eduardo. Lógicas probabilísticas com relações de independência: representação de conhecimento e aprendizado de máquina.

Degree: PhD, Engenharia de Controle e Automação Mecânica, 2011, University of São Paulo

A combinação de lógica e probabilidade (lógicas probabilísticas) tem sido um tópico bastante estudado nas últimas décadas. A maioria de propostas para estes formalismos pressupõem… (more)

Subjects/Keywords: Aprendizado de lógica de descrição; Description logic learning; Incerteza; Inductive logic programming; Lógica probabilística; Probabilistic logic; programação em lógica indutiva; Redes Bayesianas relacionais; Relational Bayesian networks; Uncertainty

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Ochoa Luna, J. E. (2011). Lógicas probabilísticas com relações de independência: representação de conhecimento e aprendizado de máquina. (Doctoral Dissertation). University of São Paulo. Retrieved from http://www.teses.usp.br/teses/disponiveis/3/3152/tde-17082011-090935/ ;

Chicago Manual of Style (16th Edition):

Ochoa Luna, José Eduardo. “Lógicas probabilísticas com relações de independência: representação de conhecimento e aprendizado de máquina.” 2011. Doctoral Dissertation, University of São Paulo. Accessed May 21, 2019. http://www.teses.usp.br/teses/disponiveis/3/3152/tde-17082011-090935/ ;.

MLA Handbook (7th Edition):

Ochoa Luna, José Eduardo. “Lógicas probabilísticas com relações de independência: representação de conhecimento e aprendizado de máquina.” 2011. Web. 21 May 2019.

Vancouver:

Ochoa Luna JE. Lógicas probabilísticas com relações de independência: representação de conhecimento e aprendizado de máquina. [Internet] [Doctoral dissertation]. University of São Paulo; 2011. [cited 2019 May 21]. Available from: http://www.teses.usp.br/teses/disponiveis/3/3152/tde-17082011-090935/ ;.

Council of Science Editors:

Ochoa Luna JE. Lógicas probabilísticas com relações de independência: representação de conhecimento e aprendizado de máquina. [Doctoral Dissertation]. University of São Paulo; 2011. Available from: http://www.teses.usp.br/teses/disponiveis/3/3152/tde-17082011-090935/ ;

27. Grossi, D. Designing invisible handcuffs : Formal investigations in institutions and organizations for multi-agent systems.

Degree: 2007, University Utrecht

 The work presented in this thesis suggestively moves from the consideration that what makes social notions difficult to grasp lies probably in their intrinsic "invisibility".… (more)

Subjects/Keywords: institutions; organizations; norms; contexts; constitutive rules; modal logic; deontic logic; description logic

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Grossi, D. (2007). Designing invisible handcuffs : Formal investigations in institutions and organizations for multi-agent systems. (Doctoral Dissertation). University Utrecht. Retrieved from http://dspace.library.uu.nl/handle/1874/22838 ; URN:NBN:NL:UI:10-1874-22838 ; urn:isbn:978-90-393-4619-8 ; URN:NBN:NL:UI:10-1874-22838 ; http://dspace.library.uu.nl/handle/1874/22838

Chicago Manual of Style (16th Edition):

Grossi, D. “Designing invisible handcuffs : Formal investigations in institutions and organizations for multi-agent systems.” 2007. Doctoral Dissertation, University Utrecht. Accessed May 21, 2019. http://dspace.library.uu.nl/handle/1874/22838 ; URN:NBN:NL:UI:10-1874-22838 ; urn:isbn:978-90-393-4619-8 ; URN:NBN:NL:UI:10-1874-22838 ; http://dspace.library.uu.nl/handle/1874/22838.

MLA Handbook (7th Edition):

Grossi, D. “Designing invisible handcuffs : Formal investigations in institutions and organizations for multi-agent systems.” 2007. Web. 21 May 2019.

Vancouver:

Grossi D. Designing invisible handcuffs : Formal investigations in institutions and organizations for multi-agent systems. [Internet] [Doctoral dissertation]. University Utrecht; 2007. [cited 2019 May 21]. Available from: http://dspace.library.uu.nl/handle/1874/22838 ; URN:NBN:NL:UI:10-1874-22838 ; urn:isbn:978-90-393-4619-8 ; URN:NBN:NL:UI:10-1874-22838 ; http://dspace.library.uu.nl/handle/1874/22838.

Council of Science Editors:

Grossi D. Designing invisible handcuffs : Formal investigations in institutions and organizations for multi-agent systems. [Doctoral Dissertation]. University Utrecht; 2007. Available from: http://dspace.library.uu.nl/handle/1874/22838 ; URN:NBN:NL:UI:10-1874-22838 ; urn:isbn:978-90-393-4619-8 ; URN:NBN:NL:UI:10-1874-22838 ; http://dspace.library.uu.nl/handle/1874/22838


University of Oxford

28. Shearer, Robert D. C. Scalable reasoning for description logics.

Degree: 2011, University of Oxford

Description logics (DLs) are knowledge representation formalisms with well-understood model-theoretic semantics and computational properties. The DL SROIQ provides the logical underpinning for the semantic web… (more)

Subjects/Keywords: 005.3; Computer science (mathematics) : Mathematical logic and foundations : Applications and algorithms : description logics : automated reasoning : classification

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Shearer, R. D. C. (2011). Scalable reasoning for description logics. (Doctoral Dissertation). University of Oxford. Retrieved from http://ora.ox.ac.uk/objects/uuid:d7c4fbf6-4258-4db4-a451-476dcebe68ca ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.540275

Chicago Manual of Style (16th Edition):

Shearer, Robert D C. “Scalable reasoning for description logics.” 2011. Doctoral Dissertation, University of Oxford. Accessed May 21, 2019. http://ora.ox.ac.uk/objects/uuid:d7c4fbf6-4258-4db4-a451-476dcebe68ca ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.540275.

MLA Handbook (7th Edition):

Shearer, Robert D C. “Scalable reasoning for description logics.” 2011. Web. 21 May 2019.

Vancouver:

Shearer RDC. Scalable reasoning for description logics. [Internet] [Doctoral dissertation]. University of Oxford; 2011. [cited 2019 May 21]. Available from: http://ora.ox.ac.uk/objects/uuid:d7c4fbf6-4258-4db4-a451-476dcebe68ca ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.540275.

Council of Science Editors:

Shearer RDC. Scalable reasoning for description logics. [Doctoral Dissertation]. University of Oxford; 2011. Available from: http://ora.ox.ac.uk/objects/uuid:d7c4fbf6-4258-4db4-a451-476dcebe68ca ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.540275


University of Oxford

29. Perez-Urbina, Hector M. Tractable query answering for description logics via query rewriting.

Degree: 2010, University of Oxford

 We consider the problem of answering conjunctive queries over description logic knowledge bases via query rewriting. Given a conjunctive query Q and a TBox T,… (more)

Subjects/Keywords: 004; Applications and algorithms : Computing : Modal logic : Theory and automated verification : Description Logics : Query Answering : Query Rewriting

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Perez-Urbina, H. M. (2010). Tractable query answering for description logics via query rewriting. (Doctoral Dissertation). University of Oxford. Retrieved from http://ora.ox.ac.uk/objects/uuid:cd62cd80-aa62-467b-87cd-4b9d0cfb2dbd ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.532003

Chicago Manual of Style (16th Edition):

Perez-Urbina, Hector M. “Tractable query answering for description logics via query rewriting.” 2010. Doctoral Dissertation, University of Oxford. Accessed May 21, 2019. http://ora.ox.ac.uk/objects/uuid:cd62cd80-aa62-467b-87cd-4b9d0cfb2dbd ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.532003.

MLA Handbook (7th Edition):

Perez-Urbina, Hector M. “Tractable query answering for description logics via query rewriting.” 2010. Web. 21 May 2019.

Vancouver:

Perez-Urbina HM. Tractable query answering for description logics via query rewriting. [Internet] [Doctoral dissertation]. University of Oxford; 2010. [cited 2019 May 21]. Available from: http://ora.ox.ac.uk/objects/uuid:cd62cd80-aa62-467b-87cd-4b9d0cfb2dbd ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.532003.

Council of Science Editors:

Perez-Urbina HM. Tractable query answering for description logics via query rewriting. [Doctoral Dissertation]. University of Oxford; 2010. Available from: http://ora.ox.ac.uk/objects/uuid:cd62cd80-aa62-467b-87cd-4b9d0cfb2dbd ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.532003


Aristotle University Of Thessaloniki (AUTH); Αριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης (ΑΠΘ)

30. Φαλελάκης, Εμμανουήλ. Ανάλυση πολυμέσων με χρήση γνώσης: ισορροπώντας ανάμεσα στην πολυπλοκότητα και την εγκυρότητα.

Degree: 2010, Aristotle University Of Thessaloniki (AUTH); Αριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης (ΑΠΘ)

 This thesis introduces tools for the semantic analysis of multimedia documents based on prior knowledge and its main goal is to turn the computational complexity… (more)

Subjects/Keywords: Ανάλυση πολυμέσων; Έλεγχος πολυπλοκότητας; Ανάκτηση πολυμέσων; Ασαφής λογική; Περιγραφικές λογικές; Multimedia analysis; Complexity control; Multimedia retrieval; Fuzzy logic; Description logics

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Φαλελάκης, . . (2010). Ανάλυση πολυμέσων με χρήση γνώσης: ισορροπώντας ανάμεσα στην πολυπλοκότητα και την εγκυρότητα. (Thesis). Aristotle University Of Thessaloniki (AUTH); Αριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης (ΑΠΘ). Retrieved from http://hdl.handle.net/10442/hedi/23668

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

Φαλελάκης, Εμμανουήλ. “Ανάλυση πολυμέσων με χρήση γνώσης: ισορροπώντας ανάμεσα στην πολυπλοκότητα και την εγκυρότητα.” 2010. Thesis, Aristotle University Of Thessaloniki (AUTH); Αριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης (ΑΠΘ). Accessed May 21, 2019. http://hdl.handle.net/10442/hedi/23668.

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

MLA Handbook (7th Edition):

Φαλελάκης, Εμμανουήλ. “Ανάλυση πολυμέσων με χρήση γνώσης: ισορροπώντας ανάμεσα στην πολυπλοκότητα και την εγκυρότητα.” 2010. Web. 21 May 2019.

Vancouver:

Φαλελάκης . Ανάλυση πολυμέσων με χρήση γνώσης: ισορροπώντας ανάμεσα στην πολυπλοκότητα και την εγκυρότητα. [Internet] [Thesis]. Aristotle University Of Thessaloniki (AUTH); Αριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης (ΑΠΘ); 2010. [cited 2019 May 21]. Available from: http://hdl.handle.net/10442/hedi/23668.

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

Council of Science Editors:

Φαλελάκης . Ανάλυση πολυμέσων με χρήση γνώσης: ισορροπώντας ανάμεσα στην πολυπλοκότητα και την εγκυρότητα. [Thesis]. Aristotle University Of Thessaloniki (AUTH); Αριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης (ΑΠΘ); 2010. Available from: http://hdl.handle.net/10442/hedi/23668

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

[1] [2]

.