Results 1 to 20 of 149
Sort by:

  • SoPlex
  • Referenced in 88 articles [sw04063]
  • part of Roland Wunderling’s Ph.D. thesis Paralleler und Objektorientierter Simplex-Algorithmus (in German...

  • ALF
  • Referenced in 67 articles [sw08603]
  • Monomorphic Type Theory with Explicit Substitution. This thesis describes the implementation of ALF, which...

  • Octagon
  • Referenced in 61 articles [sw13702]
  • done during my DEA and PhD. Thesis The main publication is an article entitled...

  • GHC

  • Referenced in 43 articles [sw23765]
  • Guarded Horn clauses. The thesis introduces the programming language Guarded Horn Clauses which is abbreviated...

  • MULTIMIX
  • Referenced in 34 articles [sw03250]
  • Hunt [Clustering using finite mixture models. Ph.D. thesis, Univ. Waikato (1996)] implemented the finite mixture...

  • QSopt_ex
  • Referenced in 27 articles [sw04722]
  • description (which is part of my Ph.D. thesis) can be found here Much...

  • SharpClaw
  • Referenced in 26 articles [sw06638]
  • described in David Ketcheson’s Ph.D. thesis. To solve a particular hyperbolic system, SharpClaw requires...

  • subplex
  • Referenced in 25 articles [sw04818]
  • developed by Tom Rowan for his Ph.D. Thesis: Functional Stability Analysis of Numerical Algorithms (University...

  • YalSAT
  • Referenced in 25 articles [sw31644]
  • WalkSAT. As part of reviewing the PhD thesis of Adrian Balint, who introduced ProbSAT...

  • BiMD
  • Referenced in 23 articles [sw13275]
  • also Cecilia Magherini’s PhD thesis, also available as a compressed file); the code BiMD...

  • SFMT
  • Referenced in 22 articles [sw22111]
  • state is much faster. See Master’s Thesis of Mutsuo Saito for detail...

  • parDG
  • Referenced in 21 articles [sw18743]
  • With CD-ROM. The aim of this thesis is the numerical simulation of two-phase...

  • CHUFFED
  • Referenced in 17 articles [sw24724]
  • generation solver chuffed: Improving combinatorial optimization. PhD thesis, Engineering, Computer Science and Software Engineering...

  • MuShROOM
  • Referenced in 15 articles [sw12000]
  • control and model-predictive control problems. His thesis presents a lot of novel results...

  • qpHPSC
  • Referenced in 15 articles [sw12001]
  • control and model-predictive control problems. His thesis presents a lot of novel results...

  • COCA
  • Referenced in 9 articles [sw05004]
  • Tang} [Ph. D. Thesis, Univ. of California at Berkeley (1987)].par Furthermore, the authors present...

  • SHRAD
  • Referenced in 6 articles [sw02663]
  • computability on real numbers. Ph. D. Thesis, Università di Pisa-Genova-Udine (1993)] introduced ... author, Sequentiality in real number computation. Ph.D. thesis, School of Computer Science, University of Birmingham...

  • MUSCOP
  • Referenced in 7 articles [sw06143]
  • with time-periodic PDE constraints. In this thesis we develop a numerical method based...

  • PermLib
  • Referenced in 7 articles [sw09845]
  • implementation can be found in the Diploma thesis of the author Thomas Rehn...