Microbial ecology has been transformed by metagenomics, the study of the genetic in-formation in entire communities of organisms. In the following we develop metagenomic tools arising from the classic Wasserstein metric as applied to questions regarding the diversity between microbial communities. We provide a novel proof of the characteriza-tion of...
Approximate string matching is commonly used to align genetic sequences (DNA
or RNA) to determine their shared characteristics. In contrast with the standard
dynamic programming methods which use local edit distance models, the Walking
Tree heuristic method was created to handle non-local changes, e.g., translocations,
inversions, and duplications, altogether and...
Methods for obtaining accurate, spatially explicit estimates of biomass density in tropical forests are required to reduce uncertainties in the global carbon cycle, and to support international climate agreements and emerging carbon markets. Three-dimensional (3-D) remote sensing techniques sensitive to the vertical structure of vegetation provide a unique opportunity for...
Over the last two decades, satisfiability and satisfiability-modulo theory (SAT/SMT) solvers have grown powerful enough to be general purpose reasoning engines throughout software engineering and computer science. However, most practical use cases of SAT/SMT solvers require not just solving a single SAT/SMT problem, but solving sets of related SAT/SMT problems....
In networked control systems (NCS) information or packets usually flow from a
sensor or a set of sensors to a remotely located controller. Then the controller
processes the received information and sends a series of control commands to the
actuators through a communication network which could be either wireless or...
The chlamydiae are a family of obligate intracellular bacteria that have a unique bi-phasic developmental cycle, unique cellular properties, and a unique set of challenges to studying its biology. While genetic manipulation is becoming routine in Chlamydia, there are significant challenges to working with this intracellular parasite. The body of...
Enabled by a rich ecosystem of Machine Learning (ML) libraries, programming using learned models, i.e., Software-2.0, has gained substantial adoption. However, we do not know what challenges developers encounter when they use ML libraries. With this knowledge gap, researchers miss opportunities to contribute to new research directions, tool builders do...
Transcriptomics and gene expression profiling enables the elucidation of the genetic response of an organism to various environmental cues. Transcriptomics enables the deciphering of differences between two closely related organisms to the same environment and in contrast, enables the elucidation of genetic responses of the same organism to different environmental...
Floods are the most frequent and damaging of all types of natural disasters and annually affect the lives of millions all over the globe. However, researchers seem to have overlooked the fact that floods do not recognize national boundaries. Therefore, the phenomena of shared, or transboundary floods occurring in international...
Developers frequently change the type of a program element and update all its references for performance, security, concurrency, library migration, or better maintainability. Despite type changes being a common program transformation, it is the least automated and the least studied. Manually performing type changes is tedious since the programmers have...