Distinguishing sequences for partially specified FSMs

Distinguishing Sequences (DSs) are used inmany Finite State Machine (FSM) based test techniques. Although Partially Specified FSMs (PSFSMs) generalise FSMs, the computational complexity of constructing Adaptive and Preset DSs (ADSs/PDSs) for PSFSMs has not been addressed. This paper shows that it is possible to check the existence of an ADS in polynomial time but the corresponding problem for PDSs is PSPACE-complete. We also report on the results of experiments with benchmarks and over 8 * 106 PSFSMs. © 2014 Springer International Publishing

Lifestyle and health determinants of cardiovascular disease among Greek older adults living in Eastern Aegean Islands: An adventure within the MEDIS study.

OBJECTIVE: The aim of the present study was to evaluate lifestyle and health determinants of cardiovascular disease (CVD) risk among Greek elderly residents living in Eastern Aegean islands, in both Greece and Turkey. METHODS: Under the context of the MEDIS study, 724 older adults (aged 65 to 100 years) from 8 Eastern Aegean Sea Greek islands (n=100 living in Samothrace, 142 in Lesvos, 150 in Limnos, 76 in Ikaria, 52 in Kassos, 149 in Rhodes and Karpathos) and from Turkey (n=55older adults of Greek origin living on Gökçeada Island) were voluntarily recruited. Overall cardiometabolic risk was measured as the sum (range 0-4) of four common CVD risk factors (hypertension, diabetes, dyslipidemia and obesity). RESULTS: Greek islanders had higher CVD scores compared to Greeks of Gökçeada (1.9±1.1 vs 1.4±1.0 risk factors / participant, p<0.001). Further analysis revealed that the diet of Greek islanders was similar to the traditional Mediterranean diet; however, these individuals demonstrated 2-times higher odds (95% CI, 1.04-3.87) for having hypertension, 1.53-times higher odds (95% CI, 0.66-3.54) for having diabetes, 3.29-times higher odds (95% CI, 1.58-6.81) for having hypercholesterolemia; whereas they had 0.78-times lower odds (95% CI, 0.40-1.52) for being obese, compared to elderly Greek adults living on Gökçeada. CONCLUSIONS: Overall, CVD risk seems to be low among Eastern Aegean Islanders; certain differences in CVD risk factors exist between Greek islanders and their counterparts living in Gökçeada, and those differences may be attributed to various environmental, cultural and lifestyle factors

Detonability of RDX dust in air/oxygen mixtures

Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/77369/1/AIAA-9528-470.pd

Generating a checking sequence with a minimum number of reset transitions

Given a finite state machine M, a checking sequence is an input sequence that is guaranteed to lead to a failure if the implementation under test is faulty and has no more states than M. There has been much interest in the automated generation of a short checking sequence from a finite state machine. However, such sequences can contain reset transitions whose use can adversely affect both the cost of applying the checking sequence and the effectiveness of the checking sequence. Thus, we sometimes want a checking sequence with a minimum number of reset transitions rather than a shortest checking sequence. This paper describes a new algorithm for generating a checking sequence, based on a distinguishing sequence, that minimises the number of reset transitions used.This work was supported in part by Leverhulme Trust grant number F/00275/D, Testing State Based Systems, Natural Sciences and Engineering Research Council (NSERC) of Canada grant number RGPIN 976, and Engineering and Physical Sciences Research Council grant number GR/R43150, Formal Methods and Testing (FORTEST)

Timed Implementation Relations for the Distributed Test Architecture

In order to test systems that have physically distributed interfaces, called ports, we might use a distributed approach in which there is a separate tester at each port. If the testers do not synchronise during testing then we cannot always determine the relative order of events observed at different ports and this leads to new notions of correctness that have been described using corresponding implementation relations. We study the situation in which each tester has a local clock and timestamps its observations. If we know nothing about how the local clocks relate then this does not affect the implementation relation while if the local clocks agree exactly then we can reconstruct the sequence of observations made. In practice, however, we are likely to be between these extremes: the local clocks will not agree exactly but we have some information regarding how they can differ. We start by assuming that a local tester interacts synchronously with the corresponding port of the system under test and then extend this to the case where communications can be asynchronous, considering both the first-in-first-out (FIFO) case and the non-FIFO case. The new implementation relations are stronger than implementation relations for distributed testing that do not use timestamps but still reflect the distributed nature of observations. This paper explores these alternatives and derives corresponding implementation relations

In vitro synergistic cytoreductive effects of zoledronic acid and radiation on breast cancer cells

INTRODUCTION: Bisphosphonates are mostly used in the treatment of bone metastases. They have been shown to act synergistically with other chemotherapeutic agents. It is not known, however, whether similar synergistic effects exist with radiation on breast cancer cells. METHODS: Human MCF-7 breast cancer cells were treated with up to 100 μM zoledronic acid, were irradiated with up to 800 cGy or were exposed to combinations of both treatments to determine the antiproliferative effects of zoledronic acid and radiation. RESULTS: Zoledronic acid and radiation caused a dose-dependent and time-dependent decrease in cell viability (approximate 50% growth inhibition values were 48 μM and 20 μM for 24 hours and 72 hours, respectively, for zoledronic acid and 500 cGy for radiation). A synergistic cytotoxic effect of the combination of zoledronic acid and radiation was confirmed by isobologram analysis. CONCLUSION: These data constitute the first in vitro evidence for synergistic effects between zoledronic acid and radiation. This combination therapy might thus be expected to be more effective than either treatment alone in patients with metastatic breast carcinoma

Generating test case chains for reactive systems

Testing of reactive systems is challenging because long input sequences are often needed to drive them into a state to test a desired feature. This is particularly problematic in on-target testing, where a system is tested in its real-life application environment and the amount of time required for resetting is high. This article presents an approach to discovering a test case chain—a single software execution that covers a group of test goals and minimizes overall test execution time. Our technique targets the scenario in which test goals for the requirements are given as safety properties. We give conditions for the existence and minimality of a single test case chain and minimize the number of test case chains if a single test case chain is infeasible. We report experimental results with our ChainCover tool for C code generated from Simulink models and compare it to state-of-the-art test suite generators

Diagnostic value of combined serum biomarkers for the evaluation of liver fibrosis in chronic hepatitis C infection: A multicenter, noninterventional, observational study

Background/Aims: The hepatitis C virus (HCV) infection is important cause of chronic hepatitis. Liver biopsy is considered the gold standard for assessment of fibrosis but this procedure is an invasive procedure. We aimed to evaluate the diagnostic efficiency of non-invasive serum biomarkers, separately and in combinations, on liver fibrosis in treatment-naive chronic hepatitis C (CHC) patients. Materials and Methods: Two hundred and sixteen treatment-naive CHC patients were enrolled from 32 locations across Turkey in this open-labelled, non-interventional prospective observational study. FibroTest®, aspartate aminotransferase-to-platelet ratio index(APRI), aspartate aminotransferase and alanine aminotransferase ratio (AAR), fibrosis index based on four factors (FIB-4), Age-platelet(AP) index and Forns index were measured and compared with Metavir scores got from liver biopsies. Results: Data from 182 patients with baseline liver biopsy were suitable for analysis. One hundred and twenty patients (65.9%) had F0-F1 fibrosis and 62 patients (34.1%) had F2-F4 fibrosis. APRI 0.732 area under the curve(AUC) indicated advanced fibrosis with 69% sensitivity and 77% specificity. FIB-4 0.732 AUC and FibroTest 0.715 AUC indicated advanced fibrosis with 69% and 78.4% sensitivity, and 75% and 71.4% specificity, respectively. The combined use of tests also led to an increase in AUC and specificity. Combinations of FibroTest with APRI and/or FIB-4, and FIB-4 with APRI were optimal for the evaluation of liver fibrosis. Conclusion: Fibrotest, FIB-4, APRI, AP index and Forns index exhibit good diagnostic performance for determining liver fibrosis in CHC patients, and the use of at least two tests together will increase their diagnostic value still further. © Copyright 2018 by The Turkish Society of Gastroenterology