19 citations
Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
- Universitat Politècnica de ValènciaES8 papers
- Universidad Politécnica de MadridES2 papers
- Adam Mickiewicz University in PoznańPL1 paper
- Amplitude Systèmes (France)FR1 paper
- Astronomical ObservatoryRS1 paper
- Centro de Estudios de Física del Cosmos de AragónES1 paper
- Consejo Superior de Investigaciones CientíficasES1 paper
- École Supérieure de Commerce de RennesFR1 paper
- Fundación Centro Tecnológico de la Información y la ComunicaciónES1 paper
- Heilbronn UniversityDE1 paper
- Hospital Universitario Infanta LeonorES1 paper
- Institut de Recherche en Informatique et Systèmes AléatoiresFR1 paper
15 papers
Progressive Web Application for Storytelling Therapy Support
Javier Jimenez-Honrado, Javier Gomez Garcia, Felipe Costa-Tebar +3
In spite of all advances promoted by information technologies, there are still activities where this technology is not applied for reasons such as being carried out in non-profit o…
A catalog of near-IR absolute magnitudes of Solar System small bodies
Alvaro Alvarez-Candal, Juan Luis Rizos, Milagros Colazo +5
Context. Phase curves of small bodies are useful tools to obtain their absolute magnitudes and phase coefficients. The former relates to the object's apparent brightness, while the…
In silico evaluation of pramlintide dosing algorithms in artificial pancreas systems
Borja Pons Torres, Iván Sala Mira, Clara Furió-Novejarque +4
Pramlintide's capability to delay gastric emptying has motivated its use in artificial pancreas systems, accompanying insulin as a control action. Due to the scarcity of pramlintid…
Proof Scores: A Survey (full version)
Adrian Riesco, Kazuhiro Ogata, Masaki Nakamura +3
Proof scores can be regarded as outlines of the formal verification of system properties. They have been historically used by the OBJ family of specification languages. The main ad…
Reinforcement Learning-Based Framework for the Intelligent Adaptation of User Interfaces
Daniel Gaspar-Figueiredo, Marta Fernández-Diego, Ruben Nuredini +2
Adapting the user interface (UI) of software systems to meet the needs and preferences of users is a complex task. The main challenge is to provide the appropriate adaptations at t…
A NN procedure in semiparametric functional data analysis
Silvia Novo, Germán Aneiros, Philippe Vieu
A fast and flexible NN procedure is developed for dealing with a semiparametric functional regression model involving both partial-linear and single-index components. Rates of u…
Measuring User Experience of Adaptive User Interfaces using EEG: A Replication Study
Daniel Gaspar-Figueiredo, Silvia Abrahão, Emilio Insfrán +1
Adaptive user interfaces have the advantage of being able to dynamically change their aspect and/or behaviour depending on the characteristics of the context of use, i.e. to improv…
Artificial Intelligence Model for Tumoral Clinical Decision Support Systems
Guillermo Iglesias, Edgar Talavera, Jesús Troya Garcìa +2
Comparative diagnostic in brain tumor evaluation makes possible to use the available information of a medical center to compare similar cases when a new patient is evaluated. By le…
A packet-based dual-rate PID control strategy for a slow-rate sensing Networked Control System
A. Cuenca, J. Alcaina, J. Salt +2
This paper introduces a packet-based dual-rate control strategy to face time-varying network-induced delays, packet dropouts and packet disorder in a Networked Control System. Slow…
Adversarial Ladder Networks
Juan Maroñas Molano, Alberto Albiol Colomer, Roberto Paredes Palacios
The use of unsupervised data in addition to supervised data in training discriminative neural networks has improved the performance of this clas- sification scheme. However, the be…
Varieties of Unranked Tree Languages
Magnus Steinby, Eija Jurvanen, Antonio Cano
We study varieties that contain unranked tree languages over all alphabets. Trees are labeled with symbols from two alphabets, an unranked operator alphabet and an alphabet used fo…
The Complexity of Synthesizing Uniform Strategies
Bastien Maubert, Sophie Pinchinat, Laura Bozzelli
We investigate uniformity properties of strategies. These properties involve sets of plays in order to express useful constraints on strategies that are not μ-calculus definable. T…
Abstract Diagnosis for Timed Concurrent Constraint programs
Marco Comini, Laura Titolo, Alicia Villanueva
The Timed Concurrent Constraint Language (tccp in short) is a concurrent logic language based on the simple but powerful concurrent constraint paradigm of Saraswat. In this paradig…
Modelling Nonlinear Sequence Generators in terms of Linear Cellular Automata
Amparo Fúster-Sabater, Dolores de la Guía-Martínez
In this work, a wide family of LFSR-based sequence generators, the so-called Clock-Controlled Shrinking Generators (CCSGs), has been analyzed and identified with a subset of linear…
A Formalization of the Semantics of Functional-Logic Programming in Isabelle
Francisco López Fraguas, Stephan Merz, Juan Rodríguez Hortalá
Modern functional-logic programming languages like Toy or Curry feature non-strict non-deterministic functions that behave under call-time choice semantics. A standard formulation…