A Fully Abstract Model for the π-calculus

n/

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

Epidemiology of Statin-Treated Patients with Uncontrolled Ldl Levels from Italian Administrative Official Databases

n/

Nonacceptability criteria and closure properties for the class of languages accepted by binary systolic tree automata

AbstractIn this paper a contribution is given to the solution of the problem of finding an inductive characterization of the class of languages accepted by binary systolic tree automata, L(BSTA), in terms of the closure of a class of languages with respect to certain operations. It is shown that L(BSTA) is closed with respect to some new operations: selective concatenation, restricted concatenation and restricted iteration. The known nonclosure of L(BSTA) with respect to classical language operations, like concatenation and Kleene iteration is proved here by using a new nonacceptability criterion

Incorporating coarse and fine recycled aggregates into concrete mixes: mechanical characterization and environmental impact

Concrete waste (CW) recycling stands as a promising strategy to promote sustainable construction practices. This research aims to assess the feasibility of using recycled concrete aggregates (RCA) as a surrogate for natural aggregates (NA) in concrete applications and reduce the environmental impact associated with the depletion of natural resources and landfill space. To achieve these objectives, CW was segregated from debris mixes of construction and demolition waste (CDW), collected, crushed, and graded to generate RCA. Thirty-two concrete samples were prepared and categorized into four distinct groups with 0% (reference), 50%, 75%, and 100% substitution levels for both coarse RCA (CRCA) and fine RCA (FRCA), all utilized simultaneously. Concurrently, the environmental impacts of producing 1 m3 of concrete were evaluated using a life cycle assessment (LCA) approach, (cradle-to-gate) covering three phases, the raw material supply (A1), transportation (A2) and concrete production (A3). At the 50% replacement level, the mechanical properties of recycled aggregate concrete (RAC) demonstrated a 20.0% increase in splitting tensile strength, accompanied by marginal decrease in workability (15.0%) and compressive strength (6.0%). In addition, at that percentage, the average environmental effects were reduced by 31.3%, with specific reductions of 34.7% for A1, 40.3% for A2, and no change in A3

Full Understanding of Hot Electrons and Hot/Cold Holes in the Degradation of p-channel Power LDMOS Transistors

Degradation induced by hot-carrier stress is a crucial issue for the reliability of power LDMOS transistors. This is even more true for the p-channel LDMOS in which, unlike the n-channel counterpart, both the majority and minority carriers play a fundamental role on the device reliability. An in-depth study of the microscopic mechanisms induced by hot-carrier stress in new generation BCD integrated p-channel LDMOS is presented in this paper. The effect of the competing electron and hole trapping mechanisms on the on-resistance drift has been thoroughly analyzed. To this purpose, TCAD simulations including the deterministic solution of Boltzmann transport equation and the microscopic degradation mechanisms have been used, to the best of our knowledge, for the first time. The insight gained into the degradation sources and dynamics will provide a relevant basis for future device optimization

NaDES as a green technological approach for the solubility improvement of BCS class II APIs: An insight into the molecular interactions

Recently, Natural Deep Eutectic Solvents (NaDES) have emerged as potential solvents for boosting drug bioavailability. In this work, the mechanism of solubility enhancement of some APIs belonging to BCS class II (tolbutamide, nimesulide, domperidone and cinnarizine) in these eutectic bio-solvents was investigated in order to get deeper insights into the molecular interactions between the NaDES components and the selected drugs. Different NaDES formulations based on choline chloride, proline, solid organic acids (citric, tartaric and malic acid), sugars (glucose and xylitol) and water were prepared by mild heating (70 °C). Characterization of unloaded NaDES (pH, Karl Fisher titration, viscosity and FTIR analysis) indicated that the type of Hydrogen Bond Acceptor (HBA) and Hydrogen Bond Donor (HBD), their molar ratio as well as water amount strongly affect the extent of H-bonding interactions. Hard gelatin capsules filled with NaDES maintained their integrity until 6 months, proving that all water molecules participate in H-bond network. APIs' solubility enhancement was significant in all NaDES with respect to buffer solutions (pH 1.2 and 6.8). Analysing NaDES having Choline as HBA, it was found that the solubility of smaller molecules increased using larger HBD, while higher molecular weight APIs can be better inserted into the network formed by smaller HBD. NOE experiments demonstrated the formation of a robust supramolecular structure among the protons of choline, those of organic acid and water. In addition, 1D ROESY spectra revealed for the first time the crucial role of choline (methyl groups) in establishing hydrophobic interactions with the relative aliphatic or aromatic portion of the drugs. These data suggest the complex structure of the API-NaDES supramolecular assembly and underline that drug solubility is dependent on a balance network of H-bonds and hydrophobic interactions as well. Understanding the type of interactions between the API and NaDES is essential for their use as effective solubilisation aid

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