A transformational language for mutant description

Mutation testing has been used to assess the quality of test case suites by analyzing the ability in distinguishing the artifact under testing from a set of alternative artifacts, the so-called mutants. The mutants are generated from the artifact under testing by applying a set of mutant operators, which produce artifacts with simple syntactical differences. The mutant operators are usually based on typical errors that occur during the software development and can be related to a fault model. In this paper, we propose a language-named MuDeL (MUtant DEfinition Language)-for the definition of mutant operators, aiming not only at automating the mutant generation, but also at providing precision and formality to the operator definition. The proposed language is based on concepts from transformational and logical programming paradigms, as well as from context-free grammar theory. Denotational semantics formal framework is employed to define the semantics of the MuDeL language. We also describe a system-named mudelgen-developed to support the use of this language. An executable representation of the denotational semantics of the language is used to check the correctness of the implementation of mudelgen. At the very end, a mutant generator module is produced, which can be incorporated into a specific mutant tool/environment. (C) 2008 Elsevier Ltd. All rights reserved.

Magnetic hysteresis loop shift in NiFe(2)O(4) nanocrystalline powder with large grain boundary fraction

Magnetic properties of nanocrystalline NiFe(2)O(4) spinel mechanically processed for 350 h have been studied using temperature dependent from both zero-field and in-field (57)Fe Mossbauer spectrometry and magnetization measurements. The hyperfine structure allows us to distinguish two main magnetic contributions: one attributed to the crystalline grain core, which has magnetic properties similar to the NiFe(2)O(4) spinel-like structure (n-NiFe(2)O(4)) and the other one due to the disordered grain boundary region, which presents topological and chemical disorder features(d-NiFe(2)O(4)). Mossbauer spectrometry determines a large fraction for the d-NiFe(2)O(4) region(62% of total area) and also suggests a speromagnet-like structure for it. Under applied magnetic field, the n-NiFe(2)O(4) spins are canted with angle dependent on the applied field magnitude. Mossbauer data also show that even under 120 kOe no magnetic saturation is observed for the two magnetic phases. In addition, the hysteresis loops, recorded for scan field of 50 kOe, are shifted in both field and magnetization axes, for temperatures below about 50 K. The hysteresis loop shifts may be due to two main contributions: the exchange bias field at the d-NiFe(2)O(4)/n-NiFe(2)O(4) interfaces and the minor loop effect caused by a high magnetic anisotropy of the d-NiFe(2)O(4) phase. It has also been shown that the spin configuration of the spin-glass like phase is modified by the consecutive field cycles, consequently the n-NiFe(2)O(4)/d-NiFe(2)O(4) magnetic interaction is also affected in this process. (C) 2010 Elsevier B.V. All rights reserved.

Crystal growth and magnetic properties of tin selenide-doped europium Sn(1-x)Eu(x)Se

The growth and magnetic properties of Tin Selenide (SnSe) doped with Eu(2+) Sn(1-x)Eu(x)Se (x=2.5%) were investigated. Q-band (34 GHz) electron paramagnetic resonance measurements show that the site symmetry of Eu(2+) at 4.2 K is orthorhombic and the Lande factor was determined to be g=1.99 +/- 0.01. The exchange coupling between nearest-neighbor (NN) Eu(2+) ions was estimated from magnetization and magnetic-susceptibility measurements using a model that takes into account the magnetic contributions of single ions, pairs and triplets. The exchange interaction between Eu(2+) nearest neighbors was found to be antiferromagnetic with an estimated average value of J(p)/k(B) =-0.18 +/- 0.03 K. (C) 2009 Elsevier B.V. All rights reserved.

First-order-reversal-curve analysis of Pr-Fe-B-based nanocomposites

Ribbons of nominal composition (Pr(9.5)Fe(84.5)B(6))(0.96)Cr(0.01)(TiC)(0.03) were produced by arc-melting and melt-spinning the alloys on a Cu wheel. X-ray diffraction reveals two main phases, one based upon alpha-Fe and the other upon Pr(2)Fe(14)B. The ribbons show exchange spring behavior with H(c)=12.5 kOe and (BH)(max)= 13.6 MGOe when these two phases are well coupled. Transmission electron microscopy revealed that the coupled behavior is observed when the microstructure consists predominantly of alpha-Fe grains(diameter similar to 100 nm.) surrounded by hard material containing Pr(2)Fe(14)B. A first-order-reversal-curve (FORC) analysis was performed for both a well-coupled sample and a partially-coupled sample. The FORC diagrams show two strong peaks for both the partially-coupled sample and for the well coupled material. In both cases, the localization of the FORC probability suggests demagnetizing interactions between particles. Switching field distributions were calculated and are consistent with the sample microstructure. (C) 2009 Elsevier B.V. All rights reserved.

Application of computed tomography images in the evaluation of magnetic nanoparticles biodistribution

In this work we evaluate the effectiveness of computed tomography images as a tool to determine magnetic nanoparticle biodistribution over biological tissues. For this purpose, tomography images for magnetic nanoparticles, composed of Fe(3)O(4), coated with 2,3-dimercaptosuccinic acid (DMSA), were generated at several material concentrations. The comparison of CT numbers, calculated from these images generated at clinical conditions, with typical CT numbers for biological tissues, shows that the detection of nanoparticle in most tissues is only possible for high material concentrations. (C) 2010 Elsevier B.V. All rights reserved.

Bond Strength and Etching Pattern of Adhesive Systems to Enamel: Effects of Conditioning Time and Enamel Preparation

Statement of the problem: The performance of self-etch systems on enamel is controversial and seems to be dependent on the application technique and the enamel preparation. Purpose of the Study: To examine the effects of conditioning time and enamel surface preparation on bond strength and etching pattern of adhesive systems to enamel. Materials and Methods: Ninety-six teeth were divided into 16 conditions (N = 6) in function of enamel preparation and conditioning time for bond strength test. The adhesive systems OptiBond FL (Kerr, Orange, CA, USA), OptiBond SOLO Plus (Kerr), Clearfil SE Bond (Kuraray, Osaka, Japan), and Adper Prompt L-Pop (3M ESPE, St. Paul, MN, USA) were applied on unground or ground enamel following the manufacturers` directions or doubling the conditioning time. Cylinders of Filtek Flow (0.5-mm height) were applied to each bonded enamel surface using a Tygon tube (0.7 mm in diameter; Saint-Gobain Corp., Aurora, OH, USA). After storage (24 h/37 degrees C), the specimens were subjected to shear force (0.5 mm/min). The data were treated by a three-way analysis of variance and Tukey`s test (alpha = 0.05). The failure modes of the debonded interfaces and the etching pattern of adhesives were observed using scanning electron microscopy. Results: Only the main factor ""adhesive"" was statistically significant (p < 0.001). The lowest bond strength value was observed for OptiBond FL. The most defined etching pattern was observed for 35% phosphoric acid and for Adper Prompt L-Pop. Mixed failures were observed for all adhesives, but OptiBond FL showed cohesive failures in resin predominantly. Conclusions: The increase in the conditioning time as well as the enamel pretreatment did not provide an increase in the resin-enamel bond strength values for the studied adhesives. CLINICAL SIGNIFICANCE The surface enamel preparation and the conditioning time do not affect the performance of self-etch systems to enamel. (J Esthet Restor Dent 20:322-336, 2008)

QUASISTATIONARY DISTRIBUTIONS AND FLEMING-VIOT PROCESSES IN FINITE SPACES

Consider a continuous-time Markov process with transition rates matrix Q in the state space Lambda boolean OR {0}. In In the associated Fleming-Viot process N particles evolve independently in A with transition rates matrix Q until one of them attempts to jump to state 0. At this moment the particle jumps to one of the positions of the other particles, chosen uniformly at random. When Lambda is finite, we show that the empirical distribution of the particles at a fixed time converges as N -> infinity to the distribution of a single particle at the same time conditioned on not touching {0}. Furthermore, the empirical profile of the unique invariant measure for the Fleming-Viot process with N particles converges as N -> infinity to the unique quasistationary distribution of the one-particle motion. A key element of the approach is to show that the two-particle correlations are of order 1/N.

Group identities on symmetric units

Let F be an infinite field of characteristic different from 2, G a group and * an involution of G extended by linearity to an involution of the group algebra FG. Here we completely characterize the torsion groups G for which the *-symmetric units of FG satisfy a group identity. When * is the classical involution induced from g -> g(-1), g is an element of G, this result was obtained in [ A. Giambruno, S. K. Sehgal, A. Valenti, Symmetric units and group identities, Manuscripta Math. 96 (1998) 443-461]. (C) 2009 Elsevier Inc. All rights reserved.

Derived tame local and two-point algebras

We determine derived representation type of complete finitely generated local and two-point algebras over an algebraically closed field. (C) 2009 Elsevier Inc. All rights reserved.

Nonhomogeneous subalgebras of Lie and special Jordan superalgebras

We consider polynomial identities satisfied by nonhomogeneous subalgebras of Lie and special Jordan superalgebras: we ignore the grading and regard the superalgebra as an ordinary algebra. The Lie case has been studied by Volichenko and Baranov: they found identities in degrees 3, 4 and 5 which imply all the identities in degrees <= 6. We simplify their identities in degree 5, and show that there are no new identities in degree 7. The Jordan case has not previously been studied: we find identities in degrees 3, 4, 5 and 6 which imply all the identities in degrees <= 6, and demonstrate the existence of further new identities in degree 7. our proofs depend on computer algebra: we use the representation theory of the symmetric group, the Hermite normal form of an integer matrix, the LLL algorithm for lattice basis reduction, and the Chinese remainder theorem. (C) 2009 Elsevier Inc. All rights reserved.

Contravariantly finite subcategories closed under predecessors

Let A be an Artin algebra and mod A be the category of finitely generated right A-modules. We prove that an additive full subcategory C of mod A closed under predecessors is contravariantly finite if and only if its right Ext-orthogonal is covariantly finite, or if and only if the Ext-injectives in C define a cotilting module (over the support algebra of C) or, equivalently, if and only if C is the support of the representable functors given by the Ext-injectives. (C) 2009 Elsevier Inc. All rights reserved.

CARBON CREDITS AND ENERGY EFFICIENCY

International carbon credit markets are based in differences between developing and developed countries greenhouse gases emissions mitigation costs and technological limits faced by developed countries. Potential of energy efficiency measures to reduce fossil fuel usage in Brazilian industrial segments is assessed, and analysis of such potentials singles out those segments and regions more apt to generate carbon credits through Clean Development Mechanism (CDM) projects. Though there are currently few Brazilian CDM projects, their number may be significantly increased, which is a positive outcome. For this purpose, it is crucial that energy conservation programs estimate how CDM may improve their economic competitiveness.