We report on the integration of Tps as an external reasoning component into the mathematical assistant system mega. Thereby Tps can be used both as an automatic theorem prover for higher order logic as well as interactively employed from within the mega environment. Tps proofs can be directly incorporated into mega on a tactic level enabling their visualization and verbalization. Using an examp...

BACKGROUND Tender points (TPs) and fibromyalgia (FM) may be precipitated by infections, but the frequency, associated characteristics, and predictors of these outcomes are unknown. OBJECTIVES To determine if acute infectious mononucleosis (AIM) is associated with the development of TPs or FM acutely or during the subsequent 6 months; if demographic, clinical, or psychosocial features predict ...

This paper develops an iterative genetic fuzzy logic controller (GFLC) model to adaptively control the transit-preemption signal (TPS) along an arterial with consideration of the traffic flows from all approaches. Two transit-preemption strategies, green extension and red truncation, are incorporated with simultaneous, progressive, and alternative coordinated signal systems. Compared with the s...

The aims of the study were to investigate the effect of poly(ε -caprolactone) (PCL) and nano- SiO2 within the thermoplastic starch (TPS) blends on the rate and extent of starch enzymatic hydrolysis using enzymes α-amylase and amyloglucosidase. The results of this study have revealed that blends with nano-SiO2 content at 6 wt% exhibited a significantly reduced rate and exte...

Soybean lecithin transphosphatidylated phosphatidylserine (SB-tPS) is already known to improve the learning ability of aged or drug-induced amnesic rodents. In this study, its effect on normal adult rodents was evaluated using several learning tasks. Firstly, three behavioral tests (open-field, Y-maze, and active avoidance test) were consecutively carried out after the daily oral administration...

In the yeast Saccharomyces cerevisiae, trehalose is synthesized by the trehalose synthase complex in two steps. The Tps1 subunit catalyses the formation of trehalose 6-phosphate (Tre6P), which is dephosphorylated by the Tps2 subunit. Tps1 also controls sugar influx into glycolysis; a tps1 deletion strain is therefore unable to grow on glucose. It is unclear whether this regulatory function of T...

Cereal β-glucan is a type of valuable dietary fiber that mainly exists in the aleurone, subaleurone, and endosperm some cereal grains. β-Glucan acknowledged as functional food ingredient owing to its multiple health benefits, including prevention diabetes, reduction incidence cardiovascular disease, antitumor effects, antioxidant activities, immunostimulation. It well documented cellulose synth...

Heterozygosity is the major constraint in perennial fruit crop like mango for regular bearing breeding. Majority of popular varieties have irregular habit. Many external and internal factors affect habit crops. Among factors, level carbohydrate reserves phytohormones plays a role on crops apple, citrus, mango, litchi etc., Therefore, present research work aimed to study metabolism pathways geno...

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 ...