AnExactSolverfortheWeston-WatkinsSVMSubproblemYutongWang1ClaytonScott12Abstractslightedgeintermsofbothefficiencyandaccuracy.ThisworkfocusesonthecomputationalissuesofsolvingtheRecentempiricalevidenc...
OnlineBayesianMomentMatchingbasedSATSolverHeuristicsHaonanDuan12SaeedNejati1GeorgeTrimponias3PascalPoupart12VijayGanesh1Abstractsuchasverification(Bradley,2011),testing(Cadaretal.,2008),security(Av...
ECLIPSE:AnExtreme-ScaleLinearProgramSolverforWeb-ApplicationsKinjalBasu1AmolGhoting1RahulMazumder2YaoPan1Abstract(Borisyuketal.,2017;Kenthapadietal.,2017),restaurantstousers,etc.Keyproblemsarisingi...
GOODE:AGaussianOff-The-ShelfOrdinaryDifferentialEquationSolverDavidN.John12VincentHeuveline2MichaelSchober3Abstractofapplicationareas,e.g.,indynamicalsystems,andop-timalcontrol.Recently,ODEshaveals...
Celer:aFastSolverfortheLassowithDualExtrapolationMathurinMassias1AlexandreGramfort1JosephSalmon2Abstractoptimalsolution(whatwewillrefertoasthesupport),state-of-the-arttechniquesrelyonlimitingthesiz...