27 citations · 31 across the 5 of their papers we have counts for
5 papers
New Arabic Medical Dataset for Diseases Classification
Jaafar Hammoud, Aleksandra Vatian, Natalia Dobrenko +3
The Arabic language suffers from a great shortage of datasets suitable for training deep learning models, and the existing ones include general non-specialized classifications. In…
Reinforcement-based Simultaneous Algorithm and its Hyperparameters Selection
Valeria Efimova, Andrey Filchenkov, Anatoly Shalyto
Many algorithms for data analysis exist, especially for classification problems. To solve a data analysis problem, a proper algorithm should be chosen, and also its hyperparameters…
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…
An Asynchronous Implementation of the Limited Memory CMA-ES
Viktor Arkhipov, Maxim Buzdalov, Anatoly Shalyto
We present our asynchronous implementation of the LM-CMA-ES algorithm, which is a modern evolution strategy for solving complex large-scale continuous optimization problems. Our im…