Analisis de lenguajes logicos concurrentes mediante interpretacion abstracta.
Tesis doctoral de María Del Mar Gallardo Melgarejo En la memoria se muestran distintas aplicaciones de la tecnica de interpretación […]
Tesis doctoral sobre Informatica
Accede a todas las tesis doctorales sobre Informatica mas relevantes.
Diseño de sistemas de control no lineales mediante qft: analisis computacional y desarrollo de una herramienta cacsd.
Tesis doctoral de Francisco Jose Montoya Dato En el diseño de sistemas de control robusto no lineales mediante qft (lo
Sistema cscw para la enseñanza de composicion escrita basado en una interfaz de lapiz electronico.
Tesis doctoral de Gonzalez Rodriguez Oscar M. En esta tesis se presenta un nuevo sistema basado en lápiz electrónico para
Soft computing y aplicaciones biomedicas. estudio del glaucoma en estado incipiente.
Tesis doctoral de Reyes De Los Mozos Mario En el presente trabajo se ilustra el uso de las metodologías comprendidas
Parallelization and compilation issues of sparse qr algorithms.
Tesis doctoral de Juan Touriño Dominguez La tesis doctoral se centra en el estudio y desarrollo de métodos eficientes para
Procesamiento de imagenes de macromoleculas biologicas a alta resolucion: nuevos desarrollos metodologicos y aplicacion experimental.
Tesis doctoral de José Jesús Fernández Rodríguez La microscopia electronica posee un gran potencial como herramienta en el estudio de
Clasificacion particional difusa no supervisada aplicando propiedades geometricas locales.
Tesis doctoral de Antonio Flores Sintas El agrupamiento no supervisado de muestras es una tarea de investigacion al que se
Un modelo para el diseño conceptual de bases de datos: el modelo ean.
Tesis doctoral de Jorge Lloret Gazo Uno de los modelos mas ampliamente usados en la fase de diseño conceptual de
Modelos en programacion dinamica paralela para el caso discreto.
Tesis doctoral de Francisco Almeida Rodriguez En este trabajo se introducen modelos formales basados en la teoria de automatas para
Paralelizacion de bucles basada en recurrencias de scheduling.
Tesis doctoral de Cristina Barrado Muxi La ejecucion eficiente de los programas es el objetivo de la fase de optimizacion