Zobrazeno 1 - 10
of 3 361
pro vyhledávání: '"Takahashi , Yuta"'
Autor:
Takahashi, Yuta
This paper presents an efficient algorithm for finding the power-optimal currents of magnetorquer, a satellite attitude actuator in Earth orbit, for multi-agent formation and attitude control. Specifically, this study demonstrates that a set of power
Externí odkaz:
http://arxiv.org/abs/2412.00548
Autor:
Takahashi, Yuta, Masuoka, Akira
We describe the structure of the quotient $\mathfrak{G}/\mathfrak{H}$ of a formal supergroup $\mathfrak{G}$ by its formal sub-supergroup $\mathfrak{H}$. This is a consequence which arises as a continuation of the authors' work (partly with M. Hashi)
Externí odkaz:
http://arxiv.org/abs/2403.19058
Autor:
Takahashi, Yuta
Martin-L\"{o}f type theory $\mathbf{MLTT}$ was extended by Setzer with the so-called Mahlo universe types. The extension of $\mathbf{MLTT}$ with one Mahlo universe is called $\mathbf{MLM}$ and was introduced to develop a variant of $\mathbf{MLTT}$ eq
Externí odkaz:
http://arxiv.org/abs/2402.15074
Autor:
Nagata, Shohei1 (AUTHOR), Takahashi, Yuta2 (AUTHOR), Adachi, Hiroki M.1,2 (AUTHOR), Johnson, Glen D.3 (AUTHOR), Nakaya, Tomoki2,4 (AUTHOR) tomoki.nakaya.c8@tohoku.ac.jp
Publikováno v:
Scientific Reports. 11/6/2024, Vol. 14 Issue 1, p1-13. 13p.
Autor:
Takahashi, Yuta, Watanabe, Kiwamu
In characteristic $0$, the Campana-Peternell conjecture claims that the only smooth Fano variety with nef tangent bundle should be homogeneous. In this paper, we study the positive characteristic version of the Campana-Peternell conjecture. In partic
Externí odkaz:
http://arxiv.org/abs/2210.17055
Autor:
Yamamoto, Yasuyoshi, Takahashi, Yuta, Suga, Mizuki, Arai, Takuto, Toshinaga, Hideki, Kita, Naoki, Onizawa, Takeshi
Publikováno v:
In Optics Communications 1 November 2024 570
Autor:
Naibo, Alberto, Takahashi, Yuta
Publikováno v:
EPTCS 353, 2021, pp. 132-156
Prawitz formulated the so-called inversion principle as one of the characteristic features of Gentzen's intuitionistic natural deduction. In the literature on proof-theoretic semantics, this principle is often coupled with another that is called the
Externí odkaz:
http://arxiv.org/abs/2112.14967
Torsors under affine groups are generalized in the super context by super-torsors under affine super-groups. We investigate those super-torsors by using Hopf-algebra language and techniques. It is explicitly shown, under suitable assumptions, that ev
Externí odkaz:
http://arxiv.org/abs/2101.03461
Autor:
Shiga, Mihiro, Asari, Masaru, Takahashi, Yuta, Isozaki, Shotaro, Hoshina, Chisato, Mori, Kanae, Namba, Ryo, Okuda, Katsuhiro, Shimizu, Keiko
Publikováno v:
In Legal Medicine March 2024 67
Publikováno v:
37th International Symposium on Automation and Robotics in Construction (ISARC 2020)
In order to monitor the state of large-scale infrastructures, image acquisition by autonomous flight drones is efficient for stable angle and high-quality images. Supervised learning requires a large data set consisting of images and annotation label
Externí odkaz:
http://arxiv.org/abs/2006.15257