Search results for "F.2.2"
showing 10 items of 12 documents
Twin GEM-TPC prototype (HGB4) beam test at GSI and Jyväskylä : a development for the Super-FRS at FAIR
2017
The FAIR[1] facility is an international accelerator centre for research with ion and antiproton beams. It is being built at Darmstadt, Germany as an extension to the current GSI research institute. One major part of the facility will be the Super-FRS[2] separator, which will be include in phase one of the project construction. The NUSTAR experiments will benefit from the Super-FRS, which will deliver an unprecedented range of radioactive ion beams (RIB). These experiments will use beams of different energies and characteristics in three different branches; the high-energy which utilizes the RIB at relativistic energies 300-1500 MeV/u as created in the production process, the low-energy bra…
La disciplina statale dell'immigrazione tra profili di criticità costituzionale e diritto vivente alla luce di alcune recenti vicende normative
2021
La disciplina statale dell'immigrazione non è riuscita a risolvere le aporie connesse allo squilibrio tra diritti umani ed esercizio del potere pubblico statuale: ciò rende necessaria un'interpretaziine adeguatrice che è operata dalla giurisdizioni coinvolte. Il diritto di matrice giurisprudenziale si sovrappone così al diritto positivo, sostituendosi ad esso con modalità che interrogano sui limiti del diritto vivente anche con riguardo al ruolo della Corte costituzionale. L'ultimo intervento normativo in materia, il D.L. n. 130/2020, non ha eliminato tutte le incertezze ed ambiguità della disciplina preesistente, essendosi limitato il legislatore a recepire, con alcune correzioni minimali,…
Correcting the effect of stellar spots on ARIEL transmission spectra – II. The limb-darkening effect
2021
This paper is part of an effort to correct the transmission spectra of a transiting planet orbiting an active star. In Paper I (Cracchiolo et al. 2020) we have demonstrated a methodology to minimize the potential bias induced by unocculted star spots on the transmission spectrum, assuming a spot model parameterized by filling factor and temperature. In this work we introduce the limb darkening effect, therefore the position of the spot in the stellar disk and the impact parameter of the transiting planet now play a key role. The method is tested on simulations of planetary transits of three representative kinds of planetary systems, at ARIEL resolution. We find that a realistic treatment of…
DHA protects PC12 cells against oxidative stress and apoptotic signals through the activation of the NFE2L2/HO-1 axis
2019
Docosahexaenoic acid (DHA) is an omega‑3 polyunsaturated fatty acid, derived mainly from fish oil. It is well known that DHA is present in high concentrations in nervous tissue and plays an important role in brain development and neuroprotection. However, the molecular mechanisms underlying its role remain to be fully elucidated. In this study, to enhance our understanding of the pathophysiological role of DHA, we investigated the possible neuroprotective mechanisms of action of DHA against hydrogen peroxide (H2O2)‑induced oxidative damage in a rat pheochromocytoma cell line (PC12). Specifically, we evaluated the viability, oxidation potential, and the expression and production of antioxida…
ALGORITHMS FOR JUMBLED PATTERN MATCHING IN STRINGS
2011
The Parikh vector p(s) of a string s is defined as the vector of multiplicities of the characters. Parikh vector q occurs in s if s has a substring t with p(t)=q. We present two novel algorithms for searching for a query q in a text s. One solves the decision problem over a binary text in constant time, using a linear size index of the text. The second algorithm, for a general finite alphabet, finds all occurrences of a given Parikh vector q and has sub-linear expected time complexity; we present two variants, which both use a linear size index of the text.
Radiative neutron capture on 242Pu in the resonance region at the CERN n_TOF-EAR1 facility
2018
The spent fuel of current nuclear reactors contains fissile plutonium isotopes that can be combined with uranium to make mixed oxide (MOX) fuel. In this way the Pu from spent fuel is used in a new reactor cycle, contributing to the long-term sustainability of nuclear energy. However, an extensive use of MOX fuels, in particular in fast reactors, requires more accurate capture and fission cross sections for some Pu isotopes. In the case of 242Pu there are sizable discrepancies among the existing capture cross-section measurements included in the evaluations (all from the 1970s) resulting in an uncertainty as high as 35% in the fast energy region. Moreover, postirradiation experiments evaluat…
The Role of Nrf2 and PPARγ in the Improvement of Oxidative Stress in Hypertension and Cardiovascular Diseases
2020
Reactive oxygen species are an important element of redox regulation in cells and tissues. During physiological processes, molecules undergo chemical changes caused by reduction and oxidation reactions. Free radicals are involved in interactions with other molecules, leading to oxidative stress. Oxidative stress works two ways depending on the levels of oxidizing agents and products. Excessive action of oxidizing agents damages biomolecules, while a moderate physiological level of oxidative stress (oxidative eustress) is necessary to control life processes through redox signaling required for normal cellular operation. High levels of reactive oxygen species (ROS) mediate pathological change…
The fluted fragment with transitive relations
2022
Abstract The fluted fragment is a fragment of first-order logic (without equality) in which, roughly speaking, the order of quantification of variables coincides with the order in which those variables appear as arguments of predicates. It is known that this fragment has the finite model property. We consider extensions of the fluted fragment with various numbers of transitive relations, as well as the equality predicate. In the presence of one transitive relation (together with equality), the finite model property is lost; nevertheless, we show that the satisfiability and finite satisfiability problems for this extension remain decidable. We also show that the corresponding problems in the…
Topological Logics with Connectedness over Euclidean Spaces
2013
We consider the quantifier-free languages, Bc and Bc °, obtained by augmenting the signature of Boolean algebras with a unary predicate representing, respectively, the property of being connected, and the property of having a connected interior. These languages are interpreted over the regular closed sets of R n ( n ≥ 2) and, additionally, over the regular closed semilinear sets of R n . The resulting logics are examples of formalisms that have recently been proposed in the Artificial Intelligence literature under the rubric Qualitative Spatial Reasoning. We prove that the satisfiability problem for Bc is undecidable over the regular closed semilinear sets in all dimensions greater than 1,…
Istruttoria tecnico-scientifica nel giudizio a quo e giudizio di legittimità costituzionale: il caso dell’obbligo vaccinale nella decretazione d’urge…
2022
Muovendo dall’ordinanza n. 38 del 2022 del Consiglio di giustizia amministrativa per la Regione siciliana (CGARS), il contributo si sofferma a) sull’estensione per analogia degli obblighi vaccinali; b) su oscurità ed incoerenze della disciplina sugli obblighi vaccinali in tema di accesso alle strutture socio-sanitarie. Il contributo si incentra poi sull'istruttoria tecnico-scientifica e la motivazione sulla non manifesta infondatezza delle questioni di legittimità costituzionale aventi ad oggetto la disciplina sull'obbligo vaccinale e sugli aspetti problematici dell'ordinanza di rimessione del CGARS.