On CSP and the Algebraic Theory of Effects

We consider CSP from the point of view of the algebraic theory of effects, which classifies operations as effect constructors or effect deconstructors; it also provides a link with functional programming, being a refinement of Moggi's seminal monadic point of view. There is a natural algebraic theory of the constructors whose free algebra functor is Moggi's monad; we illustrate this by characterising free and initial algebras in terms of two versions of the stable failures model of CSP, one more general than the other. Deconstructors are dealt with as homomorphisms to (possibly non-free) algebras. One can view CSP's action and choice operators as constructors and the rest, such as concealment and concurrency, as deconstructors. Carrying this programme out results in taking deterministic external choice as constructor rather than general external choice. However, binary deconstructors, such as the CSP concurrency operator, provide unresolved difficulties. We conclude by presenting a combination of CSP with Moggi's computational {\lambda}-calculus, in which the operators, including concurrency, are polymorphic. While the paper mainly concerns CSP, it ought to be possible to carry over similar ideas to other process calculi

CAR-T cell. the long and winding road to solid tumors

Adoptive cell therapy of solid tumors with reprogrammed T cells can be considered the "next generation" of cancer hallmarks. CAR-T cells fail to be as effective as in liquid tumors for the inability to reach and survive in the microenvironment surrounding the neoplastic foci. The intricate net of cross-interactions occurring between tumor components, stromal and immune cells leads to an ineffective anergic status favoring the evasion from the host's defenses. Our goal is hereby to trace the road imposed by solid tumors to CAR-T cells, highlighting pitfalls and strategies to be developed and refined to possibly overcome these hurdles

Quantum Criticality in Heavy Fermion Metals

Quantum criticality describes the collective fluctuations of matter undergoing a second-order phase transition at zero temperature. Heavy fermion metals have in recent years emerged as prototypical systems to study quantum critical points. There have been considerable efforts, both experimental and theoretical, which use these magnetic systems to address problems that are central to the broad understanding of strongly correlated quantum matter. Here, we summarize some of the basic issues, including i) the extent to which the quantum criticality in heavy fermion metals goes beyond the standard theory of order-parameter fluctuations, ii) the nature of the Kondo effect in the quantum critical regime, iii) the non-Fermi liquid phenomena that accompany quantum criticality, and iv) the interplay between quantum criticality and unconventional superconductivity.Comment: (v2) 39 pages, 8 figures; shortened per the editorial mandate; to appear in Nature Physics. (v1) 43 pages, 8 figures; Non-technical review article, intended for general readers; the discussion part contains more specialized topic

Peritonitis in children on peritoneal dialysis in Cape Town, South Africa: epidemiology and risks

Peritonitis is a frequent complication of peritoneal dialysis (PD) in children as well in adults. Data on PD and peritonitis in pediatric patients are very scarce in developing countries. A retrospective cohort study was performed between 2000 and 2008 with the aim to evaluate PD treatment and peritonitis epidemiology in pediatric patients in South Africa and identify risk factors for peritonitis. Baseline characteristics and potential risk factors of peritonitis were recorded, including housing, socio-economic circumstances, distance to PD center, type of PD, mode of catheter placement, race, presence of gastrostomy tube, weight, and height. Outcome indices for peritonitis were peritonitis rate, time to first peritonitis, and number of peritonitis-free patients. The patient cohort comprised 67 patients who were on PD for a total of 544 months. The total number of peritonitis episodes was 129. Median peritonitis rate was one episode every 4.3 patient months (2.8 episodes/patient-year, range 0–21.2). Median time to first infection was 2.03 months (range 0.1–21.5 months), and 28.4% of patients remained free from peritonitis. Patients with good housing and good socio-economic circumstances had a significantly lower peritonitis rate and a longer time to first peritonitis episode. Peritonitis rate was high in this cohort, compared to numbers reported for the developed world; the characteristics of causative organisms are comparable. The most important risk factors for the development of peritonitis were poor housing and poor socio-economic circumstances. More intensive counseling may be beneficial, but improvement of general socio-economic circumstances will have the greatest influence on PD success

PGH1, the Precursor for the Anti-Inflammatory Prostaglandins of the 1-series, Is a Potent Activator of the Pro-Inflammatory Receptor CRTH2/DP2

Prostaglandin H1 (PGH1) is the cyclo-oxygenase metabolite of dihomo-γ-linolenic acid (DGLA) and the precursor for the 1-series of prostaglandins which are often viewed as “anti-inflammatory”. Herein we present evidence that PGH1 is a potent activator of the pro-inflammatory PGD2 receptor CRTH2, an attractive therapeutic target to treat allergic diseases such as asthma and atopic dermatitis. Non-invasive, real time dynamic mass redistribution analysis of living human CRTH2 transfectants and Ca2+ flux studies reveal that PGH1 activates CRTH2 as PGH2, PGD2 or PGD1 do. The PGH1 precursor DGLA and the other PGH1 metabolites did not display such effect. PGH1 specifically internalizes CRTH2 in stable CRTH2 transfectants as assessed by antibody feeding assays. Physiological relevance of CRTH2 ligation by PGH1 is demonstrated in several primary human hematopoietic lineages, which endogenously express CRTH2: PGH1 mediates migration of and Ca2+ flux in Th2 lymphocytes, shape change of eosinophils, and their adhesion to human pulmonary microvascular endothelial cells under physiological flow conditions. All these effects are abrogated in the presence of the CRTH2 specific antagonist TM30089. Together, our results identify PGH1 as an important lipid intermediate and novel CRTH2 agonist which may trigger CRTH2 activation in vivo in the absence of functional prostaglandin D synthase

Peritoneal dialysis prescription in children: bedside principles for optimal practice

There is no unique optimal peritoneal dialysis prescription for all children, although the goals of ultrafiltration and blood purification are universal. In turn, a better understanding of the physiology of the peritoneal membrane, as a dynamic dialysis membrane with an exchange surface area recruitment capacity and unique permeability characteristics, results in the transition from an empirical prescription process based on clinical experience alone to the potential for a personalized prescription with individually adapted fill volumes and dwell times. In all cases, the prescribed exchange fill volume should be scaled for body surface area (ml/m2), and volume enhancement should be conducted based on clinical tolerance and intraperitoneal pressure measurements (IPP; cmH2O). The exchange dwell times should be determined individually and adapted to the needs of the patient, with particular attention to phosphate clearance and ultrafiltration capacity. The evolution of residual kidney function and the availability of new, more physiologic, peritoneal dialysis fluids (PDFs) also influence the prescription process. An understanding of all of these principles is integral to the provision of clinically optimal PD

siRNA Screening of a Targeted Library of DNA Repair Factors in HIV Infection Reveals a Role for Base Excision Repair in HIV Integration

Host DNA repair enzymes have long been assumed to play a role in HIV replication, and many different DNA repair factors have been associated with HIV. In order to identify DNA repair pathways required for HIV infection, we conducted a targeted siRNA screen using 232 siRNA pools for genes associated with DNA repair. Mapping the genes targeted by effective siRNA pools to well-defined DNA repair pathways revealed that many of the siRNAs targeting enzymes associated with the short patch base excision repair (BER) pathway reduced HIV infection. For six siRNA pools targeting BER enzymes, the negative effect of mRNA knockdown was rescued by expression of the corresponding cDNA, validating the importance of the gene in HIV replication. Additionally, mouse embryo fibroblasts (MEFs) lacking expression of specific BER enzymes had decreased transduction by HIV-based retroviral vectors. Examining the role BER enzymes play in HIV infection suggests a role for the BER pathway in HIV integration