Search Results - PROBLEMS IN PROGRAMMING :: Harvester open publications of NAS Ukraine

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

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

Simulations of hypertrophied heart’s hemodynamics by Grygoryan, R.D., Aksenova, T.V.

The practice investigation of the information technology efficiency for automated definition of terms in the semantic content of educational materials by Krak, Yu.V., Barmak, O.V., Mazurets, O.V.

Fundamentals for Cost Estimating of Applied Software Development and Modification by Andon, P.I., Ignatenko, P.P., Sinitsyn, I.P., Slabospitskaya, O.A.

The completeness of the algorithm algebra with data by Akulovskiy, V.G., Doroshenko, А.Yu., Yatsenko, O.A.

DS-theory. The research of P-data factors formating by Kolesnyk, V.G.

Problems and tools of designing and estimation of viable program system by Ignatenko, P.P., Byistrov, V.M., Ignatenko, O.P., Tkachenko, V.M.

Hybrid autotuning model with statistic modelling by Doroshenko, А.Yu., Ivanenko, P.A., Novak, O.S.

Evolutionary games in TCP networks with speed restriction policies by Ignatenko, O.P., Molchanov, O.A.

Software SERC for Monte Carlo Error analysis of fault-tolerant multiprocessor systems reliability estimation by Feseniuk, A.P.

Integration of the description logics with operations at role constructors into relational data model by Chystiakova, I.S.

Methods and Models for Employment of the Expert Analytical Knowledge in Organization Decision Making. Part II. The Ontological relations and the decisions field coherency analysis by Ilina, E.P.

Use of ontological analysis for competence evaluation of scientists in a particular subject domain by Rogushina, J.V.

Information security policy in the systems of information and analytical maintenance for support of organizational decisions by Churubrova, S.M.

Analysis of Genetic Algorithms for solving the 2D Orthogonal Strip Packing Problem by Glybovets, M.M., Gulayeva, N.M., Morozov, I.O.

DS-theory. Scientific aspects and prospects for development by Kolesnyk, V.G.

Logical consequence relations in logics of monotone predicates and logics of antitone predicates by Shkilniak, O.S.

Organization of the Schemes of Interaction of Departmental Information Systems in the Integrated Interdepartmental Information System by Alekseev, V.A., Ilyin, S.A., Myagkova, L.A., Tereshchenko, V.S.

Classification of means and methods of the Web semantic retrieval by Rogushina, J.V.

Integration of the description logics axiomatic into relational data model by Chystiakova, I.S.

Method of parallelization of loops for grid calculation problems on GPU accelerators by Doroshenko, А.Yu., Beketov, O.G.

Search Results - PROBLEMS IN PROGRAMMING

Simulations of hypertrophied heart’s hemodynamics by Grygoryan, R.D., Aksenova, T.V.

The practice investigation of the information technology efficiency for automated definition of terms in the semantic content of educational materials by Krak, Yu.V., Barmak, O.V., Mazurets, O.V.

Fundamentals for Cost Estimating of Applied Software Development and Modification by Andon, P.I., Ignatenko, P.P., Sinitsyn, I.P., Slabospitskaya, O.A.

The completeness of the algorithm algebra with data by Akulovskiy, V.G., Doroshenko, А.Yu., Yatsenko, O.A.

DS-theory. The research of P-data factors formating by Kolesnyk, V.G.

Problems and tools of designing and estimation of viable program system by Ignatenko, P.P., Byistrov, V.M., Ignatenko, O.P., Tkachenko, V.M.

Hybrid autotuning model with statistic modelling by Doroshenko, А.Yu., Ivanenko, P.A., Novak, O.S.

Evolutionary games in TCP networks with speed restriction policies by Ignatenko, O.P., Molchanov, O.A.

Software SERC for Monte Carlo Error analysis of fault-tolerant multiprocessor systems reliability estimation by Feseniuk, A.P.

Integration of the description logics with operations at role constructors into relational data model by Chystiakova, I.S.

Methods and Models for Employment of the Expert Analytical Knowledge in Organization Decision Making. Part II. The Ontological relations and the decisions field coherency analysis by Ilina, E.P.

Use of ontological analysis for competence evaluation of scientists in a particular subject domain by Rogushina, J.V.

Information security policy in the systems of information and analytical maintenance for support of organizational decisions by Churubrova, S.M.

Analysis of Genetic Algorithms for solving the 2D Orthogonal Strip Packing Problem by Glybovets, M.M., Gulayeva, N.M., Morozov, I.O.

DS-theory. Scientific aspects and prospects for development by Kolesnyk, V.G.

Logical consequence relations in logics of monotone predicates and logics of antitone predicates by Shkilniak, O.S.

Organization of the Schemes of Interaction of Departmental Information Systems in the Integrated Interdepartmental Information System by Alekseev, V.A., Ilyin, S.A., Myagkova, L.A., Tereshchenko, V.S.

Classification of means and methods of the Web semantic retrieval by Rogushina, J.V.

Integration of the description logics axiomatic into relational data model by Chystiakova, I.S.

Method of parallelization of loops for grid calculation problems on GPU accelerators by Doroshenko, А.Yu., Beketov, O.G.

Search Tools:

Refine Results

Institution

Format

Author

Language

Year of Publication