System F with type equality coercions

by Sulzmann, M., Chakravarty, M.M.T., Jones, S.P., Donnelly, K.
Published 2013

Deep learning identifies partially overlapping subnetworks in the human social brain

by Kiesow, Hannah, Spreng, R. Nathan, Holmes, Avram J., Chakravarty, M. Mallar, Marquand, Andre F., Yeo, B. T. Thomas, Bzdok, Danilo
Published 2022

Genetic correlations and genome-wide associations of cortical structure in general population samples of 22,824 adults

by Hofer, E., Roshchupkin, G.V., Adams, H.H.H., Knol, M.J., Lin, H., Li, S., Zare, H., Ahmad, S., Armstrong, N.J., Satizabal, C.L., Bernard, M., Bis, J.C., Gillespie, N.A., Luciano, M., Mishra, A., Scholz, M., Teumer, A., Xia, R., Jian, X., Mosley, T.H., Saba, Y., Pirpamer, L., Seiler, S., Becker, J.T., Carmichael, O., Rotter, J.I., Psaty, B.M., Lopez, O.L., Amin, N., van der Lee, S.J., Yang, Q., Himali, J.J., Maillard, P., Beiser, A.S., Decarli, C., Karama, S., Lewis, L., Harris, M., Bastin, M.E., Deary, I.J., Witte, A.V., Beyer, F., Loeffler, M., Mather, K.A., Schofield, P.R., Thalamuthu, A., Kwok, J.B., Wright, M.J., Ames, D., Trollor, J., Jiang, J., Brodaty, H., Wen, W., Vernooij, M.W., Hofman, A., Uitterlinden, A.G., Niessen, W.J., Wittfeld, K., Bülow, R., Völker, U., Pausova, Z., Pike, G.B., Maingault, S., Crivello, F., Tzourio, C., Amouyel, P., Mazoyer, B., Neale, M.C., Franz, C.E., Lyons, M.J., Panizzon, M.S., Andreassen, O.A., Dale, A.M., Logue, M., Grasby, K.L., Jahanshad, N., Painter, J.N., Colodro-Conde, L., Bralten, J., Hibar, D.P., Lind, P.A., Pizzagalli, F., Stein, J.L., Thompson, P.M., Medland, S.E., Sachdev, P.S., Kremen, W.S., Wardlaw, J.M., Villringer, A., van Duijn, C.M., Grabe, H.J., Longstreth, W.T., Fornage, M., Paus, T., Debette, S., Ikram, M.A., Schmidt, H., Schmidt, R., Seshadri, S., Ching, C.R.K., McMahon, M.A.B., Shatokhina, N., Zsembik, L.C.P., Agartz, I., Alhusaini, S., Almeida, M.A.A., Alnæs, D., Amlien, I.K., Andersson, M., Ard, T., Ashley-Koch, A., Brouwer, R.M., Buimer, E.E.L., Bürger, C., Cannon, D.M., Chakravarty, M., Chen, Q., Cheung, J.W., Couvy-Duchesne, B., Dalvie, S., de Araujo, T.K., de Zubicaray, G.I., de Zwarte, S.M.C., Braber, A.D., Doan, N.T., Dohm, K., Ehrlich, S., Engelbrecht, H.-R., Erk, S., Fan, C.C., Fedko, I.O., Foley, S.F., Ford, J.M., Fukunaga, M., Garrett, M.E., Ge, T., Giddaluru, S., Goldman, A.L., Groenewold, N.A., Grotegerd, D., Gurholt, T.P., Gutman, B.A., Hansell, N.K., Harris, M.A., Harrison, M.B., Haswell, C.C., Hauser, M., Herms, S., Heslenfeld, D.J., Ho, N.F., Hoehn, D., Hoffmann, P., Holleran, L., Hoogman, M., Hottenga, J.-J., Ikeda, M., Janowitz, D., Jansen, I.E., Jia, T., Jockwitz, C., Kanai, R., Kasperaviciute, D., Kaufmann, T., Kelly, S., Kikuchi, M., Klein, M., Knapp, M., Knodt, A.R., Krämer, B., Lam, M., Lancaster, T.M., Lee, P.H., Lett, T.A., Lopes-Cendes, I., Macciardi, F., Marquand, A.F., Zhou J.
Published 2021

Brain charts for the human lifespan

by Bethlehem R.A.I., Seidlitz J., White S.R., Vogel J.W., Anderson K.M., Adamson C., Adler S., Alexopoulos G.S., Anagnostou E., Areces-Gonzalez A., Astle D.E., Auyeung B., Ayub M., Bae J., Ball G., Baron-Cohen S., Beare R., Bedford S.A., Benegal V., Beyer F., Blangero J., Blesa Cábez M., Boardman J.P., Borzage M., Bosch-Bayard J.F., Bourke N., Calhoun V.D., Chakravarty M.M., Chen C., Chertavian C., Chetelat G., Chong, Y.S., Cole J.H., Corvin A., Costantino M., Courchesne E., Crivello F., Cropley V.L., Crosbie J., Crossley N., Delarue M., Delorme R., Desrivieres S., Devenyi G.A., Di Biase M.A., Dolan R., Donald K.A., Donohoe G., Dunlop K., Edwards A.D., Elison J.T., Ellis C.T., Elman J.A., Eyler L., Fair D.A., Feczko E., Fletcher P.C., Fonagy P., Franz C.E., Galan-Garcia L., Gholipour A., Giedd J., Gilmore J.H., Glahn D.C., Goodyer I.M., Grant P.E., Groenewold N.A., Gunning F.M., Gur R.E., Gur R.C., Hammill C.F., Hansson O., Hedden T., Heinz A., Henson R.N., Heuer K., Hoare J., Holla B., Holmes A.J., Holt R., Huang H., Im K., Ipser J., Jack C.R., Jr, Jackowski A.P., Jia T., Johnson K.A., Jones P.B., Jones D.T., Kahn R.S., Karlsson H., Karlsson L., Kawashima R., Kelley E.A., Kern S., Kim K.W., Kitzbichler M.G., Kremen W.S., Lalonde F., Landeau B., Lee S., Lerch J., Lewis J.D., Li J., Liao W., Liston C., Lombardo M.V., Lv J., Lynch C., Mallard T.T., Marcelis M., Markello R.D., Mathias S.R., Mazoyer B., McGuire P., Meaney M.J., Mechelli A., Medic N., Misic B., Morgan S.E., Mothersill D., Nigg J., Ong, M.Q.W., Ortinau C., Ossenkoppele R., Ouyang M., Palaniyappan L., Paly L., Pan P.M., Pantelis C., Park M.M., Paus T., Pausova Z., Paz-Linares D., Pichet Binette A., Pierce K., Qian X., Qiu, A., Qiu A., Raznahan A., Rittman T., Rodrigue A., Rollins C.K., Romero-Garcia R., Ronan L., Rosenberg M.D., Rowitch D.H., Salum G.A., Satterthwaite T.D., Schaare H.L., Schachar R.J., Schultz A.P., Schumann G., Schöll M., Sharp D., Shinohara R.T., Skoog I., Smyser C.D., Sperling R.A., Stein D.J., Stolicyn A., Suckling J., Sullivan G., Taki Y., Thyreau B., Toro R., Traut N., Tsvetanov K.A., Turk-Browne N.B., Tuulari J.J., Tzourio C., Vachon-Presseau É., Valdes-Sosa M.J., Valdes-Sosa P.A., Valk S.L., van Amelsvoort T., Vandekar S.N., Vasung L., Victoria L.W., Villeneuve S., Villringer A., Vértes P.E., Wagstyl K., Wang Y.S., Warfield S.K., Warrier V., Westman E., Westwater M.L., Whalley H.C., Witte A.V., Yang N., Yeo B., Yun H., Zalesky A., Zar H.J., Zettergren A., Zhou J.H., Ziauddeen H., Zugman A., Zuo X.N., Bullmore E.T., Alexander-Bloch A.F., 3R-BRAIN, AIBL, Alzheimer's Disease Neuroimaging Initiative, Alzheimer's Disease Repository Without Borders Investigators, CALM Team, Cam-CAN, CCNP, COBRE, cVEDA, ENIGMA Developmental Brain Age Working Group, Developing Human Connectome Project, FinnBrain, Harvard Aging Brain Study, IMAGEN, KNE96, Mayo Clinic Study of Aging, NSPN, POND, PREVENT-AD Research Group, VETSA
Published 2022