Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDProgramming and Computer Software, Volume 44
Volume 44, Number 1, January 2018
- Jacques Julliand, Olga Kouchnarenko
, Pierre-Alain Masson, Guillaume Voiron:
Test Generation from Event System Abstractions to Cover Their States and Transitions. 1-14 - Dmitry Shachnev, Dmitry Karpenko:
Using Subject Area Ontology for Automating Processes in Sphere of Scientific Investigation and Education. 15-22 - Natalya Olegovna Garanina, Elena A. Sidorova, A. S. Seryi:
Multiagent Approach to Coreference Resolution Based on the Multifactor Similarity in Ontology Population. 23-34 - N. I. V'yukova, V. A. Galatenko, S. V. Samborskii:
Support for Parallel and Concurrent Programming in C++. 35-42 - V. P. Kozyrev, M. A. Saburov:
Satisfying DO-178C Structural Coverage Objectives. 43-50 - Vladimir Pavlov, Vadim Pak:
Theorem Prover for Intuitionistic Logic Based on the Inverse Method. 51-61 - George A. Chernishev, Vyacheslav Galaktionov, Valentin D. Grigorev, Evgeniy Klyuchikov, Kirill Smirnov:
PosDB: An Architecture Overview. 62-74
Volume 44, Number 2, March 2018
- Alexander B. Batkhin:
Parameterization of a Set Determined by the Generalized Discriminant of a Polynomial. 75-85 - Migran N. Gevorkyan, Anastasiya V. Demidova, Tatiana R. Velieva, Anna V. Korolkova, Dmitry S. Kulyabov, Leonid A. Sevastyanov:
Implementing a Method for Stochastization of One-Step Processes in a Computer Algebra System. 86-93 - Sergey A. Gutnik, Vasily A. Sarychev:
Application of Symbolic Computation Methods for Investigation of Stationary Motions of an Axisymmetric Satellite. 94-99 - Vyacheslav I. Kuzovatov, Alexey A. Kytmanov:
Algorithm for Constructing an Analog of Plan's Formula. 100-104 - A. A. Panferov:
Satellite Unknowns in Irreducible Differential Systems. 105-111 - Ryszard Kozera, Alexander N. Prokopenya:
Application of Computer Algebra to Photometric Stereo with Two Light Sources. 112-119 - Sergei A. Abramov, Anna A. Ryabenko, Denis E. Khmelnov:
Laurent, Rational, and Hypergeometric Solutions of Linear q-Difference Systems of Arbitrary Order with Polynomial Coefficients. 120-130 - Timur M. Sadykov:
Computational Problems of Multivariate Hypergeometric Theory. 131-137
Volume 44, Number 3, May 2018
- A. I. Kuzmin:
Learning the Regularization Operator for the Optical Flow Problem. 139-147 - Valery A. Bobkov, Alexey P. Kudryashov, S. V. Mel'man:
On the Recovery of Motion of Dynamic Objects from Stereo Images. 148-158 - Sophia A. Zelenova, Sergey V. Zelenov:
Schedulability Analysis for Strictly Periodic Tasks in RTOS. 159-169 - Nguyen Ngoc Diep, A. A. Zhdanov:
Neuron-Like Approach to Speech Recognition. 170-180 - Renzo Massobrio, Sergio Nesmachnow, Andrei Tchernykh, Arutyun Avetisyan, Gleb I. Radchenko:
Towards a Cloud Computing Paradigm for Big Data Analysis in Smart Cities. 181-189 - A. V. Kozachok, E. V. Kochetkov:
Prototype of a Verified Program Code Execution System. 190-199 - Vartan A. Padaryan, I. N. Ledovskikh:
On the Representation of Results of Binary Code Reverse Engineering. 200-206
Volume 44, Number 4, July 2018
- B. Kh. Barladian, Alexey G. Voloboy, Vladimir A. Galaktionov, V. V. Knyaz', I. V. Koverninskii, Yu. A. Solodelov, Vladimir A. Frolov, Lev Z. Shapiro:
Efficient Implementation of OpenGL SC for Avionics Embedded Systems. 207-212 - Dmitry D. Zhdanov, Vladimir A. Galaktionov, Alexey G. Voloboy, Andrey D. Zhdanov, A. A. Garbul, Igor Stanislavovich Potemin, V. G. Sokolov:
Photorealistic Rendering of Images Formed by Augmented Reality Optical Systems. 213-224 - B. Kh. Barladian, Alexey G. Voloboy, Vladimir A. Galaktionov, Lev Z. Shapiro:
Integration of Realistic Computer Graphics into Computer-Aided Design and Product Lifecycle Management Systems. 225-232 - Vladimir A. Frolov, Vadim V. Sanzharov:
Modern Problems of Software Integration in Computer Graphics Applications and Ways to Solve Them. 233-239 - Nadezhda A. Anoshina, T. B. Sagindykov, Dmitry V. Sorokin:
A Method for Generation of Synthetic 2D and 3D Cryo-EM Images. 240-247 - Dmitry A. Lachinov, A. A. Getmanskaya, V. E. Turlapov:
Refinement of the Coherent Point Drift Registration Results by the Example of Cephalometry Problems. 248-257 - S. Arseev, Anton Konushin, V. Liutov:
Human Recognition by Appearance and Gait. 258-265 - Fedor Guryanov, Andrey S. Krylov:
Optimization Method for Cell Image Registration. 266-270 - A. A. Mikhaylichenko, A. B. Kleshchenkov:
Approach to Non-Contact Measurement of Geometric Parameters of Large-Sized Objects. 271-277 - K. V. Ryabinin, S. I. Chuprina:
Using Scientific Visualization Systems to Automate Monitoring of Data Generated by Lightweight Programmable Electronic Devices. 278-285 - Kirill A. Sidorov:
Estimating the AGE of Birch Bark Manuscripts using Computational Paleography. 286-294
Volume 44, Number 5, September 2018
- Denis R. Kasimov, Aleksandr V. Kuchuganov, Valeriy N. Kuchuganov, P. P. Oskolkov:
Approximation of Color Images Based on the Clusterization of the Color Palette and Smoothing Boundaries by Splines and Arcs. 295-302 - Alexander P. Kryukov, Andrey Demichev:
Decentralized Data Storages: Technologies of Construction. 303-315 - A. Yu. Gerasimov:
Directed Dynamic Symbolic Execution for Static Analysis Warnings Confirmation. 316-323 - Yury L. Karpov, Leonid E. Karpov, Yuri G. Smetanin:
Adaptation of General Concepts of Software Testing to Neural Networks. 324-334 - Dmitry V. Luciv, Dmitrij V. Koznov, George A. Chernishev, Andrey N. Terekhov, Konstantin Yu. Romanovsky, Dmitry A. Grigoriev:
Detecting Near Duplicates in Software Documentation. 335-343 - A. K. Yatskov, M. I. Varlamov, D. Yu. Turdakov:
Extraction of Data from Mass Media Web Sites. 344-352 - Victor Yurievich Korolev, Alexander Yu. Korchagin, Igor V. Mashechkin, M. I. Petrovskii, Dmitry V. Tsarev:
Applying Time Series for Background User Identification Based on Their Text Data Analysis. 353-362 - Alexey R. Nurmukhametov, E. A. Zhabotinskiy, Shamil F. Kurmangaleev, Sergey S. Gaissaryan, Alexey V. Vishnyakov:
Fine-Grained Address Space Layout Randomization on Program Load. 363-370
Volume 44, Number 6, November 2018
- J. Banumathi, R. Kanthavel:
Node Failure Aware Broadcasting Mechanism in Mobile Adhoc Network Environment. 371-380 - Thinakaran Vasantha Chithra, Arulappan Milton:
Energy Proficient Flooding Scheme Using Reduced Coverage Set Algorithm for Unreliable Links. 381-387 - J. Vijayashree, H. Parveen Sultana:
A Machine Learning Framework for Feature Selection in Heart Disease Classification Using Improved Particle Swarm Optimization with Support Vector Machine Classifier. 388-397 - R. Muruganantham, P. Ganeshkumar:
Quality of Service Enhancement in Wireless Sensor Network Using Flower Pollination Algorithm. 398-406 - R. Raja, P. Ganeshkumar:
QoSTRP: A Trusted Clustering Based Routing Protocol for Mobile Ad-Hoc Networks. 407-416 - J. Jayashree, Ananda Kumar Subramanian:
Linear Discriminant Analysis Based Genetic Algorithm with Generalized Regression Neural Network - A Hybrid Expert System for Diagnosis of Diabetes. 417-427 - D. Sreenivasulu, P. Venkata Krishna:
Deep Learning Based Efficient Channel Allocation Algorithm for Next Generation Cellular Networks. 428-434 - Ahmed M. Eassa, Mohamed Elhoseny, Hazem M. El-Bakry, Ahmed S. Salama:
NoSQL Injection Attack Detection in Web Applications Using RESTful Service. 435-444 - F. V. Niskov, A. N. Fedotov, Shamil F. Kurmangaleev:
Crash Processing for Selection of Unique Defects. 445-452 - I. A. Vasil'ev, P. V. Dovgalyuk, M. A. Klimushenkova:
OS-Agnostic Identification of Processes and Threads in the Full System Emulation for Selective Instrumentation. 453-458 - M. V. Belyaev, N. V. Shimchik, V. N. Ignatyev, A. A. Belevantsev:
Comparative Analysis of Two Approaches to Static Taint Analysis. 459-466 - A. Yu. Gerasimov, Leonid V. Kruglov, Mikhail K. Ermakov, Sergey P. Vartanov:
An Approach to Reachability Determination for Static Analysis Defects with the Help of Dynamic Symbolic Execution. 467-475 - R. A. Gilyazev, D. Yu. Turdakov:
Active Learning and Crowdsourcing: A Survey of Optimization Methods for Data Labeling. 476-491 - Viacheslav V. Zosimov, O. V. Khrystodorov, Oleksandra S. Bulgakova:
Dynamically Changing User Interfaces: Software Solutions Based on Automatically Collected User Information. 492-498 - Yu. L. Slovokhotov, I. S. Neretin:
Toward Constructing a Modular Model of Distributed Intelligence. 499-507 - Enzo Fabbiani, Sergio Nesmachnow, Jamal Toutouh, Andrei Tchernykh, Arutyun Avetisyan, Gleb I. Radchenko:
Analysis of Mobility Patterns for Public Transportation and Bus Stops Relocation. 508-525 - A. V. Tolok, N. B. Tolok, M. A. Loktev:
Modeling Function Domain for Curves Constructed Based on a Linear Combination of Basis Bernstein Polynomials. 526-532 - Alexander D. Bruno:
Algorithms for Solving an Algebraic Equation. 533-545 - Ryszard Kozera, Alexander N. Prokopenya, Artur Wilinski:
Application of Computer Algebra to the Reconstruction of Surface from Its Photometric Images. 546-553 - Vladislav A. Zolotov, Konstantin S. Petrishchev, Vitaly A. Semenov:
Erratum to: Methods of Spatial Indexing of Dynamic Scenes Based on Regular Octrees. 554
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-04-24 23:19 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:
