Zobrazeno 1 - 10
of 10
pro vyhledávání: '"David Shriver"'
Publikováno v:
2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0832f12fd97e0b8e6d74059bb4d8f709
https://doi.org/10.1109/ase51524.2021.9678590
https://doi.org/10.1109/ase51524.2021.9678590
Publikováno v:
ICSE
Deep Neural Networks (DNN) are increasingly being deployed in safety-critical domains, from autonomous vehicles to medical devices, where the consequences of errors demand techniques that can provide stronger guarantees about behavior than just high
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::57e0ea944b806a18c53577e949f0e118
https://doi.org/10.1109/icse43902.2021.00036
https://doi.org/10.1109/icse43902.2021.00036
Publikováno v:
ICSE (Companion Volume)
We present an artifact to accompany Reducing DNN Properties to Enable Falsification with Adversarial Attacks which includes the DNNF tool, data and scripts to facilitate the replication of its study. The artifact is both reusable and available. DNNF
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0d0497f2ebb5553f371529d567e3e30f
https://doi.org/10.1109/icse-companion52605.2021.00068
https://doi.org/10.1109/icse-companion52605.2021.00068
Publikováno v:
Computer Aided Verification ISBN: 9783030532871
CAV (1)
CAV (1)
The field of verification has advanced due to the interplay of theoretical development and empirical evaluation. Benchmarks play an important role in this by supporting the assessment of the state-of-the-art and comparison of alternative verification
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1eea1d673513e03b5c4166be4d245c79
https://doi.org/10.1007/978-3-030-53288-8_5
https://doi.org/10.1007/978-3-030-53288-8_5
Autor:
David Shriver
Publikováno v:
ICSE (Companion Volume)
The performance of recommender systems is commonly characterized by metrics such as precision and recall. However, these metrics can only provide a coarse characterization of the system, as they offer limited intuition and insights on potential syste
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::62a78bfa990d1d537cf3b6db20c85d84
https://doi.org/10.1145/3183440.3195082
https://doi.org/10.1145/3183440.3195082
Publikováno v:
ICSE-NIER
Program synthesis is succeeding in supporting the generation of programs within increasingly complex domains. The use of weaker specifications, such as those consisting of input/output examples or test cases, has helped to fuel the success of program
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::cc7433c3328f477dbdda8bb4067169f6
https://doi.org/10.1109/icse-nier.2017.7
https://doi.org/10.1109/icse-nier.2017.7
Autor:
Josh T. Beckham, Christopher H. Contag, Caitlin E. O'Connell-Rodwell, Weisheng Zhang, E. Duco Jansen, David Shriver, Cameron McClure, Dmitri Simanovskii, Michael Bachmann, H. Alan Schwettman, Yu An Cao, Daniel Palanker
Publikováno v:
The FASEB Journal. 18:264-271
We define five unique cellular responses to thermal stress using a reporter construct generated using the stress-inducible promoter from the gene encoding a murine 70 kDa heat shock protein (Hsp70A.1) to express luciferase (luc). Thermal stress was d
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f9093ec2d4377abf0eb189545e74d01f
https://doi.org/10.1096/fj.03-0585com
https://doi.org/10.1096/fj.03-0585com
Publikováno v:
Journal of Economic Entomology. 57:410-412
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f71003595393ed6fb096ef6bd0ba754d
https://doi.org/10.1093/jee/57.3.410
https://doi.org/10.1093/jee/57.3.410
Autor:
Thomas J. Henneberry, David Shriver
Publikováno v:
Journal of Economic Entomology. 57:377-379
Fecundity of the two-spotted spider mite, Tetranychus telarius (L.), on lima bean plants was positively correlated with the level of nitrogen supplied the plants and the nitrogen content of the leaves. Cross sections of the mite-infested leaves from
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::60ec7aa43650dae87291333e420b180b
https://doi.org/10.1093/jee/57.3.377
https://doi.org/10.1093/jee/57.3.377
Autor:
David Shriver, Thomas J. Henneberry
Publikováno v:
Journal of Economic Entomology. 55:617-618
In laboratory studies Kelthane® (1,1-bis( p -chlorophenyl)-2,2,2-trichloroethanol) residues were more effective against adult and immature forms of organophosphate-resistant and susceptible strains of the two-spotted spider mite (Tetranychus telariu
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::48428aa2f7e672cdb5a2c6dc46344b83
https://doi.org/10.1093/jee/55.5.617
https://doi.org/10.1093/jee/55.5.617