The mature lactococcal cell envelope proteinase (CEP) consists of an N-terminal subtilisin-like proteinase domain and a large C-terminal extension of unknown function whose far end anchors the molecule in the cell envelope. Different types of CEP can be distinguished on the basis of specificity and amino acid sequence. Removal of weakly bound Ca2+ from the native cell-bound CEP of Lactococcus l...

Moral hazard and adverse selection impede the development of formal crop insurance markets in developing countries. Besides, the risk mitigation provided by informal risk-sharing arrangements is restricted by their inability to protect against covariate shocks. In this context, index-based insurance is seen as a promising scheme as it is immune to moral hazard and adverse selection and may offe...

Observations by the ISEE-1 and ISEE-2 spacecraft on 29 September 1978 show large CEP (Cusp Energetic Particle) fluxes while passing through the dayside magnetospheric cusp in near coincident orbits. The event was observed around 11:00 MLT between roughly 12:30 and 13:00 UT by ISEE-1 and 12:00 and 13:00 UT by ISEE-2. During these periods, both electron and ion fluxes increased by more than two o...

In this paper we develop a coherent framework that integrates both traditional measures of -convergence and -convergence within a study of cross-country income dynamics. To do this we exploit the close links that exist between studies of income mobility and studies analysing the progressivity of the tax system. We also develop a welfare interpretation for the concept of -convergence, which d...

There is growing evidence that vasculogenesis (progenitor cell-derived generation of new blood vessels) is required for the growth of some neoplastic diseases. Here we show that the administration of cyclophosphamide (CTX) at the maximum tolerable dose with 21-day breaks or at more frequent low-dose (metronomic) schedules have opposite effects on the mobilization and viability of circulating en...

Nowadays many applications must process events at a very high rate. These events are processed on the fly, without being stored. Complex Event Processing technology (CEP) is used to implement such applications. Some of the CEP systems, like Apache Storm the most popular CEPs, lack a query language and operators to program queries as done in traditional relational databases. This paper presents ...

Designing and implementing security-critical systems correctly is difficult. In practice, most vulnerabilities arise from bugs in implementations. We present work towards systematic specification-based testing of security-critical systems using the CASE tool AutoFocus. Cryptographic systems are formally specified with state transition diagrams, a notation for state machines in the AutoFocus sys...

Development of a microprocessor-based speech recognition system for a low cost remotely operated underwater vehicle (ROV) is reported in this paper. The system is designed to enhance the operator-controls for the TITAN range of ROV's. The experimental system is developed on a Motorola evaluation board with a M68HC16 Hl-bit microcontroller. Recognition is based on the minimum Euclidean distance ...