Web Appendix A: Extended Models In the main paper we considered models with a separate survival probability for animals in their first year of life. We may wish to consider the survival probability separately for longer than a year, for example if an animal is juvenile for longer than a year. To include such cases we extend the models examined to consider survival separately for the first J yea...

RÉSUMÉ. La construction d'un analyseur syntaxique pour un langage de spécification formelle tel que l'Object Z n'est pas une tâche facile. En effet, elle nécessite une double compétence aussi bien dans le domaine de la compilation que dans le domaine de la spécification formelle. Dans cet article, nous présentons tout d'abord quelques outils de vérifications des spécifications écrites en Z et O...

We present a novel 3D object retrieval method that relies upon a hybrid descriptor which is composed of 2D features based on depth buffers and 3D features based on spherical harmonics. To compensate for rotation, two alignment methods, namely CPCA and NPCA, are used while compactness is supported via scalar feature quantization to a set of values that is further compressed using Huffman coding....

Mobile Object-Z (MobiOZ) is an extended notation of Object-Z with mobile and communication primitives required for mobile agent applications. In this paper, we will give an overview of the MobiOZ language features and present its semantic foundation. We also demonstrate expressiveness of the notation through a number of examples.

‎Complex-valued harmonic functions that are univalent and‎ ‎sense-preserving in the open unit disk $U$ can be written as form‎ ‎$f =h+bar{g}$‎, ‎where $h$ and $g$ are analytic in $U$‎. ‎In this paper‎, ‎we introduce the class $S_H^1(beta)$‎, ‎where $1<betaleq 2$‎, ‎and‎ ‎consisting of harmonic univalent function $f = h+bar{g}$‎, ‎where $h$ and $g$ are in the form‎ ‎$h(z) = z+sumlimits_{n=2}^inf...

BACKGROUND AND PURPOSE Various methods for evaluating the lateralization of linguistic function using functional MR imaging have been proposed. However, the optimal method remains controversial. The purpose of this study was not only to establish a method for quantitatively evaluating the lateralization of linguistic function but also to evaluate its optimality. METHODS Internal speech tasks ...

In this paper we discuss how the speciication of components may be separated from the description of the context in which they are used. There are a number of ways in which this might be possible and here we show how to use the technique of promotion in Object-Z to combine components which are speciied using process algebras. We discuss two approaches, the rst is to separate out the speciica-ti...

The possibilities to run with a linear collider at the Z-pole with high luminosity are examined. Apart from the implications on machine and detector the interest for electroweak and B-physics is discussed. Plenary talk at the International Workshop on Linear Colliders, Fermilab 24 28 October 2000

This paper presents a method of reasoning about Object-Z speciications. The approach utilises the modularity inherent in Object-Z speciications to simplify proofs. Properties proved for a class in isolation can be used when that class is either inherited by another class or instantiated as part of a system of interacting objects. Proofs using structural induction and the notion of object integr...