Abstract: Representing objects in a dynamic domain is essential
in commonsense reasoning under some circumstances. Classical logics
and their nonmonotonic consequences, however, are usually not
able to deal with reasoning with dynamic domains due to the fact that
every constant in the logical language denotes some existing object
in the static domain. In this paper, we explore a logical formalization
which allows us to represent nonexisting objects in commonsense
reasoning. A formal system named N-theory is proposed for this
purpose and its possible application in computer security is briefly
discussed.
Abstract: Pakistani doctors (MBBS) are emigrating towards developed countries for professional adjustments. This study aims to highlight causes and consequences of doctors- brain drain from Pakistan. Primary data was collected from Mayo Hospital, Lahore by interviewing doctors (n=100) through systematic random sampling technique. It found that various socio-economic and political conditions are working as push and pull factors for brain drain of doctors in Pakistan. Majority of doctors (83%) declared poor remunerations and professional infrastructure of health department as push factor of doctors- brain drain. 81% claimed that continuous instability in political situation and threats of terrorism are responsible for emigration of doctors. 84% respondents considered fewer opportunities of further studies responsible for their emigration. Brain drain of doctors is affecting health sector-s policies / programs, standard doctor-patient ratios and quality of health services badly.
Abstract: Internet security attack could endanger the privacy of
World Wide Web users and the integrity of their data. The attack can
be carried out on today's most secure systems- browsers, including
Netscape Navigator and Microsoft Internet Explorer. There are too
many types, methods and mechanisms of attack where new attack
techniques and exploits are constantly being developed and
discovered. In this paper, various types of internet security attack
mechanisms are explored and it is pointed out that when different
types of attacks are combined together, network security can suffer
disastrous consequences.
Abstract: Actual load, material characteristics and other
quantities often differ from the design values. This can cause worse
function, shorter life or failure of a civil engineering structure, a
machine, vehicle or another appliance. The paper shows main causes
of the uncertainties and deviations and presents a systematic
approach and efficient tools for their elimination or mitigation of
consequences. Emphasis is put on the design stage, which is most
important for reliability ensuring. Principles of robust design and
important tools are explained, including FMEA, sensitivity analysis
and probabilistic simulation methods. The lifetime prediction of
long-life objects can be improved by long-term monitoring of the
load response and damage accumulation in operation. The condition
evaluation of engineering structures, such as bridges, is often based
on visual inspection and verbal description. Here, methods based on
fuzzy logic can reduce the subjective influences.