Filter your results
- 20
- 19
- 1
- 20
- 1
- 2
- 1
- 1
- 15
- 1
- 20
- 3
- 1
- 1
- 1
- 1
- 4
- 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
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
20 results
|
|
sorted by
|
|
Psi-Calculi Revisited: Connectivity and Compositionality39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2019, Copenhagen, Denmark. pp.3-20, ⟨10.1007/978-3-030-21759-4_1⟩
Conference papers
hal-02313748v1
|
||
|
A Cotton Irrigator’s Decision Support System and Benchmarking Tool Using National, Regional and Local Data11th International Symposium on Environmental Software Systems (ISESS), Mar 2015, Melbourne, Australia. pp.187-195, ⟨10.1007/978-3-319-15994-2_18⟩
Conference papers
hal-01328548v1
|
||
|
Scenario Planning Case Studies Using Open Government Data11th International Symposium on Environmental Software Systems (ISESS), Mar 2015, Melbourne, Australia. pp.207-216, ⟨10.1007/978-3-319-15994-2_20⟩
Conference papers
hal-01328550v1
|
||
|
An Application Framework for the Rapid Deployment of Ocean Models in Support of Emergency Services: Application to the MH370 Search11th International Symposium on Environmental Software Systems (ISESS), Mar 2015, Melbourne, Australia. pp.235-241, ⟨10.1007/978-3-319-15994-2_23⟩
Conference papers
hal-01328555v1
|
||
|
A Fast Method for Abrupt Change Detection from Large-Scale Electrocardiogram (ECG) Time Series15th International Conference on Informatics and Semiotics in Organisations (ICISO), May 2014, Shanghai, China. pp.420-429, ⟨10.1007/978-3-642-55355-4_44⟩
Conference papers
hal-01350952v1
|
||
|
A Best of Both Worlds Approach to Complex, Efficient, Time Series Data Delivery11th International Symposium on Environmental Software Systems (ISESS), Mar 2015, Melbourne, Australia. pp.371-379, ⟨10.1007/978-3-319-15994-2_37⟩
Conference papers
hal-01328577v1
|
||
|
Privacy and Confidentiality in Service Science and Big Data AnalyticsJan Camenisch; Simone Fischer-Hübner; Marit Hansen. Privacy and Identity Management for the Future Internet in the Age of Globalisation: 9th IFIP WG 9.2, 9.5, 9.6/11.7, 11.4, 11.6/SIG 9.2.2, International Summer School, Patras, Greece, September 7–12, 2014, AICT-457, Springer, pp.54-70, 2015, IFIP Advances in Information and Communication Technology (TUTORIAL), 978-3-319-18620-7. ⟨10.1007/978-3-319-18621-4_5⟩
Book sections
hal-01431598v1
|
||
|
The Emergency Response Intelligence Capability Tool11th International Symposium on Environmental Software Systems (ISESS), Mar 2015, Melbourne, Australia. pp.141-150, ⟨10.1007/978-3-319-15994-2_13⟩
Conference papers
hal-01328541v1
|
||
|
A Provenance Maturity Model11th International Symposium on Environmental Software Systems (ISESS), Mar 2015, Melbourne, Australia. pp.1-18, ⟨10.1007/978-3-319-15994-2_1⟩
Conference papers
hal-01328521v1
|
||
|
Towards Linked Data Conventions for Delivery of Environmental Data Using netCDF11th International Symposium on Environmental Software Systems (ISESS), Mar 2015, Melbourne, Australia. pp.102-112, ⟨10.1007/978-3-319-15994-2_9⟩
Conference papers
hal-01328530v1
|
||
|
Implementing a Glossary and Vocabulary Service in an Interdisciplinary Environmental Assessment for Decision Makers11th International Symposium on Environmental Software Systems (ISESS), Mar 2015, Melbourne, Australia. pp.380-387, ⟨10.1007/978-3-319-15994-2_38⟩
Conference papers
hal-01328580v1
|
||
|
Combined Aggregation and Column Generation for Land-Use Trade-Off Optimisation11th International Symposium on Environmental Software Systems (ISESS), Mar 2015, Melbourne, Australia. pp.455-466, ⟨10.1007/978-3-319-15994-2_46⟩
Conference papers
hal-01328592v1
|
||
|
A Framework for Optimal Assessment of Planning Investments in Urban Water Systems11th International Symposium on Environmental Software Systems (ISESS), Mar 2015, Melbourne, Australia. pp.492-502, ⟨10.1007/978-3-319-15994-2_50⟩
Conference papers
hal-01328597v1
|
||
|
Physiological Affect and Performance in a Collaborative Serious Game Between Humans and an Autonomous Robot17th International Conference on Entertainment Computing (ICEC), Sep 2018, Poznan, Poland. pp.127-138, ⟨10.1007/978-3-319-99426-0_11⟩
Conference papers
hal-02128637v1
|
||
|
Reasoning About Distributed Secrets37th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2017, Neuchâtel, Switzerland. pp.156-170, ⟨10.1007/978-3-319-60225-7_11⟩
Conference papers
hal-01658413v1
|
||
|
Mobile Field Data Collection for Post Bushfire Analysis and African Farmers11th International Symposium on Environmental Software Systems (ISESS), Mar 2015, Melbourne, Australia. pp.160-168, ⟨10.1007/978-3-319-15994-2_15⟩
Conference papers
hal-01328545v1
|
||
|
Joining the Dots: Using Linked Data to Navigate between Features and Observational Data11th International Symposium on Environmental Software Systems (ISESS), Mar 2015, Melbourne, Australia. pp.121-130, ⟨10.1007/978-3-319-15994-2_11⟩
Conference papers
hal-01328533v1
|
||
|
SPARK – A Bushfire Spread Prediction Tool11th International Symposium on Environmental Software Systems (ISESS), Mar 2015, Melbourne, Australia. pp.262-271, ⟨10.1007/978-3-319-15994-2_26⟩
Conference papers
hal-01328559v1
|
||
|
A New Approach for Coupled Regional Climate Modeling Using More than 10,000 Cores11th International Symposium on Environmental Software Systems (ISESS), Mar 2015, Melbourne, Australia. pp.599-607, ⟨10.1007/978-3-319-15994-2_61⟩
Conference papers
hal-01328612v1
|
||
|
Physiological Indicators for User Trust in Machine Learning with Influence Enhanced Fact-Checking3rd International Cross-Domain Conference for Machine Learning and Knowledge Extraction (CD-MAKE), Aug 2019, Canterbury, United Kingdom. pp.94-113, ⟨10.1007/978-3-030-29726-8_7⟩
Conference papers
hal-02520035v1
|