Search
Now showing items 721-730 of 764
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 ...
Sistemas de pocos cuerpos en un entorno del umbral del continuo :
(2010)
En esta tesis se presenta un estudio de varios sistemas cuánticos cuyo común denominador es que poseen uno o más estados ligados cerca del umbral de energía del continuo. En este aspecto se analizaron los diagramas de ...
Análisis de binarios usando ejecución simbólica
(2018)
En el presente trabajo se estudia, analiza y contribuye en el uso de técnicas y herramientas modernas para el análisis de programas ejecutables binarios. Hacemos énfasis en el uso de ejecución simbólica, mencionando algunas ...
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 ...
El desafío de realizar un proceso de modelización matemática en estadística, mediado por las TIC
(2013-12)
El presente informe trata acerca de las prácticas llevadas a cabo por los autores en dos cursos de 5° año de una institución pública de gestión privada. El tema abordado en dichas prácticas fue estadística, mediante un ...
Estudio experimental de campo de las cargas eléctricas y tamaño de las partículas de precipitación
(2018-09)
En este trabajo experimental sobre la electrificación de las nubes se estudió la carga eléctrica y el tamaño que poseen las partículas de precipitación cuando llegan al nivel del suelo. Se diseñó y construyó el instrumento ...
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 ...
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 ...