Controller Synthesis for Timeline-based Games

In the timeline-based approach to planning, originally born in the space sector, the evolution over time of a set of state variables (the timelines) is governed by a set of temporal constraints. Traditional timeline-based planning systems excel at the integration of planning with execution by handling temporal uncertainty. In order to handle general nondeterminism as well, the concept of timeline-based games has been recently introduced. It has been proved that finding whether a winning strategy exists for such games is 2EXPTIME-complete. However, a concrete approach to synthesize controllers implementing such strategies is missing. This paper fills this gap, outlining an approach to controller synthesis for timeline-based games

Evaluation of mechanical and interfacial properties of bio-composites based on poly(lactic acid) with natural cellulose fibers

The circular economy policy and the interest for sustainable material are inducing a constant expansion of the bio-composites market. The opportunity of using natural fibers in bio-based and biodegradable polymeric matrices, derived from industrial and/or agricultural waste, represents a stimulating challenge in the replacement of traditional composites based on fossil sources. The coupling of bioplastics with natural fibers in order to lower costs and promote degradability is one of the primary objectives of research, above all in the packaging and agricultural sectors where large amounts of non-recyclable plastics are generated, inducing a serious problem for plastic disposal and potential accumulation in the environment. Among biopolymers, poly(lactic acid) (PLA) is one of the most used compostable, bio-based polymeric matrices, since it exhibits process ability and mechanical properties compatible with a wide range of applications. In this study, two types of cellulosic fibers were processed with PLA in order to obtain bio-composites with different percentages of microfibers (5%, 10%, 20%). The mechanical properties were evaluated (tensile and impact test), and analytical models were applied in order to estimate the adhesion between matrix and fibers and to predict the material's stiffness. Understanding these properties is of particular importance in order to be able to tune and project the final characteristics of bio-composites

Treatment of esophageal achalasia in children: Today and tomorrow

Esophageal achalasia (EA) is a rare esophageal motility disorder in children. Laparoscopic Heller myotomy (LHM) represents the treatment of choice in young patients. Peroral endoscopic myotomy (POEM) is becoming an alternative to LHM. The aim of this study is to evaluate the effectiveness, safety, and outcomes of POEM vs LHM in treatment of children with EA. Data of pediatric patients with EA, who underwent LHM and POEM from February 2009 to December 2013 in two centers, were collected. Eighteen patients (9 male, mean age: 11.6 years; range: 2-17 years) were included. Nine patients (6 male, mean age: 10.7 years; range: 2-16 years) underwent LHM, and the other 9 (3 males, mean age: 12.2 years; range: 6-17 years) underwent POEM procedure. Mean operation time was shorter in POEM group compared with LHM group (62/149 minutes). Myotomy was longer in POEM group than in LHM group (11/7 cm). One major complication occurred after LHM (esophageal perforation). No clinical and manometric differences were observed between LHM and POEM in follow-up. The incidence of iatrogenic gastroesophageal reflux disease was low (1 patient in both groups). Results of a midterm follow-up show that LHM and POEM are safe and effective treatments also in children. Besides, POEM is a mini-invasive technique with an inferior execution timing compared to LHM. A skilled endoscopic team is mandatory to perform this procedur

CD40 cross-linking induces migration of renal tumor cell through nuclear factor of activated T cells (NFAT) activation

CD40 crosslinking plays an important role in regulating cell migration, adhesion and proliferation in renal cell carcinoma (RCC). CD40/CD40L interaction on RCC cells activates different intracellular pathways but the molecular mechanisms leading to cell scattering are not yet clearly defined. Aim of our study was to investigate the main intracellular pathways activated by CD40 ligation and their specific involvement in RCC cell migration. CD40 ligation increased the phosphorylation of extracellular signal-regulated kinase (ERK), c-Jun NH (2)-terminal kinase (JNK) and p38 MAPK. Furthermore, CD40 crosslinking activated different transcriptional factors on RCC cell lines: AP-1, NFkB and some members of the Nuclear Factor of Activated T cells (NFAT) family. Interestingly, the specific inhibition of NFAT factors by cyclosporine A, completely blocked RCC cell motility induced by CD40 ligation. In tumor tissue, we observed a higher expression of NFAT factors and in particular an increased activation and nuclear migration of NFATc4 on RCC tumor tissues belonging to patients that developed metastases when compared to those who did not. Moreover, CD40-CD40L interaction induced a cytoskeleton reorganization and increased the expression of integrin β1 on RCC cell lines, and this effect was reversed by cyclosporine A and NFAT inhibition. These data suggest that CD40 ligation induces the activation of different intracellular signaling pathways, in particular the NFATs factors, that could represent a potential therapeutic target in the setting of patients with metastatic RCC