Zobrazeno 1 - 10
of 90
pro vyhledávání: '"Ishikawa, Takuma"'
Autor:
Shoshi, Tsubasa, Ishikawa, Takuma, Kobayashi, Naoki, Sakayori, Ken, Sato, Ryosuke, Tsukada, Takeshi
We propose an automated method for proving termination of $\pi$-calculus processes, based on a reduction to termination of sequential programs: we translate a $\pi$-calculus process to a sequential program, so that the termination of the latter impli
Externí odkaz:
http://arxiv.org/abs/2109.00311
Autor:
Yoshiya, Shohei, Itoh, Shinji, Toshima, Takeo, Izumi, Takuma, Iseda, Norifumi, Tsutsui, Yuriko, Toshida, Katsuya, Nakayama, Yuki, Ishikawa, Takuma, Tanaka, Yasushi, Ninomiya, Mizuki, Yoshizumi, Tomoharu
Publikováno v:
In Journal of Gastrointestinal Surgery July 2024 28(7):1033-1038
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.
Autor:
Ishikawa, Takuma, Itoh, Shinji, Toshima, Takeo, Yoshiya, Shohei, Bekki, Yuki, Iseda, Norifumi, Tsutsui, Yuriko, Sakamoto, Ichiro, Abe, Kotaro, Yoshizumi, Tomoharu
Publikováno v:
Surgical Case Reports; 9/9/2024, Vol. 10 Issue 1, p1-7, 7p
Autor:
Tsutsui, Yuriko, Itoh, Shinji, Toshima, Takeo, Yoshio, Sachiyo, Yoshiya, Shohei, Izumi, Takuma, Iseda, Norifumi, Toshida, Katsuya, Nakayama, Yuki, Ishikawa, Takuma, Kosai‐Fujimoto, Yukiko, Takeishi, Kazuki, Yoshizumi, Tomoharu
Publikováno v:
Hepatology Research; Sep2024, Vol. 54 Issue 9, p827-837, 11p
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.
Autor:
Iseda, Norifumi, Itoh, Shinji, Toshida, Katsuya, Nakayama, Yuuki, Ishikawa, Takuma, Tsutsui, Yuriko, Izumi, Takuma, Bekki, Yuki, Yoshiya, Shohei, Toshima, Takeo, Yoshizumi, Tomoharu
Publikováno v:
Hepatology Research; Jan2024, Vol. 54 Issue 1, p91-102, 12p