Semantica de comportamiento en lenguajes de especificacion
Tesis doctoral de M. Pilar Nivela Alos Datos académicos de la tesis doctoral «Semantica de comportamiento en lenguajes de […]
Tesis doctoral de José Luis Balcazar Navarro
Información academica José Luis Balcazar Navarro. Tesis donde José Luis Balcazar Navarro ha sido autor, director o parte del tribunal.
Tecnicas de reescritura para especificaciones condicionales.
Tesis doctoral de María Luisa Navarro Gómez Datos académicos de la tesis doctoral «Tecnicas de reescritura para especificaciones condicionales.«
Caracterizacion de topologías basadas en conexiones con cuatro enlaces bidireccionales.
Tesis doctoral de Julio Ramon Beivide Palacio Datos académicos de la tesis doctoral «Caracterizacion de topologías basadas en conexiones
Selección guiada de características y búsqueda de modelos homogéneos en datos de alta dimensionalidad: un enfoque aplicado a problemas de teledetección
Tesis doctoral de Esteban García Cuesta Esta tesis estudia los problemas relacionados con la alta dimensionalidad de los datos en
Nuevos desarrollos en aprendizaje inductivo
Tesis doctoral de Gonzalo Pascual Ramos Jimenez Esta tesis se encuadra dentro de la inteligencia artificial. Concretamente se centra en
Computational complexity of problems over generalized formulas
Tesis doctoral de Victor Dalmau Lloret Datos académicos de la tesis doctoral «Computational complexity of problems over generalized formulas«
Learning with feed-forward neural networks: three schemes to deal with the bias/variance trade-off
Tesis doctoral de Enrique Romero Merino 1. An algorithm for sequential approximation with fnns, named sequential approximation with optimal coefficients
Complexity measures for resolution
Tesis doctoral de Juan Luis Esteban Angeles Datos académicos de la tesis doctoral «Complexity measures for resolution« Título de
Complexity mesures for resolution
Tesis doctoral de Juan Luis Esteban Angeles El capítulo 1 presenta la mayoría de los conceptos que se usarán más
The complexity of resource-bounded propositional proofs
Tesis doctoral de Albert Atserias Peri Datos académicos de la tesis doctoral «The complexity of resource-bounded propositional proofs« Título