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-02

Financiado

Cerrado

SWEETLOGICS-UPV

THE AIM OF THIS PROJECT IS TO ACT AS A CATALYST IN THE GLOBAL IMPACT OFINFORMATION TECHNOLOGY (IT) IN SPAIN BY DEVELOPING ANDAPPLYING ADVANCED TOOLS AND TECHNIQUES IN AREAS OFECONOMIC AND SOCIAL INTEREST, THE COMMON FEATURE OF THE... ver más

01/01/2010

UPV

114K€

Presupuesto del proyecto: 114K€

Líder del proyecto

UNIVERSITAT POLITÈCNICA DE VALÈNCIA No se ha especificado una descripción o un objeto social para esta compañía.

Total investigadores 688

Fecha límite participación Sin fecha límite de participación.

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

UPV

Lider

Proyectos interesantes

TIN2010-21062-C02-01

Software

Data Science

110K€ Cerrado

TIN2013-48031-C4-1-P

Software

Data Science

53K€ Cerrado

TIN2013-48031-C4-4-P

Software

Data Science

31K€ Cerrado

TIN2010-20967-C04-01

Software

Data Science

37K€ Cerrado

TIN2010-20967-C04-04

Software

Data Science

16K€ Cerrado

UTHOTP

Software

Data Science

1M€ Cerrado

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

Líder del proyecto

UNIVERSITAT POLITÈCNICA DE VALÈNCIA No se ha especificado una descripción o un objeto social para esta compañía.

Total investigadores 688

Presupuesto del proyecto 114K€

Fecha límite de participación Sin fecha límite de participación.

Descripción del proyecto THE AIM OF THIS PROJECT IS TO ACT AS A CATALYST IN THE GLOBAL IMPACT OFINFORMATION TECHNOLOGY (IT) IN SPAIN BY DEVELOPING ANDAPPLYING ADVANCED TOOLS AND TECHNIQUES IN AREAS OFECONOMIC AND SOCIAL INTEREST, THE COMMON FEATURE OF THESE TECHNIQUES ISTHAT THEY ARE ALL BASED ON LOGICAL METHODS,LOGIC-BASED THEORY, TECHNIQUES AND TOOLS ARE PLAYING AN INCREASINGROLE IN DIFFERENT IT AREAS, AS WELL AS IN FINDINGSOLUTIONS TO NUMEROUS COMPUTATIONAL PROBLEMS THAT ARISE IN INDUSTRYAND SCIENCES LIKE BIOLOGY,AS ITS PREDECESSOR, THIS IS A JOINT PROJECT BETWEEN TWO LARGE GROUPSFROM THE TECHNICAL UNIVERSITIES OF VALENCIA AND CATALONIA, BOTH WITH ANEXTENSIVE EXPERIENCE IN THE AREA,THE MAIN TECHNIQUES AND TOOLS THAT ARE CONSIDERED IN THISPROJECT ARE: SOLVERS FOR PROPOSITIONAL LOGIC (SAT) AND SAT MODULOTHEORIES (SMT) AND OPTIMIZATION WITH THESE (MAX-SAT/SMT AND BRANCHAND BOUND FOR SAT/SMT WITH ARBITRARY COST FUNCTIONS);LOGIC-BASED SOLVERS AND FILTERING ALGORITHMS FOR CONSTRAINT PROGRAMMING;MATHEMATICAL PROGRAMMING TOOLS APPLIED AS THEORY SOLVERS FOR SMT; TECHNIQUESAND TOOLS FOR ABSTRACT INTERPRETATION AND MODEL CHECKING; ALGEBRAICMETHODS FOR CONSTRAINT SOLVING; AND VERIFICATION AND CERTIFICATIONTECHNIQUES,ALL THESE LOGIC-BASED TECHNIQUES ARE FUNDAMENTAL IN THE ACHIEVEMENT OFGOALS OF THE PROJECT, WHICH ARE CONCRETIZED IN APPLICATIONS WITHSIGNIFICANT ECONOMIC AND SOCIAL IMPACT:- INDUSTRIAL PLANNING, SCHEDULING AND TIMETABLING, WHICH ARE OMNIPRESENT IN BOTH PUBLIC AND PRIVATE SECTORS, FROM HEALTHCARE OR PUBLIC ORDER TO VIRTUALLY ALL BRANCHES OF THE LOGISTICS AND TRANSPORTATION SECTORS, SPORTS SCHEDULING (AS DONE WITH HYPERCUBE AND KNVB, THE NETHERLANDS, AND LIGA ACB, SPAIN), AS WELL AS SCIENTIFIC COMBINATORIAL OPTIMIZATION PROBLEMS FROM E,G,, BIOLOGY, MEDICINE OR LINGUISTICS, METHODS TO BE USED ARE SAT, SMT (WITH OPTIMIZATION) AND OTHER LOGIC-BASED METHODS, IN COMBINATION WITH CONSTRAINT AND MATHEMATICAL PROGRAMMING,- VERIFICATION OF SAFETY AND LIVENESS/TERMINATION PROPERTIES OF ALLSORTS OF SOFTWARE, INCLUDING WEB APPLICATIONS (IN COLLABORATION WITHMICROSOFT, USA)- HIGH-LEVEL HARDWARE VERIFICATION (WITH INTEL, USA)- MODELING COMPLEX SYSTEMS INVOLVING AGENTS (WITH EXTREME LOGICS)- ANALYZING SECURITY PROPERTIES OF WEB APPLICATIONS (WITH THEVALENCIAN BASKETBALL FEDERATION) LOGICA EN LA INFORMATICA\PROCEDIMIENTOS DE DECISION\METODOS FORMALES\VERIFICACION FORMAL DE SISTEMAS SOFTWARE

Conecta tu I+D

Entra hoy

¿Olvidé mi contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores