Programming and Computer Software

Article	Citations
Automatic Image Style Transfer using an Augmented Style Set	20
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	15
Application of Monadic Calculations in Solving Numerical Problems	12
Symbolic Investigation of the Spectral Characteristics of Guided Modes in Smoothly Irregular Waveguides	9
Adaptive Method for Selecting Basis Functions in Kolmogorov–Arnold Networks for Magnetic Resonance Image Enhancement	8
Lower Bounds for the Rank of a Matrix with Zeros and Ones outside the Leading Diagonal	8
3D Model Compression with Support of Parallel Processing on the GPU	8
Effective Lower Bounds on the Matrix Rank and Their Applications	7
Elements for Automatic Identification of Fallacies in Mexican Election Campaign Political Speeches	7
Solving the Cauchy Problem for a Three-dimensional Difference Equation in a Parallelepiped	7
Class Balancing Approaches to Improve for Software Defect Prediction Estimations: A Comparative Study	6
Building Adaptable Dashboards for Smart Cities: Design and Evaluation	6
RuGECToR: Rule-Based Neural Network Model for Russian Language Grammatical Error Correction	6
Study of the Problem of Ensuring Security in Storage and Processing of Confidential Data	6
Human Event Recognition in Smart Classrooms Using Computer Vision: A Systematic Literature Review	6
A Survey of Network Traffic Classification Methods Using Machine Learning	6
Evaluation of Differential Equation Solutions through Traditional Techniques and Neural Networks in Quantum Simulations	6
Software Implementation of an Algorithm for Automatic Detection of Lineaments and Their Properties in Open-Pit Dumps	6
Symbolic Calculations in the Study of Secular Perturbations in the Many-Body Problem with Variable Masses	6
Static Memory Layout for Real-Time Operating Systems	6
Representation of Traffic Congestion: A Multicriteria Analysis Approach Based on Distances	5
Twenty Similarity Functions for Two Finite Sequences	5
Configurable Test System for RTOS	5
PLIF Platform: Modeling and Verification of Information Flows in Software DB Units Using the Temporal Logic of Actions (TLA+)	5
SLAP — Simple Linear Attack against Perceptron (SLAP)	5

Estimating the Complexity of Objects in Images	5
Multiclass U-Net Segmentation of Brain Electron Microscopy Data Using Original and Semi-Synthetic Training Datasets	5
How COVID-19 Pandemic affects Software Developers’ Wellbeing, and the Necessity to strengthen Soft Skills	5
Hardware Implementation of Code Converters Designed to Reduce the Length of Binary Encoded Words	5
Method for Semantic Image Segmentation Based on the Neural Network with Gabor Filters	4
Computer Algebra Calculations in Supersymmetric Electrodynamics	4
Multigroup Classification of Firing Pin Impressions with the Use of a Fully Connected Neural Network	4
Computational Aspects of the Horn–Kapranov Parametrization	4
Symbolic-Numerical Implementation of the Model of Adiabatic Guided Modes for Two-Dimensional Irregular Waveguides	4
Intuitionistic Fuzzy Recurrence Plots for Classifying Cardiac Arrhythmias Using Deep Learning	4
Algorithm for Calculating Correctly Rounded Exponential Function in Double Precision Using Double-Extended Arithmetic	4
New Approach for Online Voting Ensuring Privacy and Verifiability	3
A Package of Procedures and Functions for Construction and Inversion of Analytic Mappings with Unit Jacobian	3
A Computational Approach for Evaluating Steady-State Probabilities and Virtual Waiting Time of a Multiprocessor Queuing System	3
Level Lines of a Polynomial on a Plane	3
Bitcoin Transaction Analysis System	3
Using Multilevel Hash Tables to Speed up Rendering	3
Model of a System for Servicing Multiprocessor Tasks without a Queue	3
Research on Methods for Traversing Two-Level BVH Trees on Graphics Processors	3
Adaptive IIR Filter Based on Penalized Spline	3
Complete Decision Procedure for the Theory of Bounded Pointer Arithmetic	3
Description of Paralocks Language Semantics in TLA+	3
Decomposition of a Finite Quantum System into Subsystems: Symbolic–Numerical Approach	3
Supporting the Architectural Knowledge Condensation in a Co-Localized Agile Environment for Small Entities Using an Ontology	2
Software Security by Design	2
Mining User-Object Interaction Data for Student Modeling in Intelligent Learning Environments	2
A Deferred Rendering Method of a Set of Dynamic Point Light Sources in Voxelized Scenes in Real Time	2
Application of Computer Simulation to the Anonymization of Personal Data: State-of-the-Art and Key Points	2
A Regression Model for Analysis of User Engagement on Facebook Fan Page for Scientific Dissemination Content	2
Scrumlity: An Agile Framework Based on Quality of User Stories	2
Combinatorial Reliability Analysis of Multicore Processors	2
Detection of Network Attacks in a Heterogeneous Industrial Network Based on Machine Learning	2
Computer-Algebraic Approach to First Differential Approximations: Van der Pol Oscillator	2
Parallel Approximation of Multidimensional Tensors Using GPUs	2
Improving the Performance of Information Services in Systems Focused on Large, Rarely Modified Data	2
Specifics of the Development of an On-Board Visualization System for Civil Aircrafts	2
Object Recognition and Coordinate Referencing of an Autonomous Underwater Vehicle to Objects via Video Stream	2
Development of Multi-Platform Steganographic Software Based on Random-LSB	2
Data Repository in Framework for Computation Pipelining: Model, Architecture, the Implementation Performance Estimates	2
Process Improvement in Software Requirements Engineering: A Systematic Mapping Study	2
A Survey of Software Dynamic Analysis Methods	2
Artificial Intelligence (AI) Solution for Plasma Cells Detection	2
Asymptotic Expansions of Solutions to the Second Term of the Fourth Painlevé Hierarchy	2
Computer-Algebraic Study of the Asymptotic Method for Modeling Waveguide Propagation of Electromagnetic Radiation	2
A Taxonomic View of the Fundamental Concepts of Quantum Computing–A Software Engineering Perspective	2
Cross-Lingual Transfer Learning in Drug-Related Information Extraction from User-Generated Texts	2
Joint Super-resolution and Tissue Patch Classification for Whole Slide Histological Images	2
An Algorithm for Detecting Precipitation in Computer Processing of Video Images	2
A Usability and Persuasion Evaluation of Mobile Apps for Diabetes Type 2	2
Building and Developing a Data Protection Service System Based on Postquantum Cryptography Solutions	2

A Method for Improving the Caching Strategy for Computing Systems with Shared Memory	2
Software Model Checking for Memory Consistency Verification	2
NO2 Data Analytics and Visualization Service: Improving Air Quality Insights in Armenia and Belarus	2
On Calculating Partial Sums of Multiple Numerical Series by Methods of Computer Algebra	2
Students’ Systems Thinking Competency Level Detection through Software Cost Estimation Concept Modeling	2
Usability Evaluation of BCI Software Applications: A systematic review of the literature	2
Classification of Non-functional Requirements Using Convolutional Neural Networks	2
Multiobject Visualization of Vast Forests in Virtual Environment Systems	2
Mathematical Modeling of Turbulent Mixing in Gas Systems with a Chevron Contact Boundary using NUT3D, BIC3D, EGAK, and MIMOSA Numerical Codes	2
Rabbit and Tortoise Optimization Algorithm with Mutual Information Based Adaptive Strategy for Network Intrusion Detection	2
On the Numerical Solution of the Characteristic Problems for One Class of Quasilinear Equations	2
Real-Time Analytics: Benefits, Limitations, and Tradeoffs	2
Analytical Review of Confidential Artificial Intelligence: Methods and Algorithms for Deployment in Cloud Computing	1
Constructive Quantum Mechanics and Calculations with Finite Groups	1
Active Learning and Transfer Learning for Document Segmentation	1
Scene Text Detection Using HRNet and Spatial Attention Mechanism	1
Aging Properties of Actual and Virtual Waiting Times in the GI|G|1|∞ Queuing Model	1
Investigation of Difference Schemes for Two-Dimensional Navier–Stokes Equations by Using Computer Algebra Algorithms	1
Analyzing the Influence of Hyperparameters on the Efficiency of an OCR Model for Pre-Reform Handwritten Texts	1
Derivation of Evolutionary Equations in the Many-Body Problem with Isotropically Varying Masses Using Computer Algebra	1
KIAM Astrodynamics Toolbox for Spacecraft Orbital Motion Design	1
Improving System Survivability by Path Duplication	1
Static Analysis of Corpus of Source Codes of Python Applications	1
Hidden Monitoring Based on Keystroke Dynamics in Online Examination System	1
Software for Investigating the Relationship between Hydrogeochemical Earthquake Precursors and Planetary Period	1
Image Motion Blur Removal Algorithm Based on Generative Adversarial Network	1
Constructing Compartmental Models of Dynamic Systems Using a Software Package for Symbolic Computation in Julia	1
On Implementation of Numerical Methods for Solving Ordinary Differential Equations in Computer Algebra Systems	1
Method of Geometry Reconstruction from a Set of RGB Images Using Differentiable Rendering and Visual Hull	1
Design of a Tool to Promote Teacher Training in the Inclusive Classroom in Care for Children with Hearing Disabilities Mediated by ICT	1
Guest Editorial Special Issue: “Emerging Trends in Advanced Computing and Next-Generation Technologies”	1
Improving a Model for NFR Estimation Using Band Classification and Selection with KNN	1
Supercomputer Environment for Recursive Matrix Algorithms	1
Machine Learning-Enabled Battery Management System on FPGA for Electric Vehicles	1
Solving Rician Data Analysis Problems: Theory and Numerical Modeling Using Computer Algebra Methods in Wolfram Mathematica	1
Discrete Optimization Algorithm Based on Probability Distribution with Transformation of Target Values	1
Usability Evaluation of a Mobile Learning Platform Focused on Learning Monitoring and Customization based on a Laboratory Study	1
Exploring Empirical-Theoretical Approaches for Conceptualizing and Specifying Cognitive Solutions in Complex Informally Structured Domains	1
Image Restoration Using Genetic Algorithms	1
Is It Possible to Use ChatGPT to Perform Measurements Using the COSMIC Method?	1
On Linear Cellular Automata	1
Formal Rules to Produce Object Notation for EXPRESS Schema-Driven Data	1
Domain-Driven Design in Microservices-Based Systems Development: A Systematic Literature Review and Thematic Analysis	1
Secure Messaging Application Development: Based on Post-Quantum Algorithms CSIDH, Falcon, and AES Symmetric Key Cryptosystem	1
A Design Science Approach to Modeling the V Gene Annotation Process	1
Symbolic Conversion of Holonomic Functions to Hypergeometric Type Power Series	1
A Tertiary Study on Microservices: Research Trends and Recommendations	1
Study of Surface Representation Methods Based on Signed Distance Functions	1
Tools for Capturing and Processing High-Speed Network Traffic	1
Analysis of Traces on Discharged Bullets by the Congruent Matching Profile Segments Method and k-Nearest Neighbors	1
Dual Representation of Geometry for Ray Tracing Acceleration in Optical Systems with Freeform Surfaces	1
An Image Hashing Algorithm Based on a Convolutional Neural Network	1
A Systematic Literature Review of 10 years of Research on Program Synthesis and Natural Language Processing	1
Software Performance Optimization for Classification and Linking of Administrative Documents	1
Empowering National Research and Education Networks through Monitoring and Advanced Emulation: ASNET-AM Use Cases and Lessons Learned	1
Exhaustive Use of Information on an Equation with Truncated Coefficients	1
Predicting COVID-19-Induced Lung Damage Based on Machine Learning Methods	1
Towards Conversational Agents to support Informal Caregivers of People with Dementia: Challenges and Opportunities	1
Finite Decimal Fractions As Entries of Nonsingular Matrices	1
Polynomial Relations for Bounds on the Exponents in Solutions to Operator Equations	1
A Microservice Deployment Guide	1
A Method to Order Point Clouds for Visualization on the Ray Tracing Pipeline	1
Efficient Rendering for the Cockpit Display System Designed in Compliance with the ARINC 661 Standard	1
Symbolic Studies of Maxwell’s Equations in Space-Time Algebra Formalism	1
PhyloTraVis: A New Approach to Visualization of the Phylogenetic Tree	1
GUEST EDITORIAL Special Issue on Recent Trends in Advanced Computing, Engineering and Technology: Transformation and Innovation	1
Graphics Shader Testing for On-Board Visualization System of Civil Aircraft	1
Enhancing Android Ransomware Detection Using an Ensemble Machine Learning Classifier	1
Automated Method for Optimum Scale Search when Using Trained Models for Histological Image Analysis	0
Typed Unknown Values: A Step towards Solving the Problem of Missing Data Representation in Relational Databases	0
Determination of Relevant Risk Factors for Breast Cancer Using Feature Selection	0
Access Control Analysis in Heterogeneous Big Data Management Systems	0
Applying Computer Algebra Systems to Study Chaundy-Bullard Identities for the Vector Partition Function with Weight	0
Development of Algorithmic and Software Support for Symbolic Computations in Problems of Constructing Controlled Compartmental Models of Dynamic Systems	0
Guest Editorial Special Issue “Recent Trends on Advanced Computing: The Converging Technologies”	0
Deep Learning Applications for Intrusion Detection in Network Traffic	0
Neural Network Method for Detecting Blur in Histological Images	0
Guest Editorial Special Issue “Software Engineering”	0
One-class Classification for Identifying COVID-19 in X-Ray Images	0
Algorithm for Finding Singular Points of a General Algebraic Hypersurface	0

Comparative Efficiency Analysis of Hashing Algorithms for Use in zk-SNARK Circuits in Distributed Ledgers	0
White Balance Correction for Detecting Holograms in Color Images of Black-and-White Photographs	0
Computer Algebra Tools for Geometrization of Maxwell’s Equations	0
A Universal Algorithm for Discretizing Bichromatic Two-Dimensional Graphic Codes	0
Choice of Activation Function in Convolutional Neural Networks for Person Re-Identification in Video Surveillance Systems	0
A Model and Declarative Language for Specifying Binary Data Formats	0
Symbolic Computation of a Homological Equation of an Arbitrary Order and Reduction of Hamiltonian System to Its Normal Form	0
An Efficient Technology of Real-Time Modeling of Height Field Surface on the Ray Tracing Pipeline	0
Construction of Pseudo-Geometric Integrators	0
The Study of Robot Interaction Algorithms Using Intelligent Simulation Agents	0
Quadrature Formula for the Direct Value of the Double-Layer Potential	0
Automatic Code Generation of User-centered Serious Games: A Decade in Review	0
Self-Organizing Multi-User UAV Swarm Simulation Platform	0
Alternative Approaches of Solving the Discrete Tomography	0
Bots in Software Development: A Systematic Literature Review and Thematic Analysis	0
Constructing the Internal Voronoi Diagram of Polygonal Figure Using the Sweepline Method	0
Types of Attacks against Federated Neural Networks and Protection Methods	0
Soft and Hard Skills Gained by Students through Real Projects Developed at a University Software Company	0
Thematic Search Algorithms in Scientometric Systems	0
Named Entity Recognition for Code Review Comments	0
On Computing the Resultant of a Polynomial and an Entire Function	0
Framework for Development and Execution of Scientific WorkFlows: Designing Service-Oriented Applications	0
Optimization of Artificial Neural Networks using Wavelet Transforms	0
Symbolic Computation of an Arbitrary-Order Resonance Condition in a Hamiltonian System	0
Erratum to: Evaluation of Differential Equation Solutions through Traditional Techniques and Neural Networks in Quantum Simulations	0
Antipattern Practice for Essence Practice Library	0
Analytical-Numerical Implementation of Polyvector Algebra in Julia	0
A Simple Way to Improve Road Safety by Avoiding Dangerous Sections of the Route	0
Improving Fuzzing Using Input Data Offsets Comparison Information	0
Method for Convolutional Neural Network Hardware Implementation Based on a Residue Number System	0
Formal Specification and Verification of Requirements in Architecture and Construction using the EXPRESS Modeling Language	0
On Binary Solutions to a System of Linear Equations Modulo Three	0
Development of Algorithms and Software for Modeling Controlled Dynamic Systems Using Symbolic Computations and Stochastic Methods	0
Supporting Vector Textures in a GPU Photorealistic Rendering System	0
On Accelerated Coordinate Descent Methods for Searching Equilibria in Two-Stage Transportation Equilibrium Traffic Flow Distribution Model	0
3D Scene Reconstruction and Digitization Method for Mixed Reality Systems	0
Learning Analytics in Higher Education: A Decade in Systematic Literature Review	0
Automated Assessment of the Progress and “Health” of Projects Based on the OMG Essence Standard	0
Enhancing Fuzz Testing Efficiency through Automated Fuzz Target Generation	0
Efficiency Analysis of a Simulation Model of Cloud Computing in the Case of Multiple Server Failures	0
Analyzing and Categorization Developer Intent on Twitch Live Chat	0
Hybrid Binarization Method for Historical Handwritten Documents	0
Modified Error Detection and Localization in the Residue Number System	0
Implementation of Geometric Algebra in Computer Algebra Systems	0
AMI/IoT Data Model for Public Lighting in México Using Lz4 Compression, IPFS and Blockchain	0
Designing of High-Performance Digital Filters using the Balanced Residue Number System Moduli Set	0
Interactive Calculation of Light Refraction and Caustics Using a Graphics Processor	0
Caustic Illuminance Calculation with DirectX Raytracing	0
Cloud Data Storage and Private Information Retrieval Аlgorithms	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
Information Flow Control in Software DB Units Based on Formal Verification	0
Enhancing Image Recognition with Pre-Defined Convolutional Layers Based on PDEs	0
Searching for Laurent Solutions of Systems of Linear Differential Equations with Truncated Power Series in the Role of Coefficients	0
Requirements Validation in the Information System Software Development Lifecycle: A Software Quality in Use Evaluation	0
Database Migration from ORACLE to PostgreSQL	0
Agent-Based Modelling of Dynamics of Interacting Unmanned Ground Vehicles Using FLAME GPU	0
Resonances and Periodic Motions of Atwood’s Machine with Two Oscillating Weights	0
CGWO: An Improved Grey Wolf Optimization Technique for Test Case Prioritization	0
Integration of a Degenerate System of ODEs	0
Optimization of ProVerif Programs for AKE Protocols	0
A Modified Method for Task Scheduling in Linux Kernel Based on Determining the Intensity of Memory Access	0
Construction of a Minimum Complexity Onboard Switched Network with Time Synchronization	0
Unified Processing of Events and Co-routines in Embedded Program	0
Using Dynamic Memory Reallocation in GInv	0
Building a Scale for Internet Fraud Detection Using Machine Learning	0
Software Testing in the DevOps Context: A Systematic Mapping Study	0
Regular Memory Structures and Operation Domains of Intelligent Systems	0
Strongly Cyclic Vectors	0
Projective Geometric Algebra in Plane and Its Implementation in the Library Ganja.js	0
Manycore Parallel Simulations of Fishing Nets	0
Ontology-Driven Visual Analytics Software Development	0
Highly Realistic Visualization of Caustics and Rough Surfaces	0
Constraint Programming for Automatic User Interface Construction	0
Formal Verification of Blockchain Based Tender Systems	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
Analysis of Vulnerabilities of Neural Network Image Recognition Technologies	0
Runtime Verification of Operating Systems Based on Abstract Models	0
Searching for Laurent Solutions of Truncated Systems of Linear Differential Equations with the Use of EG-Eliminations	0
Algorithm for Computing the Truncation of the Discriminant of a Polynomial	0
Analysis of Behavior-Driven Development: A Thematic Synthesis	0
Generation of Images with Handwritten Text in Russian	0
Structural Coverage Analysis of Entry and Exit Points Required to Achieve the Objectives Defined in DO-178C	0
Symbolic Methods for Studying the Equilibrium Orientations of a System of Two Connected Bodies in a Circular Orbit	0
The Use of Functional Programming Library for Parallel Computing on CUDA	0
Influence of Unequilateral Apertures of Digital Filters Laplacian “Trunced Pyramid” and “Double Pyramid” on the Accuracy of Television Measuring Systems	0
How to Prevent Fake Cycles in DFG Models Discovered from Event Logs?	0
Mission Preparation for Self-Organizing UAV Swarms on Multiuser Platform	0
On Logical Analysis of Transition Structure of Agents	0
Enumerator-Arguments As a Language Tool for Defining Loops	0
Reconstruction of Optical Properties of Real Scene Objects from Images by Taking into Account Secondary Illumination and Selecting the Most Important Points	0
On the Implementation Time of Distributed Computing in Synchronous Mode with a Limited Number of Copies of a Software Resource	0
On Calculation of Abelian Differentials	0
Symbolic Algorithm for Finding Zeros of a System of Holomorphic Functions	0
About Methods for Extracting Algorithms from Binary Code	0