Models of concurrent program running in resource constrained environment von D. Rahozin

Volltext

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

Volltext

Domain engineering approach of software requirements analysis von O. V. Chebanyuk, O. V. Palahin, K. K. Markov

Volltext

Recognition of emotional expressions using the grouping crowdings of characteristic mimic states von O. V. Barmak, E. A. Manziuk, O. D. Kalyta, Yu. V. Krak, V. O. Kuznietsov, A. I. Kulias

Volltext

Sequent calculi of first-order logics of partial predicates with extended renominations and composition of predicate complement von M. S. Nikitchenko, O. S. Shkilniak, S. S. Shkilniak

Volltext

Elements of concrete algorithmics: computability and solvability von O. I. Provotar, O. O. Provotar

Volltext

Hybrid algorithm Newton method for solving systems of nonlinear equations with block Jacobi matrix von O. M. Khimich, V. A. Sydoruk, A. N. Nesterenko

Volltext

Decision support system for quality management in study process von N. O. Komleva, V. V. Liubchenko, S. L. Zinovatna

Volltext

Electronic demography decision making system von Ch. Nabibekova

Volltext

The impact of cloud services pricing on provider profit, consumer surplus, and social welfare von V. M. Horbachuk, S. O. Havrylenko

Volltext

Experience of the semantic technologies use for intelligent Web encyclopedia creation (on example of the Great Ukrainian Encyclopedia portal) von P. I. Andon, Yu. V. Rohushyna, Yu. Hryshanova, V. A. Reznichenko, A. M. Kyrydon, A. V. Aristova, A. O. Tyshchenko

Volltext

Knowledge bases and description logics applications to natural language texts analysis von H. I. Hoherchak

Volltext

Encryption system based on abelian groups and rings von S. L. Kryvyi

Volltext

Organizational and legal mechanisms of cybersecurity and cyber defense in Ukraine: essentiality, conditions and development prospects von A. I. Semenchenko, V. L. Pleskach, O. A. Zaiarnyi, M. V. Pleskach

Volltext

About an optimal control for a "predator-prey" system von S. V. Pashko

Volltext

Automated methods of coherence evaluation of Ukrainian texts using machine learning techniques von A. A. Kramov, S. D. Pohorilyi

Volltext

The practical aspect of using the artificial intellectual technology for building a multidimentional function CFAR for smart-handled LPI radar von M. Kosovets, L. Tovstenko

Volltext

Neural networks' learning process acceleration von L. Katerynych, M. Veres, E. Safarov

Volltext

Method of information obtaining from ontology on the basis of a natural language phrase analysis von A. A. Litvin, Ju. Velichko, V. V. Kaverinskij

Volltext

Efficient increasing of the mutation score during model-based test suite generation von A. Kolchin, S. Potienko, T. Weigert

Volltext