951 resultados para Testing Source Code Generation


Relevância:

30.00% 30.00%

Publicador:

Resumo:

Neural crest-derived stem cells (NCSCs) from the embryonic peripheral nervous system (PNS) can be reprogrammed in neurosphere (NS) culture to rNCSCs that produce central nervous system (CNS) progeny, including myelinating oligodendrocytes. Using global gene expression analysis we now demonstrate that rNCSCs completely lose their previous PNS characteristics and acquire the identity of neural stem cells derived from embryonic spinal cord. Reprogramming proceeds rapidly and results in a homogenous population of Olig2-, Sox3-, and Lex-positive CNS stem cells. Low-level expression of pluripotency inducing genes Oct4, Nanog, and Klf4 argues against a transient pluripotent state during reprogramming. The acquisition of CNS properties is prevented in the presence of BMP4 (BMP NCSCs) as shown by marker gene expression and the potential to produce PNS neurons and glia. In addition, genes characteristic for mesenchymal and perivascular progenitors are expressed, which suggests that BMP NCSCs are directed toward a pericyte progenitor/mesenchymal stem cell (MSC) fate. Adult NCSCs from mouse palate, an easily accessible source of adult NCSCs, display strikingly similar properties. They do not generate cells with CNS characteristics but lose the neural crest markers Sox10 and p75 and produce MSC-like cells. These findings show that embryonic NCSCs acquire a full CNS identity in NS culture. In contrast, MSC-like cells are generated from BMP NCSCs and pNCSCs, which reveals that postmigratory NCSCs are a source for MSC-like cells up to the adult stage.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

There has been an ongoing concern about the lack of reliable data on disabled children in schools. To date there has been no consistent way of identifying and categorising disabilities. Schools in England are currentlyrequired to collect data on children with Special Educational Need (SEN), but this does not capture information about all disabled children. The lack of this information may seriously restrict capacity at all levels of policy and practice to understand and respond to the needs of disabled children and their families in line with Disability Discrimination Act (2005) and the single Equality Act (2010). The aim of the project was to test the draft tools for identifying disability and accompanying guidance in a sample of all types of maintained schools in order to assess their usability and reliability and whether they resulted in the generation of robust and consistent data that could reliably inform school returns for the annual School Census.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Innumerous protocols, using the mouse embryonic stem (ES) cells as model for in vitro study of neurons functional properties and features, have been developed. Most of these protocols are short lasting, which, therefore, does not allow a careful analysis of the neurons maturation, aging, and death processes. We describe here a novel and efficient long-lasting protocol for in vitro ES cells differentiation into neuronal cells. It consists of obtaining embryoid bodies, followed by induction of neuronal differentiation with retinoic acid of nonadherent embryoid bodies (three-dimensional model), which further allows their adherence and formation of adherent neurospheres (AN, bi-dimensional model). The AN can be maintained for at least 12 weeks in culture under repetitive mechanical splitting, providing a constant microenvironment (in vitro niche) for the neuronal progenitor cells avoiding mechanical dissociation of AN. The expression of neuron-specific proteins, such as nestin, sox1, beta III-tubulin, microtubule-associated protein 2, neurofilament medium protein, Tau, neuronal nuclei marker, gamma-aminobutyric acid, and 5-hydroxytryptamine, were confirmed in these cells maintained during 3 months under several splitting. Additionally, expression pattern of microtubule-associated proteins, such as lissencephaly (Lis1) and nuclear distribution element-like (Ndel1), which were shown to be essential for differentiation and migration of neurons during embryogenesis, was also studied. As expected, both proteins were expressed in undifferentiated ES cells, AN, and nonrosette neurons, although presenting different spatial distribution in AN. In contrast to previous studies, using cultured neuronal cells derived from embryonic and adult tissues, only Ndel1 expression was observed in the centrosome region of early neuroblasts from AN. Mature neurons, obtained from ES cells in this work, display ionic channels and oscillations of membrane electrical potential typical of electrically excitable cells, which is a characteristic feature of the functional central nervous system (CNS) neurons. Taken together, our study demonstrated that AN are a long-term culture of neuronal cells that can be used to analyze the process of neuronal differentiation dynamics. Thus, the protocol described here provides a new experimental model for studying neurological diseases associated with neuronal differentiation during early development, as well as it represents a novel source of functional cells that can be used as tools for testing the effects of toxins and/or drugs on neuronal cells.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Background: Hemoglobin is a rich source of biologically active peptides, some of which are potent antimicrobials (hemocidins). A few hemocidins have been purified from the midgut contents of ticks. Nonetheless, how antimicrobials are generated in the tick midgut and their role in immunity is still poorly understood. Here we report, for the first time, the contribution of two midgut proteinases to the generation of hemocidins. Results: An aspartic proteinase, designated BmAP, was isolated from the midgut of Rhipicephalus (Boophilus) microplus using three chromatographic steps. Reverse transcription-quantitative polymerase chain reaction revealed that BmAP is restricted to the midgut. The other enzyme is a previously characterized midgut cathepsin L-like cysteine proteinase designated BmCL1. Substrate specificities of native BmAP and recombinant BmCL1 were mapped using a synthetic combinatorial peptide library and bovine hemoglobin. BmCL1 preferred substrates containing non-polar residues at P2 subsite and polar residues at P1, whereas BmAP hydrolysed substrates containing non-polar amino acids at P1 and P1`. Conclusions: BmAP and BmCL1 generate hemocidins from hemoglobin alpha and beta chains in vitro. We postulate that hemocidins may be important for the control of tick pathogens and midgut flora.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

In this paper, we consider a classical problem of complete test generation for deterministic finite-state machines (FSMs) in a more general setting. The first generalization is that the number of states in implementation FSMs can even be smaller than that of the specification FSM. Previous work deals only with the case when the implementation FSMs are allowed to have the same number of states as the specification FSM. This generalization provides more options to the test designer: when traditional methods trigger a test explosion for large specification machines, tests with a lower, but yet guaranteed, fault coverage can still be generated. The second generalization is that tests can be generated starting with a user-defined test suite, by incrementally extending it until the desired fault coverage is achieved. Solving the generalized test derivation problem, we formulate sufficient conditions for test suite completeness weaker than the existing ones and use them to elaborate an algorithm that can be used both for extending user-defined test suites to achieve the desired fault coverage and for test generation. We present the experimental results that indicate that the proposed algorithm allows obtaining a trade-off between the length and fault coverage of test suites.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

We investigate several two-dimensional guillotine cutting stock problems and their variants in which orthogonal rotations are allowed. We first present two dynamic programming based algorithms for the Rectangular Knapsack (RK) problem and its variants in which the patterns must be staged. The first algorithm solves the recurrence formula proposed by Beasley; the second algorithm - for staged patterns - also uses a recurrence formula. We show that if the items are not so small compared to the dimensions of the bin, then these algorithms require polynomial time. Using these algorithms we solved all instances of the RK problem found at the OR-LIBRARY, including one for which no optimal solution was known. We also consider the Two-dimensional Cutting Stock problem. We present a column generation based algorithm for this problem that uses the first algorithm above mentioned to generate the columns. We propose two strategies to tackle the residual instances. We also investigate a variant of this problem where the bins have different sizes. At last, we study the Two-dimensional Strip Packing problem. We also present a column generation based algorithm for this problem that uses the second algorithm above mentioned where staged patterns are imposed. In this case we solve instances for two-, three- and four-staged patterns. We report on some computational experiments with the various algorithms we propose in this paper. The results indicate that these algorithms seem to be suitable for solving real-world instances. We give a detailed description (a pseudo-code) of all the algorithms presented here, so that the reader may easily implement these algorithms. (c) 2007 Elsevier B.V. All rights reserved.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

The decomposition of organic hydroperoxides into peroxyl radicals is a potential source of singlet molecular oxygen [O(2) ((1)Delta(g))] in biological systems. This study shows that 5-(hydroperoxymethyl)uracil (5-HPMU), a thymine hydroperoxide within DNA, reacts with metal ions or HOCl, generating O(2) ((1)Delta(g)). Spectroscopic evidence for generation of O(2) ((1)Delta(g)) was obtained by measuring (i) the bimolecular decay, (ii) the monomolecular decay, and (iii) the observation of D(2)O enhancement of O(2) ((1)Delta(g)) production and the quenching effect of NaN(3). Moreover, the presence of O(2) ((1)Delta(g)) was unequivocally demonstrated by the direct characterization of the near-infrared light emission. For the sake of comparison, O(2) ((1)Delta(g)) derived from the H(2)O(2)/HOCl system and from the thermolysis of the N,N`-di(2,3-dihydroxypropyl)-1,4-naphthalenedipropanamide endoperoxide was also monitored. More evidence of O(2) ((1)Delta(g)) generation was obtained by chemical trapping of O(2) ((1)Delta(g)) with anthracene-9,10-divinylsulfonate (AVS) and detection of the specific AVS endoperoxide by HPLC/MS/MS. The detection by HPLC/MS of 5-(hydroxymethyl)uracil and 5-formyluracil, two thymine oxidation products generated from the reaction of 5-HPMU and Ce(4+) ions, supports the Russell mechanism. These photoemission properties and chemical trapping clearly demonstrate that the decomposition of 5-HPMU generates O(2) ((1)Delta(g)) by the Russell mechanism and point to the involvement of O(2) ((1)Delta(g)) in thymidine hydroperoxide cytotoxicity. (C) 2009 Elsevier Inc. All rights reserved.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

A few years ago, it was reported that ozone is produced in human atherosclerotic arteries, on the basis of the identification of 3 beta-hydroxy-5-oxo-5,6-secocholestan-6-al and 3 beta-hydroxy-5 beta-hydroxy-B-norcholestane-6 beta-carboxaldehyde (ChAld) as their 2,4-dinitrophenylhydrazones. The formation of endogenous ozone was attributed to water oxidation catalyzed by antibodies, with the formation of dihydrogen trioxide as a key intermediate. We now report that ChAld is also generated by the reaction of cholesterol with singlet molecular oxygen [O(2) ((1)Delta(g))] that is produced by photodynamic action or by the thermodecomposition of 1,4-dimethylnaphthalene endoperoxide, a defined pure chemical source of O(2) ((1)Delta(g)). On the basis of (18)O-labeled ChAld mass spectrometry, NMR, light emission measurements, and derivatization studies, we propose that the mechanism of ChAld generation involves the formation of the well-known cholesterol 5 alpha-hydroperoxide (5 alpha-OOH) (the major product of O(2) ((1)Delta(g))-oxidation of cholesterol) and/or a 1,2-dioxetane intermediate formed by O(2) ((1)Delta(g)) attack at the Delta(5) position. The Hock cleavage of 5 alpha-OOH (the major pathway) or unstable cholesterol dioxetane decomposition (a minor pathway, traces) gives a 5,6-secosterol intermediate, which undergoes intramolecular aldolization to yield ChAld. These results show clearly and unequivocally that ChAld is generated upon the reaction of cholesterol with O(2) ((1)Delta(g)) and raises questions about the role of ozone in biological processes.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Este trabalho busca explorar, através de testes empíricos, qual das duas principais teorias de escolha de estrutura ótima de capital das empresas, a Static Trade-off Theory (STT) ou a Pecking Order Theory(POT) melhor explica as decisões de financiamento das companhias brasileiras. Adicionalmente, foi estudado o efeito da assimetria de informações, desempenho e liquidez do mercado acionário nessas decisões. Utilizou-se no presente trabalho métodos econométricos com dados de empresas brasileiras de capital aberto no período abrangendo 1995 a 2005, testando dois modelos representativos da Static Trade-off Theory (STT) e da Pecking Order Theory(POT). Inicialmente, foi testado o grupo amplo de empresas e, posteriormente, realizou-se o teste em subgrupos, controlando os efeitos de desempenho e liquidez do mercado acionário, liquidez das ações das empresas tomadoras e assimetria de informações. Desta forma, os resultados obtidos são indicativos de que a Pecking Order Theory, na sua forma semi-forte, se constitui na melhor teoria explicativa quanto à escolha da estrutura de capital das empresas brasileiras, na qual a geração interna de caixa e o endividamento oneroso e operacional é a fonte prioritária de recursos da companhia, havendo algum nível, embora baixo, da utilização de emissão de ações. Os estudos empíricos para os subgrupos de controle sugerem que a liquidez do mercado e liquidez das ações das empresas são fatores de influência na propensão das empresas emitirem ações, assim como a assimetria de informação. O desempenho do mercado acionário, com base nos dados analisados, aparenta ter pouca influência na captação de recursos via emissões de ações das empresas, não sendo feito no presente estudo distinções entre emissões públicas ou privadas

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Fuzzy intelligent systems are present in a variety of equipment ranging from household appliances to Fuzzy intelligent systems are present in a variety of equipment ranging from household appliances to small devices such as digital cameras and cell phones being used primarily for dealing with the uncertainties in the modeling of real systems. However, commercial implementations of Fuzzy systems are not general purpose and do not have portability to different hardware platforms. Thinking about these issues this work presents the implementation of an open source development environment that consists of a desktop system capable of generate Graphically a general purpose Fuzzy controller and export these parameters for an embedded system with a Fuzzy controller written in Java Platform Micro Edition To (J2ME), whose modular design makes it portable to any mobile device that supports J2ME. Thus, the proposed development platform is capable of generating all the parameters of a Fuzzy controller and export it in XML file, and the code responsible for the control logic that is embedded in the mobile device is able to read this file and start the controller. All the parameters of a Fuzzy controller are configurable using the desktop system, since the membership functions and rule base, even the universe of discourse of the linguistic terms of output variables. This system generates Fuzzy controllers for the interpolation model of Takagi-Sugeno. As the validation process and testing of the proposed solution the Fuzzy controller was embedded on the mobile device Sun SPOT ® and used to control a plant-level Quanser®, and to compare the Fuzzy controller generated by the system with other types of controllers was implemented and embedded in sun spot a PID controller to control the same level plant of Quanser®

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Energy policies and technological progress in the development of wind turbines have made wind power the fastest growing renewable power source worldwide. The inherent variability of this resource requires special attention when analyzing the impacts of high penetration on the distribution network. A time-series steady-state analysis is proposed that assesses technical issues such as energy export, losses, and short-circuit levels. A multiobjective programming approach based on the nondominated sorting genetic algorithm (NSGA) is applied in order to find configurations that maximize the integration of distributed wind power generation (DWPG) while satisfying voltage and thermal limits. The approach has been applied to a medium voltage distribution network considering hourly demand and wind profiles for part of the U.K. The Pareto optimal solutions obtained highlight the drawbacks of using a single demand and generation scenario, and indicate the importance of appropriate substation voltage settings for maximizing the connection of MPG.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Semen manipulation and cryopreservation-thaw procedures may accelerate the generation of reactive oxygen species (ROS). Sperm exposure to large amounts of ROS has been shown to cause membrane lipid peroxidation and cellular injury to the sperm. The objective of this study was to overcome the ROS production in frozen-thawed ram semen by the addition of the antioxidants catalase or Trolox to semen following thawing. Frozen-thawed ram semen (100 x 10(6) sperm/straw) was supplemented with PBS (control group), 100 mu g/ml catalase, or 100 mu M Trolox/10(8) sperm (catalase and Trolox being dissolved in PBS) and incubated (37 degrees C) for 5 min. Under the experimental conditions used in this study, the catalase and Trolox antioxidants failed to protect the sperm from the spontaneous production of ROS. However, when lipid peroxidation was induced by iron (FeSO(4)), the addition of Trolox promoted a reduction (P < 0.05) in the formation of TBARS in the semen, compared to the control and catalase semen samples. The generation of TBARS and H(2)O(2) occurred in the extender alone, without the presence of sperm cells. In conclusion, the addition of Trolox to frozen-thawed ram semen could be beneficial as it decreases the production of TBARS when oxidative stress is induced. It is possible that a longer incubation period could lead to different results. The concentration of catalase also needs to be further evaluated. The extender could contribute to the oxidative stress of sperm, as it is a source of ROS during the cryopreservation of semen. (C) 2010 Elsevier B.V. All rights reserved.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Genetic gains predicted for selection, based on both individual performance and progeny testing, were compared to provide information to be used in implementation of progeny testing for a Nelore cattle breeding program. The prediction of genetic gain based on progeny testing was obtained from a formula, derived from methodology of Young and weller (J. Genetics 57: 329-338, 1960) for two-stage selection, which allows prediction of genetic gain per generation when the individuals under test have been pre-selected on the basis of their own performance. The application of this formula also allowed determination of the number of progeny per tested bull needed to maximize genetic gain, when the total number of tested progeny is limited.