Examinar Liburuak eta atalak por departamento (cas.) "Lenguajes y sistemas informáticos"
3-tik 1-3 emaitza erakusten
-
@Erizainbot, a mobile chatbot for facilitating learning and collaboration outside the classroom in Health Sciences Education
(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 ...