No more, no less - A formal model for serverless computing

Serverless computing, also known as Functions-as-a-Service, is a recent paradigm aimed at simplifying the programming of cloud applications. The idea is that developers design applications in terms of functions, which are then deployed on a cloud infrastructure. The infrastructure takes care of executing the functions whenever requested by remote clients, dealing automatically with distribution and scaling with respect to inbound traffic. While vendors already support a variety of programming languages for serverless computing (e.g. Go, Java, Javascript, Python), as far as we know there is no reference model yet to formally reason on this paradigm. In this paper, we propose the first formal programming model for serverless computing, which combines ideas from both the $\lambda$-calculus (for functions) and the $\pi$-calculus (for communication). To illustrate our proposal, we model a real-world serverless system. Thanks to our model, we are also able to capture and pinpoint the limitations of current vendor technologies, proposing possible amendments

The Role of Cerebral Embolic Protection Devices During Transcatheter Aortic Valve Replacement

Transcatheter aortic valve replacement is the therapy of choice for patients with severe aortic stenosis who have prohibitive or high surgical risk. However, the benefit of TAVR is attenuated by the occurrence of major disabling stroke which is associated with increased mortality and early-reduced quality of life. Despite advances in TAVR technology, stroke remains a serious complication that is associated with significant negative outcomes. The majority of these occur in the acute phase following TAVR where cerebral embolic events are frequent. Cerebral embolic protection devices (CEPD) have been developed to minimize the risk of peri-procedural ischemic stroke during TAVR. CEPD have the potential to reduce intraprocedural burden of new silent ischemic injury. In this review we outline the etiology and incidence of stroke in TAVR population, and systematically review current evidence for cerebral embolic protection devices

No More, No Less - A Formal Model for Serverless Computing

Part 3: Exploring New FrontiersInternational audienceServerless computing, also known as Functions-as-a-Service, is a recent paradigm aimed at simplifying the programming of cloud applications. The idea is that developers design applications in terms of functions, which are then deployed on a cloud infrastructure. The infrastructure takes care of executing the functions whenever requested by remote clients, dealing automatically with distribution and scaling with respect to inbound traffic.While vendors already support a variety of programming languages for serverless computing (e.g. Go, Java, Javascript, Python), as far as we know there is no reference model yet to formally reason on this paradigm. In this paper, we propose the first core formal programming model for serverless computing, which combines ideas from both the lambda-calculus (for functions) and the pi-calculus (for communication). To illustrate our proposal, we model a real-world serverless system. Thanks to our model, we capture limitations of current vendors and formalise possible amendments

Data monitoring roadmap. The experience of the Italian Multiple Sclerosis and Related Disorders Register

Introduction Over the years, disease registers have been increasingly considered a source of reliable and valuable population studies. However, the validity and reliability of data from registers may be limited by missing data, selection bias or data quality not adequately evaluated or checked.This study reports the analysis of the consistency and completeness of the data in the Italian Multiple Sclerosis and Related Disorders Register.MethodsThe Register collects, through a standardized Web-based Application, unique patients.Data are exported bimonthly and evaluated to assess the updating and completeness, and to check the quality and consistency. Eight clinical indicators are evaluated.ResultsThe Register counts 77,628 patients registered by 126 centres. The number of centres has increased over time, as their capacity to collect patients.The percentages of updated patients (with at least one visit in the last 24 months) have increased from 33% (enrolment period 2000-2015) to 60% (enrolment period 2016-2022). In the cohort of patients registered after 2016, there were >= 75% updated patients in 30% of the small centres (33), in 9% of the medium centres (11), and in all the large centres (2).Clinical indicators show significant improvement for the active patients, expanded disability status scale every 6 months or once every 12 months, visits every 6 months, first visit within 1 year and MRI every 12 months.ConclusionsData from disease registers provide guidance for evidence-based health policies and research, so methods and strategies ensuring their quality and reliability are crucial and have several potential applications

Mortality and pulmonary complications in patients undergoing surgery with perioperative SARS-CoV-2 infection: an international cohort study

Background: The impact of severe acute respiratory syndrome coronavirus 2 (SARS-CoV-2) on postoperative recovery needs to be understood to inform clinical decision making during and after the COVID-19 pandemic. This study reports 30-day mortality and pulmonary complication rates in patients with perioperative SARS-CoV-2 infection. Methods: This international, multicentre, cohort study at 235 hospitals in 24 countries included all patients undergoing surgery who had SARS-CoV-2 infection confirmed within 7 days before or 30 days after surgery. The primary outcome measure was 30-day postoperative mortality and was assessed in all enrolled patients. The main secondary outcome measure was pulmonary complications, defined as pneumonia, acute respiratory distress syndrome, or unexpected postoperative ventilation. Findings: This analysis includes 1128 patients who had surgery between Jan 1 and March 31, 2020, of whom 835 (74·0%) had emergency surgery and 280 (24·8%) had elective surgery. SARS-CoV-2 infection was confirmed preoperatively in 294 (26·1%) patients. 30-day mortality was 23·8% (268 of 1128). Pulmonary complications occurred in 577 (51·2%) of 1128 patients; 30-day mortality in these patients was 38·0% (219 of 577), accounting for 81·7% (219 of 268) of all deaths. In adjusted analyses, 30-day mortality was associated with male sex (odds ratio 1·75 [95% CI 1·28–2·40], p\textless0·0001), age 70 years or older versus younger than 70 years (2·30 [1·65–3·22], p\textless0·0001), American Society of Anesthesiologists grades 3–5 versus grades 1–2 (2·35 [1·57–3·53], p\textless0·0001), malignant versus benign or obstetric diagnosis (1·55 [1·01–2·39], p=0·046), emergency versus elective surgery (1·67 [1·06–2·63], p=0·026), and major versus minor surgery (1·52 [1·01–2·31], p=0·047). Interpretation: Postoperative pulmonary complications occur in half of patients with perioperative SARS-CoV-2 infection and are associated with high mortality. Thresholds for surgery during the COVID-19 pandemic should be higher than during normal practice, particularly in men aged 70 years and older. Consideration should be given for postponing non-urgent procedures and promoting non-operative treatment to delay or avoid the need for surgery. Funding: National Institute for Health Research (NIHR), Association of Coloproctology of Great Britain and Ireland, Bowel and Cancer Research, Bowel Disease Research Foundation, Association of Upper Gastrointestinal Surgeons, British Association of Surgical Oncology, British Gynaecological Cancer Society, European Society of Coloproctology, NIHR Academy, Sarcoma UK, Vascular Society for Great Britain and Ireland, and Yorkshire Cancer Research

Breast carcinoma in elderly women. Our experience

Purpose. To analyze the biological features of breast cancer in women aged more than 70 years and to evaluate the utility of complete breast examination in elderly patients. Patients and methods. In the period between January 2000 and March 2009, 147.189 women aged more than 39 years underwent breast examination. In 1.527 diagnosis of breast carcinoma was made. Patients affected by breast carcinoma were subdivided into two groups basing on age (< 70 and ≥ 70 years). The two groups were compared for tumor size on imaging studies, histology, pT stage, grading and the presence of estrogen and progesterone receptors. Results. In comparison with younger women, breast carcinoma in elderly presented as invasive ductal form in most of cases (p 0.004), T1 and T2 stages (p 0.0001), G1 grade (p 0.0001) and positive for the presence of estrogen and progesterone receptors (p <0.0001). Conclusions. Basing on the incidence rate and the biological features of breast cancer in elderly women without co-morbility, breast cancer prevention in women is considered useful until the age of 74 years