Zobrazeno 1 - 10
of 38
pro vyhledávání: '"Keita Yokoyama"'
Publikováno v:
Journal of Mathematical Logic.
We prove that any proof of a [Formula: see text] sentence in the theory [Formula: see text] can be translated into a proof in [Formula: see text] at the cost of a polynomial increase in size. In fact, the proof in [Formula: see text] can be obtained
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2c3c9adb29673b86f2b6ae1dcf9f1e00
https://doi.org/10.1142/s0219061323500071
https://doi.org/10.1142/s0219061323500071
Publikováno v:
The Journal of Symbolic Logic. 88:620-639
We study the first-order consequences of Ramsey’s Theorem for k-colourings of n-tuples, for fixed $n, k \ge 2$ , over the relatively weak second-order arithmetic theory $\mathrm {RCA}^*_0$ . Using the Chong–Mourad coding lemma, we show that in a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ebf6d7422abebdd6838e050f5ca0bffb
https://doi.org/10.1017/jsl.2022.46
https://doi.org/10.1017/jsl.2022.46
Publikováno v:
Proceedings of the 2022 ACM SIGIR International Conference on Theory of Information Retrieval.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9491e2805912a2895f921862b98a259b
https://doi.org/10.1145/3539813.3545147
https://doi.org/10.1145/3539813.3545147
Autor:
Takuya Okada, Yuri Chino, Keita Yokoyama, Yuki Fujihashi, Nguyễn Duy Phan, Juthamart Maneenet, Lanke Prudhvi, Suresh Awale, Naoki Toyooka
Publikováno v:
SSRN Electronic Journal.
Pipernonaline (1), one of the components of the spice pepper, preferentially reduced the survival of human pancreatic cancer PANC-1 cells under nutrient-deprived conditions witha PC
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8390e4f0ea1fec9bf8ad86126a10c0b3
https://doi.org/10.2139/ssrn.4161448
https://doi.org/10.2139/ssrn.4161448
Autor:
Keiichi Ochiai, Takuya Chida, Keita Yokoyama, Daisuke Koizumi, Hiroaki Tanaka, Akihiro Kawana
Publikováno v:
2021 Thirteenth International Conference on Mobile Computing and Ubiquitous Network (ICMU).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9bb2822aed543e785446780eaa287828
https://doi.org/10.23919/icmu50196.2021.9638939
https://doi.org/10.23919/icmu50196.2021.9638939
Publikováno v:
ICASSP
Karaoke machines have become a popular choice for many people’s daily entertainment. In this paper, we address a novel task of recommending a suitable key for a user to sing a given song to meet his or her vocal competence, by proposing the Persona
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::787ba9ea32dd6827cc6be3f2dc77330d
https://doi.org/10.1109/icassp39728.2021.9414524
https://doi.org/10.1109/icassp39728.2021.9414524
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030800482
CiE
CiE
In reverse mathematics, determining the first-order consequences of Ramsey’s theorem for pairs and two colors is a long-standing open problem. In this paper, we give an overview of some recent developments related to this problem.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::77a6869487e8ff0701a4d5f294614978
https://doi.org/10.1007/978-3-030-80049-9_27
https://doi.org/10.1007/978-3-030-80049-9_27
Publikováno v:
Selecta Mathematica. 26
We analyze Ekeland’s variational principle in the context of reverse mathematics. We find that that the full variational principle is equivalent to $$\Pi ^1_1\text{- }\mathsf {CA}_0$$ Π 1 1 - CA 0 , a strong theory of second-order arithmetic, whil
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5c439eb700d86595bc6c49d5bd156b33
https://doi.org/10.1007/s00029-020-00597-z
https://doi.org/10.1007/s00029-020-00597-z
Publikováno v:
IEEE BigData
For short distance traveling in crowded urban areas, bike share services are becoming popular owing to the flexibility and convenience. To expand the service coverage, one of the key tasks is to seek new service ports, which requires to well understa
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c5955553eb7042bf3275db19d9ff4dd4
Autor:
Theodore A. Slaman, Keita Yokoyama
Publikováno v:
The Journal of Symbolic Logic. 83:1610-1617
In this article, we will show that ${\rm{R}}{{\rm{T}}^2} + WK{L_0}$ is a ${\rm{\Pi }}_1^1$-conservative extension of ${\rm{B\Sigma }}_3^0$.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9336794237d965c98900e706904870da
https://doi.org/10.1017/jsl.2018.19
https://doi.org/10.1017/jsl.2018.19