914 resultados para Reactive Probabilistic Automata


Relevância:

20.00% 20.00%

Publicador:

Resumo:

Within the central nervous system (CNS) ciliary neurotrophic factor (CNTF) is expressed by astrocytes where it remains stored as an intracellular protein; its release and function as an extracellular ligand are thought to occur in the event of cellular injury. We find that overexpression of CNTF in transgenic mice recapitulates the glial response to CNS lesion, as does its injection into the uninjured brain. These results demonstrate that CNTF functions as an inducer of reactive gliosis, a condition associated with a number of neurological diseases of the CNS.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

In aerobic organisms, protection against oxidative damage involves the combined action of highly specialized antioxidant enzymes, such as superoxide dismutase (SOD) and catalase. Here we describe the isolation and characterization of another gene in the yeast Saccharomyces cerevisiae that plays a critical role in detoxification of reactive oxygen species. This gene, named ATX1, was originally isolated by its ability to suppress oxygen toxicity in yeast lacking SOD. ATX1 encodes a 8.2-kDa polypeptide exhibiting significant similarity and identity to various bacterial metal transporters. Potential ATX1 homologues were also identified in multicellular eukaryotes, including the plants Arabidopsis thaliana and Oryza sativa and the nematode Caenorhabditis elegans. In yeast cells, ATX1 evidently acts in the transport and/or partitioning of copper, and this role in copper homeostasis appears to be directly relevant to the ATX1 suppression of oxygen toxicity: ATX1 was incapable of compensating for SOD when cells were depleted of exogenous copper. Strains containing a deletion in the chromosomal ATX1 locus were generated. Loss of ATX1 function rendered both mutant and wild-type SOD strains hypersensitive toward paraquat (a generator of superoxide anion) and was also associated with an increased sensitivity toward hydrogen peroxide. Hence, ATX1 protects cells against the toxicity of both superoxide anion and hydrogen peroxide.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Response inhibition is the ability to suppress inadequate but automatically activated, prepotent or ongoing response tendencies. In the framework of motor inhibition, two distinct operating strategies have been described: “proactive” and “reactive” control modes. In the proactive modality, inhibition is recruited in advance by predictive signals, and actively maintained before its enactment. Conversely, in the reactive control mode, inhibition is phasically enacted after the detection of the inhibitory signal. To date, ample evidence points to a core cerebral network for reactive inhibition comprising the right inferior frontal gyrus (rIFG), the presupplementary motor area (pre-SMA) and the basal ganglia (BG). Moreover, fMRI studies showed that cerebral activations during proactive and reactive inhibition largely overlap. These findings suggest that at least part of the neural network for reactive inhibition is recruited in advance, priming cortical regions in preparation for the upcoming inhibition. So far, proactive and reactive inhibitory mechanisms have been investigated during tasks in which the requested response to be stopped or withheld was an “overt” action execution (AE) (i.e., a movement effectively performed). Nevertheless, inhibitory mechanisms are also relevant for motor control during “covert actions” (i.e., potential motor acts not overtly performed), such as motor imagery (MI). MI is the conscious, voluntary mental rehearsal of action representations without any overt movement. Previous studies revealed a substantial overlap of activated motor-related brain networks in premotor, parietal and subcortical regions during overtly executed and imagined movements. Notwithstanding this evidence for a shared set of cerebral regions involved in encoding actions, whether or not those actions are effectively executed, the neural bases of motor inhibition during MI, preventing covert action from being overtly performed, in spite of the activation of the motor system, remain to be fully clarified. Taking into account this background, we performed a high density EEG study evaluating cerebral mechanisms and their related sources elicited during two types of cued Go/NoGo task, requiring the execution or withholding of an overt (Go) or a covert (MI) action, respectively. The EEG analyses were performed in two steps, with different aims: 1) Analysis of the “response phase” of the cued overt and covert Go/NoGo tasks, for the evaluation of reactive inhibitory control of overt and covert actions. 2) Analysis of the “preparatory phase” of the cued overt and covert Go/NoGo EEG datasets, focusing on cerebral activities time-locked to the preparatory signals, for the evaluation of proactive inhibitory mechanisms and their related neural sources. For these purposes, a spatiotemporal analysis of the scalp electric fields was applied on the EEG data recorded during the overt and covert Go/NoGo tasks. The spatiotemporal approach provide an objective definition of time windows for source analysis, relying on the statistical proof that the electric fields are different and thus generated by different neural sources. The analysis of the “response phase” revealed that key nodes of the inhibitory circuit, underpinning inhibition of the overt movement during the NoGo response, were also activated during the MI enactment. In both cases, inhibition relied on the activation of pre-SMA and rIFG, but with different temporal patterns of activation in accord with the intended “covert” or “overt” modality of motor performance. During the NoGo condition, the pre-SMA and rIFG were sequentially activated, pointing to an early decisional role of pre-SMA and to a later role of rIFG in the enactment of inhibitory control of the overt action. Conversely, a concomitant activation of pre-SMA and rIFG emerged during the imagined motor response. This latter finding suggested that an inhibitory mechanism (likely underpinned by the rIFG), could be prewired into a prepared “covert modality” of motor response, as an intrinsic component of the MI enactment. This mechanism would allow the rehearsal of the imagined motor representations, without any overt movement. The analyses of the “preparatory phase”, confirmed in both overt and covert Go/NoGo tasks the priming of cerebral regions pertaining to putative inhibitory network, reactively triggered in the following response phase. Nonetheless, differences in the preparatory strategies between the two tasks emerged, depending on the intended “overt” or “covert” modality of the possible incoming motor response. During the preparation of the overt Go/NoGo task, the cue primed the possible overt response programs in motor and premotor cortex. At the same time, through preactivation of a pre-SMA-related decisional mechanism, it triggered a parallel preparation for the successful response selection and/or inhibition during the subsequent response phase. Conversely, the preparatory strategy for the covert Go/NoGo task was centred on the goal-oriented priming of an inhibitory mechanism related to the rIFG that, being tuned to the instructed covert modality of the motor performance and instantiated during the subsequent MI enactment, allowed the imagined response to remain a potential motor act. Taken together, the results of the present study demonstrate a substantial overlap of cerebral networks activated during proactive recruitment and subsequent reactive enactment of motor inhibition in both overt and covert actions. At the same time, our data show that preparatory cues predisposed ab initio a different organization of the cerebral areas (in particular of the pre-SMA and rIFG) involved with sensorimotor transformations and motor inhibitory control for executed and imagined actions. During the preparatory phases of our cued overt and covert Go/NoGo tasks, the different adopted strategies were tuned to the “how” of the motor performance, reflecting the intended overt and covert modality of the possible incoming action.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Introdução: As doenças cardiovasculares são a principal causa de morte no Brasil e no mundo e apresentam importante contribuição para a carga global de doenças. A dieta tem sido considerada um dos determinantes primários do estado de saúde dos indivíduos, atuando na modulação dos fatores de risco metabólicos para doença cardiovascular. Objetivos: Desenvolver um modelo conceitual para a relação entre fatores de risco metabólicos e investigar sua associação com padrões de dieta de adultos e idosos residentes no município de São Paulo. Métodos: Estudo transversal de base populacional com amostra probabilística de adultos e idosos, residentes em área urbana do município de São Paulo, que participaram do Inquérito de Saúde do Município de São Paulo, realizado em duas fases entre os anos de 2008 e 2011 (estudo ISA Capital 2008). Na primeira fase do estudo, 1.102 adultos e idosos, de ambos os sexos, foram entrevistados no domicílio, por meio da aplicação de questionário estruturado e do recordatório alimentar de 24 horas. Na segunda fase, 642 indivíduos adultos e idosos foram reavaliados quanto ao consumo alimentar por meio da aplicação, por telefone, do segundo recordatório alimentar, e, destes, 592 participaram da coleta domiciliar de amostras de sangue venoso, da medição antropométrica e da aferição da pressão arterial por técnico de enfermagem. Os alimentos relatados em ambos os recordatórios foram agrupados segundo a similaridade do valor nutricional e hábitos alimentares da população, e corrigidos pela variância intrapessoal da ingestão por procedimentos estatísticos da plataforma online Multiple Source Method. Os grupos de alimentos foram analisados por meio de análise fatorial exploratória e confirmatória (manuscrito 1) e por modelos de equações estruturais exploratórios (manuscrito 3), a fim de obter os padrões de dieta. O modelo conceitual da relação entre os fatores de risco metabólicos (leptina sérica, proteína C-reativa de alta sensibilidade sérica, pressão arterial sistólica e diastólica, razão colesterol total/lipoproteína de alta densidade, razão triacilglicerol/lipoproteína de alta densidade, glicemia de jejum plasmática, circunferência da cintura e peso corporal) foi obtido por modelos de equações estruturais estratificados por sexo (manuscrito 2). Por fim, a associação dos padrões de dieta com o modelo conceitual proposto (manuscrito 3) foi investigada por modelos de equações estruturais exploratórios. Índices de qualidade de ajuste foram estimados para avaliar a adequação de todos os modelos. As análises foram realizadas no programa Mplus versão 6.12. Resultados: No manuscrito 1, a análise fatorial exploratória revelou a existência de dois padrões de dieta, os quais apresentaram boa qualidade de ajuste na análise fatorial confirmatória quando aplicados os pontos de corte de cargas fatoriais |0,25| na rotação oblíqua Promax. No manuscrito 2, a relação entre os fatores de risco metabólicos foi diferente entre os sexos. Nas mulheres, a leptina sérica apresentou efeitos indiretos e positivos, mediados pelo peso corporal e pela circunferência da cintura, em todos os fatores de risco avaliados. Já nos homens, a leptina sérica apresentou efeitos diretos e positivos sobre a proteína C-reativa de alta sensibilidade e efeitos indiretos e positivos (mediados pelo peso corporal e pela circunferência da cintura) sobre a razão triacilglicerol/lipoproteína de alta densidade, colesterol total/lipoproteína de alta densidade e glicemia de jejum plasmática. No manuscrito 3, foram obtidos três padrões de dieta, dos quais o Tradicional apresentou relação direta e negativa com a leptina sérica e relação indireta e negativa com o peso corporal e a circunferência da cintura, bem como com os demais fatores de risco metabólicos. Já o padrão Prudente apresentou relação direta e negativa com a pressão arterial sistólica, enquanto o padrão Moderno não se associou aos fatores de risco metabólicos investigados. Conclusão: Diferenças nos padrões de dieta de acordo com o tipo de rotação fatorial empregada foram observadas. A relação entre os fatores de risco metabólicos para doença cardiovascular foi distinta entre homens e mulheres, sendo a leptina um dos possíveis hormônios envolvidos. Os padrões de dieta Tradicional e Prudente associaram-se inversamente com os fatores de risco metabólicos, desempenhando uma importante estratégia de prevenção e controle às doenças cardiovasculares no país.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Reactive power is critical to the operation of the power networks on both safety aspects and economic aspects. Unreasonable distribution of the reactive power would severely affect the power quality of the power networks and increases the transmission loss. Currently, the most economical and practical approach to minimizing the real power loss remains using reactive power dispatch method. Reactive power dispatch problem is nonlinear and has both equality constraints and inequality constraints. In this thesis, PSO algorithm and MATPOWER 5.1 toolbox are applied to solve the reactive power dispatch problem. PSO is a global optimization technique that is equipped with excellent searching capability. The biggest advantage of PSO is that the efficiency of PSO is less sensitive to the complexity of the objective function. MATPOWER 5.1 is an open source MATLAB toolbox focusing on solving the power flow problems. The benefit of MATPOWER is that its code can be easily used and modified. The proposed method in this thesis minimizes the real power loss in a practical power system and determines the optimal placement of a new installed DG. IEEE 14 bus system is used to evaluate the performance. Test results show the effectiveness of the proposed method.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

In this paper we introduce a probabilistic approach to support visual supervision and gesture recognition. Task knowledge is both of geometric and visual nature and it is encoded in parametric eigenspaces. Learning processes for compute modal subspaces (eigenspaces) are the core of tracking and recognition of gestures and tasks. We describe the overall architecture of the system and detail learning processes and gesture design. Finally we show experimental results of tracking and recognition in block-world like assembling tasks and in general human gestures.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Three sets of laboratory column experimental results concerning the hydrogeochemistry of seawater intrusion have been modelled using two codes: ACUAINTRUSION (Chemical Engineering Department, University of Alicante) and PHREEQC (U.S.G.S.). These reactive models utilise the hydrodynamic parameters determined using the ACUAINTRUSION TRANSPORT software and fit the chloride breakthrough curves perfectly. The ACUAINTRUSION code was improved, and the instabilities were studied relative to the discretisation. The relative square errors were obtained using different combinations of the spatial and temporal steps: the global error for the total experimental data and the partial error for each element. Good simulations for the three experiments were obtained using the ACUAINTRUSION software with slight variations in the selectivity coefficients for both sediments determined in batch experiments with fresh water. The cation exchange parameters included in ACUAINTRUSION are those reported by the Gapon convention with modified exponents for the Ca/Mg exchange. PHREEQC simulations performed using the Gains-Thomas convention were unsatisfactory, with the exchange coefficients from the database of PHREEQC (or range), but those determined with fresh water – natural sediment allowed only an approximation to be obtained. For the treated sediment, the adjusted exchange coefficients were determined to improve the simulation and are vastly different from those from the database of PHREEQC or batch experiment values; however, these values fall in an order similar to the others determined under dynamic conditions. Different cation concentrations were simulated using two different software packages; this disparity could be attributed to the defined selectivity coefficients that affect the gypsum equilibrium. Consequently, different calculated sulphate concentrations are obtained using each type of software; a smaller mismatch was predicted using ACUAINTRUSION. In general, the presented simulations by ACUAINTRUSION and PHREEQC produced similar results, making predictions consistent with the experimental data. However, the simulated results are not identical to the experimental data; sulphate (total S) is overpredicted by both models, most likely due to such factors as the kinetics of gypsum, the possible variations in the exchange coefficients due to salinity and the neglect of other processes.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

SLAM is a popular task used by robots and autonomous vehicles to build a map of an unknown environment and, at the same time, to determine their location within the map. This paper describes a SLAM-based, probabilistic robotic system able to learn the essential features of different parts of its environment. Some previous SLAM implementations had computational complexities ranging from O(Nlog(N)) to O(N2), where N is the number of map features. Unlike these methods, our approach reduces the computational complexity to O(N) by using a model to fuse the information from the sensors after applying the Bayesian paradigm. Once the training process is completed, the robot identifies and locates those areas that potentially match the sections that have been previously learned. After the training, the robot navigates and extracts a three-dimensional map of the environment using a single laser sensor. Thus, it perceives different sections of its world. In addition, in order to make our system able to be used in a low-cost robot, low-complexity algorithms that can be easily implemented on embedded processors or microcontrollers are used.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The Patten’s Theory of the Environment, supposes an impotent contribution to the Theoretical Ecology. The hypothesis of the duality of environments, the creaon and genon functions and the three developed propositions are so much of great importance in the field of the Applied Mathematical as Ecology. The authors have undertaken an amplification and revision of this theory, developing the following steps: 1) A theory of processes. 2) A definition of structural and behavioural functions. 3) A probabilistic definition of the environmental functions. In this paper the authors develop the theory of behavioural functions, begin the theory of environmental functions and give a complementary focus to the theory of processes that has been developed in precedent papers.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The electroassisted encapsulation of Single-Walled Carbon Nanotubes was performed into silica matrices (SWCNT@SiO2). This material was used as the host for the potentiostatic growth of polyaniline (PANI) to yield a hybrid nanocomposite electrode, which was then characterized by both electrochemical and imaging techniques. The electrochemical properties of the SWCNT@SiO2-PANI composite material were tested against inorganic (Fe3+/Fe2+) and organic (dopamine) redox probes. It was observed that the electron transfer constants for the electrochemical reactions increased significantly when a dispersion of either SWCNT or PANI was carried out inside of the SiO2 matrix. However, the best results were obtained when polyaniline was grown through the pores of the SWCNT@SiO2 material. The enhanced reversibility of the redox reactions was ascribed to the synergy between the two electrocatalytic components (SWCNTs and PANI) of the composite material.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

For non-negative random variables with finite means we introduce an analogous of the equilibrium residual-lifetime distribution based on the quantile function. This allows us to construct new distributions with support (0, 1), and to obtain a new quantile-based version of the probabilistic generalization of Taylor's theorem. Similarly, for pairs of stochastically ordered random variables we come to a new quantile-based form of the probabilistic mean value theorem. The latter involves a distribution that generalizes the Lorenz curve. We investigate the special case of proportional quantile functions and apply the given results to various models based on classes of distributions and measures of risk theory. Motivated by some stochastic comparisons, we also introduce the “expected reversed proportional shortfall order”, and a new characterization of random lifetimes involving the reversed hazard rate function.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Remaining silicon in SiC-based materials produced via reactive infiltration limits their use in high-temperature applications due to the poor mechanical properties of silicon: low fracture toughness, extreme fragility and creep phenomena above 1000 °C. In this paper SiC–FeSi2 composites are fabricated by reactive infiltration of Si–Fe alloys into porous Cf/C preforms. The resulting materials are SiC/FeSi2 composites, in which remaining silicon is reduced by formation of FeSi2. For the richest Fe alloys (35 wt% Fe) a nominal residual silicon content below 1% has been observed. However this, the relatively poor mechanical properties (bending strength) measured for those resulting materials can be explained by the thermal mismatch of FeSi2 and SiC, which weakens the interface and does even generate new porosity, associated with a debonding phenomenon between the two phases.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Peroxide-mediated reactive extrusion of linear isotactic polypropylene (L-PP) was conducted in the presence of trimethylolpropane trimethacrylate (TMPTMA) and triallyl trimesate (TAM) coagents, using a twin screw extruder. The resulting coagent-modified polypropylenes (CM-PP) had higher viscosities and elasticities, as well as increased crystallization temperature compared to PP reacted only with peroxide (DCP-PP). Additionally, deviations from terminal flow, and strain hardening were observed in PP modified with TAM, signifying the presence of long chain branching (LCB). The CM-PP formulations retained the modulus and tensile strength of the parent L-PP, in spite of their lower molar mass and viscosities, whereas their elongation at break and the impact strength were better. This was attributed to the finer spherulitic structure of these materials, and to the disappearance of the skin-core layer in the injection molded specimens.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The EU’s October summit was dominated by one issue; the migration and refugee crisis, with EU leaders intent on putting on a public display of unity after weeks of bitter arguments, and concentrating on fire-fighting and immediate measures to tackle the most pressing reasons for, and impacts of, the crisis. Longer-term measures to address some of the root causes of increased migratory flows, support for the integration of newly arrived refugees or the introduction of new channels of legal migration, were not discussed. The Summit also spent little time on two issues that had originally been expected to be a key part of the agenda: the forthcoming British referendum on EU membership, where irritation with the slow pace of talks and British vagueness about its demands were in evidence; and the governance of Economic and Monetary Union (EMU), where EU leaders missed another opportunity for a thorough debate about future perspectives on the basis of the ‘Five Presidents’ Report’.