Zobrazeno 1 - 10
of 219
pro vyhledávání: '"Wolfgang Thomas"'
Autor:
Wolfgang Thomas, Stefan Milius
Publikováno v:
Library Ideas, Vol 44 (2023)
Logical Methods in Computer Science ist eine wissenschaftsgesteuerte Diamond-Open-Access-Zeitschrift im Gebiet der Theoretischen Informatik. Wir berichten über die Entwicklung der Zeitschrift seit ihrer Gründung in 2004 und stellen Herausforderung
Externí odkaz:
https://doaj.org/article/ff0052c0da984c5181e93a45b83a1bb2
Autor:
Sivagurunathan Sutharsan, Stefanie Dillenhoefer, Matthias Welsner, Florian Stehling, Folke Brinkmann, Manuel Burkhart, Helmut Ellemunter, Anna-Maria Dittrich, Christina Smaczny, Olaf Eickmeier, Matthias Kappler, Carsten Schwarz, Sarah Sieber, Susanne Naehrig, Lutz Naehrlich, Klaus Tenbrock, Claus Pfannenstiel, Dirk Steffen, Jochen Meister, Britta Welzenbach, Anette Scharschinger, Markus Kratz, Maike Pincus, Tobias Tenenbaum, Mirjam Stahl, Kerstin Landwehr, Stefanie Dillenhöfer, Hans Kössel, Petra Kaiser, Manfred Käding, Simone Stolz, Stefan Blaas, Jutta Hammermann, Monika Gappa, Antje Schuster, Dana Spittel, Sabine Zirlik, Sabina Schmitt, Joachim Bargon, Malte Cremer, Sebastian Fähndrich, Andrea Heinzmann, Lutz Nährlich, Stefan Kuhnert, Sebastian Schmidt, Bettina Wollschläger, Anna Nolde, Inka Held, Wolfgang Kamin, Felix C. Ringshausen, Sabine Wege, Olaf Sommerburg, Norbert Geier, Sara Lisa Fleser, Heinrike Wilkens, Michael Lorenz, Paul Vöhringer, Martin Schebek, Christian Timke, Ingrid Bobis, Thomas Nüßlein, Doris Dieninghoff, Ernst Rietschel, Bastian Klinkhammer, Freerk Prenzel, Alexandra Wald, Axel Kempa, Eva Lücke, Ines Adams, Krystyna Poplawska, Simone Lehmkühler, Monika Bauck, Anne Pfülb, Rainald Fischer, Gudrun Schopper, Susanne Nährig, Matthias Griese, Jörg Grosse, Peter Küster, Birte KinderHolger Köster, Susanne Büsing, Margarethe Pohl, Andreas Artlich, Alexander Kiefer, Manfred Ballmann, Nikola Gjorgjevski, Markus A. Rose, Friederike Ruf, Rolf Mahlberg, Wolfgang Thomas, Ute Graepler, Sebastian Bode, hilipp Meyn, Josef Rosenecker, Cordula Koerner, Klaus-Michael Keller, Tina Teßmer, Helge Hebestreit, Gerhild Lohse
Publikováno v:
The Lancet Regional Health. Europe, Vol 32, Iss , Pp 100690- (2023)
Summary: Background: Treatment with elexacaftor/tezacaftor/ivacaftor (ETI) improves multiple clinical outcomes in people with cystic fibrosis (pwCF) with at least one F508del allele. This study evaluated the real-world impact of ETI on lung function,
Externí odkaz:
https://doaj.org/article/cb7f1132ad9145b4909f1a838def4b95
Publikováno v:
Respiratory Research, Vol 20, Iss 1, Pp 1-9 (2019)
Abstract Background Extreme prematurity has been associated with exercise intolerance and reduced physical activity. We hypothesized that children with bronchopulmonary dysplasia (BPD) would be especially affected based on long-term lung function imp
Externí odkaz:
https://doaj.org/article/66a6c4c26e664264937c4f392d24f21e
Autor:
Benedikt Brütsch, Wolfgang Thomas
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 220, Iss Proc. Cassting 2016/SynCoP'16, Pp 13-25 (2016)
We solve a generalized version of Church's Synthesis Problem where a play is given by a sequence of natural numbers rather than a sequence of bits; so a play is an element of the Baire space rather than of the Cantor space. Two players Input and Outp
Externí odkaz:
https://doaj.org/article/46718136d08e4d4a8e08d8af35c4bd17
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 73, Iss Proc. INFINITY 2011, Pp 20-34 (2011)
We provide decidability and undecidability results on the model-checking problem for infinite tree structures. These tree structures are built from sequences of elements of infinite relational structures. More precisely, we deal with the tree itera
Externí odkaz:
https://doaj.org/article/e1f6ca3c99ef46b6b440587771c3fb3f
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 54, Iss Proc. GandALF 2011, Pp 131-145 (2011)
A game-theoretic model for the study of dynamic networks is analyzed. The model is motivated by communication networks that are subject to failure of nodes and where the restoration needs resources. The corresponding two-player game is played between
Externí odkaz:
https://doaj.org/article/f9c243023aa940b78c54a0d20bb97171
Publikováno v:
Logical Methods in Computer Science, Vol Volume 8, Issue 3 (2012)
We study variants of regular infinite games where the strict alternation of moves between the two players is subject to modifications. The second player may postpone a move for a finite number of steps, or, in other words, exploit in his strategy som
Externí odkaz:
https://doaj.org/article/0e915bfa1ae44abd8dbe2461e4baf65c
Autor:
Stefan Wöhrle, Wolfgang Thomas
Publikováno v:
Logical Methods in Computer Science, Vol Volume 3, Issue 4 (2007)
Formal verification using the model checking paradigm has to deal with two aspects: The system models are structured, often as products of components, and the specification logic has to be expressive enough to allow the formalization of reachability
Externí odkaz:
https://doaj.org/article/44d2d67c09324478b1a04142e1d4941c
Publikováno v:
Filser, W T G, Bentz, M (ed.) & Heinzelmann, M (ed.) 2023, ' Emulation is the Leitmotif. Conspicuous Consumption in the Casa della Fontana Piccola : in: Bentz, Martin and Heinzelmann, Michael (eds.), Archaeology and Economy in the Ancient World – Proceedings of the 19th International Congress of Classical Archaeology, Cologne/Bonn 2018, Vol. 55, Sessions 6–8, ', pp. 327-332 .
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______2751::0d0f1f52317fa37afbcbed1f64c9c6c7
https://curis.ku.dk/portal/da/publications/emulation-is-the-leitmotif-conspicuous-consumption-in-the-casa-della-fontana-piccola(471c9b0b-4791-4d44-b8cb-cbf8f45d298c).html
https://curis.ku.dk/portal/da/publications/emulation-is-the-leitmotif-conspicuous-consumption-in-the-casa-della-fontana-piccola(471c9b0b-4791-4d44-b8cb-cbf8f45d298c).html
Publikováno v:
Monatsschrift Kinderheilkunde.