Zobrazeno 1 - 10
of 17
pro vyhledávání: '"Tsubasa Takagi"'
Autor:
Wataru Okumura, Takuma Kozono, Hiroyuki Sato, Hitomi Matsui, Tsubasa Takagi, Takashi Tonozuka, Atsushi Nishikawa
Publikováno v:
Scientific Reports, Vol 12, Iss 1, Pp 1-12 (2022)
Abstract Ca2+ influx upon G protein-coupled receptor (GPCR) stimulation is observed as a cytosolic Ca2+ concentration oscillation crucial to initiating downstream responses including cell proliferation, differentiation, and cell–cell communication.
Externí odkaz:
https://doaj.org/article/55042a15e2f240b08335da1c2e25fb25
Autor:
Tsubasa Takagi
Publikováno v:
ACM Transactions on Computational Logic. 24:1-21
Although various dynamic or temporal logics have been proposed to verify quantum protocols and systems, these two viewpoints have not been studied comprehensively enough. We propose Linear Temporal Quantum Logic (LTQL), a linear temporal extension of
Autor:
Takuma Kozono, Chifuyu Jogano, Wataru Okumura, Hiroyuki Sato, Hitomi Matsui, Tsubasa Takagi, Nobuaki Okumura, Toshifumi Takao, Takashi Tonozuka, Atsushi Nishikawa
Publikováno v:
Journal of Cell Science. 136
Jaw1 (also known as IRAG2), a tail-anchored protein with 39 carboxyl (C)-terminal amino acids, is oriented to the lumen of the endoplasmic reticulum and outer nuclear membrane. We previously reported that Jaw1, as a member of the KASH protein family,
Autor:
Takuma Kozono, Chifuyu Jogano, Wataru Okumura, Hiroyuki Sato, Hitomi Matsui, Tsubasa Takagi, Nobuaki Okumura, Toshifumi Takao, Takashi Tonozuka, Atsushi Nishikawa
Jaw1, a tail-anchored protein with 39 carboxyl (C)-terminal amino acids, is oriented to the lumen of the endoplasmic reticulum and outer nuclear membrane. We previously reported that Jaw1, as a member of the KASH protein family, plays a role in maint
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2786381011a73c48b42c0a2293a4ff59
https://doi.org/10.1101/2022.12.10.519934
https://doi.org/10.1101/2022.12.10.519934
Autor:
Tsubasa Takagi
Publikováno v:
International Journal of Theoretical Physics. 60:366-377
We translate the three-valued quantum logic into modal logic, and prove 3-equivalence between the valuation of the three-valued logic and a kind of Kripke model in regard to this translation. To prove 3-equivalence, we introduce an observable-depende
Efficiency-Thoroughness Trade-Off Characteristics of Air Traffic Controllers During Tower Operations
Autor:
Tsubasa Takagi, Miwa Nakanishi
Publikováno v:
Proceedings of the Human Factors and Ergonomics Society Annual Meeting. 64:1745-1749
Air traffic demand has been growing for years and many countries are trying to solve this situation by modernizing their national airspace through advanced automation. Those projects aim to provide a greater level of efficiency while ensuring a safe
Autor:
Atsushi Nishikawa, Wataru Okumura, Takuma Kozono, Hiroyuki Sato, Tsubasa Takagi, Takashi Tonozuka
Ca2+ influx upon G protein-coupled receptor (GPCR) stimulation is observed as a cytosolic Ca2+ concentration oscillation crucial to initiating downstream responses including cell proliferation, differentiation, and cell-cell communication. Although J
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::eb9c773eb28278e0db05db79005bd94a
https://doi.org/10.21203/rs.3.rs-1326619/v1
https://doi.org/10.21203/rs.3.rs-1326619/v1
Autor:
Wataru, Okumura, Takuma, Kozono, Hiroyuki, Sato, Hitomi, Matsui, Tsubasa, Takagi, Takashi, Tonozuka, Atsushi, Nishikawa
Publikováno v:
Scientific reports. 12(1)
Ca
Autor:
Takuma Kozono, Chifuyu Jogano, Wataru Okumura, Hiroyuki Sato, Hitomi Matsui, Tsubasa Takagi, Nobuaki Okumura, Toshifumi Takao, Takashi Tonozuka, Atsushi Nishikawa
Publikováno v:
Journal of Cell Science; Feb2023, Vol. 136 Issue 4, p1-15, 15p
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030783600
HCI (5)
HCI (5)
To incorporate Safety-II, which pertains to the continuation of stable operations, into safety management, we must understand why and how everyday operations are successfully carried out. However, there are no effective methods that enable such analy
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::aa7a78feccb4b2ccd6096e369812ff26
https://doi.org/10.1007/978-3-030-78361-7_34
https://doi.org/10.1007/978-3-030-78361-7_34