Computing exponentially faster: implementing a non-deterministic universal Turing machine using DNA
Currin, Andrew, Korovin, Konstantin, Ababi, Maria, Roper, Katherine, Kell, Douglas B., Day, Philip J., King, Ross D.
Published in Journal of the Royal Society interface (01.03.2017)
Published in Journal of the Royal Society interface (01.03.2017)
Get full text
Journal Article
The ksmt calculus is a δ-complete decision procedure for non-linear constraints
Brauße, Franz, Korovin, Konstantin, Korovina, Margarita V., Müller, Norbert Th
Published in Theoretical computer science (09.10.2023)
Published in Theoretical computer science (09.10.2023)
Get full text
Journal Article
Invariant neural architecture for learning term synthesis in instantiation proving
Piepenbrock, Jelle, Urban, Josef, Korovin, Konstantin, Olšák, Miroslav, Heskes, Tom, Janota, Mikoláš
Published in Journal of symbolic computation (01.05.2025)
Published in Journal of symbolic computation (01.05.2025)
Get full text
Journal Article
Methods to Improve the Accuracy of State Estimation in Nonlinear Kalman Filter in Case of a Priori Uncertainty
Glushankov, Evgeniy, Boyko, Igor, Kirik, Dmitriy, Korovin, Konstantin, Shchedrin, Aleksandr
Published in 2024 Systems of Signals Generating and Processing in the Field of on Board Communications (12.03.2024)
Published in 2024 Systems of Signals Generating and Processing in the Field of on Board Communications (12.03.2024)
Get full text
Conference Proceeding