BACKGROUND AND AIMS Non-symbiotic haemoglobins have been an active research topic for over 30 years, during which time a considerable portfolio of knowledge has accumulated relative to their chemical and molecular properties, and their presence and mode of induction in plants. While progress has been made towards understanding their physiological role, there remain a number of unanswered questi...

We introduce symbiotic expressions, a method for algebraic simplification within a compiler, in lieu of an SMT solver, such as Yices or the Omega Calculator. Symbiotic expressions are compiler-generated expressions, temporarily injected into a program's abstract syntax tree (AST). The compiler's normal optimizations interpret and simplify those expressions, making their results available for th...

Abstract Symbiotic 8 extends the traditional combination of static analyses, instrumentation, program slicing, and symbolic execution with one substantial novelty, namely a technique mixing k-induction. This can prove correctness programs possibly unbounded loops, which cannot be done by classic execution. delivers also several other improvements. In particular, we have modified our fork execut...

The bean bug Riptortus pedestris possesses a specialized symbiotic organ in a posterior region of the midgut, where numerous crypts harbor extracellular betaproteobacterial symbionts of the genus Burkholderia. Second instar nymphs orally acquire the symbiont from the environment, and the symbiont infection benefits the host by facilitating growth and by occasionally conferring insecticide resis...

Symbiotic associations often enhance hosts' physiological capabilities, allowing them to expand into restricted terrains, thus leading to biological diversification. Stable maintenance of partners is essential for the overall biological system to succeed. The viviparous tsetse fly (Diptera: Glossinidae) offers an exceptional system to examine factors that influence the maintenance of multiple s...