Search
Now showing items 161-167 of 167
Center of mass and spin for isolated sources of gravitational radiation
(2016)
We define the center of mass and spin of an isolated system in general relativity. The resulting relationships between these variables and the total linear and angular momentum of the gravitational system are remarkably ...
Characterization, definability and separation via saturated models
(2014)
Three important results about the expressivity of a modal logic L are the Characterization Theorem (that identifies a modal logic L as a fragment of a better known logic), the Definability theorem (that provides conditions ...
In vivo EDXRF scanning analysis of human nail
(2014-09)
This paper presents the results of a new technique forin vivoenergy dispersive X-rayfluorescence (EDXRF) scan analysis, applied to humanfingernails. The scan employs a specially designed EDXRF spectrometer, which allows a ...
Information extraction with active learning : a case study in legal text
(2015)
Active learning has been successfully applied to a number of NLP tasks. In this paper, we present a study on Information Extraction for natural language licenses that need to be translated to RDF. The final purpose of our ...
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 ...