default search action
Programming and Computer Software, Volume 48
Volume 48, Number 1, February 2022
- Sergei D. Meshveliani:
A Certified Program for the Karatsuba Method to Multiply Polynomials. 1-18 - Alexander D. Bruno, Alexander B. Batkhin:
Level Lines of a Polynomial on a Plane. 19-29 - V. I. Anoshin, A. D. Beketova, A. V. Parusnikova, K. V. Romanov:
Asymptotic Expansions of Solutions to the Second Term of the Fourth Painlevé Hierarchy. 30-35 - A. V. Galatenko, A. E. Pankratiev, Vladimir Staroverov:
Algorithms for Checking Some Properties of n-Quasigroups. 36-48 - Migran N. Gevorkyan, Anastasiya V. Demidova, Tatiana R. Velieva
, Anna V. Korolkova
Analytical-Numerical Implementation of Polyvector Algebra in Julia. 49-58 - Vyacheslav I. Kuzovatov, Alexey A. Kytmanov, Evgeniya K. Myshkina:
On Computing the Resultant of a Polynomial and an Entire Function. 59-64
Volume 48, Number 2, April 2022
- Alexander B. Batkhin
Symbolic Computation of a Homological Equation of an Arbitrary Order and Reduction of Hamiltonian System to Its Normal Form. 65-72 - Sergey A. Gutnik
Symbolic Methods for Studying the Equilibrium Orientations of a System of Two Connected Bodies in a Circular Orbit. 73-79 - Dmitry V. Divakov
Symbolic Investigation of the Spectral Characteristics of Guided Modes in Smoothly Irregular Waveguides. 80-89 - Gennadi I. Malaschonok
Supercomputer Environment for Recursive Matrix Algorithms. 90-101 - Daria Loziienko
Construction of Pseudo-Geometric Integrators. 102-106 - Alexander N. Prokopenya
Derivation of Evolutionary Equations in the Many-Body Problem with Isotropically Varying Masses Using Computer Algebra. 107-115 - Sergei A. Abramov
Exhaustive Use of Information on an Equation with Truncated Coefficients. 116-124 - Bertrand Teguia Tabuguia
Symbolic Conversion of Holonomic Functions to Hypergeometric Type Power Series. 125-146
Volume 48, Number 3, June 2022
- Boris Kh. Barladian
Efficient Rendering for the Cockpit Display System Designed in Compliance with the ARINC 661 Standard. 147-154 - Timur Z. Mamedov
Video Analytics Using Detection on Sparse Frames. 155-163 - A. A. Getmanskaya, Nikolai A. Sokolov
Multiclass U-Net Segmentation of Brain Electron Microscopy Data Using Original and Semi-Synthetic Training Datasets. 164-171 - Egor A. Komarov
Caustic Illuminance Calculation with DirectX Raytracing. 172-180 - Anton V. Nikolaev
3D Model Compression with Support of Parallel Processing on the GPU. 181-189 - Petr Yu. Timokhin
Real-time Modeling of Dynamic Terrain Shadows based on Multilevel Ray Casting. 190-198 - Andrey O. Trubakov
Image Restoration Using Genetic Algorithms. 199-207 - S. I. Chuprina
Ontology-Driven Visual Analytics Software Development. 208-214 - Majid Forghani, P. A. Vasev, M. A. Bolkov, E. S. Ramsay, A. Y. Bersenev:
PhyloTraVis: A New Approach to Visualization of the Phylogenetic Tree. 215-226 - I. O. Reznichenko, P. A. Krutitskii:
Quadrature Formula for the Direct Value of the Double-Layer Potential. 227-233
Volume 48, Number 4, August 2022
- Eduardo Pérez-Careta, Delia Irazú Hernández Farías, José Rafael Guzman-Sepulveda
One-class Classification for Identifying COVID-19 in X-Ray Images. 235-242 - Iulii Vasilev
Predicting COVID-19-Induced Lung Damage Based on Machine Learning Methods. 243-255 - V. P. Kozyrev:
Structural Coverage Analysis of Entry and Exit Points Required to Achieve the Objectives Defined in DO-178C. 256-264 - Aleksey A. Timakov
Information Flow Control in Software DB Units Based on Formal Verification. 265-285 - Marina S. Apanovich
Algorithm for Solving the Cauchy Problem for a Two-Dimensional Difference Equation with Initial Data Defined in a "Strip". 286-292 - Vladimir V. Kornyak:
Decomposition of a Finite Quantum System into Subsystems: Symbolic-Numerical Approach. 293-300
Volume 48, Number 5, October 2022
- Valery A. Bobkov
Object Recognition and Coordinate Referencing of an Autonomous Underwater Vehicle to Objects via Video Stream. 301-311 - Huafeng Chen
Choice of Activation Function in Convolutional Neural Networks for Person Re-Identification in Video Surveillance Systems. 312-321 - Sergei I. Vyatkin
Highly Realistic Visualization of Caustics and Rough Surfaces. 322-330 - Dmitry A. Kondratyev
Automation of C Program Deductive Verification without Using Loop Invariants. 331-346 - Alexei A. Ivankov
Data Repository in Framework for Computation Pipelining: Model, Architecture, the Implementation Performance Estimates. 347-358
Volume 48, Number 6, December 2022
- V. V. Belikov
Using Deep Reinforcement Learning for Selecting Network Traffic Features in Intrusion Detection Systems. 359-368 - Alexander N. Godunov
Algorithm for Calculating Correctly Rounded Exponential Function in Double Precision Using Double-Extended Arithmetic. 369-375 - Nikolay A. Vershkov
Optimization of Artificial Neural Networks using Wavelet Transforms. 376-384 - Elena A. Kochegurova
Hidden Monitoring Based on Keystroke Dynamics in Online Examination System. 385-398 - Valery A. Kostenko
Construction of a Minimum Complexity Onboard Switched Network with Time Synchronization. 399-406 - Olga Kulikova, G. S. Dombayan
An Image Hashing Algorithm Based on a Convolutional Neural Network. 407-411
Volume 48, Number 7, December 2022
- A. I. Getman
A Survey of Network Traffic Classification Methods Using Machine Learning. 413-423 - Sergey A. Martishin
Study of the Problem of Ensuring Security in Storage and Processing of Confidential Data. 424-434 - Ye. M. Yeshilbashian
Plagiarism Detection in Armenian Texts Using Intrinsic Stylometric Analysis. 435-444 - Roman V. Baev
Preventing Vulnerabilities Caused by Optimization of Code with Undefined Behavior. 445-454 - Vitaly A. Semenov
Formal Rules to Produce Object Notation for EXPRESS Schema-Driven Data. 455-468 - A. A. Evgin
A Model and Declarative Language for Specifying Binary Data Formats. 469-483
Volume 48, Number 8, December 2022
- Andrei Tchernykh, Reyes Juárez-Ramírez, Teresa Guarda
GUEST EDITORIAL Special Issue on Recent Trends in Advanced Computing, Engineering and Technology: Transformation and Innovation. 485-488 - Raúl A. Aguilar
Influence of Belbin's Role Theory on Database Design: Experimenting with Software Engineering Students. 489-498 - Jorge Rafael Aguilar Cisneros, Ricardo Valerdi, B. P. Sullivan:
Students' Systems Thinking Competency Level Detection through Software Cost Estimation Concept Modeling. 499-512 - S. Almeyda, Abraham Dávila
Process Improvement in Software Requirements Engineering: A Systematic Mapping Study. 513-533 - V. Contreras, Luis G. Montané-Jiménez, Teresa Cepero, Edgard Benítez-Guerrero, Carmen Mezura-Godoy:
Building Adaptable Dashboards for Smart Cities: Design and Evaluation. 534-551 - Samantha Jiménez
A Usability and Persuasion Evaluation of Mobile Apps for Diabetes Type 2. 552-565 - René Dávila, Rocío Aldeco-Pérez
Formal Verification of Blockchain Based Tender Systems. 566-582 - H. Del-Ángel-Flores, Eduardo López Domínguez
Usability Evaluation of a Mobile Learning Platform Focused on Learning Monitoring and Customization based on a Laboratory Study. 583-597 - Andrei Gladkov, Viktor Andreevich Kuchukov, Mikhail G. Babenko, Andrei Tchernykh, Viktor Berezhnoy, Alexander Yu. Drozdov:
Modified Error Detection and Localization in the Residue Number System. 598-605 - Samantha Jiménez
Towards Conversational Agents to support Informal Caregivers of People with Dementia: Challenges and Opportunities. 606-613 - Reyes Juárez-Ramírez, Christian X. Navarro, Guillermo Licea, Samantha Jiménez
How COVID-19 Pandemic affects Software Developers' Wellbeing, and the Necessity to strengthen Soft Skills. 614-631 - V. M. Niño-Martínez, Jorge Octavio Ocharán-Hernández
A Microservice Deployment Guide. 632-645 - Yoselyn Nohemí Ortega-Gijón, Carmen Mezura-Godoy:
Usability Evaluation of BCI Software Applications: A systematic review of the literature. 646-657 - B. Pando, Abraham Dávila
Software Testing in the DevOps Context: A Systematic Mapping Study. 658-684 - P. O. Silva-Vásquez, Viviana Yarel Rosales-Morales, Edgard Benítez-Guerrero:
Automatic Code Generation of User-centered Serious Games: A Decade in Review. 685-701 - Claudia Tona, Samantha Jiménez
Scrumlity: An Agile Framework Based on Quality of User Stories. 702-715 - Francisco Valdés-Souto, Lizbeth Naranjo-Albarrán:
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-shape Form. 716-734 - Maria V. Valueva, Georgii V. Valuev, Mikhail G. Babenko, Andrei Tchernykh, Jorge M. Cortés-Mendoza
Method for Convolutional Neural Network Hardware Implementation Based on a Residue Number System. 735-744 - Luis Vives
ISO/IEC 29110 and Software Engineering Education: A Systematic Mapping Study. 745-755 - D. V. Larin
Tools for Capturing and Processing High-Speed Network Traffic. 756-769 - R. F. Sadykov
Complete Decision Procedure for the Theory of Bounded Pointer Arithmetic. 770-780 - Evgenii M. Vinarskii
Optimization of ProVerif Programs for AKE Protocols. 781-787
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 2024-12-19 22:16 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: