| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Keiichi Miyajima, Takahiro Kato, Yasunari Shidama |
Riemann Integral of Functions from R into Real Normed Space.  |
Formalized Mathematics  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hiroyuki Okazaki, Noboru Endou, Yasunari Shidama |
More on Continuous Functions on Normed Linear Spaces. |
Formalized Mathematics |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Keiko Narita, Artur Kornilowicz, Yasunari Shidama |
More on the Continuity of Real Functions. |
Formalized Mathematics |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama |
Formalization of Integral Linear Space. |
Formalized Mathematics |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hiroyuki Okazaki, Noboru Endou, Keiko Narita, Yasunari Shidama |
Differentiable Functions into Real Normed Spaces. |
Formalized Mathematics |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hiroyuki Okazaki, Noboru Endou, Yasunari Shidama |
Cartesian Products of Family of Real Linear Spaces. |
Formalized Mathematics |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hiroyuki Okazaki, Kenichi Arai, Yasunari Shidama |
Normal Subgroup of Product of Groups. |
Formalized Mathematics |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Takao Inoué, Adam Naumowicz, Noboru Endou, Yasunari Shidama |
Partial Differentiation of Vector-Valued Functions on n-Dimensional Real Normed Linear Spaces. |
Formalized Mathematics |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Katuhiko Kanazashi, Hiroyuki Okazaki, Yasunari Shidama |
Banach Algebra of Bounded Complex-Valued Functionals. |
Formalized Mathematics |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Takao Inoué, Adam Naumowicz, Noboru Endou, Yasunari Shidama |
Partial Differentiation, Differentiation and Continuity on n-Dimensional Real Normed Linear Spaces. |
Formalized Mathematics |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama |
Set of Points on Elliptic Curve in Projective Coordinates. |
Formalized Mathematics |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Takashi Mitsuishi, Yasunari Shidama |
Optimal Control Using Functional Type SIRMs Fuzzy Reasoning Method. |
ICANN |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yasushige Watase, Noboru Endou, Yasunari Shidama |
On L^p Space Formed by Real-Valued Partial Functions. |
Formalized Mathematics |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Kazuhisa Ishida, Yasunari Shidama |
Fixpoint Theorem for Continuous Functions on Chain-Complete Posets. |
Formalized Mathematics |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Keiichi Miyajima, Takahiro Kato, Yasunari Shidama |
Riemann Integral of Functions R into C. |
Formalized Mathematics |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Takao Inou'e, Noboru Endou, Yasunari Shidama |
Differentiation of Vector-Valued Functions on n-Dimensional Real Normed Linear Spaces. |
Formalized Mathematics |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Hiroyuki Okazaki, Yasunari Shidama |
Probability Measure on Discrete Spaces and Algebra of Real-Valued Random Variables. |
Formalized Mathematics |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Katuhiko Kanazashi, Noboru Endou, Yasunari Shidama |
Banach Algebra of Continuous Functionals and the Space of Real-Valued Continuous Functionals with Bounded Support. |
Formalized Mathematics |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Takashi Mitsuishi, Hidefumi Kawakatsu, Yasunari Shidama |
Existence of Single Input Rule Modules for Optimal Fuzzy Logic Control. |
KES |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Takashi Mitsuishi, Yasunari Shidama |
Fuzzy Number as Input for Approximate Reasoning and Applied to Optimal Control Problem. |
ICAISC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Takashi Mitsuishi, Yasunari Shidama |
Compactness of Family of Fuzzy Sets in L2 Space with Application to Optimal Control. |
IEICE Transactions |
2009 |
DBLP BibTeX RDF |
|
| 1 | Hiroshi Yamazaki, Yasunari Shidama, Chanapat Pacharapokin, Yatsuka Nakamura |
The Cauchy-Riemann Differential Equations of Complex Functions. |
Formalized Mathematics |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Noboru Endou, Hiroyuki Okazaki, Yasunari Shidama |
Hopf Extension Theorem of Measure. |
Formalized Mathematics |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Yatsuka Nakamura, Artur Kornilowicz, Nagato Oya, Yasunari Shidama |
The Real Vector Spaces of Finite Sequences are Finite Dimensional. |
Formalized Mathematics |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Keiko Narita, Noboru Endou, Yasunari Shidama |
Lebesgue's Convergence Theorem of Complex-Valued Function. |
Formalized Mathematics |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Keiko Narita, Noboru Endou, Yasunari Shidama |
The Measurability of Complex-Valued Functional Sequences. |
Formalized Mathematics |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Masahiko Yamazaki, Hiroshi Yamazaki, Katsumi Wasaki, Yasunari Shidama |
Complex Integral. |
Formalized Mathematics |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Hiroyuki Okazaki, Yasunari Shidama |
Probability on Finite Set and Real-Valued Random Variables. |
Formalized Mathematics |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Mitsuru Jitsukawa, Pauline N. Kawamoto, Yasunari Shidama, Yatsuka Nakamura |
Cell Petri Net Concepts. |
Formalized Mathematics |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Keiichi Miyajima, Yasunari Shidama |
Riemann Integral of Functions from R into Rn. |
Formalized Mathematics |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Chanapat Pacharapokin, Hiroshi Yamazaki, Yasunari Shidama, Yatsuka Nakamura |
Complex Function Differentiability. |
Formalized Mathematics |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Takashi Mitsuishi, Yasunari Shidama |
Defuzzification Using Area Method on L INFINITY Space. |
KES |
2009 |
DBLP DOI BibTeX RDF |
Optimization, Fuzzy control, Approximate reasoning, Functional analysis |
| 1 | Takashi Mitsuishi, Yasunari Shidama |
Height Defuzzification Method on L∞ Space. |
ICANN |
2009 |
DBLP DOI BibTeX RDF |
Optimization, Fuzzy control, Approximate reasoning, Functional analysis |
| 1 | Masahiko Yamazaki, Hiroshi Yamazaki, Yasunari Shidama |
Extended Riemann Integral of Functions of Real Variable and One-sided Laplace Transform. |
Formalized Mathematics |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Grzegorz Bancerek, Yasunari Shidama |
Introduction to Matroids. |
Formalized Mathematics |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Noboru Endou, Keiko Narita, Yasunari Shidama |
The Lebesgue Monotone Convergence Theorem. |
Formalized Mathematics |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Kazuhisa Ishida, Yasunari Shidama |
Model Checking. Part III. |
Formalized Mathematics |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Keiko Narita, Noboru Endou, Yasunari Shidama |
The First Mean Value Theorem for Integrals. |
Formalized Mathematics |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Yasushige Watase, Noboru Endou, Yasunari Shidama |
On L^1 Space Formed by Real-Valued Partial Functions. |
Formalized Mathematics |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Keiko Narita, Noboru Endou, Yasunari Shidama |
Integral of Complex-Valued Measurable Function. |
Formalized Mathematics |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Hideki Sakurai, Hisayoshi Kunimune, Yasunari Shidama |
Uniform Boundedness Principle. |
Formalized Mathematics |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Hiroyuki Okazaki, Yasunari Shidama |
Uniqueness of Factoring an Integer and Multiplicative Group Z/pZ*. |
Formalized Mathematics |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Yasunari Shidama, Hikofumi Suzuki, Noboru Endou |
Banach Algebra of Bounded Functionals. |
Formalized Mathematics |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Hidenori Matsuzaki, Noboru Endou, Yasunari Shidama |
Convex Sets and Convex Combinations on Complex Linear Spaces. |
Formalized Mathematics |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Noboru Endou, Yasunari Shidama, Keiko Narita |
Egoroff's Theorem. |
Formalized Mathematics |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Hideki Sakurai, Hisayoshi Kunimune, Yasunari Shidama |
Open Mapping Theorem. |
Formalized Mathematics |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Noboru Endou, Keiko Narita, Yasunari Shidama |
Fatou's Lemma and the Lebesgue's Convergence Theorem. |
Formalized Mathematics |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Takashi Mitsuishi, Takanori Terashima, Toshimichi Homma, Yasunari Shidama |
Lipschitz Continuity of Approximate Reasoning. |
SNPD |
2008 |
DBLP DOI BibTeX RDF |
Lipschitz continuity, fuzzy cpntrol, approximate reasoning |
| 1 | Takashi Mitsuishi, Yasunari Shidama |
Admissible Fuzzy Controller in L2 Space. |
IEA/AIE |
2008 |
DBLP DOI BibTeX RDF |
Optimization, Fuzzy control, Functional analysis, Feedback systems |
| 1 | Takashi Mitsuishi, Yasunari Shidama |
Continuity of Fuzzy Approximate Reasoning and Its Application to Optimization. |
Australian Conference on Artificial Intelligence |
2007 |
DBLP DOI BibTeX RDF |
Nakamori model, Optimization, Fuzzy control, Functional analysis |
| 1 | Hisayoshi Kunimune, Masaaki Niimura, Katsumi Wasaki, Yasushi Fuwa, Yasunari Shidama, Yatsuka Nakamura |
The Learning System of Shinshu University Graduate School of Science and Technology on the Internet. |
KES |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Shinnosuke Yamaguchi, A. Nishino, Katsumi Wasaki, Yasunari Shidama |
The design verification for the 3DES encipher chip based on an extended Petri net and XML/Java executor. |
ICARCV |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Shinnosuke Yamaguchi, Katsumi Wasaki, Yasunari Shidama |
A High Reliability Design for Nfs Server Software By Using an Extended Petri Net. |
ICEIS |
2003 |
DBLP BibTeX RDF |
|
| 1 | Koichi Okada, Katsumi Wasaki, Yasunari Shidama |
The persistence of the Petri Net state-space. |
ICARCV |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Shinnosuke Yamaguchi, Katsumi Wasaki, Yasunari Shidama |
A high reliability design for NFS server software based on the logical coloured Petri net. |
ICARCV |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Takashi Mitsuishi, Jun Kawabe, Katsumi Wasaki, Yasunari Shidama |
Optimization of Fuzzy Feedback Control in L_Space. |
FUZZ-IEEE |
2001 |
DBLP BibTeX RDF |
|
| 1 | Hiromi Kobayashi, Satoru Ichinose, Yasunari Shidama |
State fence diagrams - A graphical representation for designing reactive systems. |
Systems and Computers in Japan |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Akihiko Uchibori, Keiichi Miyajima, Yasunari Shidama, Hiroo Yamaura |
Optimizing fuzzy logic with genetic algorithm. |
KES |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Akihiko Uchibori, Hiroshi Yamazaki, Yasunari Shidama, Hiroo Yamaura |
An Optimizing Fuzzy Logic with Genetic Algorithms. |
International Conference on Evolutionary Computation |
1996 |
DBLP BibTeX RDF |
|
| 1 | Hiromi Kobayashi, Yasunari Shidama |
A Formal Technique to Analyze Event Concurrent Response. |
IEICE Transactions |
1995 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")