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 ...

The implementation of the Water Framework Directive implies the determination of an environmental flow (E-flow) in each running water body. In Spain, many of the minimum flow assessments were determined with the physical ...

En este proyecto se pretende realizar el diseño e implementación de un algoritmo que, mediante técnicas de visión artificial, realice una inspección y clasificación eficiente de frutas. El algoritmo, basado en las fases ...