[EN] In the last few years, Artificial intelligence (AI), has become an essential element of many technological fields. While AI has been developing on the level of algorithms, processing architectures have also been ...

[ES] En este documento se presenta el Trabajo de Final de Máster del Máster Universitario en Computación en la Nube y de Altas Prestaciones de la Universidad Politécnica de Valencia, consistente en el desarrollo, optimización ...

[ES] El presente documento presenta el desarrollo de una interfaz Java que, junto con un intérprete Prolog integrado, permite visualizar una explicación de la ejecución de este tipo de programas lógicos. Para utilizar ...

Se estudia la distribución de la varianza muestral.

[ES] El análisis automático de software permite verificar que un programa cumpla una serie de propiedades deseables sin intervención humana, aportando agilidad al proceso de ingeniería y reduciendo los riesgos del software ...

Se resuelven ejercicios aplicando la inferencia directa en lógica de enunciados. Se utiliza, además de las leyes y reglas de inferencia, las propiedades booleanas y las equivalencias más habituales.

[ES] En los últimos tiempos, hemos asistido a un resurgimiento de las redes neuronales para la resolución de problemas en múltiples ámbitos. Para un problema dado, en primer lugar se debe realizar el entrenamiento de la ...

Se introduce la inferencia directa en lógica de enunciados y se muestra como proceder en la práctica mediante algunos ejemplos sencillos

Se introduce la inferencia por reducción al absurdo en lógica de enunciados y se muestra como proceder en la práctica mediante algunos ejemplos sencillos

[EN] The study of protein-protein interaction networks has received a lot of attention by the research community lately. However, the experimental studies to reconstruct this kind of structures are expensive. Consequently, ...