Zobrazeno 1 - 10
of 486
pro vyhledávání: '"Fisher, Kevin A."'
Autor:
Thompson, Kyle, Saavedra, Nuno, Carrott, Pedro, Fisher, Kevin, Sanchez-Stern, Alex, Brun, Yuriy, Ferreira, João F., Lerner, Sorin, First, Emily
Formal verification using proof assistants, such as Coq, enables the creation of high-quality software. However, the verification process requires significant expertise and manual effort to write proofs. Recent work has explored automating proof synt
Externí odkaz:
http://arxiv.org/abs/2412.14063
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Sumazin, Pavel, Peters, Tricia L., Sarabia, Stephen F., Kim, Hyunjae R., Urbicain, Martin, Hollingsworth, Emporia Faith, Alvarez, Karla R., Perez, Cintia R., Pozza, Alice, Najaf Panah, Mohammad Javad, Epps, Jessica L., Scorsone, Kathy, Zorman, Barry, Katzenstein, Howard, O’Neill, Allison F., Meyers, Rebecka, Tiao, Greg, Geller, Jim, Ranganathan, Sarangarajan, Rangaswami, Arun A., Woodfield, Sarah E., Goss, John A., Vasudevan, Sanjeev A., Heczey, Andras, Roy, Angshumoy, Fisher, Kevin E., Alaggio, Rita, Patel, Kalyani R., Finegold, Milton J., López-Terrada, Dolores H.
Publikováno v:
In Journal of Hepatology October 2022 77(4):1026-1037
Autor:
Chandramohan, Raghu, Reuther, Jacquelyn, Gandhi, Ilavarasi, Voicu, Horatiu, Alvarez, Karla R., Plon, Sharon E., Lopez-Terrada, Dolores H., Fisher, Kevin E., Parsons, D. Williams, Roy, Angshumoy
Publikováno v:
In The Journal of Molecular Diagnostics July 2022 24(7):760-774
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Mroz, Pawel, Ewalt, Mark D., Harley, Susan E., Tsang, Patricia C., Xian, Rena R., Soderquist, Craig R., Xian, Rena R., Behdad, Amir, Chung, Betty Mi-Yung, Conant, Joanna, Ewalt, Mark D., Fisher, Kevin E., Harley, Susan E., Mroz, Pawel, Nardi, Valentina, Soderquist, Craig R., Tsang, Patricia C.
Publikováno v:
The Journal of Molecular Diagnostics; November 2024, Vol. 26 Issue: 11 p945-949, 5p
Publikováno v:
In Aquaculture 15 March 2021 534
Autor:
El Dana, Fouad, Garces Narvaez, Sofia Alexandra, El-Mallawany, Nader K., Agrusa, Jennifer E., Dreyer, ZoAnn E., Marcogliese, Andrea N., Elghetany, Mohamed Tarek, Punia, Jyotinder N., Ok, Chi Young, Patel, Keyur P., Lopez-Terrada, Dolores H., Fisher, Kevin E., Curry, Choladda V.
Publikováno v:
Pediatric & Developmental Pathology; Jul/Aug2024, Vol. 27 Issue 4, p348-353, 6p
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.