1,721,235 research outputs found
Nuove sostanze psicoattive (NSP) - strategie analitiche per la loro determinazione
No full textOne of the challenges for the forensic toxicologists is the rapid identification of new substances that appear on the illicit market. In
fact until august 2013 about 280 new substances were identified. Their use among the general population is another clue point, more
difficult due to the fact that these substances are excreted mainly as metabolites. Here is described the approach of the laboratory of
forensic toxicology of the UCSC for the determination of new psychoactive substances (NPS) in clandestine seizures. It is also reported
a multidisciplinary approach for the study of metabolism of these substances, based on the theoretical prediction of main metabolites,
followed by in vitro studies and by the development of analytical methods for the screening of NPS in biological fluids
On the relations between Markov chain lumpability and reversibility
Full text linkIn the literature, the notions of lumpability and time reversibility for large Markov chains have been widely used to efficiently study the functional and non-functional properties of computer systems. In this paper we explore the relations among different definitions of lumpability (strong, exact and strict) and the notion of time-reversed Markov chain. Specifically, we prove that an exact lumping induces a strong lumping on the reversed Markov chain and a strict lumping holds both for the forward and the reversed processes. Based on these results we introduce the class of λρ-reversible Markov chains which combines the notions of lumping and time reversibility modulo state renaming. We show that the class of autoreversible processes, previously introduced in Marin and Rossi (Proceedings of the IEEE 21st international symposium on modeling, analysis and simulation of computer and telecommunication systems MASCOTS, pp. 151–160, 2013), is strictly contained in the class of λρ-reversible chains
Model Checking Adaptive Multilevel Service Compositions
No full textIn this paper we present a logic-based technique for verifying both security and correctness properties of multilevel service compositions. We define modal μ-calculus formulae interpreted over service configurations. Our formulae characterize those compositions which satisfy a non-interference property and are compliant, i.e., are both deadlock and livelock free. Moreover, we use filters as prescriptions of behavior (coercions to prevent service misbehavior) and we devise a model checking algorithm for adaptive service compositions which automatically synthesizes an adapting filter
Environmental impact of historical explosive eruptions of Etna (Sicily, Italy) deciphered by palynological evidences.
No full textImpact of Holocene explosive activity of Etna Volcano (Italy) estimated by pollen analysis of marine sediments.
No full textMethods used to detect drug abuse in pregnancy: a brief review
No full textA brief review of different methods adopted to assess foetal drug exposure is reported here. Various operative procedures have
been described in the literature to detect drug abuse in pregnancy. All protocols can be clustered into two main groups: self-report
and interview procedures and analytical methods. The latter can be performed on tissues and:or fluids withdrawn from the
mother, from the new-born or both. The aim of this review is to analyse the capability of these different techniques and the
suitability of the biological specimens in view of the lack of consensus on a method of choice. The results obtained and the
conclusions are different between various authors. A brief discussion on the capability of the different techniques and biological
specimens adopted for this purpose is presented
MATRICI NON CONVENZIONALI IN TOSSICOLOGIA FORENSE.
No full textL’uso di matrici biologiche cosiddette ‘alternative’ (rispetto a quelle considerate ‘convenzionali’ come il sangue e l’urina) deriva dalla necessità di individuare strumenti più versatili ed in grado di fornire dati tossicologici precisi ed attendibili, anche riguardo ai tempi di assunzione di sostanze psicoattive.
L’avanzamento delle tecniche analitiche rende oggi possibile l’utilizzo di matrici biologiche più complesse e/o di cui sono disponibili quantità inferiori, più facili da prelevare e più difficilmente adulterabili. Viene effettuata una panoramica delle possibilità, delle caratteristiche di diversi campioni biologici, delle applicazioni e delle metodiche analitich
- …
