Antimicrobial activity in the tick Rhipicephalus (Boophilus) microplus eggs: Cellular localization and temporal expression of microplusin during oogenesis and embryogenesis

Arthropods display different mechanisms to protect themselves against infections, among which antimicrobial peptides (AMPs) play an important role, acting directly against invader pathogens. We have detected several factors with inhibitory activity against Candida albicans and Micrococcus luteus on the surface and in homogenate of eggs of the tick Rhipicephalus (Boophilus) microplus. One of the anti-M. luteus factors of the egg homogenate was isolated to homogeneity. Analysis by electrospray mass spectrometry (ESI-MS) revealed that it corresponds to microplusin, an AMP previously isolated from the cell-free hemolymph of X (B.) microplus. Reverse transcription (RT) quantitative polymerase chain reactions (qPCR) showed that the levels of microplusin mRNA gradually increase along ovary development, reaching an impressive highest value three days after the adult females have dropped from the calf and start oviposition. Interestingly, the level of microplusin mRNA is very low in recently laid eggs. An enhance of microplusin gene expression in eggs is observed only nine days after the onset of oviposition, achieving the highest level just before the larva hatching, when the level of expression decreases once again. Fluorescence microscopy analysis using an anti-microplusin serum revealed that microplusin is present among yolk granules of oocytes as well as in the connecting tube of ovaries. These results, together to our previous data. suggest that microplusin may be involved not only in protection of adult female hemocele, but also in protection of the female reproductive tract and embryos, what points this AMP as a considerable target for development of new methods to control R. (B.) microplus as well as the vector-borne pathogens. (c) 2009 Elsevier Ltd. All rights reserved.

Dynamic Changes in the Mental Rotation Network Revealed by Pattern Recognition Analysis of fMRI Data

We investigated the temporal dynamics and changes in connectivity in the mental rotation network through the application of spatio-temporal support vector machines (SVMs). The spatio-temporal SVM [Mourao-Miranda, J., Friston, K. J., et al. (2007). Dynamic discrimination analysis: A spatial-temporal SVM. Neuroimage, 36, 88-99] is a pattern recognition approach that is suitable for investigating dynamic changes in the brain network during a complex mental task. It does not require a model describing each component of the task and the precise shape of the BOLD impulse response. By defining a time window including a cognitive event, one can use spatio-temporal fMRI observations from two cognitive states to train the SVM. During the training, the SVM finds the discriminating pattern between the two states and produces a discriminating weight vector encompassing both voxels and time (i.e., spatio-temporal maps). We showed that by applying spatio-temporal SVM to an event-related mental rotation experiment, it is possible to discriminate between different degrees of angular disparity (0 degrees vs. 20 degrees, 0 degrees vs. 60 degrees, and 0 degrees vs. 100 degrees), and the discrimination accuracy is correlated with the difference in angular disparity between the conditions. For the comparison with highest accuracy (08 vs. 1008), we evaluated how the most discriminating areas (visual regions, parietal regions, supplementary, and premotor areas) change their behavior over time. The frontal premotor regions became highly discriminating earlier than the superior parietal cortex. There seems to be a parcellation of the parietal regions with an earlier discrimination of the inferior parietal lobe in the mental rotation in relation to the superior parietal. The SVM also identified a network of regions that had a decrease in BOLD responses during the 100 degrees condition in relation to the 0 degrees condition (posterior cingulate, frontal, and superior temporal gyrus). This network was also highly discriminating between the two conditions. In addition, we investigated changes in functional connectivity between the most discriminating areas identified by the spatio-temporal SVM. We observed an increase in functional connectivity between almost all areas activated during the 100 degrees condition (bilateral inferior and superior parietal lobe, bilateral premotor area, and SMA) but not between the areas that showed a decrease in BOLD response during the 100 degrees condition.

Monodic temporal resolution

Until recently, First-Order Temporal Logic (FOTL) has been only partially understood. While it is well known that the full logic has no finite axiomatisation, a more detailed analysis of fragments of the logic was not previously available. However, a breakthrough by Hodkinson et al., identifying a finitely axiomatisable fragment, termed the monodic fragment, has led to improved understanding of FOTL. Yet, in order to utilise these theoretical advances, it is important to have appropriate proof techniques for this monodic fragment.In this paper, we modify and extend the clausal temporal resolution technique, originally developed for propositional temporal logics, to enable its use in such monodic fragments. We develop a specific normal form for monodic formulae in FOTL, and provide a complete resolution calculus for formulae in this form. Not only is this clausal resolution technique useful as a practical proof technique for certain monodic classes, but the use of this approach provides us with increased understanding of the monodic fragment. In particular, we here show how several features of monodic FOTL can be established as corollaries of the completeness result for the clausal temporal resolution method. These include definitions of new decidable monodic classes, simplification of existing monodic classes by reductions, and completeness of clausal temporal resolution in the case of monodic logics with expanding domains, a case with much significance in both theory and practice.

Analysis Of Semi-Distributed And Global Hydrological Models In The Central Tropical Basins Of The Gulf Of Mexico To The Effects Of Extreme Hydrometeorological Phenomena

In the last years extreme hydrometeorological phenomena have increased in number and intensity affecting the inhabitants of various regions, an example of these effects are the central basins of the Gulf of Mexico (CBGM) that they have been affected by 55.2% with floods and especially the state of Veracruz (1999-2013), leaving economic, social and environmental losses. Mexico currently lacks sufficient hydrological studies for the measurement of volumes in rivers, since is convenient to create a hydrological model (HM) suited to the quality and quantity of the geographic and climatic information that is reliable and affordable. Therefore this research compares the semi-distributed hydrological model (SHM) and the global hydrological model (GHM), with respect to the volumes of runoff and achieve to predict flood areas, furthermore, were analyzed extreme hydrometeorological phenomena in the CBGM, by modeling the Hydrologic Modeling System (HEC-HMS) which is a SHM and the Modèle Hydrologique Simplifié à I'Extrême (MOHYSE) which is a GHM, to evaluate the results and compare which model is suitable for tropical conditions to propose public policies for integrated basins management and flood prevention. Thus it was determined the temporal and spatial framework of the analyzed basins according to hurricanes and floods. It were developed the SHM and GHM models, which were calibrated, validated and compared the results to identify the sensitivity to the real model. It was concluded that both models conform to tropical conditions of the CBGM, having MOHYSE further approximation to the real model. Worth mentioning that in Mexico there is not enough information, besides there are no records of MOHYSE use in Mexico, so it can be a useful tool for determining runoff volumes. Finally, with the SHM and the GHM were generated climate change scenarios to develop risk studies creating a risk map for urban planning, agro-hydrological and territorial organization.

RWater – A Cyber Enabled Tool For Hydrologic Modeling And Analysis

Existing distributed hydrologic models are complex and computationally demanding for using as a rapid-forecasting policy-decision tool, or even as a class-room educational tool. In addition, platform dependence, specific input/output data structures and non-dynamic data-interaction with pluggable software components inside the existing proprietary frameworks make these models restrictive only to the specialized user groups. RWater is a web-based hydrologic analysis and modeling framework that utilizes the commonly used R software within the HUBzero cyber infrastructure of Purdue University. RWater is designed as an integrated framework for distributed hydrologic simulation, along with subsequent parameter optimization and visualization schemes. RWater provides platform independent web-based interface, flexible data integration capacity, grid-based simulations, and user-extensibility. RWater uses RStudio to simulate hydrologic processes on raster based data obtained through conventional GIS pre-processing. The program integrates Shuffled Complex Evolution (SCE) algorithm for parameter optimization. Moreover, RWater enables users to produce different descriptive statistics and visualization of the outputs at different temporal resolutions. The applicability of RWater will be demonstrated by application on two watersheds in Indiana for multiple rainfall events.

Functional timing analysis of VLSI circuits containing complex gates

The recent advances in CMOS technology have allowed for the fabrication of transistors with submicronic dimensions, making possible the integration of tens of millions devices in a single chip that can be used to build very complex electronic systems. Such increase in complexity of designs has originated a need for more efficient verification tools that could incorporate more appropriate physical and computational models. Timing verification targets at determining whether the timing constraints imposed to the design may be satisfied or not. It can be performed by using circuit simulation or by timing analysis. Although simulation tends to furnish the most accurate estimates, it presents the drawback of being stimuli dependent. Hence, in order to ensure that the critical situation is taken into account, one must exercise all possible input patterns. Obviously, this is not possible to accomplish due to the high complexity of current designs. To circumvent this problem, designers must rely on timing analysis. Timing analysis is an input-independent verification approach that models each combinational block of a circuit as a direct acyclic graph, which is used to estimate the critical delay. First timing analysis tools used only the circuit topology information to estimate circuit delay, thus being referred to as topological timing analyzers. However, such method may result in too pessimistic delay estimates, since the longest paths in the graph may not be able to propagate a transition, that is, may be false. Functional timing analysis, in turn, considers not only circuit topology, but also the temporal and functional relations between circuit elements. Functional timing analysis tools may differ by three aspects: the set of sensitization conditions necessary to declare a path as sensitizable (i.e., the so-called path sensitization criterion), the number of paths simultaneously handled and the method used to determine whether sensitization conditions are satisfiable or not. Currently, the two most efficient approaches test the sensitizability of entire sets of paths at a time: one is based on automatic test pattern generation (ATPG) techniques and the other translates the timing analysis problem into a satisfiability (SAT) problem. Although timing analysis has been exhaustively studied in the last fifteen years, some specific topics have not received the required attention yet. One such topic is the applicability of functional timing analysis to circuits containing complex gates. This is the basic concern of this thesis. In addition, and as a necessary step to settle the scenario, a detailed and systematic study on functional timing analysis is also presented.

O impacto da utilização da estrutura de listagem em BDR na precificação dos ativos após o evento Agrenco : uma análise em série temporal com quebra estrutural

Este trabalho tem por objetivo verificar o impacto que más práticas na gestão da Agrenco, empresa listada na bolsa de valores brasileira sob a forma de BDRs (Brazilian Depositary Receipts), trouxe para a precificação dos demais ativos listados sob a mesma estrutura. Estudos anteriores, como os de Saudagaran (1988) e Pagano (2001), focaram em temas referentes aos motivos que influenciaram as companhias a listarem suas ações em diferentes bolsas. Entender as conseqüências do evento Agrenco é importante para todos os participantes do mercado financeiro. O estudo contemplou uma amostra das principais empresas listadas sobre a forma de BDRs desde a data de seus IPOs até 26/08/2008. Primeiramente efetuou-se uma análise do comportamento gráfico dos preços dos ativos das BDRs listadas. Posteriormente elaborou-se três regressões múltiplas utilizando-se um modelo de série temporal (modelo AR – auto-regressivo), com análise de quebra estrutural e uso de variável Dummy. A primeira regressão relaciona a variável Agrenco com índices de BDRs constituídos especificamente para este estudo, a segunda inclui uma variável Dummy de intercepto e a terceira combina a variável Dummy de intercepto com uma variável Dummy de inclinação. As regressões têm o objetivo de se averiguar se o evento da Agrenco afetou sistematicamente os preços das ações listadas sob a mesma forma. A maior contribuição do estudo foi verificar que a má prática de gestão na Agrenco, listada sob a forma de BDR, contaminou o retorno de outras empresas que se utilizaram do mesmo veículo como fonte de captação de recursos. Os resultados apontaram, pela análise gráfica, que não houve um descolamento da valorização da maior parte das ações uma semana depois do anúncio dos problemas financeiros da Agrenco em relação a carteira téorica de mercado (IBOVESPA). Entretanto, os resultados dos testes econométricos apontaram que houve impacto do evento Agrenco sobre os retornos das ações listadas sob a forma de BDR.

Temporal causality between the exchange rate and the trade balance : the case of Brazil

The paper assesses the impact of intemational relative prices and domestic expenditure variables on Brazil' s foreign trade performance in the first half of the 1990s. It has been argued that the appreciation of the Real since 1994 has had a detrimental impact of the country's trade balance. However, using temporal precedence analysis, our results do not indicate that the trade balance is strongly affected by intemational rei ative prices, such as the exchange rate. Instead, domestic expenditure variables appear to be more powerful determinant of the country' s trade performance in recent years. Granger and error correction causality techniques are used to determine temporal precedence between the trade balance and the exchange rate in the period under examination. Our findings shed light on the debate over the sustainability of recent exchange rate-anchored macroeconomic stabilisation programmes, which is a topic that has encouraged a lot of debate among academics and practitioners.

Graph analysis of verbal fluency test discriminate between patients with Alzheimer’s disease, Mild Cognitive Impairment and normal elderly controls

Verbal fluency is the ability to produce a satisfying sequence of spoken words during a given time interval. The core of verbal fluency lies in the capacity to manage the executive aspects of language. The standard scores of the semantic verbal fluency test are broadly used in the neuropsychological assessment of the elderly, and different analytical methods are likely to extract even more information from the data generated in this test. Graph theory, a mathematical approach to analyze relations between items, represents a promising tool to understand a variety of neuropsychological states. This study reports a graph analysis of data generated by the semantic verbal fluency test by cognitively healthy elderly (NC), patients with Mild Cognitive Impairment – subtypes amnestic(aMCI) and amnestic multiple domain (a+mdMCI) - and patients with Alzheimer’s disease (AD). Sequences of words were represented as a speech graph in which every word corresponded to a node and temporal links between words were represented by directed edges. To characterize the structure of the data we calculated 13 speech graph attributes (SGAs). The individuals were compared when divided in three (NC – MCI – AD) and four (NC – aMCI – a+mdMCI – AD) groups. When the three groups were compared, significant differences were found in the standard measure of correct words produced, and three SGA: diameter, average shortest path, and network density. SGA sorted the elderly groups with good specificity and sensitivity. When the four groups were compared, the groups differed significantly in network density, except between the two MCI subtypes and NC and aMCI. The diameter of the network and the average shortest path were significantly different between the NC and AD, and between aMCI and AD. SGA sorted the elderly in their groups with good specificity and sensitivity, performing better than the standard score of the task. These findings provide support for a new methodological frame to assess the strength of semantic memory through the verbal fluency task, with potential to amplify the predictive power of this test. Graph analysis is likely to become clinically relevant in neurology and psychiatry, and may be particularly useful for the differential diagnosis of the elderly.

Dinâmica espaço-temporal em uma guilda de borboletas frugívoras no limite norte da floresta atlântica nordestina

The extent of the Brazilian Atlantic rainforest, a global biodiversity hotspot, has been reduced to less than 7% of its original range. Yet, it contains one of the richest butterfly fauna in the world. Butterflies are commonly used as environmental indicators, mostly because of their strict association with host plants, microclimate and resource availability. This research describes diversity, composition and species richness of frugivorous butterflies in a forest fragment in the Brazilian Northeast. It compares communities in different physiognomies and seasons. The climate in the study area is classified as tropical rainy, with two well defined seasons. Butterfly captures were made with 60 Van Someren-Rydon traps, randomly located within six different habitat units (10 traps per unit) that varied from very open (e.g. coconut plantation) to forest interior. Sampling was made between January and December 2008, for five days each month. I captured 12090 individuals from 32 species. The most abundant species were Taygetis laches, Opsiphanes invirae and Hamadryas februa, which accounted for 70% of all captures. Similarity analysis identified two main groups, one of species associated with open or disturbed areas and a second by species associated with shaded areas. There was a strong seasonal component in species composition, with less species and lower abundance in the dry season and more species and higher abundance in the rainy season. K-means analysis indicates that choice of habitat units overestimated faunal perceptions, suggesting less distinct units. The species Taygetis virgilia, Hamadryas chloe, Callicore pygas e Morpho achilles were associated with less disturbed habitats, while Yphthimoides sp, Historis odius, H. acheronta, Hamadryas feronia e Siderone marthesia likey indicate open or disturbed habitats. This research brings important information for conservation of frugivorous butterflies, and will serve as baseline for future projects in environmental monitoring

Estudo comparativo da variação temporal da comunidade fitoplanctônica do açude Cruzeta inserido no bioma caatinga, Rio Grande do Norte

The Cruzeta impoundment, situated in the city of Cruzeta, hinterland of the state of the Rio Grande do Norte state has significant importance to the municipality as it represents the only source of supplying water to the region. It was hypothesized that the regional consequence of the global warming and the warming of surface water could substantially contribute the significant growth of the aquatic macrophytes in the years 2008-2009. The growth of these vegetation believed to be improved the degree of water transparency and as a consequence of the improved growth of phytoplankton species and chlorophyll biomass. At the same time the aquatic macrophyte could interact and compete potentially for the dissolved inorganic nutrients resources and the phytoplankton community. This study presents a comparison of years 2004-2005 when it did not have the expressive presence of the aquatic macrophyte community or restricted to the littoral region. In contrast, the years 2008-2009 showed a significant growth of the aquatic macrophyte in the Cruzeta/RN impoundments. The present study is an attempt to elucidate the significant presence of the aquatic macrophyte, Eichhornia crassipes, Ceratophyllum submersum, Nymphea sp and Pistia sp, and its interference on the ecology of phytoplankton. The samplings had been carried out from September of 2008 to April of 2009 and consistently between 10:00 h and 12:00 h with the aid of Van Dorn bottle and the plankton net of mesh size 20 Qm. The collections were made in three depths ie., surface, mid-column and bottom. The Physical-Chemical parameters such as pH, temperature, electrical conductivity and dissolved oxygen had been analyzed in situ. The samples for analysis of nutrients and chlorophyll were kept under refrigeration for posterior analysis in the laboratory. Phytoplankton samples were preserved in Lugol-iodine and kept for sedimentation for quali-quantitative analysis of phytoplankton. Enumeration of cells, colonies and filaments was done with the aid of Sedgwick-Rafter counting chamber and expressed as numbers/ml. Chlorophyll a was analyzed as a functional component of phytoplankton biomass and extracted with cold 90% acetone. The results indicate that the chlorophyll concentration varied between 5,65-8,08 Qg.L-1 for the dry period and 5,09-6,23 Qg.L-1 for the rainy period and showed considerable reduction when compared to the values to the 2004-2005 study period. The temperature was always presented higher in relation to the 2004-2005 study. Phytoplankton species showed a relative abundance of the Cyanophyceae for both the period of dry and rainy. The predominance species are filamentous Leptolymbya geophila Borzi (Planctolyngbya sp), Anabaena plankctônica Brunnthaler, Oscillatória limosa Ag. and Cylindrospermopsis raciborskii (Wolosz). The concentration of the nutrients such as nitrate and orto-phosfato had always presented higher values during the rainy period and the ammoniacal nitrogen retained moderate values in the dry period and a slight increase in rainy season. The main conclusions are the reduction of the concentration of chlorophyll, diversity of phytoplankton, and the increase in temperature and transparency of the water during the period of the study

Análise da distribuição espaço-temporal de dengue e da infestação larvária no município de Tupã, Estado de São Paulo

INTRODUÇÃO: O vírus da dengue é transmitido pela picada do mosquito Aedes aegypti e, o atual programa de controle não atinge o objetivo de impedir sua transmissão. Este trabalho objetivou analisar a relação entre a distribuição espaço-temporal de casos de dengue e os indicadores larvários no município de Tupã, de janeiro de 2004 a dezembro de 2007. MÉTODOS: Foram construídos indicadores larvários por quarteirão e totalidade do município. Utilizou-se o método cross-lagged correlation para avaliar a correlação entre casos de dengue e indicadores larvários. Foi utilizado estimador kernel para análise espacial. RESULTADOS: A correlação cruzada defasada entre casos de dengue e indicadores larvários foi significativa. Os mapas do estimador Kernel da positividade de recipientes indicam uma distribuição heterogênea, ao longo do período estudado. Nos dois anos de transmissão, a epidemia ocorreu em diferentes regiões. CONCLUSÕES: Não ficou evidenciada relação espacial entre infestação larvária e ocorrência de dengue. A incorporação de técnicas de geoprocessamento e análise espacial no programa, desde que utilizados imediatamente após a realização das atividades, podem contribuir com as ações de controle, indicando os aglomerados espaciais de maior incidência.

Distribuição ambiental e temporal das comunidades de macroalgas de riachos da Serra da Prata, Estado do Paraná, Sul do Brasil

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

Comparison of the Polar S810i monitor and the ECG for the analysis of heart rate variability in the time and frequency domains

The aim of the present study was to compare heart rate variability (HRV) at rest and during exercise using a temporal series obtained with the Polar S810i monitor and a signal from a LYNX® signal conditioner (BIO EMG 1000 model) with a channel configured for the acquisition of ECG signals. Fifteen healthy subjects aged 20.9 ± 1.4 years were analyzed. The subjects remained at rest for 20 min and performed exercise for another 20 min with the workload selected to achieve 60% of submaximal heart rate. RR series were obtained for each individual with a Polar S810i instrument and with an ECG analyzed with a biological signal conditioner. The HRV indices (rMSSD, pNN50, LFnu, HFnu, and LF/HF) were calculated after signal processing and analysis. The unpaired Student t-test and intraclass correlation coefficient were used for data analysis. No statistically significant differences were observed when comparing the values analyzed by means of the two devices for HRV at rest and during exercise. The intraclass correlation coefficient demonstrated satisfactory correlation between the values obtained by the devices at rest (pNN50 = 0.994; rMSSD = 0.995; LFnu = 0.978; HFnu = 0.978; LF/HF = 0.982) and during exercise (pNN50 = 0.869; rMSSD = 0.929; LFnu = 0.973; HFnu = 0.973; LF/HF = 0.942). The calculation of HRV values by means of temporal series obtained from the Polar S810i instrument appears to be as reliable as those obtained by processing the ECG signal captured with a signal conditioner.

Variação temporal e descrição de novas espécies de collembola (arthropoda, hexapoda) em uma área de caatinga do nordeste do Brasil

Collembola is one of the most abundant and diverse group of terrestrial arthropods, being at the base of the food chain operating in the decomposition process. They have a wide distribution in the world and can be found in practically all habitats. The knowledge of this distinctive fauna is still deficient in brazilian territory, especially in semi-arid region. The aim of this study was to investigate which climatic variables may act as predictors of species richness, abundance of individuals and compositional structure of the taxocenose of Collembola over 12 months in an area dominated by semi-arid Caatinga vegetation, northeastern Brazil and describe new species of the genus Seira found, more diverse taxon of Collembola in Brazil. Samples were collected in João Câmara, Rio Grande do Norte. Ten plots of 20 x 20 meters were established and the specimens were collected with collection effort of one hour/people using entomological aspirator. The identification and description of the species was carried out by studying the morphology and chaetotaxy. Was performed a multiple regression analysis between species richness and abundance of individuals with climatic variables. A total of 1231 individuals belonging to 15 species, 12 genera and nine families. The greatest richness and abundance of Collembola were found during the rainy season. The genus Seira was the most abundant. Rainfall explained the temporal variation in species richness and abundance of Collembola in the semi-arid region, which is consistent with the biology of these animals. The populations of Collembola showed grouped distribution. Three new species of Seira were described and illustrated and all show similarities with species already registered in the national territory