• 0 Citations
  • 0 h-Index
If you made any changes in Pure these will be visible here soon.

Fingerprint Dive into the research topics where Dorian Florescu is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

  • 2 Similar Profiles
Learning systems Engineering & Materials Science
Polynomials Engineering & Materials Science
Decomposition Engineering & Materials Science
Classifiers Engineering & Materials Science
Algebra Engineering & Materials Science
Machine Learning Mathematics
Choose Mathematics
Decompose Mathematics

Research Output 2019 2019

  • 2 Conference proceeding
  • 1 Chapter

Algorithmically generating new algebraic features of polynomial systems for machine learning

Florescu, D. & England, M., 4 Oct 2019, Proceedings of the 4th International Workshop on Satisfiability Checking and Symbolic Computation. CEUR Workshop Proceedings, 12 p. (CEUR Workshop Proceedings; vol. 2460).

Research output: Chapter in Book/Report/Conference proceedingConference proceeding

Open Access
Learning systems
Identification (control systems)

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

England, M. & Florescu, D., 8 Jul 2019, Intelligent Computer Mathematics - 12th International Conference, CICM 2019, Proceedings. Kaliszyk, C., Brady, E., Kohlhase, A. & Sacerdoti Coen, C. (eds.). Springer, Vol. 11617. p. 93-108 16 p. (Lecture Notes in Artificial Intelligence; vol. 11617).

Research output: Chapter in Book/Report/Conference proceedingConference proceeding

Learning systems
Machine Learning

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

Florescu, D. & England, M., 12 Nov 2019, (Accepted/In press) Mathematical Aspects of Computer and Information Sciences 2019: Proc. MACIS 2019. Springer International Publishing, 16 p. (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingChapter

Learning systems