Cluster solution the problem of the diffraction elastic waves by a system of rigid cylindrical inclusions of arbitrary cross section by Panchenko, B.E., Sayko, I.N.

Get full text

Application of Petri component nets in the checking task of parallel distributed systems by Lukyanova, E.A.

Get full text

Traversal of arbitrary sequences of UCM symbolic transitions for test generation by Guba, A.A.

Get full text

An approach to behavioral software models refinement using design patterns by Chebanyuk, O.B.

Get full text

Рaradigms of programming assembling type in software engeneering by Lavrischeva, E.M.

Get full text

Regression testing: techniques and future research directions by Moroz, H.B., Plys, A.B.

Get full text

Static method of consistency and completeness checking in formal model of distributed software systems by Kolchin, A.V., Letichevsky, O.O., Potiyenko, S.V.

Get full text

Development and substantiation of algorithms based on semantic properties by Kryvyi, S.L., Maksymets, O.M.

Get full text

Matching data between electronic documents and database tables with automated SQL-query generation by Marulin, S.Yu.

Get full text

Formal semantics of aggregate operations of multiset table algebra by Glushko, I.M.

Get full text

Mixed topic-entity ontology for enhanced topic vector-spaced model by Shabinskiy, A.S.

Get full text

Ontology-oriented data integration on the Semantic Web by Chystyakova, I.S.

Get full text

Medical-physiological simulators: the necessity and problems by Grygoryan, R.D., Deriev, I.I., Aksenova, T.V., Lisov, A.N.

Get full text

Development of formal models, algorithms, procedures, engineering and functioning of the software system “Instrumental complex for ontological engineering purpose” by Palagin, O.V., Petrenko, M.G., Velychko, V.Yu., Malakhov, K.S.

Get full text

Mathematical foundations for designing and development of intelligent systems of information analysis by Terletskyi, D.O., Provotar, O.I.

Get full text

Designing of the specialized computer system for making pulmonology diagnosis by Komlevaya, N.O., Komlevoy, A.N., Chernega, K.S.

Get full text

Algorithm for constructing six-dimensional tensor for the problem finding hidden semantic relations into the case of natural language texts by Voznyuk, T.G.

Get full text

Software architectural design for the interactive learning of sign language by Kryvonos, Yu.G., Krak, Yu.V., Ternov, A.S., Lisnyak, M.P.

Get full text

The constructional knowledge of sets and their properties by Ilman, V.M., Shinkarenko, V.I.

Get full text

Designers sets and multisets of objects by Terletskyi, D.O.

Get full text