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

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

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

Georgy Ovsievich Tseitlin (1940-2013) by Board, Editorial

Composition and properties of data specified in compositional schemes of algorithms by Akulovsky, V.G., Doroshenko, A.Yu.

Conceptual models of distributed component systems by Lavrischeva, K.M., Kolesnyk, A.L.

Usage of modelling tools for determining optimal parameters of programme execution on video graphics accelerators by Doroshenko, A.Yu., Okonsky, I.V., Zhereb, K.A., Beketov, O.G.

Using Petri nets to design parallel applications by Pogorilyy, S.D., Vitel, D.Yu.

Analysis of storage and display frameworks based on aspect-oriented technologies by Glybovets, M.M., Gorochovskiy, S.S., Lysenko, І.M.

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

Integration of algorithm algebra and term rewriting tools for developing efficient parallel programmes by Yatsenko, O.A.

T-satisfiability test problem for the VL1 logical language of the VRS system by Timofeev, V.G.

Using ontological knowledge in recommender systems by Rogushina, J.V.

Service-oriented, distributed real-time systems in digital libraries by Novitsky, O.V.

To the problem of pursuit on the plane by Yalovets, A.L.

Construction of sequent calculi of composition-nominative multimodal logics by Shkilniak, O.S.

Partial evaluation in insertion modeling system by Peschanenko, V.S.

Role functionality of subjects of examination of the software of information-telekommunikatsion the systems by Alekseev, V.A., Tereschenko, V.S.

Semantic web and Wiki-systems by Glibovets, A.M., Glibovets, M.M., Pokopcev, D.E., Sydorenko, M.O.

An intellectual information technology for organizational decisions expert-analytical support by Ilyina, O.P., Sinitsyn, I.P., Slabospitska, O.O., Yablokova, T.L.

Implementation the concept of adaptive broadcast system and automatic preparation of content by Provotar, O.I., Zamihovskyy, A.A., Halkin, O.V., Veres, M.M., Katerynych, L.O.

Methods and ways for realization of the automated support testing of the integrated information security system by Koltyk, M. A.

Multiagent models based on fuzzy logic of the highest type for a high-performance environment by Parasyuk, I.N., Ershov, S.V.

Search Results - PROBLEMS IN PROGRAMMING

Georgy Ovsievich Tseitlin (1940-2013) by Board, Editorial

Composition and properties of data specified in compositional schemes of algorithms by Akulovsky, V.G., Doroshenko, A.Yu.

Conceptual models of distributed component systems by Lavrischeva, K.M., Kolesnyk, A.L.

Usage of modelling tools for determining optimal parameters of programme execution on video graphics accelerators by Doroshenko, A.Yu., Okonsky, I.V., Zhereb, K.A., Beketov, O.G.

Using Petri nets to design parallel applications by Pogorilyy, S.D., Vitel, D.Yu.

Analysis of storage and display frameworks based on aspect-oriented technologies by Glybovets, M.M., Gorochovskiy, S.S., Lysenko, І.M.

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

Integration of algorithm algebra and term rewriting tools for developing efficient parallel programmes by Yatsenko, O.A.

T-satisfiability test problem for the VL1 logical language of the VRS system by Timofeev, V.G.

Using ontological knowledge in recommender systems by Rogushina, J.V.

Service-oriented, distributed real-time systems in digital libraries by Novitsky, O.V.

To the problem of pursuit on the plane by Yalovets, A.L.

Construction of sequent calculi of composition-nominative multimodal logics by Shkilniak, O.S.

Partial evaluation in insertion modeling system by Peschanenko, V.S.

Role functionality of subjects of examination of the software of information-telekommunikatsion the systems by Alekseev, V.A., Tereschenko, V.S.

Semantic web and Wiki-systems by Glibovets, A.M., Glibovets, M.M., Pokopcev, D.E., Sydorenko, M.O.

An intellectual information technology for organizational de­cisions expert-analytical sup­port by Ilyina, O.P., Sinitsyn, I.P., Slabospitska, O.O., Yablokova, T.L.

Implementation the concept of ada­p­tive broadcast system and automatic pre­paration of content by Provotar, O.I., Zamihovskyy, A.A., Halkin, O.V., Ve­res, M.M., Katerynych, L.O.

Methods and ways for realization of the automated support testing of the integrated information security system by Koltyk, M. A.

Multiagent models based on fuzzy logic of the highest type for a high-performance environment by Parasyuk, I.N., Ershov, S.V.

Search Tools:

Refine Results

Institution

Format

Author

Language

Year of Publication

An intellectual information technology for organizational decisions expert-analytical support by Ilyina, O.P., Sinitsyn, I.P., Slabospitska, O.O., Yablokova, T.L.

Implementation the concept of adaptive broadcast system and automatic preparation of content by Provotar, O.I., Zamihovskyy, A.A., Halkin, O.V., Veres, M.M., Katerynych, L.O.