Zobrazeno 1 - 10
of 787
pro vyhledávání: '"K, Kutz"'
Publikováno v:
Journal of Symbolic Computation. 90:42-64
The problem of nominal unification where variables are allowed for atoms, and computing a complete set of unifiers is considered. The complexity is shown to be NP-complete, while for special cases there are polynomial time algorithms. The main result
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9923d66ed3ca3d113b88c32700b5b07a
https://doi.org/10.1016/j.jsc.2018.04.003
https://doi.org/10.1016/j.jsc.2018.04.003
Publikováno v:
Logic-Based Program Synthesis and Transformation ISBN: 9783030684457
LOPSTR
LOPSTR
Unification algorithms of nominal expressions with letrec and atom- and expression-variables are already described in the literature. However, only explicit environments could be treated in nominal unification and the use of abstract environments was
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b893e3f54adf632f90776773c95f1669
https://doi.org/10.1007/978-3-030-68446-4_5
https://doi.org/10.1007/978-3-030-68446-4_5
Autor:
Raphael F. Fritsche, Olga Kataeva, Sebastian K. Kutz, Christian Brütting, Carsten Börger, Arndt W. Schmidt, Hans-Joachim Knölker
Publikováno v:
Chemistry - A European Journal. 24:458-470
We describe the synthesis of 1,1'- and 2,2'-bicarbazoles by oxidative homocoupling of 2- and 1-hydroxycarbazoles. The oxidative coupling using catalytic amounts of F16 PcFe can be applied to both groups of substrates. Although F16 PcFe generally prov
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::be73b46b0fe096d94fcbc298eb0b98b9
https://doi.org/10.1002/chem.201704554
https://doi.org/10.1002/chem.201704554
Autor:
Ronny Hesse, Christian Brütting, Scott G. Franzblau, Claudia Thomas, Sebastian K. Kutz, Marika Rönnefahrt, Hans-Joachim Knölker, Carsten Börger, V. Pavan Kumar, Konstanze K. Julich-Gruner, Baojie Wan
Publikováno v:
Bioorganic & Medicinal Chemistry. 25:6167-6174
A series of 49 oxygenated tricyclic carbazole derivatives has been tested for inhibition of the growth of Mycobacterium tuberculosis and a mammalian cell line (vero cells). From this series, twelve carbazoles showed a significant anti-TB activity. Th
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::411557ce74192cebf084085e5d2c9667
https://doi.org/10.1016/j.bmc.2016.12.038
https://doi.org/10.1016/j.bmc.2016.12.038
Publikováno v:
Synthesis. 49:275-292
We describe the total synthesis of murrayafoline-B and seven carbazole-1,4-quinone alkaloids. A palladium(II)-catalyzed oxidative cyclization is used to construct the carbazole skeleton. Pyran annulation and oxidation provide pyrayaquinone-A, -B, and
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f43c6175c955054d76fa1269ebe996f9
https://doi.org/10.1055/s-0036-1588322
https://doi.org/10.1055/s-0036-1588322
Publikováno v:
Engineering Fracture Mechanics. 77:3604-3610
Plane cracks under mixed-mode loading conditions are mostly assessed by fracture criteria based on the stress-intensity factors KI and KII. The well known connection to the J-integral of fracture mechanics is given by J = K I 2 + K II 2 / E ∗ (E* e
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0aa26b3f35ac48312a250d6fb5329fed
https://doi.org/10.1016/j.engfracmech.2010.05.008
https://doi.org/10.1016/j.engfracmech.2010.05.008
Autor:
Sokratous, Dimitris1,2 (AUTHOR) sokratous.physio@gmail.com, Charalambous, Charalambos Costa3 (AUTHOR), Zamba—Papanicolaou, Eleni4 (AUTHOR), Michailidou, Kyriaki5 (AUTHOR), Konstantinou, Nikos1 (AUTHOR)
Publikováno v:
PLoS ONE. 10/17/2024, Vol. 19 Issue 10, p1-32. 32p.
Autor:
Fronk, Colby1 (AUTHOR) colbyfronk@ucsb.edu, Yun, Jaewoong2,3 (AUTHOR), Singh, Prashant4 (AUTHOR), Petzold, Linda5,6 (AUTHOR)
Publikováno v:
PLoS Computational Biology. 10/10/2024, Vol. 20 Issue 10, p1-38. 38p.
Publikováno v:
Foundations of Computational Mathematics. Oct2024, Vol. 24 Issue 5, p1595-1641. 47p.
Publikováno v:
PLoS Computational Biology. 9/27/2024, Vol. 20 Issue 9, p1-24. 24p.