Search
Now showing items 111-113 of 113
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 ...
External visual interface for a Nikon 6D autocollimator
(2014)
The goal of this paper is to describe the potential of a visual interface applied to a Nikon 6B/6D autocollimator in order to replace human operator within a laboratory grade measurement. The optical interface implemented ...
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 ...