Search - IFIP - Lecture Notes in Computer Science Access content directly

Filter your results

40 results
Deposit type : Fulltext
publicationDateY_i : 2017
Page :
sorted by
Image document

Probability Functions in the Context of Signed Involutive Meadows (Extended Abstract)

 Jan A. Bergstra , Alban Ponse
23th International Workshop on Algebraic Development Techniques (WADT), Sep 2016, Gregynog, United Kingdom. pp.73-87, ⟨10.1007/978-3-319-72044-9_6⟩
Conference papers hal-01767464v1
Image document

Future Energy Systems – Autonomous Control, Self-sufficient Energy Infrastructures and Big Data

 Peter Birkner
3rd and 4th International Conference on Smart Energy Research (SmartER Europe 2016 and 2017), Feb 2016, Essen, Germany. pp.3-22, ⟨10.1007/978-3-319-66553-5_1⟩
Conference papers hal-01691204v1
Image document

Using the Scorecard Approach to Measure Seismic Social Resilience in Nablus, Palestine

 Vania Cerchiello , Paola Ceresa , Ricardo Monteiro
1st International Conference on Information Technology in Disaster Risk Reduction (ITDRR), Nov 2016, Sofia, Bulgaria. pp.77-92, ⟨10.1007/978-3-319-68486-4_7⟩
Conference papers hal-03213120v1
Image document

Formal Methods for Safe Design of Autonomous Systems Dedicated to Risk Management

 Sophie Coudert , Tullio Tanzi
1st International Conference on Information Technology in Disaster Risk Reduction (ITDRR), Nov 2016, Sofia, Bulgaria. pp.61-76, ⟨10.1007/978-3-319-68486-4_6⟩
Conference papers hal-03213130v1
Image document

Dynamic Aggregation of Virtual Power Plants with a Registry System for Distributed Energy Resources

 Tim Dethlefs , Thomas Preisler , Wolfgang Renz
3rd and 4th International Conference on Smart Energy Research (SmartER Europe 2016 and 2017), Feb 2016, Essen, Germany. pp.65-77, ⟨10.1007/978-3-319-66553-5_5⟩
Conference papers hal-01691208v1
Image document

Disaster Reduction Potential of IMPRESS Platform Tools

 Nina Dobrinkova , Antonis Kostaridis , Andrej Olunczek , Marcel Heckel , Danae Vergeti , et al.
1st International Conference on Information Technology in Disaster Risk Reduction (ITDRR), Nov 2016, Sofia, Bulgaria. pp.225-239, ⟨10.1007/978-3-319-68486-4_18⟩
Conference papers hal-03213121v1
Image document

An Institution for Event-B

 Marie Farrell , Rosemary Monahan , James F. Power
23th International Workshop on Algebraic Development Techniques (WADT), Sep 2016, Gregynog, United Kingdom. pp.104-119, ⟨10.1007/978-3-319-72044-9_8⟩
Conference papers hal-01767469v1
Image document

The Generation of a Situation Model, in Real-Time, as a Support to Crisis Management

 Audrey Fertier , Anne-Marie Barthe-Delanoë , Aurelie Montarnal , Sébastien Truptil , Frederick Benaben
ITDRR 2016 - 1st International Conference on Information Technology in Disaster Risk Reduction, IFIP, Nov 2016, Sofia, Bulgaria. pp.198-213, ⟨10.1007/978-3-319-68486-4_16⟩
Conference papers hal-03213133v1
Image document

Stalking Resilience

 Jose J. Gonzalez , Magnus Bång , Colin Eden , Raquel Gimenez , Josune Hernantes , et al.
1st International Conference on Information Technology in Disaster Risk Reduction (ITDRR), Nov 2016, Sofia, Bulgaria. pp.31-45, ⟨10.1007/978-3-319-68486-4_4⟩
Conference papers hal-03213122v1
Image document

The Planning of Smart City to Mitigate the Impacts of Natural Disaster in North Sumatera

 Dedy Hartama , Herman Mawengkang , Muhammad Zarlis , Rahmat Widia Sembiring , Benny Benyamin Nasution , et al.
1st International Conference on Information Technology in Disaster Risk Reduction (ITDRR), Nov 2016, Sofia, Bulgaria. pp.147-154, ⟨10.1007/978-3-319-68486-4_12⟩
Conference papers hal-03213128v1
Image document

Observational Semantics for Dynamic Logic with Binders

 Rolf Hennicker , Alexandre Madeira
23th International Workshop on Algebraic Development Techniques (WADT), Sep 2016, Gregynog, United Kingdom. pp.135-152, ⟨10.1007/978-3-319-72044-9_10⟩
Conference papers hal-01767472v1
Image document

Towards Critical Pair Analysis for the Graph Programming Language GP 2

 Ivaylo Hristakiev , Detlef Plump
23th International Workshop on Algebraic Development Techniques (WADT), Sep 2016, Gregynog, United Kingdom. pp.153-169, ⟨10.1007/978-3-319-72044-9_11⟩
Conference papers hal-01767473v1
Image document

A Calculus of Virtually Timed Ambients

 Einar Broch Johnsen , Martin Steffen , Johanna Beate Stumpf
23th International Workshop on Algebraic Development Techniques (WADT), Sep 2016, Gregynog, United Kingdom. pp.88-103, ⟨10.1007/978-3-319-72044-9_7⟩
Conference papers hal-01767462v1
Image document

Theorising Monitoring: Algebraic Models of Web Monitoring in Organisations

 Kenneth Johnson , John V. Tucker , Victoria Wang
23th International Workshop on Algebraic Development Techniques (WADT), Sep 2016, Gregynog, United Kingdom. pp.13-35, ⟨10.1007/978-3-319-72044-9_3⟩
Conference papers hal-01767467v1
Image document

Enhancing Regional Digital Preparedness on Natural Hazards to Safeguard Business Resilience in the Asia-Pacific

 Wei-Sen Li , Yanling Lee , Kenji Watanabe
1st International Conference on Information Technology in Disaster Risk Reduction (ITDRR), Nov 2016, Sofia, Bulgaria. pp.170-182, ⟨10.1007/978-3-319-68486-4_14⟩
Conference papers hal-03213114v1
Image document

Advances in Verification of Multi-agent Systems

 Alessio Lomuscio
23th International Workshop on Algebraic Development Techniques (WADT), Sep 2016, Gregynog, United Kingdom. pp.3-4, ⟨10.1007/978-3-319-72044-9_1⟩
Conference papers hal-01767478v1
Image document

Usability Evaluation of Information Technology in Disaster and Emergency Management

 Tilo Mentler , Henrik Berndt , Daniel Wessel , Michael Herczeg
1st International Conference on Information Technology in Disaster Risk Reduction (ITDRR), Nov 2016, Sofia, Bulgaria. pp.46-60, ⟨10.1007/978-3-319-68486-4_5⟩
Conference papers hal-03213119v1
Image document

The Distributed Ontology, Model and Specification Language – DOL

 Till Mossakowski
23th International Workshop on Algebraic Development Techniques (WADT), Sep 2016, Gregynog, United Kingdom. pp.5-10, ⟨10.1007/978-3-319-72044-9_2⟩
Conference papers hal-01767463v1
Image document

Canonical Selection of Colimits

 Till Mossakowski , Florian Rabe , Mihai Codescu
23th International Workshop on Algebraic Development Techniques (WADT), Sep 2016, Gregynog, United Kingdom. pp.170-188, ⟨10.1007/978-3-319-72044-9_12⟩
Conference papers hal-01767466v1
Image document

Forecasting Natural Disasters of Tornados Using mHGN

 Benny Benyamin Nasution , Rahmat Widia Sembiring , Bakti Viyata Sundawa , Nogivenname Gunawan , Afritha Amelia , et al.
1st International Conference on Information Technology in Disaster Risk Reduction (ITDRR), Nov 2016, Sofia, Bulgaria. pp.155-169, ⟨10.1007/978-3-319-68486-4_13⟩
Conference papers hal-03213125v1
Image document

Asymmetric Combination of Logics is Functorial: A Survey

 Renato Neves , Alexandre Madeira , Luis S. Barbosa , Manuel A. Martins
23th International Workshop on Algebraic Development Techniques (WADT), Sep 2016, Gregynog, United Kingdom. pp.39-55, ⟨10.1007/978-3-319-72044-9_4⟩
Conference papers hal-01767465v1
Image document

M&S Support for Crisis and Disaster Management Processes and Climate Change Implications

 Orlin Nikolov , Nikolay Tomov , Irena Nikolova
1st International Conference on Information Technology in Disaster Risk Reduction (ITDRR), Nov 2016, Sofia, Bulgaria. pp.240-253, ⟨10.1007/978-3-319-68486-4_19⟩
Conference papers hal-03213131v1
Image document

Assessment of Flood Vulnerability Using Fuzzy Logic and Geographical Information Systems

 Valentina Nikolova , Plamena Zlateva
1st International Conference on Information Technology in Disaster Risk Reduction (ITDRR), Nov 2016, Sofia, Bulgaria. pp.254-265, ⟨10.1007/978-3-319-68486-4_20⟩
Conference papers hal-03213127v1
Image document

Formalizing and Validating the P-Store Replicated Data Store in Maude

 Peter Csaba Ölveczky
23th International Workshop on Algebraic Development Techniques (WADT), Sep 2016, Gregynog, United Kingdom. pp.189-207, ⟨10.1007/978-3-319-72044-9_13⟩
Conference papers hal-01767476v1
Image document

Wholesale Bidding Approaches of an Autonomous Trading Agent in Electricity Markets

 Serkan Özdemir , Rainer Unland
3rd and 4th International Conference on Smart Energy Research (SmartER Europe 2016 and 2017), Feb 2016, Essen, Germany. pp.90-104, ⟨10.1007/978-3-319-66553-5_7⟩
Conference papers hal-01691202v1
Image document

Digital Transformation Within the Emobility Market–Learnings and Insights from Early Market Development

 Andreas Pfeiffer , Matthias Jarke
3rd and 4th International Conference on Smart Energy Research (SmartER Europe 2016 and 2017), Feb 2016, Essen, Germany. pp.23-42, ⟨10.1007/978-3-319-66553-5_2⟩
Conference papers hal-01691203v1
Image document

Towards European Dimensions of City Resilience

 Jaziar Radianti
1st International Conference on Information Technology in Disaster Risk Reduction (ITDRR), Nov 2016, Sofia, Bulgaria. pp.104-118, ⟨10.1007/978-3-319-68486-4_9⟩
Conference papers hal-03213116v1
Image document

Generic Hoare Logic for Order-Enriched Effects with Exceptions

 Christoph Rauch , Sergey Goncharov , Lutz Schröder
23th International Workshop on Algebraic Development Techniques (WADT), Sep 2016, Gregynog, United Kingdom. pp.208-222, ⟨10.1007/978-3-319-72044-9_14⟩
Conference papers hal-01767479v1
Image document

Improving the Involvement of Digital Volunteers in Disaster Management

 Roberto Dos Santos Rocha , Adam Widera , Roelof Berg , João Albuquerque , Bernd Helingrath
1st International Conference on Information Technology in Disaster Risk Reduction (ITDRR), Nov 2016, Sofia, Bulgaria. pp.214-224, ⟨10.1007/978-3-319-68486-4_17⟩
Conference papers hal-03213126v1
Image document

A Proposal on Patient Transport Decision Making in Multiple Hospitals in a Large-Scale Disaster

 Jun Sasaki
1st International Conference on Information Technology in Disaster Risk Reduction (ITDRR), Nov 2016, Sofia, Bulgaria. pp.9-19, ⟨10.1007/978-3-319-68486-4_2⟩
Conference papers hal-03213129v1
Page :