In this paper, we study model checking of timed automata (TAs), and more precisely we aim at finding efficient model checking for subclasses of TAs. For this, we consider model checking TCTL and TCTL≤,≥ over TAs with one clock or two clocks. First we show that the reachability problem is NLOGSPACE-complete for one clock TAs (i.e. as complex as reachability in classical graphs) and we give a pol...

BACKGROUND A number of instruments have been developed for determination of prothrombin time (PT) and International Normalised Ratio (INR) at locations not limited to central laboratories. AIM To evaluate one such portable instrument, the Thrombolytic Assessment System (TAS), which can be used in a near-patient setting. METHODS Samples from 20 normal subjects and 48 patients treated with wa...

Sirtuin-1 (SIRT1) is a longevity factor in mammals initiating the cell survival mechanisms, and preventing ischemic injury in heart. In the etiopathogenesis of heart failure (HF), impairment in cardiomyocyte survival is a notable factor. Oxidative stress comprises a critical impact on cardiomyocyte lifespan in HF. The aim of the present study was to investigate SIRT1 expression in patients with...

Three complete mitochondrial DNA (mtDNA) control regions (CRs) of Chelodina rugosa (Ogilby, 1890), Chelus fimbriata (Schneider, 1783), and Podocnemis unifilis (Troschel, 1848) were firstly determined using Long-PCR method and the length were 1,016 bp, 1,149 bp, and 985bp, respectively. Together with CRs of Pelomedusa subrufa (Bonnaterre, 1789) and nearly complete CR of Podocnemis expansa (Schwe...

The biology of tumor-associated stroma (TAS) in pancreatic ductal adenocarcinoma (PDAC) is not well understood. The paradoxical observation that stroma-depletion strategies lead to progression of PDAC reinforced the need to critically evaluate the functional contribution of TAS in the initiation and progression of PDAC. PDAC and TAS cells are unique in their expression of specific miRNAs, and t...

6-((2-(Dimethylamino)ethyl)amino)-3-hydroxy-7H-indeno(2,1-c)-quinolin-7-one dihydrochloride (TAS-103) is a quinoline derivative that displays antitumor activity in murine and human tumor models. TAS-103 has been reported to be a potent topoisomerase II poison. However, other studies have indicated that cellular susceptibility to TAS-103 is not correlated with topoisomerase II expression. Becaus...

Transmit antenna (TA) subset selection (TAS) is a well known multiple-input multiple-output technique that exploits the channel state information (CSI) at the transmitter in order to improve the attainable bit error rate (BER) performance. The extensive study of TAS in the context of spatial modulation (SM) has recently revealed that a significant performance gains are attainable compared to SM...

Department of the Environment, Water, Heritage and the Arts, Australian Antarctic Division, 203 Channel Highway, Kingston, Tas. 7050, Australia; Antarctic Climate and Ecosystems Cooperative Research Centre, University of Tasmania, Private Bag 80, Hobart, Tas. 7001, Australia; Department of the Environment, Water, Heritage and the Arts, Australian Antarctic Division, Australian Marine Mammal Cen...

A 59-year-old woman, diagnosed with advanced rectal cancer, presented with a low-grade fever and dyspnea on exertion after the 2nd cycle of TAS-102. TAS-102 has promising efficacy in patients with metastatic colorectal cancer. A CT scan revealed mosaic patterns with bilateral ground-glass opacities. The drug lymphocyte stimulation test for TAS-102 was strongly positive and serum β-D glucan leve...

The PI3K/Akt pathway plays a crucial role in the pathogenesis of multiple myeloma (MM) in the bone marrow (BM) milieu. However, efficacy of selective and potent Akt inhibition has not yet been fully elucidated. In this study, we, therefore, examined the biologic impact of selective and potent Akt inhibition by a novel allosteric inhibitor TAS-117. TAS-117 induced significant growth inhibition, ...