English
Related papers

Related papers: SmartState: An Automated Research Protocol Adheren…

200 papers

Population protocols are a model of distributed computation intended for the study of networks of independent computing agents with dynamic communication structure. Each agent has a finite number of states, and communication opportunities…

Distributed, Parallel, and Cluster Computing · Computer Science 2024-09-02 Michael Raskin

Traditional AI-based healthcare systems often rely on single-modal data, limiting diagnostic accuracy due to incomplete information. However, recent advancements in foundation models show promising potential for enhancing diagnosis…

Artificial Intelligence · Computer Science 2025-03-24 Sihan Wang , Suiyang Jiang , Yibo Gao , Boming Wang , Shangqi Gao , Xiahai Zhuang

Crowd-sensing has emerged as a powerful data retrieval model, enabling diverse applications by leveraging active user participation. However, data availability and privacy concerns pose significant challenges. Traditional methods like data…

Cryptography and Security · Computer Science 2024-08-21 Luca Bedogni , Stefano Ferretti

The widespread adoption of Artificial Intelligence (AI) technologies in the public and private sectors has resulted in them significantly impacting the lives of people in new and unexpected ways. In this context, it becomes important to…

Computers and Society · Computer Science 2024-07-19 Ambreesh Parthasarathy , Aditya Phalnikar , Ameen Jauhar , Dhruv Somayajula , Gokul S Krishnan , Balaraman Ravindran

Advances in IoT technologies combined with new algorithms have enabled the collection and processing of high-rate multi-source data streams that quantify human behavior in a fine-grained level and can lead to deeper insights on individual…

Minimizing both experimental effort and consumption of valuable quantum resources in state estimation is vital in practical quantum information processing. Here, we explore characterizing states as an additional benefit of the entanglement…

Medical coding translates free-text clinical documentation into standardized codes drawn from classification systems that contain tens of thousands of entries and are updated annually. It is central to billing, clinical research, and…

Artificial Intelligence · Computer Science 2026-04-01 Joakim Edin , Andreas Motzfeldt , Simon Flachs , Lars Maaløe

This paper describes a novel protocol for collecting speech data from subjects induced to have different degrees of trust in the skills of a conversational agent. The protocol consists of an interactive session where the subject is asked to…

Human-Computer Interaction · Computer Science 2020-08-03 Lara Gauder , Pablo Riera , Leonardo Pepino , Silvina Brussino , Jazmín Vidal , Luciana Ferrer , Agustín Gravano

Process-aware information systems offer extensive advantages to companies, facilitating planning, operations, and optimization of day-to-day business activities. However, the time-consuming but required step of designing formal business…

Computation and Language · Computer Science 2024-04-09 Julian Neuberger , Lars Ackermann , Stefan Jablonski

We set out a general protocol for steering the state of a quantum system from an arbitrary initial state towards a chosen target state by coupling it to auxiliary quantum degrees of freedom. The protocol requires multiple repetitions of an…

Statistical Mechanics · Physics 2020-09-09 Sthitadhi Roy , J. T. Chalker , I. V. Gornyi , Yuval Gefen

AI-assisted research compresses ideation, implementation, evaluation, and manuscript writing into a single interactive loop. This compression is useful, but it also creates a publication risk: paper claims can become easier to state than to…

Artificial Intelligence · Computer Science 2026-05-28 Yihan Xia , Taotao Wang

An ideal safe workplace is described as a place where staffs fulfill responsibilities in a well-organized order, potential hazardous events are being monitored in real-time, as well as the number of accidents and relevant damages are…

Artificial Intelligence · Computer Science 2020-12-08 Xuejiao Tang , Jiong Qiu , Ruijun Chen , Wenbin Zhang , Vasileios Iosifidis , Zhen Liu , Wei Meng , Mingli Zhang , Ji Zhang

With distributed computing becoming ubiquitous in the modern era, safe distributed programming is an open challenge. To address this, multiparty session types (MPST) provide a typing discipline for message-passing concurrency, guaranteeing…

Programming Languages · Computer Science 2020-09-15 Fangyi Zhou , Francisco Ferreira , Raymond Hu , Rumyana Neykova , Nobuko Yoshida

Currently, there are many difficulties regarding the interoperability of medical data and related population data sources. These complications get in the way of the generation of high-quality data sets at city, region and national levels.…

Computers and Society · Computer Science 2023-10-13 Anna Andreychenko , Viktoriia Korzhuk , Stanislav Kondratenko , Polina Cheraneva

In this work, we introduce MedAgentSim, an open-source simulated clinical environment with doctor, patient, and measurement agents designed to evaluate and enhance LLM performance in dynamic diagnostic settings. Unlike prior approaches, our…

Computation and Language · Computer Science 2025-10-02 Mohammad Almansoori , Komal Kumar , Hisham Cholakkal

Agentic reinforcement learning (RL) holds great promise for the development of autonomous agents under complex GUI tasks, but its scalability remains severely hampered by the verification of task completion. Existing task verification is…

Computation and Language · Computer Science 2026-01-07 Shaofei Cai , Yulei Qin , Haojia Lin , Zihan Xu , Gang Li , Yuchen Shi , Zongyi Li , Yong Mao , Siqi Cai , Xiaoyu Tan , Yitao Liang , Ke Li , Xing Sun

We propose a new paradigm for telecommunications, and develop a framework drawing on concepts from information (i.e., different metrics of complexity) and computational (i.e., agent based modeling) theory, adapted from complex system…

There is a growing trend toward AI systems interacting with humans to revolutionize a range of application domains such as healthcare and transportation. However, unsafe human-machine interaction can lead to catastrophic failures. We…

Artificial Intelligence · Computer Science 2024-12-19 Shuyang Dong , Meiyi Ma , Josephine Lamp , Sebastian Elbaum , Matthew B. Dwyer , Lu Feng

The success of large language models has driven interest in developing similar speech processing capabilities. However, a key challenge is the scarcity of high-quality spontaneous speech data, as most existing datasets contain scripted…

We present the notion of stateful priorities for imposing precise restrictions on system actions, in order to meet safety constraints. By using stateful priorities we are able to exclusively restrict erroneous system behavior as specified…

Logic in Computer Science · Computer Science 2020-02-21 Christian Herrera
‹ Prev 1 8 9 10 Next ›