Precise subtyping for asynchronous multiparty sessions

Session subtyping is a cornerstone of refinement of communicating processes: a process implementing a session type (i.e., a communication protocol) T can be safely used whenever a process implementing one of its supertypes T0 is expected, in any context, without introducing deadlocks nor other communication errors. This paper presents the first formalisation of the precise subtyping relation for asynchronous multiparty sessions: we show that the relation is sound (i.e., guarantees safe process replacement, as outlined above) and also complete: any extension of the relation is unsound. Previous work studies precise subtyping for binary sessions (with two participants), or multiparty sessions (with any number of participants) and synchronous interaction. Here, we cover multiparty sessions with asynchronous interaction, where messages are transmitted via FIFO queues (as in the TCP/IP protocol). In this setting, the subtyping relation becomes highly complex: under some conditions, participants can permute the order of their inputs and outputs, by sending some messages earlier, or receiving some later, without causing errors; the precise subtyping relation must capture all such valid permutations, and consequently, its formalisation and proofs become challenging. Our key discovery is a methdology to decompose session types into single input/output session trees, and then express the subtyping relation as a composition of refinement relations between such trees

Influence of indirect ultrasonic vibration on the microstructure and mechanical behavior of Al-Si-Cu alloy

The influence of high intensity ultrasound (US) propagating through a steel mold on the microstructure and mechanical properties of die-cast AlSi9Cu3, for different levels of electric power and at different distances to the waveguide/mold interface. The influence of those parameters on the morphology of -Al and eutectic Si and on the volume of porosity were investigated and characterized. The morphological characterization revealed that the high intensity vibration not only promoted the formation of small -Al globular grains but also modify the eutectic silicon, as well as decreased the volume of porosity. Besides microstructure modification, US treatment improved the alloy mechanical properties, namely UTS and strain, which maximum values were 339 MPa and 2.9% respectively by comparison to the values obtained for castings produced without US vibration. A mechanism of eutectic Si modification based on theoretical-experimental analysis is proposedFCT - Fundação para a Ciência e Tecnologi

Effect of aspartame on biochemical and oxidative stress parameters in rat blood

Aspartame (ASP) is one of the most widely used nonnutritive sweeteners. This study investigates the chronic effects of ASP on hematological and biochemical parameters, and its effects on the oxidative/antioxidative status in the red blood cells of Wistar albino rats. Rats were provided with ASP (40 mg/kg/daily for six weeks) in drinking water. Increased food and fluid intake was observed in the ASP-treated rats. Total body mass was significantly decreased in the ASP-treated rats. Treatment with ASP caused an increase in the concentrations of glucose, cholesterol, LDL-cholesterol, and in the activities of alanine aminotransferase (ALT), aspartate aminotransferase (AST) and lactate dehydrogenase (LDH), as well as a decrease in the levels of HDL-cholesterol in the serum. A significant decline in the number of white blood cells (WBC) was observed after ASP uptake. Based on the results we conclude that ASP induces oxidative stress, observed as an alteration of the glutathione redox status, which leads to increased concentrations of nitric oxide (NO) and lipid peroxides (LPO) in the red blood cells. Changes in biochemical parameters, lipid metabolism, as well as changes in the levels of oxidative stress markers and the appearance of signs of liver damage indicate that chronic use of ASP can lead to the development of hyperglycemia, hypercholesterolemia and associated diseases

A Novel Radiomics-Based Tumor Volume Segmentation Algorithm for Lung Tumors in FDG-PET/CT after 3D Motion Correction-A Technical Feasibility and Stability Study

Positron emission tomography (PET) provides important additional information when applied in radiation therapy treatment planning. However, the optimal way to define tumors in PET images is still undetermined. As radiomics features are gaining more and more importance in PET image interpretation as well, we aimed to use textural features for an optimal differentiation between tumoral tissue and surrounding tissue to segment-target lesions based on three textural parameters found to be suitable in previous analysis (Kurtosis, Local Entropy and Long Zone Emphasis). Intended for use in radiation therapy planning, this algorithm was combined with a previously described motion-correction algorithm and validated in phantom data. In addition, feasibility was shown in five patients. The algorithms provided sufficient results for phantom and patient data. The stability of the results was analyzed in 20 consecutive measurements of phantom data. Results for textural feature-based algorithms were slightly worse than those of the threshold-based reference algorithm (mean standard deviation 1.2%-compared to 4.2% to 8.6%) However, the Entropy-based algorithm came the closest to the real volume of the phantom sphere of 6 ccm with a mean measured volume of 26.5 ccm. The threshold-based algorithm found a mean volume of 25.0 ccm. In conclusion, we showed a novel, radiomics-based tumor segmentation algorithm in FDG-PET with promising results in phantom studies concerning recovered lesion volume and reasonable results in stability in consecutive measurements. Segmentation based on Entropy was the most precise in comparison with sphere volume but showed the worst stability in consecutive measurements. Despite these promising results, further studies with larger patient cohorts and histopathological standards need to be performed for further validation of the presented algorithms and their applicability in clinical routines. In addition, their application in other tumor entities needs to be studied

Reply to Comments on Effect of heating rate on kinetic parameters of beta-irradiated Li2B4O7:Cu,Ag,P in TSL measurements

We appreciate the opportunity to respond to comments regarding the paper published by Ege et al (2007 Effect of heating rate on kinetic parameters of beta-irradiated Li2B4O7: Cu, Ag, P in TSL measurements Meas. Sci. Technol. 18 889). We would like to thank the authors for taking the time to tell us about their opinion, but unfortunately we do not agree with them completely. In the article presented by Kumar and Chourasiya some comment is advanced to the analysis of the glow curves measured with different heating rates, presented in our recent study. According to our study, the area under the glow curve decreases with increasing heating rate in TL-temperature plots due to the quenching effects. Contrary to this, Kumar and Chourasiya suggest that this decrease is due to the normalization process. Here we hope to clarify any confusion regarding our published study

Josephson Coupling through a Quantum Dot

We derive, via fourth order perturbation theory, an expression for the Josephson current through a gated interacting quantum dot. We analyze our expression for two different models of the superconductor-dot-superconductor (SDS) system. When the matrix elements connecting dot and leads are featureless constants, we compute the Josephson coupling J_c as a function of the gate voltage and Coulomb interaction. In the diffusive dot limit, we compute the probability distribution P(J_c) of Josephson couplings. In both cases, pi junction behavior (J_c < 0) is possible, and is not simply dependent on the parity of the dot occupancy.Comment: 9 pages; 3 encapsulated PostScript figure

Enhanced deposition and reflective properties of thin aluminium films by substrate vibration

The influence of substrate's vibration during vacuum deposition of aluminium thin films on copper substrates was examined. Aluminium metal was evaporated in specially designed vacuum chamber using the hot-filament technique. Copper substrates were subjected to a vibration of 7.6 kHz during deposition. The Al coatings were identified using X-ray diffraction spectroscopy and scanning electron microscopy was used to examine the resulting microstructures deposited on the substrates. Coatings deposited under substrate vibration had fewer particles, spherical in shape and deposited over uniformly over the entire surface. This was not the case for the non-vibrated substrates, which tended to have much more densely packed granular shaped particles. The reflectivity experiments revealed that vibrated substrates were superior to the non-vibrated substrates by 28 %, while the difference in the thermal response was around 14 %

Antiferromagnetic Order of the Ru and Gd in Superconducting RuSr2GdCu2O8

Neutron diffraction has been used to study the magnetic order in RuSr{2}GdCu2O8. The Ru moments order antiferromagnetically at T{N}=136(2)K, coincident with the previously reported onset of ferromagnetism. Neighboring spins are antiparallel in all three directions, with a low T moment of 1.18(6) mu {B} along the c-axis. Our measurements put an upper limit of ~0.1 mu{B} to any net zero-field moment, with fields exceeding ~0.4T needed to induce a measurable magnetization. The Gd ions order independently at T{N}=2.50(2)K with the same spin configuration. PACS numbers: 74.72.Jt, 75.25.+z, 74.25.Ha, 75.30.KzComment: Four pages, Latex, 5 eps figure