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.

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

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.)

CHIST-ERA IV (2019)

European Coordinated Research on Long-term ICT and ICT-based Scientific and Technological Challenges

Read More  

EnTimeMent (2019)

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

Read More  

VIRTUALTIMES (2019)

Exploring and Modifying the Sense of Time in Virtual Environments

Read More