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

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

283
УДК 681.3 91
UDC 681.3 90
ontology 43
онтологія 42
УДК 004.94 30
UDC 004.94 28
онтология 27
УДК 004.4 26
UDC 004.4 23
machine learning 23
машинне навчання 23
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

The algebraic model refactoring of components за авторством Grischenko, V.N.

Logics of general non-deterministic predicates: semantic aspects за авторством Nikitchenko, M.S., Shkilniak, О.S., Shkilniak, S.S.

Parallel software auto-tuning using statistical modeling and machine learning за авторством Doroshenko, А.Yu., Ivanenko, P.A., Novak, O.S., Yatsenko, O.A.

Parallel algorithms for the solving both of non-linear systems and initial-value problems for systems of ordinary differential equations on multi-core computers with processors Int... за авторством Gerasimova, T.O., Nesterenko, A.N.

System aspects of design guaranteased cloud calculations за авторством Kosovets, N.A., Shchetynin, I.E., Tovstenko, L.N.

Extension of the program synthesis system to analyze large data sets за авторством Ovdii, O.M.

Game-theory analysis of multi-processor schedulers. Simulation model за авторством Ignatenko, O.P., Odobesku, V.I.

Multi-level model of parallel computing for linear algebra problems за авторством Popov, A.V., Rudich, O.V., Chystiakov, A.V.

Application of problem domain ontological description for relevantness increasing of informational retrieval за авторством Rogushina, J.V.

Equivalence of two parallel execution systems за авторством Panchenko, T.V., Fabunmi, S.

Architecture of software system for hierarchical fuzzy inference за авторством Yershov, S.V., Ponomarenko, R.М..

Use of methods of algebraic programming for the formal verification of legal acts за авторством Peschanenko, V.S., Poltoratskiy, M.

Interactive method for cumulative analysis of software formal models behavior за авторством Kolchin, A.V.

Formal foundations for software model to model transformation operation за авторством Chebanyuk, O.V.

Ontological similar systems for analysis of texts of natural language за авторством Kryvyi, S.L., Darchuk, N.P., Provotar, A.I.

Optimal placement of a multi-sensor system за авторством Pashko, S.V.

Automated extraction of structured information from a variety of web pages за авторством Pogorilyy, S.D., Kramov, A.A.

About relationship between table algebra of infinite tables and multiset table algebra за авторством Glushko, I.M.

Credibility of fuzziness: theory and application за авторством Provotar, O.I., Provotar, O.O.

Information threats and security services за авторством Antonyuk, A.A., Zhora, V.V., Mostovoy, V.N.

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

The algebraic model refactoring of components за авторством Grischenko, V.N.

Logics of general non-deterministic predicates: semantic aspects за авторством Nikitchenko, M.S., Shkilniak, О.S., Shkilniak, S.S.

Parallel software auto-tuning using statistical modeling and machine learning за авторством Doroshenko, А.Yu., Ivanenko, P.A., Novak, O.S., Yatsenko, O.A.

Parallel algorithms for the solving both of non-linear systems and initial-value problems for systems of ordinary differential equations on multi-core computers with processors Int... за авторством Gerasimova, T.O., Nesterenko, A.N.

System aspects of design guaranteased cloud calculations за авторством Kosovets, N.A., Shchetynin, I.E., Tovstenko, L.N.

Extension of the program synthesis system to analyze large data sets за авторством Ovdii, O.M.

Game-theory analysis of multi-processor schedulers. Simulation model за авторством Ignatenko, O.P., Odobesku, V.I.

Multi-level model of parallel computing for linear algebra problems за авторством Popov, A.V., Rudich, O.V., Chystiakov, A.V.

Application of problem domain ontological description for relevantness increasing of informational retrieval за авторством Rogushina, J.V.

Equivalence of two parallel execution systems за авторством Panchenko, T.V., Fabunmi, S.

Architecture of software system for hierarchical fuzzy inference за авторством Yershov, S.V., Ponomarenko, R.М..

Use of methods of algebraic programming for the formal verification of legal acts за авторством Peschanenko, V.S., Poltoratskiy, M.

Interactive method for cumulative analysis of software formal models behavior за авторством Kolchin, A.V.

Formal foundations for software model to model transformation operation за авторством Chebanyuk, O.V.

Ontological similar systems for analysis of texts of natural language за авторством Kryvyi, S.L., Darchuk, N.P., Provotar, A.I.

Optimal placement of a multi-sensor system за авторством Pashko, S.V.

Automated extraction of structured information from a variety of web pages за авторством Pogorilyy, S.D., Kramov, A.A.

About relationship between table algebra of infinite tables and multiset table algebra за авторством Glushko, I.M.

Credibility of fuzziness: theory and application за авторством Provotar, O.I., Provotar, O.O.

Information threats and security services за авторством Antonyuk, A.A., Zhora, V.V., Mostovoy, V.N.

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

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

Репозитарії

Формат

Автор

Мова

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