research
∙
10/01/2022
Construction and Evaluation of a Self-Attention Model for Semantic Understanding of Sentence-Final Particles
Sentence-final particles serve an essential role in spoken Japanese beca...
share
research
∙
11/09/2020
A posteriori verification of the positivity of solutions to elliptic problems
The purpose of this paper is to develop a unified a posteriori method fo...
research
∙
11/03/2020
Numerical verification method for positive solutions of elliptic problems
The purpose of this paper is to propose methods for verifying the positi...
research
∙
02/06/2020
Numerical verification for asymmetric solutions of the Hénon equation on the unit square
The Hénon equation, a generalized form of the Emden equation, admits sym...
research
∙
01/12/2020
Computer-assisted analysis of the sign-change structure for elliptic problems
In this paper, a method is proposed for rigorously analyzing the sign-ch...
research
∙
10/05/2019
