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

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

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

On the problem of object recognition on devices with limited resources за авторством Berdnyk, Y.M., Skotarenko, A.O.

First-order logics with partial predicates for checking variable definedness за авторством Shkilniak, S.S.

User-centric technology stack for weather and air pollution forecasting за авторством Doroshenko, A.Yu., Haidukevych, Y.O., Haidukevych, V.O., Zhyrenkov, O.S.

Software solution for electrocardiogram storage and analysis за авторством Yefremov, M.S., Krak, Yu.V.

Development of a module of sociopsychophysiological support for modern IT as a means of increasing the efficiency of individual and collective activities while preserving their... за авторством Kuzmina, K.I., Somik, T.M., Andon, A.P.

Simulating of human physiological supersystems: integrative function of organs supporting cell life за авторством Grygoryan, R.D., Degoda, A.B., Lyudovyk, T.V., Yurchak, O.I.

Functional stability of intelligent systems in decision-making за авторством Shuklin, G.V., Barabash, O.V., Grebennikov, A.B.

Description of the web service process. Tabular interpretation за авторством Reznichenko, V.A., Zakharova, O.V.

Ecosystem research in software engineering за авторством Sydorov, N.A.

Support for the management of variability in the family of software systems за авторством Kolesnik, A.L.

An efficient empirical method for file-level deduplication за авторством Pigovsky, Yu.R.

Injection of functional dependencies using inversion of control container за авторством Glybovets, M.M., Fedorchenko, V.M.

Quality evaluation of consolidated data за авторством Shahovska, N.B.

Creation model of threat and violations information for test object using ontology testing integrated information security system (IISS) за авторством Koltiik, M.A.

Information system for hostilities mechanized forces modelling based on ontology за авторством Oborska, O.V.

Conflict controlled network modeling: evolutionary games approach за авторством Ignatenko, O.P., Synetskyi, O.B.

Maximal time of pursuit for the strategy of parallel approach за авторством Pashko, S.V., Yalovets, A.L.

Building automated monitoring systems structural elements method MDP-planning за авторством Dosin, D.G., Yatsenko, A.O.

Logical view for construction-synthesis model of data structures за авторством Shynkarenko, V.I., Ilman, V.M., Zabulula, G.V.

First-order composition-nominative logics with generalized renominations за авторством Nikitchenko, M.S., Shkilniak, O.S., Shkilniak, S.S.

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

On the problem of object recognition on devices with limited resources за авторством Berdnyk, Y.M., Skotarenko, A.O.

First-order logics with partial predicates for checking variable definedness за авторством Shkilniak, S.S.

User-centric technology stack for weather and air pollution forecasting за авторством Doroshenko, A.Yu., Haidukevych, Y.O., Haidukevych, V.O., Zhyrenkov, O.S.

Software solution for electrocardiogram storage and analysis за авторством Yefremov, M.S., Krak, Yu.V.

Development of a module of sociopsychophysiological support for modern IT as a means of increasing the efficiency of individual and collective activities while preserving their... за авторством Kuzmina, K.I., Somik, T.M., Andon, A.P.

Simulating of human physiological supersystems: integrative function of organs supporting cell life за авторством Grygoryan, R.D., Degoda, A.B., Lyudovyk, T.V., Yurchak, O.I.

Functional stability of intelligent systems in decision-making за авторством Shuklin, G.V., Barabash, O.V., Grebennikov, A.B.

Description of the web service process. Tabular interpretation за авторством Reznichenko, V.A., Zakharova, O.V.

Ecosystem research in software engineering за авторством Sydorov, N.A.

Support for the management of variability in the family of software systems за авторством Kolesnik, A.L.

An efficient empirical method for file-level deduplication за авторством Pigovsky, Yu.R.

Injection of functional dependencies using inversion of control container за авторством Glybovets, M.M., Fedorchenko, V.M.

Quality evaluation of consolidated data за авторством Shahovska, N.B.

Creation model of threat and violations information for test object using ontology testing integrated information security system (IISS) за авторством Koltiik, M.A.

Information system for hostilities mechanized forces modelling based on ontology за авторством Oborska, O.V.

Conflict controlled network modeling: evolutionary games approach за авторством Ignatenko, O.P., Synetskyi, O.B.

Maximal time of pursuit for the strategy of parallel approach за авторством Pashko, S.V., Yalovets, A.L.

Building automated monitoring systems structural elements method MDP-planning за авторством Dosin, D.G., Yatsenko, A.O.

Logical view for construction-synthesis model of data structures за авторством Shynkarenko, V.I., Ilman, V.M., Zabulula, G.V.

First-order composition-nominative logics with generalized renominations за авторством Nikitchenko, M.S., Shkilniak, O.S., Shkilniak, S.S.

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

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

Репозитарії

Формат

Автор

Мова

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