The purpose of this study of the life and career of Dr. Carl
Leonard Anderson was to recount his professional contributions to
the field of health and relate these to public health and health education. The major emphasis of this study concerned Dr. Anderson's
professional life.
The accomplishment of the...
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...
Research was conducted on the Keating rangelands in north-eastern Oregon to determine the food habits of deer and cattle and
similarity of their diets, and to estimate deer and cattle months of
grazing on both a quantitative and nutritional basis. Data were
collected during the winters of 1978-1979, 1979-1980 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...
When iron levels are low, the opportunistic pathogen Pseudomonas aeruginosa secretes the high-affinity iron-binding siderophore pyoverdine. The cognate ferripyoverdine receptor, FpvA, has gained attention as the most divergent gene in the organism’s genome, showing substantial evidence of positive selection. S-type pyocins, bacteriocins with specificity to Pseudomonads, enter cells through FpvA...
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...
While the quorum-sensing (QS) diversity of the opportunistic pathogen Pseudomonas aeruginosa has been well established in cystic fibrosis (CF) lung infections and in vitro experiments, little is known about its QS-diversity in natural environments. One significant QS-deficient behavior is social cheating. Social cheaters contain mutations that prevent them from producing...
Pseudomonas aeruginosa is an opportunistic human pathogen that infects immunocompromised individuals such as those suffering from burns or the genetic disorder cystic fibrosis. This organism utilizes a cell-cell communication mechanism known as quorum sensing (QS) to coordinate virulence gene expression and biofilm formation. It has three interconnected QS systems, namely...
In an increasingly computation-driven world, algorithms and mathematical models significantly impact decision making across various fields. To foster trust and understanding, it is crucial to provide users with clear and concise explanations of the reasoning behind the results produced by computational tools, especially when recommendations appear counterintuitive. Legal frameworks in...