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

TIN2010-21062-C02-01

Financiado

SWEETLOGICS-UPC

EL OBJETIVO DE ESTE PROYECTO ES EL DE ACTUAR COMO UN CATALIZADOR EN ELIMPACTO GLOBAL DE LAS TECNOLOGIAS DE LA INFORMACION (TI) EN ESPAÑA,MEDIANTE EL DESARROLLO Y LA APLICACION DE TECNICAS Y HERRAMIENTASAVANZADAS EN AREAS DE INTERE... ver más

01/01/2010

UPC

110K€

Presupuesto del proyecto: 110K€

Líder del proyecto

Universidad Politécnica de Cataluña No se ha especificado una descripción o un objeto social para esta compañía.

Total investigadores 9

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

0% 100%

Información adicional privada

No hay información privada compartida para este proyecto. Habla con el coordinador.

Participantes

UPC

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

TIN2010-21062-C02-02 SWEETLOGICS-UPV 114K€ Cerrado

TIN2012-33042 HERRAMIENTAS LOGICAS PARA PROBLEMAS COMBINATORIOS 24K€ Cerrado

TIN2013-48031-C4-1-P TASSAT 2: TEORIA Y APLICACIONES EN SATISFACTIBILIDAD Y OPTIM... 53K€ Cerrado

TIN2013-48031-C4-4-P TASSAT 2: TEORIA Y APLICACIONES EN SATISFACTIBILIDAD Y OPTIM... 31K€ Cerrado

TIN2015-66293-R LOGICA PARA PROBLEMAS COMBINATORIOS 67K€ Cerrado

TIN2016-76573-C2-1-P TASSAT 3: TEORIA Y APLICACIONES EN SATISFACTIBILIDAD Y OPTIM... 23K€ Cerrado

Líder del proyecto

Universidad Politécnica de Cataluña No se ha especificado una descripción o un objeto social para esta compañía.

Total investigadores 9

Presupuesto del proyecto 110K€

Descripción del proyecto EL OBJETIVO DE ESTE PROYECTO ES EL DE ACTUAR COMO UN CATALIZADOR EN ELIMPACTO GLOBAL DE LAS TECNOLOGIAS DE LA INFORMACION (TI) EN ESPAÑA,MEDIANTE EL DESARROLLO Y LA APLICACION DE TECNICAS Y HERRAMIENTASAVANZADAS EN AREAS DE INTERES ECONOMICO Y SOCIAL, EL FACTOR COMUN DEESTAS TECNICAS ES QUE TODAS ELLAS ESTAN BASADAS EN METODOS LOGICOS,LA TEORIA, LAS TECNICAS Y LAS HERRAMIENTAS BASADAS EN LA LOGICA ESTANJUGANDO UN PAPEL CADA VEZ MAS IMPORTANTE EN DIFERENTES AREAS TI, Y ENLA RESOLUCION DE NUMEROSOS PROBLEMAS COMPUTACIONALES DE LA INDUSTRIA YDE CIENCIAS COMO LA BIOLOGIA,COMO SU PREDECESOR, ESTE ES UN PROYECTO CONJUNTO ENTRE DOS GRANDESGRUPOS DE LAS UNIVERSIDADES POLITECNICAS DE VALENCIA Y DE CATALUÑA,AMBAS CON UNA MUY AMPLIA EXPERIENCIA EN EL AREA,LAS PRINCIPALES TECNICAS Y HERRAMIENTAS QUE SE CONSIDERAN SON:RESOLVEDORES PARA LOGICA PROPOSICIONAL (SAT) Y SAT MODULO TEORIAS(SMT) Y LA OPTIMIZACION CON ESTAS (MAXSAT/SMT Y BRANCH-AND-BOUND PARASAT CON FUNCIONES DE COSTE ARBITRARIAS); RESOLVEDORES Y ALGORITMOS DEFILTRADO BASADOS EN LA LOGICA PARA PROGRAMACION DE RESTRICCIONES;HERRAMIENTAS DE PROGRAMACION MATEMATICA APLICADAS COMO THEORY SOLVERSPARA SMT; TECNICAS Y HERRAMIENTAS PARA LA INTERPRETACION ABSTRACTA YMODEL CHECKING; METODOS ALGEBRAICOS PARA LA RESOLUCION DE RESTRICCIONES;Y TECNICAS DE VERIFICACION Y CERTIFICACION,TODAS ESTAS HERRAMIENTAS BASADAS EN LA LOGICA SON FUNDAMENTALES PARALA CONSECUCION DE LOS OBJETIVOS DEL PROYECTO, QUE SE CONCRETIZAN ENAPLICACIONES ON DE ALTO IMPACTO ECONOMICO Y SOCIAL:-LA PLANIFICACION DE TAREAS Y HORARIOS EN LA INDUSTRIA, UN PROBLEMA OMNIPRESENTE EN NUMEROSOS SECTORES PUBICOS Y PRIVADOS, DESDE EL SECTOR HOSPITALARIO HASTA PRACTICAMENTE TODAS LAS RAMAS DE DE LOS SECTORES DE LOGISTICA Y TRANSPORTES, EN PLANIFICACION DE EVENTOS (POR EJ,, DEPORTIVOS, COMO LOS YA REALIZADOS PARA HYPERCUBE Y KNVB, HOLANDA, Y LA LIGA ACB, ESPAÑA), ASI COMO EN PROBLEMAS DE OPTIMIZACION COMBINATORIA DE, POR EJEMPLO, BIOLOGIA, LINGUISTICA O MEDICINA, LOS METODOS A UTILIZAR SON SAT Y SMT (CON OPTIMIZACION) Y OTROS METODOS BASADOS EN LA LOGICA, EN COMBINACION CON LA PROGRAMACION MATEMATICA Y DE RESTRICCIONES,-LA VERIFICACION DE PROPIEDADES DE SAFETY Y LIVENESS/TERMINACION DE TODO TIPO DE SOFTWARE, INCLUYENDO LAS APLICACIONES WEB (EN COLABORACION CON MICROSOFT, USA)-LA VERIFICACION DE HARDWARE DE ALTO NIVEL (CON INTEL, USA)-EL MODELADO DE SISTEMAS COMPLEJOS DE AGENTES (CON EXTREME LOGICS)-EL ANALISIS DE PROPIEDADES DE SEGURIDAD DE APLICACIONES WEB (CON LA FEDERACION VALENCIANA DE BALONCESTO), LOGICA EN LA INFORMATICA\PROCEDIMIENTOS DE DECISION\METODOS FORMALES\VERIFICACION FORMAL DE SISTEMAS

Conecta tu I+D

Entra hoy

¿Olvidé mi contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores