نتایج جستجو برای: ttl

تعداد نتایج: 685  

Journal: :CoRR 2012
Aditya Kanade Amitabha Sanyal Uday P. Khedker

Program transformations are widely used in synthesis, optimization, and maintenance of software. Correctness of program transformations depends on preservation of some important properties of the input program. By regarding programs as Kripke structures, many interesting properties of programs can be expressed in temporal logics. In temporal logic, a formula is interpreted on a single program. ...

2011
Vikas Malik Glen J. Watson Chu Q. Phua Prad Murthy

Objectives: To identify any fluctuation of corrected serum calcium levels and to determine the presence of sub-clinical hypocalcaemia following partial and total thyroidectomy with preservation of at least two parathyroid glands. Design: A prospective study. Setting: Tertiary Head & Neck referral unit. Patients: Eighty five patients undergoing partial or total thyroidectomy with or without lary...

2011
Peter Danielis Jan Skodzik Dirk Timmermann Thomas Bahls Daniel Duchow

Peer-to-Peer (P2P) file sharing generates by far the most Internet traffic reaching up to 70 % in some regions of the world. These data volumes pose a significant challenge to Internet Service Providers (ISPs) regarding traffic engineering. Because P2P routing is usually agnostic of the underlying topology, traffic engineering abilities of ISPs are inhibited and their core networks are overburd...

2007
W. G. Read C. D. Boone

Mechanisms for transporting and dehydrating air across the tropical tropopause layer (TTL) are investigated with a conceptual two dimensional (2-D) model. The 2-D TTL model combines the Holton and Gettelman cold trap dehydration mechanism (Holton and Gettelman, 2001) with the two column convection model of Folkins and Martin (2005). We investigate 3 possible transport scenarios through the TTL:...

2009
T. P. Dinh D. R. Durran T. P. Ackerman

5 [1] A two-dimensional cloud resolving model with explicit bin microphysics is used to 6 study the maintenance of tropical tropopause layer (TTL) cirrus. Numerical simulations 7 using this model show that a TTL cirrus with a maximum radiative heating rate of 3 K/day 8 is able to self-maintain for as long as 2 days if it contains ice crystals whose initial 9 mean radius is smaller than about 5 ...

2016
Sebastian Dietmar Barth Rudolf Kaaks Theron Johnson Verena Katzke Katharina Gellhaus Janika Josephin Schulze Sven Olek Tilman Kühn

BACKGROUND Experimental and clinical evidence indicate that inflammatory processes in atherogenesis and the development of cardiovascular complications are promoted by a loss of regulatory T cell (Treg)-mediated immunological tolerance to plaque antigens. Yet, the association between alterations of systemic Treg frequency and cardiovascular disease incidence remains uncertain. METHODS A neste...

2016
Kathrin Heinzmann Davina Jean Honess David Yestin Lewis Donna-Michelle Smith Christopher Cawthorne Heather Keen Sandra Heskamp Sonja Schelhaas Timothy Howard Witney Dmitry Soloviev Kaye Janine Williams Andreas Hans Jacobs Eric Ofori Aboagye John Richard Griffiths Kevin Michael Brindle

BACKGROUND Recent studies have shown that 3'-deoxy-3'-[(18)F] fluorothymidine ([(18)F]FLT)) uptake depends on endogenous tumour thymidine concentration. The purpose of this study was to investigate tumour thymidine concentrations and whether they correlated with [(18)F]FLT uptake across a broad spectrum of murine cancer models. A modified liquid chromatography-mass spectrometry (LC-MS/MS) metho...

2010
A.K.M Fazlul Haque Md. Hanif Ali M Adnan Kiber Yun Hee Kim

In this paper, a new method has been proposed to eliminate the intersymbol interference (ISI) and interchannel interference (ICI) for discrete multitone/orthogonal frequency division multiplexing (DMT/OFDM) systems by considering Time to Live (TTL) of multipath channel fading, especially for wireless medical application. In this method, the existence time of the packet is considered as the maxi...

Journal: :Journal of Computer and System Sciences 2003

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید