Have a personal or library account? Click to login

Showing 49-55 of 55 for the term ""Okazaki, Hiroyuki""

Probability on Finite Set and Real-Valued Random Variables
Article

Probability on Finite Set and Real-Valued Random Variables

Okazaki, Hiroyuki, Shidama, Yasunari
Algebra of Polynomially Bounded Sequences and Negligible Functions
Article

Algebra of Polynomially Bounded Sequences and Negligible Functions

Okazaki, Hiroyuki
Formalization of Orthogonal Complements of Normed Spaces
Article

Formalization of Orthogonal Complements of Normed Spaces

Okazaki, Hiroyuki
Posterior Probability on Finite Set
Article

Posterior Probability on Finite Set

Okazaki, Hiroyuki
Functional Space C(ω), C0(ω)
Article

Functional Space C(ω), C0(ω)

Kanazashi, Katuhiko, Okazaki, Hiroyuki, Shidama, Yasunari
Formalization of the Data Encryption Standard
Article

Formalization of the Data Encryption Standard

Okazaki, Hiroyuki, Shidama, Yasunari
Polynomially Bounded Sequences and Polynomial Sequences
Article

Polynomially Bounded Sequences and Polynomial Sequences

Okazaki, Hiroyuki, Futa, Yuichi