Zobrazeno 1 - 10
of 26 437
pro vyhledávání: '"A. Kihara"'
Autor:
Kihara, Takayuki
In this article, we investigate the arithmetical hierarchy from the perspective of realizability theory. An experimental observation in classical computability theory is that the notion of degrees of unsolvability for natural arithmetical decision pr
Externí odkaz:
http://arxiv.org/abs/2410.15795
Autor:
Li, Haoran, Li, Xingjian, Shi, Jiahua, Chen, Huaming, Du, Bo, Kihara, Daisuke, Barthelemy, Johan, Shen, Jun, Xu, Min
Cryo-Electron Tomography (cryo-ET) is a 3D imaging technology facilitating the study of macromolecular structures at near-atomic resolution. Recent volumetric segmentation approaches on cryo-ET images have drawn widespread interest in biological sect
Externí odkaz:
http://arxiv.org/abs/2406.18610
Modern vision transformers leverage visually inspired local interaction between pixels through attention computed within window or grid regions, in contrast to the global attention employed in the original ViT. Regional attention restricts pixel inte
Externí odkaz:
http://arxiv.org/abs/2406.08859
Autor:
Kihara, Takayuki
In this article, we propose a new classification of $\Sigma^0_2$ formulas under the realizability interpretation of many-one reducibility (i.e., Levin reducibility). For example, ${\sf Fin}$, the decision of being eventually zero for sequences, is ma
Externí odkaz:
http://arxiv.org/abs/2403.16027
Transformers have elevated to the state-of-the-art vision architectures through innovations in attention mechanism inspired from visual perception. At present two classes of attentions prevail in vision transformers, regional and sparse attention. Th
Externí odkaz:
http://arxiv.org/abs/2403.04200
Publikováno v:
Geriatrics, Gerontology and Aging, Vol 7, Pp 274-278 (2024)
A incidência de tromboembolismo venoso eleva-se com a idade. A presença de fatores de risco é a condição inicial para o estabelecimento de suspeita clínica e realização de adequada profilaxia. Objetivo: Identificar risco futuro para tromboemb
Externí odkaz:
https://doaj.org/article/515541f577664e258bfe1474c9380ba6
Autor:
Atsuko Kobayashi, Daisuke Tanaka, Hironori Hidaka, Kasumi Sakurai, Kotaro Kawai, Toyohiro Kato, Kumiko Kihara, Joseph L. Kirschvink
Publikováno v:
Communications Biology, Vol 7, Iss 1, Pp 1-10 (2024)
Abstract Trace levels of biologically precipitated magnetite (Fe3O4) nanocrystals are present in the tissues of many living organisms, including those of plants. Recent work has also shown that magnetite nanoparticles are powerful ice nucleation part
Externí odkaz:
https://doaj.org/article/5212a2b2cc5747b386ec5468f7f2db04
Autor:
Tomomi Kihara, Kazumasa Yamagishi, Takuya Imatoh, Hikaru Ihira, Atsushi Goto, Hiroyasu Iso, Norie Sawada, Shoichiro Tsugane, Manami Inoue
Publikováno v:
Journal of Epidemiology, Vol 34, Iss 9, Pp 453-457 (2024)
Background: We aimed to evaluate the validity of self-administered questionnaire surveys and face-to-face interview surveys for the detection of Helicobacter pylori eradication therapy. Methods: Participants were a cohort, aged 40–74 years, living
Externí odkaz:
https://doaj.org/article/19a373fde7b54076b6594c984d82d492
Autor:
Ibtehaz, Nabil, Kihara, Daisuke
This decade is marked by the introduction of Vision Transformer, a radical paradigm shift in broad computer vision. A similar trend is followed in medical imaging, UNet, one of the most influential architectures, has been redesigned with transformers
Externí odkaz:
http://arxiv.org/abs/2308.13680
Publikováno v:
Logical Methods in Computer Science, Volume 20, Issue 2 (June 13, 2024) lmcs:11692
In this paper, we prove measurability of event for which a general continuous-time stochastic process satisfies continuous-time Metric Temporal Logic (MTL) formula. Continuous-time MTL can define temporal constrains for physical system in natural way
Externí odkaz:
http://arxiv.org/abs/2308.00984