Результати пошуку - PROBLEMS IN PROGRAMMING :: Harvester open publications of NAS Ukraine

Рекомендовані теми у межах Вашого пошуку. Рекомендовані теми у межах Вашого пошуку.

426
UDC 681.3 134
УДК 681.3 134
ontology 43
онтологія 42
УДК 681.3.06 32
УДК 004.94 31
UDC 004.94 29
УДК 004.4 28
UDC 681.3.06 27
онтология 27
UDC 004.4 26
machine learning 26
машинне навчання 25
004.55 20
УДК 004.4'24 20
УДК 004.8 20
УДК 004.853 20
УДК 004.42:510.69 19
UDC 004.4'24 17
UDC 004.42:510.69 17
UDC 004.62 17
logic 17
UDC 004.8 16
УДК 004.62 16
УДК 004.424 15
УДК 004.7 15
дескриптивна логіка 15
логика 15
логіка 15

Application of Petri component nets in the checking task of parallel distributed systems за авторством Lukyanova, E.A.

КОМПЬЮТЕРНОЕ МОДЕЛИРОВАНИЕ ФИЗИОЛОГИЧЕСКИХ ПРОЦЕССОВ ОБЕСПЕЧЕНИЯ ДЕЯТЕЛЬНОСТИ ЧЕЛОВЕКА: КОНЦЕПЦИЯ И ПЕРСПЕКТИВЫ... за авторством Grygoryan, R.D.

Optimization of checking the feasibility of transitions when verifying formal models за авторством Kolchin, A.V.

Block algorithm for Householder transformations for hybrid architecture computers за авторством Popov, O.V., Rudich, O.V.

Traversal of arbitrary sequences of UCM symbolic transitions for test generation за авторством Guba, A.A.

An approach to behavioral software models refinement using design patterns за авторством Chebanyuk, O.B.

Рaradigms of programming assembling type in software engeneering за авторством Lavrischeva, E.M.

Regression testing: techniques and future research directions за авторством Moroz, H.B., Plys, A.B.

Static method of consistency and completeness checking in formal model of distributed software systems за авторством Kolchin, A.V., Letichevsky, O.O., Potiyenko, S.V.

Development and substantiation of algorithms based on semantic properties за авторством Kryvyi, S.L., Maksymets, O.M.

Matching data between electronic documents and database tables with automated SQL-query generation за авторством Marulin, S.Yu.

Formal semantics of aggregate operations of multiset table algebra за авторством Glushko, I.M.

Comparative characteristics of methods of object-relational mapping за авторством Lihatsky, I.A.

Increase the temporal efficiency of data structures in memory based on adaptation за авторством Shinkarenko, V.I., Zabula, G.V.

Mixed topic-entity ontology for enhanced topic vector-spaced model за авторством Shabinskiy, A.S.

Ontology-oriented data integration on the Semantic Web за авторством Chystyakova, I.S.

Medical-physiological simulators: the necessity and problems за авторством Grygoryan, R.D., Deriev, I.I., Aksenova, T.V., Lisov, A.N.

Error correcting code based on finite automaton and representation of numbers in the two-base numeration system за авторством Zavadskyi, I.O.

Methods of simulation of behavior of agents in multi-agent system “Navigation” за авторством Yalovets, A.L.

Development of formal models, algorithms, procedures, engineering and functioning of the software system “Instrumental complex for ontological engineering purpose” за авторством Palagin, O.V., Petrenko, M.G., Velychko, V.Yu., Malakhov, K.S.

Результати пошуку - PROBLEMS IN PROGRAMMING

Application of Petri component nets in the checking task of parallel distributed systems за авторством Lukyanova, E.A.

КОМПЬЮТЕРНОЕ МОДЕЛИРОВАНИЕ ФИЗИОЛОГИЧЕСКИХ ПРОЦЕССОВ ОБЕСПЕЧЕНИЯ ДЕЯТЕЛЬНОСТИ ЧЕЛОВЕКА: КОНЦЕПЦИЯ И ПЕРСПЕКТИВЫ... за авторством Grygoryan, R.D.

Optimization of checking the feasibility of transitions when verifying formal models за авторством Kolchin, A.V.

Block algorithm for Householder transformations for hybrid architecture computers за авторством Popov, O.V., Rudich, O.V.

Traversal of arbitrary sequences of UCM symbolic transitions for test generation за авторством Guba, A.A.

An approach to behavioral software models refinement using design patterns за авторством Chebanyuk, O.B.

Рaradigms of programming assembling type in software engeneering за авторством Lavrischeva, E.M.

Regression testing: techniques and future research directions за авторством Moroz, H.B., Plys, A.B.

Static method of consistency and completeness checking in formal model of distributed software systems за авторством Kolchin, A.V., Letichevsky, O.O., Potiyenko, S.V.

Development and substantiation of algorithms based on semantic properties за авторством Kryvyi, S.L., Maksymets, O.M.

Matching data between electronic documents and database tables with automated SQL-query generation за авторством Marulin, S.Yu.

Formal semantics of aggregate operations of multiset table algebra за авторством Glushko, I.M.

Comparative characteristics of methods of object-relational mapping за авторством Lihatsky, I.A.

Increase the temporal efficiency of data structures in memory based on adaptation за авторством Shinkarenko, V.I., Zabula, G.V.

Mixed topic-entity ontology for enhanced topic vector-spaced model за авторством Shabinskiy, A.S.

Ontology-oriented data integration on the Semantic Web за авторством Chystyakova, I.S.

Medical-physiological simulators: the necessity and problems за авторством Grygoryan, R.D., Deriev, I.I., Aksenova, T.V., Lisov, A.N.

Error correcting code based on finite automaton and representation of numbers in the two-base numeration system за авторством Zavadskyi, I.O.

Methods of simulation of behavior of agents in multi-agent system “Navigation” за авторством Yalovets, A.L.

Development of formal models, algorithms, procedures, engineering and functioning of the software system “Instrumental complex for ontological engineering purpose” за авторством Palagin, O.V., Petrenko, M.G., Velychko, V.Yu., Malakhov, K.S.

Інструменти для пошуку:

Уточнити результати

Репозитарії

Формат

Автор

Мова

Рік публікації