Filter your results
- 533
- 24
- 533
- 532
- 119
- 1
- 37
- 40
- 493
- 533
- 5
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
|
Cultural Visualisation of a Cultural Photographic Collection in 3D Environments – Development of ‘PAV 3D’ (Photographic Archive Visualisation)15th International Conference on Entertainment Computing (ICEC), Sep 2016, Wien, Austria. pp.272-277, ⟨10.1007/978-3-319-46100-7_29⟩
Conference papers
hal-01640276v1
|
||
|
The Generation of a Situation Model, in Real-Time, as a Support to Crisis ManagementITDRR 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
|
||
|
Better Access to Terminology for Crisis Communications1st International Conference on Information Technology in Disaster Risk Reduction (ITDRR), Nov 2016, Sofia, Bulgaria. pp.93-103, ⟨10.1007/978-3-319-68486-4_8⟩
Conference papers
hal-03213132v1
|
||
|
M&S Support for Crisis and Disaster Management Processes and Climate Change Implications1st 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
|
||
|
Formal Methods for Safe Design of Autonomous Systems Dedicated to Risk Management1st 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
|
||
|
A Proposal on Patient Transport Decision Making in Multiple Hospitals in a Large-Scale Disaster1st 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
|
||
|
The Planning of Smart City to Mitigate the Impacts of Natural Disaster in North Sumatera1st 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
|
||
|
Assessment of Flood Vulnerability Using Fuzzy Logic and Geographical Information Systems1st 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
|
||
|
Improving the Involvement of Digital Volunteers in Disaster Management1st 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
|
||
|
Forecasting Natural Disasters of Tornados Using mHGN1st 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
|
||
|
Urban Planning with the Combined Method of Perception-Driven Joint Learning Approach (PeDJoLA) and Geographic Information Systems (GIS) Model for Disaster Mitigation1st International Conference on Information Technology in Disaster Risk Reduction (ITDRR), Nov 2016, Sofia, Bulgaria. pp.139-146, ⟨10.1007/978-3-319-68486-4_11⟩
Conference papers
hal-03213123v1
|
||
|
Stalking Resilience1st 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
|
||
|
Disaster Reduction Potential of IMPRESS Platform Tools1st 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
|
||
|
Using the Scorecard Approach to Measure Seismic Social Resilience in Nablus, Palestine1st 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
|
||
|
Usability Evaluation of Information Technology in Disaster and Emergency Management1st 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
|
||
|
A Comprehensive Decision Support System for Enhanced Emergency Decision Management and Training1st International Conference on Information Technology in Disaster Risk Reduction (ITDRR), Nov 2016, Sofia, Bulgaria. pp.183-197, ⟨10.1007/978-3-319-68486-4_15⟩
Conference papers
hal-03213118v1
|
||
|
Climate Deterrence: Disasters and Security After COP 211st International Conference on Information Technology in Disaster Risk Reduction (ITDRR), Nov 2016, Sofia, Bulgaria. pp.119-138, ⟨10.1007/978-3-319-68486-4_10⟩
Conference papers
hal-03213117v1
|
||
|
Towards European Dimensions of City Resilience1st 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
|
||
|
Urban Disaster Simulation Incorporating Human Psychological Models in Evacuation Behaviors1st International Conference on Information Technology in Disaster Risk Reduction (ITDRR), Nov 2016, Sofia, Bulgaria. pp.20-30, ⟨10.1007/978-3-319-68486-4_3⟩
Conference papers
hal-03213115v1
|
||
|
Enhancing Regional Digital Preparedness on Natural Hazards to Safeguard Business Resilience in the Asia-Pacific1st 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
|
||
|
Understanding the Importance of Proper Incentives for Critical Infrastructures Management – How System Dynamics Can Help1st International Conference on Information Technology in Disaster Risk Reduction (ITDRR), Nov 2016, Sofia, Bulgaria. pp.1-8, ⟨10.1007/978-3-319-68486-4_1⟩
Conference papers
hal-03213113v1
|
||
|
Generic Hoare Logic for Order-Enriched Effects with Exceptions23th 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
|
||
|
Advances in Verification of Multi-agent Systems23th 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
|
||
|
Formalizing and Validating the P-Store Replicated Data Store in Maude23th 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
|
||
|
Towards Critical Pair Analysis for the Graph Programming Language GP 223th 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
|
||
|
Observational Semantics for Dynamic Logic with Binders23th 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
|
||
|
Algebraic Model Management: A Survey23th International Workshop on Algebraic Development Techniques (WADT), Sep 2016, Gregynog, United Kingdom. pp.56-69, ⟨10.1007/978-3-319-72044-9_5⟩
Conference papers
hal-01767471v1
|
||
|
An Institution for Event-B23th 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
|
||
|
Theorising Monitoring: Algebraic Models of Web Monitoring in Organisations23th 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
|
||
|
Canonical Selection of Colimits23th 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
|