Zobrazeno 1 - 8
of 8
pro vyhledávání: '"Johannes Greiner"'
Publikováno v:
Scientific Reports, Vol 13, Iss 1, Pp 1-15 (2023)
Abstract We investigate a family of hexagonal 2D covalent organic frameworks (COFs) with phenyl and biphenyl spacer units and different chemical linker species. Chemical trends are elucidated and attributed to microscopic properties of the $$\pi$$ π
Externí odkaz:
https://doaj.org/article/1082e5468d474813a2ef105ae44d7682
Publikováno v:
Logical Methods in Computer Science, Vol Volume 18, Issue 2 (2022)
The constraint satisfaction problem (CSP) of a first-order theory T is the computational problem of deciding whether a given conjunction of atomic formulas is satisfiable in some model of T. We study the computational complexity of CSP$(T_1 \cup T_2)
Externí odkaz:
https://doaj.org/article/fd6db1b5fa6445268103dc0423511b7e
Autor:
Manuel Bodirsky, Johannes Greiner
Publikováno v:
Logical Methods in Computer Science, Vol Volume 16, Issue 1 (2020)
The CSP of a first-order theory $T$ is the problem of deciding for a given finite set $S$ of atomic formulas whether $T \cup S$ is satisfiable. Let $T_1$ and $T_2$ be two theories with countably infinite models and disjoint signatures. Nelson and Opp
Externí odkaz:
https://doaj.org/article/155d309140324ab58ba3375d21c23ac3
Autor:
Dirk Wähnert, Johannes Greiner, Stefano Brianza, Christian Kaltschmidt, Thomas Vordemvenne, Barbara Kaltschmidt
Publikováno v:
Biomedicines, Vol 9, Iss 7, p 746 (2021)
Successful fracture healing is dependent on an optimal mechanical and biological environment at the fracture site. Disturbances in fracture healing (non-union) or even critical size bone defects, where void volume is larger than the self-healing capa
Externí odkaz:
https://doaj.org/article/f1ac7607174e4ad0b02a8a9c0a1c171a
Autor:
Johannes Greiner
Publikováno v:
PUB-Publications at Bielefeld University
Habilitationsschrift der Fakultät für Biologie
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::0ca5f5418fdfc76e85b504156bfee722
https://pub.uni-bielefeld.de/record/2966574
https://pub.uni-bielefeld.de/record/2966574
Autor:
Manuel Bodirsky, Johannes Greiner
Publikováno v:
Logics in Artificial Intelligence-17th European Conference, JELIA 2021, Virtual Event, May 17–20, 2021, Proceedings
Logics in Artificial Intelligence ISBN: 9783030757748
JELIA
Logics in Artificial Intelligence ISBN: 9783030757748
JELIA
For a first-order theory T, the Constraint Satisfaction Problem of T is the computational problem of deciding whether a given conjunction of atomic formulas is satisfiable in some model of T. In this article we develop sufficient conditions for polyn
Autor:
The Duy Nguyen, Darius Widera, Johannes Greiner, Janine Müller, Ina Martin, Carsten Slotta, Stefan Hauser, Christian Kaltschmidt, Barbara Kaltschmidt
Neural precursor cells (NPCs) are lineage-restricted neural stem cells with limited self-renewal, giving rise to a broad range of neural cell types such as neurons, astrocytes, and oligodendrocytes. Despite this developmental potential, the different
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2f4af1d3aa6ea0d246ae26b240852175
https://centaur.reading.ac.uk/39520/1/hsz-2013-0191.pdf
https://centaur.reading.ac.uk/39520/1/hsz-2013-0191.pdf
Autor:
Johannes Greiner
Publikováno v:
European Journal of Political Economy. 3:433-438