Embedding a family of logic languages with custom monadic unification in Scala за авторством Shevchenko, R.S., Doroshenko, А.Yu., Yatsenko, O.A.

Отримати повний текст

3D SIMULATION OF HYDROMECHANICAL CHARACTERISTICS OF SMALL HYDROPOWER PLANTS за авторством Moroz, A.

Отримати повний текст

AUTOMATED FORMATION OF CALCULATION MODELS OF TURBOGENERATORS FOR SOFTWARE ENVIRONMENT FEMM за авторством Milykh, V. I., Polyakova, N. V.

Отримати повний текст

AUTOMATED CALCULATIONS OF THE DYNAMICS OF TURBOGENERATOR ELECTROMAGNETIC PROCESSES IN SOFTWARE ENVIRONMENT FEMM за авторством Milykh, V. I., Polyakova, N. V.

Отримати повний текст

DS-theory. Scientific aspects and prospects for development за авторством Kolesnyk, V.G.

Отримати повний текст

Algorithm for automatic loop parallelization for graphics processing units за авторством Doroshenko, А.Yu., Yatsenko, O.A., Beketov, O.G.

Отримати повний текст

Description model of programming style ecosystem за авторством Sydorov, N.A., Sydorova, N.N., Sydorov, E.N.

Отримати повний текст

Toward software artifacts ecosystem за авторством Sydorov, N.A.

Отримати повний текст

A TURBO-GENERATOR DESIGN SYNTHESIS BASED ON THE NUMERICAL-FIELD CALCULATIONS AT VARYING THE NUMBER OF STATOR SLOTS за авторством Milykh, V. I.

Отримати повний текст

The interproduct balance model for municipal power economy за авторством Levchuk A.P.

Отримати повний текст

Correctness Property Proof for the Banking System for Money Transfer Payments за авторством Ostapovska, Yu.A., Panchenko, T.V., Polishchuk, N.V., Kartavov, M.O.

Отримати повний текст

Equivalence of two parallel execution systems за авторством Panchenko, T.V., Fabunmi, S.

Отримати повний текст

Validation of correctness of autotuning code transformations with rewriting rules technique за авторством Ivanenko, P.A.

Отримати повний текст

Integration and service composition based on model за авторством Dyvak, Yu., Mamedov, T.

Отримати повний текст

An optimization electronic simulation of multi-target system tasks за авторством Dodonov, O. G., Kuzmychov, А. I.

Отримати повний текст

The translator of Petri-object model visual programming language за авторством Dyfuchyn, А.Yu.

Отримати повний текст

DETERMINATION OF ELECTROMAGNETIC PARAMETERS AND PHASE RELATIONS IN TURBO-GENERATORS BY THE AUTOMATED CALCULATION OF THE MAGNETIC FIELD IN THE SOFTWARE ENVIRONMENT FEMM за авторством Milykh, V. I., Polyakova, N. V.

Отримати повний текст

THE ORETICAL FOUNDATION FOR CALCULATION OF FLUID SYSTEMS IN THE SUBSURFACE CONTAMINATED WITH LIGHT PETROLEUM PRODUCTS DURING GROUNDWATER FLUCTUATION Paper 4.Calculation and analysi... за авторством Paramonova, N.K., Gamsheyeva, I.S., Zapolskiy, I.N.

Отримати повний текст

Automated generation of programs for a class of parametric neuroevolution algorithms за авторством Doroshenko, A.Yu., Achour, I.Z.

Отримати повний текст

Method of discrete approximations of gravity field on delineation of promising sections за авторством Arsanukayev, Z.Z.

Отримати повний текст