One can use formal approaches either post facto to try to show that a program has desirable properties (main of which is that it satisfies a specification); or one can go for correctness by construction. I not only prefer the latter but I have also argued that this is the main way to get formal methods to pay off: there is more mileage in getting a clean architecture than in trying to debug a b...

Over the decades, the Diagnostic and Statistical Manual of Mental Disorders (DSM) [1] has made very important contributions to the mental health field in the classification of mental illness. However, as the manual is updated, some members of the American Psychiatric Association DSM-V Committee believe the word “addiction” is still too stigmatizing and argue that the term “dependence” should re...

this paper attempted to explore the expectation level of individuals to match themselves with the career offers and their awareness level to make the right decision in choosing right career in an economy of unemployment problems especially among the educated persons. this descriptive analytical research work is done on the basis of perceptions of students of different levels of education. the s...

When cells divide, the chromosomes must be delivered flawlessly to the daughter cells. Missing or extra chromosomes can result in birth defects and cancer. Chance events are the starting point for chromosome delivery, which makes the process prone to error. Errors are avoided by diverse uses of mechanical tension from mitotic forces. Tension stabilizes the proper chromosome configuration, contr...

The lessons of Task Force Hawk and Kosovo have rung loudly in the halls of Congress and the Pentagon. However, the immense difficulty the US Army faced in deploying a capable, warfighting force to northern Albania is only symptomatic of a much larger problem that the Army has grappled with for several decades: how to develop a force light enough to get where it is needed quickly and yet lethal ...

To find out whether the diagnosis of dementia agreed with findings at necropsy a detailed assessment of 27 elderly patients (mean age 82 (range 70-94] presenting with dementia was conducted at a combined department of geriatric medicine and psychiatry for the elderly. On the basis of the results the cause of the dementia was diagnosed clinically. Neuropathological examinations were performed af...