Zobrazeno 1 - 10
of 19
pro vyhledávání: '"Ikeda, Mitsumasa"'
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
Autor:
Fukasawa, Masaaki, Ikeda, Mitsumasa
We propose a new numerical method for one dimensional stochastic differential equations (SDEs). The main idea of this method is based on a representation of a weak solution of a SDE with a time changed Brownian motion, dated back to Doeblin (1940). I
Externí odkaz:
http://arxiv.org/abs/2006.02626
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:
Kitamura, Kentaro, Ikeda, Mitsumasa, Miura, Sei-ichiro, Imai, Kazumasa, Takada, Taku, Wakabayashi, Makoto, Kajimura, Yoshihiro, Hirakoso, Nobuto, Shinohara, Manabu, Tokumitsu, Masahiro, Nakaya, Jun, Murakami, Yukikazu, Kakinami, Yoshihiro
In this paper, we report an achievement of Human Resource Development Program for student of National Institute of Technology (KOSEN). This program is aimed to cultivate an ability of the aerospace engineering in non-space major students. The program
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=jairo_______::9626ed995ca5dd5e3158646b729d60fc
https://kyutech.repo.nii.ac.jp/records/7926
https://kyutech.repo.nii.ac.jp/records/7926
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:
Todaka, Takashi, Hirose, Yuki, Kamiharaguchi, Nami, Chijiwa, Katsumi, Ikeda, Mitsumasa, Takao, Yoshiko, Mitoma, Chikage, Furue, Masutaka
Publikováno v:
福岡醫學雜誌. 110(2):73-82
We have been measuring the concentrations of PCDDs (polychlorinated dibenzo-p-dioxins), PCDFs (polychlorinated dibenzofurans), and dioxin-like PCBs (polychlorinated biphenyls) in blood collected from Yusho patients in medical health examinations sinc
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:
Fujita, Osamu, Nakamura, Yuji, Nagata, Harunori, Kikuchi, Masao, Ito, Akihiko, Torikai, Hiroyuki, Umemura, Akira, Takahashi, Shuhei, Ikeda, Mitsumasa, Chung, Suk Ho
Publikováno v:
宇宙利用シンポジウム = Space Utilization Research: Proceedings of Space Utilization Symposium. 26
第26回宇宙利用シンポジウム(2010年1月25日-26日, 宇宙航空研究開発機構宇宙科学研究本部相模原キャンパス)
The Twenty-sixth Space Utilization Symposium (January 25-26, 2010: ISAS/JAXA Sagamihara, Japan)
S
The Twenty-sixth Space Utilization Symposium (January 25-26, 2010: ISAS/JAXA Sagamihara, Japan)
S
Autor:
Fujita, Osamu, Nakamura, Yuji, Nagata, Harunori, Kikuchi, Masao, Ito, Akihiko, Torikai, Hiroyuki, Umemura, Akira, Takahashi, Shuhei, Ikeda, Mitsumasa, Chung, Suk Ho
Publikováno v:
宇宙利用シンポジウム = Space Utilization Research: Proceedings of Space Utilization Symposium. 25
第25回宇宙利用シンポジウム(2009年1月14日-15日, 宇宙航空研究開発機構宇宙科学研究本部相模原キャンパス)
The Twenty-fifth Space Utilization Symposium (January 14-15, 2009: ISAS/JAXA Sagamihara, Japan)
S
The Twenty-fifth Space Utilization Symposium (January 14-15, 2009: ISAS/JAXA Sagamihara, Japan)
S