Functorial Semantics of Algebraic Theories Original unpublished; Ph.D. thesis, Columbia University, 1963. See extended TAC reprint 2004 1963 Functorial Semantics of Algebraic Theories (short notice) ...

This monthly journal, begun in 1950, is devoted entirely to research in pure and applied mathematics, principally to the publication of original papers of moderate length. A section called Shorter ...

The API is not stable yet and is expected to change between revisions. This Python code is not optimized for speed. Refer to the transformations.c module for a faster implementation of some functions.

Abstract: This paper provides finite dimensional convex conditions to construct homogeneous polynomially parameter- dependent Lur'e functions which ensure the stability of nonlinear systems with state ...

Abstract: The main result of the paper is a new converse theorem for finite-time Lyapunov functions. We show the existence of a finite-time Lyapunov function for an autonomous continuous-time ...

We are a research-led school with a reputation for excellent teaching and courses with real-world impact. We are based across four sites, comprising more than 2000 students and 190 specialist staff ...

remove-circle Internet Archive's in-browser bookreader "theater" requires JavaScript to be enabled. It appears your browser does not have it turned on. Please see ...