A Syntactical Analysis of Lewis’s Triviality Result

The first part of the paper contains a probabilistic axiomatic extension of the conditional system WV, here named WVPr. This system is extended with the axiom (Pr4): PrA = 1 ⊃ □A. The resulting system, named WVPr∗, is proved to be consistent and non-trivial, in the sense that it does not contain the wff (Triv): A ≡□A. Extending WVPr∗ with the so-called Generalized Stalnaker’s Thesis (GST) yields the (first) Lewis’s Triviality Result (LTriv) in the form (◊(A ∧ B) ∧◊(A ∧ ¬B)) ⊃ PrB|A = PrB. In §4 it is shown that a consequence of this theorem is the thesis (CT1): ¬A ⊃ (A > B ⊃ A ⥽ B). It is then proven that (CT1) subjoined to the conditional system WVPr∗ yields the collapse formula (Triv). The final result is that WVPr∗+(GST) is equivalent to WVPr∗+(Triv). In the last section a discussion is opened about the intuitive and philosophical plausibility of axiom (Pr4) and its role in the derivation of (Triv)

Competing during a pandemic? Retailers’ ups and downs during the COVID-19 outbreak

The COVID-19 pandemic (that started in early 2020) is causing several disruptions in the short- and mid-term, to which businesses have to adapt. Some retailers have reacted to the emergency immediately, displaying a plethora of different intervention types. The authors aim to synthesize the challenges that retailers are facing during the COVID-19 emergency. We do this from the perspective of both consumers and managers, with the goal of providing guidelines on and examples of how retailers can handle this unprecedented situation

MODULATORY ROLE OF MONOMERIC AMYLOID BETA ON NEURONAL EXCITABILITY AND ITS IMPLICATIONS ON SYNAPTIC ACTIVITY OF IMMATURE CORTICAL NEURONS

So far the amyloid hypothesis has mainly driven the Alzheimer's Disease (AD) drugs development; however most of the anti A\u3b2-clinical trials have been suspended due to the lack of significant cognitive improvements as well as to the side effects caused in AD patients in some studies. Although the negative outcomes of \u3b2- and \u3b3-secretases targeting therapies are reasonable explained by the significant biological functions covered by such proteases, the reason A\u3b2-centric therapies fail is still unclear. Thus, to design a successful therapy for AD it is therefore crucial to uncover the role of soluble endogenous A\u3b2 in the healthy brain. Even though the amyloid peptide has been extensively studied because of its association to AD, its physiological function(s) is now being studied in much more detail. My thesis work is part of the recently emerging idea that A\u3b2 \u2013 at low concentrations - is not just a toxic waste product of the brain but it might be a relevant element involved in the maintenance of neuronal network homeostasis. Our final goal is therefore to explore the effects of the monomeric A\u3b21-42 peptide on excitable cells

Protein kinase CK2 is widely expressed in follicular, Burkitt and diffuse large B-cell lymphomas and propels malignant B-cell growth.

Serine-threonine kinase CK2 is highly expressed and pivotal for survival and proliferation in multiple myeloma, chronic lymphocytic leukemia and mantle cell lymphoma. Here, we investigated the expression of \u3b1 catalytic and \u3b2 regulatory CK2 subunits by immunohistochemistry in 57 follicular (FL), 18 Burkitt (BL), 52 diffuse large B-cell (DLBCL) non-Hodgkin lymphomas (NHL) and in normal reactive follicles. In silico evaluation of available Gene Expression Profile (GEP) data sets from patients and Western blot (WB) analysis in NHL cell-lines were also performed. Moreover, the novel, clinical-grade, ATP-competitive CK2-inhibitor CX-4945 (Silmitasertib) was assayed on lymphoma cells. CK2 was detected in 98.4% of cases with a trend towards a stronger CK2\u3b1 immunostain in BL compared to FL and DLBCL. No significant differences were observed between Germinal Center B (GCB) and non-GCB DLBCL types. GEP data and WB confirmed elevated CK2 mRNA and protein levels as well as active phosphorylation of specific targets in NHL cells. CX-4945 caused a dose-dependent growth-arresting effect on GCB, non-GCB DLBCL and BL cell-lines and it efficiently shut off phosphorylation of NF-\u3baB RelA and CDC37 on CK2 target sites. Thus, CK2 is highly expressed and could represent a suitable therapeutic target in BL, FL and DLBCL NHL

Non-adherence to eye care in people with diabetes

Objective Evaluate individual factors that impact adherence to eye care follow-up in patients with diabetes. Design and methods A 4-year retrospective chart review was conducted for 1968 patients with diabetes over age 40 from an urban academic center. Data collected included demographics, insurance, visual acuity, smoking status, medications, dates of dilated fundus examinations (DFE), and reported hemoglobin A1C and blood glucose levels. The primary outcome was timely DFE follow-up adherence following the initial eye exam visit. Results Overall, 41.6% of patients adhered to initial follow-up eye care recommendations. Multivariable analysis demonstrated that patients with severe diabetic retinopathy (DR) were more adherent than patients with mild DR (OR 1.86). Other variables associated with increased adherence were visual impairment and reported A1C or blood glucose. Smoking was associated with decreased adherence. Ethnicity and insurance were also significantly associated with adherence. Longitudinal follow-up rates were influenced by additional factors, including ethnicity and neighborhood deprivation index. Conclusions Patients with moderate to severe DR and/ or visual impairment were more likely to adhere to timely DFE follow-up. This could relate to the presence of visual symptoms and/or other systemic manifestations of diabetes. Smokers were less likely to adhere to timely DFE follow-up. One hypothesis is patients who smoke have other symptomatic health problems which patients prioritize over asymptomatic ocular disorders. In order to reduce vision loss from DR, practitioners should be aware that patients with mild and moderate DR, patients with normal vision, and smokers are at greater risk for poor follow-up eye care adherence. © Article author(s) (or their employer(s) unless otherwise stated in the text of the article) 2017. All rights reserved

Epidemiological surveillance of human enteric viruses by monitoring of different environmental matrices.

In the aim of studying possible relations between viruses detected in clinical specimens and the ones found in different environmental matrices, in the period May 2004 to April 2005, the collection of faecal samples from gastroenteritis cases and the monthly monitoring of raw and treated wastewater, river water, seawater and mussels were carried out. The viruses considered for environmental monitoring were adenovirus, rotavirus, enterovirus, norovirus, hepatitis A virus (HAV) and Torque teno virus (TTV): they were searched for with PCR and RT-PCR and confirmed by gene sequencing. Faecal coliforms and somatic coliphages' counts were also determined. The surveillance of case detected 45 positive faecal samples out of 255 (17.6%) while 35 of 56 environmental samples (62.5%) resulted positive for at least one of the considered viruses. The detection of the same viral strain in the faeces of gastroenteritis cases and in water was possible for adenovirus and rotavirus, which were also predominant in environmental matrices; thus they could be considered as a reference for risk assessment

RepSeq-A database of amino acid repeats present in lower eukaryotic pathogens

BACKGROUND Amino acid repeat-containing proteins have a broad range of functions and their identification is of relevance to many experimental biologists. In human-infective protozoan parasites (such as the Kinetoplastid and Plasmodium species), they are implicated in immune evasion and have been shown to influence virulence and pathogenicity. RepSeq http://repseq.gugbe.com is a new database of amino acid repeat-containing proteins found in lower eukaryotic pathogens. The RepSeq database is accessed via a web-based application which also provides links to related online tools and databases for further analyses. RESULTS The RepSeq algorithm typically identifies more than 98% of repeat-containing proteins and is capable of identifying both perfect and mismatch repeats. The proportion of proteins that contain repeat elements varies greatly between different families and even species (3 - 35% of the total protein content). The most common motif type is the Sequence Repeat Region (SRR) - a repeated motif containing multiple different amino acid types. Proteins containing Single Amino Acid Repeats (SAARs) and Di-Peptide Repeats (DPRs) typically account for 0.5 - 1.0% of the total protein number. Notable exceptions are P. falciparum and D. discoideum, in which 33.67% and 34.28% respectively of the predicted proteomes consist of repeat-containing proteins. These numbers are due to large insertions of low complexity single and multi-codon repeat regions. CONCLUSION The RepSeq database provides a repository for repeat-containing proteins found in parasitic protozoa. The database allows for both individual and cross-species proteome analyses and also allows users to upload sequences of interest for analysis by the RepSeq algorithm. Identification of repeat-containing proteins provides researchers with a defined subset of proteins which can be analysed by expression profiling and functional characterisation, thereby facilitating study of pathogenicity and virulence factors in the parasitic protozoa. While primarily designed for kinetoplastid work, the RepSeq algorithm and database retain full functionality when used to analyse other species

Performance of arsenene and antimonene double-gate MOSFETs from first principles

In the race towards high-performance ultra-scaled devices, two-dimensional materials offer an alternative paradigm thanks to their atomic thickness suppressing short-channel effects. It is thus urgent to study the most promising candidates in realistic configurations, and here we present detailed multiscale simulations of field-effect transistors based on arsenene and antimonene monolayers as channels. The accuracy of first-principles approaches in describing electronic properties is combined with the efficiency of tight-binding Hamiltonians based on maximally localized Wannier functions to compute the transport properties of the devices. These simulations provide for the first time estimates on the upper limits for the electron and hole mobilities in the Takagi's approximation, including spin-orbit and multi-valley effects, and demonstrate that ultra-scaled devices in the sub-10-nm scale show a performance that is compliant with industry requirements