Zobrazeno 1 - 10
of 314
pro vyhledávání: '"Nitsche, Ulrich"'
B\"uchi Automata on infinite words present many interesting problems and are used frequently in program verification and model checking. A lot of these problems on B\"uchi automata are computationally hard, raising the question if a learning-based da
Externí odkaz:
http://arxiv.org/abs/2206.09619
Autor:
Nitsche, Ulrich, Seitz, Marie, Friess, Helmut, Feussner, Hubertus, Hüser, Norbert, Jell, Alissa
Publikováno v:
In Surgery December 2022 172(6):1689-1696
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Franke, Fabian Christoph, Müller, Johannes, Abal, Miguel, Medina, Eduardo Domínguez, Nitsche, Ulrich, Weidmann, Henri, Chardonnet, Solenne, Ninio, Ewa, Janssen, Klaus-Peter
Publikováno v:
In Cellular and Molecular Gastroenterology and Hepatology 2019 7(1):33-53
Autor:
Schorn, Stephan, Nitsche, Ulrich, Demir, Ihsan Ekin, Scheufele, Florian, Tieftrunk, Elke, Schirren, Rebekka, Klauss, Sarah, Sargut, Mine, Ceyhan, Güralp Onur, Friess, Helmut
Publikováno v:
In Pancreatology April 2018 18(3):334-345
Autor:
Ultes-Nitsche, Ulrich, Wolper, Pierre
This paper is motivated by the fact that verifying liveness properties under a fairness condition is often problematic, especially when abstraction is used. It shows that using a more abstract notion than truth under fairness, specifically the concep
Externí odkaz:
http://arxiv.org/abs/cs/0101017
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Vag, Tibor, Slotta-Huspenina, Julia, Rosenberg, Robert, Bader, Franz G., Nitsche, Ulrich, Drecoll, Enken, Rummeny, Ernst J., Gaa, Jochen
Publikováno v:
In Clinical Imaging November-December 2014 38(6):845-849
Autor:
Prokopchuk, Olga, Hermann, Chris D., Schoeps, Benjamin, Nitsche, Ulrich, Prokopchuk, Oleksii L., Knolle, Percy, Friess, Helmut, Martignoni, Marc E., Krüger, Achim
Publikováno v:
Journal of Cachexia, Sarcopenia and Muscle, Vol 12, Iss 2, Pp 378-392 (2021)
Journal of Cachexia, Sarcopenia and Muscle
Journal of Cachexia, Sarcopenia and Muscle
Background Cachexia, a devastating syndrome in cancer patients, critically determines survival and life quality. It is characterized by impaired homeostasis of multiple organs including the liver, involves tissue wasting, and is conventionally diagno
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=pmid_dedup__::50b30d99207b5f5dfc219e1aa479b405
https://doaj.org/article/a7dc9b645cee470ea5769eeccc0af8ef
https://doaj.org/article/a7dc9b645cee470ea5769eeccc0af8ef