Search results for "Programs"

Microcredit, Regional Programs and Credit Guarantees in Italy

2019

This work proposes an analysis of microcredit initiatives analyzed at the territorial level. The differences are analyzed on the basis of distinctive features to identify different ways to develop microcredit in Italy. An empirical analysis is also carried out to verify the existence of a statistically significant correlation between the characteristics of entrepreneurial microcredit programs and their default risk. The presence of credit guarantee systems and the role of bank intermediaries as promoters significantly mitigate the risk of default on these initiatives. Regional microcredit programs do not show significant territorial differences in terms of credit guarantees.

Building a new CTL model checker using Web services

2013

This Computation Tree Logic (CTL) is widely used to capture compositions of reactive systems. Model checking is particularly well-suited for the automated verification of finite-state systems, both for software and for hardware. A CTL model checker tool allows designers to automatically verify that systems satisfy specifications expressed in the language of CTL logic. In this paper we present a new CTL model checker implemented in client-server paradigm. CTL Designer, the client tool, allows an interactive construction of the CTL models as state-transition graphs. Java and C# APIs are provided for programmatic construction of large models. The server part of our tool embeds the core of the …

Deciding properties of integral relational automata

1994

This paper investigates automated model checking possibilities for CTL* formulae over infinite transition systems represented by relational automata (RA). The general model checking problem for CTL* formulae over RA is shown undecidable, the undecidability being observed already on the class of Restricted CTL formulae. The decidability result, however, is obtained for another substantial subset of the logic, called A-CTL*+, which includes all ”linear time” formulae.

Withdrawal of a mumps vaccine.

1994

An Exploratory Research of 18 Years on the Economic Burden of Diabetes for the Romanian National Health Insurance System

2020

The prevalence of diabetes mellitus (DM) rises constantly each year worldwide. Because of that, the funds allocated for the DM treatment have increased over time. Regarding the number of DM cases, Romania is among the top ten countries in Europe. Based on the National Diabetes Programme (NDP), antidiabetic drugs and other expenditures (Self-monitoring blood glucose (SMBG) test, HbA1c, insulin pumps/insulin pumps supplies) are free of charge. This programme has undergone many changes in drugs supply, in the last two decades: re-organizing the NDP, authorization of new molecules with high prices (e.g., SGLT-2 inhibitors, etc.) or new devices (e.g., insulin pumps, etc.) The main purpose of thi…

Electron Ion Collider: The Next QCD Frontier: Understanding the glue that binds us all

2016

International audience; This White Paper presents the science case of an Electron-Ion Collider (EIC), focused on the structure and interactions of gluon-dominated matter, with the intent to articulate it to the broader nuclear science community. It was commissioned by the managements of Brookhaven National Laboratory (BNL) and Thomas Jefferson National Accelerator Facility (JLab) with the objective of presenting a summary of scientific opportunities and goals of the EIC as a follow-up to the 2007 NSAC Long Range plan. This document is a culmination of a community-wide effort in nuclear science following a series of workshops on EIC physics over the past decades and, in particular, the focus…

In response: Genomic profile of breast cancer.

2015

Response to: Plun-Favreau J, Svedman C, Valentine W, Rouzier R. Genomic profile of breast cancer. Expert Rev Pharmacoecon Outcomes Res 2015;15(3):393–94We would like to express our gratitude for th...

Validation of the Working Alliance Inventory–Observer Short Version with male intimate partner violence offenders

2018

The working alliance is a key element to increase intimate partner violence (IPV) offenders' motivation, adherence to treatment, and active participation in batterer intervention programs (BIPs). The objective of the present study is to assess the psychometric properties and factor structure of the Working Alliance Inventory-Observer Short Version (WAI-O-S) with a sample of IPV offenders. The sample was 140 men convicted for IPV and court-mandated to a community-based BIP. Inter-rater agreement and reliability were evaluated by computing the intraclass correlation coefficient. To test the latent structure a Bayesian confirmatory factor analysis approach was used. To test criterion-related v…

Congestion analysis to evaluate the efficiency and appropriateness of hospitals in Sicily

2015

Over the past twenty years, important changes in the Italian National Health System have been made in order to obtain significant improvements in the efficiency, appropriateness and quality of health care delivery, while reducing health expenditure. In this paper we proposed a multidimensional approach to assess the impact of organization inappropriateness on the efficiency evaluation of hospitals in Sicily for the year 2009. This study was based on cross-sectional data for 116 (out of 129) short-term, acute-care hospitals. The analysis considered beds, physicians, nurses and other personnel as inputs, ordinary discharges and day-hospital admissions as desirable outputs and inappropriate di…

Precise reply and clarifications on behalf of Sicilian Public Health Authorities to the case report published by La Rosa and collegues

2016

The intussusception is one of the most frequent causes of occlusive syndrome in infants and in children.1 The mesenteric lymphadenopathy, wich is very rare post rotavirus vaccination, can cause intussusception,2-5 especially in genetically predisposed individuals.6 There is an association between intussusception and some classes of genotype.7-9 Two infants aged 3 months, vaccinated against rotavirus. After about a week, one of the 2 identical infants presented inconsolable crying, vomiting, loose stools mixed with blood, and was diagnosed with bowel obstruction with intussusception. He was operated in urgency. After a few hours, his brother presented vomiting, and was admitted to our Hospit…