Yasunari Shidama
Orcid: 0000-0001-5634-0838
According to our database1,
Yasunari Shidama
authored at least 143 papers
between 1995 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
2023
2022
2021
Ascoli-Arzelà TheoremThis work was supported by JSPS KAKENHI Grant Numbers JP17K00182.
Formaliz. Math., 2021
Formaliz. Math., 2021
Formaliz. Math., 2021
Real Vector Space and Related NotionsThis study was supported in part by JSPS KAKENHI Grant Numbers 17K00182 and 20K19863.
Formaliz. Math., 2021
2019
2018
Formaliz. Math., 2018
2017
2016
Proceedings of the Tenth IEEE International Conference on Semantic Computing, 2016
2015
Formaliz. Math., 2015
Formaliz. Math., 2015
Proceedings of the 7th International Conference on Cybernetics and Intelligent Systems, 2015
Proceedings of the Intelligent Computer Mathematics - International Conference, 2015
2014
Rank of Submodule, Linear Transformations and Linearly Independent Subsets of Z-module.
Formaliz. Math., 2014
Formaliz. Math., 2014
Proceedings of the Neural Information Processing - 21st International Conference, 2014
2013
Formalization of Definitions and Theorems Related to an Elliptic Curve Over a Finite Prime Field by Using Mizar.
J. Autom. Reason., 2013
Formaliz. Math., 2013
Formaliz. Math., 2013
Formaliz. Math., 2013
Formal definition of probability on finite and discrete sample space for proving security of cryptographic systems using Mizar.
Artif. Intell. Res., 2013
Proceedings of the 8th International Conference on System of Systems Engineering, 2013
2012
Formaliz. Math., 2012
Formaliz. Math., 2012
Formaliz. Math., 2012
Proceedings of the Neural Information Processing - 19th International Conference, 2012
Proceedings of the Active Media Technology - 8th International Conference, 2012
2011
Partial Differentiation, Differentiation and Continuity on <i>n</i>-Dimensional Real Normed Linear Spaces.
Formaliz. Math., 2011
Partial Differentiation of Vector-Valued Functions on <i>n</i>-Dimensional Real Normed Linear Spaces.
Formaliz. Math., 2011
Proceedings of the Artificial Neural Networks and Machine Learning - ICANN 2011, 2011
Proceedings of the AFRICON 2011, 2011
2010
Formaliz. Math., 2010
Banach Algebra of Continuous Functionals and the Space of Real-Valued Continuous Functionals with Bounded Support.
Formaliz. Math., 2010
Formaliz. Math., 2010
Differentiation of Vector-Valued Functions on n-Dimensional Real Normed Linear Spaces.
Formaliz. Math., 2010
Proceedings of the Knowledge-Based and Intelligent Information and Engineering Systems, 2010
Fuzzy Number as Input for Approximate Reasoning and Applied to Optimal Control Problem.
Proceedings of the Artificial Intelligence and Soft Computing, 2010
2009
Compactness of Family of Fuzzy Sets in <i>L</i><sup>2</sup> Space with Application to Optimal Control.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2009
Formaliz. Math., 2009
Formaliz. Math., 2009
Proceedings of the Knowledge-Based and Intelligent Information and Engineering Systems, 2009
Proceedings of the Artificial Neural Networks, 2009
2008
Extended Riemann Integral of Functions of Real Variable and One-sided Laplace Transform.
Formaliz. Math., 2008
Formaliz. Math., 2008
Proceedings of the Ninth ACIS International Conference on Software Engineering, 2008
Proceedings of the New Frontiers in Applied Artificial Intelligence, 2008
2007
Continuity of product-sum-gravity method on L<sup>2</sup> space using fuzzy number for premise variable.
Proceedings of the 9th International Symposium on Signal Processing and Its Applications, 2007
Proceedings of the AI 2007: Advances in Artificial Intelligence, 2007
2005
Proceedings of the IEEE International Conference on Systems, 2005
The Learning System of Shinshu University Graduate School of Science and Technology on the Internet.
Proceedings of the Knowledge-Based Intelligent Information and Engineering Systems, 2005
2004
The design verification for the 3DES encipher chip based on an extended Petri net and XML/Java executor.
Proceedings of the 8th International Conference on Control, 2004
Proceedings of the 43rd IEEE Conference on Decision and Control, 2004
2003
A High Reliability Design for Nfs Server Software By Using an Extended Petri Net.
Proceedings of the ICEIS 2003, 2003
Proceedings of the 12th International Conference on Computer Communications and Networks, 2003
2002
A high reliability design for NFS server software based on the logical coloured Petri net.
Proceedings of the Seventh International Conference on Control, 2002
Proceedings of the Seventh International Conference on Control, 2002
Proceedings of the 2002 IEEE International Conference on Fuzzy Systems, 2002
2001
Proceedings of the 10th IEEE International Conference on Fuzzy Systems, 2001
2000
Proceedings of the American Control Conference, 2000
1999
Syst. Comput. Jpn., 1999
1998
Proceedings of the Knowledge-Based Intelligent Electronic Systems, 1998
1996
An Optimizing Fuzzy Logic with Genetic Algorithms.
Proceedings of 1996 IEEE International Conference on Evolutionary Computation, 1996
1995
IEICE Trans. Inf. Syst., 1995