The AoPA library allows one to encode Algebra of Programming (BdM97) style program derivation, both functional and relational, in Agda. Since the 90s, the program derivation community has been ...

The goal of the course is to improve programming and problem-solving skills of the students by facing them with difficult problems and by presenting the techniques that help their reasoning in the ...

Genome sequencing projects of humans and other organisms reinforced that the complexity of biological systems is largely attributed to the tight regulation of gene expression at the epigenome and RNA ...

Further information and requests concerning resources and reagents should be directed to the lead corresponding author, Arminda Suli (asuli@byu.edu). Raw data generated from this study will be ...

Next-generation sequencing techniques, and PhyloChip, have made simultaneous phylogenetic analyses of hundreds of microbial communities possible. Insight into community structure has been limited by ...