中文
相关论文

相关论文: Lodestar: Supporting Independent Learning and Rapi…

200 篇论文

Academic research generates diverse data sources, and as researchers increasingly use machine learning to assist research tasks, a crucial question arises: Can we build a unified data interface to support the development of machine learning…

计算与语言 · 计算机科学 2025-12-01 Jingjun Xu , Chongshan Lin , Haofei Yu , Tao Feng , Jiaxuan You

To help researchers conduct a systematic review or meta-analysis as efficiently and transparently as possible, we designed a tool (ASReview) to accelerate the step of screening titles and abstracts. For many tasks - including but not…

TOPCAT, the Tool for OPerations on Catalogues And Tables, is an interactive desktop application for retrieval, analysis and manipulation of tabular data, offering a powerful and flexible range of interactive visualization options amongst…

天体物理仪器与方法 · 物理学 2017-07-10 Mark Taylor

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…

人机交互 · 计算机科学 2025-08-21 Sungwon In , Ayush Roy , Eric Krokos , Kirsten Whitley , Chris North , Yalong Yang

Interactive visualization can support fluid exploration but is often limited to predetermined tasks. Scripting can support a vast range of queries but may be more cumbersome for free-form exploration. Embedding interactive visualization in…

We developed the Learning About STEM Student Outcomes (LASSO) online assessment platform to increase instructor use of research-based assessments (RBAs). LASSO does this by making it easy to collect and analyze high-quality evidence about…

物理教育 · 物理学 2018-12-07 Ben Van Dusen

We present LLMSTEP, a tool for integrating a language model into the Lean proof assistant. LLMSTEP is a Lean 4 tactic that sends a user's proof state to a server hosting a language model. The language model generates suggestions, which are…

人工智能 · 计算机科学 2023-10-31 Sean Welleck , Rahul Saha

Recent work identified clarity as one of the top quality attributes that notebook users value, but notebooks lack support for maintaining clarity throughout the exploratory phases of the notebook authoring workflow. We propose always-clear…

人机交互 · 计算机科学 2026-03-02 Ruanqianqian Huang , Brian Hempel , Yining Cao , James D. Hollan , Haijun Xia , Sorin Lerner

Context: Jupyter Notebook has emerged as a versatile tool that transforms how researchers, developers, and data scientists conduct and communicate their work. As the adoption of Jupyter notebooks continues to rise, so does the interest from…

软件工程 · 计算机科学 2026-01-06 Md Saeed Siddik , Hao Li , Cor-Paul Bezemer

Existing recommendation systems can help developers improve their software development abilities by recommending new programming tools, such as a refactoring tool or a program navigation tool. However, simply recommending tools in isolation…

软件工程 · 计算机科学 2021-02-09 Dylan Bates

Just like other software, spreadsheets can contain significant faults. Static analysis is an accepted and well-established technique in software engineering known for its capability to discover faults. In recent years, a growing number of…

软件工程 · 计算机科学 2014-01-30 Daniel Kulesz , Jan-Peter Ostberg

Research, especially in the social sciences and humanities, is increasingly reliant on the application of data science methods to analyze large amounts of (often private) data. Secure data enclaves provide a solution for managing and…

分布式、并行与集群计算 · 计算机科学 2017-05-02 Yadu N. Babuji , Kyle Chard , Eamon Duede

Data science (DS) projects often follow a lifecycle that consists of laborious tasks for data scientists and domain experts (e.g., data exploration, model training, etc.). Only till recently, machine learning(ML) researchers have developed…

人机交互 · 计算机科学 2021-01-15 Dakuo Wang , Josh Andres , Justin Weisz , Erick Oduor , Casey Dugan

Adaptive intelligent educational systems are gaining popularity, offering personalized learning experiences to students based on their individual needs and styles. One crucial feature of such systems is real-time personalized feedback.…

人机交互 · 计算机科学 2024-12-11 T S Ashwin , Shaikh Danish Shafi , Rajendran Ramkumar

Screening is a time-consuming and labour-intensive yet required task for medical systematic reviews, as tens of thousands of studies often need to be screened. Prioritising relevant studies to be screened allows downstream systematic review…

信息检索 · 计算机科学 2025-02-06 Xinyu Mao , Teerapong Leelanupab , Harrisen Scells , Guido Zuccon

Computational notebooks offer researchers, practitioners, students, and educators the ability to interactively conduct analytics and disseminate reproducible workflows that weave together code, visuals, and narratives. This article explores…

物理与社会 · 物理学 2020-01-22 Geoff Boeing

An explorative data analysis system should be aware of what the user already knows and what the user wants to know of the data: otherwise the system cannot provide the user with the most informative and useful views of the data. We propose…

机器学习 · 统计学 2019-01-01 Kai Puolamäki , Emilia Oikarinen , Buse Atli , Andreas Henelius

Machine learning on data streams is increasingly more present in multiple domains. However, there is often data distribution shift that can lead machine learning models to make incorrect decisions. While there are automatic methods to…

机器学习 · 计算机科学 2022-05-02 João Palmeiro , Beatriz Malveiro , Rita Costa , David Polido , Ricardo Moreira , Pedro Bizarro

Efficient explorative data analysis systems must take into account both what a user knows and wants to know. This paper proposes a principled framework for interactive visual exploration of relations in data, through views most informative…

机器学习 · 统计学 2021-07-02 Kai Puolamäki , Emilia Oikarinen , Andreas Henelius

Computational notebooks are notoriously prone to reproducibility failures. By permitting out-of-order cell execution, notebooks accumulate hidden state and implicit dependencies that cause interactive executions to silently diverge from…

编程语言 · 计算机科学 2026-05-05 Stephen N. Freund , Emery D. Berger , Cormac Flanagan , Eunice Jun