Математические вопросы кибернетики и вычислительной техники, № 53
Отв. ред. Ю. Г. Шукурян, Издательство НАН РА, Ереван 2020
Կազմ; Խմբագրական խորհուրդ.
Petrosyan, Garik V.
Polynomial Bounded Proof Complexities for Some Classes of DNF-Tautologies.
Էջ 7-13
Hambardzumyan, Arsen A.
Investigation of Monotonous Properties for Frege Systems.
էջ 14-20
Khamisyan, Artur A.
On Some Universal Propositional Proof Systems for Many-Valued Logic.
էջ 21-28
Sergoyan, Henrik T.
Estimating Time of Driver Arrival with Gradient Boosting Algorithms and Deep Neural Networks.
էջ 29-38
Ghulghazaryan, Ruben G., Piliposyan, Davit G., Shoyan, Misak T., Nersisyan, Hayk V.
Application of Machine Learning-Based Electrochemical Deposition Models to CMP Modeling.
էջ 38-48
Abrahamyan, Sergey E., Zakaryan, Arman G.
A Solution for Preventing the Rogue Certificate Attack.
էջ 49-56
Petrosyan, Arthur S. and Petrosyan, Gurgen S.
Development of Management System for eduroam Database Updated Specification.
էջ 57-62
Petrosyan, Arthur S., Petrosyan, Gurgen S., Tadevosyan, Robert N., Arsalanian, Kevork Kh.
Development of Multi-EAP Radius Configuration for eduroam Service.
էջ 63-66
Tadevosyan, Robert N., Petrosyan, Arthur S., Petrosyan, Gurgen S.
The Concept of Internal IP Addresses System for NRENs.
էջ 67-71
Բովանդակություն.
էջ 67-71