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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

Astrometry at the RTT150 telescope within the international collaboration between KSU (Russia), TUG (Turkey), and NAO (Ukraine) von 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.

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext