This study examines the interactions between the scientific communities of the
Lawrence Berkeley Laboratory (LBL) and the Stanford Linear Accelerator Center
(SLAC) in the discovery of the tau lepton by physicist Martin Perl between 1973-
1977. Perl became interested in searching for heavy leptons through positron-electron
collision experiments using the...
In a story of his life Les reflects on what he
has gained and what he has lost while seeking success in
the moving and shifting of military and academic life
through homes and schools all over the United States.
He describes himself as between races, languages, and
cultures.
The Pacific Northwest (Oregon and Washington in the United States and British Columbia in Canada) is one of the major producers of red raspberry (Rubus idaeus L.) and blueberry (Vaccinium corymbosum L.) in the world. The expansion of growing area with these crops has resulted in the emergence of new...
Social behavior leading to the production of common goods is prone to exploitation. One such behavior in Pseudomonas aeruginosa is quorum sensing (QS), by which the bacteria produce signals to regulate extracellular common goods. Exploitation comes in the form of cheaters which have a mutation in the central quorum sensing...
Cell-cell communication in bacteria is understood to facilitate the coordination of population-wide cooperative behavior in the form of concerted gene expression. The opportunistic pathogen Pseudomonas aeruginosa uses such a communication mechanism to regulate a large group of genes important to virulence strategies in this bacterium. This general mechanism of communication...
Cell-to-cell communication by chemical signals, termed quorum sensing (QS), is a common regulatory scheme in the microbial world. Pseudomonas aeruginosa¸ an opportunistic pathogen of burn wounds and cystic fibrosis lungs, uses QS to control the expression of hundreds of genes, particularly those necessary for population level benefits such as biofilm...
Research on grief has been studied for nearly a century to understand its many facets, expressiveness, and timing. In the field of counseling, many changes in theories, models, and the lenses through which loss is responded to have been accomplished. However, one constant in the U.S. culture is that definitions...
Software maintenance accounts for a large portion of the software development cost, particularly the process of updating programs either to adapt for requirement change or to enhance design or efficiency. Currently, program updates are generally performed manually by programmers using text editors. This is an unreliable
method because syntax and...
Correctness and efficiency are important properties of programs. However, to support maintenance and debugging, the programs should also be understandable. Program explanations also play a vital role in educational settings, enhancing the understanding of programs among students.
Proof trees provide a sound basis for generating dynamic explanations of programs. But...
The study of variational typing originated from the problem of type inference for variational programs, which encode numerous different but related plain programs. In this dissertation, I present a sound and complete type inference algorithm for inferring types of all plain programs encoded in variational programs. The proposed algorithm runs...