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

   • A. Tchernykh
   • I. Bychkov
   • A. Avetisyan

   OriginalPaper 22 December 2020 Pages: 483 - 502

   

2. Mu-Calculus Satisfiability with Arithmetic Constraints

   • Y. Limón
   • E. Bárcenas
   • A. Velázquez-Mena

   OriginalPaper 22 December 2020 Pages: 503 - 510

   

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

   • Ameer B. A. Alaasam
   • G. Radchenko
   • J. L. González Compeán

   OriginalPaper 22 December 2020 Pages: 511 - 525

   

4. Bridge Load Classifier Based on Deep Learning for Structural Displacement Correlation

   • Wendy Flores-Fuentes

   OriginalPaper 22 December 2020 Pages: 526 - 535

   

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

   • J. M. Fortuna-Cervantes
   • M. T. Ramírez-Torres
   • M. Mejía-Carlos

   OriginalPaper 22 December 2020 Pages: 536 - 547

   

6. Developing Web Applications with Awareness of Data Quality Elements – DQAWA

   • C. Guerra-García
   • H. Pérez González
   • Reyes Juárez-Ramírez

   OriginalPaper 22 December 2020 Pages: 548 - 560

   

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

   • J. E. Lozano-Rizk
   • R. Rivera-Rodriguez
   • M. Vazquez-Briseno

   OriginalPaper 22 December 2020 Pages: 561 - 568

   

8. User Story Estimation Based on the Complexity Decomposition Using Bayesian Networks

   • M. Durán
   • R. Juárez-Ramírez
   • C. Tona

   OriginalPaper 22 December 2020 Pages: 569 - 583

   

9. A Design Guide for Usable Web APIs

   • M. Tello-Rodríguez
   • J. O. Ocharán-Hernández
   • Á.J. Sánchez-García

   OriginalPaper 22 December 2020 Pages: 584 - 593

   

10. Patterns Related to Microservice Architecture: a Multivocal Literature Review

    • J. A. Valdivia
    • A. Lora-González
    • J.O. Ocharán-Hernández

    OriginalPaper 22 December 2020 Pages: 594 - 608

    

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

    • N. Vershkov
    • M. Babenko
    • N. Kuchukova

    OriginalPaper 22 December 2020 Pages: 609 - 618

    

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

    • J. C. Rodríguez-Quiñonez

    OriginalPaper 22 December 2020 Pages: 619 - 625

    

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

    • Muhammad Safyan
    • Sohail Sarwar
    • Muhammad Kashif

    OriginalPaper 22 December 2020 Pages: 626 - 635

    

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

    • J. Muraña
    • S. Nesmachnow
    • A. Tchernykh

    OriginalPaper 22 December 2020 Pages: 636 - 651

    

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

    • D. Riaño
    • R. Piñon
    • A. Velázquez-Mena

    OriginalPaper 22 December 2020 Pages: 652 - 660

    

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

    • C. Risso
    • F. Robledo
    • S. Nesmachnow

    OriginalPaper 22 December 2020 Pages: 661 - 678

    

17. Fault Identification in Mobile Robot Groups Using Sliding Mode Observers

    • O. Sergiyenko
    • A. Zhirabok

    OriginalPaper 22 December 2020 Pages: 679 - 688

    

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

    • J. G. Rodríguez-Ruiz
    • C. E. Galván-Tejada
    • H. Gamboa-Rosales

    OriginalPaper 22 December 2020 Pages: 689 - 698

    

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

    • Ayesha Tariq
    • Farooque Azam
    • Abdul Wahab Muzaffar

    OriginalPaper 22 December 2020 Pages: 699 - 711

    

20. Analysis of Correct Synchronization of Operating System Components

    • P. S. Andrianov

    OriginalPaper 22 December 2020 Pages: 712 - 730

    

21. A Formal Model for Detecting Bugs by Symbolic Execution of Programs

    • A. Yu. Gerasimov
    • D. O. Kuts
    • A. A. Novikov

    OriginalPaper 22 December 2020 Pages: 731 - 736

    

22. Automated Testing of a TCG Frontend for Qemu

    • D. S. Koltunov
    • V. Yu. Efimov
    • V. A. Padaryan

    OriginalPaper 22 December 2020 Pages: 737 - 746

    

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

    • A. A. Vasilyev
    • V. S. Mutilin

    OriginalPaper 22 December 2020 Pages: 747 - 754

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

    • Ahmed Khan

    Retraction Note 22 December 2020 Pages: 755 - 755