BackExaminar Libros y capítulos por departamento (cas.) "Lenguajes y sistemas informáticos"
Now showing items 1-3 of 3
-
@Erizainbot, a mobile chatbot for facilitating learning and collaboration outside the classroom in Health Sciences Education
; Pereira Varela, Juan Antonio
(Educación Editora, 2019)
This randomized controlled study assessed the impact and utility of a chatbot through Telegram for teaching complex theoretical aspects of a science subject of the degree in Nursing, while practicing oral communication. ... -
Exact Learning of Multivalued Dependencies
(Springer, 2015-10-31)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 ... -
Tableaux for Realizability of Safety Specifications
(Springer, 2023-03-03)We introduce a tableau decision method for deciding realizability of specifications expressed in a safety fragment of LTL that includes bounded future temporal operators. Tableau decision procedures for temporal and modal ...