Programming and Computer Software

Article	Citations
Application of Monadic Calculations in Solving Numerical Problems	25
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	21
User Experience of ADHD People: an EEG-Based Exploratory Study	14
Lower Bounds for the Rank of a Matrix with Zeros and Ones outside the Leading Diagonal	14
Automatic Image Style Transfer using an Augmented Style Set	13
Adaptive Method for Selecting Basis Functions in Kolmogorov–Arnold Networks for Magnetic Resonance Image Enhancement	12
The Use of the Missing Sample Simulation Modeling to Create a Classification Model for Three or More Classes by the Example of the Carbohydrate Metabolism Disorder Degree Detection Problem	12
Effective Lower Bounds on the Matrix Rank and Their Applications	11
Specialized Word Embedding Model for the Detection of Suicidal Ideation Using Deep Learning	10
Study of the Problem of Ensuring Security in Storage and Processing of Confidential Data	9
Software Implementation of an Algorithm for Automatic Detection of Lineaments and Their Properties in Open-Pit Dumps	9
Agent-Based Simulation of Social Groups: A Systematic Review of Structural, Behavioral, and Interactional Dimensions	8
Elements for Automatic Identification of Fallacies in Mexican Election Campaign Political Speeches	8
Static Memory Layout for Real-Time Operating Systems	8
RuGECToR: Rule-Based Neural Network Model for Russian Language Grammatical Error Correction	8
Solving the Cauchy Problem for a Three-dimensional Difference Equation in a Parallelepiped	8
Human Event Recognition in Smart Classrooms Using Computer Vision: A Systematic Literature Review	7
Class Balancing Approaches to Improve for Software Defect Prediction Estimations: A Comparative Study	7
Evaluation of Differential Equation Solutions through Traditional Techniques and Neural Networks in Quantum Simulations	7
Configurable Test System for RTOS	6
Symbolic Calculations in the Study of Secular Perturbations in the Many-Body Problem with Variable Masses	6
A Survey of Network Traffic Classification Methods Using Machine Learning	6
Building Adaptable Dashboards for Smart Cities: Design and Evaluation	6
Hardware Implementation of Code Converters Designed to Reduce the Length of Binary Encoded Words	5
Critical Analysis of User Experience Evaluation Methods Focused on Deaf Users: A Systematic Literature Review	5

SLAP — Simple Linear Attack against Perceptron (SLAP)	5
Twenty Similarity Functions for Two Finite Sequences	5
How COVID-19 Pandemic affects Software Developers’ Wellbeing, and the Necessity to strengthen Soft Skills	5
Estimating the Complexity of Objects in Images	5
Representation of Traffic Congestion: A Multicriteria Analysis Approach Based on Distances	5
Method for Semantic Image Segmentation Based on the Neural Network with Gabor Filters	4
Symbolic-Numerical Implementation of the Model of Adiabatic Guided Modes for Two-Dimensional Irregular Waveguides	4
A Package of Procedures and Functions for Construction and Inversion of Analytic Mappings with Unit Jacobian	4
Algorithm for Calculating Correctly Rounded Exponential Function in Double Precision Using Double-Extended Arithmetic	4
Intuitionistic Fuzzy Recurrence Plots for Classifying Cardiac Arrhythmias Using Deep Learning	4
Automating Phytosanitary Intelligence: The FREM System	4
Multigroup Classification of Firing Pin Impressions with the Use of a Fully Connected Neural Network	4
Computer Algebra Calculations in Supersymmetric Electrodynamics	4
Using Multilevel Hash Tables to Speed up Rendering	4
Model of a System for Servicing Multiprocessor Tasks without a Queue	4
PLIF Platform: Modeling and Verification of Information Flows in Software DB Units Using the Temporal Logic of Actions (TLA+)	4
Computational Aspects of the Horn–Kapranov Parametrization	4
Description of Paralocks Language Semantics in TLA+	4
Complete Decision Procedure for the Theory of Bounded Pointer Arithmetic	4
Research on Methods for Traversing Two-Level BVH Trees on Graphics Processors	3
Joint Super-resolution and Tissue Patch Classification for Whole Slide Histological Images	3
On the Numerical Solution of the Characteristic Problems for One Class of Quasilinear Equations	3
Parallel Approximation of Multidimensional Tensors Using GPUs	3
New Approach for Online Voting Ensuring Privacy and Verifiability	3
Bitcoin Transaction Analysis System	3
Adaptive IIR Filter Based on Penalized Spline	3
Real-Time Analytics: Benefits, Limitations, and Tradeoffs	3
Software Security by Design	3
Comprehensive Assessment of Criticality of Energy System Elements Based on Service-Oriented Approach	3
Improving the Performance of Information Services in Systems Focused on Large, Rarely Modified Data	3
A Usability and Persuasion Evaluation of Mobile Apps for Diabetes Type 2	3
A Computational Approach for Evaluating Steady-State Probabilities and Virtual Waiting Time of a Multiprocessor Queuing System	3
Specifics of the Development of an On-Board Visualization System for Civil Aircrafts	3
Object Recognition and Coordinate Referencing of an Autonomous Underwater Vehicle to Objects via Video Stream	3
An Algorithm for Detecting Precipitation in Computer Processing of Video Images	3
Classification of Non-functional Requirements Using Convolutional Neural Networks	3
Building and Developing a Data Protection Service System Based on Postquantum Cryptography Solutions	3
An Open-Source Approach to Detect Pass-the-Hash Attack in Active Directory Using Wazuh and Sysmon	3
Development of Multi-Platform Steganographic Software Based on Random-LSB	2
An Algorithm for Additional Optimization of Block Cover of a System of Disjunctive Normal Forms of Boolean Functions	2
Software Verification Witnesses Thoroughness	2
Artificial Intelligence (AI) Solution for Plasma Cells Detection	2
Combinatorial Reliability Analysis of Multicore Processors	2
Domain-Driven Design in Microservices-Based Systems Development: A Systematic Literature Review and Thematic Analysis	2
Image Motion Blur Removal Algorithm Based on Generative Adversarial Network	2
Data Repository in Framework for Computation Pipelining: Model, Architecture, the Implementation Performance Estimates	2
On Implementation of Numerical Methods for Solving Ordinary Differential Equations in Computer Algebra Systems	2
Symbolic Studies of Maxwell’s Equations in Space-Time Algebra Formalism	2
A Survey of Software Dynamic Analysis Methods	2
Multiobject Visualization of Vast Forests in Virtual Environment Systems	2

Computer-Algebraic Study of the Asymptotic Method for Modeling Waveguide Propagation of Electromagnetic Radiation	2
A Method for Improving the Caching Strategy for Computing Systems with Shared Memory	2
Software Model Checking for Memory Consistency Verification	2
Mathematical Modeling of Turbulent Mixing in Gas Systems with a Chevron Contact Boundary using NUT3D, BIC3D, EGAK, and MIMOSA Numerical Codes	2
Cross-Lingual Transfer Learning in Drug-Related Information Extraction from User-Generated Texts	2
A Taxonomic View of the Fundamental Concepts of Quantum Computing–A Software Engineering Perspective	2
Analyzing the Influence of Hyperparameters on the Efficiency of an OCR Model for Pre-Reform Handwritten Texts	2
A Method to Order Point Clouds for Visualization on the Ray Tracing Pipeline	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
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
Consistency in Smart Contracts Design	2
Detection of Network Attacks in a Heterogeneous Industrial Network Based on Machine Learning	2
Rabbit and Tortoise Optimization Algorithm with Mutual Information Based Adaptive Strategy for Network Intrusion Detection	2
Computer-Algebraic Approach to First Differential Approximations: Van der Pol Oscillator	2
Architecture for Semantic Profile Matching Based on Text Descriptors	2
Supporting the Architectural Knowledge Condensation in a Co-Localized Agile Environment for Small Entities Using an Ontology	2
Application of Computer Simulation to the Anonymization of Personal Data: State-of-the-Art and Key Points	2
A Method for Explaining Forecasts of Artificial Intelligence Models Based on the Shapley Algorithm and a Generative Language Model	2
Hidden Monitoring Based on Keystroke Dynamics in Online Examination System	2
Process Improvement in Software Requirements Engineering: A Systematic Mapping Study	2
A Design Science Approach to Modeling the V Gene Annotation Process	2
Sensitivity Analysis of Canonical Bioinspired Algorithms in Search-Based Software Testing: An Empirical Study	2
A Deferred Rendering Method of a Set of Dynamic Point Light Sources in Voxelized Scenes in Real Time	2
Mining User-Object Interaction Data for Student Modeling in Intelligent Learning Environments	2
A Hybrid Approach based on Ant Colony Optimization to Improve the Performance of the K-Means Algorithm for Clustering Energy Efficiency Patterns	2
Usability Evaluation of BCI Software Applications: A systematic review of the literature	2
Theoretical Basis of Mathematical Apparatus for Parallel Computing Implementation in Computer-Aided Design Systems	1
A Reinforcement Learning Approach for Long-term Hydrothermal Dispatch	1
About Methods for Extracting Algorithms from Binary Code	1
High-Performance DGEMM Implementation on Modern X86 CPUs	1
KIAM Astrodynamics Toolbox for Spacecraft Orbital Motion Design	1
Dual Representation of Geometry for Ray Tracing Acceleration in Optical Systems with Freeform Surfaces	1
Novel ZKRP Algorithm Based on Order-Revealing Encryption Scheme	1
Port-Hamiltonian Systems: Structure Recognition and Applications	1
Performance Analysis of Quantum Computing Frameworks for Cryptographic Applications	1
Scenario of Information Flow Analysis Implementation in PL/SQL Program Units with PLIF Platform	1
On Linear Cellular Automata	1
Formal Rules to Produce Object Notation for EXPRESS Schema-Driven Data	1
A Deep Learning Framework for ECG Classification Based on 2D-to-1D Data Transformation Using Autoencoder and LSTM	1
Constructing Compartmental Models of Dynamic Systems Using a Software Package for Symbolic Computation in Julia	1
An Image Hashing Algorithm Based on a Convolutional Neural Network	1
Fuzzing of Polymorphic Systems within Microsevice Structures	1
The Defender’s Dilemma: Are Defense Methods Against Different Attacks on Machine Learning Models Compatible?	1
Exploring Empirical-Theoretical Approaches for Conceptualizing and Specifying Cognitive Solutions in Complex Informally Structured Domains	1
GUEST EDITORIAL Special Issue on Recent Trends in Advanced Computing, Engineering and Technology: Transformation and Innovation	1
PMAP: A Multimodal Tool for Visual Analysis of Physiological Biomarkers and Audio for Student Mental Health	1
Solving Rician Data Analysis Problems: Theory and Numerical Modeling Using Computer Algebra Methods in Wolfram Mathematica	1
Implementation of Analytic Projective Geometry for Computer Graphics	1
A Microservice Deployment Guide	1
Layer-by-Layer Knowledge Distillation for Training Simplified Bipolar Morphological Neural Networks	1
Software Performance Optimization for Classification and Linking of Administrative Documents	1
Skills Required for Quantum Computing: A Comprehensive Review of Recent Studies	1
Improving System Survivability by Path Duplication	1
Analytical Review of Confidential Artificial Intelligence: Methods and Algorithms for Deployment in Cloud Computing	1
Dynamic Intercluster Resource Sharing and Node Migration in Hierarchical Federated Fog Computing for IoT Deployments	1
Tools for Capturing and Processing High-Speed Network Traffic	1
Guest Editorial Special Issue: “Emerging Trends in Advanced Computing and Next-Generation Technologies”	1
Polynomial Relations for Bounds on the Exponents in Solutions to Operator Equations	1
Integrating Document AI and Vision-Language Models for Automated Electronic Manifest Generation	1
Towards Conversational Agents to support Informal Caregivers of People with Dementia: Challenges and Opportunities	1
A Systematic Literature Review of 10 years of Research on Program Synthesis and Natural Language Processing	1
Usability Evaluation of a Mobile Learning Platform Focused on Learning Monitoring and Customization based on a Laboratory Study	1
Graphics Shader Testing for On-Board Visualization System of Civil Aircraft	1
Enhancing Android Ransomware Detection Using an Ensemble Machine Learning Classifier	1
Design of a Tool to Promote Teacher Training in the Inclusive Classroom in Care for Children with Hearing Disabilities Mediated by ICT	1
Secure Messaging Application Development: Based on Post-Quantum Algorithms CSIDH, Falcon, and AES Symmetric Key Cryptosystem	1
New Statistically Secure Pseudorandom Sequence Generation Methods	1
DNS Tunneling Detection Using Methods of Machine Learning	1
Static Analysis of Corpus of Source Codes of Python Applications	1
An Extendable Essay on the Sage Computer Algebra System and an Editor for Creating Extendable Essays	1
Development of a Red-Teaming Dataset to Defend Large Language Models Against Attacks	1
Segmenting Benign and Malignant Solid Masses in Ultrasound Images Using Deep Learning	1
Empowering National Research and Education Networks through Monitoring and Advanced Emulation: ASNET-AM Use Cases and Lessons Learned	1
A Tertiary Study on Microservices: Research Trends and Recommendations	1
Exploring the Frontier of Software Engineering Education with Chatbots	1
Machine Learning-Enabled Battery Management System on FPGA for Electric Vehicles	1
Constructive Quantum Mechanics and Calculations with Finite Groups	1

Aging Properties of Actual and Virtual Waiting Times in the GI|G|1|∞ Queuing Model	1
Software for Investigating the Relationship between Hydrogeochemical Earthquake Precursors and Planetary Period	1
Improving a Model for NFR Estimation Using Band Classification and Selection with KNN	1
Investigation of Difference Schemes for Two-Dimensional Navier–Stokes Equations by Using Computer Algebra Algorithms	1
Active Learning and Transfer Learning for Document Segmentation	1
Preventing Vulnerabilities Caused by Optimization of Code with Undefined Behavior	1
Analysis of Traces on Discharged Bullets by the Congruent Matching Profile Segments Method and k-Nearest Neighbors	1
Using Deep Reinforcement Learning for Selecting Network Traffic Features in Intrusion Detection Systems	1
Method of Geometry Reconstruction from a Set of RGB Images Using Differentiable Rendering and Visual Hull	1
Discrete Optimization Algorithm Based on Probability Distribution with Transformation of Target Values	1
Study of Surface Representation Methods Based on Signed Distance Functions	1
Scene Text Detection Using HRNet and Spatial Attention Mechanism	1
Is It Possible to Use ChatGPT to Perform Measurements Using the COSMIC Method?	1
Understanding Gender Diversity in Software Teams: Insights from a Systematic Literature Review	1
Finite Decimal Fractions As Entries of Nonsingular Matrices	1
Highly Realistic Visualization of Caustics and Rough Surfaces	0
Designing of High-Performance Digital Filters using the Balanced Residue Number System Moduli Set	0
Constructing the Internal Voronoi Diagram of Polygonal Figure Using the Sweepline Method	0
The Use of Functional Programming Library for Parallel Computing on CUDA	0
An Integrated Simar–Wilson Data Envelopment Analysis and Beta-Tobit Framework for Evaluating Brazilian Bus Transport Efficiency	0
On Accelerated Coordinate Descent Methods for Searching Equilibria in Two-Stage Transportation Equilibrium Traffic Flow Distribution Model	0
Projective Geometric Algebra in Plane and Its Implementation in the Library Ganja.js	0
On the Calculation of the Number of Real Roots of a System of Nonalgebraic Equations Using Computer Algebra	0
Automatic Code Generation of User-centered Serious Games: A Decade in Review	0
Types of Attacks against Federated Neural Networks and Protection Methods	0
Interactive Calculation of Light Refraction and Caustics Using a Graphics Processor	0
Unified Processing of Events and Co-routines in Embedded Program	0
CGWO: An Improved Grey Wolf Optimization Technique for Test Case Prioritization	0
An Enriched Mixed Combinatorial Optimization Model to Manage the Hydrothermal Dispatch for the Río Negro Hydroelectric Complex	0
Explainable and Behavior-Aware Decision Making in Self-Organizing Swarms	0
Searching for Laurent Solutions of Truncated Systems of Linear Differential Equations with the Use of EG-Eliminations	0
On Binary Solutions to a System of Linear Equations Modulo Three	0
Guest Editorial Special Issue “Software Engineering”	0
Automated Assessment of the Progress and “Health” of Projects Based on the OMG Essence Standard	0
Efficiency Analysis of a Simulation Model of Cloud Computing in the Case of Multiple Server Failures	0
Applying Computer Algebra Systems to Study Chaundy-Bullard Identities for the Vector Partition Function with Weight	0
Systematic Ablation Study of Encoder Only Transformers for Epileptic Seizure Monitoring	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
Deep Learning Applications for Intrusion Detection in Network Traffic	0
Cloud Data Storage and Private Information Retrieval Аlgorithms	0
Implementation of Geometric Algebra in Computer Algebra Systems	0
Symbolic Algorithm for Finding Zeros of a System of Holomorphic Functions	0
Reconstruction of Optical Properties of Real Scene Objects from Images by Taking into Account Secondary Illumination and Selecting the Most Important Points	0
Hybrid Binarization Method for Historical Handwritten Documents	0
Database Migration from ORACLE to PostgreSQL	0
Formal Verification of Blockchain Based Tender Systems	0
Enhancing Image Recognition with Pre-Defined Convolutional Layers Based on PDEs	0
Using Dynamic Memory Reallocation in GInv	0
CLIPS-Based Expert System Integration into a POSIX Compliant Real-Time Operating System	0
User Modeling with EEG Signals: Learning Styles Case Study	0
Runtime Verification of Operating Systems Based on Abstract Models	0
How to Prevent Fake Cycles in DFG Models Discovered from Event Logs?	0
A Simple Way to Improve Road Safety by Avoiding Dangerous Sections of the Route	0
Resonances and Periodic Motions of Atwood’s Machine with Two Oscillating Weights	0
Generation of Images with Handwritten Text in Russian	0
Optimization of Waste Collection Routes in the Historic Center of Cuernavaca Using a Simulated Annealing Metaheuristic Approach	0
Hardware-Accelerated 0-RTT TLS 1.3 for Resource-Constrained IoT Devices: Implementation and Security Analysis	0
Software Testing on Microservices-Based Systems: A Systematic Literature Review and Thematic Analysis	0
Experimental Study of Algorithms for Minimization of Binary Decision Diagrams Using Algebraic Representations of Cofactors	0
Analysis of Behavior-Driven Development: A Thematic Synthesis	0
Strongly Cyclic Vectors	0
A Model and Declarative Language for Specifying Binary Data Formats	0
Optimization of ProVerif Programs for AKE Protocols	0
Symbolic Computation of an Arbitrary-Order Resonance Condition in a Hamiltonian System	0
Guest Editorial Special Issue: “Advanced Computing Paradigms: Innovations and Future Directions”	0
An Efficient Technology of Real-Time Modeling of Height Field Surface on the Ray Tracing Pipeline	0
Formal Specification and Verification of Requirements in Architecture and Construction using the EXPRESS Modeling Language	0
Enhanced S2E for Analysis of Multi-Thread Software	0
Algorithm for Finding Singular Points of a General Algebraic Hypersurface	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
Mission Preparation for Self-Organizing UAV Swarms on Multiuser Platform	0
Natural Language Processing for Requirements Elicitation and Analysis: A Systematic Literature Review of Techniques and Tools	0
Modified Error Detection and Localization in the Residue Number System	0
Bots in Software Development: A Systematic Literature Review and Thematic Analysis	0
Choice of Activation Function in Convolutional Neural Networks for Person Re-Identification in Video Surveillance Systems	0
Enumerator-Arguments As a Language Tool for Defining Loops	0
Design Experimentation in Diabetes Data Visualization: Insights from a Systematic Literature Review	0
Named Entity Recognition for Code Review Comments	0
Data Profiling for Data Quality Assessment: A First Oncoming Methodological Proposal	0
Enhanced S2E to Trigger Races in Multithreaded Applications	0
Self-Organizing Multi-User UAV Swarm Simulation Platform	0
Framework for Development and Execution of Scientific WorkFlows: Designing Service-Oriented Applications	0
Automated Method for Optimum Scale Search when Using Trained Models for Histological Image Analysis	0
3D Scene Reconstruction and Digitization Method for Mixed Reality Systems	0
Guest Editorial Special Issue “Recent Trends on Advanced Computing: The Converging Technologies”	0
Synthetic Energy Data Generation Using Wasserstein GANs for High Performance Computing Nodes	0
Building a Scale for Internet Fraud Detection Using Machine Learning	0
Development of Algorithmic and Software Support for Symbolic Computations in Problems of Constructing Controlled Compartmental Models of Dynamic Systems	0
White Balance Correction for Detecting Holograms in Color Images of Black-and-White Photographs	0
Construction of a Minimum Complexity Onboard Switched Network with Time Synchronization	0
Comparative Efficiency Analysis of Hashing Algorithms for Use in zk-SNARK Circuits in Distributed Ledgers	0
Enhancing Fuzz Testing Efficiency through Automated Fuzz Target Generation	0
Manycore Parallel Simulations of Fishing Nets	0
Soft and Hard Skills Gained by Students through Real Projects Developed at a University Software Company	0