Публикации

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

Подробнее

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

Подробнее

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, Timofey Bryksin

Подробнее

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, David C. Shepherd

Подробнее

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, Rana Alkadhi

Подробнее

Automated Cross-Language Integration Based on Formal Model of Components

August 2020

Artyom Aleksyuk, Vladimir Itsykson

Подробнее

Recursive Expressions for SPARQL Property Paths

August 2020

Ciro Medeiros, Umberto Costa, Semyon Grigorev, Martin A. Musicante

Regular expressions are used in SPARQL property paths to query RDF graphs. However, regular expressions can only define the most limited class of languages, called regular languages. Context-free languages are a wider class containing all regular languages. There are no context-free expressions to define them, so it is necessary to write grammars. We propose an extension of regular expressions, called recursive expressions, to support the definition of a subset of context-free languages. The goal of our work is therefore to provide simple operators allowing the definition of languages as close as possible to context-free languages.

Подробнее

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

Подробнее

An Ontology-based Approach to Support Formal Verification of Concurrent Systems

August 2020

Подробнее

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

Подробнее

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.

Подробнее

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

Подробнее

Building Implicit Vector Representations of Individual Coding Style

June 2020

Vladimir Kovalenko, Egor Bogomolov, Timofey Bryksin, Alberto Bacchelli

Подробнее

Context-Free Path Querying via Matrix Equations

June 2020

Yuliya Susanina

Context-free path querying (CFPQ) widely used for graph-structured data analysis in different areas. It is crucial to develop highly efficient algorithms for CFPQ since the size of the input data is typically large. We show how to reduce GFPQ evaluation to solving systems of matrix equations over R --- a problem for which there exist high-performance solutions. Also, we demonstrate the applicability of our approach to real-world data analysis.

Подробнее

A Study of Potential Code Borrowing and License Violations in Java Projects on GitHub

June 2020

Yaroslav Golubev, Maria Eliseeva, Nikita Povarov, Timofey Bryksin

Подробнее

Visualization of Methods Changeability Based on VCS Data

June 2020

Sergey Svitkov, Timofey Bryksin

Подробнее

Recommendation of Move Method Refactoring Using Path-Based Representation of Code

June 2020

Zarina Kurbatova, Ivan Veselov, Yaroslav Golubev, 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.

Подробнее

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, Nikita Povarov

Подробнее

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

Подробнее

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

Подробнее

Authorship Attribution of Source Code: A Language-Agnostic Approach and Applicability in Software Engineering

February 2020

Egor Bogomolov, Vladimir Kovalenko, Alberto Bacchelli, Timofey Bryksin

Подробнее

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.

Подробнее

Multi-Objective Optimization for Token-Based Clone Detection

February 2020

Yaroslav Golubev, Viktor Poletansky, Nikita Povarov, Timofey Bryksin

Подробнее

POSTER: Testing concurrency on the JVM with Lincheck

February 2020

Nikita Koval, Maria Sokolova, Alexander Fedorov, Dan Alistarh, Dmitry Tsitelov

POSTER: Restricted memory-friendly lock-free bounded queues

February 2020

Nikita Koval, Vitaly Aksenov

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

Подробнее

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.

Подробнее

Making DBMSes Dependency-Aware

January 2020

Подробнее

Resolution with Counting: Dag-Like Lower Bounds and Different Moduli

January 2020

Fedor Part and Iddo Tzameret

Подробнее

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.

Подробнее

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, Timofey Bryksin

Подробнее

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

Подробнее

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.

Kotlin language for science and Kmath library

October 2019

Подробнее

MAGNet: Multi-agent Graph Network for Deep Multi-agent Reinforcement Learning

October 2019

Aleksandra Malysheva, Daniel Kudenko, Aleksei Shpilman

Подробнее

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

Distributed Classification of Text Streams: Limitations, Challenges, and Solutions

September 2019

Artem Trofimov, Nikita Sokolov, Mikhail Shavkunov, Igor Kuralenok, and Boris Novikov

Подробнее

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

Подробнее

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

Подробнее

Shape-based event pileup separation in Troitsk nu-mass experiment

August 2019

Подробнее

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

Delivery, consistency, and determinism: rethinking guarantees in distributed stream processing

July 2019

Artem Trofimov, Igor E. Kuralenok, Nikita Marshalkin, Boris Novikov

Подробнее

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

Подробнее

On Satisfiability of Nominal Type Systems With Variance

July 2019

A. Misonizhnik, D. Mordvinov

Подробнее

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

Подробнее

Automatic Classification of Error Types in Solutions to Programming Assignments at Online Learning Platform

June 2019

Artyom Lobanov, Timofey Bryksin, and Alexey Shpilman

Подробнее

Statistical time analysis for regular events with high count rate

June 2019

Подробнее

Smart Contract Design Meets State Machine Synthesis: Case Studies

June 2019

Dmitrii Suvorov, Vladimir Ulyantsev

Подробнее

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

Recently proposed matrix multiplication based algorithm for context-free path querying (CFPQ) offloads the most performance-critical parts onto boolean matrices multiplication. Thus, it is possible to achieve high performance of CFPQ by means of modern parallel hardware and software. In this paper, we provide results of empirical performance comparison of different implementations of this algorithm on both real-world data and synthetic data for the worst cases.

Подробнее

Evaluation of Move Method refactorings recommendation algorithms: are we doing it right?

May 2019

Evgenii Novozhilov, Ivan Veselov, Mikhail Pravilov, 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, Alberto Bacchelli

Подробнее

Words and Topics: Content Representations for Book Recommendation

May 2019

Larissa Kolesnichenko, Pavel Braslavski

Подробнее

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.

Подробнее

Designing a DBMS development course with automatic assignment evaluation

April 2019

Viacheslav Galaktionov, George Chernishev

Подробнее

Evolutionary Computation Techniques for Constructing SAT-Based Attacks in Algebraic Cryptanalysis

April 2019

Artem Pavlenko, Alexander Semenov, Vladimir Ulyantsev

Подробнее

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

A quantitative study of two matrix clustering algorithms

April 2019

Alexander Slesarev, Viacheslav Galaktionov, Nikita Bobrov, 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

Подробнее

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.

Подробнее

Solving Target Set Selection with Bounded Thresholds Faster than 2^n

January 2019

Ivan Bliznets and Danil Sagunov

Подробнее

Function block finite-state model identification using SAT and CSP solvers

January 2019

Daniil Chivilikhin, Vladimir Ulyantsev, Anatoly Shalyto, Valeriy Vyatkin

Подробнее

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

Подробнее

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

Подробнее

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

Подробнее

Исследование критериев соответствия текста научному стилю

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

Certified Semantics for miniKanren

2019

Подробнее

Constructing verification-oriented domain-specific process ontologies

2019

Garanina N.O., Anureev I.S., Zyubin V.E

Measurements with a TRISTAN prototype detector system at the "troitsk nu-mass" experiment in integral and differential mode

2019

Подробнее

Организация дисциплины "Введение в программную инженерию" как способ комплексного погружения студентов в специальность

2019

Берленко Т.А., Заславский М.М, Чайка К.В., Кринкин К.В.

Подробнее

GENOMIC DATA ACCESS SERVICE

2019

Kalinin Vladislav Il'ich, Cherniatchik Roman Igorevich

Подробнее

Physics potential of the International Axion Observatory (IAXO)

2019

Подробнее

In Search of the Fastest Concurrent Union-Find Algorithm

2019

Dan Alistarh, Alexander Fedorov, Nikita Koval

Constructive Negation for MiniKanren

2019

Подробнее

Path planning for UAV search using growing area algorithm and clustering

2019

Alexander Fedorov

Архитектура программных систем в контексте технологий Индустрии 4.0

2019

К. В. Чайка , К. В. Кринкин , Ар. Ю. Филатов , Ан. Ю. Филатов

Survey on Blockchain Technology, Consensus Algorithms, and Alternative Distributed Technologies

2019

N. Mishin, A. Fefelov, V. Bushev, I. Kirilenko, and D. Berezun

Подробнее

Efficiency Guarantees for Parallel Incremental Algorithms under Relaxed Schedulers

2019

Dan Alistarh, Giorgi Nadiradze, Nikita Koval

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

A Survey of Smart Contract Safety and Programming Languages

2019

A. Tyurin, I. Tyulyandin, V. Maltsev, I. Kirilenko, and D. Berezun

Подробнее

An Application of Test-Driven Development Methodology into the Process of Hardware Creation (a View from a Software Perspective)

2019

Staroletov S., Fedorov V

Reactor like TGE model

2019

Подробнее

Relational Interpreters for Search Problems

2019

Подробнее

ReduKtor: How We Stopped Worrying About Bugs in Kotlin Compiler

2019

Daniil Stepanov, Marat Akhin, Mikhail Belyaev

Подробнее

Applying Model Checking Approach with Floating Point Arithmetic for Verification of Air Collision Avoidance Maneuver Hybrid Model

2019

Подробнее

Direct Search for keV-Sterile Neutrino in Nuclear Decay. Troitsk Nu-Mass (Scientific Summary)

2019

Подробнее

A Method to Verify Parallel and Distributed Software in C# by Doing Roslyn AST Transformation to a Promela Model

2019

Staroletov S., Dubko A

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.

Подробнее

Formalism and Language Tools for Specification of the Semantics of Software Libraries

December 2018

V. Itsykson.

Подробнее

Framework for Deep Reinforcement Learning with GPU-CPU Multiprocessing

December 2018

Ivan Sosin, Oleg Svidchenko, Aleksandra Malysheva, Daniel Kudenko, Aleksei Shpilman

Подробнее

Continuous Gesture Recognition from sEMG Sensor Data with Recurrent Neural Networks and Adversarial Domain Adaptation

November 2018

I. Sosin, D. Kudenko, A. Shpilman

Подробнее

PosDB — прототип распределенной дисковой колоночной СУБД.

November 2018

Подробнее

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

Подробнее

Rainbow World Models

November 2018

V. Chockalingam, T. Sung, F. Behbahani, R. Gargeya, A. Sivanantham, A. Malysheva

Learning to Run with Potential-Based Reward Shaping and Demonstrations from Video Data

November 2018

A. Malysheva, D. Kudenko, A. Shpilman

Подробнее

Stierlitz Meets SVM: Humor Detection in Russian

October 2018

Anton Ermilov, Natasha Murashkina, Valeria Goryacheva, Pavel Braslavski

Подробнее

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

Подробнее

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

Подробнее

Cleaning up after a Party: Post-processing Thesaurus Crowdsourced Data

October 2018

Oksana Antropova, Elena Arslanova, Maxim Shaposhnikov, Pavel Braslavski, Mikhail Mukhin

Подробнее

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

Подробнее

An Ontology of Specification Patterns for Verification of Concurrent Systems

September 2018

Garanina N. O., Zyubin V., Lyakh T., Gorlatch S

Подробнее

Consistency Maintenance in Distributed Analytical Stream Processing

September 2018

Artem Trofimov

Подробнее

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

Подробнее

Automatic Recommendation of Move Method Refactorings Using Clustering Ensembles

September 2018

Timofey Bryksin, Evgenii Novozhilov, and Aleksei Shpilman

Подробнее

Does reviewer recommendation help developers?

September 2018

Vladimir Kovalenko, Nava Tintarev, Evgeny Pasynkov, Christian Bird, Alberto Bacchelli

Подробнее

Mining file histories: should we consider branches?

September 2018

Vladimir Kovalenko, Fabio Palomba, 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

Подробнее

Deterministic Model for Distributed Speculative Stream Processing

September 2018

Igor Kuralenok, Artem Trofimov, Nikita Marshalkin, Boris Novikov

Подробнее

Contextually indexed contextual categories

September 2018

Valery Isaev

Подробнее

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.

Подробнее

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

Подробнее

Personal Names Popularity Estimation and its Application to Record Linkage

September 2018

Ksenia Zhagorina, Pavel Braslavski, Vladimir Gusev

Подробнее

Relational Programming with memoization and negation (In Russian)

August 2018

E. Moiseenko, A. Podkopaev

Подробнее

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, Nikita Povarov

Подробнее

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

Подробнее

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

Подробнее

Context-free path querying by matrix multiplication

June 2018

Rustam Azimov, Semyon Grigorev

Подробнее

Indexed type theories

June 2018

Valery Isaev

Подробнее

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

Подробнее

Data Distribution Services Performance Evaluation Framework

May 2018

K. Krinkin, An. Filatov, Ar. Filatov, O. Kurishev, A.Lyanguzov

Подробнее

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, Alberto Bacchelli

Подробнее

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

Подробнее

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

Подробнее

Data-based code synthesis in IntelliJ IDEA

April 2018

V. Tankov and T. Bryksin

Подробнее

BFS Enumeration for Breaking Symmetries in Graphs

April 2018

Vyacheslav Moklev, Vladimir Ulyantsev

Подробнее

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

Подробнее

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

Подробнее

Automated refactoring of object-oriented code using clustering ensembles

February 2018

T. Bryskin, A. Shpilman, D. Kudenko

Подробнее

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

Подробнее

Processing of higher count rates in Troitsk nu-mass experiment

January 2018

Подробнее

DataForge: Modular platform for data storage and analysis

January 2018

Подробнее

Application of Turchin's method of statistical regularization

January 2018

Подробнее

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

Подробнее

Behavioural realism and the activation of aggressive concepts in violent video games

January 2018

D. Zendle, D. Kudenko, P. Cairns

Подробнее

Subexponential Parameterized Algorithm for Interval Completion

2018

Ivan Bliznets, Fedor V. Fomin, Marcin Pilipczuk, Michal Pilipczuk

Подробнее

Typed Embedding of a Relational Language in OCaml

2018

Подробнее

Reflex Language: a Practical Notation for Cyber-Physical Systems

2018

Recurrent Neural Network for Code Clone Detection

2018

A. Zorin and V.Itsykson

Подробнее

Автоматизация проверки корректности использования программных библиотек

2018

М. Гусев, В. Ицыксон

Подробнее

LibSL — язык спецификации компонентов программного обеспечения

2018

Ицыксон В.М.

Подробнее

Обзор динамических методов восстановления частичных спецификаций программных библиотек на основе анализа программных проектов

2018

Егорова И.С., Ицыксон В.М.

Подробнее

Reinforcement learning from multiple experts demonstrations

2018

M. Li, D. Kudenko

Typed Relational Conversion

2018

Petr Lozov, Andrey Vyatkin, Dmitry Boulytchev

18th International Symposium on Trends in Functional Programming

Подробнее

Physical design tuning of RDF stores

2018

Vsevolod Sevostyanov, Boris Novikov, George Chernishev

Подробнее

Poster: Duplicate finder toolkit

2018

D.Luciv, D.Koznov, G.Chernishev, H.A. Basit, K.Romanovsky, A.Terekhov

Подробнее

On fibrant objects in model categories

2018

Valery Isaev

Подробнее

Сравнение современных лазерных алгоритмов SLAM

2018

Ар. Ю. Филатов, Ан. Ю. Филатов, А. Т. Гулецкий, Д. А. Карташов, К. В. Кринкин

Подробнее

A Control Flow Graph Based Approach to Make the Verification of Cyber-Physical Systems Using KeYmaera Easier

2018

Подробнее

Методы сравнения качества 2D-SLAM-алгоритмов

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

Подробнее

Архитектура платформы для создания мобильных приложений с OUTDOOR-квестами

2018

Мокрецов Р. М., Заславский М. М.

Подробнее

Generator of 2D laser scan based datasets for ROS

2018

Arthur Huletski, Dmitriy Kartashov and Kirill Krinkin

Подробнее

iSynchronizer: A Tool for Extracting, Integration and Analysis of MovieLens and IMDb Datasets

2018

N. Al-Roussais, D. Kudenko

SMT-based analysis of constraints on .NET types

2018

Aleksandr Misonizhnik and Dmitry Mordvinov

Hardness of Approximation for H-free Edge Modification Problems

2018

Ivan Bliznets, Marek Cygan, Pawel Komosa, Michal Pilipczuk

Подробнее

Basics of Software Testing and Verification [in Russian]

2018

Основы тестирования и верификации программного обеспечения

Подробнее

Improving Refutational Completeness of Relational Search via Divergence Test

2018

Подробнее

Using Uniform State Abstractions For Reward Shaping With Reinforcement Learning

2018

J. Burden, D. Kudenko

Automatic Verification of Control Algorithms for Complex Technological Objects on Software Simulators

2018

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

Подробнее

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

Подробнее

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.

Подробнее

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

Подробнее

Finding all minimum-size DFA consistent with given examples: SAT-based approach

September 2017

Ilya Zakirzyanov, Anatoly Shalyto, Vladimir Ulyantsev

Подробнее

Model structures on categories of models of type theories

September 2017

Valery Isaev

Подробнее

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

Подробнее

VinySLAM: An indoor SLAM method for low-cost platforms based on the Transferable Belief Model

September 2017

Arthur Huletski; Dmitriy Kartashov; Kirill Krinkin

Подробнее

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

Подробнее

2D SLAM Quality Evaluation Methods

August 2017

An. Filatov, Ar. Filatov, K. Krinkin, B. Chen, D. Molodan

Подробнее

Evaluation of Heavy-tailed Mutation Operator on Maximum Flow Test Generation Problem

July 2017

Mironovich V., Buzdalov M.

Подробнее

Graph Parsing by Matrix Multiplication

July 2017

Rustam Azimov, Semyon Grigorev

Подробнее

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

Подробнее

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

Подробнее

Promising Compilation to ARMv8 POP

June 2017

Anton Podkopaev, Ori Lahav, Viktor Vafeiadis

Подробнее

A survey of database dependency concepts

April 2017

Nikita Bobrov, Anastasia Birillo, George Chernishev.

Подробнее

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

Подробнее

Ranking Vertices for Active Module Recovery Problem

April 2017

Javlon E. Isomurodov, Alexander A. Loboda, Alexey A. Sergushichev

Подробнее

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

Подробнее

The design of an adaptive column-store system

2017

George Chernishev

Подробнее

Untyped Lambda-Calculus Normalization by Traversals (in Russian)

2017

Berezun D.A.

Подробнее

Complete Head Linear Reduction (in Russian)

2017

Berezun D.A.

Подробнее

Метод обработки в реальном времени открытых данных, содержащих гео-контекстную разметку

2017

Заславский М. М., Баландин С. И., Блеес Э. И.

Подробнее

TRIK studio: Technical introduction

2017

Mordvinov Dmitry, Yurii Litvinov, and Timofey Bryksin

Synchronizing constrained horn clauses

2017

Mordvinov, Dmitry, and Grigory Fedyukovich

System for Automatic Checking of Student Solutions for Linux Programming MOOCs

2017

M. Zaslavskiy, M. Kanushin

Подробнее

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

Подробнее

Verifying Safety of Functional Programs with Rosette/Unbound

2017

Dmitry Mordvinov and Grigory Fedyukovich

Семантически-ориентированная миграция Java-программ: опыт практического применения

2017

Алексюк А.О., Ицыксон В.М.

Подробнее

Обзор статических методов восстановления частичных спецификаций программных библиотек на основе анализа программных проектов

2017

И.С. Егорова , В.М. Ицыксон.

Подробнее

Chaordic Learning: A Case Study

2017

Stephan Krusche, Irina Camilleri, Andreas Seitz, Cecil Wöbker, Kirill Krinkin and Bernd Bruegge

Подробнее

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

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

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

Подробнее

Automated Semantics-Driven Source Code Migration: A Pilot Prototype

2017

Artyom Aleksyuk, Vladimir Itsykson

Подробнее

Distributed Analysis of the BMC Kind: Making It Fit the Tornado Supercomputer

2017

Azat Abdullin, Daniil Stepanov, Marat Akhin

Подробнее

Разработка аспектно-ориентированного расширения для языка Kotlin

2017

Борис Скрипаль, Владимир Ицыксон

Подробнее

Формализм и языковые инструменты для описания семантики программных библиотек

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

Подробнее

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

Подробнее

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

Подробнее

TinySLAM Improvements for Indoor Navigation

October 2016

A. Huletski, D. Kartashov, K. Krinkin

Подробнее

A Non-repetitive Logic for Verification of Dynamic Memory with Explicit Heap Conjunction and Disjunction

October 2016

Haberland R., Krinkin K.

Подробнее

Integrating immunometabolism and macrophage diversity

October 2016

Maxim N. Artyomov, Alexey Sergushichev, Joel D. Schilling

Подробнее

Model category of marked objects

October 2016

Valery Isaev

Подробнее

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

Подробнее

By the power of SMT! Mining Function Contracts to Better Bounded Model Checking

September 2016

Azat Abdullin, Marat Akhin

Подробнее

Certified Grammar Transformation to Chomsky Normal Form in F*

August 2016

Marina Polubelova, Sergey Bozhko, Semyon Grigorev

Подробнее

Solving Generalized Maximum-Weight Connected Subgraph Problem for Network Enrichment Analysis

August 2016

Alexander A. Loboda, Maxim N. Artyomov, Alexey A. Sergushichev

Подробнее

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.

Подробнее

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.

Подробнее

Speed convergence of Fourier series of special form

June 2016

A. Kolpakov, An. Filatov, Ar. Filatov

Подробнее

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.

Подробнее

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.

Подробнее

Algebraic Presentations of Dependent Type Theories

February 2016

Valery Isaev

Подробнее

Верификация объектно-ориентированных программ с динамической памятью на основе ссылочной модели

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.

Подробнее

Discovering geo-magnetic anomalies: A clustering-based approach

2016

E. Volzhina, A. Chudin, B. Novikov, N. Grafeeva, and E. Mikhailova

Подробнее

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

Подробнее

Database Migration Project: Bridging Industry-Academia Gap

2016

George Chernishev, Viacheslav Galaktionov, Valentin Grigorev, Evgeniy Klyuchikov, Kirill Smirnov, Andrey Terekhov

Подробнее

Survey on formal methods in robotics

2016

D. A. Mordvinov, Yu. V. Litvinov

K-means Split Revisited: Well-grounded Approach and Experimental Evaluation

2016

Valentin Grigorev and George Chernishev

Подробнее

The formalism for semantics specification of software libraries

2016

V. Itsykson

Подробнее

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

Подробнее

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.

Метод импорта и обработки открытых данных в LBS-платформе

2016

Заславский М. М., Баландин С. И.

Подробнее

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

Подробнее

Evaluation of the Modern Visual SLAM Methods

November 2015

K. Krinkin, D. Kartashov, A. Huletski

Подробнее

Design and Implementation Raspberry Pi-based Omni-wheel Mobile Robot

November 2015

K. Krinkin, Elena Stotskaya, Yury Stotskiy

Подробнее

Discovering Clones in Software: from Complex Algorithms to Everyday Desktop Tool

October 2015

Marat Akhin, Alexandr Suhinin

Подробнее

A Language-Independent Code Formatting by Syntactic Matching and Templates (In Russian)

October 2015

A.Podkopaev, A.Korovianskii, I.Ozernykh

Подробнее

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.

Подробнее

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.

Подробнее

Energy Optimized Path Selection in Cluster Based Routing for Wireless Mesh Network

January 2015

Prakash, S.P.S., Nagabhushan, T.N., Krinkin, K.

Подробнее

Query processing: Beyond sql and relations (tutorial)

2015

Boris Novikov

Подробнее

Советский суперкомпьютер К-340А и секретные вычисления.

2015

С.Ф. Кренделев

Подробнее

Применение гомоморфного шифрования для построения криптосистемы с открытым ключом

2015

В.В. Егорова, Д.К. Чечулина, С.Ф. Кренделев

Подробнее

Fully Homomorphic Encryption for Secure Computations in Protected Database

2015

Darya Chechulina, Kirill Shatilov, Sergey Krendelev

Подробнее

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

Implementation of the new REST API for open source LBS-platform Geo2Tag

2015

Zaslavskiy M., Mouromtsev D.

Подробнее

View to view transformations in domain specific modeling

2015

Koznov, D.V., Larchik, E.V., Terekhov, A.N.

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

Подробнее

Bi-objective optimization for approximate query evaluation

2015

Anna Yarygina and Boris Novikov

Подробнее

Software Defect Detection by Combining Bounded Model Checking and Approximations of Functions

December 2014

M. Akhin, M. Belyaev, V. Itsykson

Подробнее

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.

Подробнее

POSTER: A switching hidden Markov model for bisulfite sequencing

November 2014

Sergei Lebedev, Dmitry Groshev

Подробнее

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

Подробнее

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

Подробнее

Order-preserving encryption schemes based on arithmetic coding and matrices

2014

Usoltseva M., Krendelev S. and Yakovlev M

Подробнее

Optimizing resource allocation for approximate real-time query processing

2014

Anna Yarygina and Boris Novikov

Подробнее

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.

Подробнее

Operational semantics of Reflex

2014

Anureev I.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

Подробнее

APERIODIC GENERATORS OF PSEUDORANDOM NUMBERS

2014

Krendelev S.F., Kuzmenok A.Yu.

Подробнее

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

Подробнее

The Study of Multidimensional R-Tree-Based Index Scalability in Multicore Environment

2014

Smirnov Kirill, Chernishev George, Fedotovsky Pavel, Erokhin George, Cherednik Kirill

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.

Polynomial-Time Optimal Pretty-Printing Combinators with Choice

2014

Anton Podkopaev, Dmitry Boulytchev

Подробнее

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.

Combining Exact And Metaheuristic Techniques For Learning Extended Finite-State Machines From Test Scenarios and Temporal Properties

2014

Chivilikhin D., Ulyantsev V., Shalyto A.

Подробнее

R-tree re-evaluation effort: a report

2014

Kirill Smirnov, George Chernishev, Pavel Fedotovsky, George Erokhin and Kirill Cherednik

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

Подробнее

Lock Manager for Own Products

2013

Sergey Egorov, Mikhail Koveshnikov, Nikita Arykov, Alexander Ilin, Sergey Bobrenok, Sergey Krendelev, Alexey Yuzhakov

Подробнее

Прогнозирование характеристик программных проектов с помощью мета-моделирования.

2013

Ицыксон В.М., Баженов А.С.

Подробнее

Безопасные облачные вычисления с помощью гомоморфной криптографии

2013

Жиров А. О., Жирова О. В., Кренделев С. Ф.

Подробнее

Process-oriented programming language for MCU-based automation

2013

Andrei S. Rozov and Vladimir E. Zyubin

Подходы к заданию семантики интерпретации диаграмм, основанные на технологии преобразования графов

2013

Поляков Владимир, Брыксин Тимофей

Подробнее

Solving Puzzles: Making Use of SMT Solvers Easy

2013

E. Zaychenko, V. Galuzin, V. Itsykson.

A performance analysis of semantic caching for XML query processing

2013

Boris Novikov, Alice Pigul, and Anna Yarygina

Подробнее

New View on Block Encryption (Unpublished)

2013

Egorova V., Chechulina D., Krendelev S. F.

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.

MuACOsm - A New Mutation-Based Ant Colony Optimization Algorithm for Learning Finite-State Machines

2013

Chivilikhin D., Ulyantsev V.

Подробнее

GLR-based Abstract Parsing

2013

Semen Grigorev and Iakov Kirilenko

Подробнее

QReal DSM Platform: An Environment for Creation of Specific Visual IDEs

2013

Anastasiia Kuzenkova ; Anna Deripaska ; Timofey Bryksin ; Yurii Litvinov and Vladimir Polyakov

Подробнее

Role of Microtubules in Formation of Stress Granules

2013

Chudinova E.M., Shpilman A.A., Lubitelev A.V., Ivanov P.A., Nadezhdina E.S.

Practical fully homomorphic encryption over polynomial quotient rings

2013

Alexander Zhirov, Olga Zhirova, Sergey F. Krendelev

Подробнее

QReal: платформа визуального предметно-ориентированного моделирования

2013

Терехов А.Н., Брыксин Т.А., Литвинов Ю.В.

Подробнее

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

Подробнее

Exploring influence and interests among users within social networks

2012

Jose Simoes, Julia Kiseleva, Elena Sivogolovko, and Boris Novikov

Подробнее

Автоматизированная трансформация программ при миграции на новые библиотеки

2012

Ицыксон В.М., Зозуля А.В.

Подробнее

Автоматизация реинжиниринга программного обеспечения при портировании на новые библиотеки с помощью частичных спецификаций.

2012

Ицыксон В.М.

Подробнее

Test-Based Extended Finite-State Machines Induction with Evolutionary Algorithms and Ant Colony Optimization

2012

Chivilikhin D., Ulyantsev V., Tsarev F.

Подробнее

Learning Finite-State Machines with Ant Colony Optimization

2012

Chivilikhin D., Ulyantsev V.

Подробнее

Document Teaching to write software engineering documents with focus on document design by means of mind maps

2012

Koznov, D.V.

Multistroke Mouse Gestures Recognition in QReal metaCASE Technology

2012

Osechkina M., Litvinov Y.V., Bryksin T.

Подробнее

Querying big data

2012

Boris Novikov, Natalia Vassilieva, and Anna Yarygina

Подробнее

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

Реализация уровня изоляции Read Committed для древовидных структур данных

2012

Федотовский П. В., Чернышев Г. А., Смирнов К. К.

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.

Seamless WLAN Off-load of 3G Networks

January 2011

N. Amelichev, M. Krinkin, K. Krinkin

Подробнее

Document Refactoring the documentation of software product lines

2011

Romanovsky, K., Koznov, D., Minchin, L.

Efficiently Scrapping Boilerplate Code in OCaml

2011

Dmitry Boulytchev, Sergey Mechtaev

Подробнее

Process model of DSM solution development and evolution for small and medium-sized software companies

2011

Koznov, D.

Empirical study of parallel SQL query execution

2011

Smirnov K., Chernishev G.

Benchmarking Inter and Intra Operator Parallelism on Contemporary Desktop Hardware

2011

Smirnov K., Chernishev G.

On two methods of star query execution (in Russian)

2011

Kirill Smirnov, George Chernishev

Формализм для описания частичных спецификаций компонентов программного окружения

2011

Ицыксон В.М., Зозуля А.В.

Подробнее

Обнаружение клонов исходного кода: теория и практика

2011

Ахин М.Х., Ицыксон В.М.

Подробнее

Программная инженерия. Обеспечение качества программных средств методами статического анализа.

2011

Глухих М.И., Ицыксон В.М.

Средства быстрой разработки предметно-ориентированных решений в metaCASE-средстве QReal

2011

Кузенкова Анастасия Сергеевна, Дерипаска Анна Олеговна, Таран Кирилл Сергеевич, Подкопаев Антон Викторович, Литвинов Юрий Викторович, Брыксин Тимофей Александрович

Подробнее

Опыт проведения студенческих проектов на примере реализации 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.

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

Подробнее

Networking and multithreading architectural aspects of distributed DBMS (in Russian)

2011

Smirnov K. K., Chernishev G. A.

Теоретическая механика. Тестирование базовых знаний

October 2010

В. А. Диевский, А. В. Диевский

Using Process-Oriented Programming in LabVIEW

June 2010

Zyubin V. E

Distributed Database Query Engine

2010

Kirill Smirnov, George Chernishev

ScienceDirect goes social: a social network for scientists integrated with online digital library

2010

George Chernishev, Kirill Smirnov

Язык спецификаций поведения программных компонентов.

2010

Ицыксон В.М., Глухих М.И.

Подробнее

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.

Автоматическое обнаружение дефектов в программных системах на языке C на основе статического анализа

2010

Ицыксон В.М., Моисеев М.Ю., Ахин М.Х., Захаров А.В., Цесько В.А.

Source code modification technology based on parameterized code patterns

2010

Itsykson V., Timofeev D.

Подробнее

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

М. В. Бондарко, А. В. Диевский

Исследование средств построения моделей исходного кода программ на языках C и C++.

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

Ицыксон В.М., Моисеев М.Ю., Цесько В.А., Захаров А.В., Ахин М.Х.

Подробнее

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.

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

Imitational Modeling of Cytoskeleton: Dynamics, Differentiation, Active Transport and Membrane Interactions

2008

Shpilman A., Nadezhdina E.S.

Temporal databases: From theory to applications

2008

B. Novikov and E. Gorshkova

Подробнее

Автоматическое обнаружение дефектов программных систем на основе метода проверки модели

2008

Ицыксон В.М., Захаров А.В., Ахин М.Х., Мяснов А.В.

Подробнее

Hyper-automaton: A Model of Control Algorithms

2007

Vladimir E. Zyubin

Подробнее

Database Application Tuning

2006

B. Novikov and H. Dombrovskaya

Подробнее

Stochastic Modeling of Microtubule Systems

2006

Shpilman A.A.

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.

BURS-based Instruction Set Selection

2006

Dmitry Boulytchev

Подробнее

Cooking Raw Types in Java

2005

Dmitry Boulytchev, Eugene Vigdorchik

Подробнее

REAL-IT: Model-Based User Interface Development Environment

2005

A.Ivanov, D.Koznov

Efficient Code Generation Algorithms (in Russian)

2004

Dmitry Boulytchev

Подробнее

Macroarchitecture Description Language for Hardware/Software Codesign (in Russian)

2004

Dmitry Boulytchev

Подробнее

Macroarchitecture Description 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.

Подробнее

Digital libraries as a new class of information systems

2000

M. Kogalovsky and B. Novikov

Подробнее

Pattern-matching and Identification of Structural Types in PL/1 (in Russian)

2000

Dmitry Boulytchev

Подробнее

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