A method of tuning programs on .Net platform with rewriting rules by T. A. Mamedov, Yu. Doroshenko

Get full text

Static analysis of .NET programs using rewriting rules by H. A. Mamedov, Yu. Doroshenko, R. S. Shevchenko

Get full text

Propositional logics of partial predicates with composition of predicate com-plement by M. S. Nikitchenko, O. S. Shkilniak, S. S. Shkilniak, T. A. Mamedov

Get full text

Renominative logics with extended renomination, equality and predicate complement by M. S. Nikitchenko, O. S. Shkilniak, S. S. Shkilniak, T. A. Mamedov

Get full text

Factors Determining a Level of Constructional Steel Sensitivity to Stress Concentration by S. A. Kotrechko, V. N. Grishchenko, S. A. Mamedov

Get full text

Automated design of an artificial neuron for field-programmable gate arrays based on an algebra-algorithmic approach by Yu. Doroshenko, V. M. Shymkovych, T. A. Mamedov, O. A. Yatsenko

Get full text

Physical Justification for the Experimental Determination of the Brittle Strength RMC of Structural Steels, According to the Results of the Samples Testing with a Stress Raiser by S. A. Kotrechko, Ju. A. Polushkin, V. N. Grishchenko, S. A. Mamedov

Get full text

A method of automated design of neuroevolution algorithms based on Glushkov algebra of algorithms by I. P. Sinitsyn, A. Y. Doroshenko, T. A. Mamedov, O. A. Yatsenko

Get full text

Parametrical method of low-frequency harmonics suppression in rectifier's output voltage under supply voltage unbalances (Mathematical model, study and industrial applicat... by Ali Zada, N. Tuncay, B. Ozturk, C. Kivanc, H. A. Mamedov, S. A. Abdullaev

Get full text

Research into landslide processes in the coastal zone of the Takhtakorpureservoir using vertical electrical sounding method (the southeastern slope of the Great Caucasus) by A. M. Salamov, V. A. Mamedov, Kh. Kh. Khalilova, A. G. Zamanova, E. E. Gasymov

Get full text