Contents

Programming and Computer Software

---

Vol. 46, No. 8, 2020

A simultaneous English language translation of this journal is available from Pleiades Publishing, Ltd.
Distributed worldwide by Springer. Programming and Computer Software ISSN 0361-7688.

---

Mitigating Uncertainty in Developing and Applying Scientific Applications in an Integrated Computing Environment

A. Tchernykh, I. Bychkov, A. Feoktistov, S. Gorsky, I. Sidorov, R. Kostromin, A. Edelev, V. Zorkalzev and A. Avetisyan p. 483  abstract

Mu-Calculus Satisfiability with Arithmetic Constraints

Y. Limón, E. Bárcenas, E. Benítez-Guerrero, G. Molero Castillo and A. Velázquez-Mena p. 503  abstract

Analytic Study of Containerizing Stateful Stream Processing as Microservice to Support Digital Twins in Fog Computing

Ameer B. A. Alaasam, G. Radchenko, A. Tchernykh and J. L. González Compeán p. 511  abstract

Bridge Load Classifier Based on Deep Learning for Structural Displacement Correlation

Wendy Flores-Fuentes p. 526  abstract

Object Detection in Aerial Navigation using Wavelet Transform and Convolutional Neural Networks: A First Approach

J. M. Fortuna-Cervantes, M. T. Ramírez-Torres, J. Martínez-Carranza, J. S. Murguía-Ibarra and M. Mejía-Carlos p. 536  abstract

Developing Web Applications with Awareness of Data Quality Elements – DQAWA

C. Guerra-García, H. Pérez González, M. Ramírez-Torres and Reyes Juárez-Ramírez p. 548  abstract

Quality of Service in Software Defined Networks for Scientific Applications: Opportunities and Challenges

J. E. Lozano-Rizk, R. Rivera-Rodriguez, J. I. Nieto-Hipolito, S. Villarreal-Reyes, A. Galaviz-Mosqueda and M. Vazquez-Briseno p. 561  abstract

User Story Estimation Based on the Complexity Decomposition Using Bayesian Networks

M. Durán, R. Juárez-Ramírez, S. Jiménez and C. Tona p. 569  abstract

A Design Guide for Usable Web APIs

M. Tello-Rodríguez, J. O. Ocharán-Hernández, J. C. Pérez-Arriaga, X. Limón and Á.J. Sánchez-García p. 584  abstract

Patterns Related to Microservice Architecture: a Multivocal Literature Review

J. A. Valdivia, A. Lora-González, X. Limón, K. Cortes-Verdin and J.O. Ocharán-Hernández p. 594  abstract

Search for the Global Extremum Using the Correlation Indicator for Neural Networks Supervised Learning

N. Vershkov, M. Babenko, V. Kuchukov and N. Kuchukova p. 609  abstract

Intelligent Automatic Object Tracking Method by Integration of Laser Scanner System and INS

J. C. Rodríguez-Quiñonez p. 619  abstract

Machine Learning Based Activity Learning for Behavioral Contexts in Internet of Things (IoT)

Muhammad Safyan, Sohail Sarwar, Zia Ul Qayyum, Muddasar Iqbal, Shancang Li and Muhammad Kashif p. 626  abstract

Negotiation Approach for the Participation of Datacenters and Supercomputing Facilities in Smart Electricity Markets

J. Muraña, S. Nesmachnow, S. Iturriaga, S. Montes de Oca, G. Belcredi, P. Monzón, V. Shepelev and A. Tchernykh p. 636  abstract

Regular Expressions for Web Advertising Detection Based on an Automatic Sliding Algorithm

D. Riaño, R. Piñon, G. Molero-Castillo, E. Bárcenas and A. Velázquez-Mena p. 652  abstract

Mixed Integer Programming Formulations for Steiner Tree and Quality of Service Multicast Tree Problems

C. Risso, F. Robledo and S. Nesmachnow p. 661  abstract

Fault Identification in Mobile Robot Groups Using Sliding Mode Observers

O. Sergiyenko and A. Zhirabok p. 679  abstract

Classification of Depressive Episodes Using Nighttime Data; a Multivariate and Univariate Analysis

J. G. Rodríguez-Ruiz, C. E. Galván-Tejada, S. Vázquez-Reyes, J. I. Galván-Tejada and H. Gamboa-Rosales p. 689  abstract

Recent Trends in Underwater Wireless Sensor Networks (UWSNs) – A Systematic Literature Review

Ayesha Tariq, Farooque Azam, Muhammad Waseem Anwar, Tayyba Zahoor and Abdul Wahab Muzaffar p. 699  abstract

Analysis of Correct Synchronization of Operating System Components

P. S. Andrianov p. 712  abstract

A Formal Model for Detecting Bugs by Symbolic Execution of Programs

A. Yu. Gerasimov, D. O. Kuts and A. A. Novikov p. 731  abstract

Automated Testing of a TCG Frontend for Qemu

D. S. Koltunov, V. Yu. Efimov and V. A. Padaryan p. 737  abstract

Predicate Extension of Symbolic Memory Graphs for the Analysis of Memory Safety Correctness

A. A. Vasilyev and V. S. Mutilin p. 747  abstract

Retraction Note: DOOR: Distributed Object Oriented Software Restructuring Approach Using Neural Network

Ahmed Khan p. 755  abstract

---