Software SERC for Monte Carlo Error analysis of fault-tolerant multiprocessor systems reliability estimation von Feseniuk, A.P.

Volltext

Integration of the description logics with operations at role constructors into relational data model von Chystiakova, I.S.

Volltext

Methods and Models for Employment of the Expert Analytical Knowledge in Organization Decision Making. Part II. The Ontological relations and the decisions field coherency analysis von Ilina, E.P.

Volltext

Use of ontological analysis for competence evaluation of scientists in a particular subject domain von Rogushina, J.V.

Volltext

Information security policy in the systems of information and analytical maintenance for support of organizational decisions von Churubrova, S.M.

Volltext

Analysis of Genetic Algorithms for solving the 2D Orthogonal Strip Packing Problem von Glybovets, M.M., Gulayeva, N.M., Morozov, I.O.

Volltext

DS-theory. Scientific aspects and prospects for development von Kolesnyk, V.G.

Volltext

Logical consequence relations in logics of monotone predicates and logics of antitone predicates von Shkilniak, O.S.

Volltext

Organization of the Schemes of Interaction of Departmental Information Systems in the Integrated Interdepartmental Information System von Alekseev, V.A., Ilyin, S.A., Myagkova, L.A., Tereshchenko, V.S.

Volltext

Classification of means and methods of the Web semantic retrieval von Rogushina, J.V.

Volltext

Integration of the description logics axiomatic into relational data model von Chystiakova, I.S.

Volltext

Method of parallelization of loops for grid calculation problems on GPU accelerators von Doroshenko, А.Yu., Beketov, O.G.

Volltext

About technologies of use of external data on creating and editing of encyclopedic texts von Proskudina, G.Yu., Kudim, K.A.

Volltext

The architecture and functionality of the multi-agent system Navigation von Yalovets, A.L.

Volltext

Principles and analytical tools for reconstruction of probabilistic dependency structures in special class von Balabanov, O.S.

Volltext

Appliсation of the phase correlation algorithm and its extension in the optical stabilizer of unmanned aerial vehicles von Dreval, O.L., Doroshenko, А.Yu.

Volltext

Algebras of general non-deterministic predicates von Nikitchenko, M.S., Shkilniak, O.S., Shkilniak, S.S.

Volltext

Towards a possible Background for Synthesis of Programs with Reassignment of the non-monotone deductive System von Prihodko, P.P.

Volltext

Semantic properties of five-valued logics von Nikitchenko, M.S., Shyshatska, E.V.

Volltext

Algorithm for automatic loop parallelization for graphics processing units von Doroshenko, A.Yu., Achour, I.Z.

Volltext