The method of Koiwa and Ishioka (Philos Mag A 47:927–938, 1983) is used, with slight modification, to evaluate the correlation factor for vacancy-mediated diffusion of ...

This paper decribes the Automated Complexity Analysis prototype (ACAp) system for autmated complexity analysis of functional programs synthesized with the Nuprl proof ...

Using a directed acyclic graph (dag) model of algorithms, we solve a problem related to precedence-constrained multiprocessor schedules for array computations: Given a ...

Dynamically changing systems in biology and chemistry are often modeled as a system of ordinary differential equations (ODEs). Biologists and chemists often represent these ...

A new Mathematica programming style that emphasizes prefix and postfix-pure function is presented as an alternative to the traditional matchfix-dominated style. Postfix-pure ...

The ability to generate pseudorandom numbers is important for simulating events, estimating probabilities and other quantities, making randomized assignments or selections, ...

By virtue of a new complete scalar potential function, an analytical formulation is presented to determine displacements, stresses, and temperature in an axisymmetric linear ...

During the Large Hadron Collider operation in 2010 and 2011, it was observed that about 50% of the main dipole magnets exhibiting two apertures showed unbalanced ...

Analytical and numerical investigations have been made to determine the solution of a thermoelastic isotropic half-space under buried mechanical load and heat ux based on ...

In this letter we report the formal verification of encryption and decryption circuits. After we describe algebraically a simple modular arithmetic circuit at both function ...