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
- Boris Kh. Barladian, Alexey G. Voloboy, Vladimir A. Galaktionov, V. V. Knyaz', I. V. Koverninskii, Yury 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 - Boris 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
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-11-20 21:04 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:
