The implementation of the universal solver based on adaptive logical conclusion with linear complexity and cloud technologies by M. O. Chibirova, G. S. Sergushin, O. O. Varlamov, D. V. Eliseev, A. M. Khadiev

Get full text

Neural Nets Usage for Problems of Hiding Data in Audio Signal by G. Koziel

Get full text

Knowledge Base Filtration by V. P. Burdaev

Get full text

Control of Protection of Confidental Information for Input from the PS Keyboard by V. A. Dmitriev, A. B. Stepanjan, V. K. Fisenko

Get full text

On a Method for Cover Images Steganalysis by I. V. Shvidchenko

Get full text

Subjective Entropy Maximum Principle for Preferences Functions of Alternatives Given in the View of Logical Conditions by A. V. Goncharenko

Get full text

Mathematical Model of the Method of Comparison in a Dynamic System by V. A. Afanasev, Ju. V. Natalukha, V. V. Tokarev, Ju. E. Khoroshajlo

Get full text

Assessment of the current state of water pollution of Kyiv City lakes by the content of petroleum products by L. O. Horbatiuk, O. O. Pasichna, M. O. Platonov, S. P. Burmistrenko, T. I. Bilyk

Get full text

Comprehensive Computer Modeling of Understanding of Texts, Images and Speech Based on Mivar by O. O. Varlamov, L. E. Adamova, D. V. Eliseev, Ju. I. Majboroda, P. D. Antonov, G. S. Sergushin, M. O. Chibirova

Get full text

Artificial Intelligence Systems and possibility of their connection with creative thinking processes by V. A. Nastasenko, E. V. Nastasenko

Get full text

Brain and Artificial Neural Networks by V. V. Storozh

Get full text

Modeling of artificial intelligence. Intelligent data analysis by S. V. Tereshchenko

Get full text

The Method of Construction of Intelligent Problem Solver's Design Representations from the Models of Life Cycle Initial Stages by E. A. Shalfeeva

Get full text

Construction of Sequent Calculi for First-order Logics of Quasiary Predicates by S. S. Shkilniak

Get full text

Parametric Equations of a Plane and the Problem of Description of Plane Curves in Space R3 by I. V. Petrenko, L. P. Mironenko

Get full text

Symbolic Modeling of Basic Protocols Systems with Arbitrary Number of Agents by S. V. Potiyenko

Get full text

Simulation Model of Vector Processor Solving the Problem of Path Finding in Graph by N. L. Verenik, A. I. Girel, E. N. Sejtkulov, M. M. Tatur

Get full text

The Algorithm of Artificial Immune System Simulation with Saaty Selection Operator and One-dimensional Local Search by T. A. Zheldak, V. V. Sliesariev

Get full text

Predictive model of organic matter concentration in Eastern Siberian rivers under climate change by O. I. Habysheva, V. A. Habyshev

Get full text

A method for reduction of analyzed behavior space during verification of formal models of distributed software systems by A. V. Kolchin

Get full text