Induced automorphisms on irreducible symplectic manifolds

We introduce the notion of induced automorphisms in order to state a criterion to determine whether a given automorphism on a manifold of K3[n]-type is, in fact, induced by an automorphism of a K3 surface, and the manifold is a moduli space of stable objects on the K3. This criterion is applied to the classification of non-symplectic prime order automorphisms on manifolds of K3[2]-type, and we prove that almost all cases are covered. Variations of this notion and the above criterion are introduced and discussed for the other known deformation types of irreducible symplectic manifolds. Furthermore, we provide a description of the picard lattice of several irreducible symplectic manifolds having a lagrangian fibration

L’instrumentum fittile inscriptum Latinum: proposta per una schedatura informatizzata a partire dalla documentazione modenese

Over the past few decades an intense discussion has taken place among scholars about the important role that instrumentum inscriptum plays in the reconstruction of various aspects of Roman social and economic history. One of the key issues is the definition of the criteria for publication and digital cataloguing of this class of materials, which includes various types of objects (amphorae, lamps, fine ware pottery, building materials, etc.) and inscriptions (stamps, tituli picti, graffiti ante or post cocturam). This paper presents a proposal for cataloguing fictile instrumentum inscriptum through a relational database which takes into account both the archaeological and epigraphical aspects of this kind of documents, while also paying particular attention to possible prosopographical comparisons with lapidary epigraphy. The collection of these data allows the user to pursue socio-economic research on the basis of different criteria, which can be variously combined: geographical, typological, prosopographical and chronological. Three case studies proved the effectiveness of this tool both for analytical and statistical studies

Triple-ionised carbon associated with the low-density neutral hydrogen gas at 1.7 < z < 3.3: the integrated N(HI)-N(CIV) relation

From the Voigt profile fitting analysis of 183 intervening CIV systems at 1.7 < z < 3.3 in 23 high-quality UVES/VLT and HIRES/Keck QSO spectra, we find that a majority of CIV systems (~75%) display a well-characterised scaling relation between integrated column densities of HI and CIV with a negligible redshift evolution, when column densities of all the HI and CIV components are integrated within a given (-150, +150) km/sec range centred at the CIV flux minimum. The integrated CIV column density N(CIV, sys) increases with N(HI, sys) at log N(HI, sys) = 14.0--15.5 and log N(CIV, sys) = 11.8--14.0, then becomes almost independent of N(HI, sys) at log N(HI, sys) > 16, with a large scatter: at log N(HI, sys) = 14--22, log N(CIV, sys) = C1 / (log(NHI, sys) + C2) + C3, with C1 = -1.90+0.55, C2 = -14.11+0.19 and C3 = 14.76+0.17, respectively. The steep (flat) part is dominated by SiIV-free (SiIV-enriched) CIV systems. Extrapolating the N(HI, sys)-N(CIV, sys) relation implies that most absorbers with log N(HI) < 14 are virtually CIV-free. The N(HI, sys)-N(CIV, sys) relation does not hold for individual components, clumps or the integration velocity range less than +-100 km/sec. It is expected if the line-of-sight extent of CIV is smaller than HI and N(CIV, sys) decreases more rapidly than N(HI, sys) at the larger impact parameter, regardless of the location of the HI+CIV gas in the IGM filaments or in the intervening galactic halos.Comment: Accepted for publication on MNRAS, 26 pages, 20 figures, 4 tables. On-line materials are found in the submitted civ.tar.gz file: complete Table 2, complete Table 3, complete Table 4, velocity plots civ1.pdf, civ2.pdf, civ3.pdf, civ4.pdf and civ5.pd

What are the nursing competencies related to antimicrobial stewardship and how they have been assessed? Results from an integrative rapid review

Background: Antimicrobial resistance issues, and the consequent demand for antimicrobial stewardship (AMS) programs, need to be investigated urgently and clearly. Considering the large amount of time nurses spend at patients’ bedside, the aim of the present study was to examine recent literature on nursing competency in AMS. Methods: Drawing from Tricco and colleagues’ seven-stage process, a rapid review was performed. MEDLINE, CINAHL and EMBASE databased were searched from December 1st, 2019 until December 31st, 2021. Article screening and study selection were conducted independently by three reviewers. Data were analyzed narratively and categorized adopting an inductive thematic coding. Results: Sixteen studies met the inclusion criteria and were included. Publications were mainly authored in USA (n = 4), Australia and New Zealand (n = 4) and Asia (n = 4), followed by Europe (n = 2) and Africa (n = 2). Ten studies were quantitative in design, followed by qualitative (n = 4) and mixed-methods studies (n = 2). Nursing competency in AMS seems to be influenced by a two-dimensional model: on the one hand, internal factors which consisted in knowledge, attitudes and practices and, on the other hand, external aspects which are at environmental level in terms of structures and processes. Conclusion: This study provided a map of dimensions for researchers and practitioners to consider when planning clinical governance, educational activities, and research programs. Significant opportunities exist for nurses to contribute to practice, education, research, and policy efforts aimed at reducing antimicrobial resistance

Severi varieties and Brill-Noether theory of curves on abelian surfaces

Severi varieties and Brill-Noether theory of curves on K3 surfaces are well understood. Yet, quite little is known for curves on abelian surfaces. Given a general abelian surface $S$ with polarization $L$ of type $(1,n)$, we prove nonemptiness and regularity of the Severi variety parametrizing $\delta$-nodal curves in the linear system $|L|$ for $0\leq \delta\leq n-1=p-2$ (here $p$ is the arithmetic genus of any curve in $|L|$). We also show that a general genus $g$ curve having as nodal model a hyperplane section of some $(1,n)$-polarized abelian surface admits only finitely many such models up to translation; moreover, any such model lies on finitely many $(1,n)$-polarized abelian surfaces. Under certain assumptions, a conjecture of Dedieu and Sernesi is proved concerning the possibility of deforming a genus $g$ curve in $S$ equigenerically to a nodal curve. The rest of the paper deals with the Brill-Noether theory of curves in $|L|$. It turns out that a general curve in $|L|$ is Brill-Noether general. However, as soon as the Brill-Noether number is negative and some other inequalities are satisfied, the locus $|L|^r_d$ of smooth curves in $|L|$ possessing a $g^r_d$ is nonempty and has a component of the expected dimension. As an application, we obtain the existence of a component of the Brill-Noether locus $\mathcal{M}^r_{p,d}$ having the expected codimension in the moduli space of curves $\mathcal{M}_p$. For $r=1$, the results are generalized to nodal curves

Curve classes on irreducible holomorphic symplectic varieties

We prove that the integral Hodge conjecture holds for 1-cycles on irreducible holomorphic symplectic varieties of K3 type and of Generalized Kummer type. As an application, we give a new proof of the integral Hodge conjecture for cubic fourfolds.Comment: 15 page

Organizational citizenship behaviour as a protective factor against the occurrence of adverse nursing-sensitive outcomes: a multilevel investigation

Aims This study aimed to investigate the association between organizational citizenship behaviour enacted by nurses and the occurrence of adverse nursing-sensitive patient outcomes. Background Managing psychosocial factors (i.e., aspects concerning the work environment) is key to ensure patient safety, to prevent exacerbation of case complexity and to cope with critical shortages in human and financial resources. Methods Self-report measures of nurses' organizational citizenship behaviour were combined with objective data on the incidence of adverse nursing-sensitive outcomes (i.e., pressure ulcers and restraint use) collected through patients' medical records. Participants were 11,345 patients and 1346 nurses across 52 teams working in 14 Italian hospitals. Data were analysed using multilevel binary logistic regression models. Results A negative relationship between nurses' organizational citizenship behaviour and restraint use was identified, with an odds ratio of 0.11. Thus, for a one-unit higher organizational citizenship behaviour score, the odds of using restraints shrink to about one eighth of the previous level. Conclusions Intervention strategies to foster the implementation of organizational citizenship behaviour among nurses may inhibit the occurrence of critical outcomes affecting patients' health and well-being (i.e., using restraint devices). Implications for Nursing Management In health care organizations, shaping a psychosocial environment encouraging organizational citizenship behaviour can mitigate the occurrence of adverse nursing-sensitive outcomes such as restraint use on patients

Software Model Checking with Explicit Scheduler and Symbolic Threads

In many practical application domains, the software is organized into a set of threads, whose activation is exclusive and controlled by a cooperative scheduling policy: threads execute, without any interruption, until they either terminate or yield the control explicitly to the scheduler. The formal verification of such software poses significant challenges. On the one side, each thread may have infinite state space, and might call for abstraction. On the other side, the scheduling policy is often important for correctness, and an approach based on abstracting the scheduler may result in loss of precision and false positives. Unfortunately, the translation of the problem into a purely sequential software model checking problem turns out to be highly inefficient for the available technologies. We propose a software model checking technique that exploits the intrinsic structure of these programs. Each thread is translated into a separate sequential program and explored symbolically with lazy abstraction, while the overall verification is orchestrated by the direct execution of the scheduler. The approach is optimized by filtering the exploration of the scheduler with the integration of partial-order reduction. The technique, called ESST (Explicit Scheduler, Symbolic Threads) has been implemented and experimentally evaluated on a significant set of benchmarks. The results demonstrate that ESST technique is way more effective than software model checking applied to the sequentialized programs, and that partial-order reduction can lead to further performance improvements.Comment: 40 pages, 10 figures, accepted for publication in journal of logical methods in computer scienc

Tools for the intensity of care and the complexity of care needs: A literature review

In Italy, since the 2000s, several classification tools have been designed and/or tested, in order to identify the severity of the clinical conditions in hospitalized patients and to figure out the whole variety of care needs, in context of hospital re-organization known as "intensity of care". The purpose of this review is to draw up an overview of the available literature on classification tools used for patients' allocation in clinical setting organised by intensity of care, and analyze them through synoptic tables. The present review highlight a substantial heterogeneity of the tools currently used; in addition, a small number of them is able to identify jointly the intensity of clinical care and the complexity of care needs