A Simple GMM Estimator for the Semi-Parametric Mixed Proportional Hazard Model Ridder and Woutersen (2003) have shown that under a weak condition on the baseline hazard there exist root-N consistent estimators of the parameters in a semiparametric Mixed Proportional Hazard model with a parametric baseline hazard and unspecified distribution of the unobserved heterogeneity. We extend the Linear ...

Macroeconomic Effects of Short-Term Training Measures on the Matching Process in Western Germany This paper investigates the macroeconomic effects of short term training measures on the matching processes in West Germany. The empirical analysis is based on regional data for local employment office districts for the period from January 2003 to December 2004. The empirical model relies on a dynam...

Kyuhong Kim et al. 811 ABSTRACT⎯In this letter, we introduce confusion-based confidence measures for detecting an impostor in speaker recognition, which does not require an alternative hypothesis. Most traditional speaker verification methods are based on a hypothesis test, and their performance depends on the robustness of an alternative hypothesis. Compared with the conventional Gaussian mixt...

For a cardinal κ and a model M of cardinality κ let No(M) denote the number of non-isomorphic models of cardinality κ which are L∞κ-equivalent to M. In [She82] Shelah established that when κ is a weakly compact cardinal and μ ≤ κ is a nonzero cardinal, there exists a model M of cardinality κ with No(M) = μ. We prove here that if κ is a weakly compact cardinal, the question of the possible value...

A model M is said to be gross if all infinite definable sets in M have the same cardinality (as M). We prove that if for some uncountable κ, T has a unique gross model of cardinality κ, then for any uncountable κ, T has a unique gross model of cardinality κ.

We show that the expressive power of first-order logic over finite models embedded in a model M is determined by stability-theoretic properties of M . In particular, we show that if M is stable, then every class of finite structures that can be defined by embedding the structures in M , can be defined in pure first-order logic. We also show that if M does not have the independence property, the...

ions for Model-Checking Game-theoretic Properties in Combinatorial Auctions E.M. Tadjouddine F. Guerin W. Vasconcelos Univ. of Aberdeen, Dept. of Computing Science, Aberdeen AB24 3UE, UK [email protected], [email protected], [email protected]

In an earlier paper (MLQ 54, 128–144) the first author initiated the study of generic cuts of a model of Peano Arithmetic relative to a notion of an indicator in the model. This paper extends that work. We generalise the idea of indicator to a related neighbourhood system; this allows the theory to be extended to one that includes the case of elementary cuts. Most results transfer to this more ...

Given an unknown attractor A in a continuous dy-namical system, how we can discover the topology and dynamics of A? As a practical matter, how can we do so from only a nite amount of information? One way of doing so is to produce a semi-conjugacy from A onto a model system M whose topology and dynamics are known. The complexity of M then provides a lower bound for the complexity of A. The Conle...

In this paper we answer a question of Friedman, providing an !-separable model M of the-calculus. There therefore exists an-separable model for any 0. The model M permits no non-trivial enrichment as a partial order; neither does it permit an enrichment as a category with an initial object. The open term model embeds in M: by way of contrast we provide a model which cannot embed in any non-triv...