Search Results - "Rauch, Christoph"

E-Learning Is Not Inferior to On-Site Teaching in a Psychiatric Examination Course by Rauch, Christoph, Utz, Janine, Rauch, Miriam, Kornhuber, Johannes, Spitzer, Philipp

“…Implementing e-learning into medical education is a growing field of research. Researchers have had positive experiences so far, and evidence suggests it to be…”
Get full text

Promoting motivation and reducing stress in medical students by utilizing self-determination theory - a randomized controlled trial in practical psychiatry courses by Triebner, Nina, Sonnauer, Franziska, Rauch, Miriam, Kersten, Gian-Marco, Rauch, Christoph, Mestermann, Stefan, Bailer, Maximillian, Kornhuber, Johannes, Utz, Janine, Spitzer, Philipp

“…Medical students experience high levels of stress and related mental health problems. Students' autonomous and controlled motivation and their mental…”
Get full text

Unguarded Recursion on Coinductive Resumptions by Sergey Goncharov, Lutz Schröder, Christoph Rauch, Julian Jakob

“…We study a model of side-effecting processes obtained by starting from a monad modelling base effects and adjoining free operations using a cofree coalgebra…”
Get full text

Guarded and Unguarded Iteration for Generalized Processes by Sergey Goncharov, Lutz Schröder, Christoph Rauch, Maciej Piróg

“…Models of iterated computation, such as (completely) iterative monads, often depend on a notion of guardedness, which guarantees unique solvability of…”
Get full text

A metalanguage for guarded iteration by Goncharov, Sergey, Rauch, Christoph, Schröder, Lutz

“…•Guarded iteration is a unifying concept for intensional and extensional semantics, e.g. process algebra and domain theory.•The metalanguage of guarded…”
Get full text

Sauna Stroke Syndrome by Heckmann, Josef G., Rauch, Christoph, Seidler, Sia, Dütsch, Matthias, Kasper, Burkhard

“…This report describes a 64-year-old man with a large cerebral infarction during sauna bathing. He had no typical cerebrovascular risk factors. Transesophageal…”
Get full text

Bilateral Paramedian Pontine Base Infarction by Lanz, Stefan, Dütsch, Mathias, Rauch, Christoph, Seidler, Sia, Lanz, Thomas, Heckmann, Joseph G.

“…In paramedian caudal pontine infarctions, the medial lemniscus is often affected. This typically leads to dissociated sensory symptoms. We present a case in…”
Get full text

E-learning-an interventional element of the PRiVENT project to improve weaning expertise by Michels-Zetsche, Julia D, Schubert-Haack, Janina, Tanck, Katrin, Neetz, Benjamin, Iberl, Gabriele, Müller, Michael, Kempa, Axel, Joves, Biljana, Rheinhold, Andreas, Ghiani, Alessandro, Tsitouras, Konstantinos, Schneider, Armin, Rauch, Christoph, Gehrig, Patrick, Biehler, Elena, Fleischauer, Thomas, Britsch, Simone, Frerk, Timm, Szecsenyi, Joachim, Herth, Felix J F, Trudzinski, Franziska C

“…PRiVENT (PRevention of invasive VENTilation) is an evaluation of a bundle of interventions aimed at the prevention of long-term invasive mechanical…”
Get full text

A Metalanguage for Guarded Iteration by Goncharov, Sergey, Rauch, Christoph, Schröder, Lutz

“…Notions of guardedness serve to delineate admissible recursive definitions in various settings in a compositional manner. In recent work, we have introduced an…”
Get full text

Complete Elgot Monads and Coalgebraic Resumptions by Goncharov, Sergey, Milius, Stefan, Rauch, Christoph

“…Monads are used to abstractly model a wide range of computational effects such as nondeterminism, statefulness, and exceptions. Complete Elgot monads are…”
Get full text

Unguarded Recursion on Coinductive Resumptions by Goncharov, Sergey, Rauch, Christoph, Schröder, Lutz

“…We study a model of side-effecting processes obtained by starting from a monad modelling base effects and adjoining free operations using a cofree coalgebra…”
Get full text

Guarded and Unguarded Iteration for Generalized Processes by Goncharov, Sergey, Schröder, Lutz, Rauch, Christoph, Piróg, Maciej

“…Logical Methods in Computer Science, Volume 15, Issue 3 (July 4, 2019) lmcs:4170 Models of iterated computation, such as (completely) iterative monads, often…”
Get full text

Unguarded Recursion on Coinductive Resumptions by Goncharov, Sergey, Schröder, Lutz, Rauch, Christoph, Jakob, Julian

“…Logical Methods in Computer Science, Volume 14, Issue 3 (August 27, 2018) lmcs:4773 We study a model of side-effecting processes obtained by starting from a…”
Get full text

Complete Elgot Monads and Coalgebraic Resumptions by Goncharov, Sergey, Milius, Stefan, Rauch, Christoph

“…Monads are extensively used nowadays to abstractly model a wide range of computational effects such as nondeterminism, statefulness, and exceptions. It turns…”
Get full text

Building Simply by Schittich, Christian

“…No detailed description available for "Building Simply"…”
Get full text