Extension of the program synthesis system to analyze large data sets за авторством O. M. Ovdii

Отримати повний текст

Game-theory analysis of multi-processor schedulers. Simulation model за авторством O. P. Ihnatenko, Ya. Odobesku

Отримати повний текст

Multi-level model of parallel computing for linear algebra problems за авторством O. V. Popov, O. V. Rudych, O. V. Chystiakov

Отримати повний текст

Equivalence of two parallel execution systems за авторством T. V. Panchenko, S. Fabunmi

Отримати повний текст

Architecture of software system for hierarhical fuzzy inference за авторством C. V. Yershov, R. M. Ponomarenko

Отримати повний текст

Use of metods of algebraic programming for the formal verification of legal acts за авторством V. Peschanenko, M. Poltorackiy

Отримати повний текст

Interactive method for cumulative analysis of software formal models behavior за авторством A. Kolchin

Отримати повний текст

Formal foundations for software model to model transformation operation за авторством O. V. Chebanyuk

Отримати повний текст

Ontological similar systems for analysis of texts of natural language за авторством S. L. Kryvyi, N. P. Darchuk, O. I. Provotar

Отримати повний текст

Minimax filtering of sequences with periodically stationary increments за авторством M. M. Luz, M. P. Mokliachuk

Отримати повний текст

Evaluation of diamond-coated tools in drilling high-strength CFRP composites за авторством J. Xu, L. Li, T. Lin, M. Chen

Отримати повний текст

Towards adaptation of the NURBS weights in shape optimization за авторством M. Ziani

Отримати повний текст

Optimal placement of a multi-sensor system за авторством S. V. Pashko

Отримати повний текст

Automated extraction of structured information from a variety of web pages за авторством S. D. Pohorilyi, A. A. Kramov

Отримати повний текст

About relationship between table algebra of infinite tables and multiset table algebra за авторством I. M. Hlushko

Отримати повний текст

Credibility of fuzziness: theory and application за авторством O. I. Provotar, O. O. Provotar

Отримати повний текст

Characteristics for choice of models in the ansables classification за авторством O. V. Barmak, Yu. V. Krak, E. A. Manziuk

Отримати повний текст

On the classes of causal networks, identifiable by simple independence tests за авторством O. S. Balabanov

Отримати повний текст

Predicting the probability of exceeding critical system thresholds за авторством P. Krammer, M. Kvassay, L. Hluchэ

Отримати повний текст

Theoretical principles of use of ontologies for semantization of the Web resources за авторством Yu. V. Rohushyna

Отримати повний текст