Publications
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
PyNose: A Test Smell Detector For Python
November 2021
Tongjie Wang, Yaroslav Golubev, Oleg Smirnov, Jiawei Li, Timofey Bryksin, and Iftekhar Ahmed
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
Infrastructure in Code: Towards Developer-Friendly Cloud Applications
November 2021
Vladislav Tankov, Dmitriy Valchuk, Yaroslav Golubev, and Timofey Bryksin
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
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
SPAN and JBR: analysis and visualization toolkit for peak calling
August 2021
Oleg Shpynov , Roman Chernyatchik, Petr Tsurinov, Maxim Artyomov
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
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
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
Semi-supervised peak calling with SPAN and JBR Genome Browser
May 2021
Oleg Shpynov, Aleksei Dievskii, Roman Chernyatchik, Petr Tsurinov, Maxim N Artyomov
PSIMiner: A Tool for Mining Rich Abstract Syntax Trees from Code
May 2021
Egor Spirin, Egor Bogomolov, Vladimir Kovalenko, and Timofey Bryksin
First-Order Reasoning and Efficient Semi-Algebraic Proofs
May 2021
Fedor Part, Neil Thapen and Iddo Tzameret
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
Changes from the Trenches: Should We Automate Them?
May 2021
Yaroslav Golubev, Jiawei Li, Viacheslav Bushev, Timofey Bryksin, and Iftekhar Ahmed
An Empirical Study of Partial Deduction for MiniKanren
March 2021
Ekaterina Verbitskaia, Daniil Berezun, Dmitry Boulytchev
Multi-Threshold Token-Based Code Clone Detection
March 2021
Yaroslav Golubev, Viktor Poletansky, Nikita Povarov, and Timofey Bryksin
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
TNM: A Tool for Mining of Socio-Technical Data from Git Repositories
March 2021
Nikolai Sviridov, Mikhail Evtikhiev, Vladimir Kovalenko
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
Mechanized Theory of Event Structures: A Case of Parallel Register Machine
2021
Vladimir Gladstein, Dmitrii Mikhailovskii, Evgenii Moiseenko, Anton Trunov
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
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
Automatic generation of reviews of scientific papers
December 2020
Anna Nikiforovskaya, Nikolai Kapralov, Anna Vlasova, Oleg Shpynov, Aleksei Shpilman
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
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
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
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
Prototype of a segmented scintillator detector for particle flux measurements on spacecraft
September 2020
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
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
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.
An Ontology-based Approach to Support Formal Verification of Concurrent Systems
August 2020
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
Recursive Expressions for SPARQL Property Paths
August 2020
Ciro Medeiros, Umberto Costa, Semyon Grigorev, Martin A. Musicante
Verifying Reflex-software with SPIN: Hand Dryer Case Study
July 2020
Tatiana V. Liakh, Natalia O. Garanina, Igor S. Anureev, Vladimir E. Zyubin
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
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
Reconciling Event Structures with Modern Multiprocessors
July 2020
Evgenii Moiseenko, Anton Podkopaev, Ori Lahav, Orestis Melkonian, Viktor Vafeiadis
Recommendation of Move Method Refactoring Using Path-Based Representation of Code
June 2020
Zarina Kurbatova, Ivan Veselov, Yaroslav Golubev and Timofey Bryksin
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
Building Implicit Vector Representations of Individual Coding Style
June 2020
Vladimir Kovalenko, Egor Bogomolov, Timofey Bryksin and Alberto Bacchelli
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
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
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.
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
POSTER: Restricted memory-friendly lock-free bounded queues
February 2020
Nikita Koval, Vitaly Aksenov
POSTER: Testing concurrency on the JVM with Lincheck
February 2020
Nikita Koval, Maria Sokolova, Alexander Fedorov, Dan Alistarh, Dmitry Tsitelov
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
Resolution with Counting: Dag-Like Lower Bounds and Different Moduli
January 2020
Fedor Part and Iddo Tzameret
Making DBMSes Dependency-Aware
January 2020
Compilation of OCaml memory model into Power (In Russian)
December 2019
Egor Namakonov, Anton Podkopaev
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.
Lost in Conversation: A Conversational Agent Based on the Transformer and Transfer Learning
November 2019
Sergey Golovanov, Alexander Tselousov, Rauf Kurbanov, Sergey I. Nikolenko
Improved Architecture of Artificial Neural Network for Secondary Structure Analysis
November 2019
Semyon Grigorev and Polina Lunina
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
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
End-to-end Deep Object Tracking with Circular Loss Function for Rotated Bounding Box
October 2019
Vladislav Belyaev, Aleksandra Malysheva, 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
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
Smart Caching for Efficient Functional Dependency Discovery
September 2019
Anastasia Birillo and Nikita Bobrov
Distributed Classification of Text Streams: Limitations, Challenges, and Solutions
September 2019
Artem Trofimov, Nikita Sokolov, Mikhail Shavkunov, Igor Kuralenok, and Boris Novikov
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
Delivery, consistency, and determinism: rethinking guarantees in distributed stream processing
July 2019
Artem Trofimov, Igor E. Kuralenok, Nikita Marshalkin, Boris Novikov
On Satisfiability of Nominal Type Systems With Variance
July 2019
A. Misonizhnik, D. Mordvinov
Fitness comparison by statistical testing in construction of SAT-based guess-and-determine cryptographic attacks
July 2019
Artem Pavlenko, Maxim Buzdalov, Vladimir Ulyantsev
Log-based Reading Speed Prediction: a Case Study on War and Peace
July 2019
Igor Tukh, Pavel Braslavski, and Kseniya Buraya
Lower Bounds for the Happy Coloring Problems
July 2019
Ivan Bliznets and Danil Sagunov
Large-scale transfer learning for natural language generation
July 2019
Sergey Golovanov, Rauf Kurbanov, Sergey Nikolenko, Kyryl Truskovskyi, Alexander Tselousov, Thomas Wolf
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
Word embedding in form of symmetric and skew-symmetric operator
June 2019
Ekaterina Koshchenko, Igor Kuralenok
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
Automatic Classification of Error Types in Solutions to Programming Assignments at Online Learning Platform
June 2019
Artyom Lobanov, Timofey Bryksin, and Alexey Shpilman
Smart Contract Design Meets State Machine Synthesis: Case Studies
June 2019
Dmitrii Suvorov, Vladimir Ulyantsev
Statistical time analysis for regular events with high count rate
June 2019
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.
Bioinformatics Institute 2018/19 project abstracts
June 2019
O. Shpynov, A. Dievskii, P. Tsurinov, et al
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
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
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
Evolutionary Computation Techniques for Constructing SAT-Based Attacks in Algebraic Cryptanalysis
April 2019
Artem Pavlenko, Alexander Semenov, Vladimir Ulyantsev
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
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.
A quantitative study of two matrix clustering algorithms
April 2019
Alexander Slesarev, Viacheslav Galaktionov, Nikita Bobrov, George Chernishev
Designing a DBMS development course with automatic assignment evaluation
April 2019
Viacheslav Galaktionov, George Chernishev
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
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
Function block finite-state model identification using SAT and CSP solvers
January 2019
Daniil Chivilikhin, Vladimir Ulyantsev, Anatoly Shalyto, Valeriy Vyatkin
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
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/
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.
Solving Target Set Selection with Bounded Thresholds Faster than 2^n
January 2019
Ivan Bliznets and Danil Sagunov
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
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
Designing Proton and Electron Detector for Monitoring Solar Cosmic Rays
January 2019
Организация дисциплины "Введение в программную инженерию" как способ комплексного погружения студентов в специальность
2019
Берленко Т.А., Заславский М.М, Чайка К.В., Кринкин К.В.
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
Certified Semantics for miniKanren
2019
Constructive Negation for MiniKanren
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
Блеес Э.И., Заславский М.М.
GENOMIC DATA ACCESS SERVICE
2019
Kalinin Vladislav Il'ich, Cherniatchik Roman Igorevich
Relational Interpreters for Search Problems
2019
Constructing verification-oriented domain-specific process ontologies
2019
Garanina N.O., Anureev I.S., Zyubin V.E
ReduKtor: How We Stopped Worrying About Bugs in Kotlin Compiler
2019
Daniil Stepanov, Marat Akhin, Mikhail Belyaev
In Search of the Fastest Concurrent Union-Find Algorithm
2019
Dan Alistarh, Alexander Fedorov, Nikita Koval
Efficiency Guarantees for Parallel Incremental Algorithms under Relaxed Schedulers
2019
Dan Alistarh, Giorgi Nadiradze, Nikita Koval
Applying Model Checking Approach with Floating Point Arithmetic for Verification of Air Collision Avoidance Maneuver Hybrid Model
2019
Scalable FIFO Channels for Programming via Communicating Sequential Processes
2019
Nikita Koval, Dan Alistarh, Roman Elizarov
POSTER: Lock-free channels for programming via communicating sequential processes
2019
Nikita Koval, Dan Alistarh, Roman Elizarov
Path planning for UAV search using growing area algorithm and clustering
2019
Alexander Fedorov
A Survey of Smart Contract Safety and Programming Languages
2019
A. Tyurin, I. Tyulyandin, V. Maltsev, I. Kirilenko, and D. Berezun
Measurements with a TRISTAN prototype detector system at the "troitsk nu-mass" experiment in integral and differential mode
2019
Direct Search for keV-Sterile Neutrino in Nuclear Decay. Troitsk Nu-Mass (Scientific Summary)
2019
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
A comparative evaluation of machine learning methods for robot navigation through human crowds
December 2018
A. Gaydashenko, D. Kudenko, A. 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
Deep Multi-Agent Reinforcement Learning with Relevance Graphs
December 2018
Aleksandra Malysheva, Tegg Taekyong Sung, Chae-Bong Sohn, Daniel Kudenko, Aleksei Shpilman
Formalism and Language Tools for Specification of the Semantics of Software Libraries
December 2018
V. Itsykson.
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
Upper and Lower Bounds for Different Parameterizations of (n,3)-MAXSAT
November 2018
Tatiana Belova and Ivan Bliznets
Continuous Gesture Recognition from sEMG Sensor Data with Recurrent Neural Networks and Adversarial Domain Adaptation
November 2018
I. Sosin, D. Kudenko, A. Shpilman
Learning to Run with Potential-Based Reward Shaping and Demonstrations from Video Data
November 2018
A. Malysheva, D. Kudenko, A. Shpilman
Rainbow World Models
November 2018
V. Chockalingam, T. Sung, F. Behbahani, R. Gargeya, A. Sivanantham, A. Malysheva
PosDB — прототип распределенной дисковой колоночной СУБД.
November 2018
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
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
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
An Ontology of Specification Patterns for Verification of Concurrent Systems
September 2018
Garanina N. O., Zyubin V., Lyakh T., Gorlatch S
Does Reviewer Recommendation Help Developers?
September 2018
Vladimir Kovalenko, Nava Tintarev, Evgeny Pasynkov, Christian Bird, and Alberto Bacchelli
Deterministic Model for Distributed Speculative Stream Processing
September 2018
Igor Kuralenok, Artem Trofimov, Nikita Marshalkin, Boris Novikov
Automatic Recommendation of Move Method Refactorings Using Clustering Ensembles
September 2018
Timofey Bryksin, Evgenii Novozhilov, and Aleksei Shpilman
Personal Names Popularity Estimation and its Application to Record Linkage
September 2018
Ksenia Zhagorina, Pavel Braslavski, Vladimir Gusev
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
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
Mining File Histories: Should We Consider Branches?
September 2018
Vladimir Kovalenko, Fabio Palomba, and Alberto Bacchelli
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
Extended Abstract: F# OpenCL Type Provider
September 2018
Kirill Smirenko, Semyon Grigorev
Extended abstract at TyDe 2018 (at ICFP).
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.
Consistency Maintenance in Distributed Analytical Stream Processing
September 2018
Artem Trofimov
Relational Programming with memoization and negation (In Russian)
August 2018
E. Moiseenko, A. Podkopaev
POSTER: Semi-supervised solution for peak calling
July 2018
Oleg Shpynov, Aleksei Dievskii, Roman Chernyatchik, Evgeny Kurbatsky, Petr Tsurinov, Maxim N. Artyomov
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
Detecting Anomalies in Kotlin Code
July 2018
Timofey Bryksin, Victor Petukhov, Kirill Smirenko, and Nikita Povarov
Learning to Run with Reward Shaping from Video Data
July 2018
A. Malysheva, A. Shpilman, D. Kudenko
FlameStream: Model and Runtime for Distributed Stream Processing
June 2018
Igor Kuralenok, Artem Trofimov, Nikita Marshalkin, Boris Novikov
Context-free path querying by matrix multiplication
June 2018
Rustam Azimov, Semyon Grigorev
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
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
Evaluation of Modern Laser Based Indoor SLAM Algorithms
May 2018
Kirill Krinkin, Anton Filatov, Artyom Filatov, A. Huletski, D. Kartashov
Code Review for Newcomers: Is It Different?
May 2018
Vladimir Kovalenko and Alberto Bacchelli
Data Distribution Services Performance Evaluation Framework
May 2018
K. Krinkin, An. Filatov, Ar. Filatov, O. Kurishev, A.Lyanguzov
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
Morita equivalences between algebraic dependent type theories [Preprint]
April 2018
Valery Isaev
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
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
DataForge: Modular platform for data storage and analysis
January 2018
Processing of higher count rates in Troitsk nu-mass experiment
January 2018
Application of Turchin's method of statistical regularization
January 2018
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
Behavioural realism and the activation of aggressive concepts in violent video games
January 2018
D. Zendle, D. Kudenko, P. Cairns
PosDB: An Architecture Overview
January 2018
George Chernishev, Viacheslav Galaktionov, Valentin Grigorev, Evgeniy Klyuchikov, Kirill Smirnov
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
Hardness of Approximation for H-free Edge Modification Problems
2018
Ivan Bliznets, Marek Cygan, Pawel Komosa, Michal Pilipczuk
SMT-based analysis of constraints on .NET types
2018
Aleksandr Misonizhnik and Dmitry Mordvinov
Improving Refutational Completeness of Relational Search via Divergence Test
2018
Subexponential Parameterized Algorithm for Interval Completion
2018
Ivan Bliznets, Fedor V. Fomin, Marcin Pilipczuk, Michal Pilipczuk
Generator of 2D laser scan based datasets for ROS
2018
Arthur Huletski, Dmitriy Kartashov and Kirill Krinkin
On fibrant objects in model categories
2018
Valery Isaev
Архитектура платформы для создания мобильных приложений с OUTDOOR-квестами
2018
Мокрецов Р. М., Заславский М. М.
iSynchronizer: A Tool for Extracting, Integration and Analysis of MovieLens and IMDb Datasets
2018
N. Al-Roussais, D. Kudenko
Методы сравнения качества 2D-SLAM-алгоритмов
2018
Ар. Ю. Филатов, Ан. Ю. Филатов, К. В. Кринкин, Б. Чен, Д. Молодан
Сравнение современных лазерных алгоритмов SLAM
2018
Ар. Ю. Филатов, Ан. Ю. Филатов, А. Т. Гулецкий, Д. А. Карташов, К. В. Кринкин
Poster: Duplicate finder toolkit
2018
D.Luciv, D.Koznov, G.Chernishev, H.A. Basit, K.Romanovsky, A.Terekhov
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
Reflex Language: a Practical Notation for Cyber-Physical Systems
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
Using Uniform State Abstractions For Reward Shaping With Reinforcement Learning
2018
J. Burden, D. Kudenko
Обзор динамических методов восстановления частичных спецификаций программных библиотек на основе анализа программных проектов
2018
Егорова И.С., Ицыксон В.М.
LibSL — язык спецификации компонентов программного обеспечения
2018
Ицыксон В.М.
Автоматизация проверки корректности использования программных библиотек
2018
М. Гусев, В. Ицыксон
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
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
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
Promising Compilation to ARMv8.3 (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
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.
Model structures on categories of models of type theories
September 2017
Valery Isaev
VinySLAM: An indoor SLAM method for low-cost platforms based on the Transferable Belief Model
September 2017
Arthur Huletski; Dmitriy Kartashov; Kirill Krinkin
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
Borealis Bounded Model Checker: The Coming of Age Story
September 2017
Marat Akhin, Mikhail Belyaev, Vladimir Itsykson
2D SLAM Quality Evaluation Methods
August 2017
An. Filatov, Ar. Filatov, K. Krinkin, B. Chen, D. Molodan
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
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
Evaluation of Heavy-tailed Mutation Operator on Maximum Flow Test Generation Problem
July 2017
Mironovich V., Buzdalov M.
CSP-based inference of function block finite-state models from execution traces
July 2017
Daniil Chivilikhin, Vladimir Ulyantsev, Anatoly Shalyto, Valeriy Vyatkin
Plant trace generation for formal plant model inference: methods and case study
July 2017
Dmitry Avdyukhin, Daniil Chivilikhin, Georgiy Korneev, Vladimir Ulyantsev, Anatoly Shalyto
Promising Compilation to ARMv8 POP
June 2017
Anton Podkopaev, Ori Lahav, Viktor Vafeiadis
PosDB: a Distributed Column-Store Engine
June 2017
George Chernishev, Viacheslav Galaktionov, Valentin Grigorev, Evgeniy Klyuchikov, Kirill Smirnov
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 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
A study of PosDB Performance in a Distributed Environment
April 2017
George Chernishev, Vyacheslav Galaktionov, Valentin Grigorev, Evgeniy Klyuchikov, Kirill Smirnov
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
An evaluation of TANE algorithm for functional dependency detection
2017
Nikita Bobrov, George Chernishev, Dmitry Grigoriev, and Boris Novikov
The design of an adaptive column-store system
2017
George Chernishev
TRIK Studio: Technical Introduction
2017
Dmitry Mordvinov, Yurii Litvinov, Timofey Bryksin
Synchronizing constrained horn clauses
2017
Mordvinov, Dmitry, and Grigory Fedyukovich
Verifying Safety of Functional Programs with Rosette/Unbound
2017
Dmitry Mordvinov and Grigory Fedyukovich
TRIK studio: Technical introduction
2017
Mordvinov Dmitry, Yurii Litvinov, and Timofey Bryksin
Chaordic Learning: A Case Study
2017
Stephan Krusche, Irina Camilleri, Andreas Seitz, Cecil Wöbker, Kirill Krinkin and Bernd Bruegge
Workload-independent data-driven vertical partitioning
2017
Nikita Bobrov, George Chernishev, and Boris Novikov
Automated Semantics-Driven Source Code Migration: A Pilot Prototype
2017
Artyom Aleksyuk, Vladimir Itsykson
Разработка аспектно-ориентированного расширения для языка Kotlin
2017
Борис Скрипаль, Владимир Ицыксон
System for Automatic Checking of Student Solutions for Linux Programming MOOCs
2017
M. Zaslavskiy, M. Kanushin
How to make visual modeling more attractive to software developers
2017
Andrey Terekhov, Timofey Bryksin, Yurii Litvinov
Untyped Lambda-Calculus Normalization by Traversals (in Russian)
2017
Berezun D.A.
Complete Head Linear Reduction (in Russian)
2017
Berezun D.A.
Метод обработки в реальном времени открытых данных, содержащих гео-контекстную разметку
2017
Заславский М. М., Баландин С. И., Блеес Э. И.
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
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
Distributed Analysis of the BMC Kind: Making It Fit the Tornado Supercomputer
2017
Azat Abdullin, Daniil Stepanov, Marat Akhin
Message from the editors
2017
G. Chernishev, M. Akhin, B. Novikov, and V. Itsykson
Implementing common table expressions for MariaDB
2017
G. Shalygina and B. Novikov
Обзор статических методов восстановления частичных спецификаций программных библиотек на основе анализа программных проектов
2017
И.С. Егорова , В.М. Ицыксон.
Семантически-ориентированная миграция Java-программ: опыт практического применения
2017
Алексюк А.О., Ицыксон В.М.
Формализм и языковые инструменты для описания семантики программных библиотек
December 2016
Ицыксон В.М.
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
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
Matrix Clustering Algorithms for Vertical Partitioning Problem: an Initial Performance Study
October 2016
Vyacheslav Galaktionov, George Chernishev, Boris Novikov, and Dmitry Grigoriev
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
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.
A Non-repetitive Logic for Verification of Dynamic Memory with Explicit Heap Conjunction and Disjunction
October 2016
Haberland R., Krinkin K.
A SLAM research framework for ROS
October 2016
A. Huletski, D. Kartashov
The SLAM Constructor Framework for ROS [Poster presentation]
October 2016
A. Huletski, D. Kartashov, K. Krinkin
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
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
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.
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
The Heaviside step function approximation with Taylor polynomial of exponent
April 2016
A. Kolpakov, Ar. Filatov, An. Filatov
Abstract predicate entailment over points-to heaplets is syntax recognition
April 2016
Haberland R., Krinkin K., Ivanovskiy S.
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.
Database Migration Project: Bridging Industry-Academia Gap
2016
George Chernishev, Viacheslav Galaktionov, Valentin Grigorev, Evgeniy Klyuchikov, Kirill Smirnov, Andrey Terekhov
The formalism for semantics specification of software libraries
2016
V. Itsykson
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
Discovering geo-magnetic anomalies: A clustering-based approach
2016
E. Volzhina, A. Chudin, B. Novikov, N. Grafeeva, and E. Mikhailova
Метод импорта и обработки открытых данных в LBS-платформе
2016
Заславский М. М., Баландин С. И.
On fuzzy repetitions detection in documentation reuse
2016
Lucive, D.V., Koznov, D.V., Basit, H.A., Terekhov, A.N.
Adaptive techniques for extracting mental activity phases from heart beat rate streams
2016
Alina Dubatovka, Elena Mikhailova, Mikhail Zotov, and Boris Novikov
Incremental Garbage Collection Library for C++ (in Russian)
2016
E. Moiseenko, D. Berezun
Working Notes: Compiling ULC to Lower-level Code by Game Semantics and Partial Evaluation
2016
Daniil Berezun and Neil D. Jones
K-means Split Revisited: Well-grounded Approach and Experimental Evaluation
2016
Valentin Grigorev and George Chernishev
Clone detection in reuse of software technical documentation
2016
Koznov, D., Luciv, D., Basit, H.A., Lieh, O.E., Smirnov, M.
Message from the ICDE 2016 program committee and general chairs
2016
Mei Hsu, Alfons Kemper, Timos K. Sellis, Boris Novikov, and Eljas Soisalon-Soininen
Lexical Analysis of Dynamically Generated String Expressions
2016
Marina Polubelova, Semyon Grigorev
Survey on formal methods in robotics
2016
D. A. Mordvinov, Yu. V. Litvinov
Random Model Sampling: Making Craig Interpolation Work When It Should Not
December 2015
Marat Akhin, Sam Kolton, Vladimir 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
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
A Language-Independent Code Formatting by Syntactic Matching and Templates (In Russian)
October 2015
A.Podkopaev, A.Korovianskii, I.Ozernykh
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
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.
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
Query processing: Beyond sql and relations (tutorial)
2015
Boris Novikov
Bi-objective optimization for approximate query evaluation
2015
Anna Yarygina and Boris Novikov
Советский суперкомпьютер К-340А и секретные вычисления.
2015
С.Ф. Кренделев
Применение гомоморфного шифрования для построения криптосистемы с открытым ключом
2015
В.В. Егорова, Д.К. Чечулина, С.Ф. Кренделев
Fully Homomorphic Encryption for Secure Computations in Protected Database
2015
Darya Chechulina, Kirill Shatilov, Sergey Krendelev
Implementation of the new REST API for open source LBS-platform Geo2Tag
2015
Zaslavskiy M., Mouromtsev D.
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.
On development of static analysis tools for string-embedded languages
2015
Marat Khabibullin, Andrei Ivanov, Semyon Grigorev
Visualization of Execution Paths for Concurrent Programs
2015
Marat Akhin, Andrei Eleshevich
Fast and Safe Concrete Code Execution for Reinforcing Static Analysis and Verification
2015
M. Belyaev, V. Itsykson
Применение технологии иерархических параметризируемых шаблонов для автоматизированного исправления ошибок в программном коде
2015
А. Алексюк, В. Ицыксон
Эффективное исполнение программного кода в контролируемом окружении как способ улучшения результатов статического анализа и верификации программ
2015
М.А. Беляев, В.М. Ицыксон
Combinators and Type-Driven Transformers in Objective Caml
2015
Dmitry Boulytchev
Generalized Table-based LL-parsing
2015
Ragozina Anastasiya, Grigorev Semyon
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
POSTER: Detecting differential histone modification sites from ChIP-seq data via ranking
November 2014
Evgenii Kurbatckii
Geocontext extraction methods analysis for determining the new approach to automatic semantic places recognition
November 2014
Zaslavskiy M., Mouromtsev D.
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
Improving Static Analysis by Loop Unrolling on an Arbitrary Iteration
2014
М. Belyaev, М. Akhin, 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
Combining Exact And Metaheuristic Techniques For Learning Extended Finite-State Machines From Test Scenarios and Temporal Properties
2014
Chivilikhin D., Ulyantsev V., Shalyto A.
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.
String-embedded Language Support in Integrated Development Environment
2014
Semen Grigorev, Ekaterina Verbitskaia, Andrei Ivanov, Marina Polubelova, and Ekaterina Mavchun
Precise Garbage Collection for C++ with a Non-Cooperative Compiler
2014
Daniil Berezun, Dmitry Boulytchev
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.
R-tree re-evaluation effort: a report
2014
Kirill Smirnov, George Chernishev, Pavel Fedotovsky, George Erokhin and Kirill Cherednik
The Study of Multidimensional R-Tree-Based Index Scalability in Multicore Environment
2014
Smirnov Kirill, Chernishev George, Fedotovsky Pavel, Erokhin George, Cherednik Kirill
APERIODIC GENERATORS OF PSEUDORANDOM NUMBERS
2014
Krendelev S.F., Kuzmenok A.Yu.
Order-preserving encryption schemes based on arithmetic coding and matrices
2014
Usoltseva M., Krendelev S. and Yakovlev M
Source code and partial specifications analysis for automated generation of unit tests. Systems and Means of Informatics
2014
A. Andrianova and V. Itsykson
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
Polynomial-Time Optimal Pretty-Printing Combinators with Choice
2014
Anton Podkopaev, Dmitry Boulytchev
Operational semantics of Reflex
2014
Anureev I.S
Optimizing resource allocation for approximate real-time query processing
2014
Anna Yarygina and Boris Novikov
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.
Using Quazi-3D Approach for Microtubule Self-Organization Model
2014
Primako E.M., Shpilman A.A.
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
Solving Puzzles: Making Use of SMT Solvers Easy
2013
E. Zaychenko, V. Galuzin, V. Itsykson.
GLR-based Abstract Parsing
2013
Semen Grigorev and Iakov Kirilenko
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.
Безопасные облачные вычисления с помощью гомоморфной криптографии
2013
Жиров А. О., Жирова О. В., Кренделев С. Ф.
Lock Manager for Own Products
2013
Sergey Egorov, Mikhail Koveshnikov, Nikita Arykov, Alexander Ilin, Sergey Bobrenok, Sergey Krendelev, Alexey Yuzhakov
A performance analysis of semantic caching for XML query processing
2013
Boris Novikov, Alice Pigul, and Anna Yarygina
MuACOsm - A New Mutation-Based Ant Colony Optimization Algorithm for Learning Finite-State Machines
2013
Chivilikhin D., Ulyantsev V.
Practical fully homomorphic encryption over polynomial quotient rings
2013
Alexander Zhirov, Olga Zhirova, Sergey F. Krendelev
Подходы к заданию семантики интерпретации диаграмм, основанные на технологии преобразования графов
2013
Поляков Владимир, Брыксин Тимофей
QReal DSM Platform: An Environment for Creation of Specific Visual IDEs
2013
Anastasiia Kuzenkova ; Anna Deripaska ; Timofey Bryksin ; Yurii Litvinov and Vladimir Polyakov
Process-oriented programming language for MCU-based automation
2013
Andrei S. Rozov and Vladimir E. Zyubin
QReal: платформа визуального предметно-ориентированного моделирования
2013
Терехов А.Н., Брыксин Т.А., Литвинов Ю.В.
Role of Microtubules in Formation of Stress Granules
2013
Chudinova E.M., Shpilman A.A., Lubitelev A.V., Ivanov P.A., Nadezhdina E.S.
Прогнозирование характеристик программных проектов с помощью мета-моделирования.
2013
Ицыксон В.М., Баженов А.С.
New View on Block Encryption (Unpublished)
2013
Egorova V., Chechulina D., Krendelev S. F.
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
Test-Based Extended Finite-State Machines Induction with Evolutionary Algorithms and Ant Colony Optimization
2012
Chivilikhin D., Ulyantsev V., Tsarev F.
Exploring influence and interests among users within social networks
2012
Jose Simoes, Julia Kiseleva, Elena Sivogolovko, and Boris Novikov
Multistroke Mouse Gestures Recognition in QReal metaCASE Technology
2012
Osechkina M., Litvinov Y.V., Bryksin T.
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.
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
Автоматизированная трансформация программ при миграции на новые библиотеки
2012
Ицыксон В.М., Зозуля А.В.
Document Teaching to write software engineering documents with focus on document design by means of mind maps
2012
Koznov, D.V.
Реализация уровня изоляции Read Committed для древовидных структур данных
2012
Федотовский П. В., Чернышев Г. А., Смирнов К. К.
Автоматизация реинжиниринга программного обеспечения при портировании на новые библиотеки с помощью частичных спецификаций.
2012
Ицыксон В.М.
Querying big data
2012
Boris Novikov, Natalia Vassilieva, and Anna Yarygina
Learning Finite-State Machines with Ant Colony Optimization
2012
Chivilikhin D., Ulyantsev V.
Seamless WLAN Off-load of 3G Networks
January 2011
N. Amelichev, M. Krinkin, K. Krinkin
Программная инженерия. Обеспечение качества программных средств методами статического анализа.
2011
Глухих М.И., Ицыксон В.М.
On two methods of star query execution (in Russian)
2011
Kirill Smirnov, George Chernishev
Document Refactoring the documentation of software product lines
2011
Romanovsky, K., Koznov, D., Minchin, L.
Process model of DSM solution development and evolution for small and medium-sized software companies
2011
Koznov, D.
Mind maps merging in collaborative work
2011
Koznov, D., Larchik, E., Pliskin, M., Artamonov, N.
Document Towards e-government services in Russia
2011
Koznov, D., Samochadin, A., Azarskov, A., Chevzova, J.
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.
Обнаружение клонов исходного кода: теория и практика
2011
Ахин М.Х., Ицыксон В.М.
Формализм для описания частичных спецификаций компонентов программного окружения
2011
Ицыксон В.М., Зозуля А.В.
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
Средства быстрой разработки предметно-ориентированных решений в metaCASE-средстве QReal
2011
Кузенкова Анастасия Сергеевна, Дерипаска Анна Олеговна, Таран Кирилл Сергеевич, Подкопаев Антон Викторович, Литвинов Юрий Викторович, Брыксин Тимофей Александрович
Опыт проведения студенческих проектов на примере реализации metaCASE-системы QReal
2011
Брыксин Тимофей Александрович
Теоретическая механика. Тестирование базовых знаний
October 2010
В. А. Диевский, А. В. Диевский
Using Process-Oriented Programming in LabVIEW
June 2010
Zyubin V. E
ScienceDirect goes social: a social network for scientists integrated with online digital library
2010
George Chernishev, Kirill Smirnov
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.
Язык спецификаций поведения программных компонентов.
2010
Ицыксон В.М., Глухих М.И.
Source code modification technology based on parameterized code patterns
2010
Itsykson V., Timofeev D.
Автоматическое обнаружение дефектов в программных системах на языке C на основе статического анализа
2010
Ицыксон В.М., Моисеев М.Ю., Ахин М.Х., Захаров А.В., Цесько В.А.
Distributed Database Query Engine
2010
Kirill Smirnov, George Chernishev
Hardware Description Language Based on Message Passing and Implicit Pipelining
2010
Dmitry Boulytchev, Oleg Medvedev
Non-Abelian associated orders of wildly ramified extensions
October 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 knowledge management approach for industrial model-based testing
2009
Koznov, D., Malinov, V., Sokhransky, E., Novikova, M.
A Regression Test Selection Technique Based on Incremental Dynamic Analysis
2009
M. Akhin, V. Itsykson
Automatic Defect Detection in Industrial C/C++ Software
2009
Itsykson, V. Moiseev, M. Tsesko, V. Zakharov, A.
Алгоритмы анализа указателей для обнаружения дефектов в исходном коде программ
2009
Ицыксон В.М., Моисеев, М.Ю., Ахин М.Х., Захаров А.В., Цесько В.А.
Алгоритм интервального анализа для обнаружения дефектов в исходном коде программ
2009
Ицыксон В.М., Моисеев М.Ю., Цесько В.А., Захаров А.В., Ахин М.Х.
Исследование средств построения моделей исходного кода программ на языках C и C++.
2009
Ицыксон В.М., Глухих М.И., Зозуля А.В., Власовских А.С.
Simple Computer Model Shows Posibility of Non-Motor Microtubule Binded Gradient Transport
2009
Shpilman A.
Information Complexity Hypothesis: a Conceptual Framework for Reasoning on Pragmatics Issues
July 2008
Zyubin V. E
Автоматическое обнаружение дефектов программных систем на основе метода проверки модели
2008
Ицыксон В.М., Захаров А.В., Ахин М.Х., Мяснов А.В.
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.
Temporal databases: From theory to applications
2008
B. Novikov and E. Gorshkova
Исследование систем автоматизации обнаружения дефектов в исходном коде программного обеспечения
2008
Ицыксон В.М., Моисеев М.Ю., Цесько В.А., Карпенко А.В.
Imitational Modeling of Cytoskeleton: Dynamics, Differentiation, Active Transport and Membrane Interactions
2008
Shpilman 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
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.
Hyper-automaton: A Model of Control Algorithms
2007
Vladimir E. Zyubin
BURS-based Instruction Set Selection
2006
Dmitry Boulytchev
Stochastic Computer Model of the Cell Microtubule Dynamics
2006
А.А. Shpil’man and E.S. Nadezhdina
Computational Stochastic Modeling of Cellular Microtubule Network
2006
Shpilman A.A., Nadezhdina E.S.
Stochastic Modeling of Microtubule Systems
2006
Shpilman A.A.
Cooking Raw Types in Java
2005
Dmitry Boulytchev, Eugene Vigdorchik
REAL-IT: Model-Based User Interface Development Environment
2005
A.Ivanov, D.Koznov
Macroarchitecture Description Language for Hardware/Software Codesign (in Russian)
2004
Dmitry Boulytchev
Macroarchitecture Description for Hardware/Software Codesign (in Russian)
2004
Dmitry Boulytchev
OCL-based automated validation method for UML specifications
2003
Ol'khovich, L., Koznov, D.V.
Towards collaborative video authoring
2003
Boris Novikov and Oleg Proskurnin
On Project-Specific Languages and Their Application in Reengineering
2002
Dmitry Boulytchev, Dmitry Koznov, Andrey A. Terekhov
Document A method for recovery and maintenance of software architecture
2001
Koznov, D., Romanovsky, K., Nikitin, A.
An Empirical Study of Retargetable Compilers
2001
Dmitry Boulytchev, Dmitry Lomov
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