Zobrazeno 1 - 10
of 51
pro vyhledávání: '"Thomas Kahl"'
Autor:
Thomas Kahl
Publikováno v:
Discrete Mathematics & Theoretical Computer Science, Vol vol. 23 no. 1, Iss Automata, Logic and Semantics (2021)
This paper introduces a notion of equivalence for higher-dimensional automata, called weak equivalence. Weak equivalence focuses mainly on a traditional trace language and a new homology language, which captures the overall independence structure of
Externí odkaz:
https://doaj.org/article/938836aa12e846b7912f0463588408b4
Autor:
Thomas Kahl
Publikováno v:
Logical Methods in Computer Science, Vol Volume 15, Issue 3 (2019)
The purpose of this paper is to provide a construction to model shared-variable systems using higher-dimensional automata which is compositional in the sense that the parallel composition of completely independent systems is modeled by the standard t
Externí odkaz:
https://doaj.org/article/088d488828934eaa81ea2178111ea74f
Autor:
Thomas Kahl
Die globalen Zustände lassen Bürger, Politiker und Unternehmer weltweit verzweifeln. Unser soziales Miteinander ist in Unordnung geraten. Immer weniger verläuft so, wie man es sich wünscht: Terrorismus, Kriminalität, Überforderung und Unbereche
Autor:
Thomas Kahl
Publikováno v:
Theoretical Computer Science. 935:47-60
It is shown that a higher-dimensional automaton is hhp-bisimilar to the free symmetric HDA generated by it. Consequently, up to hereditary history-preserving bisimilarity, ordinary HDAs and symmetric HDAs are models of concurrency with the same expre
Autor:
Letha Böhringer, Georg Mölich, Lars Wirtler, Timo Bollen, Wolfgang Rosen, Michael Kaiser, Saskia Klimkeit, Gabriele Oepen-Domschky, Martin Kröger, Thomas Kahl, Anselm Tiggemann
Publikováno v:
Geschichte in Köln 68 (2021). :289-316
Publikováno v:
Annals of Vascular Surgery. 66:250-262
Background Isolated dissections of the celiac artery (CA) after blunt trauma are rarely described. This retrospective analysis and systematic review analyzes epidemiology, radiologic examinations, patterns of injuries, therapeutic measures, clinical
Autor:
Thomas Kahl
Publikováno v:
Geschichte in Köln 67 (2020)
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8e2e71df8a994745e1e1a6709f7c3245
https://doi.org/10.7788/9783412520052.275
https://doi.org/10.7788/9783412520052.275
Publikováno v:
Bautechnik. 93:730-741
Autor:
Claas Güthoff, Domenique Runge, Dirk Stengel, Moritz Weigeldt, Axel Ekkernkamp, Filip Razny, Anna Lücke, Dirk Müller, S. Mutze, Konrad von Kottwitz, Thomas Kahl
Publikováno v:
JAMA Surgery. 155:224
Importance Initial whole-body computed tomography (WBCT) for screening patients with suspected blunt multiple trauma remains controversial and a source of excess radiation exposure. Objective To determine whether low-dose WBCT scanning using an itera