Alexei Vernitski

Publication Activity (10 Years)

Years Active: 2004-2023
Publications (10 Years): 21

Top Topics

False Positives

Top Venues

Publications

Alexei Lisitsa, Mateo Salles, Alexei Vernitski
Supervised Learning for Untangling Braids. ICAART (3) (2023)
Federica Armani, Ian Daly, Alexei Vernitski, Helge Gillmeister, Reinhold Scherer
Maths Anxiety and cognitive state monitoring for neuroadaptive learning systems using electroencephalography. MetroXRAINE (2023)
Alexei Lisitsa, Mateo Salles, Alexei Vernitski
Machine learning discovers invariants of braids and flat braids. CoRR (2023)
Alexei Lisitsa, Alexei Vernitski
On Strong Anti-learning of Parity. OL2A (2) (2023)
Abdullah Khan, Alexei Lisitsa, Alexei Vernitski
Training AI to Recognize Realizable Gauss Diagrams: The Same Instances Confound AI and Human Mathematicians. ICAART (3) (2022)
Abdullah Khan, Alexei Vernitski, Alexei Lisitsa
Reinforcement learning algorithms for the Untangling of Braids. FLAIRS (2022)
Alexei Lisitsa, Mateo Salles, Alexei Vernitski
An application of neural networks to a problem in knot theory and group theory (untangling braids). CoRR (2022)
Abdullah Khan, Alexei Lisitsa, Alexei Vernitski
Experimental Mathematics Approach to Gauss Diagrams Realizability. CoRR (2021)
Abdullah Khan, Alexei Vernitski, Alexei Lisitsa
Untangling Braids with Multi-agent Q-Learning. CoRR (2021)
Abdullah Khan, Alexei Lisitsa, Alexei Vernitski
Gauss-Lintel, an Algorithm Suite for Exploring Chord Diagrams. CICM (2021)
Abdullah Khan, Alexei Vernitski, Alexei Lisitsa
Untangling Braids with Multi-Agent Q-Learning. SYNASC (2021)
Abdullah Khan, Alexei Lisitsa, Viktor Lopatkin, Alexei Vernitski
Circle graphs (chord interlacement graphs) of Gauss diagrams: Descriptions of realizable Gauss diagrams, algorithms, enumeration. CoRR (2021)
Andrew Fish, Alexei Lisitsa, Alexei Vernitski
Towards Human Readability of Automated Unknottedness Proofs. Bridging@IJCAI/ECAI (2018)
Andrew Fish, Alexei Lisitsa, Alexei Vernitski
Visual Algebraic Proofs for Unknot Detection. Diagrams (2018)
Gokce Caylak Kayaturan, Alexei Vernitski
Encoding Shortest Paths in Triangular Grids for Delivery Without Errors. ICFNDS (2017)
Daniel Karapetyan, Alexei Vernitski
Efficient Adaptive Implementation of the Serial Schedule Generation Scheme using Preprocessing and Bloom Filters. CoRR (2017)
Daniel Karapetyan, Alexei Vernitski
Efficient Adaptive Implementation of the Serial Schedule Generation Scheme Using Preprocessing and Bloom Filters. LION (2017)
Alexei Lisitsa, Alexei Vernitski
Automated Reasoning for Knot Semigroups and \pi π -orbifold Groups of Knots. MACIS (2017)
Laura Carrea, Alexei Vernitski, Martin Reed
Yes-no Bloom filter: A way of representing sets with fewer false positives. CoRR (2016)
Xinan Yang, Alexei Vernitski, Laura Carrea
An approximate dynamic programming approach for improving accuracy of lossy data compression by Bloom filters. Eur. J. Oper. Res. 252 (3) (2016)
Gokce Caylak Kayaturan, Alexei Vernitski
Routing in hexagonal computer networks: How to present paths by Bloom filters without false positives. CEEC (2016)
Kat Krol, Constantinos Papanicolaou, Alexei Vernitski, Martina Angela Sasse
"Too Taxing on the Mind!" Authentication Grids are not for Everyone. HCI (22) (2015)
Laura Carrea, Alexei Vernitski, Martin Reed
Optimized hash for network path encoding with minimized false positives. Comput. Networks 58 (2014)
Alexei Vernitski, Artem V. Pyatkin
Astral graphs (threshold graphs), scale-free graphs and related algorithmic questions. J. Discrete Algorithms 12 (2012)
Shuping Peng, Reza Nejabati, Eduard Escalona, Dimitra Simeonidou, Markos P. Anastasopoulos, Konstantinos Georgakilas, Anna Tzanakaki, Alexei Vernitski
Performance modelling and analysis of dynamic virtual optical network composition. ONDM (2012)
Alexei Vernitski
One-Side Nielsen Transformations in Free Groups. Int. J. Algebra Comput. 19 (7) (2009)
Alexei Vernitski
Ordered and J-Trivial Semigroups as Divisors of Semigroups of Languages. Int. J. Algebra Comput. 18 (7) (2008)
Alexei Vernitski
Can Unbreakable Mean Incomputable? Comput. J. 49 (1) (2006)
Alexei Vernitski
Finite quasivarieties and self-referential conditions. Stud Logica 78 (1-2) (2004)