English
Related papers

Related papers: Introduction to Working Group 7

200 papers

Recent advances in computing have changed not only the nature of mathematical computation, but mathematical proof and inquiry itself. While artificial intelligence and formalized mathematics have been the major topics of this conversation,…

Databases · Computer Science 2024-04-12 Steven Clontz

This article has as its main objective to emphasize the importance that physical spaces and architecture should have for a correct pedagogical integration of the ICT, including in this concept all the current means of communication and, in…

Physics Education · Physics 2018-02-21 Jose Gomez-Galan

Computers have already changed the way that humans do mathematics: they enable us to compute efficiently. But will they soon be helping us to reason? And will they one day start reasoning themselves? We give an overview of recent…

Artificial Intelligence · Computer Science 2025-02-13 Kevin Buzzard

Discussion about the replacement of intellectual human labour by ``thinking machines'' has been present in the public and expert discourse since the creation of Artificial Intelligence (AI) as an idea and terminology since the middle of the…

General Literature · Computer Science 2025-10-28 Stanislav Selitskiy , Chihiro Inoue

Recent research in mathematics education points to an "epistemic clash" when programming and computational thinking (CT) are leveraged alongside more established forms of mathematical thinking (MT). The emergence of generative AI emphasises…

History and Overview · Mathematics 2026-05-13 Jan-Fredrik Olsen , Tor Ole B Odden , Elise Lockwood

Computational imaging has been playing a vital role in the development of natural sciences. Advances in sensory, information, and computer technologies have further extended the scope of influence of imaging, making digital images an…

Image and Video Processing · Electrical Eng. & Systems 2022-02-25 Bin Dong

A major challenge facing the world is the provision of equitable and universal access to quality education. Recent advances in generative AI (gen AI) have created excitement about the potential of new technologies to offer a personal tutor…

In the classroom environment, search tools are the means for students to access Web resources. The perspectives of students, researchers, and industry practitioners lead the ongoing research debate in this area. In this article, we argue in…

Information Retrieval · Computer Science 2021-05-11 Emiliana Murgia , Monica Landoni , Theo Huibers , Maria Soledad Pera

Seven years ago (2016), we began integrating Robotics into our Computer Science curriculum. This paper explores the mission, initial goals and objectives, specific choices we made along the way, and why and outcomes. Of course, we were not…

Robotics · Computer Science 2024-04-30 R. Pito Salas

Generative AI models, including large language models and multimodal models that include text and other media, are on the cusp of transforming many aspects of modern life, including entertainment, education, civic life, the arts, and a…

Computers and Society · Computer Science 2023-04-05 Meredith Ringel Morris

Real-life conjectures do not come with instructions saying whether they they should be proven or, instead, refuted. Yet, as we now know, in either case the final argument produced had better be not just convincing but actually verifiable in…

Computers and Society · Computer Science 2015-07-21 João Marcos

Science education will play a vital role in shaping the present and future of modern societies. Thus, Europe needs all its talents to increase creativity and competitiveness. Young boys and girls especially have to be engaged to pursue…

This volume constitutes the proceedings of the 7th International Workshop on Physics and Computation (PC 2016). The workshop was held on the 14th of July 2016 in Manchester, UK, as a satellite workshop to UCNC 2016, the 15th International…

Emerging Technologies · Computer Science 2016-06-22 Alastair A. Abbott , Dominic C. Horsman

A good amount of research has explored the use of wearables for educational or learning purposes. We have now reached a point when much literature can be found on that topic, but few attempts have been made to make sense of that literature…

Human-Computer Interaction · Computer Science 2024-02-22 Sharon Lynn Chu , Brittany M. Garcia , Neha Rani

The scientific problem in our project is defined as a question: how social technologies could contribute to the development of smart and inclusive society? The subject of our research are networked projects (virtual CI systems) which…

Social and Information Networks · Computer Science 2014-07-01 Aelita Skarzauskiene , Birute Pitrenaite-Zileniene , Edgaras Leichteris , Zaneta Paunksniene , Monika Maciuliene

Our educational systems must prepare students for an increasingly interconnected future, and teachers require equipping with modern tools, such as network science, to achieve this. We held a Networks in Classroom Education (NiCE) workshop…

The "digital Michelangelo project" was a seminal computer vision project in the early 2000's that pushed the capabilities of acquisition systems and involved multiple people from diverse fields, many of whom are now leaders in industry and…

Genealogy, the study of family history and lineage, has seen tremendous growth over the past decade, fueled by technological advances such as home DNA testing and mass digitization of historical records. However, HCI research on genealogy…

Human-Computer Interaction · Computer Science 2025-02-03 Fei Shan , Kurt Luther