Graphical representation of covariant-contravariant modal formulae

Covariant-contravariant simulation is a combination of standard (covariant) simulation, its contravariant counterpart and bisimulation. We have previously studied its logical characterization by means of the covariant-contravariant modal logic. Moreover, we have investigated the relationships between this model and that of modal transition systems, where two kinds of transitions (the so-called may and must transitions) were combined in order to obtain a simple framework to express a notion of refinement over state-transition models. In a classic paper, Boudol and Larsen established a precise connection between the graphical approach, by means of modal transition systems, and the logical approach, based on Hennessy-Milner logic without negation, to system specification. They obtained a (graphical) representation theorem proving that a formula can be represented by a term if, and only if, it is consistent and prime. We show in this paper that the formulae from the covariant-contravariant modal logic that admit a "graphical" representation by means of processes, modulo the covariant-contravariant simulation preorder, are also the consistent and prime ones. In order to obtain the desired graphical representation result, we first restrict ourselves to the case of covariant-contravariant systems without bivariant actions. Bivariant actions can be incorporated later by means of an encoding that splits each bivariant action into its covariant and its contravariant parts.Comment: In Proceedings EXPRESS 2011, arXiv:1108.407

Matrix approach to hypercomplex Appell polynomials

Recently the authors presented a matrix representation approach to real Appell polynomials essentially determined by a nilpotent matrix with natural number entries. It allows to consider a set of real Appell polynomials as solution of a suitable first order initial value problem. The paper aims to confirm that the unifying character of this approach can also be applied to the construction of homogeneous Appell polynomials that are solutions of a generalized Cauchy–Riemann system in Euclidean spaces of arbitrary dimension. The result contributes to the development of techniques for polynomial approximation and interpolation in non-commutative Hypercomplex Function Theories with Clifford algebras

Lead Selenide Nanostructures Self-Assembled across Multiple Length Scales and Dimensions

A self-assembly approach to lead selenide (PbSe) structures that have organized across multiple length scales and multiple dimensions has been achieved. These structures consist of angstrom-scale 0D PbSe crystals, synthesized via a hot solution process, which have stacked into 1D nanorods via aligned dipoles. These 1D nanorods have arranged into nanoscale 2D sheets via directional short-ranged attraction. The nanoscale 2D sheets then further aligned into larger 2D microscale planes. In this study, the authors have characterized the PbSe structures via normal and cryo-TEM and EDX showing that this multiscale multidimensional self-assembled alignment is not due to drying effects. These PbSe structures hold promise for applications in advanced materials—particularly electronic technologies, where alignment can aid in device performance

Role of surgical setting and patients-related factors in predicting the occurrence of postoperative pulmonary complications after abdominal surgery

OBJECTIVE: The aim of this retrospective study was to evaluate the role of surgical setting (urgent vs. elective) and approach (open vs. laparoscopic) in affecting postoperative pulmonary complications (PPCs) prevalence in patients undergoing abdominal surgery. PATIENTS AND METHODS: After local Ethical Committee approval, 409 patients who had undergone abdominal surgery between January and December 2014 were included in the final analysis. PPCs were defined as the development of one of the following new findings: respiratory failure, pulmonary infection, aspiration pneumonia, pleural effusion, pneumothorax, atelectasis on chest X-ray, bronchospasm or un-planned urgent re-intubation. RESULTS: PPCs prevalence was greater in urgent (33%) vs. elective setting (7%) (chi(2) with Yates correction: 44; p=0.0001) and in open (6%) vs. laparoscopic approach (1.9%) (chi(2) with Yates correction: 12; p=0.0006). PPCs occurrence was positively correlated with in-hospital mortality (Biserial Correlation r=0.37; p=0.0001). Logistic regression showed that urgent setting (p=0.000), Ariscat (Assess Respiratory Risk in Surgical Patients in Catalonia) score (p=0.004), and age (p=0.01) were predictors of PPCs. A cutoff of 23 for Ariscat score was also identified as determining factor for PPCs occurrence with 94% sensitivity and 29% specificity. CONCLUSIONS: Patients undergoing abdominal surgery in an urgent setting were exposed to a higher risk of PPCs compared to patients scheduled for elective procedures. Ariscat score fitted with PPCs prevalence and older patients were exposed to a higher risk of PPCs. Prospective studies are needed to confirm these result

2-Nested Simulation is not Finitely Equationally Axiomatizable

2-nested simulation was introduced by Groote and Vaandrager [10] as the coarsest equivalence included in completed trace equivalence for which the tyft/tyxt format is a congruence format. In the lineartime-branching time spectrum of van Glabbeek [8], 2-nested simulationis one of the few equivalences for which no finite equational axiomatization is presented. In this paper we prove that such an axiomatizationdoes not exist for 2-nested simulation.Keywords: Concurrency, process algebra, basic CCS, 2-nested simulation, equational logic, complete axiomatizations

Concurrent constraint programming with process mobility

We propose an extension of concurrent constraint programming with primitives for process migration within a hierarchical network, and we study its semantics. To this purpose, we first investigate a "pure " paradigm for process migration, namely a paradigm where the only actions are those dealing with transmissions of processes. Our goal is to give a structural definition of the semantics of migration; namely, we want to describe the behaviour of the system, during the transmission of a process, in terms of the behaviour of the components. We achieve this goal by using a labeled transition system where the effects of sending a process, and requesting a process, are modeled by symmetric rules (similar to handshaking-rules for synchronous communication) between the two partner nodes in the network. Next, we extend our paradigm with the primitives of concurrent constraint programming, and we show how to enrich the semantics to cope with the notions of environment and constraint store. Finally, we show how the operational semantics can be used to define an interpreter for the basic calculus.

On the Axiomatisability of Parallel Composition

This paper studies the existence of finite equational axiomatisations of the interleaving parallel composition operator modulo the behavioural equivalences in van Glabbeek's linear time-branching time spectrum. In the setting of the process algebra BCCSP over a finite set of actions, we provide finite, ground-complete axiomatisations for various simulation and (decorated) trace semantics. We also show that no congruence over BCCSP that includes bisimilarity and is included in possible futures equivalence has a finite, ground-complete axiomatisation; this negative result applies to all the nested trace and nested simulation semantics

Sodium fraction excretion rate in nocturnal enuresis correlates with nocturnal polyuria and osmolality

Abstract: Purpose: We verify the sodium fraction excretion rate (FE Na) and potassium fraction excretion WE K) rates in monosymptomatic nocturnal enuresis. We also correlate FE Na and FE K to urinary osmolality, nocturnal polyuria and vasopressin in the same population. Materials and Methods: A total of 438 children 6 to 15 years old (mean age 9.7) presenting with monosymptomatic nocturnal enuresis were recruited from different centers. Inclusion criteria were 3 or greater wet nights a week, no daytime incontinence and no treatment in the previous 2 months. Exclusion criteria were cardiopathy, endocrinopathy, psychiatric problems and urinary tract abnormalities. Micturition chart, diurnal (8 am to 8 pm) and nocturnal (8 pm to 8 am) urine collection, including separate diuresis volumes, (Na, K and Ca) electrolytes and osmolality were evaluated, as well as serum electrolytes, creatinine and nocturnal (4 am) vasopressin. Diurnal and nocturnal FE K and FE Na were calculated. ANOVA test, chi-square test, Student's t test and Pearson correlation test were used for statistical analysis. Results: Nocturnal polyuria (diurnal to nocturnal diuresis ratio less than 1) was found in 273 children (62.3%, group I and nocturnal urine volumes were normal in 165 with enuresis (37.7%, group 2). Nocturnal FE Na was abnormal in 179 children (40.8%), including 118 in group 1 (43.2%) and 61 in group 2 (36.9%) (chi-square not significant). FE Na was also increased in nocturnal versus daytime diuresis (Student's t test p < 0.001). In group 1 nocturnal FE Na correlated with nocturnal diuresis (Pearson correlation p = 0.003, r = +0.175), while daytime FE Na and nocturnal FE Na correlated with diurnal diuresis (Pearson correlation p = 0.001, r = +0.225 and Pearson correlation p = 0.001, r = +0.209, respectively). In group 2 nocturnal FE Na did not correlate with diuresis (Pearson correlation p = 0.103, r = +0.128) but correlated with vasopressin values (Pearson correlation p = 0.042, r = -0.205). Urine osmolality was reduced in 140 children (31.9%) and correlated with nocturnal diuresis (Pearson correlation p = 0.003, r = -0.321). Vasopressin was decreased in 332 children (75.8%, 62.6% in group 1 and 13.2% in group 2). No significant difference was found between sexes and age of enuretic subgroups. Conclusions: Nocturnal FE Na correlates with nocturnal diuresis, whereas daytime FE Na does not. FE K in daytime and nighttime diuresis does not statistically differ in nocturnal polyuric and nonpolyuric enuretic groups. Osmolality correlates with nocturnal diuresis, and vasopressin at 4 am was lower in the nocturnal polyuric group. The hypothesis of a subset of enuretic patients presenting with nocturnal polyuria associated with high nocturnal natriuria and low vasopressin values has been confirmed

A Branching Time Model of CSP

I present a branching time model of CSP that is finer than all other models of CSP proposed thus far. It is obtained by taking a semantic equivalence from the linear time - branching time spectrum, namely divergence-preserving coupled similarity, and showing that it is a congruence for the operators of CSP. This equivalence belongs to the bisimulation family of semantic equivalences, in the sense that on transition systems without internal actions it coincides with strong bisimilarity. Nevertheless, enough of the equational laws of CSP remain to obtain a complete axiomatisation for closed, recursion-free terms.Comment: Dedicated to Bill Roscoe, on the occasion of his 60th birthda