First-order logic (FOL) is undecidable — that is, no algorithm exists that can decide whether a formula of FOL is valid or not. However, there are various fragments of FOL that are known to be decidable. FO, the two-variable fragment of FOL, is one of such languages [1,2]. FO is a first-order language where formulas have maximally two variables, no function symbols, but possibly do have equalit...

Several models have been proposed for scheduling the preventive maintenance (PM) of complex repairable systems in industry. These are often application-speci"c and some make unrealistic assumptions about stationarity of the process and quality of repairs. We investigate two principal types of general model, which have wider applicability. The "rst considers "xed PM intervals and is based on the...

Within the realm of medicinal chemistry, synthesis plays a pivotal role in any drug research and development endeavor. The ability to design elegant and economical synthetic routes is often a major factor for making a drug a commercial winner. Retrosynthetic analysis/ Synthon disconnection approach, introduced and advanced by Prof. E. J. Corey of Harvard University has served as a powerful driv...

Nowadays in the light of technological, economical and social changes, the problems of overall occupation of people and continuous growth of economy become more important and complex. Continuous development of people’s knowledge and skills, investment in education and vocational training are the main factors stimulating the economical and social development of the state. This paper analysis the...

Recent developments and analysis do prove that any waste management system that does not consider the social aspect does not have a high chance of success. In such cases the decision making process focuses upon technical characteristics, economical aspects and legal compliance. However, public participation in all stages of waste management, from informal status until the acceptance, including ...

CDA is an approach to the analysis of language use that, based on the claims of van Dijk(1995), has a social and ideological approach to discourse. Critical discourse analysis gainssignificance particularly with the analysis of political texts considering their role inestablishing force, identity, and political ideology. This study took an initiative criticalperspective towards the rather under...

this study based on investigation for integration wind power into conventional power system with its impact on fossil fuel generators and their generation management. wind power as environmental friendly energy source can reduce the operational cost of the system due to considering no cost for energizing the generator in comparing with fossil fuel generators. however due to unpredictable nature...