Reading and writing is modelled in CSP using actions containing the symbols ? and !. These reading and writing actions are synchronous and there is a oneto-one relationship between occurrences of pairs of these actions. It is cumbersome to ease the restriction of synchronous execution of the read and write actions. For this reason we introduce the half-asynchronous parallel operator that acts o...

The classic readers-writers problem has been extensively studied. This holds to a lesser degree for the reentrant version, where it is allowed to nest locking actions. Such nesting is useful when a library is created with various procedures that each start and end with a lock. Allowing nesting makes it possible for these procedures to call each other. We considered an existing widely used indus...

Since the writer identification plays an important investigative and forensic role in many types of crime, various automatic techniques, feature extraction, comparison and performance evaluation methods have been studied (see [1] for the extensive survey). It has been practiced based on the hypothesis that people’s handwritings are as distinctly different from one another as their individual na...

This study attempted to establish an image of a science writer based on a synthesis of writing theory, models, and research literature on academic writing in science and other disciplines and to contrast this image with an actual prototypical image of scientists as writers of science. The synthesis was used to develop a questionnaire to assess scientists’ writing habits, beliefs, strategies, an...

the desire and drive for excellence in any endeavor in life requires an effort from the individual; in addition it requires a constellation of features around such individuals that help them to become successful. for surgeons, it is the operating room staff, the administrative and medical assistants and our residents and fellows. however, perhaps the most important contribution to a physician’s...

extremes and produced a story which is vivid, factual and Convincing. The theme?that of the cause and course of alcoholism ln a personality of refinement?is handled with insight and knowledge, sympathy and toleration, and built up without either sentimentality or sensationalism. Events move quickly but carry conviction, the style is impersonal and the descriptions succinct. To sticklers, the us...

We propose a method for modeling pronunciation variation in the context of spell checking for non-native writers of English. Spell checkers, typically developed for native speakers, fail to address many of the types of spelling errors peculiar to non-native speakers, especially those errors influenced by differences in phonology. Our model of pronunciation variation is used to extend a pronounc...

We present a Haskell library that makes it easy for compiler writers to implement program transformations based on dataflow analyses. The compiler writer must identify (a) a family of logical assertions on which the transformation will be based; (b) an approximate representation of such assertions, which must have a lattice structure such that every assertion can be increased at most finitely m...

BACKGROUND The purpose of this study was to determine how individuals providing reference letters framed the task and the specific attributes used to describe applicants. METHODS Participants were letter writers (N=106) for accepted or alternate applicants. Participants received a brief anonymous survey and a return postcard to release their past letter for content analysis. RESULTS Seventy...

The correlation between phrasal complexity and L2 writers’ writing proficiency has been confirmed by numerous studies, among which the empirical studies on measuring of have attracted much attention in English for academic purposes. Based hypothesized developmental indices noun phrase modifications, this study examines, from corpus-driven approach, linguistic realization abstracts written inter...