The Sensoria Approach Applied to the Finance Case Study

This chapter provides an effective implementation of (part of) the Sensoria approach, specifically modelling and formal analysis of service-oriented software based on mathematically founded techniques. The ‘Finance case study’ is used as a test bed for demonstrating the feasibility and effectiveness of the use of the process calculus COWS and some of its related analysis techniques and tools. In particular, we report the results of an application of a temporal logic and its model checker for expressing and checking functional properties of services and a type system for guaranteeing confidentiality properties of services

A Logical Verification Methodology for Service-Oriented Computing

We introduce a logical verification methodology for checking behavioural properties of service-oriented computing systems. Service properties are described by means of SocL, a branching-time temporal logic that we have specifically designed to express in an effective way distinctive aspects of services, such as, e.g., acceptance of a request, provision of a response, and correlation among service requests and responses. Our approach allows service properties to be expressed in such a way that they can be independent of service domains and specifications. We show an instantiation of our general methodology that uses the formal language COWS to conveniently specify services and the expressly developed software tool CMC to assist the user in the task of verifying SocL formulae over service specifications. We demonstrate feasibility and effectiveness of our methodology by means of the specification and the analysis of a case study in the automotive domain

Association of osteocalcin, osteoprotegerin, and osteopontin with cardiovascular disease and retinopathy in type 2 diabetes

Background: Novel biomarkers of vascular disease in diabetes could help identify new mechanistic pathways. Osteocalcin, osteoprotegerin, and osteopontin are key molecules involved in bone and vascular calcification processes, both of which are compromised in diabetes. We aimed to evaluate possible associations of osteocalcin, osteoprotegerin, and osteopontin with cardiovascular disease (CVD) and diabetic retinopathy (DR) among people with type 2 diabetes (T2D). Materials and methods: Osteocalcin, osteoprotegerin, and osteopontin concentrations were measured at enrolment in 848 participants with T2D from the Sapienza University Mortality and Morbidity Event Rate (SUMMER) Study (ClinicalTrials.gov: NCT02311244). Logistic regression models and propensity score matching were used to assess possible associations of osteocalcin, osteoprotegerin, and osteopontin with a history of CVD and with evidence of any grade of DR adjusting for confounders. Results: Previous CVD was reported in 139 (16.4%) participants, while 144 (17.0%) had DR. After adjusting for possible confounders, osteocalcin but not osteoprotegerin or osteopontin concentrations were associated with a history of CVD (Odds Ratio [OR] and 95% CI for one standard deviation (SD) increase in osteocalcin concentrations (natural log): 1.35 (1.06-1.72), p = 0.014). Associations with prevalent DR were seen for osteoprotegerin (OR for one SD increase in osteoprotegerin concentrations (natural log): 1.25 (1.01-1.55), p = 0.047) and osteopontin (OR for one SD increase in osteopontin concentrations (natural log): 1.25 (1.02-1.53), p = 0.022), but not osteocalcin. Conclusions: In T2D, higher serum osteocalcin concentrations are associated with macrovascular complications and higher osteoprotegerin and osteopontin concentrations with microvascular complications, suggesting that these osteokines might be involved in pathways directly related to vascular disease

Search for standard model production of four top quarks in the lepton + jets channel in pp collisions at √s = 8 TeV

Open Access, Copyright CERN, for the benefit of the CMS Collaboration. Article funded by SCOAP3.Abstract: A search is presented for standard model (SM) production of four top quarks (Formula presented.) in pp collisions in the lepton + jets channel. The data correspond to an integrated luminosity of 19.6 fb−1 recorded at a centre-of-mass energy of 8 TeV with the CMS detector at the CERN LHC. The expected cross section for SM (Formula presented.) production is (Formula presented.). A combination of kinematic reconstruction and multivariate techniques is used to distinguish between the small signal and large background. The data are consistent with expectations of the SM, and an upper limit of 32 fb is set at a 95% confidence level on the cross section for producing four top quarks in the SM, where a limit of 32 ± 17 fb is expected

Colorectal Cancer Stage at Diagnosis Before vs During the COVID-19 Pandemic in Italy

IMPORTANCE Delays in screening programs and the reluctance of patients to seek medical attention because of the outbreak of SARS-CoV-2 could be associated with the risk of more advanced colorectal cancers at diagnosis. OBJECTIVE To evaluate whether the SARS-CoV-2 pandemic was associated with more advanced oncologic stage and change in clinical presentation for patients with colorectal cancer. DESIGN, SETTING, AND PARTICIPANTS This retrospective, multicenter cohort study included all 17 938 adult patients who underwent surgery for colorectal cancer from March 1, 2020, to December 31, 2021 (pandemic period), and from January 1, 2018, to February 29, 2020 (prepandemic period), in 81 participating centers in Italy, including tertiary centers and community hospitals. Follow-up was 30 days from surgery. EXPOSURES Any type of surgical procedure for colorectal cancer, including explorative surgery, palliative procedures, and atypical or segmental resections. MAIN OUTCOMES AND MEASURES The primary outcome was advanced stage of colorectal cancer at diagnosis. Secondary outcomes were distant metastasis, T4 stage, aggressive biology (defined as cancer with at least 1 of the following characteristics: signet ring cells, mucinous tumor, budding, lymphovascular invasion, perineural invasion, and lymphangitis), stenotic lesion, emergency surgery, and palliative surgery. The independent association between the pandemic period and the outcomes was assessed using multivariate random-effects logistic regression, with hospital as the cluster variable. RESULTS A total of 17 938 patients (10 007 men [55.8%]; mean [SD] age, 70.6 [12.2] years) underwent surgery for colorectal cancer: 7796 (43.5%) during the pandemic period and 10 142 (56.5%) during the prepandemic period. Logistic regression indicated that the pandemic period was significantly associated with an increased rate of advanced-stage colorectal cancer (odds ratio [OR], 1.07; 95%CI, 1.01-1.13; P = .03), aggressive biology (OR, 1.32; 95%CI, 1.15-1.53; P < .001), and stenotic lesions (OR, 1.15; 95%CI, 1.01-1.31; P = .03). CONCLUSIONS AND RELEVANCE This cohort study suggests a significant association between the SARS-CoV-2 pandemic and the risk of a more advanced oncologic stage at diagnosis among patients undergoing surgery for colorectal cancer and might indicate a potential reduction of survival for these patients

Penilaian Kinerja Keuangan Koperasi di Kabupaten Pelalawan

This paper describe development and financial performance of cooperative in District Pelalawan among 2007 - 2008. Studies on primary and secondary cooperative in 12 sub-districts. Method in this stady use performance measuring of productivity, efficiency, growth, liquidity, and solvability of cooperative. Productivity of cooperative in Pelalawan was highly but efficiency still low. Profit and income were highly, even liquidity of cooperative very high, and solvability was good