Nesting Success of Kemp’s Ridley Sea Turtles, Lepidochelys kempi, at Rancho Nuevo, Tamaulipas, Mexico, 1982–2004

The Kemp’s ridley sea turtle, Lepidochelys kempi, was on the edge of extinction owing to a combination of intense egg harvesting and incidental capture in commercial fishing trawls. Results from a cooperative conservation strategy initiated in 1978 between Mexico and the United States to protect and restore the Kemp’s ridley turtle at the main nesting beach at Rancho Nuevo, Tamaulipas, Mexico are assessed. This strategy appears to be working as there are signs that the species is starting to make a recovery. Recovery indicators include: 1) increased numbers of nesting turtles, 2) increased numbers of 100+ turtle nesting aggregations (arribadas), 3) an expanding nesting season now extending from March to August, and 4) significant nighttime nesting since 2003. The population low point at Rancho Nuevo was in 1985 (706 nests) and the population began to significantly increase in 1997 (1,514 nests), growing to over 4,000 nests in 2004. The size and numbers of arribadas have increased each year since 1983 but have yet to exceed the 1,000+ mark; most arribadas are still 200–800+ turtles

Generalised verification of the observer property in discrete event systems

The observer property is an important condition to be satisfied by abstractions of Discrete Event Systems (DES) models. This paper presents a generalised version of a previous algorithm which tests if an abstraction of a DES obtained through natural projection has the observer property. The procedure called OP-verifier II overcomes the limitations of the previously proposed verifier while keeping its computational complexity. Results are illustrated by a case study of a transfer line system

Generalised verification of the observer property in discrete event systems

The observer property is an important condition to be satisfied by abstractions of Discrete Event Systems (DES) models. This paper presents a generalised version of a previous algorithm which tests if an abstraction of a DES obtained through natural projection has the observer property. The procedure called OP-verifier II overcomes the limitations of the previously proposed verifier while keeping its computational complexity. Results are illustrated by a case study of a transfer line system

Verification of the observer property in discrete event systems

The observer property is an important condition to be satisfied by abstractions of Discrete Event System (DES) models. This technical note presents a new algorithm that tests if an abstraction of a DES obtained through natural projection has the observer property. The procedure, called OP-Verifier, can be applied to (potentially nondeterministic) automata, with no restriction on the existence of cycles of 'non-relevant' events. This procedure has quadratic complexity in the number of states. The performance of the algorithm is illustrated by a set of experiments

Long-term Stellar Variability in the Galactic Centre Region

© 2019 The Author(s) Published by Oxford University Press on behalf of the Royal Astronomical Society.We report the detection of variable stars within a 11.5' x 11.5' region near the Galactic centre (GC) that includes the Arches and Quintuplet clusters, as revealed by the VISTA Variables in the Via Lactea (VVV) survey. There are 353 sources that show Ks-band variability, of which the large majority (81%) correspond to red giant stars, mostly in the asymptotic giant branch (AGB) phase. We analyze a population of 52 red giants with long-term trends that cannot be classified into the typical pulsating star categories. Distances and extinctions are calculated for 9 Mira variables, and we discuss the impact of the chosen extinction law on the derived distances. We also report the presence of 48 new identified young stellar object (YSO) candidates in the region.Peer reviewe