Prenyltransferases (PTSs) are involved in the biosynthesis of terpenes with diverse functions. Here, a novel PTS from Arabidopsis (Arabidopsis thaliana) is identified as a trans-type polyprenyl pyrophosphate synthase (AtPPPS), which forms a trans-double bond during each homoallylic substrate condensation, rather than a homomeric C10-geranyl pyrophosphate synthase as originally proposed. Biochem...

The logical and operational aspects of rewriting logic as a logical framework are tested and illustrated in detail by representing pure type systems as object logics. More precisely, we apply membership equational logic, the equational sublogic of rewriting logic, to specify pure type systems as they can be found in the literature and also a new variant of pure type systems with explicit names ...

OBJECTIVES To determine the factor structure of posttraumatic stress symptoms (PTSS) and assess its stability over time among parents of children diagnosed with cancer. METHODS Parents of children with cancer included in a longitudinal study completed the posttraumatic stress disorder (PTSD) Checklist-Civilian Version 2 weeks (n = 249) and 2 (n = 234) and 4 (n = 203) months after their child'...

The quantitative analysis of concurrent systems requires expressive and user-friendly property languages combining temporal, datahandling, and quantitative aspects. In this paper, we aim at facilitating the quantitative analysis of systems modeled as PTSs (Probabilistic Transition Systems) labeled by actions containing data values and probabilities. We propose a new regular probabilistic operat...

Cognitive theories of post-traumatic stress disorder (PTSD) feature appraisal trauma as a critical factor in the development and maintenance disorder. Here we explored appraisals social (severe rejection or humiliation). Participants were outpatients with anxiety (SAD) clinically significant PTSD symptoms (PTSS) after (n = 15); two clinical control groups either SAD 32) obsessive-compulsive (OC...

The objective was to assess the prevalence of post-traumatic stress disorder (PTSD) in offenders who undergo forensic psychiatric evaluation (FPE), compare differences with regard to the prevalence of PTSD between immigrants and Swedes, compare psychiatric comorbidity and offenses between PTSD and non-PTSD patients, and compare various instruments and questionnaires when assessing the level of ...

We present a functional programming language based on Pure Type Systems (PTSs). We show how we can de ne such a language by extending the PTS framework with algebraic data types, case expressions and de nitions. Furthermore, we present an e cient type checking algorithm and an interpreter for this language. PTSs are well suited as a basis for a functional programming language because they are a...

In the decade that has elapsed since the discovery of the first peroxisomal targeting signal (PTS), considerable information has been obtained regarding the mechanism of protein import into peroxisomes. The PTSs responsible for the import of matrix and membrane proteins to peroxisomes, the receptors for several of these PTSs, and docking proteins for the PTS1 and PTS2 receptors are known. Many ...

Media use can be beneficial in many ways, but little is known about how it might improve wellbeing outcomes following a traumatic natural disaster. Survivors ( n = 491) of deadly Hurricane Michael, which struck the Florida (USA) coastline 2018, completed an online survey, reporting indicators post-traumatic growth (PTG) and stress (PTSS). A serial mediation model explored hurricane-related stre...

Abstract Objective The purpose of this study was to explore anxiety, worry, and posttraumatic stress symptoms (PTSS) in parents children with food allergies, evaluate whether these three psychological outcomes could be predicted by allergy severity, intolerance uncertainty, self-efficacy. Methods Participants were 105 who reported their have medically diagnosed allergies. recruited a on parent ...