An Introduction to Pervasive Interface Automata

Pervasive systems are often context-dependent, component based systems in which components expose interfaces and offer one or more services. These systems may evolve in unpredictable ways, often through component replacement. We present pervasive interface automata as a formalism for modelling components and their composition. Pervasive interface automata are based on the interface automata of Henzinger et al, with several significant differences. We expand their notion of input and output actions to combinations of input, output actions, and callable methods and method calls. Whereas interfaces automata have a refinement relation, we argue the crucial relation in pervasive systems is component replacement, which must include consideration of the services offered by a component and assumptions about the environment. We illustrate pervasive interface autmotata and component replacement with a small case study of a pervasive application for sports predictions

Platform Dependent Verification: On Engineering Verification Tools for 21st Century

The paper overviews recent developments in platform-dependent explicit-state LTL model checking.Comment: In Proceedings PDMC 2011, arXiv:1111.006

Upalni i hematotoksični potencijal metabolita plijesni Stachybotrys chartarum (Ehrenb.) Hughes u zatvorenim prostorijama

Mould Stachybotrys chartarum (Ehrenb.) Hughes is known to pose a health risk in indoor environments. Most of its strains can produce several intra- and extracellular trichothecene mycotoxins. Complex secondary metabolites of stachybotrys isolates from mouldy dwellings/public buildings in Slovakia were intratracheally instilled in Wistar male rats (4 μg in 0.2 mL of 0.2 % dimethylsulphoxide; diacetoxyscirpenol as the positive control). After three days, haematological parameters were measured in peripheral blood and infl ammatory response biomarkers in bronchoalveolar lavage fl uid (BALF), and the results were statistically analysed. Exometabolites proved to suppress red blood cell (RBC), decreasing the total RBC count, haemoglobin, and haematocrit. The exposed rats showed signifi cantly higher total BALF cell count, indicating infl ammation, lower alveolar macrophage counts, and increased granulocyte count related to the BALF cells. Due to haematotoxic and infl ammation-inducing properties, metabolites of S. chartarum can cause damage to the airways and haematological disorders in occupants of mouldy buildings.Plijesan Stachybotrys chartarum (Ehrenb.) Hughes poznata je kao rizični mikroorganizam u zatvorenim prostorijama. Većina njezinih sojeva može proizvesti nekoliko unutarstaničnih i izvanstaničnih trikotecenskih mikotoksina. Muškim Wistar štakorima instilirani su intratrahealno kompleksni sekundarni metaboliti stahibotrisa izolirani iz stambenih i javnih zgrada u Slovačkoj zahvaćenima plijesni (4 μg na 0,2 mL 0,2 %-tnog dimetilsulfoksida; dok se diacetoksiscirpenol rabio kao pozitivna kontrola). Tri dana kasnije izmjereni su hematološki parametri u perifernoj krvi te biopokazatelji upalnoga odgovora u bronhoalveolarnome ispirku te su rezultati obrađeni statistički. Pokazalo se da egzometaboliti suprimiraju eritrocite, smanjujući njihov ukupni broj, hemoglobin i hematokrit. Izloženi štakori imali su značajno veći broj stanica u bronhoalveolarnome ispirku, što upućuje na upalu, dok im je broj alveolarnih makrofaga bio manji, a broj granulocita povezanih sa stanicama u ispirku veći. Zbog svojih hematotoksičnih i upalnih svojstava S. chartarum može dovesti do oštećenja dišnih putova i poremećaja u krvotvornome sustavu osoba koje žive i/ili rade u zgradama zahvaćenima tom plijesni

The extinct Sicilian wolf shows a complex history of isolation and admixture with ancient dogs

The Sicilian wolf remained isolated in Sicily from the end of the Pleistocene until its extermination in the 1930s–1960s. Given its long-term isolation on the island and distinctive morphology, the genetic origin of the Sicilian wolf remains debated. We sequenced four nuclear genomes and five mitogenomes from the seven existing museum specimens to investigate the Sicilian wolf ancestry, relationships with extant and extinct wolves and dogs, and diversity. Our results show that the Sicilian wolf is most closely related to the Italian wolf but carries ancestry from a lineage related to European Eneolithic and Bronze Age dogs. The average nucleotide diversity of the Sicilian wolf was half of the Italian wolf, with 37–50% of its genome contained in runs of homozygosity. Overall, we show that, by the time it went extinct, the Sicilian wolf had high inbreeding and low-genetic diversity, consistent with a population in an insular environmen

Conservation of freshwater bivalves at the global scale: diversity, threats and research needs

Bivalves are ubiquitous members of freshwater ecosystems and responsible for important functions and services. The present paper revises freshwater bivalve diversity, conservation status and threats at the global scale and discusses future research needs and management actions. The diversity patterns are uneven across the globe with hotspots in the interior basin in the United States of America (USA), Central America, Indian subcontinent and Southeast Asia. Freshwater bivalves are affected by multiple threats that vary across the globe; however, pollution and natural system (habitat) modifications being consistently found as the most impacting. Freshwater bivalves are among the most threatened groups in the world with 40% of the species being near threatened, threatened or extinct, and among them the order Unionida is the most endangered. We suggest that global cooperation between scientists, managers, politicians and general public, and application of new technologies (new generation sequencing and remote sensing, among others) will strengthen the quality of studies on the natural history and conservation of freshwater bivalves. Finally, we introduce the articles published in this special issue of Hydrobiologia under the scope of the Second International Meeting on Biology and Conservation of Freshwater Bivalves held in 2015 in Buffalo, New York, USA.This work was supported by FCT—Foundation for Science and Technology, Project 3599—Promote the Scientific Production and Technological Development and Thematic 3599-PPCDT by FEDER as part of the project FRESHCO: multiple implications of invasive species on Freshwater Mussel co-extinction processes (Contract: PTDC/AGRFOR/1627/2014). FCT also supported MLL under Grant (SFRH/BD/115728/2016)

Emergence of methicillin resistance predates the clinical use of antibiotics.

The discovery of antibiotics more than 80 years ago has led to considerable improvements in human and animal health. Although antibiotic resistance in environmental bacteria is ancient, resistance in human pathogens is thought to be a modern phenomenon that is driven by the clinical use of antibiotics1. Here we show that particular lineages of methicillin-resistant Staphylococcus aureus-a notorious human pathogen-appeared in European hedgehogs in the pre-antibiotic era. Subsequently, these lineages spread within the local hedgehog populations and between hedgehogs and secondary hosts, including livestock and humans. We also demonstrate that the hedgehog dermatophyte Trichophyton erinacei produces two β-lactam antibiotics that provide a natural selective environment in which methicillin-resistant S. aureus isolates have an advantage over susceptible isolates. Together, these results suggest that methicillin resistance emerged in the pre-antibiotic era as a co-evolutionary adaptation of S. aureus to the colonization of dermatophyte-infected hedgehogs. The evolution of clinically relevant antibiotic-resistance genes in wild animals and the connectivity of natural, agricultural and human ecosystems demonstrate that the use of a One Health approach is critical for our understanding and management of antibiotic resistance, which is one of the biggest threats to global health, food security and development

Group Sc.

this material, even partial, is allowed only with the editors ’ permission. Technical editor