Modalities in linear logic weaker than the exponential “of course”: Algebraic and relational semantics

We present a semantic study of a family of modal intuitionistic linear systems, providing various logics with both an algebraic semantics and a relational semantics, to obtain completeness results. We call modality a unary operator on formulas which satisfies only one rale (regularity), and we consider any subsetW of a list of axioms which defines the exponential of course of linear logic. We define an algebraic semantics by interpreting the modality as a unary operation on an IL-algebra. Then we introduce a relational semantics based on pretopologies with an additional binary relationr between information states. The interpretation of is defined in a suitable way, which differs from the traditional one in classical modal logic. We prove that such models provide a complete semantics for our minimal modal system, as well as, by requiring the suitable conditions onr (in the spirit of correspondence theory), for any of its extensions axiomatized by any subsetW as above. We also prove an embedding theorem for modal IL-algebras into complete ones and, after introducing the notion of general frame, we apply it to obtain a duality between general frames and modal IL-algebras.     

Human pathogenic streptococcal proteomics and vaccine development

Gram-positive streptococci are non-motile, chain-forming bacteria commonly found in the normal oral and bowel flora of warm-blooded animals. Over the past decade, a proteomic approach combining 2-DE and MS has been used to systematically map the cellular, surface-associated and secreted proteins of human pathogenic streptococcal species. The public availability of complete streptococcal genomic sequences and the amalgamation of proteomic, genomic and bioinformatic technologies have recently facilitated the identification of novel streptococcal vaccine candidate antigens and therapeutic agents. The objective of this review is to examine the constituents of the streptococcal cell wall and secreted proteome, the mechanisms of transport of surface and secreted proteins, and describe the current methodologies employed for the identification of novel surface-displayed proteins and potential vaccine antigens.     

Perinatal Obesity Induces Hepatic Growth Restriction with Increased DNA Damage Response,Senescence, and Dysregulated Igf-1-Akt-Foxo1 Signaling in Male Offspring of Obese Mice

Maternal obesity predisposes for hepato-metabolic disorders early in life. However, the underlying mechanisms causing early onset dysfunction of the liver and metabolism remain elusive. Since obesity is associated with subacute chronic inflammation and accelerated aging, we test the hypothesis whether maternal obesity induces aging processes in the developing liver and determines thereby hepatic growth. To this end, maternal obesity was induced with high-fat diet (HFD) in C57BL/6N mice and male offspring were studied at the end of the lactation [postnatal day 21 (P21)]. Maternal obesity induced an obese body composition with metabolic inflammation and a marked hepatic growth restriction in the male offspring at P21. Proteomic and molecular analyses revealed three interrelated mechanisms that might account for the impaired hepatic growth pattern, indicating prematurely induced aging processes: (1) Increased DNA damage response (γH2AX), (2) significant upregulation of hepatocellular senescence markers (Cdnk1a, Cdkn2a); and (3) inhibition of hepatic insulin/insulin-like growth factor (IGF)-1-AKT-p38-FoxO1 signaling with an insufficient proliferative growth response. In conclusion, our murine data demonstrate that perinatal obesity induces an obese body composition in male offspring with hepatic growth restriction through a possible premature hepatic aging that is indicated by a pathologic sequence of inflammation, DNA damage, senescence, and signs of a possibly insufficient regenerative capacity.     

Oxidative Damage in Sporadic Colorectal Cancer: Molecular Mapping of Base Excision Repair Glycosylases MUTYH and hOGG1 in Colorectal Cancer Patients

Oxidative stress, oxidative DNA damage and resulting mutations play a role in colorectal carcinogenesis. Impaired equilibrium between DNA damage formation, antioxidant status, and DNA repair capacity is responsible for the accumulation of genetic mutations and genomic instability. The lesion-specific DNA glycosylases, e.g., hOGG1 and MUTYH, initiate the repair of oxidative DNA damage. Hereditary syndromes (MUTYH-associated polyposis, NTHL1-associated tumor syndrome) with germline mutations causing a loss-of-function in base excision repair glycosylases, serve as straight forward evidence on the role of oxidative DNA damage and its repair. Altered or inhibited function of above glycosylases result in an accumulation of oxidative DNA damage and contribute to the adenoma-adenocarcinoma transition. Oxidative DNA damage, unless repaired, often gives rise G:C > T:A mutations in tumor suppressor genes and proto-oncogenes with subsequent occurrence of chromosomal copy-neutral loss of heterozygosity. For instance, G>T transversions in position c.34 of a KRAS gene serves as a pre-screening tool for MUTYH-associated polyposis diagnosis. Since sporadic colorectal cancer represents more complex and heterogenous disease, the situation is more complicated. In the present study we focused on the roles of base excision repair glycosylases (hOGG1, MUTYH) in colorectal cancer patients by investigating tumor and adjacent mucosa tissues. Although we found downregulation of both glycosylases and significantly lower expression of hOGG1 in tumor tissues, accompanied with G>T mutations in KRAS gene, oxidative DNA damage and its repair cannot solely explain the onset of sporadic colorectal cancer. In this respect, other factors (especially microenvironment) per se or in combination with oxidative DNA damage warrant further attention. Base excision repair characteristics determined in colorectal cancer tissues and their association with disease prognosis have been discussed as well.     

Modulation of Steroid and Triterpenoid Metabolism in Calendula officinalis Plants and Hairy Root Cultures Exposed to Cadmium Stress

The present study investigated the changes in the content of steroids and triterpenoids in C. officinalis hairy root cultures and plants exposed to cadmium stress. The observed effects included the content and composition of analyzed groups of compounds, particularly the proportions among individual sterols (e.g., stigmasterol-to-sitosterol ratio), their ester and glycoside conjugates. The total sterol content increased in roots (by 30%) and hairy root culture (by 44%), whereas it decreased in shoots (by 15%); moreover, these effects were inversely correlated with Cd-induced growth suppression. Metabolic alterations of sterols and their forms seemed to play a greater role in the response to Cd stress in roots than in shoots. The symptoms of the competition between general metabolites (sterols) and specialized metabolites (triterpenoids) were also observed, i.e., the increase of the sterol biosynthesis parallel to the decrease of the triterpenoid content in C. officinalis plant roots and hairy root culture, and the inverse phenomenon in shoots. The similarity of the metabolic modifications observed in the present study on C. officinalis plant roots and hairy roots confirmed the possibility of application of plant in vitro cultures in initial studies for physiological research on plant response to environmental stresses.     

First Report on Genome Editing via Ribonucleoprotein (RNP) in Castanea sativa Mill.

Castanea sativa is an important tree nut species worldwide, highly appreciated for its multifunctional role, in particular for timber and nut production. Nowadays, new strategies are needed to achieve plant resilience to diseases, climate change, higher yields, and nutritional quality. Among the new plant breeding techniques (NPBTs), the CRISPR/Cas9 system represents a powerful tool to improve plant breeding in a short time and inexpensive way. In addition, the CRISPR/Cas9 construct can be delivered into the cells in the form of ribonucleoproteins (RNPs), avoiding the integration of exogenous DNA (GMO-free) through protoplast technology that represents an interesting material for gene editing thanks to the highly permeable membrane to DNA. In the present study, we developed the first protoplast isolation protocol starting from European chestnut somatic embryos. The enzyme solution optimized for cell wall digestion contained 1% cellulase Onozuka R-10 and 0.5% macerozyme R-10. After incubation for 4 h at 25 °C in dark conditions, a yield of 4,500,000 protoplasts/mL was obtained (91% viable). The transfection capacity was evaluated using the GFP marker gene, and the percentage of transfected protoplasts was 51%, 72 h after the transfection event. The direct delivery of the purified RNP was then performed targeting the phytoene desaturase gene. Results revealed the expected target modification by the CRISPR/Cas9 RNP and the efficient protoplast editing.     

Business intelligence success: The roles of BI capabilities and decision environments

This study examines the role of the decision environment in how well business intelligence (BI) capabilities are leveraged to achieve BI success. We examine the decision environment in terms of the types of decisions made and the information processing needs of the organization. Our findings suggest that technological capabilities such as data quality, user access and the integration of BI with other systems are necessary for BI success, regardless of the decision environment. However, the decision environment does influence the relationship between BI success and capabilities, such as the extent to which BI supports flexibility and risk in decision making.     

Microsatellite Instability in Russian Patients with Colorectal Cancer

The aim of this study was to determine the characteristics of Russian patients with microsatellite instability (MSI) tumors. MSI in the tumor was determined in 514 patients with colon cancer using PCR and subsequent fragment analysis for five markers (NR21, NR24, BAT25, BAT26, and NR27). In the presence of microsatellite instability, the mismatch repair (MMR) system genes were examined using the NGS and MLPA methods to establish the diagnosis of Lynch syndrome. The overall frequency of MSI tumors was 15%: at stage I—19% (9/48), at stage II—21% (44/213), at stage III—16% (26/160), and at stage IV—2% (2/93). Patients with MSI tumors differed in the age of diagnosis, tumor localization, time of cancer recurrence, and stage of the disease. The overall and disease-free survival of patients whose tumors had MSI status was higher than that of patients with microsatellite-stable status, p = 0.04 and p = 0.02, respectively. Analysis of overall and disease-free survival of patients with Lynch syndrome and patients with sporadic colon cancer, but with MSI status, did not reveal significant differences, p = 0.52 and p = 0.24, respectively. The age of patients with Lynch syndrome was significantly younger than that of patients with sporadic colon cancer whose tumors had MSI status (p < 0.001).