Introduction: Similar in size Venus has been called Earth’s sister planet. However with an atmospheric pressure of 90bar and surface temperatures exceeding 460oC, the conditions on the surface of Venus are some of the most extreme in the solar system. Our desire to go to learn more about our neighboring planet is pushing the envelope for sample handling technologies. The Venusian environment is...

Figure 3 The femoral rasp inserted to a sufficient depth in the canal via the piriformis fossa. The rasp acts as a guide while diathermy is used to demarcate the angle of neck osteotomy. lies medial to the greater trochanter of the proximal femur (Fig 2). This ensures only a blunt instrument is used to create an initial passage for the femoral rasp, minimising the risk of femoral perforation. W...

Members of the Hedgehog (Hh) family encode secreted molecules that act as potent organizers during vertebrate and invertebrate development. Post-translational modification regulates both the range and efficacy of Hh protein. One such modification is the acylation of the N-terminal cysteine of Hh. In a screen for zygotic lethal mutations associated with maternal effects, we have identified rasp,...

Allergic bronchopulmonary aspergillosis (ABPA), a severe pulmonary complication caused by Aspergillus fumigatus, is considered a complex clinical syndrome with defined serological, pathological radiological and clinical features. The diagnosis of ABPA is often difficult because of several overlapping clinical and laboratory findings shared between asthma with sensitization to A. fumigatus and A...

This report describes the tag sequence grammars released as part of the Robust Accurate Statistical Parsing (RASP) system. It is intended to help users of RASP understand the linguistic and engineering rationale behind the grammars and prepare them to customize the system for their application. It also contains a fairly exhaustive list of references to extant work utilizing the RASP parser.

RASP is a recent extension to Answer Set Programming (ASP) that permits declarative specification and reasoning on consumption and production of resources. ASP can be seen as a particular case of RASP. In this paper, we study the relationship between linear logic and RASP problem specification. We prove that RASP programs can be translated into (a fragment of) linear logic, and vice versa. In d...

During total hip arthroplasty the final clinical position of the cementless CLS stem (Centerpulse) is not always identical to the position of the final rasp with which a successful trial reduction was performed. Therefore, the rasp-stem correspondence of CLS system (Centerpulse) was investigated in a laboratory study and compared to the CBC-T system (Mathys). Both systems showed an average rasp...

In this paper, we propose an extension of Answer Set Programming (ASP) to support declarative reasoning on consumption and production of resources. We call the proposed extension RASP, standing for “Resourced ASP”. Resources are modeled by introducing special atoms, called amount-atoms, to which we associate quantities that represent the available amount of a certain resource. The “firing” of a...

Social support can have beneficial effects on psychological and physiological well-being. During acute bodily pain, however, the effects of social support on pain are mixed. This variability may be due to the multifaceted nature of both pain and social support, as well as individual differences. In this paper, we present the development, psychometric assessment, and initial validation of the fi...

In this paper, we extend our previous work on Resourced ASP, or for short RASP, where we have introduced the possibility of defining and using resources in ASP. In RASP, one can define resources with their amounts, where available resources can be used for producing other resources and the remaining amount, if any, can be used in a different way. In this paper, we introduce P-RASP (RASP with Pr...