We develop an approach to machine learning and anomaly detection via quantum adiabatic evolution. In the training phase we identify an optimal set of weak classifiers, to form a single strong classifier. In the testing phase we adiabatically evolve one or more strong classifiers on a superposition of inputs in order to find certain anomalous elements in the classification space. Both the traini...

In this paper we propose a framework for validating software measurement. We start by defining a measurement structure model that identifies the elementary component of measures and the measurement process, and then consider five other models involved in measurement: unit definition models, instrumentation models, attribute relationship models, measurement protocols and entity population models...

The characteristics of rainfall-runoff relations were hypothesized for the study area using existing infonnation. These hypotheses were incorporated into the Hydrologic Simulation Program-FURmAN, and the rrodel was calibrated concurrently at 21 strearn-gage sites in the study area. The simulation e=ors after rrodel calibration were not large enough to reject the hypothesized characteristics. A ...

Accomplishing software verification and validation (V&V) activities is not a simple task. It involves a great number of techniques to choose and there is no sufficient organized information to support the selection regarding the V&V technique to be used. This paper describes an ongoing research work concerned with the definition of an approach to plan verification and validation processes. Its ...

This paper introduces an approach to estimating the test volume and related effort required to perform verification and validation activities on software projects. This approach first uses size measures of functional requirements to estimate this volume, and then effort estimation models based on these test volumes. This estimation approach takes into account other types of non-functional requi...

comply with regulatory oversight and to be confident in the overall quality of the final product. Though there is some ambiguity in the industry as to the exact definition of validation, it is clear that all components of the sealing process that influence package integrity must be monitored, measured, and controlled. Moreover, equipment must perform the heat sealing function in a repeatable, i...

We prove higher differentiability of bounded local minimizers to some widely degenerate functionals, verifying superquadratic anisotropic growth conditions. In the two dimensional case, we prove that local minimizers to a model functional are locally Lipschitz continuous functions, without any restriction on the anisotropy.

Let W be a finite or an affine Coxeter group and Wc the set of all the fully commutative elements in W . For any left cell L of W containing some fully commutative element, our main result of the paper is to prove that there exists a unique element (say wL) in L ∩ Wc such that any z ∈ L has the form z = xwL with `(z) = `(x) + `(wL) for some x ∈ W . This implies that L is left connected, verifyi...

A multidisciplinary , collaborative project of

We propose a program specialization technique for locally stratified CLP(Z) programs, that is, logic programs with linear constraints over the set Z of the integer numbers. For reasons of efficiency our technique makes use of a relaxation from integers to reals. We reformulate the familiar unfold/fold transformation rules for CLP programs so that: (i) the applicability conditions of the rules a...