682 resultados para timed automata
Resumo:
The hippocampus participates in multiple functions, including spatial navigation, adaptive timing, and declarative (notably, episodic) memory. How does it carry out these particular functions? The present article proposes that hippocampal spatial and temporal processing are carried out by parallel circuits within entorhinal cortex, dentate gyrus, and CA3 that are variations of the same circuit design. In particular, interactions between these brain regions transform fine spatial and temporal scales into population codes that are capable of representing the much larger spatial and temporal scales that are needed to control adaptive behaviors. Previous models of adaptively timed learning propose how a spectrum of cells tuned to brief but different delays are combined and modulated by learning to create a population code for controlling goal-oriented behaviors that span hundreds of milliseconds or even seconds. Here it is proposed how projections from entorhinal grid cells can undergo a similar learning process to create hippocampal place cells that can cover a space of many meters that are needed to control navigational behaviors. The suggested homology between spatial and temporal processing may clarify how spatial and temporal information may be integrated into an episodic memory.
Resumo:
Constraint programming has emerged as a successful paradigm for modelling combinatorial problems arising from practical situations. In many of those situations, we are not provided with an immutable set of constraints. Instead, a user will modify his requirements, in an interactive fashion, until he is satisfied with a solution. Examples of such applications include, amongst others, model-based diagnosis, expert systems, product configurators. The system he interacts with must be able to assist him by showing the consequences of his requirements. Explanations are the ideal tool for providing this assistance. However, existing notions of explanations fail to provide sufficient information. We define new forms of explanations that aim to be more informative. Even if explanation generation is a very hard task, in the applications we consider, we must manage to provide a satisfactory level of interactivity and, therefore, we cannot afford long computational times. We introduce the concept of representative sets of relaxations, a compact set of relaxations that shows the user at least one way to satisfy each of his requirements and at least one way to relax them, and present an algorithm that efficiently computes such sets. We introduce the concept of most soluble relaxations, maximising the number of products they allow. We present algorithms to compute such relaxations in times compatible with interactivity, achieving this by indifferently making use of different types of compiled representations. We propose to generalise the concept of prime implicates to constraint problems with the concept of domain consequences, and suggest to generate them as a compilation strategy. This sets a new approach in compilation, and allows to address explanation-related queries in an efficient way. We define ordered automata to compactly represent large sets of domain consequences, in an orthogonal way from existing compilation techniques that represent large sets of solutions.
Resumo:
The digestibility and passage of an experimental diet was used to compare the digestive physiology of two Propithecus species: P. verreauxi and P. tattersalli. Though both animals have a similar feeding ecology, the captive status of P. verreauxi is considered more stable than that of P. tattersalli. The test diet included a local tree species, Rhus copallina, at 15% of dry matter intake (DMI) and Mazuri Leafeater Primate Diet at 85% of DMI. The chemical composition of the diet (dry matter basis) was 25% crude protein, 34% neutral detergent fiber (NDF), and 22% acid detergent fiber (ADF) with a gross energy of 4.52 kcal/g. After a 6 week acclimation to the experimental diet, animals were placed in research caging. After a 7 day adjustment period, animals were dosed with chromium mordant and Co-EDTA as markers for digesta passage and all feed refusals and feces were collected at timed intervals for 7 days. Digestibility values, similar for both species, were approximately 65% for dry matter, crude protein, and energy, and 40% and 35% respectively, for NDF and ADF. Transit times (17-18.5 hr) and mean retention times (31-34 hr) were not significantly different between species, and there was no difference between the chromium mordant and Co-EDTA. Serum values for glucose, urea, and non-esterified fatty acids (NEFA) were obtained during four different time periods to monitor nutritional status. While there was no change in serum glucose, serum urea increased over time. The NEFAs increased across all four time periods for P. verreauxi and increased for the first three periods then decreased in the last period for P. tattersalli. Results obtained indicate no difference in digestibility nor digesta passage between species, and that both Propithecus species were similar to other post-gastric folivores.
Resumo:
The ability to manipulate small fluid droplets, colloidal particles and single cells with the precision and parallelization of modern-day computer hardware has profound applications for biochemical detection, gene sequencing, chemical synthesis and highly parallel analysis of single cells. Drawing inspiration from general circuit theory and magnetic bubble technology, here we demonstrate a class of integrated circuits for executing sequential and parallel, timed operations on an ensemble of single particles and cells. The integrated circuits are constructed from lithographically defined, overlaid patterns of magnetic film and current lines. The magnetic patterns passively control particles similar to electrical conductors, diodes and capacitors. The current lines actively switch particles between different tracks similar to gated electrical transistors. When combined into arrays and driven by a rotating magnetic field clock, these integrated circuits have general multiplexing properties and enable the precise control of magnetizable objects.
Resumo:
The caudal dentate nucleus (DN) in lateral cerebellum is connected with two visual/oculomotor areas of the cerebrum: the frontal eye field and lateral intraparietal cortex. Many neurons in frontal eye field and lateral intraparietal cortex produce "delay activity" between stimulus and response that correlates with processes such as motor planning. Our hypothesis was that caudal DN neurons would have prominent delay activity as well. From lesion studies, we predicted that this activity would be related to self-timing, i.e., the triggering of saccades based on the internal monitoring of time. We recorded from neurons in the caudal DN of monkeys (Macaca mulatta) that made delayed saccades with or without a self-timing requirement. Most (84%) of the caudal DN neurons had delay activity. These neurons conveyed at least three types of information. First, their activity was often correlated, trial by trial, with saccade initiation. Correlations were found more frequently in a task that required self-timing of saccades (53% of neurons) than in a task that did not (27% of neurons). Second, the delay activity was often tuned for saccade direction (in 65% of neurons). This tuning emerged continuously during a trial. Third, the time course of delay activity associated with self-timed saccades differed significantly from that associated with visually guided saccades (in 71% of neurons). A minority of neurons had sensory-related activity. None had presaccadic bursts, in contrast to DN neurons recorded more rostrally. We conclude that caudal DN neurons convey saccade-related delay activity that may contribute to the motor preparation of when and where to move.
Resumo:
BACKGROUND: Mechanical and in particular tactile allodynia is a hallmark of chronic pain in which innocuous touch becomes painful. Previous cholera toxin B (CTB)-based neural tracing experiments and electrophysiology studies had suggested that aberrant axon sprouting from touch sensory afferents into pain-processing laminae after injury is a possible anatomical substrate underlying mechanical allodynia. This hypothesis was later challenged by experiments using intra-axonal labeling of A-fiber neurons, as well as single-neuron labeling of electrophysiologically identified sensory neurons. However, no studies have used genetically labeled neurons to examine this issue, and most studies were performed on spinal but not trigeminal sensory neurons which are the relevant neurons for orofacial pain, where allodynia oftentimes plays a dominant clinical role. FINDINGS: We recently discovered that parvalbumin::Cre (Pv::Cre) labels two types of Aβ touch neurons in trigeminal ganglion. Using a Pv::CreER driver and a Cre-dependent reporter mouse, we specifically labeled these Aβ trigeminal touch afferents by timed taxomifen injection prior to inflammation or infraorbital nerve injury (ION transection). We then examined the peripheral and central projections of labeled axons into the brainstem caudalis nucleus after injuries vs controls. We found no evidence for ectopic sprouting of Pv::CreER labeled trigeminal Aβ axons into the superficial trigeminal noci-receptive laminae. Furthermore, there was also no evidence for peripheral sprouting. CONCLUSIONS: CreER-based labeling prior to injury precluded the issue of phenotypic changes of neurons after injury. Our results suggest that touch allodynia in chronic orofacial pain is unlikely caused by ectopic sprouting of Aβ trigeminal afferents.
Resumo:
Exercise can have deleterious effects on the secretion of salivary immunoglobulin A (s-IgA), which appears to be related to perturbations in sympatheticoadrenal activation (Teeuw et al., 2004). Caffeine, commonly used for its ergogenic properties is associated with increased sympathetic nervous system activity, and it has been previously shown that caffeine ingestion before intensive cycling enhances s-IgA responses during exercise (Bishop et al., 2006). Therefore, the aim of the present study was to examine the effect of a performance cereal bar, containing caffeine, before and during prolonged exhaustive cycling on exercise performance and the salivary secretion of IgA, alpha-amylase activity and cortisol. Using a randomised cross-over design and following a 10 – 12 hour overnight fast, 12 trained cyclists, mean (SEM) age: 21(1) yr; height: 179(2) cm; body mass: 73.6(2.5) kg; maximal oxygen uptake, VO2max: 57.9(1.2) completed 2.5 h of cycling at 60%VO2max (with regular water ingestion) on a stationary ergometer, which was followed by a ride to exhaustion at 75% VO2max. Immediately before exercise, and after 55 min and 115 min of exercise participants ingested a 0.9 MJ cereal bar containing 45 g carbohydrate, 5 g protein, 3 g fat and 100 mg of caffeine (CAF) or an isocaloric noncaffeine bar (PLA). Unstimulated timed saliva samples were collected immediately before exercise, after 70 min and 130 min of exercise, and immediately after the exhaustive exercise bout. Saliva was analysed for s-IgA, alpha-amylase activity and cortisol concentration. Saliva flow rates were determined to calculate the s-IgA secretion rate. Data were analysed using a 2-way repeated measures ANOVA and post-hoc t-tests with Holm Bonferroni adjustments applied where appropriate. Time to exhaustion was 35% longer in CAF compared with PLA ((2177 (0.2) vs 1615 (0.16) s; P < 0.05)). Saliva flow rate did not change significantly during the exercise protocol. Exercise was associated with elevations in s-IgA concentration (9% increase), s-IgA secretion rate (24% increase) and alpha-amylase activity (224% increase) post-exhaustion (P < 0.01), but there was no effect of CAF on these responses. Salivary cortisol concentration increased by 64% post-exhaustion in the CAF trial only (P < 0.05), indicating an increase in adrenal activity following caffeine ingestion. Values were 35.7 (5.5) and 19.6 (3.4) nmol/L post-exhaustion for CAF and PLA, respectively. These findings show that ingestion of a caffeine containing cereal bar during prolonged exhaustive cycling enhances endurance performance, increases salivary cortisol secretion post-exhaustion, but does not affect the exercise-induced increases in s-IgA or alpha-amylase activity.
Resumo:
This study investigated the effect of a fed or fasted state on the salivary immunoglobulin A (s-IgA) response to prolonged cycling. Using a randomized, crossover design, 16 active adults (8 men and 8 women) performed 2 hr of cycling on a stationary ergometer at 65% of maximal oxygen uptake on 1 occasion after an overnight fast (FAST) and on another occasion 2 hr after consuming a 2.2-MJ high-carbohydrate meal (FED). Timed, unstimulated whole saliva samples were collected immediately before ingestion of the meal, immediately preexercise, 5 min before cessation of exercise, immediately postexercise, and 1 hr postexercise. The samples were analyzed for s-IgA concentration, osmolality, and cortisol, and saliva flow rates were determined to calculate s-IgA secretion rate. Saliva flow rate decreased by 50% during exercise (p < .05), and s-IgA concentration increased by 42% (p < .05), but s-IgA secretion rate remained unchanged. There was a 37% reduction in s-IgA:osmolality postexercise (p < .05), and salivary cortisol increased by 68% (p < .05). There was no effect of FED vs. FAST on these salivary responses. The s-IgA concentration, secretion rate, and osmolality were found to be significantly lower in women than in men throughout the exercise protocol (p < .05); however, there was no difference between genders in saliva flow rate, s-IgA:osmolality ratio, or cortisol. These data demonstrate that a fed or fasted state 2 hr before exercise does not influence resting s-IgA or the response to prolonged cycling. Furthermore, these results show lower levels of s-IgA and osmolality in women than in men at rest.
Effects of exercise intensity on salivary antimicrobial proteins and markers of stress in active men
Resumo:
In the present study, we assessed the effects of exercise intensity on salivary immunoglobulin A (s-IgA) and salivary lysozyme (s-Lys) and examined how these responses were associated with salivary markers of adrenal activation. Using a randomized design, 10 healthy active men participated in three experimental cycling trials: 50% maximal oxygen uptake (VO2max), 75%VO2max, and an incremental test to exhaustion. The durations of the trials were the same as for a preliminary incremental test to exhaustion (22.3 min, sx = 0.8). Timed, unstimulated saliva samples were collected before exercise, immediately after exercise, and 1 h after exercise. In the incremental exhaustion trial, the secretion rates of both s-IgA and s-Lys were increased. An increase in s-Lys secretion rate was also observed at 75%VO2max. No significant changes in saliva flow rate were observed in any trial. Cycling at 75%VOmax and to exhaustion increased the secretion of alpha-amylase and chromogranin A immediately after exercise; higher cortisol values at 75%VO2max and in the incremental exhaustion trial compared with 50%VO2max were observed 1 h immediately after exercise only. These findings suggest that short-duration, high-intensity exercise increases the secretion rate of s-IgA and s-Lys despite no change in the saliva flow rate. These effects appear to be associated with changes in sympathetic activity and not the hypothalamic - pituitary - adrenal axis.
Resumo:
Heat stress represents one of the major environmental factors that adversely affect the reproductive performance of cattle. In this paper the behavioral adjustments, physical mechanisms and physiological responses to heat loss are described; bos indicus adaptive advantages with respect to bos Taurus, pathophysiology of heat stress and heat stress effects in animal reproduction, both the male and the female.
Resumo:
ate studies(2) and fusion energy research(3,4). Laser-driven implosions of spherical polymer shells have, for example, achieved an increase in density of 1,000 times relative to the solid state(5). These densities are large enough to enable controlled fusion, but to achieve energy gain a small volume of compressed fuel (known as the 'spark') must be heated to temperatures of about 10(8) K (corresponding to thermal energies in excess of 10 keV). In the conventional approach to controlled fusion, the spark is both produced and heated by accurately timed shock waves(4), but this process requires both precise implosion symmetry and a very large drive energy. In principle, these requirements can be significantly relaxed by performing the compression and fast heating separately(6-10); however, this 'fast ignitor' approach(7) also suffers drawbacks, such as propagation losses and deflection of the ultra-intense laser pulse by the plasma surrounding the compressed fuel. Here we employ a new compression geometry that eliminates these problems; we combine production of compressed matter in a laser-driven implosion with picosecond-fast heating by a laser pulse timed to coincide with the peak compression. Our approach therefore permits efficient compression and heating to be carried out simultaneously, providing a route to efficient fusion energy production.
Resumo:
We define a finite-horizon repeated network formation game with consent and study the differences induced by two levels of individual rationality. Perfectly rational players will remain unconnected at the equilibrium, while nonempty equilibrium networks may form when players are assumed to behave as finite automata of limited complexity. We provide structural properties of the sequences of networks which are likely to form in Nash and subgame perfect Nash equilibria of the repeated game. For instance, players can form totally different connected networks at each period or the sequence of networks can exhibit a total order relationship.
Resumo:
Objectives: The main objective of this pilot study was to investigate which standardized functional and physiological test best predicted perceived disability in a single group of 21 individuals diagnosed with osteoarthritis of the hip. Design: Men and women between 60 and 70 years old with osteoarthritis of the hip were selected. If participants passed study criteria, the Western Ontario McMaster University questionnaire (WOMAC), 6 Minute Walk Test (6MWT) and Timed up and Go (TUG), strength testing and aerobic testing were obtained in one single assessment. Results: Regression analysis revealed that wait time, hip abduction strength of the affected side, Aerobic Capacity (VO2 Peak), hip Extension Peak Torque, hip Flexion Peak Torque, TUG and 6MWT were significantly correlated with the WOMAC. Yet, the 6MWT had the highest significant correlation (r = -0.86, p ≤ 0.0001); R2 = 0.75 or 75% with the WOMAC total scores, (r = -0.82, p ≤ 0.0001); R2 = 0.67 or 67% with the WOMAC function and (r = -0.60, p = .002); R2 = 0.36 or 36% with the WOMAC stiffness. While the VO2 Peak revealed the highest significant correlation (r = 0.76, p ≤ .0001); R2 = 0.57 or 57% with the WOMAC pain. Conclusions: The 6MWT and the VO2 Peak seem to be essential functional and physiological assessment tools to determine perceived disability in individuals with hip OA. The perceived disability may provide new or comprehensive knowledge of the disability problems experienced by individuals with osteoarthritis of the hip, and the association of patient perception with objective measures of functional and physiological capacity might strengthen the clinical value of this knowledge.
Resumo:
Quantum-dot Cellular Automata (QCA) technology is a promising potential alternative to CMOS technology. To explore the characteristics of QCA and suitable design methodologies, digital circuit design approaches have been investigated. Due to the inherent wire delay in QCA, pipelined architectures appear to be a particularly suitable design technique. Also, because of the pipeline nature of QCA technology, it is not suitable for complicated control system design. Systolic arrays take advantage of pipelining, parallelism and simple local control. Therefore, an investigation into these architectures in QCA technology is provided in this paper. Two case studies, (a matrix multiplier and a Galois Field multiplier) are designed and analyzed based on both multilayer and coplanar crossings. The performance of these two types of interconnections are compared and it is found that even though coplanar crossings are currently more practical, they tend to occupy a larger design area and incur slightly more delay. A general semi-conductor QCA systolic array design methodology is also proposed. It is found that by applying a systolic array structure in QCA design, significant benefits can be achieved particularly with large systolic arrays, even more so than when applied in CMOS-based technology.
Resumo:
OBJECTIVE - To examine the relationship between retinal vascular geometry parameters and development of incident renal dysfunction in young people with type 1 diabetes. RESEARCH DESIGN AND METHODS - This was a prospective cohort study of 511 adolescents with type 1 diabetes of at least 2 years duration, with normal albumin excretion rate (AER) and no retinopathy at baseline while attending an Australian tertiary-care hospital. AER was quantified using three overnight, timed urine specimen collections and early renal dysfunction was defined as AER >7.5 µg/min. Retinal vascular geometry (including length-to-diameter ratio [LDR] and simple tortuosity [ST]) was quantified from baseline retinal photographs. Generalized estimating equations were used to examine the relationship between incident renal dysfunction and baseline venular LDR and ST, adjusting for age, diabetes duration, glycated hemoglobin (A1C), blood pressure (BP), BMI, and cholesterol. RESULTS - Diabetes duration at baseline was 4.8 (IQR 3.3-7.5) years. After amedian 3.7 (2.3-5.7) years follow-up, 34% of participants developed incident renal dysfunction. In multivariate analysis, higher retinal venular LDR (odds ratio 1.7, 95% CI 1.2-2.4; quartile 4 vs. 1-3) and lower venular ST (1.6, 1.1-2.2; quartile 1 vs. 2-4) predicted incident renal dysfunction. CONCLUSIONS - Retinal venular geometry independently predicted incident renal dysfunction in young people with type 1 diabetes. These noninvasive retinal measures may help to elucidate early mechanistic pathways for microvascular complications. Retinal venular geometry may be a useful tool to identify individuals at high risk of renal disease early in the course of diabetes. © 2012 by the American Diabetes Association.