Hakoniemi, Tuomas (Date of defense: 2022-03-25)
This thesis concerns the proof complexity of algebraic and semialgebraic proof systems Polynomial Calculus, Sums-of-Squares and Sherali-Adams. The most studied complexity measure for these systems ...
Xenos, Alexandros (Date of defense: 2024-02-02)
(English) The recent technological advances in high-throughput sequencing have yielded vast amounts of large-scale biological omics data that describe different aspects of cellular functioning. These ...