Zobrazeno 1 - 10
of 51
pro vyhledávání: '"WASAKI, Katsumi"'
This paper reports on the development of a Web platform to host the Mizar Mathematical Library (MML). In recent years, the size of formalized mathematical libraries has been drastically increasing, and this has led to a growing demand for tools that
Externí odkaz:
http://arxiv.org/abs/2210.02336
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:
Wasaki, Katsumi1 (AUTHOR)
Publikováno v:
Formalized Mathematics. Apr2020, Vol. 28 Issue 1, p65-77. 13p.
This paper describes the efficient method of fogging in Tensai Gothalo. Tensai Gothalo is a novel dynamic router device developed in Gautam-Asami Laboratory of Wakkanai Hokusei Gakuen University which has sensing, actuating, monitoring and movable ca
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b373827a52c1e11c4f20fc0ab5de3221
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.
Publikováno v:
In IFAC Proceedings Volumes April 2004 37(4):253-258
Autor:
Miyajima, Keiichi1, Wasaki, Katsumi2, Suzuki, Hikofumi3, Shidama, Yasunari2, Eguchi, Masayoshi4
Publikováno v:
Electronics & Communications in Japan, Part 3: Fundamental Electronic Science. Jan2001, Vol. 84 Issue 1, p43-56. 14p.
Autor:
Bishnu, PrasadGautam, Wasaki, Katsumi
Publikováno v:
マルチメディア通信と分散処理ワークショップ論文集. 4:219-226
Article
マルチメディア通信と分散処理ワークショップ論文集. 4: 219-226 (2012)
マルチメディア通信と分散処理ワークショップ論文集. 4: 219-226 (2012)
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=jairo_______::7c324275e4032f19b972a04b529364f0
https://soar-ir.repo.nii.ac.jp/records/18424
https://soar-ir.repo.nii.ac.jp/records/18424
Publikováno v:
数理解析研究所講究録. 1186:216-222
ファイル差し替え（2021/08/20）
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=jairo_______::8dd3bc077f2d5c54865a6177cff94fc6
http://hdl.handle.net/2433/64648
http://hdl.handle.net/2433/64648