Results 11  20
of
598,343
Cognitive Radio: BrainEmpowered Wireless Communications
, 2005
"... Cognitive radio is viewed as a novel approach for improving the utilization of a precious natural resource: the radio electromagnetic spectrum. The cognitive radio, built on a softwaredefined radio, is defined as an intelligent wireless communication system that is aware of its environment and use ..."
Abstract

Cited by 1479 (4 self)
 Add to MetaCart
the discussion of interference temperature as a new metric for the quantification and management of interference, the paper addresses three fundamental cognitive tasks. 1) Radioscene analysis. 2) Channelstate estimation and predictive modeling. 3) Transmitpower control and dynamic spectrum management
A theory of timed automata
, 1999
"... Model checking is emerging as a practical tool for automated debugging of complex reactive systems such as embedded controllers and network protocols (see [23] for a survey). Traditional techniques for model checking do not admit an explicit modeling of time, and are thus, unsuitable for analysis of ..."
Abstract

Cited by 2651 (32 self)
 Add to MetaCart
of realtime systems whose correctness depends on relative magnitudes of different delays. Consequently, timed automata [7] were introduced as a formal notation to model the behavior of realtime systems. Its definition provides a simple way to annotate statetransition graphs with timing constraints
δTtr Transition temperature interval
"... A thermal response model for designing a hybrid thermal energy storage (TES) heat sink is developed. The stabilization time and maximum operating (hot side) temperaturetotransition temperature difference are used to characterize the performance of the heat sink. The thermal properties of the PCM e ..."
Abstract
 Add to MetaCart
A thermal response model for designing a hybrid thermal energy storage (TES) heat sink is developed. The stabilization time and maximum operating (hot side) temperaturetotransition temperature difference are used to characterize the performance of the heat sink. The thermal properties of the PCM
ON THE GLASS TRANSITION TEMPERATURE IN COVALENT GLASSES
, 1998
"... We give a simple demonstration of the formula relating the glass transition temperature, Tg, to the molar concentration x of a modifier in two types of glasses: binary glasses, whose composition can be denoted by XnYm+xMpYq, with X an element of IIIrd or IVth group (e.g. B, or Si, Ge), while MpYq ..."
Abstract
 Add to MetaCart
We give a simple demonstration of the formula relating the glass transition temperature, Tg, to the molar concentration x of a modifier in two types of glasses: binary glasses, whose composition can be denoted by XnYm+xMpYq, with X an element of IIIrd or IVth group (e.g. B, or Si, Ge), while Mp
VERY HIGH RESOLUTION INTERPOLATED CLIMATE SURFACES FOR GLOBAL LAND AREAS
, 2005
"... We developed interpolated climate surfaces for global land areas (excluding Antarctica) at a spatial resolution of 30 arc s (often referred to as 1km spatial resolution). The climate elements considered were monthly precipitation and mean, minimum, and maximum temperature. Input data were gathered ..."
Abstract

Cited by 499 (7 self)
 Add to MetaCart
We developed interpolated climate surfaces for global land areas (excluding Antarctica) at a spatial resolution of 30 arc s (often referred to as 1km spatial resolution). The climate elements considered were monthly precipitation and mean, minimum, and maximum temperature. Input data were gathered
Glass Transition Temperature and Heat Capacity of
"... The glass transition temperature and heat capacity have been determined by differential scanning calorimetry on samples of heterotacticlike monodisperse poly(methy1 methacrylate) (PMMA). The nuclear magnetic resonace spectra of these samples reveal that they contain a larger percentage of mr triads ..."
Abstract
 Add to MetaCart
The glass transition temperature and heat capacity have been determined by differential scanning calorimetry on samples of heterotacticlike monodisperse poly(methy1 methacrylate) (PMMA). The nuclear magnetic resonace spectra of these samples reveal that they contain a larger percentage of mr triads
The Theory of Hybrid Automata
, 1996
"... A hybrid automaton is a formal model for a mixed discretecontinuous system. We classify hybrid automata acoording to what questions about their behavior can be answered algorithmically. The classification reveals structure on mixed discretecontinuous state spaces that was previously studied on pur ..."
Abstract

Cited by 680 (13 self)
 Add to MetaCart
A hybrid automaton is a formal model for a mixed discretecontinuous system. We classify hybrid automata acoording to what questions about their behavior can be answered algorithmically. The classification reveals structure on mixed discretecontinuous state spaces that was previously studied on purely discrete state spaces only. In particular, various classes of hybrid automata induce finitary trace equivalence (or similarity, or bisimilarity) relations on an uncountable state space, thus permitting the application of various modelchecking techniques that were originally developed for finitestate systems.
Exact Sampling with Coupled Markov Chains and Applications to Statistical Mechanics
, 1996
"... For many applications it is useful to sample from a finite set of objects in accordance with some particular distribution. One approach is to run an ergodic (i.e., irreducible aperiodic) Markov chain whose stationary distribution is the desired distribution on this set; after the Markov chain has ..."
Abstract

Cited by 548 (13 self)
 Add to MetaCart
For many applications it is useful to sample from a finite set of objects in accordance with some particular distribution. One approach is to run an ergodic (i.e., irreducible aperiodic) Markov chain whose stationary distribution is the desired distribution on this set; after the Markov chain has run for M steps, with M sufficiently large, the distribution governing the state of the chain approximates the desired distribution. Unfortunately it can be difficult to determine how large M needs to be. We describe a simple variant of this method that determines on its own when to stop, and that outputs samples in exact accordance with the desired distribution. The method uses couplings, which have also played a role in other sampling schemes; however, rather than running the coupled chains from the present into the future, one runs from a distant point in the past up until the present, where the distance into the past that one needs to go is determined during the running of the al...
Genomic Expression Programs in the Response of Yeast Cells to Environmental Changes
 Mol. Biol. Cell
, 2000
"... this article contains data set material, and is available at www.molbiolcell.org. ..."
Abstract

Cited by 743 (21 self)
 Add to MetaCart
this article contains data set material, and is available at www.molbiolcell.org.
Results 11  20
of
598,343