Publications
Simple End-to-end Deep Learning Model for CDR-H3 Loop Structure Prediction
December 2021
Natalia Zenkova, Ekaterina Sedykh, Tatiana Shugaeva, Vladislav Strashko, Timofei Ermak, Aleksei Shpilman
RefactorInsight: Enhancing IDE Representation of Changes in Git with Refactorings Information
November 2021
Zarina Kurbatova, Vladimir Kovalenko, Ioana Savu, Bob Brockbernd, Dan Andreescu, Matei Anton, Roman Venediktov, Elena Tikhomirova, and Timofey Bryksin
Infrastructure in Code: Towards Developer-Friendly Cloud Applications
November 2021
Vladislav Tankov, Dmitriy Valchuk, Yaroslav Golubev, and Timofey Bryksin
Revizor: A Data-Driven Approach to Automate Frequent Code Changes Based on Graph Matching
November 2021
Oleg Smirnov, Artyom Lobanov, Yaroslav Golubev, Elena Tikhomirova, and Timofey Bryksin
Solving Traffic4Cast Competition with U-Net and Temporal Domain Adaptation
November 2021
Vsevolod Konyakhin, Nina Lukashina, Aleksei Shpilman
PyNose: A Test Smell Detector For Python
November 2021
Tongjie Wang, Yaroslav Golubev, Oleg Smirnov, Jiawei Li, Timofey Bryksin, and Iftekhar Ahmed
Integrating Statistical and Machine-Learning Approach for Meta-Analysis of Bisphenol A-Exposure Datasets Reveals Effects on Mouse Gene Expression within Pathways of Apoptosis and Cell Survival
October 2021
Lukashina, N.; Williams, M.J.; Kartysheva, E.; Virko, E.; Kudłak, B.; Fredriksson, R.; Spjuth, O.; Schiöth, H.B.
On the Nature of Code Cloning in Open-Source Java Projects
October 2021
Yaroslav Golubev and Timofey Bryksin
Sorrel: an IDE Plugin for Managing Licenses and Detecting License Incompatibilities
September 2021
Dmitry Pogrebnoy, Ivan Kuznetsov, Yaroslav Golubev, Vladislav Tankov, and Timofey Bryksin
PubTrends: a scientific literature explorer
August 2021
Oleg Shpynov, Kapralov Nikolai
FARM: hierarchical association rule mining and visualization method
August 2021
Petr Tsurinov, Oleg Shpynov, Nina Lukashina, Daria Likholetova, Maxim Artyomov
Reconstruction of sub-threshold events of cosmic-ray radio detectors using an autoencoder
August 2021
P. Bezyazeekov, D. Shipilov, D. Kostunin, I. Plokhikh, A. Mikhaylenko, P. Turishcheva, S. Golovachev, V. Sotnikov and E. Sotnikova
Tunka-Rex Virtual Observatory
August 2021
V. Lenok, O. Kopylova, D. Wochele, F. Polgart, S. Golovachev, V. Sotnikov, E. Sotnikova, P.A. Bezyazeekov, N. Budnev, O. Fedorov, O. Gress, O. Grishin, A. Haungs, T. Huege, Y. Kazarina, M. Kleifges, E. Korosteleva, D. Kostunin, L. Kuzmichev, N. Lubsandorzhiev, S. Malakhov, T. Marshalkina, R. Monkhoev, E. Osipova, A. Pakhorukov, L. Pankov, V. Prosin, F.G. Schröder, D. Shipilov and A. Zagorodnikov
Solving black-box optimization challenge via learning search space partition for local bayesian optimization
August 2021
Mikita Sazanovich, Anastasiya Nikolskaya, Yury Belousov, Aleksei Shpilman
Time-Efficient Code Completion Model for the R Programming Language
August 2021
Artem Popov, Dmitrii Orekhov, Denis Litvinov, Nikolay Korolev, Gleb Morgachev
A Simpler Encoding of Indexed Types
August 2021
Tesla Zhang
One Thousand and One Stories: A Large-Scale Survey of Software Refactoring
August 2021
Yaroslav Golubev, Zarina Kurbatova, Eman Abdullah AlOmar, Timofey Bryksin, and Mohamed Wiem Mkaouer
Unsupervised Learning of General-Purpose Embeddings for Code Changes
August 2021
Mikhail Pravilov, Egor Bogomolov, Yaroslav Golubev, and Timofey Bryksin
Authorship Attribution of Source Code: A Language-Agnostic Approach and Applicability in Software Engineering
August 2021
Egor Bogomolov, Vladimir Kovalenko, Alberto Bacchelli, and Timofey Bryksin
New insights from old cosmic rays: A novel analysis of archival KASCADE data
August 2021
D. Kostunin, I. Plokhikh, M. Ahlers, V. Tokareva, V. Lenok, P.A. Bezyazeekov, S. Golovachev, V. Sotnikov, R. Mullyadzhanov and E. Sotnikova
SPAN and JBR: analysis and visualization toolkit for peak calling
August 2021
Oleg Shpynov , Roman Chernyatchik, Petr Tsurinov, Maxim Artyomov
Classification and Denoising of Cosmic-Ray Radio Signals using Deep Learning
July 2021
A. Rehman, A. Coleman, F.G. Schröder and D. Kostunin
A Scalable Concurrent Algorithm for Dynamic Connectivity
July 2021
Alexander Fedorov, Nikita Koval, Dan Alistarh
First-Order Reasoning and Efficient Semi-Algebraic Proofs
May 2021
Fedor Part, Neil Thapen and Iddo Tzameret
Cellular and plasma proteomic determinants of COVID-19 and non-COVID-19 pulmonary diseases relative to healthy aging
May 2021
Laura Arthur, Ekaterina Esaulova, Denis A. Mogilenko, Petr Tsurinov, Samantha Burdess, Anwesha Laha, Rachel Presti, Brian Goetz, Mark A. Watson, Charles W. Goss, Christina A. Gurnett, Philip A. Mudd, Courtney Beers, Jane A. O’Halloran & Maxim N. Artyomov
Changes from the Trenches: Should We Automate Them?
May 2021
Yaroslav Golubev, Jiawei Li, Viacheslav Bushev, Timofey Bryksin, and Iftekhar Ahmed
PSIMiner: A Tool for Mining Rich Abstract Syntax Trees from Code
May 2021
Egor Spirin, Egor Bogomolov, Vladimir Kovalenko, and Timofey Bryksin
New Length Dependent Algorithm for Maximum Satisfiability Problem
May 2021
Vasily Alferov, Ivan Bliznets
Proceedings of the AAAI Conference on Artificial Intelligence, 35(5), 3634-3641
Semi-supervised peak calling with SPAN and JBR Genome Browser
May 2021
Oleg Shpynov, Aleksei Dievskii, Roman Chernyatchik, Petr Tsurinov, Maxim N Artyomov
Flatland Competition 2020: MAPF and MARL for Efficient Train Coordination on a Grid World
March 2021
Florian Laurent, Manuel Schneider, Christian Scheller, Jeremy Watson, Jiaoyang Li, Zhe Chen, Yi Zheng, Shao-Hung Chan, Konstantin Makhnev, Oleg Svidchenko, Vladimir Egorov, Dmitry Ivanov, Aleksei Shpilman, Evgenija Spirovska, Oliver Tanevski, Aleksandar Nikov, Ramon Grunder, David Galevski, Jakov Mitrovski, Guillaume Sartoretti, Zhiyao Luo, Mehul Damani, Nilabha Bhattacharya, Shivam Agarwal, Adrian Egli, Erik Nygren, Sharada Mohanty
An Empirical Study of Partial Deduction for MiniKanren
March 2021
Ekaterina Verbitskaia, Daniil Berezun, Dmitry Boulytchev
TaskTracker-tool: a Toolkit for Tracking of Code Snapshots and Activity Data During Solution of Programming Tasks
March 2021
Elena Lyulina, Anastasiia Birillo, Vladimir Kovalenko, andTimofey Bryksin
Multi-Threshold Token-Based Code Clone Detection
March 2021
Yaroslav Golubev, Viktor Poletansky, Nikita Povarov, and Timofey Bryksin
TNM: A Tool for Mining of Socio-Technical Data from Git Repositories
March 2021
Nikolai Sviridov, Mikhail Evtikhiev, Vladimir Kovalenko
Balancing Rational and Other-Regarding Preferences in Cooperative-Competitive Environments
February 2021
Dmitry Ivanov, Vladimir Egorov, Aleksei Shpilman
BeBoSy: Behavior Examples meet Bounded Synthesis
February 2021
Daniil Chivilikhin, Ilya Zakirzyanov, Vladimir Ulyantsev
BCNNM: A Framework for in silico Neural Tissue Development Modeling
January 2021
Dmitrii V. Bozhko, Georgii K. Galumov, Aleksandr I. Polovian, Sofiia M. Kolchanova, Vladislav O. Myrov, Viktoriia A. Stelmakh and Helgi B. Schiöth
Beyond the elementary representations of program invariants over algebraic data type
2021
Kostyukov Yurii, Dmitry Mordvinov, and Grigory Fedyukovich
Reimplementing the Wheel: Teaching Compilers with a Small Self-Contained One
2021
Daniil Berezun, Dmitry Boulytchev
Mechanized Theory of Event Structures: A Case of Parallel Register Machine
2021
Vladimir Gladstein, Dmitrii Mikhailovskii, Evgenii Moiseenko, Anton Trunov
Lipophilicity Prediction with Multitask Learning and Molecular Substructures Representation
December 2020
Nina Lukashina, Alisa Alenicheva, Elizaveta Vlasova, Artem Kondiukov, Aigul Khakimova, Emil Magerramov, Nikita Churikov, Aleksei Shpilman
Diverse Pairs of Matchings
December 2020
Fedor V. Fomin, Petr A. Golovach, Lars Jaffke, Geevarghese Philip, Danil Sagunov
ISAAC 2020: The 31st International Symposium on Algorithms and Computation
Comprehensive Profiling of an Aging Immune System Reveals Clonal GZMK+ CD8+ T Cells as Conserved Hallmark of Inflammaging
December 2020
Denis A. Mogilenko, Oleg Shpynov, Prabhakar Sairam Andhey, Laura Arthur, Amanda Swain, Ekaterina Esaulova, Simone Brioschi, Irina Shchukina, Martina Kerndl, Monika Bambouskova, Zhangting Yao, Anwesha Laha, Konstantin Zaitsev, Samantha Burdess, Susan Gillfilan, Sheila A. Stewart, Marco Colonna, Maxim N.Artyomov
Automatic generation of reviews of scientific papers
December 2020
Anna Nikiforovskaya, Nikolai Kapralov, Anna Vlasova, Oleg Shpynov, Aleksei Shpilman
Enhanced epigenetic profiling of classical human monocytes reveals a specific signature of healthy aging in the DNA methylome
November 2020
Irina Shchukina, Juhi Bagaitkar, Oleg Shpynov, Ekaterina Loginicheva, Sofia Porter, Denis A. Mogilenko, Erica Wolin, Patrick Collins, German Demidov, Mykyta Artomov, Konstantin Zaitsev, Sviatoslav Sidorov, Christina Camell, Monika Bambouskova, Laura Arthur, Amanda Swain, Alexandra Panteleeva, Aleksei Dievskii, Evgeny Kurbatsky, Petr Tsurinov, Roman Chernyatchik, Vishwa Deep Dixit, Marko Jovanovic, Sheila A. Stewart, Mark J. Daly, Sergey Dmitriev, Eugene M. Oltz & Maxim N. Artyomov
Pandemic Programming: How COVID-19 Affects Software Developers And How Their Organizations Can Help
September 2020
Paul Ralph, Sebastian Baltes, Gianisa Adisaputri, Richard Torkar, Vladimir Kovalenko, Marcos Kalinowski, Nicole Novielli, Shin Yoo, Xavier Devroey, Xin Tan, Minghui Zhou, Burak Turhan, Rashina Hoda, Hideaki Hata, Gregorio Robles, Amin Milani Fard, and Rana Alkadhi
Prototype of a segmented scintillator detector for particle flux measurements on spacecraft
September 2020
Sosed: a Tool for Finding Similar Software Projects
September 2020
Egor Bogomolov, Yaroslav Golubev, Artyom Lobanov, Vladimir Kovalenko and Timofey Bryksin
The Post Language: Process-Oriented Extension for IEC 61131-3 Structured Text
September 2020
V. Bashev, I. Anureev and V. Zyubin
Transformer-Based Open Domain Biomedical Question Answering at BioASQ8 Challenge
September 2020
Ashot Kazaryan, Uladzislau Sazanovich, Vladislav Belyaev
Comparing Block-based Programming Models for Two-armed Robots
September 2020
Nico Ritschel, Vladimir Kovalenko, Reid Holmes, Ron Garcia, and David C. Shepherd
Automated Cross-Language Integration Based on Formal Model of Components
August 2020
Artyom Aleksyuk, Vladimir Itsykson
An Ontology-based Approach to Support Formal Verification of Concurrent Systems
August 2020
Recursive Expressions for SPARQL Property Paths
August 2020
Ciro Medeiros, Umberto Costa, Semyon Grigorev, Martin A. Musicante
Context-Free Path Querying by Kronecker Product
August 2020
Egor Orachev, Ilya Epelbaum, Rustam Azimov, Semyon Grigorev
Context-free path queries (CFPQ) extend the regular path queries (RPQ) by allowing context-free grammars to be used as constraints for paths. Algorithms for CFPQ are actively developed, but J. Kuijpers et al. have recently concluded, that existing algorithms are not performant enough to be used in real-world applications. Thus the development of new algorithms for CFPQ is justified. In this paper, we provide a new CFPQ algorithm which is based on such linear algebra operations as Kronecker product and transitive closure and handles grammars presented as recursive state machines. Thus, the proposed algorithm can be implemented by using high-performance libraries and modern parallel hardware. Moreover, it avoids grammar growth which provides the possibility for queries optimization.
Building Large k-Cores from Sparse Graphs
August 2020
Fedor Fomin, Danil Sagunov, Kirill Simonov
MFCS 2020: 45th International Symposium on Mathematical Foundations of Computer Science
Single-cell RNA-seq analysis of human CSF microglia and myeloid cells in neuroinflammation
July 2020
Ekaterina Esaulova, Claudia Cantoni, Irina Shchukina, Konstantin Zaitsev, Robert C Bucelli, Gregory F Wu, Maxim N Artyomov, Anne H Cross, Brian T Edelson
Imitation Learning Approach for AI Driving Olympics Trained on Real-world and Simulation Data Simultaneously
July 2020
Mikita Sazanovich, Konstantin Chaika, Kirill Krinkin, Aleksei Shpilman
Verifying Reflex-software with SPIN: Hand Dryer Case Study
July 2020
Tatiana V. Liakh, Natalia O. Garanina, Igor S. Anureev, Vladimir E. Zyubin
Reconciling Event Structures with Modern Multiprocessors
July 2020
Evgenii Moiseenko, Anton Podkopaev, Ori Lahav, Orestis Melkonian, Viktor Vafeiadis
Building Implicit Vector Representations of Individual Coding Style
June 2020
Vladimir Kovalenko, Egor Bogomolov, Timofey Bryksin and Alberto Bacchelli
Using Large-Scale Anomaly Detection on Code to Improve Kotlin Compiler
June 2020
Timofey Bryksin, Victor Petukhov, Ilya Alexin, Stanislav Prikhodko, Alexey Shpilman, Vladimir Kovalenko and Nikita Povarov
Visualization of Methods Changeability Based on VCS Data
June 2020
Sergey Svitkov and Timofey Bryksin
Modification of Valiant’s algorithm for the string-matching problem
June 2020
Susanina Y.A., Yaveyn A.N., Grigorev S.V.
This paper aims to present Valiant’s algorithm modification, which main advantage is the possibility to divide the parsing table into successively computed layers of disjoint submatrices where each submatrix of the layer can be processed independently. Moreover, our approach is easily adapted for the string-matching problem.
Context-Free Path Querying with Single-Path Semantics by Matrix Multiplication
June 2020
Arseniy Terekhov, Artyom Khoroshev, Rustam Azimov, Semyon Grigorev
A recent study showed that the applicability of context-free path querying (CFPQ) algorithms with relational query semantics integrated with graph databases is limited because of low performance and high memory consumption of existing solutions. In this work, we implement a matrix-based CFPQ algorithm by using appropriate high-performance libraries for linear algebra and integrate it with RedisGraph graph database. Also, we introduce a new CFPQ algorithm with single-path query semantics that allows us to extract one found path for each pair of nodes. Finally, we provide the evaluation of our algorithms for both semantics which shows that matrix-based CFPQ implementation for Redis-Graph database is performant enough for real-world data analysis.
Context-Free Path Querying via Matrix Equations
June 2020
Yuliya Susanina
Repairing and Mechanising the JavaScript Relaxed Memory Model
June 2020
Conrad Watt, Christopher Pulte, Anton Podkopaev, Guillaume Barbier, Stephen Dolan, Shaked Flur, Jean Pichon-Pharabod Shu-yu Guo
Promising 2.0: Global Optimizations in Relaxed Memory Concurrency
June 2020
Sung-Hwan Lee, Minki Cho, Anton Podkopaev, Soham Chakraborty, Chung-Kil Hur, Ori Lahav, Viktor Vafeiadis
Recommendation of Move Method Refactoring Using Path-Based Representation of Code
June 2020
Zarina Kurbatova, Ivan Veselov, Yaroslav Golubev and Timofey Bryksin
A Study of Potential Code Borrowing and License Violations in Java Projects on GitHub
June 2020
Yaroslav Golubev, Maria Eliseeva, Nikita Povarov and Timofey Bryksin
Epigenetic aging of classical monocytes from healthy individuals
May 2020
Irina Shchukina, Juhi Bagaitkar, Oleg Shpynov, Ekaterina Loginicheva, Sofia Porter, Denis A. Mogilenko, Erica Wolin, Patrick Collins, German Demidov, Mykyta Artomov, Konstantin Zaitsev, Sviatoslav Sidorov, Christina Camell, Monika Bambouskova, Laura Arthur, Amanda Swain, Alexandra Panteleeva, Aleksei Dievskii, Evgeny Kurbatsky, Petr Tsurinov, Roman Chernyatchik, Vishwa Deep Dixit, Marko Jovanovic, Sheila A. Stewart, Mark J. Daly, Sergey Dmitriev, Eugene M. Oltz, Maxim N. Artyomov
Caching Intermediates in a Column-Store with Late Materialization: An Initial Study
April 2020
Declarative analysis in “Troitsk nu-mass” experiment
April 2020
Single cell RNA sequencing in atherosclerosis research
April 2020
Jesse W Williams, Holger Winkels, Christopher P Durant, Konstantin Zaitsev, Yanal Ghosheh, Klaus Ley
POSTER: Restricted memory-friendly lock-free bounded queues
February 2020
Nikita Koval, Vitaly Aksenov
Select autophagy genes maintain quiescence of tissue-resident macrophages and increase susceptibility to Listeria monocytogenes
February 2020
Ya-Ting Wang, Konstantin Zaitsev, Qun Lu, Shan Li, W Timothy Schaiff, Ki-Wook Kim, Lindsay Droit, Craig B Wilen, Chandni Desai, Dale R Balce, Robert C Orchard, Anthony Orvedahl, Sunmin Park, Darren Kreamalmeyer, Scott A Handley, John D Pfeifer, Megan T Baldridge, Maxim N Artyomov, Christina L Stallings, Herbert W Virgin
Optimizing GPU programs by partial evaluation
February 2020
Aleksey Tyurin, Daniil Berezun, Semyon Grigorev
While GPU utilization allows one to speed up computations to the orders of magnitude, memory management remains the bottleneck making it often a challenge to achieve the desired performance. Hence, different memory optimizations are leveraged to make memory being used more effectively. We propose an approach automating memory management utilizing partial evaluation, a program transformation technique that enables data accesses to be pre-computed, optimized, and embedded into the code, saving memory transactions. An empirical evaluation of our approach shows that the transformed program could be up to 8 times as efficient as the original one in the case of CUDA C naïve string pattern matching algorithm implementation.
POSTER: Testing concurrency on the JVM with Lincheck
February 2020
Nikita Koval, Maria Sokolova, Alexander Fedorov, Dan Alistarh, Dmitry Tsitelov
Resolution with Counting: Dag-Like Lower Bounds and Different Moduli
January 2020
Fedor Part and Iddo Tzameret
Research Challenges Of Industry 4.0
January 2020
Konstantin Chaika
The paper describes the definitions of industry 4.0 and the factors that influence their formation. It describes the areas that it affects and which are involved in the formation of a new generation industry. Paper also discusses problems that arise in areas related to industry 4.0 when combining them and possible ways to solve them, especially the organization of the production process. Making a focus on properties of software for industrial devices.
Human and mouse single-nucleus transcriptomics reveal TREM2-dependent and TREM2-independent cellular responses in Alzheimer’s disease
January 2020
Yingyue Zhou, Wilbur M Song, Prabhakar S Andhey, Amanda Swain, Tyler Levy, Kelly R Miller, Pietro L Poliani, Manuela Cominelli, Shikha Grover, Susan Gilfillan, Marina Cella, Tyler K Ulland, Konstantin Zaitsev, Akinori Miyashita, Takeshi Ikeuchi, Makoto Sainouchi, Akiyoshi Kakita, David A Bennett, Julie A Schneider, Michael R Nichols, Sean A Beausoleil, Jason D Ulrich, David M Holtzman, Maxim N Artyomov, Marco Colonna
Making DBMSes Dependency-Aware
January 2020
Path Querying with Conjunctive Grammars by Matrix Multiplication
December 2019
R. Azimov and S. Grigorev
Path querying with conjunctive grammars is known to be undecidable. There is an algorithm for path querying with linear conjunctive grammars which provides an over-approximation of the result, but there is no algorithm for arbitrary conjunctive grammars. We propose the first algorithm for path querying with arbitrary conjunctive grammars. The proposed algorithm is matrix-based and allows us to efficiently apply GPGPU computing techniques and other optimizations for matrix operations.
Compilation of OCaml memory model into Power (In Russian)
December 2019
Egor Namakonov, Anton Podkopaev
Artificial Intelligence for Prosthetics-challenge solutions
November 2019
Łukasz Kidziński, Carmichael Ong, Sharada Prasanna Mohanty, Jennifer Hicks, Sean F Carroll, Bo Zhou, Hongsheng Zeng, Fan Wang, Rongzhong Lian, Hao Tian, Wojciech Jaśkowski, Garrett Andersen, Odd Rune Lykkebø, Nihat Engin Toklu, Pranav Shyam, Rupesh Kumar Srivastava, Sergey Kolesnikov, Oleksii Hrinchuk, Anton Pechenko, Mattias Ljungström, Zhen Wang, Xu Hu, Zehong Hu, Minghui Qiu, Jun Huang, Aleksei Shpilman, Ivan Sosin, Oleg Svidchenko, Aleksandra Malysheva, Daniel Kudenko, Lance Rane, Aditya Bhatt, Zhengfei Wang, Penghui Qi, Zeyang Yu, Peng Peng, Quan Yuan, Wenxin Li, Yunsheng Tian, Ruihan Yang, Pingchuan Ma, Shauharda Khadka, Somdeb Majumdar, Zach Dwiel, Yinyin Liu, Evren Tumer, Jeremy Watson, Marcel Salathé, Sergey Levine, Scott Delp
Improved Architecture of Artificial Neural Network for Secondary Structure Analysis
November 2019
Semyon Grigorev and Polina Lunina
Lost in Conversation: A Conversational Agent Based on the Transformer and Transfer Learning
November 2019
Sergey Golovanov, Alexander Tselousov, Rauf Kurbanov, Sergey I. Nikolenko
Kotless: a Serverless Framework for Kotlin
November 2019
Vladislav Tankov, Yaroslav Golubev, andTimofey Bryksin
MAGNet: Multi-agent Graph Network for Deep Multi-agent Reinforcement Learning
October 2019
Aleksandra Malysheva, Daniel Kudenko, Aleksei Shpilman
Optimizing UAV-to-Car Communications in 3D Environments Through Dynamic UAV Positioning
October 2019
Seilendria A. Hadiwardoyo , Carlos T. Calafate, Juan-Carlos Cano, Kirill Krinkin, Dmitry Klionskiy, Enrique Hernandez-Orallo, Pietro Manzoni
Unmanned Aerial Vehicles can act as relays in areas with limited infrastructure to support car-to-car communications. Prior studies on UAV-to-car communications showed that the irregularity of the terrains has a significant impact on link quality. Thus, in this paper, we propose a positioning technique that relies on Particle Swarm Optimization to optimize the positioning of a UAV in the vehicular environment by considering the irregularities of the terrains that might hinder Line-of-Sight conditions. The proposed technique takes into account the path loss caused by the terrains.
Property Directed Inference of Relational Invariants
October 2019
D. Mordvinov, G. Fedyukovich
End-to-end Deep Object Tracking with Circular Loss Function for Rotated Bounding Box
October 2019
Vladislav Belyaev, Aleksandra Malysheva, Aleksei Shpilman
Implementing Window Functions in a Column-Store with Late Materialization
October 2019
Nadezhda Mukhaleva, Valentin Grigorev and George Chernishev
On Happy Colorings, Cuts, and Structural Parameterizations
September 2019
Ivan Bliznets and Danil Sagunov
Distributed Classification of Text Streams: Limitations, Challenges, and Solutions
September 2019
Artem Trofimov, Nikita Sokolov, Mikhail Shavkunov, Igor Kuralenok, and Boris Novikov
Unsupervised dialogue intent detection via hierarchical topic model
September 2019
Artem Popov, Victor Bulatov, Darya Polyudova, Eugenia Veselova
Smart Caching for Efficient Functional Dependency Discovery
September 2019
Anastasia Birillo and Nikita Bobrov
Subsets of ILC3− ILC1-like cells generate a diversity spectrum of innate lymphoid cells in human mucosal tissues
August 2019
Marina Cella, Ramya Gamini, Cristiane Sécca, Patrick L Collins, Shanrong Zhao, Vincent Peng, Michelle L Robinette, Jorge Schettini, Konstantin Zaitsev, William Gordon, Jennifer K Bando, Kentaro Yomogida, Victor Cortez, Catrina Fronick, Robert Fulton, Lih-Ling Lin, Susan Gilfillan, Richard A Flavell, Liang Shan, Maxim N Artyomov, Michael Bowman, Eugene M Oltz, Scott A Jelinsky, Marco Colonna
Toxoplasma gondii infection drives conversion of NK cells into ILC1-like cells
August 2019
Eugene Park, Swapneel Patel, Qiuling Wang, Prabhakar Andhey, Konstantin Zaitsev, Sophia Porter, Maxwell Hershey, Michael Bern, Beatrice Plougastel-Douglas, Patrick Collins, Marco Colonna, Kenneth M Murphy, Eugene Oltz, Maxim Artyomov, L David Sibley, Wayne M Yokoyama
Lower Bounds for the Happy Coloring Problems
July 2019
Ivan Bliznets and Danil Sagunov
Log-based Reading Speed Prediction: a Case Study on War and Peace
July 2019
Igor Tukh, Pavel Braslavski, and Kseniya Buraya
Delivery, consistency, and determinism: rethinking guarantees in distributed stream processing
July 2019
Artem Trofimov, Igor E. Kuralenok, Nikita Marshalkin, Boris Novikov
Large-scale transfer learning for natural language generation
July 2019
Sergey Golovanov, Rauf Kurbanov, Sergey Nikolenko, Kyryl Truskovskyi, Alexander Tselousov, Thomas Wolf
Fitness comparison by statistical testing in construction of SAT-based guess-and-determine cryptographic attacks
July 2019
Artem Pavlenko, Maxim Buzdalov, Vladimir Ulyantsev
On Satisfiability of Nominal Type Systems With Variance
July 2019
A. Misonizhnik, D. Mordvinov
Two-Step Deductive Verification of Control Software Using Reflex
July 2019
Anureev I.S., Garanina N.O., Liakh T.V., Rozov A.S., Zyubin V.E., Gorlatch S
Bar-Hillel Theorem Mechanization in Coq
June 2019
Sergey Bozhko, Leyla Khatbullina, Semyon Grigorev
The Bar-Hillel theorem states that context-free languages are closed under intersection with a regular set. This theorem has a constructive proof and thus provides a formal justification of correctness of the algorithms for applications mentioned above. Mechanization of the Bar-Hillel theorem, therefore, is both a fundamental result of formal language theory and a basis for the certified implementation of the algorithms for applications. In this work, we present the mechanized proof of the Bar-Hillel theorem in Coq.
Smart Contract Design Meets State Machine Synthesis: Case Studies
June 2019
Dmitrii Suvorov, Vladimir Ulyantsev
Bioinformatics Institute 2018/19 project abstracts
June 2019
O. Shpynov, A. Dievskii, P. Tsurinov, et al
Statistical time analysis for regular events with high count rate
June 2019
Automatic Classification of Error Types in Solutions to Programming Assignments at Online Learning Platform
June 2019
Artyom Lobanov, Timofey Bryksin, and Alexey Shpilman
Evaluation of the Context-Free Path Querying Algorithm Based on Matrix Multiplication
June 2019
Nikita Mishin, Iaroslav Sokolov, Egor Spirin, Vladimir Kutuev, Egor Nemchinov, Sergey Gorbatyuk, and Semyon Grigorev
Word embedding in form of symmetric and skew-symmetric operator
June 2019
Ekaterina Koshchenko, Igor Kuralenok
Words and Topics: Content Representations for Book Recommendation
May 2019
Larissa Kolesnichenko, Pavel Braslavski
Evaluation of Move Method Refactorings Recommendation Algorithms: Are We Doing It Right?
May 2019
Evgenii Novozhilov, Ivan Veselov, Mikhail Pravilov, and Timofey Bryksin
Complete deconvolution of cellular mixtures based on linearity of transcriptional signatures
May 2019
Konstantin Zaitsev, Monika Bambouskova, Amanda Swain, Maxim N Artyomov
PathMiner: A Library for Mining of Path-Based Representations of Code
May 2019
Vladimir Kovalenko, Egor Bogomolov, Timofey Bryksin, and Alberto Bacchelli
Designing a DBMS development course with automatic assignment evaluation
April 2019
Viacheslav Galaktionov, George Chernishev
Towards safe cyber-physical systems: the Reflex language and its transformational semantics
April 2019
Anureev I.S., Garanina N.O., Liakh T.V., Rozov A.S., Schulte H., Zyubin V.E
LKB1 expressed in dendritic cells governs the development and expansion of thymus-derived regulatory T cells
April 2019
Leonard R. Pelgrom, Thiago A. Patente, Alexey Sergushichev, Ekaterina Esaulova, Frank Otto, Arifa Ozir-Fazalalikhan, Hendrik J. P. van der Zande, Alwin J. van der Ham, Stefan van der Stel, Maxim N. Artyomov & Bart Everts
Multi-Agent SLAM Approaches for Low-Cost Platforms
April 2019
Anton Filatov, Krinkin Kirill
Modern SLAM (Simultaneous Localization and Mapping) algorithms launched on a moving agent are bounded with its computation resources. The consistent way out is to add more computing agents that might explore the environment quicker than one and thus to decrease the load of each agent. This paper presents the state of art in area of Multi-agent SLAM algorithms and describes problems that are faced in front of a developer of such approach. The outstanding problem of Multiagent SLAM - merging of maps built by separate agent during algorithm is also considered in this paper. Moreover the algorithm that extends laser 2D single hypothesis SLAM for multiple agents is introduced with evaluation of its performance.
Mobile Robot Pose Estimation Based on Position/Velocity Sensor Fusion
April 2019
Kirill Krinkin, Artyom Filatov
An autonomous self driving platform receives information about environment using only its onboard sensors. And it seems obvious that using several sensors could provide more certain information with reduced measurement error. But a general question is how to fuse measurements from different kinds of sensors (like a camera and an accelerometer) to get refined data about a platform or world state. This paper presents a theory based on groups that proves a possibility of correctness of error extraction from a moving model. And there are results of application this theory on fusing measurements from two sensors: odometer and scan matcher
A quantitative study of two matrix clustering algorithms
April 2019
Alexander Slesarev, Viacheslav Galaktionov, Nikita Bobrov, George Chernishev
Evolutionary Computation Techniques for Constructing SAT-Based Attacks in Algebraic Cryptanalysis
April 2019
Artem Pavlenko, Alexander Semenov, Vladimir Ulyantsev
The Composition of Dense Neural Networks and Formal Grammars for Secondary Structure Analysis
March 2019
Semyon Grigorev and Polina Lunina
We propose a way to combine formal grammars and artificial neural networks for biological sequences processing. Formal grammars encode the secondary structure of the sequence and neural networks deal with mutations and noise. In contrast to the classical way, when probabilistic grammars are used for secondary structure modeling, we propose to use arbitrary (not probabilistic) grammars which simplifies grammar creation. Instead of modeling the structure of the whole sequence, we create a grammar which only describes features of the secondary structure. Then we use matrix-based parsing to extract features: the fact that some substring can be derived from some nonterminal is a feature. After that, we use a dense neural network to process features.
Efficient Symmetry Breaking for SAT-Based Minimum DFA Inference
March 2019
Ilya Zakirzyanov, Antonio Morgado, Alexey Ignatiev, Vladimir Ulyantsev, Joao Marques-Silva
Tissue resident CCR2− and CCR2+ cardiac macrophages differentially orchestrate monocyte recruitment and fate specification following myocardial injury
January 2019
Geetika Bajpai, Andrea Bredemeyer, Wenjun Li, Konstantin Zaitsev, Andrew L Koenig, Inessa Lokshina, Jayaram Mohan, Brooke Ivey, His-Min Hsiao, Carla Weinheimer, Attila Kovacs, Slava Epelman, Maxim Artyomov, Daniel Kreisel, Kory J Lavine
GADMA: Genetic algorithm for inferring demographic history of multiple populations from allele frequency spectrum data
January 2019
Ekaterina Noskova, Vladimir Ulyantsev, Klaus-Peter Koepfli, Stephen J O'brien, Pavel Dobrynin
Function block finite-state model identification using SAT and CSP solvers
January 2019
Daniil Chivilikhin, Vladimir Ulyantsev, Anatoly Shalyto, Valeriy Vyatkin
Interferon lambda protects the female reproductive tract against Zika virus infection
January 2019
Elizabeth A Caine, Suzanne M Scheaffer, Nitin Arora, Konstantin Zaitsev, Maxim N Artyomov, Carolyn B Coyne, Kelle H Moley, Michael S Diamond
Bridging the Gap Between Programming Languages and Hardware Weak Memory Models
January 2019
Anton Podkopaev, Ori Lahav, Viktor Vafeiadis
Project page: http://plv.mpi-sws.org/imm/
Solving Target Set Selection with Bounded Thresholds Faster than 2^n
January 2019
Ivan Bliznets and Danil Sagunov
Designing Proton and Electron Detector for Monitoring Solar Cosmic Rays
January 2019
Path querying on acyclic graphs using Boolean grammars
January 2019
Shemetova E.N., Grigorev S.V.
One of the problems in graph data analysis is querying for specific paths. Such queries are usually performed by means of a formal grammar that describes the allowed edge-labeling of the paths. Path query is said to be calculated using relational query semantics if it is evaluated to triple ((A,v1,v2), such that there is a path from v1 to v2 such that the labels on the edges of this path form a string derivable from the nonterminal A. We focus on the Boolean languages that use Boolean grammars to describe the labeling of paths. Although path querying using relational query semantics and Boolean grammars is known to be undecidable, in this work we propose a path querying algorithm on acyclic graphs which uses relational query semantics and Boolean grammars and approximates the exact solution. To achieve better performance in compare with the naive algorithm, considered classes of graphs were limited to acyclic graphs.
Measurements with a TRISTAN prototype detector system at the "troitsk nu-mass" experiment in integral and differential mode
2019
GENOMIC DATA ACCESS SERVICE
2019
Kalinin Vladislav Il'ich, Cherniatchik Roman Igorevich
Constructing verification-oriented domain-specific process ontologies
2019
Garanina N.O., Anureev I.S., Zyubin V.E
An Application of Test-Driven Development Methodology into the Process of Hardware Creation (a View from a Software Perspective)
2019
Staroletov S., Fedorov V
A Method to Verify Parallel and Distributed Software in C# by Doing Roslyn AST Transformation to a Promela Model
2019
Staroletov S., Dubko A
Model-Driven Methods to Design of Reliable Multiagent Cyber-Physical Systems
2019
Staroletov S. M., Shilov N. V., Zyubin V. E., Liakh T. V., Rozov A. S., Konyukhov I., Shilov I. N., Baar T., and Schulte H
Applying Model Checking Approach with Floating Point Arithmetic for Verification of Air Collision Avoidance Maneuver Hybrid Model
2019
Path planning for UAV search using growing area algorithm and clustering
2019
Alexander Fedorov
POSTER: Lock-free channels for programming via communicating sequential processes
2019
Nikita Koval, Dan Alistarh, Roman Elizarov
Scalable FIFO Channels for Programming via Communicating Sequential Processes
2019
Nikita Koval, Dan Alistarh, Roman Elizarov
Efficiency Guarantees for Parallel Incremental Algorithms under Relaxed Schedulers
2019
Dan Alistarh, Giorgi Nadiradze, Nikita Koval
In Search of the Fastest Concurrent Union-Find Algorithm
2019
Dan Alistarh, Alexander Fedorov, Nikita Koval
A Survey of Smart Contract Safety and Programming Languages
2019
A. Tyurin, I. Tyulyandin, V. Maltsev, I. Kirilenko, and D. Berezun
Direct Search for keV-Sterile Neutrino in Nuclear Decay. Troitsk Nu-Mass (Scientific Summary)
2019
Constructive Negation for MiniKanren
2019
ReduKtor: How We Stopped Worrying About Bugs in Kotlin Compiler
2019
Daniil Stepanov, Marat Akhin, Mikhail Belyaev
Certified Semantics for miniKanren
2019
Relational Interpreters for Search Problems
2019
Survey on Blockchain Technology, Consensus Algorithms, and Alternative Distributed Technologies
2019
N. Mishin, A. Fefelov, V. Bushev, I. Kirilenko, and D. Berezun
Архитектура программных систем в контексте технологий Индустрии 4.0
2019
К. В. Чайка , К. В. Кринкин , Ар. Ю. Филатов , Ан. Ю. Филатов
Исследование критериев соответствия текста научному стилю
2019
Блеес Э.И., Заславский М.М.
Организация дисциплины "Введение в программную инженерию" как способ комплексного погружения студентов в специальность
2019
Берленко Т.А., Заславский М.М, Чайка К.В., Кринкин К.В.
A comparative evaluation of machine learning methods for robot navigation through human crowds
December 2018
A. Gaydashenko, D. Kudenko, A. Shpilman
Deep Multi-Agent Reinforcement Learning with Relevance Graphs
December 2018
Aleksandra Malysheva, Tegg Taekyong Sung, Chae-Bong Sohn, Daniel Kudenko, Aleksei Shpilman
Semantics-Driven Migration of Java Programs: A Practical Application
December 2018
Aleksyuk, A.O., Itsykson, V.M.
Framework for Deep Reinforcement Learning with GPU-CPU Multiprocessing
December 2018
Ivan Sosin, Oleg Svidchenko, Aleksandra Malysheva, Daniel Kudenko, Aleksei Shpilman
Formalism and Language Tools for Specification of the Semantics of Software Libraries
December 2018
V. Itsykson.
PosDB — прототип распределенной дисковой колоночной СУБД.
November 2018
Continuous Gesture Recognition from sEMG Sensor Data with Recurrent Neural Networks and Adversarial Domain Adaptation
November 2018
I. Sosin, D. Kudenko, A. Shpilman
Rainbow World Models
November 2018
V. Chockalingam, T. Sung, F. Behbahani, R. Gargeya, A. Sivanantham, A. Malysheva
Molecular Sets (MOSES): A Benchmarking Platform for Molecular Generation Models
November 2018
Daniil Polykovskiy, Alexander Zhebrak, Benjamin Sanchez-Lengeling, Sergey Golovanov, Oktai Tatanov, Stanislav Belyaev, Rauf Kurbanov, Aleksey Artamonov, Vladimir Aladinskiy, Mark Veselov, Artur Kadurin, Sergey Nikolenko, Alan Aspuru-Guzik, Alex Zhavoronkov
Learning to Run with Potential-Based Reward Shaping and Demonstrations from Video Data
November 2018
A. Malysheva, D. Kudenko, A. Shpilman
Upper and Lower Bounds for Different Parameterizations of (n,3)-MAXSAT
November 2018
Tatiana Belova and Ivan Bliznets
High-Dimensional Analysis Delineates Myeloid and Lymphoid Compartment Remodeling during Successful Immune-Checkpoint Cancer Therapy
October 2018
Matthew M. Gubin, Ekaterina Esaulova, Jeffrey P. Ward, Olga N. Malkova, Daniele Runci, Pamela Wong, Takuro Noguchi, Cora D. Arthur, Wei Meng, Elise Alspach, Ruan F.V. Medrano, Catrina Fronick, Michael Fehlings, Evan W. Newell, Robert S. Fulton, Kathleen C.F. Sheehan, Stephen T. Oh, Robert D. Schreiber, Maxim N. Artyomov
Construction of Efficient V-Gram Dictionary for Sequential Data Analysis
October 2018
Igor Kuralenok, Natalia Starikova, Aleksandr Khvorov, and Julian Serdyuk
The 27th ACM International Conference on Information and Knowledge Management (CIKM ’18), October 22–26, 2018, Torino, Italy. ACM, New York, NY, USA, 10 pages
Transcriptome Analysis Reveals Nonfoamy Rather Than Foamy Plaque Macrophages Are Proinflammatory in Atherosclerotic Murine Models
October 2018
Kyeongdae Kim , Dahee Shim , Jun Seong Lee , Konstantin Zaitsev , Jesse W. Williams , Ki-Wook Kim , Man-Young Jang , Hyung Seok Jang , Tae Jin Yun , Seung Hyun Lee , Won Kee Yoon , Annik Prat , Nabil G. Seidah , Jungsoon Choi , Seung-Pyo Lee , Sang-Ho Yoon , Jin Wu Nam , Je Kyung Seong , Goo Taeg Oh , Gwendalyn J. Randolph , Maxim N. Artyomov , Cheolho Cheong , and Jae-Hoon Choi
Cleaning up after a Party: Post-processing Thesaurus Crowdsourced Data
October 2018
Oksana Antropova, Elena Arslanova, Maxim Shaposhnikov, Pavel Braslavski, Mikhail Mukhin
Stierlitz Meets SVM: Humor Detection in Russian
October 2018
Anton Ermilov, Natasha Murashkina, Valeria Goryacheva, Pavel Braslavski
Extended Abstract: F# OpenCL Type Provider
September 2018
Kirill Smirenko, Semyon Grigorev
Extended abstract at TyDe 2018 (at ICFP).
Personal Names Popularity Estimation and its Application to Record Linkage
September 2018
Ksenia Zhagorina, Pavel Braslavski, Vladimir Gusev
Consistency Maintenance in Distributed Analytical Stream Processing
September 2018
Artem Trofimov
Mining File Histories: Should We Consider Branches?
September 2018
Vladimir Kovalenko, Fabio Palomba, and Alberto Bacchelli
Does Reviewer Recommendation Help Developers?
September 2018
Vladimir Kovalenko, Nava Tintarev, Evgeny Pasynkov, Christian Bird, and Alberto Bacchelli
Counterexample-guided inference of controller logic from execution traces and temporal formulas
September 2018
Daniil Chivilikhin, Igor Buzhinsky, Vladimir Ulyantsev, Andrey Stankevich, Anatoly Shalyto, Valeriy Vyatkin
Detecting Near Duplicates in Software Documentation
September 2018
D.V. Luciv, D.V. Koznov, G.A. Chernishev, A.N. Terekhov, K.Y. Romanovsky, D.A. Grigoriev
Automatic Recommendation of Move Method Refactorings Using Clustering Ensembles
September 2018
Timofey Bryksin, Evgenii Novozhilov, and Aleksei Shpilman
POSTER: Semi-supervised solution for robust peak calling of Low Input ChIP-Seq
September 2018
Oleg Shpynov, Aleksei Dievskii, Roman Chernyatchik, Evgeny Kurbatsky, Petr Tsurinov and Maxim Artyomov
Deterministic Model for Distributed Speculative Stream Processing
September 2018
Igor Kuralenok, Artem Trofimov, Nikita Marshalkin, Boris Novikov
An Ontology of Specification Patterns for Verification of Concurrent Systems
September 2018
Garanina N. O., Zyubin V., Lyakh T., Gorlatch S
Parser combinators for context-free path querying
September 2018
Ekaterina Verbitskaia, Ilya Kirillov, Ilya Nozkin, Semyon Grigorev
Transparent integration of a domain-specific language for specification of context-free path queries (CFPQs) into a general-purpose programming language as well as static checking of errors in queries may greatly simplify the development of applications using CFPQs. LINQ and ORM can be used for the integration, but they have issues with flexibility: query decomposition and reusing of subqueries are a challenge. Adaptation of parser combinators technique for paths querying may solve these problems. Conventional parser combinators process linear input, and only the Trails library is known to apply this technique for path querying. We demonstrate that it is possible to create general parser combinators for CFPQ which support arbitrary context-free grammars and arbitrary input graphs. We implement a library of such parser combinators and show that it is applicable for realistic tasks.
Relational Programming with memoization and negation (In Russian)
August 2018
E. Moiseenko, A. Podkopaev
Detecting Anomalies in Kotlin Code
July 2018
Timofey Bryksin, Victor Petukhov, Kirill Smirenko, and Nikita Povarov
Active Learning of Formal Plant Models For Cyber-Physical Systems
July 2018
Polina Ovsiannikova, Daniil Chivilikhin, Vladimir Ulyantsev, Andrey Stankevich, Ilya Zakirzyanov, Valeriy Vyatkin, Anatoly Shalyto
Learning to Run with Reward Shaping from Video Data
July 2018
A. Malysheva, A. Shpilman, D. Kudenko
POSTER: Semi-supervised solution for peak calling
July 2018
Oleg Shpynov, Aleksei Dievskii, Roman Chernyatchik, Evgeny Kurbatsky, Petr Tsurinov, Maxim N. Artyomov
Context-free path querying by matrix multiplication
June 2018
Rustam Azimov, Semyon Grigorev
FlameStream: Model and Runtime for Distributed Stream Processing
June 2018
Igor Kuralenok, Artem Trofimov, Nikita Marshalkin, Boris Novikov
Building Detection from Satellite Imagery Using a Composite Loss Function
June 2018
S. Golovanov, R. Kurbanov, A. Artamonov, A. Davydow, S. Nikolenko
Automated Refactoring of Object-Oriented Code Using Clustering Ensembles
June 2018
Timofey Bryskin, Alexey Shpilman, and Daniel Kudenko
Bhlhe40 is an essential repressor of IL-10 during Mycobacterium tuberculosis infection
May 2018
Jeremy P. Huynh, Chih-Chung Lin, Jacqueline M. Kimmey, Nicholas N. Jarjour, Elizabeth A. Schwarzkopf, Tara R. Bradstreet, Irina Shchukina, Oleg Shpynov, Casey T. Weaver, Reshma Taneja, Maxim N. Artyomov, Brian T. Edelson, Christina L. Stallings
An Immunocompetent Mouse Model of Zika Virus Infection
May 2018
Matthew J. Gorman, Elizabeth A. Caine, Konstantin Zaitsev, Matthew C. Begley, James Weger-Lucarelli, Melissa B. Uccellini, Shashank Tripathi, Juliet Morrison, Boyd L. Yount, Kenneth H. Dinnon III, Claudia Rückert, Michael C. Young, Zhe Zhu, Shelly J. Robertson, Kristin L. McNally, Jing Ye, Bin Cao, Indira U. Mysorekar, Gregory D. Ebel, Ralph S. Baric, Sonja M. Best, Maxim N. Artyomov, Adolfo Garcia-Sastre, Michael S. Diamond
Data Distribution Services Performance Evaluation Framework
May 2018
K. Krinkin, An. Filatov, Ar. Filatov, O. Kurishev, A.Lyanguzov
Code Review for Newcomers: Is It Different?
May 2018
Vladimir Kovalenko and Alberto Bacchelli
Evaluation of Modern Laser Based Indoor SLAM Algorithms
May 2018
Kirill Krinkin, Anton Filatov, Artyom Filatov, A. Huletski, D. Kartashov
Electrophilic properties of itaconate and derivatives regulate the IκBζ–ATF3 inflammatory axis
April 2018
Monika Bambouskova, Laurent Gorvel, Vicky Lampropoulou, Alexey Sergushichev, Ekaterina Loginicheva, Kendall Johnson, Daniel Korenfeld, Mary Elizabeth Mathyer, Hyeryun Kim, Li-Hao Huang, Dustin Duncan, Howard Bregman, Abdurrahman Keskin, Andrea Santeford, Rajendra S. Apte, Raghav Sehgal, Britney Johnson, Gaya K. Amarasinghe, Miguel P. Soares, Takashi Satoh, Shizuo Akira, Tsonwin Hai, Cristina de Guzman Strong, Karine Auclair, Thomas P. Roddy, Scott A. Biller, Marko Jovanovic, Eynav Klechevsky, Kelly M. Stewart, Gwendalyn J. Randolph & Maxim N. Artyomov
BFS Enumeration for Breaking Symmetries in Graphs
April 2018
Vyacheslav Moklev, Vladimir Ulyantsev
Data-Based Code Synthesis in IntelliJ IDEA
April 2018
Vladislav Tankov and Timofey Bryksin
Morita equivalences between algebraic dependent type theories [Preprint]
April 2018
Valery Isaev
An optimistic approach to handle out-of-order events within analytical stream processing
April 2018
Igor Kuralenok, Nikita Marshalkin, Artem Trofimov, Boris Novikov
On-the-Fly Filtering of Aggregation Results in Column-Stores
April 2018
Anastasia Tuchina, Valentin Grigorev, George Chernishev
Targeted sequencing analysis of ACVR2A gene identifies novel risk variants associated with preeclampsia
March 2018
Andrey S. Glotov, Sergey V. Kazakov, Elena S. Vashukova, Vladimir S. Pakin, Maria M. Danilova, Yulia A. Nasykhova, Aleksey E. Masharsky, Elena V. Mozgovaya, Dina R. Eremeeva, Marina S. Zainullina & Vladislav S. Baranov
Irg1 expression in myeloid cells prevents immunopathology during M. tuberculosis infection
March 2018
Sharmila Nair, Jeremy P. Huynh, Vicky Lampropoulou, Ekaterina Loginicheva, View ORCID ProfileEkaterina Esaulova, Anshu P. Gounder, View ORCID ProfileAdrianus C.M. Boon, Elizabeth A. Schwarzkopf, Tara R. Bradstreet, Brian T. Edelson, Maxim N. Artyomov, Christina L. Stallings, Michael S. Diamond
Exact finite-state machine identification from scenarios and temporal properties
February 2018
Vladimir Ulyantsev, Igor Buzhinsky, Anatoly Shalyto
Processing of higher count rates in Troitsk nu-mass experiment
January 2018
DataForge: Modular platform for data storage and analysis
January 2018
PosDB: An Architecture Overview
January 2018
George Chernishev, Viacheslav Galaktionov, Valentin Grigorev, Evgeniy Klyuchikov, Kirill Smirnov
Behavioural realism and the activation of aggressive concepts in violent video games
January 2018
D. Zendle, D. Kudenko, P. Cairns
Opposing Roles of Dendritic Cell Subsets in Experimental GN
January 2018
Sebastian Brähler, Bernd H. Zinselmeyer, Saravanan Raju, Maximilian Nitschke, Hani Suleiman, Brian T. Saunders, Michael W. Johnson, Alexander M.C. Böhner, Susanne F. Viehmann, Derek J. Theisen, Nicole M. Kretzer, Carlos G. Briseño, Konstantin Zaitsev, Olga Ornatsky, Qing Chang, Javier A. Carrero, Jeffrey B. Kopp, Maxim N. Artyomov, Christian Kurts, Kenneth M. Murphy, Jeffrey H. Miner and Andrey S. Shaw
Application of Turchin's method of statistical regularization
January 2018
Draft Genome Sequence of Coxiella burnetii Historical Strain Leningrad-2, Isolated from Blood of a Patient with Acute Q Fever in Saint Petersburg, Russia
January 2018
Olga Freylikhman, Artem Kiselev, Sergey Kazakov, Alexey Sergushichev, Yulia Panferova, Nikolay Tokarevich, Anna Kostareva
Обзор динамических методов восстановления частичных спецификаций программных библиотек на основе анализа программных проектов
2018
Егорова И.С., Ицыксон В.М.
LibSL — язык спецификации компонентов программного обеспечения
2018
Ицыксон В.М.
Автоматизация проверки корректности использования программных библиотек
2018
М. Гусев, В. Ицыксон
A Control Flow Graph Based Approach to Make the Verification of Cyber-Physical Systems Using KeYmaera Easier
2018
Basics of Software Testing and Verification [in Russian]
2018
Основы тестирования и верификации программного обеспечения
Typed Relational Conversion
2018
Petr Lozov, Andrey Vyatkin, Dmitry Boulytchev
18th International Symposium on Trends in Functional Programming
Reinforcement learning from multiple experts demonstrations
2018
M. Li, D. Kudenko
On fibrant objects in model categories
2018
Valery Isaev
Dynamic Selection of Environmental Variables to Improve the Prodiction of Aphid Phenology: A Machine Learning Approach
2018
P. Holloway, D. Kudenko, J. Bell
Assurance in Reinforcement Learning Using Quantitative Verification
2018
G. Mason, R. Calinescu, D. Kudenko, A. Banks
Poster: Duplicate finder toolkit
2018
D.Luciv, D.Koznov, G.Chernishev, H.A. Basit, K.Romanovsky, A.Terekhov
iSynchronizer: A Tool for Extracting, Integration and Analysis of MovieLens and IMDb Datasets
2018
N. Al-Roussais, D. Kudenko
Physical design tuning of RDF stores
2018
Vsevolod Sevostyanov, Boris Novikov, George Chernishev
Automatic Verification of Control Algorithms for Complex Technological Objects on Software Simulators
2018
Сравнение современных лазерных алгоритмов SLAM
2018
Ар. Ю. Филатов, Ан. Ю. Филатов, А. Т. Гулецкий, Д. А. Карташов, К. В. Кринкин
Методы сравнения качества 2D-SLAM-алгоритмов
2018
Ар. Ю. Филатов, Ан. Ю. Филатов, К. В. Кринкин, Б. Чен, Д. Молодан
Reflex Language: a Practical Notation for Cyber-Physical Systems
2018
Using Uniform State Abstractions For Reward Shaping With Reinforcement Learning
2018
J. Burden, D. Kudenko
Архитектура платформы для создания мобильных приложений с OUTDOOR-квестами
2018
Мокрецов Р. М., Заславский М. М.
Generator of 2D laser scan based datasets for ROS
2018
Arthur Huletski, Dmitriy Kartashov and Kirill Krinkin
SMT-based analysis of constraints on .NET types
2018
Aleksandr Misonizhnik and Dmitry Mordvinov
Improving Refutational Completeness of Relational Search via Divergence Test
2018
Hardness of Approximation for H-free Edge Modification Problems
2018
Ivan Bliznets, Marek Cygan, Pawel Komosa, Michal Pilipczuk
Subexponential Parameterized Algorithm for Interval Completion
2018
Ivan Bliznets, Fedor V. Fomin, Marcin Pilipczuk, Michal Pilipczuk
Promising Compilation to ARMv8.3 (In Russian)
December 2017
A. Podkopaev, O. Lahav, V. Vafeiadis
Context-Free Path Querying with Structural Representation of Result
December 2017
Semyon Grigorev, Anastasiya Ragozina
There are several solutions for CFPQ, but how to provide structural representation of query result which is practical for answer processing and debugging is still an open problem. In this paper we propose a graph parsing technique which allows one to build such representation with respect to given grammar in polynomial time and space for arbitrary context-free grammar and graph. Proposed algorithm is based on generalized LL parsing algorithm, while previous solutions are based mostly on CYK or Earley algorithms, which reduces time complexity in some cases.
Deep Learning of Cell Classification using Microscope Images of Intracellular Microtubule Networks
December 2017
A. Shpilman, D. Boikiy, M. Plyakova, D. Kudenko, A. Burakov, E. Nadezhdina
On compilation correctness for a subset of a promising memory model to the ARMv8.3 memory model (In Russian)
December 2017
A. Podkopaev, O. Lahav, V. Vafeiadis
Applying reinforcement learning and supervised learning techniques to play Hearthstone
December 2017
Ilya Kachalsky, Ilya Zakirzyanov, Vladimir Ulyantsev
VinySLAM: An indoor SLAM method for low-cost platforms based on the Transferable Belief Model
September 2017
Arthur Huletski; Dmitriy Kartashov; Kirill Krinkin
Model structures on categories of models of type theories
September 2017
Valery Isaev
Borealis Bounded Model Checker: The Coming of Age Story
September 2017
Marat Akhin, Mikhail Belyaev, Vladimir Itsykson
Finding all minimum-size DFA consistent with given examples: SAT-based approach
September 2017
Ilya Zakirzyanov, Anatoly Shalyto, Vladimir Ulyantsev
Closed-loop verification of a compensating group drive model using synthesized formal plant model
September 2017
Polina Ovsiannikova, Daniil Chivilikhin, Vladimir Ulyantsev, Anatoly Shalyto
Interpretable probabilistic embeddings: bridging the gap between topic models and neural networks
September 2017
Anna Potapenko, Artem Popov, Konstantin Vorontsov
2D SLAM Quality Evaluation Methods
August 2017
An. Filatov, Ar. Filatov, K. Krinkin, B. Chen, D. Molodan
TREM2 Maintains Microglial Metabolic Fitness in Alzheimer’s Disease
August 2017
Tyler K. Ulland, Wilbur M. Song, Stanley Ching-Cheng Huang, Jason D. Ulrich, Alexey Sergushichev, Wandy L. Beatty, Alexander A. Loboda, Yingyue Zhou, Nigel J. Cairns, Amal Kambal, Ekaterina Loginicheva, Susan Gilfillan, Marina Cella, Herbert W. Virgin, Emil R. Unanue, Yaming Wang, Maxim N. Artyomov, David M. Holtzman, Marco Colonna
The microbial metabolite desaminotyrosine protects from influenza through type I interferon
August 2017
Ashley L. Steed, George P. Christophi, Gerard E. Kaiko, Lulu Sun, Victoria M. Goodwin, Umang Jain, Ekaterina Esaulova, Maxim N. Artyomov, David J. Morales, Michael J. Holtzman, Adrianus C. M. Boon, Deborah J. Lenschow, Thaddeus S. Stappenbeck
CSP-based inference of function block finite-state models from execution traces
July 2017
Daniil Chivilikhin, Vladimir Ulyantsev, Anatoly Shalyto, Valeriy Vyatkin
Evaluation of Heavy-tailed Mutation Operator on Maximum Flow Test Generation Problem
July 2017
Mironovich V., Buzdalov M.
Plant trace generation for formal plant model inference: methods and case study
July 2017
Dmitry Avdyukhin, Daniil Chivilikhin, Georgiy Korneev, Vladimir Ulyantsev, Anatoly Shalyto
PosDB: a Distributed Column-Store Engine
June 2017
George Chernishev, Viacheslav Galaktionov, Valentin Grigorev, Evgeniy Klyuchikov, Kirill Smirnov
Promising Compilation to ARMv8 POP
June 2017
Anton Podkopaev, Ori Lahav, Viktor Vafeiadis
Structural basis for human respiratory syncytial virus NS1-mediated modulation of host responses
June 2017
Srirupa Chatterjee, Priya Luthra, Ekaterina Esaulova, Eugene Agapov, Benjamin C. Yen, Dominika M. Borek, Megan R. Edwards, Anuradha Mittal, David S. Jordan, Parameshwar Ramanan, Martin L. Moore, Rohit V. Pappu, Michael J. Holtzman, Maxim N. Artyomov, Christopher F. Basler, Gaya K. Amarasinghe & Daisy W. Leung
A study of PosDB Performance in a Distributed Environment
April 2017
George Chernishev, Vyacheslav Galaktionov, Valentin Grigorev, Evgeniy Klyuchikov, Kirill Smirnov
A survey of database dependency concepts
April 2017
Nikita Bobrov, Anastasia Birillo, George Chernishev.
Ranking Vertices for Active Module Recovery Problem
April 2017
Javlon E. Isomurodov, Alexander A. Loboda, Alexey A. Sergushichev
Genomic landscape of high-grade meningiomas
April 2017
Wenya Linda Bi, Noah F. Greenwald, Malak Abedalthagafi, Jeremiah Wala, Will J. Gibson, Pankaj K. Agarwalla, Peleg Horowitz, Steven E. Schumacher, Ekaterina Esaulova, Yu Mei, Aaron Chevalier, Matthew A. Ducar, Aaron R. Thorner, Paul van Hummelen, Anat O. Stemmer-Rachamimov, Maksym Artyomov, Ossama Al-Mefty, Gavin P. Dunn, Sandro Santagata, Ian F. Dunn & Rameen Beroukhim
MetaCherchant-an algorithm for analyzing genomic environment of antibiotic resistance gene in gut microbiota
January 2017
E. I. Olekhnovich, A. T. Vasilyev, V. I. Ulyantsev, A. V. Tyakht
Compiling untyped lambda calculus to lower-level code by game semantics and partial evaluation
January 2017
Daniil Berezun and Neil D. Jones
Chaordic Learning: A Case Study
2017
Stephan Krusche, Irina Camilleri, Andreas Seitz, Cecil Wöbker, Kirill Krinkin and Bernd Bruegge
A Study of Several Matrix-Clustering Vertical Partitioning Algorithms in a Disk-Based Environment
2017
Viacheslav Galaktionov, George Chernishev, Kirill Smirnov, Boris Novikov, and Dmitry A. Grigoriev
Verifying Safety of Functional Programs with Rosette/Unbound
2017
Dmitry Mordvinov and Grigory Fedyukovich
Семантически-ориентированная миграция Java-программ: опыт практического применения
2017
Алексюк А.О., Ицыксон В.М.
The design of an adaptive column-store system
2017
George Chernishev
Automated Semantics-Driven Source Code Migration: A Pilot Prototype
2017
Artyom Aleksyuk, Vladimir Itsykson
A Reinforcement Learning Based Workflow Application Scheduling Approach For SaaS Providers in Dynamic Cloud Environments
2017
Y. Wei, D. Kudenko, S. Liu, L. Pan, L. Wu, X. Meng
Synchronizing constrained horn clauses
2017
Mordvinov, Dmitry, and Grigory Fedyukovich
Разработка аспектно-ориентированного расширения для языка Kotlin
2017
Борис Скрипаль, Владимир Ицыксон
System for Automatic Checking of Student Solutions for Linux Programming MOOCs
2017
M. Zaslavskiy, M. Kanushin
Distributed Analysis of the BMC Kind: Making It Fit the Tornado Supercomputer
2017
Azat Abdullin, Daniil Stepanov, Marat Akhin
TRIK Studio: Technical Introduction
2017
Dmitry Mordvinov, Yurii Litvinov, Timofey Bryksin
How to make visual modeling more attractive to software developers
2017
Andrey Terekhov, Timofey Bryksin, Yurii Litvinov
Обзор статических методов восстановления частичных спецификаций программных библиотек на основе анализа программных проектов
2017
И.С. Егорова , В.М. Ицыксон.
Метод обработки в реальном времени открытых данных, содержащих гео-контекстную разметку
2017
Заславский М. М., Баландин С. И., Блеес Э. И.
Complete Head Linear Reduction (in Russian)
2017
Berezun D.A.
Untyped Lambda-Calculus Normalization by Traversals (in Russian)
2017
Berezun D.A.
TRIK studio: Technical introduction
2017
Mordvinov Dmitry, Yurii Litvinov, and Timofey Bryksin
Workload-independent data-driven vertical partitioning
2017
Nikita Bobrov, George Chernishev, and Boris Novikov
An evaluation of TANE algorithm for functional dependency detection
2017
Nikita Bobrov, George Chernishev, Dmitry Grigoriev, and Boris Novikov
Implementing common table expressions for MariaDB
2017
G. Shalygina and B. Novikov
Message from the editors
2017
G. Chernishev, M. Akhin, B. Novikov, and V. Itsykson
Формализм и языковые инструменты для описания семантики программных библиотек
December 2016
Ицыксон В.М.
Cluster Based Approach to Minimize Delay in Energy Aware Routing for IEEE 802.11s Wireless Mesh Networks Under Mobility Conditions
November 2016
Sp. S. Prakash Tn. Nagabhushan, K. Krinkin
The Scan Matchers Research and Comparison: Monte-Carlo, Olson and Hough
November 2016
K. Krinkin, An. Filatov, Ar. Filatov, A. Huletski D. Kartashov
Full Automated Continuous Integration and Testing Infrastructure for Maxscale and MariaDB
November 2016
Zaslavskiy M., Kaluzhniy A., Berlenko T., Kinyaev I., Krinkin K., Turenko T
A SLAM research framework for ROS
October 2016
A. Huletski, D. Kartashov
A Non-repetitive Logic for Verification of Dynamic Memory with Explicit Heap Conjunction and Disjunction
October 2016
Haberland R., Krinkin K.
POSTER: Systems Level Characterization of the Epigenomic Changes During Healthy Aging in the Human Blood Monocyte
October 2016
Bagaitkar Juhi, Bambouskova Monica, Oltz Eugene, Porter Sofia, Collins Patrick, Shpynov Oleg, German Demidov, Konstantin Zaytsev
TinySLAM Improvements for Indoor Navigation
October 2016
A. Huletski, D. Kartashov, K. Krinkin
The SLAM Constructor Framework for ROS [Poster presentation]
October 2016
A. Huletski, D. Kartashov, K. Krinkin
Integrating immunometabolism and macrophage diversity
October 2016
Maxim N. Artyomov, Alexey Sergushichev, Joel D. Schilling
Role of Mobile OS and LBS Platform in Design of e-Tourism Smart Services
October 2016
Balandina E.K., Balandin S.I., Koucheryavy Y.A., Zaslavskii M.M.
Matrix Clustering Algorithms for Vertical Partitioning Problem: an Initial Performance Study
October 2016
Vyacheslav Galaktionov, George Chernishev, Boris Novikov, and Dmitry Grigoriev
By the power of SMT! Mining Function Contracts to Better Bounded Model Checking
September 2016
Azat Abdullin, Marat Akhin
Solving Generalized Maximum-Weight Connected Subgraph Problem for Network Enrichment Analysis
August 2016
Alexander A. Loboda, Maxim N. Artyomov, Alexey A. Sergushichev
Certified Grammar Transformation to Chomsky Normal Form in F*
August 2016
Marina Polubelova, Sergey Bozhko, Semyon Grigorev
Itaconate Links Inhibition of Succinate Dehydrogenase with Macrophage Metabolic Remodeling and Regulation of Inflammation
July 2016
V. Lampropoulou, A. Sergushichev, M. Bambouskova, S. Nair, E. Vincent, E. Loginicheva, L. Cervantes-Barragan, X. Ma, S. Huang, T. Griss, C. Weinheimer, S. Khader, G. Randolph, E. Pearce, R. G. Jones, A. Diwan, M. Diamond,M. N. Artyomov
Relaxed Parsing of Regular Approximations of String-Embedded Languages
June 2016
Ekaterina Verbitskaia , Semyon Grigorev, Dmitry Avdyukhin
We present a technique for syntax analysis of a regular set of input strings. This problem is relevant for the analysis of string-embedded languages when a host program generates clauses of embedded language at run time. Our technique is based on a generalization of RNGLR algorithm, which, inherently, allows us to construct a finite representation of parse forest for regularly approximated set of input strings. This representation can be further utilized for semantic analysis and transformations in the context of reengineering, code maintenance, program understanding etc. The approach in question implements relaxed parsing: non-recognized strings in approximation set are ignored with no error detection.
Speed convergence of Fourier series of special form
June 2016
A. Kolpakov, An. Filatov, Ar. Filatov
MetaFast: fast reference-free graph-based comparison of shotgun metagenomic data
June 2016
Ulyantsev V.I., Kazakov S.V., Dubinkina V.B., Tyakht A.V., Alexeev D.G.
The Reflex Language Usage to Automate the Large Solar Vacuum Telescope
June 2016
Tatiana Liah, Vladimir Zyubin
Operational Aspects of C/C++ Concurrency
June 2016
Anton Podkopaev, Ilya Sergey, Aleksandar Nanevski
Abstract predicate entailment over points-to heaplets is syntax recognition
April 2016
Haberland R., Krinkin K., Ivanovskiy S.
The Heaviside step function approximation with Taylor polynomial of exponent
April 2016
A. Kolpakov, Ar. Filatov, An. Filatov
GAM: a web-service for integrated transcriptional and metabolic network analysis
April 2016
Alexey A. Sergushichev, Alexander A. Loboda, Abhishek K. Jha, Emma E. Vincent, Edward M. Driggers, Russell G. Jones, Edward J. Pearce and Maxim N. Artyomov
Modified Ant Colony Algorithm for Constructing Finite State Machines from Execution Scenarios and Temporal Formulas
March 2016
Chivilikhin D., Ulyantsev V., Shalyto A.
Верификация объектно-ориентированных программ с динамической памятью на основе ссылочной модели
January 2016
Р. Хаберланд, С. А. Ивановский, К. В. Кринкин
Assessment of k-mer spectrum applicability for metagenomic dissimilarity analysis
January 2016
Dubinkina V.B., Ischenko D.S., Ulyantsev V.I., Tyakht A.V., Alexeev D.G.
Incremental Garbage Collection Library for C++ (in Russian)
2016
E. Moiseenko, D. Berezun
Message from the ICDE 2016 program committee and general chairs
2016
Mei Hsu, Alfons Kemper, Timos K. Sellis, Boris Novikov, and Eljas Soisalon-Soininen
Adaptive techniques for extracting mental activity phases from heart beat rate streams
2016
Alina Dubatovka, Elena Mikhailova, Mikhail Zotov, and Boris Novikov
Survey on formal methods in robotics
2016
D. A. Mordvinov, Yu. V. Litvinov
Discovering geo-magnetic anomalies: A clustering-based approach
2016
E. Volzhina, A. Chudin, B. Novikov, N. Grafeeva, and E. Mikhailova
Метод импорта и обработки открытых данных в LBS-платформе
2016
Заславский М. М., Баландин С. И.
Database Migration Project: Bridging Industry-Academia Gap
2016
George Chernishev, Viacheslav Galaktionov, Valentin Grigorev, Evgeniy Klyuchikov, Kirill Smirnov, Andrey Terekhov
K-means Split Revisited: Well-grounded Approach and Experimental Evaluation
2016
Valentin Grigorev and George Chernishev
Verified operational transformation for trees
2016
Sergey Sinchuk , Pavel Chuprikov and Konstantin Solomatov
Energy Aware Power Save Mode based AODV Routing for IEEE 802.11s Wireless Mesh Networks
2016
S.P. Shiva Prakash, T.N. Nagabhushan, K.Krinkin
Lexical Analysis of Dynamically Generated String Expressions
2016
Marina Polubelova, Semyon Grigorev
Clone detection in reuse of software technical documentation
2016
Koznov, D., Luciv, D., Basit, H.A., Lieh, O.E., Smirnov, M.
On fuzzy repetitions detection in documentation reuse
2016
Lucive, D.V., Koznov, D.V., Basit, H.A., Terekhov, A.N.
Working Notes: Compiling ULC to Lower-level Code by Game Semantics and Partial Evaluation
2016
Daniil Berezun and Neil D. Jones
The formalism for semantics specification of software libraries
2016
V. Itsykson
Using a Bounded Model Checker for Test Generation: How to Kill Two Birds with One SMT Solver
December 2015
M. Petrov, K. Gagarski, M. Belyaev, V. Itsykson
Random Model Sampling: Making Craig Interpolation Work When It Should Not
December 2015
Marat Akhin, Sam Kolton, Vladimir Itsykson
Design and Implementation Raspberry Pi-based Omni-wheel Mobile Robot
November 2015
K. Krinkin, Elena Stotskaya, Yury Stotskiy
Evaluation of the Modern Visual SLAM Methods
November 2015
K. Krinkin, D. Kartashov, A. Huletski
Discovering Clones in Software: from Complex Algorithms to Everyday Desktop Tool
October 2015
Marat Akhin, Alexandr Suhinin
Mitochondrial Phosphoenolpyruvate Carboxykinase Regulates Metabolic Adaptation and Enables Glucose-Independent Tumor Growth
October 2015
E. Vincent, A. Sergushichev, T. Griss, M. Gingras, B. Samborska, T. Ntimbane, P. Coelho, J. Blagih, T. Raissi, L. Choinière, G. Bridon, E. Loginicheva, B. Flynn, E. Thomas, J. Tavaré, D. Avizonis, A. Pause, D. Elder, M. Artyomov, R. Jones
A Language-Independent Code Formatting by Syntactic Matching and Templates (In Russian)
October 2015
A.Podkopaev, A.Korovianskii, I.Ozernykh
Fast Artificial Landmark Detection for Indoor Mobile Robots
September 2015
K. Krinkin, D. Kartashov, A. Huletski
Constructing Parsimonous Hybridization Networks from Multiple Phylogenetic Trees using a SAT-Solver
August 2015
Ulyantsev V., Melnik M.
A hyperprocess-based approach in Arduino programming
August 2015
Andrey Rozov, Vladimir Zyubin
Evolutionary Approach to Coverage Testing of IEC 61499 Function Block Applications
July 2015
Buzhinsky I., Ulyantsev V., Veijalainen J., Vyatkin V.
Proximity points approach for building recommendation system for the “Open Karelia” information system
June 2015
Berlenko T.A., Krinkin K., Zaslavskiy M.
Priority queueing with multiple packet characteristics
April 2015
Chuprikov P., Nikolenko S., Kogan K.
Network Integration of Parallel Metabolic and Transcriptional Data Reveals Metabolic Modules that Regulate Macrophage Polarization
March 2015
Abhishek K. Jha, Stanley Ching-Cheng Huang, Alexey Sergushichev, Vicky Lampropoulou, Yulia Ivanova, Ekaterina Loginicheva, Karina Chmielewski, Kelly M. Stewart, Juliet Ashall, Bart Everts, Edward J. Pearce, Edward M. Driggers, and Maxim N. Artyomov
BFS-Based Symmetry Breaking Predicates for DFA Identification
February 2015
Ulyantsev V., Zakirzyanov I., Shalyto A.
Energy Optimized Path Selection in Cluster Based Routing for Wireless Mesh Network
January 2015
Prakash, S.P.S., Nagabhushan, T.N., Krinkin, K.
Modification of the Method of Generation of Control Finite-State Machines with Continuous Actions on Training Examples
January 2015
Buzhinsky I., Kazakov S., Ulyantsev V., Tsarev F., Shalyto A.
View to view transformations in domain specific modeling
2015
Koznov, D.V., Larchik, E.V., Terekhov, A.N.
Fully Homomorphic Encryption for Secure Computations in Protected Database
2015
Darya Chechulina, Kirill Shatilov, Sergey Krendelev
Применение гомоморфного шифрования для построения криптосистемы с открытым ключом
2015
В.В. Егорова, Д.К. Чечулина, С.Ф. Кренделев
Советский суперкомпьютер К-340А и секретные вычисления.
2015
С.Ф. Кренделев
Implementation of the new REST API for open source LBS-platform Geo2Tag
2015
Zaslavskiy M., Mouromtsev D.
Fast and Safe Concrete Code Execution for Reinforcing Static Analysis and Verification
2015
M. Belyaev, V. Itsykson
Применение технологии иерархических параметризируемых шаблонов для автоматизированного исправления ошибок в программном коде
2015
А. Алексюк, В. Ицыксон
Эффективное исполнение программного кода в контролируемом окружении как способ улучшения результатов статического анализа и верификации программ
2015
М.А. Беляев, В.М. Ицыксон
Bi-objective optimization for approximate query evaluation
2015
Anna Yarygina and Boris Novikov
Query processing: Beyond sql and relations (tutorial)
2015
Boris Novikov
Visualization of Execution Paths for Concurrent Programs
2015
Marat Akhin, Andrei Eleshevich
Combinators and Type-Driven Transformers in Objective Caml
2015
Dmitry Boulytchev
On development of static analysis tools for string-embedded languages
2015
Marat Khabibullin, Andrei Ivanov, Semyon Grigorev
Generalized Table-based LL-parsing
2015
Ragozina Anastasiya, Grigorev Semyon
Towards Self-management in a Distributed Column-Store System
2015
Chernishev George
A parallel R-tree bulk-loading for shared-memory architecture
2015
Ilya Shkuratov and George Chernishev
Inferring Temporal Properties of Finite-State Machine Models with Genetic Programming
2015
Chivilikhin D., Ivanov I., Shalyto A.
Reconstruction of Function Block Logic using Metaheuristic Algorithm: Initial Explorations
2015
Chivilikhin D., Shalyto A., Patil S., Vyatkin V.
Software Defect Detection by Combining Bounded Model Checking and Approximations of Functions
December 2014
M. Akhin, M. Belyaev, V. Itsykson
POSTER: A switching hidden Markov model for bisulfite sequencing
November 2014
Sergei Lebedev, Dmitry Groshev
Geocontext extraction methods analysis for determining the new approach to automatic semantic places recognition
November 2014
Zaslavskiy M., Mouromtsev D.
POSTER: Detecting differential histone modification sites from ChIP-seq data via ranking
November 2014
Evgenii Kurbatckii
On several social network analysis problems
October 2014
Chernishev, G., Sevostyanov, V., Smirnov, K., and Shkuratov, I.
Implementation of IPv4 Reflection Scheme for Linux-Based Storage Systems
August 2014
K. Krinkin, M. Krinkin
Geo-Coded Environment for Integrated Smart Systems
February 2014
K. Krinkin and K. Yudenok
The Study of Multidimensional R-Tree-Based Index Scalability in Multicore Environment
2014
Smirnov Kirill, Chernishev George, Fedotovsky Pavel, Erokhin George, Cherednik Kirill
Polynomial-Time Optimal Pretty-Printing Combinators with Choice
2014
Anton Podkopaev, Dmitry Boulytchev
Operational semantics of Reflex
2014
Anureev I.S
Order-preserving encryption schemes based on arithmetic coding and matrices
2014
Usoltseva M., Krendelev S. and Yakovlev M
Investigation on Dependence of Stress Granules Formation on Microtubule Network Parameters and Stress Agent Concentration Through Numerical Model
2014
Shpilman A.A., Chudinova E.V., Lubitelev A., Ivanov P.A. Nadezhdina E.S.
Precise Garbage Collection for C++ with a Non-Cooperative Compiler
2014
Daniil Berezun, Dmitry Boulytchev
Using Quazi-3D Approach for Microtubule Self-Organization Model
2014
Primako E.M., Shpilman A.A.
Dependence of stress granule formation on microtubules supports the idea of stress granule specific “glue” arising in stress conditions
2014
Shpilman A., Shudinova E., Ivanov P., Nadezhdina E.
Solution for secure private data storage in a cloud. In Computer Science and Information Systems (FedCSIS)
2014
Kirill Shatilov, Vladislav Boiko, Sergey Krendelev, Diana Anisutina, Artem Sumaneev
String-embedded Language Support in Integrated Development Environment
2014
Semen Grigorev, Ekaterina Verbitskaia, Andrei Ivanov, Marina Polubelova, and Ekaterina Mavchun
Combining Exact And Metaheuristic Techniques For Learning Extended Finite-State Machines From Test Scenarios and Temporal Properties
2014
Chivilikhin D., Ulyantsev V., Shalyto A.
APERIODIC GENERATORS OF PSEUDORANDOM NUMBERS
2014
Krendelev S.F., Kuzmenok A.Yu.
Optimizing resource allocation for approximate real-time query processing
2014
Anna Yarygina and Boris Novikov
R-tree re-evaluation effort: a report
2014
Kirill Smirnov, George Chernishev, Pavel Fedotovsky, George Erokhin and Kirill Cherednik
To sort or not to sort: the evaluation of R-Tree and B+-Tree in transactional environment with ordered result requirement
2014
Fedotovsky P.V., Cherednik K.E., Chernishev G.A.
Source code and partial specifications analysis for automated generation of unit tests. Systems and Means of Informatics
2014
A. Andrianova and V. Itsykson
Visualization of parallel program execution for software behavior analysis and defect detection.
2014
A.Polovtcev, V. Itsykson, T. Krikun, T. Vert, A. Zozulya
Improving Static Analysis by Loop Unrolling on an Arbitrary Iteration
2014
М. Belyaev, М. Akhin, V. Itsykson
Tree Slicing: Finding Intertwined and Gapped Clones in One Simple Step
December 2013
M. Akhin, V. Itsykson
Lightweight Linux dynamic libraries profiling technique for embedded systems
October 2013
M. Zaslavskiy, E. Ryabikov, K. Krinkin
Geo-coding in Smart Environment: Integration Principles of Smart-M3 and Geo2Tag
August 2013
K. Krinkin, K.Yudenok
Process-oriented programming language for MCU-based automation
2013
Andrei S. Rozov and Vladimir E. Zyubin
Role of Microtubules in Formation of Stress Granules
2013
Chudinova E.M., Shpilman A.A., Lubitelev A.V., Ivanov P.A., Nadezhdina E.S.
To Sort or not to Sort: The Evaluation of R-Tree and B+-Tree in Transactional Environment with Ordered Result Set Requirement
2013
Chernishev G.
A performance analysis of semantic caching for XML query processing
2013
Boris Novikov, Alice Pigul, and Anna Yarygina
QReal: платформа визуального предметно-ориентированного моделирования
2013
Терехов А.Н., Брыксин Т.А., Литвинов Ю.В.
QReal DSM Platform: An Environment for Creation of Specific Visual IDEs
2013
Anastasiia Kuzenkova ; Anna Deripaska ; Timofey Bryksin ; Yurii Litvinov and Vladimir Polyakov
Подходы к заданию семантики интерпретации диаграмм, основанные на технологии преобразования графов
2013
Поляков Владимир, Брыксин Тимофей
Безопасные облачные вычисления с помощью гомоморфной криптографии
2013
Жиров А. О., Жирова О. В., Кренделев С. Ф.
Lock Manager for Own Products
2013
Sergey Egorov, Mikhail Koveshnikov, Nikita Arykov, Alexander Ilin, Sergey Bobrenok, Sergey Krendelev, Alexey Yuzhakov
New View on Block Encryption (Unpublished)
2013
Egorova V., Chechulina D., Krendelev S. F.
Practical fully homomorphic encryption over polynomial quotient rings
2013
Alexander Zhirov, Olga Zhirova, Sergey F. Krendelev
MuACOsm - A New Mutation-Based Ant Colony Optimization Algorithm for Learning Finite-State Machines
2013
Chivilikhin D., Ulyantsev V.
Solving Puzzles: Making Use of SMT Solvers Easy
2013
E. Zaychenko, V. Galuzin, V. Itsykson.
Прогнозирование характеристик программных проектов с помощью мета-моделирования.
2013
Ицыксон В.М., Баженов А.С.
GLR-based Abstract Parsing
2013
Semen Grigorev and Iakov Kirilenko
Using Dependencies to Improve Precision of Code Analysis
December 2012
M. I. Glukhikh, V. M. Itsykson, V. A. Tsesko
Process Mining Approach for Traffic Analysis in Wireless Mesh Networks
August 2012
K.Krinkin, E.Kalishenko, S.P.Shiva Prakash
An xml-algebra for efficient set-at-a-time execution
January 2012
M. Lukichev, B. Novikov, and P. Mehra
Learning Finite-State Machines with Ant Colony Optimization
2012
Chivilikhin D., Ulyantsev V.
Автоматизация реинжиниринга программного обеспечения при портировании на новые библиотеки с помощью частичных спецификаций.
2012
Ицыксон В.М.
Test-Based Extended Finite-State Machines Induction with Evolutionary Algorithms and Ant Colony Optimization
2012
Chivilikhin D., Ulyantsev V., Tsarev F.
Multistroke Mouse Gestures Recognition in QReal metaCASE Technology
2012
Osechkina M., Litvinov Y.V., Bryksin T.
Реализация уровня изоляции Read Committed для древовидных структур данных
2012
Федотовский П. В., Чернышев Г. А., Смирнов К. К.
ACM SIGMOD Programming Contest: an opportunity to study distinguished aspects of database systems and software engineering (in Russian)
2012
Kirill K. Smirnov, Georgiy A. Chernishev
Exploring influence and interests among users within social networks
2012
Jose Simoes, Julia Kiseleva, Elena Sivogolovko, and Boris Novikov
Querying big data
2012
Boris Novikov, Natalia Vassilieva, and Anna Yarygina
Molecules that Organize Cell Microtubule Systems and Why are They Doing It
2012
Brodsky I.B., Burakov A.V., Zhapparova O.N., Ivanov P.A., Fokin A.I., Chudinova E.M., Shanina A.N., Shpilman A.A., Nadezhdina E.S.
Автоматизированная трансформация программ при миграции на новые библиотеки
2012
Ицыксон В.М., Зозуля А.В.
Document Teaching to write software engineering documents with focus on document design by means of mind maps
2012
Koznov, D.V.
Seamless WLAN Off-load of 3G Networks
January 2011
N. Amelichev, M. Krinkin, K. Krinkin
Опыт проведения студенческих проектов на примере реализации metaCASE-системы QReal
2011
Брыксин Тимофей Александрович
Document Towards e-government services in Russia
2011
Koznov, D., Samochadin, A., Azarskov, A., Chevzova, J.
Mind maps merging in collaborative work
2011
Koznov, D., Larchik, E., Pliskin, M., Artamonov, N.
Process model of DSM solution development and evolution for small and medium-sized software companies
2011
Koznov, D.
Document Refactoring the documentation of software product lines
2011
Romanovsky, K., Koznov, D., Minchin, L.
Средства быстрой разработки предметно-ориентированных решений в metaCASE-средстве QReal
2011
Кузенкова Анастасия Сергеевна, Дерипаска Анна Олеговна, Таран Кирилл Сергеевич, Подкопаев Антон Викторович, Литвинов Юрий Викторович, Брыксин Тимофей Александрович
Программная инженерия. Обеспечение качества программных средств методами статического анализа.
2011
Глухих М.И., Ицыксон В.М.
Обнаружение клонов исходного кода: теория и практика
2011
Ахин М.Х., Ицыксон В.М.
Формализм для описания частичных спецификаций компонентов программного окружения
2011
Ицыксон В.М., Зозуля А.В.
On two methods of star query execution (in Russian)
2011
Kirill Smirnov, George Chernishev
Benchmarking Inter and Intra Operator Parallelism on Contemporary Desktop Hardware
2011
Smirnov K., Chernishev G.
Empirical study of parallel SQL query execution
2011
Smirnov K., Chernishev G.
Networking and multithreading architectural aspects of distributed DBMS (in Russian)
2011
Smirnov K. K., Chernishev G. A.
Tools for Rapid Development of Domain-Specific Solutions In QReal Metacase System (In Russian)
2011
A.Kuzenkova, A.Deripaska, K.Taran, A.Podkopaev, Yu.Litvinov, T.Bryksin
Efficiently Scrapping Boilerplate Code in OCaml
2011
Dmitry Boulytchev, Sergey Mechtaev
Теоретическая механика. Тестирование базовых знаний
October 2010
В. А. Диевский, А. В. Диевский
Using Process-Oriented Programming in LabVIEW
June 2010
Zyubin V. E
Source code modification technology based on parameterized code patterns
2010
Itsykson V., Timofeev D.
Distributed Database Query Engine
2010
Kirill Smirnov, George Chernishev
Язык спецификаций поведения программных компонентов.
2010
Ицыксон В.М., Глухих М.И.
ScienceDirect goes social: a social network for scientists integrated with online digital library
2010
George Chernishev, Kirill Smirnov
Автоматическое обнаружение дефектов в программных системах на языке C на основе статического анализа
2010
Ицыксон В.М., Моисеев М.Ю., Ахин М.Х., Захаров А.В., Цесько В.А.
Hardware Description Language Based on Message Passing and Implicit Pipelining
2010
Dmitry Boulytchev, Oleg Medvedev
Microtubules govern stress granule mobility and dynamics, Biochimia Biophysica Acta
2010
Nadezhdina E.S., Lomakin A.J., Shpilman A.A., Chudinova E.M., Ivanov P.A.
Non-Abelian associated orders of wildly ramified extensions
October 2009
М. В. Бондарко, А. В. Диевский
Алгоритмы анализа указателей для обнаружения дефектов в исходном коде программ
2009
Ицыксон В.М., Моисеев, М.Ю., Ахин М.Х., Захаров А.В., Цесько В.А.
Исследование средств построения моделей исходного кода программ на языках C и C++.
2009
Ицыксон В.М., Глухих М.И., Зозуля А.В., Власовских А.С.
A knowledge management approach for industrial model-based testing
2009
Koznov, D., Malinov, V., Sokhransky, E., Novikova, M.
Automatic Defect Detection in Industrial C/C++ Software
2009
Itsykson, V. Moiseev, M. Tsesko, V. Zakharov, A.
Simple Computer Model Shows Posibility of Non-Motor Microtubule Binded Gradient Transport
2009
Shpilman A.
Алгоритм интервального анализа для обнаружения дефектов в исходном коде программ
2009
Ицыксон В.М., Моисеев М.Ю., Цесько В.А., Захаров А.В., Ахин М.Х.
Proceedings of the 12th International Conference on Extending Database Technology: Advances in Database Technology
2009
M. Kersten, B. Novikov, and J. Teubner, editors.
A Regression Test Selection Technique Based on Incremental Dynamic Analysis
2009
M. Akhin, V. Itsykson
Information Complexity Hypothesis: a Conceptual Framework for Reasoning on Pragmatics Issues
July 2008
Zyubin V. E
Исследование систем автоматизации обнаружения дефектов в исходном коде программного обеспечения
2008
Ицыксон В.М., Моисеев М.Ю., Цесько В.А., Карпенко А.В.
Temporal databases: From theory to applications
2008
B. Novikov and E. Gorshkova
DocLine: A method for software product lines documentation development
2008
Koznov, D.V., Romanovsky, K.Yu.
Computer-supported collaborative learning with mind-maps
2008
Koznov, D., Pliskin, M.
Imitational Modeling of Cytoskeleton: Dynamics, Differentiation, Active Transport and Membrane Interactions
2008
Shpilman A., Nadezhdina E.S.
Автоматическое обнаружение дефектов программных систем на основе метода проверки модели
2008
Ицыксон В.М., Захаров А.В., Ахин М.Х., Мяснов А.В.
In silico vs in vitro: Mimitation v1.0 program allows to predic morphological and dynamic changes of tubulin cytoskeleton caused by microtubule stabilization
2008
Shpilman A.A, Nadezhdina E.S.
Disturbance of the Radial System of Interphase Microtubules in the Presence of Excess Serum in Cell Culture Medium
2008
E.V. Usova, A.V.Burakov, A.A. Shpilman, E.S. Nadezhdina
Hyper-automaton: A Model of Control Algorithms
2007
Vladimir E. Zyubin
Computational Stochastic Modeling of Cellular Microtubule Network
2006
Shpilman A.A., Nadezhdina E.S.
Stochastic Computer Model of the Cell Microtubule Dynamics
2006
А.А. Shpil’man and E.S. Nadezhdina
Stochastic Modeling of Microtubule Systems
2006
Shpilman A.A.
BURS-based Instruction Set Selection
2006
Dmitry Boulytchev
REAL-IT: Model-Based User Interface Development Environment
2005
A.Ivanov, D.Koznov
Cooking Raw Types in Java
2005
Dmitry Boulytchev, Eugene Vigdorchik
Macroarchitecture Description for Hardware/Software Codesign (in Russian)
2004
Dmitry Boulytchev
Macroarchitecture Description Language for Hardware/Software Codesign (in Russian)
2004
Dmitry Boulytchev
Towards collaborative video authoring
2003
Boris Novikov and Oleg Proskurnin
OCL-based automated validation method for UML specifications
2003
Ol'khovich, L., Koznov, D.V.
On Project-Specific Languages and Their Application in Reengineering
2002
Dmitry Boulytchev, Dmitry Koznov, Andrey A. Terekhov
An Empirical Study of Retargetable Compilers
2001
Dmitry Boulytchev, Dmitry Lomov
Document A method for recovery and maintenance of software architecture
2001
Koznov, D., Romanovsky, K., Nikitin, A.
An analysis of alternative methods for storing semistructured data in relations
September 2000
I. Nekrestyanov, B. Novikov, and E. Pavlova.
Pattern-matching and Identification of Structural Types in PL/1 (in Russian)
2000
Dmitry Boulytchev
Digital libraries as a new class of information systems
2000
M. Kogalovsky and B. Novikov
RTST++: Methodology and a CASE tool for the development of information systems and software for real-time systems
1999
Terekhov, A.N., Romanovskii, K.Yu., Koznov, D.V., Dolgov, P.S., Ivanov, A.N.
An Automated Control System for a Silicon Single-Crystal Growth Furnace
1996
Bulavskij D., Zyubin V., Karlson N., Krivoruchko V., Mironov V