A recursively defined ordering for proving termination of term rewriting systems /

NSF MCS 77-22830."

Relativistic many-body bound systems : electromagnetic properties /

Mode of access: Internet.

Grundzüge eines Systems der Erkenntnisslehre und Denklehre.

Mode of access: Internet.

On the necessary condition for optimal control of nonlinear systems.

"Prepared under contract Nonr-225(11) (NR-041-086) for Office of Naval Research."

On measuring the value of information, with implications for communications systems.

Photocopy.

Researches on the evolution of the stellar systems ...

v. 1. On the universality of the law of gravitation and on the orbits and general characteristics of binary stars.--v. 2. The capture theory of cosmical evolution, founded on dynamical principles and illustrated by phenomena observed in the spiral nebulae, the planetary system, the double and multiple stars and clusters and the star-clouds of the Milky way.

Electromechanical system theory /

Mode of access: Internet.

Facilitating Realistic and Efficient Applications of Ab Initio Electronic Dynamics for Polyatomic Systems

Thesis (Ph.D.)--University of Washington, 2016-06

Educational Systems for Maximizing Learning Online and in the Classroom

Thesis (Ph.D.)--University of Washington, 2016-06

Making the 2004 Constitution of Afghanistan: A History and Analysis Through the Lens of Coordination and Deferral Theory

Thesis (Ph.D.)--University of Washington, 2016-06

Developments in the Theory of X-ray Absorption and Compton Scattering.

Thesis (Ph.D.)--University of Washington, 2016-06

The relationship between non-orthographic language abilities and reading performance: An exploration of the primary systems hypothesis in chronic aphasia

Thesis (Ph.D.)--University of Washington, 2016-06

Modelling the input-output behaviour of piezoelectric structural health monitoring systems for composite plates

This paper investigates the input-output characteristics of structural health monitoring systems for composite plates based on permanently attached piezoelectric transmitter and sensor elements. Using dynamic piezoelectricity theory and a multiple integral transform method to describe the propagating and scattered flexural waves an electro-mechanical model for simulating the voltage input-output transfer function for circular piezoelectric transmitters and sensors adhesively attached to an orthotropic composite plate is developed. The method enables the characterization of all three physical processes, i.e. wave generation, wave propagation and wave reception. The influence of transducer, plate and attached electrical circuit characteristics on the voltage output behaviour of the system is examined through numerical calculations, both in frequency and the time domain. The results show that the input-output behaviour of the system is not properly predicted by the transducers' properties alone. Coupling effects between the transducers and the tested structure have to be taken into account, and adding backing materials to the piezoelectric elements can significantly improve the sensitivity of the system. It is shown that in order to achieve maximum sensitivity, particular piezoelectric transmitters and sensors need to be designed according to the structure to be monitored and the specific frequency regime of interest.

Quantitative prediction of phase diagrams for polymer partitioning in aqueous two-phase systems

Published polymer distribution data for aqueous poly(ethylene glycol)/dextran mixtures have been reassessed to illustrate the feasibility of their quantitative characterization in terms of the Flory-Huggins theory of polymer thermodynamics. Phase diagrams predicted by this characterization procedure provide better descriptions of the experimental data than those based on an earlier, oversimplified treatment in similar terms. (C) 2003 Wiley Periodicals, Inc.

Existence and embeddings of partial Steiner triple systems of order ten with cubic leaves

Denote the set of 21 non-isomorphic cubic graphs of order 10 by L. We first determine precisely which L is an element of L occur as the leave of a partial Steiner triple system, thus settling the existence problem for partial Steiner triple systems of order 10 with cubic leaves. Then we settle the embedding problem for partial Steiner triple systems with leaves L is an element of L. This second result is obtained as a corollary of a more general result which gives, for each integer v greater than or equal to 10 and each L is an element of L, necessary and sufficient conditions for the existence of a partial Steiner triple system of order v with leave consisting of the complement of L and v - 10 isolated vertices. (C) 2004 Elsevier B.V. All rights reserved.