English
Related papers

Related papers: Decision Trace Schema for Governance Evidence in R…

200 papers

This paper pertains to the analysis and design of decentralized estimation schemes that make use of limited communication. Briefly, these schemes equip the sensors with scalar states that iteratively merge the measurements and the state of…

Systems and Control · Computer Science 2018-01-19 Andreea B. Alexandru , Sergio Pequito , Ali Jadbabaie , George J. Pappas

Business process deviance refers to the phenomenon whereby a subset of the executions of a business process deviate, in a negative or positive way, with respect to {their} expected or desirable outcomes. Deviant executions of a business…

Artificial Intelligence · Computer Science 2021-11-25 Giacomo Bergami , Chiara Di Francescomarino , Chiara Ghidini , Fabrizio Maria Maggi , Joonas Puura

Freehand sketches exhibit unique sparsity and abstraction, necessitating learning pipelines distinct from those designed for images. For sketch learning methods, the central objective is to fully exploit the effective information embedded…

Graphics · Computer Science 2026-03-12 Xi Cheng , Pingfa Feng , Mingyu Fan , Zhichao Liao , Hang Cheng , Long Zeng

Empiric antibiotic prescribing in high-risk clinical contexts often requires decision making under conditions of incomplete information, where inappropriate coverage or unjustified escalation may compromise safety and antimicrobial…

Computers and Society · Computer Science 2026-03-12 Francisco José Gárate , Paloma Chausa , Diego Moreno , Judit López Luque , Vicens Díaz-Brito , Enrique Javier Gómez

Traditionally, 3d indoor datasets have generally prioritized scale over ground-truth accuracy in order to obtain improved generalization. However, using these datasets to evaluate dense geometry tasks, such as depth rendering, can be…

Computer Vision and Pattern Recognition · Computer Science 2025-01-07 HyunJun Jung , Weihang Li , Shun-Cheng Wu , William Bittner , Nikolas Brasch , Jifei Song , Eduardo Pérez-Pellitero , Zhensong Zhang , Arthur Moreau , Nassir Navab , Benjamin Busam

Contracts specifying a procedure's behavior in terms of pre- and postconditions are essential for scalable software verification, but cannot express any constraints on the events occurring during execution of the procedure. This…

Software Engineering · Computer Science 2022-11-22 Richard Bubel , Dilian Gurov , Reiner Hähnle , Marco Scaletta

In database development, a conceptual model is created, in the form of an Entity-relationship(ER) model, and transformed to a relational database schema (RDS) to create the database. However, some important information represented on the ER…

Databases · Computer Science 2020-07-03 Dhammika Pieris , M. C Wijegunesekera , N. G. J Dias

We study a class of Stochastic Differential Equations (SDEs) with jumps modeling multistage Michaelis--Menten enzyme kinetics, in which a substrate is sequentially transformed into a product via a cascade of intermediate complexes. These…

Probability · Mathematics 2026-04-14 Arnab Ganguly , Wasiur R. KhudaBukhsh

Effective credit risk management is fundamental to financial decision-making, requiring robust models to predict default probabilities and classify financial entities. Traditional machine learning approaches face significant challenges when…

Machine Learning · Computer Science 2026-03-31 Haibo Wang , Jun Huang , Lutfu S. Sua , Figen Balo , Burak Dolar

DSperse is a modular framework for distributed machine learning inference with strategic cryptographic verification. Operating within the emerging paradigm of distributed zero-knowledge machine learning, DSperse avoids the high cost and…

Artificial Intelligence · Computer Science 2025-09-19 Dan Ivanov , Tristan Freiberg , Shirin Shahabi , Jonathan Gold , Haruna Isah

Chain-of-thought (CoT) traces are increasingly used both to improve language model capability and to audit model behavior, implicitly assuming that the visible trace remains synchronized with the computation that determines the answer. We…

Artificial Intelligence · Computer Science 2026-05-13 Wenkai Li , Fan Yang , Ananya Hazarika , Shaunak A. Mehta , Koichi Onoue

This paper discusses an expert system shell that integrates rule-based reasoning and the Dempster-Shafer evidence combination scheme. Domain knowledge is stored as rules with associated belief functions. The reasoning component uses a…

Artificial Intelligence · Computer Science 2013-04-11 Gautam Biswas , Teywansh S. Anand

Evidence theory is widely used in decision-making and reasoning systems. In previous research, Transferable Belief Model (TBM) is a commonly used evidential decision making model, but TBM is a non-preference model. In order to better fit…

Artificial Intelligence · Computer Science 2024-03-12 Tianxiang Zhan , Zhen Li , Yong Deng

Off-policy learning from multistep returns is crucial for sample-efficient reinforcement learning, but counteracting off-policy bias without exacerbating variance is challenging. Classically, off-policy bias is corrected in a per-decision…

Machine Learning · Computer Science 2025-12-23 Brett Daley , Martha White , Christopher Amato , Marlos C. Machado

Modern financial systems generate vast quantities of transactional and event-level data that encode rich economic signals. This paper presents PRAGMA, a family of foundation models for multi-source banking event sequences. Our approach…

Large language models (LLMs) can now translate a researcher's plain-language goal into executable computation, yet scientific workflows demand determinism, provenance, and governance that are difficult to guarantee when an LLM decides what…

Semantic segmentation arises as the backbone of many vision systems, spanning from self-driving cars and robot navigation to augmented reality and teleconferencing. Frequently operating under stringent latency constraints within a limited…

Computer Vision and Pattern Recognition · Computer Science 2022-08-02 Alexandros Kouris , Stylianos I. Venieris , Stefanos Laskaridis , Nicholas D. Lane

ICS environments are vital to the operation of critical infrastructure such as power grids, water treatment facilities, and manufacturing plants. However, these systems are vulnerable to cyber attacks due to their reliance on interconnected…

Cryptography and Security · Computer Science 2024-12-02 Can Ozkan , Dave Singelee

Imputing missing values in spatial-temporal traffic data is essential for intelligent transportation systems. Among advanced imputation methods, score-based diffusion models have demonstrated competitive performance. These models generate…

Machine Learning · Computer Science 2026-01-09 Xiaowei Mao , Huihu Ding , Yan Lin , Tingrui Wu , Shengnan Guo , Dazhuo Qiu , Feiling Fang , Jilin Hu , Huaiyu Wan

The rapid proliferation of artificial intelligence (AI) models and methods presents growing challenges for research software engineers and researchers who must select, integrate, and maintain appropriate models within complex research…