Zobrazeno 1 - 10
of 1 256
pro vyhledávání: '"Habermehl, P"'
We present a new angle on solving quantified linear integer arithmetic based on combining the automata-based approach, where numbers are understood as bitvectors, with ideas from (nowadays prevalent) algebraic approaches, which work directly with num
Externí odkaz:
http://arxiv.org/abs/2403.18995
Autor:
Robert Foerster, Daniel R. Zwahlen, Christina Schroeder, Paul Windisch, Marc-Eric Halatsch, Alex Alfieri, Christoph Meier, Hossein Hemmatazad, Daniel M. Aebersold, André Buchali, Daniel Habermehl, Nidar Batifi
Publikováno v:
Trials, Vol 25, Iss 1, Pp 1-10 (2024)
Abstract Background The SMILE study addresses a significant need in palliative oncology by evaluating the non-inferiority of a shortened, 3-fraction stereotactic body radiotherapy (SBRT) schedule against the traditional 5-fraction approach for non-sp
Externí odkaz:
https://doaj.org/article/9ff4297523444dafac00fc00a9289cbf
Autor:
Leona Möller, Ole J. Simon, Clara Jünemann, Meike Austermann-Menche, Marc-Philipp Bergmann, Lena Habermehl, Katja Menzler, Lars Timmermann, Adam Strzelczyk, Susanne Knake
Publikováno v:
Neurological Research and Practice, Vol 6, Iss 1, Pp 1-7 (2024)
Abstract Background Status epilepticus (SE) is one of the most common neurological emergencies and an acutely life-threatening condition characterized by high mortality and morbidity. Despite the well-established staged therapy of status epilepticus,
Externí odkaz:
https://doaj.org/article/688ecbc0cf5d4d8d8986853b9653892d
Publikováno v:
Radiation Oncology, Vol 19, Iss 1, Pp 1-5 (2024)
Abstract Background Using dose-painted intensity-modulated radiation therapy, specific dose volume constraints or implantation of tissue expanders prior to radiotherapy are validated options for reducing radiation dose on the bowel and therefore mini
Externí odkaz:
https://doaj.org/article/07ce33a210de4df3bebc1120d1e0837b
Publikováno v:
European Journal of Medical Research, Vol 29, Iss 1, Pp 1-8 (2024)
Abstract Purpose For women with locoregionally advanced cervical cancer, the standard of care treatment is the curatively intended chemoradiation therapy (CRT). A relationship between bone marrow (BM) dose–volume histograms (DVHs) and acute hematol
Externí odkaz:
https://doaj.org/article/8d531c22555f44c8a45636c93acf249d
Autor:
Linda Agolli, Luca Nicosia, Thomas Hilger, Gheorghe Iancu, Ann-Katrin Exeli, Bastian Eul, Tobias Struffert, Till Acker, Daniel Habermehl
Publikováno v:
Discover Oncology, Vol 15, Iss 1, Pp 1-11 (2024)
Abstract Background We retrospectively investigate feasibility and safety of whole brain radiotherapy (WBRT) including a simultaneous-integrated boost technique (WBRT-SIB) in a cohort of patients with a very poor prognosis suffering from multiple and
Externí odkaz:
https://doaj.org/article/65d07741e2b54da3ae4e7f8578d49819
Autor:
Rosa Michaelis, Susanne Knake, Felix Rosenow, Wenke Grönheit, Hajo Hamer, Bettina Schmitz, Alison Accarie, Peter Dedeken, Ilka Immisch, Lena Habermehl, Johann Philipp Zöllner, Catrin Mann, Tim Wehner, Jörg Wellmer, Jeanne Cuny, Stephanie Gollwitzer, Florian Losch, Kirsten Krämer, Kevin Steffen Voss, Gerd Heinen, Adam Strzelczyk
Publikováno v:
Epilepsia Open, Vol 9, Iss 3, Pp 1021-1033 (2024)
Abstract Objective Self‐management interventions may enhance health‐related quality of life (HRQoL) in epilepsy. However, several barriers often impair their implementation in the real world. Digital interventions may help to overcome some of the
Externí odkaz:
https://doaj.org/article/81500ae8da8541a9910d8de5db79710c
Autor:
Johanna K. Rickel, Daria Zeeb, Susanne Knake, Hans Urban, Jürgen Konczalla, Katharina J. Weber, Pia S. Zeiner, Axel Pagenstecher, Elke Hattingen, André Kemmling, Emmanouil Fokas, Sebastian Adeberg, Robert Wolff, Martin Sebastian, Tillmann Rusch, Michael W. Ronellenfitsch, Katja Menzler, Lena Habermehl, Leona Möller, Marcus Czabanka, Christopher Nimsky, Lars Timmermann, Christian Grefkes, Joachim P. Steinbach, Felix Rosenow, Leena Kämppi, Adam Strzelczyk
Publikováno v:
Neurological Research and Practice, Vol 6, Iss 1, Pp 1-14 (2024)
Abstract Objective Brain tumors and metastases account for approximately 10% of all status epilepticus (SE) cases. This study described the clinical characteristics, treatment, and short- and long-term outcomes of this population. Methods This retros
Externí odkaz:
https://doaj.org/article/18c8e02e7acb409caf7bcc820f903731
We propose a data-driven algorithm for numerical invariant synthesis and verification. The algorithm is based on the ICE-DT schema for learning decision trees from samples of positive and negative states and implications corresponding to program tran
Externí odkaz:
http://arxiv.org/abs/2205.14943
Autor:
Habermehl, Peter, Kuske, Dietrich
Publikováno v:
Logical Methods in Computer Science, Volume 19, Issue 3 (July 12, 2023) lmcs:9329
We consider a first-order logic for the integers with addition. This logic extends classical first-order logic by modulo-counting, threshold-counting and exact-counting quantifiers, all applied to tuples of variables (here, residues are given as term
Externí odkaz:
http://arxiv.org/abs/2204.03903