Sciweavers

13827 search results - page 355 / 2766
» The state of artificial intelligence
Sort
View
BIOINFORMATICS
2011
15 years 1 months ago
Rigid substructure search
David Shirvanyants, Anastassia N. Alexandrova, Nik...
BMCBI
2011
15 years 1 months ago
ChIPseqR: Analysis of ChIP-seq Experiments
Peter Humburg, Chris A. Helliwell, David Bulger, G...
BIOINFORMATICS
2011
15 years 1 months ago
RNA-RNA interaction prediction based on multiple sequence alignments
Andrew X. Li, Manja Marz, Jing Qin, Christian M. R...
KI
2010
Springer
15 years 1 months ago
Practical Aspects of Automated Deduction for Program Verification
Wolfgang Ahrendt, Bernhard Beckert, Martin Giese, ...