Search - IFIP Open Digital Library Access content directly

Filter your results

20 results
Structure: Internal structure identifier : 74662
Page :
sorted by
Image document

From Display Calculi to Deep Nested Sequent Calculi: Formalised for Full Intuitionistic Linear Logic

 Jeremy E. Dawson , Ranald Clouston , Rajeev Goré , Alwen Tiu
8th IFIP International Conference on Theoretical Computer Science (TCS), Sep 2014, Rome, Italy. pp.250-264, ⟨10.1007/978-3-662-44602-7_20⟩
Conference papers hal-01402048v1
Image document

Algorithmics

 Richard Bird , Jeremy Gibbons , Ralf Hinze , Peter Höfner , Johan Jeuring , et al.
Advancing Research in Information and Communication Technology, AICT-600, pp.59-98, 2021, ⟨10.1007/978-3-030-81701-5_3⟩
Book sections hal-03325977v1
Image document

Psi-Calculi Revisited: Connectivity and Compositionality

 Johannes Åman Pohjola
39th 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
Image document

Big Data Prophylactics

 Roger Clarke
Anja Lehmann; Diane Whitehouse; Simone Fischer-Hübner; Lothar Fritsch; Charles Raab. Privacy and Identity Management. Facing up to Next Steps : 11th IFIP WG 9.2, 9.5, 9.6/11.7, 11.4, 11.6/SIG 9.2.2 International Summer School, Karlstad, Sweden, August 21-26, 2016, Revised Selected Papers, AICT-498, Springer International Publishing, pp.3-14, 2016, IFIP Advances in Information and Communication Technology, 978-3-319-55782-3. ⟨10.1007/978-3-319-55783-0_1⟩
Book sections hal-01629165v1
Image document

Making Progress in Integrated Modelling and Environmental Decision Support

 Anthony J. Jakeman , Sondoss El Sawah , Joseph Guillaume , Suzanne A. Pierce
9th International Symposium on Environmental Software Systems (ISESS), Jun 2011, Brno, Czech Republic. pp.15-25, ⟨10.1007/978-3-642-22285-6_2⟩
Conference papers hal-01569228v1
Image document

Duality for Instantial Neighbourhood Logic via Coalgebra

 Nick Bezhanishvili , Sebastian Enqvist , Jim De Groot
15th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2020, Dublin, Ireland. pp.32-54, ⟨10.1007/978-3-030-57201-3_3⟩
Conference papers hal-03232350v1
Image document

Physiological Indicators for User Trust in Machine Learning with Influence Enhanced Fact-Checking

 Jianlong Zhou , Huaiwen Hu , Zhidong Li , Kun Yu , Fang Chen
3rd 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
Image document

DeepVANet: A Deep End-to-End Network for Multi-modal Emotion Recognition

 Yuhao Zhang , Md Zakir Hossain , Shafin Rahman
18th IFIP Conference on Human-Computer Interaction (INTERACT), Aug 2021, Bari, Italy. pp.227-237, ⟨10.1007/978-3-030-85613-7_16⟩
Conference papers hal-04292350v1
Image document

Wands Are Magic: A Comparison of Devices Used in 3D Pointing Interfaces

 Martin Henschke , Tom Gedeon , Richard Jones , Sabrina Caldwell , Dingyun Zhu
14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.512-519, ⟨10.1007/978-3-642-40477-1_32⟩
Conference papers hal-01504906v1
Image document

Reasoning About Distributed Secrets

 Nicolás Bordenabe , Annabelle Mciver , Carroll Morgan , Tahiry Rabehaja
37th 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
Image document

An Exploration of the Relationship Between Personality and Strategy Formation Using Market Farmer: Using a Bespoke Computer Game in Behavioural Research

 Andrew Reilly , Dirk Van Rooy , Simon Angus
1st Joint International Conference on Entertainment Computing and Serious Games (ICEC-JCSG), Nov 2019, Arequipa, Peru. pp.311-323, ⟨10.1007/978-3-030-34644-7_25⟩
Conference papers hal-03652032v1
Image document

The NCI High Performance Computing and High Performance Data Platform to Support the Analysis of Petascale Environmental Data Collections

 Ben Evans , Lesley Wyborn , Tim Pugh , Chris Allen , Joseph Antony , et al.
11th International Symposium on Environmental Software Systems (ISESS), Mar 2015, Melbourne, Australia. pp.569-577, ⟨10.1007/978-3-319-15994-2_58⟩
Conference papers hal-01328609v1
Image document

Civil Society Must Publish Standards Documents

 Roger Clarke
9th IFIP TC9 International Conference on Human Choice and Computers (HCC) / 1st IFIP TC11 International Conference on Critical Information Infrastructure Protection (CIP) / Held as Part of World Computer Congress (WCC), Sep 2010, Brisbane, Australia. pp.180-184, ⟨10.1007/978-3-642-15479-9_18⟩
Conference papers hal-01054795v1
Image document

A Provenance Maturity Model

 Kerry Taylor , Robert Woodcock , Susan Cuddy , Peter Thew , David Lemon
11th 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
Image document

Thumbs Up: 3D Gesture Input on Mobile Phones Using the Front Facing Camera

 Paul Schmieder , John Hosking , Andrew Luxton-Reilly , Beryl Plimmer
14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.318-336, ⟨10.1007/978-3-642-40480-1_20⟩
Conference papers hal-01501752v1
Image document

Studying a Head Tracking Technique for First-Person-Shooter Games in a Home Setting

 Torben Sko , Henry Gardner , Michael Martin
14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.246-263, ⟨10.1007/978-3-642-40498-6_18⟩
Conference papers hal-01510552v1
Image document

Face to Face or Facebook: 21st Century University Education: A Survey

 Tom Gedeon , Mohammad Yamin
15th International Conference on Informatics and Semiotics in Organisations (ICISO), May 2014, Shanghai, China. pp.471-477, ⟨10.1007/978-3-642-55355-4_49⟩
Conference papers hal-01350958v1
Image document

Curriculum Design and Delivery for E-Government Knowledge Transfer in a Cross Cultural Environment: The Bangladesh Experience

 Ahmed Imran , Shirley Gregor , Tim Turner
InternationalWorking Conference on Transfer and Diffusion of IT (TDIT), Jun 2013, Bangalore, India. pp.596-604, ⟨10.1007/978-3-642-38862-0_40⟩
Conference papers hal-01467806v1
Image document

Robotic Emotion Monitoring for Mental Health Applications: Preliminary Outcomes of a Survey

 Marat Rostov , Md Zakir Hossain , Jessica Sharmin Rahman
18th IFIP Conference on Human-Computer Interaction (INTERACT), Aug 2021, Bari, Italy. pp.481-485, ⟨10.1007/978-3-030-85607-6_62⟩
Conference papers hal-04291213v1

Coalgebraic Methods in Computer Science

 Dirk Pattinson , Lutz Schröder
Springer, LNCS-7399, 2012, Coalgebraic Methods in Computer Science, ⟨10.1007/978-3-642-32784-1⟩
Books hal-01539886v1
Page :