Abstract: This study deals with the formal modeling and verification of reconfigurable discrete event control systems (RDECSs). The behavior of an RDECS is represented by that of control components ...
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) ...
22/08/2023 - New full distribution files available for release v1.6.1; Changes for v1.6.1 include: Minor updates to supporting use in Python, including virtual environments; Minor tweaks to fish ...
As a consequence of the COVID-19 pandemic, most courses at a large technical university were adapted so that students had a free choice of whether to attend lectures on-site or online; in addition, in ...
Different graph types may differ in their suitability to support group comparisons, due to the underlying graph schemas. This study examined whether graph schemas are based on perceptual features (i.e ...
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 ...
We demonstrate the strength of a general discrete-time modeling framework in which model specification is reduced to the bare essentials. The approach is due to Kermack and McKendrick, dating from ...
The linear dynamics of closed quantum systems produce well-known difficulties in the definition of quantum chaos. This leads to several issues in the theoretical justification of the equilibration and ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results