1,721,476 research outputs found
La Clinica Oculistica di Pisa in occasione dei 140 anni dalla fondazione. Breve tracciato storico-filosofico dell’oftalmologia
No full textCYP 2E1 mutant mice are resistant to DDC-induced enhancement of MPTP toxicity
No full textIn order to reach a deeper insight into the mechanism of diethyldithiocarbamate (DDC)-induced enhancement of MPTP toxicity in mice, we showed that CYP450 (2E1) inhibitors, such as diallyl sulfide (DAS) or phenylethylisothiocyanate (PIC), also potentiate the selective DA neuron degeneration in C57/bl mice. Furthermore we showed that CYP 2E1 is present in the brain and in the basal ganglia of mice (Vaglini et al., 2004). However, because DAS and PIC are not selective CYP 2E1 inhibitors and in order to provide direct evidence for CYP 2E1 involvement in the enhancement of MPTP toxicity, CYP 2E1 knockout mice (GONZ) and wild type animals (SVI) of the same genetic background were treated with MPTP or the combined DDC + MPTP treatment. In CYP 2E1 knockout mice, DDC pretreatment completely fails to enhance MPTP toxicity, although enhancement of MPTP toxicity was regularly present in the SVI control animals. The immunohistochemical study confirms our results and suggests that CYP 2E1 may have a detoxifying role
L'ingresso del coro negli Ichneutai di Sofocle e in due commedie di Aristofane. Un modulo comico-satiresco?
No full textThe paper discusses the staging of the parodos of Sophocles’ Ichneutai and its implications for the theatrical conventions of satyr drama. Wilamowitz, Robert and other scholars argued that the chorus arrived onstage before the parodos: the chorus, in fact,
knows some of the events presented in the prologue and this knowledge would be contrary to tragic dramaturgical practice. However, the staging proposed by Wilamowitz and others has no parallels in any genre of Greek classical drama, either. The paper argues that the chorus arrives onstage during the parodos, as normally expected, and that its knowledge of prologic events has significant parallels not in tragedy, but in Aristophanes’ Knights and Peace. Sophocles’ satyr drama and Aristophanic comedy are also similar in the way they stage crucial elements of Greek social and legal practice, in particular the institutions of boè and kērygma, while tragedy appears to use different conventions even in this respect. This indicates that satyr drama, despite its strong ties with tragedy, shared some important generic features with comedy
A LOCAL APPROACH FOR TEMPORAL MODEL CHECKING OF JAVA BYTECODE
No full textAbstractModern computing applications require highly reliable software systems, but current validation techniques, like testing, fail to assure an adequate level of correctness. We present a model checking procedure to verify a subset of the Java virtual machine language (JVML) with respect to properties expressed by a temporal logic. A tableau-based method is developed to prove the satisfaction of a formula: by this local approach a program computation is checked only if involved in the goal of the property verification. A special symbol ⊥ is introduced to represent “unknown’’ values, and computations are performed in a symbolic way exploiting the set of guards present in the formulae to refine possible unknown values. This kind of abstraction cuts the state explosion of the programs and it is applicable to check arbitrary formulae, but the result of the verification has an imprecision degree depending on the number of unknown values manipulated during each symbolic computation
- …
