出版物
All You Need Is Logs: Improving Code Completion by Learning from Anonymous IDE Usage Logs
十一月 2022
Vitaliy Bibaev, Alexey Kalina, Vadim Lomshakov, Yaroslav Golubev, Alexander Bezzubov, Nikita Povarov, and Timofey Bryksin
AntiCopyPaster: Extracting Code Duplicates As Soon As They Are Introduced in the IDE
十月 2022
Eman Abdullah AlOmar, Anton Ivanov, Zarina Kurbatova, Yaroslav Golubev, Mohamed Wiem Mkaouer, Ali Ouni, Timofey Bryksin, Le Nguyen, Amit Kini, and Aditya Thakur
Evaluating the Impact of Source Code Parsers on ML4SE Models
六月 2022
Ilya Utkin, Egor Spirin, Egor Bogomolov, and Timofey Bryksin
Evaluation of Contrastive Learning with Various Code Representations for Code Clone Detection
六月 2022
Maksim Zubkov, Egor Spirin, Egor Bogomolov, and Timofey Bryksin
Assessing Project-Level Fine-Tuning of ML4SE Models
六月 2022
Egor Bogomolov, Sergey Zhuravlev, Egor Spirin, and Timofey Bryksin
Reflekt: a Library for Compile-Time Reflection in Kotlin
五月 2022
Anastasiia Birillo, Elena Lyulina, Maria Malysheva, Vladislav Tankov, and Timofey Bryksin
IntelliTC: Automating Type Changes in IntelliJ IDEA
五月 2022
Oleg Smirnov, Ameya Ketkar, Timofey Bryksin, Nikolaos Tsantalis, and Danny Dig
Bus Factor In Practice
五月 2022
Elgun Jabrayilzade, Mikhail Evtikhiev, Eray Tüzün, Vladimir Kovalenko
Lupa: A Framework for Large Scale Analysis of the Programming Language Usage
五月 2022
Anna Vlasova, Maria Tigina, Ilya Vlasov, Anastasiia Birillo, Yaroslav Golubev, and Timofey Bryksin
A Large-Scale Comparison of Python Code in Jupyter Notebooks and Scripts
五月 2022
Konstantin Grotov, Sergey Titov, Vladimir Sotnikov, Yaroslav Golubev, and Timofey Bryksin
ACM SIGSOFT Distinguished Paper Award
On the Transferability of Pre-trained Language Models for Low-Resource Programming Languages
五月 2022
Fuxiang Chen, Fatemeh Fard, David Lo, and Timofey Bryksin
Inferring and Applying Type Changes
五月 2022
Ameya Ketkar, Oleg Smirnov, Nikolaos Tsantalis, Danny Dig, and Timofey Bryksin
Bug Tracking Process Smells In Practice
五月 2022
Erdem Tuna, Vladimir Kovalenko, Eray Tüzün
Multimodal Recommendation of Messenger Channels
五月 2022
Ekaterina Koshchenko, Egor Klimov, Vladimir Kovalenko
Collaboration platforms, such as GitHub and Slack, are a vital instrument in the day-to-day routine of software engineering teams. The data stored in these platforms has a significant value for datadriven methods that assist with decision-making and help improve software quality. However, the distribution of this data across different platforms leads to the fact that combining it is a very timeconsuming process. Most existing algorithms for socio-technical assistance, such as recommendation systems, are based only on data directly related to the purpose of the algorithms, often originating from a single system. In this work, we explore the capabilities of a multimodal recommendation system in the context of software engineering. Using records of interaction between employees in a software company in messenger channels and repositories, as well as the organizational structure, we build several channel recommendation models for a software engineering collaboration platform, and compare them on historical data. In addition, we implement a channel recommendation bot and assess the quality of recommendations from the best models with a user study. We find that the multimodal recommender yields better recommendations than unimodal baselines, allows to mitigate the overfitting problem, and helps to deal with cold start. Our findings suggest that the multimodal approach is promising for other recommendation problems in software engineering.
Multi-queues can be state-of-the-art priority schedulers
四月 2022
Anastasiia Postnikova, Nikita Koval, Giorgi Nadiradze, Dan Alistarh
Aggregation of Stack Trace Similarities for Crash Report Deduplication
四月 2022
Nikolay Karasov, Aleksandr Khvorov, Roman Vasiliev, Yaroslav Golubev, and Timofey Bryksin
DapStep: Deep Assignee Prediction for Stack Trace Error rePresentation
三月 2022
Denis Sushentsev, Aleksandr Khvorov, Roman Vasiliev, Yaroslav Golubev, and Timofey Bryksin
Hyperstyle: A Tool for Assessing the Code Quality of Solutions to Programming Assignments
三月 2022
Anastasiia Birillo, Ilya Vlasov, Artyom Burylov, Vitalii Selishchev, Artyom Goncharov, Elena Tikhomirova, Nikolay Vyahhi, and Timofey Bryksin
Improving State-of-the-Art in One-Class Classification by Leveraging Unlabeled Data
三月 2022
Farid Bagirov, Dmitry Ivanov, Aleksei Shpilman
ReSplit: Improving the Structure of Jupyter Notebooks by Re-Splitting Their Cells
三月 2022
Sergey Titov, Yaroslav Golubev, and Timofey Bryksin
The Leaky Semicolon: Compositional Semantic Dependencies for Relaxed-Memory Concurrency
一月 2022
A. Jeffrey, J. Riely, M. Batty, S. Cooksey, I. Kaysin, A. Podkopaev
Mechanization of pomset languages in the Coq proof assistant for the specification of weak memory models
2022
E. Moiseenko, V. Gladstein, A. Podkopaev, D. Koznov
Simple End-to-end Deep Learning Model for CDR-H3 Loop Structure Prediction
十二月 2021
Natalia Zenkova, Ekaterina Sedykh, Tatiana Shugaeva, Vladislav Strashko, Timofei Ermak, Aleksei Shpilman
Self-Imitation Learning from Demonstrations
十二月 2021
Georgiy Pshikhachev, Dmitry Ivanov, Vladimir Egorov, Aleksei Shpilman
Relativistic runaway electron avalanches within complex thunderstorm electric field structures
十二月 2021
E. Stadnichuk, E. Svechnikova, A. Nozik, D. Zemlianskaya, T. Khamitov, M. Zelenyy, M. Dolgonosov
Relativistic runaway electron avalanches (RREAs) are generally accepted as a source of thunderstorms gamma ray radiation. Avalanches can multiply in the electric field via the relativistic feedback mechanism based on processes with gamma rays and positrons. This study shows that a non-uniform electric field geometry can lead to the new RREAs multiplication mechanism—“reactor feedback,” due to the exchange of high-energy particles between different accelerating regions within a thundercloud. A new method for the numerical simulation of RREA dynamics within heterogeneous electric field structures is proposed. Under the assumption that reactor feedback can produce a terrestrial gamma ray flash (TGF), necessary conditions for TGF occurrence in the system with the reactor feedback are derived using the developed analytical description and the numerical simulation. Observable properties of TGFs influenced by the proposed mechanism are discussed.
Legacy of Tunka-Rex Software and Data
十二月 2021
P. Bezyazeekov for the Tunka-Rex Collaboration
Using Modern Machine Learning Methods on KASCADE Data for Outreach and Education
十二月 2021
V. Tokareva, D. Kostunin, I. Plokhikh and V. Sotnikov
Maximum Entropy Model-based Reinforcement Learning
十二月 2021
Oleg Svidchenko, Aleksei Shpilman
PyNose: A Test Smell Detector For Python
十一月 2021
Tongjie Wang, Yaroslav Golubev, Oleg Smirnov, Jiawei Li, Timofey Bryksin, and Iftekhar Ahmed
The IntelliJ Platform: a Framework for Building Plugins and Mining Software Data
十一月 2021
Zarina Kurbatova, Yaroslav Golubev, Vladimir Kovalenko, and Timofey Bryksin
Revizor: A Data-Driven Approach to Automate Frequent Code Changes Based on Graph Matching
十一月 2021
Oleg Smirnov, Artyom Lobanov, Yaroslav Golubev, Elena Tikhomirova, and Timofey Bryksin
RefactorInsight: Enhancing IDE Representation of Changes in Git with Refactorings Information
十一月 2021
Zarina Kurbatova, Vladimir Kovalenko, Ioana Savu, Bob Brockbernd, Dan Andreescu, Matei Anton, Roman Venediktov, Elena Tikhomirova, and Timofey Bryksin
Solving Traffic4Cast Competition with U-Net and Temporal Domain Adaptation
十一月 2021
Vsevolod Konyakhin, Nina Lukashina, Aleksei Shpilman
Infrastructure in Code: Towards Developer-Friendly Cloud Applications
十一月 2021
Vladislav Tankov, Dmitriy Valchuk, Yaroslav Golubev, and Timofey Bryksin
Integrating Statistical and Machine-Learning Approach for Meta-Analysis of Bisphenol A-Exposure Datasets Reveals Effects on Mouse Gene Expression within Pathways of Apoptosis and Cell Survival
十月 2021
Lukashina, N.; Williams, M.J.; Kartysheva, E.; Virko, E.; Kudłak, B.; Fredriksson, R.; Spjuth, O.; Schiöth, H.B.
On the Nature of Code Cloning in Open-Source Java Projects
十月 2021
Yaroslav Golubev and Timofey Bryksin
Design of the Event Metadata System for the Experiments at NICA
九月 2021
Alexandrov E., Alexandrov I., Degtyarev A., Gertsenberger K., Filozova I., Klimai P., Nozik A.,Yakovlev A.
Information systems of experiments make a significant contribution to solving automation tasks of data collecting, storing, processing and analysis, and are used to support a lot of types of experiment activities. The article is devoted to one of information systems being actively employed in particle collision experiments—Event Metadata System, which provides a database containing information on summary properties of physics events and references to their storage location, and ensures fast search through stored event metadata. The Event Metadata System for the NICA experiments is based on the Event Catalogue and provides recording and managing information being necessary for a convenient search for events required in physics analyses.
Sorrel: an IDE Plugin for Managing Licenses and Detecting License Incompatibilities
九月 2021
Dmitry Pogrebnoy, Ivan Kuznetsov, Yaroslav Golubev, Vladislav Tankov, and Timofey Bryksin
Best Tool Demo Award
Authorship Attribution of Source Code: A Language-Agnostic Approach and Applicability in Software Engineering
八月 2021
Egor Bogomolov, Vladimir Kovalenko, Alberto Bacchelli, and Timofey Bryksin
Reconstruction of sub-threshold events of cosmic-ray radio detectors using an autoencoder
八月 2021
P. Bezyazeekov, D. Shipilov, D. Kostunin, I. Plokhikh, A. Mikhaylenko, P. Turishcheva, S. Golovachev, V. Sotnikov and E. Sotnikova for the Tunka-Rex Collaboration
New insights from old cosmic rays: A novel analysis of archival KASCADE data
八月 2021
D. Kostunin, I. Plokhikh, M. Ahlers, V. Tokareva, V. Lenok, P.A. Bezyazeekov, S. Golovachev, V. Sotnikov, R. Mullyadzhanov and E. Sotnikova
Tunka-Rex Virtual Observatory
八月 2021
V. Lenok, D. Kostunin, O. Kopylova, P. Bezyazeekov, D. Wochele, F. Polgart, S. Golovachev, V. Sotnikov and E. Sotnikova for the Tunka-Rex Collaboration
A Simpler Encoding of Indexed Types
八月 2021
Tesla Zhang
Time-Efficient Code Completion Model for the R Programming Language
八月 2021
Artem Popov, Dmitrii Orekhov, Denis Litvinov, Nikolay Korolev, Gleb Morgachev
Solving black-box optimization challenge via learning search space partition for local bayesian optimization
八月 2021
Mikita Sazanovich, Anastasiya Nikolskaya, Yury Belousov, Aleksei Shpilman
One Thousand and One Stories: A Large-Scale Survey of Software Refactoring
八月 2021
Yaroslav Golubev, Zarina Kurbatova, Eman Abdullah AlOmar, Timofey Bryksin, and Mohamed Wiem Mkaouer
Unsupervised Learning of General-Purpose Embeddings for Code Changes
八月 2021
Mikhail Pravilov, Egor Bogomolov, Yaroslav Golubev, and Timofey Bryksin
SPAN and JBR: analysis and visualization toolkit for peak calling
八月 2021
Oleg Shpynov , Roman Chernyatchik, Petr Tsurinov, Maxim Artyomov
FARM: hierarchical association rule mining and visualization method
八月 2021
Petr Tsurinov, Oleg Shpynov, Nina Lukashina, Daria Likholetova, Maxim Artyomov
PubTrends: a scientific literature explorer
八月 2021
Oleg Shpynov, Kapralov Nikolai
Classification and Denoising of Cosmic-Ray Radio Signals using Deep Learning
七月 2021
A. Rehman, A. Coleman, F.G. Schröder and D. Kostunin
Development of Information Systems for Online and Offline Data Processing in the NICA Experiments
七月 2021
Gertsenberger K., Alexandrov I., Filozova I., Alexandrov E., Moshkin A., Chebotov A., Mineev M., Pryahina D., Shestakova G., Yakovlev A., Nozik A., Klimai P.
Acquiring, storing, processing and analyzing experimental and simulated data are an integral part of all modern high-energy physics experiments. These tasks are of particular importance in the experiments of the NICA megaproject at the Joint Institute for Nuclear Research (JINR) due to the high interaction rate and particle multiplicity of ion collision events. Therefore the task of automating the considered processes for the NICA complex is a very urgent topic. This article describes the status of the development of new information systems as well as a set of convenient information services for collaboration members to automate storing and processing of data and information on the experiments. The Geometry Information System and Online Electronic Logbook, which are on the final stage of implementation, are presented. In addition, the design of the Condition Database and Event Metadata System, which are scheduled to be completed next year, are described in detail. The systems provide storing of information required for event processing and physics analysis and organize a transparent, unified access and data management throughout the life cycle of the scientific research in the NICA megaproject. One of the key aspects—the integration of the information systems with the experiment software systems—is also presented.
A Scalable Concurrent Algorithm for Dynamic Connectivity
七月 2021
Alexander Fedorov, Nikita Koval, Dan Alistarh
Electron evaporation from magnetic trap in Troitsk nu-mass experiment
五月 2021
Nozik A., Hamitov T.
This paper is dedicated to the simulation of the so-called trapping-effect observed in the Troitsk nu-mass experiment. The effect is caused by the magnetic trapping of decay electrons in the windowless gaseous tritium source and the gradual evaporation of those electrons. As a result, alongside regular tritium beta-spectrum electrons, we see additional electrons that are initially trapped in the source and escape it with changed energy. The spectrum of evaporated electrons is quite peculiar (almost flat for monochromatic initial electrons) and could not be directly measured in the experiment. So one has to rely on simulations. Also, it is possible that the same effect could be observed in other cases of magnetic traps. © 2021 IOP Publishing Ltd and Sissa Medialab.
New Length Dependent Algorithm for Maximum Satisfiability Problem
五月 2021
Vasily Alferov, Ivan Bliznets
Proceedings of the AAAI Conference on Artificial Intelligence, 35(5), 3634-3641
Semi-supervised peak calling with SPAN and JBR Genome Browser
五月 2021
Oleg Shpynov, Aleksei Dievskii, Roman Chernyatchik, Petr Tsurinov, Maxim N Artyomov
First-Order Reasoning and Efficient Semi-Algebraic Proofs
五月 2021
Fedor Part, Neil Thapen and Iddo Tzameret
Changes from the Trenches: Should We Automate Them?
五月 2021
Yaroslav Golubev, Jiawei Li, Viacheslav Bushev, Timofey Bryksin, and Iftekhar Ahmed
PSIMiner: A Tool for Mining Rich Abstract Syntax Trees from Code
五月 2021
Egor Spirin, Egor Bogomolov, Vladimir Kovalenko, and Timofey Bryksin
Cellular and plasma proteomic determinants of COVID-19 and non-COVID-19 pulmonary diseases relative to healthy aging
五月 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
TNM: A Tool for Mining of Socio-Technical Data from Git Repositories
三月 2021
Nikolai Sviridov, Mikhail Evtikhiev, Vladimir Kovalenko
Multi-Threshold Token-Based Code Clone Detection
三月 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
三月 2021
Elena Lyulina, Anastasiia Birillo, Vladimir Kovalenko, andTimofey Bryksin
An Empirical Study of Partial Deduction for MiniKanren
三月 2021
Ekaterina Verbitskaia, Daniil Berezun, Dmitry Boulytchev
Flatland Competition 2020: MAPF and MARL for Efficient Train Coordination on a Grid World
三月 2021
Florian Laurent, Manuel Schneider, Christian Scheller, Jeremy Watson, Jiaoyang Li, Zhe Chen, Yi Zheng, Shao-Hung Chan, Konstantin Makhnev, Oleg Svidchenko, Vladimir Egorov, Dmitry Ivanov, Aleksei Shpilman, Evgenija Spirovska, Oliver Tanevski, Aleksandar Nikov, Ramon Grunder, David Galevski, Jakov Mitrovski, Guillaume Sartoretti, Zhiyao Luo, Mehul Damani, Nilabha Bhattacharya, Shivam Agarwal, Adrian Egli, Erik Nygren, Sharada Mohanty
BeBoSy: Behavior Examples meet Bounded Synthesis
二月 2021
Daniil Chivilikhin, Ilya Zakirzyanov, Vladimir Ulyantsev
Balancing Rational and Other-Regarding Preferences in Cooperative-Competitive Environments
二月 2021
Dmitry Ivanov, Vladimir Egorov, Aleksei Shpilman
BCNNM: A Framework for in silico Neural Tissue Development Modeling
一月 2021
Dmitrii V. Bozhko, Georgii K. Galumov, Aleksandr I. Polovian, Sofiia M. Kolchanova, Vladislav O. Myrov, Viktoriia A. Stelmakh and Helgi B. Schiöth
Reimplementing the Wheel: Teaching Compilers with a Small Self-Contained One
2021
Daniil Berezun, Dmitry Boulytchev
A Survey of Programming Language Memory Models
2021
E. Moiseenko, A. Podkopaev, D. Koznov
Differentiable programming for particle physics simulations
2021
Roland Grinis
We describe how to apply adjoint sensitivity methods to backward Monte-Carlo schemes arising from simulations of particles passing through matter. Relying on this, we demonstrate derivative based techniques for solving inverse problems for such systems without approximations to underlying transport dynamics. We are implementing those algorithms for various scenarios within a general purpose differentiable programming C++17 library NOA
Making Weak Memory Models Fair
2021
O. Lahav, E. Namakonov, J. Oberhauser, A. Podkopaev, V. Vafeiadis
Distinguished Paper Award at OOPSLA'21
Are Cryptocurrency Markets Running Behind the Fed? A Significant Shift in Crypto Markets Microstructure
2021
Roland Grinis, Andrei Kislitsyn, Ilia Drozdov, Konstantin Shulga
In this research we show that 2021 became a year when crypto markets significantly adjusted behavioural patterns, showing an increased institutional influence.
We have come to two key conclusions that might indicate significant changes in the cryptocurrency market microstructure.
Firstly, in contrast to recent research, we note that BTC/USD was sensitive to major Fed policy announcements in Q2-Q3 2021 similar to main asset classes.
Secondly, OTC Liquidity Providers tend to provide twice as narrow spreads in comparison to Centralised Crypto Exchanges during market volatility related to macroeconomic news.
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
Automatic generation of reviews of scientific papers
十二月 2020
Anna Nikiforovskaya, Nikolai Kapralov, Anna Vlasova, Oleg Shpynov, Aleksei Shpilman
Comprehensive Profiling of an Aging Immune System Reveals Clonal GZMK+ CD8+ T Cells as Conserved Hallmark of Inflammaging
十二月 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
Lipophilicity Prediction with Multitask Learning and Molecular Substructures Representation
十二月 2020
Nina Lukashina, Alisa Alenicheva, Elizaveta Vlasova, Artem Kondiukov, Aigul Khakimova, Emil Magerramov, Nikita Churikov, Aleksei Shpilman
Diverse Pairs of Matchings
十二月 2020
Fedor V. Fomin, Petr A. Golovach, Lars Jaffke, Geevarghese Philip, Danil Sagunov
ISAAC 2020: The 31st International Symposium on Algorithms and Computation
Enhanced epigenetic profiling of classical human monocytes reveals a specific signature of healthy aging in the DNA methylome
十一月 2020
Irina Shchukina, Juhi Bagaitkar, Oleg Shpynov, Ekaterina Loginicheva, Sofia Porter, Denis A. Mogilenko, Erica Wolin, Patrick Collins, German Demidov, Mykyta Artomov, Konstantin Zaitsev, Sviatoslav Sidorov, Christina Camell, Monika Bambouskova, Laura Arthur, Amanda Swain, Alexandra Panteleeva, Aleksei Dievskii, Evgeny Kurbatsky, Petr Tsurinov, Roman Chernyatchik, Vishwa Deep Dixit, Marko Jovanovic, Sheila A. Stewart, Mark J. Daly, Sergey Dmitriev, Eugene M. Oltz & Maxim N. Artyomov
Pandemic Programming: How COVID-19 Affects Software Developers And How Their Organizations Can Help
九月 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
The Post Language: Process-Oriented Extension for IEC 61131-3 Structured Text
九月 2020
V. Bashev, I. Anureev and V. Zyubin
Comparing Block-based Programming Models for Two-armed Robots
九月 2020
Nico Ritschel, Vladimir Kovalenko, Reid Holmes, Ron Garcia, and David C. Shepherd
Transformer-Based Open Domain Biomedical Question Answering at BioASQ8 Challenge
九月 2020
Ashot Kazaryan, Uladzislau Sazanovich, Vladislav Belyaev
Sosed: a Tool for Finding Similar Software Projects
九月 2020
Egor Bogomolov, Yaroslav Golubev, Artyom Lobanov, Vladimir Kovalenko and Timofey Bryksin
Prototype of a segmented scintillator detector for particle flux measurements on spacecraft
九月 2020
Building Large k-Cores from Sparse Graphs
八月 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
八月 2020
Automated Cross-Language Integration Based on Formal Model of Components
八月 2020
Artyom Aleksyuk, Vladimir Itsykson
Context-Free Path Querying by Kronecker Product
八月 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.
Recursive Expressions for SPARQL Property Paths
八月 2020
Ciro Medeiros, Umberto Costa, Semyon Grigorev, Martin A. Musicante
Verifying Reflex-software with SPIN: Hand Dryer Case Study
七月 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
七月 2020
Mikita Sazanovich, Konstantin Chaika, Kirill Krinkin, Aleksei Shpilman
Single-cell RNA-seq analysis of human CSF microglia and myeloid cells in neuroinflammation
七月 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
七月 2020
Evgenii Moiseenko, Anton Podkopaev, Ori Lahav, Orestis Melkonian, Viktor Vafeiadis
Using Large-Scale Anomaly Detection on Code to Improve Kotlin Compiler
六月 2020
Timofey Bryksin, Victor Petukhov, Ilya Alexin, Stanislav Prikhodko, Alexey Shpilman, Vladimir Kovalenko and Nikita Povarov
Visualization of Methods Changeability Based on VCS Data
六月 2020
Sergey Svitkov and Timofey Bryksin
Recommendation of Move Method Refactoring Using Path-Based Representation of Code
六月 2020
Zarina Kurbatova, Ivan Veselov, Yaroslav Golubev and Timofey Bryksin
A Study of Potential Code Borrowing and License Violations in Java Projects on GitHub
六月 2020
Yaroslav Golubev, Maria Eliseeva, Nikita Povarov and Timofey Bryksin
Repairing and Mechanising the JavaScript Relaxed Memory Model
六月 2020
Conrad Watt, Christopher Pulte, Anton Podkopaev, Guillaume Barbier, Stephen Dolan, Shaked Flur, Jean Pichon-Pharabod Shu-yu Guo
Context-Free Path Querying via Matrix Equations
六月 2020
Yuliya Susanina
Context-Free Path Querying with Single-Path Semantics by Matrix Multiplication
六月 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.
Modification of Valiant’s algorithm for the string-matching problem
六月 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.
Promising 2.0: Global Optimizations in Relaxed Memory Concurrency
六月 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
六月 2020
Vladimir Kovalenko, Egor Bogomolov, Timofey Bryksin and Alberto Bacchelli
Epigenetic aging of classical monocytes from healthy individuals
五月 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
Single cell RNA sequencing in atherosclerosis research
四月 2020
Jesse W Williams, Holger Winkels, Christopher P Durant, Konstantin Zaitsev, Yanal Ghosheh, Klaus Ley
Caching Intermediates in a Column-Store with Late Materialization: An Initial Study
四月 2020
Optimizing GPU programs by partial evaluation
二月 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
二月 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: Testing concurrency on the JVM with Lincheck
二月 2020
Nikita Koval, Maria Sokolova, Alexander Fedorov, Dan Alistarh, Dmitry Tsitelov
POSTER: Restricted memory-friendly lock-free bounded queues
二月 2020
Nikita Koval, Vitaly Aksenov
Human and mouse single-nucleus transcriptomics reveal TREM2-dependent and TREM2-independent cellular responses in Alzheimer’s disease
一月 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
一月 2020
Fedor Part and Iddo Tzameret
Research Challenges Of Industry 4.0
一月 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
一月 2020
Path Querying with Conjunctive Grammars by Matrix Multiplication
十二月 2019
R. Azimov and S. Grigorev
Path querying with conjunctive grammars is known to be undecidable. There is an algorithm for path querying with linear conjunctive grammars which provides an over-approximation of the result, but there is no algorithm for arbitrary conjunctive grammars. We propose the first algorithm for path querying with arbitrary conjunctive grammars. The proposed algorithm is matrix-based and allows us to efficiently apply GPGPU computing techniques and other optimizations for matrix operations.
Compilation of OCaml memory model into Power (In Russian)
十二月 2019
Egor Namakonov, Anton Podkopaev
Kotless: a Serverless Framework for Kotlin
十一月 2019
Vladislav Tankov, Yaroslav Golubev, andTimofey Bryksin
Artificial Intelligence for Prosthetics-challenge solutions
十一月 2019
Łukasz Kidziński, Carmichael Ong, Sharada Prasanna Mohanty, Jennifer Hicks, Sean F Carroll, Bo Zhou, Hongsheng Zeng, Fan Wang, Rongzhong Lian, Hao Tian, Wojciech Jaśkowski, Garrett Andersen, Odd Rune Lykkebø, Nihat Engin Toklu, Pranav Shyam, Rupesh Kumar Srivastava, Sergey Kolesnikov, Oleksii Hrinchuk, Anton Pechenko, Mattias Ljungström, Zhen Wang, Xu Hu, Zehong Hu, Minghui Qiu, Jun Huang, Aleksei Shpilman, Ivan Sosin, Oleg Svidchenko, Aleksandra Malysheva, Daniel Kudenko, Lance Rane, Aditya Bhatt, Zhengfei Wang, Penghui Qi, Zeyang Yu, Peng Peng, Quan Yuan, Wenxin Li, Yunsheng Tian, Ruihan Yang, Pingchuan Ma, Shauharda Khadka, Somdeb Majumdar, Zach Dwiel, Yinyin Liu, Evren Tumer, Jeremy Watson, Marcel Salathé, Sergey Levine, Scott Delp
Improved Architecture of Artificial Neural Network for Secondary Structure Analysis
十一月 2019
Semyon Grigorev and Polina Lunina
Lost in Conversation: A Conversational Agent Based on the Transformer and Transfer Learning
十一月 2019
Sergey Golovanov, Alexander Tselousov, Rauf Kurbanov, Sergey I. Nikolenko
End-to-end Deep Object Tracking with Circular Loss Function for Rotated Bounding Box
十月 2019
Vladislav Belyaev, Aleksandra Malysheva, Aleksei Shpilman
Implementing Window Functions in a Column-Store with Late Materialization
十月 2019
Nadezhda Mukhaleva, Valentin Grigorev and George Chernishev
Property Directed Inference of Relational Invariants
十月 2019
D. Mordvinov, G. Fedyukovich
Optimizing UAV-to-Car Communications in 3D Environments Through Dynamic UAV Positioning
十月 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.
MAGNet: Multi-agent Graph Network for Deep Multi-agent Reinforcement Learning
十月 2019
Aleksandra Malysheva, Daniel Kudenko, Aleksei Shpilman
On Happy Colorings, Cuts, and Structural Parameterizations
九月 2019
Ivan Bliznets and Danil Sagunov
Unsupervised dialogue intent detection via hierarchical topic model
九月 2019
Artem Popov, Victor Bulatov, Darya Polyudova, Eugenia Veselova
Smart Caching for Efficient Functional Dependency Discovery
九月 2019
Anastasia Birillo and Nikita Bobrov
Distributed Classification of Text Streams: Limitations, Challenges, and Solutions
九月 2019
Artem Trofimov, Nikita Sokolov, Mikhail Shavkunov, Igor Kuralenok, and Boris Novikov
Toxoplasma gondii infection drives conversion of NK cells into ILC1-like cells
八月 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
Subsets of ILC3− ILC1-like cells generate a diversity spectrum of innate lymphoid cells in human mucosal tissues
八月 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
Lower Bounds for the Happy Coloring Problems
七月 2019
Ivan Bliznets and Danil Sagunov
On Satisfiability of Nominal Type Systems With Variance
七月 2019
A. Misonizhnik, D. Mordvinov
Delivery, consistency, and determinism: rethinking guarantees in distributed stream processing
七月 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
七月 2019
Artem Pavlenko, Maxim Buzdalov, Vladimir Ulyantsev
Two-Step Deductive Verification of Control Software Using Reflex
七月 2019
Anureev I.S., Garanina N.O., Liakh T.V., Rozov A.S., Zyubin V.E., Gorlatch S
Log-based Reading Speed Prediction: a Case Study on War and Peace
七月 2019
Igor Tukh, Pavel Braslavski, and Kseniya Buraya
Large-scale transfer learning for natural language generation
七月 2019
Sergey Golovanov, Rauf Kurbanov, Sergey Nikolenko, Kyryl Truskovskyi, Alexander Tselousov, Thomas Wolf
Bioinformatics Institute 2018/19 project abstracts
六月 2019
O. Shpynov, A. Dievskii, P. Tsurinov, et al
Automatic Classification of Error Types in Solutions to Programming Assignments at Online Learning Platform
六月 2019
Artyom Lobanov, Timofey Bryksin, and Alexey Shpilman
Statistical time analysis for regular events with high count rate
六月 2019
Word embedding in form of symmetric and skew-symmetric operator
六月 2019
Ekaterina Koshchenko, Igor Kuralenok
Evaluation of the Context-Free Path Querying Algorithm Based on Matrix Multiplication
六月 2019
Nikita Mishin, Iaroslav Sokolov, Egor Spirin, Vladimir Kutuev, Egor Nemchinov, Sergey Gorbatyuk, and Semyon Grigorev
Smart Contract Design Meets State Machine Synthesis: Case Studies
六月 2019
Dmitrii Suvorov, Vladimir Ulyantsev
Bar-Hillel Theorem Mechanization in Coq
六月 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.
Complete deconvolution of cellular mixtures based on linearity of transcriptional signatures
五月 2019
Konstantin Zaitsev, Monika Bambouskova, Amanda Swain, Maxim N Artyomov
Evaluation of Move Method Refactorings Recommendation Algorithms: Are We Doing It Right?
五月 2019
Evgenii Novozhilov, Ivan Veselov, Mikhail Pravilov, and Timofey Bryksin
Words and Topics: Content Representations for Book Recommendation
五月 2019
Larissa Kolesnichenko, Pavel Braslavski
PathMiner: A Library for Mining of Path-Based Representations of Code
五月 2019
Vladimir Kovalenko, Egor Bogomolov, Timofey Bryksin, and Alberto Bacchelli
Mobile Robot Pose Estimation Based on Position/Velocity Sensor Fusion
四月 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
Towards safe cyber-physical systems: the Reflex language and its transformational semantics
四月 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
四月 2019
Artem Pavlenko, Alexander Semenov, Vladimir Ulyantsev
Multi-Agent SLAM Approaches for Low-Cost Platforms
四月 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
四月 2019
Alexander Slesarev, Viacheslav Galaktionov, Nikita Bobrov, George Chernishev
Designing a DBMS development course with automatic assignment evaluation
四月 2019
Viacheslav Galaktionov, George Chernishev
LKB1 expressed in dendritic cells governs the development and expansion of thymus-derived regulatory T cells
四月 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
Efficient Symmetry Breaking for SAT-Based Minimum DFA Inference
三月 2019
Ilya Zakirzyanov, Antonio Morgado, Alexey Ignatiev, Vladimir Ulyantsev, Joao Marques-Silva
The Composition of Dense Neural Networks and Formal Grammars for Secondary Structure Analysis
三月 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.
Path querying on acyclic graphs using Boolean grammars
一月 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.
Interferon lambda protects the female reproductive tract against Zika virus infection
一月 2019
Elizabeth A Caine, Suzanne M Scheaffer, Nitin Arora, Konstantin Zaitsev, Maxim N Artyomov, Carolyn B Coyne, Kelle H Moley, Michael S Diamond
Bridging the Gap Between Programming Languages and Hardware Weak Memory Models
一月 2019
Anton Podkopaev, Ori Lahav, Viktor Vafeiadis
Project page: http://plv.mpi-sws.org/imm/
Function block finite-state model identification using SAT and CSP solvers
一月 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
一月 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
Designing Proton and Electron Detector for Monitoring Solar Cosmic Rays
一月 2019
Solving Target Set Selection with Bounded Thresholds Faster than 2^n
一月 2019
Ivan Bliznets and Danil Sagunov
GADMA: Genetic algorithm for inferring demographic history of multiple populations from allele frequency spectrum data
一月 2019
Ekaterina Noskova, Vladimir Ulyantsev, Klaus-Peter Koepfli, Stephen J O'brien, Pavel Dobrynin
An Application of Test-Driven Development Methodology into the Process of Hardware Creation (a View from a Software Perspective)
2019
Staroletov S., Fedorov V
Direct Search for keV-Sterile Neutrino in Nuclear Decay. Troitsk Nu-Mass (Scientific Summary)
2019
A Survey of Smart Contract Safety and Programming Languages
2019
A. Tyurin, I. Tyulyandin, V. Maltsev, I. Kirilenko, and D. Berezun
GENOMIC DATA ACCESS SERVICE
2019
Kalinin Vladislav Il'ich, Cherniatchik Roman Igorevich
Constructing verification-oriented domain-specific process ontologies
2019
Garanina N.O., Anureev I.S., Zyubin V.E
Relational Interpreters for Search Problems
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
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
Survey on Blockchain Technology, Consensus Algorithms, and Alternative Distributed Technologies
2019
N. Mishin, A. Fefelov, V. Bushev, I. Kirilenko, and D. Berezun
Архитектура программных систем в контексте технологий Индустрии 4.0
2019
К. В. Чайка , К. В. Кринкин , Ар. Ю. Филатов , Ан. Ю. Филатов
Исследование критериев соответствия текста научному стилю
2019
Блеес Э.И., Заславский М.М.
Организация дисциплины "Введение в программную инженерию" как способ комплексного погружения студентов в специальность
2019
Берленко Т.А., Заславский М.М, Чайка К.В., Кринкин К.В.
Applying Model Checking Approach with Floating Point Arithmetic for Verification of Air Collision Avoidance Maneuver Hybrid Model
2019
Measurements with a TRISTAN prototype detector system at the "troitsk nu-mass" experiment in integral and differential mode
2019
Path planning for UAV search using growing area algorithm and clustering
2019
Alexander Fedorov
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
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
ReduKtor: How We Stopped Worrying About Bugs in Kotlin Compiler
2019
Daniil Stepanov, Marat Akhin, Mikhail Belyaev
Constructive Negation for MiniKanren
2019
Certified Semantics for miniKanren
2019
Formalism and Language Tools for Specification of the Semantics of Software Libraries
十二月 2018
V. Itsykson.
Semantics-Driven Migration of Java Programs: A Practical Application
十二月 2018
Aleksyuk, A.O., Itsykson, V.M.
Deep Multi-Agent Reinforcement Learning with Relevance Graphs
十二月 2018
Aleksandra Malysheva, Tegg Taekyong Sung, Chae-Bong Sohn, Daniel Kudenko, Aleksei Shpilman
Framework for Deep Reinforcement Learning with GPU-CPU Multiprocessing
十二月 2018
Ivan Sosin, Oleg Svidchenko, Aleksandra Malysheva, Daniel Kudenko, Aleksei Shpilman
A comparative evaluation of machine learning methods for robot navigation through human crowds
十二月 2018
A. Gaydashenko, D. Kudenko, A. Shpilman
Rainbow World Models
十一月 2018
V. Chockalingam, T. Sung, F. Behbahani, R. Gargeya, A. Sivanantham, A. Malysheva
Molecular Sets (MOSES): A Benchmarking Platform for Molecular Generation Models
十一月 2018
Daniil Polykovskiy, Alexander Zhebrak, Benjamin Sanchez-Lengeling, Sergey Golovanov, Oktai Tatanov, Stanislav Belyaev, Rauf Kurbanov, Aleksey Artamonov, Vladimir Aladinskiy, Mark Veselov, Artur Kadurin, Sergey Nikolenko, Alan Aspuru-Guzik, Alex Zhavoronkov
Learning to Run with Potential-Based Reward Shaping and Demonstrations from Video Data
十一月 2018
A. Malysheva, D. Kudenko, A. Shpilman
Upper and Lower Bounds for Different Parameterizations of (n,3)-MAXSAT
十一月 2018
Tatiana Belova and Ivan Bliznets
Continuous Gesture Recognition from sEMG Sensor Data with Recurrent Neural Networks and Adversarial Domain Adaptation
十一月 2018
I. Sosin, D. Kudenko, A. Shpilman
PosDB — прототип распределенной дисковой колоночной СУБД.
十一月 2018
High-Dimensional Analysis Delineates Myeloid and Lymphoid Compartment Remodeling during Successful Immune-Checkpoint Cancer Therapy
十月 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
十月 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
Construction of Efficient V-Gram Dictionary for Sequential Data Analysis
十月 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
Stierlitz Meets SVM: Humor Detection in Russian
十月 2018
Anton Ermilov, Natasha Murashkina, Valeria Goryacheva, Pavel Braslavski
Cleaning up after a Party: Post-processing Thesaurus Crowdsourced Data
十月 2018
Oksana Antropova, Elena Arslanova, Maxim Shaposhnikov, Pavel Braslavski, Mikhail Mukhin
Personal Names Popularity Estimation and its Application to Record Linkage
九月 2018
Ksenia Zhagorina, Pavel Braslavski, Vladimir Gusev
Deterministic Model for Distributed Speculative Stream Processing
九月 2018
Igor Kuralenok, Artem Trofimov, Nikita Marshalkin, Boris Novikov
Automatic Recommendation of Move Method Refactorings Using Clustering Ensembles
九月 2018
Timofey Bryksin, Evgenii Novozhilov, and Aleksei Shpilman
Consistency Maintenance in Distributed Analytical Stream Processing
九月 2018
Artem Trofimov
Parser combinators for context-free path querying
九月 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.
Extended Abstract: F# OpenCL Type Provider
九月 2018
Kirill Smirenko, Semyon Grigorev
Extended abstract at TyDe 2018 (at ICFP).
Detecting Near Duplicates in Software Documentation
九月 2018
D.V. Luciv, D.V. Koznov, G.A. Chernishev, A.N. Terekhov, K.Y. Romanovsky, D.A. Grigoriev
Counterexample-guided inference of controller logic from execution traces and temporal formulas
九月 2018
Daniil Chivilikhin, Igor Buzhinsky, Vladimir Ulyantsev, Andrey Stankevich, Anatoly Shalyto, Valeriy Vyatkin
Mining File Histories: Should We Consider Branches?
九月 2018
Vladimir Kovalenko, Fabio Palomba, and Alberto Bacchelli
Does Reviewer Recommendation Help Developers?
九月 2018
Vladimir Kovalenko, Nava Tintarev, Evgeny Pasynkov, Christian Bird, and Alberto Bacchelli
An Ontology of Specification Patterns for Verification of Concurrent Systems
九月 2018
Garanina N. O., Zyubin V., Lyakh T., Gorlatch S
POSTER: Semi-supervised solution for robust peak calling of Low Input ChIP-Seq
九月 2018
Oleg Shpynov, Aleksei Dievskii, Roman Chernyatchik, Evgeny Kurbatsky, Petr Tsurinov and Maxim Artyomov
Relational Programming with memoization and negation (In Russian)
八月 2018
E. Moiseenko, A. Podkopaev
Active Learning of Formal Plant Models For Cyber-Physical Systems
七月 2018
Polina Ovsiannikova, Daniil Chivilikhin, Vladimir Ulyantsev, Andrey Stankevich, Ilya Zakirzyanov, Valeriy Vyatkin, Anatoly Shalyto
Detecting Anomalies in Kotlin Code
七月 2018
Timofey Bryksin, Victor Petukhov, Kirill Smirenko, and Nikita Povarov
Learning to Run with Reward Shaping from Video Data
七月 2018
A. Malysheva, A. Shpilman, D. Kudenko
POSTER: Semi-supervised solution for peak calling
七月 2018
Oleg Shpynov, Aleksei Dievskii, Roman Chernyatchik, Evgeny Kurbatsky, Petr Tsurinov, Maxim N. Artyomov
Building Detection from Satellite Imagery Using a Composite Loss Function
六月 2018
S. Golovanov, R. Kurbanov, A. Artamonov, A. Davydow, S. Nikolenko
Context-free path querying by matrix multiplication
六月 2018
Rustam Azimov, Semyon Grigorev
FlameStream: Model and Runtime for Distributed Stream Processing
六月 2018
Igor Kuralenok, Artem Trofimov, Nikita Marshalkin, Boris Novikov
Automated Refactoring of Object-Oriented Code Using Clustering Ensembles
六月 2018
Timofey Bryskin, Alexey Shpilman, and Daniel Kudenko
Code Review for Newcomers: Is It Different?
五月 2018
Vladimir Kovalenko and Alberto Bacchelli
Data Distribution Services Performance Evaluation Framework
五月 2018
K. Krinkin, An. Filatov, Ar. Filatov, O. Kurishev, A.Lyanguzov
Evaluation of Modern Laser Based Indoor SLAM Algorithms
五月 2018
Kirill Krinkin, Anton Filatov, Artyom Filatov, A. Huletski, D. Kartashov
Bhlhe40 is an essential repressor of IL-10 during Mycobacterium tuberculosis infection
五月 2018
Jeremy P. Huynh, Chih-Chung Lin, Jacqueline M. Kimmey, Nicholas N. Jarjour, Elizabeth A. Schwarzkopf, Tara R. Bradstreet, Irina Shchukina, Oleg Shpynov, Casey T. Weaver, Reshma Taneja, Maxim N. Artyomov, Brian T. Edelson, Christina L. Stallings
An Immunocompetent Mouse Model of Zika Virus Infection
五月 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]
四月 2018
Valery Isaev
On-the-Fly Filtering of Aggregation Results in Column-Stores
四月 2018
Anastasia Tuchina, Valentin Grigorev, George Chernishev
Data-Based Code Synthesis in IntelliJ IDEA
四月 2018
Vladislav Tankov and Timofey Bryksin
BFS Enumeration for Breaking Symmetries in Graphs
四月 2018
Vyacheslav Moklev, Vladimir Ulyantsev
Electrophilic properties of itaconate and derivatives regulate the IκBζ–ATF3 inflammatory axis
四月 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
An optimistic approach to handle out-of-order events within analytical stream processing
四月 2018
Igor Kuralenok, Nikita Marshalkin, Artem Trofimov, Boris Novikov
Irg1 expression in myeloid cells prevents immunopathology during M. tuberculosis infection
三月 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
Targeted sequencing analysis of ACVR2A gene identifies novel risk variants associated with preeclampsia
三月 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
Exact finite-state machine identification from scenarios and temporal properties
二月 2018
Vladimir Ulyantsev, Igor Buzhinsky, Anatoly Shalyto
Draft Genome Sequence of Coxiella burnetii Historical Strain Leningrad-2, Isolated from Blood of a Patient with Acute Q Fever in Saint Petersburg, Russia
一月 2018
Olga Freylikhman, Artem Kiselev, Sergey Kazakov, Alexey Sergushichev, Yulia Panferova, Nikolay Tokarevich, Anna Kostareva
Processing of higher count rates in Troitsk nu-mass experiment
一月 2018
PosDB: An Architecture Overview
一月 2018
George Chernishev, Viacheslav Galaktionov, Valentin Grigorev, Evgeniy Klyuchikov, Kirill Smirnov
Behavioural realism and the activation of aggressive concepts in violent video games
一月 2018
D. Zendle, D. Kudenko, P. Cairns
DataForge: Modular platform for data storage and analysis
一月 2018
Opposing Roles of Dendritic Cell Subsets in Experimental GN
一月 2018
Sebastian Brähler, Bernd H. Zinselmeyer, Saravanan Raju, Maximilian Nitschke, Hani Suleiman, Brian T. Saunders, Michael W. Johnson, Alexander M.C. Böhner, Susanne F. Viehmann, Derek J. Theisen, Nicole M. Kretzer, Carlos G. Briseño, Konstantin Zaitsev, Olga Ornatsky, Qing Chang, Javier A. Carrero, Jeffrey B. Kopp, Maxim N. Artyomov, Christian Kurts, Kenneth M. Murphy, Jeffrey H. Miner and Andrey S. Shaw
Application of Turchin's method of statistical regularization
一月 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
Reflex Language: a Practical Notation for Cyber-Physical Systems
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
Dynamic Selection of Environmental Variables to Improve the Prodiction of Aphid Phenology: A Machine Learning Approach
2018
P. Holloway, D. Kudenko, J. Bell
On fibrant objects in model categories
2018
Valery Isaev
SMT-based analysis of constraints on .NET types
2018
Aleksandr Misonizhnik and Dmitry Mordvinov
A Control Flow Graph Based Approach to Make the Verification of Cyber-Physical Systems Using KeYmaera Easier
2018
iSynchronizer: A Tool for Extracting, Integration and Analysis of MovieLens and IMDb Datasets
2018
N. Al-Roussais, D. Kudenko
Basics of Software Testing and Verification [in Russian]
2018
Основы тестирования и верификации программного обеспечения
Автоматизация проверки корректности использования программных библиотек
2018
М. Гусев, В. Ицыксон
LibSL — язык спецификации компонентов программного обеспечения
2018
Ицыксон В.М.
Обзор динамических методов восстановления частичных спецификаций программных библиотек на основе анализа программных проектов
2018
Егорова И.С., Ицыксон В.М.
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
Сравнение современных лазерных алгоритмов SLAM
2018
Ар. Ю. Филатов, Ан. Ю. Филатов, А. Т. Гулецкий, Д. А. Карташов, К. В. Кринкин
Методы сравнения качества 2D-SLAM-алгоритмов
2018
Ар. Ю. Филатов, Ан. Ю. Филатов, К. В. Кринкин, Б. Чен, Д. Молодан
Архитектура платформы для создания мобильных приложений с OUTDOOR-квестами
2018
Мокрецов Р. М., Заславский М. М.
Generator of 2D laser scan based datasets for ROS
2018
Arthur Huletski, Dmitriy Kartashov and Kirill Krinkin
Assurance in Reinforcement Learning Using Quantitative Verification
2018
G. Mason, R. Calinescu, D. Kudenko, A. Banks
Subexponential Parameterized Algorithm for Interval Completion
2018
Ivan Bliznets, Fedor V. Fomin, Marcin Pilipczuk, Michal Pilipczuk
Hardness of Approximation for H-free Edge Modification Problems
2018
Ivan Bliznets, Marek Cygan, Pawel Komosa, Michal Pilipczuk
Improving Refutational Completeness of Relational Search via Divergence Test
2018
On compilation correctness for a subset of a promising memory model to the ARMv8.3 memory model (In Russian)
十二月 2017
A. Podkopaev, O. Lahav, V. Vafeiadis
Applying reinforcement learning and supervised learning techniques to play Hearthstone
十二月 2017
Ilya Kachalsky, Ilya Zakirzyanov, Vladimir Ulyantsev
Deep Learning of Cell Classification using Microscope Images of Intracellular Microtubule Networks
十二月 2017
A. Shpilman, D. Boikiy, M. Plyakova, D. Kudenko, A. Burakov, E. Nadezhdina
Context-Free Path Querying with Structural Representation of Result
十二月 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.
Promising Compilation to ARMv8.3 (In Russian)
十二月 2017
A. Podkopaev, O. Lahav, V. Vafeiadis
VinySLAM: An indoor SLAM method for low-cost platforms based on the Transferable Belief Model
九月 2017
Arthur Huletski; Dmitriy Kartashov; Kirill Krinkin
Finding all minimum-size DFA consistent with given examples: SAT-based approach
九月 2017
Ilya Zakirzyanov, Anatoly Shalyto, Vladimir Ulyantsev
Borealis Bounded Model Checker: The Coming of Age Story
九月 2017
Marat Akhin, Mikhail Belyaev, Vladimir Itsykson
Model structures on categories of models of type theories
九月 2017
Valery Isaev
Interpretable probabilistic embeddings: bridging the gap between topic models and neural networks
九月 2017
Anna Potapenko, Artem Popov, Konstantin Vorontsov
Closed-loop verification of a compensating group drive model using synthesized formal plant model
九月 2017
Polina Ovsiannikova, Daniil Chivilikhin, Vladimir Ulyantsev, Anatoly Shalyto
2D SLAM Quality Evaluation Methods
八月 2017
An. Filatov, Ar. Filatov, K. Krinkin, B. Chen, D. Molodan
The microbial metabolite desaminotyrosine protects from influenza through type I interferon
八月 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
八月 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
Plant trace generation for formal plant model inference: methods and case study
七月 2017
Dmitry Avdyukhin, Daniil Chivilikhin, Georgiy Korneev, Vladimir Ulyantsev, Anatoly Shalyto
Evaluation of Heavy-tailed Mutation Operator on Maximum Flow Test Generation Problem
七月 2017
Mironovich V., Buzdalov M.
CSP-based inference of function block finite-state models from execution traces
七月 2017
Daniil Chivilikhin, Vladimir Ulyantsev, Anatoly Shalyto, Valeriy Vyatkin
Promising Compilation to ARMv8 POP
六月 2017
Anton Podkopaev, Ori Lahav, Viktor Vafeiadis
Structural basis for human respiratory syncytial virus NS1-mediated modulation of host responses
六月 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
PosDB: a Distributed Column-Store Engine
六月 2017
George Chernishev, Viacheslav Galaktionov, Valentin Grigorev, Evgeniy Klyuchikov, Kirill Smirnov
A study of PosDB Performance in a Distributed Environment
四月 2017
George Chernishev, Vyacheslav Galaktionov, Valentin Grigorev, Evgeniy Klyuchikov, Kirill Smirnov
A survey of database dependency concepts
四月 2017
Nikita Bobrov, Anastasia Birillo, George Chernishev.
Genomic landscape of high-grade meningiomas
四月 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
四月 2017
Javlon E. Isomurodov, Alexander A. Loboda, Alexey A. Sergushichev
Compiling untyped lambda calculus to lower-level code by game semantics and partial evaluation
一月 2017
Daniil Berezun and Neil D. Jones
MetaCherchant-an algorithm for analyzing genomic environment of antibiotic resistance gene in gut microbiota
一月 2017
E. I. Olekhnovich, A. T. Vasilyev, V. I. Ulyantsev, A. V. Tyakht
An evaluation of TANE algorithm for functional dependency detection
2017
Nikita Bobrov, George Chernishev, Dmitry Grigoriev, and Boris Novikov
Untyped Lambda-Calculus Normalization by Traversals (in Russian)
2017
Berezun D.A.
Chaordic Learning: A Case Study
2017
Stephan Krusche, Irina Camilleri, Andreas Seitz, Cecil Wöbker, Kirill Krinkin and Bernd Bruegge
Implementing common table expressions for MariaDB
2017
G. Shalygina and B. Novikov
Distributed Analysis of the BMC Kind: Making It Fit the Tornado Supercomputer
2017
Azat Abdullin, Daniil Stepanov, Marat Akhin
How to make visual modeling more attractive to software developers
2017
Andrey Terekhov, Timofey Bryksin, Yurii Litvinov
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
TRIK Studio: Technical Introduction
2017
Dmitry Mordvinov, Yurii Litvinov, Timofey Bryksin
Разработка аспектно-ориентированного расширения для языка Kotlin
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
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
Verifying Safety of Functional Programs with Rosette/Unbound
2017
Dmitry Mordvinov and Grigory Fedyukovich
Обзор статических методов восстановления частичных спецификаций программных библиотек на основе анализа программных проектов
2017
И.С. Егорова , В.М. Ицыксон.
Семантически-ориентированная миграция Java-программ: опыт практического применения
2017
Алексюк А.О., Ицыксон В.М.
Complete Head Linear Reduction (in Russian)
2017
Berezun D.A.
Метод обработки в реальном времени открытых данных, содержащих гео-контекстную разметку
2017
Заславский М. М., Баландин С. И., Блеес Э. И.
Workload-independent data-driven vertical partitioning
2017
Nikita Bobrov, George Chernishev, and Boris Novikov
Формализм и языковые инструменты для описания семантики программных библиотек
十二月 2016
Ицыксон В.М.
Full Automated Continuous Integration and Testing Infrastructure for Maxscale and MariaDB
十一月 2016
Zaslavskiy M., Kaluzhniy A., Berlenko T., Kinyaev I., Krinkin K., Turenko T
The Scan Matchers Research and Comparison: Monte-Carlo, Olson and Hough
十一月 2016
K. Krinkin, An. Filatov, Ar. Filatov, A. Huletski D. Kartashov
Cluster Based Approach to Minimize Delay in Energy Aware Routing for IEEE 802.11s Wireless Mesh Networks Under Mobility Conditions
十一月 2016
Sp. S. Prakash Tn. Nagabhushan, K. Krinkin
Matrix Clustering Algorithms for Vertical Partitioning Problem: an Initial Performance Study
十月 2016
Vyacheslav Galaktionov, George Chernishev, Boris Novikov, and Dmitry Grigoriev
TinySLAM Improvements for Indoor Navigation
十月 2016
A. Huletski, D. Kartashov, K. Krinkin
A Non-repetitive Logic for Verification of Dynamic Memory with Explicit Heap Conjunction and Disjunction
十月 2016
Haberland R., Krinkin K.
Role of Mobile OS and LBS Platform in Design of e-Tourism Smart Services
十月 2016
Balandina E.K., Balandin S.I., Koucheryavy Y.A., Zaslavskii M.M.
POSTER: Systems Level Characterization of the Epigenomic Changes During Healthy Aging in the Human Blood Monocyte
十月 2016
Bagaitkar Juhi, Bambouskova Monica, Oltz Eugene, Porter Sofia, Collins Patrick, Shpynov Oleg, German Demidov, Konstantin Zaytsev
Integrating immunometabolism and macrophage diversity
十月 2016
Maxim N. Artyomov, Alexey Sergushichev, Joel D. Schilling
A SLAM research framework for ROS
十月 2016
A. Huletski, D. Kartashov
The SLAM Constructor Framework for ROS [Poster presentation]
十月 2016
A. Huletski, D. Kartashov, K. Krinkin
By the power of SMT! Mining Function Contracts to Better Bounded Model Checking
九月 2016
Azat Abdullin, Marat Akhin
Certified Grammar Transformation to Chomsky Normal Form in F*
八月 2016
Marina Polubelova, Sergey Bozhko, Semyon Grigorev
Solving Generalized Maximum-Weight Connected Subgraph Problem for Network Enrichment Analysis
八月 2016
Alexander A. Loboda, Maxim N. Artyomov, Alexey A. Sergushichev
Itaconate Links Inhibition of Succinate Dehydrogenase with Macrophage Metabolic Remodeling and Regulation of Inflammation
七月 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
The Reflex Language Usage to Automate the Large Solar Vacuum Telescope
六月 2016
Tatiana Liah, Vladimir Zyubin
Speed convergence of Fourier series of special form
六月 2016
A. Kolpakov, An. Filatov, Ar. Filatov
Operational Aspects of C/C++ Concurrency
六月 2016
Anton Podkopaev, Ilya Sergey, Aleksandar Nanevski
Relaxed Parsing of Regular Approximations of String-Embedded Languages
六月 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.
MetaFast: fast reference-free graph-based comparison of shotgun metagenomic data
六月 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
四月 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
Abstract predicate entailment over points-to heaplets is syntax recognition
四月 2016
Haberland R., Krinkin K., Ivanovskiy S.
The Heaviside step function approximation with Taylor polynomial of exponent
四月 2016
A. Kolpakov, Ar. Filatov, An. Filatov
Modified Ant Colony Algorithm for Constructing Finite State Machines from Execution Scenarios and Temporal Formulas
三月 2016
Chivilikhin D., Ulyantsev V., Shalyto A.
Assessment of k-mer spectrum applicability for metagenomic dissimilarity analysis
一月 2016
Dubinkina V.B., Ischenko D.S., Ulyantsev V.I., Tyakht A.V., Alexeev D.G.
Верификация объектно-ориентированных программ с динамической памятью на основе ссылочной модели
一月 2016
Р. Хаберланд, С. А. Ивановский, К. В. Кринкин
Clone detection in reuse of software technical documentation
2016
Koznov, D., Luciv, D., Basit, H.A., Lieh, O.E., Smirnov, M.
Survey on formal methods in robotics
2016
D. A. Mordvinov, Yu. V. Litvinov
Lexical Analysis of Dynamically Generated String Expressions
2016
Marina Polubelova, Semyon Grigorev
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
Verified operational transformation for trees
2016
Sergey Sinchuk , Pavel Chuprikov and Konstantin Solomatov
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
Discovering geo-magnetic anomalies: A clustering-based approach
2016
E. Volzhina, A. Chudin, B. Novikov, N. Grafeeva, and E. Mikhailova
Working Notes: Compiling ULC to Lower-level Code by Game Semantics and Partial Evaluation
2016
Daniil Berezun and Neil D. Jones
On fuzzy repetitions detection in documentation reuse
2016
Lucive, D.V., Koznov, D.V., Basit, H.A., Terekhov, A.N.
Метод импорта и обработки открытых данных в LBS-платформе
2016
Заславский М. М., Баландин С. И.
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
K-means Split Revisited: Well-grounded Approach and Experimental Evaluation
2016
Valentin Grigorev and George Chernishev
Random Model Sampling: Making Craig Interpolation Work When It Should Not
十二月 2015
Marat Akhin, Sam Kolton, Vladimir Itsykson
Using a Bounded Model Checker for Test Generation: How to Kill Two Birds with One SMT Solver
十二月 2015
M. Petrov, K. Gagarski, M. Belyaev, V. Itsykson
Design and Implementation Raspberry Pi-based Omni-wheel Mobile Robot
十一月 2015
K. Krinkin, Elena Stotskaya, Yury Stotskiy
Evaluation of the Modern Visual SLAM Methods
十一月 2015
K. Krinkin, D. Kartashov, A. Huletski
A Language-Independent Code Formatting by Syntactic Matching and Templates (In Russian)
十月 2015
A.Podkopaev, A.Korovianskii, I.Ozernykh
On development of static analysis tools for string-embedded languages
十月 2015
Marat Khabibullin, Andrei Ivanov, Semyon Grigorev
Mitochondrial Phosphoenolpyruvate Carboxykinase Regulates Metabolic Adaptation and Enables Glucose-Independent Tumor Growth
十月 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
Discovering Clones in Software: from Complex Algorithms to Everyday Desktop Tool
十月 2015
Marat Akhin, Alexandr Suhinin
Fast Artificial Landmark Detection for Indoor Mobile Robots
九月 2015
K. Krinkin, D. Kartashov, A. Huletski
A hyperprocess-based approach in Arduino programming
八月 2015
Andrey Rozov, Vladimir Zyubin
Constructing Parsimonous Hybridization Networks from Multiple Phylogenetic Trees using a SAT-Solver
八月 2015
Ulyantsev V., Melnik M.
Evolutionary Approach to Coverage Testing of IEC 61499 Function Block Applications
七月 2015
Buzhinsky I., Ulyantsev V., Veijalainen J., Vyatkin V.
Proximity points approach for building recommendation system for the “Open Karelia” information system
六月 2015
Berlenko T.A., Krinkin K., Zaslavskiy M.
Priority queueing with multiple packet characteristics
四月 2015
Chuprikov P., Nikolenko S., Kogan K.
Network Integration of Parallel Metabolic and Transcriptional Data Reveals Metabolic Modules that Regulate Macrophage Polarization
三月 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
二月 2015
Ulyantsev V., Zakirzyanov I., Shalyto A.
Energy Optimized Path Selection in Cluster Based Routing for Wireless Mesh Network
一月 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
一月 2015
Buzhinsky I., Kazakov S., Ulyantsev V., Tsarev F., Shalyto A.
Inferring Temporal Properties of Finite-State Machine Models with Genetic Programming
2015
Chivilikhin D., Ivanov I., Shalyto A.
Применение технологии иерархических параметризируемых шаблонов для автоматизированного исправления ошибок в программном коде
2015
А. Алексюк, В. Ицыксон
Fast and Safe Concrete Code Execution for Reinforcing Static Analysis and Verification
2015
M. Belyaev, V. Itsykson
Combinators and Type-Driven Transformers in Objective Caml
2015
Dmitry Boulytchev
Bi-objective optimization for approximate query evaluation
2015
Anna Yarygina and Boris Novikov
Query processing: Beyond sql and relations (tutorial)
2015
Boris Novikov
Generalized Table-based LL-parsing
2015
Ragozina Anastasiya, Grigorev Semyon
Советский суперкомпьютер К-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
Implementation of the new REST API for open source LBS-platform Geo2Tag
2015
Zaslavskiy M., Mouromtsev D.
A parallel R-tree bulk-loading for shared-memory architecture
2015
Ilya Shkuratov and George Chernishev
Visualization of Execution Paths for Concurrent Programs
2015
Marat Akhin, Andrei Eleshevich
On development of static analysis tools for string-embedded languages
2015
Marat Khabibullin, Andrei Ivanov, Semyon Grigorev
View to view transformations in domain specific modeling
2015
Koznov, D.V., Larchik, E.V., Terekhov, A.N.
Reconstruction of Function Block Logic using Metaheuristic Algorithm: Initial Explorations
2015
Chivilikhin D., Shalyto A., Patil S., Vyatkin V.
Эффективное исполнение программного кода в контролируемом окружении как способ улучшения результатов статического анализа и верификации программ
2015
М.А. Беляев, В.М. Ицыксон
Software Defect Detection by Combining Bounded Model Checking and Approximations of Functions
十二月 2014
M. Akhin, M. Belyaev, V. Itsykson
Geocontext extraction methods analysis for determining the new approach to automatic semantic places recognition
十一月 2014
Zaslavskiy M., Mouromtsev D.
POSTER: A switching hidden Markov model for bisulfite sequencing
十一月 2014
Sergei Lebedev, Dmitry Groshev
POSTER: Detecting differential histone modification sites from ChIP-seq data via ranking
十一月 2014
Evgenii Kurbatckii
On several social network analysis problems
十月 2014
Chernishev, G., Sevostyanov, V., Smirnov, K., and Shkuratov, I.
Implementation of IPv4 Reflection Scheme for Linux-Based Storage Systems
八月 2014
K. Krinkin, M. Krinkin
Geo-Coded Environment for Integrated Smart Systems
二月 2014
K. Krinkin and K. Yudenok
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.
Source code and partial specifications analysis for automated generation of unit tests. Systems and Means of Informatics
2014
A. Andrianova and V. Itsykson
Operational semantics of Reflex
2014
Anureev I.S
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.
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
Optimizing resource allocation for approximate real-time query processing
2014
Anna Yarygina and Boris Novikov
Precise Garbage Collection for C++ with a Non-Cooperative Compiler
2014
Daniil Berezun, Dmitry Boulytchev
R-tree re-evaluation effort: a report
2014
Kirill Smirnov, George Chernishev, Pavel Fedotovsky, George Erokhin and Kirill Cherednik
Combining Exact And Metaheuristic Techniques For Learning Extended Finite-State Machines From Test Scenarios and Temporal Properties
2014
Chivilikhin D., Ulyantsev V., Shalyto A.
APERIODIC GENERATORS OF PSEUDORANDOM NUMBERS
2014
Krendelev S.F., Kuzmenok A.Yu.
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
String-embedded Language Support in Integrated Development Environment
2014
Semen Grigorev, Ekaterina Verbitskaia, Andrei Ivanov, Marina Polubelova, and Ekaterina Mavchun
The Study of Multidimensional R-Tree-Based Index Scalability in Multicore Environment
2014
Smirnov Kirill, Chernishev George, Fedotovsky Pavel, Erokhin George, Cherednik Kirill
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
Tree Slicing: Finding Intertwined and Gapped Clones in One Simple Step
十二月 2013
M. Akhin, V. Itsykson
Lightweight Linux dynamic libraries profiling technique for embedded systems
十月 2013
M. Zaslavskiy, E. Ryabikov, K. Krinkin
Geo-coding in Smart Environment: Integration Principles of Smart-M3 and Geo2Tag
八月 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
Role of Microtubules in Formation of Stress Granules
2013
Chudinova E.M., Shpilman A.A., Lubitelev A.V., Ivanov P.A., Nadezhdina E.S.
To Sort or not to Sort: The Evaluation of R-Tree and B+-Tree in Transactional Environment with Ordered Result Set Requirement
2013
Chernishev G.
A performance analysis of semantic caching for XML query processing
2013
Boris Novikov, Alice Pigul, and Anna Yarygina
QReal: платформа визуального предметно-ориентированного моделирования
2013
Терехов А.Н., Брыксин Т.А., Литвинов Ю.В.
QReal DSM Platform: An Environment for Creation of Specific Visual IDEs
2013
Anastasiia Kuzenkova ; Anna Deripaska ; Timofey Bryksin ; Yurii Litvinov and Vladimir Polyakov
Подходы к заданию семантики интерпретации диаграмм, основанные на технологии преобразования графов
2013
Поляков Владимир, Брыксин Тимофей
Безопасные облачные вычисления с помощью гомоморфной криптографии
2013
Жиров А. О., Жирова О. В., Кренделев С. Ф.
New View on Block Encryption (Unpublished)
2013
Egorova V., Chechulina D., Krendelev S. F.
Practical fully homomorphic encryption over polynomial quotient rings
2013
Alexander Zhirov, Olga Zhirova, Sergey F. Krendelev
Process-oriented programming language for MCU-based automation
2013
Andrei S. Rozov and Vladimir E. Zyubin
MuACOsm - A New Mutation-Based Ant Colony Optimization Algorithm for Learning Finite-State Machines
2013
Chivilikhin D., Ulyantsev V.
Solving Puzzles: Making Use of SMT Solvers Easy
2013
E. Zaychenko, V. Galuzin, V. Itsykson.
Прогнозирование характеристик программных проектов с помощью мета-моделирования.
2013
Ицыксон В.М., Баженов А.С.
GLR-based Abstract Parsing
2013
Semen Grigorev and Iakov Kirilenko
Using Dependencies to Improve Precision of Code Analysis
十二月 2012
M. I. Glukhikh, V. M. Itsykson, V. A. Tsesko
Process Mining Approach for Traffic Analysis in Wireless Mesh Networks
八月 2012
K.Krinkin, E.Kalishenko, S.P.Shiva Prakash
An xml-algebra for efficient set-at-a-time execution
一月 2012
M. Lukichev, B. Novikov, and P. Mehra
Автоматизация реинжиниринга программного обеспечения при портировании на новые библиотеки с помощью частичных спецификаций.
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.
Learning Finite-State Machines with Ant Colony Optimization
2012
Chivilikhin D., Ulyantsev V.
Test-Based Extended Finite-State Machines Induction with Evolutionary Algorithms and Ant Colony Optimization
2012
Chivilikhin D., Ulyantsev V., Tsarev F.
Document Teaching to write software engineering documents with focus on document design by means of mind maps
2012
Koznov, D.V.
Реализация уровня изоляции Read Committed для древовидных структур данных
2012
Федотовский П. В., Чернышев Г. А., Смирнов К. К.
ACM SIGMOD Programming Contest: an opportunity to study distinguished aspects of database systems and software engineering (in Russian)
2012
Kirill K. Smirnov, Georgiy A. Chernishev
Exploring influence and interests among users within social networks
2012
Jose Simoes, Julia Kiseleva, Elena Sivogolovko, and Boris Novikov
Querying big data
2012
Boris Novikov, Natalia Vassilieva, and Anna Yarygina
Multistroke Mouse Gestures Recognition in QReal metaCASE Technology
2012
Osechkina M., Litvinov Y.V., Bryksin T.
Автоматизированная трансформация программ при миграции на новые библиотеки
2012
Ицыксон В.М., Зозуля А.В.
Seamless WLAN Off-load of 3G Networks
一月 2011
N. Amelichev, M. Krinkin, K. Krinkin
Empirical study of parallel SQL query execution
2011
Smirnov K., Chernishev G.
Document Towards e-government services in Russia
2011
Koznov, D., Samochadin, A., Azarskov, A., Chevzova, J.
Mind maps merging in collaborative work
2011
Koznov, D., Larchik, E., Pliskin, M., Artamonov, N.
Process model of DSM solution development and evolution for small and medium-sized software companies
2011
Koznov, D.
Document Refactoring the documentation of software product lines
2011
Romanovsky, K., Koznov, D., Minchin, L.
Программная инженерия. Обеспечение качества программных средств методами статического анализа.
2011
Глухих М.И., Ицыксон В.М.
Обнаружение клонов исходного кода: теория и практика
2011
Ахин М.Х., Ицыксон В.М.
Формализм для описания частичных спецификаций компонентов программного окружения
2011
Ицыксон В.М., Зозуля А.В.
Опыт проведения студенческих проектов на примере реализации metaCASE-системы QReal
2011
Брыксин Тимофей Александрович
Средства быстрой разработки предметно-ориентированных решений в metaCASE-средстве QReal
2011
Кузенкова Анастасия Сергеевна, Дерипаска Анна Олеговна, Таран Кирилл Сергеевич, Подкопаев Антон Викторович, Литвинов Юрий Викторович, Брыксин Тимофей Александрович
On two methods of star query execution (in Russian)
2011
Kirill Smirnov, George Chernishev
Benchmarking Inter and Intra Operator Parallelism on Contemporary Desktop Hardware
2011
Smirnov K., Chernishev G.
Networking and multithreading architectural aspects of distributed DBMS (in Russian)
2011
Smirnov K. K., Chernishev G. A.
Tools for Rapid Development of Domain-Specific Solutions In QReal Metacase System (In Russian)
2011
A.Kuzenkova, A.Deripaska, K.Taran, A.Podkopaev, Yu.Litvinov, T.Bryksin
Efficiently Scrapping Boilerplate Code in OCaml
2011
Dmitry Boulytchev, Sergey Mechtaev
Теоретическая механика. Тестирование базовых знаний
十月 2010
В. А. Диевский, А. В. Диевский
Using Process-Oriented Programming in LabVIEW
六月 2010
Zyubin V. E
Hardware Description Language Based on Message Passing and Implicit Pipelining
2010
Dmitry Boulytchev, Oleg Medvedev
Microtubules govern stress granule mobility and dynamics, Biochimia Biophysica Acta
2010
Nadezhdina E.S., Lomakin A.J., Shpilman A.A., Chudinova E.M., Ivanov P.A.
Source code modification technology based on parameterized code patterns
2010
Itsykson V., Timofeev D.
Язык спецификаций поведения программных компонентов.
2010
Ицыксон В.М., Глухих М.И.
Автоматическое обнаружение дефектов в программных системах на языке C на основе статического анализа
2010
Ицыксон В.М., Моисеев М.Ю., Ахин М.Х., Захаров А.В., Цесько В.А.
ScienceDirect goes social: a social network for scientists integrated with online digital library
2010
George Chernishev, Kirill Smirnov
Distributed Database Query Engine
2010
Kirill Smirnov, George Chernishev
Non-Abelian associated orders of wildly ramified extensions
十月 2009
М. В. Бондарко, А. В. Диевский
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
Simple Computer Model Shows Posibility of Non-Motor Microtubule Binded Gradient Transport
2009
Shpilman A.
Automatic Defect Detection in Industrial C/C++ Software
2009
Itsykson, V. Moiseev, M. Tsesko, V. Zakharov, A.
Исследование средств построения моделей исходного кода программ на языках C и C++.
2009
Ицыксон В.М., Глухих М.И., Зозуля А.В., Власовских А.С.
Алгоритм интервального анализа для обнаружения дефектов в исходном коде программ
2009
Ицыксон В.М., Моисеев М.Ю., Цесько В.А., Захаров А.В., Ахин М.Х.
Алгоритмы анализа указателей для обнаружения дефектов в исходном коде программ
2009
Ицыксон В.М., Моисеев, М.Ю., Ахин М.Х., Захаров А.В., Цесько В.А.
Proceedings of the 12th International Conference on Extending Database Technology: Advances in Database Technology
2009
M. Kersten, B. Novikov, and J. Teubner, editors.
Information Complexity Hypothesis: a Conceptual Framework for Reasoning on Pragmatics Issues
七月 2008
Zyubin V. E
DocLine: A method for software product lines documentation development
2008
Koznov, D.V., Romanovsky, K.Yu.
Исследование систем автоматизации обнаружения дефектов в исходном коде программного обеспечения
2008
Ицыксон В.М., Моисеев М.Ю., Цесько В.А., Карпенко А.В.
Автоматическое обнаружение дефектов программных систем на основе метода проверки модели
2008
Ицыксон В.М., Захаров А.В., Ахин М.Х., Мяснов А.В.
Temporal databases: From theory to applications
2008
B. Novikov and E. Gorshkova
Imitational Modeling of Cytoskeleton: Dynamics, Differentiation, Active Transport and Membrane Interactions
2008
Shpilman A., Nadezhdina E.S.
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.
Computer-supported collaborative learning with mind-maps
2008
Koznov, D., Pliskin, M.
Disturbance of the Radial System of Interphase Microtubules in the Presence of Excess Serum in Cell Culture Medium
2008
E.V. Usova, A.V.Burakov, A.A. Shpilman, E.S. Nadezhdina
Hyper-automaton: A Model of Control Algorithms
2007
Vladimir E. Zyubin
Computational Stochastic Modeling of Cellular Microtubule Network
2006
Shpilman A.A., Nadezhdina E.S.
Stochastic Modeling of Microtubule Systems
2006
Shpilman A.A.
BURS-based Instruction Set Selection
2006
Dmitry Boulytchev
Stochastic Computer Model of the Cell Microtubule Dynamics
2006
А.А. Shpil’man and E.S. Nadezhdina
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 for Hardware/Software Codesign (in Russian)
2004
Dmitry Boulytchev
Macroarchitecture Description Language 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
九月 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