io-port.net

io-port 50235233 Miyajima, Keiichi; Kato, Takahiro; Shidama, Yasunari

Riemann integral of functions from R into real normed space (English)

Formalized Mathematics 19, No. 1, 17-22 (2011).

1

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 50235310 Miyajima, Keiichi; Kato, Takahiro; Shidama, Yasunari

Riemann integral of functions R into C (English)

Formalized Mathematics 18, No. 1-4, 201-206 (2010).

2

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 50235348 Miyajima, Keiichi; Kato, Takahiro

The sum and product of finite sequences of complex numbers (English)

Formalized Mathematics 18, No. 1-4, 107-111 (2010).

3

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 50235311 Miyajima, Keiichi; Shidama, Yasunari

Riemann integral of functions from R into rn (English)

Formalized Mathematics 17, No. 1-4, 179-185 (2009).

4

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70147884 Yamaguchi, Masahiro; Kishimoto, Junko; Komiya, Yasuhiro; Kanno, Yoshifumi; Murakami, Yuri; Hashizume, Hiroyuki; Yamada, Ryouji; Miyajima, Kosuke; Haneishi, Hideaki

Video-based telemedicine with reliable color: field experiments of natural vision technology (English)

IUCS, 150-153 (2009).

5

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70481342 Kakuhata, Hiroaki; Miyajima, Keiichi; Ishikawa, Masaaki

Simulation analysis of the influence of random disturbances on shell pattern formations (English)

ICARCV, 1-6 (2006).

6

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70481405 Ishikawa, M.; Miyajima, K.

Analysis of the influence of random disturbances on Turing patterns in growing domains (English)

ICARCV, 1055-1060 (2004).

7

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05389966 Kobayashi, Tadayoshi; Miyajima, Kazutoshi; Yanagihara, Satoshi

Development of remote surveillance squads for information collection on nuclear accidents. (English)

Adv. Robot. 16, No. 6, 497-500 (2002).

8

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70480798 Ishikawa, Masaaki; Miyajima, Keiichi

Stochastic modeling of growth processes of bacteria colony and simulation studies (English)

ICARCV, 1539-1544 (2002).

9

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 01491043 Miyajima, Keiichi; Yamaura, Hiroo; Cai, Dawei; Shidama, Yasunari

A numerical calculation method for optimal control problems having control restrictions and adjustable parameters with constraint. (English)

Sci. Math. 3, No.1, 145-158 (2000).

10

PDF XML AMS-TeX TEXT BIBTeX

io-port 70713569 Leclerc, Yvan G.; Luong, Quang-Tuan; Fua, Pascal; Miyajima, Koji

Detecting changes in 3-D shape using self-consistency (English)

CVPR, 1395-1402 (2000).

11

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 05441110 Miyajima, Koji; Mukawa, Naoki; Okada, Mamoru

Regularization using the MDL principle: Estimation of regularization parameters for regions containing discontinuities. (English)

Syst. Comput. Jpn. 30, No. 8, 61-71 (1999).

12

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70346115 Uchibori, Akihiko; Miyajima, Keiichi; Shidama, Yasunari; Yamaura, Hiroo

Optimizing fuzzy logic with genetic algorithm (English)

KES (2), 126-131 (1998).

13

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70463276 Miyajima, Koji; Mukawa, Naoki

Surface reconstruction by smoothness map estimation (English)

ICIP (2), 967-971 (1998).

14

PDF XML AMS-TeX TEXT BIBTeX

io-port 06006902 Miyajima, Koji; Norita, Toshio; Ralescu, Anca

Management of uncertainty in top-down, fuzzy logic-based image understanding of natural objects. (English)

Int. J. Uncertain. Fuzziness Knowl.-Based Syst. 1, No. 2, 183-192 (1993).

15

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 04062654 Tkizawa, Makoto; Miyajima, Katsumi

Concurrent execution of Prolog transaction. (English)

Logic programming, Proc. 6th Conf., Tokyo/Jap. 1987, Lect. Notes Comput. Sci. 315, 313-327 (1988).

16

PDF XML AMS-TeX TEXT BIBTeX

io-port 70635125 Takizawa, Makoto; Miyajima, Katsumi

Concurrent execution of prolog transaction (English)

LP, 313-327 (1987).

17

PDF XML AMS-TeX TEXT BIBTeX DOI