Search
Now showing items 191-200 of 201
Licentia : a tool for supporting users in data licensing on the web of data
(2014)
Associating a license to data is a fundamental task when publishing data on the Web. However, in many cases data producers and publishers are not legal experts, and they usually have only a basic knowledge about the possible ...
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 ...
A multimodal corpus of rapid dialogue games
(2014)
This paper presents a multimodal corpus of spoken human-human dialogues collected as participants played a series of Rapid DialogueGames (RDGs). The corpus consists of a collection of about 11 hours of spoken audio, video, ...
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 ...
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 ...
Modal satisfiability via SMT solving
(2015)
Modal logics extend classical propositional logic, and they are robustly decidable. Whereas most existing decision procedures for modal logics are based on tableau constructions, we propose a framework for obtaining decision ...