Bilatu
3044-tik 2971-2980 emaitza erakusten
Runtime Contracts Checker: Increasing Robustness of Component-Based Software Systems
(IOP Publishing, 2019)
Software Systems are becoming increasingly complex leading to new Validation &Verification challenges. Model checking and testing techniques are used at development time while runtime verification aims to verify that a ...
Visión del Diseño Inclusivo en EspañaVision about Inclusive Design in Spain
(AEIPRO, 2017)
In a global world, where cultures intertwine and where many countries see their population aging, many people is excluded by traditional products and services. Spain is not an exception and there are groups of people that ...
Uxer: Nueva herramienta para la evaluación heurística de la experiencia en entornos interactivos y digitales
(AEIPRO, 2017)
The digital interfaces have become the spaces that more interactive flows are generated between products/services and people. The latest proposals allow us to control an entire building, a production facility or execute ...
Metodología UCAD: Principios para garantizar el desarrollo de soluciones digitales que tienen en cuenta a los usuarios
(AEIPRO, 2017)
The so-called Industry 4.0 has caused the introduction of new digital technologies that increase and improve the production and potential of the new intelligent industry. For that, it’s necessary a good communication between ...
A Data-Driven Health Assessment Method for Electromechanical Actuation Systems
(Prognostics and Health Management Society, 2016)
The design of health assessment applications for the electromechanical actuation system of the aircraft is a challenging task. Physics-of-failure models involve non-linear complex equations which are further complicated ...
Social Networks, Big Data and Transport Planning
(Elsevier, 2016)
The characteristics of people who are related or tied to each individual affects her activity-travel behavior. That influence is especially associated to social and recreational activities, which are increasingly important. ...
Influencia de la frecuencia respiratoria inducida en los valores HRV
(Servicio Editorial de la Universidad del País VascoEuskal Herriko Unibertsitateko Argitalpen Zerbitzua, 2017)
The study of Place Cells, hippocampal neurons tuned to spatial locations in the environment, is central to elucidate how the brain encodes and retrieves spatial information. Advances in genetic and imaging technologies ...
Comparison : Group Model Building Workshops of Two SMEs from the Basque Industrial Sector
(Universitat Politècnica de Valencia, 2017)
Group Model Building (GMB) is a methodology which involves a target group in the business of model formulation and conceptualization. It is crucial to obtain extended formal models and accelerate group decision support for ...
Understanding human response to tactile stimuli: A Machine Learning approach
(VISLAB, 2018)
Whereas understanding human reaction to touch is of great interest in many medical applications, it is still a very unknown field. This research aims to clarify the nature of the relation between endogenous and exogenous ...
DC versus AC in residential buildings: efficiency comparison
(IEEE, 2013)
DC energy solutions are gaining interest in recent years, due to improvements in power electronics. Some companies have developed solutions for the domestic implementation of DC power systems. This article analyzes the ...