|
Electronic Copy of the CSIT 2009 Proceedings Algorithms, Automata and Logic Ara Arakelyan Type Inference System of Polymorphic l-Terms................................................................................... 15 Nicole Bidoit, Dario Colazzo Hybrid Logic for expressing XML schemas with typed references......................................................... 19 Patrick Cègielski, Irene Guessarian Normalization of Extended Abstract State Machines............................................................................. 23 Supaporn Chairungsee, Maxime Crochemore Efficient Computing of Longest Previous Reverse Factors..................................................................... 27 Anahit Chubaryan, Armine Chubaryan, Hakob Nalbandyan Comparison of the Efficiency of Frege Systems with Restricted Substitution Rules.................................. 31 Nazari Ebrahim Schauffler Theorem for Mediality.......................................................................................................... 33 Gor Ghazaryan On incomparability of some procedural semantics of untyped functional programs.................................. 35 Hayk Grigoryan, Arsen Shoukourian Equivalence of Processes in Environments with Commutative Objects................................................... 38 Yuri Grigoryan Denial of Classical Ordering and Parallelism Axioms in Discrete Geometries’ Space.............................. 42 Ruben Hakopian Universal System of Interpretation of Strongly Typed Functional Programs............................................ 46 Alexander Letichevsky Insertion modeling and verification of programs..................................................................................... 50 Seda Manukian On
the inductive representation of many-dimensional recursively enumerable sets Arsen Mokatsian On Upper Cone of T-degrees Containing wtt –mitotic but not tt-mitotic Sets......................................... 54 Yuri Movsisyan, Diana Davidova On the Structure of Interlaced q-bilattices............................................................................................. 57 Yuri Movsisyan, Hegine Ghumashyan The {2,3}-hyperidentities in invertible {2,3}-algebras........................................................................... 59 Semyon Nigiyan, Lusine Sargsyan Modification of SLDNF-resolution for Built-in Predicates..................................................................... 60 Tatevik Ohanyan, Hovhannes Bolibekyan JLog: Automated Theorem Prover for Johansson's Minimal Logic of Predicates..................................... 62 Karine Shahbazyan, Yuri Shoukourian Inclusion Problems in Trace Monoids................................................................................................... 65 Igor Zaslavsky Extended symmetric fuzzy constructive logic.......................................................................................... 69 Сирануш Чопурян Построение Стойкой Асимметричной Криптосистемы на Основе Конечных Автоматов..... 73 Discrete Mathematics and Combinatorial Analysis Ruben Adamyan, Stepan Markosyan Selection of output elements by minimum cost flow algorithm................................................................. 79 Sevak Badalyan, Stepan Markosyan Numerical Invariants for the Strong Product of Generalized Cycles........................................................ 81 Krassimira Ivanova, Ilia Mitov, Krassimir Markov, Peter Stanchev, Koen Vanhoof, Levon Aslanyan, Hasmik Sahakyan Metric Categorization Relations Based on Support System Analysis...................................................... 85 Stepan Markosyan, Armen Khachaturyan Optimal level placement of the transitive oriented graph and bipartite oriented graph by height................ 89 Vahagn Minasyan On
the length of the longest increasing subsequence of sequence of elements drawn Petros Petrosyan, Ani Shashikyan On interval total colorings of bipartite graphs......................................................................................... 95 Petros Petrosyan, Arman Torosyan Interval total colorings of complete graphs............................................................................................. 99 Hasmik Sahakyan, Levon Aslanyan Generating New Boundary Elements of Numerical Characterization of n-cube Subset Partitioning......................................................................................................................................... 103 Information Theory and Coding Theory Sergey Abrahamyan, Melsik Kyureghyan Linear Cryptanalysis of the SAFER Block Cipher Family.................................................................... 109 Margar Adibekyan Detecting earthquake precursors by mathematical modeling of ionospheric time series.......................... 112 Yeghisabet Alaverdyan Construction Efficiency of the Public Key Cryptosystem based on Boolean Product of Matrices............................................................................................................................................ 115 Tahereh Babaie, Caro Lucas Variable Selection Using Information Entropy in Time Series Prediction............................................... 118 Vladimir Balakirsky, Anahit Ghazaryan, A. J. Han Vinck Permutation Block Coding for Biometrical Authentication.................................................................... 122 Vladimir Balakirsky, Peter Trifonov An Algorithm for Categorization of Documents on the Basis of Authentication Technique..................... 126 Lilya Budaghyan, Tor Helleseth On Commutative Semifields of a Family of Planar Functions................................................................ 129 Hayk Ghazaryan Estimating the security of heterogeneous steganographic systems......................................................... 133 Naira Grigoryan, Ashot Harutyunyan Hypothesis Testing for Arbitrarily Varying Source with Multiterminal Data Compression...................... 137 Evgueni Haroutunian, Parandzem Hakobyan On Hypotheses Optimal Testing for Many Independent Objects.......................................................... 141 Evgueni Haroutunian, Irina Safaryan On Certain Threshold Copulas Estimators........................................................................................... 145 Mariam Haroutunian, Arthur Muradyan Random Coding Bound of Rate-Reliability-Distortion Function for Generalized Channel With Side Information........................................................................................................................................ 148 Sergey Hovhannisyan, Ashot Khachaturov DLP Zero-Knowledge Identification Protocol with Multichallenges...................................................... 152 Lilia Husikyan Probability Model of the Mobile System’s Channel Capacity............................................................... 154 Gurgen Khachatrian, Melsik Kyureghyan New Public Key Signature Scheme.................................................................................................... 156 Mehdi Khalili A Comparison between Digital Image Watermarking in Tow Different Color Spaces Using DWT2............................................................................................................................................... 158 Melsik Kyureghyan, Mikayel Evoyan Two
Methods for Constructing Irreducible Polynomials over Finite Fields based on Ofelya Manukyan Explicit
Construction of Irreducible Polynomial over Finite Field F2 in Cluster Gevorg Margarov Covered remote user authentication in steganografic collaboration framework...................................... 169 Gevorg Margarov, Vahan Markarov, Samvel Soghomonyan Distributed steganografic data storage with variable dinamic reconfiguration......................................... 173 Gevorg Margarov, Maha Tolba Biometrics Based Secret Sharing Using Fuzzy Vault............................................................................ 177 J. Margaryan, A. Osipyan, H. Danoyan The Number of Solutions in System With Boolean Inequality of Some Type........................................ 181 Artificial Intelligence and Management Support Systems Tadevos Bagdasaryan, Arthur Grigoryan, Zaven Nagashayan Developing of a Scripting Language Interpreter for Regular Acquisition of Expert Knowledge........................................................................................................................................ 187 Nuria Gómez Blas, Luis Fernando de Mingo, Juan Castellanos Peñuela Bio-Inspired Optimization Strategies: A Survey................................................................................... 192 Sandra Gómez Canaval, Abraham Gutiérrez Rodríguez, Soledad Delgado Sanz Application
of Variable Neighborhood Search (VNS) in Configuring Membrane Systems Hossein Chegini, Abdolreza Shirvani, Mir Mohsen Pedram, G. Reza Yousefi, Caro Lucas Short
Term Load Forecasting of Iran’s Power Systems with Neurofuzzy Application Emma Danielyan Implementation of Local Tournaments methodology of evaluation of Management Strategies................ 204 Amir Reza Koushki, M. Nosrati Maralloo, B. Hashemitabar, C. Lucas Load Forecasting with the Aid of Neuro-Fuzzy Modeling................................................................... 209 Mehdi Nosrati Maralloo, R. Koushki, C. Lucas, M. M. Pedram Mutual Information Based Input Selection in Neuro-Fuzzy Modeling for Long Term Load Forecasting. 214 André Filipe de Moraes Batista, Maria das Graças Bruno Marietto Multi-agent Systems in Building a Computational Middleware............................................................. 220 Angel Goñi Moreno, Paula Cordero Moreno Paula Cordero Moreno, Angel Goñi Moreno, Juan Castellanos Peñuela Using directed evolution techniques to solve hard combinatorial problems............................................ 225 Edward Pogossian, Dany Dionne, Arthur Grigoryan, Jean Couture, Elisa Shahbazian Developing
Goals Directed Search Models Empowering Strategies Against Sajjad Haj Shahvalady, Mehran Mohsenzadeh A Web Service Recommender System Using User Ontology.............................................................. 234 Hossein Soleimani-B., Caro Lucas Input Variable Generation for Long Term Prediction of EEG Signal Using Genetic Programming...................................................................................................................................... 239 Djamshid Tavangarian Cloud computing: Opportunities and Challenges.................................................................................. 243 Maryam Tayefeh Mahmoudi, Nafiseh Forouzideh, Caro Lucas, Fattaneh Taghiyareh Artificial Neural Network Weights Optimization based on Imperialist Competitive Algorithm................ 244 Vachagan Vahradyan, Nina Karapetyan, Maria Stepanyan Application of Fuzzy Sets to Formalization of Chess High Level Concepts........................................... 248 Anna Varosyan Formal Verification Algorithm for Workflow Processes....................................................................... 251 Александр Богданов, Александр Дегтярев, Игорь Гараев Распределенная информационная система для оценки рисков на финансовых рынках........ 255 UNL Workshop Sameh Alansary, Magdy Nagi, Noha Adly A Library Information System (LIS) Based on UNL Knowledge Infra Structure.................................. 261 Aram Avetisyan Some Approaches to the Generation of Sentences in Natural Language from UNL.............................. 268 Sangharsh Boudhh, Pushpak Bhattacharyya Unification of Universal Word dictionaries Using WordNet Ontology and Similarity Measures........................................................................................................................................... 271 Jesús Cardeñosa, Carolina Gallardo Pérez, Adriana Toni Multilingual Cross Language Information Retrieval – A New Approach............................................... 284 Carolina Gallardo, Jesús Cardeñosa Standardization of the generation process in a multilingual environment................................................. 288 Yenok Grishkyan Upon Comparison Of Some Online Unl Modules................................................................................ 293 Liana Hovsepyan The Formal Description Of Armenian Within The Unl System.............................................................. 297 Angela Manukyan Morphology Model For Western Armenian Language......................................................................... 301 Ronaldo Martins The conceptual structure of the Encyclopedia of Water: remarks from a UNL enconverting task................................................................................................................................................... 305 Ronaldo Martins, Vahan Avetisyan Generative and Enumerative Lexicons in the UNL Framework............................................................ 309 Susanna Tioyan, Angela Manukyan Description
of verb government in the UNL system (on the example of the comparison of two Tigran Zargaryan Digitalization models and algorithms for preservation of Armenian rare books...................................... 317 Pattern Recognition and Image Processing David Asatryan, Naira Asatryan Combined Spatial and Frequency Domain Watermarking................................................................... 323 Bahareh Atoufi, Caro-Lucas, Ali-Zakerolhosseini A Survey of Multi-Channel Prediction of EEG Signal in Different EEG States: Normal, Pre- Seizure, and Seizure........................................................................................................................... 327 Yuri Barseghyan, Hakob Sarukhanyan Laplacian Based LF Quality Map for Phase Reconstruction................................................................ 332 Robert Hakobyan, Artashes Hakobyan, Hayk Harutyunyan The Steganography in Spectral Area of the Image............................................................................... 336 Tigran Manukyan A Method of Ancient Manuscript Image Enhancement........................................................................ 338 David Muradian On Layout Problems of Kneser Graphs.............................................................................................. 341 Armen Petrosyan Vision System for Disabled People Using Pattern Matching Algorithm................................................. 343 Hakob Sarukhanyan, Souren Alaverdyan, Grigor Petrosyan Automatic Number Plate Recognition System..................................................................................... 347 Hakob Sarukhanyan, Rafayel Barseghyan New Efficient FFT with Fewer Operations.......................................................................................... 351 Оганес Овсепян, Арташес Акопян, Роберт Акопян Об одном способе обнаружения и распознавания объекта....................................................... 355 Parallel and Distributed Computing Arsen Arakelyan, Anna Boyajyan, Levon Aslanyan, David Muradyan, Hasmik Sahakyan Algorithmic analysis of functional pathways affected by typical and atypical antipsychotics.................... 361 Hrachia Asatrian, Hayk Gabrielyan Numerical Calculation of Charm
Quark Mass Dependence of the Chromomagnetic dipole Tigran Gevorgyan, Anna Shahinyan, Gagik Kryuchkyan Extendible C++ Application in Phonetic Technologies based on Parallel Computing............................. 367 Ashot Gevorkyan, Tigran Grigoryan, Vahag Hovhannisyan, Gunnar Nyman Fitting of 3D Reaction of Three-Atomic System in the Natural Collision Coordinates........................... 371 Victor Ivannikov, Arutyun Avetisyan, Sergey Gaissaryan, Varvara Babkova High productive programming for cluster systems using ParJava environment....................................... 375 Daniel Versick, Djamshid Tavangarian A New Workload Model for Parallel I/O Systems.............................................................................. 379 Cluster and Grid Computing Gh. Adam, V. Ivanov, V. Korenkov, T. Strizh, P. Zrelov Present status and perspectives of JINR Grid-infrastructure................................................................. 385 S. Aramyan, A. Poghosyan, A. Shahinyan Interaction
Of L-Alanine And L-Valine Aminoacid Molecules With Phospholipid Bilayer. H. Astsatryan, H. Keropyan, V. Sahakyan, Yu. Shoukourian, B. Chiladze, D. Chkhaberidze, G. Kobiashvili, R. Kvatadze Introduction of Armenian-Georgian Grid Infrastructures...................................................................... 391 Alexander Bogdanov, Lu Moe Khaing, Soe Moe Lwin Deployment the testbed for Grid products testing on the base of Sun Grid Engine................................ 394 Alexander Bogdanov, Thurein Kyaw Lwin, Myo Tun Tun, La Min Htut System integration of heterogeneous complexes for scientific computing, based on the use of DB2 technology......................................................................................................................................... 397 Alexander Bogdanov, Elena Stankova Natural Parallelization Paradigm Implementation for Grid Technology.................................................. 400 Edmon Davtyan, Hasmik Karapetyan, Karine Shahbazyan Software Tool for Cluster-based Modeling of 2D Cellular Automata................................................... 404 Arash Ghorbannia Delavar, Vahe Aghazarian, Saeed Sadighi ERPSD:
A New Model for Developing Distributed, Secure, Mikayel Gyurjyan, Hrachya Astsatryan, Lilit Sargsyan, Mickayel Enanov Introduction of a Seismology Platform based on the Armenian National Grid Infrastructure.................. 411 Artem Harutyunyan, Arsen Hayrapetyan, Gayane Kazhoyan, Ruben Sefilyan Public Key Infrastructure Operations Toolkit Based on Service-Oriented Architecture......................... 414 Aurélie Hurault, Frédéric Camillo, Michel Daydé, Ronan Guivarch, Marc Pantel, Chiara Puglisi, Hrachya Astsatryan Semantic Description of Services: Issues and Examples....................................................................... 416 A. Mickaelian, H. Astsatryan, R. Nesci, G. Cirimele, L. Sargsyan, G. Mikayelyan The Digitized First Byurakan Survey on ArmCluster............................................................................ 420 Areg Mickaelian, Nino Kochiashvili, Hrach Astsatryan, Haik Harutyunian, Tigran Magakyan, Ketevan Chargeishvili, Rezo Natsvishvili, Vasil Kukhiamidze, Giorgi Ramishvili, Lusine Sargsyan, Parandzem Sinamyan, Ia Kochiashvili, Gor Mikayelyan Development of Armenian-Georgian Virtual Observatory.................................................................... 424 Veaceslav Sidorenco, Peter Bogatencov Basic Set of Application of SEE-GRID-SCI Project........................................................................... 428 Design and Testing Gurgen Harutyunyan, Valery Vardanian An Efficient March Test Algorithm for Detection of Resistive Shorts in Multi-port SRAMs................... 435 Iskandar Karapetyan, Samvel Darbinyan On two routing problems.................................................................................................................... 439 Aram Khzarjyan A Tool for SoC Test Network Design Automation.............................................................................. 443 Mher Markosyan, Arthur Grigoryan, Anna Grigoryan A Method of Implementation of an Expert System of Diagnosis of Hardware-in Loop Complex Suites. 447 Telecommunication and Networking Jesus Martinez Barbero, Manuel Bollaín Pérez Multilanguage Opera Subtitling Exchange Between Production and Broadcaster Companies................ 453 Frederic GAUCHE An approach of the Future Narrow Band Digital Terminal Protocol..................................................... 457 Mher Markosyan Analysis
and designing of signaling automated system during the emergencies in the water A. Nanassian, A. Petrosyan, V. Sahakyan, E. Vardanyan, D. Gevorgyan, G. Petrosyan, K. Khachatryan Mail Informer-Selective Incoming E-mail Instant Phone Notification System........................................ 466 V. Shakhgildyan, E. Trofimov Mobile communication....................................................................................................................... 468 Information Technologies Applications Jurij Agalakov, Konstantin Kotov, German Oganyan Methodology of the legacy software porting........................................................................................ 473 Somaye Golabian, C. Lucas, M. R. Jamali, M. Afrasiabi Implementation of the emotional controller Using DSK TMSC320 Digital signal processor.................. 477 Jim Henry, Oleg Gasparyan Global Cooperation in WEB-based Control Laboratories: USA and Armenia...................................... 481 Igor Mkrtumyan What are the reasons behind Armenia NRI low figures?...................................................................... 482 Igor Mkrtumyan Concept of Internet Development in Armenia...................................................................................... 485 T. Khotsanyan, H. Astsatryan, A. Mirzoyan, V. Sahakyan, Yu. Shoukourian, H. Melkonyan, A. Hovsepyan, Z. Petrosyan, V. Kotroni Implementing and Evaluating the Weather Research and Forecast Model for the Territory of Armenia.. 490 Luděk Kučera Algorithm visualization in CS education............................................................................................... 494 Тигран Андреасян Анализ биометрических подходов к управлению ключевой информацией............................ 502 Акоп Оганесян Одна характеризация модели Μ|G|1|∞........................................................................................ 505 Александр Пащенко Моделирование нелинейных систем Винера-Гаммерштейна................................................... 507 Фёдор Пащенко, Ирина Дургарян Автоматизированное проектирование систем управления....................................................... 510 Сирануш Саркисян, Анна Овакимян, Сергей Бархударян Построение адаптивных сценариев электронного обучения.................................................... 514 Ашот Хачатуров Модель реконфигурируемой стеганографической системы на основе социальной сети 516
|
