Buscar
Mostrando ítems 1-6 de 6
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
Efecto del cadmio en la simbiosis de Ensifer meliloti y E. medicae con Medicago sativa
(2016)
En este trabajo se pretende conocer el efecto del cadmio sobre la simbiosis que establecen E. medicae SVQ748 y E. meliloti Rm2011 con M. sativa, así como el papel de los genes nolG y nolF, pertenecientes a la familia RND ...
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
Trabajo Fin de Máster
Iminoazúcares sp2 en inmunoterapias contra el cáncer
(2016)
En la actualidad, los tratamientos más utilizados para combatir el cáncer se basan en el uso de quimioterapia, radioterapia y cirugía. El principal inconveniente que presentan estas terapias es la escasa selectividad que ...