Displaying 21 – 40 of 57

Showing per page

Formalization of Integral Linear Space

Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama (2011)

Formalized Mathematics

In this article, we formalize integral linear spaces, that is a linear space with integer coefficients. Integral linear spaces are necessary for lattice problems, LLL (Lenstra-Lenstra-Lovász) base reduction algorithm that outputs short lattice base and cryptographic systems with lattice [8].

Formalization of the Advanced Encryption Standard. Part I

Kenichi Arai, Hiroyuki Okazaki (2013)

Formalized Mathematics

In this article, we formalize the Advanced Encryption Standard (AES). AES, which is the most widely used symmetric cryptosystem in the world, is a block cipher that was selected by the National Institute of Standards and Technology (NIST) as an official Federal Information Processing Standard for the United States in 2001 [12]. AES is the successor to DES [13], which was formerly the most widely used symmetric cryptosystem in the world. We formalize the AES algorithm according to [12]. We then verify...

Formalization of the Data Encryption Standard

Hiroyuki Okazaki, Yasunari Shidama (2012)

Formalized Mathematics

In this article we formalize DES (the Data Encryption Standard), that was the most widely used symmetric cryptosystem in the world. DES is a block cipher which was selected by the National Bureau of Standards as an official Federal Information Processing Standard for the United States in 1976 [15].

From Bi-ideals to Periodicity

Jānis Buls, Aivars Lorencs (2008)

RAIRO - Theoretical Informatics and Applications

The necessary and sufficient conditions are extracted for periodicity of bi-ideals. They cover infinitely and finitely generated bi-ideals.

From the Slit-Island Method to the Ising model: Analysis of irregular grayscale objects

Przemysław Mazurek, Dorota Oszutowska-Mazurek (2014)

International Journal of Applied Mathematics and Computer Science

The Slit Island Method (SIM) is a technique for the estimation of the fractal dimension of an object by determining the area-perimeter relations for successive slits. The SIM could be applied for image analysis of irregular grayscale objects and their classification using the fractal dimension. It is known that this technique is not functional in some cases. It is emphasized in this paper that for specific objects a negative or an infinite fractal dimension could be obtained. The transformation...

Funciones de entropía asociadas a medidas de Csiszar.

Miquel Salicrú Pagès, Carles Maria Cuadras (1987)

Qüestiió

En este trabajo se presentan las medidas de entropía que provienen de la distancia, en el sentido de Csiszar, entre una distribución y la distribución en la que todos los sucesos son equiprobables. En segundo lugar, se estudian condiciones para la concavidad y no negatividad de las medidas propuestas. Finalmente, se obtienen los funcionales Φ-entropía como casos particulares de las medidas estudiadas.

Fundamentals of a mathematical theory of fuzzy sets

Jindřich Spal (1982)

Aplikace matematiky

Fuzzy sets establish a mapping from the interval of values of a criterial function onto a system of subsets of a basic set. In the paper, a system of definitions and theorems is introduced, which is aimed at an adequate expression of this point of view. The criterial function, with an arbitrary interval of values, serves for expressing the really existing objective property, forming the basis for defining a fuzzy set.

Currently displaying 21 – 40 of 57