Ido, Ayako; Jang, Yeonhee; Kobayashi, Tsuyoshi On keen bridge splittings of links. arXiv:2401.09662 Preprint, arXiv:2401.09662 [math.GT] (2024). BibTeX Cite \textit{A. Ido} et al., ``On keen bridge splittings of links'', Preprint, arXiv:2401.09662 [math.GT] (2024) Full Text: arXiv OA License
Adachi, Ryosuke; Yamashita, Yuh; Kobayashi, Koichi Block sparse design of distributed controllers for dynamical network systems. (English) Zbl 07790129 Int. J. Robust Nonlinear Control 33, No. 1, 49-66 (2023). MSC: 93B70 93A16 93D50 92C60 PDFBibTeX XMLCite \textit{R. Adachi} et al., Int. J. Robust Nonlinear Control 33, No. 1, 49--66 (2023; Zbl 07790129) Full Text: DOI
Ito, Takehiro; Iwamasa, Yuni; Kamiyama, Naoyuki; Kobayashi, Yasuaki; Kobayashi, Yusuke; Maezawa, Shun-ichi; Suzuki, Akira Reconfiguration of time-respecting arborescences. (English) Zbl 07789725 Morin, Pat (ed.) et al., Algorithms and data structures. 18th international symposium, WADS 2023, Montreal, QC, Canada, July 31 – August 2, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14079, 521-532 (2023). MSC: 68P05 68Wxx PDFBibTeX XMLCite \textit{T. Ito} et al., Lect. Notes Comput. Sci. 14079, 521--532 (2023; Zbl 07789725) Full Text: DOI arXiv
Feng, Fan; Xiong, Shiying; Liu, Ziyue; Xian, Zangyueyang; Zhou, Yuqing; Kobayashi, Hiroki; Kawamoto, Atsushi; Nomura, Tsuyoshi; Zhu, Bo Cellular topology optimization on differentiable Voronoi diagrams. (English) Zbl 07769207 Int. J. Numer. Methods Eng. 124, No. 1, 282-304 (2023). MSC: 74P15 74S99 74K99 74L15 92C10 PDFBibTeX XMLCite \textit{F. Feng} et al., Int. J. Numer. Methods Eng. 124, No. 1, 282--304 (2023; Zbl 07769207) Full Text: DOI arXiv
Kobayashi, Kenya; Lin, Guohui; Miyano, Eiji; Saitoh, Toshiki; Suzuki, Akira; Utashima, Tadatoshi; Yagita, Tsuyoshi Path cover problems with length cost. (English) Zbl 07767693 Algorithmica 85, No. 11, 3348-3375 (2023). MSC: 68Wxx 05Cxx PDFBibTeX XMLCite \textit{K. Kobayashi} et al., Algorithmica 85, No. 11, 3348--3375 (2023; Zbl 07767693) Full Text: DOI
Bousquet, Nicolas; Hommelsheim, Felix; Kobayashi, Yusuke; Mühlenthaler, Moritz; Suzuki, Akira Feedback vertex set reconfiguration in planar graphs. (English) Zbl 07755514 Theor. Comput. Sci. 979, Article ID 114188, 14 p. (2023). MSC: 68Qxx PDFBibTeX XMLCite \textit{N. Bousquet} et al., Theor. Comput. Sci. 979, Article ID 114188, 14 p. (2023; Zbl 07755514) Full Text: DOI
Abe, Yoshihiko; Higaki, Tetsutaro; Kawamura, Junichiro; Kobayashi, Tatsuo Fermion hierarchies in SU(5) grand unification from \(\Gamma_6^\prime\) modular flavor symmetry. (English) Zbl 07748972 J. High Energy Phys. 2023, No. 8, Paper No. 97, 26 p. (2023). MSC: 81-XX PDFBibTeX XMLCite \textit{Y. Abe} et al., J. High Energy Phys. 2023, No. 8, Paper No. 97, 26 p. (2023; Zbl 07748972) Full Text: DOI arXiv
Bousquet, Nicolas; Ito, Takehiro; Kobayashi, Yusuke; Mizuta, Haruka; Ouvrard, Paul; Suzuki, Akira; Wasa, Kunihiro Reconfiguration of spanning trees with degree constraints or diameter constraints. (English) Zbl 07742470 Algorithmica 85, No. 9, 2779-2816 (2023). MSC: 68Wxx 05Cxx PDFBibTeX XMLCite \textit{N. Bousquet} et al., Algorithmica 85, No. 9, 2779--2816 (2023; Zbl 07742470) Full Text: DOI arXiv
Yuhn, Changyoung; Sato, Yuki; Kobayashi, Hiroki; Kawamoto, Atsushi; Nomura, Tsuyoshi 4D topology optimization: integrated optimization of the structure and self-actuation of soft bodies for dynamic motions. (English) Zbl 07725718 Comput. Methods Appl. Mech. Eng. 414, Article ID 116187, 34 p. (2023). MSC: 74-XX 76-XX PDFBibTeX XMLCite \textit{C. Yuhn} et al., Comput. Methods Appl. Mech. Eng. 414, Article ID 116187, 34 p. (2023; Zbl 07725718) Full Text: DOI arXiv
Abe, Yoshihiko; Higaki, Tetsutaro; Kaneko, Fumiya; Kobayashi, Tatsuo; Otsuka, Hajime Moduli inflation from modular flavor symmetries. (English) Zbl 07716893 J. High Energy Phys. 2023, No. 6, Paper No. 187, 40 p. (2023). MSC: 81-XX PDFBibTeX XMLCite \textit{Y. Abe} et al., J. High Energy Phys. 2023, No. 6, Paper No. 187, 40 p. (2023; Zbl 07716893) Full Text: DOI arXiv
Abe, Yoshihiko; Higaki, Tetsutaro; Kawamura, Junichiro; Kobayashi, Tatsuo Quark and lepton hierarchies from \(S_4^\prime\) modular flavor symmetry. (English) Zbl 1523.81171 Phys. Lett., B 842, Article ID 137977, 9 p. (2023). MSC: 81V05 81V15 93A13 46A80 22E70 37C25 PDFBibTeX XMLCite \textit{Y. Abe} et al., Phys. Lett., B 842, Article ID 137977, 9 p. (2023; Zbl 1523.81171) Full Text: DOI arXiv
Hatanaka, Tatsuhiko; Hommelsheim, Felix; Ito, Takehiro; Kobayashi, Yusuke; Mühlenthaler, Moritz; Suzuki, Akira Fixed-parameter algorithms for graph constraint logic. (English) Zbl 07685356 Theor. Comput. Sci. 959, Article ID 113863, 17 p. (2023). MSC: 68Qxx PDFBibTeX XMLCite \textit{T. Hatanaka} et al., Theor. Comput. Sci. 959, Article ID 113863, 17 p. (2023; Zbl 07685356) Full Text: DOI arXiv
Kobayashi, Masato; Oba, Yuta; Akama, Tomoko; Taketsugu, Tetsuya Practical electronic ground- and excited-state calculation method for lanthanide complexes based on frozen core potential approximation to \(4f\) electrons. (English) Zbl 1520.81185 J. Math. Chem. 61, No. 2, 322-334 (2023). MSC: 81V45 35P10 35P15 82D35 92E10 70M20 PDFBibTeX XMLCite \textit{M. Kobayashi} et al., J. Math. Chem. 61, No. 2, 322--334 (2023; Zbl 1520.81185) Full Text: DOI
Ishii, Toshimasa; Kawamura, Akitoshi; Kobayashi, Yusuke; Makino, Kazuhisa Trade-offs among degree, diameter, and number of paths. (English) Zbl 1506.05049 Discrete Appl. Math. 327, 96-100 (2023). MSC: 05C07 05C12 05C35 05C40 90C35 90C27 PDFBibTeX XMLCite \textit{T. Ishii} et al., Discrete Appl. Math. 327, 96--100 (2023; Zbl 1506.05049) Full Text: DOI
Ueta, Ayaka; Tanaka, Mirai; Kobayashi, Ken; Nakata, Kazuhide Inverse-Optimization-Based Uncertainty Set for Robust Linear Optimization. arXiv:2312.00391 Preprint, arXiv:2312.00391 [math.OC] (2023). BibTeX Cite \textit{A. Ueta} et al., ``Inverse-Optimization-Based Uncertainty Set for Robust Linear Optimization'', Preprint, arXiv:2312.00391 [math.OC] (2023) Full Text: arXiv OA License
Celikbas, Olgur; Dey, Souvik; Kobayashi, Toshinori; Matsui, Hiroki; Sadeghi, Arash Two theorems on the vanishing of Ext. arXiv:2308.08999 Preprint, arXiv:2308.08999 [math.AC] (2023). MSC: 13A35 13D07 13H10 13D05 13C12 BibTeX Cite \textit{O. Celikbas} et al., ``Two theorems on the vanishing of Ext'', Preprint, arXiv:2308.08999 [math.AC] (2023) Full Text: arXiv OA License
Asada, Kazuyuki; Katsura, Hiroyuki; Kobayashi, Naoki On higher-order reachability games vs may reachability. (English) Zbl 07714980 Lin, Anthony W. (ed.) et al., Reachability problems. 16th international conference, RP 2022, Kaiserslautern, Germany, October 17–21, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13608, 108-124 (2022). MSC: 68Qxx PDFBibTeX XMLCite \textit{K. Asada} et al., Lect. Notes Comput. Sci. 13608, 108--124 (2022; Zbl 07714980) Full Text: DOI arXiv
Kinoshita, Ryo; Jung, Sung-Mok; Kobayashi, Tetsuro; Akhmetzhanov, Andrei R.; Nishiura, Hiroshi Epidemiology of coronavirus disease 2019 (COVID-19) in Japan during the first and second waves. (English) Zbl 1508.92264 Math. Biosci. Eng. 19, No. 6, 6088-6101 (2022). MSC: 92D30 PDFBibTeX XMLCite \textit{R. Kinoshita} et al., Math. Biosci. Eng. 19, No. 6, 6088--6101 (2022; Zbl 1508.92264) Full Text: DOI
Chang, Hsiang-Chuan; Okubo, Tomohiro; Kobayashi, Akihiro; Morimoto, Akinori Artificial intelligence (AI) applications using big data and survey data for exploring the existence of the potential users of public transportation system. (English) Zbl 1505.90034 Int. J. Inf. Manage. Sci. 33, No. 4, 271-290 (2022). MSC: 90B20 68T05 PDFBibTeX XMLCite \textit{H.-C. Chang} et al., Int. J. Inf. Manage. Sci. 33, No. 4, 271--290 (2022; Zbl 1505.90034) Full Text: DOI
Inoue, Asei; Kobayashi, Yusuke An additive approximation scheme for the Nash social welfare maximization with identical additive valuations. (English) Zbl 07577710 Bazgan, Cristina (ed.) et al., Combinatorial algorithms. 33rd international workshop, IWOCA 2022, Trier, Germany, June 7–9, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13270, 341-354 (2022). MSC: 68Rxx 68Wxx PDFBibTeX XMLCite \textit{A. Inoue} and \textit{Y. Kobayashi}, Lect. Notes Comput. Sci. 13270, 341--354 (2022; Zbl 07577710) Full Text: DOI arXiv
Faisal Al Ameen, Mahmudul; Kobayashi, Naoki; Sato, Ryosuke Asynchronous unfold/fold transformation for fixpoint logic. (English) Zbl 07570113 Hanus, Michael (ed.) et al., Functional and logic programming. 16th international symposium, FLOPS 2022, Kyoto, Japan, May 10–12, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13215, 39-56 (2022). MSC: 68N17 68N18 PDFBibTeX XMLCite \textit{M. Faisal Al Ameen} et al., Lect. Notes Comput. Sci. 13215, 39--56 (2022; Zbl 07570113) Full Text: DOI
Kobayashi, Kenya; Lin, Guohui; Miyano, Eiji; Saitoh, Toshiki; Suzuki, Akira; Utashima, Tadatoshi; Yagita, Tsuyoshi Path cover problems with length cost. (English) Zbl 07556587 Mutzel, Petra (ed.) et al., WALCOM: algorithms and computation. 16th international conference and workshops, WALCOM 2022, Jember, Indonesia, March 24–26, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13174, 396-408 (2022). MSC: 68Wxx PDFBibTeX XMLCite \textit{K. Kobayashi} et al., Lect. Notes Comput. Sci. 13174, 396--408 (2022; Zbl 07556587) Full Text: DOI
Aoike, Yuuki; Gima, Tatsuya; Hanaka, Tesshu; Kiyomi, Masashi; Kobayashi, Yasuaki; Kobayashi, Yusuke; Kurita, Kazuhiro; Otachi, Yota An improved deterministic parameterized algorithm for cactus vertex deletion. (English) Zbl 1487.05250 Theory Comput. Syst. 66, No. 2, 502-515 (2022). MSC: 05C85 05C40 68Q25 68W25 PDFBibTeX XMLCite \textit{Y. Aoike} et al., Theory Comput. Syst. 66, No. 2, 502--515 (2022; Zbl 1487.05250) Full Text: DOI arXiv
Miyama, Takeshi; Jung, Sung-mok; Hayashi, Katsuma; Anzai, Asami; Kinoshita, Ryo; Kobayashi, Tetsuro; Linton, Natalie M.; Suzuki, Ayako; Yang, Yichi; Yuan, Baoyin; Kayano, Taishi; Akhmetzhanov, Andrei R.; Nishiura, Hiroshi Phenomenological and mechanistic models for predicting early transmission data of COVID-19. (English) Zbl 1489.92169 Math. Biosci. Eng. 19, No. 2, 2043-2055 (2022). MSC: 92D30 PDFBibTeX XMLCite \textit{T. Miyama} et al., Math. Biosci. Eng. 19, No. 2, 2043--2055 (2022; Zbl 1489.92169) Full Text: DOI
Barkeshli, Maissam; Chen, Yu-An; Huang, Sheng-Jie; Kobayashi, Ryohei; Tantivasadakarn, Nathanan; Zhu, Guanyu Codimension-2 defects and higher symmetries in (3+1)D topological phases. arXiv:2208.07367 Preprint, arXiv:2208.07367 [cond-mat.str-el] (2022). BibTeX Cite \textit{M. Barkeshli} et al., ``Codimension-2 defects and higher symmetries in (3+1)D topological phases'', Preprint, arXiv:2208.07367 [cond-mat.str-el] (2022) Full Text: DOI arXiv OA License
Kobayashi, Tetsuya J.; Loutchko, Dimitri; Kamimura, Atsushi; Horiguchi, Shuhei A.; Sughiyama, Yuki Information Geometry of Dynamics on Graphs and Hypergraphs. arXiv:2211.14455 Preprint, arXiv:2211.14455 [cs.IT] (2022). BibTeX Cite \textit{T. J. Kobayashi} et al., ``Information Geometry of Dynamics on Graphs and Hypergraphs'', Preprint, arXiv:2211.14455 [cs.IT] (2022) Full Text: arXiv OA License
Barkeshli, Maissam; Chen, Yu-An; Hsin, Po-Shen; Kobayashi, Ryohei Higher-group symmetry in finite gauge theory and stabilizer codes. arXiv:2211.11764 Preprint, arXiv:2211.11764 [cond-mat.str-el] (2022). BibTeX Cite \textit{M. Barkeshli} et al., ``Higher-group symmetry in finite gauge theory and stabilizer codes'', Preprint, arXiv:2211.11764 [cond-mat.str-el] (2022) Full Text: arXiv OA License
Sannai, Akiyoshi; Hikima, Yasunari; Kobayashi, Ken; Tanaka, Akinori; Hamada, Naoki Bézier Flow: a Surface-wise Gradient Descent Method for Multi-objective Optimization. arXiv:2205.11099 Preprint, arXiv:2205.11099 [math.OC] (2022). BibTeX Cite \textit{A. Sannai} et al., ``B\'ezier Flow: a Surface-wise Gradient Descent Method for Multi-objective Optimization'', Preprint, arXiv:2205.11099 [math.OC] (2022) Full Text: arXiv OA License
Tanabe, Ryoji; Akimoto, Youhei; Kobayashi, Ken; Umeki, Hiroshi; Shirakawa, Shinichi; Hamada, Naoki A Two-phase Framework with a Bézier Simplex-based Interpolation Method for Computationally Expensive Multi-objective Optimization. arXiv:2203.15292 Preprint, arXiv:2203.15292 [math.OC] (2022). BibTeX Cite \textit{R. Tanabe} et al., ``A Two-phase Framework with a B\'{e}zier Simplex-based Interpolation Method for Computationally Expensive Multi-objective Optimization'', Preprint, arXiv:2203.15292 [math.OC] (2022) Full Text: DOI arXiv OA License
Baillot, Patrick; Ghyselen, Alexis; Kobayashi, Naoki Sized types with usages for parallel complexity of Pi-calculus processes. (English) Zbl 07730636 Haddad, Serge (ed.) et al., 32nd international conference on concurrency theory, CONCUR 2021, August 24–27, 2021, virtual conference. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 203, Article 34, 22 p. (2021). MSC: 68Q85 PDFBibTeX XMLCite \textit{P. Baillot} et al., LIPIcs -- Leibniz Int. Proc. Inform. 203, Article 34, 22 p. (2021; Zbl 07730636) Full Text: DOI arXiv
Eberhart, Clovis; Yamada, Akihisa; Klikovits, Stefan; Katsumata, Shin-ya; Kobayashi, Tsutomu; Hasuo, Ichiro; Ishikawa, Fuyuki Architecture-guided test resource allocation via logic. (English) Zbl 1489.68043 Loulergue, Frédéric (ed.) et al., Tests and proofs. 15th international conference, TAP 2021, held as part of STAF 2021, virtual event, June 21–22, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12740, 22-38 (2021). MSC: 68M15 03B70 68M07 PDFBibTeX XMLCite \textit{C. Eberhart} et al., Lect. Notes Comput. Sci. 12740, 22--38 (2021; Zbl 1489.68043) Full Text: DOI arXiv
Wolfson, Ira; Maleknejad, Azadeh; Murata, Tomoaki; Komatsu, Eiichiro; Kobayashi, Tsutomu The isotropic attractor solution of axion-SU(2) inflation: universal isotropization in Bianchi type-I geometry. (English) Zbl 1486.83159 J. Cosmol. Astropart. Phys. 2021, No. 9, Paper No. 31, 23 p. (2021). MSC: 83E05 83F05 81V35 70S15 81V25 14M17 74E10 14C05 PDFBibTeX XMLCite \textit{I. Wolfson} et al., J. Cosmol. Astropart. Phys. 2021, No. 9, Paper No. 31, 23 p. (2021; Zbl 1486.83159) Full Text: DOI arXiv
Burungale, Ashay; Kobayashi, Shinichi; Ota, Kazuto Rubin’s conjecture on local units in the anticyclotomic tower at inert primes. (English) Zbl 1487.11100 Ann. Math. (2) 194, No. 3, 943-966 (2021). Reviewer: Andreas Nickel (Essen) MSC: 11R23 11G07 11G15 PDFBibTeX XMLCite \textit{A. Burungale} et al., Ann. Math. (2) 194, No. 3, 943--966 (2021; Zbl 1487.11100) Full Text: DOI Link
Inoué, Takao; Ishimoto, Arata; Kobayashi, Mitsunori Axiomatic Rejection for the Propositional Fragment of Leśniewski’s Ontology. arXiv:2108.06604 Preprint, arXiv:2108.06604 [math.LO] (2021). MSC: 03B60 BibTeX Cite \textit{T. Inoué} et al., ``Axiomatic Rejection for the Propositional Fragment of Le\'{s}niewski's Ontology'', Preprint, arXiv:2108.06604 [math.LO] (2021) Full Text: arXiv OA License
Araya, Tokuji; Celikbas, Olgur; Cook, Jesse; Kobayashi, Toshinori On modules with finite reducing Gorenstein dimension. arXiv:2103.00253 Preprint, arXiv:2103.00253 [math.AC] (2021). BibTeX Cite \textit{T. Araya} et al., ``On modules with finite reducing Gorenstein dimension'', Preprint, arXiv:2103.00253 [math.AC] (2021) Full Text: arXiv OA License
Hatanaka, Tatsuhiko; Hommelsheim, Felix; Ito, Takehiro; Kobayashi, Yusuke; Mühlenthaler, Moritz; Suzuki, Akira Fixed-parameter algorithms for graph constraint logic. (English) Zbl 07764106 Cao, Yixin (ed.) et al., 15th international symposium on parameterized and exact computation, IPEC 2020, Hong Kong, China, virtual conference, December 14–18, 2020. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 180, Article 15, 15 p. (2020). MSC: 68Q25 68Q27 68Wxx PDFBibTeX XMLCite \textit{T. Hatanaka} et al., LIPIcs -- Leibniz Int. Proc. Inform. 180, Article 15, 15 p. (2020; Zbl 07764106) Full Text: DOI
Bousquet, Nicolas; Ito, Takehiro; Kobayashi, Yusuke; Mizuta, Haruka; Ouvrard, Paul; Suzuki, Akira; Wasa, Kunihiro Reconfiguration of spanning trees with many or few leaves. (English) Zbl 07651163 Grandoni, Fabrizio (ed.) et al., 28th annual European symposium on algorithms. ESA 2020, September 7–9, 2020, Pisa, Italy, virtual conference. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 173, Article 24, 15 p. (2020). MSC: 68Wxx PDFBibTeX XMLCite \textit{N. Bousquet} et al., LIPIcs -- Leibniz Int. Proc. Inform. 173, Article 24, 15 p. (2020; Zbl 07651163) Full Text: DOI arXiv
Kobayashi, Satoshi; Hendrian, Diptarama; Yoshinaka, Ryo; Shinohara, Ayumi Fast and linear-time string matching algorithms based on the distances of \(q\)-gram occurrences. (English) Zbl 1515.68386 Faro, Simone (ed.) et al., 18th international symposium on experimental algorithms, SEA 2020, Catania, Italy, June 16–18, 2020. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 160, Article 13, 13 p. (2020). MSC: 68W32 PDFBibTeX XMLCite \textit{S. Kobayashi} et al., LIPIcs -- Leibniz Int. Proc. Inform. 160, Article 13, 13 p. (2020; Zbl 1515.68386) Full Text: DOI arXiv
Bonamy, Marthe; Heinrich, Marc; Ito, Takehiro; Kobayashi, Yusuke; Mizuta, Haruka; Mühlenthaler, Moritz; Suzuki, Akira; Wasa, Kunihiro Shortest reconfiguration of colorings under kempe changes. (English) Zbl 07650920 Paul, Christophe (ed.) et al., 37th international symposium on theoretical aspects of computer science, STACS 2020, Montpellier, France, March 10–13, 2020. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 154, Article 35, 14 p. (2020). MSC: 68Qxx PDFBibTeX XMLCite \textit{M. Bonamy} et al., LIPIcs -- Leibniz Int. Proc. Inform. 154, Article 35, 14 p. (2020; Zbl 07650920) Full Text: DOI
Toman, John; Siqi, Ren; Suenaga, Kohei; Igarashi, Atsushi; Kobayashi, Naoki ConSORT: context- and flow-sensitive ownership refinement types for imperative programs. (English) Zbl 1508.68079 Müller, Peter (ed.), Programming languages and systems. 29th European symposium on programming, ESOP 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12075, 684-714 (2020). MSC: 68N30 68N18 68Q60 PDFBibTeX XMLCite \textit{J. Toman} et al., Lect. Notes Comput. Sci. 12075, 684--714 (2020; Zbl 1508.68079) Full Text: DOI arXiv
Iyonaga, Aya; Takahashi, Kazufumi; Kobayashi, Tsutomu Extended cuscuton as dark energy. (English) Zbl 1492.83040 J. Cosmol. Astropart. Phys. 2020, No. 7, Paper No. 4, 17 p. (2020). MSC: 83C56 83D05 58J47 PDFBibTeX XMLCite \textit{A. Iyonaga} et al., J. Cosmol. Astropart. Phys. 2020, No. 7, Paper No. 4, 17 p. (2020; Zbl 1492.83040) Full Text: DOI arXiv
Kobayashi, Naoki; Fedyukovich, Grigory; Gupta, Aarti Fold/unfold transformations for fixpoint logic. (English) Zbl 1483.68196 Biere, Armin (ed.) et al., Tools and algorithms for the construction and analysis of systems. 26th international conference, TACAS 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12079, 195-214 (2020). MSC: 68Q60 03B70 68N30 PDFBibTeX XMLCite \textit{N. Kobayashi} et al., Lect. Notes Comput. Sci. 12079, 195--214 (2020; Zbl 1483.68196) Full Text: DOI
Shindo, Hikaru; Nishino, Masaaki; Kobayashi, Yasuaki; Yamamoto, Akihiro Metric learning for ordered labeled trees with \(pq\)-grams. (English) Zbl 1464.68319 De Giacomo, Giuseppe (ed.) et al., ECAI 2020. 24th European conference on artificial intelligence, August 29 – September 8, 2020, Santiago de Compostela, Spain. Including 10th conference on prestigious applications of artificial intelligence, PAIS 2020. Amsterdam: IOS Press. Front. Artif. Intell. Appl. 325, 1475-1482 (2020). MSC: 68T05 PDFBibTeX XMLCite \textit{H. Shindo} et al., Front. Artif. Intell. Appl. 325, 1475--1482 (2020; Zbl 1464.68319) Full Text: DOI arXiv
Kinlaw, Paul; Kobayashi, Mitsuo; Pomerance, Carl On the equation \(\varphi(n)=\varphi(n+1)\). (English) Zbl 1462.11071 Acta Arith. 196, No. 1, 69-92 (2020). Reviewer: Gennady Bachman (Las Vegas) MSC: 11N25 11Y99 PDFBibTeX XMLCite \textit{P. Kinlaw} et al., Acta Arith. 196, No. 1, 69--92 (2020; Zbl 1462.11071) Full Text: DOI
Yamashita, Yuh; Adachi, Naoto; Nonaka, Ryo; Kobayashi, Koichi Design of global smooth implicit control Lyapunov function for multiple-integrator system with input constraint. (English) Zbl 1461.93450 Syst. Control Lett. 145, Article ID 104776, 7 p. (2020). Reviewer: Paul Georgescu (Iaşi) MSC: 93D30 93C95 PDFBibTeX XMLCite \textit{Y. Yamashita} et al., Syst. Control Lett. 145, Article ID 104776, 7 p. (2020; Zbl 1461.93450) Full Text: DOI
Champion, Adrien; Chiba, Tomoya; Kobayashi, Naoki; Sato, Ryosuke ICE-based refinement type discovery for higher-order functional programs. (English) Zbl 1468.68059 J. Autom. Reasoning 64, No. 7, 1393-1418 (2020). MSC: 68N18 68Q60 68T05 PDFBibTeX XMLCite \textit{A. Champion} et al., J. Autom. Reasoning 64, No. 7, 1393--1418 (2020; Zbl 1468.68059) Full Text: DOI
Destounis, Apostolos; Ghorbel, Asma; Paschos, Georgios S.; Kobayashi, Mari Adaptive coded caching for fair delivery over fading channels. (English) Zbl 1446.94071 IEEE Trans. Inf. Theory 66, No. 7, 4530-4546 (2020). MSC: 94A40 94A29 PDFBibTeX XMLCite \textit{A. Destounis} et al., IEEE Trans. Inf. Theory 66, No. 7, 4530--4546 (2020; Zbl 1446.94071) Full Text: DOI arXiv
Bonamy, Marthe; Heinrich, Marc; Ito, Takehiro; Kobayashi, Yusuke; Mizuta, Haruka; Mühlenthaler, Moritz; Suzuki, Akira; Wasa, Kunihiro Diameter of colorings under Kempe changes. (English) Zbl 1456.05056 Theor. Comput. Sci. 838, 45-57 (2020). MSC: 05C15 05C85 68Q17 05C76 PDFBibTeX XMLCite \textit{M. Bonamy} et al., Theor. Comput. Sci. 838, 45--57 (2020; Zbl 1456.05056) Full Text: DOI
Kobayashi, Kei; Lind, Joan; Starnes, Andrew Effect of random time changes on Loewner hulls. (English) Zbl 1450.30022 Rev. Mat. Iberoam. 36, No. 3, 771-790 (2020). Reviewer: Dmitri V. Prokhorov (Saratov) MSC: 30C35 60G51 PDFBibTeX XMLCite \textit{K. Kobayashi} et al., Rev. Mat. Iberoam. 36, No. 3, 771--790 (2020; Zbl 1450.30022) Full Text: DOI arXiv
Nakamura, Mitsuhiro; Wakano, Joe Yuichiro; Aoki, Kenichi; Kobayashi, Yutaka The popularity spectrum applied to a cross-cultural question. (English) Zbl 1516.92059 Theor. Popul. Biol. 133, 104-116 (2020). MSC: 92D15 91D10 PDFBibTeX XMLCite \textit{M. Nakamura} et al., Theor. Popul. Biol. 133, 104--116 (2020; Zbl 1516.92059) Full Text: DOI
Guzman, Horacio V.; Tretyakov, Nikita; Kobayashi, Hideki; Fogarty, Aoife C.; Kreis, Karsten; Krajniak, Jakub; Junghans, Christoph; Kremer, Kurt; Stuehn, Torsten ESPResSo++ 2.0: advanced methods for multiscale molecular simulation. (English) Zbl 07683956 Comput. Phys. Commun. 238, 66-76 (2019). MSC: 82-XX 76-XX PDFBibTeX XMLCite \textit{H. V. Guzman} et al., Comput. Phys. Commun. 238, 66--76 (2019; Zbl 07683956) Full Text: DOI arXiv
Bonamy, Marthe; Bousquet, Nicolas; Heinrich, Marc; Ito, Takehiro; Kobayashi, Yusuke; Mary, Arnaud; Mühlenthaler, Moritz; Wasa, Kunihiro The perfect matching reconfiguration problem. (English) Zbl 07561724 Rossmanith, Peter (ed.) et al., 44th international symposium on mathematical foundations of computer science, MFCS 2019, Aachen, Germany, August 26–30, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 138, Article 80, 14 p. (2019). MSC: 68Qxx PDFBibTeX XMLCite \textit{M. Bonamy} et al., LIPIcs -- Leibniz Int. Proc. Inform. 138, Article 80, 14 p. (2019; Zbl 07561724) Full Text: DOI arXiv
Kobayashi, Yasuaki; Kojima, Kensuke; Matsubara, Norihide; Sone, Taiga; Yamamoto, Akihiro Algorithms and hardness results for the maximum balanced connected subgraph problem. (English) Zbl 1435.68240 Li, Yingshu (ed.) et al., Combinatorial optimization and applications. 13th international conference, COCOA 2019, Xiamen, China, December 13–15, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11949, 303-315 (2019). MSC: 68R10 05C40 05C62 05C85 68Q17 68W40 PDFBibTeX XMLCite \textit{Y. Kobayashi} et al., Lect. Notes Comput. Sci. 11949, 303--315 (2019; Zbl 1435.68240) Full Text: DOI arXiv
Bonamy, Marthe; Heinrich, Marc; Ito, Takehiro; Kobayashi, Yusuke; Mizuta, Haruka; Mühlenthaler, Moritz; Suzuki, Akira; Wasa, Kunihiro Diameter of colorings under Kempe changes. (English) Zbl 1456.05055 Du, Ding-Zhu (ed.) et al., Computing and combinatorics. 25th international conference, COCOON 2019, Xi’an, China, July 29–31, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11653, 52-64 (2019). MSC: 05C15 05C85 68Q17 PDFBibTeX XMLCite \textit{M. Bonamy} et al., Lect. Notes Comput. Sci. 11653, 52--64 (2019; Zbl 1456.05055) Full Text: DOI
Samokhin, A. B.; Samokhina, A. S.; Kobayashi, K. Numerical methods for a nonstationary 3D singular integral equation of electrodynamics. (English. Russian original) Zbl 1431.78011 Differ. Equ. 55, No. 9, 1250-1257 (2019); translation from Differ. Uravn. 55, No. 9, 1293-1300 (2019). MSC: 78M22 78A25 45K05 45G05 65R20 35Q60 35R09 42A38 PDFBibTeX XMLCite \textit{A. B. Samokhin} et al., Differ. Equ. 55, No. 9, 1250--1257 (2019; Zbl 1431.78011); translation from Differ. Uravn. 55, No. 9, 1293--1300 (2019) Full Text: DOI
Kobayashi, Katsuya; Tasnádi, Attila Gerrymandering in a hierarchical legislature. (English) Zbl 1426.91201 Theory Decis. 87, No. 2, 253-279 (2019). MSC: 91F10 91B12 PDFBibTeX XMLCite \textit{K. Kobayashi} and \textit{A. Tasnádi}, Theory Decis. 87, No. 2, 253--279 (2019; Zbl 1426.91201) Full Text: DOI
Sakamoto, Ryuta; Kameno, Rikiya; Kobayashi, Taira; Ishiyama, Asahi; Watanabe, Kazuo; Hoshino, Osamu Extracellular GABA assisting in organizing dynamic cell assemblies to shorten reaction time to sensory stimulation. (English) Zbl 1414.92118 Biol. Cybern. 113, No. 3, 257-271 (2019). MSC: 92C20 92C45 PDFBibTeX XMLCite \textit{R. Sakamoto} et al., Biol. Cybern. 113, No. 3, 257--271 (2019; Zbl 1414.92118) Full Text: DOI
Kobayashi, T.; Leontiev, A. Double Gegenbauer expansion of \(|s-t|^\alpha\). (English) Zbl 1412.42066 Integral Transforms Spec. Funct. 30, No. 7, 512-525 (2019). MSC: 42C05 33C45 33C05 53C35 22E46 PDFBibTeX XMLCite \textit{T. Kobayashi} and \textit{A. Leontiev}, Integral Transforms Spec. Funct. 30, No. 7, 512--525 (2019; Zbl 1412.42066) Full Text: DOI arXiv
Asada, Kazuyuki; Kobayashi, Naoki; Sin’ya, Ryoma; Tsukada, Takeshi Almost every simply typed \(\lambda\)-term has a long \(\beta\)-reduction sequence. (English) Zbl 1486.68031 Log. Methods Comput. Sci. 15, No. 1, Paper No. 16, 57 p. (2019). MSC: 68N18 03B40 68Q60 PDFBibTeX XMLCite \textit{K. Asada} et al., Log. Methods Comput. Sci. 15, No. 1, Paper No. 16, 57 p. (2019; Zbl 1486.68031) Full Text: arXiv
Champion, Adrien; Kobayashi, Naoki; Sato, Ryosuke HoIce: an ICE-based non-linear Horn clause solver. (English) Zbl 1519.68045 Ryu, Sukyoung (ed.), Programming languages and systems. 16th Asian symposium, APLAS 2018, Wellington, New Zealand, December 2–6, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11275, 146-156 (2018). MSC: 68N18 68Q60 68T05 PDFBibTeX XMLCite \textit{A. Champion} et al., Lect. Notes Comput. Sci. 11275, 146--156 (2018; Zbl 1519.68045) Full Text: DOI
Asada, Kazuyuki; Kobayashi, Naoki Lambda-definable order-3 tree functions are well-quasi-ordered. (English) Zbl 1528.68170 Ganguly, Sumit (ed.) et al., 38th IARCS annual conference on foundations of software technology and theoretical computer science, FSTTCS 2018, Ahmedabad, India, December 11–13, 2018. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 122, Article 14, 15 p. (2018). MSC: 68Q45 03B40 68Q42 PDFBibTeX XMLCite \textit{K. Asada} and \textit{N. Kobayashi}, LIPIcs -- Leibniz Int. Proc. Inform. 122, Article 14, 15 p. (2018; Zbl 1528.68170) Full Text: DOI
Somarathne, Kapuruge Don Kunkuma Amila; Colson, Sophie; Hayakawa, Akihiro; Kobayashi, Hideaki Modelling of ammonia/air non-premixed turbulent swirling flames in a gas turbine-like combustor at various pressures. (English) Zbl 1519.80193 Combust. Theory Model. 22, No. 5, 973-997 (2018). MSC: 80A25 76F65 PDFBibTeX XMLCite \textit{K. D. K. A. Somarathne} et al., Combust. Theory Model. 22, No. 5, 973--997 (2018; Zbl 1519.80193) Full Text: DOI
Iyonaga, Aya; Takahashi, Kazufumi; Kobayashi, Tsutomu Extended cuscuton: formulation. (English) Zbl 07462638 J. Cosmol. Astropart. Phys. 2018, No. 12, Paper No. 2, 24 p. (2018). MSC: 83-XX PDFBibTeX XMLCite \textit{A. Iyonaga} et al., J. Cosmol. Astropart. Phys. 2018, No. 12, Paper No. 2, 24 p. (2018; Zbl 07462638) Full Text: DOI arXiv
Matsuzaki, Takuya; Iwane, Hidenao; Kobayashi, Munehiro; Zhan, Yiyang; Fukasaku, Ryoya; Kudo, Jumma; Anai, Hirokazu; Arai, Noriko H. Can an A.I. win a medal in the mathematical olympiad? – Benchmarking mechanized mathematics on pre-university problems. (English) Zbl 1462.68152 AI Commun. 31, No. 3, 251-266 (2018). MSC: 68T01 00A07 68V15 68V20 68W30 PDFBibTeX XMLCite \textit{T. Matsuzaki} et al., AI Commun. 31, No. 3, 251--266 (2018; Zbl 1462.68152) Full Text: DOI
Champion, Adrien; Chiba, Tomoya; Kobayashi, Naoki; Sato, Ryosuke ICE-based refinement type discovery for higher-order functional programs. (English) Zbl 1468.68058 Beyer, Dirk (ed.) et al., Tools and algorithms for the construction and analysis of systems. 24th international conference, TACAS 2018, held as part of the European joint conferences on theory and practice of software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 10805, 365-384 (2018). MSC: 68N18 68Q60 68T05 PDFBibTeX XMLCite \textit{A. Champion} et al., Lect. Notes Comput. Sci. 10805, 365--384 (2018; Zbl 1468.68058) Full Text: DOI
Ido, Ayako; Jang, Yeonhee; Kobayashi, Tsuyoshi On keen Heegaard splittings. (English) Zbl 1423.57039 Izumiya, Shyuichi (ed.) et al., Singularities in generic geometry. Proceedings of the 4th workshop on singularities in generic geometry and applications (Valencia IV), Kobe, Japan, June 3–6, 2015 and Kyoto, Japan, June 8–10, 2015. Tokyo: Mathematical Society of Japan (MSJ). Adv. Stud. Pure Math. 78, 293-311 (2018). MSC: 57N10 57M50 PDFBibTeX XMLCite \textit{A. Ido} et al., Adv. Stud. Pure Math. 78, 293--311 (2018; Zbl 1423.57039) Full Text: arXiv
Kobayashi, Toshiyuki; Leontiev, Alex Image of conformally covariant, symmetry breaking operators for \(\mathbb R^{p,q}\). (English) Zbl 1409.22010 Dobrev, Vladimir (ed.), Quantum theory and symmetries with Lie theory and its applications in physics. Volume 1. QTS-X/LT-XII, Varna, Bulgaria, June 19–25, 2017. Singapore: Springer. Springer Proc. Math. Stat. 263, 3-35 (2018). MSC: 22E46 33C45 53C35 81R40 PDFBibTeX XMLCite \textit{T. Kobayashi} and \textit{A. Leontiev}, Springer Proc. Math. Stat. 263, 3--35 (2018; Zbl 1409.22010) Full Text: DOI
Katsuda, Atsushi; Kobayashi, Takeshi The isometry groups of compact manifolds with almost negative Ricci curvature. (English) Zbl 1406.53042 Tohoku Math. J. (2) 70, No. 3, 391-400 (2018). Reviewer: Peter B. Gilkey (Eugene) MSC: 53C20 PDFBibTeX XMLCite \textit{A. Katsuda} and \textit{T. Kobayashi}, Tôhoku Math. J. (2) 70, No. 3, 391--400 (2018; Zbl 1406.53042) Full Text: DOI Euclid
Benevides, André; Dabholkar, Atish; Kobayashi, Takeshi To \(B\) or not to \(B\): primordial magnetic fields from Weyl anomaly. (English) Zbl 1404.83112 J. High Energy Phys. 2018, No. 11, Paper No. 39, 24 p. (2018). MSC: 83E30 81T50 83C45 85A40 83C22 81V10 PDFBibTeX XMLCite \textit{A. Benevides} et al., J. High Energy Phys. 2018, No. 11, Paper No. 39, 24 p. (2018; Zbl 1404.83112) Full Text: DOI arXiv
Kobayashi, Tetsuya; Morita, Hiroyoshi; Manada, Akiko On the capacity of write-constrained memories. (English) Zbl 1401.94080 IEEE Trans. Inf. Theory 64, No. 7, 5101-5109 (2018). MSC: 94A17 PDFBibTeX XMLCite \textit{T. Kobayashi} et al., IEEE Trans. Inf. Theory 64, No. 7, 5101--5109 (2018; Zbl 1401.94080) Full Text: DOI
Kobayashi, Tsuyoshi; Rieck, Yo’av The growth rate of the tunnel number of \(m\)-small knots. (English) Zbl 1395.57026 Pac. J. Math. 295, No. 1, 57-101 (2018). Reviewer: Kenneth A. Perko Jr. (New York) MSC: 57M99 57M27 57M25 PDFBibTeX XMLCite \textit{T. Kobayashi} and \textit{Y. Rieck}, Pac. J. Math. 295, No. 1, 57--101 (2018; Zbl 1395.57026) Full Text: DOI arXiv
Kobayashi, Ken; Hamada, Naoki; Sannai, Akiyoshi; Tanaka, Akinori; Bannai, Kenichi; Sugiyama, Masashi Bezier Simplex Fitting: Describing Pareto Fronts of Simplicial Problems with Small Samples in Multi-objective Optimization. arXiv:1812.05222 Preprint, arXiv:1812.05222 [math.OC] (2018). BibTeX Cite \textit{K. Kobayashi} et al., ``Bezier Simplex Fitting: Describing Pareto Fronts of Simplicial Problems with Small Samples in Multi-objective Optimization'', Preprint, arXiv:1812.05222 [math.OC] (2018) Full Text: arXiv OA License
Kiyomura, Yutaro; Inoue, Akiko; Kawahara, Yuto; Yasuda, Masaya; Takagi, Tsuyoshi; Kobayashi, Tetsutaro Secure and efficient pairing at 256-bit security level. (English) Zbl 1521.94050 Gollmann, Dieter (ed.) et al., Applied cryptography and network security. 15th international conference, ACNS 2017, Kanazawa, Japan, July 10–12, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10355, 59-79 (2017). MSC: 94A60 PDFBibTeX XMLCite \textit{Y. Kiyomura} et al., Lect. Notes Comput. Sci. 10355, 59--79 (2017; Zbl 1521.94050) Full Text: DOI
Akita, Kensuke; Kobayashi, Tatsuo; Otsuka, Hajime Axion inflation and Affleck-Dine baryogenesis. (English) Zbl 1515.83272 J. Cosmol. Astropart. Phys. 2017, No. 4, Paper No. 42, 24 p. (2017). MSC: 83F05 83E30 PDFBibTeX XMLCite \textit{K. Akita} et al., J. Cosmol. Astropart. Phys. 2017, No. 4, Paper No. 42, 24 p. (2017; Zbl 1515.83272) Full Text: DOI arXiv
Asada, Kazuyuki; Kobayashi, Naoki Pumping lemma for higher-order languages. (English) Zbl 1442.68078 Chatzigiannakis, Ioannis (ed.) et al., 44th international colloquium on automata, languages, and programming, ICALP 2017, Warsaw, Poland July 10–14, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 80, Article 97, 14 p. (2017). MSC: 68Q45 68Q42 PDFBibTeX XMLCite \textit{K. Asada} and \textit{N. Kobayashi}, LIPIcs -- Leibniz Int. Proc. Inform. 80, Article 97, 14 p. (2017; Zbl 1442.68078) Full Text: DOI arXiv
Sasaki, S.; Hashimoto, K.; Kobayashi, R.; Itoh, K.; Iguchi, S.; Nishio, Y.; Ikemoto, Y.; Moriwaki, T.; Yoneyama, N.; Watanabe, M.; Ueda, A.; Mori, H.; Kobayashi, K.; Kumai, R.; Murakami, Y.; Müller, J.; Sasaki, T. Crystallization and vitrification of electrons in a glass-forming charge liquid. (English) Zbl 1404.82075 Science 357, No. 6358, 1381-1385 (2017). MSC: 82D30 82D25 PDFBibTeX XMLCite \textit{S. Sasaki} et al., Science 357, No. 6358, 1381--1385 (2017; Zbl 1404.82075) Full Text: DOI arXiv
Hong, Eunpyeong; Kobayashi, Yasuaki; Yamamoto, Akihiro Improved methods for computing distances between unordered trees using integer programming. (English) Zbl 1474.90294 Gao, Xiaofeng (ed.) et al., Combinatorial optimization and applications. 11th international conference, COCOA 2017, Shanghai, China, December 16–18, 2017. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 10628, 45-60 (2017). MSC: 90C10 90C35 PDFBibTeX XMLCite \textit{E. Hong} et al., Lect. Notes Comput. Sci. 10628, 45--60 (2017; Zbl 1474.90294) Full Text: DOI arXiv
Kobayashi, Toshiyuki; Leontiev, Alex Symmetry breaking operators for the restriction of representations of indefinite orthogonal groups \(O(p,q)\). (English) Zbl 1384.22006 Proc. Japan Acad., Ser. A 93, No. 8, 86-91 (2017). Reviewer: Andrew Bucki (Edmond) MSC: 22E46 33C45 53C35 PDFBibTeX XMLCite \textit{T. Kobayashi} and \textit{A. Leontiev}, Proc. Japan Acad., Ser. A 93, No. 8, 86--91 (2017; Zbl 1384.22006) Full Text: DOI Euclid
Sin’ya, Ryoma; Asada, Kazuyuki; Kobayashi, Naoki; Tsukada, Takeshi Almost every simply typed \(\lambda\)-term has a long \(\beta\)-reduction sequence. (English) Zbl 1486.68035 Esparza, Javier (ed.) et al., Foundations of software science and computation structures. 20th international conference, FOSSACS 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 10203, 53-68 (2017). MSC: 68N18 03B40 68Q60 PDFBibTeX XMLCite \textit{R. Sin'ya} et al., Lect. Notes Comput. Sci. 10203, 53--68 (2017; Zbl 1486.68035) Full Text: DOI
Kobayashi, Natsuka; Wada, Kodai; Yasuhara, Akira Milnor invariants of covering links. (English) Zbl 1420.57023 Topology Appl. 224, 60-72 (2017). MSC: 57M25 57M27 PDFBibTeX XMLCite \textit{N. Kobayashi} et al., Topology Appl. 224, 60--72 (2017; Zbl 1420.57023) Full Text: DOI arXiv
Seirin Lee, S.; Tashiro, S.; Awazu, A.; Kobayashi, R. A new application of the phase-field method for understanding the mechanisms of nuclear architecture reorganization. (English) Zbl 1357.92031 J. Math. Biol. 74, No. 1-2, 333-354 (2017). MSC: 92C40 92C15 PDFBibTeX XMLCite \textit{S. Seirin Lee} et al., J. Math. Biol. 74, No. 1--2, 333--354 (2017; Zbl 1357.92031) Full Text: DOI Link
Akita, Kensuke; Kobayashi, Tatsuo; Oikawa, Akane; Otsuka, Hajime Moduli mediation without moduli-induced gravitino problem. (English) Zbl 1388.83709 J. High Energy Phys. 2016, No. 5, Paper No. 178, 25 p. (2016). MSC: 83E50 83F05 PDFBibTeX XMLCite \textit{K. Akita} et al., J. High Energy Phys. 2016, No. 5, Paper No. 178, 25 p. (2016; Zbl 1388.83709) Full Text: DOI arXiv
Asada, Kazuyuki; Kobayashi, Naoki On word and frontier languages of unsafe higher-order grammars. (English) Zbl 1388.68157 Chatzigiannakis, Ioannis (ed.) et al., 43rd international colloquium on automata, languages, and programming, ICALP 2016, Rome, Italy, July 12–15, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-013-2). LIPIcs – Leibniz International Proceedings in Informatics 55, Article 111, 13 p. (2016). MSC: 68Q45 68Q42 PDFBibTeX XMLCite \textit{K. Asada} and \textit{N. Kobayashi}, LIPIcs -- Leibniz Int. Proc. Inform. 55, Article 111, 13 p. (2016; Zbl 1388.68157) Full Text: DOI arXiv
Abe, Hiroyuki; Kobayashi, Tatsuo; Otsuka, Hajime; Takano, Yasufumi; Tatsuishi, Takuya H. Gauge coupling unification in \(SO(32)\) heterotic string theory with magnetic fluxes. (English) Zbl 1361.81114 PTEP, Prog. Theor. Exper. Phys. 2016, No. 5, Article ID 053B01, 18 p. (2016). MSC: 81T30 81T13 81V22 PDFBibTeX XMLCite \textit{H. Abe} et al., PTEP, Prog. Theor. Exper. Phys. 2016, No. 5, Article ID 053B01, 18 p. (2016; Zbl 1361.81114) Full Text: DOI arXiv
Takeda, Kotaro; Kobayashi, Naoki; Yaguchi, Kazuya; Shinohara, Ayumi Compact bit encoding schemes for simply-typed lambda-terms. (English) Zbl 1361.68051 Garrigue, Jacques (ed.) et al., Proceedings of the 21st ACM SIGPLAN international conference on functional programming, ICFP ’16, Nara, Japan, September 18–22, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4219-3). 146-157 (2016). MSC: 68N18 68P30 68Q42 PDFBibTeX XMLCite \textit{K. Takeda} et al., in: Proceedings of the 21st ACM SIGPLAN international conference on functional programming, ICFP '16, Nara, Japan, September 18--22, 2016. New York, NY: Association for Computing Machinery (ACM). 146--157 (2016; Zbl 1361.68051) Full Text: DOI
Ghorbel, Asma; Kobayashi, Mari; Yang, Sheng Content delivery in erasure broadcast channels with cache and feedback. (English) Zbl 1359.94012 IEEE Trans. Inf. Theory 62, No. 11, 6407-6422 (2016). MSC: 94A05 94A40 PDFBibTeX XMLCite \textit{A. Ghorbel} et al., IEEE Trans. Inf. Theory 62, No. 11, 6407--6422 (2016; Zbl 1359.94012) Full Text: DOI arXiv
Murase, Akihiro; Terauchi, Tachio; Kobayashi, Naoki; Sato, Ryosuke; Unno, Hiroshi Temporal verification of higher-order functional programs. (English) Zbl 1347.68233 Bodik, Rastislav (ed.) et al., Proceedings of the 43rd annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’16, St. Petersburg, FL, USA, January 20–22, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3549-2). 57-68 (2016). MSC: 68Q60 68N18 68Q45 PDFBibTeX XMLCite \textit{A. Murase} et al., in: Proceedings of the 43rd annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '16, St. Petersburg, FL, USA, January 20--22, 2016. New York, NY: Association for Computing Machinery (ACM). 57--68 (2016; Zbl 1347.68233) Full Text: DOI
Abe, Hiroyuki; Kobayashi, Tatsuo; Sumita, Keigo Dynamical supersymmetry breaking on magnetized tori and orbifolds. (English) Zbl 1346.81062 Nucl. Phys., B 911, 606-622 (2016). MSC: 81T13 81T60 81R40 83E15 57R18 PDFBibTeX XMLCite \textit{H. Abe} et al., Nucl. Phys., B 911, 606--622 (2016; Zbl 1346.81062) Full Text: DOI arXiv
Matsuzaki, Takuya; Iwane, Hidenao; Kobayashi, Munehiro; Zhan, Yiyang; Fukasaku, Ryoya; Kudo, Jumma; Anai, Hirokazu; Arai, Noriko H. Race against the teens – benchmarking mechanized math on pre-university problems. (English) Zbl 1475.68459 Olivetti, Nicola (ed.) et al., Automated reasoning. 8th international joint conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9706, 213-227 (2016). MSC: 68V35 68T50 68V20 68W30 97U40 PDFBibTeX XMLCite \textit{T. Matsuzaki} et al., Lect. Notes Comput. Sci. 9706, 213--227 (2016; Zbl 1475.68459) Full Text: DOI
Ferretti, Luca; Schmiegelt, Benjamin; Weinreich, Daniel; Yamauchi, Atsushi; Kobayashi, Yutaka; Tajima, Fumio; Achaz, Guillaume Measuring epistasis in fitness landscapes: the correlation of fitness effects of mutations. (English) Zbl 1343.92341 J. Theor. Biol. 396, 132-143 (2016). MSC: 92D15 92D10 92B15 PDFBibTeX XMLCite \textit{L. Ferretti} et al., J. Theor. Biol. 396, 132--143 (2016; Zbl 1343.92341) Full Text: DOI DOI
Akita, Yuji; Kobayashi, Tsutomu Removing Ostrogradski’s ghost from cosmological perturbations in \(f(R,R_{\mu\nu}^2,C_{\mu\nu\rho\sigma}^2)\) gravity. (English) Zbl 1338.83135 Mod. Phys. Lett. A 31, No. 11, Article ID 1650067, 19 p. (2016). MSC: 83D05 70H50 83C35 PDFBibTeX XMLCite \textit{Y. Akita} and \textit{T. Kobayashi}, Mod. Phys. Lett. A 31, No. 11, Article ID 1650067, 19 p. (2016; Zbl 1338.83135) Full Text: DOI arXiv
Kobayashi, Tetsuya J.; Yokota, Ryo; Aihara, Kazuyuki Feedback regulation and its efficiency in biochemical networks. (English) Zbl 1337.92075 J. Stat. Phys. 162, No. 5, 1425-1449 (2016). MSC: 92C42 92C40 93B52 PDFBibTeX XMLCite \textit{T. J. Kobayashi} et al., J. Stat. Phys. 162, No. 5, 1425--1449 (2016; Zbl 1337.92075) Full Text: DOI arXiv
Hagiya, Masami; Aubert-Kato, Nathanael; Wang, Shaoyu; Kobayashi, Satoshi Molecular computers for molecular robots as hybrid systems. (English) Zbl 1339.68252 Theor. Comput. Sci. 632, 4-20 (2016). MSC: 68T40 68Q05 92C40 PDFBibTeX XMLCite \textit{M. Hagiya} et al., Theor. Comput. Sci. 632, 4--20 (2016; Zbl 1339.68252) Full Text: DOI
Baker, Kenneth L.; Kobayashi, Tsuyoshi; Rieck, Yo’av The spectrum of the growth rate of the tunnel number is infinite. (English) Zbl 1348.57005 Proc. Am. Math. Soc. 144, No. 8, 3609-3618 (2016). Reviewer: Jonathan A. Hillman (Sydney) MSC: 57M25 PDFBibTeX XMLCite \textit{K. L. Baker} et al., Proc. Am. Math. Soc. 144, No. 8, 3609--3618 (2016; Zbl 1348.57005) Full Text: DOI arXiv
Kobayashi, Munehiro; Iwane, Hidenao; Matsuzaki, Takuya; Anai, Hirokazu Efficient subformula orders for real quantifier elimination of non-prenex formulas. (English) Zbl 1460.68086 Kotsireas, Ilias S. (ed.) et al., Mathematical aspects of computer and information sciences. 6th international conference, MACIS 2015, Berlin, Germany, November 11–13, 2015. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 9582, 236-251 (2016). MSC: 68T05 03C10 PDFBibTeX XMLCite \textit{M. Kobayashi} et al., Lect. Notes Comput. Sci. 9582, 236--251 (2016; Zbl 1460.68086) Full Text: DOI
Kobayashi, Toshiyuki; Nilsson, Andreas; Sato, Fumihiro Maximal semigroup symmetry and discrete Riesz transforms. (English) Zbl 1345.42008 J. Aust. Math. Soc. 100, No. 2, 216-240 (2016). Reviewer: Krzysztof Stempak (Wrocław) MSC: 42B15 42B99 42B20 22E46 PDFBibTeX XMLCite \textit{T. Kobayashi} et al., J. Aust. Math. Soc. 100, No. 2, 216--240 (2016; Zbl 1345.42008) Full Text: DOI
Kobayashi, Yuki; Higashikawa, Yuya; Katoh, Naoki; Sljoka, Adnan Characterizing redundant rigidity and redundant global rigidity of body-hinge graphs. (English) Zbl 1347.05110 Inf. Process. Lett. 116, No. 2, 175-178 (2016). MSC: 05C40 05C85 PDFBibTeX XMLCite \textit{Y. Kobayashi} et al., Inf. Process. Lett. 116, No. 2, 175--178 (2016; Zbl 1347.05110) Full Text: DOI
Turek, Yusuf; Kobayashi, Hirokazu; Akutsu, Tomotada; Sun, Chang-Pu; Shikano, Yutaka Post-selected von Neumann measurement with Hermite-Gaussian and Laguerre-Gaussian pointer states. (English) Zbl 1454.81030 New J. Phys. 17, No. 8, Article ID 083029, 17 p. (2015). MSC: 81P15 81V80 PDFBibTeX XMLCite \textit{Y. Turek} et al., New J. Phys. 17, No. 8, Article ID 083029, 17 p. (2015; Zbl 1454.81030) Full Text: DOI arXiv
Abe, Hiroyuki; Kobayashi, Tatsuo; Otsuka, Hajime; Takano, Yasufumi Realistic three-generation models from \(\mathrm{SO}(32)\) heterotic string theory. (English) Zbl 1388.81747 J. High Energy Phys. 2015, No. 9, Paper No. 56, 29 p. (2015). MSC: 81T60 81T30 PDFBibTeX XMLCite \textit{H. Abe} et al., J. High Energy Phys. 2015, No. 9, Paper No. 56, 29 p. (2015; Zbl 1388.81747) Full Text: DOI arXiv
Abe, Hiroyuki; Kobayashi, Tatsuo; Otsuka, Hajime Natural inflation with and without modulations in type IIB string theory. (English) Zbl 1388.83628 J. High Energy Phys. 2015, No. 4, Paper No. 160, 20 p. (2015). MSC: 83E30 81T30 83F05 83E50 PDFBibTeX XMLCite \textit{H. Abe} et al., J. High Energy Phys. 2015, No. 4, Paper No. 160, 20 p. (2015; Zbl 1388.83628) Full Text: DOI arXiv