Imagine we have a multi-step process that can be in any of a finite number of states. At any given time the process will be in one of these states, but at the next time-step it transitions to a new state (which may be the same state though now at a different time). If the probabilities of transitioning to the new state are fixed and independent of the present state, then this process is referre...

This paper describes our experiences in defining the processes associated with preparing and administrating chemotherapy and then using those process definitions as the basis for analyses aimed at finding and correcting defects. The work is a collaboration between medical professionals from a major regional cancer center and computer science researchers. The work uses the Little-JIL language to...

introduction: one of the important evaluative indexes of language development is word finding ability. the application of formal assessment tools, such as twf-2, is the most common way of assessing this ability in western countries. there is not any formal assessment tool for assessment of this ability in iran. therefore this study aimed to determine the validity and reliability of persian vers...

The process of making antibodies is costly and time-consuming. Commercial antibodies offer a convenient solution. However, recent concerns have resulted in a National Institutes of Health (NIH) mandate to vigorously test the specificity of antibodies used in publications (http://grants.nih.gov/reproducibility). Currently, there is no standard for validation and reference data that must be provi...

The meaning of concessive connectives like although is notoriously difficult to capture, mainly because these connectives do not contribute to the truth conditions of utterances containing them. In this paper, a Relevance Theoretic account of the meaning of although is given. The connective is analysed as encoding procedural meaning, constraining the inferential side of utterance interpretation...

I i",y rctating binary ccvnc acd thr rio:.as arigir,al!y motivated by the chalnian "actioil a t a distailce." li,emaiklent evtints occuiring in quasars a i d lengt. of measuring ihe Rie~nann curvaably, the theory, withoui an arbitrary I galactic nuclei, has opened a new era lure tensor, an abstract mathematical parameter, made predictions of deparof general-relativity physics. In the object tha...

Many modern molecular labelling techniques result in bright point signals. Signals from molecules that are detected directly inside a cell can be captured by fluorescence microscopy. Signals representing different types of molecules may be randomly distributed in the cells or show systematic patterns, indicating that the corresponding molecules have specific, non-random localisations and functi...