Using coloured petri nets to simulate DoS-resistant protocols

In this work, we examine unbalanced computation between an initiator and a responder that leads to resource exhaustion attacks in key exchange protocols. We construct models for two cryp-tographic protocols; one is the well-known Internet protocol named Secure Socket Layer (SSL) protocol, and the other one is the Host Identity Protocol (HIP) which has built-in DoS-resistant mechanisms. To examine such protocols, we develop a formal framework based on Timed Coloured Petri Nets (Timed CPNs) and use a simulation approach provided in CPN Tools to achieve a formal analysis. By adopting the key idea of Meadows' cost-based framework and re¯ning the de¯nition of operational costs during the protocol execution, our simulation provides an accurate cost estimate of protocol execution compar- ing among principals, as well as the percentage of successful connections from legitimate users, under four di®erent strategies of DoS attack.

Formation of specialized propagules resistant to desiccation and cryopreservation in the threatened moss Ditrichum plumbicola (ditrichales, bryopsida)

Background and Aims Successful cryopreservation of bryophytes is linked to intrinsic desiccation tolerance and survival can be enhanced by pre-treatment with abscisic acid (ABA) and sucrose. The pioneer moss Ditrichum plumbicola is naturally subjected to desiccation in the field but showed unexpectedly low survival of cryopreservation, as well as a poor response to pre-treatment. The effects of the cryopreservation protocol on protonemata of D. plumbicola were investigated in order to explore possible relationships between the production in vitro of cryopreservation-tolerant asexual propagules and the reproductive biology of D. plumbicola in nature. Methods Protonemata were prepared for cryopreservation using a four-step protocol involving encapsulation in sodium alginate, pre-treatment for 2 weeks with ABA and sucrose, desiccation for 6 h and rapid freezing in liquid nitrogen. After each stage, protonemata were prepared for light and electron microscopy and growth on standard medium was monitored. Further samples were prepared for light and electron microscopy at intervals over a 24-h period following removal from liquid nitrogen and re-hydration. Key Results Pre-treatment with ABA and sucrose caused dramatic changes to the protonemata. Growth was arrested and propagules induced with pronounced morphological and cytological changes. Most cells died, but those that survived were characterized by thick, deeply pigmented walls, numerous small vacuoles and lipid droplets in their cytoplasm. Desiccation and cryopreservation elicited no dramatic cytological changes. Cells returned to their pre-dehydration and cryopreservation state within 2 h of re-hydration and/or removal from liquid nitrogen. Regeneration was normal once the ABA/sucrose stimulus was removed. Conclusions The ABA/sucrose pre-treatment induced the formation of highly desiccation- and cryopreservation-tolerant propagules from the protonemata of D. plumbicola. This parallels behaviour in the wild, where highly desiccation-tolerant rhizoids function as perennating organs allowing the moss to endure extreme environmental conditions. An involvement of endogenous ABA in the desiccation tolerance of D. plumbicola is suggested.

The mesenchymal-to-epithelial reverting transition is enriched in metastatic castration resistant prostate cancer and correlates with poor survival

Despite recent recognition that the epithelial-mesenchymal transition (EMT) program acts in a dynamic manner (termed Epithelial to Mesenchymal Plasticity or EMP) during carcinoma metastasis, it has largely been ignored in the discovery and development of EMT-targeted therapies. In part, this has stemmed from a lack of preclinical models that can mimic the full dynamic nature of EMP and the perception that the EMT-reverting transition [or mesenchymal-epithelial reverting transition; (MErT)] is a mere antithesis of EMT. The objective of this study was to develop the first PCa model capable of recapitulating the dynamic nature of EMP.

A non-orthogonal distributed space-time coded protocol - Part 1:Signal model and design criteria

In this two-part series of papers, a generalized non-orthogonal amplify and forward (GNAF) protocol which generalizes several known cooperative diversity protocols is proposed. Transmission in the GNAF protocol comprises of two phases - the broadcast phase and the cooperation phase. In the broadcast phase, the source broadcasts its information to the relays as well as the destination. In the cooperation phase, the source and the relays together transmit a space-time code in a distributed fashion. The GNAF protocol relaxes the constraints imposed by the protocol of Jing and Hassibi on the code structure. In Part-I of this paper, a code design criteria is obtained and it is shown that the GNAF protocol is delay efficient and coding gain efficient as well. Moreover GNAF protocol enables the use of sphere decoders at the destination with a non-exponential Maximum likelihood (ML) decoding complexity. In Part-II, several low decoding complexity code constructions are studied and a lower bound on the Diversity-Multiplexing Gain tradeoff of the GNAF protocol is obtained.

An Empirical Analysis of Heterogeneity in IEEE 802.11 MAC Protocol Implementations and its Implications

Wireless LAN (WLAN) market consists of IEEE 802.11 MAC standard conformant devices (e.g., access points (APs), client adapters) from multiple vendors. Certain third party certifications such as those specified by the Wi-Fi alliance have been widely used by vendors to ensure basic conformance to the 802.11 standard, thus leading to the expectation that the available devices exhibit identical MAC level behavior. In this paper, however, we present what we believe to be the first ever set of experimental results that highlight the fact that WLAN devices from different vendors in the market can have heterogeneous MAC level behavior. Specifically, we demonstrate with examples and data that in certain cases, devices may not be conformant with the 802.11 standard while in other cases, they may differ in significant details that are not a part of mandatory specifications of the standard. We argue that heterogeneous MAC implementations can adversely impact WLAN operations leading to unfair bandwidth allocation, potential break-down of related MAC functionality and difficulties in provisioning the capacity of a WLAN. However, on the positive side, MAC level heterogeneity can be useful in applications such as vendor/model level device fingerprinting.

Biofilm formation by bacteria isolated from retrieved failed prosthetic hip implants in an in vitro model of hip arthroplasty antibiotic prophylaxis

Bacterial infection primarily with Staphylococcus spp. and Propionibacterium acnes remains a significant complication following total hip replacement. In this in vitro study, we investigated the efficacy of gentamicin loading of bone cement and pre- and postoperative administration of cefuroxime in the prevention of biofilm formation by clinical isolates. High and low initial inocula, representative of the number of bacteria that may be present at the operative site as a result of overt infection and skin contamination, respectively, were used. When a high initial inoculum was used, gentamicin loading of the cement did not prevent biofilm formation by the 10 Staphylococcus spp. and the 10 P. acnes isolates tested. Similarly, the use of cefuroxime in the fluid phase with gentamicin-loaded cement did not prevent biofilm formation by four Staphylococcus spp. and four P. acnes isolates tested. However, when a low bacterial inoculum was used, a combination of both gentamicin-loaded cement and cefuroxime prevented biofilm formation by these eight isolates. Our results indicate that this antibiotic combination may protect against infection after intra-operative challenge with bacteria present in low numbers as a result of contamination from the skin but would not protect against bacteria present in high numbers as a result of overt infection of an existing implant.

Propionibacterium acnes and Staphylococcus lugdunensis Cause Pyogenic Osteomyelitis in an Intramedullary Nail Model in Rabbits

Propionibacterium acnes and coagulase-negative staphylococci (CoNS) are opportunistic pathogens implicated in prosthetic joint and fracture fixation device-related infections. The purpose of this study was to determine whether P. acnes and the CoNS species Staphylococcus lugdunensis, isolated from an "aseptically failed" prosthetic hip joint and a united intramedullary nail-fixed tibial fracture, respectively, could cause osteomyelitis in an established implant-related osteomyelitis model in rabbits in the absence of wear debris from the implant material. The histological features of P. acnes infection in the in vivo rabbit model were consistent with localized pyogenic osteomyelitis, and a biofilm was present on all explanted intramedullary (IM) nails. The animals displayed no outward signs of infection, such as swelling, lameness, weight loss, or elevated white blood cell count. In contrast, infection with S. lugdunensis resulted in histological features consistent with both pyogenic osteomyelitis and septic arthritis, and all S. lugdunensis-infected animals displayed weight loss and an elevated white blood cell count despite biofilm detection in only two out of six rabbits. The differences in the histological and bacteriological profiles of the two species in this rabbit model of infection are reflective of their different clinical presentations: low-grade infection in the case of P. acnes and acute infection for S. lugdunensis. These results are especially important in light of the growing recognition of chronic P. acnes biofilm infections in prosthetic joint failure and nonunion of fracture fixations, which may be currently reported as "aseptic" failure. Copyright © 2014, American Society for Microbiology. All Rights Reserved.

A systematic review of the impact of including both waist and hip circumference in risk models for cardiovascular diseases, diabetes and mortality

Both a larger waist and narrow hips are associated with heightened risk of diabetes, cardiovascular diseases and premature mortality. We review the risk of these outcomes for levels of waist and hip circumferences when terms for both anthropometric measures were included in regression models. MEDLINE and EMBASE were searched (last updated July 2012) for studies reporting the association with the outcomes mentioned earlier for both waist and hip circumferences (unadjusted and with both terms included in the model). Ten studies reported the association between hip circumference and death and/or disease outcomes both unadjusted and adjusted for waist circumference. Five studies reported the risk associated with waist circumference both unadjusted and adjusted for hip circumference. With the exception of one study of venous thromboembolism, the full strength of the association between either waist circumference or hip circumference with morbidity and/or mortality was only apparent when terms for both anthropometric measures were included in regression models. Without accounting for the protective effect of hip circumference, the effect of obesity on risk of death and disease may be seriously underestimated. Considered together (but not as a ratio measure), waist and hip circumference may improve risk prediction models for cardiovascular disease and other outcomes.

Genetic parameters and relationships between heifers rebreeding and hip height in Nellore cattle

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Biochemical MRI predicts hip osteoarthritis in an experimental ovine femoroacetabular impingement model

BACKGROUND Cam-type femoroacetabular impingement (FAI) resulting from an abnormal nonspherical femoral head shape leads to chondrolabral damage and is considered a cause of early osteoarthritis. A previously developed experimental ovine FAI model induces a cam-type impingement that results in localized chondrolabral damage, replicating the patterns found in the human hip. Biochemical MRI modalities such as T2 and T2* may allow for evaluation of the cartilage biochemistry long before cartilage loss occurs and, for that reason, may be a worthwhile avenue of inquiry. QUESTIONS/PURPOSES We asked: (1) Does the histological grading of degenerated cartilage correlate with T2 or T2* values in this ovine FAI model? (2) How accurately can zones of degenerated cartilage be predicted with T2 or T2* MRI in this model? METHODS A cam-type FAI was induced in eight Swiss alpine sheep by performing a closing wedge intertrochanteric varus osteotomy. After ambulation of 10 to 14 weeks, the sheep were euthanized and a 3-T MRI of the hip was performed. T2 and T2* values were measured at six locations on the acetabulum and compared with the histological damage pattern using the Mankin score. This is an established histological scoring system to quantify cartilage degeneration. Both T2 and T2* values are determined by cartilage water content and its collagen fiber network. Of those, the T2* mapping is a more modern sequence with technical advantages (eg, shorter acquisition time). Correlation of the Mankin score and the T2 and T2* values, respectively, was evaluated using the Spearman's rank correlation coefficient. We used a hierarchical cluster analysis to calculate the positive and negative predictive values of T2 and T2* to predict advanced cartilage degeneration (Mankin ≥ 3). RESULTS We found a negative correlation between the Mankin score and both the T2 (p < 0.001, r = -0.79) and T2* values (p < 0.001, r = -0.90). For the T2 MRI technique, we found a positive predictive value of 100% (95% confidence interval [CI], 79%-100%) and a negative predictive value of 84% (95% CI, 67%-95%). For the T2* technique, we found a positive predictive value of 100% (95% CI, 79%-100%) and a negative predictive value of 94% (95% CI, 79%-99%). CONCLUSIONS T2 and T2* MRI modalities can reliably detect early cartilage degeneration in the experimental ovine FAI model. CLINICAL RELEVANCE T2 and T2* MRI modalities have the potential to allow for monitoring the natural course of osteoarthrosis noninvasively and to evaluate the results of surgical treatments targeted to joint preservation.

Effects of the correction of particle microbial contamination and particle transit model in the rumen on in situ protein evaluation of grass hays.

Effects of considering the particle comminution rate -kc- in addition to particle rumen outflow -kp- and the ruminal microbial contamination on estimates of by-pass and intestinal digestibility of DM, organic matter and crude protein were examined in perennial ryegrass and oat hays. By-pass kc-kp-based values of amino acids were also determined. This study was performed using particle transit, in situ and 15N techniques on three rumen and duodenum-cannulated wethers. The above estimates were determined using composite samples from rumen-incubated residues representative of feed by-pass. Considering the comminution rate, kc, modified the contribution of the incubated residues to these samples in both hays and revealed a higher microbial contamination, consistently in oat hay and only as a tendency for crude protein in ryegrass hay. Not considering kc or rumen microbial contamination overvalued by-pass and intestinal digestibility in both hays. Therefore, non-microbial-corrected kp-based values of intestinal digested crude protein were overestimated as compared with corrected and kc-kp-based values in ryegrass hay -17.4 vs 4.40%- and in oat hay -5.73 vs 0.19%-. Both factors should be considered to obtain accurate in situ estimates in grasses, as the protein value of grasses is very conditioned by the microbial synthesis derived from their ruminal fermentation. Consistent overvaluations of amino acid by-pass due to not correcting microbial contamination were detected in both hays, with large variable errors among amino acids. A similar degradation pattern of amino acids was recorded in both hays. Cysteine, methionine, leucine and valine were the most degradation-resistant amino acids.

Systematic evaluation of patient-reported outcome (PRO) protocol content and reporting in UK cancer clinical trials: the EPiC study protocol

Introduction Emerging evidence suggests that patient-reported outcome (PRO)-specific information may be omitted in trial protocols and that PRO results are poorly reported, limiting the use of PRO data to inform cancer care. This study aims to evaluate the standards of PRO-specific content in UK cancer trial protocols and their arising publications and to highlight examples of best-practice PRO protocol content and reporting where they occur. The objective of this study is to determine if these early findings are generalisable to UK cancer trials, and if so, how best we can bring about future improvements in clinical trials methodology to enhance the way PROs are assessed, managed and reported. Hypothesis: Trials in which the primary end point is based on a PRO will have more complete PRO protocol and publication components than trials in which PROs are secondary end points.

Methods and analysis Completed National Institute for Health Research (NIHR) Portfolio Cancer clinical trials (all cancer specialities/age-groups) will be included if they contain a primary/secondary PRO end point. The NIHR portfolio includes cancer trials, supported by a range of funders, adjudged as high-quality clinical research studies. The sample will be drawn from studies completed between 31 December 2000 and 1 March 2014 (n=1141) to allow sufficient time for completion of the final trial report and publication. Two reviewers will then review the protocols and arising publications of included trials to: (1) determine the completeness of their PRO-specific protocol content; (2) determine the proportion and completeness of PRO reporting in UK Cancer trials and (3) model factors associated with PRO protocol and reporting completeness and with PRO reporting proportion.

Ethics and dissemination The study was approved by the ethics committee at University of Birmingham (ERN_15-0311). Trial findings will be disseminated via presentations at local, national and international conferences, peer-reviewed journals and social media including the CPROR twitter account and UOB departmental website (http://www.birmingham.ac.uk/cpro0r).

Applying Keller’s brand equity model in a B2B context : limitations and an empirical test

It has been recognised that brands play a role in industrial markets, but to date a comprehensive model of business-to-business (B2B) branding does not exist, nor has there been an empirical study of the applicability of a full brand equity model in a B2B context. This paper is the first to begin to address these issues. The paper introduces the Customer- Based Brand Equity (CBBE) model by Kevin Keller (1993; 2001; 2003), and empirically tests its applicability in the market of electronic tracking systems for waste management. While Keller claims that the CBBE pyramid can be applied in a B2B context, this research highlights challenges of such an application, and suggests changes to the model are required. Assessing the equity of manufacturers’ brand names is more appropriate than measuring the equity of individual product brands as suggested by Keller. Secondly, the building blocks of Keller’s model appear useful in an organisational context, although differences in the subdimensions are required. Brand feelings appear to lack relevance in the industrial market investigated, and the pinnacle of Keller’s pyramid, resonance, needs serious modifications. Finally, company representatives play a role in building brand equity, indicating a need for this human element to be recognised in a B2B model.

Extending and validating the is-impact model in Saudi Arabia : accounting for computer network quality

Organizations from every industry sector seek to enhance their business performance and competitiveness through the deployment of contemporary information systems (IS), such as Enterprise Systems (ERP). Investments in ERP are complex and costly, attracting scrutiny and pressure to justify their cost. Thus, IS researchers highlight the need for systematic evaluation of information system success, or impact, which has resulted in the introduction of varied models for evaluating information systems. One of these systematic measurement approaches is the IS-Impact Model introduced by a team of researchers at Queensland University of technology (QUT) (Gable, Sedera, & Chan, 2008). The IS-Impact Model is conceptualized as a formative, multidimensional index that consists of four dimensions. Gable et al. (2008) define IS-Impact as "a measure at a point in time, of the stream of net benefits from the IS, to date and anticipated, as perceived by all key-user-groups" (p.381). The IT Evaluation Research Program (ITE-Program) at QUT has grown the IS-Impact Research Track with the central goal of conducting further studies to enhance and extend the IS-Impact Model. The overall goal of the IS-Impact research track at QUT is "to develop the most widely employed model for benchmarking information systems in organizations for the joint benefit of both research and practice" (Gable, 2009). In order to achieve that, the IS-Impact research track advocates programmatic research having the principles of tenacity, holism, and generalizability through extension research strategies. This study was conducted within the IS-Impact Research Track, to further generalize the IS-Impact Model by extending it to the Saudi Arabian context. According to Hofsted (2012), the national culture of Saudi Arabia is significantly different from the Australian national culture making the Saudi Arabian culture an interesting context for testing the external validity of the IS-Impact Model. The study re-visits the IS-Impact Model from the ground up. Rather than assume the existing instrument is valid in the new context, or simply assess its validity through quantitative data collection, the study takes a qualitative, inductive approach to re-assessing the necessity and completeness of existing dimensions and measures. This is done in two phases: Exploratory Phase and Confirmatory Phase. The exploratory phase addresses the first research question of the study "Is the IS-Impact Model complete and able to capture the impact of information systems in Saudi Arabian Organization?". The content analysis, used to analyze the Identification Survey data, indicated that 2 of the 37 measures of the IS-Impact Model are not applicable for the Saudi Arabian Context. Moreover, no new measures or dimensions were identified, evidencing the completeness and content validity of the IS-Impact Model. In addition, the Identification Survey data suggested several concepts related to IS-Impact, the most prominent of which was "Computer Network Quality" (CNQ). The literature supported the existence of a theoretical link between IS-Impact and CNQ (CNQ is viewed as an antecedent of IS-Impact). With the primary goal of validating the IS-Impact model within its extended nomological network, CNQ was introduced to the research model. The Confirmatory Phase addresses the second research question of the study "Is the Extended IS-Impact Model Valid as a Hierarchical Multidimensional Formative Measurement Model?". The objective of the Confirmatory Phase was to test the validity of IS-Impact Model and CNQ Model. To achieve that, IS-Impact, CNQ, and IS-Satisfaction were operationalized in a survey instrument, and then the research model was assessed by employing the Partial Least Squares (PLS) approach. The CNQ model was validated as a formative model. Similarly, the IS-Impact Model was validated as a hierarchical multidimensional formative construct. However, the analysis indicated that one of the IS-Impact Model indicators was insignificant and can be removed from the model. Thus, the resulting Extended IS-Impact Model consists of 4 dimensions and 34 measures. Finally, the structural model was also assessed against two aspects: explanatory and predictive power. The analysis revealed that the path coefficient between CNQ and IS-Impact is significant with t-value= (4.826) and relatively strong with â = (0.426) with CNQ explaining 18% of the variance in IS-Impact. These results supported the hypothesis that CNQ is antecedent of IS-Impact. The study demonstrates that the quality of Computer Network affects the quality of the Enterprise System (ERP) and consequently the impacts of the system. Therefore, practitioners should pay attention to the Computer Network quality. Similarly, the path coefficient between IS-Impact and IS-Satisfaction was significant t-value = (17.79) and strong â = (0.744), with IS-Impact alone explaining 55% of the variance in Satisfaction, consistent with results of the original IS-Impact study (Gable et al., 2008). The research contributions include: (a) supporting the completeness and validity of IS-Impact Model as a Hierarchical Multi-dimensional Formative Measurement Model in the Saudi Arabian context, (b) operationalizing Computer Network Quality as conceptualized in the ITU-T Recommendation E.800 (ITU-T, 1993), (c) validating CNQ as a formative measurement model and as an antecedent of IS Impact, and (d) conceptualizing and validating IS-Satisfaction as a reflective measurement model and as an immediate consequence of IS Impact. The CNQ model provides a framework to perceptually measure Computer Network Quality from multiple perspectives. The CNQ model features an easy-to-understand, easy-to-use, and economical survey instrument.

Surgical site infection prevention following total hip arthroplasty in Australia : a cost-effectiveness analysis

Background: Surgical site infection (SSI) is associated with substantial costs for health services, reduced quality of life, and functional outcomes. The aim of this study was to evaluate the cost-effectiveness of strategies claiming to reduce the risk of SSI in hip arthroplasty in Australia. Methods: Baseline use of antibiotic prophylaxis (AP) was compared with no antibiotic prophylaxis (no AP), antibiotic-impregnated cement (AP þ ABC), and laminar air operating rooms (AP þ LOR). A Markov model was used to simulate long-term health and cost outcomes of a hypothetical cohort of 30,000 total hip arthroplasty patients from a health services perspective. Model parameters were informed by the best available evidence. Uncertainty was explored in probabilistic sensitivity and scenario analyses. Results: Stopping the routine use of AP resulted in over Australian dollars (AUD) $1.5 million extra costs and a loss of 163 quality-adjusted life years (QALYs). Using antibiotic cement in addition to AP (AP þ ABC)generated an extra 32 QALYs while saving over AUD $123,000. The use of laminar air operating rooms combined with routine AP (AP þ LOR) resulted in an AUD $4.59 million cost increase and 127 QALYs lost compared with the baseline comparator. Conclusion: Preventing deep SSI with antibiotic prophylaxis and antibiotic-impregnated cement has shown to improve health outcomes among hospitalized patients, save lives, and enhance resource allocation. Based on this evidence, the use of laminar air operating rooms is not recommended.