Results 61 to 70 of about 582,535 (300)
An implicit algorithm for validated enclosures of the solutions to variational equations for ODEs
, 2016 We propose a new algorithm for computing validated bounds for the solutions to the first order variational equations associated to ODEs. These validated solutions are the kernel of numerics computer-assisted proofs in dynamical systems literature.
Walawska, Irmina, Wilczak, Daniel
core +1 more source
Recent trends, technical concepts and components of computer-assisted orthopedic surgery systems: A comprehensive review [PDF]
, 2019 Computer-assisted orthopedic surgery (CAOS) systems have become one of the most important and challenging types of system in clinical orthopedics, as they enable precise treatment of musculoskeletal diseases, employing modern clinical navigation systems ...
Kalová, Martina +5 more
core +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background The management of clinically apparent single lesions or oligofocal nephroblastomatosis, a facultative precursor of nephroblastoma, remains debated. Methods We retrospectively analyzed 37 patients with clinically apparent single or oligofocal nephroblastomatosis (two to three lesions per kidney) among 2347 patients registered between
Nils Welter +17 more
wiley +1 more source
BMC Bioinformatics, 2019 Background Consideration of tissue-specific gene expression in reconstruction and analysis of molecular genetic networks is necessary for a proper description of the processes occurring in a specified tissue.
Vladimir A. Ivanisenko +4 more
doaj +1 more source
A computer-assisted proof of symbolic dynamics in Hyperion's inner rotation model [PDF]
, 2019 The rotation of Hyperion is often modelled by equations of motion of an ellipsoidal satellite. The model is expected to be chaotic for large range of parameters.
Gierzkiewicz, Anna, Zgliczyński, Piotr
core +2 more sources
Signed Real-Time Delay Multiply and Sum Beamforming for Multispectral Photoacoustic Imaging
Journal of Imaging, 2018 Reconstruction of photoacoustic (PA) images acquired with clinical ultrasound transducers is usually performed using the Delay and Sum (DAS) beamforming algorithm.
Thomas Kirchner +3 more
doaj +1 more source
BMC Health Services Research, 2023 Background Due to the growing economic pressure, there is an increasing interest in the optimization of operational processes within surgical operating rooms (ORs).
Martin Schenk +6 more
doaj +1 more source
Homotopy hyperbolic 3-manifolds are hyperbolic [PDF]
, 2003 This paper introduces a rigorous computer-assisted procedure for analyzing hyperbolic 3-manifolds. This procedure is used to complete the proof of several long-standing rigidity conjectures in 3-manifold theory as well as to provide a new lower bound for
Gabai, David +2 more
core +2 more sources
Pediatric Blood &Cancer, EarlyView.ABSTRACT End‐of‐life conversations with adolescents and young adults (AYAs) with cancer rarely occur without the guidance of healthcare professionals. As a part of the ‘Difficult Discussions’ study, focused on palliative care and advance care planning discussions with AYAs with cancer, we investigated the factors that healthcare professionals identify ...
Justine Lee +9 more
wiley +1 more source
Developing an Intuitive and Feasible Setup for In-room Control During MRI-guided Interventions
Current Directions in Biomedical Engineering, 2020 Magnetic resonance image (MRI)-guidance for minimally invasive interventions instead of CT-guidance is a promising technique to reduce radiation exposure for both patients and clinicians.
Reich C. Martin +6 more
doaj +1 more source