Zobrazeno 1 - 10
of 217
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
Autor:
K. Kutz, Benedikt Obermayer, S.J. van Kampen, M. Blok, M. Vigil, E. van Rooij, Bas Molenaar, Matthias Selbach, D Versteeg
Publikováno v:
Journal of Molecular and Cellular Cardiology. 120:16-17
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b02480f52720d48f166d5d605ef23e6b
https://doi.org/10.1016/j.yjmcc.2018.05.057
https://doi.org/10.1016/j.yjmcc.2018.05.057
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
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:
Kimberly K. Kutz-Naber, Joshua J. Schmidt, Stephanie S. DeKeyser, Gregory A. Barrett-Wilt, Lingjun Li
Publikováno v:
Journal of Proteome Research. 6:1782-1791
Imaging mass spectrometry (IMS) of neuropeptides in crustacean neuronal tissues was performed on a MALDI-TOF/TOF instrument. Sample preparation protocols were developed for the sensitive detection of these highly complex endogenous signaling molecule
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e9da1f454dbe623c8e701a100b98b48e
https://doi.org/10.1021/pr060603v
https://doi.org/10.1021/pr060603v
Autor:
Patsy S. Dickinson, Lingjun Li, Daniel I. Messinger, Anna J Conterato, Emily A. Bruns, Kimberly K. Kutz-Naber, Yun-Wei A. Hsu, Christopher C. Goiney, Alexandra Klein, Elizabeth A. Stemmler, Andrew E. Christie
Publikováno v:
Journal of Experimental Biology. 210:699-714
SUMMARY Over a quarter of a century ago, Mykles described the presence of putative endocrine cells in the midgut epithelium of the crab Cancer magister(Mykles, 1979). In the years that have followed, these cells have been largely ignored and nothing
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6294edcb8989688b315b148c407473f0
https://doi.org/10.1242/jeb.02696
https://doi.org/10.1242/jeb.02696