Searched for: mods_originInfo_publisher_s%3A%22Association%255C+for%255C+Computing%255C+Machinery%255C+%255C%2528ACM%255C%2529%22
(1 - 20 of 666)
- 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
-
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
-
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
-
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
-
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
-
Design of Child-robot Interactions for Comfort and Distraction from Post-operative Pain and DistressFerrari, 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
- document
-
Bink, Markus (author), Schwarz, Sebastian (author), Draws, T.A. (author), Elsweiler, David (author)Featured snippets that attempt to satisfy users' information needs directly on top of the first search engine results page (SERP) have been shown to strongly impact users' post-search attitudes and beliefs. In the context of debated but scientifically answerable topics, recent research has demonstrated that users tend to trust featured...conference paper 2023
- document
-
Azzopardi, Leif (author), Maxwell, D.M. (author), Halvey, Martin (author), Hauff, C. (author)Advertisements, sponsored links, clickbait, in-house recommendations and similar elements pervasively shroud featured content. Such elements vie for people's attention, potentially distracting people from their task at hand. The effects of such "distractors"is likely to increase people's cognitive workload and reduce their performance as they...conference paper 2023
- document
-
El Zein, Dima (author), Câmara, Arthur (author), Da Costa Pereira, Célia (author), Tettamanzi, Andrea (author)A reliable representation of the user's knowledge state during a learning search session is crucial to understand their real information needs. When a search system is aware of such a state, it can adapt the search results and provide greater support for the user's learning objectives. A common practice to track the user's knowledge state is...conference paper 2023
- document
-
Nouri, Zahra (author), Prakash, Nikhil (author), Gadiraju, Ujwal (author), Wachsmuth, Henning (author)Quality control is an, if not the, essential challenge in crowdsourcing. Unsatisfactory responses from crowd workers have been found to particularly result from ambiguous and incomplete task descriptions, often from inexperienced task requesters. However, creating clear task descriptions with sufficient information is a complex process for...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 666)