Get our free extension to see links to code for papers anywhere online!

Chrome logo  Add to Chrome

Firefox logo Add to Firefox

The Surprising Benefits of Hysteresis in Unlimited Sampling: Theory, Algorithms and Experiments


Nov 24, 2021
Dorian Florescu, Felix Krahmer, Ayush Bhandari

* 24 pages 

   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

A machine learning based software pipeline to pick the variable ordering for algorithms with polynomial inputs


May 22, 2020
Dorian Florescu, Matthew England

* Accepted into Proc ICMS 2020 

   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

Improved cross-validation for classifiers that make algorithmic choices to minimise runtime without compromising output correctness


Nov 28, 2019
Dorian Florescu, Matthew England

* 16 pages. Accepted into the Proceedings of MACIS 2019. arXiv admin note: text overlap with arXiv:1906.01455 

   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

Comparing machine learning models to choose the variable ordering for cylindrical algebraic decomposition


Jun 05, 2019
Matthew England, Dorian Florescu

* Accepted into CICM 2019 

   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email