917 resultados para Generalized disjunctive programming (GDP)
Resumo:
The University of Reading’s first Massive Open Online Course (MOOC) “Begin Programming: Build your first mobile game” (#FLMobiGame) was offered in Autumn 2013 on the FutureLearn platform. This course used a simple Android game framework to present basic programming concepts to complete beginners. The course attracted wide interest from all age groups. The course presented opportunities and challenges to both participants and educators. While some participants had difficulties accessing content some others had trouble grasping the concepts and applying them in a real program. Managing forums was cumbersome with the limited facilities supported by the Beta-platform. A healthy community was formed around the course with the support of social media. The case study reported here is part of an ongoing research programme exploring participants’ MOOC engagement and experience using a grounded, ethnographical approach.
Resumo:
Autism affects males more than females, giving rise to the idea that the influence of steroid hormones on early fetal brain development may be one important early biological risk factor. Utilizing the Danish Historic Birth Cohort and Danish Psychiatric Central Register, we identified all amniotic fluid samples of males born between 1993 and 1999 who later received ICD-10 (International Classification of Diseases, 10th Revision) diagnoses of autism, Asperger syndrome or PDD-NOS (pervasive developmental disorder not otherwise specified) (n=128) compared with matched typically developing controls. Concentration levels of Δ4 sex steroids (progesterone, 17α-hydroxy-progesterone, androstenedione and testosterone) and cortisol were measured with liquid chromatography tandem mass spectrometry. All hormones were positively associated with each other and principal component analysis confirmed that one generalized latent steroidogenic factor was driving much of the variation in the data. The autism group showed elevations across all hormones on this latent generalized steroidogenic factor (Cohen's d=0.37, P=0.0009) and this elevation was uniform across ICD-10 diagnostic label. These results provide the first direct evidence of elevated fetal steroidogenic activity in autism. Such elevations may be important as epigenetic fetal programming mechanisms and may interact with other important pathophysiological factors in autism.
Resumo:
We consider a generic basic semi-algebraic subset S of the space of generalized functions, that is a set given by (not necessarily countably many) polynomial constraints. We derive necessary and sufficient conditions for an infinite sequence of generalized functions to be realizable on S, namely to be the moment sequence of a finite measure concentrated on S. Our approach combines the classical results about the moment problem on nuclear spaces with the techniques recently developed to treat the moment problem on basic semi-algebraic sets of Rd. In this way, we determine realizability conditions that can be more easily verified than the well-known Haviland type conditions. Our result completely characterizes the support of the realizing measure in terms of its moments. As concrete examples of semi-algebraic sets of generalized functions, we consider the set of all Radon measures and the set of all the measures having bounded Radon–Nikodym density w.r.t. the Lebesgue measure.
Resumo:
The automatic transformation of sequential programs for efficient execution on parallel computers involves a number of analyses and restructurings of the input. Some of these analyses are based on computing array sections, a compact description of a range of array elements. Array sections describe the set of array elements that are either read or written by program statements. These sections can be compactly represented using shape descriptors such as regular sections, simple sections, or generalized convex regions. However, binary operations such as Union performed on these representations do not satisfy a straightforward closure property, e.g., if the operands to Union are convex, the result may be nonconvex. Approximations are resorted to in order to satisfy this closure property. These approximations introduce imprecision in the analyses and, furthermore, the imprecisions resulting from successive operations have a cumulative effect. Delayed merging is a technique suggested and used in some of the existing analyses to minimize the effects of approximation. However, this technique does not guarantee an exact solution in a general setting. This article presents a generalized technique to precisely compute Union which can overcome these imprecisions.
Resumo:
A virtual system that emulates an ARM-based processor machine has been created to replace a traditional hardware-based system for teaching assembly language. The proposed virtual system integrates, in a single environment, all the development tools necessary to deliver introductory or advanced courses on modern assembly language programming. The virtual system runs a Linux operating system in either a graphical or console mode on a Windows or Linux host machine. No software licenses or extra hardware are required to use the virtual system, thus students are free to carry their own ARM emulator with them on a USB memory stick. Institutions adopting this, or a similar virtual system, can also benefit by reducing capital investment in hardware-based development kits and enable distance learning courses.
Resumo:
This letter presents an accurate delay analysis in prioritised wireless sensor networks (WSN). The analysis is an enhancement of the existing analysis proposed by Choobkar and Dilmaghani, which is only applicable to the case where the lower priority nodes always have packets to send in the empty slots of the higher priority node. The proposed analysis is applicable for any pattern of packet arrival, which includes the general case where the lower priority nodes may or may not have packets to send in the empty slots of the higher priority nodes. Evaluation of both analyses showed that the proposed delay analysis has better accuracy over the full range of loads and provides an excellent match to simulation results.
Resumo:
Real estate securities have a number of distinct characteristics that differentiate them from stocks generally. Key amongst them is that under-pinning the firms are both real as well as investment assets. The connections between the underlying macro-economy and listed real estate firms is therefore clearly demonstrated and of heightened importance. To consider the linkages with the underlying macro-economic fundamentals we extract the ‘low-frequency’ volatility component from aggregate volatility shocks in 11 international markets over the 1990-2014 period. This is achieved using Engle and Rangel’s (2008) Spline-Generalized Autoregressive Conditional Heteroskedasticity (Spline-GARCH) model. The estimated low-frequency volatility is then examined together with low-frequency macro data in a fixed-effect pooled regression framework. The analysis reveals that the low-frequency volatility of real estate securities has strong and positive association with most of the macroeconomic risk proxies examined. These include interest rates, inflation, GDP and foreign exchange rates.
Resumo:
There is strong evidence from animal studies that prenatal stress has different effects on male and female offspring. In general, although not always, prenatal stress increases anxiety, depression and stress responses, both hypothalamic–pituitary–adrenal and cardiovascular, in female offspring rather than in male. Males are more likely to show learning and memory deficits. There have been few studies so far in humans which differentiate effects of prenatal stress on male and female psychopathology. Some studies support the animal models, but the evidence is inconsistent. The mediating mechanisms for any sex specific effects are little understood, but there is evidence that placental function can differ depending on the sex of the fetus. We suggest that there may be an evolutionary reason for any sex differences in the long term effects of prenatal stress. In a stressful environment it may be adaptive for females, who are more likely to stay in one place and look after children, to be more vigilant, alert to danger and thus show more stress responsiveness. This can give rise to a more anxious or depressed phenotype. With males it may be more adaptive to go out and explore new environments, compete with other males, and be more aggressive. For this it may help to be less responsive to external stressors. More research is needed into sex differences in the effects of prenatal stress in humans, to test these ideas.
Resumo:
Associations between low birth weight and prenatal anxiety and later psychopathology may arise from programming effects likely to be adaptive under some, but not other, environmental exposures and modified by sex differences. If physiological reactivity, which also confers vulnerability or resilience in an environment-dependent manner, is associated with birth weight and prenatal anxiety, it will be a candidate to mediate the links with psychopathology. From a general population sample of 1,233 first-time mothers recruited at 20 weeks gestation, a sample of 316 stratified by adversity was assessed at 32 weeks and when their infants were aged 29 weeks (N = 271). Prenatal anxiety was assessed by self-report, birth weight from medical records, and vagal reactivity from respiratory sinus arrhythmia during four nonstressful and one stressful (still-face) procedure. Lower birth weight for gestational age predicted higher vagal reactivity only in girls (interaction term, p = .016), and prenatal maternal anxiety predicted lower vagal reactivity only in boys (interaction term, p = .014). These findings are consistent with sex differences in fetal programming, whereby prenatal risks are associated with increased stress reactivity in females but decreased reactivity in males, with distinctive advantages and penalties for each sex.
Resumo:
Background Mothers' self-reported stroking of their infants over the first weeks of life modifies the association between prenatal depression and physiological and emotional reactivity at 7 months, consistent with animal studies of the effects of tactile stimulation. We now investigate whether the effects of maternal stroking persist to 2.5 years. Given animal and human evidence for sex differences in the effects of prenatal stress we compare associations in boys and girls. Method From a general population sample of 1233 first-time mothers recruited at 20 weeks gestation we drew a random sample of 316 for assessment at 32 weeks, stratified by reported inter-partner psychological abuse, a risk indicator for child development. Of these mothers, 243 reported at 5 and 9 weeks how often they stroked their infants, and completed the Child Behavior Checklist (CBCL) at 2.5 years post-delivery. Results There was a significant interaction between prenatal anxiety and maternal stroking in the prediction of CBCL internalizing (p = 0.001) and anxious/depressed scores (p < 0.001). The effects were stronger in females than males, and the three-way interaction prenatal anxiety × maternal stroking × sex of infant was significant for internalizing symptoms (p = 0.003). The interactions arose from an association between prenatal anxiety and internalizing symptoms only in the presence of low maternal stroking. Conclusions The findings are consistent with stable epigenetic effects, many sex specific, reported in animal studies. While epigenetic mechanisms may be underlying the associations, it remains to be established whether stroking affects gene expression in humans.
Resumo:
The effects of data uncertainty on real-time decision-making can be reduced by predicting early revisions to US GDP growth. We show that survey forecasts efficiently anticipate the first-revised estimate of GDP, but that forecasting models incorporating monthly economic indicators and daily equity returns provide superior forecasts of the second-revised estimate. We consider the implications of these findings for analyses of the impact of surprises in GDP revision announcements on equity markets, and for analyses of the impact of anticipated future revisions on announcement-day returns.
Resumo:
Obesity is an escalating threat of pandemic proportions and has risen to such unrivaled prominence in such a short period of time that it has come to define a whole generation in many countries around the globe. The burden of obesity, however, is not equally shared among the population, with certain ethnicities being more prone to obesity than others, while some appear to be resistant to obesity altogether. The reasons behind this ethnic basis for obesity resistance and susceptibility, however, have remained largely elusive. In recent years, much evidence has shown that the level of brown adipose tissue thermogenesis, which augments energy expenditure and is negatively associated with obesity in both rodents and humans, varies greatly between ethnicities. Interestingly, the incidence of low birth weight, which is associated with an increased propensity for obesity and cardiovascular disease in later life, has also been shown to vary by ethnic background. This review serves to reconcile ethnic variations in BAT development and function with ethnic differences in birth weight outcomes to argue that the variation in obesity susceptibility between ethnic groups may have its origins in the in utero programming of BAT development and function as a result of evolutionary adaptation to cold environments.
Resumo:
Balkanisation is a way to describe the breakdown of cross-border banking, as nervous lenders retreat in particular from the more troubled parts of the Eurozone or at least try to isolate operations within national boundaries. It is increasing at the Bank level, however the senior policy makers consider this a negative trend – Mario Draghi, president of the European Central Bank, has talked of the need to “repair this financial fragmentation” and Mark Carney, head of global regulatory body the Financial Stability Board, [and now Governor of the Bank of England] has warned that deglobalising finance will hurt growth and jobs by “reducing financial capacity and systemic resilience”. In this article I would like to examine the impact of banking balkanisation on international trade and provide some initial thoughts about remedies for excessive risk in a banking non-balkanising world.
Resumo:
A generalization of Arakawa and Schubert's convective quasi-equilibrium principle is presented for a closure formulation of mass-flux convection parameterization. The original principle is based on the budget of the cloud work function. This principle is generalized by considering the budget for a vertical integral of an arbitrary convection-related quantity. The closure formulation includes Arakawa and Schubert's quasi-equilibrium, as well as both CAPE and moisture closures as special cases. The formulation also includes new possibilities for considering vertical integrals that are dependent on convective-scale variables, such as the moisture within convection. The generalized convective quasi-equilibrium is defined by a balance between large-scale forcing and convective response for a given vertically-integrated quantity. The latter takes the form of a convolution of a kernel matrix and a mass-flux spectrum, as in the original convective quasi-equilibrium. The kernel reduces to a scalar when either a bulk formulation is adopted, or only large-scale variables are considered within the vertical integral. Various physical implications of the generalized closure are discussed. These include the possibility that precipitation might be considered as a potentially-significant contribution to the large-scale forcing. Two dicta are proposed as guiding physical principles for the specifying a suitable vertically-integrated quantity.