Masahito Kurihara

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Sparse random feature maps for the item-multiset kernel Neural Networks	2023-09-28	Paper
Completion for multiple reduction orderings Rewriting Techniques and Applications	2022-12-09	Paper
scientific article; zbMATH DE number 7415096 (Why is no real title available?) (available as arXiv preprint)	2021-10-27	Paper
scientific article; zbMATH DE number 7415096 (Why is no real title available?)	2021-10-27	Paper
Why does large batch training result in poor generalization? A comprehensive explanation and a better strategy from the viewpoint of stochastic optimization Neural Computation	2021-10-12	Paper
Multi-completion with termination tools Journal of Automated Reasoning	2013-07-05	Paper
scientific article; zbMATH DE number 6027911 (Why is no real title available?)	2012-04-25	Paper
Hardness measures for gridworld benchmarks and performance analysis of real-time heuristic search algorithms Journal of Heuristics	2010-03-02	Paper
Multi-completion with Termination Tools (System Description) Automated Reasoning	2008-11-27	Paper
scientific article; zbMATH DE number 2209389 (Why is no real title available?)	2005-09-28	Paper
scientific article; zbMATH DE number 1380905 (Why is no real title available?)	1999-12-20	Paper
scientific article; zbMATH DE number 1380896 (Why is no real title available?)	1999-12-20	Paper
scientific article; zbMATH DE number 1380904 (Why is no real title available?)	1999-12-20	Paper
Completion for multiple reduction orderings Journal of Automated Reasoning	1999-11-25	Paper
Modularity in noncopying term rewriting Theoretical Computer Science	1997-02-28	Paper
Serial failure diagnosis of a distributed processing system by Petri nets Computers & Mathematics with Applications	1996-10-21	Paper
scientific article; zbMATH DE number 862680 (Why is no real title available?)	1996-04-01	Paper
Modularity of simple termination of term rewriting systems with shared constructors Theoretical Computer Science	1993-01-16	Paper
scientific article; zbMATH DE number 40801 (Why is no real title available?)	1992-08-13	Paper
Modular term rewriting systems and the termination Information Processing Letters	1990-01-01	Paper
A theorem and a procedure for the complete implication matrix of system interconnection matrices IEEE Transactions on Systems, Man, and Cybernetics	1984-01-01	Paper

Research outcomes over time

This page was built for person: Masahito Kurihara