Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDProgramming 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, Yu. A. Martynova:
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, Denis E. Khmelnov:
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, Anna V. Korolkova, Dmitry S. Kulyabov, Leonid A. Sevast'yanov:
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
- B. Kh. Barladian, Lev Z. Shapiro, K. A. Mallachiev, Alexey V. Khoroshilov, Yu. 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, Olga M. Gerget, Igor P. Skirnevskiy, Roman A. Manakov, Dmitrii Yu. Kolpashchikov:
Segmentation Based on Propagation of Dynamically Changing Superpixels. 195-206 - Maxim I. Sorokin, Dmitry D. Zhdanov, Andrey D. Zhdanov, Igor Stanislavovich Potemin, Nikolai Nikolaevich Bogdanov:
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, Mikhail V. Mikhaylyuk:
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, Andrei S. Rozov, Vladimir E. Zyubin, Sergei P. Gorlatch:
Dedicative Verification of Reflex Programs. 261-272 - Yury A. Zagorulko, Olesya I. Borovikova:
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, Vladimir A. Frolov, Vladimir A. Galaktionov:
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, Boris A. Novikov:
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, A. Kurilovich, Rykhard Bohush, Sergey Ablameyko:
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, Andrey R. Aidinyan, Olga L. Tsvetkova:
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, Ilya V. Shchepetkov:
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, Igor V. Bychkov, Alexander G. Feoktistov, Sergey A. Gorsky, Ivan A. Sidorov, Roman Kostromin, Alexei V. Edelev, Valery Zorkalzev, Arutyun Avetisyan:
Mitigating Uncertainty in Developing and Applying Scientific Applications in an Integrated Computing Environment. 483-502 - Yensen Limón, Everardo Bárcenas, Edgard Benítez-Guerrero, Guillermo Molero-Castillo, Alejandro Velázquez-Mena:
Mu-Calculus Satisfiability with Arithmetic Constraints. 503-510 - Ameer B. A. Alaasam, Gleb I. Radchenko, Andrei Tchernykh, José Luis González Compeán:
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, José S. Murguía Ibarra, Marcela Mejía-Carlos:
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, Alejandro Galaviz-Mosqueda, Mabel Vázquez-Briseno:
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, Claudia Tona:
User Story Estimation Based on the Complexity Decomposition Using Bayesian Networks. 569-583 - Maribel Tello-Rodríguez, Jorge Octavio Ocharán-Hernández, Juan Carlos Pérez Arriaga, Hector Xavier Limón, Ángel Juan Sánchez-García:
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, Maxim A. Babenko, Viktor Andreevich Kuchukov, Nataliya Nikolaevna Kuchukova:
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, Zia Ul-Qayyum, Muddesar Iqbal, Shancang Li, Muhammad Kashif:
Machine Learning Based Activity Learning for Behavioral Contexts in Internet of Things (IoT). 626-635 - Jonathan Muraña, Sergio Nesmachnow, Santiago Iturriaga, Sebastian Montes de Oca, Gonzalo Belcredi, Pablo Monzón, Vladimir D. Shepelev, Andrei Tchernykh:
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, Everardo Bárcenas, Alejandro Velázquez-Mena:
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, Carlos Eric Galván-Tejada, Sodel Vázquez-Reyes, Jorge I. Galván-Tejada, Hamurabi Gamboa Rosales:
Classification of Depressive Episodes Using Nighttime Data; a Multivariate and Univariate Analysis. 689-698 - Ayesha Tariq, Farooque Azam, Muhammad Waseem Anwar, Tayyba Zahoor, Abdul Wahab Muzaffar:
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
a service of 
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-05-05 00:55 CEST 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:
