Opendata, web and dolomites

GRACeFUL

Global systems Rapid Assessment tools through Constraint FUnctional Languages

Total Cost €

0

EC-Contrib. €

0

Partnership

0

Views

0

 GRACeFUL project word cloud

Explore the words cloud of the GRACeFUL project. It provides you a very rough idea of what is the project "GRACeFUL" about.

diverse    active    disciplinary    disciplines    levels    session    rapid    composable    languages    verifiable    power    model    advisory    foundational    business    demonstrated    paradigm    applicable    evaluates    political    interests    cp    base    error    solving    networks    heuristics    shift    physical    put    gamification    composition    forms    question    building    central    details    usability    tedious    framework    resilient    managed    visual    guides    programming    ambition    scientific    trial    scalable    policy    global    assist    language    adapting    special    functional    lays    generally    quest    underlying    intertwines    separate    play    decision    policies    dsl    social    urban    domain    coping    essentially    solutions    specification    discipline    stakeholders    collective    constraints    too    simulators    external    beginning    water    solvers    necessarily    constraint    people    group    emphasis    host    employ    validated    combining    climate    board    tools   

Project "GRACeFUL" data sheet

The following table provides information about the project.

Coordinator
UNIVERSITAT POLITECNICA DE CATALUNYA 

Organization address
address: CALLE JORDI GIRONA 31
city: BARCELONA
postcode: 8034
website: www.upc.edu

contact info
title: n.a.
name: n.a.
surname: n.a.
function: n.a.
email: n.a.
telephone: n.a.
fax: n.a.

 Coordinator Country Spain [ES]
 Project website http://www.graceful-project.eu
 Total cost 2˙404˙943 €
 EC max contribution 2˙404˙943 € (100%)
 Programme 1. H2020-EU.1.2.2. (FET Proactive)
 Code Call H2020-FETPROACT-2014
 Funding Scheme RIA
 Starting year 2015
 Duration (year-month-day) from 2015-02-01   to  2018-01-31

 Partnership

Take a look of project's partnership.

# participants  country  role  EC contrib. [€] 
1    UNIVERSITAT POLITECNICA DE CATALUNYA ES (BARCELONA) coordinator 357˙311.00
2    FRAUNHOFER GESELLSCHAFT ZUR FOERDERUNG DER ANGEWANDTEN FORSCHUNG E.V. DE (MUNCHEN) participant 454˙702.00
3    CHALMERS TEKNISKA HOEGSKOLA AB SE (GOETEBORG) participant 396˙455.00
4    KATHOLIEKE UNIVERSITEIT LEUVEN BE (LEUVEN) participant 361˙250.00
5    ASSOCIATION POUR LA RECHERCHE ET LE DEVELOPPEMENT DES METHODES ET PROCESSUS INDUSTRIELS FR (PARIS) participant 350˙650.00
6    STICHTING DELTARES NL (DELFT) participant 328˙350.00
7    STICHTING KATHOLIEKE UNIVERSITEIT NL (NIJMEGEN) participant 156˙225.00

Map

 Project objective

The making of policies coping with Global Systems is a process that necessarily involves stakeholders from diverse disciplines, each with their own interests, constraints and objectives. People play a central role in such collective decision making and the quest for solutions to a problem generally intertwines its very specification. Simulators can assist in this process provided they employ adequate high-level modelling to separate the political question from the underlying scientific details. Domain-specific Languages (DSL) embedded in Functional Programming (FP) languages offer a promising way to implement scalable and verifiable simulators. But the use of simulators is essentially a trial-and-error process too tedious for execution in a group session. A paradigm shift is needed towards active problem solving where stakeholders’ objectives can be taken along from the very beginning. Constraint Programming (CP) has demonstrated to enable such a shift for e.g. managed physical systems like water and power networks. This project lays the base for a DSL aimed at building scalable Rapid Assessment Tools for collective policy making in global systems. This can be achieved through foundational scientific work at different levels: from the high-level, political modelling, adapting the social discipline of Group Model Building (as used in business organizations), through visual forms of CP as well as gamification aspects, down to the needs for a host language, combining CP and FP. Special emphasis is put on domain-specific constraints, constraint composition, and composable solvers and heuristics. Results are applied and validated for the problem case of Climate-Resilient Urban Design, but the ambition is a general framework applicable to many other systems. The case study is assessed by an external multi-disciplinary Advisory Board of Stakeholders that guides the specification process and evaluates needs and usability of the tools.

 Deliverables

List of deliverables.
Testing and Verification Framework Demonstrators, pilots, prototypes 2019-03-08 17:51:40
Concept Maps to System Dynamics Documents, reports 2019-03-08 17:51:38
Minutes of Project Meeting 6 Documents, reports 2019-03-08 17:51:34
Evaluation Report CRUD RATs Documents, reports 2019-03-08 17:51:41
Education and Training Plan Documents, reports 2019-03-08 17:51:41
Constraint Checkers Synthesizer Other 2019-03-08 17:51:41
CRUD RAT Prototype Demonstrators, pilots, prototypes 2019-03-07 16:20:00
Geometrical Constraints for CRUD Documents, reports 2019-03-07 16:19:53
Visual Analytics EDA Tool Prototype Demonstrators, pilots, prototypes 2019-03-06 12:11:00
Final Dissemination & Communication Report Documents, reports 2019-01-09 15:33:31
Minutes of Project Meeting 7 Documents, reports 2019-01-09 15:33:31
Scientific Publications and Initiatives Documents, reports 2019-01-09 15:33:31
CRUD Analysis Report Documents, reports 2019-02-12 12:38:26
Data Management Plan Documents, reports 2019-02-12 12:38:20
Minutes of Project Meeting 3 Documents, reports 2019-02-12 12:38:24
Minutes of Project Meeting 2 Documents, reports 2019-03-05 09:35:18
Visual Analytics EDA Requirements & Specifications Rev.2 Documents, reports 2019-03-05 09:35:43
Minutes of Project Meeting 1 Documents, reports 2019-03-05 09:35:23
Dissemination Plan Documents, reports 2019-02-12 12:38:14
Minutes of Project Meeting 4 Documents, reports 2019-05-30 11:31:56
Constraints Composition Ops Library Other 2019-02-12 12:38:06
DSL for the CFP Platform Other 2019-02-12 12:38:06
CRUD RATs Key Requirements Documents, reports 2019-03-05 09:35:58
Minutes of Project Meeting 5 Documents, reports 2019-02-12 12:38:24
Dissemination Plan (rev.2) Documents, reports 2019-02-12 12:38:22
DSL for Concept Map Description Other 2019-03-07 17:30:57
Prototype Status Report Documents, reports 2019-05-30 11:32:00
GRACeFUL Project Website Websites, patent fillings, videos etc. 2019-02-12 12:38:13
Visual Analytics EDA Requirements & Specifications Rev.1 Documents, reports 2019-03-07 17:30:55
Formal Concept Maps Elements Description Documents, reports 2019-03-05 09:35:37

Take a look to the deliverables list in detail:  detailed list of GRACeFUL deliverables.

 Publications

year authors and title journal last update
List of publications.
2018 Ekaterina Arafailova, Nicolas Beldiceanu, Helmut Simonis
Deriving generic bounds for time-series constraints based on regular expressions characteristics
published pages: 44-86, ISSN: 1383-7133, DOI: 10.1007/s10601-017-9276-z
Constraints 23/1 2019-05-29
2017 NICOLA BOTTA, PATRIK JANSSON, CEZAR IONESCU
Contributions to a computational theory of policy advice and avoidability
published pages: , ISSN: 0956-7968, DOI: 10.1017/S0956796817000156
Journal of Functional Programming 27 2019-05-29
2017 Nicola Botta, Patrik Jansson, Cezar Ionescu
The impact of uncertainty on optimal emission policies
published pages: 1-24, ISSN: 2190-4995, DOI: 10.5194/esd-2017-86
Earth System Dynamics Discussions 2019-05-29
2018 Sadie McEvoy, Frans H.M. van de Ven, Michiel W. Blind, Jill H. Slinger
Planning support tools and their effects in participatory urban adaptation workshops
published pages: 319-333, ISSN: 0301-4797, DOI: 10.1016/j.jenvman.2017.10.041
Journal of Environmental Management 207 2019-05-29
2016 Neil Sculthorpe, Paolo Torrini, Peter D. Mosses
A Modular Structural Operational Semantics for Delimited Continuations
published pages: 63-80, ISSN: 2075-2180, DOI: 10.4204/EPTCS.212.5
Electronic Proceedings in Theoretical Computer Science 212 2019-05-27
2015 Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, Xavier Lorca, Justin Pearson, Thierry Petit, Charles Prud\'Homme
A Modelling Pearl with Sortedness Constraints
published pages: 27-11, ISSN: , DOI: 10.29007/b4dz
EPiC Series in Computing volume 36 2019-05-27
2016 Nicolas Beldiceanu, Mats Carlsson, Rémi Douence, Helmut Simonis
Using finite transducers for describing and synthesising structural time-series constraints
published pages: 22-40, ISSN: 1383-7133, DOI: 10.1007/s10601-015-9200-3
Constraints 21/1 2019-05-27
2015 BENOIT DESOUTER, MARKO VAN DOOREN, TOM SCHRIJVERS
Tabling as a library with delimited control
published pages: 419-433, ISSN: 1471-0684, DOI: 10.1017/S1471068415000137
Theory and Practice of Logic Programming 15/4-5 2019-05-27
2017 Nicolas Beldiceanu, Mats Carlsson, Alban Derrien, Charles Prud?homme, Andreas Schutt, Peter J. Stuckey
Range-Consistent Forbidden Regions of Allen’s Relations
published pages: 21-29, ISSN: 1611-3349, DOI: 10.1007/978-3-319-59776-8_2
Lecture Notes in Computer Science (LNCS) Vol. 10335 2019-05-27
2015 Paolo Torrini, Tom Schrijvers
Reasoning about modular datatypes with Mendler induction
published pages: 143-157, ISSN: 2075-2180, DOI: 10.4204/EPTCS.191.13
Electronic Proceedings in Theoretical Computer Science 191 2019-05-27
2016 Anna Keilbach
Solving Complex Problems Collaboratively: The Role of Design in Inter- and Transdisciplinary Teams Referring to Climate Resilient Urban Design
published pages: , ISSN: , DOI:
2019-05-27
2017 Botta, Nicola and Jansson, Patrik and Ionescu, Cezar and Christiansen, David R. and Brady, Edwin
Sequential decision problems, dependent types and generic solutions
published pages: 1-23, ISSN: 1860-5974, DOI: 10.23638/LMCS-13(1:7)2017
Logical Methods in Computer Science Volume 13, Issue 1 2019-05-27
2016 Pearson, Justin; Simonis, Helmut; Beldiceanu, Nicolas; Rodríguez, María Andreína Francisco; Carlsson, Mats; Douence, Rémi; Francisco Rodríguez, María Andreína; Flener, Pierre
Global Constraint Catalog, Volume II, Time-Series Constraints
published pages: , ISSN: , DOI:
Global Constraint Catalog 2019-05-27
2016 Tatiana von Landesberger, Felix Brodkorb, Philipp Roskosch, Natalia Andrienko, Gennady Andrienko, Andreas Kerren
MobilityGraphs: Visual Analysis of Mass Mobility Dynamics via Spatio-Temporal Graphs and Clustering
published pages: 11-20, ISSN: 1077-2626, DOI: 10.1109/TVCG.2015.2468111
IEEE Transactions on Visualization and Computer Graphics 22/1 2019-05-27

Are you the coordinator (or a participant) of this project? Plaese send me more information about the "GRACEFUL" project.

For instance: the website url (it has not provided by EU-opendata yet), the logo, a more detailed description of the project (in plain text as a rtf file or a word file), some pictures (as picture files, not embedded into any word file), twitter account, linkedin page, etc.

Send me an  email (fabio@fabiodisconzi.com) and I put them in your project's page as son as possible.

Thanks. And then put a link of this page into your project's website.

The information about "GRACEFUL" are provided by the European Opendata Portal: CORDIS opendata.

More projects from the same programme (H2020-EU.1.2.2.)

HPCWE (2019)

High performance computing for wind energy

Read More  

EnTimeMent (2019)

EnTimeMent - ENtrainment and synchronization at multiple TIME scales in the MENTal foundations of expressive gesture

Read More  

NEUROTECH (2018)

Neuromorphic Technology

Read More