Search
Now showing items 101-106 of 106
Las potencialidades de la narrativa en la formación de profesores
(2014)
Este artículo tiene como objetivo argumentar en relación con la potencialidad de los textos narrativos para la formación de profesores. Para sustentar nuestra argumentación tomaremos aportes teóricos de diversos autores ...
A pair production telescope for medium-energy gamma-ray polarimetry
(2014)
We describe the science motivation and development of a pair production telescope for medium-energy (∼5–200 MeV) gamma-ray polarimetry. Our instrument concept, the Advanced Energetic Pair Telescope (AdEPT), takes advantage ...
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 ...
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 ...
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 ...