Showing 1 - 6 results of 6 for search '"(tom OR atom) ((kalinske" OR calinski") OR kaminsky")', query time: 0.11s Refine Results
  1. 1
  2. 2
  3. 3
  4. 4
  5. 5

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

    Published 2024
    “…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. …”
    Thesis
  6. 6

    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

    Published 2021
    Get full text
    Article