Semantics and pragmatics of programming language ASAMPL by Sulema, Y.S., Glinskii, V.V.

Get full text

Automated parallelization of a program for modeling intraparticle diffusion and adsorption in heterogeneous nanoporous media by Doroshenko, A.Yu., Petryk, M. R., Mykhalyk, D. M., Ivanenko, P. A., Yatsenko, O.A.

Get full text

Peterson’s algorithm Total correctness proof in IPCL by Zhygallo, A.A.

Get full text

Jupyter Notebook: a system for interactive scientific computing by Yakimchik, A. I.

Get full text

Modern astrometry in different ranges of electromagnetic waves by Kharin, A.S.

Get full text

Astrometry at the RTT150 telescope within the international collaboration between KSU (Russia), TUG (Turkey), and NAO (Ukraine) by Aslan, Z., Khamitov, I.M., Gumerov, R.I., Ibragimov, A.A., Nemtinov, A., Ivantsov, A.V., Hudkova, L.A., Pinigin, G.I., Shulga, A.V.

Get full text

What limits the precision of ground-based stellar photometry and positional measurements? by Zhilyaev, B.E., Romanyuk, Ya.O., Verlyuk, I.A., Svyatogorov, O.A., Lovkaya, M.N.

Get full text

Interferometric method for image formation: the basic ideas and computer simulation by Kornienko, Yu., Pugach, V.

Get full text

Atmospheric limitations to astrometric detection of extra-solar planets with very large telescopes by Lazorenko, P.

Get full text

Project of the network for occultation phenomena television observations by Kazantseva, L.V., Kislyuk, V.S., Kleshchonok, V.V.

Get full text

Processing of CCD images of star fields without the frame of a flat field by using new software in program shell of MIDAS/ROMAFOT by Andruk, V.M., Vid'machenko, A.P., Ivashchenko, Yu.M.

Get full text

Realization of Vilnius UPXYZVS photometric system for AltaU42 CCD camera at the MAO NAS of Ukraine by Vid'machenko, A.P., Andruk, V.M., Samoylov, V.S., Delets, O.S., Nevodovsky, P.V., Ivashchenko, Yu.M., Kovalchuk, G.U.

Get full text

Influence of the phase of a spherical planet on determination of coordinates of albedo features on the planet's surface from ground-based observations by Mikhalchuk, V.V.

Get full text

Investigation of atmospheric instability for communication experiments with the ESA's geostationary satellite ARTEMIS by Kuz'kov, V., Andruk, V., Sizonenko, Yu., Sodnik, Z.

Get full text

50 years of software engineering by Sydorov, N.A.

Get full text

A system of mathematical models for studying the prospects of functioning and development of gas industry under current conditions by Leshchenko I.Ch.

Get full text

A balanced layout problem of cylinders in a cylindrical container of the minimal radius by Панкратов, А. В., Романова, Т. Е., Коваленко, А. А.

Get full text

A balanced layout problem of cylinders in a cylindrical container of the minimal radius by Панкратов, А. В., Романова, Т. Е., Коваленко, А. А.

Get full text

Autotuning of parallel programs using the IBM Watsons Analytics data analysis system by Doroshenko, А.Yu., Novak, O.S., Ivanenko, P.A., Starushyk, A.M.

Get full text

Use of methods of algebraic programming for the formal verification of legal acts by Peschanenko, V.S., Poltoratskiy, M.

Get full text