Searched for: mods_originInfo_publisher_s%3A%22Association%255C+for%255C+Computing%255C+Machinery%255C+%255C%2528ACM%255C%2529%22
(1 - 20 of 670)

Pages

document
Ahrens, B.P. (author), Matthes, Ralph (author), van der Weide, N.J. (author), Wullaert, K.F. (author)
We present a formalization of different categorical structures used to interpret linear logic. Our formalization takes place in UniMath, a library of univalent mathematics based on the Coq proof assistant. All the categorical structures we formalize are based on monoidal categories. As such, one of our contributions is a practical, usable...
conference paper 2024
document
van der Weide, N.J. (author), Rasekh, Nima (author), Ahrens, B.P. (author), North, P.R. (author)
Category theory is a branch of mathematics that provides a formal framework for understanding the relationship between mathematical structures. To this end, a category not only incorporates the data of the desired objects, but also "morphisms", which capture how different objects interact with each other. Category theory has found many...
conference paper 2024
document
Sturdee, Miriam (author), Genç, H.U. (author), Wanick, Vanissa (author)
This one-day studio aims to catalyze discussions and experimentation around non-textual academic documentation methods. With the understanding that human knowledge transcends written words, we aim to explore innovative ways to present and disseminate research outputs in diverse forms and of varying materiality. By bringing together...
conference paper 2024
document
Rieger, A. (author), Bredius, Frank (author), Theune, Mariët (author), Pera, M.S. (author)
An essential characteristic for unbiased and diligent information-seeking that can enable informed opinion formation and decision-making is intellectual humility (IH), the awareness of the limitations of one's knowledge and opinions. While researchers have recognized the potential to boost IH in individuals, the effect of such interventions...
conference paper 2024
document
Zhu, P. (author), Câmara, Arthur (author), Roy, N. (author), Maxwell, D.M. (author), Hauff, C. (author)
Actively engaging learners with learning materials has been shown to be very important in the Search as Learning (SAL) setting. One active reading strategy relies on asking so-called adjunct questions, i.e., manually curated questions geared towards essential concepts of the target material. However, manual question creation is impractical...
conference paper 2024
document
Gomez Ortega, A. (author), Bourgeois, Jacky (author), Kortuem, G.W. (author)
Most people interact with digital technologies that collect personal data about their behavior and experiences, leaving behind a data trail. The data within this trail is abstract and difficult to interpret; still, people often need to decide about its collection and distribution. Hence, it is paramount to support personal data literacy, for...
conference paper 2024
document
Gomez Ortega, A. (author), Noortman, Renee (author), Bourgeois, Jacky (author), Kortuem, G.W. (author)
Most people are entangled with an ever-growing trail of data that results from their daily interactions with products and services. Yet, they are hardly aware of the nature and characteristics of the data within this trail. We design dataslip, a provocative artifact that materializes the personal data trail into a receipt and aims to elicit...
conference paper 2024
document
Liu, Q. (author), Ghodrat, Dr. Sepideh (author), Jansen, K.M.B. (author)
We developed a shape-changing constructive kit, named Mimosa1. A key component of the toolkit is the modular hinges, each of which is equipped with two antagonistic shape memory alloy (SMA) wires. One wire deforms the hinge to approach its predetermined angle at high temperature, and another wire drives the hinge back when it cools down....
conference paper 2024
document
Valle Torre, M. (author), Oertel, Catharine (author), Specht, M.M. (author)
Describing and analysing learner behaviour using sequential data and analysis is becoming more and more popular in Learning Analytics. Nevertheless, we found a variety of definitions of learning sequences, as well as choices regarding data aggregation and the methods implemented for analysis. Furthermore, sequences are used to study different...
conference paper 2024
document
de Wit, S. (author), Hermans, F.F.J. (author), Specht, M.M. (author), Aivaloglou, E.A. (author)
From an early age, girls may opt out of Computer Science (CS) for not fitting the CS stereotypes of being male, asocial and technology-oriented. These stereotypes might be strengthened by children's books on programming, but little is known about this. Therefore, this paper explores the gender, social interactions and interests of characters...
conference paper 2024
document
Nadeem, A. (author)
Although many Computer Science (CS) programs offer cybersecurity courses, they are typically optional and placed at the periphery of the program. We advocate to integrate cybersecurity as a crosscutting concept in CS curricula, which is also consistent with latest cybersecurity curricular guidelines, e.g., CSEC2017. We describe our experience...
conference paper 2024
document
Cambaz, Doga (author), Zhang, X. (author)
The recent emergence of LLM-based code generation models can potentially transform programming education. To pinpoint the current state of research on using LLM-based code generators to support the teaching and learning of programming, we conducted a systematic literature review of 21 papers published since 2018. The review focuses on (1) the...
conference paper 2024
document
Wallat, Jonas (author), Jatowt, Adam (author), Anand, A. (author)
Large language models (LLMs) have recently gained significant attention due to their unparalleled zero-shot performance on various natural language processing tasks. However, the pre-Training data utilized in LLMs is often confined to a specific corpus, resulting in inherent freshness and temporal scope limitations. Consequently, this raises...
conference paper 2024
document
Neague, P.M. (author), Gregoriadis, M.I. (author), Pouwelse, J.A. (author)
This study introduces De-DSI, a novel framework that fuses large language models (LLMs) with genuine decentralization for information retrieval, particularly employing the differentiable search index (DSI) concept in a decentralized setting. Focused on efficiently connecting novel user queries with document identifiers without direct document...
conference paper 2024
document
Nguyen, Minh (author), Vats, Shivi (author), Zhou, X. (author), Viola, Irene (author), Cesar, Pablo (author), Timmerer, Christian (author), Hellwagner, Hermann (author)
Point clouds (PCs) have attracted researchers and developers due to their ability to provide immersive experiences with six degrees of freedom (6DoF). However, there are still several open issues in understanding the Quality of Experience (QoE) and visual attention of end users while experiencing 6DoF volumetric videos. First, encoding and...
conference paper 2024
document
Röggla, Thomas (author), Shamma, David A. (author), Williamson, Julie R. (author), Viola, Irene (author), Rossi, Silvia (author), Cesar, Pablo (author)
In recent years, a large variety of online communication tools have emerged, including social Virtual Reality (VR) platforms for interacting in a virtual world with participants being represented as virtual avatars. Given their popularity, an active area of research focuses on improving the user experience in these virtual experiences. To...
conference paper 2024
document
Chaudhary, Shivam (author), Prasad Miyapuram, Krishna (author), Lomas, J.D. (author)
Entrainment is a phenomenon of phase or temporal matching of one system with that of another system. Human neural activity has been shown to resonate with external auditory stimuli. When we enjoy a piece of music, there is a resonance of brain responses with auditory signals. The crux of music cognition is based on this resonance of musical...
conference paper 2023
document
Gomez Ortega, A. (author), Lovei, Peter (author), Noortman, Renee (author), Toebosch, Romain (author), Bowyer, Alex (author), Kurze, Albrecht (author), Funk, Mathias (author), Gould, Sandy (author), Huron, Samuel (author), Bourgeois, J. (author)
Behavioral data is ubiquitous in products, services, and systems that people interact with. It is increasingly used by design and HCI researchers and practitioners throughout their human-centered and participatory design processes. The highly dynamic nature of behavioral data makes it deeply intertwined with people, their behavior, and their...
conference paper 2023
document
Ferrari, Oriana Isabella (author), Zhang, Feiran (author), Braam, Ayrton A. (author), Van Gurp, Jules A.M. (author), Broz, F. (author), Barakova, Emilia I. (author)
There are numerous strategies for reducing the stress and anxiety associated with pain that children experience before and after surgery. There is a potential communication barrier between hospital staff and the child which may result in inadequate pain management. Social robots may reduce the gap between the support that personnel can...
conference paper 2023
document
Li, Y. (author), Broz, F. (author), Neerincx, M.A. (author)
Assistive robots are expected to contribute to the solution of major societal problems in healthcare, such as the increasing number of elderly who need informal and professional care over a long period of time. Most of the research focuses on the development of humanlike robots to facilitate human-robot interaction and strengthen the social,...
conference paper 2023
Searched for: mods_originInfo_publisher_s%3A%22Association%255C+for%255C+Computing%255C+Machinery%255C+%255C%2528ACM%255C%2529%22
(1 - 20 of 670)

Pages