Search Results - International Institute for Software Technology :: Harvester open publications of NAS Ukraine

Suggested Topics within your search. Suggested Topics within your search.

14
ontology 8
онтологія 8
UDC 681.3 6
УДК 681.3 6
онтология 6
UDC 004.94 5
УДК 004.94 5
інженерія програмного забезпечення 5
004.55 4
software engineering 4
УДК 004.853 4
екосистема програмного забезпечення 4
Semantic Web 3
UDC 004.4 3
UDC 004.415.2.045 (076.5) 3
UDC 517.958:57 +519.711.3 + 612.51.001 3
UDC 517.9:621.325.5:621.382.049.77 3
UDC 519.85 3
active 3
arrays 3
deductive 3
distributed 3
life cycle 3
model 3
moving objects 3
multidimensional 3
navigational 3
network 3
object-relational 3

Застосування ГІС-технологій для обліку плюсових дерев by Zhadan, I. B., Los, S. A., Torosova, L. O., Plotnikova, O. M., Grygoryeva, V. G.

Models and methods for automated analytic support of the organization decisions field by Ilina, E.P., Synitsyn, I.P.

Оцінка ефективності впровадження парогазових і ЦКШ-технологій на ТЕС України by Kesova L.O., Kobernik V.S., Sokolovska I.S.

Research and development workstation environment: the new class of Current Research Information Systems by Palagin, O.V., Velychko, V.Yu., Malakhov, K.S., Shchurov, O.S.

Deductive verification of requirements for event-driven architecture by Letichevsky, A.A., Letichevsky, O.O., Peschanenko, V.S., Guba, A.A.

Distributional semantic modeling: a revised technique to train term/word vector space models applying the ontology-related approach by Palagin, O.V., Velychko, V.Yu., Malakhov, K.S., Shchurov, O.S.

Management of the coordination process in sociotechnical system by Girchenko, L.A., Doroshenko, А.Yu., Ziubrytska, Y.V.

A dialogue system based on ontology automatically built through a natural language text analysis by Litvin, A.A., Velychko, V.Yu., Kaverynskyi, V.V.

Application of deep learning and computer vision frameworks for solving video context prediction problem by Voloshyn, D.

Formal semantics and analysis of tokenomics properties by Letychevskyi, O.O., Peschanenko, V.S., Poltorackiy, M.Yu., Tarasich, Yu.H., Vinnyk, M.O.

Digital health systems: SMART-system for remote support of hybrid E-rehabilitation services and activities by Palagin, O.V., Malakhov, K.S., Velychko, V.Yu., Semykopna, T.V., Shchurov, O.S.

Predicting the Probability of Exceeding Critical System Thresholds by Krammer, P., Kvassay, M., Hluchý, L.

Use of methods of algebraic programming for the formal verification of legal acts by Peschanenko, V.S., Poltoratskiy, M.

Reputation-based secyrity for heterogtneous structurally complex systems by Kussul, O.M.

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

Algebraic approach to the analysis of legal documents by Letychevskyi, O.O., Peschanenko, V.S., Poltorackiy, M. Yu.

Artificial intelligence in cloud-based mobile radar computing by Коsovets, M., Tovstenko, L.

A resource limited parallel program model by Rahozin, D.V.

Specialised computer simulator "SimEnPhysiol" by Grygoryan, R.D., Aksonova, T.V., Degoda, A.G.

Search Results - International Institute for Software Technology

Застосування ГІС-технологій для обліку плюсових дерев by Zhadan, I. B., Los, S. A., Torosova, L. O., Plotnikova, O. M., Grygoryeva, V. G.

Models and methods for automated analytic support of the organization decisions field by Ilina, E.P., Synitsyn, I.P.

Оцінка ефективності впровадження парогазових і ЦКШ-технологій на ТЕС України by Kesova L.O., Kobernik V.S., Sokolovska I.S.

Research and development workstation environment: the new class of Current Research Information Systems by Palagin, O.V., Velychko, V.Yu., Malakhov, K.S., Shchurov, O.S.

Deductive verification of requirements for event-driven architecture by Letichevsky, A.A., Letichevsky, O.O., Peschanenko, V.S., Guba, A.A.

Distributional semantic modeling: a revised technique to train term/word vector space models applying the ontology-related approach by Palagin, O.V., Velychko, V.Yu., Malakhov, K.S., Shchurov, O.S.

Management of the coordination process in sociotechnical system by Girchenko, L.A., Doroshenko, А.Yu., Ziubrytska, Y.V.

A dialogue system based on ontology automatically built through a natural language text analysis by Litvin, A.A., Velychko, V.Yu., Kaverynskyi, V.V.

Application of deep learning and computer vision frameworks for solving video context prediction problem by Voloshyn, D.

Formal semantics and analysis of tokenomics properties by Letychevskyi, O.O., Peschanenko, V.S., Poltorackiy, M.Yu., Tarasich, Yu.H., Vinnyk, M.O.

Digital health systems: SMART-system for remote support of hybrid E-rehabilitation services and activities by Palagin, O.V., Malakhov, K.S., Velychko, V.Yu., Semykopna, T.V., Shchurov, O.S.

Predicting the Probability of Exceeding Critical System Thresholds by Krammer, P., Kvassay, M., Hluchý, L.

Use of methods of algebraic programming for the formal verification of legal acts by Peschanenko, V.S., Poltoratskiy, M.

Reputation-based secyrity for heterogtneous structurally complex systems by Kussul, O.M.

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

Algebraic approach to the analysis of legal documents by Letychevskyi, O.O., Peschanenko, V.S., Poltorackiy, M. Yu.

Artificial intelligence in cloud-based mobile radar computing by Коsovets, M., Tovstenko, L.

A resource limited parallel program model by Rahozin, D.V.

Specialised computer simulator &quot;SimEnPhysiol&quot; by Grygoryan, R.D., Aksonova, T.V., Degoda, A.G.

Search Tools:

Refine Results

Institution

Format

Author

Language

Year of Publication

Specialised computer simulator "SimEnPhysiol" by Grygoryan, R.D., Aksonova, T.V., Degoda, A.G.