Spotlights
Automated Deduction
Human mathematicians prove a theorem by combining individual computation steps. This is a rather trivial task for a computer program once the…
EpiExplorer and RnBeads: Integrative Analysis of Epigenomic Data
The packing of the DNA in a cell's nucleus determines if and to what degree genes encoded in the DNA can be translated and regulated. Software tools…