Find Research outputs

Search results

• 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 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

• 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

• 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

• A laboratory study on sediment resuspension within arrays of rigid cylinders

  Tinoco, R. O. & Coco, G., Jun 1 2016, In: Advances in Water Resources. 92, p. 1-9 9 p.

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

• A laboratory study on metal corrosion by ammonia gas

  Zhu, J., Riskowski, G. L. & Mackie, R. I., 1999, In: Transactions of the American Society of Agricultural Engineers. 42, 3, p. 783-787 5 p.

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

• A laboratory study of particle ploughing and pore-pressure feedback: A velocity-weakening mechanism for soft glacier beds

  Thomason, J. F. & Iverson, N. R., 2008, In: Journal of Glaciology. 54, 184, p. 169-181 13 p.

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

  Open Access

• A laboratory investigation of the suspension, transport, and settling of silver carp eggs using synthetic surrogates

  Garcia, T., Zamalloa, C. Z., Jackson, P. R., Murphy, E. A. & Garcia, M. H., Dec 1 2015, In: PloS one. 10, 12, e0145775.

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

  Open Access

• A laboratory comparison of the global warming impact of five major types of biomass cooking stoves

  MacCarty, N., Ogle, D., Still, D., Bond, T. & Roden, C., Jun 2008, In: Energy for Sustainable Development. 12, 2, p. 56-65 10 p.

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

• A laboratory and theoretical study of silicon hydroxide SiOH

  McCarthy, M. C., Tamassia, F., Woon, D. E. & Thaddeus, P., 2008, In: Journal of Chemical Physics. 129, 18, 184301.

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

• A labeling algorithm for the navigation of automated guided vehicles

  Huang, J., Palekar, U. S. & Kapoor, S. G., Aug 1993, In: Journal of Manufacturing Science and Engineering, Transactions of the ASME. 115, 3, p. 315-321 7 p.

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

• A label-free photonic crystal biosensor imaging method for detection of cancer cell cytotoxicity and proliferation

  Chan, L. L., Gosangari, S. L., Watkin, K. L. & Cunningham, B. T., Jun 2007, In: Apoptosis. 12, 6, p. 1061-1068 8 p.

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

• A label-free optical technique for detecting small molecule interactions

  Lin, B., Qiu, J., Gerstenmeier, J., Li, P., Pien, H., Pepper, J. & Cunningham, B., Sep 2002, In: Biosensors and Bioelectronics. 17, 9, p. 827-834 8 p.

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

• A label-free biosensor-based cell attachment assay for characterization of cell surface molecules

  Lin, B., Li, P. & Cunningham, B. T., Apr 26 2006, In: Sensors and Actuators, B: Chemical. 114, 2, p. 559-564 6 p.

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

• A k-ε turbulence model based on the scales of vertical shear and stem wakes valid for emergent and submerged vegetated flows

  King, A. T., Tinoco, R. O. & Cowen, E. A., Jun 25 2012, In: Journal of Fluid Mechanics. 701, p. 1-39 39 p.

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

• A KYP lemma for LMI regions

  Hencey, B. & Alleyne, A. G., Oct 2007, In: IEEE Transactions on Automatic Control. 52, 10, p. 1926-1930 5 p.

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

• A kurtosis-based wavelet algorithm for motion artifact correction of fNIRS data

  Chiarelli, A. M., Maclin, E. L., Fabiani, M. & Gratton, G., May 5 2015, In: NeuroImage. 112, p. 128-137 10 p.

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

• A Ku-Band Oscillator Utilizing Overtone Lithium Niobate RF-MEMS Resonator for 5G

  Kourani, A., Yang, Y. & Gong, S., Jul 2020, In: IEEE Microwave and Wireless Components Letters. 30, 7, p. 681-684 4 p., 9106332.

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

  Open Access

• Akt Serine/Threonine Kinase 1 Regulates de Novo Fatty Acid Synthesis through the Mammalian Target of Rapamycin/Sterol Regulatory Element Binding Protein 1 Axis in Dairy Goat Mammary Epithelial Cells

  Zhang, T., Huang, J., Yi, Y., Zhang, X., Loor, J. J., Cao, Y., Shi, H. & Luo, J., Feb 7 2018, In: Journal of Agricultural and Food Chemistry. 66, 5, p. 1197-1205 9 p.

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

• A kochia (Kochia scoparia) biotype resistant to triazine and ALS-inhibiting herbicides

  Foes, M. J., Liu, L., Vigue, G., Stoller, E. W., Wax, L. M. & Tranel, P. J., 1999, In: Weed Science. 47, 1, p. 20-27 8 p.

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