Search
Now showing items 41-50 of 72
Empirical Analysis of Medium Wave Field Strength Prediction in Urban Environments
(IEEE, 2010-05-13)
[EN] This paper presents results obtained from four extensive field trials of medium wave DRM (Digital Radio Mondiale) which were carried out in Madrid (Spain), Delhi (India) and Mexico D.F. (Mexico) using different ...
A new view of Basque through eighteenth-century correspondence
(John Benjamins, 2015)
This contribution deals with a recently discovered Basque correspondence which poses new research questions. The letters, written in Labourdin dialect in 1757, provide insight into the practice of writing, depicting an ...
Pre-clinical validation of the UHP multifunctional upper-limb rehabilitation robot based platform
(IEEE, 2019-01-06)
Interest in robotic devices for rehabilitation has increased in the last years, due to the increasing number of patients that require rehabilitation therapies, and the need to optimize existing resources. The UHP rehabilitation ...
Towards Certified Model Checking for PLTL Using One-Pass Tableaux
(Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019-10-19)
The standard model checking setup analyses whether the given system specification satisfies a dedicated temporal property of the system, providing a positive answer here or a counter-example. At the same time, it is often ...
Extending Fairness Expressibility of ECTL+: A Tree-Style One-Pass Tableau Approach
(Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2018-10-08)
Temporal logic has become essential for various areas in computer science, most notably for the specification and verification of hardware and software systems. For specification purposes rich temporal languages are required ...
Technique for embedding fiber optics in metallic structures for Smart material applications
(NDT.net, 2016)
In this paper a technique to embed fiber optic sensors (FOS) to metallic structures is presented and validated opening possibilities to smart metallic structures. The technique is based in widely adopted and low cost TIG ...
A system approach to harnessing wind energy in a railway infrastructure
(IEEE, 2018-12-30)
This paper focuses on a system approach aimed at harnessing the wind potential in a railway infrastructure. The key aspect of the proposed system lies in using the mass of air displaced during the movement of a train along ...
Automatic Cardiac Rhythm Classification with Concurrent Manual Chest Compressions
(IEEE, 2019-08-13)
Electrocardiogram (EKG) based classification of out-of-hospital cardiac arrest (OHCA) rhythms is
important to guide treatment and to retrospectively elucidate the effects of therapy on patient response.
OHCA rhythms are ...
Characterising the rankings produced by combinatorial optimisation problems and finding their intersections.
(Association for Computing Machinery, 2019-07)
[EN] The aim of this paper is to introduce the concept of intersection between combinatorial optimisation problems. We take into account that most algorithms, in their machinery, do not consider the exact objective function ...
A protocol to test the sensitivity of lighting equipment to voltage fluctuations
(CIRED, 2015)
The massive application of new lighting technologies and the phase out of incandescent lamps present an important challenge in terms of flicker. The standardized flicker measurement procedure and the existing compatibility ...