Automated Support for the Design and Validation of Fault Tolerant Parameterized Systems: a case study

We propose a methodology to use the infinite state model checker MCMT, based on Satisfiability Modulo Theory techniques, for assisting in the design of fault tolerant algorithms. To prove the practical viability of our methodology, we apply it to formally check the agreement property of the reliable broadcast protocols of Chandra and Toueg

Sensory Abnormalities in Focal Hand Dystonia and Non-Invasive Brain Stimulation

It has been proposed that synchronous and convergent afferent input arising from repetitive motor tasks may play an important role in driving the maladaptive cortical plasticity seen in focal hand dystonia (FHD).This hypothesis receives support from several sources. First, it has been reported that in subjects with FHD, paired associative stimulation produces an abnormal increase in corticospinal excitability, which was not confined to stimulated muscles. These findings provide support for the role of excessive plasticity in FHD. Second, the genetic contribution to the dystonias is increasingly recognized indicating that repetitive, stereotyped afferent inputs may lead to late-onset dystonia, such as FHD, more rapidly in genetically susceptible individuals. It can be postulated, according to the two factor hypothesis that dystonia is triggered and maintained by the concurrence of environmental factors such as repetitive training and subtle abnormal mechanisms of plasticity within somatosensory loop. In the present review, we examine the contribution of sensory-motor integration in the pathophysiology of primary dystonia. In addition, we will discuss the role of non-invasive brain stimulation as therapeutic approach in FHD

The interleukin (IL)-31/IL-31R axis contributes to tumor growth in human follicular lymphoma

Interleukin (IL)-31A binds to an heterodimer composed of IL-31 receptor A (IL-31RA) and Oncostatin M Receptor (OSMR). The IL-31/ IL-31R complex is involved in the pathogenesis of various skin diseases, including cutaneous T-cell lymphoma. No information is available on the relations between the IL-31/IL-31R complex and B-cell lymphoma. Here we have addressed this issue in follicular lymphoma (FL), a prototypic germinal center(GC)-derived B-cell malignancy. IL-31 enhanced primary FL cell proliferation through IL-31R-driven signal transducer and activator of transcription factor 1/3 (STAT1/3), extracellular signal–regulated kinase 1/2 (ERK1/2) and Akt phosphorylation. In contrast, GC B cells did not signal to IL-31 in spite of IL-31R expression. GC B cells expressed predominantly the inhibitory short IL-31RA isoform, whereas FL cells expressed predominantly the long signaling isoform. Moreover, GC B cells lacked expression of other IL-31RA isoforms potentially involved in the signaling pathway. IL-31 protein expression was significantly higher in surface membrane than in cytosol of both FL and GC B cells. IL-31 was detected in plasma membrane microvesicles from both cell types but not released in soluble form in culture supernatants. IL-31 and IL-31RA expression was higher in lymph nodes from FL patients with grade IIIa compared with grade I/II, suggesting a paracrine and/or autocrine role of IL-31/IL-31RA complex in tumor progression through microvesicle shedding

ITALIAN CANCER FIGURES - REPORT 2015: The burden of rare cancers in Italy = I TUMORI IN ITALIA - RAPPORTO 2015: I tumori rari in Italia

OBJECTIVES: This collaborative study, based on data collected by the network of Italian Cancer Registries (AIRTUM), describes the burden of rare cancers in Italy. Estimated number of new rare cancer cases yearly diagnosed (incidence), proportion of patients alive after diagnosis (survival), and estimated number of people still alive after a new cancer diagnosis (prevalence) are provided for about 200 different cancer entities. MATERIALS AND METHODS: Data herein presented were provided by AIRTUM population- based cancer registries (CRs), covering nowadays 52% of the Italian population. This monograph uses the AIRTUM database (January 2015), which includes all malignant cancer cases diagnosed between 1976 and 2010. All cases are coded according to the International Classification of Diseases for Oncology (ICD-O-3). Data underwent standard quality checks (described in the AIRTUM data management protocol) and were checked against rare-cancer specific quality indicators proposed and published by RARECARE and HAEMACARE (www.rarecarenet.eu; www.haemacare.eu). The definition and list of rare cancers proposed by the RARECAREnet "Information Network on Rare Cancers" project were adopted: rare cancers are entities (defined as a combination of topographical and morphological codes of the ICD-O-3) having an incidence rate of less than 6 per 100,000 per year in the European population. This monograph presents 198 rare cancers grouped in 14 major groups. Crude incidence rates were estimated as the number of all new cancers occurring in 2000-2010 divided by the overall population at risk, for males and females (also for gender-specific tumours).The proportion of rare cancers out of the total cancers (rare and common) by site was also calculated. Incidence rates by sex and age are reported. The expected number of new cases in 2015 in Italy was estimated assuming the incidence in Italy to be the same as in the AIRTUM area. One- and 5-year relative survival estimates of cases aged 0-99 years diagnosed between 2000 and 2008 in the AIRTUM database, and followed up to 31 December 2009, were calculated using complete cohort survival analysis. To estimate the observed prevalence in Italy, incidence and follow-up data from 11 CRs for the period 1992-2006 were used, with a prevalence index date of 1 January 2007. Observed prevalence in the general population was disentangled by time prior to the reference date (≤2 years, 2-5 years, ≤15 years). To calculate the complete prevalence proportion at 1 January 2007 in Italy, the 15-year observed prevalence was corrected by the completeness index, in order to account for those cancer survivors diagnosed before the cancer registry activity started. The completeness index by cancer and age was obtained by means of statistical regression models, using incidence and survival data available in the European RARECAREnet data. RESULTS: In total, 339,403 tumours were included in the incidence analysis. The annual incidence rate (IR) of all 198 rare cancers in the period 2000-2010 was 147 per 100,000 per year, corresponding to about 89,000 new diagnoses in Italy each year, accounting for 25% of all cancer. Five cancers, rare at European level, were not rare in Italy because their IR was higher than 6 per 100,000; these tumours were: diffuse large B-cell lymphoma and squamous cell carcinoma of larynx (whose IRs in Italy were 7 per 100,000), multiple myeloma (IR: 8 per 100,000), hepatocellular carcinoma (IR: 9 per 100,000) and carcinoma of thyroid gland (IR: 14 per 100,000). Among the remaining 193 rare cancers, more than two thirds (No. 139) had an annual IR <0.5 per 100,000, accounting for about 7,100 new cancers cases; for 25 cancer types, the IR ranged between 0.5 and 1 per 100,000, accounting for about 10,000 new diagnoses; while for 29 cancer types the IR was between 1 and 6 per 100,000, accounting for about 41,000 new cancer cases. Among all rare cancers diagnosed in Italy, 7% were rare haematological diseases (IR: 41 per 100,000), 18% were solid rare cancers. Among the latter, the rare epithelial tumours of the digestive system were the most common (23%, IR: 26 per 100,000), followed by epithelial tumours of head and neck (17%, IR: 19) and rare cancers of the female genital system (17%, IR: 17), endocrine tumours (13% including thyroid carcinomas and less than 1% with an IR of 0.4 excluding thyroid carcinomas), sarcomas (8%, IR: 9 per 100,000), central nervous system tumours and rare epithelial tumours of the thoracic cavity (5%with an IR equal to 6 and 5 per 100,000, respectively). The remaining (rare male genital tumours, IR: 4 per 100,000; tumours of eye, IR: 0.7 per 100,000; neuroendocrine tumours, IR: 4 per 100,000; embryonal tumours, IR: 0.4 per 100,000; rare skin tumours and malignant melanoma of mucosae, IR: 0.8 per 100,000) each constituted <4% of all solid rare cancers. Patients with rare cancers were on average younger than those with common cancers. Essentially, all childhood cancers were rare, while after age 40 years, the common cancers (breast, prostate, colon, rectum, and lung) became increasingly more frequent. For 254,821 rare cancers diagnosed in 2000-2008, 5-year RS was on average 55%, lower than the corresponding figures for patients with common cancers (68%). RS was lower for rare cancers than for common cancers at 1 year and continued to diverge up to 3 years, while the gap remained constant from 3 to 5 years after diagnosis. For rare and common cancers, survival decreased with increasing age. Five-year RS was similar and high for both rare and common cancers up to 54 years; it decreased with age, especially after 54 years, with the elderly (75+ years) having a 37% and 20% lower survival than those aged 55-64 years for rare and common cancers, respectively. We estimated that about 900,000 people were alive in Italy with a previous diagnosis of a rare cancer in 2010 (prevalence). The highest prevalence was observed for rare haematological diseases (278 per 100,000) and rare tumours of the female genital system (265 per 100,000). Very low prevalence (<10 prt 100,000) was observed for rare epithelial skin cancers, for rare epithelial tumours of the digestive system and rare epithelial tumours of the thoracic cavity. COMMENTS: One in four cancers cases diagnosed in Italy is a rare cancer, in agreement with estimates of 24% calculated in Europe overall. In Italy, the group of all rare cancers combined, include 5 cancer types with an IR>6 per 100,000 in Italy, in particular thyroid cancer (IR: 14 per 100,000).The exclusion of thyroid carcinoma from rare cancers reduces the proportion of them in Italy in 2010 to 22%. Differences in incidence across population can be due to the different distribution of risk factors (whether environmental, lifestyle, occupational, or genetic), heterogeneous diagnostic intensity activity, as well as different diagnostic capacity; moreover heterogeneity in accuracy of registration may determine some minor differences in the account of rare cancers. Rare cancers had worse prognosis than common cancers at 1, 3, and 5 years from diagnosis. Differences between rare and common cancers were small 1 year after diagnosis, but survival for rare cancers declined more markedly thereafter, consistent with the idea that treatments for rare cancers are less effective than those for common cancers. However, differences in stage at diagnosis could not be excluded, as 1- and 3-year RS for rare cancers was lower than the corresponding figures for common cancers. Moreover, rare cancers include many cancer entities with a bad prognosis (5-year RS <50%): cancer of head and neck, oesophagus, small intestine, ovary, brain, biliary tract, liver, pleura, multiple myeloma, acute myeloid and lymphatic leukaemia; in contrast, most common cancer cases are breast, prostate, and colorectal cancers, which have a good prognosis. The high prevalence observed for rare haematological diseases and rare tumours of the female genital system is due to their high incidence (the majority of haematological diseases are rare and gynaecological cancers added up to fairly high incidence rates) and relatively good prognosis. The low prevalence of rare epithelial tumours of the digestive system was due to the low survival rates of the majority of tumours included in this group (oesophagus, stomach, small intestine, pancreas, and liver), regardless of the high incidence rate of rare epithelial cancers of these sites. This AIRTUM study confirms that rare cancers are a major public health problem in Italy and provides quantitative estimations, for the first time in Italy, to a problem long known to exist. This monograph provides detailed epidemiologic indicators for almost 200 rare cancers, the majority of which (72%) are very rare (IR<0.5 per 100,000). These data are of major interest for different stakeholders. Health care planners can find useful information herein to properly plan and think of how to reorganise health care services. Researchers now have numbers to design clinical trials considering alternative study designs and statistical approaches. Population-based cancer registries with good quality data are the best source of information to describe the rare cancer burden in a population

Mortality from gastrointestinal congenital anomalies at 264 hospitals in 74 low-income, middle-income, and high-income countries: a multicentre, international, prospective cohort study

Summary Background Congenital anomalies are the fifth leading cause of mortality in children younger than 5 years globally. Many gastrointestinal congenital anomalies are fatal without timely access to neonatal surgical care, but few studies have been done on these conditions in low-income and middle-income countries (LMICs). We compared outcomes of the seven most common gastrointestinal congenital anomalies in low-income, middle-income, and high-income countries globally, and identified factors associated with mortality. Methods We did a multicentre, international prospective cohort study of patients younger than 16 years, presenting to hospital for the first time with oesophageal atresia, congenital diaphragmatic hernia, intestinal atresia, gastroschisis, exomphalos, anorectal malformation, and Hirschsprung’s disease. Recruitment was of consecutive patients for a minimum of 1 month between October, 2018, and April, 2019. We collected data on patient demographics, clinical status, interventions, and outcomes using the REDCap platform. Patients were followed up for 30 days after primary intervention, or 30 days after admission if they did not receive an intervention. The primary outcome was all-cause, in-hospital mortality for all conditions combined and each condition individually, stratified by country income status. We did a complete case analysis. Findings We included 3849 patients with 3975 study conditions (560 with oesophageal atresia, 448 with congenital diaphragmatic hernia, 681 with intestinal atresia, 453 with gastroschisis, 325 with exomphalos, 991 with anorectal malformation, and 517 with Hirschsprung’s disease) from 264 hospitals (89 in high-income countries, 166 in middleincome countries, and nine in low-income countries) in 74 countries. Of the 3849 patients, 2231 (58·0%) were male. Median gestational age at birth was 38 weeks (IQR 36–39) and median bodyweight at presentation was 2·8 kg (2·3–3·3). Mortality among all patients was 37 (39·8%) of 93 in low-income countries, 583 (20·4%) of 2860 in middle-income countries, and 50 (5·6%) of 896 in high-income countries (p<0·0001 between all country income groups). Gastroschisis had the greatest difference in mortality between country income strata (nine [90·0%] of ten in lowincome countries, 97 [31·9%] of 304 in middle-income countries, and two [1·4%] of 139 in high-income countries; p≤0·0001 between all country income groups). Factors significantly associated with higher mortality for all patients combined included country income status (low-income vs high-income countries, risk ratio 2·78 [95% CI 1·88–4·11], p<0·0001; middle-income vs high-income countries, 2·11 [1·59–2·79], p<0·0001), sepsis at presentation (1·20 [1·04–1·40], p=0·016), higher American Society of Anesthesiologists (ASA) score at primary intervention (ASA 4–5 vs ASA 1–2, 1·82 [1·40–2·35], p<0·0001; ASA 3 vs ASA 1–2, 1·58, [1·30–1·92], p<0·0001]), surgical safety checklist not used (1·39 [1·02–1·90], p=0·035), and ventilation or parenteral nutrition unavailable when needed (ventilation 1·96, [1·41–2·71], p=0·0001; parenteral nutrition 1·35, [1·05–1·74], p=0·018). Administration of parenteral nutrition (0·61, [0·47–0·79], p=0·0002) and use of a peripherally inserted central catheter (0·65 [0·50–0·86], p=0·0024) or percutaneous central line (0·69 [0·48–1·00], p=0·049) were associated with lower mortality. Interpretation Unacceptable differences in mortality exist for gastrointestinal congenital anomalies between lowincome, middle-income, and high-income countries. Improving access to quality neonatal surgical care in LMICs will be vital to achieve Sustainable Development Goal 3.2 of ending preventable deaths in neonates and children younger than 5 years by 2030

Segregation process of water-granular mixtures released down a steep chute

The objectives of this contribution are to analyse and quantify the segregation process of water saturated mixtures flowing down steep chutes. Experiments were carried out using two granular mixtures, a steep chute of variable length and a col- lecting box divided by sectors, in which the flowing material freely falls down at the chute outlet. The flow characteristics, the filling in time of the box itself, the grain-size composition of the box content with varying the distance from the chute outlet are examined by means of laser level transducers, image anal- ysis and sieving. Segregation is effective and rapid along the flow direction, showing a modest dependence on mixture grain-size composition. The grain-size composition profile in time is reconstructed, showing coarser par- ticles concentrated at the flow front, on the flow surface and at the sides, whereas fine fractions prevail at the tail and at the bottom

Segregation process of water-granular mixtures released down a steep chute

The objectives of this contribution are to analyse and quantify the segregation process of water saturated mixtures flowing down steep chutes. Experiments were carried out using two granular mixtures, a steep chute of variable length and a collecting box divided by sectors, in which the flowing material freely falls down at the chute outlet. The flow characteristics, the filling in time of the box itself, the grain-size composition of the box content with varying the distance from the chute outlet are examined by means of laser level transducers, image analysis and sieving. Segregation is effective and rapid along the flow direction, showing a modest dependence on mixture grain-size composition. The grain-size composition profile in time is reconstructed, showing coarser particles concentrated at the flow front, on the flow surface and at the sides, whereas fine fractions prevail at the tail and at the bottom