Anahit Chubaryan, Armen Mnatsakanyan
Proof Systems and Satisfiability problem

Vilyam Hovnanyan, Vahagn Poghosyan, Suren Poghosyan
Graph Plotter: a Software Tool for the Investigation of Fault-tolerant Gossip Graphs

Elizabeth Kalinina
On Computation of Hölder Condition Numbers

Suren Khachatryan
On the Optimization of Functional Symbol-free Logic Programs

Alexander Letichevsky, Alexander Godlevsky, Anton Guba, Alexander Kolchin,
Oleksandr Letychevskyi, Vladimir Peschanenko
Invariants in Symbolic Modeling and Verification of Requirements

Arsen Mokatsian
On the Existence of the tt-mitotic Low Set which is not btt-mitotic

Yuri Movsisyan, Vahagn Aslanyan
Computation of De Morgan and Quasi-De Morgan Functions

Yuri Movsisyan, Sergey Davidov, Mher Safaryan
On Free A-bisemigroups

Goharik Petrosyan
Interrelation of Languages of Colored Petri Nets, Modified Petri Nets and
Some Classes of Formal Languages

Igor Zaslavsky
On Some Semantics of the Symmetric Constructive Logic

Levon Aslanyan, Hayk Danoyan
On the Optimality of a Hash-Coding Type Search Algorithm

Levon Chobanyan, Vakhtang Kvaratskhelia
An Algorithmic Solution to the Problem of Compact Vector Summation with an
Application to Scheduling Theory

Samvel Darbinyan, Iskandar Karapetyan
A Note on Long non-Hamiltonian Cycles in One Class of Digraphs

Narine Davtyan, Rafayel Kamalian
An Upper Bound for the Parameter µ21 of Regular Graphs

Hayk Grigoryan, Hovhannes Harutyunyan
Broadcasting in Knödel Graph

Yuri Grigoryan
Indivisible Lines in the Space of Discrete Geometries

Andrzej Grzesik, Hrant Khachatrian
On Interval Edge-colorings of Complete Tripartite Graphs

Vilyam Hovnanyan, Vahagn Poghosyan, Suren Poghosyan
New Methods of Construction of Fault-tolerant Gossip Graphs

Vilik Karakhanyan
Stable Subsets of the n-dimensional Multivalued Discrete Torus

Zhora Nikoghosyan
Turning Points in Hamiltonian Graph Theory – a Survey

Petros Petrosyan, Nerses Khachatryan
On Interval Total Colorings of the Cartesian Products of Graphs

Petros Petrosyan, Arsine Mangasaryan
On the Achromatic Indices of Graph Products

Petros Petrosyan, Sargis Mkhitaryan
Interval Cyclic Edge-colorings of Graphs

Hasmik Sahakyan
(0,1)-Matrices with Different Rows

Hovhannes Sargsyan
On an Approximation Algorithm for MINLA Problem Restricted to Some Classes of Graphs

Levon Berberyan
About one Extended Role-based Access Control Formal Model

Kirill Chernyshov
Information Theory within System Identification: Revising Some Approaches

Mariam Haroutunian, Lilit Ter-Vardanyan
Investigation of E-achievability Region for Identification and Secret-key Generation System

Gurgen Khachatryan, Melsik Kyureghyan, Sergey Abrahamyan
Construction of Permutation Polynomials and its Application in Biometric Authentication

Knarik Kyuregyan
One Method for Constructing Irreducible Polynomials over Fq of Odd Characteristics

Tigran Margaryan, Evgueni Haroutunian
On the Shannon Cipher System with Distortion and Guessing Wiretapper Eavesdropping
through a Noisy Channel

Sergey Poghosyan, Taksu Cheon
Reconstruction of Quantum Information after the Measurement

Alexei Uteshev, Ivan Baravy
Inversion in GF(2n) with the Aid of Hankel Polynomials

Aram Avetisyan
Some Methods of Texts Semantic Search by UNL Expressions Logical Analysis

Dmitry Gushchanskiy
Ontology Structure and Processing in the Test Generation System

Suren Khachatryan, Khosrov Grigoryan
A Gate Model of Emotional Learning

Dávid Nemeskey, Gábor Recski, Márton Makrai, Attila Zséder, András Kornai
Spreading Activation in Language Understanding

Edward Pogossian
Towards Adequate and Constructive Models of Meaning Processing

Mehdi Sadeghzadeh, Hossein Farzalivand
A New Text Classification Algorithm Based on SARSA in Persian Language

Posters

Karen Khachatryan, Sedrak Grigoryan, Tadevos Baghdasaryan
Experiments Validating the Be-Have-Do Meaning Presentation Model and Matching
Algorithm for Competing and Combating Problems

Alireza Moradkhani
Incorporating RGT Solver Package with TAC Solver Agent

Vachagan Vahradyan
A Model of a High Level Chess Concept “Beautiful Mate”

Fatima Adilova, Rifkat Davronov, Anna Tomskova
Two Approaches to Gene Expression Analysis: Coring Clusterization versus SVM

Arsen Arakelyan, Levon Aslanyan, Anna Boyajyan
Gene Expression Data Analytics

David Asatryan, Naira Asatryan, Natalya Lanina, Alexandr Petrosyan
Method for Detection of an Image Tampering and Partial Recovery

David Asatryan, Grigor Sazhumyan, Bagrat Sakanyan
New Technique for Analysis of Fingerprint Poroscopical Map

Nikita Chernuhin
On an Approach to Object Recognition in X-ray Medical Images and Interactive Diagnostics Process

Valery Grishkin
The segmentation of objects in a series of images

Sahak Kaghyan
Accelerometer and GPS Sensor Combination Based System for Human Activity Recognition

Gevorg Karapetyan, Hakob Sarukhanyan
Automatic Detection and Concealment of Specular Reflections for Endoscopic Images

Gurgen Khachatryan, Aram Jivanyan, Hovik Khasikyan
Alignment-free Fuzzy Vault Scheme for Fingerprints

Davit Kocharyan, Vahe Khachatryan, Hakob Sarukhanyan
A Multimodal Biometric System Based on Fingerprint and Signature Recognition

Denis Timoshenko, Valery Grishkin
Composite face detection method for automatic moderation of user avatars

Artyom Topchyan, Tigran Topchyan
Muscle-based Skeletal Bipedal Locomotion using Neural Evolution

Irina Tsygankova
Evolutionary Method of Ranking and Classification of Biological Objects

Vitalii Velychko, Levon Aslanyan, Krassimir Markov, Krassimira Ivanova
About Automatic Discovering Substantial Citations

Gabriel Antoniu, Taisuke Boku, Christophe Calvin, Philippe Codognet,
Michel Daydé, Nahid Emad, Yutaka Ishikawa, Satoshi Matsuoka, Kengo Nakajima,
Hiroshi Nakashima, Raymond Namyst, Serge Petiton, Tetsuya Sakurai, Mitsuhisa Sato
Towards Exascale with the ANR-JST Japanese-French Project FP3C (Framework and Programming
for Post-Petascale Computing)

Petru Bogatencov, Hrachya Astsatryan, Mikhail Dombrougov, Volodymyr Galagan,
Vyacheslav Shkarupin, Evgenij Martynov, Ramaz Kvatadze, Alexander Tuzikov, Azer Aliyev
e-Infrastructures for Research and Education in Eastern Europe Partnership Countries

Tinatin Davitashvili, Revaz Kakubava, Hamlet Meladze, Paata Tsereteli
Parallel Algorithms of Numerical Solution of One Dynamic Problem for Quasilinear
System of Equations of Elasticity Theory

Ivan Gankevich, Alexander Degtyarev
Model of Distributed Computations in Virtual Testbed

Ashot Gevorkyan, Vahe Sahakyan
Simulation of Statistical Parameters of 3D Classical Spin Glasses at Influence of External Electromagnetic Fields

Ivan Golubev, Mikhail Kupryianov
Metadata-Driven Task Scheduling in Computer Clusters

Mikhail Kupriyanov, Andrew Kochetcov
Design Stages of Self-Organizing Distributed Systems

Dmitry Plotnikov, Dmitry Melnik, Mamikon Vardanyan, Ruben Buchatskiy, Roman Zhuykov
An Automatic Tool for Tuning Compiler Optimizations

Vahagn Poghosyan, Suren Poghosyan, Hayk Nahapetyan
The Investigation of Models of Self-Organized Systems by Parallel Programming Methods
Based on the Example of an Abelian Sandpile Model

Alexey Porubov, Daniel Bouche, Guy Bonnaud
Analytical Study of the Scheme Dispersion for Coupled Nonlinear Equations

Posters

Hakob Abajyan
On Estimation of High Degree Energy for Some Type of Hyperbolic Equations

Alexander Bogdanov, Vladimir Orekhov, Vladimir Gaiduchok
The Methodology of Application Development for Hybrid Architectures

Ivan Gankevich, Vladimir Gaiduchok, Dmitry Gushchanskiy, Yuri Tipikin,
Vladimir Korkhov, Alexander Degtyarev, Alexander Bogdanov
Virtual Private Supercomputer: Design and Evaluation

Tigran Shahinyan
A Comparison of Different Approaches of Distributed Data Processing

Hrachya Astsatryan, Andranik Hayrapetyan, Wahi Narsesian, Peter Bogatencov,
Nicolai Iliuha, Ramaz Kvatadze, Nugzar Gaamtsemlidze, Vladimir Florian, Gabriel Neagu,
Alexandru Stanciu
Deployment of a Federated Cloud Infrastructure in the Black Sea Region

Emanouil Atanassov
Development of Grid Services Using Erlang

Alexander Bogdanov, Thurein Kyaw Lwin, Elena Stankova
Using Distributed Database System and Consolidation Resources for Data Server Consolidation

Alexander Getman, Vartan Padaryan, Mikhail Solovyev
Combined Approach to Solving Problems in Binary Code Analysis

Ilarion Ishkulov, Alexander Degtyarev, Ivan Gankevich, Vladimir Gaiduchok,
Yury Tipikin, Vladimir Korkhov
Tools for Modelling and Simulation Cloud Computing Infrastructure

Victor Ivannikov, Shamil Kurmangaleev, Andrey Belevantsev, Arutyun Avetisyan
Performance Optimizations in an LLVM-based Cloud Application Store

Nataliia Kulabukhova, Vladimir Korkhov, Sergey Andrianov
Virtual Accelerator: Software for Modeling Beam Dynamics

Posters

Armenuhi Abramyan, Narine Manukyan
AliEn File Access Monitoring Service – FAMoS

Alexander Bogdanov, Pyae Sone Ko Ko, Kyaw Zaya
Network Performance Comparison of Multiple Virtual Machines

Alexander Bogdanov, Kyaw Zaya, Pyae Sone Ko Ko
Approach to Effective and Efficient Cloud Computing Environment

Alexander Degtyarev, Guskov Vadim, Alexander Eroshkin
Optimal Service Set Construction for Complex Problem Solution

Vladimir Sahakyan, Lilit Sargsyan, Mikayel Gyurjyan, Hayk Poghosyan,
Raffie Durgaryan, Jon Karapetyan
Seismic Visualization and Development Platform on the Armenian Grid Infrastructure

Davit Siradeghyan, Gevorg Margarov
Dynamic Load Balancing in Distributed Memory Systems

Myo Min Swe
Service-oriented Architecture for Ship Automation and Control System

Liudmila Cheremisinova
Simulation-based Verification of Implementations of Incompletely Specified Boolean Functions

Liudmila Cheremisinova
SAT-based Verification of Implementations of Incompletely Specified Boolean Functions

Aram Khzarjyan
Use-flow Diversity and Toolset for Test and Repair of Embedded Memory

Lusine Martirosyan
A Quick Power Consumption Estimation Method for RTL Compilers

Vazgen Melikyan, Abraham Balabanyan, Armen Durgaryan, Artak Hayrapetyan
NMOS/PMOS Resistance Calibration Method Using Reference Frequency

Vazgen Melikyan, Arthur Sahakyan, Aram Shishmanyan, Nazeli Melikyan, Grigor Zargaryan
Data-Clock Setup and Hold Times Margins Correction Method in High Speed Serial Links

Arthur Sahakyan
Architecture of Gain-Boosted Fully Differential OTA with Rail-To-Rail Inputs

Levon Aslanyan, Hakob Aslanyan
Approximate Coverage Technique of WSN design

Andrii Malenko, Andrii Golovynskyi, Valentyna Cherepynets
ІТ-Infrastructure as a Basis of Innovative Development of Science and Industry

Artsrun Petrosyan
Organization of the Virtual Mobile Platform, Based on Existing Networks of Mobile
and Fixed Telecommunication Operators

Samvel Siradeghyan, Ruben Kirakossian
Performance Evaluation of VoIP Traffic on Wired and Wireless Networks

Posters

Svetlana Avetisyan, Ani Kocharyan
The System of Generation of Random Networks and Computation of Their
Topological Properties

Arthur Petrosyan
Implementation of Anti-Spam Techniques in ASNET-AM Network

Arthur Petrosyan, Eugene Prokhorenko
Improved Distributed DNS System Model for ASNET-AM

Nelson Baloian, Gustavo Zurita, Jonathan Frez
Using Mobile, Collaborative Computing Technology to Support Learning
Signal Propagation Modeling

Nelson Baloian, Jonathan Frez, Gustavo Zurita
Smart Cities: Supporting Citizen Participation in City Planning

Yuri Gordienko, Olexander Gatsenko, Olexandra Baskova, Elena Zasimchuk,
Valentin Tatarenko, Lyudmila Steblenko, Olexiy Krit, Dmytro Kalіnіchenko,
Lina Sartinska
Usage of IMP Science Gateway for Molecular Dynamics Simulations of Various
Metal-Organic Nanostructures

Anahit Hovsepyan, Zaruhi Petrosyan, Rita Abrahamyan, Hamlet Melkonyan,
Anna Shahnazaryan, Hrach Astsatryan, Tigran Khotsanyan, Vladimir Sahakyan,
Yuri Shoukourian
Prediction of Hydrometeorological Hazardous Events in Armenia by Implementing
WRF-ARW Physics Sensitivity Experiments: a Case Study for Heavy Rainfall

Ales Kurlovich
Distribution System of Data Transmission between Mobile Objects

Wunna Kyaw
Mathematical Models of the Dynamics of Marine Facilities

Zsolt Laszlo Markus, Tibor Szkaliczki, György Szántó
Development of eLearning Materials at the Institute for Computer Science
and Control, Hungarian Academy of Sciences

László Orzó, Balázs Wittner, Szabolcs Tõkés
High Speed Water Monitoring Systems Based on Digital Holographic Microscopy

Inga Titchiev, Nicolai Iliuha
Rising Skill of Young Researches of Moldova in Using High Performance Technologies

Vitaliy Tsyganok, Oleg Andriichuk, Sergey Kadenko
An Approach to Consideration of Risks and Threats in Decision-making Support

Enn Tyugu
Model-based Software Development

Igor Velbitskiy
Next Generation Visual Programming Technology

Oleksii Voloshyn, Daniil Kovaliov
Educational System Support to Decision-Making Theory

Posters

Vahe Arakelyan
Organizing of a Virtual Learning Environment at the International Scientific
Educational Center of NAS RA

Serob Balyan, Robert Hakobyan
Means of Hidden Protection of Software Against Unauthorized Use

Vahram Darbinyan
Analysis of User Behavior when Reading Digital Interactive Magazine Online on Various Devices

David Gevorkyan, Aram Nanasyan, Arthur Petrosyan, Eugene Prokhorenko,
Karo Khachatryan, Vahe Arakelyan
Functional Features of the Alert Control System for ASNET-AM Core Nodes

Anna Hovakimyan, Narine Ispiryan, Gevorg Narimanyan
Armenian Texts Recognition via Neural Networks

David Kapanadze, Tea Todua, Taliko Zhvania
Organizing of e-learning system for providing of continuous legal education

Artashes Mirzoyan, Hasmik Saroyan, Gayane Minasyan, Vladimir Sahakyan,
Yuri Shoukouryan, Hrachya Astsatryan
Environment for Access to the Inventory of Stationary Point Sources of Emissions
of Air Pollutants in Armenia

Aram Nanasyan, Karo Khachatryan
Mail2sms Asnet.am –the Alert System of Incoming

Arthur Petrosyan, Gurgen Petrosyan
The Concept and Features ASNET-AM Scientific Publications Access

Harutyun Terteryan
Investigation and Improvement of Test Item Delivery Mechanism in Computerized
Adaptive Testing Systems