Ontology module extraction via datalog reasoning by Romero, AA, Kaminski, M, Grau, BC, Horrocks, I

Quantum advantage for differential equation analysis by Kiani, Bobak Toussi, De Palma, Giacomo, Englund, Dirk, Kaminsky, William, Marvian, Milad, Lloyd, Seth

Get full text

When Do Investors Freak Out? Machine Learning Predictions of Panic Selling by Elkind, Daniel, Kaminski, Kathryn, Lo, Andrew W., Siah, Kien Wei, Wong, Chi Heem

Get full text

Considerations on Possible Directions for a Wide Band Polarimetry X-ray Mission by Soffitta, Paolo, Costa, Enrico, De Angelis, Nicolas, Del Monte, Ettore, Desch, Klaus, Di Marco, Alessandro, Di Persio, Giuseppe, Fabiani, Sergio, Ferrazzoli, Riccardo, Gruber, Markus, Hiromitsu, Takahashi, Imtiaz, Saba, Kaaret, Philip, Kaminski, Jochen, Kim, Dawoon E., Kislat, Fabian, Krawczynski, Henric, La Monaca, Fabio, Lefevre, Carlo, Manikantan, Hemanth

Get full text

MEASUR - Manufacturing Energy Assessment Software for Utility Reduction by Accawi, G, Root, R, Blondheim, N, Howard, D, Hernandez, R, Armstrong, K, Cranfill, K, Shires, P, Kaminski, M, Hadden, J, DePauw, J, Sakovets, Y, Causey, C, Beanblossom, K, Whitmer, M, Ledbetter, A, Rappoport, B, Saravanan, S, Merchant, C, Kokul, S, Fontenot, Z, Vance, D, Worley, A, Aziz, O, Ferree, A, Rosser, N, Jensen, J, Adams, M, Rios, R

XFEL serial crystallography reveals the room temperature structure of methyl-coenzyme M reductase by Ohmer, Christopher J, Dasgupta, Medhanjali, Patwardhan, Anjali, Bogacz, Isabel, Kaminsky, Corey, Doyle, Margaret D, Chen, Percival Yang-Ting, Keable, Stephen M, Makita, Hiroki, Simon, Philipp S, Massad, Ramzi, Fransson, Thomas, Chatterjee, Ruchira, Bhowmick, Asmit, Paley, Daniel W, Moriarty, Nigel W, Brewster, Aaron S, Gee, Leland B, Alonso-Mori, Roberto, Moss, Frank, Fuller, Franklin D, Batyuk, Alexander, Sauter, Nicholas K, Bergmann, Uwe, Drennan, Catherine L, Yachandra, Vittal K, Yano, Junko, Kern, Jan F, Ragsdale, Stephen W

Get full text

Measuring the predictability of life outcomes with a scientific mass collaboration by Salganik, Matthew J., Lundberg, Ian, Kindel, Alexander T., Ahearn, Caitlin E., Al-Ghoneim, Khaled, Almaatouq, Abdullah, Altschul, Drew M., Brand, Jennie E., Carnegie, Nicole Bohme, Compton, Ryan James, Datta, Debanjan, Davidson, Thomas, Filippova, Anna, Gilroy, Connor, Goode, Brian J., Jahani, Eaman, Kashyap, Ridhi, Kirchner, Antje, McKay, Stephen, Morgan, Allison C., Pentland, Alex, Polimis, Kivan, Raes, Louis, Rigobon, Daniel E., Roberts, Claudia V., Stanescu, Diana M., Suhara, Yoshihiko, Usmani, Adaner, Wang, Erik H., Adem, Muna, Alhajri, Abdulla, AlShebli, Bedoor, Amin, Redwane, Amos, Ryan B., Argyle, Lisa P., Baer-Bositis, Livia, Buchi, Moritz, Chung, Bo-Ryehn, Eggert, William, Faletto, Gregory, Fan, Zhilin, Freese, Jeremy, Gadgil, Tejomay, Gagne ́, Josh, Gao, Yue, Halpern-Manners, Andrew, Hashim, Sonia P., Hausen, Sonia, He, Guanhua, Higuera, Kimberly, Hogan, Bernie, Horwitz, Ilana M., Hummel, Lisa M., Jain, Naman, Jin, Kun, Jurgens, David, Kaminski, Patrick, Karapetyan, Areg, Kim, E. H., Leizman, Ben, Liu, Naijia, Moser, Malte, Mack, Andrew E., Mahajan, Mayank, Mandell, Noah, Marahrens, Helge, Mercado-Garcia, Diana, Mocz, Viola, Mueller-Gastell, Katariina, Musse, Ahmed, Niu, Qiankun, Nowak, William, Omidvar, Hamidreza, Or, Andrew, Ouyang, Karen, Pinto, Katy M., Porter, Ethan, Porter, Kristin E., Qian, Crystal, Rauf, Tamkinat, Sargsyan, Anahit, Schaffner, Thomas, Schnabel, Landon, Schonfeld, Bryan, Sender, Ben, Tang, Jonathan D., Tsurkov, Emma, van Loon, Austin, Varol, Onur, Wang, Xiafei, Wang, Zhi, Wang, Julia, Wang, Flora, Weissman, Samantha, Whitaker, Kirstie, Wolters, Maria K., Woon, Wei Lee, Wu, James, Wu, Catherine, Yang, Kengran, Yin, Jingwen, Zhao, Bingyu, Zhu, Chenyun, Brooks-Gunn, Jeanne, Engelhardt, Barbara E., Hardt, Moritz, Knox, Dean, Levy, Karen, Narayanan, Arvind, Stewart, Brandon M., Watts, Duncan J., McLanahan, Sara

Get full text

Termination and semantics of probabilistic lambda calculus by Kenyon-Roberts, A

“…The method is based on supermartingales and ranking functions, which are a probabilistic version of a loop variant, as described in similar work by McIver, Morgan, Kaminski and Katoen in the setting of a first-order imperative language. …”