Математические вопросы кибернетики и вычислительной техники, № 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. and Piliposyan, Davit G. and Shoyan, Misak T. and Nersisyan, Hayk V.
Application of Machine Learning-Based Electrochemical Deposition Models to CMP Modeling.
էջ 38-48
Abrahamyan, Sergey E. and 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. and Petrosyan, Gurgen S. and Tadevosyan, Robert N. and Arsalanian, Kevork Kh.
Development of Multi-EAP Radius Configuration for eduroam Service.
էջ 63-66
Tadevosyan, Robert N. and Petrosyan, Arthur S. and Petrosyan, Gurgen S.
The Concept of Internal IP Addresses System for NRENs.
էջ 67-71
Խմբագրական
Բովանդակություն.
էջ 67-71