An Improvement of the Piggyback Algorithm for Parallel Model Checking

This paper extends the piggyback algorithm to enlarge the set of liveness properties it can verify. Its extension is motivated by an attempt to express in logic the counterexamples it can detect and relate them to bounded liveness. The original algorithm is based on parallel breadth-first search and piggybacking of accepting states that are deleted after counting a fixed number of transitions. The main improvement is obtained by renewing the counter of transitions when the same accepting states are visited in the negated property automaton. In addition, we describe piggybacking of multiple states in either sets (exact) or Bloom filters (lossy but conservative), and use of local searches that attempt to connect cycles fragmented among processing cores. Finally it is proved that accepting cycle detection is in NC in the size of the product automaton's entire state space, including unreachable states

Efficacy and tolerance of oral versus parenteral cyanocobalamin supplement in hypocobalaminaemic dogs with chronic enteropathy: a controlled randomised open-label trial

Objectives: Determine comparative tolerance of daily oral and weekly parenteral cobalamin supplementation, in hypocobalaminaemic dogs with chronic enteropathy. Determine whether oral is as effective as parenteral supplementation at achieving eucobalaminaemia, in hypocobalaminaemic dogs with protein-losing enteropathy, severe hypocobalaminaemia or high canine inflammatory bowel disease activity index at inclusion. Materials and Methods: Thirty-seven client-owned dogs with hypocobalaminaemia and clinical signs of chronic enteropathy were prospectively enrolled in three UK referral centres. Dogs were randomly allocated to daily oral for 12 weeks or weekly parenteral cobalamin supplementation for 6 weeks and one additional dose 4 weeks later. Serum cobalamin, body condition score, canine inflammatory bowel disease activity index and bodyweight were assessed at inclusion, weeks 7 and 13. Serum methylmalonic acid concentration was evaluated at inclusion and at week 13. Owners completed treatment adherence, palatability, tolerance and satisfaction questionnaires at week 13. Results: Nineteen dogs completed the study. All dogs orally supplemented achieved normal or increased cobalaminaemia at weeks 7 and 13. There was no statistical difference in cobalamin concentration at week 13 in dogs treated with oral or parenteral supplementation, regardless of presence of protein-losing enteropathy, severity of hypocobalaminaemia or canine inflammatory bowel disease activity index at inclusion. Serum methylmalonic acid concentration was not significantly different between oral and parenteral groups, neither were treatment adherence, satisfaction, and tolerance scores at week 13. Clinical Significance: Oral is as effective and as well-tolerated as parenteral cobalamin supplementation in hypocobalaminaemic dogs with chronic enteropathy and severe clinical or biochemical phenotypes, and should be considered as a suitable treatment option regardless of disease severity.</p

Motivation of owners to purchase pedigree cats, with specific focus on the acquisition of brachycephalic cats

Background: Cats are globally popular pets and pedigree cats are increasingly prevalent, with brachycephalic breeds being the most registered breeds. How owners decide upon and acquire their cats is poorly understood. Moreover, there are growing concerns about the health and welfare of brachycephalic (BC) dogs and recent studies are raising the awareness of health and welfare problems in BC cats. Methods: An online survey investigated owners’ motivations, perceptions and behaviours prior to, during and following acquisition of non-pedigree (NP), extreme brachycephalic pedigree (BC; i.e., Persian and Exotic Shorthair) and mild to non-BC pedigree (P) cats. Results: The survey received 1367 valid responses (NP n = 882, P n = 400, BC n = 85 (6.2%)). There were marked differences between NP, P and BC owners’ perception of their cats’ health and welfare, reason(s) for acquisition and its process. Owners of NP were less influenced by appearance, behaviour and other features than P or BC owners. In contrast, P and BC owners were highly influenced by appearance, with P owners also placing greater importance on good breed health than BC owners. BC owners were less likely to recommend their breeds to prospective cat owners, apparently concerned by high maintenance requirements. Conclusion: Further research is needed to determine how decision-making is constructed and how it may be improved, especially in respect of welfare outcomes for extreme BC cats given the increased weighting given to appearance over health

Red Wine Polyphenols Prevent Endothelial Damage Induced by CCl 4 Administration

Summary It became evident in the present study that carbon tetrachloride (CCl 4 ), in addition to its known liver and renal toxicity, causes serious damage to endothelial cells. The preventive effect of red wine on cardiovascular diseases has been documented in a number of human population studies as well as in animal experimental models. In this study, the endothelium protective effect of polyphenolic compounds isolated from red wine was studied in rats administered 0.5 ml of CCl 4 /kg body weight intraperitoneally twice a week for 8 weeks. Endothelemia (endothelial cells/10 μl of plasma) was used as the marker of endothelial cell injury in vivo. Chronic CCl 4 treatment for 8 weeks lead to a 3-fold increase of free endothelial cells circulating in the blood when compared to the baseline values (2.5±0.3). Parallel oral administration of polyphenols 40 mg/kg/day significantly decreased the endothelemia. Polyphenolic compounds alone did not produce significant changes. Three weeks of spontaneous recovery after the 8-week treatment with CCl 4 did not lead to a marked decrease of endothelemia, but the administration of red wine polyphenols during the 3-week period significantly decreased free endothelial cells in the blood. It can be concluded that long-term administration of CCl 4 may serve as a useful experimental model of endothelial damage. The red wine polyphenolic compounds exert a powerful protective effect on endothelial cells from the injury caused by CCl 4 . This effect was documented by decreased endothelemia that corresponded to diminished endothelial cell swelling and detachment evaluated by histology of the vascular intima. The endothelium protective effect may be one of the key factors that contribute to the preventive action of red wine on cardiovascular diseases

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