default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDProgramming 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, Dmitry S. Kulyabov:
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, Vasily A. Sarychev:
Symbolic Methods for Studying the Equilibrium Orientations of a System of Two Connected Bodies in a Circular Orbit. 73-79 - Dmitry V. Divakov, Anastasiya A. Tyutyunnik:
Symbolic Investigation of the Spectral Characteristics of Guided Modes in Smoothly Irregular Waveguides. 80-89 - Gennadi I. Malaschonok, Alla A. Sidko:
Supercomputer Environment for Recursive Matrix Algorithms. 90-101 - Daria Loziienko, Vladimir N. Salnikov, Aziz Hamdouni:
Construction of Pseudo-Geometric Integrators. 102-106 - Alexander N. Prokopenya, Mukhtar Zh. Minglibayev, Aiken Kosherbayeva:
Derivation of Evolutionary Equations in the Many-Body Problem with Isotropically Varying Masses Using Computer Algebra. 107-115 - Sergei A. Abramov, Anna A. Ryabenko, Denis E. Khmelnov:
Exhaustive Use of Information on an Equation with Truncated Coefficients. 116-124 - Bertrand Teguia Tabuguia, Wolfram Koepf:
Symbolic Conversion of Holonomic Functions to Hypergeometric Type Power Series. 125-146
Volume 48, Number 3, June 2022
- Boris Kh. Barladian, Lev Z. Shapiro, Nikolay B. Deryabin, Yury A. Solodelov, Alexey G. Voloboy, Vladimir A. Galaktionov:
Efficient Rendering for the Cockpit Display System Designed in Compliance with the ARINC 661 Standard. 147-154 - Timur Z. Mamedov, Denis Kuplyakov, Anton S. Konushin:
Video Analytics Using Detection on Sparse Frames. 155-163 - A. A. Getmanskaya, Nikolai A. Sokolov, V. E. Turlapov:
Multiclass U-Net Segmentation of Brain Electron Microscopy Data Using Original and Semi-Synthetic Training Datasets. 164-171 - Egor A. Komarov, Dmitry D. Zhdanov, Andrey D. Zhdanov:
Caustic Illuminance Calculation with DirectX Raytracing. 172-180 - Anton V. Nikolaev, Vladimir A. Frolov, Irina G. Ryzhova:
3D Model Compression with Support of Parallel Processing on the GPU. 181-189 - Petr Yu. Timokhin, Mikhail V. Mikhaylyuk:
Real-time Modeling of Dynamic Terrain Shadows based on Multilevel Ray Casting. 190-198 - Andrey O. Trubakov, Nikita V. Medvedkov:
Image Restoration Using Genetic Algorithms. 199-207 - S. I. Chuprina, K. V. Ryabinin, Dmitrij V. Koznov, Konstantin A. Matkin:
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, Miguel Torres-Cisneros, Teodoro Cordoba-Fraga, Juan Carlos Martinez Espinoza, Rafael Guzmán-Cabrera:
One-class Classification for Identifying COVID-19 in X-Ray Images. 235-242 - Iulii Vasilev, Mikhail Petrovskiy, Igor V. Mashechkin, Liudmila L. Pankratyeva:
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, Alexander P. Lyapin, Konstantin V. Shadrin:
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, Alexey P. Kudryashov, Alexander V. Inzartsev:
Object Recognition and Coordinate Referencing of an Autonomous Underwater Vehicle to Objects via Video Stream. 301-311 - Huafeng Chen, Sviatlana A. Ihnatsyeva, Rykhard Bohush, Sergey Ablameyko:
Choice of Activation Function in Convolutional Neural Networks for Person Re-Identification in Video Surveillance Systems. 312-321 - Sergei I. Vyatkin, Boris S. Dolgovesov:
Highly Realistic Visualization of Caustics and Rough Surfaces. 322-330 - Dmitry A. Kondratyev, Valery A. Nepomniaschy:
Automation of C Program Deductive Verification without Using Loop Invariants. 331-346 - Alexei A. Ivankov, G. A. Manuilov:
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, Mikhail G. Babenko, Andrei Tchernykh, Viktor Andreevich Kuchukov, Nikolay Nikolaevich Kucherov, Nataliya Nikolaevna Kuchukova, Alexander Yu. Drozdov:
Optimization of Artificial Neural Networks using Wavelet Transforms. 376-384 - Elena A. Kochegurova, Roman P. Zateev:
Hidden Monitoring Based on Keystroke Dynamics in Online Examination System. 385-398 - Valery A. Kostenko, A. A. Morkvin:
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, M. K. Ikonnikova:
A Survey of Network Traffic Classification Methods Using Machine Learning. 413-423 - S. A. Martishin, M. V. Khrapchenko, Alexander V. Shokurov:
Study of the Problem of Ensuring Security in Storage and Processing of Confidential Data. 424-434 - Ye. M. Yeshilbashian, Ariana A. Asatryan, Tsolak Ghukasyan:
Plagiarism Detection in Armenian Texts Using Intrinsic Stylometric Analysis. 435-444 - Roman V. Baev, Leonid V. Skvortsov, Evgeny A. Kudryashov, Ruben Buchatskiy, Roman Zhuykov:
Preventing Vulnerabilities Caused by Optimization of Code with Undefined Behavior. 445-454 - Vitaly A. Semenov, Semyon V. Arishin, Georgii V. Semenov:
Formal Rules to Produce Object Notation for EXPRESS Schema-Driven Data. 455-468 - A. A. Evgin, M. A. Solovev, Vartan A. Padaryan:
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, Filipe Portela:
GUEST EDITORIAL Special Issue on Recent Trends in Advanced Computing, Engineering and Technology: Transformation and Innovation. 485-488 - Raúl A. Aguilar, A. Peña, J. Díaz, Juan P. Ucán:
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, Reyes Juárez-Ramírez, Alan Ramírez-Noriega, Fernanda Murillo-Munoz, Ana I. Molina, Víctor H. Castillo, Christian Xavier Navarro-Cota:
A Usability and Persuasion Evaluation of Mobile Apps for Diabetes Type 2. 552-565 - René Dávila, Rocío Aldeco-Pérez, Everardo Bárcenas:
Formal Verification of Blockchain Based Tender Systems. 566-582 - H. Del-Ángel-Flores, Eduardo López Domínguez, Yesenia Hernández Velázquez, Saúl Domínguez-Isidro, María Auxilio Medina Nieto, Jorge de la Calleja Mora:
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, Jesús Favela, Angeles Quezada, Raj Ramachandran, Reyes Juárez-Ramírez:
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, Verónica Tapia-Ibarra, César Guerra-García, Héctor G. Pérez-González:
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, Xavier Limón, Juan Carlos Pérez Arriaga:
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, Reyes Juárez-Ramírez, Rafael González Pacheco López, Ángeles Quezada, César Guerra-García:
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, Karin Melendez, Abraham Dávila:
ISO/IEC 29110 and Software Engineering Education: A Systematic Mapping Study. 745-755 - D. V. Larin, A. I. Getman:
Tools for Capturing and Processing High-Speed Network Traffic. 756-769 - R. F. Sadykov, Mikhail U. Mandrykin:
Complete Decision Procedure for the Theory of Bounded Pointer Arithmetic. 770-780 - Evgenii M. Vinarskii, Alexey V. Demakov:
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-10-31 20:19 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:
