"Boring formal methods" or "Sherlock Holmes deduction methods"?

This paper provides an overview of common challenges in teaching of logic and formal methods to Computer Science and IT students. We discuss our experiences from the course IN3050: Applied Logic in Engineering, introduced as a "logic for everybody" elective course at at TU Munich, Germany, to engage pupils studying Computer Science, IT and engineering subjects on Bachelor and Master levels. Our goal was to overcome the bias that logic and formal methods are not only very complicated but also very boring to study and to apply. In this paper, we present the core structure of the course, provide examples of exercises and evaluate the course based on the students' surveys.Comment: Preprint. Accepted to the Software Technologies: Applications and Foundations (STAF 2016). Final version published by Springer International Publishing AG. arXiv admin note: substantial text overlap with arXiv:1602.0517

The effectiveness of public health interventions to reduce the health impact of climate change:a systematic review of systematic reviews

Climate change is likely to be one of the most important threats to public health in the coming years. Yet despite the large number of papers considering the health impact of climate change, few have considered what public health interventions may be of most value in reducing the disease burden. We aimed to evaluate the effectiveness of public health interventions to reduce the disease burden of high priority climate sensitive diseases

Membranes by the Numbers

Many of the most important processes in cells take place on and across membranes. With the rise of an impressive array of powerful quantitative methods for characterizing these membranes, it is an opportune time to reflect on the structure and function of membranes from the point of view of biological numeracy. To that end, in this article, I review the quantitative parameters that characterize the mechanical, electrical and transport properties of membranes and carry out a number of corresponding order of magnitude estimates that help us understand the values of those parameters.Comment: 27 pages, 12 figure

In vitro selection of RNA aptamers against a conserved region of the Plasmodium falciparum erythrocyte membrane protein 1

The var-gene encoding Plasmodium falciparum erythrocyte membrane protein 1 (PfEMP1) is known to play a major role in the pathogenicity of the P. falciparum parasite. The protein enables the parasite to adhere to the endothelial linings of small blood vessels (cytoadherence) as well as to non-infected erythrocytes (rosetting), thus preventing clearance from the bloodstream. The development and spread of resistance towards most anti-malarial drugs used for treatment and prevention of the most severe form of malaria truly emphasise the importance of a continuous research and development of new drugs. In this study we use Systematic Evolution of Ligands by EXponential enrichment (SELEX) methodology to isolate high-affinity ligands (aptamers). To validate the results from the SELEX in vitro selection, different aptamers have been selected against PfEMP1 in a live cell assay of P. falciparum strain FCR3S1.2, a highly rosetting strain. We have been able to show the rosette disrupting capacity of these SELEX-aptamers at concentrations of 33 nM and with 100% disruption at 387 nM. The described results show that RNA aptamers are promising candidates for adjunct therapy in severe malaria

The use of spa and phage typing for characterization of clinical isolates of methicillin-resistant Staphylococcus aureus in the University Clinical Center in Gdańsk, Poland

The emergence of spa types and spa–clonal complexes (CC) among clinical methicillin-resistant Staphylococcus aureus isolates collected from the University Clinical Center in Gdańsk between 2008 and 2009 were investigated. Phage typing was used as the initial screening in the study. The basic set of phages and the additional set of phages were used. Most of the isolates (56 %) belonged to the phage group III. With the additional set of phages, eight types were found, with predominant one MR8 (50 %). Sixteen distinct spa types were observed. The most frequent were t003 (22 %), t151 (16 %), and t008 (12 %). The spa types were clustered into two spa-CC and eight singletons. The predominant CC010 (50 %) consisted of six types, with the most common t003 (36.7 %) and t151(26.7 %), and in 80 % was identified as staphylococcal chromosomal casette mec (SCCmec) type II. The second cluster has no founder (12 %) with only two spa types: t037 belonging to SCCmec type III and t029. In the most frequent singleton, spa type t008 alone was clustered in 12 % of the isolates. All singletons correspond to SCCmec type IV. The CC010 was distributed in most of the hospital wards, corresponded to Multilocus sequence typing type ST5/ST225 and was constantly present throughout the observed period. The isolates of CC010 generally belonged to the phage group III, and most of them (53.3 %) were resistant to erythromycin, clindamycin, and ciprofloxacin. The concordance between spa-clone and phage type was very high, but the same phage type MR8 was observed within different spa types of the predominant clone

Chromosomal-level assembly of the Asian Seabass genome using long sequence reads and multi-layered scaffolding

We report here the ~670 Mb genome assembly of the Asian seabass (Lates calcarifer), a tropical marine teleost. We used long-read sequencing augmented by transcriptomics, optical and genetic mapping along with shared synteny from closely related fish species to derive a chromosome-level assembly with a contig N50 size over 1 Mb and scaffold N50 size over 25 Mb that span ~90% of the genome. The population structure of L. calcarifer species complex was analyzed by re-sequencing 61 individuals representing various regions across the species' native range. SNP analyses identified high levels of genetic diversity and confirmed earlier indications of a population stratification comprising three clades with signs of admixture apparent in the South-East Asian population. The quality of the Asian seabass genome assembly far exceeds that of any other fish species, and will serve as a new standard for fish genomics

Phage Displayed Short Peptides against Cells of Candida albicans Demonstrate Presence of Species, Morphology and Region Specific Carbohydrate Epitopes

Candida albicans is a commensal opportunistic pathogen, which can cause superficial infections as well as systemic infections in immuocompromised hosts. Among nosocomial fungal infections, infections by C. albicans are associated with highest mortality rates even though incidence of infections by other related species is on the rise world over. Since C. albicans and other Candida species differ in their susceptibility to antifungal drug treatment, it is crucial to accurately identify the species for effective drug treatment. Most diagnostic tests that differentiate between C. albicans and other Candida species are time consuming, as they necessarily involve laboratory culturing. Others, which employ highly sensitive PCR based technologies often, yield false positives which is equally dangerous since that leads to unnecessary antifungal treatment. This is the first report of phage display technology based identification of short peptide sequences that can distinguish C. albicans from other closely related species. The peptides also show high degree of specificity towards its different morphological forms. Using fluorescence microscopy, we show that the peptides bind on the surface of these cells and obtained clones that could even specifically bind to only specific regions of cells indicating restricted distribution of the epitopes. What was peculiar and interesting was that the epitopes were carbohydrate in nature. This gives insight into the complexity of the carbohydrate composition of fungal cell walls. In an ELISA format these peptides allow specific detection of relatively small numbers of C. albicans cells. Hence, if used in combination, such a test could help accurate diagnosis and allow physicians to initiate appropriate drug therapy on time

Wing pathology of white-nose syndrome in bats suggests life-threatening disruption of physiology

White-nose syndrome (WNS) is causing unprecedented declines in several species of North American bats. The characteristic lesions of WNS are caused by the fungus Geomyces destructans, which erodes and replaces the living skin of bats while they hibernate. It is unknown how this infection kills the bats. We review here the unique physiological importance of wings to hibernating bats in relation to the damage caused by G. destructans and propose that mortality is caused by catastrophic disruption of wing-dependent physiological functions. Mechanisms of disease associated with G. destructans seem specific to hibernating bats and are most analogous to disease caused by chytrid fungus in amphibians