Bone scanning using the 99mTc-phosphate analogs is an established diagnostic modality and a commonly requested radioisotope examination for a variety of pathologies involving the skeleton, such as osteomyelitis, bony metastases, and occult fractures. The bone scan is one of the most commonly requested procedure in most nuclear medicine department. The images show areas of increased and de...

Shared Prolog is a parallel logic language based on the blackboard interpretation of logic programming. In such an interpretation a logic program is seen as a set of rules executed by a set of agents cooperating via a shared working memory called blackboard. A distributed interpreter for Shared Prolog was implemented and described in another paper, where the blackboard was a centralized data st...

Dynamic programs, or xpoint iteration schemes, are useful for solving many problems on state spaces, including model checking on Kripke structures (\veri cation"), computing shortest paths on weighted graphs (\optimization"), computing the value of games played on game graphs (\control"). For Kripke structures, a rich xpoint theory is available in the form of the -calculus. Yet few connections ...

Ultrasound (US) has been excluded from assessment of lung pathology for many decades. In fact, the acoustic characteristics of thoracic structures make them unsuitable for morphological US imaging in most cases. Bone and air are notorious “enemies” of US as they prevent their penetration thus obscuring deeper structures. Lung ultrasound relies on interpretation of many different artifacts and p...

Background and Aims: The interpretation bias which is an important factor in the pathology of social anxiety disorder, has been recently considered in therapeutic approaches. Given the importance of interpretation bias in the treatment of social anxiety, and despite the ambiguity in the relationship between social anxiety and interpretation bias, we compared the interpretation bias in individua...

Dynamic programs, or fixpoint iteration schemes, are useful for solving many problems on state spaces, including model checking on Kripke structures (“verification”), computing shortest paths on weighted graphs (“optimization”), computing the value of games played on game graphs (“control”). For Kripke structures, a rich fixpoint theory is available in the form of the μ-calculus. Yet few connec...

the writer introduces allamah tabatabaee as consenting to the scientific interpretation, and considers the difference of allamah's scientific interpretation with others, in that allamah does not directly make use of science in underestanding and interpreting the verses but first he interprets the verses with the help of other verses, and then take adventage of scientific interpretation, an...