Zobrazeno 1 - 10
of 241
pro vyhledávání: '"Nakai, Daisuke"'
Partial Product Updates for Agents of Detectable Failure and Logical Obstruction to Task Solvability
The logical method proposed by Goubault, Ledent, and Rajsbaum provides a novel way to show the unsolvability of distributed tasks by means of a logical obstruction, which is an epistemic logic formula describing the reason of unsolvability. In this p
Externí odkaz:
http://arxiv.org/abs/2303.16437
Autor:
Kawamata, Jun, Fukuta, Shoji, Nakai, Daisuke, Kano, Masashi, Tezuka, Fumitake, Wada, Keizo, Sairyo, Koichi
Publikováno v:
In JSES Reviews, Reports, and Techniques August 2024 4(3):398-405
Autor:
Nakai, Daisuke1 (AUTHOR) nakai.daisuke.jf@daiichisankyo.co.jp, Miyake, Masateru2 (AUTHOR) ma-miyake@hanshin-group.co.jp
Publikováno v:
Pharmaceutics. Jan2024, Vol. 16 Issue 1, p29. 15p.
Autor:
Nakai, Daisuke, Miyake, Masateru
Publikováno v:
In Journal of Pharmacological Sciences October 2022 150(2):90-93
Autor:
Makino, Chie, Watanabe, Akiko, Kato, Manabu, Shiozawa, Hideyuki, Takakusa, Hideo, Nakai, Daisuke, Honda, Tomoyo, Watanabe, Nobuaki
Publikováno v:
In Drug Metabolism and Pharmacokinetics August 2022 45
Autor:
Kenmoku, Tomonori, Nakai, Daisuke, Nagura, Naoshige, Onuma, Kenji, Sukegawa, Koji, Tazawa, Ryo, Otake, Yuya, Takahira, Naonobu, Takaso, Masashi
Publikováno v:
In JSES International July 2022 6(4):696-703
Autor:
Miyashita, Hitoshi, Takehara, Issey, Nishimura, Masatoshi, Takayama, Gensuke, Sumi, Hiroyuki, Kadokura, Michinori, Nakai, Daisuke
Publikováno v:
Biopreservation & Biobanking; Oct2024, Vol. 22 Issue 5, p528-534, 7p
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.