CORDIS - Forschungsergebnisse der EU
CORDIS

Global systems Rapid Assessment tools through Constraint FUnctional Languages

Leistungen

Evaluation Report CRUD RATs

Report on the development and execution of an assessment and evaluation protocol for CRUD-case Rapid Assessment Tools. This will be passed as a chapter to D6.5.

Geometrical Constraints for CRUD

Report describing the relevant geometrical constraints for Climate/Resilient Urban Design, their solving, heuristics and implementation.

Formal Concept Maps Elements Description

This first deliverable includes the initial domain modelling: collection of concept map examples relevant for the CRUD case study, examination and decomposition of these concept maps into the key underlying elements, and a formal description of these concept map elements in terms of types and relations.

Data Management Plan

"The Data Management Plan (DMP) details what data the project will generate, whether and how it will be exploited or made accessible for verification and re-use, and how it will be curated and preserved. In any case the DMP will assure that any use of data will be limited to the scope and aim of the project. Extra attention will be given to stakeholder privacy issues and the protection of personal data. The DMP is a requirement for participation in the H2020 ""Open Research Data Pilot"". "

Scientific Publications and Initiatives

Summary of scientific publications and initiatives.

CRUD Analysis Report

Report on selection and thorough analysis of a specific Climate-resilient Urban Design case, including analysis of the structural and functional problem content, identified and developed in the moderated GMB sessions. No personal data from session participants will be included in this deliverable.

Minutes of Project Meeting 4

Written record of the corresponding 6-monthly project meeting. The minutes describe the events of the meeting, starting with a list of attendees, a statement of the issues considered by the participants, and related responses or decisions for the issues. This 4th project meeting will be held in month 19 adjacent to the first project review.

Education and Training Plan

Education and Training planning and follow-up.

Minutes of Project Meeting 3

Written record of the corresponding 6-monthly project meeting. The minutes describe the events of the meeting, starting with a list of attendees, a statement of the issues considered by the participants, and related responses or decisions for the issues.

Minutes of Project Meeting 7

Written record of the corresponding 6-monthly project meeting. The minutes describe the events of the meeting, starting with a list of attendees, a statement of the issues considered by the participants, and related responses or decisions for the issues.

Minutes of Project Meeting 6

Written record of the corresponding 6-monthly project meeting. The minutes describe the events of the meeting, starting with a list of attendees, a statement of the issues considered by the participants, and related responses or decisions for the issues.

CRUD RATs Key Requirements

Synthesis of key requirements for Rapid Assessment Tools, through case comparison and generalization. The report will describe (1) an analysis of the moderated Group Model Building sessions on the CRUD case for identifying structural and functional problem elements, (2) an evaluation of the elements against other CRUD cases that are described in literature or applied in practice and (3) an identification of generalizable problem elements leading to key requirements for Rapid Assessment Tools. No personal data from GMB session participants will be included in this deliverable.

Minutes of Project Meeting 5

Written record of the corresponding 6-monthly project meeting. The minutes describe the events of the meeting, starting with a list of attendees, a statement of the issues considered by the participants, and related responses or decisions for the issues.

Dissemination Plan

First version of the project's plan of dissemination activities. The plan will be iteratively updated and maintained.

Final Dissemination & Communication Report

Final report on assessment of results, dissemination, and stakeholder communication.

Minutes of Project Meeting 1

Written record of the corresponding 6-monthly project meeting. The minutes describe the events of the meeting, starting with a list of attendees, a statement of the issues considered by the participants, and related responses or decisions for the issues.

Visual Analytics EDA Requirements & Specifications Rev.1

This deliverable outlines an initial version of the requirements to Visual Analytics and Exploratory Data Analysis tools for both higher-level concepts and geospatial-temporal visualization of data. Tool specification will be sketched.

Concept Maps to System Dynamics

"For the third deliverable the focus is on connecting the DSL and its evaluator to the underlying layer of functional and constraint programming ""middleware"". The requires translating and refining concept map descriptions to system dynamics models. We aim for a compositional translation with simple model components corresponding to the key underlying elements of the DSL and ""model combinators"" corresponding to the combinators in the DSL."

Minutes of Project Meeting 2

Written record of the corresponding 6-monthly project meeting. The minutes describe the events of the meeting, starting with a list of attendees, a statement of the issues considered by the participants, and related responses or decisions for the issues.

Dissemination Plan (rev.2)

Updated version of the project's plan of dissemination activities.

Prototype Status Report

Status Report on the progress of the iterative RAT Prototype design (task T2.3).

Visual Analytics EDA Requirements & Specifications Rev.2

This deliverable describes a final version of the requirements to Visual Analytics and Exploratory Data Analysis tools based on close interaction with other workpackages and initial implementation. A detailed tool specification will be described.

GRACeFUL Project Website

Website offering all public information and news about the GRACeFUL project.

Testing and Verification Framework

WP4's final deliverable is a property-based framework for semi-automatic testing and verification of the rapid assessment tools described by the DSL. This framework will evolve during the project so that a preliminary version can be used from the second year on and we expect it to reach a mature state by the end of the project.

Visual Analytics EDA Tool Prototype

This deliverable provides a general description, data requirements, user manual and installation instructions for a demonstrator of Visual Analytics and Exploratory Data Analysis tools.

CRUD RAT Prototype

Result of the design and implementation of the generically applicable RAT Prototype (task T2.3). Will serve the purpose of demonstration to the Advisory Board of Stakeholders.

Constraint Checkers Synthesizer

A description of the architecture of a synthesizer of efficient constraint checkers for a significant number of constraints, as well as a domain specific language for expressing heuristics. Implementations of both parts (checkers/heuristics).

Constraints Composition Ops Library

Description of both the composition operators for synthesizing new constraints as well as concrete examples of use of these operators. An implementation of these operators in at least one concrete constraint system.

DSL for Concept Map Description

"This deliverable concerns: 1) investigation of how simpler concepts can be combined and connected to form more complex concept maps, 2) identification of the ""rules of the game"" necessary to rule out meaningless combinations and 3) a formal semantics for key elements and combinators in the form of a DSL with an evaluator."

DSL for the CFP Platform

Description of the domain-specific language for modelling constraint problems, where the functional aspect of constraints is made explicit. At least one implementation and compilation to a concrete solver like Choco, SWI Prolog or SICStus.

Veröffentlichungen

Quantified class constraints

Autoren: Gert-Jan Bottu, Georgios Karachalias, Tom Schrijvers, Bruno C. d. S. Oliveira, Philip Wadler
Veröffentlicht in: Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell - Haskell 2017, 2017, Seite(n) 148-161, ISBN 9781-450351829
Herausgeber: ACM Press
DOI: 10.1145/3122955.3122967

Elaboration on functional dependencies: functional dependencies are dead, long live functional dependencies!

Autoren: Georgios Karachalias, Tom Schrijvers
Veröffentlicht in: Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell - Haskell 2017, 2017, Seite(n) 133-147, ISBN 9781-450351829
Herausgeber: ACM Press
DOI: 10.1145/3122955.3122966

VisPar: visualising dataflow graphs from the Par Monad

Autoren: Maximilian Algehed, Patrik Jansson
Veröffentlicht in: Proceedings of the 6th ACM SIGPLAN International Workshop on Functional High-Performance Computing - FHPC 2017, 2017, Seite(n) 24-29, ISBN 9781-450351812
Herausgeber: ACM Press
DOI: 10.1145/3122948.3122953

Encoding DCC in Haskell

Autoren: Maximilian Algehed, Alejandro Russo
Veröffentlicht in: Proceedings of the 2017 Workshop on Programming Languages and Analysis for Security - PLAS '17, 2017, Seite(n) 77-89, ISBN 9781-450350990
Herausgeber: ACM Press
DOI: 10.1145/3139337.3139338

An agda formalisation of the transitive closure of block matrices (extended abstract)

Autoren: Adam Sandberg Eriksson, Patrik Jansson
Veröffentlicht in: Proceedings of the 1st International Workshop on Type-Driven Development - TyDe 2016, 2016, Seite(n) 60-61, ISBN 9781-450344357
Herausgeber: ACM Press
DOI: 10.1145/2976022.2976025

A Modelling Pearl with Sortedness Constraints

Autoren: Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, Xavier Lorca, Justin Pearson, Thierry Petit, Charles Prud'Homme
Veröffentlicht in: EPiC Series in Computing volume 36, 2015, Seite(n) 27-11
Herausgeber: EasyChair
DOI: 10.29007/b4dz

Fixing non-determinism

Autoren: Alexander Vandenbroucke, Tom Schrijvers, Frank Piessens
Veröffentlicht in: Proceedings of the 27th Symposium on the Implementation and Application of Functional Programming Languages - IFL '15, 2015, Seite(n) 1-12, ISBN 9781-450342735
Herausgeber: ACM Press
DOI: 10.1145/2897336.2897342

Contributions to a computational theory of policy advice and avoidability

Autoren: NICOLA BOTTA, PATRIK JANSSON, CEZAR IONESCU
Veröffentlicht in: Journal of Functional Programming, Ausgabe 27, 2017, ISSN 0956-7968
Herausgeber: Cambridge University Press
DOI: 10.1017/S0956796817000156

Deriving generic bounds for time-series constraints based on regular expressions characteristics

Autoren: Ekaterina Arafailova, Nicolas Beldiceanu, Helmut Simonis
Veröffentlicht in: Constraints, Ausgabe 23/1, 2018, Seite(n) 44-86, ISSN 1383-7133
Herausgeber: Kluwer Academic Publishers
DOI: 10.1007/s10601-017-9276-z

Planning support tools and their effects in participatory urban adaptation workshops

Autoren: Sadie McEvoy, Frans H.M. van de Ven, Michiel W. Blind, Jill H. Slinger
Veröffentlicht in: Journal of Environmental Management, Ausgabe 207, 2018, Seite(n) 319-333, ISSN 0301-4797
Herausgeber: Academic Press
DOI: 10.1016/j.jenvman.2017.10.041

The impact of uncertainty on optimal emission policies

Autoren: Nicola Botta, Patrik Jansson, Cezar Ionescu
Veröffentlicht in: Earth System Dynamics Discussions, 2017, Seite(n) 1-24, ISSN 2190-4995
Herausgeber: Copernicus Publications
DOI: 10.5194/esd-2017-86

Reasoning about modular datatypes with Mendler induction

Autoren: Paolo Torrini, Tom Schrijvers
Veröffentlicht in: Electronic Proceedings in Theoretical Computer Science, Ausgabe 191, 2015, Seite(n) 143-157, ISSN 2075-2180
Herausgeber: Open Publishing Association
DOI: 10.4204/EPTCS.191.13

Using finite transducers for describing and synthesising structural time-series constraints

Autoren: Nicolas Beldiceanu, Mats Carlsson, Rémi Douence, Helmut Simonis
Veröffentlicht in: Constraints, Ausgabe 21/1, 2016, Seite(n) 22-40, ISSN 1383-7133
Herausgeber: Kluwer Academic Publishers
DOI: 10.1007/s10601-015-9200-3

Tabling as a library with delimited control

Autoren: BENOIT DESOUTER, MARKO VAN DOOREN, TOM SCHRIJVERS
Veröffentlicht in: Theory and Practice of Logic Programming, Ausgabe 15/4-5, 2015, Seite(n) 419-433, ISSN 1471-0684
Herausgeber: Cambridge University Press
DOI: 10.1017/S1471068415000137

MobilityGraphs: Visual Analysis of Mass Mobility Dynamics via Spatio-Temporal Graphs and Clustering

Autoren: Tatiana von Landesberger, Felix Brodkorb, Philipp Roskosch, Natalia Andrienko, Gennady Andrienko, Andreas Kerren
Veröffentlicht in: IEEE Transactions on Visualization and Computer Graphics, Ausgabe 22/1, 2016, Seite(n) 11-20, ISSN 1077-2626
Herausgeber: Institute of Electrical and Electronics Engineers
DOI: 10.1109/TVCG.2015.2468111

A Modular Structural Operational Semantics for Delimited Continuations

Autoren: Neil Sculthorpe, Paolo Torrini, Peter D. Mosses
Veröffentlicht in: Electronic Proceedings in Theoretical Computer Science, Ausgabe 212, 2016, Seite(n) 63-80, ISSN 2075-2180
Herausgeber: Open Publishing Association
DOI: 10.4204/EPTCS.212.5

Sequential decision problems, dependent types and generic solutions

Autoren: Botta, Nicola and Jansson, Patrik and Ionescu, Cezar and Christiansen, David R. and Brady, Edwin
Veröffentlicht in: Logical Methods in Computer Science, Ausgabe Volume 13, Ausgabe 1, 2017, Seite(n) 1-23, ISSN 1860-5974
Herausgeber: Technischen Universitat Braunschweig
DOI: 10.23638/LMCS-13(1:7)2017

Range-Consistent Forbidden Regions of Allen’s Relations

Autoren: Nicolas Beldiceanu, Mats Carlsson, Alban Derrien, Charles Prud?homme, Andreas Schutt, Peter J. Stuckey
Veröffentlicht in: Lecture Notes in Computer Science (LNCS), Ausgabe Vol. 10335, 2017, Seite(n) 21-29, ISSN 1611-3349
Herausgeber: Springer International Publishing
DOI: 10.1007/978-3-319-59776-8_2

among Implied Constraints for Two Families of Time-Series Constraints

Autoren: Ekaterina Arafailova, Nicolas Beldiceanu, Helmut Simonis
Veröffentlicht in: Lec-ture Notes in Computer Science, Ausgabe vol 10416, 2017, Seite(n) 38-54, ISBN 978-3-319-66157-5
Herausgeber: Springer International Publishing
DOI: 10.1007/978-3-319-66158-2_3

Generating Linear Invariants for a Conjunction of Automata Constraints

Autoren: Ekaterina Arafailova, Nicolas Beldiceanu, Helmut Simonis
Veröffentlicht in: Lecture Notes in Computer Science, Ausgabe vol 10416, 2017, Seite(n) 21-37, ISBN 978-3-319-66157-5
Herausgeber: Springer International Publishing
DOI: 10.1007/978-3-319-66158-2_2

Time-Series Constraints: Improvements and Application in CP and MIP Contexts

Autoren: Ekaterina Arafailova, Nicolas Beldiceanu, Rémi Douence, Pierre Flener, María Andreína Francisco Rodríguez, Justin Pearson, Helmut Simonis
Veröffentlicht in: Integration of AI and OR Techniques in Constraint Programming, 2016, Seite(n) 18-34, ISBN 978-3-319-33954-2
Herausgeber: Springer International Publishing
DOI: 10.1007/978-3-319-33954-2_2

Systematic Derivation of Bounds and Glue Constraints for Time-Series Constraints

Autoren: Ekaterina Arafailova, Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, María Andreína Francisco Rodríguez, Justin Pearson, Helmut Simonis
Veröffentlicht in: Principles and Practice of Constraint Programming, 2016, Seite(n) 13-29, ISBN 978-3-319-44953-1
Herausgeber: Springer International Publishing
DOI: 10.1007/978-3-319-44953-1_2

Solving Complex Problems Collaboratively: The Role of Design in Inter- and Transdisciplinary Teams Referring to Climate Resilient Urban Design

Autoren: Anna Keilbach
Veröffentlicht in: 2016
Herausgeber: Hochschule für Gestaltung Schwäbisch-Gmünd

Global Constraint Catalog, Volume II, Time-Series Constraints

Autoren: 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
Veröffentlicht in: Global Constraint Catalog, 2016
Herausgeber: Mines Nantes

Suche nach OpenAIRE-Daten ...

Bei der Suche nach OpenAIRE-Daten ist ein Fehler aufgetreten

Es liegen keine Ergebnisse vor