E-contracting with price configuration for Web services and QoS

The large amount of information in electronic contracts hampers their establishment due to high complexity. An approach inspired in Software Product Line (PL) and based on feature modelling was proposed to make this process more systematic through information reuse and structuring. By assessing the feature-based approach in relation to a proposed set of requirements, it was showed that the approach does not allow the price of services and of Quality of Services (QoS) attributes to be considered in the negotiation and included in the electronic contract. Thus, this paper also presents an extension of such approach in which prices and price types associated to Web services and QoS levels are applied. An extended toolkit prototype is also presented as well as an experiment example of the proposed approach.

New methodology to assess activity status of occlusal caries in primary teeth using laser fluorescence device

An in vivo study was conducted to verify the ability of laser fluorescence (LF) to assess the activity status of occlusal caries in primary teeth, using different air-drying times. Occlusal sites (707) were examined using LF (DIAGNOdent) after air-drying for 3 s and 15 s, and the difference between readings (DIF15 s-3 s) was calculated. For concurrent validation of LF, visual criteria-Nyvad (NY) and Lesion Activity Assessment associated with the International Caries Detection and Assessment System (LAA-ICDAS)-were the reference standards for lesion activity. Histological exam using a pH-indicator dye (0.1% methyl red) was performed in 46 exfoliated/extracted teeth for criterion validation. LF readings and DIF15 s-3 s were compared using Kruskall-Wallis and Mann-Whitney tests. Receiver operating characteristic analyses were performed and validity parameters calculated, considering the caries activity assessment. Using NY, active lesions (3 s: 30.0 +/- 29.3; 15 s: 34.2 +/- 30.6) presented higher LF readings than inactive lesions (3 s: 17.0 +/- 16.3; 15 s: 19.2 +/- 17.3; p <0.05), different from LAA-ICDAS. Active cavitated caries resulted in higher LF readings (3 s: 50.3 +/- 3.5; 15 s: 54.7 +/- 30.2) than inactive cavitated caries (3 s: 19.9 +/- 16.3; 15 s: 22.8 +/- 16.8). Therefore, LF can distinguish cavitated active and inactive lesions classified by NY, but not by LAA-ICDAS; however, this difference might be related to the visual system rather than to LF. The air-drying time could be an alternative to improve the caries activity assessment; however, longer air-drying time is suggested to be tested subsequently. (C) 2010 Society of Photo-Optical Instrumentation Engineers. [DOI: 10.1117/1.3463007]

Implementation of a Control Loop Experiment in a Network-Based Control System With LonWorks Technology and IP Networks

Considering the increasing popularity of network-based control systems and the huge adoption of IP networks (such as the Internet), this paper studies the influence of network quality of service (QoS) parameters over quality of control parameters. An example of a control loop is implemented using two LonWorks networks (CEA-709.1) interconnected by an emulated IP network, in which important QoS parameters such as delay and delay jitter can be completely controlled. Mathematical definitions are provided according to the literature, and the results of the network-based control loop experiment are presented and discussed.

A criterion for unitary similarity of upper triangular matrices in general position

Each square complex matrix is unitarily similar to an upper triangular matrix with diagonal entries in any prescribed order. Let A = [a(ij)] and B = [b(ij)] be upper triangular n x n matrices that are not similar to direct sums of square matrices of smaller sizes, or are in general position and have the same main diagonal. We prove that A and B are unitarily similar if and only if parallel to h(A(k))parallel to = parallel to h(B(k))parallel to for all h is an element of C vertical bar x vertical bar and k = 1, ..., n, where A(k) := [a(ij)](i.j=1)(k) and B(k) := [b(ij)](i.j=1)(k) are the leading principal k x k submatrices of A and B, and parallel to . parallel to is the Frobenius norm. (C) 2011 Elsevier Inc. All rights reserved.

An application of lattice basis reduction to polynomial identities for algebraic structures

The authors` recent classification of trilinear operations includes, among other cases, a fourth family of operations with parameter q epsilon Q boolean OR {infinity}, and weakly commutative and weakly anticommutative operations. These operations satisfy polynomial identities in degree 3 and further identities in degree 5. For each operation, using the row canonical form of the expansion matrix E to find the identities in degree 5 gives extremely complicated results. We use lattice basis reduction to simplify these identities: we compute the Hermite normal form H of E(t), obtain a basis of the nullspace lattice from the last rows of a matrix U for which UE(t) = H, and then use the LLL algorithm to reduce the basis. (C) 2008 Elsevier Inc. All rights reserved.

A canonical form for nonderogatory matrices under unitary similarity

A square matrix is nonderogatory if its Jordan blocks have distinct eigenvalues. We give canonical forms for (1) nonderogatory complex matrices up to unitary similarity, and (2) pairs of complex matrices up to similarity, in which one matrix has distinct eigenvalues. The types of these canonical forms are given by undirected and, respectively, directed graphs with no undirected cycles. (C) 2011 Elsevier Inc. All rights reserved.