The Community for Technology Leaders
2015 Computer Science and Information Technologies (CSIT) (2015)
Yerevan, Armenia
Sept. 28, 2015 to Oct. 2, 2015
ISBN: 978-1-4673-7562-7
TABLE OF CONTENTS

Cover page (PDF)

pp. 1

Title page (PDF)

pp. 1-3

Foreword (PDF)

pp. 1

E-Biothon: An experimental platform for bioinformatics (Abstract)

Michel Dayde , CNRS - IRIT, Université de Toulouse / INPT-ENSEEIHT, Toulouse, France
Benjamin Depardon , SysFera, Lyon, France
Alain Franc , INRA - UMR BioGeCo, Cestas, France / INRIA - Pleiade Team, Talence, France
Jean-Francois Gibrat , INRA, UR1404, Unité Mathématiques et Informatique Appliquées du Génome à l'Environnement, 78350 Jouy-en-Josas, France
Romaric Guilllier , CNRS - LIP ENS Lyon, Lyon, France
Yasaman Karami , Unité de Biologie Computationnelle et Quantitative, UMR 7238 CNRS-UPMC, Paris, France
Frederic Sutter , CNRS CC-IN2P3, LIP ENS Lyon, Lyon, France
Bruck Taddese , Laboratoire BNMI, UMR CNRS 6214 INSERM U1083, Faculté de médecine, Angers, France
Marie Chabbert , Laboratoire BNMI, UMR CNRS 6214 INSERM U1083, Faculté de médecine, Angers, France
Sylvie Therond , CNRS - IDRIS, Orsay, France
pp. 1-4

Power optimization approach of ORCA processor for 32/28nm technology node (Abstract)

Davit Babayan , National Polytechnic University of Armenia, Synopsys Armenia CJSC, Yerevan, Armenia
pp. 11-14

Fault collapsing for digital circuits based on relations between stuck-at faults (Abstract)

Tigranuhi Grigoryan , Educational & Research Center of Informational Technologies, Yerevan State University, Yerevan, Armenia
Heghineh Malkhasyan , Educational & Research Center of Informational Technologies, Yerevan State University, Yerevan, Armenia
Gevorg Mushyan , Educational & Research Center of Informational Technologies, Yerevan State University, Yerevan, Armenia
Valery Vardanian , Educational & Research Center of Informational Technologies, Yerevan State University, Yerevan, Armenia
pp. 15-18

Prototyping system for USB3.0 link layer using synthesizable assertions and partial reconfiguration (Abstract)

Harutyun Krrikyan , Synopsys Armenia CJSC, Yerevan, Armenia
Taron Hovhannisyan , Synopsys Armenia CJSC, Yerevan, Armenia
Sergey Manukyan , Synopsys Armenia CJSC, Yerevan, Armenia
pp. 19-22

Primitive recursion on higher types (Abstract)

Stanislaw Ambroszkiewicz , Institute of Computer Science, Polish Academy of Sciences al. Jana Kazimierza 5, PL-01-248 Warsaw, Poland
pp. 23-32

Predicate transformers for local description units (Abstract)

Alexander A. Letichevsky , Glushkov Institute of Cybernetics Academy of Sciences of Ukraine, Kiev, Ukraine
Olexandr O. Letychevskyi , Glushkov Institute of Cybernetics Academy of Sciences of Ukraine, Kiev, Ukraine
pp. 33-36

On the tt-complete set which is tt-mitotic but not btt-mitotic (Abstract)

Arsen H. Mokatsian , Institute for Informatics and Automation Problems, National Academy of Sciences of Armenia, Yerevan, Armenia
pp. 37-40

A complete characterization of hyperidentities of the variety of weakly idempotent lattices (Abstract)

Yuri Movsisyan , Yerevan State University, Yerevan 0025, Armenia
Diana Davidova , European Regional Academy, Yerevan 0037, Armenia
pp. 41-43

Frontal cellular automata for the study of non-equilibrium lattice models (Abstract)

Hayk Poghosyan , Institute for Informatics and Automation Problems of the NAS RA, Yerevan, Armenia
Vahagn Poghosyan , Institute for Informatics and Automation Problems of the NAS RA, Yerevan, Armenia
pp. 44-46

Constraint satisfaction problems on specific subsets of the n-dimensional unit cube (Abstract)

Levon Aslanyan , Institute for Informatics and Automation Problems, Yerevan, Armenia
Hasmik Sahakyan , Institute for Informatics and Automation Problems, Yerevan, Armenia
Hans-Dietrich Gronau , Institut für Mathematik, Universität Rostock, Rostock, Germany
Peter Wagner , Institut für Mathematik, Universität Rostock, Rostock, Germany
pp. 47-52

On Hamiltonian bypasses in digraphs with the condition of Y. Manoussakis (Abstract)

Samvel Kh. Darbinyan , Institute for Informatics and Automation Problems of NAS RA, Yerevan, Armenia
pp. 53-63

Some properties of Hadamard matrices (Abstract)

Giorgi Giorgobiani , Georgian Technical University, Muskhelishvili Institute of Computational Mathematics, Tbilisi, Georgia
Vakhtang Kvaratskhelia , Georgian Technical University, Muskhelishvili Institute of Computational Mathematics, Tbilisi, Georgia
Marina Menteshashvili , Georgian Technical University, Muskhelishvili Institute of Computational Mathematics, Tbilisi, Georgia
pp. 64-65

Open problems in gossip/broadcast schemes and the possible application of the method of local interchange (Abstract)

Vilyam Hovnanyan , Institute for Informatics and Automation Problems NAS of Armenia, Yerevan, Armenia
Suren Poghosyan , Institute for Informatics and Automation Problems NAS of Armenia, Yerevan, Armenia
Vahagn Poghosyan , Institute for Informatics and Automation Problems NAS of Armenia, Yerevan, Armenia
pp. 66-70

On interval edge-colorings of bipartite graphs (Abstract)

Petros Petrosyan , Institute for Informatics and Automation Problems of NAS RA, 0014, Yerevan, Armenia
Hrant Khachatrian , Department of Informatics and Applied Mathematics, Yerevan State University, 0025, Yerevan, Armenia
Tigran Mamikonyan , Department of Informatics and Applied Mathematics, Yerevan State University, 0025, Yerevan, Armenia
pp. 71-76

Method for fire and smoke detection in monitored forest areas (Abstract)

David Asatryan , Institute for Informatics and Automation Problems of NAS, Yerevan, Armenia
Samvel Hovsepyan , Russian-Armenian (Slavonic) University, Yerevan, Armenia
pp. 77-81

Document image segmentation based on wavelet features (Abstract)

Valery Grishkin , Saint Petersburg State University, Saint Petersburg, Russia
pp. 82-84

Multithreaded signal preprocessing approach for inertial sensors of smartphone (Abstract)

Sahak Kaghyan , Coding and Signal Processing Department, Institute for Informatics and Automation Problems of NAS RA, Yerevan, Armenia
Hakob Sarukhanyan , Coding and Signal Processing Department, Institute for Informatics and Automation Problems of NAS RA, Yerevan, Armenia
pp. 85-89

Efficient secure pattern search algorithm (Abstract)

Gurgen Khachatryan , American University of Armenia, CSE department, Yerevan, Armenia
Mihran Hovsepyan , Russian Armenian University, Department of System Programming, Yerevan, Armenia
Aram Jivanyan , American University of Armenia, CSE department, Yerevan, Armenia
pp. 90-94

Determination of camera displacement using image stereo pair (Abstract)

Lukas Sroba , Institute of Electrical Engineering, Slovak University of Technology, Bratislava, Slovakia
Jan Grman , Institute of Electrical Engineering, Slovak University of Technology, Bratislava, Slovakia
pp. 95-99

LLVM-based code clone detection framework (Abstract)

Arutyun Avetisyan , Institute for System Programming of the Russian Academy of Sciences, Moscow, Russia
Shamil Kurmangaleev , Institute for System Programming of the Russian Academy of Sciences, Moscow, Russia
Sevak Sargsyan , Institute for System Programming of the Russian Academy of Sciences, Moscow, Russia
Mariam Arutunian , Institute for System Programming of the Russian Academy of Sciences, Moscow, Russia
Andrey Belevantsev , Institute for System Programming of the Russian Academy of Sciences, Moscow, Russia
pp. 100-104

A persistent surface inversion event in Armenia as simulated by WRF model (Abstract)

Artur Gevorgyan , Armenian State Hydrometeorological and Monitoring Service (Armstatehydromet)
Hamlet Melkonyan , Armenian State Hydrometeorological and Monitoring Service (Armstatehydromet)
Rita Abrahamyan , Armenian State Hydrometeorological and Monitoring Service (Armstatehydromet)
Zarmandukht Petrosyan , Armenian State Hydrometeorological and Monitoring Service (Armstatehydromet)
Anna Shahnazaryan , Institute for Informatics and Automation Problems of NAS RA, Yerevan, Armenia
Hrachya Astsatryan , Institute for Informatics and Automation Problems of NAS RA, Yerevan, Armenia
Vladimir Sahakyan , Institute for Informatics and Automation Problems of NAS RA, Yerevan, Armenia
Yuri Shoukorian , Institute for Informatics and Automation Problems of NAS RA, Yerevan, Armenia
pp. 105-110

Augmenting JavaScript JIT with ahead-of-time compilation (Abstract)

Roman Zhuykov , Institute for System Programming of Russian Academy of Sciences, Alexander Solzhenitsyn st., 25, Moscow, Russia
Vahagn Vardanyan , Institute for System Programming of Russian Academy of Sciences, Alexander Solzhenitsyn st., 25, Moscow, Russia
Dmitry Melnik , Institute for System Programming of Russian Academy of Sciences, Alexander Solzhenitsyn st., 25, Moscow, Russia
Ruben Buchatskiy , Institute for System Programming of Russian Academy of Sciences, Alexander Solzhenitsyn st., 25, Moscow, Russia
Eugeniy Sharygin , Institute for System Programming of Russian Academy of Sciences, Alexander Solzhenitsyn st., 25, Moscow, Russia
pp. 116-120

Dynamic voltage and frequency scaling for 3D Classical Spin Glass application (Abstract)

Hrachya Astsatryan , Institute for Informatics and Automation Problems of the National Academy of Sciences of the Republic of Armenia, 1 P. Sevak str. Yerevan 0014, Armenia
Hakob Abajyan , Institute for Informatics and Automation Problems of the National Academy of Sciences of the Republic of Armenia, 1 P. Sevak str. Yerevan 0014, Armenia
Wahi Narsisian , Institute for Informatics and Automation Problems of the National Academy of Sciences of the Republic of Armenia, 1 P. Sevak str. Yerevan 0014, Armenia
Georges da Costa , Institut de Recherche en Informatique de Toulouse, 118 Route de Narbonne, F-31062 TOULOUSE, CEDEX 9, Toulouse, France
Tom Gurout , Institut de Recherche en Informatique de Toulouse, 118 Route de Narbonne, F-31062 TOULOUSE, CEDEX 9, Toulouse, France
pp. 121-124

The GÈANT Green Team: An example of how organizations can use a community approach to promote the use of ICT in sustainability efforts (Abstract)

Albert Hankel , SURFnet, Utrecht, Netherlands
Hrachya Astsatryan , Institute for Informatics and Automation Problems of NAS RA, Yerevan, Armenia
Wahi Narsisian , Institute for Informatics and Automation Problems of NAS RA, Yerevan, Armenia
pp. 125-127

Traffic anomaly detection and DDOS attack recognition using diffusion map technologies (Abstract)

Michael Zheludev , Orator Labs, Moscow, Russia
Evgeny Nagradov , Orator Labs, Moscow, Russia
pp. 128-132

Time-periodic quantum point interactions (Abstract)

Taksu Cheon , Kochi University of Technology, Kochi 782-8502, Japan
Sergey Poghosyan , Kochi University of Technology, Kochi 782-8502, Japan
pp. 133-136

A theorem on higher-order differences of two-state Markov chains (Abstract)

Ashot Shahverdian , Institute for Informatics and Automation Problems of NAS RA, Yerevan, Armenia
pp. 137-138

Limitations of Agronet system in e-projects: Case study of Croatia (Abstract)

Anton Devcic , Polytehnic in Pozega, Pozega, Croatia
Marko Sostar , Polytehnic in Pozega, Pozega, Croatia
Berislav Andrlic , Polytehnic in Pozega, Pozega, Croatia
pp. 139-142

Numerical solution of nonlocal contact problems for elliptic equations (Abstract)

David Gordeziani , Iv. Javakhishvili Tbilisi state University, Tbilisi, Georgia
Tinatin Davitashvili , Iv. Javakhishvili Tbilisi state University, Tbilisi, Georgia
Hamlet Meladze , St. Andrew the First Called Georgian University, Tbilisi, Georgia
pp. 143-147

Information technologies applications for sign languages investigations (Abstract)

Iurii Kryvonos , V.M. Glushkov Institute of Cybernetics, Academy of Sciences of Ukraine, Kyiv, Ukraine
Iurii Krak , Cybernetics Dept. Taras Shevchenko National University Kyiv, Ukraine
Waldemar Wojcik , Lublin University of Techology, Lublin, Poland
pp. 148-150

On validity of personalized planning and integrated testing algorithms in reproducible games (Abstract)

Sedrak Grigoryan , Division of Computational and Cognitive networks, IPIA of NAS RA Yerevan, Armenia
pp. 151-155

Clustering of random networks under topological constraints (Abstract)

Minas Hovhannisyan , Chair of Programming and Information Technologies, Yerevan State University, Yerevan, Armenia
Svetlana Avetisyan , Chair of Programming and Information Technologies, Yerevan State University, Yerevan, Armenia
pp. 156-159

On assessment of performance of systems by combining on-the-job and expert attributes scales (Abstract)

Edward Pogossian , Department of Computational and Cognitive Networks, Institute for Informatics and Automation Problems of the NAS RA, Yerevan, Armenia
pp. 160-163

Authors index (PDF)

pp. 164
90 ms
(Ver 3.3 (11022016))