Incremental verification of co-observability in discrete-event systems

Existing strategies for verifying co-observability, one of the properties that must be satisfied for synthesizing solutions to decentralized supervisory control problems, require the construction of the complete system model. When the system is composed of many subsystems, these monolithic approaches may be impractical due to the state-space explosion problem. To address this issue, we introduce an incremental verification of co-observability approach. Selected subgroups of the system are evaluated individually, until verification of co-observability is complete. The new method is potentially much more efficient than the monolithic approaches, in particular for systems composed of many subsystems, allowing for some intractable state-space explosion problems to be manageable. Properties of this new strategy are presented, along with a corresponding algorithm and an example

The bacterial biome of ticks and their wildlife hosts at the urban–wildland interface

Advances in sequencing technologies have revealed the complex and diverse microbial communities present in ticks (Ixodida). As obligate blood-feeding arthropods, ticks are responsible for a number of infectious diseases that can affect humans, livestock, domestic animals and wildlife. While cases of human tick-borne diseases continue to increase in the northern hemisphere, there has been relatively little recognition of zoonotic tick-borne pathogens in Australia. Over the past 5 years, studies using high-throughput sequencing technologies have shown that Australian ticks harbour unique and diverse bacterial communities. In the present study, free-ranging wildlife (n=203), representing ten mammal species, were sampled from urban and peri-urban areas in New South Wales (NSW), Queensland (QLD) and Western Australia (WA). Bacterial metabarcoding targeting the 16S rRNA locus was used to characterize the microbiomes of three sample types collected from wildlife: blood, ticks and tissue samples. Further sequence information was obtained for selected taxa of interest. Six tick species were identified from wildlife: Amblyomma triguttatum, Ixodes antechini, Ixodes australiensis, Ixodes holocyclus, Ixodes tasmani and Ixodes trichosuri. Bacterial 16S rRNA metabarcoding was performed on 536 samples and 65 controls, generating over 100 million sequences. Alpha diversity was significantly different between the three sample types, with tissue samples displaying the highest alpha diversity (P<0.001). Proteobacteria was the most abundant taxon identified across all sample types (37.3 %). Beta diversity analysis and ordination revealed little overlap between the three sample types (P<0.001). Taxa of interest included Anaplasmataceae, Bartonella, Borrelia, Coxiellaceae, Francisella, Midichloria, Mycoplasma and Rickettsia. Anaplasmataceae bacteria were detected in 17.7% (95/536) of samples and included Anaplasma, Ehrlichia and Neoehrlichia species. In samples from NSW, ‘Ca. Neoehrlichia australis’, ‘Ca. Neoehrlichia arcana’, Neoehrlichia sp. and Ehrlichia sp. were identified. A putative novel Ehrlichia sp. was identified from WA and Anaplasma platys was identified from QLD. Nine rodent tissue samples were positive for a novel Borrelia sp. that formed a phylogenetically distinct clade separate from the Lyme Borrelia and relapsing fever groups. This novel clade included recently identified rodent-associated Borrelia genotypes, which were described from Spain and North America. Bartonella was identified in 12.9% (69/536) of samples. Over half of these positive samples were obtained from black rats (Rattus rattus), and the dominant bacterial species identified were Bartonella coopersplainsensis and Bartonella queenslandensis. The results from the present study show the value of using unbiased high-throughput sequencing applied to samples collected from wildlife. In addition to understanding the sylvatic cycle of known vector-associated pathogens, surveillance work is important to ensure preparedness for potential zoonotic spillover events

Increase in Ca2+ current by sustained cAMP levels enhances proliferation rate in GH3 cells

Aims: Ca2 + and cAMP are important intracellular modulators. In order to generate intracellular signals with various amplitudes, as well as different temporal and spatial properties, a tightly and precise control of these modulators in intracellular compartments is necessary. The aim of this study was to evaluate the effects of elevated and sustained cAMP levels on voltage-dependent Ca2 + currents and proliferation in pituitary tumor GH3 cells. Main methods: Effect of long-term exposure to forskolin and dibutyryl-cyclic AMP (dbcAMP) on Ca2 + current density and cell proliferation rate were determined by using the whole-cell patch-clamp technique and real time cell monitoring system. The cAMP levels were assayed, after exposing transfected GH3 cells with the EPAC-1 cAMP sensor to forskolin and dbcAMP, by FRET analysis. Key findings: Sustained forskolin treatment (24 and 48 h) induced a significant increase in total Ca2 + current density in GH3 cells. Accordingly, dibutyryl-cAMP incubation (dbcAMP) also elicited increase in Ca2 + current density. However, the maximum effect of dbcAMP occurred only after 72 h incubation, whereas forskolin showed maximal effect at 48 h. FRET-experiments confirmed that the time-course to elevate intracellular cAMP was distinct between forskolin and dbcAMP. Mibefradil inhibited the fast inactivating current component selectively, indicating the recruitment of T-type Ca2 + channels. A significant increase on cell proliferation rate, which could be related to the elevated and sustained intracellular levels of cAMP was observed. Significance: We conclude that maintaining high levels of intracellular cAMP will cause an increase in Ca2 + current density and this phenomenon impacts proliferation rate in GH3 cells

Blood parasites in endangered wildlife - Trypanosomes discovered during a survey of haemoprotozoa from the Tasmanian devil

The impact of emerging infectious diseases is increasingly recognised as a major threat to wildlife. Wild populations of the endangered Tasmanian devil, Sarcophilus harrisii, are experiencing devastating losses from a novel transmissible cancer, devil facial tumour disease (DFTD); however, despite the rapid decline of this species, there is currently no information on the presence of haemoprotozoan parasites. In the present study, 95 Tasmanian devil blood samples were collected from four populations in Tasmania, Australia, which underwent molecular screening to detect four major groups of haemoprotozoa: (i) trypanosomes, (ii) piroplasms, (iii) Hepatozoon, and (iv) haemosporidia. Sequence results revealed Trypanosoma infections in 32/95 individuals. Trypanosoma copemani was identified in 10 Tasmanian devils from three sites and a second Trypanosoma sp. was identified in 22 individuals that were grouped within the poorly described T. cyclops clade. A single blood sample was positive for Babesia sp., which most closely matched Babesia lohae. No other blood protozoan parasite DNA was detected. This study provides the first insight into haemoprotozoa from the Tasmanian devil and the first identification of Trypanosoma and Babesia in this carnivorous marsupial

A rapid phenotype change in the pathogen Perkinsus marinus was associated with a historically significant marine disease emergence in the eastern oyster

The protozoan parasite Perkinsus marinus, which causes dermo disease in Crassostrea virginica, is one of the most ecologically important and economically destructive marine pathogens. The rapid and persistent intensification of dermo in the USA in the 1980s has long been enigmatic. Attributed originally to the effects of multi-year drought, climatic factors fail to fully explain the geographic extent of dermo’s intensification or the persistence of its intensified activity. Here we show that emergence of a unique, hypervirulent P. marinus phenotype was associated with the increase in prevalence and intensity of this disease and associated mortality. Retrospective histopathology of 8355 archival oysters from 1960 to 2018 spanning Chesapeake Bay, South Carolina, and New Jersey revealed that a new parasite phenotype emerged between 1983 and 1990, concurrent with major historical dermo disease outbreaks. Phenotypic changes included a shortening of the parasite’s life cycle and a tropism shift from deeper connective tissues to digestive epithelia. The changes are likely adaptive with regard to the reduced oyster abundance and longevity faced by P. marinus after rapid establishment of exotic pathogen Haplosporidium nelsoni in 1959. Our findings, we hypothesize, illustrate a novel ecosystem response to a marine parasite invasion: an increase in virulence in a native parasite

On the connection between the intergalactic medium and galaxies: the H I–galaxy cross-correlation at z ≲ 1

We present a new optical spectroscopic survey of 1777 ‘star-forming’ (‘SF’) and 366 ‘non-star-forming’ (‘non-SF’) galaxies at redshifts z ∼ 0-1 (2143 in total), 22 AGN and 423 stars, observed by instruments such as the Deep Imaging Multi-Object Spectrograph, the Visible Multi-Object Spectrograph and the Gemini Multi-Object Spectrograph, in three fields containing five quasi-stellar objects (QSOs) with Hubble Space Telescope (HST) ultraviolet spectroscopy. We also present a new spectroscopic survey of 173 ‘strong’ (1014 ≤ NHI≲ 1017 cm−2) and 496 ‘weak’ (1013 ≲ NHI 50 per cent of ‘weak’ H i systems reside within galaxy voids (hence not correlated with galaxies), and are confined in dark matter haloes of masses smaller than those hosting ‘strong’ systems and/or galaxies. We speculate that H i systems within galaxy voids might still be evolving in the linear regime even at scales ≲2 Mpc

Higher spin quaternion waves in the Klein-Gordon theory

Electromagnetic interactions are discussed in the context of the Klein-Gordon fermion equation. The Mott scattering amplitude is derived in leading order perturbation theory and the result of the Dirac theory is reproduced except for an overall factor of sixteen. The discrepancy is not resolved as the study points into another direction. The vertex structures involved in the scattering calculations indicate the relevance of a modified Klein-Gordon equation, which takes into account the number of polarization states of the considered quantum field. In this equation the d'Alembertian is acting on quaternion-like plane waves, which can be generalized to representations of arbitrary spin. The method provides the same relation between mass and spin that has been found previously by Majorana, Gelfand, and Yaglom in infinite spin theories

The First Detection of Cobalt in a Damped Lyman Alpha System

We present the first ever detection of Cobalt in a Damped Lyman Alpha system (DLA) at z = 1.92. In addition to providing important clues to the star formation history of these high redshift galaxies, we discuss how studying the Co abundance in DLAs may also help to constrain models of stellar nucleosynthesis in a regime not probed by Galactic stars.Comment: 4 pages, to appear in the proceedings of `New Quests in Stellar Astrophysics: The Link Between Stars and Cosmology', eds. M. Chavez, A. Bressan, A. Buzzoni, D. Mayy

Introductory clifford analysis

In this chapter an introduction is given to Clifford analysis and the underlying Clifford algebras. The functions under consideration are defined on Euclidean space and take values in the universal real or complex Clifford algebra, the structure and properties of which are also recalled in detail. The function theory is centered around the notion of a monogenic function, which is a null solution of a generalized Cauchy–Riemann operator, which is rotation invariant and factorizes the Laplace operator. In this way, Clifford analysis may be considered as both a generalization to higher dimension of the theory of holomorphic functions in the complex plane and a refinement of classical harmonic analysis. A notion of monogenicity may also be associated with the vectorial part of the Cauchy–Riemann operator, which is called the Dirac operator; some attention is paid to the intimate relation between both notions. Since a product of monogenic functions is, in general, no longer monogenic, it is crucial to possess some tools for generating monogenic functions: such tools are provided by Fueter’s theorem on one hand and the Cauchy–Kovalevskaya extension theorem on the other hand. A corner stone in this function theory is the Cauchy integral formula for representation of a monogenic function in the interior of its domain of monogenicity. Starting from this representation formula and related integral formulae, it is possible to consider integral transforms such as Cauchy, Hilbert, and Radon transforms, which are important both within the theoretical framework and in view of possible applications