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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

Toward software artifacts ecosystem von Sydorov, N.A.

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext