default search action
Programming and Computer Software, Volume 46
Volume 46, Number 1, January 2020
- Valery A. Bobkov
, Alexey P. Kudryashov
Identification and Recovery of Trajectories of Dynamic Objects from Stereo Images. 1-11 - Elena A. Kochegurova
Aspects of Continuous User Identification Based on Free Texts and Hidden Monitoring. 12-24 - Valeriy N. Kuchuganov, Aleksandr V. Kuchuganov, Denis R. Kasimov:
Clustering Algorithm for a Set of Machine Parts on the Basis of Engineering Drawings. 25-34 - S. E. Popov, R. Yu. Zamaraev:
A Fast Algorithm for Classifying Seismic Events Using Distributed Computations in Apache Spark Framework. 35-48 - Ivan V. Stepanyan:
Methodology and Tools for Designing Binary Neural Networks. 49-56 - V. A. Vasenin, Maxim A. Krivchikov:
Intermediate Representation of Programs with Type Specification Based on Pattern Matching. 57-66
Volume 46, Number 2, March 2020
- Sergei A. Abramov, Anna A. Ryabenko
Procedures for Searching Laurent and Regular Solutions of Linear Differential Equations with the Coefficients in the Form of Truncated Power Series. 67-75 - Alexander D. Bruno:
Normalization of a Periodic Hamiltonian System. 76-83 - Alexander B. Batkhin
Bifurcations of Periodic Solutions of a Hamiltonian System with a Discrete Symmetry Group. 84-97 - Migran N. Gevorkyan
A Modular Extension for a Computer Algebra System. 98-104 - Vyacheslav I. Kuzovatov, Alexey A. Kytmanov, Olga I. Kuzovatova:
Algorithm for Constructing an Analogue of the Binet Formula. 105-109 - Sergei D. Meshveliani:
On a Machine-Checked Proof for Fraction Arithmetic over a GCD Domain. 110-119 - Alexander N. Prokopenya
Construction of a Periodic Solution to the Equations of Motion of Generalized Atwood's Machine using Computer Algebra. 120-125 - Vladimir N. Salnikov, Aziz Hamdouni:
Differential Geometry and Mechanics: A Source for Computer Algebra Problems. 126-132 - Carsten Schneider
Minimal Representations and Algebraic Relations for Single Nested Products. 133-161 - D. A. Yanovich
Computation of Involutive and Gröbner Bases Using the Tableau Representation of Polynomials. 162-166
Volume 46, Number 3, May 2020
- Boris Kh. Barladian, Lev Z. Shapiro, K. A. Mallachiev, Alexey V. Khoroshilov, Yury A. Solodelov, Alexey G. Voloboy, Vladimir A. Galaktionov, I. V. Koverninskii:
Visualization Component for the Aircraft Real-Time Operating System JetOS. 167-175 - Alexander E. Bondarev, Vladimir A. Galaktionov, Artem E. Kuvshinnikov:
Parallel Solutions of Parametric Problems in Gas Dynamics Using DVM/DVMH Technology. 176-182 - Anastasia V. Zvezdakova, Dmitriy L. Kulikov, Sergey Zvezdakov, Dmitriy S. Vatolin
BSQ-rate: a New Approach for Video-codec Performance Comparison and Drawbacks of Current Solutions. 183-194 - Viacheslav V. Danilov
Segmentation Based on Propagation of Dynamically Changing Superpixels. 195-206 - Maxim I. Sorokin, Dmitry D. Zhdanov
Restoration of Lighting Parameters in Mixed Reality Systems Using Convolutional Neural Network Technology Based on RGBD Images. 207-216 - D. A. Lyukov, Andrey S. Krylov, Vassili A. Lukshin, D. Yu. Usachev:
Projection Method for Deconvolution-Based CT Brain Perfusion. 217-222 - Vitaly A. Semenov, Vassili N. Shutkin, Vladislav A. Zolotov, Sergey V. Morozov, Vyatcheslav I. Gonakhchyan:
Visualization of Large Scenes with Deterministic Dynamics. 223-232 - Sergey E. Slyadnev, V. E. Turlapov:
Simplification of CAD Models by Automatic Recognition and Suppression of Blend Chains. 233-243 - Piotr Y. Timokhin
Method to Extract Isosurfaces on the GPU by Means of Programmable Tessellation. 244-249
Volume 46, Number 4, July 2020
- Elena N. Bozhenkova, Irina B. Virbitskaite:
Testing Equivalences of Time Petri Nets. 251-260 - Igor S. Anureev, Natalya Olegovna Garanina, Tatiana V. Lyakh
Dedicative Verification of Reflex Programs. 261-272 - Yury A. Zagorulko
Using a System of Heterogeneous Ontology Design Patterns to Develop Ontologies of Scientific Subject Domains. 273-280 - N. I. V'yukova, V. A. Galatenko, S. V. Samborskii:
Dynamic Program Analysis Tools in GCC and CLANG Compilers. 281-296 - Vadim V. Sanzharov
Survey of Nvidia RTX Technology. 297-304
Volume 46, Number 5, September 2020
- Yury L. Karpov, Leonid E. Karpov, Yuri G. Smetanin:
Some Aspects of Associative Memory Construction Based on a Hopfield Network. 305-311 - Valery A. Kostenko, Andrey A. Chupakhin:
Live Migration Schemes in Data Centers. 312-315 - V. N. Lukin, A. L. Dzyubenko, Yu. B. Chechikov:
Approaches to User Interface Development. 316-323 - Eugeny Yu. Shchetinin:
Development of Energy Saving Technologies for Smart Buildings by Using Computer Algebra. 324-329 - Mikhail M. Krasnov
Functional Programming Library for C++. 330-340 - Arsen R. Nasibullin
Replication in Distributed Systems: Models, Methods, and Protocols. 341-350 - Nguyen Manh Thang:
Improving Efficiency of Web Application Firewall to Detect Code Injection Attacks with Random Forest Method and Analysis Attributes HTTP Request. 351-361 - Valeriy V. Savchenko, Konstantin S. Sorokin, I. E. Bronshtein, Alexander S. Volkov, V. V. Kachanov, Georgiy A. Pankratenko, Mikhail K. Ermakov, S. I. Markov, A. V. Spiridonov, I. V. Aleksandrov:
NOBRAINER: A Tool for Example-Based Transformation of C/C++ Code. 362-372
Volume 46, Number 6, November 2020
- Huafeng Chen, Shiping Ye
Video-Based Content Recognition of Bank Cards with Mobile Devices. 373-383 - Daniil S. Razdyakonov, Alexey V. Morozov, Dmitry S. Pavlov, Dmitry I. Mouromtsev:
Approach to Blank Node Processing in Incremental Data Visualization by the Example of Ontodia. 384-396 - Elena N. Chujkova
Adaptation Algorithm for Application Menus. 397-405 - Konstantin I. Kiy, Dmitriy A. Anokhin, Alexey V. Podoprosvetov:
A Software System for Processing Images with Parallel Computing. 406-417 - N. I. V'yukova, V. A. Galatenko, A. N. Pavlov, S. V. Samborskii:
Mapping Parallel Computations to Distributed Systems Based on RapidIO Technology. 418-427 - S. S. Marchenkov, S. D. Makeev:
Modeling Multitape Minsky and Turing Machines by Three-Tape Minsky Machines. 428-432 - Mohammad Mehdi Shirmohammadi, Mansour Esmaeilpour:
The Traffic Congestion Analysis Using Traffic Congestion Index and Artificial Neural Network in Main Streets of Electronic City (Case Study: Hamedan City). 433-442
Volume 46, Number 7, December 2020
- Petr N. Devyanin, Alexey V. Khoroshilov, Victor V. Kuliamin, Alexander K. Petrenko
Integrating RBAC, MIC, and MLS in Verified Hierarchical Security Model for Operating System. 443-453 - Vyatcheslav I. Gonakhchyan:
Occlusion Culling Algorithm Based on Software Visibility Checks. 454-462 - Yury L. Karpov, I. A. Volkova, A. A. Vylitok, Leonid E. Karpov, Yuri G. Smetanin:
Designing Interfaces for Classes of a Neural Network Graph Model. 463-472 - Alexander V. Shokurov, I. V. Abramova, Nikolay P. Varnovsky, Vladimir A. Zakharov:
On the Possibility of Secure Program Obfuscation in Some Model of Cloud Computing. 473-482
Volume 46, Number 8, December 2020
- Andrei Tchernykh
Mitigating Uncertainty in Developing and Applying Scientific Applications in an Integrated Computing Environment. 483-502 - Yensen Limón, Everardo Bárcenas
Mu-Calculus Satisfiability with Arithmetic Constraints. 503-510 - Ameer B. A. Alaasam
Analytic Study of Containerizing Stateful Stream Processing as Microservice to Support Digital Twins in Fog Computing. 511-525 - Wendy Flores-Fuentes
Bridge Load Classifier Based on Deep Learning for Structural Displacement Correlation. 526-535 - Juan Manuel Fortuna-Cervantes, Marco Tulio Ramírez-Torres, José Martínez-Carranza
Object Detection in Aerial Navigation using Wavelet Transform and Convolutional Neural Networks: A First Approach. 536-547 - César Guerra-García, Héctor Gerardo Pérez-González, Marco Tulio Ramírez-Torres, Reyes Juárez-Ramírez:
Developing Web Applications with Awareness of Data Quality Elements - DQAWA. 548-560 - José Eleno Lozano-Rizk, Raúl Rivera-Rodríguez, Juan Ivan Nieto-Hipólito, Salvador Villarreal-Reyes
Quality of Service in Software Defined Networks for Scientific Applications: Opportunities and Challenges. 561-568 - Mayra Durán, Reyes Juárez-Ramírez, Samantha Jiménez
User Story Estimation Based on the Complexity Decomposition Using Bayesian Networks. 569-583 - Maribel Tello-Rodríguez, Jorge Octavio Ocharán-Hernández
A Design Guide for Usable Web APIs. 584-593 - Juan Alejandro Valdivia, José Alfonso Lora-González, Hector Xavier Limón, Karen Cortés Verdín, Jorge Octavio Ocharán-Hernández
Patterns Related to Microservice Architecture: a Multivocal Literature Review. 594-608 - Nikolay A. Vershkov
Search for the Global Extremum Using the Correlation Indicator for Neural Networks Supervised Learning. 609-618 - Julio Cesar Rodríguez-Quiñonez
Intelligent Automatic Object Tracking Method by Integration of Laser Scanner System and INS. 619-625 - Muhammad Safyan, Sohail Sarwar
Machine Learning Based Activity Learning for Behavioral Contexts in Internet of Things (IoT). 626-635 - Jonathan Muraña, Sergio Nesmachnow, Santiago Iturriaga
Negotiation Approach for the Participation of Datacenters and Supercomputing Facilities in Smart Electricity Markets. 636-651 - Donovan Riaño, Rodrigo Piñon, Guillermo Molero-Castillo
Regular Expressions for Web Advertising Detection Based on an Automatic Sliding Algorithm. 652-660 - Claudio E. Risso, Franco Robledo, Sergio Nesmachnow:
Mixed Integer Programming Formulations for Steiner Tree and Quality of Service Multicast Tree Problems. 661-678 - Oleg Yu. Sergiyenko, Alexey N. Zhirabok:
Fault Identification in Mobile Robot Groups Using Sliding Mode Observers. 679-688 - Julieta G. Rodríguez-Ruiz
Classification of Depressive Episodes Using Nighttime Data; a Multivariate and Univariate Analysis. 689-698 - Ayesha Tariq, Farooque Azam
Recent Trends in Underwater Wireless Sensor Networks (UWSNs) - A Systematic Literature Review. 699-711 - Pavel S. Andrianov:
Analysis of Correct Synchronization of Operating System Components. 712-730 - A. Yu. Gerasimov, Daniil O. Kuts, Alexander A. Novikov:
A Formal Model for Detecting Bugs by Symbolic Execution of Programs. 731-736 - Dmitriy S. Koltunov, Vasily Yu. Efimov, Vartan A. Padaryan:
Automated Testing of a TCG Frontend for Qemu. 737-746 - Anton A. Vasilyev, Vadim S. Mutilin:
Predicate Extension of Symbolic Memory Graphs for the Analysis of Memory Safety Correctness. 747-754 - Retraction Note: DOOR: Distributed Object Oriented Software Restructuring Approach Using Neural Network. 755
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: