Bilatu
5060-tik 4131-4140 emaitza erakusten
Using Machine Learning to Build Test Oracles: an Industrial Case Study on Elevators Dispatching Algorithms
(IEEE, 2021)
The software of elevators requires maintenance over several years to deal with new functionality, correction of bugs or legislation changes. To automatically validate this software, test oracles are necessary. A typical ...
A methodology for model-based verification of safety contracts and performance requirements
(SAGE, 2018)
The verification of safety requirements becomes crucial in critical systems where human lives depend on their correct functioning. Formal methods have often been advocated as necessary to ensure the reliability of software ...
Los retos de la co-generación en la búsqueda del impacto social de la universidad: un caso de construcción de un espacio dialógico a través de la investigación acción
(SINNERGIAK Social Innovation, 2018)
Al centro del debate sobre el impacto social de la universidad se encuentra una nueva división del trabajo en la producción de conocimiento que pueda responder a los retos de la sociedad. Esta nueva división del trabajo ...
Understanding Switched-Flux Machines: A MMF-Permeance Model and Magnetic Equivalent Circuit Approach
(IEEE, 2022)
Due to their particular structure, switched-flux permanent magnet machines have become a very interesting alternative for many applications. This is why some recent studies have been focused in the understanding of the ...
Modular battery energy storage system design factors analysis to improve battery-pack reliability
(Elsevier, 2022)
Traditional battery energy storage systems (BESS) are based on the series/parallel connections of big amounts of cells. However, as the cell to cell imbalances tend to rise over time, the cycle life of the battery-pack is ...
Explorando el black box: el efecto de los sistemas de gestión de personas en la autoeficacia, actitudes y comportamietnos de los trabajadores de producción y en el rendimiento organizativo
(UPV/EHU, 2009)
Existen numerosas evidencias de relación entre los sistemas de prácticas de gestión de personas y el rendimiento en la literatura de la gestión estratégica de personas (SHRM). Sin embargo, son todavía pocas las investigaciones ...
Real-Time, Model-Agnostic and User-Driven Counterfactual Explanations Using Autoencoders
(MDPI, 2023)
Explainable Artificial Intelligence (XAI) has gained significant attention in recent years due to concerns over the lack of interpretability of Deep Learning models, which hinders their decision-making processes. To address ...
Different approaches for the detection of SSH anomalous connections
(Oxford Academic, 2016)
The Secure Shell Protocol (SSH) is a well-known standard protocol, mainly used for remotely accessing shell accounts on Unix-like operating systems to perform administrative tasks. As a result, the SSH service has been an ...
Introduction
(River Publishers, 2018)