This paper reports on the integration of the higher-order theorem proving environment Tps [Andrews et al., 1996] into the mathematical assistant mega [Benzm uller et al., 1997]. Tps can be called from mega either as a black box or as an interactive system. In black box mode, the user has control over the parameters which control proof search inTps; in interactive mode, all features of theTps-s...

Introduction One of the most feared complications of a traditional pacemaker system is cardiac implantable electronic device infection. In such cases, a complete removal of the entire system is recommended. With the advent of the leadless transcatheter pacemaker system (TPS), the weak link— namely, the pacing leads that contribute to this problem— can be ultimately eliminated. At least 2 major ...

Biological systems are increasingly being studied by high throughput profiling of molecular data over time. Determining the set of time points to sample in studies that profile several different types of molecular data is still challenging. Here we present the Time Point Selection (TPS) method that solves this combinatorial problem in a principled and practical way. TPS utilizes expression data...

After consumption, pharmaceuticals are excreted as parent compounds and/or metabolites in urine and faeces. Some are not completely removed during wastewater treatments, forcing sewage treatment plants (STPs) to apply alternative technologies to guarantee quality of treated water. To monitor the removal efficiency of STPs, not only unchanged compounds and metabolites have to be taken into accou...

A protein of about 800 kDa with trehalose-6-phosphate synthase (TPS) and trehalose-6-phosphate phosphatase (TPP) activity was purified from bakers' yeast. This TPS/P complex contained 57, 86 and 93 kDa polypeptides. The 86 and 93 kDa polypeptides both appeared to be derived from a polypeptide of at least 115 kDa in the native enzyme. A TPS-activator (a dimer of 58 kDa subunits) was also purifie...

Filamentous hemagglutinin (FHA), the major 230-kDa adhesin of the whooping cough agent Bordetella pertussis, is one of the most efficiently secreted proteins in Gram-negative bacteria. FHA is secreted by means of the two-partner secretion (TPS) pathway. Several important human, animal, and plant pathogens also secrete adhesins and other virulence factors by using this mode of secretion. A TPS s...

In this study, we evaluated the prognostic value of the tumour marker, tissue polypeptide-specific antigen (TPS), in 203 patients with non-small cell lung cancer (NSCLC), and related this to several other known prognostic factors. TPS was significantly correlated with lactate dehydrogenase (LDH), gamma-glutamyltranspeptidase and alkaline phosphatase, and the median level of TPS in patients with...