English
Related papers

Related papers: DCLab: A Web-based System for Digital Logic Experi…

200 papers

A close look at students' written work on examinations offers a wealth of information about their performance, their knowledge of the subject, their strengths, weaknesses and misconceptions, and their overall level of mathematical skills…

History and Overview · Mathematics 2013-05-23 Radoslav M. Dimitrić

Researchers have been highly active to investigate the classical machine learning workflow and integrate best practices from the software engineering lifecycle. However, deep learning exhibits deviations that are not yet covered in this…

Software Engineering · Computer Science 2022-08-30 Janosch Baltensperger , Pasquale Salza , Harald C. Gall

OnlineProver is an interactive proof assistant tailored for the educational setting. Its main features include a user-friendly interface for editing and checking proofs. The user interface provides feedback directly within the derivation,…

Deep reinforcement learning has been recognized as an efficient technique to design optimal strategies for different complex systems without prior knowledge of the control landscape. To achieve a fast and precise control for quantum…

Quantum Physics · Physics 2021-01-05 Hailan Ma , Daoyi Dong , Steven X. Ding , Chunlin Chen

Building on successful work on studying and transforming our senior-level Advanced Lab course, we have transformed our junior-level Electronics course to engage students in a variety of authentic scientific practices, including…

Physics Education · Physics 2015-07-15 H. J. Lewandowski , Noah Finkelstein

At Arizona State University we have built the first and only fully online Bachelor of Science degree in Physics, with a complete curriculum, including labs. The upper division Advanced Lab courses present a special challenge for online…

Physics Education · Physics 2025-04-15 Peter A. Bennett

Environments for systematic construction of logic programs are needed in the academy as well as in the industry. Such environments should support well defined construction methods and should be able to be extended and interact with other…

Programming Languages · Computer Science 2007-05-23 Gustavo A. Ospina , Baudouin Le Charlier

We present edBB-Demo, a demonstrator of an AI-powered research platform for student monitoring in remote education. The edBB platform aims to study the challenges associated to user recognition and behavior understanding in digital…

Human-Computer Interaction · Computer Science 2022-12-06 Roberto Daza , Aythami Morales , Ruben Tolosana , Luis F. Gomez , Julian Fierrez , Javier Ortega-Garcia

This paper describes a new framework in educational technology - the World Wide Student Laboratory (WWSL) Project. WWSL is a dynamic international Internet-based collaboration of resourses of educational and research labs of universities,…

Physics Education · Physics 2007-05-23 A. Arodzero

We study the use of WebdamLog, a declarative high-level lan- guage in the style of datalog, to support the distribution of both data and knowledge (i.e., programs) over a network of au- tonomous peers. The main novelty of WebdamLog compared…

Databases · Computer Science 2013-04-16 Serge Abiteboul , Émilien Antoine , Julia Stoyanovich

Advancements in scientific instrument sensors and connected devices provide unprecedented insight into ongoing experiments and present new opportunities for control, optimization, and steering. However, the diversity of sensors and…

Distributed, Parallel, and Cluster Computing · Computer Science 2022-05-04 Jakob R. Elias , Ryan Chard , Maksim Levental , Zhengchun Liu , Ian Foster , Santanu Chaudhuri

The increasing use of Artificial Intelligence (AI) by students in learning presents new challenges for assessing their learning outcomes in project-based learning (PBL). This paper introduces a co-design study to explore the potential of…

Human-Computer Interaction · Computer Science 2024-01-30 Chengbo Zheng , Kangyu Yuan , Bingcan Guo , Reza Hadi Mogavi , Zhenhui Peng , Shuai Ma , Xiaojuan Ma

In this paper, we focus on a new and challenging decentralized machine learning paradigm in which there are continuous inflows of data to be addressed and the data are stored in multiple repositories. We initiate the study of data…

Computer Vision and Pattern Recognition · Computer Science 2022-03-14 Xiaohan Zhang , Songlin Dong , Jinjie Chen , Qi Tian , Yihong Gong , Xiaopeng Hong

Proof Blocks is a software tool that provides students with a scaffolded proof-writing experience, allowing them to drag and drop prewritten proof lines into the correct order instead of starting from scratch. In this paper we describe a…

Computers and Society · Computer Science 2022-12-20 Seth Poulsen , Yael Gertner , Benjamin Cosman , Matthew West , Geoffrey L. Herman

Pseudocode is extensively used in introductory programming courses to instruct computer science students in algorithm design, utilizing natural language to define algorithmic behaviors. This learning approach enables students to convert…

Computers and Society · Computer Science 2024-10-30 Zhenyu Xu , Kun Zhang , Victor S. Sheng

Laboratory courses for upper-division undergraduates often involve sophisticated equipment, relatively small class sizes, and extended hands-on projects. These courses present distinct challenges and opportunities for the physics education…

Physics Education · Physics 2014-07-15 Benjamin Pollard , Noah Finkelstein , H. J. Lewandowski

While there have been a number of remarkable breakthroughs in machine learning (ML), much of the focus has been placed on model development. However, to truly realize the potential of machine learning in real-world settings, additional…

Machine Learning · Computer Science 2024-03-05 Nabeel Seedat , Fergus Imrie , Mihaela van der Schaar

Electronic exams (e-exams) have the potential to substantially reduce the effort required for conducting an exam through automation. Yet, care must be taken to sacrifice neither task complexity nor constructive alignment nor grading…

Computers and Society · Computer Science 2023-08-17 Ole Lübke , Konrad Fuger , Fin Hendrik Bahnsen , Katrin Billerbeck , Sibylle Schupp

Educational technology has attained significant importance as a mechanism for supporting experiential learning of science concepts. However, the growth of this mechanism is limited by the significant time and technical expertise needed to…

Physics Education · Physics 2015-06-16 Nathan E. Sanders , Chris Faesi , Alyssa A. Goodman

Many scientific disciplines have traditionally advanced by iterating over hypotheses using labor-intensive trial-and-error, which is a slow and expensive process. Recent advances in computing, digitalization, and machine learning have…

Other Computer Science · Computer Science 2025-07-10 Carlos Sevilla-Salcedo , Armi Tiihonen , Mahsa Asadi , Kevin Sebastian Luck , Aras Umut Erarslan , Arto Klami , Samuel Kaski