Un modelo para la simulacion de las vibraciones de friccion de baja frecuencia en frenos de disco.
Tesis doctoral de Itziar Martija Lopez La tesis presentada estudia el problema de las vibraciones de baja frecuencias en frenos […]
Tesis doctoral sobre Ciencia de los ordenadores
Accede a todas las tesis doctorales sobre Ciencia de los ordenadores mas relevantes.
Un metodo de «parsing» para gramaticas categoriales multimodales.
Tesis doctoral de Francesc Xavier Llore Nadal Los metodos de prueba para gcms basados en redes de demostracion con formulas
Modelado y soporte al proceso de desarrollo software con tecnicas de descripcion formal (fdt).
Tesis doctoral de Yelmo Garcia Juan Carlos Esta tesis aborda algunos de los retos impuestos por el despliegue de nuevos
Implementacion eficiente de la recursividad final en lenguajes imperativos basada en nuevas tecnicas de compilacion.
Tesis doctoral de Diaz Labrador Jesús Luis El trabajo propone una implementacion eficiente de los programas recursivos finales en lenguajes
Procedimientos paralelos basados en los coeficientes de reed-muller para la generacion de patrones de test en circuitos digitales.
Tesis doctoral de Consolacion Gil Montoya En esta memoria se exploran las posibilidades de las tecnicas espectrales digitales en el
Metodos formales para normalizacion en logica de primer orden usando la metodología tas.
Tesis doctoral de Manuel Ojeda Aciego En la logica de primer orden la obtencion de formas normales es un prerrequisito
Obtencion de informacion cualitativa a partir de datos cuantitativos: aplicacion al analisis de sistemas complejos.
Tesis doctoral de José Cristóbal Riquelme Santos En esta tesis se estudia un problema de aprendizaje supervisado y automatico a
An empirical evaluation of simulation techniques for parallel simulation of message passing networks.
Tesis doctoral de Jose Miguel Alonso En el ambito del diseño de computadores, la simulacion es una herramienta imprescindible para
Comprobacion de tipos en programas incompletos.
Tesis doctoral de JavierOctavio Perez Campo El trabajo presenta el desarrollo de un sistema de comprobacion de tipos en programas
Cuantificacion de imagenes digitales.
Tesis doctoral de Julio Esclarin Monreal Dentro del tema de tratamiento de imagenes, se ha modelizado la cuantificacion de imagenes