871 resultados para propositional linear-time temporal logic


Relevância:

30.00% 30.00%

Publicador:

Resumo:

We analyze the short-time dynamical behavior of a colloidal suspension in a confined geometry. We analyze the relevant dynamical response of the solvent, and derive the temporal behavior of the velocity autocorrelation function, which exhibits an asymptotic negative algebraic decay. We are able to compare quantitatively with theoretical expressions, and analyze the effects of confinement on the diffusive behavior of the suspension.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Aim Identifying climatic niche shifts and their drivers is important to accurately predict the risk of biological invasions. The niches of non-native plants and birds have recently been assessed in large-scale multi-species studies, but such large-scale tests are lacking for non-native reptiles and amphibians (herpetofauna). Furthermore, little is known about the factors contributing to niche shifts when they occur. Based on the occurrence of 71 reptile and amphibian species, we compared native and non-native realized niches in 101 invaded ranges at a worldwide scale and identified the factors that affect niche shifts. Location The world except the Antarctic. Methods We assessed climatic niche dynamics in a gridded environmental space allowing the quantification of niche overlap and expansion into climatic conditions not colonized by the species in their native range. We analyzed the factors affecting niche shifts using a model averaging approach based on generalized linear mixed-effects models. Results Approximately 57% of the invaded ranges (51% for amphibians and 61% for reptiles) showed niche shifts (≥10% expansion in the realized climatic niche). Island endemics, species introduced to Oceania and invaded ranges outside the native biogeographic realm showed a higher proportion of niche shifts. Niche shifts were more likely for species that had smaller native range sizes, were introduced earlier into a new range or invaded areas located at lower latitudes than the native range. Main conclusions The proportion of niche shifts for non-native herpetofauna was higher than those for Holarctic non-native plants and European non-native birds. The 'climate matching hypothesis' should be used with caution for species shifting their niche because it could underestimate the risk of their establishment.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

The choice network revenue management (RM) model incorporates customer purchase behavioras customers purchasing products with certain probabilities that are a function of the offeredassortment of products, and is the appropriate model for airline and hotel network revenuemanagement, dynamic sales of bundles, and dynamic assortment optimization. The underlyingstochastic dynamic program is intractable and even its certainty-equivalence approximation, inthe form of a linear program called Choice Deterministic Linear Program (CDLP) is difficultto solve in most cases. The separation problem for CDLP is NP-complete for MNL with justtwo segments when their consideration sets overlap; the affine approximation of the dynamicprogram is NP-complete for even a single-segment MNL. This is in contrast to the independentclass(perfect-segmentation) case where even the piecewise-linear approximation has been shownto be tractable. In this paper we investigate the piecewise-linear approximation for network RMunder a general discrete-choice model of demand. We show that the gap between the CDLP andthe piecewise-linear bounds is within a factor of at most 2. We then show that the piecewiselinearapproximation is polynomially-time solvable for a fixed consideration set size, bringing itinto the realm of tractability for small consideration sets; small consideration sets are a reasonablemodeling tradeoff in many practical applications. Our solution relies on showing that forany discrete-choice model the separation problem for the linear program of the piecewise-linearapproximation can be solved exactly by a Lagrangian relaxation. We give modeling extensionsand show by numerical experiments the improvements from using piecewise-linear approximationfunctions.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Aim Species distribution models (SDMs) based on current species ranges underestimate the potential distribution when projected in time and/or space. A multi-temporal model calibration approach has been suggested as an alternative, and we evaluate this using 13,000 years of data. Location Europe. Methods We used fossil-based records of presence for Picea abies, Abies alba and Fagus sylvatica and six climatic variables for the period 13,000 to 1000yr bp. To measure the contribution of each 1000-year time step to the total niche of each species (the niche measured by pooling all the data), we employed a principal components analysis (PCA) calibrated with data over the entire range of possible climates. Then we projected both the total niche and the partial niches from single time frames into the PCA space, and tested if the partial niches were more similar to the total niche than random. Using an ensemble forecasting approach, we calibrated SDMs for each time frame and for the pooled database. We projected each model to current climate and evaluated the results against current pollen data. We also projected all models into the future. Results Niche similarity between the partial and the total-SDMs was almost always statistically significant and increased through time. SDMs calibrated from single time frames gave different results when projected to current climate, providing evidence of a change in the species realized niches through time. Moreover, they predicted limited climate suitability when compared with the total-SDMs. The same results were obtained when projected to future climates. Main conclusions The realized climatic niche of species differed for current and future climates when SDMs were calibrated considering different past climates. Building the niche as an ensemble through time represents a way forward to a better understanding of a species' range and its ecology in a changing climate.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

La Gimnàstica Estètica de Grup (GEG) és un esport emergent del qual no existeix gairebé cap treball de camp i/o publicació. En relació al codi de puntuació d’aquesta modalitat, tant les capacitats de salt com la unitat de moviment del cos i la sincronització entre els membres del conjunt, tenen un pes molt important en la puntuació del valor tècnic i de l’execució. En aquest estudi s’ha realitzat la mesura, avaluació i comparació de les manifestacions de la força explosiva, elàstica i reactiva d’un grup de gimnàstica d’estètica d’alt nivell al principi i al final del període competitiu, mitjançant la bateria de tests de salts verticals de Bosco, concretament SJ, CMJ, CMJas i RJ (15” CMJas). També s’ha analitzat la sincronització i/o coordinació temporal intergrupal d’execució de les dificultats tècniques de salt de les coreografies competitives, al llarg del període competitiu d’un conjunt de gimnàstica estètica d’alt nivell, tenint en compte la sincronització en començar la dificultat i en acabar-la. Els resultats obtinguts demostren que la manifestació de força elàsticoexplosiva en CMJ ha disminuït un 0,46 % i la força explosiva SJ (sense reutilització d'energia elàstica ni aprofitament del reflex miotàtic) ha augmentat un 4,63 %. Durant el període competitiu del conjunt sènior de gimnàstica estètica del Club Muntanyenc Sant Cugat, la influència dels braços en la capacitat de salt ha augmentat un 1,32% i la potència anaeròbica alàctica un 4,76%. Tot i que en la majoria de tests, els resultats han estat positius, no es considera que la mostra hagi assolit una millora significativa, atès que no ha superat el 10% proposat en començar l’estudi, i els valors obtinguts són totalment inestables. S’ha vist que en un mateix test el % de pèrdues i de guanys ha estat molt variat, de manera que no es pot establir una relació de millora de la capacitat de salt en funció de l’entrenament. Pel que fa a la sincronització temporal intergrupal, ha millorat entre un 37,50% (sincronització temps inicial) i un 50,00% (sincronització temps final) en relació a les dificultats tècniques. Fet que és relaciona directament amb l’automatització de mecanismes d’execució al llarg de la temporada competitiva. Tot i així no s’ha igualat o superat la millora d’un 70% proposada per les hipòtesis inicials de l’estudi.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Fresh basil (Ocimum basilicum L.) is used in food, phytotherapic industry, and in traditional therapeutic, due to its essential oil content and composition. Nevertheless basil can not be kept for long periods after harvest and its quality can be reduced. This work aimed to assess the influence of the season and harvest time in the postharvest conservation of basil stored for different periods. Basil was harvested at 8 am and 4 pm both in August/1999 and January/2000. Cuttings were conditioned in PVC packages and stored for 3, 6, and 9 days. During storage, chlorophyll content, essential oil content and composition were determined as well as microbiological analyses were carried out. Harvest season and the days of storage influenced the final content of essential oil. There was a linear decrease in the content of essential oil, in the chlorophyll content and in the number of mold and yeast colonies during storage. There was no effect of cropping season or harvest hour on essential oil composition, but the eugenol and linalool content increased during storage. Coliforms were under 0.3 MPN g-1 and the number of Staphylococcus aureus was under 1.0x10² UFC g-1.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Biometric system performance can be improved by means of data fusion. Several kinds of information can be fused in order to obtain a more accurate classification (identification or verification) of an input sample. In this paper we present a method for computing the weights in a weighted sum fusion for score combinations, by means of a likelihood model. The maximum likelihood estimation is set as a linear programming problem. The scores are derived from a GMM classifier working on a different feature extractor. Our experimental results assesed the robustness of the system in front a changes on time (different sessions) and robustness in front a change of microphone. The improvements obtained were significantly better (error bars of two standard deviations) than a uniform weighted sum or a uniform weighted product or the best single classifier. The proposed method scales computationaly with the number of scores to be fussioned as the simplex method for linear programming.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

It is well known the relationship between source separation and blind deconvolution: If a filtered version of an unknown i.i.d. signal is observed, temporal independence between samples can be used to retrieve the original signal, in the same manner as spatial independence is used for source separation. In this paper we propose the use of a Genetic Algorithm (GA) to blindly invert linear channels. The use of GA is justified in the case of small number of samples, where other gradient-like methods fails because of poor estimation of statistics.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

A fundamental trait of the human self is its continuum experience of space and time. Perceptual aberrations of this spatial and temporal continuity is a major characteristic of schizophrenia spectrum disturbances--including schizophrenia, schizotypal personality disorder and schizotypy. We have previously found the classical Perceptual Aberration Scale (PAS) scores, related to body and space, to be positively correlated with both behavior and temporo-parietal activation in healthy participants performing a task involving self-projection in space. However, not much is known about the relationship between temporal perceptual aberration, behavior and brain activity. To this aim, we composed a temporal Perceptual Aberration Scale (tPAS) similar to the traditional PAS. Testing on 170 participants suggested similar performance for PAS and tPAS. We then correlated tPAS and PAS scores to participants' performance and neural activity in a task of self-projection in time. tPAS scores correlated positively with reaction times across task conditions, as did PAS scores. Evoked potential mapping and electrical neuroimaging showed self-projection in time to recruit a network of brain regions at the left anterior temporal cortex, right temporo-parietal junction, and occipito-temporal cortex, and duration of activation in this network positively correlated with tPAS and PAS scores. These data demonstrate that schizotypal perceptual aberrations of both time and space, as reflected by tPAS and PAS scores, are positively correlated with performance and brain activation during self-projection in time in healthy individuals along the schizophrenia spectrum.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Recent multisensory research has emphasized the occurrence of early, low-level interactions in humans. As such, it is proving increasingly necessary to also consider the kinds of information likely extracted from the unisensory signals that are available at the time and location of these interaction effects. This review addresses current evidence regarding how the spatio-temporal brain dynamics of auditory information processing likely curtails the information content of multisensory interactions observable in humans at a given latency and within a given brain region. First, we consider the time course of signal propagation as a limitation on when auditory information (of any kind) can impact the responsiveness of a given brain region. Next, we overview the dual pathway model for the treatment of auditory spatial and object information ranging from rudimentary to complex environmental stimuli. These dual pathways are considered an intrinsic feature of auditory information processing, which are not only partially distinct in their associated brain networks, but also (and perhaps more importantly) manifest only after several tens of milliseconds of cortical signal processing. This architecture of auditory functioning would thus pose a constraint on when and in which brain regions specific spatial and object information are available for multisensory interactions. We then separately consider evidence regarding mechanisms and dynamics of spatial and object processing with a particular emphasis on when discriminations along either dimension are likely performed by specific brain regions. We conclude by discussing open issues and directions for future research.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

O objetivo deste trabalho foi avaliar a oscilação dos níveis freáticos em uma bacia hidrográfica, no período seco, e modelar a variabilidade espaço-temporal desses níveis por meio de técnicas geoestatísticas multivariadas. A área de estudo foi o alto da Bacia do Rio Jardim, Distrito Federal. O regime hídrico dessa região é marcado pela sazonalidade, com períodos chuvosos (outubro a abril) e secos (maio a setembro) distintos, que determinam o comportamento dos níveis freáticos. Quanto aos fenômenos com indexação espaço-temporal, a geoestatística propõe soluções pelo modelo linear de co-regionalização, permitindo a quantificação e mapeamento das reservas hídricas subterrâneas. Quantificaram-se o volume perdido de água e o risco associado às estimativas pelas medidas de incerteza, criando-se cenários críticos do volume do aqüífero explorado na seca. Na seca, observou-se decréscimo de água nesse aqüífero. O mapa do quantil 10% indicou áreas favoráveis ao uso da água, em que os níveis freáticos oscilaram menos. O mapa do quantil 90% indicou áreas com grandes oscilações dos níveis freáticos que contribuem mais para drenagem e recarga do aqüífero.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

The computer simulation of reaction dynamics has nowadays reached a remarkable degree of accuracy. Triatomic elementary reactions are rigorously studied with great detail on a straightforward basis using a considerable variety of Quantum Dynamics computational tools available to the scientific community. In our contribution we compare the performance of two quantum scattering codes in the computation of reaction cross sections of a triatomic benchmark reaction such as the gas phase reaction Ne + H2+ %12. NeH++ H. The computational codes are selected as representative of time-dependent (Real Wave Packet [ ]) and time-independent (ABC [ ]) methodologies. The main conclusion to be drawn from our study is that both strategies are, to a great extent, not competing but rather complementary. While time-dependent calculations advantages with respect to the energy range that can be covered in a single simulation, time-independent approaches offer much more detailed information from each single energy calculation. Further details such as the calculation of reactivity at very low collision energies or the computational effort related to account for the Coriolis couplings are analyzed in this paper.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Abstract: The fission yeast Schizosaccharomyces pombe has proven to be an excellent model system for the study of eukaryotic cell cycle control. S. pombe cells are rod-shaped and grow mainly by elongation at their tips. They divide by the means of a centrallyplaced division septum which provides two daughter cells of equal size. S. pombe cytokinesis begins at mitotic entry, when the division site is defined by formation of the contractile acto-myosin ring (CAR). Formation of the division septum is triggered at the end of mitosis by the spindle pole body (SPB) associated septation initiation network (SIN) proteins. SIN signalling requires activation of the GTPase spg1p, whose nucleotide status is regulated by the bipartite GAP byr4pcdc16p. Removal of cdc16p from the SPB during early mitosis is thought to allow priming of the SIN by association of cdc7p with both SPBs. During anaphase cdc7p is retained on the new SPB, which also recruits the kinase sid1 p and cdc14p, while the old SP8 reassembles the byr4-cdc16p GAP and is presumed not to signal; SPB asymmetry persists throughout anaphase. The trigger for inactivation of SIN signalling at the new SPB is unknown. This study has concentrated upon cdc16p. We have undertaken the analysis of the localisation of cdc16p using time-lapse microscopy. We have observed that the localisation of cdc16p is regulated at different transitions. We have shown that cdc16p is removed from the SPB prior to the onset of spindle formation and that it reappears asymmetrically at the beginning of anaphase B. We have also demonstrated that the resetting of the SIN at the new SPB is linked to completion of CAR contraction and septum formation. We propose the existence of a mechanism that monitors cytokinesis and that couples the activity of the SI N with the presence of the CAR. During the biochemical characterization of cdc16p, We have found that it is an unstable protein and that it is subjected to polyubiquitination by the SCF and proteasomal degradation. Together, these observations help to shed new light upon the mechanisms by which cytokinesis is regulated in S. pombe. Résumé: La levure Schizosaccharomyces pombe est un excellent organisme modèle pour l'étude du cycle cellulaire eucaryote. Les cellules S. pombe ont la forme de bâtonnets et croissent par l'allongement de leurs extrémités. Elles se divisent en formant, en leur milieu une paroi cellulaire, appelé septum, permettant ainsi l'obtention de deux cellules filles de même taille. Chez S. pombe, la cytokinèse commence en début de mitose lorsque le site de division est déterminé par la formation d'un anneau d'acto-myosine. Le septum, lui, est formé uniquement en fin de mitose par la contraction de l'anneau d'actomyosine. Cette contraction est sous le contrôle d'un réseau de signalisation cellulaire appelé le «réseau d'initiation de synthèse du septum » ou « septation initiation network » (SIN), qui se situe sur les pôles du fuseau mitotique. L'activation du SIN dépend d'une GTPase appelé spg1p dont le statut nucléotidique dépend des protéines cdclóp et byr4p qui forment un complexe qui favorise l'hydrolyse du GTP en GDP. En début de mitose, cdc16p ne se situe plus sur les poles du fuseau mitotique. La GTPase spg1p se retrouve donc principalement sous sa forme couplée au GTP, ce quí va permettre son interaction avec la kinase cdc7p. Cette protéine ainsi que deux autres kinases sid2p (avec mob1p) et sid1p (avec cdc14p) permettent la transmission du signal d'initiation de la contraction de l'anneau d'acto-myosine en fin d'anaphase. Pendant l'anaphase, cdc7p, sid1 p et cdc14p localisent sur un des deux pôles du fuseau mitotique. Il en est de même pour cdc1p et by14p et le pôle contenant cdc16p et byr4p est toujours différent de celui ou les régulateurs positifs du SIN se situent. En fin de cytokinèse, cdc16 et byr4p se retrouvent à nouveau sur chaque pôle des deux cellules filles. Dans cette étude, nous nous sommes concentrés sur l'analyse de la localisation de cdc16p pendant la mitose en utilisant une technique de microscopie en temps réel. Nous avons été en mesure de déterminer que le départ de cdc16p du pole s'effectue juste avant la formation du fuseau mitotique. Nous avons aussi découvert que la localisation asymétrique des composants du SIN dépend fortement de l'entrée en anaphase B. Finalement, Nous avons montré que distribution asymétrique des composants du SIN sur les pôles du fuseau mitotique dépendait aussi fortement de !a présence de l'anneau d'acto-myosine. Ceci nous permet donc de proposer l'existence d'un mécanisme cellulaire qui permet de s'assurer que la cytokinèse est achevée avant de diminuer la signalisation du SIN. Par ailleurs, des études biochimiques nous ont permis de montrer que cdc16p est dégradé par le proteosome. Ces travaux ont permis la découverte de nouveaux modes de régulation du SIN.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

A simple method using liquid chromatography-linear ion trap mass spectrometry for simultaneous determination of testosterone glucuronide (TG), testosterone sulfate (TS), epitestosterone glucuronide (EG) and epitestosterone sulfate (ES) in urine samples was developed. For validation purposes, a urine containing no detectable amount of TG, TS and EG was selected and fortified with steroid conjugate standards. Quantification was performed using deuterated testosterone conjugates to correct for ion suppression/enhancement during ESI. Assay validation was performed in terms of lower limit of detection (1-3ng/mL), recovery (89-101%), intraday precision (2.0-6.8%), interday precision (3.4-9.6%) and accuracy (101-103%). Application of the method to short-term stability testing of urine samples at temperature ranging from 4 to 37 degrees C during a time-storage of a week lead to the conclusion that addition of sodium azide (10mg/mL) is required for preservation of the analytes.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

The objective of this study was to adapt a nonlinear model (Wang and Engel - WE) for simulating the phenology of maize (Zea mays L.), and to evaluate this model and a linear one (thermal time), in order to predict developmental stages of a field-grown maize variety. A field experiment, during 2005/2006 and 2006/2007 was conducted in Santa Maria, RS, Brazil, in two growing seasons, with seven sowing dates each. Dates of emergence, silking, and physiological maturity of the maize variety BRS Missões were recorded in six replications in each sowing date. Data collected in 2005/2006 growing season were used to estimate the coefficients of the two models, and data collected in the 2006/2007 growing season were used as independent data set for model evaluations. The nonlinear WE model accurately predicted the date of silking and physiological maturity, and had a lower root mean square error (RMSE) than the linear (thermal time) model. The overall RMSE for silking and physiological maturity was 2.7 and 4.8 days with WE model, and 5.6 and 8.3 days with thermal time model, respectively.