Zobrazeno 1 - 10
of 17
pro vyhledávání: '"Taichi Uemura"'
Publikováno v:
MATERIALS TRANSACTIONS. 62:1806-1809
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5d9abf6692b106ced8f5fa7d901f5708
https://doi.org/10.2320/matertrans.mt-m2021180
https://doi.org/10.2320/matertrans.mt-m2021180
Autor:
Taichi Uemura, Andrew Wakelin Swan
Publikováno v:
Mathematical Structures in Computer Science. 31:1185-1204
We show that Church’s thesis, the axiom stating that all functions on the naturals are computable, does not hold in the cubical assemblies model of cubical type theory. We show that nevertheless Church’s thesis is consistent with univalent type t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6006499e34592f1f32a8fb2b4abe9291
https://doi.org/10.1017/s0960129522000068
https://doi.org/10.1017/s0960129522000068
Publikováno v:
Polymer Journal. 53:439-447
High-molecular-weight (HMW) benzoxazines were synthesized by Mannich condensation with various combinations of bisphenols and diamines, and the mechanical and thermal properties of the polybenzoxazines derived from the HMW benzoxazines were measured
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e1b5df65c0e8d85e8b68831c52f60bb7
https://doi.org/10.1038/s41428-020-00438-y
https://doi.org/10.1038/s41428-020-00438-y
Autor:
Taichi Uemura
We show that the essentially algebraic theory of generalized algebraic theories, regarded as a category with finite limits, has a universal exponentiable arrow in the sense that any exponentiable arrow in any category with finite limits is the image
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9f631aa1fe089f1b88c24c3494374977
http://arxiv.org/abs/2001.09940
http://arxiv.org/abs/2001.09940
Publikováno v:
Materials Transactions; 2021, Vol. 62 Issue 12, p1806-1809, 4p
Publikováno v:
The Minerals, Metals & Materials Series ISBN: 9783319523910
Recently, biodegradable bone fixation devices have been demanded when considering the patient’s quality of life (QOL). During the fracture healing, the devices must support the repeated load due to daily performance. At the same time, surface of th
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7b4f2f868900dc1450d67216d0f1574f
https://doi.org/10.1007/978-3-319-52392-7_73
https://doi.org/10.1007/978-3-319-52392-7_73
Autor:
Taichi Uemura
Publikováno v:
KOBUNSHI RONBUNSHU. 70:108-117
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e8dc68376b741ea11922072ab901c14d
https://doi.org/10.1295/koron.70.108
https://doi.org/10.1295/koron.70.108
Autor:
Taichi Uemura
We introduce fibred type-theoretic fibration categories which are fibred categories between categorical models of Martin-L\"{o}f type theory. Fibred type-theoretic fibration categories give a categorical description of logical predicates for identity
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c5aba6973e90f62fbfb2f6f90981ae55
http://arxiv.org/abs/1602.08206
http://arxiv.org/abs/1602.08206
Autor:
Satoshi Yamazaki, Shoko Marukane, Takashi Morinaga, Takaya Sato, Taichi Uemura, Kunihiro Fukumoto
Publikováno v:
Journal of Power Sources. 196:2835-2840
We present a new method to improve the rate capability of an electric double layer capacitor (EDLC) using a thin polymer layer having a high concentration of carbon material on a current collector (CLC). A novel thermocuring coating composed of a gly
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5ae68b3e7bc56541a187fa79d7aef107
https://doi.org/10.1016/j.jpowsour.2010.10.095
https://doi.org/10.1016/j.jpowsour.2010.10.095
Publikováno v:
Macromolecular Symposia. 242:120-125
Rhodamine B was intercalated in interlayer spaces of Somasif Me-100, a synthetic mica, and the obtained rhodamine B/Somasif hybrid was suspended in a UV-curable resin precursor. Then, the suspension was subjected to an applied rotating magnetic field
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6a85c77ee987cd4e538dca89184af20b
https://doi.org/10.1002/masy.200651018
https://doi.org/10.1002/masy.200651018