Robust Online Hamiltonian Learning

In this work we combine two distinct machine learning methodologies, sequential Monte Carlo and Bayesian experimental design, and apply them to the problem of inferring the dynamical parameters of a quantum system. We design the algorithm with practicality in mind by including parameters that control trade-offs between the requirements on computational and experimental resources. The algorithm can be implemented online (during experimental data collection), avoiding the need for storage and post-processing. Most importantly, our algorithm is capable of learning Hamiltonian parameters even when the parameters change from experiment-to-experiment, and also when additional noise processes are present and unknown. The algorithm also numerically estimates the Cramer-Rao lower bound, certifying its own performance.Comment: 24 pages, 12 figures; to appear in New Journal of Physic

Epidemiology, practice of ventilation and outcome for patients at increased risk of postoperative pulmonary complications

BACKGROUND Limited information exists about the epidemiology and outcome of surgical patients at increased risk of postoperative pulmonary complications (PPCs), and how intraoperative ventilation was managed in these patients. OBJECTIVES To determine the incidence of surgical patients at increased risk of PPCs, and to compare the intraoperative ventilation management and postoperative outcomes with patients at low risk of PPCs. DESIGN This was a prospective international 1-week observational study using the ‘Assess Respiratory Risk in Surgical Patients in Catalonia risk score’ (ARISCAT score) for PPC for risk stratification. PATIENTS AND SETTING Adult patients requiring intraoperative ventilation during general anaesthesia for surgery in 146 hospitals across 29 countries. MAIN OUTCOME MEASURES The primary outcome was the incidence of patients at increased risk of PPCs based on the ARISCAT score. Secondary outcomes included intraoperative ventilatory management and clinical outcomes. RESULTS A total of 9864 patients fulfilled the inclusion criteria. The incidence of patients at increased risk was 28.4%. The most frequently chosen tidal volume (VT) size was 500 ml, or 7 to 9 ml kg1 predicted body weight, slightly lower in patients at increased risk of PPCs. Levels of positive end-expiratory pressure (PEEP) were slightly higher in patients at increased risk of PPCs, with 14.3% receiving more than 5 cmH2O PEEP compared with 7.6% in patients at low risk of PPCs (P < 0.001). Patients with a predicted preoperative increased risk of PPCs developed PPCs more frequently: 19 versus 7%, relative risk (RR) 3.16 (95% confidence interval 2.76 to 3.61), P < 0.001) and had longer hospital stays. The only ventilatory factor associated with the occurrence of PPCs was the peak pressure. CONCLUSION The incidence of patients with a predicted increased risk of PPCs is high. A large proportion of patients receive high VT and low PEEP levels. PPCs occur frequently in patients at increased risk, with worse clinical outcome

Epidemiology, practice of ventilation and outcome for patients at increased risk of postoperative pulmonary complications: LAS VEGAS - An observational study in 29 countries

BACKGROUND Limited information exists about the epidemiology and outcome of surgical patients at increased risk of postoperative pulmonary complications (PPCs), and how intraoperative ventilation was managed in these patients. OBJECTIVES To determine the incidence of surgical patients at increased risk of PPCs, and to compare the intraoperative ventilation management and postoperative outcomes with patients at low risk of PPCs. DESIGN This was a prospective international 1-week observational study using the ‘Assess Respiratory Risk in Surgical Patients in Catalonia risk score’ (ARISCAT score) for PPC for risk stratification. PATIENTS AND SETTING Adult patients requiring intraoperative ventilation during general anaesthesia for surgery in 146 hospitals across 29 countries. MAIN OUTCOME MEASURES The primary outcome was the incidence of patients at increased risk of PPCs based on the ARISCAT score. Secondary outcomes included intraoperative ventilatory management and clinical outcomes. RESULTS A total of 9864 patients fulfilled the inclusion criteria. The incidence of patients at increased risk was 28.4%. The most frequently chosen tidal volume (V T) size was 500 ml, or 7 to 9 ml kg−1 predicted body weight, slightly lower in patients at increased risk of PPCs. Levels of positive end-expiratory pressure (PEEP) were slightly higher in patients at increased risk of PPCs, with 14.3% receiving more than 5 cmH2O PEEP compared with 7.6% in patients at low risk of PPCs (P ˂ 0.001). Patients with a predicted preoperative increased risk of PPCs developed PPCs more frequently: 19 versus 7%, relative risk (RR) 3.16 (95% confidence interval 2.76 to 3.61), P ˂ 0.001) and had longer hospital stays. The only ventilatory factor associated with the occurrence of PPCs was the peak pressure. CONCLUSION The incidence of patients with a predicted increased risk of PPCs is high. A large proportion of patients receive high V T and low PEEP levels. PPCs occur frequently in patients at increased risk, with worse clinical outcome.</p

Proving and Disproving Assertion Rewrite Rules by Automated Theorem Proving

ISBN: 978-1-4244-2922-6International audienceModern assertion languages, such as PSL and SVA, include many constructs that are best handled by rewriting to a small set of base cases. Since previous rewrite attempts have shown that the rules could be quite involved, sometimes counterintuitive, and that they can make a significant difference in the complexity of interpreting assertions, workable procedures for proving the correctness of these rules must be established. In this paper, we outline the methodology for computer-assisted proofs of a set of previously published rewrite rules for PSL properties. We show how to express PSL's syntax and semantics in the PVS theorem prover, and proceed to prove the correctness of a set of thirty rewrite rules. In doing so, we also demonstrate how to circumvent issues with PSL semantics regarding the never and eventually! operators

Validating Assertion Language Rewrite Rules and Semantics With Automated Theorem Provers

International audienceModern assertion languages such as property specification language (PSL) and SystemVerilog assertions include many language constructs. By far, the most economical way to process the full languages in automated tools is to rewrite the majority of operators to a small set of base cases, which are then processed in an efficient way. Since recent rewrite attempts in the literature have shown that the rules could be quite involved, sometimes counterintuitive, and that they can make a significant difference in the complexity of interpreting assertions, ensuring that the rewrite rules are correct is a major contribution toward ensuring that the tools are correct, and even that the semantics of the assertion languages are well founded. This paper outlines the methodology for computer-assisted proofs of several publicly known rewrite rules for PSL properties. We first present the ways to express the PSL syntax and semantics in the prototype verification system (PVS) theorem prover, and then prove or disprove the correctness of over 50 rewrite rules published without proofs in various sources in the literature. In doing so, we also demonstrate how to circumvent known issues with PSL semantics regarding the ${ssr never}$ and ${ssr eventually}!$ operators, and offer our proposals on assertion language semantics