Nearest-neighbor methods in learning and vision theory and practice

Regularization algorithms for Ill-posed problems

Computer algebra 2006 latest advances in symbolic algorithms : proceedings of the Waterloo Workshop in Computer Algebra 2006, Ontario, Canada, 10-12 April 2006

Progress in new materials and mechanics research : selected, peer reviewed papers from the 2012 International Conference on Computer-aided Material and Engineering 2012 (ICCME 2012), March 17-18, 2012, Hangzhou, China

Finite geometries, groups, and computation proceedings of the conference "Finite geometries, groups, and computation," September 4-9, 2004, Pingree Park, Colorado

Handbook of satisfiability

MSV 2016 : proceedings of the 2016 International Conference on Modeling, Simulation & Visualization Methods

MSV 2015 : proceedings of the 2015 International Conference on Modeling, Simulation & Visualization Methods

Mining massive data sets for security advances in data mining, search, social networks and text mining, and their applications to security