منابع مشابه
Practical Refinement-Type Checking: Thesis Summary
Software development is a complex and error prone task. Programming languages with strong static type systems assist programmers by capturing and checking the fundamental structure of programs in a very intuitive way. Given this success, it is natural to ask: can we capture and check more of the structure of programs? In this work I consider a new approach called refinement-type checking that a...
متن کاملMedical History and Medical Care
that the nursing sisters of a French asylum recognized that a patient's behaviour seemed to be that of an epileptic, but she does notfall. 'Les religieuses me disent: "elle est mechante comme une epileptique, mais elle ne tombe pas." ' The revision has taken into account such concepts as psychomotor epilepsy and temporal lobe epilepsy, 'which were as yet rare or non-existent at the writing of t...
متن کاملHistory of Medical Sciences in Iran
The practice and study of medicine in Persia has a long and prolific history. The ancient Iranian medicine was combined by different medical traditions from Mesopotamia, Egypt, India, China and Greece for more than 4000 years and merged to form what became the nucleus and foundation of medical practice in the European countries in the 13th century. The Iranian academic centers like Jundishapur ...
متن کاملThe medical history of waters and spas, Medical History
In spite of their therapeutic significance for much of human history, mineral waters have been largely ignored by historians of medicine. One suspects that this neglect has to do with the perception that spa medicine has owed more to human credulity than to medical science. This volume of essays suggests that such neglect and dismissal are about to give way to more thoughtful assessment. Althou...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the Royal Society of Medicine
سال: 1968
ISSN: 0035-9157
DOI: 10.1177/003591576806100351