The Event-B method is a formal modelling approach; our interest is the final step, of generating code for concurrent programs, from Event-B. Our Tasking Event-B tool integrates Event-B to facilitate code generation. The theory plug-in allows mathematical extensions to be added to an Event-B development. When working at the implementation level we need to consider how to translate the newly adde...

We compute the 3-point correlation function for a general model of inflation driven by a single, minimally coupled scalar field. Our approach is based on the numerical evaluation of both the perturbation equations and the integrals which contribute to the 3-point function. Consequently, we can analyze models where the potential has a “feature”, in the vicinity of which the slow roll parameters ...

Electric power restructuring offers a major change to the vertically integrated monopoly. The change manifests the main part of engineers’ efforts to reshape the three components of today’s vertically integrated monopoly: generation, distribution and transmission. In a restructured environment, the main tasks of these three components will remain the same as before, however, to comply with ...

A trend of significant increase in municipal solid waste generation has been recorded worldwide. This has been found due to over population growth rate, industrialization, urbanization and economic growth. Consumerism speed has been found very high covering around more then 50% of total population since last decade due to higher economic growth, which has ultimately resulted in increased solid ...

deregulation policy has caused some changes in the concepts of power systems reliability assessment and enhancement. in this paper, generation reliability is considered, and a method for its assessment using intelligent systems is proposed. also, because of power market and generators’ forced outages stochastic behavior, monte carlo simulation is used for reliability evaluation. generation r...

the world health organization quality of life-bref (whoqol-bref) has generally been used for patients, few studies in migrants who move from rural to urban within one country. many studies asserted that social isolation presents a risk to individual health. poor social networks are associated with worse qol. this study examined health-related quality of life (hrqol) and social support in new-ge...

although pregnancy was once thought to protect against psychiatric disorders, gravid and non gravid women have similar risks for major depression, at 10% to 15%. both depression and antidepressant treatment during pregnancy have been associated with risks. few medications have been proved unequivocally safe during pregnancy. although certain antidepressants have not been linked with an increase...