ARPA: Armenian Paraphrase Detection Corpus and Models
Malajyan, Arthur, Avetisyan, Karen, Ghukasyan, Tsolak
Published in 2020 Ivannikov Memorial Workshop (IVMEM) (01.09.2020)
Published in 2020 Ivannikov Memorial Workshop (IVMEM) (01.09.2020)
Get full text
Conference Proceeding
BinSide : Static Analysis Framework for Defects Detection in Binary Code
Aslanyan, Hayk, Arutunian, Mariam, Keropyan, Grigor, Kurmangaleev, Shamil, Vardanyan, Vahagn
Published in 2020 Ivannikov Memorial Workshop (IVMEM) (01.09.2020)
Published in 2020 Ivannikov Memorial Workshop (IVMEM) (01.09.2020)
Get full text
Conference Proceeding
Adaptation of the TOSCA standard model for the Kubernetes container environment
Borisova, Alexandra, Shvetcova, Valeriya, Borisenko, Oleg
Published in 2020 Ivannikov Memorial Workshop (IVMEM) (01.09.2020)
Published in 2020 Ivannikov Memorial Workshop (IVMEM) (01.09.2020)
Get full text
Conference Proceeding
High Energy Physics Data Popularity : ATLAS Datasets Popularity Case Study
Grigorieva, Maria, Tretyakov, Eugeny, Klimentov, Alexei, Golubkov, Dmitry, Korchuganova, Tatiana, Alekseev, Aleksandr, Artamonov, Alexey, Galkin, Timofei
Published in 2020 Ivannikov Memorial Workshop (IVMEM) (01.09.2020)
Published in 2020 Ivannikov Memorial Workshop (IVMEM) (01.09.2020)
Get full text
Conference Proceeding
Three-step Algorithms for Detection of High Degree Nodes in Online Social Networks
Shaikhelislamov, Danil, Drobyshevskiy, Mikhail, Turdakov, Denis, Yatskov, Alexander, Varlamov, Maksim, Aivazov, Denis
Published in 2020 Ivannikov Memorial Workshop (IVMEM) (01.09.2020)
Published in 2020 Ivannikov Memorial Workshop (IVMEM) (01.09.2020)
Get full text
Conference Proceeding
A State-based Refinement Technique for Event-B
Khoroshilov, Alexey, Kuliamin, Victor, Petrenko, Alexander K., Shchepetkov, Ilya
Published in 2020 Ivannikov Memorial Workshop (IVMEM) (01.09.2020)
Published in 2020 Ivannikov Memorial Workshop (IVMEM) (01.09.2020)
Get full text
Conference Proceeding
Determining Soil Parameters
Zasukhin, Sergey, Zasukhina, Elena
Published in 2020 Ivannikov Memorial Workshop (IVMEM) (01.09.2020)
Published in 2020 Ivannikov Memorial Workshop (IVMEM) (01.09.2020)
Get full text
Conference Proceeding
Estimation of Watermark Embedding Capacity with Line Space Shifting
Kozachok, Alexander V., Kopylov, Sergey
Published in 2020 Ivannikov Memorial Workshop (IVMEM) (01.09.2020)
Published in 2020 Ivannikov Memorial Workshop (IVMEM) (01.09.2020)
Get full text
Conference Proceeding
Evaluation of thread-local garbage collection
Filatov, Alexander, Mikheev, Vitaly
Published in 2020 Ivannikov Memorial Workshop (IVMEM) (01.09.2020)
Published in 2020 Ivannikov Memorial Workshop (IVMEM) (01.09.2020)
Get full text
Conference Proceeding
Architecture and deployment details of scalable Jupyter environment at Kurchatov Institute supercomputing centre
Teslyuk, Anton, Bobkov, Sergey, Belyaev, Alexander, Filippov, Alexander, Izotov, Kirill, Lyalin, Ilya, Shitov, Andrey, Yasnopolsky, Leonid, Velikhov, Vasily
Published in 2020 Ivannikov Memorial Workshop (IVMEM) (01.09.2020)
Published in 2020 Ivannikov Memorial Workshop (IVMEM) (01.09.2020)
Get full text
Conference Proceeding
Classification of pseudo-random sequences based on the random forest algorithm
Kozachok, Alexander V., Spirin, Andrey A., Kozachok, Alexander I., Tsibulia, Alexey N.
Published in 2020 Ivannikov Memorial Workshop (IVMEM) (01.09.2020)
Published in 2020 Ivannikov Memorial Workshop (IVMEM) (01.09.2020)
Get full text
Conference Proceeding
Verifying cryptographic protocols by Tamarin Prover
Vinarskii, Evgenii, Demakov, Alexey, Kamkin, Alexander, Yevtushenko, Nina
Published in 2020 Ivannikov Memorial Workshop (IVMEM) (01.09.2020)
Published in 2020 Ivannikov Memorial Workshop (IVMEM) (01.09.2020)
Get full text
Conference Proceeding
Title Page I
Published in 2020 Ivannikov Memorial Workshop (IVMEM)
(01.09.2020)
Get full text
Conference Proceeding
Title Page III
Published in 2020 Ivannikov Memorial Workshop (IVMEM)
(01.09.2020)
Get full text
Conference Proceeding