VLDB 2026 Research / reviewers in the wild / expert
Shinichi Tajima
dblp:35/7053
· DBLP profile ↗
17ranked-venue papers
5as first author
6since 2021 · last 2026
0009-0007-5154-2976ORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 16 · 5 first-author · 6 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2026 | Testing Tameness of Complex Polynomial Mappings and Computing Their Bifurcation Sets
Katsusuke Nabeshima, Shinichi Tajima |
CASC | 2 |
| 2026 | Computing Grothendieck Point Residues via Solving Holonomic Systems of First Order Partial Differential Equations IIabstractGrothendieck point residues are studied in the context of symbolic computation. Based on the theory of holonomic D-modules associated with local cohomology, we introduce new effective algorithms for computing Grothendieck residue mappings and residues. The strategies are to use holonomic systems of first order linear partial differential operators for the relevant local cohomology classes and to avoid syzygy computations in deriving these operators. Shinichi Tajima, Katsusuke Nabeshima |
ISSAC | 1 |
| 2023 | Effective Algorithm for Computing Noetherian Operators of Positive Dimensional Ideals
Katsusuke Nabeshima, Shinichi Tajima |
CASC | 2 |
| 2021 | A New Deterministic Method for Computing Milnor Number of an ICIS
Shinichi Tajima, Katsusuke Nabeshima |
CASC | 1 |
| 2021 | Computing Grothendieck Point Residues via Solving Holonomic Systems of First Order Partial Differential EquationsabstractGrothendieck point residue is considered in the context of symbolic computation. Based on the theory of holonomic D-modules associated to a local cohomology class, a new effective method is given for computing Grothendieck point residue mappings. A basic strategy of our approach is the use of holonomic systems of first order linear partial differential equations. The resulting algorithm is easy to implement and can also be used to compute Grothendieck point residues in an effective manner. Shinichi Tajima, Katsusuke Nabeshima |
ISSAC | 1 |
| 2021 | A new algorithm for computing logarithmic vector fields along an isolated singularity and Bruce-Roberts Milnor ideals
Katsusuke Nabeshima, Shinichi Tajima |
J. Symb. Comput. | 2 |
| 2020 | Computing Logarithmic Vector Fields Along an ICIS Germ via Matlis Duality
Shinichi Tajima, Takafumi Shibuta, Katsusuke Nabeshima |
CASC | 1 |
| 2020 | An algorithm for computing the Hilbert-Samuel multiplicities and reductions of zero-dimensional ideals of Cohen-Macaulay local rings
Takafumi Shibuta, Shinichi Tajima |
J. Symb. Comput. | 2 |
| 2018 | Comprehensive Gröbner systems in PBW algebras, Bernstein-Sato ideals and holonomic D-modules
Katsusuke Nabeshima, Katsuyoshi Ohara, Shinichi Tajima |
J. Symb. Comput. | 3 |
| 2017 | Algebraic local cohomology with parameters and parametric standard bases for zero-dimensional ideals
Katsusuke Nabeshima, Shinichi Tajima |
J. Symb. Comput. | 2 |
| 2016 | Comprehensive Gröbner Systems in Rings of Differential Operators, Holonomic D-modules and B-functionsabstractAn algorithm for computing comprehensive Gröbner systems (CGS) is introduced in rings of linear partial differential operators. Their applications to b-functions are considered. The resulting algorithm designed for a wide use of computing comprehensive Gröbner systems can be used to compute all the roots of b-functions and relevant holonomic D-modules. Furthermore, with our implementation, effective methods are illustrated for computing holonomic D-modules associated with hypersurface singularities. It is shown that the proposed algorithm is full of versatility. Katsusuke Nabeshima, Katsuyoshi Ohara, Shinichi Tajima |
ISSAC | 3 |
| 2015 | Efficient Computation of Algebraic Local Cohomology Classes and Change of Ordering for Zero-Dimensional Standard Bases
Katsusuke Nabeshima, Shinichi Tajima |
CASC | 2 |
| 2015 | Computing Logarithmic Vector Fields Associated with Parametric Semi-Quasihomogeneous Hypersurface Isolated SingularitiesabstractLogarithmic vector fields associated with parametric semi-quasihomogeneous hypersurface isolated singularities are considered in the context of symbolic computation. A new algorithm for computing the logarithmic vector fields is introduced. The keys of this approach are the concept of a polar variety and parametric local cohomology systems. The resulting algorithm also provides a decomposition of the parameter space depending on the structure of the logarithmic vector fields. Katsusuke Nabeshima, Shinichi Tajima |
ISSAC | 2 |
| 2014 | An Algorithm for Computing the Truncated Annihilating Ideals for an Algebraic Local Cohomology Class
Takafumi Shibuta, Shinichi Tajima |
CASC | 2 |
| 2014 | On efficient algorithms for computing parametric local cohomology classes associated with semi-quasihomogeneous singularities and standard basesabstractA new algorithm is given for computing parametric local cohomology classes associated with semi-quasihomogeneous singularities. The essential point of the proposed algorithm involves Poincaré polynomials and weighted degrees. The proposed algorithm gives a suitable decomposition of the parameter space depending on the structure of the parametric local cohomology classes. As an application, an algorithm for computing parametric standard bases of zero-dimensional ideals, is given. These algorithms work for non-parametric cases, too. Katsusuke Nabeshima, Shinichi Tajima |
ISSAC | 2 |
| 2012 | Optimization of picocell locations and its parameters in heterogeneous networks with hotspotsabstractThis work analyzes the optimal pico base station (BS) deployment in heterogeneous cellular networks (HetNet) with hotspots. Most of conventional works for HetNet focused on interference coordination and effective cell association methods, however, the problem of pico BS deployment (cell planning) for HetNet with hotspots has not been analyzed so much. In this paper, we extend the previously proposed optimization problem in terms of network parameters (spectrum splitting ratio and SINR bias value) to the optimal pico BS locations to maximize the system rate. Furthermore, the average user and outage user rates are evaluated numerically to show the effectiveness of the proposed optimization method. Numerical results show that the optimized pico BS locations can improve both the average and outage user rates in HetNet with hotspots. Hidekazu Shimodaira, Gia Khanh Tran, Shinichi Tajima, Kei Sakaguchi, Kiyomichi Araki, Noriaki Miyazaki, Shoji Kaneko, Satoshi Konishi, Yoji Kishi |
PIMRC | 3 |
| 2009 | Annihilating ideals for an algebraic local cohomology class
Shinichi Tajima, Yayoi Nakamura |
J. Symb. Comput. | 1 |