Assembling a consistent set of sentences in relational probabilistic logic with stochastic independence

We examine the representation of judgements of stochastic independence in probabilistic logics. We focus on a relational logic where (i) judgements of stochastic independence are encoded by directed acyclic graphs, and (ii) probabilistic assessments are flexible in the sense that they are not required to specify a single probability measure. We discuss issues of knowledge representation and inference that arise from our particular combination of graphs, stochastic independence, logical formulas and probabilistic assessments. (C) 2007 Elsevier B.V. All rights reserved.

Approximate algorithms for credal networks with binary variables

This paper presents a family of algorithms for approximate inference in credal networks (that is, models based on directed acyclic graphs and set-valued probabilities) that contain only binary variables. Such networks can represent incomplete or vague beliefs, lack of data, and disagreements among experts; they can also encode models based on belief functions and possibilistic measures. All algorithms for approximate inference in this paper rely on exact inferences in credal networks based on polytrees with binary variables, as these inferences have polynomial complexity. We are inspired by approximate algorithms for Bayesian networks; thus the Loopy 2U algorithm resembles Loopy Belief Propagation, while the Iterated Partial Evaluation and Structured Variational 2U algorithms are, respectively, based on Localized Partial Evaluation and variational techniques. (C) 2007 Elsevier Inc. All rights reserved.

A Functional Verification Methodology Based on Parameter Domains for Efficient Input Stimuli Generation and Coverage Modeling

Modern Integrated Circuit (IC) design is characterized by a strong trend of Intellectual Property (IP) core integration into complex system-on-chip (SOC) architectures. These cores require thorough verification of their functionality to avoid erroneous behavior in the final device. Formal verification methods are capable of detecting any design bug. However, due to state explosion, their use remains limited to small circuits. Alternatively, simulation-based verification can explore hardware descriptions of any size, although the corresponding stimulus generation, as well as functional coverage definition, must be carefully planned to guarantee its efficacy. In general, static input space optimization methodologies have shown better efficiency and results than, for instance, Coverage Directed Verification (CDV) techniques, although they act on different facets of the monitored system and are not exclusive. This work presents a constrained-random simulation-based functional verification methodology where, on the basis of the Parameter Domains (PD) formalism, irrelevant and invalid test case scenarios are removed from the input space. To this purpose, a tool to automatically generate PD-based stimuli sources was developed. Additionally, we have developed a second tool to generate functional coverage models that fit exactly to the PD-based input space. Both the input stimuli and coverage model enhancements, resulted in a notable testbench efficiency increase, if compared to testbenches with traditional stimulation and coverage scenarios: 22% simulation time reduction when generating stimuli with our PD-based stimuli sources (still with a conventional coverage model), and 56% simulation time reduction when combining our stimuli sources with their corresponding, automatically generated, coverage models.

Information theoretic interpretation of frequency domain connectivity measures

In order to provide adequate multivariate measures of information flow between neural structures, modified expressions of partial directed coherence (PDC) and directed transfer function (DTF), two popular multivariate connectivity measures employed in neuroscience, are introduced and their formal relationship to mutual information rates are proved.

A Class of Channels Resulting in Ill-Convergence for CMA in Decision Feedback Equalizers

This paper analyzes the convergence of the constant modulus algorithm (CMA) in a decision feedback equalizer using only a feedback filter. Several works had already observed that the CMA presented a better performance than decision directed algorithm in the adaptation of the decision feedback equalizer, but theoretical analysis always showed to be difficult specially due to the analytical difficulties presented by the constant modulus criterion. In this paper, we surmount such obstacle by using a recent result concerning the CM analysis, first obtained in a linear finite impulse response context with the objective of comparing its solutions to the ones obtained through the Wiener criterion. The theoretical analysis presented here confirms the robustness of the CMA when applied to the adaptation of the decision feedback equalizer and also defines a class of channels for which the algorithm will suffer from ill-convergence when initialized at the origin.

Isolation and analysis of bioactive isoflavonoids and chalcone from a new type of Brazilian propolis

Activity-directed fractionation and purification processes were employed to identify isoflavonoids with antioxidant and antimicrobial activities from Brazilian red propolis. Crude propolis was extracted with ethanol (80%. v/v) and fractioned by liquid-liquid extraction technique using hexane and chloroform. Since chloroform fraction showed strong antioxidant and antimicrobial activities it was purified and isolated using various chromatographic techniques. Comparing our spectral data (UV, NMR, and mass spectrometry) with values found in the literature, we identified two bioactive isoflavonoids (vestitol and neovestitol), together with one chalcone (isoliquiritigenin). Vestitol presented higher antioxidant activity against beta-carotene consumption than neovestitol. The antimicrobial activity of these three compounds against Staphylococcus aureus, Streptococcus mutans, and Actinomyces naeslundii was evaluated and we concluded that isoliquiritigenin was the most active one with lower MIC, ranging from 15.6 to 62.5 mu g/mL. Our results showed that Brazilian red propolis has biologically active isoflavonoids that may be used as a mild antioxidant and antimicrobial for food preservation. (C) 2010 Elsevier B.V. All rights reserved.

New approaches to underground systems in Brazilian Smilax species (Smilacaceae)

MARTINS, A. R. (Institute of Biology, State University of Campinas - UNICAMP, 13083-970, Campinas, SP, Brazil), N. PUT, (Division of Biology and Education, University of Vechta, 49377 Vechta, Germany), A. N. SOARES, A.B BOMB, and B. APPEZZATO DA GLORIA (Biological Science Department, Escola Superior de Agricultura `Luiz de Queiroz`, University of Sao Paulo, 13418-900, Piracicaba, SP, Brazil). J. Torrey Bot. Soc. 137: 220-235. 2010.-New approaches to underground systems in Brazilian Smilax species (Smilacaceae). Scientific studies show that the watery extract of the thickened underground stem and its adventitious roots of the genus Smilax can act as a therapeutic agent in immunoinflammatory disorders, such as rheumatic arthritis. Brazilians have used this genus of plants in folk medicine, however it is very hard to identify these species, since the morphology of the underground systems is very similar in this group. For better identification of those systems, we studied six species of Smilax L. (S. brasiliensis, S. campestris, S. cissoides, S. goyazana, S. oblongifolia and S. rufescens), collected in different regions of Brazil with different physiognomies and soil characteristics. The main purpose is to describe the morpho-anatomy of the underground systems and to analyze if their structure depends on environmental conditions. The underground stem (rhizophore) is of brown color and it is knotty, massive, slender (S. rufescens) or tuberous (S. brasiliensis, S. campestris, S. cissoides, S. goyazana and S. oblongifolia). The tuberization is a result of primary thickened meristem (PTM) activity. The color and thickness of the adventitious roots change during development because the epidermis and outer cortex are disposed of, so the inner cortex becomes the new covering tissue with lignified and dark color cells. There are differences in starch grain shapes in mature roots. The chemical attributes of the soil are very similar in all studied environments and, even when soil characteristics varied, all the species` underground system was distributed close to the soil surface (10 to 15 cm deep). The species exhibited clonal growth hence their underground system functions as storage structures and the axillary buds can sprout into new stems. Only Smilax rufescens, collected in sandy soil of Restinga, has vegetative dispersal due to the runners.

Spatial genetic structure of Hymenaea stigonocarpa Mart. ex Hayne assessed with chloroplast microsatellite markers

The use of chloroplast DNA markers (cpDNA) helps to elucidate questions related to ecology, evolution and genetic structure. The knowledge of inter-and intra-population genetic structure allows to design effective conservation and management strategies for tropical tree species. With the aim to help the conservation of Hymenaea stigonocarpa of the Cerrado (Brazilian savanna) in Sao Paulo State, an analysis of the spatial genetic structure (SGS) was conducted in two populations using five universal chloroplast microsatellite loci (cpSSR). The population of 68 trees of H. stigonocarpa in the Ecological Station of Itirapina (ESI) had a single haplotype, indicating a strong founder effect. In turn, the population of 47 trees of H. stigonocarpa in a contiguous area that includes the Ecological Station of Assis and the Assis State Forest (ESA), showed six haplotypes ((n) over cap (h) = 6) with a moderate haplotype diversity ((h) over cap = 0667 + 0094), revealing that it was founded by a small number of maternal lineages. The SGS analysis for the population ESA/ASF, using Moran`s I index, indicated limited seed dispersal. Considering SGS, for ex situ conservation strategies in the population ESA/ASF, seed harvesting should require a minimum distance of 750 m among seed-trees.

Effects of bamboo stands on seed rain and seed limitation in a rainforest

Bamboos often negatively affect tree recruitment, survival, and growth, leading to arrested tree regeneration in forested habitats. Studies so far have focused on the effects of bamboos on the performance of seedlings and saplings, but the influence of bamboos on forest dynamics may start very early in the forest regeneration process by altering seed rain patterns. We tested the prediction that the density and composition of the seed rain are altered and seed limitation is higher in stands of Guadua tagoara (B or bamboo stands), a large-sized woody bamboo native from the Brazilian Atlantic Forest, compared to forest patches without bamboos (NB or non-bamboo stands). Forty 1 m(2) seed traps were set in B and NB stands, and the seed rain was monitored monthly for 1 year. The seed rain was not greatly altered by the presence of bamboos: rarefied seed species richness was higher for B stands, patterns of dominance and density of seeds were similar between stands, and differences in overall composition were slight. Seed limitation, however, was greater at B stands, likely as a resulted of reduced tree density. Despite Such reduced density, the presence of trees growing amidst and over the bamboos seems to play a key role in keeping the seeds falling in B stands because they serve as food sources for frugivores or simply as perches for them. The loss of such trees may lead to enhanced seed limitation, contributing ultimately to the self-perpetuating bamboo disturbance cycle. (C) 2008 Elsevier B,V. All rights reserved.

Forest restoration in an indigenous land considering a forest remnant influence (Avai, Sao Paulo State, Brazil)

The expansion of agricultural and pasture areas over native forest areas has been broadly documented and represents the main cause of deforestation that has occurred for the last decades. Such reality is not different in indigenous lands, and has been considered as an important obstacle for individuals who directly depend upon the appropriate management of natural resources to maintain their traditions. We investigated the seed rain, seed bank and natural regeneration of native woody species within a degraded pasture land in different distances from an adjacent seasonal semideciduous forest fragment to define methodological procedures based on ecological processes that might subsidize forest restoration in an indigenous land. Most seeds and seedlings picked from the seed rain and seed bank belonged to anemochoric and autochoric dispersing shrubby and herbaceous species originated in the pasture land. The woody species regeneration, on the other hand, reached higher levels, in terms of abundance and richness, as the forest fragment became closer. Zoochoric dispersal was predominant among such species and was mainly detected closer to the forest fragment. Several woody species picked in the forest fragment were also found in the pasture land, thus reinforcing their important role in supplying propagules and easing the successional process. (c) 2007 Elsevier B.V. All rights reserved.

Phylogeography of Chelonus insularis (Hymenoptera: Braconidae) and Campoletis sonorensis (Hymenoptera: Ichneumonidae), Two Primary Neotropical Parasitoids of the Fall Armyworm (Lepidoptera: Noctuidae)

In a previous study, we observed no spatial genetic structure in Mexican populations of the parasitoids Chelonus insularis Cresson (Hymenoptera: Braconidae) and Campoletis sonorensis Cameron (Hymenoptera: Ichneumonidae) by using microsatellite markers In the current study, we Investigated whether for these important parasitoids of the fall armyworm (Lepidoptera: Noctuidae) there is any genetic structure at a larger scale Insects of both species were collected across the American continent and their phylogeography was Investigated using both nuclear and mitochondria] markers Our results suggest an ancient north-south migration of C insularis, whereas no clear pattern] could be determined for C sonorensis. Nonetheless, the resulting topology indicated the existence of a cryptic taxon within this later species. a few Canadian specimens determined as C. sonorensis branch outside a clack composed of the Argentinean Chelonus grioti Blanchard, the Brazilian Chelonus flavicincta Ashmead, and the rest of the C sonorensis individuals The individuals revealing the cryptic taxon were collected from Thichoplusia in (Hubner) (Lepidoptera. Noctuidae) on tomato (Lycopersicon spp) and may represent a biotype that has adapted to the early season phenology of its host. Overall, the loosely defined spatial genetic structure previously shown at a local fine scale also was found at the larger scale, for both species Dispersal of these insects may be partly driven by wind as suggested by genetic similarities between Individuals coming from very distant locations.

Modelling the potential distribution of the invasive tomato red spider mite, Tetranychus evansi (Acari: Tetranychidae)

Predicting the potential geographical distribution of a species is particularly important for pests with strong invasive abilities. Tetranychus evansi Baker & Pritchard, possibly native to South America, is a spider mite pest of solanaceous crops. This mite is considered an invasive species in Africa and Europe. A CLIMEX model was developed to predict its global distribution. The model results fitted the known records of T. evansi except for some records in dry locations. Dryness as well as excess moisture stresses play important roles in limiting the spread of the mite in the tropics. In North America and Eurasia its potential distribution appears to be essentially limited by cold stress. Detailed potential distribution maps are provided for T. evansi in the Mediterranean Basin and in Japan. These two regions correspond to climatic borders for the species. Mite establishment in these areas can be explained by their relatively mild winters. The Mediterranean region is also the main area where tomato is grown in open fields in Europe and where the pest represents a threat. According to the model, the whole Mediterranean region has the potential to be extensively colonized by the mite. Wide expansion of the mite to new areas in Africa is also predicted. Agricultural issues highlighted by the modelled distribution of the pest are discussed.

Molecular detection and differentiation of Brazilian and African isolates of the entomopathogen Neozygites tanajoae (Entomophthorales: Neozygitaceae) with PCR using specific primers

Neozygites tanajoae is an entomopathogenic fungus which has been used for biocontrol of the cassava green mite (Mononychellus tanajoa, CGM) in Africa. Establishment and dispersal of Brazilian isolates which have been introduced into some African countries in recent years to improve CGM control was followed with specific PCR assays. Two primer pairs, NEOSSU_F/NEOSSU_R and 8DDC_F/8DDC_R, were used to differentiate isolates collected from several locations in Brazil and from three countries in Africa, Benin, Ghana and Tanzania. The first primer pair enabled the species-specific detection of Neozygites tanajoae, while the second differentiated the Brazilian isolates from those of other geographical origin. PCR assays were designed for detection of fungal DNA in the matrix of dead infested mites since N. tanajoae is difficult to isolate and culture on selective artificial media. Our results show that all isolates (Brazilian and African) that sporulated on mummified mites were amplified with the first primer pair confirming their Neozygites tanajoae identity. The second pair amplified DNA from all the Brazilian isolates, but did not amplify any DNA samples from the African isolates. None of the two primers showed amplification neither from any of the non-sporulating mite extracts nor from the dead uninfected mites used as negative controls. We confirmed that the two primer pairs tested are suitable for the detection and differential identification of N. tanajoae isolates from Brazil and Africa and that they are useful to monitor the establishment and spread of the Brazilian isolates of N. tanajoae introduced into Benin or into other African countries for improvement of CGM biocontrol.

Biogeographic distribution of the phytoseiidae (Acari : Mesostigmata)

More than 1982 species in 90 genera were included in an analysis of the biogeography of the Phytoseiidae, a family of predatory mites. Seven biogeographic regions were taken into account: Nearctic, Neotropical, Ethiopian, West Palaearctic, East Palaearctic, Oriental, and Australasian. The number of species was particularly high in the Neotropical, Oriental, and West Palaearctic regions. These regions also present the highest levels of species endemism. The number of genera was quite similar in all regions except for the Neotropics, which also had a high level of endemism. The possible Gondwanian (Neotropical, Ethiopian, Australasian, and Oriental regions) origin of the Phytoseiidae, most probably in the Neotropics, and their possible radiation to Laurasia (Nearctic, West Palaearctic, and East Palaearctic regions) are discussed. The comparison between genera and species in the different biogeographic regions indicate the importance of both dispersal and vicariance events in the evolution of the group. Dispersal is assumed to have been most important between Neotropical and Nearctic regions and between East Palaearctic and Oriental regions, whereas vicariance could have been the dominating process between Australasian, Ethiopian, and Oriental regions, as well as between West and East Palaearctic regions. A parsimony analysis of endemicity showed the Neotropical and the Nearctic regions to be isolated from the other regions. This is certainly due to a diversification after the continents drifted apart and then a high dispersal between Nearctic and Neotropical regions. Different phylogenetic hypotheses and scenarios are proposed for each subfamily based on the results obtained and further investigations are proposed. (C) 2008 The Linnean Society of London.

Modelling the progress of Asiatic citrus canker on Tahiti lime in relation to temperature and leaf wetness

The combined effect of temperature (15A degrees C, 20A degrees C, 25A degrees C, 30A degrees C, 35A degrees C, 40A degrees C and 42A degrees C) and leaf wetness duration (0, 4, 8 12, 16, 20 and 24 h) on infection and development of Asiatic citrus canker (Xanthomonas citri subsp. citri) on Tahiti lime plant was examined in growth chambers. No disease developed at 42A degrees C and zero hours of leaf wetness. Periods of leaf wetness as short as 4 h were sufficient for citrus canker infection. However, a longer leaf duration wetness (24 h) did not result in much increase in the incidence of citrus canker, but led to twice the number of lesions and four times the disease severity. Temperature was the greatest factor influencing disease development. At optimum temperatures (25-35A degrees C), there was 100% disease incidence. Maximum disease development was observed at 30-35A degrees C, with up to a 12-fold increase in lesion density, a 10-fold increase in lesion size and a 60-fold increase in disease severity.