"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

Characteristic Energy of the Coulomb Interactions and the Pileup of States

Tunneling data on $\mathrm{La_{1.28}Sr_{1.72}Mn_2O_7}$ crystals confirm Coulomb interaction effects through the $\sqrt{\mathrm{E}}$ dependence of the density of states. Importantly, the data and analysis at high energy, E, show a pileup of states: most of the states removed from near the Fermi level are found between ~40 and 130 meV, from which we infer the possibility of universal behavior. The agreement of our tunneling data with recent photoemission results further confirms our analysis.Comment: 4 pages, 4 figures, submitted to PR

Influenza pandemic preparedness: motivation for protection among small and medium businesses in Australia

<p>Abstract</p> <p>Background</p> <p>Community-wide preparedness for pandemic influenza is an issue that has featured prominently in the recent news media, and is currently a priority for health authorities in many countries. The small and medium business sector is a major provider of private sector employment in Australia, yet we have little information about the preparedness of this sector for pandemic influenza. This study aimed to investigate the association between individual perceptions and preparedness for pandemic influenza among small and medium business owners and managers.</p> <p>Methods</p> <p>Semi-structured face-to-face interviews were conducted with 201 small and medium business owners or managers in New South Wales and Western Australia. Eligible small or medium businesses were defined as those that had less than 200 employees. Binomial logistic regression analysis was used to identify the predictors of having considered the impact of, having a plan for, and needing help to prepare for pandemic influenza.</p> <p>Results</p> <p>Approximately 6 per cent of participants reported that their business had a plan for pandemic influenza, 39 per cent reported that they had not thought at all about the impact of pandemic influenza on their business, and over 60 per cent stated that they required help to prepare for a pandemic. Beliefs about the severity of pandemic influenza and the ability to respond were significant independent predictors of having a plan for pandemic influenza, and the perception of the risk of pandemic influenza was the most important predictor of both having considered the impact of, and needing help to prepare for a pandemic.</p> <p>Conclusion</p> <p>Our findings suggest that small and medium businesses in Australia are not currently well prepared for pandemic influenza. We found that beliefs about the risk, severity, and the ability to respond effectively to the threat of pandemic influenza are important predictors of preparedness. Campaigns targeting small and medium businesses should emphasise the severity of the consequences to their businesses if a pandemic were to occur, and, at the same time, reassure them that there are effective strategies capable of being implemented by small and medium businesses to deal with a pandemic.</p

Binary and Millisecond Pulsars at the New Millennium

We review the properties and applications of binary and millisecond pulsars. Our knowledge of these exciting objects has greatly increased in recent years, mainly due to successful surveys which have brought the known pulsar population to over 1300. There are now 56 binary and millisecond pulsars in the Galactic disk and a further 47 in globular clusters. This review is concerned primarily with the results and spin-offs from these surveys which are of particular interest to the relativity community.Comment: 59 pages, 26 figures, 5 tables. Accepted for publication in Living Reviews in Relativity (http://www.livingreviews.org

Molecular and cellular mechanisms underlying the evolution of form and function in the amniote jaw.

The amniote jaw complex is a remarkable amalgamation of derivatives from distinct embryonic cell lineages. During development, the cells in these lineages experience concerted movements, migrations, and signaling interactions that take them from their initial origins to their final destinations and imbue their derivatives with aspects of form including their axial orientation, anatomical identity, size, and shape. Perturbations along the way can produce defects and disease, but also generate the variation necessary for jaw evolution and adaptation. We focus on molecular and cellular mechanisms that regulate form in the amniote jaw complex, and that enable structural and functional integration. Special emphasis is placed on the role of cranial neural crest mesenchyme (NCM) during the species-specific patterning of bone, cartilage, tendon, muscle, and other jaw tissues. We also address the effects of biomechanical forces during jaw development and discuss ways in which certain molecular and cellular responses add adaptive and evolutionary plasticity to jaw morphology. Overall, we highlight how variation in molecular and cellular programs can promote the phenomenal diversity and functional morphology achieved during amniote jaw evolution or lead to the range of jaw defects and disease that affect the human condition

Rapamycin and the transcription factor C/EBPβ as a switch in osteoclast differentiation: implications for lytic bone diseases

Lytic bone diseases and in particular osteoporosis are common age-related diseases characterized by enhanced bone fragility due to loss of bone density. Increasingly, osteoporosis poses a major global health-care problem due to the growth of the elderly population. Recently, it was found that the gene regulatory transcription factor CCAAT/enhancer binding protein beta (C/EBPβ) is involved in bone metabolism. C/EBPβ occurs as different protein isoforms of variable amino terminal length, and regulation of the C/EBPβ isoform ratio balance was found to represent an important factor in osteoclast differentiation and bone homeostasis. Interestingly, adjustment of the C/EBPβ isoform ratio by the process of translational control is downstream of the mammalian target of rapamycin kinase (mTOR), a sensor of the nutritional status and a target of immunosuppressive and anticancer drugs. The findings imply that modulating the process of translational control of C/EBPβ isoform expression could represent a novel therapeutic approach in osteolytic bone diseases, including cancer and infection-induced bone loss

Diversity of Prophage DNA Regions of Streptococcus agalactiae Clonal Lineages from Adults and Neonates with Invasive Infectious Disease

The phylogenetic position and prophage DNA content of the genomes of 142 S. agalactiae (group-B streptococcus, GBS) isolates responsible for bacteremia and meningitis in adults and neonates were studied and compared. The distribution of the invasive isolates between the various serotypes, sequence types (STs) and clonal complexes (CCs) differed significantly between adult and neonatal isolates. Use of the neighbor-net algorithm with the PHI test revealed evidence for recombination in the population studied (PHI, P = 2.01×10−6), and the recombination-mutation ratio (R/M) was 6∶7. Nevertheless, the estimated R/M ratio differed between CCs. Analysis of the prophage DNA regions of the genomes of the isolates assigned 90% of the isolates to five major prophage DNA groups: A to E. The mean number of prophage DNA fragments amplified per isolate varied from 2.6 for the isolates of prophage DNA group E to 4.0 for the isolates of prophage DNA group C. The isolates from adults and neonates with invasive diseases were distributed differently between the various prophage DNA groups (P<0.00001). Group C prophage DNA fragments were found in 52% of adult invasive isolates, whereas 74% of neonatal invasive isolates had prophage DNA fragments of groups A and B. Differences in prophage DNA content were also found between serotypes, STs and CCs (P<0.00001). All the ST-1 and CC1 isolates, mostly of serotype V, belonged to the prophage DNA group C, whereas 84% of the ST-17 and CC17 isolates, all of serotype III, belonged to prophage DNA groups A and B. These data indicate that the transduction mechanisms, i.e., gene transfer from one bacterium to another by a bacteriophage, underlying genetic recombination in S. agalactiae species, are specific to each intraspecies lineage and population of strains responsible for invasive diseases in adults and neonates

Cardiovascular Risk Factors and Knowledge of Symptoms Among Vietnamese Americans

BACKGROUND: There are few population-based studies of cardiovascular risk factors, knowledge, and related behaviors among Vietnamese Americans. OBJECTIVE: To describe cardiovascular risk factors, knowledge, and related behaviors among Vietnamese Americans and compare the results to non-Hispanic whites. DESIGN: Comparison of data from two populationbased, cross-sectional telephone surveys

Crystal Structure of HIV-1 gp41 Including Both Fusion Peptide and Membrane Proximal External Regions

The HIV-1 envelope glycoprotein (Env) composed of the receptor binding domain gp120 and the fusion protein subunit gp41 catalyzes virus entry and is a major target for therapeutic intervention and for neutralizing antibodies. Env interactions with cellular receptors trigger refolding of gp41, which induces close apposition of viral and cellular membranes leading to membrane fusion. The energy released during refolding is used to overcome the kinetic barrier and drives the fusion reaction. Here, we report the crystal structure at 2 Å resolution of the complete extracellular domain of gp41 lacking the fusion peptide and the cystein-linked loop. Both the fusion peptide proximal region (FPPR) and the membrane proximal external region (MPER) form helical extensions from the gp41 six-helical bundle core structure. The lack of regular coiled-coil interactions within FPPR and MPER splay this end of the structure apart while positioning the fusion peptide towards the outside of the six-helical bundle and exposing conserved hydrophobic MPER residues. Unexpectedly, the section of the MPER, which is juxtaposed to the transmembrane region (TMR), bends in a 90°-angle sideward positioning three aromatic side chains per monomer for membrane insertion. We calculate that this structural motif might facilitate the generation of membrane curvature on the viral membrane. The presence of FPPR and MPER increases the melting temperature of gp41 significantly in comparison to the core structure of gp41. Thus, our data indicate that the ordered assembly of FPPR and MPER beyond the core contributes energy to the membrane fusion reaction. Furthermore, we provide the first structural evidence that part of MPER will be membrane inserted within trimeric gp41. We propose that this framework has important implications for membrane bending on the viral membrane, which is required for fusion and could provide a platform for epitope and lipid bilayer recognition for broadly neutralizing gp41 antibodies

Early experience of COVID-19 vaccination in adults with systemic rheumatic diseases: results from the COVID-19 Global Rheumatology Alliance Vaccine Survey.

Background: We describe the early experiences of adults with systemic rheumatic disease who received the COVID-19 vaccine. Methods: From 2 April to 30 April 2021, we conducted an online, international survey of adults with systemic rheumatic disease who received COVID-19 vaccination. We collected patient-reported data on clinician communication, beliefs and intent about discontinuing disease-modifying antirheumatic drugs (DMARDs) around the time of vaccination, and patient-reported adverse events after vaccination. Results: We analysed 2860 adults with systemic rheumatic diseases who received COVID-19 vaccination (mean age 55.3 years, 86.7% female, 86.3% white). Types of COVID-19 vaccines were Pfizer-BioNTech (53.2%), Oxford/AstraZeneca (22.6%), Moderna (21.3%), Janssen/Johnson & Johnson (1.7%) and others (1.2%). The most common rheumatic disease was rheumatoid arthritis (42.3%), and 81.2% of respondents were on a DMARD. The majority (81.9%) reported communicating with clinicians about vaccination. Most (66.9%) were willing to temporarily discontinue DMARDs to improve vaccine efficacy, although many (44.3%) were concerned about rheumatic disease flares. After vaccination, the most reported patient-reported adverse events were fatigue/somnolence (33.4%), headache (27.7%), muscle/joint pains (22.8%) and fever/chills (19.9%). Rheumatic disease flares that required medication changes occurred in 4.6%. Conclusion: Among adults with systemic rheumatic disease who received COVID-19 vaccination, patient-reported adverse events were typical of those reported in the general population. Most patients were willing to temporarily discontinue DMARDs to improve vaccine efficacy. The relatively low frequency of rheumatic disease flare requiring medications was reassuring