Zobrazeno 1 - 10
of 45
pro vyhledávání: '"Satoru Kuroda"'
Autor:
Takuya Maemoto, Miho Tada, Takuma Mihara, Noriko Ueyama, Hideaki Matsuoka, Katsuya Harada, Takayuki Yamaji, Kiyoharu Shirakawa, Satoru Kuroda, Atsushi Akahane, Akinori Iwashita, Nobuya Matsuoka, Seitaro Mutoh
Publikováno v:
Journal of Pharmacological Sciences, Vol 96, Iss 1, Pp 42-52 (2004)
Adenosine A1 receptors in the brain are believed to play an important role in brain functioning. We have discovered a novel adenosine A1 receptor antagonist, FR194921 (2-(1-methyl-4-piperidinyl)-6-(2-phenylpyrazolo[1,5-a]pyridin-3-yl)-3(2H)-pyridazin
Externí odkaz:
https://doaj.org/article/860f43174114496499f11078d16d5768
Autor:
Satoru Kuroda
Publikováno v:
Archive for Mathematical Logic. 61:233-262
We will give a two-sort system which axiomatizes winning strategies for the combinatorial game Node Kayles. It is shown that our system captures alternating polynomial time reasonings in the sense that the provably total functions of the theory corre
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f89d44ff89209e839cd114f87840350b
https://doi.org/10.1007/s00153-021-00790-7
https://doi.org/10.1007/s00153-021-00790-7
Autor:
Satoru Kuroda
Publikováno v:
Computability Theory and Foundations of Mathematics.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e6b0292a3ad5c4b423cfaf353bf6da8b
https://doi.org/10.1142/9789811259296_0006
https://doi.org/10.1142/9789811259296_0006
Publikováno v:
Journal of Sustainable Forestry. 40:767-778
The management of abandoned coppiced forests is an important issue for sustainable forestry. Lithocarpus edulis (Fagaceae) is a rarely-used hardwood species in Japan, although it is an abundant and...
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9376bff135ce71f46b14775d5c6695eb
https://doi.org/10.1080/10549811.2020.1818583
https://doi.org/10.1080/10549811.2020.1818583
Publikováno v:
Silvae Genetica. 68:45-50
Variance components of tree height (HT) and stem diameter at 1.3 m above the ground (DBH) were investigated for the eight open-pollinated families of Zelkova serrata (Thumb.) Makino planted with three different initial planting spacings in a progeny
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::224a0f35922fdb3ed6f5ec28f3b63c17
https://doi.org/10.2478/sg-2019-0008
https://doi.org/10.2478/sg-2019-0008
Gaisi Takeuti was one of the most brilliant, genius, and influential logicians of the 20th century. He was a long-time professor and professor emeritus of mathematics at the University of Illinois at Urbana-Champaign, USA, before he passed away on
Publikováno v:
SAE Technical Paper Series.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f3d7bfb63663a1c72008cf8aaf92ca04
https://doi.org/10.4271/2016-01-1626
https://doi.org/10.4271/2016-01-1626
Autor:
Satoru Kuroda
Publikováno v:
Archive for Mathematical Logic. 46:489-516
We define a theory of two-sort bounded arithmetic whose provably total functions are exactly those in $${\mathcal{F}_{LOGCFL}}$$ by way of a generalized quantifier that expresses computations of SAC 1 circuits. The proof depends on Kolokolova’s con
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1f227c9e8051b22f5ea504f257a8efa4
https://doi.org/10.1007/s00153-007-0052-4
https://doi.org/10.1007/s00153-007-0052-4
Autor:
Jiro Seki, Satoru Kuroda, Kayoko Mihara, Toshio Yamanaka, Fumie Takahashi, Masayuki Kato, Hideko Nakamura, Mitsuru Ohkubo, Toshiaki Aoki
Publikováno v:
Bioorganic & Medicinal Chemistry. 13:4343-4352
The discovery of the non-peptide antiplatelet injectable agent FK419 is reported. Based on the beta-turn structure of RGD peptide sequences in the alpha chain of fibrinogen, which binds the glycoprotein IIb/IIIa (GPIIb/IIIa) on the surface of platele
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1a3710696ef20b150005dab1e187c1f9
https://doi.org/10.1016/j.bmc.2005.03.056
https://doi.org/10.1016/j.bmc.2005.03.056
Autor:
Satoru Kuroda
Publikováno v:
computational complexity. 13:69-89
We characterize iterated log depth circuit classes between AC0 and AC1 by Cobham-like bounded recursion schemata. We also give alternative characterizations which utilize the safe recursion method developed by Bellantoni and Cook.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ad8a7fa467d03cec8b07b7bbdb6f3a00
https://doi.org/10.1007/s00037-004-0184-4
https://doi.org/10.1007/s00037-004-0184-4