Zobrazeno 1 - 10
of 264
pro vyhledávání: '"Aoki, Toshiaki"'
Autor:
Yamaguchi, Yuki, Aoki, Toshiaki
Publikováno v:
28th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2023)
Recently, the evolution of deep learning has promoted the application of machine learning (ML) to various systems. However, there are ML systems, such as autonomous vehicles, that cause critical damage when they misclassify. Conversely, there are ML-
Externí odkaz:
http://arxiv.org/abs/2312.16957
Autor:
Aoki, Toshiaki, Hata, Aritoshi, Kanamori, Kazusato, Tanaka, Satoshi, Kawamoto, Yuta, Tanase, Yasuhiro, Imai, Masumi, Shigemitsu, Fumiya, Gondo, Masaki, Kishi, Tomoji
While vehicles have primarily been controlled through mechanical means in years past, an increasing number of embedded control systems are being installed and used, keeping pace with advances in electronic control technology and performance. Automoti
Externí odkaz:
http://arxiv.org/abs/2310.00973
Autor:
Ishii, Daisuke, Tomita, Takashi, Aoki, Toshiaki, Ngo, The Quyen, Do, Thi Bich Ngoc, Takai, Hideaki
The development of embedded systems requires formal analysis of models such as those described with MATLAB/Simulink. However, the increasing complexity of industrial models makes analysis difficult. This paper proposes a model checking method for Sim
Externí odkaz:
http://arxiv.org/abs/2206.02992
Synchronous systems provide a basic model of embedded systems and industrial systems are modeled as Simulink diagrams and/or Lustre programs. Although the test generation problem is critical in the development of safe systems, it often fails because
Externí odkaz:
http://arxiv.org/abs/2112.05411
Floating-point arithmetic (FPA) is a mechanical representation of real arithmetic (RA), where each operation is replaced with a rounded counterpart. Various numerical properties can be verified by using SMT solvers that support the logic of FPA. Howe
Externí odkaz:
http://arxiv.org/abs/2112.02804
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:
Sato, Jun, Kusano, Hiroki, Aoki, Toshiaki, Shibuya, Satoru, Yokoo, Katsuki, Komano, Kazuo, Oguma, Takuya, Matsumoto, Shuhei, Sato, Takafumi, Yasuo, Kazuya, Yamawaki, Kenji
Publikováno v:
In Bioorganic & Medicinal Chemistry 15 September 2021 46
Publikováno v:
Journal of Theoretical Social Psychology; 8/14/2024, Vol. 2024, p1-11, 11p
Autor:
Aoki, Toshiaki, Yoshizawa, Hidenori, Yamawaki, Kenji, Yokoo, Katsuki, Sato, Jun, Hisakawa, Shinya, Hasegawa, Yasushi, Kusano, Hiroki, Sano, Masayuki, Sugimoto, Hideki, Nishitani, Yasuhiro, Sato, Takafumi, Tsuji, Masakatsu, Nakamura, Rio, Nishikawa, Toru, Yamano, Yoshinori
Publikováno v:
In European Journal of Medicinal Chemistry 15 July 2018 155:847-868
Autor:
Matsunaga, Lucas Heiki, Aldrich, Daniel, Faiad, Cristiane, Aoki, Toshiaki, Tseng, Poe, Aida, Jun
Social isolation is one of the most important measures to reduce clusters of infections. This research aims to explain why people avoided crowded spaces during periods of high global infection of COVID-19 in a cross-national and politically diverse s
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::250177a2ff25945dedeb8d43c50c08db