Find Research outputs

Search results

• 2018

  MoSeL: A general, extensible modal framework for interactive proofs in separation logic

  Krebbers, R., Jourdan, J. H., Jung, R., Tassarotti, J., Kaiser, J. O., Timany, A., Chargueraud, A. & Dreyer, D., Sep 2018, In: Proceedings of the ACM on Programming Languages. 2, ICFP, 3236772.

  Research output: Contribution to journal › Article › peer-review

  Open Access

• Mostly prior-free asset allocation

  Chassang, S., Dec 2018, In: Journal of Risk. 21, 2, p. 1-35 35 p.

  Research output: Contribution to journal › Article › peer-review

• Mother-child role confusion, child adjustment problems, and the moderating roles of child temperament and sex

  The Family Life Project Key Investigators, Oct 2018, In: Developmental psychology. 54, 10, p. 1891-1903 13 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

• Motion Planning Problems with Boxes: An Introduction for Undergraduate Courses in Discrete Mathematics

  Toussaint, G. T., Nov 13 2018, 2018 International Conference on Control and Robots, ICCR 2018. Institute of Electrical and Electronics Engineers Inc., p. 73-77 5 p. 8534492. (2018 International Conference on Control and Robots, ICCR 2018).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Motion Sequence Alignment for A Kinect-Based In-Home Exercise System for Lymphatic Health and Lymphedema Intervention

  Chiang, A. T., Chen, Q., Wang, Y. & Fu, M. R., Oct 26 2018, 40th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBC 2018. Institute of Electrical and Electronics Engineers Inc., p. 2072-2075 4 p. 8512635. (Proceedings of the Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBS; vol. 2018-July).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Motivated reasoning during recruitment

  Kappes, H. B., Balcetis, E. & De Cremer, D., Mar 2018, In: Journal of Applied Psychology. 103, 3, p. 270-280 11 p.

  Research output: Contribution to journal › Article › peer-review

• Motivation and volition in the course of action

  Achtziger, A. & Gollwitzer, P. M., Jan 1 2018, Motivation and Action, Third Edition. Springer International Publishing, p. 485-527 43 p.

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

• MOTOM toolbox: MOtion Tracking via Optotrak and Matlab

  Derzsi, Z. & Volcic, R., Oct 1 2018, In: Journal of Neuroscience Methods. 308, p. 129-134 6 p.

  Research output: Contribution to journal › Article › peer-review

• Mouse Mammary Gland Whole Mount Preparation and Analysis

  Tolg, C., Cowman, M. & Turley, E. A., 2018, In: Bio-protocol.

  Research output: Contribution to journal › Article › peer-review

• Moving a Chair through a Door: A Tutorial on Local Spatial Reasoning in Algorithmic Robotics

  Toussaint, G., Nov 5 2018, In: IOP Conference Series: Materials Science and Engineering. 435, 1, 012043.

  Research output: Contribution to journal › Conference article › peer-review

• Moving Beyond Age: An Exploratory Qualitative Study on the Context of Young African American Men and Women’s Sexual Debut

  Lanier, Y., Stewart, J. M., Schensul, J. J. & Guthrie, B. J., Apr 1 2018, In: Journal of Racial and Ethnic Health Disparities. 5, 2, p. 261-270 10 p.

  Research output: Contribution to journal › Article › peer-review

• Moving Beyond Pain as the Fifth Vital Sign and Patient Satisfaction Scores to Improve Pain Care in the 21st Century

  Scher, C., Meador, L., Van Cleave, J. H. & Reid, M. C., Apr 2018, In: Pain Management Nursing. 19, 2, p. 125-129 5 p.

  Research output: Contribution to journal › Review article › peer-review

• Mozart:(Piano Quartet), Fauré:(Piano Quartet, Op. 4), K 47

  Quayle, M., Emery, M., Levin, H. & Cook, A., 2018

  Research output: Non-textual form › Performance

• MRI-targeted or standard biopsy for prostate-cancer diagnosis

  Kasivisvanathan, V., Rannikko, A. S., Borghi, M., Panebianco, V., Mynderse, L. A., Vaarala, M. H., Briganti, A., Budäus, L., Hellawell, G., Hindley, R. G., Roobol, M. J., Eggener, S., Ghei, M., Villers, A., Bladou, F., Villeirs, G. M., Virdi, J., Boxler, S., Robert, G., Singh, P. B., & 117 othersVenderink, W., Hadaschik, B. A., Ruffion, A., Hu, J. C., Margolis, D., Crouzet, S., Klotz, L., Taneja, S. S., Pinto, P., Gill, I., Allen, C., Giganti, F., Freeman, A., Morris, S., Punwani, S., Williams, N. R., Brew-graves, C., Deeks, J., Takwoingi, Y., Emberton, M., Moore, C. M., Kenttämies, A., Mirtti, T., Becher, E. F., Catalano, C., Grompone, M., Del Monte, M., Costantino, L., Sciarra, A., D'Eramo, G., Salvo, V., Campa, R., King, B. F., Froemming, A. T., McLaren, R. H., Draayer, P. J., Smith, J. E., Doty, K. J., Tonttila, P., Virta, V., Kuisma, M., Pääkkö, E., Hirvikoski, P., Montorsi, F., Stabile, A., De Cobelli, F., Esposito, A., Picozzi, M., Cristel, G., Brembilla, G., Hung, M., Ocampo, F., Otieno, M., Ramachandran, N., Pendse, D., Kirkham, A., Jameson, C., Ratynska, M., Ben-Salha, I., Leyh-Bannurah, S. R., Beyersdorff, D., Sauter, G., Chambers, A., Pathmanathan, B., Gayed, W., Vrentzou, E., Baldwin, R., Rajkumar, G., Emara, A., Nedas, T., Edwards, A., Bangma, C. H., Busstra, M. B., Schoots, I. G., Oto, A., Gerber, G., Shah, T., Hamid, S., Erotocritou, P., Maraj, B., Kumaradeevan, J., Puech, P., Olivier, J., Loutochin, O., De Visschere, P., Lumen, N., Praet, M., Arya, M., Thoeny, H., Michiels, C., Lebras, Y., Smith, G., Grant, L., Goode, A., El Sheikh, S., Fütterer, J. J., Sedelaar, J. P. M., Radtke, J. P., Hohenfellner, M., Bonekamp, D., Schlemmer, H. P., Rouvière, O., Magill, P., Elkin, D., Jichi, F., Simon, R., Patel, S., Potyka, I., McCartan, N., Baldini, C., Grierson, J., Haider, A., Caris, C., van Egmond, J., Witjes, W., Mulders, P. & Bjartell, A., May 10 2018, In: New England Journal of Medicine. 378, 19, p. 1767-1777 11 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

• Muhammad Iqbal’s constitutionalism

  Hussain, A., 2018, In: Indian Law Review. 2, 2, p. 135-158 24 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

• Multicenter prospective phase ii trial of neoadjuvant dose-dense gemcitabine plus cisplatin in patients with muscle-invasive bladder cancer

  Iyer, G., Balar, A. V., Milowsky, M. I., Bochner, B. H., Dalbagni, G., Machele Donat, S., Herr, H. W., Huang, W. C., Taneja, S. S., Woods, M., Ostrovnaya, I., Al-Ahmadie, H., Arcila, M. E., Riches, J. C., Meier, A., Bourque, C., Shady, M., Won, H., Rose, T. L., Kim, W. Y., & 11 othersKania, B. E., Boyd, M. E., Cipolla, C. K., Regazzi, A. M., Delbeau, D., McCoy, A. S., Vargas, H. A., Berger, M. F., Solit, D. B., Rosenberg, J. E. & Bajorin, D. F., Jul 1 2018, In: Journal of Clinical Oncology. 36, 19, p. 1949-1956 8 p.

  Research output: Contribution to journal › Article › peer-review

• Multicompartment magnetic resonance fingerprinting

  Tang, S., Fernandez-Granda, C., Lannuzel, S., Bernstein, B., Lattanzi, R., Cloos, M., Knoll, F. & Asslander, J., Jul 24 2018, In: Inverse Problems. 34, 9, 094005.

  Research output: Contribution to journal › Article › peer-review

• Multicrossover Randomized Controlled Trial Designs in Alzheimer Disease

  Arnold, S. E. & Betensky, R. A., Aug 2018, In: Annals of Neurology. 84, 2, p. 168-175 8 p.

  Research output: Contribution to journal › Article › peer-review

• Multidirectional desymmetrization of pluripotent building block en route to diastereoselective synthesis of complex nature-inspired scaffolds

  Srinivasulu, V., Schilf, P., Ibrahim, S., Khanfar, M. A., Sieburth, S. M. N., Omar, H., Sebastian, A., AlQawasmeh, R. A., O’Connor, M. J. & Al-Tel, T. H., Dec 1 2018, In: Nature communications. 9, 1, 4989.

  Research output: Contribution to journal › Article › peer-review

  Open Access

• Multifidelity monte carlo estimation for large-scale uncertainty propagation

  Peherstorfer, B., Beran, P. S. & Willcox, K., 2018, AIAA Non-Deterministic Approaches. American Institute of Aeronautics and Astronautics Inc, AIAA, (AIAA Non-Deterministic Approaches Conference, 2018).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Multifidelity monte carlo estimation of variance and sensitivity indices

  Qian, E., Peherstorfer, B., O’Malley, D., Vesselinov, V. V. & Willcox, K., 2018, In: SIAM-ASA Journal on Uncertainty Quantification. 6, 2, p. 683-706 24 p.

  Research output: Contribution to journal › Article › peer-review

• Multifidelity preconditioning of the cross-entropy method for rare event simulation and failure probability estimation

  Peherstorfer, B., Kramer, B. & Willcox, K., 2018, In: SIAM-ASA Journal on Uncertainty Quantification. 6, 2, p. 737-761 25 p.

  Research output: Contribution to journal › Article › peer-review

• Multilevel factorial designs with experiment-induced clustering

  Nahum-Shani, I., Dziak, J. J. & Collins, L. M., Sep 2018, In: Psychological Methods. 23, 3, p. 458-479 22 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

• Multi-lingual common semantic space construction via cluster-consistent word embedding

  Huang, L., Cho, K., Zhang, B., Ji, H. & Knight, K., 2018, Proceedings of the 2018 Conference on Empirical Methods in Natural Language Processing, EMNLP 2018. Riloff, E., Chiang, D., Hockenmaier, J. & Tsujii, J. (eds.). Association for Computational Linguistics, p. 250-260 11 p. (Proceedings of the 2018 Conference on Empirical Methods in Natural Language Processing, EMNLP 2018).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Multimodal learning analytics: Assessing learners' mental state during the process of learning

  Oviatt, S., Grafsgaard, J. F., Chen, L. & Ochoa, X., 2018, The Handbook of Multimodal-Multisensor Interfaces. Association for Computing Machinery (ACM), p. 331-374

  Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review

• Multimodal Sensorimotor Integration for Expert-in-The-Loop Telerobotic Surgical Training

  Shahbazi, M., Farokh, A. S., Ward, C., Talebi, H. A. & Patel, R. V., Dec 2018, In: IEEE Transactions on Robotics. 34, 6, p. 1549-1564 16 p., 8447434.

  Research output: Contribution to journal › Article › peer-review

• Multimodal transcript of face-to-face group-work activity around interactive tabletops

  Ochoa, X., Chiluiza, K., Granda, R., Falcones, G., Castells, J. & Guamán, B., 2018, In: CEUR Workshop Proceedings. 2163, p. 1-6 6 p.

  Research output: Contribution to journal › Conference article › peer-review

• Multi-objective optimisation and fast decision-making method for working fluid selection in organic Rankine cycle with low-temperature waste heat source in industry

  Zhang, X., Bai, H., Zhao, X., Diabat, A., Zhang, J., Yuan, H. & Zhang, Z., Sep 15 2018, In: Energy Conversion and Management. 172, p. 200-211 12 p.

  Research output: Contribution to journal › Article › peer-review

• Multipath IP Routing on End Devices: Motivation, Design, and Performance

  Sun, L., Tian, G., Zhu, G., Liu, Y., Shi, H. & Dai, D., 2018, 17th International IFIP TC6 Networking Conference, Networking 2018. IFIP, p. 181-189 9 p. (17th International IFIP TC6 Networking Conference, Networking 2018).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Multipath IP Routing on End Devices: Motivation, Design, and Performance

  Sun, L., Tian, G., Zhu, G., Liu, Y., Shi, H. & Dai, D., Jul 2 2018, 2018 IFIP Networking Conference IFIP Networking and Workshops, IFIP Networking 2018 - Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 181-189 9 p. 8696893. (2018 IFIP Networking Conference IFIP Networking and Workshops, IFIP Networking 2018 - Proceedings).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Multi-path multi-tier 360-degree video streaming in 5G networks

  Sun, L., Duanmu, F., Liu, Y., Wang, Y., Ye, Y., Shi, H. & Dai, D., Jun 12 2018, Proceedings of the 9th ACM Multimedia Systems Conference, MMSys 2018. Association for Computing Machinery, Inc, p. 162-173 12 p. (Proceedings of the 9th ACM Multimedia Systems Conference, MMSys 2018).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Multiple and independent phases of transposable element amplification in the genomes of piciformes (woodpeckers and allies)

  Manthey, J. D., Moyle, R. G. & Boissinot, S., Jun 1 2018, In: Genome biology and evolution. 10, 6, p. 1445-1456 12 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

• Multiple Family Group Service Delivery Model for Children With Disruptive Behavior Disorders: Impact on Caregiver Stress and Depressive Symptoms

  Gopalan, G., Bornheimer, L. A., Acri, M., Winters, A., O’Brien, K. H. & Chacko, A., Sep 1 2018, In: Journal of Emotional and Behavioral Disorders. 26, 3, p. 182-192 11 p.

  Research output: Contribution to journal › Article › peer-review

• Multiple frequency saturation pulses reduce CEST acquisition time for quantifying conformational exchange in biomolecules

  Leninger, M., Marsiglia, W. M., Jerschow, A. & Traaseth, N. J., May 1 2018, In: Journal of Biomolecular NMR. 71, 1, p. 19-30 12 p.

  Research output: Contribution to journal › Article › peer-review

• Multiple-model and reduced-order kalman filtering for pathological hand tremor extraction

  Ghassab, V. K., Mohammadi, A., Atashzar, S. F. & Patel, R. V., Sep 10 2018, 2018 IEEE International Conference on Acoustics, Speech, and Signal Processing, ICASSP 2018 - Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 940-944 5 p. 8462491. (ICASSP, IEEE International Conference on Acoustics, Speech and Signal Processing - Proceedings; vol. 2018-April).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Multiple origin but single domestication led to Oryza sativa

  Choi, J. Y. & Purugganan, M. D., Mar 1 2018, In: G3: Genes, Genomes, Genetics. 8, 3, p. 797-803 7 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

• Multiple timescales of normalized value coding underlie adaptive choice behavior

  Zimmermann, J., Glimcher, P. W. & Louie, K., Dec 1 2018, In: Nature communications. 9, 1, 3206.

  Research output: Contribution to journal › Article › peer-review

  Open Access

• Multipurpose Prevention Technologies: A Global Sexual and Reproductive Health Priority

  Guilamo-Ramos, V., Reading, M., Bowman, A. S., Perlman, D. C. & Barrett, S., Jan 2018, In: Journal of the Association of Nurses in AIDS Care. 29, 1, p. 6-9 4 p.

  Research output: Contribution to journal › Comment/debate › peer-review

• Multiscale atmospheric overturning of the Indian summer monsoon as seen through isentropic analysis

  Chen, X., Pauluis, O. M., Leung, L. R. & Zhang, F., Sep 1 2018, In: Journal of the Atmospheric Sciences. 75, 9, p. 3011-3030 20 p.

  Research output: Contribution to journal › Article › peer-review

• Multi-scale control of urban road networks considering vehicle heterogeneity in a connected vehicle environment

  Menendez, M., Yang, K. & Zheng, N., 2018, Multi-scale control of urban road networks considering vehicle heterogeneity in a connected vehicle environment.

  Research output: Contribution to specialist publication › Article

• Multiscale investigations on hydration mechanisms in seawater OPC paste

  Wang, J., Liu, E. & Li, L., Dec 10 2018, In: Construction and Building Materials. 191, p. 891-903 13 p.

  Research output: Contribution to journal › Article › peer-review

• Multi-scale perimeter control approach in a connected-vehicle environment

  Yang, K., Zheng, N. & Menendez, M., Sep 2018, In: Transportation Research Part C: Emerging Technologies. 94, p. 32-49 18 p.

  Research output: Contribution to journal › Article › peer-review

• Multispectral Image Intrinsic Decomposition via Subspace Constraint

  Huang, Q., Zhu, W., Zhao, Y., Chen, L., Wang, Y., Yue, T. & Cao, X., Dec 14 2018, Proceedings - 2018 IEEE/CVF Conference on Computer Vision and Pattern Recognition, CVPR 2018. IEEE Computer Society, p. 6430-6439 10 p. 8578771. (Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Multispin-Assisted optical pumping of bulk C 13 nuclear spin polarization in diamond

  Pagliero, D., Rao, K. R. K., Zangara, P. R., Dhomkar, S., Wong, H. H., Abril, A., Aslam, N., Parker, A., King, J., Avalos, C. E., Ajoy, A., Wrachtrup, J., Pines, A. & Meriles, C. A., Jan 22 2018, In: Physical Review B. 97, 2, 024422.

  Research output: Contribution to journal › Article › peer-review

  Open Access

• Multi-trait analysis of genome-wide association summary statistics using MTAG

  Turley, P., Walters, R. K., Maghzian, O., Okbay, A., Lee, J. J., Fontana, M. A., Nguyen-Viet, T. A., Wedow, R., Zacher, M., Furlotte, N. A., Magnusson, P., Oskarsson, S., Johannesson, M., Visscher, P. M., Laibson, D., Cesarini, D., Neale, B. M., Benjamin, D. J., Agee, M., Alipanahi, B., & 22 othersAuton, A., Bell, R. K., Bryc, K., Elson, S. L., Fontanillas, P., Hinds, D. A., Hromatka, B. S., Huber, K. E., Kleinman, A., Litterman, N. K., McIntyre, M. H., Mountain, J. L., Northover, C. A. M., Sathirapongsasuti, J. F., Sazonova, O. V., Shelton, J. F., Shringarpure, S., Tian, C., Tung, J. Y., Vacic, V., Wilson, C. H. & Pitts, S. J., Feb 1 2018, In: Nature Genetics. 50, 2, p. 229-237 9 p.

  Research output: Contribution to journal › Article › peer-review

• Multi-user mobile sequential recommendation: An efficient parallel computing paradigm

  Ye, Z., Zhou, W., Zhang, L., Ge, Y., Xiao, K. & Deng, Y., Jul 19 2018, KDD 2018 - Proceedings of the 24th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining. Association for Computing Machinery, p. 2624-2633 10 p. (Proceedings of the ACM SIGKDD International Conference on Knowledge Discovery and Data Mining).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Multivalent, multiflavored droplets by design

  Zhang, Y., He, X., Zhuo, R., Sha, R., Brujic, J., Seeman, N. C. & Chaikin, P. M., Sep 11 2018, In: Proceedings of the National Academy of Sciences of the United States of America. 115, 37, p. 9086-9091 6 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

• Mutational signatures reveal the role of RAD52 in p53-independent p21-driven genomic instability

  Galanos, P., Pappas, G., Polyzos, A., Kotsinas, A., Svolaki, I., Giakoumakis, N. N., Glytsou, C., Pateras, I. S., Swain, U., Souliotis, V. L., Georgakilas, A. G., Geacintov, N., Scorrano, L., Lukas, C., Lukas, J., Livneh, Z., Lygerou, Z., Chowdhury, D., Sørensen, C. S., Bartek, J., & 1 othersGorgoulis, V. G., Mar 16 2018, In: Genome biology. 19, 1, 37.

  Research output: Contribution to journal › Article › peer-review

  Open Access

• My client knows that he's about to stutter: How can we address stuttering anticipation during therapy with young people who stutter?

  Jackson, E. S., Gerlach, H., Rodgers, N. H. & Zebrowski, P. M., 2018, In: Seminars in Speech and Language. 39, 4, p. 356-370 15 p.

  Research output: Contribution to journal › Article › peer-review

• N2 fixation as a dominant new N source in the western tropical South Pacific Ocean (OUTPACE cruise)

  Caffin, M., Moutin, T., Ann Foster, R., Bouruet-Aubertot, P., Michelangelo Doglioli, A., Berthelot, H., Guieu, C., Grosso, O., Helias-Nunige, S., Leblond, N., Gimenez, A., Alexandra Petrenko, A., De Verneil, A. & Bonnet, S., May 2 2018, In: Biogeosciences. 15, 8, p. 2565-2585 21 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access