Interaction and observation: categorical semantics of reactive systems trough dialgebras

We use dialgebras, generalising both algebras and coalgebras, as a complement of the standard coalgebraic framework, aimed at describing the semantics of an interactive system by the means of reaction rules. In this model, interaction is built-in, and semantic equivalence arises from it, instead of being determined by a (possibly difficult) understanding of the side effects of a component in isolation. Behavioural equivalence in dialgebras is determined by how a given process interacts with the others, and the obtained observations. We develop a technique to inter-define categories of dialgebras of different functors, that in particular permits us to compare a standard coalgebraic semantics and its dialgebraic counterpart. We exemplify the framework using the CCS and the pi-calculus. Remarkably, the dialgebra giving semantics to the pi-calculus does not require the use of presheaf categories

Asymmetric Silver to Oxide Adhesion in Multilayers Deposited on Glass by Sputtering

We have developed a wedge-loaded double-cantilever beam adhesion measurement set-up for thin films deposited on glass by sputtering. The test is described in details. Results on the Glass/sublayer/Ag/ZnO multilayer provide evidence that \SnOd or \TiOd perform better than ZnO as a sublayer. Then however, rupture within the multilayer shifts to the upper Ag/ZnO interface. The latter is shown to be tougher than the lower ZnO/Ag interface, an asymmetry due to non-equilibrium interfacial structures

Coinductive soundness of corecursive type class resolution

This work has been supported by the EPSRC grant “Coalgebraic Logic Programming for Type Inference” EP/K031864/1-2, EU Horizon 2020 grant “RePhrase: Refactoring Parallel Heterogeneous Resource-Aware Applications - a Software Engineering Approach” (ICT-644235), and by COST Action IC1202 (TACLe), supported by COST (European Cooperation in Science and Technology)Horn clauses and first-order resolution are commonly used to implement type classes in Haskell. Several corecursive extensions to type class resolution have recently been proposed, with the goal of allowing (co)recursive dictionary construction where resolution does not terminate. This paper shows, for the first time, that corecursive type class resolution and its extensions are coinductively sound with respect to the greatest Herbrand models of logic programs and that they are inductively unsound with respect to the least Herbrand models. We establish incompleteness results for various fragments of the proof system.Postprin

Adherence in HIV-positive patients treated with single-tablet regimens and multi-pill regimens: findings from the COMPACT study

The use of Combination AntiRetroviral Therapy (cART) has decreased the morbidity and mortality of patients infected with HIV. However, adherence to cART remains crucial to prevent virological failure and disease progression. The aim of this study was to assess adherence to treatment among patients treated with Single Tablet Regimen (STR) or with multi-pill regimens based on Protease Inhibitors (PI), Non-Nucleoside Reverse-Transcriptase Inhibitors (NNRTI), or raltegravir (RAL). An observational retrospective cohort analysis based on administrative and clinical databases was conducted at the National Institute for Infectious Diseases (Rome, Italy). HIV-positive patients treated with a cART between Jan 1st, 2008–Dec 31st, 2010 were included. Patients were followed-up for one year since the first prescription during the inclusion period or up to death or switch of at least one drug of the regimen. Adherence and selective non-adherence (days without backbone or 3rd drug) were calculated using pharmacy refill compliance [1]. cART regimens were classified based on number of daily pills (STR vs multi-pill regimen) and on type of third drug. Viral Load (VL) and CD4 cell counts at the end of the follow-up were evaluated. A total of 1,604 patients were analyzed, 70.0% male, age 45.0±8.7, 14.3% newly treated. Patients on STR were 159 (9.9%), PI 878 (54.7%), NNRTI 523 (32.6%), RAL 44 (2.7%). Presence of at least one AIDS-defining conditions (according to Centers for Disease Control classification) was 30% in the STR group, 34% PI, 26% NNRTI, 34% RAL (p=n.s.). Adherence was 80.4±14.7% for STR, 71.8±21.8% PI, 77.1±20.3% NNRTI, 74.0±22.4% RAL. Selective non-adherence was 5.5% (18 days) PI, 2.8% (8 days) NNRTI, 12.5% (43 days) RAL (Figure 1). At the end of the follow-up, VL/CD4 values were available among 709 patients (44%); CD4 count >500 cell/mm3 was observed among 61% of patients on STR, 44% PI, 48% NNRTI, 42% RAL and VL < 50 copies/ml was observed among 96% of patients on STR, 78% PI, 88% NNRTI, 87% RAL. Interruptions in cART refill remain a relevant problem across all cART regimens. Patients on STR displayed a higher adherence rate compared to multi-pill regimes (PI, NNRTI, and RAL), primarily due to lack of selective non-adherence. Patients on STR experienced also higher rates of VL < 50 and CD4 > 500. The use of an STR regimen appears an effective therapeutic option to avoid selective non-adherence and, consequently, to prevent virological failure and disease progression

Atomic step motion during the dewetting of ultra-thin films

We report on three key processes involving atomic step motion during the dewetting of thin solid films: (i) the growth of an isolated island nucleated far from a hole, (ii) the spreading of a monolayer rim, and (iii) the zipping of a monolayer island along a straight dewetting front. Kinetic Monte Carlo results are in good agreement with simple analytical models assuming diffusion-limited dynamics.Comment: 7 pages, 5 figure

Acute myocardial infarction with occlusion of all three main epicardial coronary arteries: When Mother Nature takes care more than physicians

Double-arterial coronary stent thrombosis in acute myocardial infarction (AMI) is an infrequent but severe complication, especially when the third main coronary artery is chronically occluded. The conus artery (CA) can serve as a major source of collateral when the left anterior descendent coronary artery (LAD) becomes obstructed. We report a case of a 48-year-old man presenting with AMI due to a very late double-arterial stent thrombosis (ST) following drug-eluting stent implantation and a chronic occlusion of LAD collateralized by a large anomalous CA, which provided for the entire vascularization of the coronary tree. © 2010 Springer

On coalgebras with internal moves

In the first part of the paper we recall the coalgebraic approach to handling the so-called invisible transitions that appear in different state-based systems semantics. We claim that these transitions are always part of the unit of a certain monad. Hence, coalgebras with internal moves are exactly coalgebras over a monadic type. The rest of the paper is devoted to supporting our claim by studying two important behavioural equivalences for state-based systems with internal moves, namely: weak bisimulation and trace semantics. We continue our research on weak bisimulations for coalgebras over order enriched monads. The key notions used in this paper and proposed by us in our previous work are the notions of an order saturation monad and a saturator. A saturator operator can be intuitively understood as a reflexive, transitive closure operator. There are two approaches towards defining saturators for coalgebras with internal moves. Here, we give necessary conditions for them to yield the same notion of weak bisimulation. Finally, we propose a definition of trace semantics for coalgebras with silent moves via a uniform fixed point operator. We compare strong and weak bisimilation together with trace semantics for coalgebras with internal steps.Comment: Article: 23 pages, Appendix: 3 page

How was it for you? Experiences of participatory design in the UK health service

Improving co-design methods implies that we need to understand those methods, paying attention to not only the effect of method choices on design outcomes, but also how methods affect the people involved in co-design. In this article, we explore participants' experiences from a year-long participatory health service design project to develop ‘Better Outpatient Services for Older People’. The project followed a defined method called experience-based design (EBD), which represented the state of the art in participatory service design within the UK National Health Service. A sample of participants in the project took part in semi-structured interviews reflecting on their involvement in and their feelings about the project. Our findings suggest that the EBD method that we employed was successful in establishing positive working relationships among the different groups of stakeholders (staff, patients, carers, advocates and design researchers), although conflicts remained throughout the project. Participants' experiences highlighted issues of wider relevance in such participatory design: cost versus benefit, sense of project momentum, locus of control, and assumptions about how change takes place in a complex environment. We propose tactics for dealing with these issues that inform the future development of techniques in user-centred healthcare design

Predicting global usages of resources endowed with local policies

The effective usages of computational resources are a primary concern of up-to-date distributed applications. In this paper, we present a methodology to reason about resource usages (acquisition, release, revision, ...), and therefore the proposed approach enables to predict bad usages of resources. Keeping in mind the interplay between local and global information occurring in the application-resource interactions, we model resources as entities with local policies and global properties governing the overall interactions. Formally, our model takes the shape of an extension of pi-calculus with primitives to manage resources. We develop a Control Flow Analysis computing a static approximation of process behaviour and therefore of the resource usages.Comment: In Proceedings FOCLASA 2011, arXiv:1107.584