The Experts below are selected from a list of 27083730 Experts worldwide ranked by ideXlab platform

Margus Veanes - One of the best experts on this subject based on the ideXlab platform.

  • generating finite state machines from abstract state machines
    International Symposium on Software Testing and Analysis, 2002
    Co-Authors: Wolfgang Grieskamp, Yuri Gurevich, Wolfram Schulte, Margus Veanes
    Abstract:

    We give an algorithm that derives a finite state machine (FSM) from a given abstract state machine (ASM) specification. This allows us to integrate ASM specs with the existing tools for test case generation from FSMs. ASM specs are executable but have typically too many, often infinitely many states. We group ASM states into finitely many hyperstates which are the nodes of the FSM. The links of the FSM are induced by the ASM state transitions.

  • ISSTA - Generating finite state machines from abstract state machines
    Proceedings of the international symposium on Software testing and analysis - ISSTA '02, 2002
    Co-Authors: Wolfgang Grieskamp, Yuri Gurevich, Wolfram Schulte, Margus Veanes
    Abstract:

    We give an algorithm that derives a finite state machine (FSM) from a given abstract state machine (ASM) specification. This allows us to integrate ASM specs with the existing tools for test case generation from FSMs. ASM specs are executable but have typically too many, often infinitely many states. We group ASM states into finitely many hyperstates which are the nodes of the FSM. The links of the FSM are induced by the ASM state transitions.

David Farrusseng - One of the best experts on this subject based on the ideXlab platform.

  • a comparative study of la0 8sr0 2mno3 and la0 8sr0 2sc0 1mn0 9o3 as cathode materials of single chamber sofcs operating on a methane air mixture
    Journal of Power Sources, 2009
    Co-Authors: Chunming Zhang, Yao Zheng, Zongping Shao, David Farrusseng
    Abstract:

    Abstract As candidates of cathode materials for single-chamber solid oxide fuel cells, La0.8Sr0.2MnO3 (LSM) and La0.8Sr0.2Sc0.1Mn0.9O3 (LSSM) were synthesized by a combined EDTA-citrate complexing sol–gel process. The solid precursors of LSM and LSSM were calcined at 1000 and 1150 °C, respectively, to obtain products with similar specific surface area. LSSM was found to have higher activity for methane oxidization than LSM due to LSSM's higher catalytic activity for oxygen reduction. Single cells with these two cathodes initialized by ex situ reduction had similar peak power densities of around 220 mW cm−2 at 825 °C. The cell using the LSM cathode showed higher open-circuit-voltage (OCV) at corresponding temperatures due to its reduced activity for methane oxidation relative to LSSM. A negligible effect of methane and CO2 on the cathode performance was observed for both LSM and LSSM via electrochemical impedance spectroscopy analysis. The high phase stability of LSSM under reducing atmosphere allows a more convenient in situ reduction for fuel cell initiation. The resultant cell with LSSM cathode delivered a peak power density of ∼200 mW cm−2 at 825 °C, comparable to that from ex situ reduction.

  • A comparative study of La0.8Sr0.2MnO3 and La0.8Sr0.2Sc0.1Mn0.9O3 as cathode materials of single-chamber SOFCs operating on a methane-air mixture
    Journal of Power Sources, 2009
    Co-Authors: C. M. Zhang, Yunlin Jacques Zheng, Y. Lin, R. Ran, Z. P. Shao, David Farrusseng
    Abstract:

    As candidates of cathode materials for single-chamber solid oxide fuel cells, La0.8Sr0.2MnO3 (LSM) and La0.8Sr0.2Sc0.1Mn0.9 (LSSM) were synthesized by a combined EDTA-citrate complexing sol-gel process. The Solid precursors of LSM and LSSM were calcined at 1000 and 1150 degrees C, respectively, to obtain products with similar specific surface area. LSSM was found to have higher activity for methane oxidization than LSM due to LSSM's higher catalytic activity for oxygen reduction. Single cells with these two cathodes initialized by ex situ reduction had similar peak powder densities of around 220 mW cm(-2) at 825 degrees C. The cell using the LSM cathode showed higher open-circuit-voltage (OCV) at corresponding temperatures (I Lie to its reduced activity for methane oxidation relative to LSSM. A negligible effect of methane and CO2 on the cathode performance was observed for both LSM and LSSM via electrochemical impedance spectroscopy analysis. The high phase stability of LSSM under reducing atmosphere allows a more convenient in situ reduction for fuel cell initiation. The resultant cell with LSSM cathode delivered a peak power density of similar to 200 mW cm(-2) at 825 degrees C, comparable to that horn ex Situ reduction. (C) 2009 Elsevier B.V. All rights reserved.

Wolfgang Grieskamp - One of the best experts on this subject based on the ideXlab platform.

  • generating finite state machines from abstract state machines
    International Symposium on Software Testing and Analysis, 2002
    Co-Authors: Wolfgang Grieskamp, Yuri Gurevich, Wolfram Schulte, Margus Veanes
    Abstract:

    We give an algorithm that derives a finite state machine (FSM) from a given abstract state machine (ASM) specification. This allows us to integrate ASM specs with the existing tools for test case generation from FSMs. ASM specs are executable but have typically too many, often infinitely many states. We group ASM states into finitely many hyperstates which are the nodes of the FSM. The links of the FSM are induced by the ASM state transitions.

  • ISSTA - Generating finite state machines from abstract state machines
    Proceedings of the international symposium on Software testing and analysis - ISSTA '02, 2002
    Co-Authors: Wolfgang Grieskamp, Yuri Gurevich, Wolfram Schulte, Margus Veanes
    Abstract:

    We give an algorithm that derives a finite state machine (FSM) from a given abstract state machine (ASM) specification. This allows us to integrate ASM specs with the existing tools for test case generation from FSMs. ASM specs are executable but have typically too many, often infinitely many states. We group ASM states into finitely many hyperstates which are the nodes of the FSM. The links of the FSM are induced by the ASM state transitions.

Antonio Colecchia - One of the best experts on this subject based on the ideXlab platform.

  • role of liver and spleen stiffness in predicting the recurrence of hepatocellular carcinoma after resection
    Journal of Hepatology, 2019
    Co-Authors: Giovanni Marasco, Federico Ravaioli, Antonio Colecchia, Agostino Colli, Maria Letizia Bacchi Reggiani, G. Casazza, A. Cucchetti, M. Cescon, D. Festi
    Abstract:

    Background & Aims Hepatocellular carcinoma (HCC) is a frequent complication of liver disease. When feasible, hepatic resection is the first-choice therapy. However, tumor recurrence complicates at least 2/3 hepatic resections at 5 years. Early recurrences are mainly tumor or treatment-related, but predictors of late recurrences are undefined. We aimed to evaluate the factors related to HCC recurrence after curative resection, with liver and spleen stiffness measurement (LSM and SSM) as markers of severity and duration of the underlying liver disease. Methods We enrolled patients with chronic liver disease and primary HCC suitable for hepatic resection. We followed up patients for at least 30 months or until HCC recurrence. We performed uni- and multivariate analyses to evaluate the predictive role of tumor characteristics, laboratory data, LSM and SSM for both early and late recurrence of HCC. Results We prospectively enrolled 175 patients. Early HCC recurrence at multivariate analysis was associated with viral etiology, HCC grading (3 or 4), resection margins Conclusions SSM seems to be the only predictor of late HCC recurrence, since it is directly correlated with the degree of liver disease and portal hypertension, both of which are involved in carcinogenesis. Lay summary The main result of this study is that spleen stiffness measurement, evaluated by transient elastography, seems to be the only predictor of the late recurrence of hepatocellular carcinoma, defined as recurrence after 24 months from liver resection. Indeed, spleen stiffness measurement is directly correlated with the degree of liver disease and portal hypertension, which are both involved in carcinogenesis.

  • a combined model based on spleen stiffness measurement and baveno vi criteria to rule out high risk varices in advanced chronic liver disease
    Journal of Hepatology, 2018
    Co-Authors: Giovanni Marasco, Elton Dajti, Federico Ravaioli, Antonio Colecchia, Agostino Colli, Anna Rita Di Biase, Maria Letizia Bacchi Reggiani, Annalisa Berzigotti, Massimo Pinzani
    Abstract:

    Background & Aims Recently, Baveno VI guidelines suggested that esophagogastroduodenoscopy (EGD) can be avoided in patients with compensated advanced chronic liver disease (cACLD) who have a liver stiffness measurement (LSM) 150,000/mm3. We aimed to: assess the performance of spleen stiffness measurement (SSM) in ruling out patients with high-risk varices (HRV); validate Baveno VI criteria in a large population and assess how the sequential use of Baveno VI criteria and SSM could safely avoid the need for endoscopy. Methods We retrospectively analyzed 498 patients with cACLD who had undergone LSM/SSM by transient elastography (TE) (FibroScan®), platelet count and EGDs from 2012 to 2016 referred to our tertiary centre. The new combined model was validated internally by a split-validation method, and externally in a prospective multicentre cohort of 115 patients. Results SSM, LSM, platelet count and Child-Pugh-B were independent predictors of HRV. Applying the newly identified SSM cut-off (≤46 kPa) or Baveno VI criteria, 35.8% and 21.7% of patients in the internal validation cohort could have avoided EGD, with only 2% of HRVs being missed with either model. The combination of SSM with Baveno VI criteria would have avoided an additional 22.5% of EGDs, reaching a final value of 43.8% spared EGDs, with Conclusions A non-invasive prediction model combining SSM with Baveno VI criteria may be useful to rule out HRV and could make it possible to avoid a significantly larger number of unnecessary EGDs compared to Baveno VI criteria only. Lay summary Spleen stiffness measurement assessed by transient elastography, the most widely used elastography technique, is a non-invasive technique that can help the physician to better stratify the degree of portal hypertension and the risk of esophageal varices in patients with compensated advanced chronic liver disease. Performing spleen stiffness measurement together with liver stiffness measurement during the same examination is simple and fast and this sequential model can identify a greater number of patients that can safely avoid endoscopy, which is an invasive and expensive examination.

Charles M Balch - One of the best experts on this subject based on the ideXlab platform.