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

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

416
UDC 681.3 130
УДК 681.3 130
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 25
машинне навчання 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

Equivalence of two parallel execution systems by Panchenko, T.V., Fabunmi, S.

Architecture of software system for hierarchical fuzzy inference by Yershov, S.V., Ponomarenko, R.М..

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

Interactive method for cumulative analysis of software formal models behavior by Kolchin, A.V.

Formal foundations for software model to model transformation operation by Chebanyuk, O.V.

Ontological similar systems for analysis of texts of natural language by Kryvyi, S.L., Darchuk, N.P., Provotar, A.I.

Optimal placement of a multi-sensor system by Pashko, S.V.

Automated extraction of structured information from a variety of web pages by Pogorilyy, S.D., Kramov, A.A.

About relationship between table algebra of infinite tables and multiset table algebra by Glushko, I.M.

Credibility of fuzziness: theory and application by Provotar, O.I., Provotar, O.O.

Information threats and security services by Antonyuk, A.A., Zhora, V.V., Mostovoy, V.N.

Characteristics for choice of models in the ansables classification by Barmak, O.V., Krak, Yu.V., Manziuk, E.A.

On the classes of causal networks, identifiable by simple independence tests by Balabanov, O.S.

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

Theoretical principles of use of ontologies for semantization of the Web resources by Rogushina, J.V.

Specification of the process of the semantic annotation the web services by Zakharova, O.V.

Mapping of the relational algebra to the description logic by Chystiakova, І.S.

Use of semantic technologies for dialogue between labor market subjects by Pryima, S.M., Rogushina, J.V., Strokan, O.V.

The system of models of domain "Software Metatechnology" by Morentsov, Y.I.

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

Search Results - PROBLEMS IN PROGRAMMING

Equivalence of two parallel execution systems by Panchenko, T.V., Fabunmi, S.

Architecture of software system for hierarchical fuzzy inference by Yershov, S.V., Ponomarenko, R.М..

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

Interactive method for cumulative analysis of software formal models behavior by Kolchin, A.V.

Formal foundations for software model to model transformation operation by Chebanyuk, O.V.

Ontological similar systems for analysis of texts of natural language by Kryvyi, S.L., Darchuk, N.P., Provotar, A.I.

Optimal placement of a multi-sensor system by Pashko, S.V.

Automated extraction of structured information from a variety of web pages by Pogorilyy, S.D., Kramov, A.A.

About relationship between table algebra of infinite tables and multiset table algebra by Glushko, I.M.

Credibility of fuzziness: theory and application by Provotar, O.I., Provotar, O.O.

Information threats and security services by Antonyuk, A.A., Zhora, V.V., Mostovoy, V.N.

Characteristics for choice of models in the ansables classification by Barmak, O.V., Krak, Yu.V., Manziuk, E.A.

On the classes of causal networks, identifiable by simple independence tests by Balabanov, O.S.

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

Theoretical principles of use of ontologies for semantization of the Web resources by Rogushina, J.V.

Specification of the process of the semantic annotation the web services by Zakharova, O.V.

Mapping of the relational algebra to the description logic by Chystiakova, І.S.

Use of semantic technologies for dialogue between labor market subjects by Pryima, S.M., Rogushina, J.V., Strokan, O.V.

The system of models of domain &quot;Software Metatechnology&quot; by Morentsov, Y.I.

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

Search Tools:

Refine Results

Institution

Format

Author

Language

Year of Publication

The system of models of domain "Software Metatechnology" by Morentsov, Y.I.