THE APPLICATION OF TERAHERTZ TECHNOLOGY IN ULTRA HIGH VOLTAGE LARGE TONNAGE INSULATOR DETECTION



On the Decidability of Non Interference over Unbounded Petri Nets

Non-interference, in transitive or intransitive form, is defined here over unbounded (Place/Transition) Petri nets.The definitions are adaptations of similar, well-accepted definitions introduced earlier in the framework of labelled transition systems.The interpretation of intransitive non-interference which we propose for Petri nets is as follows.

read more


Detection of a fluorescent-labeled avidin-nucleic acid nanoassembly by confocal laser endomicroscopy in the microvasculature of chronically inflamed intestinal mucosa

Andrea Buda,1,* Sonia Facchin,1,* Elisa Dassie,2 Elisabetta Casarin,3 Mark A Jepson,4 Helmut Neumann,5 Giorgia Hatem,1 Stefano Realdon,6 Renata D’Incà,1 Giacomo Carlo Sturniolo,1 Margherita Morpurgo3 1Department of Surgical, Oncological, and Gastroenterological Sciences, University of Padova, 2Department of Molecular Medicine, Universi

read more