scientific article; zbMATH DE number 1755485

Authors

Publication date 17 June 2002

Applied functional analysis Information sciences Kyoto (Japan)Proceedings RIMS Symposium

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to operator theory (47-06) Proceedings, conferences, collections, etc. pertaining to quantum theory (81-06) Proceedings, conferences, collections, etc. pertaining to information and communication theory (94-06)

Review text

The articles of this volume will not be indexed individually. Contents: Jun Kawabe, Weak convergence of positive tensor product measures with values in Banach lattices (Japanese) (1-14); Keiko Harai and Michie Maeda, Consideration of measurable norms (Japanese) (15-27); Naofumi Muraki, Towards ``monotonic probability (28-35); Wataru Takahashi, Fixed point theorems for nonexpansive mappings and their applications (Japanese) (36-48); Mai Matsui and Fukiko Takeo, Supercyclic translation semigroups of linear operators (49-56); Kazuhide Nakajo, A strong convergence theorem for nonlinear mappings and its applications (Japanese) (57-69); Aoi Honda and Yoshiaki Okazaki, On the distortion of fuzzy measures (Japanese) (70-77); Makoto Tsukada, Proof checking using Prolog (78-83); Yoshinori Uesaka, Quantum computation and linear circuits with two terminals (Japanese) (84-91); Masanao Ozawa, Measurements of nondegenerate observables (92-105); Hideyasu Yamashita and Masanao Ozawa, Nonstandard representations of unbounded self-adjoint operators (106-118); Wolfgang Freudenberg, Masanori Ohya and Noboru Watanabe, Quantum logical gate based on Fock space (119-124); Shigeto Muramatsu and Masanori Ohya, Multiple alignments that use the segment method in genetics (Japanese) (125-132); Kenjiro Yanagi and Ji Wen Yu, On the capacity of mixed type Gaussian channels with feedback (Japanese) (133-144); Hisaharu Umegaki, Functional analysis conditional expectations and sample functions (Japanese) (145-150); Emiko Ishiwata, Collocation methods related to differential equations with proportional delays (Japanese) (151-163); Yoshinori Fujisawa, Yasushi Fuwa and Yatsuka Nakamura, Correctness of adder algorithm using high-radix signed-digit number system and its adaptation to RSA cryptogram (164-176); Hidetaka Shimizu, Yatsuka Nakamura, Yoshinori Fujisawa and Yasushi Fuwa, Verification of logic circuits using Mizar and its application to an adder circuit on a radix-\(2^k\text{SD}\) number (177-188); Yasuji Takahashi, Mikio Kato and Sin-Ei Takahasi, On James and Schaffer constants for Banach spaces (189-193); Masaaki Ishikawa and Keiichi Miyajima, Modeling of the phase transition phenomenon that considers the influence of an irregular external disturbance (Japanese) (194-204); Yasuo Narukawa and Toshiaki Murofushi, Space of fuzzy measures (205-215); Noboru Endo, Jun Kawabe, Katsumi Wasaki and Yasunari Shidama, Inquiry into optimal controls that use time-dependent fuzzy family of sets (Japanese) (216-222).

Cited in

(6)

Describes a project that uses

Uses Software

Mizar

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4535358)