Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Emma Turetsky"'
Autor:
Lucja Kot, Emma Turetsky, Shih An Pan, Jason Ruchti, Vineeth Kashyap, Rebecca Swords, Eric Schulte, Julien Henry, David Melski
Publikováno v:
SCAM
We introduce Bug-Injector, a system that automatically creates benchmarks for customized evaluation of static analysis tools. We share a benchmark generated using Bug-Injector and illustrate its efficacy by using it to evaluate the recall of two lead
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f369d3138cdb9c9aace81ab78b2ec4b3
http://arxiv.org/abs/1901.02819
http://arxiv.org/abs/1901.02819
Publikováno v:
POPL
Recently, Esparza et al. generalized Newton’s method—a numerical-analysis algorithm for finding roots of real-valued functions—to a method for finding fixed-points of systems of equations over semirings. Their method provides a new way to solve
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::13f97eeda551b1ad802f221a52d80617
http://digital.library.wisc.edu/1793/74047
http://digital.library.wisc.edu/1793/74047
Autor:
Benjamin J. Anderson, Leah E. Steinberg, Janara Christensen, Jeffrey Rzeszotarski, Catherine Nelson, Emma Turetsky, Robert Atlas, Lei Chen, David C. Snyder, David R. Musicant, Deborah S. Gross, Sami Benzaid, Jon Sulman, Jamie Olson, James J. Schauer, Anna Ritz, Thomas G. Smith
Publikováno v:
Environmental Modelling & Software. 25:760-769
Here we present a new open-source software package designed to facilitate the analysis of atmospheric data, with emphasis on data mining applications applied to single-particle mass spectrometry data from aerosol particles. The software package, Ench
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d357b646c3b64a666cdaa4e94f7eb959
https://doi.org/10.1016/j.envsoft.2009.12.001
https://doi.org/10.1016/j.envsoft.2009.12.001