中文
相关论文

相关论文: When Are Reactive Notebooks Not Reactive?

200 篇论文

Constructing good test cases is difficult and time-consuming, especially if the system under test is still under development and its exact behavior is not yet fixed. We propose a new approach to compute test strategies for reactive systems…

软件工程 · 计算机科学 2018-09-11 Roderick Bloem , Goerschwin Fey , Fabian Greif , Robert Koenighofer , Ingo Pill , Heinz Riener , Franz Roeck

Computational notebooks have become popular for Exploratory Data Analysis (EDA), augmented by LLM-based code generation and result interpretation. Effective LLM assistance hinges on selecting informative context -- the minimal set of cells…

人机交互 · 计算机科学 2025-11-11 Mohammad Hasan Payandeh , Lin-Ping Yuan , Jian Zhao

Programming is a fundamentally interactive process, yet coding assistants are often evaluated using static benchmarks that fail to measure how well models collaborate with users. We introduce an interactive evaluation pipeline to examine…

人机交互 · 计算机科学 2025-02-26 Jane Pan , Ryan Shar , Jacob Pfau , Ameet Talwalkar , He He , Valerie Chen

We demonstrate how students' use of modeling can be examined and assessed using student notebooks collected from an upper-division electronics lab course. The use of models is a ubiquitous practice in undergraduate physics education, but…

物理教育 · 物理学 2017-02-15 Jacob T. Stanley , Weifeng Su , H. J. Lewandowski

In this paper, we show that, under mild assumptions, input-output behavior of a continous-time recurrent neural network (RNN) can be represented by a rational or polynomial nonlinear system. The assumptions concern the activation function…

最优化与控制 · 数学 2019-03-19 Thibault Defourneau , Mihaly Petreczky

In literature computer architectures are frequently claimed to be highly flexible, typically implying there exist trade-offs between flexibility and performance or energy efficiency. Processor flexibility, however, is not very sharply…

硬件体系结构 · 计算机科学 2021-06-03 Shihua Huang , Luc Waeijen , Henk Corporaal

Reservoir computers, based on large recurrent neural networks with fixed random connections, are known to perform a wide range of information processing tasks. However, the nature of data transformations within the reservoir, the interplay…

神经与进化计算 · 计算机科学 2025-11-24 Claus Metzner , Achim Schilling , Thomas Kinfe , Andreas Maier , Patrick Krauss

Designing and analysis of test cases is a challenging tasks for tester roles especially those who are related to test the structure of program. Recently, Programmers are showing valuable trend towards the implementation of recursive modules…

软件工程 · 计算机科学 2012-08-28 Muhammad Javed , Bashir Ahmad , Zaffar Abbas , Allah Nawaz , Muhammad Ali Abid , Ihsan Ullah

As most parallel and distributed programs are internally non-deterministic -- consecutive runs with the same input might result in a different program flow -- vanilla cyclic debugging techniques as such are useless. In order to use cyclic…

软件工程 · 计算机科学 2007-05-23 Michiel Ronsse , Koen De Bosschere , Jacques Chassin de Kergommeaux

Effective decision-making in the real world depends on memory that is both stable and adaptive: environments change over time, and agents must retain relevant information over long horizons while also updating or overwriting outdated…

机器学习 · 计算机科学 2026-01-22 Oleg Shchendrigin , Egor Cherepanov , Alexey K. Kovalev , Aleksandr I. Panov

Reservoir Computing with Cellular Automata (ReCA) is a relatively novel and promising approach. It consists of 3 steps: an encoding scheme to inject the problem into the CA, the CA iterations step itself and a simple classifying step,…

神经与进化计算 · 计算机科学 2024-07-16 Tom Glover , Evgeny Osipov , Stefano Nichele

This research investigated the simulation model behaviour of a traditional and combined discrete event as well as agent based simulation models when modelling human reactive and proactive behaviour in human centric complex systems. A…

人工智能 · 计算机科学 2010-07-05 Mazlina Abdul Majid , Peer-Olaf Siebers , Uwe Aickelin

Many online collaboration networks struggle to gain user activity and become self-sustaining due to the ramp-up problem or dwindling activity within the system. Prominent examples include online encyclopedias such as (Semantic) MediaWikis,…

社会与信息网络 · 计算机科学 2016-02-02 Simon Walk , Denis Helic , Florian Geigl , Markus Strohmaier

Active learning comprises many varied techniques that engage students actively in the construction of their understanding. Because of this variation, different active learning techniques may be best suited to achieving different learning…

综合经济学 · 经济学 2025-08-11 Sarah A. Jacobson , Luyao Zhang , Jiasheng Zhu

Reactivity is central to Angular applications, yet subtle misuse of Observables, Signals, and change-detection often leads to performance regressions that are difficult to diagnose. Although Angular 17 introduced a unified, signal-first…

软件工程 · 计算机科学 2025-12-02 Shrinivass Arunachalam Balasubramanian

We introduce the term Super-Reactive Systems to refer to reactive systems whose construction and behavior are complex, constantly changing and evolving, and heavily interwoven with other systems and the physical world. Finding hidden faults…

软件工程 · 计算机科学 2025-06-17 David Harel , Assaf Marron

Today's most prominent IT companies are built on the extraction of insight from data, and data processing has become crucial in data-intensive businesses. Nevertheless, the size of data which should be processed is growing significantly…

分布式、并行与集群计算 · 计算机科学 2019-02-19 Seyed Esmaeil Mirvakili , MohammadAmin Fazli , Jafar Habibi

Interactive consistency is the problem in which n nodes, where up to t may be byzantine, each with its own private value, run an algorithm that allows all non-faulty nodes to infer the values of each other node. This problem is relevant to…

分布式、并行与集群计算 · 计算机科学 2015-07-28 Panos Diamantopoulos , Stathis Maneas , Christos Patsonakis , Nikos Chondros , Mema Roussopoulos

Coding agents are rapidly changing the landscape of software development, moving from inline completion to autonomous systems that edit repositories, open pull requests, respond to issues, and run scheduled or webhook triggered routines…

软件工程 · 计算机科学 2026-05-11 Nghi D. Q. Bui , Georgios Evangelopoulos

As immersive technologies evolve, immersive computational notebooks offer new opportunities for interacting with code, data, and outputs. However, scaling these environments remains a challenge, particularly when analysts manually arrange…

人机交互 · 计算机科学 2025-09-17 Sungwon In , Eric Krokos , Kirsten Whitley , Chris North , Yalong Yang