# Bookmarks, 02018-08

Last month’s bookmarks from pinboard.in:

SMT-LIB The Satisfiability Modulo Theories Library “SMT-LIB is an international initiative aimed at facilitating research and development in Satisfiability Modulo Theories (SMT).” In particular, a language for representing SMT problems that multiple solvers understand.

GitHub -

`AlDanial/cloc`

“`cloc`

counts blank lines, comment lines, and physical lines of source code in many programming languages.”Why Automated Feature Engineering Will Change the Way You Do Machine Learning “Automated feature engineering is a relatively new technique, but, after using it to solve a number of data science problems using real-world data sets, I’m convinced it should be a standard part of any machine learning workflow.”

Oztekin, Dennis Ekin, “The Lattice Boltzmann Methods and Their Applications to Fluid Flows” (2014). Theses and Dissertations. Paper 1581. “The history of the Lattice Boltzmann Method and its application to fluid mechanics are investigated here. Detailed formulations are provided to form a basis for the Lattice Boltzmann Method and its many variations. These variations are designed to overcome shortcomings in the standard single relaxation time Lattice Boltzmann model. Presented here are: a model that utilizes the non-equilibrium parts of the stress tensor, the Regularized Lattice Boltzmann model; a model that converts over to momentum space, the Multi-Relaxation Time Lattice Boltzmann model; and a model that corrects itself using the entropy equation, the entropic Lattice Boltzmann model. Extensions for the Lattice Boltzmann method are derived that include: external forces, multiphase flows, and thermal flows. Various types of boundary conditions are modeled using different approaches. A detailed explanation on extracting common macroscopic flow properties in physical units is provided. These extracted properties can be used to check temporal and spatial convergence. A two dimensional, nine velocity model and a three dimensional, fifteen velocity model are used to provide examples of a number of the approaches mentioned. A two dimensional and three dimensional lid-driven cavity flow is used to illustrate these methods.”

Lattice Boltzmann methods - Wikipedia “Lattice Boltzmann methods (LBM) … [are] a class of computational fluid dynamics (CFD) methods for fluid simulation. " Successor to lattice gas automaton methods.