Suitable linear transformations for preliminary data analysis are available when data consist solely of continuous variables or solely of binary variables. When mixtures of variables are observed, ...

Model abstraction for finite state automata is helpful for decreasing computational complexity and improving comprehensibility for the verification and control synthesis of discrete-event systems (DES ...

Linear mixed models are increasingly used for the analysis of genome-wide association studies (GWAS) of binary phenotypes because they can efficiently and robustly account for population ...