default search action
Programming 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
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
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
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
Application of Computer Algebra to Photometric Stereo with Two Light Sources. 112-119 - Sergei A. Abramov
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
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
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
On the Representation of Results of Binary Code Reverse Engineering. 200-206
Volume 44, Number 4, July 2018
- Boris Kh. Barladian, Alexey G. Voloboy
Efficient Implementation of OpenGL SC for Avionics Embedded Systems. 207-212 - Dmitry D. Zhdanov
Photorealistic Rendering of Images Formed by Augmented Reality Optical Systems. 213-224 - Boris Kh. Barladian, Alexey G. Voloboy
Integration of Realistic Computer Graphics into Computer-Aided Design and Product Lifecycle Management Systems. 225-232 - Vladimir A. Frolov
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
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
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
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
Extraction of Data from Mass Media Web Sites. 344-352 - Victor Yurievich Korolev
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
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
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
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
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
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
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-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: