Main content
Displaying 18871 - 18880 of 37730

This paper investigates a model for the liquid and amorphous solid states of a Ni(80%) + P(20%) alloy using molecular dynamics computer simulation.

In any fluid or solid condensed phase, instantaneous atomic positions can be resolved into a combination of inherent packing and of vibrational deformation components.

We show that chromatic dispersion induced local oscillator (LO) phase noise to amplitude noise conversion significantly degrades the performance of a high-speed coherent system without optical disp

We show that chromatic dispersion induced local oscillator (LO) phase noise to amplitude noise conversion significantly degrades the performance of a high-speed coherent system without optical disp

Grain-to-grain interactions dominate the plasticity of Al thin films and establish effective length scales smaller than the grain size.

This paper deals with localization services in IEEE 802.11 networks.

This paper explores "local'' proofs for global safety properties of asynchronous, multi-process programs. Model checking on the full state space is often infeasible due to state explosion.

This paper develops a local reasoning method to check for termination and other linear-time temporal properties of concurrent programs.

In this paper we study the expressiveness of local queries.

Using inelastic magnetic neutron scattering we have discovered a localized spin resonance at 4.5 meV in the ordered phase of the geometrically frustrated cubic antiferromagnet ZnCr sub 2 O sub 4.