Programming and Computer Software, Volume 48 (original) (raw)

default search action

• combined dblp search
• author search
• venue search
• publication search

Authors:

• no matches
• 

Venues:

• no matches
• 

Publications:

• no matches
• 

• 

• 

• 

• 

• 
  jump to

  • Number 1
  • Number 2
  • Number 3
  • Number 4
  • Number 5
  • Number 6
  • Number 7
  • Number 8

• 

• > Home > Journals > Programming and Computer Software

SPARQL queries

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

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, Anastasia 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 Martínez-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

Volume 48, Number 7, December 2022

• 
  • 
  • 
  • 
  • 
    Alexander I. Getman, M. K. Ikonnikova:
    A Survey of Network Traffic Classification Methods Using Machine Learning. 413-423
• 
  • 
  • 
  • 
  • 
    Sergey A. Martishin, Marina 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
• 
  • 
  • 
  • 
  • 
    Brian 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, Alexander 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.

Unpaywalled article links

Add open access links from to the list of external document links (if available).

load links from unpaywall.org

Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.

Archived links via Wayback Machine

For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).

load content from archive.org

Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.

Reference lists

Add a list of references from , , and to record detail pages.

load references from crossref.org and opencitations.net

Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.

Citation data

Add a list of citing articles from and to record detail pages.

load citations from opencitations.net

Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.

OpenAlex data

Load additional information about publications from .

load data from openalex.org

Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.

dblp was originally created in 1993 at:

since 2018, dblp has been operated and maintained by: