Oral manifestations of inflammatory bowel disease: a review based on the observation of six cases

Inflammatory bowel disease (IBD) comprises two chronic, tissue-destructive, clinical entities: Crohn`s disease (CD) and ulcerative colitis (UC), both immunologically based. Bowel symptoms are predominant, but extra-intestinal complications may occur, including involvement of the oral cavity. Oral involvement during IBD includes several types of lesions: the most common are aphthae; uncommon lesions include, among others, pyostomatitis vegetans and granulomatous lesions of CD. Starting with a presentation of six patients with oral manifestations, which were crucial for the final diagnosis of IBD, a review on the subject is presented. Oral involvement in IBD may be previous or simultaneous to the gastrointestinal symptoms. However, in the majority of cases, bowel disease precedes the onset of oral lesions by months or years. In many patients, the intestinal symptoms may be minimal and can go undetected; thus, most authors believe that the bowel must be thoroughly examined in all patients with suspected IBD even in the absence of specific symptoms. Usually, the clinical course of oral lesions is parallel to the activity of IBD; therefore, oral manifestations are a good cutaneous marker of IBD.

Concurreny based transition refinement for the verification of distributed algorithms

We suggest a new notion of behaviour preserving transition refinement based on partial order semantics. This notion is called transition refinement. We introduced transition refinement for elementary (low-level) Petri Nets earlier. For modelling and verifying complex distributed algorithms, high-level (Algebraic) Petri nets are usually used. In this paper, we define transition refinement for Algebraic Petri Nets. This notion is more powerful than transition refinement for elementary Petri nets because it corresponds to the simultaneous refinement of several transitions in an elementary Petri net. Transition refinement is particularly suitable for refinement steps that increase the degree of distribution of an algorithm, e.g. when synchronous communication is replaced by asynchronous message passing. We study how to prove that a replacement of a transition is a transition refinement.

Specification and Evaluation of Safety Properties in a Component-Based Software Engineering Process

Over the past years, component-based software engineering has become an established paradigm in the area of complex software intensive systems. However, many techniques for analyzing these systems for critical properties currently do not make use of the component orientation. In particular, safety analysis of component-based systems is an open field of research. In this chapter we investigate the problems arising and define a set of requirements that apply when adapting the analysis of safety properties to a component-based software engineering process. Based on these requirements some important component-oriented safety evaluation approaches are examined and compared.

Stroke awareness in Brazil - Alarming results in a community-based study

Background and Purpose-Stroke is the leading cause of death in Brazil. This community-based study assessed lay knowledge about stroke recognition and treatment and risk factors for cerebrovascular diseases and activation of emergency medical services in Brazil. Methods-The study was conducted between July 2004 and December 2005. Subjects were selected from the urban population in transit about public places of 4 major Brazilian cities: S (a) over tildeo Paulo, Salvador, Fortaleza, and Ribeir (a) over tildeo Preto. Trained medical students, residents, and neurologists interviewed subjects using a structured, open-ended questionnaire in Portuguese based on a case presentation of a typical patient with acute stroke at home. Results-Eight hundred fourteen subjects were interviewed during the study period (53.9% women; mean age, 39.2 years; age range, 18 to 80 years). There were 28 different Portuguese terms to name stroke. Twenty-two percent did not recognize any warning signs of stroke. Only 34.6% of subjects answered the correct nationwide emergency telephone number in Brazil (# 192). Only 51.4% of subjects would call emergency medical services for a relative with symptoms of stroke. In a multivariate analysis, individuals with higher education called emergency medical services (P=0.038, OR=1.5, 95%, CI: 1.02 to 2.2) and knew at least one risk factor for stroke (P<0.05, OR=2.0, 95% CI: 1.2 to 3.2) more often than those with lower education. Conclusions-Our study discloses alarming lack of knowledge about activation of emergency medical services and availability of acute stroke treatment in Brazil. These findings have implications for public health initiatives in the treatment of stroke and other cardiovascular emergencies.

MDA-based re-engineering with Object-Z

This paper describes a practical application of MDA and reverse engineering based on a domain-specific modelling language. A well defined metamodel of a domain-specific language is useful for verification and validation of associated tools. We apply this approach to SIFA, a security analysis tool. SIFA has evolved as requirements have changed, and it has no metamodel. Hence, testing SIFA’s correctness is difficult. We introduce a formal metamodelling approach to develop a well-defined metamodel of the domain. Initially, we develop a domain model in EMF by reverse engineering the SIFA implementation. Then we transform EMF to Object-Z using model transformation. Finally, we complete the Object-Z model by specifying system behavior. The outcome is a well-defined metamodel that precisely describes the domain and the security properties that it analyses. It also provides a reliable basis for testing the current SIFA implementation and forward engineering its successor.

Feasibility of an evidence-based literature search service for general practitioners

Objective: To test the feasibility of an evidence-based clinical literature search service to help answer general practitioners' (GPs') clinical questions. Design: Two search services supplied GPs who submitted questions with the best available empirical evidence to answer these questions. The GPs provided feedback on the value of the service, and concordance of answers from the two search services was assessed. Setting: Two literature search services (Queensland and Victoria), operating for nine months from February 1999. Main outcome measures: Use of the service; time taken to locate answers; availability of evidence; value of the service to GPs; and consistency of answers from the two services. Results: 58 GPs asked 160 questions (29 asked one, 11 asked five or more). The questions concerned treatment (65%), aetiology (17%), prognosis (13%), and diagnosis (5%). Answering a question took a mean of 3 hours 32 minutes of personnel time (95% Cl, 2.67-3.97); nine questions took longer than 10 hours each to answer, the longest taking 23 hours 30 minutes. Evidence of suitable quality to provide a sound answer was available for 126 (79%) questions. Feedback data for 84 (53%) questions, provided by 42 GPs, showed that they appreciated the service, and asking the questions changed clinical care. There were many minor differences between the answers from the two centres, and substantial differences in the evidence found for 4/14 questions. However, conclusions reached were largely similar, with no or only minor differences for all questions. Conclusions: It is feasible to provide a literature search service, but further assessment is needed to establish its cost effectiveness.