1: On Verifying and Engineering the Well-gradedness of a Union-closed Family
2: Straggler Identification in Round-Trip Data Streams via Newton’s Identities and Invertible Bloom Filters
3: Polynomial algorithms for protein similarity search for restricted mRNA structures
4: Avoiding Rotated Bitboards with Direct Lookup