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