Search
Now showing items 181-183 of 183
Completeness in hybrid type theory
(2014)
We show that basic hybridization (adding nominals and @ operators) makes it possible to give straightforward Henkin-style completeness proofs even when the modal logic being hybridized is higher-order. The key ideas are ...
Air core notch-coil magnet with variable geometry for fast-field-cycling NMR
(2015)
In this manuscript we present details on the optimization, construction and performance of a wide-bore (71 mm) a-helical-cut notch-coil magnet with variable geometry for fast-field-cycling NMR. In addition to the usual ...
The generalization complexity measure for continuous input data
(2014)
We introduce in this work an extension for the generalization complexity measure to continuous input data. The measure, originally defined in Boolean space, quantifies the complexity of data in relationship to the prediction ...