English
Related papers

Related papers: When Are Reactive Notebooks Not Reactive?

200 papers

Duplicating one's own code makes it faster to write software. This expediency is particularly valuable for users of computational notebooks. Duplication allows notebook users to quickly test hypotheses and iterate over data. In this paper,…

Software Engineering · Computer Science 2020-05-29 Andreas Koenzen , Neil Ernst , Margaret-Anne Storey

Computational reproducibility is fundamental to trustworthy science, yet remains difficult to achieve in practice across various research workflows, including Jupyter notebooks published alongside scholarly articles. Environment drift,…

Software Engineering · Computer Science 2026-04-02 Sheeba Samuel , Daniel Mietchen , Hemanta Lo , Martin Gaedke

Testing of synchronous reactive systems is challenging because long input sequences are often needed to drive them into a state at which a desired feature can be tested. This is particularly problematic in on-target testing, where a system…

Software Engineering · Computer Science 2013-11-07 Peter Schrammel , Tom Melham , Daniel Kroening

Computational notebooks, which integrate code, documentation, tags, and visualizations into a single document, have become increasingly popular for data analysis tasks. With the advent of immersive technologies, these notebooks have evolved…

Human-Computer Interaction · Computer Science 2025-08-21 Sungwon In , Ayush Roy , Eric Krokos , Kirsten Whitley , Chris North , Yalong Yang

Continual learning algorithms strive to acquire new knowledge while preserving prior information. Often, these algorithms emphasise stability and restrict network updates upon learning new tasks. In many cases, such restrictions come at a…

Machine Learning · Computer Science 2024-06-21 Daniel Anthes , Sushrut Thorat , Peter König , Tim C. Kietzmann

Testing on reactive systems is a well-known laborious activity on software development due to their asynchronous interaction with the environment. In this setting model based testing has been employed when checking conformance and…

Software Engineering · Computer Science 2021-07-27 Adilson Luiz Bonifacio , Arnaldo Vieira Moura

Interactive computational notebooks (e.g., Jupyter notebooks) are widely used in machine learning engineering (MLE) to program and share end-to-end pipelines, from data preparation to model training and evaluation. However, environment…

Software Engineering · Computer Science 2026-02-10 Bihui Jin , Kaiyuan Wang , Pengyu Nie

Reactive synthesis transforms a specification of a reactive system, given in a temporal logic, into an implementation. The main advantage of synthesis is that it is automatic. The main disadvantage is that the implementation is usually very…

Logic in Computer Science · Computer Science 2021-01-01 Tom Baumeister , Bernd Finkbeiner , Hazem Torfah

Recent studies have shown that the majority of published computational models in systems biology and physiology are not repeatable or reproducible. There are a variety of reasons for this. One of the most likely reasons is that given how…

Other Quantitative Biology · Quantitative Biology 2021-07-13 Herbert M. Sauro

Exploratory Data Analysis (EDA) is a routine task for data analysts, often conducted using flexible computational notebooks. During EDA, data workers process, visualize, and interpret data tables, making decisions about subsequent analysis.…

Human-Computer Interaction · Computer Science 2025-02-05 Yuan Tian , Dazhen Deng , Sen Yang , Huawei Zheng , Bowen Shi , Kai Xiong , Xinjing Yi , Yingcai Wu

In recent years, Jupyter notebooks have grown in popularity in several domains of software engineering, such as data science, machine learning, and computer science education. Their popularity has to do with their rich features for…

Software Engineering · Computer Science 2022-04-01 Konstantin Grotov , Sergey Titov , Vladimir Sotnikov , Yaroslav Golubev , Timofey Bryksin

Jupyter Notebook is the tool of choice of many data scientists in the early stages of ML workflows. The notebook format, however, has been criticized for inducing bad programming practices; indeed, researchers have already shown that…

Software Engineering · Computer Science 2022-05-25 Luigi Quaranta , Fabio Calefato , Filippo Lanubile

Data exploration is an important aspect of the workflow of mixed-methods researchers, who conduct both qualitative and quantitative analysis. However, there currently exists few tools that adequately support both types of analysis…

Human-Computer Interaction · Computer Science 2024-05-31 Jiawen Stefanie Zhu , Zibo Zhang , Jian Zhao

We introduce WorkBench: a benchmark dataset for evaluating agents' ability to execute tasks in a workplace setting. WorkBench contains a sandbox environment with five databases, 26 tools, and 690 tasks. These tasks represent common business…

Computation and Language · Computer Science 2024-08-06 Olly Styles , Sam Miller , Patricio Cerda-Mardini , Tanaya Guha , Victor Sanchez , Bertie Vidgen

Simulating a shared register can mask the intricacies of designing algorithms for asynchronous message-passing systems subject to crash failures, since it allows them to run algorithms designed for the simpler shared-memory model. Typically…

Distributed, Parallel, and Cluster Computing · Computer Science 2017-08-11 Hagit Attiya , Hyun Chul Chung , Faith Ellen , Saptaparni Kumar , Jennifer L. Welch

This work presents REFLEX: Robotic Explanations to FaiLures and Human EXpressions, a comprehensive multimodal dataset capturing human reactions to robot failures and subsequent explanations in collaborative settings. It aims to facilitate…

Robotics · Computer Science 2025-02-21 Parag Khanna , Andreas Naoum , Elmira Yadollahi , Mårten Björkman , Christian Smith

This paper proposes the use of notebooks for the design documentation and tool interaction in the rigorous design of embedded systems. Conventionally, a notebook is a sequence of cells alternating between (textual) code and prose to form a…

Software Engineering · Computer Science 2018-11-28 Spencer Park , Emil Sekerinski

How can we develop visual analytics (VA) tools that can be easily adopted? Visualization researchers have developed a large number of web-based VA tools to help data scientists in a wide range of tasks. However, adopting these standalone…

Human-Computer Interaction · Computer Science 2023-05-16 Zijie J. Wang , David Munechika , Seongmin Lee , Duen Horng Chau

Neural circuits are able to perform computations under very diverse conditions and requirements. The required computations impose clear constraints on their fine-tuning: a rapid and maximally informative response to stimuli in general…

Neurons and Cognition · Quantitative Biology 2019-10-22 Jens Wilting , Jonas Dehning , Joao Pinheiro Neto , Lucas Rudelt , Michael Wibral , Johannes Zierenberg , Viola Priesemann

We present ReAct!, an interactive tool for high-level reasoning for cognitive robotic applications. ReAct! enables robotic researchers to describe robots' actions and change in dynamic domains, without having to know about the syntactic and…

Artificial Intelligence · Computer Science 2026-05-14 Zeynep Dogmus , Esra Erdem , Volkan Patoglu