Zobrazeno 1 - 10
of 12 362
pro vyhledávání: '"A, Teruya"'
In this paper, we present a remote verification environment for Mizar and its integration with a web platform. Although a VSCode extension for Mizar is already available, it requires installing the Mizar verification tools locally. Our newly develope
Externí odkaz:
http://arxiv.org/abs/2410.20809
Autor:
Sakai, Hiroshi, Arakawa, Dai, Furuya, Takaaki, Haga, Kaiichi, Hagiwara, Masayuki, Harada, Kentaro, Honda, Yosuke, Honma, Teruya, Kako, Eiji, Kato, Ryukou, Kojima, Yuuji, Konomi, Taro, Matsumura, Hiroshi, Miura, Taichi, Miura, Takako, Nagahashi, Shinya, Nakai, Hirotaka, Nakamura, Norio, Nakanishi, Kota, Nigorikawa, Kazuyuki, Nogami, Takashi, Obina, Takashi, Qiu, Feng, Sagehashi, Hidenori, Sakanaka, Shogo, Shimada, Miho, Tadano, Mikito, Takahashi, Takeshi, Takai, Ryota, Tanaka, Olga, Tanimoto, Yasunori, Toyoda, Akihiro, Uchiyama, Takashi, Umemori, Kensei, Yamamoto, Masahiro, Yoshida, Go, Nishimori, Nobuyuki, Hajima, Ryoichi, Nagai, Ryoji, Sawamura, Masaru
A compact energy-recovery linac (cERL) has been un-der construction at KEK since 2009 to develop key technologies for the energy-recovery linac. The cERL began operating in 2013 to create a high-current beam with a low-emittance beam with stable cont
Externí odkaz:
http://arxiv.org/abs/2408.13478
In this note, we provide several examples of inclusions of unital $C\sp*$-algebras of index finite-type with the Rokhlin property lacking in literature and more importantly we construct the example which does not belong to the fixed point algebra mod
Externí odkaz:
http://arxiv.org/abs/2405.03964
Autor:
Fujiwara, Hirokazu, Terashima, Kensei, Otsuki, Junya, Takemori, Nayuta, Jeschke, Harald O., Wakita, Takanori, Yano, Yuko, Hosoda, Wataru, Kataoka, Noriyuki, Teruya, Atsushi, Kakihana, Masashi, Hedo, Masato, Nakama, Takao, Ōnuki, Yoshichika, Yaji, Koichiro, Harasawa, Ayumi, Kuroda, Kenta, Shin, Shik, Horiba, Koji, Kumigashira, Hiroshi, Muraoka, Yuji, Yokoya, Takayoshi
Publikováno v:
Physical Review B 106, 085114 (2022)
The spin-dependent band structure of CoS$_2$ which is a candidate for a half-metallic ferromagnet was investigated by both spin- and angle-resolved photoemission spectroscopy and theoretical calculations, in order to reappraise the half-metallicity a
Externí odkaz:
http://arxiv.org/abs/2310.07274
Autor:
Raphaldini, Breno, Dikpati, Mausumi, Norton, Aimee A., Teruya, Andre S. W., McIntosh, Scott W., Prior, Christopher B., MacTaggart, David
We investigate whether global toroid patterns and the local magnetic field topology of solar active region AR12673 together can hindcast occurrence of the biggest X-flare of solar cycle (SC)-24. Magnetic toroid patterns (narrow latitude-belts warped
Externí odkaz:
http://arxiv.org/abs/2309.16775
Publikováno v:
Orphanet Journal of Rare Diseases, Vol 19, Iss 1, Pp 1-22 (2024)
Abstract Background Phenylketonuria (PKU) is a rare genetic disorder characterized by a deficiency in the metabolism of the essential amino acid phenylalanine, which has a neurotoxic effect at high concentrations. The available treatment for PKU invo
Externí odkaz:
https://doaj.org/article/fd519977b6e64eb6babdf71b29b1b0a1
Autor:
Takahiro Arakawa, Kenichi Kono, Tetsuya Tomita, Takaharu Yamazaki, Masashi Tamaki, Shoji Konda, Teruya Ishibashi, Ryota Yamagami, Kohei Kawaguchi, Tomofumi Kage, Ryo Murakami, Hiroshi Inui, Shuji Taketomi, Sakae Tanaka
Publikováno v:
Journal of Joint Surgery and Research, Vol 2, Iss 3, Pp 99-105 (2024)
Purpose: In vivo kinematics of skeletal joints and prostheses is affected by gravity; therefore, absolute tilt must be taken into account. However, current fluoroscopic kinematic analysis cannot measure the tilt. This study introduces and validates a
Externí odkaz:
https://doaj.org/article/b67380de8a2a4e7f9ad6125fa362762d
Autor:
Kunihiro Asanuma, Masaya Tsujii, Tomohito Hagi, Tomoki Nakamura, Takeshi Kataoka, Teruya Uchiyama, Ryohei Adachi, Akihiro Sudo
Publikováno v:
BMC Cancer, Vol 24, Iss 1, Pp 1-13 (2024)
Abstract Background Malignant chest wall tumors need to be excised with wide resection to ensure tumor free margins, and the reconstruction method should be selected according to the depth and dimensions of the tumor. Vascularized tissue is needed to
Externí odkaz:
https://doaj.org/article/9f6b70864c3346999e6a3c998603aca2
Autor:
Shahrzad Bazargan-Hejazi, Christopher Martin, Bellamy Hall, Jeneane Hamideh, Miranda Lam, Antonia Osuna-Garcia, Darlene Parker-Kelly, Derek O. Pipolo, Myra Usmani, Stacey A. Teruya
Publikováno v:
Health Promotion Perspectives, Vol 14, Iss 2, Pp 91-96 (2024)
Background: Roughly 10% of children aged 3 -17 in the USA are diagnosed with attention-deficit hyperactivity disorder (ADHD), and minorities are less likely to initiate common pharmacologic treatment. We conducted a review of the literature to examin
Externí odkaz:
https://doaj.org/article/28c70695352e4572a140f83fc07b57cb
Autor:
Ken-ichiro Honma, Yoshiro Nakayama, Atsuko Tamaki, Moriyuki Uehara, Taiki Teruya, Takamitsu Yabiku, Yohei Ishiki, Ken Yonaha, Rei Chinen, Tsugumi Uema, Shiki Okamoto, Hiroaki Masuzaki
Publikováno v:
Endocrine Journal, Vol 71, Iss 9, Pp 895-906 (2024)
In Japan, the traditional method for measuring plasma aldosterone concentration (PAC) was radioimmunoassay (RIA), which had several challenges, including poor traceability of certified reference materials and reduced detection sensitivity at low conc
Externí odkaz:
https://doaj.org/article/7a654cf94f49449d8ff46be752ce9e15