Проблеми програмування. 2018 (23) ARCHIVE (All issues)
 Problems in programming 2018. Issue 23 
 Kryvyi S. L., Pohorilyi S. D., Slynko M. S. Transition systems as method of designing applications in GPGPU technology.
 Shevchenko P. C. Context term calculus for rewriting systems.
 Nikitchenko M. S., Shkilniak O. S., Shkilniak S. S. Logics of general nondeterministic predicates: semantic aspects.
 Doroshenko A. Yu., Ivanenko P. A., Novak O. C., Yatsenko O. A. Parallel software autotuning using statistical modeling and machine learning.
 Herasymova T. O., Nesterenko A. N. Parallel algorithms for the solving both of nonlinear systems and initialvalue problems for systems of ordinary differential equations on multicore computers with processors Intel Xeon Phi.
 Kosovets N. A., Shchetinin I. E., Tovstenko L. N. System aspects of design guaranteased cloud calculations.
 Ovdii O. M. Extension of the program synthesis system to analyze large data sets.
 Ihnatenko O. P., Odobesku V. Ya. Gametheory analysis of multiprocessor schedulers. Simulation model.
 Popov O. V., Rudych O. V., Chystiakov O. V. Multilevel model of parallel computing for linear algebra problems.
 Panchenko T. V., Fabunmi S. Equivalence of two parallel execution systems.
 Yershov C. V., Ponomarenko R. M. Architecture of software system for hierarhical fuzzy inference.
 Peschanenko V., Poltorackiy M. Use of metods of algebraic programming for the formal verification of legal acts.
 Kolchin A. Interactive method for cumulative analysis of software formal models behavior.
 Chebanyuk O. V. Formal foundations for software model to model transformation operation.
 Kryvyi S. L., Darchuk N. P., Provotar O. I. Ontological similar systems for analysis of texts of natural language.
 Pashko S. V. Optimal placement of a multisensor system.
 Pohorilyi S. D., Kramov A. A. Automated extraction of structured information from a variety of web pages.
 Hlushko I. M. About relationship between table algebra of infinite tables and multiset table algebra.
 Provotar O. I., Provotar O. O. Credibility of fuzziness: theory and application.
 Barmak O. V., Krak Yu. V., Manziuk E. A. Characteristics for choice of models in the ansables classification.
 Balabanov O. S. On the classes of causal networks, identifiable by simple independence tests.
 Krammer P., Kvassay M., Hluchý L. Predicting the probability of exceeding critical system thresholds.
 Rohushyna Yu. V. Theoretical principles of use of ontologies for semantization of the Web resources.
 Zakharova O. V. Specification of the process of the semantic annotation the web services.
 Chistjakova I. S. Mapping of the relational algebra to the description logic.
 Pryima S. M., Rohushyna Yu. V., Strokan O. V. Use of semantic technologies for dialogue between labor market subjects.
 Morentsov Ye. I. The system of models of domain "Software Metatechnology".
 Krak Yu. V., Barmak O. V., Mazurets O. V. The practice implementation of the information technology for automated definition of semantic terms sets in the content of educational materials.
 Palagin O. V., Velychko V. Yu., Malakhov K. S., Shchurov O. S. Research and development workstation environment: the new class of Current Research Information Systems.
 Shynkarenko V. I., Ilchenko P. V., Zabula H. V. Tools of investigation of time and functional efficiency of bionic algorithms for function optimization problems.
 Grigorjan R. D., Aksonova T. V., Degoda A. G. Specialised computer simulator "SimEnPhysiol".
 Zherebko V. A., Pysarenko O. A., Drabynko V. P. Simulation and genetic optimization of control systems by LabVIEW programming.
 Doroshenko A. Yu., Shymkovych V. M., Fedorenko V. O. Software means of modeling of the vector type of reactive engine control system.

