Interaction and observation: categorical semantics of reactive systems trough dialgebras

We use dialgebras, generalising both algebras and coalgebras, as a complement of the standard coalgebraic framework, aimed at describing the semantics of an interactive system by the means of reaction rules. In this model, interaction is built-in, and semantic equivalence arises from it, instead of being determined by a (possibly difficult) understanding of the side effects of a component in isolation. Behavioural equivalence in dialgebras is determined by how a given process interacts with the others, and the obtained observations. We develop a technique to inter-define categories of dialgebras of different functors, that in particular permits us to compare a standard coalgebraic semantics and its dialgebraic counterpart. We exemplify the framework using the CCS and the pi-calculus. Remarkably, the dialgebra giving semantics to the pi-calculus does not require the use of presheaf categories

Systemic therapy of Cushing’s syndrome

Cushing’s disease (CD) in a stricter sense derives from pathologic adrenocorticotropic hormone (ACTH) secretion usually triggered by micro- or macroadenoma of the pituitary gland. It is, thus, a form of secondary hypercortisolism. In contrast, Cushing’s syndrome (CS) describes the complexity of clinical consequences triggered by excessive cortisol blood levels over extended periods of time irrespective of their origin. CS is a rare disease according to the European orphan regulation affecting not more than 5/10,000 persons in Europe. CD most commonly affects adults aged 20–50 years with a marked female preponderance (1:5 ratio of male vs. female). Patient presentation and clinical symptoms substantially vary depending on duration and plasma levels of cortisol. In 80% of cases CS is ACTH-dependent and in 20% of cases it is ACTH-independent, respectively. Endogenous CS usually is a result of a pituitary tumor. Clinical manifestation of CS, apart from corticotropin-releasing hormone (CRH-), ACTH-, and cortisol-producing (malign and benign) tumors may also be by exogenous glucocorticoid intake. Diagnosis of hypercortisolism (irrespective of its origin) comprises the following: Complete blood count including serum electrolytes, blood sugar etc., urinary free cortisol (UFC) from 24 h-urine sampling and circadian profile of plasma cortisol, plasma ACTH, dehydroepiandrosterone, testosterone itself, and urine steroid profile, Low-Dose-Dexamethasone-Test, High-Dose-Dexamethasone-Test, after endocrine diagnostic tests: magnetic resonance imaging (MRI), ultra-sound, computer tomography (CT) and other localization diagnostics. First-line therapy is trans-sphenoidal surgery (TSS) of the pituitary adenoma (in case of ACTH-producing tumors). In patients not amenable for surgery radiotherapy remains an option. Pharmacological therapy applies when these two options are not amenable or refused. In cases when pharmacological therapy becomes necessary, Pasireotide should be used in first-line in CD. CS patients are at an overall 4-fold higher mortality rate than age- and gender-matched subjects in the general population. The following article describes the most prominent substances used for clinical management of CS and gives a systematic overview of safety profiles, pharmacokinetic (PK)-parameters, and regulatory framework

Gene Expression Profiles of Colonic Mucosa in Healthy Young Adult and Senior Dogs

Background: We have previously reported the effects of age and diet on nutrient digestibility, intestinal morphology, and large intestinal fermentation patterns in healthy young adult and senior dogs. However, a genome-wide molecular analysis of colonic mucosa as a function of age and diet has not yet been performed in dogs. Methodology/Principal Findings: Colonic mucosa samples were collected from six senior (12-year old) and six young adult (1-year old) female beagles fed one of two diets (animal protein-based vs. plant protein-based) for 12 months. Total RNA in colonic mucosa was extracted and hybridized to Affymetrix GeneChipH Canine Genome Arrays. Results indicated that the majority of gene expression changes were due to age (212 genes) rather than diet (66 genes). In particular, the colonic mucosa of senior dogs had increased expression of genes associated with cell proliferation, inflammation, stress response, and cellular metabolism, whereas the expression of genes associated with apoptosis and defensive mechanisms were decreased in senior vs. young adult dogs. No consistent diet-induced alterations in gene expression existed in both age groups, with the effects of diet being more pronounced in senior dogs than in young adult dogs. Conclusion: Our results provide molecular insight pertaining to the aged canine colon and its predisposition to dysfunction and disease. Therefore, our data may aid in future research pertaining to age-associated gastrointestinal physiologica

Peroxisome proliferator-activated receptor gamma and regulations by the ubiquitin-proteasome system in pancreatic cancer.

Pancreatic cancer is one of the most lethal forms of human cancer. Although progress in oncology has improved outcomes in many forms of cancer, little progress has been made in pancreatic carcinoma and the prognosis of this malignancy remains grim. Several molecular abnormalities often present in pancreatic cancer have been defined and include mutations in K-ras, p53, p16, and DPC4 genes. Nuclear receptor Peroxisome Proliferator-Activated Receptor gamma (PPARγ) has a role in many carcinomas and has been found to be overexpressed in pancreatic cancer. It plays generally a tumor suppressor role antagonizing proteins promoting carcinogenesis such as NF-κB and TGFβ. Regulation of pathways involved in pancreatic carcinogenesis is effectuated by the Ubiquitin Proteasome System (UPS). This paper will examine PPARγ in pancreatic cancer, the regulation of this nuclear receptor by the UPS, and their relationship to other pathways important in pancreatic carcinogenesis

A duality theory of bilattices

Abstract. Recent studies of the algebraic properties of bilattices have provided insight into their internal strucutres, and have led to practical results, especially in reducing the computational complexity of bilattice-based multivalued logic programs. In this paper the representation theorem for interlaced bilattices without negation found i

Lnc RNA MALAT

Gastric cancer is one of the most common malignancies globally; cancer stem cells (CSCs) are regarded as being at the root of tumor progression, and there is thus a need to identify potential drugs to target CSCs. The long non‐coding RNA MALAT1 promotes epithelial–mesenchymal transition and angiogenesis in colorectal cancer, but it is unknown whether it affects the stemness of gastric cancer cells. Here, we found that knockdown (KD) of MALAT1 attenuated the stemness of non‐adherent gastric cancer cell spheroids, as evidenced by a decrease in primary and secondary spheroid formation capacity and expression of stemness markers. In contrast, overexpression (OE) of MALAT1 enhanced the stemness of adherent gastric cancer cells. Notably, KD of MALAT1 enhanced radiosensitivity and chemosensitivity of gastric cancer cell spheroids. We report that MALAT1 directly binds to sox2 mRNA (which encodes a critical master pluripotency factor), enhances the mRNA stability and increases its expression; KD of sox2 partially reversed the effect of MALAT1 OE on the stemness of gastric cancer cells. Importantly, expression of MALAT1 and sox2 exhibited a positive correlation in clinical samples. Therefore, our results indicate the existence of a novel MALAT1–sox2 axis which promotes the stemness of gastric cancer cells and may be a potential target for gastric cancer

P-TRIAR: Personalization Based on TRIadic Association Rules

International audienceThis article describes a new personalization process on decisional queries through a new approach of triadic association rules mining. This process uses the query log files of users and models them in new way by taking into account their triadic aspect. To validate our approach, we developed a personalization software prototype P-TRIAR (Personalization based on TRIadic Association Rules) which extracts two types of rules from query log files. The first one will serve to query recommendation by taking into account the collaborative aspect of users during their decisional analysis. The second type of rules will enrich user queries. The approach is tested on a real data warehouse to show the compactness of triadic association rules and the refined personalization which we propose