5,598 datasets found

We design and study Schwarz Waveform relaxation algorithms for the linear Schrödinger equation with a potential in one dimension. We show that the overlapping...

The lattice dynamics of the $\rm YMnO_3$ magneto-electric compound has been investigated using density functional calculations, both in the ferroelectric and the...

Common sense supports prevention policies aimed at improving survival prospects among the population. It is also widely acknowledged that an early death is a serious...

Stereotypes, role models played by teachers and social norms are known to push girls to choose humanities rather than science. Do professors directly contribute to...

This paper aims to analyze hedge fund index behavior over the 9-year period ranging from January 1994 to December 2002 with help of various statistical measures. The...

34 pages, 2 figures.

25 pages, submitted to PRE.

The purpose of this paper is to explain the interest and importance of (approximate) models and model selection in Statistics. Starting from the very elementary...

Under what conditions should a central bank adopt an inflation targeting regime ? This is the main question we address in this paper. A large part of the literature...

9 pages

36 pages

15 pages, 8 figures

18 pages, 7 figures.

In this work, we study a model of the chemostat where the species are present in two forms, isolated bacteria and under an aggregated form like attached bacteria or...

Certifying critical systems requires very precise specifications and ability to ver- ify each development step. However, proofreading and test based verification are...

Precise specifications are needed for verifying and certifying the correct behavior of critical systems. However, traditional proofreading and test based verification...

The huge number of association rules represent the main obstacle that a decision maker faces. In order to bypass this obstacle, an efficient selection of rules must be...

Critical Real-Time Embedded Systems (RTES) have strong requirement with respect to system's reliability. In Model-Driven Engineering (MDE), verification at early...

To appear in 2012 in Studia Etymologica Cracoviensia

Critical catalytic branching random walk on d-dimensional integer lattice is investigated for all d. The branching may occur at the origin only and the start point is...