The Tyrolean Complexity Tool, TCT for short, is an open source complexity analyser for term rewrite systems. Our tool TCT features a majority of the known techniques for the automated characterisation of polynomial complexity of rewrite systems and can investigate derivational and runtime complexity, for full and innermost rewriting. This system description outlines features and provides a shor...

In this article, the power generation of a concentrated space solar station (SSPS) is enhanced by current-injected total-cross-tied (TCT-CI) photovoltaic (PV) array. First, mathematical model TCT-CI–connected PV array established. Second, arrays with several common topologies and TCT-CI topology are simulated analyzed using MATLAB/Simulink. At last, comparative experiments conducted for TCT und...

Absrruct-A new method for broadband array processing is proposed. The method is based on unitary transformation of the signal subspaces. We apply a two-sided transformation on the correlation matrices of the array. It is shown that the twosided correlation transformation (TCT) has a smaller subspace fitting error than the coherent signal-subspace method (CSM). It is also shown that unlike CSM,...

Tongue diagnosis is an important procedure in traditional Korean medicine (TKM). In particular, tongue coating thickness (TCT) is deemed to show the progression of the disease. However, conventional tongue diagnosis has limitations because of various external factors. Therefore, it is necessary to investigate the availability of tongue diagnosis system (TDS) in the assessment of TCT. This study...

In the past few years, many studies have reported on the formula of solder metal alloy materials. This paper discusses the influence of organic materials characters, the decomposing rate of flux in lead-free solder paste and coefficients of thermal expansion (CTE) of halogen-free mold compounds during the on-board reliability test, and the failure mechanism in both 63Sn/37Pb and Sn–3.5Ag–0.5Cu ...

Dear editor, Since the development of diffusion tensor tractography (DTT), which enables three-dimensional reconstruction of neural tracts, a few studies have reported that passage of a ventriculoperitoneal (VP) shunt caused injury of adjacent neural tracts. The Papez circuit, described by James Papez in 1937, is involved in memory function, particularly episodic memory. The thalamocingulate tr...

[Purpose] This study aimed to determine the predictive values of the trunk control test (TCT) and functional ambulation category (FAC) for independent walking up to 6 months post stroke. [Subjects] Twenty-seven subjects with hemiplegia secondary to a unilateral hemisphere stroke were included. [Methods] The protocol was started at 45 days post stroke, with the TCT and FAC as walking predictors....

This editorial presents our view of the status of thyroidal calcitonin (TCT) in mammalian physiology. The discovery of calcitonin (CT) enabled the development of a valuable therapeutic agent but the early experiments most likely misled us with regard to its physiological significance. These early purported roles for TCT, first as an agent important in blood calcium regulation and later as an ag...

BACKGROUND Our aim was to investigate the efficacy of the Pap test in combination with the ThinPrep cytological test (TCT) in screening for cervical cancer in China. DESIGN From March 2006 to October 2008, 988 women with the mean age 46.4 ± 10.5 years (range, 23-80 years) were recruited to receive cervical cancer screening. Pap test results ≥ grade III and TCT findings ≥ ASCUS/AGUS were consi...

BACKGROUND New cognitive treatments for schizophrenia are needed that drive persistent gains in cognition and functioning. Using an innovative neuroplasticity-based cognitive training approach, we report our interim findings on the effects on cognition and functional outcome at 6 months after treatment. METHODS Thirty-two clinically stable schizophrenia subjects were randomly assigned to eith...