http://iiap.sci.am
"GITUTYUN" PUBLISHING HOUSE OF NAS RA
ENG ARM RUS
MATHEMATICAL   PROBLEMS
OF
  COMPUTER  SCIENCE
 
SCIENTIFIC-TECHNICAL JOURNAL
  General Information
About Journal
Editorial Board
Instruction for autors
Contacts
  Archive
2020 (Vol. 53)
2019 (Vol. 51, 52)
2018 (Vol. 49, 50)
2017 (Vol. 47, 48)
2016 (Vol. 45, 46)
2015 (Vol. 43, 44)
2014 (Vol. 41, 42)
2013 (Vol. 39, 40)
2012 (Vol. 36, 37, 38)
2011 (Vol. 35)
2010 (Vol. 33, 34)
2009 (Vol. 32)
2008 (Vol. 30, 31)
2007 (Vol. 28, 29)
2006 (Vol. 25, 26)
2005 (Vol. 24)
2004 (Vol. 23)


  Volume 53

Printed on the basis of decision N 20-07/1 of session of the Scientific Council of IIAP NAS RA dated July 2, 2020.


Content
  1. G. Petrosyan (Polynomial Bounded Proof Complexities for Some Classes of DNF-Tautologies)
  2. A. Hambardzumyan (Investigation of Monotonous Properties for Frege Systems)
  3. A. Khamisyan (On Some Universal Propositional Proof Systems for Many-Valued Logic)
  4. H. Sergoyan (Estimating Time of Driver Arrival with Gradient Boosting Algorithms and Deep Neural Networks)
  5. R. Ghulghazaryan, D. Piliposyan, M. Shoyan and H. Nersisyan (Application of Machine Learning-Based Electrochemical Deposition Models to CMP Modeling)
  6. S. Abrahamyan and A. Zakaryan (A Solution for Preventing the Rogue Certificate Attack)
  7. G. Petrosyan and A. Petrosyan (Development of Management System for eduroam Database Updated Specification)
  8. A. Petrosyan, G. Petrosyan, R. Tadevosyan and K. Arsalanian (Development of Multi-EAP Radius Configuration for eduroam Service)
  9. R. Tadevosyan, A. Petrosyan and G. Petrosyan (The Concept of Internal IP Addresses System for NRENs)
Copyright ©"GITUTYUN" PUBLISHING HOUSE OF NAS RA