Zobrazeno 1 - 10
of 407
pro vyhledávání: '"Schoisswohl"'
Autor:
Unnikrishnan, Vishnu, Puga, Clara, Schleicher, Miro, Niemann, Uli, Langguth, Berthod, Schoisswohl, Stefan, Mazurek, Birgit, Cima, Rilana, Lopez-Escamez, Jose Antonio, Kikidis, Dimitris, Vellidou, Eleftheria, Pryss, Ruediger, Schlee, Winfried, Spiliopoulou, Myra
Current clinical decision support systems (DSS) are trained and validated on observational data from the target clinic. This is problematic for treatments validated in a randomized clinical trial (RCT), but not yet introduced in any clinic. In this w
Externí odkaz:
http://arxiv.org/abs/2406.06654
Publikováno v:
International Conference on Automated Deduction (CADE) 2023. LNAI volume 14132, 2023, pp. 23-40
Classically, in saturation-based proof systems, unification has been considered atomic. However, it is also possible to move unification to the calculus level, turning the steps of the unification algorithm into inferences. For calculi that rely on u
Externí odkaz:
http://arxiv.org/abs/2403.04775
Autor:
Alberto Bernal-Robledano, Patricia Perez-Carpena, Dimitris Kikidis, Birgit Mazurek, Stefan Schoisswohl, Susanne Staudinger, Berthold Langguth, Winfried Schlee, Jose Antonio Lopez-Escamez
Publikováno v:
Clinical and Experimental Otorhinolaryngology, Vol 17, Iss 1, Pp 15-25 (2024)
Objectives. The study aimed to assess the relationship of tinnitus with hyperacusis with cognitive impairment as indicated by the Montreal Cognitive Assessment (MoCA) tool. Methods. This multicenter cross-sectional study included individuals with chr
Externí odkaz:
https://doaj.org/article/36012c08632a46a0ba9b7a15cacf461b
Autor:
Schoisswohl, Johannes, Kovács, Laura
Publikováno v:
EPTCS 337, 2021, pp. 39-54
Despite recent advances in automating theorem proving in full first-order theories, inductive reasoning still poses a serious challenge to state-of-the-art theorem provers. The reason for that is that in first-order logic induction requires an infini
Externí odkaz:
http://arxiv.org/abs/2107.07669
Autor:
Jorge Piano Simoes, Stefan Schoisswohl, Winfried Schlee, Laura Basso, Alberto Bernal-Robledano, Benjamin Boecking, Rilana Cima, Sam Denys, Milena Engelke, Alba Escalera-Balsera, Alvaro Gallego-Martinez, Silvano Gallus, Dimitris Kikidis, Jose A. López-Escámez, Steven C. Marcrum, Nikolaos Markatos, Juan Martin-Lagos, Marta Martinez-Martinez, Birgit Mazurek, Evgenia Vassou, Carlotta Micaela Jarach, Nicolas Mueller-Locatelli, Patrick Neff, Uli Niemann, Hafez Kader Omar, Clara Puga, Miro Schleicher, Vishnu Unnikrishnan, Patricia Perez-Carpena, Rüdiger Pryss, Paula Robles-Bolivar, Matthias Rose, Martin Schecklmann, Tabea Schiele, Johannes Schobel, Myra Spiliopoulou, Sabine Stark, Carsten Vogel, Nina Wunder, Zoi Zachou, Berthold Langguth
Publikováno v:
Trials, Vol 24, Iss 1, Pp 1-13 (2023)
Abstract Background Tinnitus is a leading cause of disease burden globally. Several therapeutic strategies are recommended in guidelines for the reduction of tinnitus distress; however, little is known about the potentially increased effectiveness of
Externí odkaz:
https://doaj.org/article/4c37d8da6c694196b01b2c986bd96268
Publikováno v:
In Neuroscience Letters 15 March 2024 826
Autor:
Desmond Agboada, Mirja Osnabruegge, Roman Rethwilm, Carolina Kanig, Florian Schwitzgebel, Wolfgang Mack, Martin Schecklmann, Wolfgang Seiberl, Stefan Schoisswohl
Publikováno v:
Frontiers in Human Neuroscience, Vol 17 (2023)
BackgroundMotor hotspot identification represents the first step in the determination of the motor threshold and is the basis for the specification of stimulation intensity used for various Transcranial Magnetic Stimulation (TMS) applications. The le
Externí odkaz:
https://doaj.org/article/b16d5ac939224b49b61ed6fff8b524a2
Autor:
Prei, Kilian, Kanig, Carolina, Osnabruegge, Mirja, Langguth, Berthold, Mack, Wolfgang, Abdelnaim, Mohamed, Schecklmann, Martin, Schoisswohl, Stefan
Publikováno v:
In Brain Research 1 December 2023 1820
Autor:
Stefan Schoisswohl, Berthold Langguth, Franziska C. Weber, Mohamed A. Abdelnaim, Tobias Hebel, Martin Schecklmann
Publikováno v:
BMC Neurology, Vol 23, Iss 1, Pp 1-11 (2023)
Abstract Background Low frequency repetitive transcranial magnetic stimulation (rTMS) is commonly used to inhibit pathological hyperactivity of the auditory cortex in tinnitus. Novel and supposedly superior and faster inhibitory protocols such as con
Externí odkaz:
https://doaj.org/article/4881502e873f4160ac976cb48d47f911
Autor:
Carolina Kanig, Mirja Osnabruegge, Florian Schwitzgebel, Karsten Litschel, Wolfgang Seiberl, Wolfgang Mack, Stefan Schoisswohl, Martin Schecklmann
Publikováno v:
Frontiers in Human Neuroscience, Vol 17 (2023)
IntroductionRepetitive transcranial magnetic stimulation (rTMS) is used to induce long-lasting changes (aftereffects) in cortical excitability, which are often measured via single-pulse TMS (spTMS) over the motor cortex eliciting motor-evoked potenti
Externí odkaz:
https://doaj.org/article/c0b43455d95e4fc0907a0ba66334382a