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