Programming and Computer Software

Article	Citations
Digital Twins, Internet of Things and Mobile Medicine: A Review of Current Platforms to Support Smart Healthcare	44
User Story Estimation Based on the Complexity Decomposition Using Bayesian Networks	16
Patterns Related to Microservice Architecture: a Multivocal Literature Review	12
Analytic Study of Containerizing Stateful Stream Processing as Microservice to Support Digital Twins in Fog Computing	12
Recent Trends in Underwater Wireless Sensor Networks (UWSNs) – A Systematic Literature Review	11
Object Detection in Aerial Navigation using Wavelet Transform and Convolutional Neural Networks: A First Approach	11
The Traffic Congestion Analysis Using Traffic Congestion Index and Artificial Neural Network in Main Streets of Electronic City (Case Study: Hamedan City)	11
Choice of Activation Function in Convolutional Neural Networks for Person Re-Identification in Video Surveillance Systems	9
Analysis of Correct Synchronization of Operating System Components	8
Progressive Backward Photon Mapping	8
Requirements and GitHub Issues: An Automated Approach for Quality Requirements Classification	8
Explicit Multiobjective Evolutionary Algorithms for Flow Shop Scheduling with Missing Operations	7
Negotiation Approach for the Participation of Datacenters and Supercomputing Facilities in Smart Electricity Markets	7
Light Transport in Realistic Rendering: State-of-the-Art Simulation Methods	7
Automated Creation of Cyber-Physical Museum Exhibits Using a Scientific Visualization System on a Chip	7
Symbolic Conversion of Holonomic Functions to Hypergeometric Type Power Series	7
Analysis of Deep Neural Networks for Detection of Coronary Artery Stenosis	6
Procedures for Constructing Truncated Solutions of Linear Differential Equations with Infinite and Truncated Power Series in the Role of Coefficients	6
Symbolic Investigation of the Spectral Characteristics of Guided Modes in Smoothly Irregular Waveguides	6
Algorithms and Programs for Calculating the Roots of Polynomial of One or Two Variables	6
Binarization of the Swallow Swarm Optimization for Feature Selection	6
Computer Algebra in JULIA	6
Analytical-Numerical Implementation of Polyvector Algebra in Julia	6
Mitigating Uncertainty in Developing and Applying Scientific Applications in an Integrated Computing Environment	6
Information Flow Control in Software DB Units Based on Formal Verification	5

Automated Software Testing Technologies for Realistic Computer Graphics	5
Symbolic Methods for Studying the Equilibrium Orientations of a System of Two Connected Bodies in a Circular Orbit	5
Software Testing in the DevOps Context: A Systematic Mapping Study	4
Heuristic Algorithms for Recognition of Some Cubic Hypersurfaces	4
Symbolic-Analytic Methods for Studying Equilibrium Orientations of a Satellite on a Circular Orbit	4
A Survey of Network Traffic Classification Methods Using Machine Learning	4
A Software System for Processing Images with Parallel Computing	4
ISO/IEC 29110 and Software Engineering Education: A Systematic Mapping Study	4
Fault Identification in Mobile Robot Groups Using Sliding Mode Observers	4
Computer Algebra Tools for Geometrization of Maxwell’s Equations	4
Solving the Cauchy Problem for a Two-Dimensional Difference Equation at a Point Using Computer Algebra Methods	4
Supercomputer Environment for Recursive Matrix Algorithms	4
Noise Dependence on the Number of Rays in Bidirectional Stochastic Ray Tracing with Photon Maps	4
Survey of Methods for Automated Code-Reuse Exploit Generation	4
Algorithm for Constructing Modular Projections for Correcting Multiple Errors Based on a Redundant Residue Number System Using Maximum Likelihood Decoding	4
Computing Unimodular Matrices of Power Transformations	4
Classification of Depressive Episodes Using Nighttime Data; a Multivariate and Univariate Analysis	4
Implementation of Neural Machine Translation for Nahuatl as a Web Platform: A Focus on Text Translation	4
Performance Model of Graphics Pipeline for a One-Pass Rendering of 3D Dynamic Scenes	3
On Implementation of Numerical Methods for Solving Ordinary Differential Equations in Computer Algebra Systems	3
Multiclass U-Net Segmentation of Brain Electron Microscopy Data Using Original and Semi-Synthetic Training Datasets	3
Adaptation Algorithm for Application Menus	3
Improving the Software Estimation Models Based on Functional Size through Validation of the Assumptions behind the Linear Regression and the Use of the Confidence Intervals When the Reference Database	3
Regular Expressions for Web Advertising Detection Based on an Automatic Sliding Algorithm	3
Hybrid Method for Gibbs-Ringing Artifact Suppression in Magnetic Resonance Images	3
Symbolic Investigation of Eigenvectors for General Solution of a System of ODEs with a Symbolic Coefficient Matrix	3
Predicting COVID-19-Induced Lung Damage Based on Machine Learning Methods	3
How COVID-19 Pandemic affects Software Developers’ Wellbeing, and the Necessity to strengthen Soft Skills	3
The Role of Personality in Motivation to use an Affective Feedback System	3
Highly Realistic Visualization of Caustics and Rough Surfaces	3
A Design Guide for Usable Web APIs	3
Development of Algorithms and Software for Modeling Controlled Dynamic Systems Using Symbolic Computations and Stochastic Methods	3
Subwords-Only Alternatives to fastText for Morphologically Rich Languages	3
Caustic Illuminance Calculation with DirectX Raytracing	3
Scrumlity: An Agile Framework Based on Quality of User Stories	3
Usability Evaluation of a Mobile Learning Platform Focused on Learning Monitoring and Customization based on a Laboratory Study	3
Intelligent Automatic Object Tracking Method by Integration of Laser Scanner System and INS	3
Searching for Equilibrium States of Atwood’s Machine with Two Oscillating Bodies by Means of Computer Algebra	3
Students’ Systems Thinking Competency Level Detection through Software Cost Estimation Concept Modeling	2
A Microservice Deployment Guide	2
Search for the Global Extremum Using the Correlation Indicator for Neural Networks Supervised Learning	2
Ontology-Driven Visual Analytics Software Development	2
Construction of Pseudo-Geometric Integrators	2
Mu-Calculus Satisfiability with Arithmetic Constraints	2
Integrating RBAC, MIC, and MLS in Verified Hierarchical Security Model for Operating System	2
Implementation of Geometric Algebra in Computer Algebra Systems	2
The Method of Colored Graphs for Simplifying Expressions with Indices	2
Efficient Implementation of Fast Hough Transform Using CPCA Coprocessor	2
Algorithm for Solving the Cauchy Problem for a Two-Dimensional Difference Equation with Initial Data Defined in a “Strip”	2
Occlusion Culling Algorithm Based on Software Visibility Checks	2

p-Adic Representation of Subsets of a Bounded Number Set	2
Modification of the Marching Cubes Algorithm to Obtain a 3D Representation of a Planar Image	2
Derivation of Evolutionary Equations in the Many-Body Problem with Isotropically Varying Masses Using Computer Algebra	2
Development of DSL Compilers for Specialized Processors	2
Usability Evaluation of BCI Software Applications: A systematic review of the literature	2
Multiwindow Rendering on a Cockpit Display Using Hardware Acceleration	2
Real-Time Analytics: Benefits, Limitations, and Tradeoffs	2
A Survey of Programming Language Memory Models	2
Intraprocedural Analysis Based on Symbolic Execution for Bug Detection	2
Bridge Load Classifier Based on Deep Learning for Structural Displacement Correlation	2
3D Model Compression with Support of Parallel Processing on the GPU	2
Hidden Monitoring Based on Keystroke Dynamics in Online Examination System	2
Algorithms for Checking Some Properties of n-Quasigroups	2
Automotive Post-Collision Control Software System: Requirements and Verification	2
Efficient Rendering for the Cockpit Display System Designed in Compliance with the ARINC 661 Standard	2
Visualization Technologies to Support Decision-Making in City Management	2
Improving the Analytic Hierarchy Process for Requirements Prioritization Using Evolutionary Computing	2
Developing Web Applications with Awareness of Data Quality Elements – DQAWA	2
Generation of Graphs for the Identification of Various Types of Scientific Collaboration in an Academic Institution	2
Decomposition of a Finite Quantum System into Subsystems: Symbolic–Numerical Approach	2
Gradient-Free Algorithms for Solving Stochastic Saddle Optimization Problems with the Polyak–Łojasiewicz Condition	2
Technology and Methods for Deferred Synthesis of 4K Stereo Clips for Complex Dynamic Virtual Scenes	2
Model of Pseudo-Random Sequences Generated by Encryption and Compression Algorithms	2
Exhaustive Use of Information on an Equation with Truncated Coefficients	2
Investigation of Difference Schemes for Two-Dimensional Navier–Stokes Equations by Using Computer Algebra Algorithms	2
Automation of C Program Deductive Verification without Using Loop Invariants	2
Process Improvement in Software Requirements Engineering: A Systematic Mapping Study	2
Computer Algebra Calculations in Supersymmetric Electrodynamics	1
Machine Learning Based Activity Learning for Behavioral Contexts in Internet of Things (IoT)	1
Refactoring the Monolith Workflow into Independent Micro-Workflows to Support Stream Processing	1
An Algorithm for Solving a Family of Fourth-Degree Diophantine Equations that Satisfy Runge’s Condition	1
Bibliographic Review on Data Mining Techniques Used with Weather Data	1
Software Project Estimation Using Smooth Curve Methods and Variable Selection and Regularization Methods as an Alternative to Linear Regression Models when the Reference Database Presents a Wedge-shap	1
Port-Hamiltonian Systems: Structure Recognition and Applications	1
Asymptotic Expansions of Solutions to the Second Term of the Fourth Painlevé Hierarchy	1
Constructing Onboard Switched Networks of Minimum Complexity	1
Formal Verification of Blockchain Based Tender Systems	1
Configurable Test System for RTOS	1
Using a Template Engine as a Computer Algebra Tool	1
A Novel Intelligent System for Detection of Type 2 Diabetes with Modified Loss Function and Regularization	1
Algorithms for Planning on Computational Model with Redundancy and Uncertainty	1
Structural Coverage Analysis of Entry and Exit Points Required to Achieve the Objectives Defined in DO-178C	1
Scenario of Information Flow Analysis Implementation in PL/SQL Program Units with PLIF Platform	1
Quality of Service in Software Defined Networks for Scientific Applications: Opportunities and Challenges	1
Mixed Integer Programming Formulations for Steiner Tree and Quality of Service Multicast Tree Problems	1
Computing the Connected Components of the Complement to the Amoeba of a Polynomial in Several Complex Variables	1
Autonomous Swarm of Low-Cost Commercial Unmanned Aerial Vehicles for Surveillance	1
Classification of Non-functional Requirements Using Convolutional Neural Networks	1
Database Management System Verification with Separation Logics	1
Influence of Belbin’s Role Theory on Database Design: Experimenting with Software Engineering Students	1
Optimization of Neural Network Training for Image Recognition Based on Trigonometric Polynomial Approximation	1
Tools for Capturing and Processing High-Speed Network Traffic	1
Image Restoration Using Genetic Algorithms	1
Designing Interfaces for Classes of a Neural Network Graph Model	1
Conversion of Point Cloud Data to 3D Models Using PointNet++ and Transformer	1
Searching for Laurent Solutions of Systems of Linear Differential Equations with Truncated Power Series in the Role of Coefficients	1
A Tertiary Study on Microservices: Research Trends and Recommendations	1
PhyloTraVis: A New Approach to Visualization of the Phylogenetic Tree	1
Human Event Recognition in Smart Classrooms Using Computer Vision: A Systematic Literature Review	1
Modified Error Detection and Localization in the Residue Number System	1
Video Analytics Using Detection on Sparse Frames	1
Level Lines of a Polynomial on a Plane	1
Interprocedural Static Analysis for Finding Bugs in Go Programs	1
Scene Text Detection Using HRNet and Spatial Attention Mechanism	1
Solving the Cauchy Problem for a Three-dimensional Difference Equation in a Parallelepiped	1
Automated Method for Optimum Scale Search when Using Trained Models for Histological Image Analysis	1
Application of Computer Simulation to the Anonymization of Personal Data: Synthesis-Based Anonymization Model and Algorithm	1
A Stream X-Machine Tool for Modelling and Generating Test Cases for Chronic Diseases Based on State-Counting Approach	1
Searching for Taint Vulnerabilities with Svace Static Analysis Tool	1
A Formal Model for Detecting Bugs by Symbolic Execution of Programs	1
Towards Conversational Agents to support Informal Caregivers of People with Dementia: Challenges and Opportunities	1
Database Migration from ORACLE to PostgreSQL	1
Static Analysis of Corpus of Source Codes of Python Applications	1
Investigation of RISC-V	1
An Efficient Technology of Real-Time Modeling of Height Field Surface on the Ray Tracing Pipeline	1
A Fast Search Algorithm for SqueeSAR Distributed Scatterers in the Problem of Calculating Displacement Velocities	1
Specifying Data Quality Requirements through Web Functionalities – MOSQAF	1
Controlling and Restoring the Integrity of Multi-Dimensional Data Arrays through Cryptocode Constructs	1
A Usability and Persuasion Evaluation of Mobile Apps for Diabetes Type 2	1
Algorithm for Computing the Truncation of the Discriminant of a Polynomial	1

Automatic Code Generation of User-centered Serious Games: A Decade in Review	1
Dynamic Simulation of Quantum Entanglement in Finite Quantum Mechanics: A Computer Algebra Approach	1
Runtime Verification of Operating Systems Based on Abstract Models	0
Generalized Computational Experiment and Verification Problems	0
White Balance Correction for Detecting Holograms in Color Images of Black-and-White Photographs	0
Predicate Extension of Symbolic Memory Graphs for the Analysis of Memory Safety Correctness	0
On the Numerical Solution of the Characteristic Problems for One Class of Quasilinear Equations	0
An Algorithm for Detecting Precipitation in Computer Processing of Video Images	0
Supporting the Architectural Knowledge Condensation in a Co-Localized Agile Environment for Small Entities Using an Ontology	0
Constructing the Internal Voronoi Diagram of Polygonal Figure Using the Sweepline Method	0
Complementarity in Finite Quantum Mechanics and Computer-Aided Computations of Complementary Observables	0
Combinatorial Reliability Analysis of Multicore Processors	0
Primitive Elements of Free Non-associative Algebras over Finite Fields	0
Modeling Multitape Minsky and Turing Machines by Three-Tape Minsky Machines	0
Analytical Review of Confidential Artificial Intelligence: Methods and Algorithms for Deployment in Cloud Computing	0
Solving Rician Data Analysis Problems: Theory and Numerical Modeling Using Computer Algebra Methods in Wolfram Mathematica	0
Parallel Approximation of Multidimensional Tensors Using GPUs	0
Computer-Algebraic Approach to First Differential Approximations: Van der Pol Oscillator	0
Implementation of Analytic Projective Geometry for Computer Graphics	0
Thematic Search Algorithms in Scientometric Systems	0
Perfect Sets of Paths in the Full Graph of SDN Switches	0
Study of the Problem of Ensuring Security in Storage and Processing of Confidential Data	0
Synthesis and Initialization of Adaptive Neuro-Fuzzy Control Based on the SDRE Technique for a Two-Link Manipulator	0
Estimating the Complexity of Objects in Images	0
Self-Organizing Multi-User UAV Swarm Simulation Platform	0
Elements for Automatic Identification of Fallacies in Mexican Election Campaign Political Speeches	0
Joint Super-resolution and Tissue Patch Classification for Whole Slide Histological Images	0
Symbolic Algorithm for Finding Zeros of a System of Holomorphic Functions	0
Numerical Simulation of Particulate Matter Transport in the Atmospheric Urban Boundary Layer Using the Lagrangian Approach: Physical Problems and Parallel Implementation	0
Adaptive Variant of the Frank–Wolfe Algorithm for Convex Optimization Problems	0
360-Degree Video Based on Regular Dodecahedron: Technology and Methods of Implementation in Virtual Environment Systems	0
Hybrid Binarization Method for Historical Handwritten Documents	0
Automated Verification of Multi-Party Agreements and Scheduling of Sending Messages in Distributed Ledger Systems	0
3D Scene Reconstruction and Digitization Method for Mixed Reality Systems	0
Ensuring Interoperable IoT Device-to-Cloud Communication between AWS and Azure Infrastructures	0
Robust Algebraic Connectivity	0
Cross-Lingual Plagiarism Detection: Two Are Better Than One	0
Mission Preparation for Self-Organizing UAV Swarms on Multiuser Platform	0
Soft and Hard Skills Gained by Students through Real Projects Developed at a University Software Company	0
Evaluation of Differential Equation Solutions through Traditional Techniques and Neural Networks in Quantum Simulations	0
Calculating Similarity of Javadoc Comments	0
Automata-Based Software Engineering with Event-B	0
Building Adaptable Dashboards for Smart Cities: Design and Evaluation	0
KIAM Astrodynamics Toolbox for Spacecraft Orbital Motion Design	0
Hardware Implementation of Code Converters Designed to Reduce the Length of Binary Encoded Words	0
A Certified Program for the Karatsuba Method to Multiply Polynomials	0
RuGECToR: Rule-Based Neural Network Model for Russian Language Grammatical Error Correction	0
Optimal Placement of Base Stations in Integrated Design of Wireless Networks	0
SafeComp: Protocol for Certifying Cloud Computations Integrity	0
Fuzzy Measure on p-Adic Balls Defined on a Finite Number Set	0
An Extendable Essay on the Sage Computer Algebra System and an Editor for Creating Extendable Essays	0
Admissible Ordering on Monomials is Well-Founded: A Constructive Proof	0
On Computing the Resultant of a Polynomial and an Entire Function	0
A Model and Declarative Language for Specifying Binary Data Formats	0
Influence of Unequilateral Apertures of Digital Filters Laplacian “Trunced Pyramid” and “Double Pyramid” on the Accuracy of Television Measuring Systems	0
A Universal Algorithm for Discretizing Bichromatic Two-Dimensional Graphic Codes	0
Real-time Modeling of Dynamic Terrain Shadows based on Multilevel Ray Casting	0
Improving a Model for NFR Estimation Using Band Classification and Selection with KNN	0
Guest Editorial Special Issue “Recent Trends on Advanced Computing: The Converging Technologies”	0
Symbolic-Numerical Implementation of the Galerkin Method for Approximate Solution of the Waveguide Diffraction Problem	0
Active Learning and Transfer Learning for Document Segmentation	0
Quadrature Formula for the Direct Value of the Double-Layer Potential	0
Method for Enhancing High-Resolution Image Inpainting with Two-Stage Approach	0
Comparing Two Learning Curves Approaches to Predict the Product Delivery Rate in a Software Factory Contract	0
Effective Lower Bounds on the Matrix Rank and Their Applications	0
Analysis of Traces on Discharged Bullets by the Congruent Matching Profile Segments Method and k-Nearest Neighbors	0
Twenty Similarity Functions for Two Finite Sequences	0
A Metrics Suite for Measuring Indirect Coupling Complexity	0
Enhancing Image Recognition with Pre-Defined Convolutional Layers Based on PDEs	0
A Taxonomic View of the Fundamental Concepts of Quantum Computing–A Software Engineering Perspective	0
Curve-Based Security Schemes for Automating the Encryption and Signing of Digital Documents in Organizational Environments	0
Theoretical Basis of Mathematical Apparatus for Parallel Computing Implementation in Computer-Aided Design Systems	0
Algorithm for Extraction Common Properties of Objects Described in the Predicate Calculus Language with Several Predicate Symbols	0
Lower Bounds for the Rank of a Matrix with Zeros and Ones outside the Leading Diagonal	0
Exploring a Web-Based Application to Convert Tamil and Vietnamese Speech to Text without the Effect of Code-Switching and Code-Mixing	0
An Image Hashing Algorithm Based on a Convolutional Neural Network	0
Comparative Efficiency Analysis of Hashing Algorithms for Use in zk-SNARK Circuits in Distributed Ledgers	0
Experimental Study of Algorithms for Minimization of Binary Decision Diagrams Using Algebraic Representations of Cofactors	0
Enhanced S2E for Analysis of Multi-Thread Software	0
On Linear Cellular Automata	0
Development of Multi-Platform Steganographic Software Based on Random-LSB	0
Object Recognition and Coordinate Referencing of an Autonomous Underwater Vehicle to Objects via Video Stream	0
Software Implementation of an Algorithm for Automatic Detection of Lineaments and Their Properties in Open-Pit Dumps	0
Layer-by-Layer Knowledge Distillation for Training Simplified Bipolar Morphological Neural Networks	0
Detection of Network Attacks in a Heterogeneous Industrial Network Based on Machine Learning	0
Aging Properties of Actual and Virtual Waiting Times in the GI|G|1|∞ Queuing Model	0
Artificial Intelligence (AI) Solution for Plasma Cells Detection	0
Automatic Image Style Transfer using an Augmented Style Set	0
Formal Specification and Verification of Requirements in Architecture and Construction using the EXPRESS Modeling Language	0
Effective Implementations of Topic Modeling Algorithms	0
Mathematical Modeling of Turbulent Mixing in Gas Systems with a Chevron Contact Boundary using NUT3D, BIC3D, EGAK, and MIMOSA Numerical Codes	0
GUEST EDITORIAL Special Issue on Recent Trends in Advanced Computing, Engineering and Technology: Transformation and Innovation	0
Investigation of the Influence of Constant Torque on Equilibrium Orientations of a Satellite Moving in a Circular Orbit with the Use of Computer Algebra Methods	0
A Model and Method for Detecting Information Campaigns	0
Metrics of Efficiency and Performance when Using Evolutionary Algorithm on Desktop Grids	0