1,094 research outputs found

    Electrochemical processes in a wire-in-a-capillary bulk-loaded, nano-electrospray emitter

    Get PDF
    AbstractExperiments are described that illustrate solvent oxidation, emitter electrode corrosion, and analyte oxidation in positive ion mode nano-electrospray mass spectrometry using a wire-in-a-capillary, bulk-loaded nano-electrospray emitter geometry. Time-lapsed color photography of pH and metal specific indicator solutions within operating nano-electrospray emitters, as well as temporal changes in the ions observed in the nano-electrospray mass spectra, are used to probe these reactions, judge their magnitude, and study the time dependent changes in solution composition and gas-phase ion signal brought about as a result of these electrochemical reactions. The significance of these observations for analytical applications of nano-electrospray mass spectrometry are discussed. (J Am Soc Spectrom 2001, 853–862) Published by Elsevier Science Inc

    Automating Agential Reasoning: Proof-Calculi and Syntactic Decidability for STIT Logics

    Get PDF
    This work provides proof-search algorithms and automated counter-model extraction for a class of STIT logics. With this, we answer an open problem concerning syntactic decision procedures and cut-free calculi for STIT logics. A new class of cut-free complete labelled sequent calculi G3LdmL^m_n, for multi-agent STIT with at most n-many choices, is introduced. We refine the calculi G3LdmL^m_n through the use of propagation rules and demonstrate the admissibility of their structural rules, resulting in auxiliary calculi Ldm^m_nL. In the single-agent case, we show that the refined calculi Ldm^m_nL derive theorems within a restricted class of (forestlike) sequents, allowing us to provide proof-search algorithms that decide single-agent STIT logics. We prove that the proof-search algorithms are correct and terminate

    Physical and psychosocial health in pediatric uveitis patients

    Get PDF
    Background: To investigate the possible associations between childhood noninfectious uveitis and cardio-respiratory fitness, physical activity, health related quality of life and fatigue. Methods: Cross-sectional analysis of 23 patients with noninfectious uveitis, aged 8-18 years. BMI, exercise capacity, muscle strength and physical activity were measured. Health-related quality of life and fatigue were assessed. The results were compared to standardized values for age matched healthy children. Results: Twenty-three patients were included. Children with uveitis had a higher bodyweight and body mass index. Children with uveitis had lower cardio-respiratory fitness and they were less physically active, but they experienced a normal quality of life and normal fatigue. Parents of children with uveitis reported a lower quality of life and more fatigue for their children than parents of healthy children. Conclusion: Our study indicates that children with noninfectious uveitis are at risk of developing lower physical and psychosocial health

    Cut-free Calculi and Relational Semantics for Temporal STIT Logics

    Get PDF
    We present cut-free labelled sequent calculi for a central formalism in logics of agency: STIT logics with temporal operators. These include sequent systems for Ldm , Tstit and Xstit. All calculi presented possess essential structural properties such as contraction- and cut-admissibility. The labelled calculi G3Ldm and G3Tstit are shown sound and complete relative to irreflexive temporal frames. Additionally, we extend current results by showing that also Xstit can be characterized through relational frames, omitting the use of BT+AC frames

    Patterns of knee osteoarthritis management in general practice:a retrospective cohort study using electronic health records

    Get PDF
    Objective: This study determined patterns of knee osteoarthritis (OA) management by general practitioners (GPs) using routine healthcare data from Dutch general practices from 2011 to 2019. Design: A retrospective cohort study was conducted using the Integrated Primary Care Information database between 2011 and 2019. Electronic health records (EHRs) of n = 750 randomly selected knee OA patients (with either codified or narrative diagnosis) were reviewed against eligibility criteria and n = 503 patients were included. Recorded information was extracted on GPs’ management from six months before to three years after diagnosis and patterns of management were analysed.Results: An X-ray referral was the most widely recorded management modality (63.2%). The next most widely recorded management modalities were a referral to secondary care (56.1%) and medication prescription or advice (48.3%). Records of recommendation of/referral to other primary care practitioners (e.g. physiotherapists) were found in only one third of the patients. Advice to lose weight was least common (1.2%). Records of medication prescriptions or recommendation of/referral to other primary care practitioners were found more frequently in patients with an X-ray referral compared to patients without, while records of secondary care referrals were found less frequently. Records of an X-ray referral were often found in narratively diagnosed knee OA patients before GPs recorded a code for knee OA in their EHR. Conclusion: These findings emphasize the importance of better implementing non-surgical management of knee OA in general practice and on initiatives for reducing the overuse of X-rays for diagnosing knee OA in general practice.</p

    Genome Sequence of Stenotrophomonas maltophilia PML168, Which Displays Baeyer-Villiger Monooxygenase Activity

    Get PDF
    Stenotrophomonas maltophilia PML168 was isolated from Wembury Beach on the English Coast from a rock pool following growth and selection on agar plates. Here we present the permanent draft genome sequence, which has allowed prediction of function for several genes encoding enzymes relevant to industrial biotechnology, including a novel flavoprotein monooxygenase
    corecore