Measurement of Pulsation Strain at the Fingertip Using a Plastic FBG Sensor von Koyama, Shouhei, Haseda, Yuki, Ishizawa, Hiroaki, Okazaki, Futa, Bonefacino, Julien, Tam, Hwa-Yaw

Volltext

How to Formalize Loop Iterations in Cryptographic Protocols Using ProVerif von Mieno, Takehiko, Okazaki, Hiroyuki, Arai, Kenichi, Futa, Yuichi

Volltext

Operations of Points on Elliptic Curve in Affine Coordinates von Futa, Yuichi, Okazaki, Hiroyuki, Shidama, Yasunari

Volltext

Polynomially Bounded Sequences and Polynomial Sequences von Okazaki, Hiroyuki, Futa, Yuichi

Volltext

Maximum Number of Steps Taken by Modular Exponentiation and Euclidean Algorithm von Okazaki, Hiroyuki, Nagao, Koh-ichi, Futa, Yuichi

Volltext

Analysis and Defense of DDoS Attacks Using Virtual Environments von Suzuki, Hikofumi, Kano, Yuki, Futa, Yuichi, Okazaki, Hiroyuki

Volltext

Torsion Part of ℤ-module von Futa, Yuichi, Okazaki, Hiroyuki, Shidama, Yasunari

Volltext

Formalization of Definitions and Theorems Related to an Elliptic Curve Over a Finite Prime Field by Using Mizar von Futa, Yuichi, Okazaki, Hiroyuki, Shidama, Yasunari

Volltext

Matrix of ℤ-module1 von Futa, Yuichi, Okazaki, Hiroyuki, Shidama, Yasunari

Volltext

Formalization of Definitions and Theorems Related to an Elliptic Curve Over a Finite Prime Field by Using Mizar: Formal Mathematics for Mathematicians von FUTA, Yuichi, OKAZAKI, Hiroyuki, SHIDAMA, Yasunari

Volltext

Application of Pairwise Testing into BWDM which is a Test Case Generation Tool for the VDM++ Specification von Katayama, Tetsuro, Hirakoba, Futa, Kita, Yoshihiro, Yamaba, Hisaaki, Aburada, Kentaro, Okazaki, Naonobu

Volltext

Matrix of ℤ-module 1 von Futa, Yuichi, Okazaki, Hiroyuki, Shidama, Yasunari

Volltext

Z-modules von Futa, Yuichi, Okazaki, Hiroyuki, Shidama, Yasunari

Volltext

Quotient Module of Z-module von Futa, Yuichi, Okazaki, Hiroyuki, Shidama, Yasunari

Volltext

Submodule of free Z-module von Futa, Yuichi, Okazaki, Hiroyuki, Shidama, Yasunari

Volltext

Free ℤ-module von Futa, Yuichi, Okazaki, Hiroyuki, Shidama, Yasunari

Volltext

Torsion Z-module and Torsion-free Z-module von Futa, Yuichi, Okazaki, Hiroyuki, Nakasho, Kazuhisa, Shidama, Yasunari

Volltext

Constructing Binary Huffman Tree von Okazaki, Hiroyuki, Futa, Yuichi, Shidama, Yasunari

Volltext

Rank of Submodule, Linear Transformations and Linearly Independent Subsets of Z-module von Nakasho, Kazuhisa, Futa, Yuichi, Okazaki, Hiroyuki, Shidama, Yasunari

Volltext

Formal definition of probability on finite and discrete sample space for proving security of cryptographic systems using Mizar von Okazaki, Hiroyuki, Futa, Yuichi, Shidama, Yasunari

Volltext