English
Related papers

Related papers: Sliced Online Model Checking for Optimizing the Be…

200 papers

Radiotherapy planning is a critical aspect of cancer treatment, where the optimal selection of beam directions and dose distributions significantly impacts treatment efficacy and patient outcomes. Traditionally, this process involves…

Medical Physics · Physics 2023-12-05 Keshav Kumar K. , NVSL Narasimham , A. Ramakrishna Prasad

Numerous diffusion model (DM)-based methods have been proposed for solving inverse imaging problems. Among these, a recent line of work has demonstrated strong performance by formulating sampling as an optimization procedure that enforces…

Image and Video Processing · Electrical Eng. & Systems 2025-11-19 Shijun Liang , Ismail Alkhouri , Qing Qu , Rongrong Wang , Saiprasad Ravishankar

The simple assembly line balancing problem (SALBP) concerns the assignment of tasks with pre-defined processing times to work stations that are arranged in a line. Hereby, precedence constraints between the tasks must be respected. The…

Discrete Mathematics · Computer Science 2010-12-16 Christian Blum

Context. The magnetic field in the solar atmosphere continually reconnects and accelerates charged particles to high energies. Simulations of the atmosphere in three dimensions that include the effects of accelerated particles can aid our…

Solar and Stellar Astrophysics · Physics 2022-10-05 L. Frogner , B. V. Gudiksen

Reconfigurable multi-robot cells offer a promising approach to meet fluctuating assembly demands. However, the recurrent planning of their configurations introduces new challenges, particularly in generating optimized, coordinated…

Robotics · Computer Science 2026-05-29 Loris Schneider , Marc Ungen , Elias Huber , Jan-Felix Klein

Online reconstruction of dynamic scenes is significant as it enables learning scenes from live-streaming video inputs, while existing offline dynamic reconstruction methods rely on recorded video inputs. However, previous online…

Computer Vision and Pattern Recognition · Computer Science 2026-01-13 Youngsik Yun , Jeongmin Bae , Hyunseung Son , Seoha Kim , Hahyun Lee , Gun Bang , Youngjung Uh

As robots venture into the real world, they are subject to unmodeled dynamics and disturbances. Traditional model-based control approaches have been proven successful in relatively static and known operating environments. However, when an…

Robotics · Computer Science 2021-12-08 Siqi Zhou , Karime Pereida , Wenda Zhao , Angela P. Schoellig

Accurate and efficient tracking of surgical instruments is fundamental for Robot-Assisted Minimally Invasive Surgery. Although vision-based robot pose estimation has enabled markerless calibration without tedious physical setups, reliable…

Robotics · Computer Science 2026-03-16 Hanyang Hu , Zekai Liang , Florian Richter , Michael C. Yip

Radiation therapy aims to deliver the prescribed amount of dose to a tumour at the same time as sparing the surrounding tissues as much as possible. In charged particle therapy, delivering the prescribed dose is equivalent to delivering the…

Medical Physics · Physics 2018-03-05 Simona Giordanengo , Marco Donetti

When treating moving tumors, the precise delivery of proton therapy by pencil beam scanning (PBS) is challenged by the interplay effect. Although several 4D-optimization methods have been proposed, what is the most beneficial motion…

Medical Physics · Physics 2025-01-29 Ivar Bengtsson , Anders Forsgren , Albin Fredriksson

Developing robot controllers in a simulated environment is advantageous but transferring the controllers to the target environment presents challenges, often referred to as the "sim-to-real gap". We present a method for continuous…

Robotics · Computer Science 2022-11-24 Sirui Chen , Keenon Werling , Albert Wu , C. Karen Liu

Carbon ion beam radiotherapy enables a very localised dose deposition. However, already small changes in the patient geometry or positioning errors can significantly distort the dose distribution. A live monitoring system of the beam…

Objective Interaction vertex imaging (IVI) is used for range monitoring in carbon ion radiotherapy, detecting depth differences between Bragg peak positions. Online range monitoring, which provides feedback during beam delivery, is…

Existing AI agents typically execute multi-step tasks autonomously and only allow user confirmation at the end. During execution, users have little control, making the confirm-at-end approach brittle: a single error can cascade and force a…

Human-Computer Interaction · Computer Science 2026-05-08 Jieyu Zhou , Aryan Roy , Sneh Gupta , Daniel Weitekamp , Christopher J. MacLellan

Generating realistic MRIs to accurately predict future changes in the structure of brain is an invaluable tool for clinicians in assessing clinical outcomes and analysing the disease progression at the patient level. However, current…

Computer Vision and Pattern Recognition · Computer Science 2025-09-04 Mattia Litrico , Francesco Guarnera , Mario Valerio Giuffrida , Daniele Ravì , Sebastiano Battiato

In this paper, we discuss reduced order modelling approaches to bifurcating systems arising from continuum mechanics benchmarks. The investigation of the beam's deflection is a relevant topic of investigation with fundamental implications…

Numerical Analysis · Mathematics 2023-06-01 Federico Pichi , Gianluigi Rozza

A diffusion model, which is formulated to produce an image using thousands of denoising steps, usually suffers from a slow inference speed. Existing acceleration algorithms simplify the sampling by skipping most steps yet exhibit…

Computer Vision and Pattern Recognition · Computer Science 2025-10-02 Mengfei Xia , Yujun Shen , Changsong Lei , Yu Zhou , Ran Yi , Deli Zhao , Wenping Wang , Yong-Jin Liu

The development of algorithms for automation of subtasks during robotic surgery can be accelerated by the availability of realistic simulation environments. In this work, we focus on one aspect of the realism of a surgical simulator, which…

Robotics · Computer Science 2024-06-12 Juan Antonio Barragan , Hisashi Ishida , Adnan Munawar , Peter Kazanzides

When performing 3D manipulation tasks, robots have to execute action planning based on perceptions from multiple fixed cameras. The multi-camera setup introduces substantial redundancy and irrelevant information, which increases…

Robotics · Computer Science 2025-12-19 Yixiang Chen , Yan Huang , Keji He , Peiyan Li , Liang Wang

It has long been hoped that model-based control will improve tracking performance while maintaining or increasing compliance. This hope hinges on having or being able to estimate an accurate inverse dynamics model. As a result, substantial…

Robotics · Computer Science 2016-08-11 Nathan Ratliff , Franziska Meier , Daniel Kappler , Stefan Schaal