Embedding a family of logic languages with custom monadic unification in Scala by Shevchenko, R.S., Doroshenko, А.Yu., Yatsenko, O.A.

Get full text

3D SIMULATION OF HYDROMECHANICAL CHARACTERISTICS OF SMALL HYDROPOWER PLANTS by Moroz, A.

Get full text

AUTOMATED FORMATION OF CALCULATION MODELS OF TURBOGENERATORS FOR SOFTWARE ENVIRONMENT FEMM by Milykh, V. I., Polyakova, N. V.

Get full text

AUTOMATED CALCULATIONS OF THE DYNAMICS OF TURBOGENERATOR ELECTROMAGNETIC PROCESSES IN SOFTWARE ENVIRONMENT FEMM by Milykh, V. I., Polyakova, N. V.

Get full text

DS-theory. Scientific aspects and prospects for development by Kolesnyk, V.G.

Get full text

Algorithm for automatic loop parallelization for graphics processing units by Doroshenko, А.Yu., Yatsenko, O.A., Beketov, O.G.

Get full text

Description model of programming style ecosystem by Sydorov, N.A., Sydorova, N.N., Sydorov, E.N.

Get full text

Toward software artifacts ecosystem by Sydorov, N.A.

Get full text

A TURBO-GENERATOR DESIGN SYNTHESIS BASED ON THE NUMERICAL-FIELD CALCULATIONS AT VARYING THE NUMBER OF STATOR SLOTS by Milykh, V. I.

Get full text

The interproduct balance model for municipal power economy by Levchuk A.P.

Get full text

Correctness Property Proof for the Banking System for Money Transfer Payments by Ostapovska, Yu.A., Panchenko, T.V., Polishchuk, N.V., Kartavov, M.O.

Get full text

Equivalence of two parallel execution systems by Panchenko, T.V., Fabunmi, S.

Get full text

Validation of correctness of autotuning code transformations with rewriting rules technique by Ivanenko, P.A.

Get full text

Integration and service composition based on model by Dyvak, Yu., Mamedov, T.

Get full text

An optimization electronic simulation of multi-target system tasks by Dodonov, O. G., Kuzmychov, А. I.

Get full text

The translator of Petri-object model visual programming language by Dyfuchyn, А.Yu.

Get full text

DETERMINATION OF ELECTROMAGNETIC PARAMETERS AND PHASE RELATIONS IN TURBO-GENERATORS BY THE AUTOMATED CALCULATION OF THE MAGNETIC FIELD IN THE SOFTWARE ENVIRONMENT FEMM by Milykh, V. I., Polyakova, N. V.

Get full text

THE ORETICAL FOUNDATION FOR CALCULATION OF FLUID SYSTEMS IN THE SUBSURFACE CONTAMINATED WITH LIGHT PETROLEUM PRODUCTS DURING GROUNDWATER FLUCTUATION Paper 4.Calculation and analysi... by Paramonova, N.K., Gamsheyeva, I.S., Zapolskiy, I.N.

Get full text

Automated generation of programs for a class of parametric neuroevolution algorithms by Doroshenko, A.Yu., Achour, I.Z.

Get full text

Method of discrete approximations of gravity field on delineation of promising sections by Arsanukayev, Z.Z.

Get full text