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.

Fermentation of Groundnut Shell Enzymatic Hydrolysate for Fuel Ethanol Production by Free and Sorghum Stalks Immobilized Cells of Pichia stipitis NCIM 3498

Groundnut shell (GS), after separation of pod, is readily available as a potential feedstock for production of fermentable sugars. The substrate was delignified with sodium sulfite. The delignified substrate released 670 mg/g of sugars after enzymatic hydrolysis (50 degrees C, 120 rpm, 50 hrs) using commercial cellulases (Dyadic Xylanase PLUS, Dyadic Inc. USA). The groundnut shell enzymatic hydrolysate (45.6 g/L reducing sugars) was fermented for ethanol production with free and sorghum stalks immobilized cells of Pichia stipitis NCIM 3498 under submerged cultivation conditions. Immobilization of yeast cells on sorghum stalks were confirmed by scanning electron microscopy (SEM). A maximum of ethanol production (17.83 g/L, yield 0.44 g/g and 20.45 g/L, yield 0.47 g/g) was observed with free and immobilized cells of P. stipitis respectively in batch fermentation conditions. Recycling of immobilized cells showed a stable ethanol production (20.45 g/L, yield 0.47 g/g) up to 5 batches followed by a gradual downfall in subsequent cycles.

Resummation of infrared divergences in the free energy of spin-two fields

We derive a closed form expression for the sum of all the infrared divergent contributions to the free energy of a gas of gravitons. An important ingredient of our calculation is the use of a gauge fixing procedure such that the graviton propagator becomes both traceless and transverse. This has been shown to be possible, in a previous work, using a general gauge fixing procedure, in the context of the lowest order expansion of the Einstein-Hilbert action, describing noninteracting spin-two fields. In order to encompass the problems involving thermal loops, such as the resummation of the free energy, in the present work, we have extended this procedure to the situations when the interactions are taken into account.

Free-fall in a uniform gravitational field in noncommutative quantum mechanics

We study the free-fall of a quantum particle in the context of noncommutative quantum mechanics (NCQM). Assuming noncommutativity of the canonical type between the coordinates of a two-dimensional configuration space, we consider a neutral particle trapped in a gravitational well and exactly solve the energy eigenvalue problem. By resorting to experimental data from the GRANIT experiment, in which the first energy levels of freely falling quantum ultracold neutrons were determined, we impose an upper-bound on the noncommutativity parameter. We also investigate the time of flight of a quantum particle moving in a uniform gravitational field in NCQM. This is related to the weak equivalence principle. As we consider stationary, energy eigenstates, i.e., delocalized states, the time of flight must be measured by a quantum clock, suitably coupled to the particle. By considering the clock as a small perturbation, we solve the (stationary) scattering problem associated and show that the time of flight is equal to the classical result, when the measurement is made far from the turning point. This result is interpreted as an extension of the equivalence principle to the realm of NCQM. (C) 2010 American Institute of Physics. [doi:10.1063/1.3466812]

Context tree selection: A unifying view

Context tree models have been introduced by Rissanen in [25] as a parsimonious generalization of Markov models. Since then, they have been widely used in applied probability and statistics. The present paper investigates non-asymptotic properties of two popular procedures of context tree estimation: Rissanen's algorithm Context and penalized maximum likelihood. First showing how they are related, we prove finite horizon bounds for the probability of over- and under-estimation. Concerning overestimation, no boundedness or loss-of-memory conditions are required: the proof relies on new deviation inequalities for empirical probabilities of independent interest. The under-estimation properties rely on classical hypotheses for processes of infinite memory. These results improve on and generalize the bounds obtained in Duarte et al. (2006) [12], Galves et al. (2008) [18], Galves and Leonardi (2008) [17], Leonardi (2010) [22], refining asymptotic results of Buhlmann and Wyner (1999) [4] and Csiszar and Talata (2006) [9]. (C) 2011 Elsevier B.V. All rights reserved.

Random perturbations of stochastic processes with unbounded variable length memory

We consider binary infinite order stochastic chains perturbed by a random noise. This means that at each time step, the value assumed by the chain can be randomly and independently flipped with a small fixed probability. We show that the transition probabilities of the perturbed chain are uniformly close to the corresponding transition probabilities of the original chain. As a consequence, in the case of stochastic chains with unbounded but otherwise finite variable length memory, we show that it is possible to recover the context tree of the original chain, using a suitable version of the algorithm Context, provided that the noise is small enough.

Bending of stochastic Kirchhoff plates on Winkler foundations via the Galerkin method and the Askey-Wiener scheme

In this paper, the method of Galerkin and the Askey-Wiener scheme are used to obtain approximate solutions to the stochastic displacement response of Kirchhoff plates with uncertain parameters. Theoretical and numerical results are presented. The Lax-Milgram lemma is used to express the conditions for existence and uniqueness of the solution. Uncertainties in plate and foundation stiffness are modeled by respecting these conditions, hence using Legendre polynomials indexed in uniform random variables. The space of approximate solutions is built using results of density between the space of continuous functions and Sobolev spaces. Approximate Galerkin solutions are compared with results of Monte Carlo simulation, in terms of first and second order moments and in terms of histograms of the displacement response. Numerical results for two example problems show very fast convergence to the exact solution, at excellent accuracies. The Askey-Wiener Galerkin scheme developed herein is able to reproduce the histogram of the displacement response. The scheme is shown to be a theoretically sound and efficient method for the solution of stochastic problems in engineering. (C) 2009 Elsevier Ltd. All rights reserved.

Multiple synchronous states in static delay-free mutually connected PLL networks

In many engineering applications, the time coordination of geographically separated events is of fundamental importance, as in digital telecommunications and integrated digital circuits. Mutually connected (MC) networks are very good candidates for some new types of application, such as wireless sensor networks. This paper presents a study on the behavior of MC networks of digital phase-locked loops (DPLLs). Analytical results are derived showing that, even for static networks without delays, different synchronous states may exist for the network. An upper bound for the number of such states is also presented. Numerical simulations are used to show the following results: (i) the synchronization precision in MC DPLLs networks; (ii) the existence of synchronous states for the network does not guarantee its achievement and (iii) different synchronous states may be achieved for different initial conditions. These results are important in the neural computation context. as in this case, each synchronous state may be associated to a different analog memory information. (C) 2010 Elsevier B.V. All rights reserved.

Adipose tissue mesenchymal stem cell expansion in animal serum-free medium supplemented with autologous human platelet lysate

BACKGROUND: Mesenchymal stem cells (MSCs) have been considered for human regenerative therapy applications, and safe culture and expansion protocols are needed especially in the context of interspecies contamination. Human platelet lysate (PL) has been proposed as animal serum substitute during in vitro MSC expansion. In this work, a simplified and efficient method to obtain autologous PL to replace animal serum in cell culture applications is described. STUDY DESIGN AND METHODS: PL obtained by freezing and centrifugation procedures was tested as medium supplement for human adipose mesenchymal stem cell (hASC) culture. Differential proliferation, immunophenotypic changes, and differentiation under PL or fetal bovine serum (FBS) were assessed. RESULTS: In contrast to 10% FBS supplementation, cell population doubling time was significantly lower when hASCs were cultured with the same concentration of PL ( PL 22.9 +/- 1.5 hr vs. FBS 106.7 +/- 6.5 hr, t test, p < 0.05). Furthermore, hASCs maintained with 2.5% PL supplementation also showed satisfactory results. Immunophenotypic analysis revealed no differences between hASCs cultivated with PL or FBS supplementation and both cultures retained the potential to differentiate into adipose cells. These results demonstrate that autologous PL obtained from the same donor can be used as animal serum substitute in hASC culture. CONCLUSIONS: Taken together, evidence is provided that platelets provided by a single donor are sufficient to obtain PL for hASC propagation for clinical-scale applications mitigating the potential untoward side effects associated with the use of animal-derived reagents.

Characterization and in vitro activities of cell-free antigens from Histoplasma capsulatum-loaded biodegradable microspheres

In the last decades, the incidence of histoplasmosis, a pulmonary fungal disease caused by Histoplasma capsulatum, has increased worldwide. In this context, vaccines for the prevention of this infection or therapies are necessary. Cell-free antigens (CFAgs) from H. capsulatum when administered for murine immunization purposes are able to confer protection and control of the infection, since they activate cellular immunity. However the most of vaccination procedures need several anti, gens administrations and immunoadjuvants, which are not approved for use in humans. The aim of this study was to develop and characterize a vaccination approach using biodegradable PLGA microspheres (MS) that could allow the controlled and/or sustained release of the encapsulated antigens from H. capsulatum. CFAgs-loaded MS presented a size less than 10 mu m, were marked engulfed by bone marrow-derived macrophages (BMDM phi) and induced the nitric oxide (NO) and tumor necrosis factor-alpha (TNF-alpha) production by these cells. Our data show that CFAgs-loaded MS induce cell activation, suggesting an immunostimulant effect to be further investigated during immunization procedures. CFAgs-loaded MS present potential to be used as vaccine in order to confer protection against H. capsulatum infection. (C) 2009 Elsevier B.V. All rights reserved.

Evaluation of a bounded high order upwind scheme for 3D incompressible free surface flow computations

fit the context of normalized variable formulation (NVF) of Leonard and total variation diminishing (TVD) constraints of Harten. this paper presents an extension of it previous work by the authors for solving unsteady incompressible flow problems. The main contributions of the paper are threefold. First, it presents the results of the development and implementation of a bounded high order upwind adaptative QUICKEST scheme in the 3D robust code (Freeflow), for the numerical solution of the full incompressible Navier-Stokes equations. Second, it reports numerical simulation results for 1D hock tube problem, 2D impinging jet and 2D/3D broken clam flows. Furthermore, these results are compared with existing analytical and experimental data. And third, it presents the application of the numerical method for solving 3D free surface flow problems. (C) 2007 IMACS. Published by Elsevier B.V. All rights reserved,

The dynamics of cargo driven by molecular motors in the context of asymmetric simple exclusion processes

We consider the dynamics of cargo driven by a collection of interacting molecular motors in the context of ail asymmetric simple exclusion process (ASEP). The model is formulated to account for (i) excluded-volume interactions, (ii) the observed asymmetry of the stochastic movement of individual motors and (iii) interactions between motors and cargo. Items (i) and (ii) form the basis of ASEP models and have already been considered to study the behavior of motor density profile [A. Parmeggiani. T. Franosch, E. Frey, Phase Coexistence in driven one-dimensional transport, Phys. Rev. Lett. 90 (2003) 086601-1-086601-4]. Item (iii) is new. It is introduced here as an attempt to describe explicitly the dependence of cargo movement on the dynamics of motors in this context. The steady-state Solutions Of the model indicate that the system undergoes a phase transition of condensation type as the motor density varies. We study the consequences of this transition to the behavior of the average cargo velocity. (C) 2009 Elsevier B.V. All rights reserved.

Reaction-diffusion stochastic lattice model for a predator-prey system

We have the purpose of analyzing the effect of explicit diffusion processes in a predator-prey stochastic lattice model. More precisely we wish to investigate the possible effects due to diffusion upon the thresholds of coexistence of species, i. e., the possible changes in the transition between the active state and the absorbing state devoid of predators. To accomplish this task we have performed time dependent simulations and dynamic mean-field approximations. Our results indicate that the diffusive process can enhance the species coexistence.

Comportamentos lúdicos entre crianças do nordeste do Brasil: categorização de brincadeiras

Este artigo visa categorizar as brincadeiras das crianças de um povoado rural do nordeste do Brasil. Foram observadas individualmente 32 crianças entre dois e 12 anos, de ambos os sexos, brincando em ambiente livre, em sessões de cinco minutos. A categoria de 'brincadeiras simbólicas' foi a mais observada (49%). Os temas das brincadeiras simbólicas estavam predominantemente atrelados ao modo de vida local. Diferenças de gênero foram observadas e analisadas. Os dados sugerem que meninas brincam mais simbolicamente, enquanto as brincadeiras dos meninos são mais variadas. A relação entre brincadeira e contexto baseia-se no aproveitamento das potencialidades que o ambiente oferece para o desenvolvimento da criança caracterizando as relações entre aspectos particulares de cada ambiente e as atividades lúdicas desenvolvidas.

Metal-free synthesis of indanes by iodine(III)-mediated ring contraction of 1, 2-dihydronaphthalenes

A metal-free protocol was developed to synthesize indanes by ring contraction of 1, 2-dihydronaphthalenes promoted by PhI(OH)OTs (HTIB or Koser's reagent). This oxidative rearrangement can be performed in several solvents (MeOH, CH3CN, 2 , 2, 2-trifluoroethanol (TFE), 1 , 1, 1, 3, 3, 3-hexafluoroisopropanol (HFIP), and a 1:4 mixture of TFE:CH2Cl2) under mild conditions. The ring contraction diastereoselectively gives functionalized trans-1, 3-disubstituted indanes, which are difficult to obtain in synthetic organic chemistry