Modelizacion difusa de sistemas mediante tecnicas inductivas.
Tesis doctoral de Luis Jimenez Linares El concepto de sistemas modeliza las relaciones causa-efecto. La construccion de modelos de sistemas […]
Tesis doctoral sobre Ciencia de los ordenadores
Accede a todas las tesis doctorales sobre Ciencia de los ordenadores mas relevantes.
Marco formal para el desarrollo de procesos de adquisicion de conocimientos del dominio. aplicacion a tareas de planificacion medioambiental.
Tesis doctoral de Rodrigo Martínez Béjar Frecuentemente, las tecnicas de extraccion del conocimiento no se ajustan al problema a resolver,
Algoritmos de soporte para tolerancia a fallos. aplicacion a la comunicacion punto a punto.
Tesis doctoral de Vicente Cerveron Lleo La tesis presentada consiste en el estudio de la fiabilidad de los sistemas its
Proof procedures for multiple-valued propositional logics.
Tesis doctoral de Felip Maña Serres En esta tesis se presentan procedimientos de prueba para logicas proposicionales multivaluadas. Se definen
Automatic synthesis of update transaction programs in deductive databases.
Tesis doctoral de Joan Antoni Pastor Collado Datos académicos de la tesis doctoral «Automatic synthesis of update transaction programs
Interpretacion geometrica de redes neuronales recurrentes discretas mediante grafos completos.
Tesis doctoral de Victor Gimenez Martinez El objetivo fundamental del presente trabajo es explorar nuevas tecnicas de implementacion, basadas en
Modelizacion de superficies derivadas del analisis de procesos naturales. aplicacion a su representacion grafica.
Tesis doctoral de Auñon Lopez Juan Manuel Conocer una variable ligada a procesos naturales, a partir de informacion discreta de
Verificacio automatica de programes basada en semantica de comportament i logica de primer ordre: el metodo alice.
Tesis doctoral de Palasi Lallana Vicent Ramon Se presenta un metodo de verificacion automatica llamado alice (algebraic inference of the
Inferencia de lenguajes racionales estocasticos.
Tesis doctoral de Carrasco Jimenez Rafael Carlos Se presentan una serie de algoritmos que permiten la identificacion eficiente de lenguajes
Aplicacion de tecnicas basadas en logica difusa para la mejora del comportamiento de los algoritmos geneticos con codificacion real.
Tesis doctoral de Manuel Lozano Marquez La memoria aborda la aplicacion de tecnicas basadas en logica difusa para diseñar algoritmos