default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDProgramming and Computer Software, Volume 51
Volume 51, Number 1, February 2025
- D. O. Ilyukhin, Anastasia V. Parusnikova:
Method for Checking the Regularity of a Singular Point of a System of Linear Differential Equations with Meromorphic Coefficients. 1-5 - Vladimir V. Kornyak:
Constructive Quantum Mechanics and Calculations with Finite Groups. 6-16 - Mikhail D. Malykh
, E. A. Airiyan, Yu Ying:
On Calculation of Abelian Differentials. 17-20 - Alexey A. Petrov, Olga V. Druzhinina, Olga N. Masina, Anastasia V. Demidova:
Development of Algorithmic and Software Support for Symbolic Computations in Problems of Constructing Controlled Compartmental Models of Dynamic Systems. 21-31 - Alexander N. Prokopenya, Mukhtar Zh. Minglibayev, M. R. Saparova:
Symbolic Calculations in the Study of Secular Perturbations in the Many-Body Problem with Variable Masses. 32-40 - Sergei A. Abramov, Anna A. Ryabenko:
Polynomial Relations for Bounds on the Exponents in Solutions to Operator Equations. 41-47
Volume 51, Number 2, April 2025
- Alexander B. Batkhin:
Statistics of the Distribution of Families of Periodic Solutions to Hill's Problem. 49-60 - Victor F. Edneral:
On Integrability of Two- and Three-Dimensional Dynamical Systems with a Quadratic Right-Hand Side. 61-66 - Migran N. Gevorkyan, Tatiana R. Velieva, Anna V. Korolkova, Dmitry S. Kulyabov, Leonid A. Sevastyanov:
Projective Geometric Algebra in Plane and Its Implementation in the Library Ganja.js. 67-82 - Vyacheslav I. Kuzovatov, Alexey A. Kytmanov:
On the Calculation of the Number of Real Roots of a System of Nonalgebraic Equations Using Computer Algebra. 83-87 - Alexander P. Lyapin, E. N. Mikhalkin:
Algorithm for Finding Singular Points of a General Algebraic Hypersurface. 88-92 - A. A. Panferov, E. A. Bordachenkova:
Strongly Cyclic Vectors. 93-100 - Timur M. Sadykov:
Computational Aspects of the Horn-Kapranov Parametrization. 101-108 - Oleg A. Zverkov, Alexander V. Seliverstov:
On Binary Solutions to a System of Linear Equations Modulo Three. 109-116 - Sergei A. Abramov, Anna A. Ryabenko:
Finite Decimal Fractions As Entries of Nonsingular Matrices. 117-122
Volume 51, Number 3, June 2025
- Boris Kh. Barladian, Alexey G. Voloboy, Lev Z. Shapiro, Evgeny Yurievich Denisov, Vladimir A. Galaktionov:
Graphics Shader Testing for On-Board Visualization System of Civil Aircraft. 123-130 - Albert Garifullin, Vladimir A. Frolov, A. S. Budak, Vladimir A. Galaktionov:
Study of Surface Representation Methods Based on Signed Distance Functions. 131-139 - S. I. Kupriyanov, Igor E. Kinev:
Reconstruction of Optical Properties of Real Scene Objects from Images by Taking into Account Secondary Illumination and Selecting the Most Important Points. 140-149 - Anatoly I. Lysykh, Dmitry D. Zhdanov, Maksim I. Sorokin:
Method of Geometry Reconstruction from a Set of RGB Images Using Differentiable Rendering and Visual Hull. 150-159 - E. A. Murin, Dmitry V. Sorokin, Andrey S. Krylov:
Method for Semantic Image Segmentation Based on the Neural Network with Gabor Filters. 160-166 - Maksim A. Penkin, Andrey S. Krylov:
Adaptive Method for Selecting Basis Functions in Kolmogorov-Arnold Networks for Magnetic Resonance Image Enhancement. 167-172 - Pavel A. Sherstnev, K. D. Kozhin, Anna Pyataeva:
Analyzing the Influence of Hyperparameters on the Efficiency of an OCR Model for Pre-Reform Handwritten Texts. 173-180 - Lev M. Smirnov, Vladimir A. Frolov, Yury A. Kryachko, Alexey G. Voloboy:
Research on Methods for Traversing Two-Level BVH Trees on Graphics Processors. 181-197 - Petr Yu. Timokhin, Mikhail V. Mikhaylyuk:
Multiobject Visualization of Vast Forests in Virtual Environment Systems. 198-206 - Sergey I. Vyatkin, Boris S. Dolgovesov:
A Deferred Rendering Method of a Set of Dynamic Point Light Sources in Voxelized Scenes in Real Time. 207-215
Volume 51, Number 4, August 2025
- D. A. Starikov, Dmitry V. Divakov, Anastasia A. Tiutiunnik:
Computer-Algebraic Study of the Asymptotic Method for Modeling Waveguide Propagation of Electromagnetic Radiation. 217-223 - Igor B. Bourdonov, Nina V. Evtushenko, Alexander S. Kossatchev:
Improving System Survivability by Path Duplication. 224-241 - A. I. Vasenina, Yurii Kostyukov, Dmitry Mordvinov:
Automatic Inference of Synchronous Regular Invariants. 242-256 - A. K. Kulagin:
Application of the 9P Protocol in Organizing a High-Speed Shared Memory Buffer for Intermediate Computations (RAMPL). 257-261 - Peter Lozov, Dmitry Kosarev, Dmitri Boulytchev:
Constraint Programming for Automatic User Interface Construction. 262-273 - Md. Masudur Rahman, Toukir Ahammed, Md. Mahbubul Alam Joarder, Kazi Sakib:
Do Internal Software Metrics Have Relationship with Fault-Proneness and Change-Proneness? 274-282 - Aleksey A. Timakov, I. G. Ryzhov:
PLIF Platform: Modeling and Verification of Information Flows in Software DB Units Using the Temporal Logic of Actions (TLA+). 283-296
Volume 51, Number 5, October 2025
- Mikhail M. Krasnov:
Application of Monadic Calculations in Solving Numerical Problems. 297-304 - Pavel S. Andrianov, Sergey V. Zelenov, Vadim S. Mutilin, Alexander K. Petrenko:
Software Model Checking for Memory Consistency Verification. 305-313 - Tat-Thang Nguyen, Duc-Huy Quach, Thanh-Toan Dao, Nhu-Quynh Luc:
Building and Developing a Data Protection Service System Based on Postquantum Cryptography Solutions. 314-326 - Pavel A. Lyakhov, N. N. Nagornov, Maxim V. Bergerman, Albina S. Abdulsalyamova, Ruslan Abdulkadirov:
Designing of High-Performance Digital Filters using the Balanced Residue Number System Moduli Set. 327-339 - E. A. Varlamova, T. N. Romanova:
A Modified Method for Task Scheduling in Linux Kernel Based on Determining the Intensity of Memory Access. 340-348 - Tran Chi Thien:
Enhancing Fuzz Testing Efficiency through Automated Fuzz Target Generation. 349-356 - R. Sargsyan, R. Sahakyan, Emil Gazazyan, Shushanik A. Sargsyan, Sevak Sargsyan, Hrachya V. Astsatryan:
Erratum to: Evaluation of Differential Equation Solutions through Traditional Techniques and Neural Networks in Quantum Simulations. 357
Volume 51, Number 6, December 2025
- T. Bhuvaneswari, K. Ruba Soundar, R. Chandra Guru Sekar:
Rabbit and Tortoise Optimization Algorithm with Mutual Information Based Adaptive Strategy for Network Intrusion Detection. 359-372 - R. Daisy Merina, R. Saravana Ram, M. Lordwin Cecil Prabhaker:
Machine Learning-Enabled Battery Management System on FPGA for Electric Vehicles. 373-384 - A. R. Teplyakova, R. V. Shershnev:
The Use of Computer Vision for Localization of Vertebrae on Midsagittal Computed Tomography Slices. 385-394 - Nikita Shaimov, Irina A. Lomazova, Roman A. Nesterov:
How to Prevent Fake Cycles in DFG Models Discovered from Event Logs? 395-408 - Valery A. Kostenko, A. E. Selezneva:
Types of Attacks against Federated Neural Networks and Protection Methods. 409-414 - Ivan Kulagin, Vartan A. Padaryan, V. A. Koshkin:
About Methods for Extracting Algorithms from Binary Code. 415-428 - Victor V. Kuliamin, Alexander K. Petrenko, E. A. Rudina:
Software Security by Design. 429-434 - P. A. Pavlov:
On the Implementation Time of Distributed Computing in Synchronous Mode with a Limited Number of Copies of a Software Resource. 435-445 - Andrew I. Perminov:
SLAP - Simple Linear Attack against Perceptron (SLAP). 446-452 - Sophia A. Zelenova:
Static Memory Layout for Real-Time Operating Systems. 453-462
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-11-28 12:47 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
