The Instruction Set Architecture (ISA) of a programmable processor is the native languageof the machine. It defines the set of operations and resourcesthat are optimized for that ...
We study OST and some of its most important extensions primarily from a proof-theoretic perspective, determine their consistency strengths by exhibiting equivalent systems in the ...
Nickle is a vaguely C-like programming language for numerical applications, useful both as a desk calculator and as a prototyping and implementation language for numerical and sem...
This paper addresses the issue of state-space realizations for nonlinear adjoint operators. In particular, the relationships between nonlinear Hilbert adjoint operators, Hamiltoni...
Kenji Fujimoto, Jacquelien M. A. Scherpen, W. Stev...
What is the impact of operational (i.e. nonstrategic) IT business alignment on IT usage? Using case studies in three branches of a retail bank employing identical information syst...
Heinz-Theo Wagner, Daniel Beimborn, Jochen Franke,...