46 citations · 112 across the 6 of their papers we have counts for
7 papers
Machine learning of phase transitions in nonlinear polariton lattices
D. Zvyagintseva, H. Sigurdsson, V. K. Kozin +4
Polaritonic lattices offer a unique testbed for studying nonlinear driven-dissipative physics. They show qualitative changes of a steady state as a function of system parameters, w…
Multipole optimization of light focusing by silicon nanosphere structures
Nikita A. Ustimenko, Kseniia V. Baryshnikova, Roman V. Melnikov +4
We investigate the applicability of the coupled multipole model and its modification in the framework of the zero-order Born approximation for modeling of light focusing by finite-…
MoG-VQE: Multiobjective genetic variational quantum eigensolver
D. Chivilikhin, A. Samarin, V. Ulyantsev +3
Variational quantum eigensolver (VQE) emerged as a first practical algorithm for near-term quantum computers. Its success largely relies on the chosen variational ansatz, correspon…
Smart Contract Design Meets State Machine Synthesis: Case Studies
Dmitrii Suvorov, Vladimir Ulyantsev
Modern blockchain systems support creation of smart contracts -- stateful programs hosted and executed on a blockchain. Smart contracts hold and transfer significant amounts of dig…
BFS Enumeration for Breaking Symmetries in Graphs
Vyacheslav Moklev, Vladimir Ulyantsev
There are numerous NP-hard combinatorial problems which involve searching for an undirected graph satisfying a certain property. One way to solve such problems is to translate a pr…
Symmetry Breaking Predicates for SAT-based DFA Identification
Vladimir Ulyantsev, Ilya Zakirzyanov, Anatoly Shalyto
It was shown before that the NP-hard problem of deterministic finite automata (DFA) identification can be effectively translated to Boolean satisfiability (SAT). Modern SAT-solvers…
Exact Finite-State Machine Identification from Scenarios and Temporal Properties
Vladimir Ulyantsev, Igor Buzhinsky, Anatoly Shalyto
Finite-state models, such as finite-state machines (FSMs), aid software engineering in many ways. They are often used in formal verification and also can serve as visual software m…