Search
Now showing items 21-30 of 50
Pure type systems with explicit substitutions
(2015)
We introduce a new formulation of pure type systems (PTSs) with explicit substitution and
de Bruijn indices and formally prove some of its meta-theory. Using techniques based on
Normalisation by Evaluation, we prove that ...
On Dirichlet problems with singular nonlinearity of indefinite sign
(2015)
Let Ω be a smooth bounded domain in RN , N ≥ 1, let K, M be two nonnegative functions and let α, γ > 0. We study existence and nonexistence of positive solutions for singular problems of the form −Δu = K(x)u−α − λM (x)u−γ ...
Corrosion of steel alloys with ferrite coating
(2015)
The corrosion protection offered by coatings of hexagonal Sr ferrites on steel samples in the presence of chloride was evaluated by electrochemical techniques. Different samples were prepared using Nd-Co doped and un-doped ...
From a systems theory of sociology to modeling the onset and evolution of criminality
(2015)
This paper proposes a systems theory approach to the modeling of onset and evolution of criminality in a territory. This approach aims at capturing the complexity features of social systems. Complexity is related to the ...
Reversing uncertainty sampling to improve active learning schemes
(2015)
Active learning provides promising methods to optimize the cost of manually annotating a dataset. However, practitioners in many areas do not massively resort to such methods because they present technical difficulties and ...
Invariant solutions to the conformal Killing–Yano equation on Lie groups
(2015)
We search for invariant solutions of the conformal Killing–Yano equation on Lie groups equipped with left invariant Riemannian metrics, focusing on 2-forms. We show that when the Lie group is compact equipped with a ...
Co100-xFex magnetic thick films prepared by electrodeposition
(2015)
Co–Fe films are grown onto plane pre-treated Cu foils; the effects of the alloy composition on the morphology and the crystal texture of the electrodeposited films and their anisotropic magnetic hysteresis properties are ...
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 ...
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 ...
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 ...