379 research outputs found
model checking for data anomaly detection
Abstract Data tipically evolve according to specific processes, with the consequent possibility to identify a profile of evolution: the values it may assume, the frequencies at which it changes, the temporal variation in relation to other data, or other constraints that are directly connected to the reference domain. A violation of these conditions could be the signal of different menaces that threat the system, as well as: attempts of a tampering or a cyber attack, a failure in the system operation, a bug in the applications which manage the life cycle of data. To detect such violations is not straightforward as processes could be unknown or hard to extract. In this paper we propose an approach to detect data anomalies. We represent data user behaviours in terms of labelled transition systems and through the model checking techniques we demonstrate the proposed modeling can be exploited to successfully detect data anomalies
Measurements and optimization of the light yield of a TeO crystal
Bolometers have proven to be good instruments to search for rare processes
because of their excellent energy resolution and their extremely low intrinsic
background. In this kind of detectors, the capability of discriminating alpha
particles from electrons represents an important aspect for the background
reduction. One possibility for obtaining such a discrimination is provided by
the detection of the Cherenkov light which, at the low energies of the natural
radioactivity, is only emitted by electrons. This paper describes the method
developed to evaluate the amount of light produced by a crystal of TeO when
hit by a 511 keV photon. The experimental measurements and the results of a
detailed simulation of the crystal and the readout system are shown and
compared. A light yield of about 52 Cherenkov photons per deposited MeV was
measured. The effect of wrapping the crystal with a PTFE layer, with the aim of
maximizing the light collection, is also presented
Use of psychiatric inpatient services by heavy users: Findings from a national survey in Italy
Indagine epidemiologica nazionale sull'uso dei SPDC da parte dei pazienti più gravi sul versante dell'uso dei Serviz
Model Checking to Improve Precision of Design Pattern Instances Identification in OO Systems
In the last two decades some methods and tools have been proposed to identify the Design Pattern (DP) instances implemented in an existing Object Oriented (OO) software system. This allows to know which OO components are involved in each DP instance. Such a knowledge is useful to better understand the system thus reducing the effort to modify and evolve it. The results obtained by the existing methods and tools can suffer a lack of completeness or precision due to the presence of false positive/negative. Model Checking (MC) algorithms can be used to improve the precision of DP's instances detected by a tool by automatically refining the results it produces. In this paper a MC based technique is defined and applied to the results of an existing DPs mining tool, called Design Pattern Finder (DPF), to improve the precision by verifying automatically the DPs instances it detects. To verify and assess the feasibility and the effectiveness of the proposed technique, we carried out a case study where it was applied on some open source OO systems. The results showed that the proposed technique allowed to improve the precision of the DPs instances detected by the DPF tool
The CUORE cryostat: an infrastructure for rare event searches at millikelvin temperatures
The CUORE experiment is the world's largest bolometric experiment. The
detector consists of an array of 988 TeO2 crystals, for a total mass of 742 kg.
CUORE is presently taking data at the Laboratori Nazionali del Gran Sasso,
Italy, searching for the neutrinoless double beta decay of 130Te. A large
custom cryogen-free cryostat allows reaching and maintaining a base temperature
of about 10 mK, required for the optimal operation of the detector. This
apparatus has been designed in order to achieve a low noise environment, with
minimal contribution to the radioactive background for the experiment. In this
paper, we present an overview of the CUORE cryostat, together with a
description of all its sub-systems, focusing on the solutions identified to
satisfy the stringent requirements. We briefly illustrate the various phases of
the cryostat commissioning and highlight the relevant steps and milestones
achieved each time. Finally, we describe the successful cooldown of CUORE
Search for Neutrinoless Double-Beta Decay of Te with CUORE-0
We report the results of a search for neutrinoless double-beta decay in a
9.8~kgyr exposure of Te using a bolometric detector array,
CUORE-0. The characteristic detector energy resolution and background level in
the region of interest are FWHM and ~counts/(keVkgyr), respectively. The
median 90%~C.L. lower-limit sensitivity of the experiment is and surpasses the sensitivity of previous searches. We find
no evidence for neutrinoless double-beta decay of Te and place a
Bayesian lower bound on the decay half-life, ~ at 90%~C.L. Combining CUORE-0 data with the 19.75~kgyr
exposure of Te from the Cuoricino experiment we obtain at 90%~C.L.~(Bayesian), the most stringent
limit to date on this half-life. Using a range of nuclear matrix element
estimates we interpret this as a limit on the effective Majorana neutrino mass,
-- .Comment: 6 pages, 5 figures, updated version as published in PR
Analysis Techniques for the Evaluation of the Neutrinoless Double-Beta Decay Lifetime in Te with CUORE-0
We describe in detail the methods used to obtain the lower bound on the
lifetime of neutrinoless double-beta () decay in Te and
the associated limit on the effective Majorana mass of the neutrino using the
CUORE-0 detector. CUORE-0 is a bolometric detector array located at the
Laboratori Nazionali del Gran Sasso that was designed to validate the
background reduction techniques developed for CUORE, a next-generation
experiment scheduled to come online in 2016. CUORE-0 is also a competitive
decay search in its own right and functions as a platform to
further develop the analysis tools and procedures to be used in CUORE. These
include data collection, event selection and processing, as well as an
evaluation of signal efficiency. In particular, we describe the amplitude
evaluation, thermal gain stabilization, energy calibration methods, and the
analysis event selection used to create our final decay search
spectrum. We define our high level analysis procedures, with emphasis on the
new insights gained and challenges encountered. We outline in detail our
fitting methods near the hypothesized decay peak and catalog
the main sources of systematic uncertainty. Finally, we derive the
decay half-life limits previously reported for CUORE-0,
yr, and in combination with the Cuoricino
limit, yr.Comment: 18 pages, 18 figures. (Version 3 reflects only minor changes to the
text. Few additional details, no major content changes.
Measurement of the Two-Neutrino Double Beta Decay Half-life of Te with the CUORE-0 Experiment
We report on the measurement of the two-neutrino double beta decay half-life
of Te with the CUORE-0 detector. From an exposure of 33.4 kgy of
TeO, the half-life is determined to be = [8.2 0.2
(stat.) 0.6 (syst.)] 10y. This result is obtained after a
detailed reconstruction of the sources responsible for the CUORE-0 counting
rate, with a specific study of those contributing to the Te
neutrinoless double beta decay region of interest.Comment: Corrected typo in section 9: 3.43E5 Bq/kg should have read 3.43E-5
Bq/k
Antipsychotic prescribing for vulnerable populations: a clinical audit at an acute Australian mental health unit at two-time points
Background: Antipsychotics are recognised as a critical intervention for schizophrenia and bipolar disorder. Guidelines globally endorse the routine practice of antipsychotic monotherapy, at the minimum effective dose. Even in treatmentresistant schizophrenia, clozapine use is endorsed before combining antipsychotics. This aim of this study was to review antipsychotic polytherapy alone, high-dose therapy alone, polytherapy and highdose prescribing patterns in adults discharged from an inpatient mental health unit at two time-points, and the alignment of this prescribing with clinical guideline recommendations. Additionally, associations with polytherapy and high-dose antipsychotic prescribing, including patient and clinical characteristics, were explored.
Methods: A retrospective clinical audit of 400 adults (200 patients at two different time-points) discharged with at least one antipsychotic. Preliminary findings and education sessions were provided to physicians between Cohorts. Outcomes (polytherapy alone, high-dose therapy alone, polytherapy and high-dose therapy) were compared between
study Cohorts using chi-squared and rank-sum tests. Associations between outcomes and covariates were assessed
using multivariable logistic regression.
Results: Most patients (62.5%) were discharged on a single antipsychotic within the recommended dose range. There
was a clear preference for prescribing second generation antipsychotics, and in this respect, prescribing is aligned with current evidence-based guidelines. However, sub-optimal prescribing practices were identified for both Cohorts in relation to polytherapy and high-dose antipsychotic rates. Involuntary treatment, frequent hospitalisations and previous clozapine use significantly increased the risk of all three prescribing outcomes at discharge.
Conclusions: In a significant minority, antipsychotic prescribing did not align with clinical guidelines despite increased training, indicating that the education program alone was ineffective at positively influencing antipsychotic prescribing practices. Further consideration should be given when prescribing antipsychotics for involuntary patients, people with frequent hospitalisations, and those who have previously trialled clozapine
The characteristics and activities of child and adolescent mental health services in Italy: a regional survey
<p>Abstract</p> <p>Background</p> <p>To date, no studies have assessed in detail the characteristics, organisation, and functioning of Child and Adolescent Mental Health Services (CAMHS). This information gap represents a major limitation for researchers and clinicians because most mental disorders have their onset in childhood or adolescence, and effective interventions can therefore represent a major factor in avoiding chronicity. Interventions and mental health care are delivered by and through services, and not by individual, private clinicians, and drawbacks or limitations of services generally translate in inappropriateness and ineffectiveness of treatments and interventions: therefore information about services is essential to improve the quality of care and ultimately the course and outcome of mental disorders in childhood and adolescence.</p> <p>The present paper reports the results of the first study aimed at providing detailed, updated and comprehensive data on CAMHS of a densely populated Italian region (over 4 million inhabitants) with a target population of 633,725 subjects aged 0-17 years.</p> <p>Methods</p> <p>Unit Chiefs of all the CAMHS filled in a structured 'Facility Form', with activity data referring to 2008 (data for inpatient facilities referred to 2009), which were then analysed in detail.</p> <p>Results</p> <p>Eleven CAMHS were operative, including 110 outpatient units, with a ratio of approximately 20 child psychiatrists and 23 psychologists per 100,000 inhabitants aged 0-17 years. All outpatient units were well equipped and organized and all granted free service access. In 2008, approximately 6% of the target population was in contact with outpatient CAMHS, showing substantial homogeneity across the eleven areas thereby. Most patients in contact in 2008 received a language disorder- or learning disability diagnosis (41%). First-ever contacts accounted for 30% of annual visits across all units. Hospital bed availability was 5 per 100,000 inhabitants aged 0-17 years.</p> <p>Conclusion</p> <p>The percentage of young people in contact with CAMHS for mental disorders is in line with those observed in previous epidemiological studies. The overall number of child psychiatrists per 100,000 inhabitants is one of the highest in Europe and it is comparable with the most well equipped areas in the US. This comparison should be interpreted with caution, however, because in Italy, child psychiatrists also treat neurological disorders. Critical areas requiring improvement are: the uneven utilisation of standardised assessment procedures and the limited availability of dedicated emergency services during non-office hours (e.g., nights and holidays).</p
- …