English
Related papers

Related papers: Numerical Uncertainty in Linear Registration: An E…

200 papers

Neuronal systems often preserve their characteristic functions and signalling patterns, also referred to as regimes, despite parametric uncertainties and variations. For neural models having uncertain parameters with a known probability…

Neurons and Cognition · Quantitative Biology 2026-02-19 Uros Sutulovic , Daniele Proverbio , Rami Katz , Giulia Giordano

Motion planning under uncertainty is essential for reliable robot operation. Despite substantial advances over the past decade, the problem remains difficult for systems with complex dynamics. Most state-of-the-art methods perform search…

Robotics · Computer Science 2020-06-01 Marcus Hoerger , Hanna Kurniawati , Alberto Elfes

The general linear model (GLM) is a well established tool for analyzing functional magnetic resonance imaging (fMRI) data. Most fMRI analyses via GLM proceed in a massively univariate fashion where the same design matrix is used for…

Nonlinear registration of 2D histological sections with corresponding slices of MRI data is a critical step of 3D histology reconstruction. This task is difficult due to the large differences in image contrast and resolution, as well as the…

Computer Vision and Pattern Recognition · Computer Science 2018-09-28 Juan Eugenio Iglesias , Marc Modat , Loic Peter , Allison Stevens , Roberto Annunziata , Tom Vercauteren , Ed Lein , Bruce Fischl , Sebastien Ourselin

The magnetorotational instability (MRI) plays a crucial role in the evolution of many types of accretion disks. It is often studied using ideal-MHD numerical simulations. In principle, such simulations should be numerically converged, i.e.…

High Energy Astrophysical Phenomena · Physics 2025-11-11 Thomas Jannaud , Henrik N. Latter

Structural covariance analysis is a widely used structural MRI analysis method which characterises the co-relations of morphology between brain regions over a group of subjects. To our knowledge, little has been investigated in terms of the…

Neurons and Cognition · Quantitative Biology 2020-06-01 Jona Carmon , Jil Heege , Joe H Necus , Thomas W Owen , Gordon Pipa , Marcus Kaiser , Peter N Taylor , Yujiang Wang

Large language models (LLMs) have emerged as powerful tools for addressing a wide range of general inquiries and tasks. Despite this, fine-tuning aligned LLMs on smaller, domain-specific datasets, critical to adapting them to specialized…

Artificial Intelligence · Computer Science 2025-02-04 Guanlin Li , Kangjie Chen , Shangwei Guo , Jie Zhang , Han Qiu , Chao Zhang , Guoyin Wang , Tianwei Zhang , Jiwei Li

We are glad that our paper has generated intense discussions in the fMRI field, on how to analyze fMRI data and how to correct for multiple comparisons. The goal of the paper was not to disparage any specific fMRI software, but to point out…

Applications · Statistics 2017-05-31 Anders Eklund , Thomas Nichols , Hans Knutsson

The use of AI systems in healthcare for the early screening of diseases is of great clinical importance. Deep learning has shown great promise in medical imaging, but the reliability and trustworthiness of AI systems limit their deployment…

Image and Video Processing · Electrical Eng. & Systems 2023-05-17 Ke Zou , Zhihao Chen , Xuedong Yuan , Xiaojing Shen , Meng Wang , Huazhu Fu

Although deep learning (DL) models have shown great success in many medical image analysis tasks, deployment of the resulting models into real clinical contexts requires: (1) that they exhibit robustness and fairness across different…

Computer Vision and Pattern Recognition · Computer Science 2023-03-07 Raghav Mehta , Changjian Shui , Tal Arbel

Autonomous systems with machine learning-based perception can exhibit unpredictable behaviors that are difficult to quantify, let alone verify. Such behaviors are convenient to capture in probabilistic models, but probabilistic model…

Logic in Computer Science · Computer Science 2022-03-17 Matthew Cleaveland , Ivan Ruchkin , Oleg Sokolsky , Insup Lee

Reliability prediction is crucial for ensuring the safety and security of software systems, especially in the context of industry practices. While various metrics and measurements are employed to assess software reliability, the complexity…

Software Engineering · Computer Science 2025-07-29 Dapeng Yan , Wenjie Yang , Kui Liu , Zhiming Liu , Zhikuang Cai

Markerless biomechanics increasingly relies on 3D skeletal keypoints extracted from video, yet downstream biomechanical mappings typically treat these estimates as deterministic, providing no principled mechanism for frame-wise quality…

Image and Video Processing · Electrical Eng. & Systems 2026-03-31 Cesare Davide Pace , Alessandro Marco De Nunzio , Claudio De Stefano , Francesco Fontanella , Mario Molinara

Magnetic Resonance Image (MRI) pre-processing is a critical step for neuroimaging analysis. However, the computational cost of MRI pre-processing pipelines is a major bottleneck for large cohort studies and some clinical applications. While…

Performance · Computer Science 2025-03-25 Mathieu Dugré , Yohan Chatelain , Tristan Glatard

Given the recent controversies in some neuroimaging statistical methods, we compare the most frequently used functional Magnetic Resonance Imaging (fMRI) analysis packages: AFNI, FSL and SPM, with regard to temporal autocorrelation…

Quantitative Methods · Quantitative Biology 2019-04-09 Wiktor Olszowy , John Aston , Catarina Rua , Guy B. Williams

Large Language Models (LLMs) have been widely employed in programming language analysis to enhance human productivity. Yet, their reliability can be compromised by various code distribution shifts, leading to inconsistent outputs. While…

Software Engineering · Computer Science 2024-02-12 Yufei Li , Simin Chen , Yanghong Guo , Wei Yang , Yue Dong , Cong Liu

Deep learning methods for unsupervised registration often rely on objectives that assume a uniform noise level across the spatial domain (e.g. mean-squared error loss), but noise distributions are often heteroscedastic and input-dependent…

Image and Video Processing · Electrical Eng. & Systems 2024-07-19 Xiaoran Zhang , Daniel H. Pak , Shawn S. Ahn , Xiaoxiao Li , Chenyu You , Lawrence H. Staib , Albert J. Sinusas , Alex Wong , James S. Duncan

Static software checking tools are useful as an additional automated software inspection step that can easily be integrated in the development cycle and assist in creating secure, reliable and high quality code. However, an often quoted…

Software Engineering · Computer Science 2007-05-23 Cathal Boogerd , Leon Moonen

Neural networks have become increasingly popular in controller design due to their versatility and efficiency. However, their integration into feedback systems can pose stability challenges, particularly in the presence of uncertainties.…

Optimization and Control · Mathematics 2025-03-04 Yuhao Zhang , Xiangru Xu

Simulation techniques are providing with each passing day a deeper insight into the structure and properties of materials. Two main obstacles appear for the cooperation of simulation and experiment: on the one hand, the frequent lack of a…

Materials Science · Physics 2018-06-29 Francesca Peccati , Rubén Laplaza , Julia Contreras-García