Zobrazeno 1 - 10
of 167
pro vyhledávání: '"JOHNSON, SCOTT C."'
Autor:
Qiu, Weijin, Ashta, Shubham, Shaver, Gregory M., Mazanec, Jacob, Kokjohn, Sage, Johnson, Scott C., Rudolph, Kirk, Frushour, Bryan C.
Publikováno v:
In Control Engineering Practice September 2024 150
Autor:
Chalasani, Naga P., Ramasubramanian, Tiruvidaimarudur S., Bhattacharya, Abhik, Olson, Marilyn C., Edwards V, David K., Roberts, Lewis R., Kisiel, John B., Reddy, K. Rajender, Lidgard, Graham P., Johnson, Scott C., Bruinsma, Janelle J.
Publikováno v:
In Clinical Gastroenterology and Hepatology December 2021 19(12):2597-2605
Autor:
Berger, Garrett K., Medairos, Robert, Regala, Peter, Jacobsohn, Kenneth, Langenstroer, Peter, See, William A., Johnson, Scott C.
Publikováno v:
In Urology March 2020 137:19-25
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:
Cok, David R., Johnson, Scott C.
Publikováno v:
EPTCS 149, 2014, pp. 44-57
SPEEDY is an Eclipse-based IDE for exploring techniques that assist users in generating correct specifications, particularly including invariant inference algorithms and tools. It integrates with several back-end tools that propose invariants and wil
Externí odkaz:
http://arxiv.org/abs/1404.6605
Autor:
Johnson, Scott C.
Thesis (Ph. D.)--University of Wisconsin--Madison, 1997.
Typescript. eContent provider-neutral record in process. Description based on print version record. Includes bibliographical references (leaves 75-81).
Typescript. eContent provider-neutral record in process. Description based on print version record. Includes bibliographical references (leaves 75-81).
Externí odkaz:
http://catalog.hathitrust.org/api/volumes/oclc/38038431.html
Autor:
Johnson, Scott C., Smith, Zachary L., Nottingham, Charles, Schwen, Zeyad R., Thomas, Stephen, Fishman, Elliot K., Lee, Nam Ju, Pierorazio, Philip M., Eggener, Scott E.
Publikováno v:
In Urology January 2019 123:186-190
Autor:
Smith, Zachary L., Johnson, Scott C., Golan, Shay, McGinnis, J. Riley, Steinberg, Gary D., Smith, Norm D.
Publikováno v:
In The Journal of Urology March 2018 199(3):663-668
Publikováno v:
In Nonlinear Analysis: Hybrid Systems February 2018 27:125-140