|
|
|
|
|
Boris Melnikov
Pág. 1 - 8
Quite briefly, the subject of this paper can be formulated as follows: in the previously considered infinite iterative morphism trees, we combine equivalent vertices, in fact, obtaining a deterministic finite automaton; after that, we investigate some pr...
ver más
|
|
|
|
|
|
|
|
|
Alexander L. Usov
Pág. 1 - 12
This article addresses the problem of constructing lower and upper bounding functions for univariate functions. This problem is of a crucial importance in global deterministic optimization, where such bounds are used both to estimate ...
ver más
|
|
|
|
|
|
|
|
|
Camila Fogaça de Oliveira, Paulo Laerte Natti, Eliandro Rodrigues Cirilo, Neyva Maria Lopes Romeiro, Érica Regina Takano Natti
Pág. e46881
The propagation of soliton waves is simulated through splices in quadratic optical media, in which fluctuations of dielectric parameters occur. A new numerical scheme was developed to solve the complex system of partial differential equations (PDE) that ...
ver más
|
|
|
|
|
|
|
|
|
Jan Pelczynski
The present paper discusses an innovative approach providing the solution sets of engineering structures with uncertain parameters. The approach is based on the properties of convex sets and can be applied to structures described by the system of algebra...
ver más
|
|
|
|
|
|
|
|
|
Wytse Oortwijn, Dilian Gurov and Marieke Huisman
Modern concurrent and distributed software is highly complex. Techniques to reason about the correct behaviour of such software are essential to ensure its reliability. To be able to reason about realistic programs, these techniques must be modular and c...
ver más
|
|
|
|