Результати пошуку - UDC 004.432~ :: Harvester open publications of NAS Ukraine

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

UDC 004.42:510.69 9
УДК 004.42:510.69 9
logic 8
logical consequence 8
логика 8
логічний наслідок 8
логическое следствие 7
логіка 7
предикат 6
predicate 5
decision support system 4
електронний пучок 4
моделювання 4
architecture 3
electron beam 3
equality 3
interpolation 3
mathematical model 3
modeling 3
optimization 3
ravine function 3
root-polynomial function 3
архітектура 3
електронно-променеві технології 3
коренево-поліноміальна функція 3
математична модель 3
оптимізація 3
равенство 3
секвенційне числення 3
яружна функція 3

Peculiarities of Computer Modeling of Thought Dissemination in Society on the Example of Student Society за авторством Shevchenko, V.V., Berestov, D.S., Sinitsyn, I.P., Petrivskyi, V.Y.

A tool to measure Fortran source code metrics using syntax analysis за авторством Pokrovskyi, A.M.

Algorithm and software for determining a musical genre by lyrics to create a song hit за авторством Triantafillu, A.A., Mateshko, M.A., Shevchenko, V.L., Sinitsyn, І.P.

Logical consequence relations in logics of monotone predicates and logics of antitone predicates за авторством Shkilniak, O.S.

Application of deep learning and computer vision frameworks for solving video context prediction problem за авторством Voloshyn, D.

Intonation expressiveness of the text at program sounding за авторством Shevchenko, V.L., Lazorenko, Y.S., Borovska, O.M.

First-order composition-nominative logics with predicates of weak equality and of strong equality за авторством Shkilniak, S.S.

Pure first-order logics of quasiary predicates за авторством Nikitchenko, M.S., Shkilniak, О.S., Shkilniak, S.S.

Pure first-order quasiary logics with equality predicates за авторством Nikitchenko, M.S., Shkilniak, S.S.

On the possibility of a systematic study of the production management systems за авторством Kolesnyk, V.G.

The concept of intellectualized creation of service-oriented technologies of software development in the semantic web environment за авторством Morentsov, Y.I.

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

Propositional logics of partial predicates with composition of predicate complement за авторством Nikitchenko, M.S., Shkilniak, O.S., Shkilniak, S.S., Mamedov, T.A.

Deviant truth-values algebras and deviant classes of general non-deterministic predicates 14 Software environment and tools за авторством Shkilniak, O.S.

Relations of logical consequence in logics of partial predicates with composition of predicate complement за авторством Shkilniak, O.S.

Module-based scientific physics engine architecture за авторством Bernatovych, A.A., Stetsenko, I.V.

Application of neuro evolution tools in automation of technical control systems за авторством Doroshenko, А.Yu., Achour, I.Z.

Composition-nominative logics of free-quantifier levels за авторством Shkilniak, S.S., Volkovytskyi, D.B.

The architecture and functionality of the multi-agent system Navigation за авторством Yalovets, A.L.

Architecture and functionality of the decision support system SPOR за авторством Yalovets, A.L.

Результати пошуку - UDC 004.432~

Peculiarities of Computer Modeling of Thought Dissemination in Society on the Example of Student Society за авторством Shevchenko, V.V., Berestov, D.S., Sinitsyn, I.P., Petrivskyi, V.Y.

A tool to measure Fortran source code metrics using syntax analysis за авторством Pokrovskyi, A.M.

Algorithm and software for determining a musical genre by lyrics to create a song hit за авторством Triantafillu, A.A., Mateshko, M.A., Shevchenko, V.L., Sinitsyn, І.P.

Logical consequence relations in logics of monotone predicates and logics of antitone predicates за авторством Shkilniak, O.S.

Application of deep learning and computer vision frameworks for solving video context prediction problem за авторством Voloshyn, D.

Intonation expressiveness of the text at program sounding за авторством Shevchenko, V.L., Lazorenko, Y.S., Borovska, O.M.

First-order composition-nominative logics with predicates of weak equality and of strong equality за авторством Shkilniak, S.S.

Pure first-order logics of quasiary predicates за авторством Nikitchenko, M.S., Shkilniak, О.S., Shkilniak, S.S.

Pure first-order quasiary logics with equality predicates за авторством Nikitchenko, M.S., Shkilniak, S.S.

On the possibility of a systematic study of the production management systems за авторством Kolesnyk, V.G.

The concept of intellectualized creation of service-oriented technologies of software development in the semantic web environment за авторством Morentsov, Y.I.

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

Propositional logics of partial predicates with composition of predicate complement за авторством Nikitchenko, M.S., Shkilniak, O.S., Shkilniak, S.S., Mamedov, T.A.

Deviant truth-values algebras and deviant classes of general non-deterministic predicates 14 Software environment and tools за авторством Shkilniak, O.S.

Relations of logical consequence in logics of partial predicates with composition of predicate complement за авторством Shkilniak, O.S.

Module-based scientific physics engine architecture за авторством Bernatovych, A.A., Stetsenko, I.V.

Application of neuro evolution tools in automation of technical control systems за авторством Doroshenko, А.Yu., Achour, I.Z.

Composition-nominative logics of free-quantifier levels за авторством Shkilniak, S.S., Volkovytskyi, D.B.

The architecture and functionality of the multi-agent system Navigation за авторством Yalovets, A.L.

Architecture and functionality of the decision support system SPOR за авторством Yalovets, A.L.

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

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

Репозитарії

Формат

Автор

Мова

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