Explore the year’s most surprising computational revelations, including a new fundamental relationship between time and space ...

Can you chip in? As an independent nonprofit, the Internet Archive is fighting for universal access to quality information. We build and maintain all our own systems, but we don’t charge for access, ...

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 ...

Abstract: Educational institutions are now beginning to develop projects and programs, and to find the people to carry out both administrative and instructional activities which involve computer ...