Zobrazeno 1 - 10
of 839
pro vyhledávání: '"Bentley, John"'
Autor:
Bentley, John
The Resolve Online development environment currently supports multiple provers: Dafny, SplitDecision, and variations and combinations thereof.The existing provers used by Resolve Online have some areas of improvement.One downside of the Dafny prover
Publikováno v:
In Journal of the American Pharmacists Association July-August 2024 64(4)
Publikováno v:
In Multiple Sclerosis and Related Disorders May 2024 85
Autor:
Addison, Brett C., Wright, Duncan J., Nicholson, Belinda A., Cale, Bryson, Mocnik, Teo, Huber, Daniel, Plavchan, Peter, Wittenmyer, Robert A., Vanderburg, Andrew, Chaplin, William J., Chontos, Ashley, Clark, Jake T., Eastman, Jason D., Ziegler, Carl, Brahm, Rafael, Carter, Bradley D., Clerte, Mathieu, Espinoza, Néstor, Horner, Jonathan, Bentley, John, Jordán, Andrés, Kane, Stephen R., Kielkopf, John F., Laychock, Emilie, Mengel, Matthew W., Okumura, Jack, Stassun, Keivan G., Bedding, Timothy R., Bowler, Brendan P., Burnelis, Andrius, Blanco-Cuaresma, Sergi, Collins, Michaela, Crossfield, Ian, Davis, Allen B., Evensberget, Dag, Heitzmann, Alexis, Howell, Steve B., Law, Nicholas, Mann, Andrew W., Marsden, Stephen C., Matson, Rachel A., O'Connor, James, Shporer, Avi, Stevens, Catherine, Tinney, C. G., Tylor, Christopher, Wang, Songhu, Zhang, Hui, Henning, Thomas, Kossakowski, Diana, Ricker, George, Sarkis, Paula, Schlecker, Martin, Torres, Pascal, Vanderspek, Roland, Latham, David W., Seager, Sara, Winn, Joshua N., Jenkins, Jon M., Mireles, Ismael, Rowden, Pam, Pepper, Joshua, Daylan, Tansu, Schlieder, Joshua E., Collins, Karen A., Collins, Kevin I., Tan, Thiam-Guan, Ball, Warrick H., Basu, Sarbani, Buzasi, Derek L., Campante, Tiago L., Corsaro, Enrico, González-Cuesta, Lucía, Davies, Guy R., de Almeida, Leandro, Nascimento, Jr., Jose-Dias do, a, Rafael A. Garcí, Guo, Zhao, Handberg, Rasmus, Hekker, Saskia, Hey, Daniel R., Kallinger, Thomas, Kawaler, Steven D., Kayhan, Cenk, Kuszlewicz, James S., Lund, Mikkel N., Lyttle, Alexander, Mathur, Savita, Miglio, Andrea, Mosser, Benoit, Nielsen, Martin B., Serenelli, Aldo M., Aguirre, Victor Silva, Themeßl, Nathalie
We report the discovery of a warm sub-Saturn, TOI-257b (HD 19916b), based on data from NASA's Transiting Exoplanet Survey Satellite (TESS). The transit signal was detected by TESS and confirmed to be of planetary origin based on radial velocity obser
Externí odkaz:
http://arxiv.org/abs/2001.07345
Autor:
Dunn, Tyler J., Holmes, Erin, Yang, Yi, Bentley, John P., Kashmiri, Saim, Ramachandran, Sujith
Publikováno v:
In Exploratory Research in Clinical and Social Pharmacy December 2023 12
Publikováno v:
In Research in Social and Administrative Pharmacy December 2023 19(12):1551-1557
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.