Issue |
Title |
File |
Vol 44, No 4 (2018) |
Estimating the AGE of Birch Bark Manuscripts using Computational Paleography |
(Eng)
|
Sidorov K.A.
|
Vol 44, No 3 (2018) |
On the Representation of Results of Binary Code Reverse Engineering |
(Eng)
|
Padaryan V.A., Ledovskikh I.N.
|
Vol 44, No 3 (2018) |
Prototype of a Verified Program Code Execution System |
(Eng)
|
Kozachok A.V., Kochetkov E.V.
|
Vol 44, No 3 (2018) |
Learning the Regularization Operator for the Optical Flow Problem |
(Eng)
|
Kuzmin A.I.
|
Vol 44, No 3 (2018) |
On the Recovery of Motion of Dynamic Objects from Stereo Images |
(Eng)
|
Bobkov V.A., Kudryashov A.P., Mel’man S.V.
|
Vol 44, No 3 (2018) |
Schedulability Analysis for Strictly Periodic Tasks in RTOS |
(Eng)
|
Zelenova S.A., Zelenov S.V.
|
Vol 44, No 3 (2018) |
Neuron-Like Approach to Speech Recognition |
(Eng)
|
Diep N.N., Zhdanov A.A.
|
Vol 44, No 3 (2018) |
Towards a Cloud Computing Paradigm for Big Data Analysis in Smart Cities |
(Eng)
|
Massobrio R., Nesmachnow S., Tchernykh A., Avetisyan A., Radchenko G.
|
Vol 44, No 2 (2018) |
Parameterization of a Set Determined by the Generalized Discriminant of a Polynomial |
(Eng)
|
Batkhin A.B.
|
Vol 44, No 2 (2018) |
Implementing a Method for Stochastization of One-Step Processes in a Computer Algebra System |
(Eng)
|
Gevorkyan M.N., Demidova A.V., Velieva T.R., Korol’kova A.V., Kulyabov D.S., Sevast’yanov L.A.
|
Vol 44, No 2 (2018) |
Application of Symbolic Computation Methods for Investigation of Stationary Motions of an Axisymmetric Satellite |
(Eng)
|
Gutnik S.A., Sarychev V.A.
|
Vol 44, No 2 (2018) |
Algorithm for Constructing an Analog of Plan’s Formula |
(Eng)
|
Kuzovatov V.I., Kytmanov A.A.
|
Vol 44, No 2 (2018) |
Satellite Unknowns in Irreducible Differential Systems |
(Eng)
|
Panferov A.A.
|
Vol 44, No 2 (2018) |
Application of Computer Algebra to Photometric Stereo with Two Light Sources |
(Eng)
|
Kozera R., Prokopenya A.N.
|
Vol 44, No 2 (2018) |
Laurent, Rational, and Hypergeometric Solutions of Linear q-Difference Systems of Arbitrary Order with Polynomial Coefficients |
(Eng)
|
Abramov S.A., Ryabenko A.A., Khmelnov D.E.
|
Vol 44, No 2 (2018) |
Computational Problems of Multivariate Hypergeometric Theory |
(Eng)
|
Sadykov T.M.
|
Vol 44, No 1 (2018) |
Using Subject Area Ontology for Automating Processes in Sphere of Scientific Investigation and Education |
(Eng)
|
Shachnev D., Karpenko D.
|
Vol 44, No 1 (2018) |
Test Generation from Event System Abstractions to Cover Their States and Transitions |
(Eng)
|
Julliand J., Kouchnarenko O., Masson P.A., Voiron G.
|
Vol 44, No 1 (2018) |
Multiagent Approach to Coreference Resolution Based on the Multifactor Similarity in Ontology Population |
(Eng)
|
Garanina N.O., Sidorova E.A., Seryi A.S.
|
Vol 44, No 1 (2018) |
Support for Parallel and Concurrent Programming in C++ |
(Eng)
|
V’yukova N.I., Galatenko V.A., Samborskii S.V.
|
Vol 44, No 1 (2018) |
Satisfying DO-178C Structural Coverage Objectives |
(Eng)
|
Kozyrev V.P., Saburov M.A.
|
Vol 44, No 1 (2018) |
Theorem Prover for Intuitionistic Logic Based on the Inverse Method |
(Eng)
|
Pavlov V.A., Pak V.G.
|
Vol 44, No 1 (2018) |
PosDB: An Architecture Overview |
(Eng)
|
Chernishev G.A., Galaktionov V.A., Grigorev V.D., Klyuchikov E.S., Smirnov K.K.
|
Vol 43, No 6 (2017) |
Multilevel static analysis for improving program quality |
(Eng)
|
Belevantsev A.A.
|
Vol 43, No 6 (2017) |
Vectorization of raster mechanical drawings on the base of ternary segmentation and soft computing |
(Eng)
|
Kasimov D.R., Kuchuganov A.V., Kuchuganov V.N., Oskolkov P.P.
|
101 - 125 of 207 Items |
<< < 1 2 3 4 5 6 7 8 9 > >>
|