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