Open Access. Powered by Scholars. Published by Universities.®
Physical Sciences and Mathematics Commons™
Open Access. Powered by Scholars. Published by Universities.®
- Discipline
Articles 1 - 3 of 3
Full-Text Articles in Physical Sciences and Mathematics
Controlling Laser High-Order Harmonic Generation Using Weak Counter-Propagating Light, Sergei Leonidovich Voronov
Controlling Laser High-Order Harmonic Generation Using Weak Counter-Propagating Light, Sergei Leonidovich Voronov
Theses and Dissertations
Laser high-order harmonic generation in the presence of relatively weak interfering light is investigated. The interfering pulses intersect the primary harmonic-generating laser pulse at the laser focus. The interfering light creates a standing intensity and phase modulation on the field, which disrupts microscopic phase matching and shuts down local high harmonic production. Suppression of the 23rd harmonic (by two orders of magnitude) is observed when a counter-propagating interfering pulse of light is introduced. A sequence of counter-propagating pulses can be used to shut down harmonic production in out-of-phase zones of the generating volume to achieve quasi phase matching. Harmonic emission …
A Formal Method To Analyze Framework-Based Software, Trent N. Larson
A Formal Method To Analyze Framework-Based Software, Trent N. Larson
Theses and Dissertations
Software systems are frequently designed using abstractions that make software verification tractable. Specifically, by choosing meaningful, formal abstractions for interfaces and then designing according to those interfaces, one can verify entire systems according to behavioral predicates. While impractical for systems in general, framework-based software architectures are a type of system for which formal analysis can be beneficial and practical over the life of the system. We present a method to formally analyze behavioral properties of framework-based software with higher-order logic and then demonstrate its utility for a significant, modern system.
A Comparison Of Coalescent Estimation Software, Kristen Piggott Shepherd
A Comparison Of Coalescent Estimation Software, Kristen Piggott Shepherd
Theses and Dissertations
Coalescent theory is a method often used by population geneticists in order to make inferences about evolutionary parameters. The coalescent is a stochastic model that approximates ancestral relationships among genes. An understanding of the coalescent pattern of a sample of sequences, along with some knowledge of the mutations that have occurred, provides information about the evolutionary forces that have acted on the population. Processes such as migration, recombination, variable population size, or natural selection are the forces that affect the genealogies and lead to genetic variability in a sample. Coalescent theory provides a statistical description of the variability in the …