Pointfree factorization of operation refinement

The standard operation refinement ordering is a kind of “meet of op- posites”: non-determinism reduction suggests “smaller” behaviour while increase of definition suggests “larger” behaviour. Groves’ factorization of this ordering into two simpler relations, one per refinement concern, makes it more mathe- matically tractable but is far from fully exploited in the literature. We present a pointfree theory for this factorization which is more agile and calculational than the standard set-theoretic approach. In particular, we show that factorization leads to a simple proof of structural refinement for arbitrary parametric types and ex- ploit factor instantiation across different subclasses of (relational) operation. The prospect of generalizing the factorization to coalgebraic refinement is discussedFundação para a Ciência e a Tecnologia (FCT) - PURE Project (Program Understanding and Re-engineering: Calculi and Applications), contract POSI/ICHS/44304/2002

Pointfree Factorization of Operation Refinement

The standard operation refinement ordering is a kind of “meet of opposites”: non-determinism reduction suggests “smaller ” behaviour while increase of definition suggests “larger ” behaviour. Groves ’ factorization of this ordering into two simpler relations, one per refinement concern, makes it more mathematically tractable but is far from fully exploited in the literature. We present a pointfree theory for this factorization which is more agile and calculational than the standard set-theoretic approach. In particular, we show that factorization leads to a simple proof of structural refinement for arbitrary parametric types and exploit factor instantiation across different subclasses of (relational) operation. The prospect of generalizing the factorization to coalgebraic refinement is discussed

Primary care management of diabetes in a low/middle income country: A multi-method, qualitative study of barriers and facilitators to care

<p>Abstract</p> <p>Background</p> <p>The management of patients with diabetes mellitus is complex. Some research has been done in developed countries to attempt to determine the factors that influence quality of care of patients with diabetes: Factors thus far postulated are usually categorised into patient, clinician and organisational factors. Our study sought to discover the main barriers and facilitators to care in the management of diabetes in primary care in a low/middle income country.</p> <p>Methods</p> <p>A qualitative study, based on reflexive ethnography using participant observation, semi-structured interviews of clinicians (10) and group interviews with paramedical staff (4) and patients (12) in three purposively sampled health centres, along with informal observation and discussions at over 50 other health centres throughout Tunisia. A content analysis of the data was performed.</p> <p>Results</p> <p>Over 400 potential barriers or facilitators to care of patients with diabetes in primary care in Tunisia emerged. Overall, the most common cited factor was the availability of medication at the health centre. Other frequently observed organisational factors were the existence of chronic disease clinics and clinicians workload. The most commonly mentioned health professional factor was doctor motivation. Frequently cited patient factors were financial issues, patient education and compliance and attendance issues. There were notable differences in the priority given to the various factors by the researcher, physicians, paramedical staff and the patients.</p> <p>Conclusion</p> <p>We have discovered a large number of potential barriers and facilitators to care that may potentially be influencing the care of patients with diabetes within primary care in Tunisia, a low/middle income country. An appreciation and understanding of these factors is essential in order to develop culturally appropriate interventions to improve the care of people with diabetes.</p

An Empirical Analysis on Board Monitoring Role and Loan Portfolio Quality Measurement in Banks

This paper aims to analyze the effectiveness of the board monitoring role on specific loan portfolio quality measures in banks (default rate, recovery rate and provisioning rate). We use a sample comprises a totality of Italian-based banks, listed at Borsa Italiana SpA in 2006-2008 and a number of accounting proxies to express the loan portfolio quality of a bank. The results of the analysis show an overall weakness of the board role (expressed by Independents and Audit Committee on board) in monitoring loan portfolio quality of the bank, with the subsequent damage of the interests of stakeholders. A positive contribution of board monitoring, even if partial, is highlighted in two cases: Independents seems improve recovery rate, while the Audit committee enhances provisioning rate in banks. With reference to default rate, a total negative effect of board monitoring is reported. On the base of these results, some managerial implications are proposed