Results 161 to 170 of about 40,986 (266)
Synchronous model of automaton program
This article presents a model of automaton program that satisfies synchronous model requirements. A formal automaton program model lets to use an existing technologies and tools of synchronous programs verification for checking automaton programs.
S. V. Kubasov, V. A. Sokolov
doaj
Abstract Purpose This study quantitatively evaluates bladder changes and their dosimetric impact during the on‐couch adaptive process on a commercial CBCT‐based online adaptive radiotherapy (CT‐gART) platform. Methods Data from 183 fractions of ten patients receiving online ART for pelvic cancers were analyzed retrospectively.
Ingrid Valencia Lozano+7 more
wiley +1 more source
Cellular automaton for realistic modelling of landslides
E. Segrè, Chiara Deangeli
openalex +1 more source
Abstract Purpose A new workflow was investigated for Elekta Unity MR‐Linac by removing the computed tomography (CT)‐simulation step and using diagnostic CT (DCT) for reference plan generation. Materials and methods Ten patients with ultra‐hypofractionated prostate cancer treated with magnetic resonance imaging (MRI)‐guided adaptive radiotherapy were ...
Yuan Xu+5 more
wiley +1 more source
Semi‐automated hippocampal avoidance whole‐brain radiotherapy planning
Abstract Background Hippocampal avoidance whole‐brain radiotherapy (HA‐WBRT) is designed to spare cognitive function by reducing radiation dose to the hippocampus during the treatment of brain metastases. Current manual planning methods can be time‐consuming and may vary in quality, necessitating the development of automated approaches to streamline ...
Dong Joo Rhee+9 more
wiley +1 more source
A simple but effective cellular automaton for earthquakes [PDF]
Silvia Castellaro, Francesco Mulargia
openalex +1 more source
A method for measuring spatial resolution based on clinical chest CT sequence images
Abstract Purpose This study aimed to develop and validate a method for characterizing the spatial resolution of clinical chest computed tomography (CT) sequence images. Methods An algorithm for characterizing spatial resolution based on clinical chest CT sequence images was developed in Matlab (2021b).
Ying Liu+3 more
wiley +1 more source
Performance analysis of control allocation using data‐driven integral quadratic constraints
Abstract A new method is presented for evaluating the performance of a nonlinear control allocation system within a linear control loop. To that end, a worst‐case gain analysis problem is formulated that can be readily solved by means of well‐established methods from robustness analysis using integral quadratic constraints (IQCs).
Manuel Pusch+2 more
wiley +1 more source
Probability and Possibility Automaton Learning Network
Kotaro Hirasawa+4 more
openalex +2 more sources