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 ...
Normal holonomy of orbits and Veronese submanifolds
(2015)
It was conjectured, twenty years ago, the following result that would generalize the so-called rank rigidity theorem for homogeneous Euclidean submanifolds: let Mn, n ≥ 2, be a full and irreducible homogeneous submanifold ...
Combining semi-supervised and active learning to recognize minority senses in a new corpus
(2015)
In this paper we study the impact of combining active learning with bootstrapping to grow a small annotated corpus from a different, unannotated corpus. The intuition underlying our approach is that bootstrapping includes ...
Narrow-band search of continuous gravitational-wave signals from Crab and Vela pulsars in Virgo VSR4 data
(2015)
In this paper we present the results of a coherent narrow-band search for continuous gravitational-wave signals from the Crab and Vela pulsars conducted on Virgo VSR4 data. In order to take into account a possible small ...
Adapting a Fourier pseudospectral method to Dirichlet boundary conditions for Rayleigh–Bénard convection
(2015)
We present the adaptation to non–free boundary conditions of a pseudospectral method based on the (complex) Fourier transform. The method is applied to the numerical integration of the Oberbeck–Boussinesq equations in a ...
Internal - External stimulus competition in a system of interacting moving particles : persuasion vs propaganda
(2015)
We propose a general nonlinear analytical framework to study the effect of an external stimulus in the internal state of a population of moving particles. This novel scheme allows us to study a broad range of excitation ...
Sustainable chemotherapy schedules
(2015)
We used a discrete time version of viabilitytheory in order to study the sustainable therapies againstthe cancer. We assume that the tumor is composed of twosubpopulations, one resistant and the another sensitive. Weconsider ...