5 citations · 6 across the 2 of their papers we have counts for
3 papers
cs.DS2020★ 5 cited
k-means++: few more steps yield constant approximation
Davin Choo, Christoph Grunau, Julian Portmann +1
The k-means++ algorithm of Arthur and Vassilvitskii (SODA 2007) is a state-of-the-art algorithm for solving the k-means clustering problem and is known to give an O(log k)-approxim…
cs.LO2018★ 1 cited
BOSPHORUS: Bridging ANF and CNF Solvers
Davin Choo, Mate Soos, Kian Ming A. Chai +1
Algebraic Normal Form (ANF) and Conjunctive Normal Form (CNF) are commonly used to encode problems in Boolean algebra. ANFs are typically solved via Gr"obner basis algorithms, ofte…
physics.chem-ph2018
Chemical Structure Elucidation from Mass Spectrometry by Matching Substructures
Jing Lim, Joshua Wong, Minn Xuan Wong +4
Chemical structure elucidation is a serious bottleneck in analytical chemistry today. We address the problem of identifying an unknown chemical threat given its mass spectrum and i…