Computability of Countable Subshifts in One Dimension

We investigate the computability of countable subshifts in one dimension, and their members. Subshifts of Cantor?CBendixson rank two contain only eventually periodic elements. Any rank two subshift in 2^? is decidable. Subshifts of rank three may contain members of arbitrary Turing degree. In contrast, effectively closed ( $\Pi^{0}_{1}$ ) subshifts of rank three contain only computable elements, but $\Pi^{0}_{1}$ subshifts of rank four may contain members of arbitrary $\Delta^{0}_{2}$ degree. There is no subshift of rank ??+1.     

Ceramic Composites with Three-Dimensional Architectures Designed to Produce a Threshold Strength—II. Mechanical Observations

Finite element modeling and linear elastic fracture mechanics are used to model the residual stresses and failure stress of ceramic composites consisting of polyhedral alumina cores surrounded by thin alumina/mullite layers in residual compression. This type of composite architecture is expected to exhibit isotropic threshold strength behavior, in which the strength of the composite for a particular assumed flaw will be constant and independent of the orientation of tensile loading. The results of the modeling indicate that the strengths of such architectures will be higher than those of laminates of similar architectural dimensions that were previously found to exhibit threshold strength behavior for a particular flaw type. Flexural testing of the polyhedral architectures reveals that failure is dominated by processing defects found at junctions between the polyhedra. Fractography revealed the interaction of these defects with the residual stresses in the compressive layers that separate the polyhedra.     

Low Voltage Electrowetting-on-Dielectric Platform using Multi-Layer Insulators

A low voltage, two-level-metal, and multi-layer insulator electrowetting-on-dielectric (EWD) platform is presented. Dispensing 300pl droplets from 140nl closed on-chip reservoirs was accomplished with as little as 11.4V solely through EWD forces, and the actuation threshold voltage was 7.2V with a 1Hz voltage switching rate between electrodes. EWD devices were fabricated with a multilayer insulator consisting of 135nm sputtered tantalum pentoxide (Ta(2)O(5)) and 180nm parylene C coated with 70nm of CYTOP. Furthermore, the minimum actuation threshold voltage followed a previously published scaling model for the threshold voltage, V(T), which is proportional to (t/ε(r))(1/2), where t and ε(r) are the insulator thickness and dielectric constant respectively. Device threshold voltages are compared for several insulator thicknesses (200nm, 500nm, and 1μm), different dielectric materials (parylene C and tantalum pentoxide), and homogeneous versus heterogeneous compositions. Additionally, we used a two-level-metal fabrication process, which enables the fabrication of smaller and denser electrodes with high interconnect routing flexibility. We also have achieved low dispensing and actuation voltages for scaled devices with 30pl droplets.     

Interactive display of isosurfaces with global illumination

In many applications, volumetric data sets are examined by displaying isosurfaces, surfaces where the data, or some function of the data, takes on a given value. Interactive applications typically use local lighting models to render such surfaces. This work introduces a method to precompute or lazily compute global illumination to improve interactive isosurface renderings. The precompiled illumination resides in a separate volume and includes direct light, shadows, and intersections. Using this volume, interactive globally illuminated renderings of isosurfaces become feasible while still allowing dynamic manipulation of lighting, viewpoint and isovalue.     

Regression of bladder tumors in mice treated with interleukin 2 gene-modified tumor cells

This study explored the use of interleukin 2 (IL-2) and interferon gamma (IFN-gamma) gene-modified tumor cells as cellular vaccines for the treatment of bladder cancer. The mouse MBT-2 tumor used is an excellent model for human bladder cancer. This carcinogen-induced tumor of bladder origin resembles human bladder cancer in its etiology and histology, and responds to treatment in a manner similar to its human counterpart. Using retroviral vectors, the human IL-2 and mouse IFN-gamma genes were introduced and expressed in MBT-2 cells. The tumor-forming capacity of the cytokine gene-modified MBT-2 cells was significantly impaired, since no tumors formed in mice injected intradermally with either IL-2- or IFN-gamma-secreting cells, using cell doses far exceeding the minimal tumorigenic dose of parental MBT-2 cells. Furthermore, mice that rejected the IL-2- or IFN-gamma-secreting tumor cells became highly resistant to a subsequent challenge with parental MBT-2 cells, but not to 38C13 cells, a B cell lymphoma of the same genetic background. To approximate the conditions as closely as possible to the conditions prevailing in the cancer patient, inactivated cytokine-secreting cells were used to treat animals bearing tumors established by orthotopic implantation of MBT-2 cells into the bladder wall of the animal. Treatment of mice carrying a significant tumor burden with IL-2-secreting MBT-2 cells had a significant inhibitory effect on tumor progression with extended survival. Moreover, in 60% of the mice the tumor regressed completely and the animals remained alive and free of detectable tumor for the duration of the observation period. Treatment of tumor-bearing animals with IL-2-secreting MBT-2 cells was superior to the use of cisplatin, a chemotherapeutic agent used in the treatment of bladder cancer. The therapeutic effect of IFN-gamma-secreting cells was minimal and treatment with unmodified MBT-2 cells had no effect on tumor growth or survival, showing that the parental MBT-2 cells were nonimmunogenic in this experimental setting. Most importantly, mice that exhibited complete tumor regression after treatment with IL-2-secreting MBT-2 cells became resistant to a subsequent challenge with a highly tumorigenic dose of parental MBT-2 cells, indicating that long-term immunological memory was established in the "cured" mice.     

Role of sample size in the nucleation kinetics of phase transformations in steel alloys

Certain commercial steel alloys exhibit a two-step phase transformation process during solidification when substantial undercooling of the liquid allows access to the metastable phase. This two-step transformation leads to a desirable microstructure under certain conditions. Electrostatic Levitation (ESL) and Electromagnetic Levitation (EML) are two methods of containerless processing used to study how nucleation and growth kinetics influence the transformation delay between phases. Because the two facilities show substantially different delay results, the test environment differences have been analyzed to determine the root cause of this deviation. In particular, the difference in sample size between ESL and EML is examined and modeling shows that this difference is not the controlling factor in determining transformation delay behavior.     

Tapered microvalves fabricated by off-axis X-ray exposures

 A method for creating angled structures for use in microvalve devices applicable to control of liquid flow is presented. This technique utilizes a modified LIGA process with successive angled and rotated exposures into free standing acrylic sheets to form a tapered valve seat structure. These valve seats are integrated with bulk micromachined silicon diaphragms and tapered PMMA valve bosses to complete the microvalve. The long term goal of this research effort is to develop a normally-closed, low power, microfabricated valve for use in an implantable drug delivery system. This paper reports on the design and fabrication of microvalves using off-axis LIGA exposures. Flow testing and fluid handling characterization results are also presented. Received: 25 August 1997 Accepted: 22 October 1997     

Determination of 3‐D Alumina Grain Orientation,Size, Shape,and Growth Kinetics from 2‐D Data in Nextel™ 610 Fibers

Nextel^? 610 alumina fibers were heat‐treated at 1100°C–1500°C for 1–100 h in air. Grain size distributions (GSDs) and grain orientation distributions (ODs) with respect to the fiber axis were characterized by analysis of TEM images from longitudinal fiber sections. The 2‐D GSDs and ODs were characterized as ellipses. 3‐D GSDs and ODs were calculated by fitting distributions of oriented oblate ellipsoids to 2‐D GSDs and ODs formed by ellipsoid–section‐plane intersections. The standard deviations (SDs) of log‐normal GSDs consistently increased with grain size, which is not diagnostic of normal grain growth. The grain aspect ratio (α) and the tendency of the short grain axis to orient perpendicular to the fiber axis also increased with grain size, resulting in more textured fibers at larger grain sizes. Average 3‐D grain sizes were larger than 2‐D sizes for GSDs with small SDs, but smaller for GSDs with large SDs because of under sampling of small grains. 3‐D grain growth kinetics had the same 815 kJ/mol activation energy as that found by 2‐D analysis, but the grain growth exponent m of 6.0 was larger and the pre‐exponential factor much smaller. Expressions for 3‐D log‐normal GSDs as a function of heat treatment temperature and time were determined. α‐distributions and ODs were determined as a function of grain size. Methods for determining 3‐D GSDs are discussed.