Zobrazeno 1 - 10
of 249
pro vyhledávání: '"ŌNISHI, AKIRA"'
Register automaton (RA) is an extension of finite automaton for dealing with data values in an infinite domain. In the previous work, we proposed disjunctive mu$^\downarrow$-calculus, which is a subclass of modal mu-calculus with the freeze quantifie
Externí odkaz:
http://arxiv.org/abs/2406.11351
Autor:
Inoue, Kosuke, Adomi, Motohiko, Efthimiou, Orestis, Komura, Toshiaki, Omae, Kenji, Onishi, Akira, Tsutsumi, Yusuke, Fujii, Tomoko, Kondo, Naoki, Furukawa, Toshi A.
Publikováno v:
In Journal of Clinical Epidemiology December 2024 176
Autor:
Tsuji, Hideaki, Nakashima, Ran, Yasumi, Takahiro, Sasai, Tsuneo, Ichimura, Yuki, Shirakashi, Mirei, Onizawa, Hideo, Hiwa, Ryosuke, Kitagori, Koji, Akizuki, Shuji, Onishi, Akira, Yoshifuji, Hajime, Tanaka, Masao, Okiyama, Naoko, Mimori, Tsuneyo, Morinobu, Akio
Publikováno v:
In Seminars in Arthritis and Rheumatism October 2024 68
Autor:
Watanabe, Shunkai, Kurioka, Tomoyuki, Chen, Chun-Yi, Chang, Tso-Fu Mark, Onishi, Akira, Chakraborty, Parthojit, Machida, Katsuyuki, Ito, Hiroyuki, Miyake, Yoshihiro, Sone, Masato
Publikováno v:
In Micro and Nano Engineering June 2024 23
Autor:
Miyai, Ryosuke, Kurioka, Tomoyuki, Chen, Chun-Yi, Chang, Tso-Fu Mark, Onishi, Akira, Chakraborty, Parthojit, Machida, Katsuyuki, Ito, Hiroyuki, Miyake, Yoshihiro, Sone, Masato
Publikováno v:
In Micro and Nano Engineering June 2024 23
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.