Search - IFIP Open Digital Library Access content directly

Filter your results

50 results
Structure: Internal structure identifier : 301081
Image document

When Friends Become Strangers: Understanding the Influence of Avatar Gender on Interpersonal Distance in Virtual Reality

Radiah Rivu , Yumeng Zhou , Robin Welsch , Ville Mäkelä , Florian Alt
18th IFIP Conference on Human-Computer Interaction (INTERACT), Aug 2021, Bari, Italy. pp.234-250, ⟨10.1007/978-3-030-85607-6_16⟩
Conference papers hal-04291238v1
Image document

Unrestricted State Complexity of Binary Operations on Regular Languages

Janusz Brzozowski
18th International Workshop on Descriptional Complexity of Formal Systems (DCFS), Jul 2016, Bucharest, Romania. pp.60-72, ⟨10.1007/978-3-319-41114-9_5⟩
Conference papers hal-01633951v1
Image document

Topology-Awareness and Reoptimization Mechanism for Virtual Network Embedding

Nabeel Farooq Butt , Mosharaf Chowdhury , Raouf Boutaba
9th International IFIP TC 6 Networking Conference (NETWORKING), May 2010, Chennai, India. pp.27-39, ⟨10.1007/978-3-642-12963-6_3⟩
Conference papers hal-01056302v1
Image document

The Core Degree Based Tag Reduction on Chip Multiprocessor to Balance Energy Saving and Performance Overhead

Long Zheng , Mianxiong Dong , Hai Jin , Minyi Guo , Song Guo , et al.
IFIP International Conference on Network and Parallel Computing (NPC), Sep 2010, Zhengzhou, China. pp.358-372, ⟨10.1007/978-3-642-15672-4_30⟩
Conference papers hal-01054972v1
Image document

Sustainability of Cascading Product Lifecycles: The Need for Adaptive Management to End-of-Life Supply Chains

Matthias Kalverkamp , Alexandra Pehlken , Thorsten Wuest , Steven B. Young
15th IFIP International Conference on Product Lifecycle Management (PLM), Jul 2018, Turin, Italy. pp.159-168, ⟨10.1007/978-3-030-01614-2_15⟩
Conference papers hal-02075572v1
Image document

Survivable Virtual Network Embedding

Muntasir Raihan Rahman , Issam Aib , Raouf Boutaba
9th International IFIP TC 6 Networking Conference (NETWORKING), May 2010, Chennai, India. pp.40-52, ⟨10.1007/978-3-642-12963-6_4⟩
Conference papers hal-01056301v1
Image document

State Complexity of Single-Word Pattern Matching in Regular Languages

Janusz A. Brzozowski , Sylvie Davies , Abhishek Madan
21th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2019, Košice, Slovakia. pp.86-97, ⟨10.1007/978-3-030-23247-4_6⟩
Conference papers hal-02387297v1
Image document

State Complexity of Simple Splicing

Lila Kari , Timothy Ng
21th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2019, Košice, Slovakia. pp.197-209, ⟨10.1007/978-3-030-23247-4_15⟩
Conference papers hal-02387296v1
Image document

Square, Power, Positive Closure, and Complementation on Star-Free Languages

Sylvie Davies , Michal Hospodár
21th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2019, Košice, Slovakia. pp.98-110, ⟨10.1007/978-3-030-23247-4_7⟩
Conference papers hal-02387295v1
Image document

Social Companion Robots to Reduce Isolation: A Perception Change Due to COVID-19

Moojan Ghafurian , Colin Ellard , Kerstin Dautenhahn
18th IFIP Conference on Human-Computer Interaction (INTERACT), Aug 2021, Bari, Italy. pp.43-63, ⟨10.1007/978-3-030-85616-8_4⟩
Conference papers hal-04196848v1
Image document

Segmentation of Breast Ultrasound Images Using Neural Networks

Ahmed A. Othman , Hamid R. Tizhoosh
12th Engineering Applications of Neural Networks (EANN 2011) and 7th Artificial Intelligence Applications and Innovations (AIAI), Sep 2011, Corfu, Greece. pp.260-269, ⟨10.1007/978-3-642-23957-1_30⟩
Conference papers hal-01571364v1
Image document

Searchable Encryption to Reduce Encryption Degradation in Adjustably Encrypted Databases

Florian Kerschbaum , Martin Härterich
31th IFIP Annual Conference on Data and Applications Security and Privacy (DBSEC), Jul 2017, Philadelphia, PA, United States. pp.325-336, ⟨10.1007/978-3-319-61176-1_18⟩
Conference papers hal-01684354v1
Image document

Recognition of a Robot’s Affective Expressions Under Conditions with Limited Visibility

Moojan Ghafurian , Sami Alperen Akgun , Mark Crowley , Kerstin Dautenhahn
18th IFIP Conference on Human-Computer Interaction (INTERACT), Aug 2021, Bari, Italy. pp.448-469, ⟨10.1007/978-3-030-85613-7_31⟩
Conference papers hal-04292361v1
Image document

Privacy-Preserving Outlier Detection for Data Streams

Jonas Böhler , Daniel Bernau , Florian Kerschbaum
31th IFIP Annual Conference on Data and Applications Security and Privacy (DBSEC), Jul 2017, Philadelphia, PA, United States. pp.225-238, ⟨10.1007/978-3-319-61176-1_12⟩
Conference papers hal-01684375v1
Image document

Open Source Vulnerability Notification

Brandon Carlson , Kevin Leach , Darko Marinov , Meiyappan Nagappan , Atul Prakash
15th IFIP International Conference on Open Source Systems (OSS), May 2019, Montreal, QC, Canada. pp.12-23, ⟨10.1007/978-3-030-20883-7_2⟩
Conference papers hal-02305712v1
Image document

On the State Complexity of the Shuffle of Regular Languages

Janusz Brzozowski , Galina Jirásková , Bo Liu , Aayush Rajasekaran , Marek Szykuła
18th International Workshop on Descriptional Complexity of Formal Systems (DCFS), Jul 2016, Bucharest, Romania. pp.73-86, ⟨10.1007/978-3-319-41114-9_6⟩
Conference papers hal-01633943v1
Image document

Non-interactive Private Decision Tree Evaluation

Anselme Tueno , Yordan Boev , Florian Kerschbaum
34th IFIP Annual Conference on Data and Applications Security and Privacy (DBSec), Jun 2020, Regensburg, Germany. pp.174-194, ⟨10.1007/978-3-030-49669-2_10⟩
Conference papers hal-03243640v1
Image document

Naïve Security in a Wi-Fi World

Colleen Swanson , Ruth Urner , Edward Lank
4th IFIP WG 11.11 International on Trust Management (TM), Jun 2010, Morioka, Japan. pp.32-47, ⟨10.1007/978-3-642-13446-3_3⟩
Conference papers hal-01061317v1
Image document

Most Complex Non-returning Regular Languages

Janusz A. Brzozowski , Sylvie Davies
19th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2017, Milano, Italy. pp.89-101, ⟨10.1007/978-3-319-60252-3_7⟩
Conference papers hal-01656998v1
Image document

Most Complex Deterministic Union-Free Regular Languages

Janusz A. Brzozowski , Sylvie Davies
20th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2018, Halifax, NS, Canada. pp.37-48, ⟨10.1007/978-3-319-94631-3_4⟩
Conference papers hal-01905640v1
Image document

Mobility Prediction Based Neighborhood Discovery in Mobile Ad Hoc Networks

Xu Li , Nathalie Mitton , David Simplot-Ryl
10th IFIP Networking Conference (NETWORKING), May 2011, Valencia, Spain. pp.241-253, ⟨10.1007/978-3-642-20757-0_19⟩
Conference papers inria-00598976v1
Image document

Measures of Model Interpretability for Model Selection

André Carrington , Paul Fieguth , Helen Chen
2nd International Cross-Domain Conference for Machine Learning and Knowledge Extraction (CD-MAKE), Aug 2018, Hamburg, Germany. pp.329-349, ⟨10.1007/978-3-319-99740-7_24⟩
Conference papers hal-02060060v1
Image document

Loop Freedom in AODVv2

Kedar S. Namjoshi , Richard J. Trefler
35th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2015, Grenoble, France. pp.98-112, ⟨10.1007/978-3-319-19195-9_7⟩
Conference papers hal-01767329v1
Image document

Leveraging CD Gain for Precise Barehand Video Timeline Browsing on Smart Displays

Futian Zhang , Sachi Mizobuchi , Wei Zhou , Taslim Arefin Khan , Wei Li , et al.
18th IFIP Conference on Human-Computer Interaction (INTERACT), Aug 2021, Bari, Italy. pp.72-91, ⟨10.1007/978-3-030-85610-6_5⟩
Conference papers hal-04215522v1
Image document

Leveraging a Social Network of Trust for Promoting Honesty in E-Marketplaces

Jie Zhang , Robin Cohen , Kate Larson
4th IFIP WG 11.11 International on Trust Management (TM), Jun 2010, Morioka, Japan. pp.216-231, ⟨10.1007/978-3-642-13446-3_15⟩
Conference papers hal-01061329v1
Image document

Human-Computer Interaction – INTERACT 2019: 17th IFIP TC 13 International Conference, Paphos, Cyprus, September 2–6, 2019, Proceedings, Part IV

David Lamas , Fernando Loizides , Helen Petrie , Marco Winckler , Panayiotis Zaphiris , et al.
Springer International Publishing, LNCS-11749, 2019, Lecture Notes in Computer Science
Books hal-02896565v1

Human-Computer Interaction – INTERACT 2019

David Lamas , Fernando Loizides , Lennart E. Nacke , Helen Petrie , Marco Winckler , et al.
Springer International Publishing, LNCS-11747, 2019, Lecture Notes in Computer Science, 978-3-030-29383-3. ⟨10.1007/978-3-030-29384-0⟩
Books hal-02544612v1

Human-Computer Interaction – INTERACT 2019

David Lamas , Fernando Loizides , Lennart Nacke , Helen Petrie , Marco Winckler , et al.
Springer International Publishing, LNCS-11746, 2019, Lecture Notes in Computer Science, 978-3-030-29380-2. ⟨10.1007/978-3-030-29381-9⟩
Books hal-02544551v1

Human-Computer Interaction – INTERACT 2019

David Lamas , Fernando Loizides , Helen Petrie , Marco Winckler , Panayiotis Zaphiris , et al.
Springer International Publishing, LNCS-11748, 2019, Lecture Notes in Computer Science
Books hal-02553855v1
Image document

Human Work Interaction Design of the Smart University

José Abdelnour-Nocera , Samia Oussena , Catherine Burns
4th IFIP 13.6 Working Conference on Human Work Interaction Design (HWID), Jun 2015, London, United Kingdom. pp.127-140, ⟨10.1007/978-3-319-27048-7_9⟩
Conference papers hal-01371692v1