Searching for Invariants Using Temporal Resolution

In this paper, we show how the clausal temporal resolution technique developed for temporal logic provides an effective method for searching for invariants, and so is suitable for mechanising a wide class of temporal problems. We demonstrate that this scheme of searching for invariants can be also applied to a class of multi-predicate induction problems represented by mutually recursive definitions. Completeness of the approach, examples of the application of the scheme, and overview of the implementation are described.

A Resource Centric Approach For Advancing Collaboration Through Hydrologic Data And Model Sharing

HydroShare is an online, collaborative system being developed for open sharing of hydrologic data and models. The goal of HydroShare is to enable scientists to easily discover and access hydrologic data and models, retrieve them to their desktop or perform analyses in a distributed computing environment that may include grid, cloud or high performance computing model instances as necessary. Scientists may also publish outcomes (data, results or models) into HydroShare, using the system as a collaboration platform for sharing data, models and analyses. HydroShare is expanding the data sharing capability of the CUAHSI Hydrologic Information System by broadening the classes of data accommodated, creating new capability to share models and model components, and taking advantage of emerging social media functionality to enhance information about and collaboration around hydrologic data and models. One of the fundamental concepts in HydroShare is that of a Resource. All content is represented using a Resource Data Model that separates system and science metadata and has elements common to all resources as well as elements specific to the types of resources HydroShare will support. These will include different data types used in the hydrology community and models and workflows that require metadata on execution functionality. The HydroShare web interface and social media functions are being developed using the Drupal content management system. A geospatial visualization and analysis component enables searching, visualizing, and analyzing geographic datasets. The integrated Rule-Oriented Data System (iRODS) is being used to manage federated data content and perform rule-based background actions on data and model resources, including parsing to generate metadata catalog information and the execution of models and workflows. This presentation will introduce the HydroShare functionality developed to date, describe key elements of the Resource Data Model and outline the roadmap for future development.

Debt management in Brazil: evaluation of the Real Plan and challenges ahead

The Brazilian domestic debt has posed two challenges to policy-makers: it has grown very fast and its maturity is extremely short. This has prompted fears that a default or a compulsory lengthening scheme would be imposed. Here, we analyse the domestic public debt management experience in Brazil, searching for policy prescriptions for the next few years. After briefiy reviewing the recent domestic public debt history, we decompose the large rise in federal bonded debt during 1995-2000, searching for its macroeconomic causes. The main culprits are the extremely high interest payments-which, unti11998, were caused by the weak fiscal stance and the quasi-fixed exchange-rate regime; and since 1999, by the impact ofthe currency depreciation On the dollar-indexed and the externai debt-, and the accumulation of assets of doubtful value, much of which may have to be written off in the future. Simulation exercises of the net debt path for the near future underscore the importance of a tighter fiscal stance to prevent the debt-GDP ratio from growing further. Given the need to quickly lengthen the debt maturity, our main policy advice is to foster, and rely more on, infiation-linked bonds.

Nematicidal activity of Solanum nigrum and S. sisymbriifolium extracts against the root-lesion nematode Pratylenchus goodeyi and its effects on infection and gene expression

The control of Pratylenchus goodeyi a common nematode parasite of banana crop in Madeira Island can benefit from searching for natural nematicides through plants extracts. With this aim we submitted Solanum nigrum and S. sisymbriifolium dried plants to a sequential extraction in the solvent sequence of dichloromethane, acetone, ethanol and water, and to na aqueous extraction of the fresh and dried plants. Analyses with the extracts at several concentrations were used to assess mobility and mortality on P. goodeyi. Results showed that the water extract and aqueous extracts from both plants at a concentration of 10 mg/mL affected nematode mobility and caused mortality but the acetone extract from S. nigrum was the most efficient, causing 100% mortality whereas dichloromethane had no effect on P. goodeyi. Determination of the lipophilic and phenolic compounds present in the two most effective Solanum extracts (acetone and water) and in dichloromethane extract revealed that some of these compounds had nematicidal activity. S. nigrum acetone extract (10 mg/mL) was used to find out the nematicidal potential following the effect at gene expression level and nematode behaviour. Genes coding for calreticulin and beta-1,4- endoglucanase related to parasitism and translocon-associated protein putatively connected to stress were obtained and its relative expression assessed in nematodes exposed to the extract. Results revealed that expression of Pg-CRT decreased showing to influence the infection, Pg-ENG remained steady and Pg-TRAPδ was induced over time exposure. Biological assays showed that P. goodeyi mobility and ability to infect the banana roots were affected as a decrease in the number of nematodes that reached the roots was obtained with the increased exposure time to the extract being implicated in the infection success. The information obtained from this thesis showed that S. nigrum has potential to be used for the development of a new control strategy against plant-parasitic nematodes.

Searching for doubly charged Higgs bosons at the LHC in a 3-3-1 model

Using a peculiar version of the SU(3)(L) circle times U(1)(N) electroweak model, we investigate the production of doubly charged Higgs boson at the Large Hadron Collider. Our results include branching ratio calculations for the doubly charged Higgs and for one of the neutral scalar bosons of the model. (c) 2006 Elsevier B.V. All rights reserved.

Construction and demolition waste as a source of PVC for recycling

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

Harpalycin 2 inhibits the enzymatic and platelet aggregation activities of PrTX-III, a D49 phospholipase A(2) from Bothrops pirajai venom

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Life cycle and behaviour of the predaceous mite Cunaxatricha tarsospinosa (Acari: Prostigmata: Cunaxidae)

Life cycle and behaviour of Cunaxatricha tarsospinosa Castro & Den Heyer from rubber trees in Brazil were studied, with Tenuipalpus heveae Baker offered as prey. The study was conducted at 25.4 +/- A 0.2A degrees C, 83 +/- A 5% RH and 12:12 h L:D photophase. The egg stage was the longest immature stage, lasting 17.1 +/- A 1.3 days (mean +/- A SE); total juvenile development was completed in 33.2 +/- A 2.8 days. Lifetime fecundity was 12.0 +/- A 2.2 eggs. Intrinsic rate of population increase was low, suggesting that T. heveae may not be a good prey for the predator. All specimens of C. tarsospinosa collected in the field for this study were females, no males were found. Concurrently, only females were obtained in the laboratory. This seems to be the first report of thelytokous parthenogenesis for cunaxids. Similar to earlier reports for some Cunaxinae and Coleoscirinae, prey were captured when predators were actively searching for them.

Interspecific interaction between Telenomus remus (Hymenoptera: Platygastridae) and Trichogramma pretiosum (Hymenoptera: Trichogrammatidae) on Spodoptera frugiperda (Lepidoptera: Noctuidae) eggs

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Signal transduction-related responses to phytohormones and environmental challenges in sugarcane

Background: Sugarcane is an increasingly economically and environmentally important C4 grass, used for the production of sugar and bioethanol, a low-carbon emission fuel. Sugarcane originated from crosses of Saccharum species and is noted for its unique capacity to accumulate high amounts of sucrose in its stems. Environmental stresses limit enormously sugarcane productivity worldwide. To investigate transcriptome changes in response to environmental inputs that alter yield we used cDNA microarrays to profile expression of 1,545 genes in plants submitted to drought, phosphate starvation, herbivory and N-2-fixing endophytic bacteria. We also investigated the response to phytohormones (abscisic acid and methyl jasmonate). The arrayed elements correspond mostly to genes involved in signal transduction, hormone biosynthesis, transcription factors, novel genes and genes corresponding to unknown proteins.Results: Adopting an outliers searching method 179 genes with strikingly different expression levels were identified as differentially expressed in at least one of the treatments analysed. Self Organizing Maps were used to cluster the expression profiles of 695 genes that showed a highly correlated expression pattern among replicates. The expression data for 22 genes was evaluated for 36 experimental data points by quantitative RT-PCR indicating a validation rate of 80.5% using three biological experimental replicates. The SUCAST Database was created that provides public access to the data described in this work, linked to tissue expression profiling and the SUCAST gene category and sequence analysis. The SUCAST database also includes a categorization of the sugarcane kinome based on a phylogenetic grouping that included 182 undefined kinases.Conclusion: An extensive study on the sugarcane transcriptome was performed. Sugarcane genes responsive to phytohormones and to challenges sugarcane commonly deals with in the field were identified. Additionally, the protein kinases were annotated based on a phylogenetic approach. The experimental design and statistical analysis applied proved robust to unravel genes associated with a diverse array of conditions attributing novel functions to previously unknown or undefined genes. The data consolidated in the SUCAST database resource can guide further studies and be useful for the development of improved sugarcane varieties.

Non invasive methods for genetic analysis applied to ecological and behavioral studies in Latino-America

Documenting the presence and abundance of the neotropical mammals is the first step for understanding their population ecology, behavior and genetic dynamics in designing conservation plans. The combination of field research with molecular genetics techniques are new tools that provide valuable biological information avoiding the disturbance in the ecosystems, trying to minimize the human impact in the process to gather biological information. The objective of this paper is to review the available non invasive sampling techniques that have been used in Neotropical mammal studies to apply to determine the presence and abundance, population structure, sex ratio, taxonomic diagnostic using mitochondrial markers, and assessing genetic variability using nuclear markers. There are a wide range of non invasive sampling techniques used to determine the species identification that inhabit an area such as searching for tracks, feces, and carcasses. Other useful equipment is the camera traps that can generate an image bank that can be valuable to assess species presence and abundance by morphology. With recent advances in molecular biology, it is now possible to use the trace amounts of DNA in feces and amplify it to analyze the species diversity in an area, and the genetic variability at intraspecific level. This is particularly helpful in cases of sympatric and cryptic species in which morphology failed to diagnose the taxonomic status of several species of brocket deer of the genus Mazama.