Search
Now showing items 21-30 of 30
Binding SNOMED-CT Terms to Archetype Elements: Establishing a Baseline of Results
(Schattauer, 2015)
Introduction: This article is part of the Focus Theme of METHODS of Information in Medicine on "Managing Interoperability and Complexity in Health Systems".
Background: The proliferation of archetypes as a means to ...
Exact learning of multivalued dependency formulas
(Elsevier, 2017-12-01)
The transformation of a relational database schema into the fourth normal form, which minimizes data redundancy, relies on the correct identification of multivalued dependencies. In this work, we study the learnability of ...
Invariant-Free Clausal Temporal Resolution
(Springer, 2011-12-02)
Resolution is a well-known proof method for classical logics that is well suited for mechanization. The most fruitful approach in the literature on temporal logic, which was started with the seminal paper of M. Fisher, ...
Translating propositional extended conjunctions of Horn clauses into Boolean circuits
(Elsevier, 2010-01-25)
Horn⊃ is a logic programming language that extends usual Horn clauses by adding intuitionistic implication in goals and clause bodies. This extension can be seen as a way of structuring programs in logic programming. We ...
Automatic white-box testing of first-order logic ontologies
(Oxford Academic, 2019-02-26)
Formal ontologies are axiomatizations in a logic-based formalism. The development of formal ontologies is generating considerable research on the use of automated reasoning techniques and tools that help in ontology ...
Overcrowding detection in indoor events using scalable technologies
(Springer, 2017-02-17)
The increase in the number of large-scale events held indoors (i.e., conferences and business events) opens new opportunities for crowd monitoring and access controlling as a way to prevent risks and provide further ...
Tramea, a Tool to Support the Development of Final Year Projects. Usability Evaluation
(IEEE, 2017-04)
“© 2017 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or ...
Integrating Formative Feedback in Introductory Programming Modules
(IEEE, 2018-02-12)
Introductory programming modules are challenging for both lecturers and students. In previous works, the authors have carried out educational innovations to mitigate these challenges and facilitate learning. This paper ...
Student-generated online videos to develop cross-curricular and curricular competencies in Nursing Studies.
(Elsevier, 2013-07-06)
In response to the necessity of implementing innovative strategies and new teaching methodologies for the design of University degrees curricula according to the new educational model put forward by the European Space of ...
Visual Programming Environments for Object Oriented Programming: Acceptance and Effects on Student Motivation
(IEEE, 2017-08-07)
This paper presents an experiment in which visual programming environments have been used in programming courses aiming at helping students to acquire the competencies of a course on object-oriented programming. This paper ...