Ústav informatiky

Nejnovější přírůstky:
2017-10-04
17:58

Úplný záznam
2017-10-04
17:58

Úplný záznam
2017-10-04
17:58

Úplný záznam
2017-10-04
17:58

Úplný záznam
2017-10-04
17:58

Úplný záznam
2017-10-04
17:58

Úplný záznam
2017-08-18
13:06
Idempotents, Group Membership and their Applications
Porubský, Štefan
S.Schwarz in his paper [165] proved the existence of maximal subgroups in periodic semigroups and a decade later he brought [167] into play the maximal subsemigroups and thus he embodied the idempotents in the structural description of semigroups. Later in his papers he showed that a proper description of these structural elements can be used to (re)prove many useful and important results in algebra and number theory. The present paper gives a survey of selected results scattered throughout the literature where an semigroup approach based on tools like idempotent, maximal subgroup or maximal subsemigroup either led to a new insight into the substance of the known results or helped to discover new approach to solve problems. Special attention will be given to some disregarded historical connections between semigroup and ring theory.

Úplný záznam
2017-08-18
13:06
Semigroup Structure of Sets of Solutions to Equation X^s = X^m
Porubský, Štefan
Using an idempotent semigroup approach we describe the semigroup and group structure of the set of solutions to equation X^m = X^s in successive steps over a periodic commutative semigroup, over multiplicative semigroups of factor rings of residually finite commutative rings and finally over multiplicative semigroups of factor rings of residually finite commutative principal ideal domains. The analysis is done through the use of the maximal subsemigroups and groups corresponding to an idempotent of the corresponding semigroup and in the case of residually finite PID’s employing the available analysis of the Euler-Fermat Theorem as given in [11]. In particular the case when this set of solutions is a union of groups is handled. As a simple application we show a not yet noticed group structure of the set of solutions to x^n = x connected with the message space of RSA cryptosystems and Fermat pseudoprimes.

Úplný záznam
2017-08-02
12:52
A Generalized Limited-Memory BNS Method Based on the Block BFGS Update
Vlček, Jan ; Lukšan, Ladislav
A block version of the BFGS variable metric update formula is investigated. It satisfies the quasi-Newton conditions with all used difference vectors and gives the best improvement of convergence in some sense for quadratic objective functions, but it does not guarantee that the direction vectors are descent for general functions. To overcome this difficulty and utilize the advantageous properties of the block BFGS update, a block version of the limited-memory BNS method for large scale unconstrained optimization is proposed. The algorithm is globally convergent for convex sufficiently smooth functions and our numerical experiments indicate its efficiency.

Úplný záznam
2017-08-02
12:52
On the Optimization of Initial Conditions for a Model Parameter Estimation
Matonoha, Ctirad ; Papáček, Š. ; Kindermann, S.
The design of an experiment, e.g., the setting of initial conditions, strongly influences the accuracy of the process of determining model parameters from data. The key concept relies on the analysis of the sensitivity of the measured output with respect to the model parameters. Based on this approach we optimize an experimental design factor, the initial condition for an inverse problem of a model parameter estimation. Our approach, although case independent, is illustrated at the FRAP (Fluorescence Recovery After Photobleaching) experimental technique. The core idea resides in the maximization of a sensitivity measure, which depends on the initial condition. Numerical experiments show that the discretized optimal initial condition attains only two values. The number of jumps between these values is inversely proportional to the value of a diffusion coefficient D (characterizing the biophysical and numerical process). The smaller value of D is, the larger number of jumps occurs.

Úplný záznam