We obtain a quasi-metric generalization of Caristi's fixed point theorem for a kind of complete quasi-metric spaces. With the help of a suitable modification of its proof, we deduce a characterization of Smyth complete ...

We obtain a fixed point theorem for a type of generalized contractions on preordered complete fuzzy quasi-metric spaces which is applied to deduce, among other results, a procedure to show in a direct and easy fashion the ...

The first step to detect when a vineyard has any type of deficiency, pest or disease is to observe its stems, its grapes and/or its leaves. To place a sensor in each leaf of every vineyard is obviously not feasible in terms ...

In this paper we describe some algorithms to identify permutable and Sylow-permutable subgroups of finite groups, Dedekind and Iwasawa finite groups, and finite T-groups (groups in which normality is transitive), PT-groups ...

[EN] The ensemble Kalman filter (EnKF) is a commonly used real-time data assimilation algorithm in various disciplines. Here, the EnKF is applied, in a hydrogeological context, to condition log-conductivity realizations ...

[ES] En el presente trabajo se expone el proceso llevado a cabo para desarrollar las estructuras de datos necesarias para que un reconocedor de voz basado en el algoritmo de Viterbi pueda funcionar en tiempo real, junto ...

[ES] El objetivo del proyecto será desarrollar una aplicación web orientada a la formación de grupos de trabajo. El sistema tendrá que permitir la gestión de usuarios, gestión de actividades grupales, encuestas y formularios ...

[EN] The society in which we live has become a digital society in recent years and architectural design has evolved greatly with the advent of new computational creation tools, one of them being parametric design. These ...

Automatic speech recognition (ASR) refers to the task of extracting a transcription of the linguistic content of an acoustical speech signal automatically. Despite several decades of research in this important area of ...

This paper describes a methodology for the analysis and design of Reinforced Concrete (RC) tall bridge piers with hollow rectangular sections, which are typically used in deep valley bridge viaducts. Piers are usually ...