Osudy Starých letopisů českých (text F)

The collection of Hussite chronicles called Old Czech Annals contains more than thirty manuscripts some of which have been left out of the research spotlight. One of them is the Czech written text F (called “of Stockholm”) from the second half of the 15th century, currently stored under the signature G 10, no. 432 in the Moravian Municipal Archive in Brno, nevertheless, until 1878, it had been held in Stockholm as a spoil. The text F describes the course of events on the Czech territory from the years 1393 to 1453. Particular emphasis is laid on the events taking place during the Hussite revolution (after 1419) narrated, from the perspective of moderate Utraquism, by an anonymous Prague chronicler. Even though he, in his descriptions, consciously evades to include his evaluation of the events, striving for being an objective and impartial, unbiased observer, it is possible, at times, to read his attitude and opinion from his language rendering, which we instantiate with citations from the manuscript. A copy of the manuscript was acquired during its brief borrowing from Sweden to Prague in 1819 by Václav Hanka (1791–1861), a prominent representative of the Czech National Revival. The copy is stored in the National Museum Library, signature III F 9.The collection of Hussite chronicles called Old Czech Annals contains more than thirty manuscripts some of which have been left out of the research spotlight. One of them is the Czech written text F (called “of Stockholm”) from the second half of the 15th century, currently stored under the signature G 10, no. 432 in the Moravian Municipal Archive in Brno, nevertheless, until 1878, it had been held in Stockholm as a spoil. The text F describes the course of events on the Czech territory from the years 1393 to 1453. Particular emphasis is laid on the events taking place during the Hussite revolution (after 1419) narrated, from the perspective of moderate Utraquism, by an anonymous Prague chronicler. Even though he, in his descriptions, consciously evades to include his evaluation of the events, striving for being an objective and impartial, unbiased observer, it is possible, at times, to read his attitude and opinion from his language rendering, which we instantiate with citations from the manuscript. A copy of the manuscript was acquired during its brief borrowing from Sweden to Prague in 1819 by Václav Hanka (1791–1861), a prominent representative of the Czech National Revival. The copy is stored in the National Museum Library, signature III F 9

Výbor z díla Jana Husa v České knižnici

29830

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

BioDiVinE: A Framework for Parallel Analysis of Biological Models

In this paper a novel tool BioDiVinEfor parallel analysis of biological models is presented. The tool allows analysis of biological models specified in terms of a set of chemical reactions. Chemical reactions are transformed into a system of multi-affine differential equations. BioDiVinE employs techniques for finite discrete abstraction of the continuous state space. At that level, parallel analysis algorithms based on model checking are provided. In the paper, the key tool features are described and their application is demonstrated by means of a case study

Genomic and Transcriptomic Characterization of Atypical Recurrent Flank Alopecia in the Cesky Fousek.

Non-inflammatory alopecia is a frequent skin problem in dogs, causing damaged coat integrity and compromised appearance of affected individuals. In this study, we examined the Cesky Fousek breed, which displays atypical recurrent flank alopecia (aRFA) at a high frequency. This type of alopecia can be quite severe and is characterized by seasonal episodes of well demarcated alopecic areas without hyperpigmentation. The genetic component responsible for aRFA remains unknown. Thus, here we aimed to identify variants involved in aRFA using a combination of histological, genomic, and transcriptomic data. We showed that aRFA is histologically similar to recurrent flank alopecia, characterized by a lack of anagen hair follicles and the presence of severely shortened telogen or kenogen hair follicles. We performed a genome-wide association study (GWAS) using 216 dogs phenotyped for aRFA and identified associations on chromosomes 19, 8, 30, 36, and 21, highlighting 144 candidate genes, which suggests a polygenic basis for aRFA. By comparing the skin cell transcription pattern of six aRFA and five control dogs, we identified 236 strongly differentially expressed genes (DEGs). We showed that the GWAS genes associated with aRFA are often predicted to interact with DEGs, suggesting their joint contribution to the development of the disease. Together, these genes affect four major metabolic pathways connected to aRFA: collagen formation, muscle structure/contraction, lipid metabolism, and the immune system

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)