External Links

    Journal: Programming and Computer Software

    Volume 46, Issue 8

    483 -- 502Andrei Tchernykh, Igor V. Bychkov, Alexander G. Feoktistov, Sergey A. Gorsky, Ivan A. Sidorov, Roman Kostromin, Alexei V. Edelev, Valery Zorkalzev, Arutyun Avetisyan. Mitigating Uncertainty in Developing and Applying Scientific Applications in an Integrated Computing Environment
    503 -- 510Yensen Limón, Everardo Bárcenas, Edgard Benítez-Guerrero, Guillermo Molero-Castillo, Alejandro Velázquez-Mena. Mu-Calculus Satisfiability with Arithmetic Constraints
    511 -- 525Ameer B. A. Alaasam, Gleb I. Radchenko, Andrei Tchernykh, José Luis González Compeán. Analytic Study of Containerizing Stateful Stream Processing as Microservice to Support Digital Twins in Fog Computing
    526 -- 535Wendy Flores-Fuentes. Bridge Load Classifier Based on Deep Learning for Structural Displacement Correlation
    536 -- 547Juan Manuel Fortuna-Cervantes, Marco Tulio Ramírez-Torres, José Martínez-Carranza, José S. Murguía Ibarra, Marcela Mejía Carlos. Object Detection in Aerial Navigation using Wavelet Transform and Convolutional Neural Networks: A First Approach
    548 -- 560César Guerra-García, Héctor Gerardo Pérez-González, Marco Tulio Ramírez-Torres, Reyes Juárez-Ramírez. Developing Web Applications with Awareness of Data Quality Elements - DQAWA
    561 -- 568José Eleno Lozano-Rizk, Raúl Rivera-Rodríguez, Juan Ivan Nieto-Hipólito, Salvador Villarreal Reyes, Alejandro Galaviz-Mosqueda, Mabel Vázquez-Briseno. Quality of Service in Software Defined Networks for Scientific Applications: Opportunities and Challenges
    569 -- 583Mayra Durán, Reyes Juárez-Ramírez, Samantha Jiménez, Claudia Tona. User Story Estimation Based on the Complexity Decomposition Using Bayesian Networks
    584 -- 593Maribel Tello-Rodríguez, Jorge Octavio Ocharán-Hernández, Juan Carlos Pérez Arriaga, Hector Xavier Limón, Ángel Juan Sánchez-García. A Design Guide for Usable Web APIs
    594 -- 608Juan Alejandro Valdivia, José Alfonso Lora-González, Hector Xavier Limón, Karen Cortés Verdín, Jorge Octavio Ocharán-Hernández. Patterns Related to Microservice Architecture: a Multivocal Literature Review
    609 -- 618Nikolay A. Vershkov, Maxim A. Babenko, Viktor Andreevich Kuchukov, Nataliya Nikolaevna Kuchukova. Search for the Global Extremum Using the Correlation Indicator for Neural Networks Supervised Learning
    619 -- 625Julio Cesar Rodríguez-Quiñonez. Intelligent Automatic Object Tracking Method by Integration of Laser Scanner System and INS
    626 -- 635Muhammad Safyan, Sohail Sarwar, Zia Ul-Qayyum, Muddasar Iqbal, Shancang Li, Muhammad Kashif. Machine Learning Based Activity Learning for Behavioral Contexts in Internet of Things (IoT)
    636 -- 651Jonathan Muraña, Sergio Nesmachnow, Santiago Iturriaga, Sebastian Montes de Oca, Gonzalo Belcredi, Pablo Monzón, Vladimir D. Shepelev, Andrei Tchernykh. Negotiation Approach for the Participation of Datacenters and Supercomputing Facilities in Smart Electricity Markets
    652 -- 660Donovan Riaño, Rodrigo Piñon, Guillermo Molero-Castillo, Everardo Bárcenas, Alejandro Velázquez-Mena. Regular Expressions for Web Advertising Detection Based on an Automatic Sliding Algorithm
    661 -- 678Claudio E. Risso, Franco Robledo, Sergio Nesmachnow. Mixed Integer Programming Formulations for Steiner Tree and Quality of Service Multicast Tree Problems
    679 -- 688Oleg Yu. Sergiyenko, Alexey N. Zhirabok. Fault Identification in Mobile Robot Groups Using Sliding Mode Observers
    689 -- 698Julieta G. Rodríguez-Ruiz, Carlos Eric Galván-Tejada, Sodel Vázquez-Reyes, Jorge I. Galván-Tejada, Hamurabi Gamboa Rosales. Classification of Depressive Episodes Using Nighttime Data; a Multivariate and Univariate Analysis
    699 -- 711Ayesha Tariq, Farooque Azam, Muhammad Waseem Anwar, Tayyba Zahoor, Abdul Wahab Muzaffar. Recent Trends in Underwater Wireless Sensor Networks (UWSNs) - A Systematic Literature Review
    712 -- 730Pavel S. Andrianov. Analysis of Correct Synchronization of Operating System Components
    731 -- 736A. Yu. Gerasimov, Daniil O. Kuts, Alexander A. Novikov. A Formal Model for Detecting Bugs by Symbolic Execution of Programs
    737 -- 746Dmitriy S. Koltunov, Vasily Yu. Efimov, Vartan A. Padaryan. Automated Testing of a TCG Frontend for Qemu
    747 -- 754Anton A. Vasilyev, Vadim S. Mutilin. Predicate Extension of Symbolic Memory Graphs for the Analysis of Memory Safety Correctness
    755 -- 0Ahmed-Khan. Retraction Note: DOOR: Distributed Object Oriented Software Restructuring Approach Using Neural Network

    Volume 46, Issue 7

    443 -- 453Petr N. Devyanin, Alexey V. Khoroshilov, Victor V. Kuliamin, Alexander K. Petrenko, Ilya V. Shchepetkov. Integrating RBAC, MIC, and MLS in Verified Hierarchical Security Model for Operating System
    454 -- 462Vyatcheslav I. Gonakhchyan. Occlusion Culling Algorithm Based on Software Visibility Checks
    463 -- 472Yury L. Karpov, I. A. Volkova, A. A. Vylitok, Leonid E. Karpov, Yuri G. Smetanin. Designing Interfaces for Classes of a Neural Network Graph Model
    473 -- 482Alexander V. Shokurov, I. V. Abramova, Nikolay P. Varnovsky, Vladimir A. Zakharov. On the Possibility of Secure Program Obfuscation in Some Model of Cloud Computing

    Volume 46, Issue 6

    373 -- 383Huafeng Chen, Shiping Ye, A. Kurilovich, Rykhard Bohush, Sergey Ablameyko. Video-Based Content Recognition of Bank Cards with Mobile Devices
    384 -- 396Daniil S. Razdyakonov, Alexey V. Morozov, Dmitry S. Pavlov, Dmitry I. Mouromtsev. Approach to Blank Node Processing in Incremental Data Visualization by the Example of Ontodia
    397 -- 405Elena N. Chujkova, Andrey R. Aidinyan, Olga L. Tsvetkova. Adaptation Algorithm for Application Menus
    406 -- 417Konstantin I. Kiy, Dmitriy A. Anokhin, Alexey V. Podoprosvetov. A Software System for Processing Images with Parallel Computing
    418 -- 427N. I. V'yukova, V. A. Galatenko, A. N. Pavlov, S. V. Samborskii. Mapping Parallel Computations to Distributed Systems Based on RapidIO Technology
    428 -- 432S. S. Marchenkov, S. D. Makeev. Modeling Multitape Minsky and Turing Machines by Three-Tape Minsky Machines
    433 -- 442Mohammad Mehdi Shirmohammadi, Mansour Esmaeilpour. The Traffic Congestion Analysis Using Traffic Congestion Index and Artificial Neural Network in Main Streets of Electronic City (Case Study: Hamedan City)

    Volume 46, Issue 5

    305 -- 311Yury L. Karpov, Leonid E. Karpov, Yuri G. Smetanin. Some Aspects of Associative Memory Construction Based on a Hopfield Network
    312 -- 315Valery A. Kostenko, A. A. Chupakhin. Live Migration Schemes in Data Centers
    316 -- 323V. N. Lukin, A. L. Dzyubenko, Yu. B. Chechikov. Approaches to User Interface Development
    324 -- 329Eugeny Yu. Shchetinin. Development of Energy Saving Technologies for Smart Buildings by Using Computer Algebra
    330 -- 340Mikhail M. Krasnov. Functional Programming Library for C++
    341 -- 350Arsen R. Nasibullin, Boris A. Novikov. Replication in Distributed Systems: Models, Methods, and Protocols
    351 -- 361Nguyen-Manh Thang. Improving Efficiency of Web Application Firewall to Detect Code Injection Attacks with Random Forest Method and Analysis Attributes HTTP Request
    362 -- 372Valeriy V. Savchenko, Konstantin S. Sorokin, I. E. Bronshtein, Alexander S. Volkov, V. V. Kachanov, Georgiy A. Pankratenko, Mikhail K. Ermakov, S. I. Markov, A. V. Spiridonov, I. V. Aleksandrov. NOBRAINER: A Tool for Example-Based Transformation of C/C++ Code

    Volume 46, Issue 4

    251 -- 260Elena N. Bozhenkova, Irina B. Virbitskaite. Testing Equivalences of Time Petri Nets
    261 -- 272Igor S. Anureev, Natalya Olegovna Garanina, Tatiana V. Lyakh, Andrei S. Rozov, Vladimir E. Zyubin, Sergei P. Gorlatch. Dedicative Verification of Reflex Programs
    273 -- 280Yury A. Zagorulko, Olesya I. Borovikova. Using a System of Heterogeneous Ontology Design Patterns to Develop Ontologies of Scientific Subject Domains
    281 -- 296N. I. V'yukova, V. A. Galatenko, S. V. Samborskii. Dynamic Program Analysis Tools in GCC and CLANG Compilers
    297 -- 304V. V. Sanzharov, Vladimir A. Frolov, Vladimir A. Galaktionov. Survey of Nvidia RTX Technology

    Volume 46, Issue 3

    167 -- 175B. Kh. Barladian, Lev Z. Shapiro, K. A. Mallachiev, Alexey V. Khoroshilov, Yu. A. Solodelov, Alexey G. Voloboy, Vladimir A. Galaktionov, I. V. Koverninskii. Visualization Component for the Aircraft Real-Time Operating System JetOS
    176 -- 182Alexander E. Bondarev, Vladimir A. Galaktionov, Artem E. Kuvshinnikov. Parallel Solutions of Parametric Problems in Gas Dynamics Using DVM/DVMH Technology
    183 -- 194Anastasia V. Zvezdakova, Dmitriy L. Kulikov, Sergey V. Zvezdakov, Dmitriy S. Vatolin. BSQ-rate: a New Approach for Video-codec Performance Comparison and Drawbacks of Current Solutions
    195 -- 206Viacheslav V. Danilov, Olga M. Gerget, Igor P. Skirnevskiy, Roman A. Manakov, Dmitrii Yu. Kolpashchikov. Segmentation Based on Propagation of Dynamically Changing Superpixels
    207 -- 216Maxim I. Sorokin, Dmitry D. Zhdanov, Andrey D. Zhdanov, Igor Stanislavovich Potemin, Nikolai Nikolaevich Bogdanov. Restoration of Lighting Parameters in Mixed Reality Systems Using Convolutional Neural Network Technology Based on RGBD Images
    217 -- 222D. A. Lyukov, Andrey S. Krylov, Vassili A. Lukshin, D. Yu. Usachev. Projection Method for Deconvolution-Based CT Brain Perfusion
    223 -- 232Vitaly A. Semenov, Vassili N. Shutkin, Vladislav A. Zolotov, Sergey V. Morozov, Vyatcheslav I. Gonakhchyan. Visualization of Large Scenes with Deterministic Dynamics
    233 -- 243Sergey E. Slyadnev, V. E. Turlapov. Simplification of CAD Models by Automatic Recognition and Suppression of Blend Chains
    244 -- 249Piotr Y. Timokhin, Mikhail V. Mikhaylyuk. Method to Extract Isosurfaces on the GPU by Means of Programmable Tessellation

    Volume 46, Issue 2

    67 -- 75Sergei A. Abramov, Anna A. Ryabenko, D. E. Khmelnov. Procedures for Searching Laurent and Regular Solutions of Linear Differential Equations with the Coefficients in the Form of Truncated Power Series
    76 -- 83Alexander D. Bruno. Normalization of a Periodic Hamiltonian System
    84 -- 97Alexander B. Batkhin. Bifurcations of Periodic Solutions of a Hamiltonian System with a Discrete Symmetry Group
    98 -- 104M. N. Gevorkyan, Anna V. Korolkova, Dmitry S. Kulyabov, Leonid A. Sevast'yanov. A Modular Extension for a Computer Algebra System
    105 -- 109Vyacheslav I. Kuzovatov, A. A. Kytmanov, Olga I. Kuzovatova. Algorithm for Constructing an Analogue of the Binet Formula
    110 -- 119Sergei D. Meshveliani. On a Machine-Checked Proof for Fraction Arithmetic over a GCD Domain
    120 -- 125Alexander N. Prokopenya. Construction of a Periodic Solution to the Equations of Motion of Generalized Atwood's Machine using Computer Algebra
    126 -- 132Vladimir N. Salnikov, Aziz Hamdouni. Differential Geometry and Mechanics: A Source for Computer Algebra Problems
    133 -- 161Carsten Schneider. Minimal Representations and Algebraic Relations for Single Nested Products
    162 -- 166D. A. Yanovich. Computation of Involutive and Gröbner Bases Using the Tableau Representation of Polynomials

    Volume 46, Issue 1

    1 -- 11V. A. Bobkov, A. P. Kudryashov. Identification and Recovery of Trajectories of Dynamic Objects from Stereo Images
    12 -- 24E. A. Kochegurova, Yu. A. Martynova. Aspects of Continuous User Identification Based on Free Texts and Hidden Monitoring
    25 -- 34Valeriy N. Kuchuganov, Aleksandr V. Kuchuganov, Denis R. Kasimov. Clustering Algorithm for a Set of Machine Parts on the Basis of Engineering Drawings
    35 -- 48S. E. Popov, R. Yu. Zamaraev. A Fast Algorithm for Classifying Seismic Events Using Distributed Computations in Apache Spark Framework
    49 -- 56Ivan V. Stepanyan. Methodology and Tools for Designing Binary Neural Networks
    57 -- 66V. A. Vasenin, M. A. Krivchikov. Intermediate Representation of Programs with Type Specification Based on Pattern Matching
    runs on