English
Related papers

Related papers: TATI -- A Logo-like interface for microworlds and …

200 papers

The Iltis project provides an interactive, web-based system for teaching the foundations of formal methods. It is designed with the objective to allow for simple inclusion of new educational tasks; to pipeline such tasks into more complex…

Logic in Computer Science · Computer Science 2022-05-30 Gaetano Geck , Christine Quenkert , Marko Schmellenkamp , Jonas Schmidt , Felix Tschirbs , Fabian Vehlken , Thomas Zeume

Large language models (LLMs) have acquired the ability to solve general tasks by utilizing instruction finetuning (IFT). However, IFT still relies heavily on instance training of extensive task data, which greatly limits the adaptability of…

Computation and Language · Computer Science 2025-02-19 Huanxuan Liao , Shizhu He , Yao Xu , Yuanzhe Zhang , Yanchao Hao , Shengping Liu , Kang Liu , Jun Zhao

Existing text-to-image (T2I) diffusion models usually struggle in interpreting complex prompts, especially those with quantity, object-attribute binding, and multi-subject descriptions. In this work, we introduce a semantic panel as the…

Computer Vision and Pattern Recognition · Computer Science 2024-04-10 Yutong Feng , Biao Gong , Di Chen , Yujun Shen , Yu Liu , Jingren Zhou

A common vision from science fiction is that robots will one day inhabit our physical spaces, sense the world as we do, assist our physical labours, and communicate with us through natural language. Here we study how to design artificial…

Safety is a crucial property of every robotic platform: any control policy should always comply with actuator limits and avoid collisions with the environment and humans. In reinforcement learning, safety is even more fundamental for…

Robotics · Computer Science 2023-03-02 Puze Liu , Kuo Zhang , Davide Tateo , Snehal Jauhri , Zhiyuan Hu , Jan Peters , Georgia Chalvatzaki

Imitation learning methods need significant human supervision to learn policies robust to changes in object poses, physical disturbances, and visual distractors. Reinforcement learning, on the other hand, can explore the environment…

Robotics · Computer Science 2024-11-26 Marcel Torne , Anthony Simeonov , Zechu Li , April Chan , Tao Chen , Abhishek Gupta , Pulkit Agrawal

This study aimed at evaluating how students perceive the linguistic quality and scientific accuracy of ChatGPT responses to physics comprehension questions. A total of 102 first- and second-year physics students were confronted with three…

Physics Education · Physics 2023-06-27 Merten Nikolay Dahlkemper , Simon Zacharias Lahme , Pascal Klein

Online education's popularity has been continuously increasing over the past few years. Many universities were forced to switch to online education as a result of COVID-19. In many cases, even after more than two years of online…

Computers and Society · Computer Science 2024-11-15 Sadman Jashim Sakib , Baktiar Kabir Joy , Zahin Rydha , Md. Nuruzzaman , Annajiat Alim Rasel

We describe in detail an advanced project devised for outstanding High School (or undergraduate) students with appropriate abilities in physical reasoning (rather than with a good standard preparation), centered around the well-known…

Physics Education · Physics 2019-12-20 Salvatore Esposito

As part of a larger study to understand instructors' considerations regarding the learning and teaching of problem solving in an introductory physics course, we investigated beliefs of first-year graduate teaching assistants (TAs) regarding…

Physics Education · Physics 2016-02-19 Shih-Yin Lin , Charles Henderson , William Mamudi , Chandralekha Singh , Edit Yerushalmi

Literary texts are usually rich in meanings and their interpretation complicates corpus studies and automatic processing. There have been several attempts to create collections of literary texts with annotation of literary elements like the…

Computation and Language · Computer Science 2021-11-16 Elena Mikhalkova , Timofei Protasov , Anastasiia Drozdova , Anastasiia Bashmakova , Polina Gavin

We develop an electronic-temperature dependent interatomic potential $\Phi (T_\text{e})$ for unexcited and laser-excited silicon. The potential is designed to reproduce ab initio molecular dynamics simulations by requiring force- and energy…

Materials Science · Physics 2020-03-04 Bernd Bauerhenne , Vladimir P. Lipp , Tobias Zier , Eeuwe S. Zijlstra , Martin E. Garcia

Digital Twins (DTs) are a conventional and well-known concept, proposed in 70s, that are popular in a broad spectrum of sciences, industry innovations, and consortium alliances. However, in the last few years, the growth of digital assets…

Networking and Internet Architecture · Computer Science 2022-04-26 Saeed Banaeian Far , Azadeh Imani Rad

A widespread adoption of Virtual, Augmented, and Mixed Reality (VR/AR/MR), collectively referred to as Extended Reality (XR), has become a tangible possibility to revolutionize educational and training scenarios by offering immersive,…

Human-Computer Interaction · Computer Science 2024-07-10 Rama Krishnan Gopal Ramasamy Thandapani , Benjamin Capel , Antoine Lasnier , Ioannis Chatzigiannakis

In the present paper I argue that the formalism of Newtonian mechanics stems directly from the general principle to be called the principle of microlevel reducibility which physical systems obey in the realm of classical physics. This…

History and Philosophy of Physics · Physics 2016-03-08 Ihor Lubashevsky

Designers often engage with video to gain rich, temporal insights about the context of users, collaboratively analyzing it to gather ideas, challenge assumptions, and foster empathy. To capture the full visual context of users and their…

Human-Computer Interaction · Computer Science 2024-11-18 Wo Meijer , Jacky Bourgeois , Tilman Dingler , Gerd Kortuem

Physical visualizations (i.e., data representations by means of physical objects) have been used for many centuries in medical and anatomical education. Recently, 3D printing techniques started also to emerge. Still, other medical…

Human-Computer Interaction · Computer Science 2020-11-12 Marwin Schindler , Hsiang-Yun Wu , Renata Georgia Raidou

Our paradigm for the use of artificial agents to teach requires among other things that they persist through time in their interaction with human students, in such a way that they "teleport" or "migrate" from an embodiment at one time t to…

Artificial Intelligence · Computer Science 2018-04-11 John Angel , Naveen Sundar Govindarajulu , Selmer Bringsjord

The association between light and psychological states has a long history and permeates our language. LIVEIA (Light-based Immersive Visualization Environment for Imaginative Actualization) is a new immersive, interactive technology that…

Computers and Society · Computer Science 2019-03-15 Liane Gabora

Traditional Reinforcement Learning (RL) has focused on problems involving many states and few actions, such as simple grid worlds. Most real world problems, however, are of the opposite type, Involving Few relevant states and many actions.…

Machine Learning · Computer Science 2012-01-04 Vincent Graziano , Faustino Gomez , Mark Ring , Juergen Schmidhuber