Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 9 of 9 for “"type-conversion"”.
-
Dependency Tracking and Dependent Types
… computations depend on their inputs. Dependent types, on the other hand, allow static types to depend on and be determined by program values. This dissertation describes my work on designing expressive dependently typed systems where useful features such as relevance tracking and termination …
-
A Comparison of Vegetation Structure and Composition in Modified and Natural Chaparral
<p>Type conversion of a 12 acre plot of chamise chaparral to grassland in the Mud Flat region of the San Bernardino National Forest, San Gorgonio District, California, was completed in 1967.</p> <p>The conversion was accomplished following standard type conversion techniques for chaparral in …
-
Diffusion and Electrical Properties of Sulfur Implanted in Gallium-Arsenide
… are still formed. For electrical measurements, type conversion of the Cr-doped substrates used in this study limits the annealing temperature to 800(DEGREES)C. At this temperature, the electrical activation is at best fair for the low (7 x 10('12) cm('-2), 250 keV) and medium (7 x 10('13) …
-
Extended transient transfection by repeated delivery of in vitro-transcribed RNA
… each known to play an important role in cell-type specification and maintenance, were designed and synthesized. Aspects of the design were optimized, and the intracellular stability and translation efficiency of the ivT RNA were quantified. Transcripts were delivered to cells by …
-
Soil-vegetation relationships of a bitter-brush-sagebrush association in northwestern Colorado
… on disturbed areas, or areas considered for type conversion. In this study soil properties were compared with native vegetation responses in a bitterbrush (Purshia tridentata), sagebrush (Artemisia ~•) association on a single parent material. The effort was directed toward isolating those …
-
Low temperature heterogeneous integration of germanium on silicon
… via Hall effect are responsible for conductivity type conversion via low temperature post-processing. These point defects impact Ge-on-Si PDs' internal quantum efficiency, while dislocations appear to dominate device leakage current. We also found that effective sidewall passivation, a remote …
-
Resource Selection, Home Range and Habitat Associations of the Southern Fox Squirrel (<i>Sciurus niger niger</i>) in the Piedmont and Coastal Plain of Virginia
… declining due to habitat fragmentation, cover type conversion, and fire suppression. Decrease in growing season burns, hardwood encroachment and forest mesophication have transformed pine hardwood woodlands and pine (Pinus spp.) savanna habitats that southern fox squirrels prefer to hardwood …
-
THE FEASIBILITY OF CHAPARRAL RESTORATION ON TYPE-CONVERTED SLOPES
… grazing and other disturbances have caused type-conversion of native chaparral to non-native annual grasslands. Competition with non-native annual grasses hinders shrub establishment, presenting challenges in restoration. This study examined the feasibility of chaparral restoration in a …
-
Megafires in the temperate conifer forests of the Sierra Nevada mountains of California from 1985 to 2020: remote sensing and field-based analysis of fire characteristics and vegetation recovery dynamics
… 1985 to 2020 at risk of undergoing a vegetation type conversion to a more open ecosystem type with lower carbon storage capacity. In \textbf{Chapter 3} we show that areas affected by repeated burns have been increasing markedly over the last decades, albeit this increase has been proportional to …