97 resultados para TCTL (timed computation tree logic)
Resumo:
Agricultural land use in much of Brong-Ahafo region, Ghana has been shifting from the production of food crops towards increased cashew nut cultivation in recent years. This article explores everyday, less visible, gendered and generational struggles over family farms in West Africa, based on qualitative, participatory research in a rural community that is becoming increasingly integrated into the global capitalist system. As a tree crop, cashew was regarded as an individual man's property to be passed on to his wife and children rather than to extended family members, which differed from the communal land tenure arrangements governing food crop cultivation. The tendency for land, cash crops and income to be controlled by men, despite women's and young people's significant labour contributions to family farms, and for women to rely on food crop production for their main source of income and for household food security, means that women and girls are more likely to lose out when cashew plantations are expanded to the detriment of land for food crops. Intergenerational tensions emerged when young people felt that their parents and elders were neglecting their views and concerns. The research provides important insights into gendered and generational power relations regarding land access, property rights and intra-household decision-making processes. Greater dialogue between genders and generations may help to tackle unequal power relations and lead to shared decision-making processes that build the resilience of rural communities.
Resumo:
Holm oak (Quercus ilex), a widespread urban street tree in the Mediterranean region, is widely used as biomonitor of persistent atmospheric pollutants, especially particulate-bound metals. By using lab- and field-based experimental approaches, we compared the leaf-level capacity for particles’ capture and retention between Q. ilex and other common Mediterranean urban trees: Quercus cerris, Platanus × hispanica, Tilia cordata and Olea europaea. All applied methods were effective in quantifying particulate capture and retention, although not univocal in ranking species performances. Distinctive morphological features of leaves led to differences in species’ ability to trap and retain particles of different size classes and to accumulate metals after exposure to traffic in an urban street. Overall, P. × hispanica and T. cordata showed the largest capture potential per unit leaf area for most model particles (Na+ and powder particles), and street-level Cu and Pb, while Q. ilex acted intermediately. After wash-off experiments, P. × hispanica leaves had the greatest retention capacity among the tested species and O. europaea the lowest. We concluded that the Platanus planting could be considered in Mediterranean urban environments due to its efficiency in accumulating and retaining airborne particulates; however, with atmospheric pollution being typically higher in winter, the evergreen Q. ilex represents a better year-round choice to mitigate the impact of airborne particulate pollutants.
Resumo:
Approximate Bayesian computation (ABC) is a popular family of algorithms which perform approximate parameter inference when numerical evaluation of the likelihood function is not possible but data can be simulated from the model. They return a sample of parameter values which produce simulations close to the observed dataset. A standard approach is to reduce the simulated and observed datasets to vectors of summary statistics and accept when the difference between these is below a specified threshold. ABC can also be adapted to perform model choice. In this article, we present a new software package for R, abctools which provides methods for tuning ABC algorithms. This includes recent dimension reduction algorithms to tune the choice of summary statistics, and coverage methods to tune the choice of threshold. We provide several illustrations of these routines on applications taken from the ABC literature.
Resumo:
Trust and reputation are important factors that influence the success of both traditional transactions in physical social networks and modern e-commerce in virtual Internet environments. It is difficult to define the concept of trust and quantify it because trust has both subjective and objective characteristics at the same time. A well-reported issue with reputation management system in business-to-consumer (BtoC) e-commerce is the “all good reputation” problem. In order to deal with the confusion, a new computational model of reputation is proposed in this paper. The ratings of each customer are set as basic trust score events. In addition, the time series of massive ratings are aggregated to formulate the sellers’ local temporal trust scores by Beta distribution. A logical model of trust and reputation is established based on the analysis of the dynamical relationship between trust and reputation. As for single goods with repeat transactions, an iterative mathematical model of trust and reputation is established with a closed-loop feedback mechanism. Numerical experiments on repeated transactions recorded over a period of 24 months are performed. The experimental results show that the proposed method plays guiding roles for both theoretical research into trust and reputation and the practical design of reputation systems in BtoC e-commerce.
Resumo:
Trust is one of the most important factors that influence the successful application of network service environments, such as e-commerce, wireless sensor networks, and online social networks. Computation models associated with trust and reputation have been paid special attention in both computer societies and service science in recent years. In this paper, a dynamical computation model of reputation for B2C e-commerce is proposed. Firstly, conceptions associated with trust and reputation are introduced, and the mathematical formula of trust for B2C e-commerce is given. Then a dynamical computation model of reputation is further proposed based on the conception of trust and the relationship between trust and reputation. In the proposed model, classical varying processes of reputation of B2C e-commerce are discussed. Furthermore, the iterative trust and reputation computation models are formulated via a set of difference equations based on the closed-loop feedback mechanism. Finally, a group of numerical simulation experiments are performed to illustrate the proposed model of trust and reputation. Experimental results show that the proposed model is effective in simulating the dynamical processes of trust and reputation for B2C e-commerce.