We present the open-source tool T2, the first public release from the TERMINATOR project [8]. T2 has been extended over the past decade to support automatic temporal-logic proving techniques and to handle a general class of user-provided liveness and safety properties. Input can be provided in a native format and in C, via the support of the LLVM compiler framework. We briefly discuss T2’s arch...

This White Paper provides an overview of major techniques used in DVB-T2 and their impact on service planning and operation of this new transmission technology.

BACKGROUND According to the Response Assessment in Neurooncology (RANO) criteria, significant nonenhancing signal increase in T2-weighted images qualifies for progression in high-grade glioma (T2-progress), even if there is no change in the contrast-enhancing tumor portion. The purpose of this retrospective study was to assess the frequency of isolated T2-progress and its predictive value on su...

OBJECTIVE The purpose of this study was to estimate the T2* relaxation time in breast cancer, and to evaluate the association between the T2* value with clinical-imaging-pathological features of breast cancer. MATERIALS AND METHODS Between January 2011 and July 2013, 107 consecutive women with 107 breast cancers underwent multi-echo T2*-weighted imaging on a 3T clinical magnetic resonance ima...

OBJECTIVE The objective of our study was to compare T2-weighted MRI alone and T2 combined with diffusion-weighted imaging (DWI) for the localization of prostate cancer. SUBJECTS AND METHODS T2-weighted imaging and DWI (b value = 600 s/mm2) were performed in 49 patients before radical prostatectomy using an endorectal coil at 1.5 T in this prospective trial. The peripheral zone of the prostate...

BACKGROUND AND PURPOSE Fluid-attenuated inversion recovery hyperintense vessels in stroke represent leptomeningeal collateral flow. We presumed that FLAIR hyperintense vessels would be more closely associated with arterial stenosis and perfusion abnormality in ischemic stroke on T2-PROPELLER-FLAIR than on T2-FLAIR. MATERIALS AND METHODS We retrospectively reviewed 35 patients with middle cere...

Technical limitations imposed by resolution and B1 homogeneity have thus far limited quantitative in vivo T2 mapping of cartilage to the patella. The purpose of this study is to develop T2 mapping of the femoral/tibial joint and assess regional variability of cartilage T2 in the knee. Quantitative in vivo T2 mapping of the knee was performed on 15 asymptomatic adults (age, 22-44) using a 3T MR ...

Two-dimensional T1-T2 H NMR relaxation correlation spectra and T2-T2 relaxation exchange spectra for samples of spruce wood across the full moisture content range from 0% to )100% are presented. The T1-T2 spectra unambiguously identify water in different environments within the wood that overlap in the corresponding and more traditional one-dimensional T1 or T2 experiment. The T2-T2 spectra una...