Find Research outputs

Search results

• A large-scale service system with packing constraints: Minimizing the number of occupied servers

  Stolyar, A. L. & Zhong, Y., 2013, SIGMETRICS 2013 - Proceedings of the 2013 ACM SIGMETRICS International Conference on Measurement and Modeling of Computer Systems. 1 SPEC. ISS. ed. p. 41-52 12 p. (Performance Evaluation Review; vol. 41, no. 1 SPEC. ISS.).

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

• A Large-Scale Reanalysis of Childhood Fitness and Inhibitory Control

  Raine, L. B., Kao, S., Pindus, D., Westfall, D. R., Shigeta, T. T., Logan, N., Cadenas-Sanchez, C., Li, J., Drollette, E. S., Pontifex, M. B., Khan, N. A., Kramer, A. F. & Hillman, C. H., Jun 1 2018, In: Journal of Cognitive Enhancement. 2, 2, p. 170-192

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

• A large scale multi criteria suitability analysis for identifying solar development potential: A decision support approach for the state of Illinois, USA

  Kwak, Y., Deal, B. & Heavisides, T., Nov 2021, In: Renewable Energy. 177, p. 554-567 14 p.

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

• A large-scale magnetic shield with 10⁶ damping at millihertz frequencies

  Altarev, I., Bales, M., Beck, D. H., Chupp, T., Fierlinger, K., Fierlinger, P., Kuchler, F., Lins, T., Marino, M. G., Niessen, B., Petzoldt, G., Schläpfer, U., Schnabel, A., Singh, J. T., Stoepler, R., Stuiber, S., Sturm, M., Taubenheim, B. & Voigt, J., May 14 2015, In: Journal of Applied Physics. 117, 18, 183903.

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

• A Large-Scale Longitudinal Study of Flaky Tests

  Lam, W., Winter, S., Wei, A., Xie, T., Marinov, D. & Bell, J., 2022, Software Engineering 2022 - Fachtagung des GI-Fachbereichs Softwaretechnik. Grunske, L., Siegmund, J. & Vogelsang, A. (eds.). Gesellschaft fur Informatik (GI), p. 57-59 3 p. (Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI); vol. P-320).

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

• A large-scale longitudinal study of flaky tests

  Lam, W., Winter, S., Wei, A., Xie, T., Marinov, D. & Bell, J., Nov 13 2020, In: Proceedings of the ACM on Programming Languages. 4, OOPSLA, 202.

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

  Open Access

• A large-scale empirical study on android runtime-permission rationale messages

  Liu, X., Leng, Y., Yang, W., Wang, W., Zhai, C. & Xie, T., Oct 23 2018, Proceedings - 2018 IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2018. Kelleher, C., Engels, G., Fernandes, J. P., Cunha, J. & Mendes, J. (eds.). IEEE Computer Society, p. 137-146 10 p. 8506574. (Proceedings of IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC; vol. 2018-October).

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

• A large-scale dynamo and magnetoturbulence in rapidly rotating core-collapse supernovae

  Mösta, P., Ott, C. D., Radice, D., Roberts, L. F., Schnetter, E. & Haas, R., Dec 17 2015, In: Nature. 528, 7582, p. 376-379 4 p.

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

• A large-scale distributed framework for information retrieval in large dynamic search spaces

  Santos, E., Santos, E. E., Nguyen, H., Pan, L. & Korah, J., Dec 2011, In: Applied Intelligence. 35, 3, p. 375-398 24 p.

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

• A large-scale diffusion imaging study of tinnitus and hearing loss

  Khan, R. A., Sutton, B. P., Tai, Y., Schmidt, S. A., Shahsavarani, S. & Husain, F. T., Dec 2021, In: Scientific reports. 11, 1, 23395.

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

  Open Access

• A Large-Scale Aero-Structural Optimization Framework for Electric Aircraft Design

  Ranjan, P., Das, G. K. & James, K. A., 2021, AIAA Propulsion and Energy Forum, 2021. American Institute of Aeronautics and Astronautics Inc, AIAA, AIAA 2021-3281. (AIAA Propulsion and Energy Forum, 2021).

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

• A Large-Scale Aero-Structural Optimization Framework for Electric Aircraft Design

  Ranjan, P., Das, G. K. & James, K. A., 2021, 2021 AIAA/IEEE Electric Aircraft Technologies Symposium, EATS 2021. Institute of Electrical and Electronics Engineers Inc., (2021 AIAA/IEEE Electric Aircraft Technologies Symposium, EATS 2021).

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

• A larger view of digital American studies

  Cordell, R., 2016, In: Amerikastudien. 61, 3, p. 397-403 7 p.

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

• A large population of 'Lyman-break' galaxies in a protocluster at redshift z ≈ 4.1

  Miley, G. K., Overzier, R. A., Tsvetanov, Z. I., Bouwens, R. J., Benitez, N., Blakeslee, J. P., Ford, H. C., Illingworth, G. D., Postman, M., Rosati, P., Clampin, M., Hartig, G. F., Zirm, A. W., Röttgering, H. J. A., Venemans, B. P., Ardila, D. R., Bartko, F., Broadhurst, T. J., Brown, R. A., Burrows, C. J., & 18 othersCheng, E. S., Cross, N. J. G., De Breuck, C., Feldman, P. D., Franx, M., Golimowski, D. A., Gronwall, C., Infante, L., Martel, A. R., Menanteau, F., Meurer, G. R., Sirianni, M., Kimble, R. A., Krist, J. E., Sparks, W. B., Tran, H. D., White, R. L. & Zheng, W., Jan 1 2004, In: Nature. 427, 6969, p. 47-50 4 p.

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

• A large deviations analysis of scheduling in wireless networks

  Ying, L., Srikant, R. & Dullerud, G. E., 2005, Proceedings of the 44th IEEE Conference on Decision and Control, and the European Control Conference, CDC-ECC '05. p. 6016-6021 6 p. 1583124. (Proceedings of the 44th IEEE Conference on Decision and Control, and the European Control Conference, CDC-ECC '05; vol. 2005).

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

• A large deviations analysis of scheduling in wireless networks

  Ying, L., Srikant, R., Eryilmaz, A. & Dullerud, G. E., Nov 2006, In: IEEE Transactions on Information Theory. 52, 11, p. 5088-5098 11 p.

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

• A Large Deviation Principle in Many-Body Quantum Dynamics

  Kirkpatrick, K., Rademacher, S. & Schlein, B., Aug 2021, In: Annales Henri Poincare. 22, 8, p. 2595-2618 24 p.

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

  Open Access

• A large deviation bound for the area under the ROC curve

  Agarwal, S., Graepel, T., Herbrich, R. & Roth, D., 2005, Advances in Neural Information Processing Systems 17 - Proceedings of the 2004 Conference, NIPS 2004. Neural information processing systems foundation, (Advances in Neural Information Processing Systems).

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

• A large deformation finite element formulation for subgrade soil compaction

  Xia, K., Masud, A. & You, Z., 2008, Proceedings of the Symposium on Pavement Mechanics and Materials at the Inaugural International Conference of the Engineering Mechanics Institute - Pavements and Materials 2008: Modeling, Testing, and. p. 122-130 9 p. (Proceedings of the Symposium on Pavement Mechanics and Materials at the Inaugural International Conference of the Engineering Mechanics Institute - Pavements and Materials 2008: Modeling, Testing, and; vol. 334).

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

• A large column analog experiment of stable isotope variations during reactive transport: II. Carbon mass balance, microbial community structure and predation

  Druhan, J. L., Bill, M., Lim, H. C., Wu, C., Conrad, M. E., Williams, K. H., DePaolo, D. J. & Brodie, E. L., Jan 1 2014, In: Geochimica et Cosmochimica Acta. 124, p. 394-409 16 p.

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

• A large column analog experiment of stable isotope variations during reactive transport: I. A comprehensive model of sulfur cycling and δ³⁴S fractionation

  Druhan, J. L., Steefel, C. I., Conrad, M. E. & DePaolo, D. J., Jan 1 2014, In: Geochimica et Cosmochimica Acta. 124, p. 366-393 28 p.

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

• A large area monolayer WS₂ laser based on surface-emitting heterostructure photonic crystal cavities

  Ge, X., Minkov, M., Li, X., Fan, S. & Zhou, W., 2018, CLEO: Applications and Technology, CLEO_AT 2018. OSA - The Optical Society, (Optics InfoBase Conference Papers; vol. Part F92-CLEO_AT 2018).

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

• A large, searchable, web-based database of aphasic performance on picture naming and other tests of cognitive function

  Mirman, D., Strauss, T. J., Brecher, A., Walker, G. M., Sobel, P., Dell, G. S. & Schwartz, M. F., 2010, In: Procedia - Social and Behavioral Sciences. 6, p. 132-133 2 p.

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

• A large, searchable, web-based database of aphasic performance on picture naming and other tests of cognitive function

  Mirman, D., Strauss, T. J., Brecher, A., Walker, G. M., Sobel, P., Dell, G. S. & Schwartz, M. F., 2010, In: Cognitive Neuropsychology. 27, 6, p. 495-504 10 p.

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

• A laplace transform-based method to stochastic path finding

  Uludag, S., Uludag, Z. E., Nahrstedt, K., Lui, K. S. & Baker, F., Nov 19 2009, Proceedings - 2009 IEEE International Conference on Communications, ICC 2009. 5198619. (IEEE International Conference on Communications).

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

• A lanthipeptide library used to identify a protein-protein interaction inhibitor article

  Yang, X., Lennard, K. R., He, C., Walker, M. C., Ball, A. T., Doigneaux, C., Tavassoli, A. & Van Der Donk, W. A., Apr 1 2018, In: Nature chemical biology. 14, 4, p. 375-380 6 p.

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

• Alanine scanning mutagenesis of an αβ T cell receptor: Mapping the energy of antigen recognition

  Manning, T. C., Schlueter, C. J., Brodnicki, T. C., Parke, E. A., Speir, J. A., Garcia, K. C., Teyton, L., Wilson, I. A. & Kranz, D. M., Apr 1998, In: Immunity. 8, 4, p. 413-425 13 p.

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

• Alanine is a precursor in the biosynthesis of fumonisin B₁ by Fusarium moniliforme

  Branham, B. E. & Plattner, R. D., Nov 1993, In: Mycopathologia. 124, 2, p. 99-104 6 p.

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

• A language-independent proof system for mutual program equivalence

  Ciobâcă, Ş., Lucanu, D., Rusu, V. & Roşu, G., 2014, Formal Methods and Software Engineering - 16th International Conference on Formal Engineering Methods, ICFEM 2014, Proceedings. Merz, S. & Pang, J. (eds.). Springer, p. 75-90 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8829).

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

• A language-independent proof system for full program equivalence

  Ciobâcă, Ş., Lucanu, D., Rusu, V. & Roşu, G., May 1 2016, In: Formal Aspects of Computing. 28, 3, p. 469-497 29 p.

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

• A language-independent program verification framework

  Chen, X. & Roşu, G., 2018, Leveraging Applications of Formal Methods, Verification and Validation. Verification - 8th International Symposium, ISoLA 2018, Proceedings. Margaria, T. & Steffen, B. (eds.). Springer, p. 92-102 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11245 LNCS).

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

• A language-independent neural network for event detection

  Feng, X., Huang, L., Tang, D., Qin, B., Ji, H. & Liu, T., 2016, 54th Annual Meeting of the Association for Computational Linguistics, ACL 2016 - Short Papers. Association for Computational Linguistics (ACL), p. 66-71 6 p. (54th Annual Meeting of the Association for Computational Linguistics, ACL 2016 - Short Papers).

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

• A language-independent approach to smart contract verification

  Chen, X., Park, D. & Roşu, G., 2018, Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice - 8th International Symposium, ISoLA 2018, Proceedings. Margaria, T. & Steffen, B. (eds.). Springer, p. 405-413 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11247 LNCS).

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

• A language framework for multi-object coordination

  Frølund, S. & Agha, G., 1993, ECOOP 1993 - Object-Oriented Programming - 7th European Conference, Proceedings. Nierstrasz, O. M. (ed.). Springer, p. 346-360 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 707 LNCS).

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

• A language for the compact representation of multiple program versions

  Donadio, S., Brodman, J., Roeder, T., Yotov, K., Barthou, D., Cohen, A., Garzarán, M. J., Padua, D. & Pingali, K., 2006, Languages and Compilers for Parallel Computing - 18th International Workshop, LCPC 2005, Revised Selected Papers. Springer, p. 136-151 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4339 LNCS).

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

• A landscape genetics approach demonstrates the effects of human disturbance on the udzungwa red colobus monkey (Procolobus gordonorum)

  Ruiz-Lopez, M. J., Barelli, C., Rovero, F., Hodges, K., Roos, C., Peterman, W. E. & Ting, N., 2015, American Journal of Primatologists. Vol. 77 Supplement 1. p. 103--104

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

• A landmark effect in the perceived displacement of objects

  Higgins, J. S. & Wang, R. F., Jan 25 2010, In: Vision Research. 50, 2, p. 242-248 7 p.

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

• A Lamellar Yolk–Shell Lithium-Sulfur Battery Cathode Displaying Ultralong Cycling Life, High Rate Performance, and Temperature Tolerance

  Liu, J., Ding, Y., Shen, Z., Zhang, H., Han, T., Guan, Y., Tian, Y. & Braun, P. V., Jan 25 2022, In: Advanced Science. 9, 3, 2103517.

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

  Open Access

• A lakewide survey of Asian clam (Corbicula fluminea) distribution at warmwater discharges in Lake Michigan

  Smith, B. J., Harris, B. S., Harris, T. J., LaBudde, L. A. & Hayer, C. A., Aug 2018, In: Journal of Great Lakes Research. 44, 4, p. 798-804 7 p.

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

• Ala-His mediated peptide bond formation revisited

  Larkin, D. C., Martinis, S. A., Roberts, D. J. & Fox, G. E., 2001, In: Origins of Life and Evolution of the Biosphere. 31, 6, p. 511-526 16 p.

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

• A Lagrangian approach to the pooling problem

  Adhya, N., Tawarmalani, M. & Sahinidis, N. V., 1999, In: Industrial and Engineering Chemistry Research. 38, 5, p. 1956-1972 17 p.

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

• A lagrangian approach for the handling of curved boundaries in the finite-difference time-domain method

  Russer, J. A., Sumant, P. S. & Cangellaris, A. C., Oct 2 2007, 2007 IEEE MTT-S International Microwave Symposium Digest. p. 717-720 4 p. 4263918. (IEEE MTT-S International Microwave Symposium Digest).

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

• A Lagrangian approach for quantum-mechanical electrostatic analysis of deformable silicon nanostructures

  Li, G. & Aluru, N. R., Nov 2006, In: Engineering Analysis with Boundary Elements. 30, 11, p. 925-939 15 p.

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

• A Lagrangian approach for electrostatic analysis of deformable conductors

  Li, G. & Aluru, N. R., Jun 2002, In: Journal of Microelectromechanical Systems. 11, 3, p. 245-254 10 p.

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

• Aladdin: Automating release of deep-link apis on android

  Ma, Y., Hu, Z., Liu, Y., Xie, T. & Liu, X., Apr 10 2018, The Web Conference 2018 - Proceedings of the World Wide Web Conference, WWW 2018. Association for Computing Machinery, Inc, p. 1469-1478 10 p. (The Web Conference 2018 - Proceedings of the World Wide Web Conference, WWW 2018).

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

  Open Access

• Aladdin: Automating release of android deep links to in-app content

  Ma, Y., Liu, X., Hu, Z., Yang, D., Huang, G., Liu, Y. & Xie, T., Jun 30 2017, Proceedings - 2017 IEEE/ACM 39th International Conference on Software Engineering Companion, ICSE-C 2017. Institute of Electrical and Electronics Engineers Inc., p. 139-140 2 p. 7965281. (Proceedings - 2017 IEEE/ACM 39th International Conference on Software Engineering Companion, ICSE-C 2017).

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

• A lacustrine record from Lop Nur, Xinjiang, China; implications for paleoclimate change during late Pleistocene

  Luo Chao, P., Zicheng, Y. D., Liu Weiguo, Z., Zhaofeng, H. J. & Chou, C-L., Jan 5 2009, In: Journal of Asian Earth Sciences. 34, 1, p. 38-45 8 p.

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

• A lack of response of the financial behaviors of biodiversity conservation nonprofits to changing economic conditions

  Larson, E. R., Boyer, A. G. & Armsworth, P. R., Dec 1 2014, In: Ecology and Evolution. 4, 23, p. 4429-4443 15 p.

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

  Open Access

• A lack of nuclear DNA content variability among wheat near isolines differing in aluminium response

  Wetzel, J. B., Aref, S., Baligar, V. C. & Rayburn, A. L., Jun 1999, In: Annals of botany. 83, 6, p. 725-728 4 p.

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

• A lack of confidence in implicit change detection

  Mitroff, S. R. & Simons, D. J., 2001, In: Journal of vision. 1, 3, p. 7a

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