BackExaminar Artículos por departamento (cas.) "Lenguajes y sistemas informáticos"
Now showing items 1-20 of 74
-
A Hierarchical Machine Learning Solution for the Non-Invasive Diagnostic of Autonomic Dysreflexia
; ; Yera Gil, Ainhoa
; Martínez Rodríguez, Raquel ; ; ; (MDPI, 2022-02-15)
More than half of patients with high spinal cord injury (SCI) suffer from episodes of autonomic dysreflexia (AD), a condition that can lead to lethal situations, such as cerebral haemorrhage, if not treated correctly. ... -
A mechanism for discovering semantic relationships among agent communication protocols
; Bermúdez de Andrés, Jesús; ; Illarramendi Echave, María Aránzazu (Springer, 2011-11)
One relevant aspect in the development of the Semantic Web framework is the achievement of a real inter-agent communication capability at the semantic level. Agents should be able to communicate with each other freely ... -
A novel taxonomy of student-generated video styles
Arruabarrena Santos, Rosa María; Sánchez Ortega, Ana ; Domínguez, César; Jaime, Arturo (Springer, 2021-11-08)
[EN]Video is a medium increasingly used in education. The styles of videos produced for academic purposes have been studied in the literature based mainly on those initially designed by instructors for use in MOOCs. In ... -
A Robust Optimization Based Energy-Aware Virtual Network Function Placement Proposal for Small Cell 5G Networks with Mobile Edge Computing Capabilities
Blanco Jauregui, Begoña; Taboada Puente, Ianire ; ; (Hindawi, 2017)
In the context of cloud-enabled 5G radio access networks with network function virtualization capabilities, we focus on the virtual network function placement problem for a multitenant cluster of small cells that provide ... -
A Semantic Approach for Big Data Exploration in Industry 4.0
; ; Illarramendi Echave, María Aránzazu (Elsevier, 2021-04-19)
The growing trends in automation, Internet of Things, big data and cloud computing technologies have led to the fourth industrial revolution (Industry 4.0), where it is possible to visualize and identify patterns and ... -
A Telerehabilitation System for the Selection, Evaluation and Remote Management of Therapies
; ; Bermúdez de Andrés, Jesús; ; Illarramendi Echave, María Aránzazu (MDPI, 2018-05)
Telerehabilitation systems that support physical therapy sessions anywhere can help save healthcare costs while also improving the quality of life of the users that need rehabilitation. The main contribution of this paper ... -
Actor-critic continuous state reinforcement learning for wind-turbine control robust optimization
; ; Osa Amilibia, Juan Luis; Larrucea Uriarte, Xabier (Elsevier, 2022-04)
[EN] The control of Variable-Speed Wind-Turbines (VSWT) extracting electrical power from the wind kinetic energy are composed of subsystems that need to be controlled jointly, namely the blade pitch and the generator torque ... -
Advances in monolingual and crosslingual automatic disability annotation in Spanish
(BMC, 2023-06)Background Unlike diseases, automatic recognition of disabilities has not received the same attention in the area of medical NLP. Progress in this direction is hampered by obstacles like the lack of annotated corpus. ... -
An Algebraic Preservation Theorem for Aleph-Zero Categorical Quantified Constraint Satisfaction
(Logical Methods in Computer Science c/o Institut f. Theoretische Informatik, Technische Universität Braunschweig, 2013-03-29)We prove an algebraic preservation theorem for positive Horn definability in aleph-zero categorical structures. In particular, we define and study a construction which we call the periodic power of a structure, and define ... -
Analysis of Deep Learning-Based Decision-Making in an Emotional Spontaneous Speech Task
De Velasco Vázquez, Mikel; Justo Blanco, Raquel ; López Zorrilla, Asier ; Torres Barañano, María Inés (MDPI, 2023-01-11)
In this work, we present an approach to understand the computational methods and decision-making involved in the identification of emotions in spontaneous speech. The selected task consists of Spanish TV debates, which ... -
Assessing Industrial Communication Protocols to Bridge the Gap between Machine Tools and Software Monitoring
(MDPI, 2023-06-18)Industrial communication protocols are protocols used to interconnect systems, interfaces, and machines in industrial environments. With the advent of hyper-connected factories, the role of these protocols is gaining ... -
Automatic feedback and assessment of team-coding assignments in a DevOps context
(Springer, 2023)We describe an automated assessment process for team-coding assignments based on DevOps best practices. This system and methodology includes the definition of Team Performance Metrics measuring properties of the software ... -
Automatic white-box testing of first-order logic ontologies
Álvez Giménez, Javier; ; ; Rigau Claramunt, Germán (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 ... -
Benchmarking Object Detection Deep Learning Models in Embedded Devices
Cantero, David; Esnaola-Gonzalez, Iker ; ; (MDPI, 2022)
Object detection is an essential capability for performing complex tasks in robotic applications. Today, deep learning (DL) approaches are the basis of state-of-the-art solutions in computer vision, where they provide very ... -
Beyond Q-Resolution and Prenex Form: a Proof System for Quantified Constraint Satisfaction
(Technische Universität Braunschweig, Institute of Theoretical Computer Science, 2014)We consider the quanti fied constraint satisfaction problem (QCSP) which is to decide, given a structure and a first-order sentence (not assumed here to be in prenex form) built from conjunction and quanti fication, whether ... -
Binding SNOMED-CT Terms to Archetype Elements: Establishing a Baseline of Results
; Bermúdez de Andrés, Jesús; Illarramendi Echave, María Aránzazu (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 ... -
Branching-time logic ECTL# and its tree-style one-pass tableau: Extending fairness expressibility of ECTL+
(Elsevier, 2020-02-13)Temporal logic has become essential for various areas in computer science, most notably for the specification and verification of hardware and software systems. For the specification purposes rich temporal languages are ... -
Building synthetic simulated environments for configuring and training multi-camera systems for surveillance applications
(SciTePress, Science and Technology Publications, Lda, 2021)[EN] Synthetic simulated environments are gaining popularity in the Deep Learning Era, as they can alleviate the effort and cost of two critical tasks to build multi-camera systems for surveillance applications: setting ... -
CASA: An Architecture to Support Complex Assessment Scenarios
VILLAMAÑE GIRONES, MIKEL; Álvarez Arana, Ainhoa Izaro ; (IEEE, 2020)
The evaluation or assessment of student performance and knowledge is a central element of most instructional design models, as it provides the information required to take remediation actions and improve the learning ... -
Cause of Death estimation from Verbal Autopsies: Is the Open Response redundant or synergistic?
; ; Pérez Ramírez, Alicia; Oronoz Anchordoqui, Maite ; (Elsevier, 2023-09)
Civil registration and vital statistics systems capture birth and death events to compile vital statistics and to provide legal rights to citizens. Vital statistics are a key factor in promoting public health policies and ...