New research from the University of Waterloo is making inroads on one of the biggest problems in theoretical computer science ...

Currently, there are several hypotheses surrounding the disappearance of Neanderthals. While they all have at least some ...

Probabilistic models, such as hidden Markov models or Bayesian networks, are commonly used to model biological data. Much of their popularity can be attributed to the existence of efficient and robust ...

Marijn Heule turns mathematical statements into something like Sudoku puzzles, then has computers go to work on them. His ...