Filter your results
- 19
- 1
- 17
- 2
- 1
- 20
- 2
- 3
- 1
- 3
- 1
- 1
- 2
- 2
- 4
- 1
- 1
- 1
- 20
- 4
- 2
- 1
- 1
- 1
- 1
- 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
- 1
20 results
|
|
sorted by
|
|
Studying a Head Tracking Technique for First-Person-Shooter Games in a Home Setting14th 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
|
||
|
Face to Face or Facebook: 21st Century University Education: A Survey15th 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
|
||
|
Curriculum Design and Delivery for E-Government Knowledge Transfer in a Cross Cultural Environment: The Bangladesh ExperienceInternationalWorking 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
|
||
|
Robotic Emotion Monitoring for Mental Health Applications: Preliminary Outcomes of a Survey18th 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 ScienceSpringer, LNCS-7399, 2012, Coalgebraic Methods in Computer Science, ⟨10.1007/978-3-642-32784-1⟩
Books
hal-01539886v1
|
||
|
DeepVANet: A Deep End-to-End Network for Multi-modal Emotion Recognition18th 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
|
||
|
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
|
||
|
Big Data ProphylacticsAnja 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
|
||
|
Making Progress in Integrated Modelling and Environmental Decision Support9th 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
|
||
|
Wands Are Magic: A Comparison of Devices Used in 3D Pointing Interfaces14th 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
|
||
|
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
|
||
|
An Exploration of the Relationship Between Personality and Strategy Formation Using Market Farmer: Using a Bespoke Computer Game in Behavioural Research1st 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
|
||
|
The NCI High Performance Computing and High Performance Data Platform to Support the Analysis of Petascale Environmental Data Collections11th 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
|
||
|
Civil Society Must Publish Standards Documents9th 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
|
||
|
Duality for Instantial Neighbourhood Logic via Coalgebra15th 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
|
||
|
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
|
||
|
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
|
||
|
Thumbs Up: 3D Gesture Input on Mobile Phones Using the Front Facing Camera14th 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
|
||
|
From Display Calculi to Deep Nested Sequent Calculi: Formalised for Full Intuitionistic Linear Logic8th 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
|
||
|
AlgorithmicsAdvancing Research in Information and Communication Technology, AICT-600, pp.59-98, 2021, ⟨10.1007/978-3-030-81701-5_3⟩
Book sections
hal-03325977v1
|