Formal specifications can help with program testing, optimization, refactoring, documentation, and, most importantly, debugging and repair. Unfortunately, formal specifications are difficult to write manually and techniques that infer specifications automatically suffer from 90–99% false positive rates. Consequently, neither option is currently practiced for most software development projects. ...

M ost of us learned in primary school that using a double negative is bad grammar. But a disease defined by three negatives, triple-negative breast cancer (TNBC), has somehow sneaked into the oncology lexicon. Now it has a fourth negative: It is not responsive to iniparib, the poly (ADP–ribose) polymerase (PARP) inhibitor that many hoped would improve survival among patients with this recalcitr...

Genotype/phenotype association analyses (Treescan) with plasma lipid levels and functional site prediction methods (TreeSAAP and PolyPhen) were performed using sequence data for ANGPTL4 from 3,551 patients in the Dallas Heart Study. Biological assays of rare variants in phenotypic tails and results from a Treescan analysis were used as "known" variants to assess the site prediction abilities of...

In this paper, we propose a new approach to reducing the high levels of false positives encountered when deploying an intrusion detection system using Snort in a real live networking environment. We carry out an analysis of the effectiveness of such method in different networking environments. We conclude that the level of false positives is reduced considerably with the introduction of our imp...

This paper reviews the state of the art in follow-up photometry for planetary transit searches. Three topics are discussed: (1) Photometric monitoring of planets discovered by radial velocity to detect possible transits (2) Follow-up photometry of candidates from photometric transit searches to weed out eclipsing binaries and false positives (3) High-precision lightcurves of known transiting pl...