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.

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

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  

EPiGRAM-HS (2018)

Exascale Programming Models for Heterogeneous Systems

Read More  

NEUROTECH (2018)

Neuromorphic Technology

Read More