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 57 total matches.

[1] [2]

Search Limiters

Last 2 Years | English Only

Levels

▼ Search Limiters


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

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

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 June 16, 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. 16 Jun 2019.

Vancouver:

Φαλελάκης . Ανάλυση πολυμέσων με χρήση γνώσης: ισορροπώντας ανάμεσα στην πολυπλοκότητα και την εγκυρότητα. [Internet] [Thesis]. Aristotle University Of Thessaloniki (AUTH); Αριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης (ΑΠΘ); 2010. [cited 2019 Jun 16]. 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


Australian National University

2. Ratcliffe, David. OWL-Miner: Concept Induction in OWL Knowledge Bases .

Degree: 2018, Australian National University

 The Resource Description Framework (RDF) and Web Ontology Language (OWL) have been widely used in recent years, and automated methods for the analysis of data… (more)

Subjects/Keywords: OWL; RDF; RDFS; DL; description logic; machine learning; subgroup discovery; concept learning; concept induction; knowledge base; semantic web

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Ratcliffe, D. (2018). OWL-Miner: Concept Induction in OWL Knowledge Bases . (Thesis). Australian National University. Retrieved from http://hdl.handle.net/1885/147061

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

Ratcliffe, David. “OWL-Miner: Concept Induction in OWL Knowledge Bases .” 2018. Thesis, Australian National University. Accessed June 16, 2019. http://hdl.handle.net/1885/147061.

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

MLA Handbook (7th Edition):

Ratcliffe, David. “OWL-Miner: Concept Induction in OWL Knowledge Bases .” 2018. Web. 16 Jun 2019.

Vancouver:

Ratcliffe D. OWL-Miner: Concept Induction in OWL Knowledge Bases . [Internet] [Thesis]. Australian National University; 2018. [cited 2019 Jun 16]. Available from: http://hdl.handle.net/1885/147061.

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

Council of Science Editors:

Ratcliffe D. OWL-Miner: Concept Induction in OWL Knowledge Bases . [Thesis]. Australian National University; 2018. Available from: http://hdl.handle.net/1885/147061

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


Brno University of Technology

3. Partika, Marek. Publikace dat ze sítě meteostanic ve formátu DATEX II .

Degree: 2016, Brno University of Technology

 Diplomová práce se zabývá implementací evropského standardu DATEX II. Tento standard udává formát dat pro přenos informací v silniční dopravě. V silniční dopravě proudí toky… (more)

Subjects/Keywords: PLC – programovatelný logický automat Fy – firma TICs – dopravní informační centra TCCs – dopravní kontrolní středisko SPs – poskytovatelé služeb UML – univerzální modelovací jazyk XML – rozšiřitelný značkovací jazyk XMI – výměna metamodelů XML XSD – XML schéma WSDL – jazyk pro popis webových služeb URL – jednotný lokátor zdrojů HTTP – protokol pro přenos hypertexu SOAP – jednoduchý protokol pro přístup k objektům REST – architektura rozhraní URL – jednotná adresa zdroje SQL – strukturovaný dotazovací jazyk XPATH – jazyk pro práci s XML dokumenty; PLC – Pragrammable Logic Controller Fy – firm TICs – Traffic Information Centres TCCs – Traffic Control Centres SPs – Service Providers UML – Unified Modeling Language XML – extensible Markup Language XMI – XML metadata interchange XSD – XML schema definition WSDL – Web Service Description Language URL – Unique Resource Locator HTTP – Hypertex Transfer Protocol SOAP – Simple Object Acces Protocol REST – Representational State Transfer URL – Uniform Resource Locator SQL – Structured Query Language XPATH – XML Path Language

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Partika, M. (2016). Publikace dat ze sítě meteostanic ve formátu DATEX II . (Thesis). Brno University of Technology. Retrieved from http://hdl.handle.net/11012/58661

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

Partika, Marek. “Publikace dat ze sítě meteostanic ve formátu DATEX II .” 2016. Thesis, Brno University of Technology. Accessed June 16, 2019. http://hdl.handle.net/11012/58661.

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

MLA Handbook (7th Edition):

Partika, Marek. “Publikace dat ze sítě meteostanic ve formátu DATEX II .” 2016. Web. 16 Jun 2019.

Vancouver:

Partika M. Publikace dat ze sítě meteostanic ve formátu DATEX II . [Internet] [Thesis]. Brno University of Technology; 2016. [cited 2019 Jun 16]. Available from: http://hdl.handle.net/11012/58661.

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

Council of Science Editors:

Partika M. Publikace dat ze sítě meteostanic ve formátu DATEX II . [Thesis]. Brno University of Technology; 2016. Available from: http://hdl.handle.net/11012/58661

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


Clemson University

4. 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 June 16, 2019. https://tigerprints.clemson.edu/all_theses/553.

MLA Handbook (7th Edition):

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

Vancouver:

Michaelraj A. Taxonomy of physical prototypes: structure and validation. [Internet] [Masters thesis]. Clemson University; 2009. [cited 2019 Jun 16]. 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

5. Bouyahia, Tarek. Metrics for security activities assisted by argumentative logic : Métriques pour le déclenchement des évènements de sécurité assistées par la logique argumentative.

Degree: Docteur es, Informatique, 2017, Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire

L'accroissement et la diversification des services offerts par les systèmes informatiques modernes rendent la tâche de sécuriser ces systèmes encore plus complexe. D'une part, l'évolution… (more)

Subjects/Keywords: Logique argumentative; Réponses à l'intrusion; Sélection des contre-Mesures; Multi-Criteria Decision Making; Systèmes véhiculaire; Airs; Langage de Description d'Attaque; Anti-Corrélation; Argumentative logic; Intrusion response; Countermeasures selection; Multi-Criteria Decision Making; Automotive system; Airs; Attack description language; Anti-Correlation.; 004

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Bouyahia, T. (2017). Metrics for security activities assisted by argumentative logic : Métriques pour le déclenchement des évènements de sécurité assistées par la logique argumentative. (Doctoral Dissertation). Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire. Retrieved from http://www.theses.fr/2017IMTA0013

Chicago Manual of Style (16th Edition):

Bouyahia, Tarek. “Metrics for security activities assisted by argumentative logic : Métriques pour le déclenchement des évènements de sécurité assistées par la logique argumentative.” 2017. Doctoral Dissertation, Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire. Accessed June 16, 2019. http://www.theses.fr/2017IMTA0013.

MLA Handbook (7th Edition):

Bouyahia, Tarek. “Metrics for security activities assisted by argumentative logic : Métriques pour le déclenchement des évènements de sécurité assistées par la logique argumentative.” 2017. Web. 16 Jun 2019.

Vancouver:

Bouyahia T. Metrics for security activities assisted by argumentative logic : Métriques pour le déclenchement des évènements de sécurité assistées par la logique argumentative. [Internet] [Doctoral dissertation]. Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire; 2017. [cited 2019 Jun 16]. Available from: http://www.theses.fr/2017IMTA0013.

Council of Science Editors:

Bouyahia T. Metrics for security activities assisted by argumentative logic : Métriques pour le déclenchement des évènements de sécurité assistées par la logique argumentative. [Doctoral Dissertation]. Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire; 2017. Available from: http://www.theses.fr/2017IMTA0013


Florida Atlantic University

6. 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 June 16, 2019. http://purl.flvc.org/FAU/2954841.

MLA Handbook (7th Edition):

Cividanes, Ernesto. “Smart low power obstacle avoidance device.” 2010. Web. 16 Jun 2019.

Vancouver:

Cividanes E. Smart low power obstacle avoidance device. [Internet] [Masters thesis]. Florida Atlantic University; 2010. [cited 2019 Jun 16]. 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

7. 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 June 16, 2019. https://scholarworks.gsu.edu/cs_diss/120.

MLA Handbook (7th Edition):

Jayakumar, Badrinath. “Handling Inconsistency in Knowledge Bases.” 2017. Web. 16 Jun 2019.

Vancouver:

Jayakumar B. Handling Inconsistency in Knowledge Bases. [Internet] [Doctoral dissertation]. Georgia State University; 2017. [cited 2019 Jun 16]. 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

8. Ferrere, Thomas. Assertions and measurements for mixed-signal simulation : Assertions et mesures pour la simulation en signaux mixtes.

Degree: Docteur es, Mathématiques et Informatique, 2016, Grenoble Alpes

Cette thèse porte sur le monitorage des simulations de circuits en signaux mixtes. Dans le domaine de la vérification de matériel, l'utilisation de formalismes déclaratifs… (more)

Subjects/Keywords: Assertions; Hybride; Conception electronique assistée par ordinateur; Logique temporelle; Langages de spécification matériel; Simulation numerique; Assertions; Mixed signals; Electronic design automation; Temporal logic; Hardware description languages; Numerical simulation; 004; 629

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Ferrere, T. (2016). Assertions and measurements for mixed-signal simulation : Assertions et mesures pour la simulation en signaux mixtes. (Doctoral Dissertation). Grenoble Alpes. Retrieved from http://www.theses.fr/2016GREAM050

Chicago Manual of Style (16th Edition):

Ferrere, Thomas. “Assertions and measurements for mixed-signal simulation : Assertions et mesures pour la simulation en signaux mixtes.” 2016. Doctoral Dissertation, Grenoble Alpes. Accessed June 16, 2019. http://www.theses.fr/2016GREAM050.

MLA Handbook (7th Edition):

Ferrere, Thomas. “Assertions and measurements for mixed-signal simulation : Assertions et mesures pour la simulation en signaux mixtes.” 2016. Web. 16 Jun 2019.

Vancouver:

Ferrere T. Assertions and measurements for mixed-signal simulation : Assertions et mesures pour la simulation en signaux mixtes. [Internet] [Doctoral dissertation]. Grenoble Alpes; 2016. [cited 2019 Jun 16]. Available from: http://www.theses.fr/2016GREAM050.

Council of Science Editors:

Ferrere T. Assertions and measurements for mixed-signal simulation : Assertions et mesures pour la simulation en signaux mixtes. [Doctoral Dissertation]. Grenoble Alpes; 2016. Available from: http://www.theses.fr/2016GREAM050

9. Newsom, Eric Tyner. An exploratory study using the predicate-argument structure to develop methodology for measuring semantic similarity of radiology sentences.

Degree: 2013, IUPUI

Indiana University-Purdue University Indianapolis (IUPUI)

The amount of information produced in the form of electronic free text in healthcare is increasing to levels incapable of… (more)

Subjects/Keywords: Natural Language Processing; Information Extraction; Predicate-Argument Structure; Semantic Similarity; Computational linguistics  – Analysis; Natural language processing (Computer science); Semantic computing  – Research; Semantics  – Data processing; Description logics; Electronic information resource searching  – Research; Data mining; Semantic Web; Text processing (Computer science); Information storage and retrieval systems  – Research; Predicate (Logic); Medical informatics  – Data processing

…are not dependent on 6 verb. Table 3 shows how the description of argument roles differ… …credit hour at IUPUI last year for tuition Verb paid Possible Arguments Argument Description… …destination of attention Arg3 commodity, paid for what Argument Modifiers Modifier Description… …Montreil, 1994). The theoretical contribution of propositional logic to NLP plays an… …perform deductive reasoning (Gallier, 1986). Propositional logic becomes a way to… 

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Newsom, E. T. (2013). An exploratory study using the predicate-argument structure to develop methodology for measuring semantic similarity of radiology sentences. (Thesis). IUPUI. Retrieved from http://hdl.handle.net/1805/3666

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

Newsom, Eric Tyner. “An exploratory study using the predicate-argument structure to develop methodology for measuring semantic similarity of radiology sentences.” 2013. Thesis, IUPUI. Accessed June 16, 2019. http://hdl.handle.net/1805/3666.

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

MLA Handbook (7th Edition):

Newsom, Eric Tyner. “An exploratory study using the predicate-argument structure to develop methodology for measuring semantic similarity of radiology sentences.” 2013. Web. 16 Jun 2019.

Vancouver:

Newsom ET. An exploratory study using the predicate-argument structure to develop methodology for measuring semantic similarity of radiology sentences. [Internet] [Thesis]. IUPUI; 2013. [cited 2019 Jun 16]. Available from: http://hdl.handle.net/1805/3666.

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

Council of Science Editors:

Newsom ET. An exploratory study using the predicate-argument structure to develop methodology for measuring semantic similarity of radiology sentences. [Thesis]. IUPUI; 2013. Available from: http://hdl.handle.net/1805/3666

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

10. Dmitrieva, Joelia Borisovna. Aspects of ontology visualization and integration.

Degree: 2011, Leiden Institute of Advanced Computer Science, Faculty of Sciences, Leiden University

 In this thesis we will describe and discuss methodologies for ontology visualization and integration. Two visualization methods will be elaborated. In one method the ontology… (more)

Subjects/Keywords: Description Logic; Information visualization; Ontology integration; Ontology modularity; Ontology visualization; Semantic web; Description Logic; Information visualization; Ontology integration; Ontology modularity; Ontology visualization; Semantic web

Page 1

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Dmitrieva, J. B. (2011). Aspects of ontology visualization and integration. (Doctoral Dissertation). Leiden Institute of Advanced Computer Science, Faculty of Sciences, Leiden University. Retrieved from http://hdl.handle.net/1887/17834

Chicago Manual of Style (16th Edition):

Dmitrieva, Joelia Borisovna. “Aspects of ontology visualization and integration.” 2011. Doctoral Dissertation, Leiden Institute of Advanced Computer Science, Faculty of Sciences, Leiden University. Accessed June 16, 2019. http://hdl.handle.net/1887/17834.

MLA Handbook (7th Edition):

Dmitrieva, Joelia Borisovna. “Aspects of ontology visualization and integration.” 2011. Web. 16 Jun 2019.

Vancouver:

Dmitrieva JB. Aspects of ontology visualization and integration. [Internet] [Doctoral dissertation]. Leiden Institute of Advanced Computer Science, Faculty of Sciences, Leiden University; 2011. [cited 2019 Jun 16]. Available from: http://hdl.handle.net/1887/17834.

Council of Science Editors:

Dmitrieva JB. Aspects of ontology visualization and integration. [Doctoral Dissertation]. Leiden Institute of Advanced Computer Science, Faculty of Sciences, Leiden University; 2011. Available from: http://hdl.handle.net/1887/17834

11. Hendi, Hayder. Ontologies et web sémantique pour une construction évolutive d'applications dédiées à la logistique : Ontologies and semantic web for an evolutive development of logistic applications.

Degree: Docteur es, Informatique. Web sémantique, 2017, Littoral

Le domaine de la logistique implique souvent la résolution de problèmes combinatoires complexes. Ces derniers font également implicitement référence à des processus, acteurs, activités et… (more)

Subjects/Keywords: Web sémantique; Ontologie; Logistique; Optimisation; Web services; Owl; Description logique; Problème d'acheminement de véhicule; Problème de train de passagers; Problème de terminal de container; Semantic web; Ontology; Logistic; Optimization; Web services; Owl; Logic description; Vehicle routing problem; Passenger train problem; Container terminal problem

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Hendi, H. (2017). Ontologies et web sémantique pour une construction évolutive d'applications dédiées à la logistique : Ontologies and semantic web for an evolutive development of logistic applications. (Doctoral Dissertation). Littoral. Retrieved from http://www.theses.fr/2017DUNK0462

Chicago Manual of Style (16th Edition):

Hendi, Hayder. “Ontologies et web sémantique pour une construction évolutive d'applications dédiées à la logistique : Ontologies and semantic web for an evolutive development of logistic applications.” 2017. Doctoral Dissertation, Littoral. Accessed June 16, 2019. http://www.theses.fr/2017DUNK0462.

MLA Handbook (7th Edition):

Hendi, Hayder. “Ontologies et web sémantique pour une construction évolutive d'applications dédiées à la logistique : Ontologies and semantic web for an evolutive development of logistic applications.” 2017. Web. 16 Jun 2019.

Vancouver:

Hendi H. Ontologies et web sémantique pour une construction évolutive d'applications dédiées à la logistique : Ontologies and semantic web for an evolutive development of logistic applications. [Internet] [Doctoral dissertation]. Littoral; 2017. [cited 2019 Jun 16]. Available from: http://www.theses.fr/2017DUNK0462.

Council of Science Editors:

Hendi H. Ontologies et web sémantique pour une construction évolutive d'applications dédiées à la logistique : Ontologies and semantic web for an evolutive development of logistic applications. [Doctoral Dissertation]. Littoral; 2017. Available from: http://www.theses.fr/2017DUNK0462


Loughborough University

12. 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 June 16, 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. 16 Jun 2019.

Vancouver:

Kumar SK. Tools for enterprises collaboration in virtual enterprises. [Internet] [Doctoral dissertation]. Loughborough University; 2013. [cited 2019 Jun 16]. 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

13. 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 June 16, 2019. http://hdl.handle.net/11375/16783.

MLA Handbook (7th Edition):

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

Vancouver:

Yousef Sanati M. A Metric Interval-based Temporal Description Logic. [Internet] [Doctoral dissertation]. McMaster University; 2015. [cited 2019 Jun 16]. 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


MIT

14. Smith, George Edwin. Rigid designation, scope and modality .

Degree: 1979, MIT

Subjects/Keywords: Linguistics and Philosophy; Description (Philosophy); Modality (Logic); Reference (Linguistics); Names

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Smith, G. E. (1979). Rigid designation, scope and modality . (Thesis). MIT. Retrieved from http://hdl.handle.net/1721.1/16321

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

Smith, George Edwin. “Rigid designation, scope and modality .” 1979. Thesis, MIT. Accessed June 16, 2019. http://hdl.handle.net/1721.1/16321.

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

MLA Handbook (7th Edition):

Smith, George Edwin. “Rigid designation, scope and modality .” 1979. Web. 16 Jun 2019.

Vancouver:

Smith GE. Rigid designation, scope and modality . [Internet] [Thesis]. MIT; 1979. [cited 2019 Jun 16]. Available from: http://hdl.handle.net/1721.1/16321.

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

Council of Science Editors:

Smith GE. Rigid designation, scope and modality . [Thesis]. MIT; 1979. Available from: http://hdl.handle.net/1721.1/16321

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

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

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 June 16, 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. 16 Jun 2019.

Vancouver:

Μαΐλης . Επεκτάσεις ασαφών περιγραφικών λογικών με κανόνες και απτά πεδία. [Internet] [Thesis]. National Technical University of Athens (NTUA); Εθνικό Μετσόβιο Πολυτεχνείο (ΕΜΠ); 2012. [cited 2019 Jun 16]. 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

16. Δεληπαράσχος, Κυριάκος. Αρχιτεκτονική σχεδίαση, υλοποίηση και εφαρμογή ευφυών αλγορίθμων ελέγχου σε ψηφιακά συστήματα VLSI.

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

Subjects/Keywords: Λογική, Ασαφής; Αλγόριθμοι, Γενετικοί; Κινητά ρομπότ; Γλώσσες περιγραφής υλικού; Λογικά κυκλώματα, Σύνθεση; Πρόβλημα πλανόδιου πωλητή; FPGA; SOC; Fuzzy logic; Algorithms, Genetic; Mobile robots; Hardware description languages; Logic synthesis; TSP

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

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

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

Δεληπαράσχος, Κυριάκος. “Αρχιτεκτονική σχεδίαση, υλοποίηση και εφαρμογή ευφυών αλγορίθμων ελέγχου σε ψηφιακά συστήματα VLSI.” 2010. Thesis, National Technical University of Athens (NTUA); Εθνικό Μετσόβιο Πολυτεχνείο (ΕΜΠ). Accessed June 16, 2019. http://hdl.handle.net/10442/hedi/19827.

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

MLA Handbook (7th Edition):

Δεληπαράσχος, Κυριάκος. “Αρχιτεκτονική σχεδίαση, υλοποίηση και εφαρμογή ευφυών αλγορίθμων ελέγχου σε ψηφιακά συστήματα VLSI.” 2010. Web. 16 Jun 2019.

Vancouver:

Δεληπαράσχος . Αρχιτεκτονική σχεδίαση, υλοποίηση και εφαρμογή ευφυών αλγορίθμων ελέγχου σε ψηφιακά συστήματα VLSI. [Internet] [Thesis]. National Technical University of Athens (NTUA); Εθνικό Μετσόβιο Πολυτεχνείο (ΕΜΠ); 2010. [cited 2019 Jun 16]. Available from: http://hdl.handle.net/10442/hedi/19827.

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

Council of Science Editors:

Δεληπαράσχος . Αρχιτεκτονική σχεδίαση, υλοποίηση και εφαρμογή ευφυών αλγορίθμων ελέγχου σε ψηφιακά συστήματα VLSI. [Thesis]. National Technical University of Athens (NTUA); Εθνικό Μετσόβιο Πολυτεχνείο (ΕΜΠ); 2010. Available from: http://hdl.handle.net/10442/hedi/19827

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

17. 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 June 16, 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. 16 Jun 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 Jun 16]. 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


Rochester Institute of Technology

18. 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 June 16, 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. 16 Jun 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 Jun 16]. 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

19. 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 June 16, 2019. https://scholarworks.rit.edu/theses/9704.

MLA Handbook (7th Edition):

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

Vancouver:

Parthipan V. Image Down-Scaler Using the Box Filter Algorithm. [Internet] [Masters thesis]. Rochester Institute of Technology; 2017. [cited 2019 Jun 16]. 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

20. 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 June 16, 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. 16 Jun 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 Jun 16]. 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

21. 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 June 16, 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. 16 Jun 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 Jun 16]. 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


Rochester Institute of Technology

22. 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 June 16, 2019. https://scholarworks.rit.edu/theses/9708.

MLA Handbook (7th Edition):

Salunkhe, Balaji. “Automatic Protein Shake Freestyle Vending Machine.” 2017. Web. 16 Jun 2019.

Vancouver:

Salunkhe B. Automatic Protein Shake Freestyle Vending Machine. [Internet] [Masters thesis]. Rochester Institute of Technology; 2017. [cited 2019 Jun 16]. 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

23. Tay, Noel Nuo Wi. Human-centric Semantic Reasoning and Optimization for Smart Home : スマートホームのための人間中心セマンティック推論と最適化.

Degree: 博士(工学), 2017, Tokyo Metropolitan University / 首都大学東京

首都大学東京, 2017-03-25, 博士(工学)

Subjects/Keywords: Smart home consists of various kinds of Internet of Tings (IoT) devices connected to the private house that cooperatively provide inhabitants (users) with proactive services related to comfort; security and safety. Examples of services include 1) manipulation of lighting and temperature based on time and context; 2) reminder service of user’s schedules by using the nearest output device; and 3) device organization to realize surveillance system. However; current smart homes are developed mostly from the viewpoint of technical capabilities; where users have to decide how the connected devices are going to serve them. They may have to setup the devices based on the available functionalities and specifications of the devices; and also have to alter their living styles according to the role of each device. Besides; most devices can only provide simple services independently. Œus; cooperation among the devices is important. On the other hand; human-centric approach; which centered on humans’ need to enhance their living experience; is an important technological paradigm where services are provided anywhere and anytime based on situation. Smart home abiding this approach should cooperatively maximize fulfillment of quality of life (QOL) for individual users subject to personal constraints. In this respect; the devices are bound to enable communication of information; and their operations are coordinated to deliver services cooperatively via a sequence of device actions called a plan. Due to personalization and automation; a number of problems have to be solved. First; a means of automatic binding between loosely coupled devices depending on services delivered have to be devised; as manual setup is impractical. Secondly; coordination of devices needs to generate complex plans; without requiring manual specification of sub-plans. Besides; issue of over-constrained goals during service provisions that arises from flawed or contradicting specification from multiple users should be considered. Apart from that; low training data in general environment setting for individual identification should be addressed. The aim of this research is to establish an integrated system for the human-centric smart home (HcSH) that provides personalized service through loosely coupled devices automatically. This research modularizes the overall system into three modules; which are human identification (HIM); automated planner (APM); and semantic reasoner (SRM). HIM helps select the appropriate QOL; SRM binds the devices by associating them with planning components; which are then used by APM to generate plans for device coordination to maximize QOL fulfillment. Chapter 1 gives the introduction and design motivation. Chapter 2 presents the related works and literature reviews; as well as justifications relevant to this thesis. Chapter 3 deals with HIM; which is realized via face identification. For face identification; problems faced are heavy computational load and insufficient learning data. The solution is to use transfer learning to handle data issue while being able to build generalized face model. For face model refinement; active learning is implemented. Experimental results show the method is competitive in terms of accuracy and computational cost compared to current state of the art. Chapter 4 presents APM; where planning via solving Constraint Satisfaction Problem (CSP) is laid out. CSP in planning is declarative without requiring prior specification of sub-plans; and can handle variables of larger domains. Due to the high possibility of having over-constrained QOL as in practical cases; CSP planner cannot fulfill all of them. An example is a contradicting TV channel request from 2 persons. Optimization through weighted CSP is therefore used to maximize QOL fulfillment. Experiments on weighted CSP shows that the method is capable of performing optimization while generating complex plans. Chapter 5 is on SRM; where knowledge representation is constructed by Web Ontology Language (OWL) description logic. It models knowledge on home and building layout and device functionalities. OWL is used because it is decidable and that it is endorsed by World Wide Web Consortium (W3C). We deal with case studies based on further inference on building state as an important example to discuss the applicability of the proposed method; and demonstrate the use of building ontology. This is followed by automated device binding and the method to generate basic planning components of rules in automated planning. Finally; an extension to robot complex planning is provided to demonstrate how it can be easily extended. Chapter 6 demonstrates the applicability of the HcSH; which integrates all three modules through its implementation in a prototype smart home with 5 rooms; which houses 2 persons. Various tests are performed to show the generated plans are near optimal without redundancy. Œe system is also shown to be scalable given increasing amount of devices. Case studies show that the system can perform well even under short time threshold. Finally; chapter 7 summarizes the thesis. Future vision of the work is also laid out; which is to implement it as a community-centric system.

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Tay, N. N. W. (2017). Human-centric Semantic Reasoning and Optimization for Smart Home : スマートホームのための人間中心セマンティック推論と最適化. (Thesis). Tokyo Metropolitan University / 首都大学東京. Retrieved from http://hdl.handle.net/10748/00009960

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

Tay, Noel Nuo Wi. “Human-centric Semantic Reasoning and Optimization for Smart Home : スマートホームのための人間中心セマンティック推論と最適化.” 2017. Thesis, Tokyo Metropolitan University / 首都大学東京. Accessed June 16, 2019. http://hdl.handle.net/10748/00009960.

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

MLA Handbook (7th Edition):

Tay, Noel Nuo Wi. “Human-centric Semantic Reasoning and Optimization for Smart Home : スマートホームのための人間中心セマンティック推論と最適化.” 2017. Web. 16 Jun 2019.

Vancouver:

Tay NNW. Human-centric Semantic Reasoning and Optimization for Smart Home : スマートホームのための人間中心セマンティック推論と最適化. [Internet] [Thesis]. Tokyo Metropolitan University / 首都大学東京; 2017. [cited 2019 Jun 16]. Available from: http://hdl.handle.net/10748/00009960.

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

Council of Science Editors:

Tay NNW. Human-centric Semantic Reasoning and Optimization for Smart Home : スマートホームのための人間中心セマンティック推論と最適化. [Thesis]. Tokyo Metropolitan University / 首都大学東京; 2017. Available from: http://hdl.handle.net/10748/00009960

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

24. Niang, Cheikh Ahmed Tidiane. Vers plus d'automatisation dans la construction de systèmes mediateurs pour le web semantique : une application des logiques de description : Towards more automation in building mediator systems in the semantic web context : a description logic application.

Degree: Docteur es, Informatique, 2013, Tours; Université de Saint-Louis (Sénégal)

Les travaux que nous présentons dans cette thèse concernent l’automatisation de la construction de systèmes médiateurs pour le web sémantique. L’intégration de données de manière… (more)

Subjects/Keywords: Web sémantique; Ontologies; Ontologies de référence; Intégration de données; Systèmes de médiation; Ontology-Based Data Access (OBDA); Schéma global; Logique de description; Automatisation; Construction incrémentale; Semantic web; Ontologies; Domain-reference ontologies; Data integration; Semantic mediator systems; Ontology-Based Data Access (OBDA); Global schema; Description Logic; Automation; Incremental building process

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Niang, C. A. T. (2013). Vers plus d'automatisation dans la construction de systèmes mediateurs pour le web semantique : une application des logiques de description : Towards more automation in building mediator systems in the semantic web context : a description logic application. (Doctoral Dissertation). Tours; Université de Saint-Louis (Sénégal). Retrieved from http://www.theses.fr/2013TOUR4020

Chicago Manual of Style (16th Edition):

Niang, Cheikh Ahmed Tidiane. “Vers plus d'automatisation dans la construction de systèmes mediateurs pour le web semantique : une application des logiques de description : Towards more automation in building mediator systems in the semantic web context : a description logic application.” 2013. Doctoral Dissertation, Tours; Université de Saint-Louis (Sénégal). Accessed June 16, 2019. http://www.theses.fr/2013TOUR4020.

MLA Handbook (7th Edition):

Niang, Cheikh Ahmed Tidiane. “Vers plus d'automatisation dans la construction de systèmes mediateurs pour le web semantique : une application des logiques de description : Towards more automation in building mediator systems in the semantic web context : a description logic application.” 2013. Web. 16 Jun 2019.

Vancouver:

Niang CAT. Vers plus d'automatisation dans la construction de systèmes mediateurs pour le web semantique : une application des logiques de description : Towards more automation in building mediator systems in the semantic web context : a description logic application. [Internet] [Doctoral dissertation]. Tours; Université de Saint-Louis (Sénégal); 2013. [cited 2019 Jun 16]. Available from: http://www.theses.fr/2013TOUR4020.

Council of Science Editors:

Niang CAT. Vers plus d'automatisation dans la construction de systèmes mediateurs pour le web semantique : une application des logiques de description : Towards more automation in building mediator systems in the semantic web context : a description logic application. [Doctoral Dissertation]. Tours; Université de Saint-Louis (Sénégal); 2013. Available from: http://www.theses.fr/2013TOUR4020

25. DÃbora Farias Frota. A Description Logic for Default.

Degree: Master, 2011, Universidade Federal do Ceará

A formalizaÃÃo do conhecimento e a automatizaÃÃo do raciocÃnio sÃo assuntos centrais de pesquisa da InteligÃncia Articial. A LÃgica de Primeira Ordem tem sido tradicionalmente… (more)

Subjects/Keywords: CIENCIA DA COMPUTACAO; LÃgica de DescriÃÃo; LÃgica Default; Complexidade EXPTIME; Description Logic; Default Logic; EXPTIME Complexity; LÃgica de primeira ordem; LÃgica de computador; Algoritmos; Complexidade computacional

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Frota, D. F. (2011). A Description Logic for Default. (Masters Thesis). Universidade Federal do Ceará. Retrieved from http://www.teses.ufc.br/tde_busca/arquivo.php?codArquivo=7649 ;

Chicago Manual of Style (16th Edition):

Frota, DÃbora Farias. “A Description Logic for Default.” 2011. Masters Thesis, Universidade Federal do Ceará. Accessed June 16, 2019. http://www.teses.ufc.br/tde_busca/arquivo.php?codArquivo=7649 ;.

MLA Handbook (7th Edition):

Frota, DÃbora Farias. “A Description Logic for Default.” 2011. Web. 16 Jun 2019.

Vancouver:

Frota DF. A Description Logic for Default. [Internet] [Masters thesis]. Universidade Federal do Ceará 2011. [cited 2019 Jun 16]. Available from: http://www.teses.ufc.br/tde_busca/arquivo.php?codArquivo=7649 ;.

Council of Science Editors:

Frota DF. A Description Logic for Default. [Masters Thesis]. Universidade Federal do Ceará 2011. Available from: http://www.teses.ufc.br/tde_busca/arquivo.php?codArquivo=7649 ;

26. Henrique Viana Oliveira. Refinamento de Consultas em LÃgicas de DescriÃÃo Utilizando Teoria dos Rough Sets.

Degree: Master, 2012, Universidade Federal do Ceará

Refinamento de consulta consiste de tÃcnicas que modificam os termos de uma consulta com o objetivo de alterar os resultados obtidos inicialmente. Para a realizaÃÃo… (more)

Subjects/Keywords: CIENCIA DA COMPUTACAO; LÃgicas de DescriÃÃo; Rough Sets; Refinamento de Consultas; Description Logic; Rough Sets; Query Refinement; Linguagens de consulta (ComputaÃÃo); ProgramaÃÃo lÃgica (ComputaÃÃo)

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Oliveira, H. V. (2012). Refinamento de Consultas em LÃgicas de DescriÃÃo Utilizando Teoria dos Rough Sets. (Masters Thesis). Universidade Federal do Ceará. Retrieved from http://www.teses.ufc.br/tde_busca/arquivo.php?codArquivo=8325 ;

Chicago Manual of Style (16th Edition):

Oliveira, Henrique Viana. “Refinamento de Consultas em LÃgicas de DescriÃÃo Utilizando Teoria dos Rough Sets.” 2012. Masters Thesis, Universidade Federal do Ceará. Accessed June 16, 2019. http://www.teses.ufc.br/tde_busca/arquivo.php?codArquivo=8325 ;.

MLA Handbook (7th Edition):

Oliveira, Henrique Viana. “Refinamento de Consultas em LÃgicas de DescriÃÃo Utilizando Teoria dos Rough Sets.” 2012. Web. 16 Jun 2019.

Vancouver:

Oliveira HV. Refinamento de Consultas em LÃgicas de DescriÃÃo Utilizando Teoria dos Rough Sets. [Internet] [Masters thesis]. Universidade Federal do Ceará 2012. [cited 2019 Jun 16]. Available from: http://www.teses.ufc.br/tde_busca/arquivo.php?codArquivo=8325 ;.

Council of Science Editors:

Oliveira HV. Refinamento de Consultas em LÃgicas de DescriÃÃo Utilizando Teoria dos Rough Sets. [Masters Thesis]. Universidade Federal do Ceará 2012. Available from: http://www.teses.ufc.br/tde_busca/arquivo.php?codArquivo=8325 ;


Universidade Nova

27. 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 June 16, 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. 16 Jun 2019.

Vancouver:

Knorr M. Combining open and closed world reasoning for the semantic web. [Internet] [Thesis]. Universidade Nova; 2011. [cited 2019 Jun 16]. 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


Universidade Nova

28. Gomes, Ana Sofia. Derivation methods for hybrid knowledge bases with rules and ontologies.

Degree: 2009, Universidade Nova

Trabalho apresentado no âmbito do Mestrado em Engenharia Informática, como requisito parcial para obtenção do grau de Mestre em Engenharia Informática

First of all, I… (more)

Subjects/Keywords: Hybrid knowledge bases; Semantic web; Ontologies; Description logics; Rules; Logic programming; Well-founded semantics; Nonmonotonic reasoning

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Gomes, A. S. (2009). Derivation methods for hybrid knowledge bases with rules and ontologies. (Thesis). Universidade Nova. Retrieved from http://www.rcaap.pt/detail.jsp?id=oai:run.unl.pt:10362/2563

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

Gomes, Ana Sofia. “Derivation methods for hybrid knowledge bases with rules and ontologies.” 2009. Thesis, Universidade Nova. Accessed June 16, 2019. http://www.rcaap.pt/detail.jsp?id=oai:run.unl.pt:10362/2563.

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

MLA Handbook (7th Edition):

Gomes, Ana Sofia. “Derivation methods for hybrid knowledge bases with rules and ontologies.” 2009. Web. 16 Jun 2019.

Vancouver:

Gomes AS. Derivation methods for hybrid knowledge bases with rules and ontologies. [Internet] [Thesis]. Universidade Nova; 2009. [cited 2019 Jun 16]. Available from: http://www.rcaap.pt/detail.jsp?id=oai:run.unl.pt:10362/2563.

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

Council of Science Editors:

Gomes AS. Derivation methods for hybrid knowledge bases with rules and ontologies. [Thesis]. Universidade Nova; 2009. Available from: http://www.rcaap.pt/detail.jsp?id=oai:run.unl.pt:10362/2563

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


Universitat Pompeu Fabra

29. Navarrete Terrassa, Antonio, 1973-. Semantic integration of thematic geographic information in a multimedia context.

Degree: Departament de Tecnologia, 2006, Universitat Pompeu Fabra

 Geographic datasets represent reality through a set of thematic entities that are often not precisely defined and that may be understood in different ways by… (more)

Subjects/Keywords: Ontology; Geographic Information Systems; Semantic Interoperability; Semantic Integration; Vídeo geo-referenciado; Multimedia; Fusión de ontologías; Lógica de Descripción; Sistemas de Información Geográfica; Ontología; Interoperabilidad semántica; Integración semántica; Vídeo geo-referenciat; Multimèdia; Fusió d'ontologies; Lògica de Descripció; Ontologia; Sistemes d'Informació Geogràfica; Interoperabilitat semàntica; Integració semàntica; Description Logic; Ontology Merging; Multimedia; Geo-referenced Video; 004; 81

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Navarrete Terrassa, Antonio, 1. (2006). Semantic integration of thematic geographic information in a multimedia context. (Thesis). Universitat Pompeu Fabra. Retrieved from http://hdl.handle.net/10803/7534

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

Navarrete Terrassa, Antonio, 1973-. “Semantic integration of thematic geographic information in a multimedia context.” 2006. Thesis, Universitat Pompeu Fabra. Accessed June 16, 2019. http://hdl.handle.net/10803/7534.

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

MLA Handbook (7th Edition):

Navarrete Terrassa, Antonio, 1973-. “Semantic integration of thematic geographic information in a multimedia context.” 2006. Web. 16 Jun 2019.

Vancouver:

Navarrete Terrassa, Antonio 1. Semantic integration of thematic geographic information in a multimedia context. [Internet] [Thesis]. Universitat Pompeu Fabra; 2006. [cited 2019 Jun 16]. Available from: http://hdl.handle.net/10803/7534.

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

Council of Science Editors:

Navarrete Terrassa, Antonio 1. Semantic integration of thematic geographic information in a multimedia context. [Thesis]. Universitat Pompeu Fabra; 2006. Available from: http://hdl.handle.net/10803/7534

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


Universiteit Utrecht

30. 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 June 16, 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. 16 Jun 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 Jun 16]. 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

[1] [2]

.