Software fault-freeness and reliability predictions

Many software development practices aim at ensuring that software is correct, or fault-free. In safety critical applications, requirements are in terms of probabilities of certain behaviours, e.g. as associated to the Safety Integrity Levels of IEC 61508. The two forms of reasoning - about evidence of correctness and about probabilities of certain failures -are rarely brought together explicitly. The desirability of using claims of correctness has been argued by many authors, but not been taken up in practice. We address how to combine evidence concerning probability of failure together with evidence pertaining to likelihood of fault-freeness, in a Bayesian framework. We present novel results to make this approach practical, by guaranteeing reliability predictions that are conservative (err on the side of pessimism), despite the difficulty of stating prior probability distributions for reliability parameters. This approach seems suitable for practical application to assessment of certain classes of safety critical systems

Cryotherapy of Liver Tumours–A Practical Guide

The use of cryotherapy for the treatment of some unresectable liver tumours has been clearly established as a therapeutic option. Intra-operative ultrasound has enhanced the process by enabling the surgeon to identify hepatic lesions and to allow visualisation of the freezing process to ensure that the cryolesion will include the tumour mass. The purpose of this paper is to provide a practical guide to surgeons who wish to perform cryotherapy of liver tumours. Patient selection and anaesthetic considerations are important. The surgeon should be able to deal with the complications of cryotherapy, particularly the intra-operative haemorrhage which may arise from cracking of the hepatic parenchyma as the iceball thaws. Follow-up is based on tumour marker assay and imaging of the liver and repeat cryotherapy can be considered for selected cases

Stability of the neutron-proton-electron matter under strong magnetic fields: the covariant Vlasov approach

The neutron-proton-electron(npe) matter under a strong magnetic field is studied in the context of the covariant Vlasov approach. We use a Walecka-type hadronic model and the dispersion relations for the longitudinal and transverse modes are obtained. The instability regions for longitudinal and transverse modes are also studied. The crust-core transition of a magnetized neutron star is discussed.Comment: 14pages, 4 figures, accepted for publication in PR

High mortality associated with tapeworm parasitism in geladas (Theropithecus gelada) in the Simien Mountains National Park, Ethiopia

Peer Reviewedhttps://deepblue.lib.umich.edu/bitstream/2027.42/138266/1/ajp22684.pdfhttps://deepblue.lib.umich.edu/bitstream/2027.42/138266/2/ajp22684_am.pd

Efficacy and safety of secukinumab, a fully human anti-interleukin-17A monoclonal antibody, in patients with moderate-to-severe psoriatic arthritis: a 24-week, randomised, double-blind, placebo-controlled, phase II proof-of-concept trial

Objective: To evaluate the efficacy and safety of secukinumab, a fully human, anti-interleukin (IL)-17A monoclonal antibody, in patients with psoriatic arthritis (PsA). Methods: 42 patients with active PsA fulfilling ClASsification for Psoriatic ARthritis (CASPAR) criteria were randomly assigned (2:1) to receive two intravenous secukinumab doses (10 mg/kg; n=28) or placebo (n=14) 3 weeks apart. The primary endpoint was the proportion of American College of Rheumatology (ACR) 20 responses at week 6 for secukinumab versus placebo (one-sided p<0.1). Results: Primary endpoint: ACR20 responses at week 6 were 39% (9/23) for secukinumab versus 23% (3/13) for placebo (p=0.27). ACR20 responses were greater with secukinumab versus placebo at week 12 (39% (9/23) vs 15% (2/13), p=0.13) and week 24 (43% (10/23) vs 18% (2/11), p= 0.14). At week 6, ‘good’ European League Against Rheumatism response was seen in 21.7% (5/23) secukinumab versus 9.1% (1/11) placebo patients. Compared with placebo at week 6, significant reductions were observed among secukinumab recipients for C reactive protein (p=0.039), erythrocyte sedimentation rate (p=0.038), Health Assessment Questionnaire Disability Index (p=0.002) and Short Form Health Survey (SF-36; p=0.030) scores. The overall adverse event (AE) frequency was comparable between secukinumab (26 (93%)) and placebo (11 (79%)) recipients. Six serious AEs (SAEs) were reported in four secukinumab patients and one SAE in one placebo patient. Conclusions: Although the primary endpoint was not met, clinical responses, acute-phase reactant and quality of life improvements were greater with secukinumab versus placebo, suggesting some clinical benefit. Secukinumab exhibited satisfactory safety. Larger clinical trials of secukinumab in PsA are warranted

Hierarchical Multivalent Effects Control Influenza Host Specificity

Understanding how emerging influenza viruses recognize host cells is critical in evaluating their zoonotic potential, pathogenicity, and transmissibility between humans. The surface of the influenza virus is covered with hemagglutinin (HA) proteins that can form multiple interactions with sialic acid-terminated glycans on the host cell surface. This multivalent binding affects the selectivity of the virus in ways that cannot be predicted from the individual receptor-ligand interactions alone. Here, we show that the intrinsic structural and energetic differences between the interactions of avian- or human-type receptors with influenza HA translate from individual site affinity and orientation through receptor length and density on the surface into virus avidity and specificity. We introduce a method to measure virus avidity using receptor density gradients. We found that influenza viruses attached stably to a surface at receptor densities that correspond to a minimum number of approximately 8 HA-glycan interactions, but more interactions were required if the receptors were short and human-type. Thus, the avidity and specificity of influenza viruses for a host cell depend not on the sialic acid linkage alone but on a combination of linkage and the length and density of receptors on the cell surface. Our findings suggest that threshold receptor densities play a key role in virus tropism, which is a predicting factor for both their virulence and zoonotic potential.Fil: Overeem, Nico J.. University of Twente; Países BajosFil: Hamming, P. H. Erik. University of Twente; Países BajosFil: Grant, Oliver C.. University of Georgia; Estados UnidosFil: Di Iorio, Daniele. University of Twente; Países BajosFil: Tieke, Malte. Utrecht University; Países BajosFil: Bertolino, María Candelaria. University of Twente; Países Bajos. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Córdoba. Instituto de Investigaciones en Físico-química de Córdoba. Universidad Nacional de Córdoba. Facultad de Ciencias Químicas. Instituto de Investigaciones en Físico-química de Córdoba; ArgentinaFil: Li, Zeshi. Utrecht University; Países BajosFil: Vos, Gaël. Utrecht University; Países BajosFil: de Vries, Robert P.. Utrecht University; Países BajosFil: Woods, Robert J.. University of Georgia; Estados UnidosFil: Tito, Nicholas B.. Electric Ant Laboratory; Países BajosFil: Boons, Geert-Jan P. H.. Utrecht University; Países BajosFil: van der Vries, Erhard. Utrecht University; Países BajosFil: Huskens, Jurriaan. University of Twente; Países Bajo

Interplay Among Psychopathologic Variables, Personal Resources, Context-Related Factors, and Real-life Functioning in Individuals With Schizophrenia: A Network Analysis

Enhanced understanding of factors associated with symptomatic and functional recovery is instrumental to designing personalized treatment plans for people with schizophrenia. To date, this is the first study using network analysis to investigate the associations among cognitive, psychopathologic, and psychosocial variables in a large sample of community-dwelling individuals with schizophrenia

Liberating host–virus knowledge from biological dark data

Connecting basic data about bats and other potential hosts of SARS-CoV-2 with their ecological context is crucial to the understanding of the emergence and spread of the virus. However, when lockdowns in many countries started in March, 2020, the world's bat experts were locked out of their research laboratories, which in turn impeded access to large volumes of offline ecological and taxonomic data. Pandemic lockdowns have brought to attention the long-standing problem of so-called biological dark data: data that are published, but disconnected from digital knowledge resources and thus unavailable for high-throughput analysis. Knowledge of host-to-virus ecological interactions will be biased until this challenge is addressed. In this Viewpoint, we outline two viable solutions: first, in the short term, to interconnect published data about host organisms, viruses, and other pathogens; and second, to shift the publishing framework beyond unstructured text (the so-called PDF prison) to labelled networks of digital knowledge. As the indexing system for biodiversity data, biological taxonomy is foundational to both solutions. Building digitally connected knowledge graphs of host–pathogen interactions will establish the agility needed to quickly identify reservoir hosts of novel zoonoses, allow for more robust predictions of emergence, and thereby strengthen human and planetary health systems.info:eu-repo/semantics/publishedVersio

Mammals of Italy: An annotated checklist

Checklists represent a basic tool for conservation and management of regional faunas. However, our knowledge on species composition in a territory changes over time due to species movements across borders, extinctions, introductions, as well as to new taxonomic evidence. We aimed to provide the most updated data on native and non-native species of mammals occurring, or that used to occur until recently, on the Italian political territory and seas. The checklist only includes species whose taxonomic status was explicitly agreed in the most recent peer-reviewed literature and based on the most updated taxonomic approaches. For each species, we provided the following information: scientific and common name, global and Italian range, relevant information for management and conservation (e.g. whether it is endemic, allochthonous, or listed in international regulations and red list assessments), as well as remarks on taxonomy and distribution. This new check list of Italian mammal fauna includes nine marine and 114 terrestrial species, belonging to seven orders (Erinaceomorpha, Soricomorpha, Chiroptera, Carnivora, Cetartiodactyla, Rodentia, Lagomorpha), and 28 families. Vespertilionidae represents the richest family (n=27 species), followed by Cricetidae (n=12) and Soricidae (n=11). The list includes 15–16 allocthonous species. Considering the relative small size of the country, Italy is confirmed as a hotspot of mammal diversity in Europe, hosting the highest species richness in relation to the total area