Search Results - "UDC 681.3.06" :: Harvester open publications of NAS Ukraine

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

УДК 681.3.06 27
UDC 681.3.06 26
21
fuzzy inference 2
нечеткий логический вывод 2
нечітке логічне виведення 2
519.76 1
Bayesian network 1
CUDA 1
GPU acelerators 1
NLP 1
NLU 1
SPARQL 1
Takagi – Sugeno system 1
UDC 681.3.06 1
assessment 1
complex system 1
critical infrastructure 1
dependency graph 1
dynamic scheme of computing 1
ecological and man-made threats 1
fuzzy Bayesian network 1
fuzzy Takagi – Sugeno systems 1
fuzzy logic 1
fuzzy probability 1
graph topology 1
intelligent system 1
junction tree 1
mathematical model 1
moral graph 1

Towards a possible Background for Synthesis of Programs with Reassignment of the non-monotone deductive System by Prihodko, P.P.

Development of a spiral model of life cycle of the program systems by Alekseev, V.A., Tereshchenko, V.S.

Применение статистических моделей в инженерии качества процессов производства программных систем... by Matveeva, L.Е., Gorislavets, T.N.

Тechnology of security confidential information from inside threats by Antoniuk, A.A., Portyanoy, V.S., Shylin, V.P.

One of Approaches to maintenance inter-connection environments Visual Studio and Eclipse by Radetskyi, I.O.

Approaches to configuring reusable assets by Kolesnik, A.L.

Relations of logical consequence in composition nominative logics by Shkilnyak, S.S.

Variability assurance mechanisms in Software Product Line by Kolesnik, A.L.

The descriptive foundations of the ontological platform by Redko, V.N, Redko, I.V., Grishko, V.N.

Compositional-nominative modal logics of the functional-equational level by Shkilniak, O.S.

Problem of reengineering of legacy-software systems by Pashkovets, N.D., Babak, O.V.

Engineering of software development processes quality by means of Petri Nets by Matveeva, L.E.

Fuzzy models of multiagent systems in distributed environment by Parasyuk, I.N., Ershov, S.V.

Specification Based Program Construction and Verification in Composition-Nominative Language CNLS by Bezverha, M.A., Protsyk, P.P.

Query optimization from DL/1 (IMS) to sol by Anisimov, A.V., Kulyabko, O.P., Kulyabko, P.P., Marchenko, O.O.

System of the automated carrying over of contents electronic documents in DB IS by Blazhko, A.A., Marulin, S.Yu., Dunko, Yu.A.

Automated creation of rules fo data access control by resources using DBMS by Blazhko, A.A., Saud, Ibaa

Modelling technology based on fuzzy Bayesian belief networks by Parasyuk, I.M., Kostukevich, F.V.

Semantic properties of composition nominative modal logics by Shkilnyak, O.S.

Specialities of management processes in case of software systems families creation by Lavrischeva, К.М., Koval, G.I., Slabospickaya, О.A., Kolesnik, A.L.

Search Results - "UDC 681.3.06"

Towards a possible Background for Synthesis of Programs with Reassignment of the non-monotone deductive System by Prihodko, P.P.

Development of a spiral model of life cycle of the program systems by Alekseev, V.A., Tereshchenko, V.S.

Применение статистических моделей в инженерии качества процессов производства программных систем... by Matveeva, L.Е., Gorislavets, T.N.

Тechnology of security confidential information from inside threats by Antoniuk, A.A., Portyanoy, V.S., Shylin, V.P.

One of Approaches to maintenance inter-connection environments Visual Studio and Eclipse by Radetskyi, I.O.

Approaches to configuring reusable assets by Kolesnik, A.L.

Relations of logical consequence in composition nominative logics by Shkilnyak, S.S.

Variability assurance mechanisms in Software Product Line by Kolesnik, A.L.

The descriptive foundations of the ontological platform by Redko, V.N, Redko, I.V., Grishko, V.N.

Compositional-nominative modal logics of the functional-equational level by Shkilniak, O.S.

Problem of reengineering of legacy-software systems by Pashkovets, N.D., Babak, O.V.

Engineering of software development processes quality by means of Petri Nets by Matveeva, L.E.

Fuzzy models of multiagent systems in distributed environment by Parasyuk, I.N., Ershov, S.V.

Specification Based Program Construction and Verification in Composition-Nominative Language CNLS by Bezverha, M.A., Protsyk, P.P.

Query optimization from DL/1 (IMS) to sol by Anisimov, A.V., Kulyabko, O.P., Kulyabko, P.P., Marchenko, O.O.

System of the automated carrying over of contents electronic documents in DB IS by Blazhko, A.A., Marulin, S.Yu., Dunko, Yu.A.

Automated creation of rules fo data access control by resources using DBMS by Blazhko, A.A., Saud, Ibaa

Modelling technology based on fuzzy Bayesian belief networks by Parasyuk, I.M., Kostukevich, F.V.

Semantic properties of composition nominative modal logics by Shkilnyak, O.S.

Specialities of management processes in case of software systems families creation by Lavrischeva, К.М., Koval, G.I., Slabospickaya, О.A., Kolesnik, A.L.

Search Tools:

Refine Results

Institution

Format

Author

Language

Year of Publication