Construction of pursuit strategies with using Lyapunov functions von Pashko, S.V.

Volltext

Algorithm for automatic loop parallelization for graphics processing units von Doroshenko, А.Yu., Yatsenko, O.A., Beketov, O.G.

Volltext

The definition of formal languages in the meta language of normal forms of knowledge von Kurgaev, A.F., Grygoryev, S.M.

Volltext

Reference model for Semantic Web adaptive composite service von Slabospitskaya, О.A.

Volltext

Defining and resolving Web-services discovery problems using description logics formalism von Zakharova, O.V.

Volltext

A simulator of a pulsatile heart von Grygoryan, R.D., Degoda, A.G., Dzhurinsky, E.A., Kharsun, D.S.

Volltext

The usage of computer vision in the system of digital cutting of materials von Tumanov, V.V., Doroshenko, А.Yu.

Volltext

Pure first-order quasiary logics with equality predicates von Nikitchenko, M.S., Shkilniak, S.S.

Volltext

On the possibility of a systematic study of the production management systems von Kolesnyk, V.G.

Volltext

Use of domain ontology for homonymy clarification into the natural language texts von Lesko, O.N., Rogushina, J.V.

Volltext

Designing and program implementation of the subsystem for creation and use of the ontological knowledge base of the scientific employee publications von Palagin, O.V., Malahov, K.S., Velychko, V.Yu., Shchurov, O.S.

Volltext

Use of ontological knowledge by intelligent agents von Rogushina, J.V.

Volltext

The concept of intellectualized creation of service-oriented technologies of software development in the semantic web environment von Morentsov, Y.I.

Volltext

Propositional logics of partial predicates with composition of predicate complement von Nikitchenko, M.S., Shkilniak, O.S., Shkilniak, S.S., Mamedov, T.A.

Volltext

Deviant truth-values algebras and deviant classes of general non-deterministic predicates 14 Software environment and tools von Shkilniak, O.S.

Volltext

Automated design of OpenCL programs based on algebra-algorithmic approach von Doroshenko, А.Yu., Bondarenko, M.M., Yatsenko, O.A.

Volltext

Means and methods of the unstructured data analysis von Rogushina, J.V.

Volltext

TermWare3 – term rewriting system, based on context-term calculus von Shevchenko, R.S., Doroshenko, A.Yu.

Volltext

Methods of recognition by the agent of the unknown environment von Yalovets, A.L.

Volltext

A simulator of mechanisms of acute control of human hemodynamics von Grygoryan, R.D., Degoda, A.G., Kharsun, V.S., Dzhurinsky, E.A.

Volltext