This paper presents an environment that supports the production of instructions, exploiting methodologies and technologies from Human-Computer-Interaction, Natural Language Processing and Software Engineering. In this environment, instructions are automatically generated from task models. The environment includes an interactive tool to build task models, an extensible set of knowledge acquisiti...

shiga toxin-producing escherichia coli (stec) are food-borne pathogens primarily associated with the consumption of contaminated ground beef and are an important food safety concern worldwide. stec has been found to produce a family of related cytotoxins known as shiga toxins (stxs). shiga toxins have been classified into two major classes, stx1 and stx2. a single strains of stec can produce st...

the musculoskeletal disorders cover a large percent of occupational diseases; therefore, in order to protect workers from such disorders, there is a need to evaluate workers positions at work in different industries. in a major furniture manufacture located in tehran, 500 workers were examined. these workers were divided into fourteen working groups, including production lines of water-heater, ...

Plainly, this judgment was prompted by the absence of agreement between the question's subject and verb. Efforts i s plural and 'requires the plural are, not the singular is. Belying its reputation as an effete detail, agreement i s a paradigm case ofwhat syntax does. Fundamentally, syntax ties together words that rep resent elements of nonlinguistic thought. The following example illustrates h...

First-order logic models of security for cryptographicprotocols, based on variants of the Dolev-Yao model, arenow well-established tools. Given that we have checked agiven security protocol π using a given first-order prover,how hard is it to extract a formally checkable proof of it,as required in, e.g., common criteria at evaluation level 7?We demonstrate that this is s...

introduction: extended spectrum beta-lactamase (esbl) producing escherichia coli generate a major problem for clinical therapeutics and epidemiological study. the incidence of esbl producing strains among clinical isolates has been steadily increasing during the past few years, and remains an important cause of failure of therapy with cephalosporins. the aim of this study was to determine the a...