Alexei Vernitski

According to our database, Alexei Vernitski authored at least 27 papers between 2004 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

Machine learning discovers invariants of braids and flat braids.

Alexei Lisitsa, Mateo Salles, Alexei Vernitski

CoRR, 2023

On Strong Anti-learning of Parity.

Alexei Lisitsa, Alexei Vernitski

Proceedings of the Optimization, Learning Algorithms and Applications, 2023

Maths Anxiety and cognitive state monitoring for neuroadaptive learning systems using electroencephalography.

Federica Armani, Ian Daly, Alexei Vernitski, Helge Gillmeister, Reinhold Scherer

Proceedings of the IEEE International Conference on Metrology for eXtended Reality, 2023

Supervised Learning for Untangling Braids.

Alexei Lisitsa, Mateo Salles, Alexei Vernitski

Proceedings of the 15th International Conference on Agents and Artificial Intelligence, 2023

2022

An application of neural networks to a problem in knot theory and group theory (untangling braids).

Alexei Lisitsa, Mateo Salles, Alexei Vernitski

CoRR, 2022

Training AI to Recognize Realizable Gauss Diagrams: The Same Instances Confound AI and Human Mathematicians.

Abdullah Khan, Alexei Lisitsa, Alexei Vernitski

Proceedings of the 14th International Conference on Agents and Artificial Intelligence, 2022

Reinforcement learning algorithms for the Untangling of Braids.

Abdullah Khan, Alexei Vernitski, Alexei Lisitsa

Proceedings of the Thirty-Fifth International Florida Artificial Intelligence Research Society Conference, 2022

2021

Circle graphs (chord interlacement graphs) of Gauss diagrams: Descriptions of realizable Gauss diagrams, algorithms, enumeration.

Abdullah Khan, Alexei Lisitsa, Viktor Lopatkin, Alexei Vernitski

CoRR, 2021

Experimental Mathematics Approach to Gauss Diagrams Realizability.

Abdullah Khan, Alexei Lisitsa, Alexei Vernitski

CoRR, 2021

Untangling Braids with Multi-Agent Q-Learning.

Abdullah Khan, Alexei Vernitski, Alexei Lisitsa

Proceedings of the 23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2021

Gauss-Lintel, an Algorithm Suite for Exploring Chord Diagrams.

Abdullah Khan, Alexei Lisitsa, Alexei Vernitski

Proceedings of the Intelligent Computer Mathematics - 14th International Conference, 2021

2018

Towards Human Readability of Automated Unknottedness Proofs.

Andrew Fish, Alexei Lisitsa, Alexei Vernitski

Proceedings of the fourth Workshop on Bridging the Gap between Human and Automated Reasoningco-located with the 27th International Joint Conference on Artificial Intelligence and the 23rd European Conference on Artificial Intelligence (IJCAI-ECAI 2018), 2018

Visual Algebraic Proofs for Unknot Detection.

Andrew Fish, Alexei Lisitsa, Alexei Vernitski

Proceedings of the Diagrammatic Representation and Inference, 2018

2017

Automated Reasoning for Knot Semigroups and \pi π -orbifold Groups of Knots.

Alexei Lisitsa, Alexei Vernitski

Proceedings of the Mathematical Aspects of Computer and Information Sciences, 2017

Efficient Adaptive Implementation of the Serial Schedule Generation Scheme Using Preprocessing and Bloom Filters.

Daniel Karapetyan, Alexei Vernitski

Proceedings of the Learning and Intelligent Optimization - 11th International Conference, 2017

Encoding Shortest Paths in Triangular Grids for Delivery Without Errors.

Gökçe Çaylak Kayaturan, Alexei Vernitski

Proceedings of the International Conference on Future Networks and Distributed Systems, 2017

2016

An approximate dynamic programming approach for improving accuracy of lossy data compression by Bloom filters.

Xinan Yang, Alexei Vernitski, Laura Carrea

Eur. J. Oper. Res., 2016

Yes-no Bloom filter: A way of representing sets with fewer false positives.

Laura Carrea, Alexei Vernitski, Martin Reed

CoRR, 2016

Routing in hexagonal computer networks: How to present paths by Bloom filters without false positives.

Gökçe Çaylak Kayaturan, Alexei Vernitski

Proceedings of the 2016 8th Computer Science and Electronic Engineering Conference, 2016

2015

"Too Taxing on the Mind!" Authentication Grids are not for Everyone.

Kat Krol, Constantinos Papanicolaou, Alexei Vernitski, Martina Angela Sasse

Proceedings of the Human Aspects of Information Security, Privacy, and Trust, 2015

2014

Optimized hash for network path encoding with minimized false positives.

Laura Carrea, Alexei Vernitski, Martin J. Reed

Comput. Networks, 2014

2012

Astral graphs (threshold graphs), scale-free graphs and related algorithmic questions.

Alexei Vernitski, Artem V. Pyatkin

J. Discrete Algorithms, 2012

Performance modelling and analysis of dynamic virtual optical network composition.

Shuping Peng, Reza Nejabati, Eduard Escalona, Dimitra Simeonidou, Markos P. Anastasopoulos, Konstantinos Georgakilas, Anna Tzanakaki, Alexei Vernitski

Proceedings of the 16th International Conference on Optical Network Design and Modelling, 2012

2009

One-Side Nielsen Transformations in Free Groups.

Alexei Vernitski

Int. J. Algebra Comput., 2009

2008

Ordered and J-Trivial Semigroups as Divisors of Semigroups of Languages.

Alexei Vernitski

Int. J. Algebra Comput., 2008

2006

Can Unbreakable Mean Incomputable?

Alexei Vernitski

Comput. J., 2006

2004

Finite quasivarieties and self-referential conditions.

Alexei Vernitski

Stud Logica, 2004