944 resultados para Smartphones -- Programming
Resumo:
Stability of matchings was proved to be a new cooperative equilibrium concept in Sotomayor (Dynamics and equilibrium: essays in honor to D. Gale, 1992). That paper introduces the innovation of treating as multi-dimensional the payoff of a player with a quota greater than one. This is done for the many-to-many matching model with additively separable utilities, for which the stability concept is defined. It is then proved, via linear programming, that the set of stable outcomes is nonempty and it may be strictly bigger than the set of dual solutions and strictly smaller than the core. The present paper defines a general concept of stability and shows that this concept is a natural solution concept, stronger than the core concept, for a much more general coalitional game than a matching game. Instead of mutual agreements inside partnerships, the players are allowed to make collective agreements inside coalitions of any size and to distribute his labor among them. A collective agreement determines the level of labor at which the coalition operates and the division, among its members, of the income generated by the coalition. An allocation specifies a set of collective agreements for each player.
Resumo:
This paper proposes the use of the q-Gaussian mutation with self-adaptation of the shape of the mutation distribution in evolutionary algorithms. The shape of the q-Gaussian mutation distribution is controlled by a real parameter q. In the proposed method, the real parameter q of the q-Gaussian mutation is encoded in the chromosome of individuals and hence is allowed to evolve during the evolutionary process. In order to test the new mutation operator, evolution strategy and evolutionary programming algorithms with self-adapted q-Gaussian mutation generated from anisotropic and isotropic distributions are presented. The theoretical analysis of the q-Gaussian mutation is also provided. In the experimental study, the q-Gaussian mutation is compared to Gaussian and Cauchy mutations in the optimization of a set of test functions. Experimental results show the efficiency of the proposed method of self-adapting the mutation distribution in evolutionary algorithms.
Resumo:
The Ordos Plateau in China is covered with up to 300,000 ha of peashrub (Caragana) which is the dominant natural vegetation and ideal for fodder production. To exploit peashrub fodder, it is crucially important to optimize the culture conditions, especially culture substrate to produce pectinase complex. In this study, a new prescription process was developed. The process, based on a uniform experimental design, first optimizes the solid substrate and second, after incubation, applies two different temperature treatments (30 degrees C for the first 30 h and 23 degrees C for the second 42 h) in the fermentation process. A multivariate regression analysis is applied to a number of independent variables (water, wheat bran, rice dextrose, ammonium sulfate, and Tween 80) to develop a predictive model of pectinase activity. A second-degree polynomial model is developed which accounts for an excellent proportion of the explained variation (R-2 = 97.7%). Using unconstrained mathematical programming, an optimized substrate prescription for pectinase production is subsequently developed. The mathematical analysis revealed that the optimal formula for pectinase production from Aspergillus niger by solid fermentation under the conditions of natural aeration, natural substrate pH (about 6.5), and environmental humidity of 60% is rice dextrose 8%, wheat bran 24%, ammonium sulfate ((NH4)(2)SO4) 6%, and water 61%. Tween 80 was found to have a negative effect on the production of pectinase in solid substrate. With this substrate prescription, pectinase produced by solid fermentation of A. niger reached 36.3IU/(gDM). Goats fed on the pectinase complex obtain an incremental increase of 0.47 kg day(-1) during the initial 25 days of feeding, which is a very promising new feeding prospect for the local peashrub. It is concluded that the new formula may be very useful for the sustainable development of and and semiarid pastures such as those of the Ordos Plateau. (c) 2005 Elsevier Inc. All rights reserved.
Resumo:
Electrical impedance tomography is a technique to estimate the impedance distribution within a domain, based on measurements on its boundary. In other words, given the mathematical model of the domain, its geometry and boundary conditions, a nonlinear inverse problem of estimating the electric impedance distribution can be solved. Several impedance estimation algorithms have been proposed to solve this problem. In this paper, we present a three-dimensional algorithm, based on the topology optimization method, as an alternative. A sequence of linear programming problems, allowing for constraints, is solved utilizing this method. In each iteration, the finite element method provides the electric potential field within the model of the domain. An electrode model is also proposed (thus, increasing the accuracy of the finite element results). The algorithm is tested using numerically simulated data and also experimental data, and absolute resistivity values are obtained. These results, corresponding to phantoms with two different conductive materials, exhibit relatively well-defined boundaries between them, and show that this is a practical and potentially useful technique to be applied to monitor lung aeration, including the possibility of imaging a pneumothorax.
Resumo:
The value of a seasonal forecasting system based on phases of the Southern Oscillation was estimated for a representative dryland wheat grower in the vicinity of Goondiwindi. In particular the effects on this estimate of risk attitude and planting conditions were examined. A recursive stochastic programming approach was used to identify the grower's utility-maximising action set in the event of each of the climate patterns over the period 1894-1991 recurring In the imminent season. The approach was repeated with and without use of the forecasts. The choices examined were, at planting, nitrogen application rate and cultivar and, later in the season, choices of proceeding with or abandoning each wheat activity, The value of the forecasting system was estimated as the maximum amount the grower could afford to pay for its use without expected utility being lowered relative to its non use.
Resumo:
The refinement calculus provides a framework for the stepwise development of imperative programs from specifications. In this paper we study a refinement calculus for deriving logic programs. Dealing with logic programs rather than imperative programs has the dual advantages that, due to the expressive power of logic programs, the final program is closer to the original specification, and each refinement step can achieve more. Together these reduce the overall number of derivation steps. We present a logic programming language extended with specification constructs (including general predicates, assertions, and types and invariants) to form a wide-spectrum language. General predicates allow non-executable properties to be included in specifications. Assertions, types and invariants make assumptions about the intended inputs of a procedure explicit, and can be used during refinement to optimize the constructed logic program. We provide a semantics for the extended logic programming language and derive a set of refinement laws. Finally we apply these to an example derivation.
Resumo:
Background: Cannabis is the most used illicit drug in the world, and its use has been associated with prefrontal cortex (PFC) dysfunction, including deficits in executive functions (EF). Considering that EF may influence treatment outcome, it would be interesting to have a brief neuropsychological battery to assess EF in chronic cannabis users (CCU). In the present study, the Frontal Assessment Battery (FAB), a brief, easy to use neuropsychological instrument aimed to evaluate EF, was used to evaluate cognitive functioning of CCU. Methods: We evaluated 107 abstinent CCU with the FAB and compared with 44 controls matched for age, estimated IQ, and years of education. Results: CCU performed poorly as compared to controls (FAB total score = 16.53 vs. 17.09, p .05). CCU had also a poor performance in the Motor Programming subtest (2.47 vs. 2.73, p .05). Conclusion: This study examined effects of cannabis in executive functioning and showed evidence that the FAB is sensitive to detect EF deficits in early abstinent chronic cannabis users. Clinical significance of these findings remains to be investigated in further longitudinal studies. FAB may be useful as a screening instrument to evaluate the necessity for a complete neuropsychological assessment in this population.
Resumo:
Purpose of review This review discusses ovarian reserve tests for ovulation induction and their application in determining fertility capacity, and their current applications to assess risk of natural ovarian failure and to estimate ovarian function after cancer treatment. Recent findings The current arsenal of ovarian reserve tests comprises hormonal markers [basal follicle stimulating hormone, estradiol, inhibin-B, antimullerian hormone (AMH)] and ultrasonographic markers [ovarian volume, antral follicle counts (AFCs)]. These markers have limitations in terms of which test(s) should be used to reliably predict ovarian reserve with regard to accuracy, invasiveness, cost, convenience, and utility. Several studies have correlated sonographic AFCs with serum AMH levels for predicting the ovarian response to ovulation induction protocols during assisted reproduction treatments. Summary Serum AMH levels and AFC are reliable tests for predicting the ovarian response to ovulation induction. However, none of the currently employed tests of ovarian reserve can reliably predict pregnancy after assisted conception. Further, ovarian reserve tests cannot predict the onset of reproductive and hormonal menopause; thus, they should be used with caution for reproductive life-programming counseling. Moreover, there is no evidence to support the use of ovarian reserve tests to estimate the risk of ovarian sufficiency after cancer treatments.
Resumo:
Experimental animal studies have shown that nicotine exposure during gestation alters the expression of fetal hypothalamic neuropeptides involved in the control of appetite. We aimed to determine whether the exposure to maternal smoking during gestation in humans is associated with an altered feeding behavior of the adult offspring. A longitudinal prospective cohort study was conducted including all births from Ribeirao Preto (Sao Paulo, Brazil) between 1978 and 1979. At 24 years of age, a representative random sample was re-evaluated and divided into groups exposed (n = 424) or not (n = 1586) to maternal smoking during gestation. Feeding behavior was analyzed using a food frequency questionnaire. Covariance analysis was used for continuous data and the chi(2) test for categorical data. Results were adjusted for birth weight ratio, body mass index, gender, physical activity and smoking, as well as maternal and subjects` schooling. Individuals exposed to maternal smoking during gestation ate more carbohydrates than proteins (as per the carbohydrate-to-protein ratio) than non-exposed individuals. There were no differences in the consumption of the macronutrients themselves. We propose that this adverse fetal life event programs the individual`s physiology and metabolism persistently, leading to an altered feeding behavior that could contribute to the development of chronic diseases in the long term.
Resumo:
Objective: This study investigates the effects of prenatal lipopolysaccharide (LPS) exposure on the maternal behavior of pregnant rats and the physical development and sexual behavior of their male offspring in adulthood. Methods: For two experiments, pregnant rats were injected with LPS (250 mu g/kg, i.p.) on gestation day (GD) 21. In the first experiment, the maternal behavior (postnatal day, PND, 6) and the dam`s open-field general activity (PND7) were evaluated. In the second experiment, the maternal pre- and postnatal parameters, the pup`s development, the offspring`s sexual behavior in adulthood, and the pup`s organ weights were assessed. Results: Compared to the control group, the LPS-treated dams presented reduced maternal behavior, decreased general activity, a smaller body weight difference between GD21 and PND1, a greater number of perinatal deaths, and smaller litters. For the male pups, LPS treatment resulted in a decreased body weight on PND2, whereas the anogenital distance and the day of testis descent were not modified. The male sexual behavior was impaired by prenatal LPS. Particularly the number of ejaculating animals was reduced. The testis weight was also lower in the prenatally LPS-treated rats than in the control rats. Conclusion: We propose that prenatal LPS exposure on GD21 acts as an imprinting factor that interferes with the programming of brain sexual determination in offspring. Copyright (C) 2009 S. Karger AG, Basel
Resumo:
Immune challenges during neonatal period may permanently program immune responses later in life, including endotoxin fever. We tested the hypothesis that neonatal endotoxin exposure affects stress fever in adult rats. In control rats (treated with saline as neonates; nSal) body temperature peaked similar to 1.5 degrees C during open-field stress, whereas in rats exposed to endotoxin (lipopolysaccharide, LPS) as neonates (nLPS) stress fever was significantly attenuated. Following stress, plasma corticosterone levels significantly increased from 74.29 +/- 7.05 ng ml(-1) to 226.29 +/- 9.87 ng ml(-1) in nSal rats, and from 83.43 +/- 10.31 ng ml(-1) to 324.7 +/- 36.87 ng ml(-1) in nLPS rats. Animals treated with LPS as neonates and adrenalectomized one week before experimentation no longer displayed the attenuated febrile response to stress. This attenuated stress fever caused by an increased corticosterone secretion is likely to be linked to an inhibitory effect of glucocorticoids on cyclooxygenase activity/PGE(2) production in preoptic/anteroventral third ventricular region (AV3V) since stress failed to cause a significant increase in PGE(2) in nLPS rats, and this effect was reverted by adrenalectomy. Altogether, the present results indicate that endogenous glucocorticoids are key modulators of the attenuated stress fever in adult rats treated with LPS as neonates, and they act downregulating PGE(2) production in AV3V. Moreover, our findings also support the notion that neonatal immune stimulus affects programming of stress responses during adulthood, despite the fact that inflammation and stress are two distinct processes mediated largely by different neurobiological mechanisms. (C) 2010 Elsevier B.V. All rights reserved.
Resumo:
Resources can be aggregated both within and between patches. In this article, we examine how aggregation at these different scales influences the behavior and performance of foragers. We developed an optimal foraging model of the foraging behavior of the parasitoid wasp Cotesia rubecula parasitizing the larvae of the cabbage butterfly Pieris rapae. The optimal behavior was found using stochastic dynamic programming. The most interesting and novel result is that the effect of resource aggregation within and between patches depends on the degree of aggregation both within and between patches as well as on the local host density in the occupied patch, but lifetime reproductive success depends only on aggregation within patches. Our findings have profound implications for the way in which we measure heterogeneity at different scales and model the response of organisms to spatial heterogeneity.