SSI-2019
Scientific Services & Internet

Table of Contents

• Preface
  

Regular Papers

• On Deterministic Parallel Implementation of the Branch-and-Bound Method with Monotonic Objects 1-12
  Alexei Adamovich , Andrei Klimov
• New Features of DVM System 13-25
  Valery Aleksakhin , Vladimir Bakhtin , Olga Zhukova , Dmitry Zakharov , Victor Krukov , Nataliya Podderyugina , Olga Savitskaya
• Matching of Authors and Publications in Multilingual Bibliographic Knowledge Bases 26-37
  Zinaida Apanovich
• Query Expansion Method Application for Searching in Mathematical Subject Domains 38-48
  Olga Ataeva , Vladimir Serebryakov , Natalia Tuchkova
• Web Environment for Program Analysis and Transformation Onto Reconfigurable Architectures 49-58
  Anton Bagly
• Development of Parallel Software Code for Calculating the Problem of Radiation Magnetic Gas Dynamics and the Study of Plasma Dynamics in the Channel of Plasma Accelerator 59-70
  Vladimir Bakhtin , Dmitry Zakharov , Andrey Kozlov , Venyamin Konovalov
• Comparative Debugging of Parallel DVMH-programs 71-81
  Vladimir Bakhtin , Dmitry Zakharov , Alexander Ermichev , Viktor Krukov
• Intellectual Classifier Development of Citizens' Messages on the “Our St. Petersburg” Portal: Experience in Using Machine Learning Methods 82-92
  Petr Begen , Andrei Chugunov
• Challenges of Publishing Online Scholarly Journals with Multimedia Content 93-102
  Nikolay Borisov , Valentina Zakharkina , Irina Mbogo , Dmitry Prokudin , Pavel Scherbakov
• Distributed Algorithm of Self-Transformation of the Distributed Network Topology in Order to Minimize the Wiener Index 103-115
  Igor Burdonov
• Distinguishing Transition Systems With The Nondeterministic Behavior 116-125
  Igor Burdonov , Nina Yevtushenko , Alexander Kossachev
• The Formation Method of Recommendations in the Process of Scientific Peer Review of Mathematical Papers 126-135
  Alexander Elizarov , Shamil Khaydarov , Evgeny Lipachev
• Metadata Normalization Methods in the Digital Mathematical Library 136-148
  Polina Gafurova , Alexander Elizarov , Evgeny Lipachev , Diana Khammatova
• Method of Paradigmatic Analysis of Programming Languages and Systems 149-158
  Lidiya Gorodnyaya
• Building Subject Domain Ontology for a Corporate Web Application 159-171
  Alexander Gusenkov , Naille Bukharaev , Eugeny Birialtsev
• The Organization of the Use of Audiovisual Recordings of Synchronous Lessons in the Process of Distance Learning 172-184
  Felix Kasparinsky
• Configuring the Information Environment of Microcomputers with the Microsoft Windows 10 Operating System 185-198
  Felix Kasparinsky
• Dynamic Data-dependence Analysis in SAPFOR 199-208
  Nikita Kataev , Alexander Smirnov , Andrey Zhukov
• Reconstruction of Multi-dimensional Arrays in SAPFOR 209-218
  Nikita Kataev , Vladislav Vasilkin
• On the Possibility of Parallel Programs Synthesis from Algorithm Graph Specification 219-233
  Arkady Klimov
• The Approach to the Meta-description of the Interdisciplinary Research Terminological Landscape 234-246
  Olga Kononova , Dmitry Prokudin
• Technology of Assembly of Intellectual and Information Resources Internet 247-273
  Ekaterina Lavrischeva , Alexander Petrenko , Boris Pozin
• Specifics of Semantics of a Statically Typed Language of Functional and Dataflow Parallel Programming 274-284
  Alexander Legalov , Igor Legalov , Ivan Matkovsky
• Dissernet and Self-plagiarism 285-294
  Tatiana Polilova , Alexey Ermakov
• On the Publication Activity of Members of the Russian Academy of Education (10 Years Later) 295-304
  Yuri Polak
• Modeling and Evaluation of the Mathematical Educational Ontology 305-319
  Liliana Shakirova , Marina Falileeva , Alexander Kirillovich , Evgeny Lipachev , Olga Nevzorova , Vladimir Nevzorov

Short Papers

• Information Support of Modeling the Functioning of Defense Industries 320-327
  Anatoly Akinshin , Yuri Polak
• Prototype of Classifier for the Decision Support System of Legal Documents 328-335
  Alexey Alekseev , Alexey Katasev , Alexey Kirillov , Ayrat Khassianov , Denis Zuev
• Application of Automated Tools in Researching Internet Discourses: Experience of Using the Recurrent Neural Networks for Studying Discussions on Pension Reform 336-344
  Petr Begen , Yuri Misnikov , Olga Filatova
• Experiments with the Global High-Resolution Model MPI ESM and Several Estimations of its Stability to the Initial Perturbation 345-353
  Konstantin Belyaev , Gury Mikhaylov , Alexey Salnikov , Natalia Tuchkova
• Methods of Processing Large Collections of Scientific Documents and the Formation of Digital Mathematical Library 354-360
  Alexander Elizarov , Evgeny Lipachev
• Supercomputer Technologies for Long-term Modeling of Permafrost Changes 361-369
  Mikhail Filimonov , Nataliya Vaganova , Elena Akimova , Vladimir Misilov
• Numerical Solution Tasks with Mixed Operator in Unlimited Area 370-376
  Mikhail Galanin , Dmitry Sorokin
• Russian Scientific Publication – 2019 377-381
  Mikhail Gorbunov-Posadov
• The Use of 3D Visualization Technology Web-Collections for the Formation of Virtual Exhibitions 382-390
  Nikolay Kalenov , Irina Sobolevskaya , Alexander Sotnikov , Sergey Kirillov
• Mathematical Modeling of the Processes of Interdisciplinary Collections Formation in the Digital Libraries Environment 391-398
  Nikolay Kalenov , Irina Sobolevskaya , Alexander Sotnikov
• Using the Labels of Priorities, Specifications, and Affiliations when Working in Task Management Programs 399-406
  Felix Kasparinsky
• Determination of Thematic Proximity of Scientific Journals and Conferences Using Big Data Technologies 407-413
  Alexander Kozitsyn , Sergey Afonin , Dmitry Shachnev
• Properties of Communication Graph of Academic Web 414-421
  Andrey Pechnikov