Search results for "F.2.2"
showing 10 items of 12 documents
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…
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…
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,…
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…
Improving table compression with combinatorial optimization
2002
We study the problem of compressing massive tables within the partition-training paradigm introduced by Buchsbaum et al. [SODA'00], in which a table is partitioned by an off-line training procedure into disjoint intervals of columns, each of which is compressed separately by a standard, on-line compressor like gzip. We provide a new theory that unifies previous experimental observations on partitioning and heuristic observations on column permutation, all of which are used to improve compression rates. Based on the theory, we devise the first on-line training algorithms for table compression, which can be applied to individual files, not just continuously operating sources; and also a new, …
Abelian Repetitions in Sturmian Words
2012
We investigate abelian repetitions in Sturmian words. We exploit a bijection between factors of Sturmian words and subintervals of the unitary segment that allows us to study the periods of abelian repetitions by using classical results of elementary Number Theory. We prove that in any Sturmian word the superior limit of the ratio between the maximal exponent of an abelian repetition of period $m$ and $m$ is a number $\geq\sqrt{5}$, and the equality holds for the Fibonacci infinite word. We further prove that the longest prefix of the Fibonacci infinite word that is an abelian repetition of period $F_j$, $j>1$, has length $F_j(F_{j+1}+F_{j-1} +1)-2$ if $j$ is even or $F_j(F_{j+1}+F_{j-1}…
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…
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…
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.