Buscar
Mostrando ítems 1-4 de 4
Trabajo Fin de Máster
Constrained support vector machines theory and applications to health science
(2016-06-24)
En los últimos años, la ciencia de los datos se ha convertido en una herramienta muy importante para tratar datos, así como para descubrir patrones y generar información útil en la toma de decisiones. Una de las tareas más ...
Trabajo Fin de Máster
Lineabilidad en espacios de sucesiones
(2016-06)
Desde siempre, grandes matemáticos de todas las épocas se han sentido atraídos y fascinados por la existencia de grandes estructuras algebraicas que verifican ciertas propiedades que, a priori, contradicen la intuición ...
Trabajo Fin de Máster
Verificación formal de la lógica de Hoare en Isabelle/HOL
(2016-09)
Hoare logic is a formal system developed by C.A.R. Hoare. This logic was introduced to verify formally imperative programs. That is, with the Hoare logic we can ensure and prove that a particular program performs exactly ...
Trabajo Fin de Máster