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

1

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/..

2

Challenges of Assured Autonomy:

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

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

3

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/..

4

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..

5

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/..

6

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/..

7

Explaining the impact of parameter combinations in agent-ba..:

Olsen, Megan ; Richard Kuhn, D. ; Raunak, M.S.
Journal of Computational Science. , 2024

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

8

Exosomes mediate Coxsackievirus B3 transmission and expand ..:

Fu, Yuxuan ; Xiong, Sidong ; Kuhn, Richard J.
PLOS Pathogens. 19 (2023) 1 - p. e1011090 , 2023

Link: https://doi.org/10.1371/..

9

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/..

10

Predicting ABM Results with Covering Arrays and Random Fore..:

, In: Computational Science – ICCS 2023; Lecture Notes in Computer Science,

Olsen, Megan ; Raunak, M. S. ; Kuhn, D. Richard - p. 237-252 , 2023

Link: https://doi.org/10.1007/..

11

Synthetic Data Generation Using Combinatorial Testing and V..:

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

Khadka, Krishna ; Chandrasekaran, Jaganmohan ; Lei, Yu.. - p. 228-236 , 2023

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

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 and neutralization mechanism of a human antibody ..:

Adams, Cameron ; Carbaugh, Derek L. ; Shu, Bo...
PLOS Pathogens. 19 (2023) 1 - p. e1010814 , 2023

Link: https://doi.org/10.1371/..

14

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/..

15

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/..