Find Research outputs

Search results

• QED at large: A survey of engineering of formally verified software

  Ringer, T., Palmskog, K., Sergey, I., Gligoric, M. & Tatlock, Z., Sep 3 2019, In: Foundations and Trends in Programming Languages. 5, 2-3, p. 102-281 180 p.

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

  Open Access

• QEBA: Query-Efficient Boundary-Based Blackbox Attack

  Li, H., Xu, X., Zhang, X., Yang, S. & Li, B., 2020, In: Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition. p. 1218-1227 10 p., 9156276.

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

• Q-dependent collective relaxation dynamics of glass-forming liquid Ca_0.4K_0.6(NO₃)_1.4 investigated by wide-angle neutron spin-echo

  Luo, P., Zhai, Y., Falus, P., García Sakai, V., Hartl, M., Kofu, M., Nakajima, K., Faraone, A. & Z, Y., Apr 19 2022, In: Nature communications. 13, 1, p. 2092 1 p.

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

  Open Access

• QCT-based vibrational collisional models applied to nonequilibrium nozzle flows

  Munaf̀, A., Panesi, M., Jaffe, R. L., Colonna, G., Bourdon, A. & Magin, T. E., Jul 2012, In: European Physical Journal D. 66, 7, 188.

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

• Q-CSMA: Queue-length based CSMA/CA algorithms for achieving maximum throughput and low delay in wireless networks

  Ni, J., Tan, B. & Srikant, R., 2010, 2010 Proceedings IEEE INFOCOM. 5462229. (Proceedings - IEEE INFOCOM).

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

• Q-CSMA: Queue-length-based CSMA/CA algorithms for achieving maximum throughput and low delay in wireless networks

  Ni, J., Tan, B. & Srikant, R., Jun 2012, In: IEEE/ACM Transactions on Networking. 20, 3, p. 825-836 12 p., 6009216.

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

• Q-Chem 2.0: A High-Performance Ab Initio Electronic Structure Program Package

  Kong, J., White, C. A., Krylov, A. I., Sherrill, D., Adamson, R. D., Furlani, T. R., Lee, M. S., Lee, A. M., Gwaltney, S. R., Adams, T. R., Ochsenfeld, C., Gilbert, A. T. B., Kedziora, G. S., Rassolov, V. A., Maurice, D. R., Nair, N., Shao, Y., Besley, N. A., Maslen, P. E., Dombroski, J. P., & 16 othersDaschel, H., Zhang, W., Korambath, P. P., Baker, J., Byrd, E. F. C., Van Voorhis, T., Oumi, M., Hirata, S. O., Hsu, C. P., Ishikawa, N., Florian, J., Warshel, A., Johnson, B. G., Gill, P. M. W., Head-Gordon, M. & Pople, J. A., Dec 2000, In: Journal of Computational Chemistry. 21, 16, p. 1532-1548 17 p.

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

• Q-chaos

  Junge, M. & Lee, H. H., Oct 2011, In: Transactions of the American Mathematical Society. 363, 10, p. 5223-5249 27 p.

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

• QCG-OMPI: MPI applications on grids

  Agullo, E., Coti, C., Herault, T., Langou, J., Peyronnet, S., Rezmerita, A., Cappello, F. & Dongarra, J., Apr 2011, In: Future Generation Computer Systems. 27, 4, p. 357-369 13 p.

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

• Qcd transition line and correlators of conserved charges from lattice qcd

  Ratti, C., Bellwied, R., Borsanyi, S., Fodor, Z., Guenther, J., Kara, R., Katz, S., Noronha-Hostler, J., Parotto, P., Pasztor, A., Stafford, J. M. & Szabo, K., 2021, In: Acta Physica Polonica B, Proceedings Supplement. 14, 2, p. 281-289 9 p.

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

  Open Access

• QCD equation of state matched to lattice data and exhibiting a critical point singularity

  Parotto, P., Bluhm, M., Mroczek, D., Nahrgang, M., Noronha-Hostler, J., Rajagopal, K., Ratti, C., Schäfer, T. & Stephanov, M., Mar 2020, In: Physical Review C. 101, 3, 034901.

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

  Open Access

• QCD effects in lepton angular distributions of Drell-Yan/Z production and jet discrimination

  Chang, W. C., McClellan, R. E., Peng, J. C. & Teryaev, O., Apr 15 2021, In: Proceedings of Science. 390, 465.

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

• QCD correction to the pp → WH and ZH total cross sections

  Han, T. & Willenbrock, S., Dec 12 1991, In: Physics Letters B. 273, 1-2, p. 167-172 6 p.

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

• QCD at "Low" Q²

  Makins, N. C. R., Apr 2003, In: Nuclear Physics B - Proceedings Supplements. 117, p. 204-221 18 p.

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

• QCD and Yukawa corrections to single-top-quark production via qq→tb

  Smith, M. C. & Willenbrock, S. S., 1996, In: Physical Review D - Particles, Fields, Gravitation and Cosmology. 54, 11, p. 6696-6702 7 p.

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

• QB Online: How an Old Fashioned Question Board Went Electronic

  Ma, W. & Wright, J. C., 1998, In: College & Research Libraries News. 59, 10, p. 772-774

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

• Q-band ENDOR (Electron Nuclear Double Resonance) of the high-affinity ubisemiquinone center in cytochrome bo₃ from Escherichia coli

  Veselov, A. V., Osborne, J. P., Gennis, R. B. & Scholes, C. P., Mar 21 2000, In: Biochemistry. 39, 11, p. 3169-3175 7 p.

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

• Q-band ENDOR (electron nuclear double resonance) of the heme o3 liganding environment at the binuclear center in cytochrome bo3 from Escherichia coli

  Veselov, A. V., Osborne, J. P., Gennis, R. B. & Scholes, C. P., Sep 13 2000, In: Journal of the American Chemical Society. 122, 36, p. 8712-8716 5 p.

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

• Q-Band Electron-Nuclear Double Resonance Reveals Out-of-Plane Hydrogen Bonds Stabilize an Anionic Ubisemiquinone in Cytochrome bo₃ from Escherichia coli

  Sun, C., Taguchi, A. T., Vermaas, J. V., Beal, N. J., O'Malley, P. J., Tajkhorshid, E., Gennis, R. B. & Dikanov, S. A., Oct 11 2016, In: Biochemistry. 55, 40, p. 5714-5725 12 p.

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

• Q2DW-Tide and -Ionosphere Interactions as Observed From ICON and Ground-Based Radars

  Forbes, J. M., Heelis, R., Zhang, X., Englert, C. R., Harding, B. J., He, M., Chau, J. L., Stoneback, R., Harlander, J. M., Marr, K. D., Makela, J. J. & Immel, T. J., Nov 2021, In: Journal of Geophysical Research: Space Physics. 126, 11, e2021JA029961.

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

• Q² dependence of nuclear transparency for exclusive ρ⁰ production

  Airapetian, A., Akopov, N., Akopov, Z., Amarian, M., Ammosov, V. V., Andrus, A., Aschenauer, E. C., Augustyniak, W., Avakian, R., Avetissian, A., Avetissian, E., Bailey, P., Baturin, V., Baumgarten, C., Beckmann, M., Belostotski, S., Bernreuther, S., Bianchi, N., Blok, H. P., Böttcher, H., & 153 othersBorissov, A., Bouwhuis, M., Brack, J., Brüil, A., Brunn, I., Capitani, G. P., Chiang, H. C., Ciullo, G., Contalbrigo, M., Court, G. R., Dalpiaz, P. F., de Leo, R., de Nardo, L., de Sanctis, E., Devitsin, E., di Nezza, P., Düren, M., Ehrenfried, M., Elalaoui-Moulay, A., Elbakian, G., Ellinghaus, F., Elschenbroich, U., Ely, J., Fabbri, R., Fantoni, A., Fechtchenko, A., Felawka, L., Fox, B., Franz, J., Frullani, S., Gärber, Y., Gapienko, G., Gapienko, V., Garibaldi, F., Garutti, E., Gaskell, D., Gavrilov, G., Gharibyan, V., Graw, G., Grebeniouk, O., Greeniaus, L. G., Haeberli, W., Hafidi, K., Hartig, M., Hasch, D., Heesbeen, D., Henoch, M., Hertenberger, R., Hesselink, W. H. A., Hillenbrand, A., Holler, Y., Hommez, B., Iarygin, G., Izotov, A., Jackson, H. E., Jgoun, A., Kaiser, R., Kinney, E., Kisselev, A., Königsmann, K., Kolster, H., Kopytin, M., Korotkov, V., Kozlov, V., Krauss, B., Krivokhijine, V. G., Lagamba, L., Lapikás, L., Laziev, A., Lenisa, P., Liebing, P., Lindemann, T., Lorenzon, W., Makins, N. C. R., Marukyan, H., Masoli, F., Menden, F., Mexner, V., Meyners, N., Mikloukho, O., Miller, C. A., Miyachi, Y., Muccifora, V., Nagaitsev, A., Nappi, E., Naryshkin, Y., Nass, A., Negodaeva, K., Nowak, W. D., Oganessyan, K., Ohsuga, H., Orlandi, G., Podiatchev, S., Potashov, S., Potterveld, D. H., Raithel, M., Reggiani, D., Reimer, P., Reischl, A., Reolon, A. R., Rith, K., Rosner, G., Rostomyan, A., Ryckbosch, D., Sanjiev, I., Savin, I., Scarlett, C., Schäfer, A., Schill, C., Schnell, G., Schüler, K. P., Schwind, A., Seibert, J., Seitz, B., Shanidze, R., Shibata, T. A., Shutov, V., Simani, M. C., Sinram, K., Stancari, M., Statera, M., Steffens, E., Steijger, J. J. M., Stewart, J., Stösslein, U., Tanaka, H., Taroian, S., Tchuiko, B., Terkulov, A., Tessarin, S., Thomas, E., Tkabladze, A., Trzcinski, A., Tytgat, M., Urciuoli, G. M., van der Nat, P., van der Steenhoven, G., van de Vyver, R., Vetterli, M. C., Vikhrov, V., Vincter, M. G., Visser, J., Vogt, M., Volmer, J., Weiskopf, C., Wendland, J., Wilbert, J., Wise, T., Yen, S., Yoneyama, S., Zihlmann, B., Zohrabian, H. & Zupranski, P., Feb 7 2003, In: Physical review letters. 90, 5, p. 052501/1-052501/6 052501.

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

• Q* approximation schemes for batch reinforcement learning: A theoretical comparison

  Xie, T. & Jiang, N., 2020, p. 550-559. 10 p.

  Research output: Contribution to conference › Paper › peer-review

• PyTorchFI: A Runtime Perturbation Tool for DNNs

  Mahmoud, A., Aggarwal, N., Nobbe, A., Vicarte, J. R. S., Adve, S. V., Fletcher, C. W., Frosio, I. & Hari, S. K. S., Jun 2020, Proceedings - 50th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN-W 2020. Institute of Electrical and Electronics Engineers Inc., p. 25-31 7 p. 9151812. (Proceedings - 50th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN-W 2020).

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

• Python Open source Waveform ExtractoR (POWER): An open source, Python package to monitor and post-process numerical relativity simulations

  Johnson, D., Huerta, E. A. & Haas, R., Jan 25 2018, In: Classical and Quantum Gravity. 35, 2, 027002.

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

• Python GNSS receiver: An object-oriented software platform suitable for multiple receivers

  Wycoff, E., Ng, Y. & Gao, G. X., Feb 2015, GPS World, 26, 2, p. 52-57 6 p.

  Research output: Contribution to specialist publication › Article

• PYTAF: A Python Tool for Spatially Resampling Earth Observation Data

  Zhao, G., Yang, M., Gao, Y., Zhan, Y., Lee, H. J. & Di Girolamo, L., Sep 2022, In: Earth Science Informatics. 15, 3, p. 1443-1448 6 p.

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

  Open Access

• Pyruvate remediation of cell stress and genotoxicity induced by haloacetic acid drinking water disinfection by-products

  Dad, A., Jeong, C. H., Pals, J. A., Wagner, E. D. & Plewa, M. J., Oct 2013, In: Environmental and Molecular Mutagenesis. 54, 8, p. 629-637 9 p.

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

• Pyrularia Thionin Binding to and the Role of Tryptophan-8 in the Enhancement of Phosphatidylserine Domains in Erythrocyte Membranes

  Wang, F., Naisbitt, G. H., Vernon, L. P. & Glaser, M., 1993, In: Biochemistry. 32, 46, p. 12283-12289 7 p.

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

• pyr RNA binding to the Bacillus caldolyticus PyrR attenuation protein - Characterization and regulation by uridine and guanosine nucleotides

  Jørgensen, C. M., Fields, C. J., Chander, P., Watt, D., Burgner, J. W., Smith, J. L. & Switzer, R. L., Feb 2008, In: FEBS Journal. 275, 4, p. 655-670 16 p.

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

• Pyrosequencing reveals bacterial communities in unchlorinated drinking water distribution system: An integral study of bulk water, suspended solids, loose deposits, and pipe wall biofilm

  Liu, G., Bakker, G. L., Li, S., Vreeburg, J. H. G., Verberk, J. Q. J. C., Medema, G. J., Liu, W. T. & Van Dijk, J. C., May 20 2014, In: Environmental Science and Technology. 48, 10, p. 5467-5476 10 p.

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

• Pyrosequencing enumerates and contrasts soil microbial diversity

  Roesch, L. F. W., Fulthorpe, R. R., Riva, A., Casella, G., Hadwin, A. K. M., Kent, A. D., Daroub, S. H., Camargo, F. A. O., Farmerie, W. G. & Triplett, E. W., Aug 12 2007, In: ISME Journal. 1, 4, p. 283-290 8 p.

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

• Pyrosequencing-based analysis of the mucosal microbiota in healthy individuals reveals ubiquitous bacterial groups and micro-heterogeneity

  Hong, P. Y., Croix, J. A., Greenberg, E., Gaskins, H. R. & Mackie, R. I., Sep 22 2011, In: PloS one. 6, 9, e25042.

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

• Pyrosequencing as a method for SNP identification in the rhesus macaque (Macaca mulatta)

  Satkoski, J. A., Malhi, R. S., Kanthaswamy, S., Tito, R. Y., Malladi, V. S. & Smith, D. G., May 29 2008, In: BMC genomics. 9, 256.

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

• Pyrosequencing analysis of bacterial biofilm communities in water meters of a drinking water distribution system

  Hong, P. Y., Hwang, C., Ling, F., Andersen, G. L., LeChevallier, M. W. & Liu, W. T., Aug 2010, In: Applied and environmental microbiology. 76, 16, p. 5631-5635 5 p.

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

• Pyrophilous fungi detected after wildfires in the Great Smoky Mountains National Park expand known species ranges and biodiversity estimates

  Hughes, K. W., Matheny, P. B., Miller, A. N., Petersen, R. H., Iturriaga, T. M., Johnson, K. D., Methven, A. S., Raudabaugh, D. B., Swenie, R. A. & Bruns, T. D., Jul 3 2020, In: Mycologia. 112, 4, p. 677-698 22 p.

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

• Pyrophilous fungi: Widespread communities and novel life stages

  Matheny, P., Raudabaugh, D., Miller, A. N., Iturriaga, T., Petersen, R. & Hughes, K., 2019, 87th Annual Meeting Mycological Society of America 2019 Annual Meeting; 10-14 August 2019, Minneapoli, Minnesota.

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

• Pyroomacoustics: A Python Package for Audio Room Simulation and Array Processing Algorithms

  Scheibler, R., Bezzam, E. & Dokmanic, I., Sep 10 2018, 2018 IEEE International Conference on Acoustics, Speech, and Signal Processing, ICASSP 2018 - Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 351-355 5 p. 8461310. (ICASSP, IEEE International Conference on Acoustics, Speech and Signal Processing - Proceedings; vol. 2018-April).

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

• Pyrometry in the Reaction Zone of PETN- And RDX-based Polymer Bound Explosives

  Bassett, W. P., Johnson, B. P., Salvati, L. & Dlott, D. D., Nov 2 2020, Shock Compression of Condensed Matter - 2019: Proceedings of the Conference of the American Physical Society Topical Group on Shock Compression of Condensed Matter. Lane, J. M. D., Germann, T. C., Armstrong, M. R., Wixom, R., Damm, D. & Zaug, J. (eds.). American Institute of Physics Inc., 30002. (AIP Conference Proceedings; vol. 2272).

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

  Open Access

• Pyrolytic Depolymerization Mechanisms for Post-Consumer Plastic Wastes

  Kohli, K., Chandrasekaran, S. R., Prajapati, R., Kunwar, B., Al-Salem, S., Moser, B. R. & Sharma, B. K., Dec 2022, In: Energies. 15, 23, 8821.

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

  Open Access

• Pyrolytic Carbon Nanosheets for Ultrafast and Ultrastable Sodium-Ion Storage

  Cho, S. Y., Kang, M., Choi, J., Lee, M. E., Yoon, H. J., Kim, H. J., Leal, C., Lee, S., Jin, H. J. & Yun, Y. S., Apr 26 2018, In: Small. 14, 17, 1703043.

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

• Pyrolysis-combustion ₁₄C dating of soil organic matter

  Wang, H., Hackley, K. C., Panno, S. V., Coleman, D. D., Liu, J. C. L. & Brown, J., Nov 2003, In: Quaternary Research. 60, 3, p. 348-355 8 p.

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

• Pyrolysis biochar has negligible effects on soil greenhouse gas production, microbial communities, plant germination, and initial seedling growth

  Meschewski, E., Holm, N., Sharma, B. K., Spokas, K., Minalt, N. & Kelly, J. J., Aug 2019, In: Chemosphere. 228, p. 565-576 12 p.

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

  Open Access

• Pyroelectric electron emission from nanometer-thick films of PbZr _xTi_1-xO₃

  Fletcher, P. C., Mangalam, V. K. R., Martin, L. W. & King, W. P., May 13 2013, In: Applied Physics Letters. 102, 19, 192908.

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

• Pyroelectric electron emission from a thin film of PbZr_xTi _1-xO₃ on a nanofabricated cathode

  Fletcher, P. C., Mangalam, R. V. K., Martin, L. W. & King, W. P., 2013, 2013 Transducers and Eurosensors XXVII: The 17th International Conference on Solid-State Sensors, Actuators and Microsystems, TRANSDUCERS and EUROSENSORS 2013. p. 772-775 4 p. 6626880. (2013 Transducers and Eurosensors XXVII: The 17th International Conference on Solid-State Sensors, Actuators and Microsystems, TRANSDUCERS and EUROSENSORS 2013).

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

• Pyroelectric current measurements on PbZr_0.2Ti _0.8O₃ epitaxial layers

  Bhatia, B., Karthik, J., Tong, T., Cahill, D. G., Martin, L. W. & King, W. P., Nov 15 2012, In: Journal of Applied Physics. 112, 10, 104106.

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

• Pyrodiversity Matters: Wild Turkey Habitat Selection in a Fire Managed Landscape

  Parker, C., Hoover, J., Benson, T., Schelsky, W. & Garver, L., 2019, American Fisheries Society & The Wildlife Society 2019 Joint Annual Conference, Sept. 27-Oct. 4, 2019, Reno, NV.

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

• Pyrodiversity matters: Wild turkey habitat selection in a fire managed landscape

  Parker, C., Schelsky, W. M., Garver, L. & Hoover, J. P., Aug 1 2021, In: Forest Ecology and Management. 493, 119227.

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

• Pyro: A spatial-temporal big-data storage system

  Li, S., Hu, S., Ganti, R., Srivatsa, M. & Abdelzaher, T., 2015, Proceedings of the 2015 USENIX Annual Technical Conference, USENIX ATC 2015. USENIX Association, p. 97-109 13 p. (Proceedings of the 2015 USENIX Annual Technical Conference, USENIX ATC 2015).

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

• pyRiverBed: A Python framework to generate synthetic riverbed topography for constant-width meandering rivers

  Li, Z. & García, M. H., Jul 2021, In: Computers and Geosciences. 152, 104755.

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

• Pyrite-enhanced chemical weathering in Kärkevagge, Swedish Lapland

  Darmody, R. G., Thorn, C. E. & Dixon, J. C., Nov 2007, In: Bulletin of the Geological Society of America. 119, 11-12, p. 1477-1485 9 p.

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