Abstract interpretation techniques for the verification of timed systems
Tesis doctoral de Robert Clariso Viladrosa En muchos sistemas, la corrección se puede decidir comparando las respuestas a eventos del […]
Tesis doctoral sobre Informatica
Accede a todas las tesis doctorales sobre Informatica mas relevantes.
Historia clínica electrónica federada basada en la norma europea cen/tc251 en13606
Tesis doctoral de José Alberto Maldonado Segura Cada día más la atención sanitaria de un paciente es la responsabilidad compartida
Visualizacion interactiva de especies vegetales
Tesis doctoral de Inmaculada Remolar Quintana Uno de los problemas más importantes en la visualización interactiva de escenas exteriores es
Contributions to the generation and representation of digital terrain models
Tesis doctoral de José Francisco Poveda Albadalejo En el presente trabajo se abordan problemas y se proponen soluciones relacionadas con
Diseño de un entorno colaborativo y su aplicación a plataformas de aprendizaje
Tesis doctoral de María Antonia Martinez Carreras En los últimos años está cobrando relativa importancia las aplicaciones diseñadas para la
Contribuciones a la evaluación de sistemas recomendadores adaptativos.
Tesis doctoral de Félix Hernández Del Olmo El trabajo presenta un nuevo marco que describe cuestiones poco definidas, y muchas
Contribución a la síntesis de controladores robustos mediante técnicas lmis
Tesis doctoral de Revilla De Lucas Jesús En base al estado estudiado del arte se presentan una serie de extensiones
Metodología para el desarrollo de entornos de simulación que incorporen sistemas de control comerciales.
Tesis doctoral de Carrasco Mateos Juan Atanasio La presente tesis proporciona una metodología para el desarrollo de entornos de simulación
Aproximación paralela al problema inverso de valores propios
Tesis doctoral de Albertí Villalobos Pedro Enrique Un problema inverso de valores propios (pivp) es la reconstrucción de una matriz
A measurement-based process for cots component filtering
Tesis doctoral de Susana Alejandra Cechich Milen El filtrado de componentes cots consiste en decidir que alternativas deberan ser seleccionadas