An electrically conductive tubular element with a thin external electri-cally coating underthe action of an unsteady electromagnetic field the radio frequency range is considered. To analyze thermal re-gime, initial-boundary problem electrodynamics for two-layer non-ferromagnetic hollow cylinder under ex-ternal non-stationary formulated. The electromag-netic given by values axial component magn...

The information technology of biometric identification a person has re-ceived further development due to the use as source primary data infor-mation models oculo-motor system (OMS) «input-output» type based on Volterra series. Eye-tracking is used build models. Experimental studies OMS two respondents were carried out. Based obtained with Tobii Pro TX300 eye-tracker, transient func-tions first,...

presented here is a generalization of the implicit enumeration algorithm that can be applied when the objec-tive function is being maximized and can be rewritten as the difference of two non-decreasing functions. also developed is a computational algorithm, named linear speedup, to use whatever explicit linear constraints are present to speedup the search for a solution. the method is easy to u...

We present the framework [q]bfGen which allows the declarative specification of random models for generating SAT and QSAT formulas not necessarily in (prenex) conjunctive normal form. To this end, [q]bfGen realizes a generic formula generator which creates formula instances by interpreting the random model specification expressed in XML. Consequently, the implementation of specific random formu...

We obtain residue formulae for certain functions of several vari-ables. As an application, we obtain closed formulae for vector partition func-tions and for their continuous analogs. They imply an Euler-MacLaurin sum-mation formula for vector partition functions, and for rational convex poly-topes as well: we express the sum of values of a polynomial function at alllattice p...

This paper presents a new Distributed Shared Memory DSM management con cept that is integrated into a scalable distributed virtual memory management technique and circumvents false sharing while still preserving simplicity to the ap plication level Objects de ned as usual by variables in the declaration part of func tions are made sharable among threads executing in the distributed environment ...

In the present paper we propose a consistent way to integrate syntactical least general generalizations lgg s with semantic evaluation of the hypotheses For this purpose we use two di erent relations on the hypothesis space a constructive one used to generate lgg s and a semantic one giving the coverage based evaluation of the lgg These two relations jointly implement a semantic distance measur...

In this work, we extend the analytic treatment of Bessel functions of large order and/or argument. We examine uniform asymptotic Bessel function expansions and show their accuracy and range of validity. Such situations arise in a variety of applications, in particular the Fourier transform of the gravitational wave signal from a pulsar. The uniform expansion we consider here is found to be vali...