E-LIB Suche - Ergebnisse für: Kuhn, Richard J

1

Challenges of Assured Autonomy:

Kuhn, D. Richard
IEEE Transactions on Reliability. 73 (2024) 1 - p. 83-84 , 2024

2

Abstract 2272 Structure Determination of MO14 Enterovirus D..:

Johnson, Alejandra ; Anderson, Jacqueline ; Klose, Thomas..
Journal of Biological Chemistry. 300 (2024) 3 - p. 105883 , 2024

Link: https://doi.org/10.1016/..

3

WSV2023 - The second meeting of the world society for virol..:

Abdel-Moneim, Ahmed S. ; Murovska, Modra ; Söderlund-Venermo, Maria...
Virology. 594 (2024) - p. 110049 , 2024

Link: https://doi.org/10.1016/..

4

In Silico Drug Repurposing Uncovered the Antiviral Potentia..:

Rabelo, Vitor W. ; Sanchez-Nuñez, Maria Leonisa ; Corrêa-Amorim, Leonardo S....
ACS Omega. 9 (2024) 25 - p. 27632-27642 , 2024

Link: https://doi.org/10.1021/..

5

Assured Autonomy Through Combinatorial Methods:

Kuhn, D. Richard ; Raunak, M. S. ; Kacker, Raghu N....
Computer. 57 (2024) 5 - p. 86-90 , 2024

Link: https://doi.org/10.1109/..

6

Leveraging Combinatorial Coverage in the Machine Learning P..:

Chandrasekaran, Jaganmohan ; Lanus, Erin ; Cody, Tyler...
Computer. 57 (2024) 7 - p. 16-26 , 2024

Link: https://doi.org/10.1109/..

7

A Combinatorial Approach to Hyperparameter Optimization:

, In: Proceedings of the IEEE/ACM 3rd International Conference on AI Engineering - Software Engineering for AI,

Khadka, Krishna ; Chandrasekaran, Jaganmohan ; Lei, Yu.. - p. 140-149 , 2024

Link: https://dl.acm.org/doi/1..

8

prM-reactive antibodies reveal a role for partially mature ..:

A. Dowd, Kimberly ; Sirohi, Devika ; D. Speer, Scott...
Proceedings of the National Academy of Sciences. 120 (2023) 3 - p. , 2023

Link: https://doi.org/10.1073/..

9

Ordered t-way Combinations for Testing State-based Systems:

, In: 2023 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW),

Kuhn, D. Richard ; Raunak, M S ; Kacker, Raghu N. - p. 246-254 , 2023

Link: https://doi.org/10.1109/..

10

Surface decorated reporter-tagged chikungunya virus-like pa..:

Singh, Vedita Anand ; Kumar, Chandra Shekhar ; Khare, Baldeep...
Virology. 578 (2023) - p. 92-102 , 2023

Link: https://doi.org/10.1016/..

11

Efficacy of an isoxazole-3-carboxamide analog of pleconaril..:

Lane, Thomas R. ; Fu, Jianing ; Sherry, Barbara...
Antiviral Research. 216 (2023) - p. 105654 , 2023

Link: https://doi.org/10.1016/..

12

MagicMirror: Towards High-Coverage Fuzzing of Smart Contrac..:

, In: 2023 IEEE Conference on Software Testing, Verification and Validation (ICST),

Feng, Huadong ; Ren, Xiaolei ; Wei, Qiping... - p. 141-152 , 2023

Link: https://doi.org/10.1109/..

13

Structure of Vibrio Phage XM1, a Simple Contractile DNA Inj..:

Wang, Zhiqing ; Fokine, Andrei ; Guo, Xinwu...
Viruses. 15 (2023) 8 - p. 1673 , 2023

Link: https://doi.org/10.3390/..

14

Positive‐strand RNA viruses—a Keystone Symposia report:

Cable, Jennifer ; Denison, Mark R. ; Kielian, Margaret...
Annals of the New York Academy of Sciences. 1521 (2023) 1 - p. 46-66 , 2023

Link: https://doi.org/10.1111/..

15

SmartExecutor: Coverage-Driven Symbolic Execution Guided by..:

, In: 2023 5th Conference on Blockchain Research & Applications for Innovative Networks and Services (BRAINS),

Wei, Qiping ; Sikder, Fadul ; Feng, Huadong... - p. 1-8 , 2023

Link: https://doi.org/10.1109/..