G-Reactive Systems as Coalgebras

n/

Evidence for a long duration component in the prompt emission of short Gamma-Ray Bursts detected with BeppoSAX

A statistical study on the light curves of all the short Gamma-Ray Bursts detected with the Gamma Ray Burst Monitor (GRBM) aboard BeppoSAX is reported. Evidence for a very weak and long duration component associated with these events in the two 1 s counters of the GRBM (40-700 keV and >100 keV) is found. It starts a few tens of seconds before the burst and continues for about 30 s after the burst. The overall hardness of this component is comparable with that of the event itself. The detection of a signal before the onset time and the similar hardness are consistent with an interpretation of the long duration component in terms of prompt emission associated with short GRBs.Comment: 12 pages, 6 figures, accepted for publication in ApJ

A Decidable Characterization of a Graphical Pi-calculus with Iterators

This paper presents the Pi-graphs, a visual paradigm for the modelling and verification of mobile systems. The language is a graphical variant of the Pi-calculus with iterators to express non-terminating behaviors. The operational semantics of Pi-graphs use ground notions of labelled transition and bisimulation, which means standard verification techniques can be applied. We show that bisimilarity is decidable for the proposed semantics, a result obtained thanks to an original notion of causal clock as well as the automatic garbage collection of unused names.Comment: In Proceedings INFINITY 2010, arXiv:1010.611

Numerical modelling of residual stress redistribution induced by TIG-dressing: TIG-dressing numerical modelling

TIG-dressing is a technique used to improve the fatigue strength of welded joints by a remelting of the weld toe region that promotes both a smoother transition between the plate and the weld crown and a residual stress redistribution. These effects are very hard to be quantified by numerical simulation since a highly coupled thermo-fluid-mechanical analysis is required. However, if the final weld toe geometry is supposed to be known or a-posteriori measured, a simplified numerical method can be used to simulate the residual tress redistribution that uses the activation-deactivation function of elements. This technique is applied to a real steel weldment and results, in terms of phases proportions and residual stress redistribution, were found in good agreement both with data coming from metallurgical analysis and the improved fatigue strength observed on welded joints after the TIG-dressing operation

Coordination via Interaction Constraints I: Local Logic

Wegner describes coordination as constrained interaction. We take this approach literally and define a coordination model based on interaction constraints and partial, iterative and interactive constraint satisfaction. Our model captures behaviour described in terms of synchronisation and data flow constraints, plus various modes of interaction with the outside world provided by external constraint symbols, on-the-fly constraint generation, and coordination variables. Underlying our approach is an engine performing (partial) constraint satisfaction of the sets of constraints. Our model extends previous work on three counts: firstly, a more advanced notion of external interaction is offered; secondly, our approach enables local satisfaction of constraints with appropriate partial solutions, avoiding global synchronisation over the entire constraints set; and, as a consequence, constraint satisfaction can finally occur concurrently, and multiple parts of a set of constraints can be solved and interact with the outside world in an asynchronous manner, unless synchronisation is required by the constraints. This paper describes the underlying logic, which enables a notion of local solution, and relates this logic to the more global approach of our previous work based on classical logic

Management and Clinical Aspects of Burned Patients Affected by SARS-COV2

At the end of January 2020, SARS-CoV-2 started escalating worldwide. COVID-19 can exert its effects on immunity, inflammation, and multi-organ system disease, common denominators with the burn injury. The pandemic required major efforts to Burn centres in order to preserve burn patients’ care and contribute to the health care response. In our Burn Unit we autonomously developed a protocol for patients acceptance and surveillance of the hospitalized ones and the personnel. We briefly describe our experience with six cases of burn patients infected by SARS-CoV-2 highlighting the overlap between medical treatment of burn patients and COVID-19 patients. To avoid viral spreading epidemiologic control is essential, especially preventive measures such as isolation of infected patients and identification of the source of infection. In our surgical practice, we increased the use of enzymatic debridement avoiding procedures with a high risk of viral particles spreading. Personnel protection and dedicated pathways have been planned, optimizing air circulation and disinfection. Vaccines represent the best hope for the global population to stop the viral spread, despite new variants outbreaks

a composite laminate veneer technique for diastema closure a report of ten cases

Aim: Diastemas can be treated using periodontal, surgical, orthodontic, or prosthetic procedures. Composite laminate veneers can be applied to reduce or eliminate diastemas and represent a good aesthetic non-invasive alternative for these patients. This study presents the treatment results of 10 patients with diastemas between the anterior teeth of the maxilla and mandible with composite veneers. Methodology: Ten patients with diastemas between the anterior maxillary and mandibular teeth complaining of esthetic problems were treated at the Department of Operative Dentistry, University of Dicle. The periodontal health of the patients was acceptable and no caries were detected. Patients were informed of the treatment choices and composite resin veneers were selected as the better approach for each case. The presence of a diastema causes esthetic problems, especially in adolescents. Prosthetic and conservative methods are usually used to treat diastemas because these approaches are minimally invasive. The direct laminate technique has the advantages of low cost, treatment reversibility, and easy repair of the restoration intraorally. The direct composite laminate technique has become more effective because of improvements in adhesive dentistry. Conclusion: This study describes a direct composite laminate technique for the restoration of the anterior teeth of 10 patients with diastemas. These restorations were conservative and provide an inexpensive, one-visit aesthetic treatment for anterior teeth. How to cite this article: Bahşi E, Callea M, İnce B, Montanari M, Dallı M, Batteli F, Akdoğan M, Gabriella C, Toptancı İR, Gabriela P, Yavuz İ. A Composite Laminate Veneer Technique for Diastema Closure: A Report of Ten Cases. Int Dent Res 2012;2:67-74. Linguistic Revision: The English in this manuscript has been checked by at least two professional editors, both native speakers of English

Measuring the cosmological parameters with the Ep,i-Eiso correlation of Gamma-Ray Bursts

We have used the Ep,i-Eiso correlation of GRBs to measure the cosmological parameter Omega_M. By adopting a maximum likelihood approach which allows us to correctly quantify the extrinsic (i.e. non--Poissonian) scatter of the correlation, we constrain (for a flat universe) Omega_M to 0.04-0.40 (68% confidence level), with a best fit value of Omega_M ~ 0.15, and exclude Omega_M = 1 at 99.9% confidence level. If we release the assumption of a flat universe, we still find evidence for a low value of Omega_M (0.04-0.50 at 68% confidence level) and a weak dependence of the dispersion of the Ep,i-Eiso correlation on Omega_Lambda (with an upper limit of Omega_Lambda ~ 1.15 at 90% confidence level). Our approach makes no assumptions on the Ep,i-Eiso correlation and it does not use other calibrators to set the "zero' point of the relation, therefore our treatment of the data is not affected by circularity and the results are independent of those derived via type Ia SNe (or other cosmological probes). Unlike other multi-parameters correlations, our analysis grounds on only two parameters, then including a larger number (a factor ~3) of GRBs and being less affected by systematics. Simulations based on realistic extrapolations of ongoing (and future) GRB experiments (e.g., Swift, Konus-Wind, GLAST) show that: i) the uncertainties on cosmological parameters can be significantly decreased; ii) future data will allow us to get clues on the "dark energy" evolution.Comment: 9 pages, 12 figures, revised version, accepted for publication in MNRA

The Long-Baseline Neutrino Experiment: Exploring Fundamental Symmetries of the Universe

The preponderance of matter over antimatter in the early Universe, the dynamics of the supernova bursts that produced the heavy elements necessary for life and whether protons eventually decay --- these mysteries at the forefront of particle physics and astrophysics are key to understanding the early evolution of our Universe, its current state and its eventual fate. The Long-Baseline Neutrino Experiment (LBNE) represents an extensively developed plan for a world-class experiment dedicated to addressing these questions. LBNE is conceived around three central components: (1) a new, high-intensity neutrino source generated from a megawatt-class proton accelerator at Fermi National Accelerator Laboratory, (2) a near neutrino detector just downstream of the source, and (3) a massive liquid argon time-projection chamber deployed as a far detector deep underground at the Sanford Underground Research Facility. This facility, located at the site of the former Homestake Mine in Lead, South Dakota, is approximately 1,300 km from the neutrino source at Fermilab -- a distance (baseline) that delivers optimal sensitivity to neutrino charge-parity symmetry violation and mass ordering effects. This ambitious yet cost-effective design incorporates scalability and flexibility and can accommodate a variety of upgrades and contributions. With its exceptional combination of experimental configuration, technical capabilities, and potential for transformative discoveries, LBNE promises to be a vital facility for the field of particle physics worldwide, providing physicists from around the globe with opportunities to collaborate in a twenty to thirty year program of exciting science. In this document we provide a comprehensive overview of LBNE's scientific objectives, its place in the landscape of neutrino physics worldwide, the technologies it will incorporate and the capabilities it will possess.Comment: Major update of previous version. This is the reference document for LBNE science program and current status. Chapters 1, 3, and 9 provide a comprehensive overview of LBNE's scientific objectives, its place in the landscape of neutrino physics worldwide, the technologies it will incorporate and the capabilities it will possess. 288 pages, 116 figure

Muon momentum measurement in ICARUS-T600 LAr-TPC via multiple scattering in few-GeV range

The measurement of muon momentum by Multiple Coulomb Scattering is a crucial ingredient to the reconstruction of νμ CC events in the ICARUS-T600 liquid argon TPC in absence of magnetic field, as in the search for sterile neutrinos at Fermilab where ICARUS will be exposed to ∼ 1 GeV Booster neutrino beam. A sample of ∼ 1000 stopping muons produced by charged current interactions of CNGS νμ in the surrounding rock at the INFN Gran Sasso underground Laboratory provides an ideal benchmark in the few-GeV range since their momentum can be directly and independently obtained by the calorimetric measurement. Stopping muon momentum in the 0.5-4.5 GeV/c range has been reconstructed via Multiple Coulomb Scattering with resolution ranging from 10 to 25% depending on muon energy, track length and uniformity of the electric field in the drift volume