How-To Geek on MSN

Document formulas in Excel like code with N() function

The simplest way to start documenting Excel formulas like a coder is by using the N () function. Although its primary job is to convert non-numeric values into numbers, it has a hidden quirk: because ...
IEEE

Counter-Example Guided Inductive Synthesis of Control Lyapunov Functions for Uncertain Systems

Abstract: We propose a counter-example guided inductive synthesis (CEGIS) scheme for the design of control Lyapunov functions and associated state-feedback controllers for linear systems affected by ...