default search action
Programming and Computer Software, Volume 47
Volume 47, Number 1, January 2021
- Marina S. Apanovich, Alexander P. Lyapin
, Konstantin V. Shadrin
Solving the Cauchy Problem for a Two-Dimensional Difference Equation at a Point Using Computer Algebra Methods. 1-5 - Dmitry V. Divakov, Anastasia A. Tiutiunnik:
Symbolic Investigation of Eigenvectors for General Solution of a System of ODEs with a Symbolic Coefficient Matrix. 6-16 - Migran N. Gevorkyan, Anna V. Korolkova
Using a Template Engine as a Computer Algebra Tool. 17-24 - Grigory B. Shpiz, Alexander P. Kryukov:
The Method of Colored Graphs for Simplifying Expressions with Indices. 25-28 - Nikolay N. Osipov, Alexey A. Kytmanov:
An Algorithm for Solving a Family of Fourth-Degree Diophantine Equations that Satisfy Runge's Condition. 29-33 - A. A. Panferov:
Construction of Partial Laurent Solutions to Truncated Differential Systems. 34-42 - Alexander N. Prokopenya
Searching for Equilibrium States of Atwood's Machine with Two Oscillating Bodies by Means of Computer Algebra. 43-49 - Alexander V. Seliverstov
Heuristic Algorithms for Recognition of Some Cubic Hypersurfaces. 50-55 - Tsolak Ghukasyan
Subwords-Only Alternatives to fastText for Morphologically Rich Languages. 56-66 - Petr Yu. Timokhin
Technology and Methods for Deferred Synthesis of 4K Stereo Clips for Complex Dynamic Virtual Scenes. 67-75 - Evgeny Yurievich Denisov, Alexey G. Voloboy, Elissey Dmitrievich Biryukov, Mikhail S. Kopylov, I. A. Kalugina:
Automated Software Testing Technologies for Realistic Computer Graphics. 76-87 - Ekaterina N. Shemetova, Semyon V. Grigorev:
Path Querying on Acyclic Graphs Using Boolean Grammars. 88-98
Volume 47, Number 2, March 2021
- Alexander B. Batkhin:
Invariant Coordinate Subspaces of Normal Form of a System of Ordinary Differential Equations. 99-107 - Pavel G. Emelyanov
Factorization of Boolean Polynomials: Parallel Algorithms and Experimental Evaluation. 108-118 - Sergey A. Gutnik, Vasily A. Sarychev:
Symbolic-Analytic Methods for Studying Equilibrium Orientations of a Satellite on a Circular Orbit. 119-123 - Vladimir V. Kornyak:
Dynamic Simulation of Quantum Entanglement in Finite Quantum Mechanics: A Computer Algebra Approach. 124-132 - Dmitry S. Kulyabov
Computer Algebra in JULIA. 133-138 - Vyacheslav I. Kuzovatov, Alexey A. Kytmanov, Evgeniya K. Myshkina:
An Algorithm for Constructing the Resultant of Two Entire Functions. 139-143 - Sergey A. Abramov, Anna A. Ryabenko, Denis E. Khmelnov:
Procedures for Constructing Truncated Solutions of Linear Differential Equations with Infinite and Truncated Power Series in the Role of Coefficients. 144-152
Volume 47, Number 3, May 2021
- Viacheslav V. Danilov
Analysis of Deep Neural Networks for Detection of Coronary Artery Stenosis. 153-160 - K. V. Ryabinin
Automated Creation of Cyber-Physical Museum Exhibits Using a Scientific Visualization System on a Chip. 161-166 - Petr Yu. Timokhin
360-Degree Video Based on Regular Dodecahedron: Technology and Methods of Implementation in Virtual Environment Systems. 167-176 - Aleksey K. Alekseev, Alexander E. Bondarev, Vladimir A. Galaktionov, Artem E. Kuvshinnikov:
Generalized Computational Experiment and Verification Problems. 177-184 - Andrey D. Zhdanov
Progressive Backward Photon Mapping. 185-193 - Sergey V. Ershov, E. D. Birukov, Alexey G. Voloboy, Vladimir A. Galaktionov:
Noise Dependence on the Number of Rays in Bidirectional Stochastic Ray Tracing with Photon Maps. 194-200 - Andrey Moskalenko, Mikhail Erofeev, Dmitriy S. Vatolin
Method for Enhancing High-Resolution Image Inpainting with Two-Stage Approach. 201-206 - Maxim A. Penkin
Hybrid Method for Gibbs-Ringing Artifact Suppression in Magnetic Resonance Images. 207-214 - Delia Irazú Hernández Farías, Rafael Guzmán-Cabrera, Teodoro Córdova-Fraga, José Zacarías Huamaní Luna, José Francisco Gómez-Aguilar:
Modification of the Marching Cubes Algorithm to Obtain a 3D Representation of a Planar Image. 215-223
Volume 47, Number 4, July 2021
- Victor P. Bocharnikov
p-Adic Representation of Subsets of a Bounded Number Set. 225-234 - Valery A. Kostenko, A. A. Morkvin:
Constructing Onboard Switched Networks of Minimum Complexity. 235-239 - S. I. Zhukov:
Ensuring Interoperable IoT Device-to-Cloud Communication between AWS and Azure Infrastructures. 240-248 - A. V. Kozachok, A. A. Spirin:
Model of Pseudo-Random Sequences Generated by Encryption and Compression Algorithms. 249-260 - D. Yu. Turdakov, S. V. Garbuk, P. V. Khenkin, Ilya S. Kozlov, A. V. Laguta, M. I. Varlamov:
A Model and Method for Detecting Information Campaigns. 261-270 - Alexey V. Vishnyakov
Survey of Methods for Automated Code-Reuse Exploit Generation. 271-297 - Vladimir A. Frolov
Light Transport in Realistic Rendering: State-of-the-Art Simulation Methods. 298-326 - D. Lashchenova, A. Gromov, Anton Konushin, A. Mesheryakova:
The Improvement of Segmentation of Lung Pathologies and Pleural Effusion on CT-scans of Patients with Covid-19. 327-333
Volume 47, Number 5, September 2021
- F. A. Anikeev, G. O. Raiko, Elena Limonova, Mikhail A. Aliev, Dmitry P. Nikolaev
Efficient Implementation of Fast Hough Transform Using CPCA Coprocessor. 335-343 - I. V. Bolotnikov, A. E. Borodin:
Interprocedural Static Analysis for Finding Bugs in Go Programs. 344-352 - Alexander D. Bruno, Alexander B. Batkhin:
Algorithms and Programs for Calculating the Roots of Polynomial of One or Two Variables. 353-373 - Artem Slezkin, Ilya A. Hodashinsky, Alexander A. Shelupanov:
Binarization of the Swallow Swarm Optimization for Feature Selection. 374-388 - Irina B. Virbitskaite, Andrey Yu Zubarev:
'True Concurrency' Semantics for Time Petri Nets with Weak Time and Persistent Atomic Policies. 389-401 - G. C. Mallika, Abeer Alsadoon
A Novel Intelligent System for Detection of Type 2 Diabetes with Modified Loss Function and Regularization. 402-414
Volume 47, Number 6, November 2021
- Sergey A. Dichenko, Oleg Finko
Controlling and Restoring the Integrity of Multi-Dimensional Data Arrays through Cryptocode Constructs. 415-425 - S. E. Popov, V. P. Potapov:
A Fast Search Algorithm for SqueeSAR Distributed Scatterers in the Problem of Calculating Displacement Velocities. 426-438 - Evgenii Moiseenko, Anton Podkopaev, Dmitrij V. Koznov:
A Survey of Programming Language Memory Models. 439-456 - Boris Kh. Barladian, Nikolay B. Deryabin, Lev Z. Shapiro, Yury A. Solodelov, Alexey G. Voloboy, Vladimir A. Galaktionov:
Multiwindow Rendering on a Cockpit Display Using Hardware Acceleration. 457-465 - Alexey E. Borodin, A. V. Goremykin, Sergey P. Vartanov
Searching for Taint Vulnerabilities with Svace Static Analysis Tool. 466-481
Volume 47, Number 7, December 2021
- M. A. Apishev:
Effective Implementations of Topic Modeling Algorithms. 483-492 - Vladimir A. Frolov, Vladimir A. Galaktionov, Vadim V. Sanzharov:
Investigation of RISC-V. 493-504 - Igor B. Bourdonov, Evgenii M. Vinarskii, Nina V. Evtushenko, Alexander S. Kossatchev:
Perfect Sets of Paths in the Full Graph of SDN Switches. 505-514 - Alexey V. Khoroshilov:
Verification of Compliance for Multilevel Models in Individual Trace Semantics. 515-521 - Vyatcheslav I. Gonakhchyan:
Performance Model of Graphics Pipeline for a One-Pass Rendering of 3D Dynamic Scenes. 522-533 - Kirill Skorniakov, A. S. Laskina, D. Yu. Turdakov:
Two-Stage Method for Grouping News with Similar Topics. 534-540 - P. N. Sovetov:
Development of DSL Compilers for Specialized Processors. 541-554
Volume 47, Number 8, December 2021
- Andrei Tchernykh
Editorial. 555-557 - Bruno Garate, Santiago Díaz, Santiago Iturriaga
Autonomous Swarm of Low-Cost Commercial Unmanned Aerial Vehicles for Surveillance. 558-577 - Ivan Volkov, Gleb I. Radchenko, Andrei Tchernykh
Digital Twins, Internet of Things and Mobile Medicine: A Review of Current Platforms to Support Smart Healthcare. 578-590 - Ameer B. A. Alaasam, Gleb I. Radchenko, Andrei Tchernykh
Refactoring the Monolith Workflow into Independent Micro-Workflows to Support Stream Processing. 591-600 - Alexander G. Feoktistov, Roman Kostromin
Algorithms for Planning on Computational Model with Redundancy and Uncertainty. 601-614 - Diego Gabriel Rossit, Daniel Alejandro Rossit
Explicit Multiobjective Evolutionary Algorithms for Flow Shop Scheduling with Missing Operations. 615-630 - César Guerra-García, Héctor G. Pérez-González, Marco Tulio Ramírez-Torres, Luis Javier Ontañón García, Reyes Juárez-Ramírez:
Specifying Data Quality Requirements through Web Functionalities - MOSQAF. 631-653 - Diego Medina-Martínez, Everardo Bárcenas
Database Management System Verification with Separation Logics. 654-672 - Francisco Valdés-Souto, Lizbeth Naranjo-Albarrán:
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 Presents a Wedge-Shape Form. 673-693 - Francisco Valdés Souto, Daniel Torres-Robledo, Hanna Oktaba:
Comparing Two Learning Curves Approaches to Predict the Product Delivery Rate in a Software Factory Contract. 694-703 - J. Manuel Pérez-Verdejo, Ángel Juan Sánchez-García, Jorge Octavio Ocharán-Hernández
Requirements and GitHub Issues: An Automated Approach for Quality Requirements Classification. 704-721 - J. Guerrero, V. Menéndez, M. Castellanos:
Generation of Graphs for the Identification of Various Types of Scientific Collaboration in an Academic Institution. 722-734 - Jorge R. Aguilar-Cisneros, Carlos Alberto Fernández y Fernández, Genaro de la Rosa García, A. León:
Automotive Post-Collision Control Software System: Requirements and Verification. 735-745 - Juan Carlos Benjamín Somohano-Murrieta
Improving the Analytic Hierarchy Process for Requirements Prioritization Using Evolutionary Computing. 746-756 - Khoa Phung, Raj Ramachandran, Emmanuel Ogunshile:
Exploring a Web-Based Application to Convert Tamil and Vietnamese Speech to Text without the Effect of Code-Switching and Code-Mixing. 757-764 - Khoa Phung, Dilshan Jayatilake, Emmanuel Ogunshile, Mehmet Aydin
A Stream X-Machine Tool for Modelling and Generating Test Cases for Chronic Diseases Based on State-Counting Approach. 765-777 - Sergio Khalil Bello García, Eduardo Sánchez Lucero, Edmundo Bonilla Huerta, José Crispín Hernández Hernández, José Federico Ramírez-Cruz, Blanca Estela Pedroza-Méndez:
Implementation of Neural Machine Translation for Nahuatl as a Web Platform: A Focus on Text Translation. 778-792 - Samantha Jiménez
The Role of Personality in Motivation to use an Affective Feedback System. 793-802 - Teresa Cepero, Luis G. Montané-Jiménez, Guadalupe Toledo-Toledo:
Visualization Technologies to Support Decision-Making in City Management. 803-816 - Wilson Castillo-Rojas
Bibliographic Review on Data Mining Techniques Used with Weather Data. 817-829 - Nikolay A. Vershkov
Optimization of Neural Network Training for Image Recognition Based on Trigonometric Polynomial Approximation. 830-838 - Mikhail G. Babenko
Algorithm for Constructing Modular Projections for Correcting Multiple Errors Based on a Redundant Residue Number System Using Maximum Likelihood Decoding. 839-848 - Miguel Morales-Sandoval
Curve-Based Security Schemes for Automating the Encryption and Signing of Digital Documents in Organizational Environments. 849-857 - A. E. Borodin, I. A. Dudina:
Intraprocedural Analysis Based on Symbolic Execution for Bug Detection. 858-865 - A. N. Fedotov, Shamil F. Kurmangaleev:
CASR: Analysis of Core Dump Files in Linux and Error Reporting. 866-870 - Evgeny Shishkin, Evgeny Kislitsyn:
SafeComp: Protocol for Certifying Cloud Computations Integrity. 871-881 - N. P. Khrapov:
Metrics of Efficiency and Performance when Using Evolutionary Algorithm on Desktop Grids. 882-886
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-01-02 18:02 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: