When type inference fails, it is often difficult to pinpoint the cause of the type error among many potential candidates. Generating informative messages to remove the type error is another difficult task due to the limited availability of type information. Over the last three decades many approaches have been developed...
Background: Acyl-homoserine lactone (acyl-HSL) and alkyl quinolone (AQ) based quorum-sensing (QS) systems are important for Pseudomonas aeruginosa virulence and biofilm formation. The effect of QS on biofilm formation is influenced by various genetic and environmental factors. Here, we used a colony biofilm assay to study the effect of the central...
Autoinduction (AI), the response to self-produced chemical signals,
is widespread in the bacterial world. This process controls
vastly different target functions, such as luminescence, nutrient
acquisition, and biofilm formation, in different ways and integrates
additional environmental and physiological cues. This diversity
raises questions about unifying principles that underlie all
AI...
Strongly bimodal, basalt-rhyolite volcanism of the High Lava Plains Province of Oregon followed the Middle Miocene flood basalts of the Pacific Northwest and extends to recent time. During the 8 m.y. of volcanism recorded in the central High Lava Plains, in western Harney Basin, three distinct mafic magmatic trends originate...
Through the use of conditional compilation and related tools, many software projects can be used to generate a huge
number of related programs. The problem of typing such variational software is difficult. The brute-force strategy
of generating all variants and typing each one individually is (1) usually infeasible for efficiency...
Many citizen science (CS) programs aim to grow and sustain a pool of enthusiastic participants who consistently contribute their efforts to a specific scientific endeavor. Consequently, much research has explored CS participants’ motivations and their relationship to participant recruitment and retention. However, much of this research has focused on actively...
Using spreadsheets is the preferred method to calculate, display or store anything that fits into a table-like structure. They are often used by end users to create applications, although they have one critical drawback—spreadsheets are very error-prone. Recent research has developed methods to reduce this error-proneness by introducing a new...
Agave salmiana is a native plant species harvested for the commercial production of mezcal (Agave spirits) in the highlands of central Mexico. The objective of this study was to identify vegetation changes in natural communities where A. salmiana has been differentially harvested for commercial purposes. Three plant community categories were...
The island of Tahiti, the largest in French Polynesia, comprises two major volcanoes aligned NW-SE, parallel with the general trend of the Society Islands hotspot track. Rocks form this volcanic system are basalts transitional to tholeiites, alkali basalts, basanites, picrites, and evolved lavas. Through K-Ar radiometric dating we have established...
The response of tidal and residual currents to small scale morphological differences over abrupt
deep sea topography (Seine Seamount) was estimated for bathymetry grids of different spatial
resolution. Local barotropic tidal model solutions were obtained for three popular and publicly
available bathymetry grids (Smith and Sandwell TOPO8.2, ETOPO1 and GEBCO08)...