The maximum independent set problem is of central importance combinatorial optimization problem. It has many practical applications in science and engineering. In this paper, we propose a genetic ...

Consider the following program: int main (void) { void*p=0; int*restrict*q=0; typedef typeof (1?p:q)T; } This code is accepted by Clang and MSVC, but not GCC. This code satisfies the conditional ...

In this paper, we exploit the Koopman operator framework to provide a novel Lie-algebraic sufficient condition of uniform stability of switched nonlinear systems. First, a constructive proof of the ...