output
20172026
most citedGROMACS in the cloud: A global supercomputer to speed up alchemical drug design

138 citations

researchers with a paper here
collaborating institutions
Showing 2017Show all

1 paper · 1 filter

cs.FL2017★ 10 cited

Singular value automata and approximate minimization

Borja Balle, Prakash Panangaden, Doina Precup

The present paper uses spectral theory of linear operators to construct approximately minimal realizations of weighted languages. Our new contributions are: (i) a new algorithm for…