Control dependence for extended finite state machines

Though there has been nearly three decades of work on program slicing, there has been comparatively little work on slicing for state machines. One of the primary challenges that currently presents a barrier to wider application of state machine slicing is the problem of determining control dependence. We survey existing related definitions, introducing a new definition that subsumes one and extends another. We illustrate that by using this new definition our slices respect Weiser slicing’s termination behaviour. We prove results that clarify the relationships between our definition and older ones, following this up with examples to motivate the need for these differences

Viking Age garden plants from southern Scandinavia: diversity, taphonomy and cultural aspects

Plant finds recovered from archaeological sites in southern Scandinavia dated to the Viking Age reflect the diversity of useful plants that were cultivated and collected. This review presents the results of 14 investigations of deposits that are dated between AD 775 and 1050. The site types are categorized as agrarian, urban, military and burials. Garden plants are unevenly distributed, as the greatest diversity is recorded in features from urban contexts. We argue that taphonomic processes played an important role in the picture displayed. Archaeobotanical research results from neighbouring regions suggest that Viking Age horticulture has its roots in older traditions, and that the spectrum of garden plants is influenced by central and north-western European horticultural customs, which were to a great extent shaped by Roman occupation

Severe odontogenic infections

The document attached has been archived with permission from the Australian Dental Association. An external link to the publisher’s copy is included.Background: Severe odontogenic infections are serious potentially lethal conditions. Following the death of a patient in the authors’ institution this study was initiated to determine the risk factors, management and outcome of a consecutive series of patients. Methods: All patients admitted to the Royal Adelaide Hospital under the care of the Oral and Maxillofacial Surgery Unit with odontogenic infections in calendar year 2003 were investigated. Detailed information relative to their prepresentation history, surgical and anaesthetic management and outcome was obtained and analysed. Results: Forty-eight patients, 32M, 16F, average age 34.5, range 19 to 88 years were treated. All presented with pain and swelling, with 21 (44 per cent) having trismus. Forty-four (92 per cent) were as a result of dental neglect and four (8 per cent) were regular dental patients having endodontic treatment which failed. Of those known to have been treated prior to presentation, most had been on antibiotics. Most patients had aggressive surgical treatment with extraction, surgical drainage, high dose intravenous antibiotics and rehydration. The hospital stay was 3.3 (range 1-16) days. Patients requiring prolonged intubation and high dependency or intensive care (40 per cent) had longer hospitalization. No patient died and all fully recovered. Conclusion: Severe odontogenic infections are a serious risk to the patient’s health and life. Management is primarily surgical with skilled anaesthetic airway management. Antibiotics are required in high intravenous doses as an adjunct and not as a primary treatment.IC Uluibau, T Jaunay and AN Gos

Noninvasive monitoring of myocardial function after surgical and cytostatic therapy in a peritoneal metastasis rat model: assessment with tissue Doppler and non-Doppler 2D strain echocardiography

<p>Abstract</p> <p>Objective</p> <p>We sought to evaluate the impact of different antineoplastic treatment methods on systolic and diastolic myocardial function, and the feasibility estimation of regional deformation parameters with non-Doppler 2D echocardiography in rats.</p> <p>Background</p> <p>The optimal method for quantitative assessment of global and regional ventricular function in rats and the impact of complex oncological multimodal therapy on left- and right-ventricular function in rats remains unclear.</p> <p>Methods</p> <p>90 rats after subperitoneal implantation of syngenetic colonic carcinoma cells underwent different onclogical treatment methods and were diveded into one control group and five treatment groups (with 15 rats in each group): group 1 = control group (without operation and without medication), group 2 = operation group without additional therapy, group 3 = combination of operation and photodynamic therapy, group 4 = operation in combination with hyperthermic intraoperative peritoneal chemotherapy with mitomycine, and group 5 = operation in combination with hyperthermic intraoperative peritoneal chemotherapy with gemcitabine, group 6 = operation in combination with taurolidin i.p. instillation. Echocardiographic examination with estimation of wall thickness, diameters, left ventricular fractional shortening, ejection fraction, early and late diastolic transmitral and myocardial velocities, radial and circumferential strain were performed 3–4 days after therapy.</p> <p>Results</p> <p>There was an increase of LVEDD and LVESD in all groups after the follow-up period (P = 0.0037). Other LV dimensions, FS and EF as well as diastolic mitral filling parameters measured by echocardiography were not significantly affected by the different treatments. Values for right ventricular dimensions and function remained unchanged, whereas circumferential 2D strain of the inferior wall was slightly, but significantly reduced under the treatment (-18.1 ± 2.5 before and -16.2 ± 2.9 % after treatment; P = 0.001) without differences between the single treatment groups.</p> <p>Conclusion</p> <p>It is feasible to assess dimensions, global function, and regional contractility with echocardiography in rats under different oncological therapy. The deformation was decreased under overall treatment without influence by one specific therapy. Therefore, deformation assessment with non-Doppler 2D strain echocardiography is more sensitive than conventional echocardiography for assessing myocardial dysfunction in rats under oncological treatment.</p

Formal verification of safety protocol in train control system

In order to satisfy the safety-critical requirements, the train control system (TCS) often employs a layered safety communication protocol to provide reliable services. However, both description and verification of the safety protocols may be formidable due to the system complexity. In this paper, interface automata (IA) are used to describe the safety service interface behaviors of safety communication protocol. A formal verification method is proposed to describe the safety communication protocols using IA and translate IA model into PROMELA model so that the protocols can be verified by the model checker SPIN. A case study of using this method to describe and verify a safety communication protocol is included. The verification results illustrate that the proposed method is effective to describe the safety protocols and verify deadlocks, livelocks and several mandatory consistency properties. A prototype of safety protocols is also developed based on the presented formally verifying method

Patients with artificial joints: do they need antibiotic cover for dental treatment?

The document attached has been archived with permission from the Australian Dental Association. An external link to the publisher’s copy is included.This study reviews whether patients with artificial joints need antibiotic cover for dental treatment. Generally in Australia the practice has developed of giving most patients with artificial joints antibiotic prophylaxis for a wide range of dental procedures. This is partly on anecdotal grounds, partly historical and partly for legal concerns. It has been encouraged by some guidelines. Scientifically, the risk and the benefit of each step in the process needs to be analysed. This review shows that the risk of an artificial joint becoming infected from a bacteraemia of oral origin is exceedingly low whereas the risk of an adverse reaction to the antibiotic prophylaxis is higher than the risk of infection. If all patients with artificial joints receive antibiotic prophylaxis then more will die from anaphylaxis than develop infections. Factors which balance the risk benefit are if the patient is seriously immunocompromised, if the joint prosthesis is failing or chronically inflamed and if the dental procedures, such as from extractions and deep periodontal scaling, produce high level bacteraemias. Recommendations to rationalize antibiotic prophylaxis for patients with artificial joints are presented.JF Scott, D Morgan, M Avent, S Graves and AN Gos

The role of beta-lactamase-producing-bacteria in mixed infections

Beta-lactamase-producing bacteria (BLPB) can play an important role in polymicrobial infections. They can have a direct pathogenic impact in causing the infection as well as an indirect effect through their ability to produce the enzyme beta-lactamase. BLPB may not only survive penicillin therapy but can also, as was demonstrated in in vitro and in vivo studies, protect other penicillin-susceptible bacteria from penicillin by releasing the free enzyme into their environment. This phenomenon occurs in upper respiratory tract, skin, soft tissue, surgical and other infections. The clinical, in vitro, and in vivo evidence supporting the role of these organisms in the increased failure rate of penicillin in eradication of these infections and the implication of that increased rate on the management of infections is discussed

Comparing very low birth weight versus very low gestation cohort methods for outcome analysis of high risk preterm infants

© 2017 The Author(s). Background: Compared to very low gestational age (<32 weeks, VLGA) cohorts, very low birth weight (<1500 g; VLBW) cohorts are more prone to selection bias toward small-for-gestational age (SGA) infants, which may impact upon the validity of data for benchmarking purposes. Method: Data from all VLGA or VLBW infants admitted in the 3 Networks between 2008 and 2011 were used. Two-thirds of each network cohort was randomly selected to develop prediction models for mortality and composite adverse outcome (CAO: mortality or cerebral injuries, chronic lung disease, severe retinopathy or necrotizing enterocolitis) and the remaining for internal validation. Areas under the ROC curves (AUC) of the models were compared. Results: VLBW cohort (24,335 infants) had twice more SGA infants (20.4% vs. 9.3%) than the VLGA cohort (29,180 infants) and had a higher rate of CAO (36.5% vs. 32.6%). The two models had equal prediction power for mortality and CAO (AUC 0.83), and similarly for all other cross-cohort validations (AUC 0.81-0.85). Neither model performed well for the extremes of birth weight for gestation (<1500 g and ≥32 weeks, AUC 0.50-0.65; ≥1500 g and <32 weeks, AUC 0.60-0.62). Conclusion: There was no difference in prediction power for adverse outcome between cohorting VLGA or VLBW despite substantial bias in SGA population. Either cohorting practises are suitable for international benchmarking

The thrombotic potential of oral pathogens

In recent times the concept of infectious agents playing a role in cardiovascular disease has attracted much attention. Chronic oral disease such as periodontitis, provides a plausible route for entry of bacteria to the circulation. Upon entry to the circulation, the oral bacteria interact with platelets. It has been proposed that their ability to induce platelet aggregation and support platelet adhesion is a critical step in the pathogenesis of the infection process. Many published studies have demonstrated multiple mechanisms through which oral bacteria are able to bind to and activate platelets. This paper will review the various mechanisms oral bacteria use to interact with platelets

Febrile neutropenia and periodontitis: lessons from a case periodontal treatment in the intervals between chemotherapy cycles for leukemia reduced febrile neutropenia

Oral and systemic infections arising from the oral cavity are significant problems in clinical management of patients undergoing leukemia treatment. However, there is significant disparity in the reported incidences of development of periodontal infections. Evidence is limited to those showing the systemic influence of periodontal infection in neutropenic patients. This study indicated an association between febrile neutropenia (FN) and periodontitis in a case in which periodontal treatment in the intervals between chemotherapy cycles reduced FN in subsequent courses of chemotherapy and hematopoietic transplantation (HCT). Periodontal treatment was performed in a 61-year-old man with advanced periodontitis, who received HCT following three cycles of chemotherapy. After recovery from neutropenia induced by initial chemotherapy, periodontal treatment was performed in each chemotherapy interval period. Following extraction of teeth with severe advanced periodontitis, all teeth were subjected to periodontal pocket curettage and root planning, which are common periodontal treatments to reduce periodontal pockets harboring anaerobic periodontal bacteria, before HCT. Periodontal treatment successfully reduced periodontal pockets from 4.1 +/- 1.5 mm to 3.0 +/- 0.6 mm, which was almost within the healthy range (< 3.0 mm), before HCT. The frequency of FN decreased significantly with increasing cycles of chemotherapy, and decreases in FN corresponded to progress of periodontal treatment. Blood cultures obtained a total of 12 times throughout leukemia treatment were all negative. The observations reported here indicate the importance of periodontal treatment in clinical management of patients undergoing leukemia treatment to prevent FN, although all blood cultures were negative