We have applied an automatic interpretation method of potential data called AN-EUL in unexploded ordnance (UXO) prospective which is indeed a combination of the analytic signal and the Euler deconvolution approaches. The method can be applied for both magnetic and gravity data as well for gradient surveys based upon the concept of the structural index (SI) of a potential anomaly which is relate...

The Forward Search is a powerful general method for detecting anomalies in structured data, whose diagnostic power has been shown in many statistical contexts. However, despite the wealth of empirical evidence in favour of the method, only few theoretical properties have been established regarding the resulting estimators. We show that the Forward Search estimators are strongly consistent at th...

To establish if the uniform number generator implemented in the TreeAge software delivers the expected outcome we investigated the probabilistic and statistical properties of pseudo uniform random numbers generated with TreeAge in several ways. We computed the first four empirical central and noncentral moments of a uniform sequence generated with TreeAge and compared them to their theoretical ...

Interpretation to Check Secure Information Flow in Programs with Input-Output Security Annotations N. De Francesco L. Martini Dipartimento di Ingegneria dell’Informazione, Università di Pisa, Formal Aspects of Security and Trust, Newcastle upon Tyne, 18-19 July 2005 N. De Francesco, L. Martini AI to Check SIF in programs with I/O Security Annotations Preliminaries The Two Semantics Examples Sum...

Data envelopment analysis (DEA), which is used to determine the efficiency of a decision-making unit (DMU), is able to recognize the amount of input congestion. Moreover, the relative importance of inputs and outputs can be incorporated into DEA models by weight restrictions. These restrictions or a priori weights are introduced by the decision maker and lead to changes in models and efficiency...