Herráez Boquera, José; Martínez Llario, José Carlos; Coll Aliaga, Peregrina Eloína; Rodríguez, J.; Martín, M.T.(IOP Publishing: Hybrid Open Access, 2013)
Nowadays, close-range photogrammetry and a laser scanner are the two most popular
techniques in reconstruction of three-dimensional objects. This paper develops a methodology
based on videogrammetry to reconstruct 3D ...
Valero Bresó, Alejandro; Sahuquillo Borrás, Julio; Petit Martí, Salvador Vicente; López Rodríguez, Pedro Juan; Duato Marín, José Francisco(Institute of Electrical and Electronics Engineers (IEEE), 2015-07)
In recent years, embedded dynamic random-access memory (eDRAM) technology has been implemented in last-level
caches due to its low leakage energy consumption and high density. However, the fact that eDRAM presents slower ...
This paper presents a fault diagnosis application of the Latent Nestling Method to IGBTs. The paper extends the Latent Nestling Method based in Coloured Petri Nets (CPNs) to hybrid systems in such a manner that IGBTs ...
[EN] Renewable energies are a central element in the search for energy sustainability, so they are becoming a substantial component of the energy scenario of every country, both as systems connected to the grid or in ...
Rodríguez Urrego, Leonardo; García Moreno, Emilio; Morant Anglada, Francisco José; Correcher Salvador, Antonio; Quiles Cucarella, Eduardo(Institute of Electrical and Electronics Engineers (IEEE), 2013-04)
This paper presents the Latent Nestling Method (LNM) formalization in hybrid systems. For the proposed LNM, it is necessary to include places of continuous or differential character, allowing the analysis of continuous ...
Renewable systems are especially suited for electricity generation in remote areas but, where high reliability of the electricity supply is required, a hybrid system including electricity storage could be the only solution ...
Polynomial constraint solving plays a prominent role in several areas of hardware and software analysis and verification, e.g.; termination proving, program invariant generation and hybrid system verification, to name a ...
[EN] This Case-based Recommender system for rehabilitation videogames recommends activities and videogames in order to rehabilitate individuals with disabilities due to accidents, illnesses, or aging. Videogames are ...