|
|
2018 year Authors: Shapirovsky I., Shehtman V.I.B. Shapirovsky and V.B. Shehtman.
Contemporary modal logic: between mathematics and computer science.
In D.V. Zaitsev, editor, Contemporary logic: foundations,
subject, and perpectives, pages 265--305. Forum, 2018. Russian.
|
|
2018 year Authors: Lyubetsky V., Lyubetskaya E., Gorbunov K.Linear algorithm for a cyclic graph transformation.
Lobachevskii Journal of Mathematics,
2018, Vol. 39, No. 9, P. 1217–1227.
DOI: 10.1134/S1995080218090147 Go to publication |
|
2018 year Authors: Kunina Irina, Teplyakov Lev, Gladkov A., 1529, Nikolaev D."Aerial images visual localization on a vector map using color-texture segmentation". Proc. SPIE 10696, Tenth International Conference on Machine Vision (ICMV 2017), 106961T (13 April 2018); doi: 10.1117/12.2310138. Go to publication |
|
2018 year Authors: Anastasia I., Chukalina Marina, 1529, Nikolaev D."Blur kernel estimation with algebraic tomography technique and intensity profiles of object boundaries". Proc. SPIE 10696, Tenth International Conference on Machine Vision (ICMV 2017), 1069626 (13 April 2018); doi: 10.1117/12.2310064.
Go to publication |
|
2018 year Authors: Kanovei V., Lyubetsky V.Definable E0 classes at arbitrary projective levels.
Annals of Pure and Applied Logic,
2018, Vol. 169, Iss. 9, P. 851–871.
DOI: 10.1016/j.apal.2018.04.006
(WoS Q1) Go to publication |
|
|
|
|