Zobrazeno 1 - 10
of 603
pro vyhledávání: '"Nishimura, Yuki"'
Autor:
Nishimura, Yuki
Epistemic logic is known as logic that captures the knowledge and beliefs of agents and has undergone various developments since Hintikka (1962). In this paper, we propose a new logic called agent-knowledge logic by multiplying the individual knowled
Externí odkaz:
http://arxiv.org/abs/2405.13398
Autor:
Nishimura, Yuki, Takagi, Tsubasa
Hybrid logic is a modal logic with additional operators specifying nominals and is highly expressive. For example, there is no formula corresponding to the irreflexivity of Kripke frames in basic modal logic, but there is in hybrid logic. Irreflexivi
Externí odkaz:
http://arxiv.org/abs/2405.09162
Autor:
Nishimura, Yuki
Publikováno v:
Journal of Logic and Computation, exae018, 2024
Hybrid logic is one of the extensions of modal logic. The many-dimensional product of hybrid logic is called hybrid product logic (HPL). We construct a sound and complete tableau calculus for two-dimensional HPL. Also, we made a tableau calculus for
Externí odkaz:
http://arxiv.org/abs/2210.09630
Autor:
Nishimura, Yuki, Hoshino, Kenta
In recent years, the analysis of a control barrier function has received considerable attention because it is helpful for the safety-critical control required in many control application problems. While the extension of the analysis to a stochastic s
Externí odkaz:
http://arxiv.org/abs/2209.08728
Accelerated proximal gradient methods, which are also called fast iterative shrinkage-thresholding algorithms (FISTA) are known to be efficient for many applications. Recently, Tanabe et al. proposed an extension of FISTA for multiobjective optimizat
Externí odkaz:
http://arxiv.org/abs/2206.04412
Autor:
Ogihara, Yoshito, Yamada, Norikazu, Izumi, Daisuke, Sato, Yuichi, Sato, Toru, Nakaya, Hitoshi, Mori, Tatsuya, Ota, Satoshi, Makino, Midori, Ogura, Toru, Tamaru, Satoshi, Nishimura, Yuki, Tanigawa, Takashi, Kasai, Atsunobu, Nishikawa, Masakatsu, Dohi, Kaoru
Publikováno v:
In Research and Practice in Thrombosis and Haemostasis July 2024 8(5)
Autor:
Nishimura, Yuki, Ogawa, Munehiro, Okamura, Kensuke, Yamasaki, Tsuyoshi, Inagaki, Yusuke, Tanaka, Yasuhito
Publikováno v:
In Magnetic Resonance Imaging July 2024 110:210-217
Autor:
Kobashi, Yuki, Nakayama, Eri, Fukumori, Naoki, Shimojima, Ayane, Tabira, Manami, Nishimura, Yuki, Mukae, Manami, Muto, Ai, Nakashima, Naoto, Okutsu, Kayu, Yoshizaki, Yumiko, Futagami, Taiki, Takamine, Kazunori, Tamaki, Hisanori
Publikováno v:
In Journal of Bioscience and Bioengineering January 2024 137(1):31-37
Autor:
Nishimura, Yuki, Hoshino, Kenta
This paper proposes a notion of viscosity weak supersolutions to build a bridge between stochastic Lyapunov stability theory and viscosity solution theory. Different from ordinary differential equations, stochastic differential equations can have the
Externí odkaz:
http://arxiv.org/abs/1903.00592