Hola,
¿eres nuevo aquí?

Regístrate gratis y conecta tu empresa con financiación pública, partners y proyectos.

Tengo cuenta

Regístrate

Ver video

TIN2013-45732-C4-2-P

Financiado

UNA APROXIMACION DECLARATIVA AL MODELADO, ANALISIS Y RESOLUCION DE PROBLEMAS

LOS PROBLEMAS DE DECISION Y DE OPTIMIZACION DUROS ESTAN PRESENTES EN MUCHAS APLICACIONES DE LAS HERRAMIENTAS INFORMATICAS, ALGUNOS DE LOS DESAFIOS A RESPONDER SON: ¿COMO PROGRAMAMOS UNA LIGA DEPORTIVA PROFESIONAL? ¿ES UN PROTOCOLO... ver más

01/01/2013

UCLM

31K€

Presupuesto del proyecto: 31K€

Líder del proyecto

UNIVERSIDAD DE CASTILLA-LA MANCHA No se ha especificado una descripción o un objeto social para esta compañía.

Total investigadores 2586

Financiación concedida El organismo AGENCIA ESTATAL DE INVESTIGACIÓN notifico la concesión del proyecto el día 2013-01-01 No tenemos la información de la convocatoria

0% 100%

Participantes

UCLM

Lider

Conecta tu I+D

¿Tienes un proyecto y buscas un partner? Gracias a nuestro motor inteligente podemos recomendarte los mejores socios y ponerte en contacto con ellos. Te lo explicamos en este video

Proyectos interesantes

TIN2013-45732-C4-3-P UNA APROXIMACION DECLARATIVA AL MODELADO, ANALISIS Y RESOLUC... 36K€ Cerrado

TIN2013-45732-C4-1-P UNA APROXIMACION DECLARATIVA AL MODELADO, ANALISIS Y RESOLUC... 44K€ Cerrado

TIN2013-45732-C4-4-P UNA APROXIMACION DECLARATIVA PARA MODELIZAR, ANALIZAR Y RESO... 12K€ Cerrado

TIN2015-67661-P NUEVAS METODOLOGIAS DE SOFT COMPUTING PARA PROBLEMAS DE ALTA... 116K€ Cerrado

MTM2015-65915-R MATHEMATICAL OPTIMIZATION FOR DATA VISUALIZATION AND DECISIO... 170K€ Cerrado

TIN2009-14562-C05-04 FEAST: FUNDAMENTOS Y EXTENSIONES DE LA TECNOLOGIA ANSWER SET... 141K€ Cerrado

Líder del proyecto

UNIVERSIDAD DE CASTILLA-LA MANCHA No se ha especificado una descripción o un objeto social para esta compañía.

Total investigadores 2586

Presupuesto del proyecto 31K€

Descripción del proyecto LOS PROBLEMAS DE DECISION Y DE OPTIMIZACION DUROS ESTAN PRESENTES EN MUCHAS APLICACIONES DE LAS HERRAMIENTAS INFORMATICAS, ALGUNOS DE LOS DESAFIOS A RESPONDER SON: ¿COMO PROGRAMAMOS UNA LIGA DEPORTIVA PROFESIONAL? ¿ES UN PROTOCOLO CRIPTOGRAFICO SEGURO? ¿HAY DATOS DE ENTRADA QUE CAUSEN QUE UN PROGRAMA SE CUELGUE O PRODUZCA UNA SALIDA EQUIVOCADA? ¿CUAL ES LA FRANJA HORARIA MAS CONVENIENTE PARA UNA VIDEOCONFERENCIA? ¿COMO SE PUEDE DEFINIR UN CONTROL DE ADMISION FLEXIBLE PARA OVERBOOKING SEGURO PARA LA COMPUTACION EN NUBE? ¿COMO SE PUEDE DEFINIR UNA CATALOGACION DE TEXTOS Y RECUPERACION DE LA INFORMACION FLEXIBLES PARA LA WEB (SEMANTICA)?,UN ENFOQUE DECLARATIVO PARA RESOLVER ESTE TIPO DE PROBLEMAS CONSISTE EN MODELAR EL PROBLEMA EN ALGUN MARCO LOGICO Y LUEGO APLICAR POTENTES TECNICAS BASADAS EN LA LOGICA PARA ANALIZAR Y/O RESOLVER EL MODELO RESULTANTE, EN ESTE CONTEXTO, LOS PROBLEMAS A MENUDO SE PUEDEN FORMULAR UTILIZANDO FORMULAS MATEMATICAS U OTROS LENGUAJES BASADOS EN LOGICA, UNA VEZ QUE EL PROBLEMA SE EXPRESA EN EL LENGUAJE CORRESPONDIENTE, PODEMOS UTILIZAR TECNICAS GENERALES EXISTENTES O CREAR OTRAS NUEVAS PARA RESOLVERLO, CUANDO SE APLICA ESTE ENFOQUE A NUESTROS PROBLEMAS ESPECIFICOS, ES POSIBLE QUE NECESITEMOS UTILIZAR ALGUNAS DE SUS PARTICULARIDADES CON EL FIN DE MEJORAR SU RENDIMIENTO, SIN EMBARGO, GRACIAS A LA ABSTRACCION INICIAL DE LOS PROBLEMAS PARTICULARES A LOS PROBLEMAS GENERALES EXPRESADOS EN UN LENGUAJE DETERMINADO, ESTE "ENFOQUE DECLARATIVO" HACE EL DESARROLLO DE HERRAMIENTAS PARA RESOLVER PROBLEMAS REALES DUROS MUCHO MAS FACIL Y RAPIDO,COMO MARCOS LOGICOS USAREMOS PRINCIPALMENTE (EXTENSIONES DE) LA LOGICA PROPOSICIONAL Y LA DE PRIMER ORDEN, EN PARTICULAR, VAMOS A CONSIDERAR: SAT (SATISFACCION DE FORMULAS PROPOSICIONALES), SAT MODULO TEORIAS (SMT), PROGRAMACION CON RESTRICCIONES (CP), LOGICA DIFUSA (FL), LOGICA DE REESCRITURA (RWL), PROGRAMACION LOGICA (LP), Y PROGRAMACION LOGICA DIFUSA (FLP), EN ESTE PROYECTO NOS CENTRAREMOS EN LA COMBINACION Y LA EXTENSION DE ESTOS EXITOSOS LENGUAJES FORMALES PARA CONSEGUIR LA EXPRESIVIDAD NECESARIA PARA NUESTRAS APLICACIONES PRACTICAS,GUIADOS POR APLICACIONES DE PROGRAMACION Y PLANIFICACION, DE SEGURIDAD, DE AGENTES, DE MACHINE LEARNING, PARA EL ANALISIS DE PROGRAMAS CONCURRENTES, PARA LA BIOINFORMATICA O PARA LA MANIPULACION DE XML, DESARROLLAREMOS ALGORITMOS Y HERRAMIENTAS EFICIENTES PARA RESOLVER LOS PROBLEMAS DESCRITOS EN LOS MARCOS LOGICOS ANTERIORES,COMO APLICACIONES CONSIDERAMOS: (A) LA PROGRAMACION DE DEPORTES COMO SE HACE CON HYPERCUBE Y LA KNVB (PAISES BAJOS), (B) EL ANALISIS DE PROGRAMAS EN COLABORACION CON MICROSOFT RESEARCH EN CAMBRIDGE, (C) LA EVALUACION DE LAS SECUENCIAS DE TRANSCRIPCION, EN COLABORACION CON EL CENTRO DE REGULACION GENOMICA (CRG) DE BARCELONA, (D) LA SEGURIDAD EN COLABORACION CON LA UNIVERSIDAD DE ILLINOIS EN URBANA-CHAMPAIGN (UIUC) Y EL LABORATORIO DE INVESTIGACION NAVAL EN WASHINGTON, (E) LAS NUEVAS FUNCIONALIDADES EN EL LENGUAJE MAUDE CON UIUC Y SRI INTERNATIONAL EN CALIFORNIA, (F) EL DESCUBRIMIENTO DE CONOCIMIENTO Y LA MANIPULACION FLEXIBLE DE LOS DATOS EXTRAIDOS DE LA WEB, EN COLABORACION CON LA UNIVERSIDAD DE ALMERIA, Y (G) LA PLANIFICACION DIFUSA PARA EL USO DE RECURSOS EN LOS CENTROS DE DATOS EN LA NUBE CON LA UNIVERSIDAD DE UMEA,POR TANTO, ESTE ES UN PROYECTO QUE ABARCA TODO EL CAMINO EN EL DESARROLLO Y APLICACION DE TECNOLOGIAS INFORMATICAS DESDE LA TEORIA Y LAS TECNICAS BASICAS HASTA LOS PROBLEMAS DE IMPACTO INDUSTRIAL Y SOCIAL, LÓGICAS\ RESOLUCIÓN DE RESTRICCIONES\ SATISFACIBILIDAD DE FÓRMULAS\ ANÁLISIS Y VERIFICACIÓN DE PROGRAMAS

Conecta tu I+D

Entra hoy

¿Olvidé mi contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores