JetBrains Research — наука, меняющая мир

JetBrains Research — это объединение научных групп в разных областях знаний, созданное компанией JetBrains. Участники проекта исследуют широкий круг вопросов, занимаясь как чисто теоретическими, так и более прикладными задачами, но всех их объединяет новизна идей, стремление изменить мир и заглянуть вперёд — чуть дальше, чем принято сегодня в науке с её относительно небольшим горизонтом планирования.

JetBrains Research помогает учёным и исследовательским группам сосредоточиться на своих изысканиях и творческой работе, не отвлекаясь на поиск грантов и другие организационные вопросы.

Последние публикации

  • 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.

    Programming and Computer Software,
  • Egor Namakonov, Anton Podkopaev
    Proceedings of ISP RAS,
  • Conference on Innovative Data Systems Research (CIDR),