Il “criminale razionale”, ovvero la teoria microeconomica del crimine. Un saggio introduttivo

Il saggio si propone di presentare la teoria del "criminale razionale" basata su quattro metodi microeconomici di base: le scelte in termini di utilità attesa a fronte dell'incertezza dell'essere o meno sorpresi a delinquere, l'approccio alla base della teoria dell'offerta individuale di lavoro in termini di scelte dell'uso del proprio tempo tra tempo libero, lavoro e tempo dedito al crimine, l'applicazione dell'analisi dei costi e benefici al numero ottimale di reati da commettere, ed infine un'applicazione di teoria dei giochi. Questi sono tutti i metodi principali di teoria microeconomica che hanno contribuito ad uno sviluppo importante della teoria economica del crimine a livello internazionale

A Rigorous Methodology for Composing Services

Creating new services through composition of existing ones is an attractive option. However, composition can be complex and service compatibility needs to be checked. A rigorous and industrially-usable methodology is therefore desirable required for creating, verifying, implementing and validating composed services. An explanation is given of the approach taken by CRESS (Communication Representation Employing Systematic Specification). Formal verification and validation are performed through automated translation to LOTOS (Language Of Temporal Ordering Specification). Implementation and validation are performed through automated translation to BPEL (Business Process Execution Logic) and WSDL (Web Services Description Language). The approach is illustrated with an application to grid service composition in e-Social Science

Droplet digital PCR assay as an innovative and promising highly sensitive assay to unveil residual and cryptic HBV replication in peripheral compartment

: Droplet digital PCR is an innovative and promising approach for highly sensitive quantification of nucleic acids that is being increasingly used in the field of clinical virology, including the setting of hepatitis B virus (HBV). Here, we comprehensively report a robust and reproducible ddPCR assay for the highly sensitive quantification of serum HBV-DNA. The assay showed a limit of detection of 4 copies/ml (<1IU/ml) by Probit analysis, showed a good linearity (R2 = 0.94) and a high intra- and inter-run reproducibility with differences between the values obtained in the same run or in two independent runs never exceeding 0.14logcopies/mL and 0.21logcopies/mL, respectively. By analysing serum samples from chronically HBV infected patients (mostly under antiviral treatment), ddPCR successfully quantified serum HBV-DNA in 89.8% of patients with detectable serum HBV-DNA < 20 IU/mL [equivalent to <112copies/ml] by classical Real-Time PCR assay, with a median (IQR) of 8(5-14)IU/mL [45(28-78)copies/ml], and in 66.7% of patients with undetectable serum HBV-DNA, with a median (IQR) of 5(4-9)IU/mL [28(20-50)copies/ml]. Similarly, by analysing serum samples from patients with a serological profile compatible with occult HBV infection (anti-HBc+/HBsAg-), ddPCR successfully quantified serum HBV-DNA in 40% of patients with a median (IQR) value of 1(1-2)IU/mL [5(5-11)copies/ml], in line with the extremely limited viral replication typically observed in occult HBV infection. Overall, the availability of assays for the highly sensitive quantification of serum HBV-DNA can provide an added value in optimizing the diagnosis of occult hepatitis B infection, improving the therapeutic management of chronically HBV infected patients, also in the light of innovative drugs (upcoming in clinical practise) aimed at achieving HBV functional cure

Rigorous Development of Composite Grid Services

CRESS (Communication Representation Employing Systematic Specification) is introduced as notation, a methodology and a toolset for service development. The article focuses on rigorous development of composite grid services, with particular emphasis on the principles behind the methodology. A straightforward graphical notation is used to describe grid services. These are then automatically specified, analysed and implemented. Analysis includes formal verification of desirable service properties, formal validation of test scenarios, testing of implementation functionality, and evaluation of implementation performance. The case study that illustrates the approach is document content analysis to compare two pieces of text. This involves two composite services supported by two partner services. The usability of the service design notation is assessed, and a comparison is made of the approach with similar ones. These show that the CRESS approach to developing services is usable and more complete than other comparable approaches