Logica temporal y demostracion automatica de teoremas. eficiencia y paralelismo
Tesis doctoral de Enciso Garcia Oliveros Manuel Este trabajo se enmarca en la demostracion automatica de teoremas en logica modal […]
Tesis doctoral sobre Ciencia de los ordenadores
Accede a todas las tesis doctorales sobre Ciencia de los ordenadores mas relevantes.
Optimizacion de la poliValencia de los recursos productivos en empresas que trabajan bajo pedido, mediante simulacion.
Tesis doctoral de Arnal Fraj Ana M. Se plantea el problema de scheduling de la produccion con limitacion variable de
Adquisicion de restricciones selectivas adecuadas a partir de corpus usando una taxonomia semantica.
Tesis doctoral de Francesc Ribas Framis El objetivo principal de esta tesis es el de investigar tecnicas y algoritmos computacionales
Sistematizacion y uso de las tecnicas de visualizacion de programas concurrentes.
Tesis doctoral de Gomez Henriquez Luis Manuel La visualizacion de programas es el arte de hacer que los programas tengan
Constribucion al modelado y a la evaluacion de prestaciones en redes de area local industriales
Tesis doctoral de Gil Salinas José Antonio La presente tesis doctoral versa sobre el modelado y evaluacion de redes de
Estudio, aplicaciones y optimizacion de algoritmos neuronales de cuantizacion vectorial mediante algoritmos geneticos.
Tesis doctoral de Juan Julian Merelo Guervos En esta tesis se presenta un nuevo algoritmo de clasificacion denominado g-lvq. Este
Modelizacion de los principales mecanismos del funcionamiento del sistema nervioso de los seres vivos.
Tesis doctoral de Vico Vela Francisco Jose En este trabajo se modelan los principales mecanismos del funcionamiento del sistema nervioso
Diseño de elementos finitos h-adaptables basado en tecnologías orientadas a objeto.
Tesis doctoral de Zurita Gabasa Jesús Adolfo En la presente tesis doctoral se ha realizado un programa de analisis mecanico
Higher-order statistics applications in image sequence processing
Tesis doctoral de Elisa Sayrol Clols Esta tesis trata dos aplicaciones de los estadisticos de orden superior al tratamiento de
Modelo de programacion basado en actores para sistemas masivamente paralelos.
Tesis doctoral de Hernandez Nuñez Juan M. Los avances tecnologicos y la disminucion progresiva de los precios del hardware, han