gram level. Many forms of computation are well suited to dataflow description and implementation. Some common examples include complex media coding, network processing, imaging and digital signal processing, and em bedded control. Digital radio is one application domain that can be successfully modeled using data flows. Dataflow modeling facilitates component isolation and “pluggable” processin...

A variety of scholars have argued for the necessity ofan argumentstructure within lexical items that forms an inte~ace with syntax. Williams (1994) argues for direct-theta-control, Grimshaw argues for a level of Argument structure, Pusteovsky (1993) has argued for an articulated notion of Events, and Hale and Keyser argue for a Lexical-Conceptual s r cture (1993) the sort advocated byJackendoff...

In this paper, we report our ongoing investigations of the inherent non-determinism in contemporary execution environments that can potentially lead to divergence in state of a multi-channel hardware/software system. Our approach involved setting up of experiments to study execution path variability of a simple program by tracing its execution at the kernel level. In the first of the two experi...

Research suggests that the exercise of control is desirable and adaptive, but the precise mechanisms underlying the affective value of control are not well understood. The study reported here characterized the affective experience of personal control by examining the neural substrates recruited when individuals anticipate the opportunity to make a choice--in other words, when they anticipate th...

Vacuity checking is traditionally performed after model checking has terminated successfully. It ensures that all the elements of the specification have played a role in its satisfaction by the design. Vacuity checking gets as input both design and specification, and is based on an in-depth investigation of the relation between them. Vacuity checking has been proven to be very useful in detecti...

Radio frequency fingerprint (RFF) identification distinguishes wireless transmitters by exploiting their hardware imperfection that is inherent in typical radio (RF) front ends. This can reduce the risks for identities of legitimate devices being copied, or forged, which also occur conventional software-based systems. paper analyzes feasibility device unique non-linear memory effect transmitter...

The Very Large Array was used to observe the ultracool rapidly rotating M9 dwarf TVLM 513-46546 simultaneously at 4.88 GHz and 8.44 GHz. The radio emission was determined to be persistent, variable and periodic at both frequencies with a period of ∼ 2 hours. This periodicity is in excellent agreement with the estimated period of rotation of the dwarf based on its v sin i of ∼ 60 km s. This rota...

background: the rationale was to develop an ablation approach to destroy regions of tumor resistant to radiation and thus reduce the time required for whole tumor ablation, while improving overall tumor control after radiotherapy. materials and methods: the system is composed of a micro positron emission tomography (mpet), 7t magnetic resonance imaging (mri), and a customized mri-compatible foc...

About 10% of apparently normal individuals are sensitive to clastogenic effects of physico-chemical agents. More than 45% of breast cancer patients’ exhibit elevated radiosensitivity. Although the nature of inherent radiosensitivity is not fully understood, but insufficiency and impaired DNA repair mechanism might be prime cause of radiosensitivity. This is evident from genetically affect...