In this paper we describe progress towards a theory of tran-formational program development. The transformation rules are based on a theory of contextual equivalence for functional languages with imperative features. Such notions of equivalence are fundamental for the process of program speciication, derivation, transformation, reenement and other forms of code generation and optimization. This...

Metal-Based Drugs 6(2) (1999), 127 RADIOPROTECTANT ACTIVITY OF 5-DIETHYLSULFONAMOYLSALICYLATOCOPPER(II) IN GAMMA IRRADIATED MICE John A. Kuykendall, III, Hugh Simmons, III, Henry J. Irving, Mark A. Wear, Paul G. Sorenson, Linda G. Tipton, Kenchasha M. Maddox, Elsie L. Williams, Van Anh Pham-Tran, Chassie Credit, Israt L. Chowdhury, Shaheen Khan, J. Brooks Tipton, William M. Willingham, and John...

Gene Expression Profiles in Peripheral Blood Mononuclear Cells Can Distinguish Patients with Non–Small Cell Lung Cancer from Patients with Nonmalignant Lung Disease. Michael K. Showe, Anil Vachani, Andrew V. Kossenkov, Malik Yousef, Calen Nichols, Elena V. Nikonova, Celia Chang, John Kucharczuk, Bao Tran, Elliot Wakeam, Ting An Yie, David Speicher, William N. Rom, Steven Albelda, and Louise C. ...

Hoa Tran, Fordham University In Quantum Communication Channels, identification via quantum channels in which the transmission capacity is in soft converse. The new approach for quantum channels based on strong converse method will be addressed, it involves a development of explicit large deviation estimates to the case of random variables taking values in self-adjoint operators.

The dynamics of a homogeneous population of spiking neurons are analyzed. It is shown that signal transmission can be rapid. The cut-oo frequency of signal transmission depends on the noise level and on synaptic time constants rather than on the membrane time constant. In the low noise limit, tran-sients of the population activity can be immediate .

Using a simple frame of logic, specificationally the TSP is tran-sormed to a Hamiltonian Path Problem. A brief consideration of the Lin-Kernighan heuristic for the TSP indirectly provides an answer to Godel's question 'How long is a proof?', by treating 'proving' as an optimisation problem...

in tokamak geometry A. Bottino, B.D. Scott, R. Hatzky, S. Jolliet, B.F McMillan, A.G. Peeters, T.M. Tran, T. Vernay and L. Villard 1 Max Planck Institut für Plasmaphysik, IPP-EURATOM Association, Garching, Germany Computer Center of the Max-Planck-Gesellschaft, D-85748 Garching, Germany 3 CRPP, Association Euratom Confédération Suisse, EPFL, Lausanne, Switzerland CFSA, University of Warwick, CV...