Cube Attack is a successful case of Algebraic Attack. Cube Attack consists of two phases, linear equation extraction and solving the extracted equation system. Due to the high complexity of equation extraction phase in finding linear equations, we can extract nonlinear ones that could be approximated to linear equations with high probability. The probabilistic equations could be considered as l...

State estimation is a key ingredient in most robotic systems. Often, state performed using some form of least squares minimization. Basically, all error minimization procedures that work on real-world data use robust kernels as the standard way for dealing with outliers data. These kernels, however, are often hand-picked, sometimes different combinations, and their parameters need to be tuned m...

The desire to make an industrial process cheaper often assumes a high level of automatization of production facilities. Software, although being a set of instructions executed on a machine, is purely created by the human labour. This brings up a natural question. Why would not machines be able to synthesize software and to verify its correctness? Alan Turing proved in 1936 that checking whether...

Due to the non-linear but highly interpretable representations, decision tree (DT) models have significantly attracted a lot of attention of researchers. However, it is difficult to understand and interpret DT models in ultrahigh dimensions and DT models usually suffer from the curse of dimensionality and achieve degenerated performance when there are many noisy features. To address these issue...