Find Research outputs

Search results

• Article

  A Case for Teaching Program Verification: Its Importance in the CS Curriculum

  Mili, A., Feb 1 1983, In: ACM SIGCSE Bulletin. 15, 1, p. 2-6 5 p.

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

  Open Access
  1 Scopus citations

• A Case Study in Software Reuse

  Addy, E., Mili, A. & Yacoub, S., Jan 1 1999, In: Software Quality Journal. 8, 3, p. 169-195 27 p.

  Research output: Contribution to journal › Article › peer-review
  3 Scopus citations

• A case study on the use of robots in assembly processes

  Abdel-Malek, L., Apr 1985, In: Engineering Costs and Production Economics. 9, 1-3, p. 99-103 5 p.

  Research output: Contribution to journal › Article › peer-review
  9 Scopus citations

• A CCA-secure key-policy attribute-based proxy re-encryption in the adaptive corruption model for dropbox data sharing system

  Ge, C., Susilo, W., Fang, L., Wang, J. & Shi, Y., Nov 1 2018, In: Designs, Codes, and Cryptography. 86, 11, p. 2587-2603 17 p.

  Research output: Contribution to journal › Article › peer-review
  44 Scopus citations

• Accelerated Electrons Observed down to <7 keV in a NuSTAR Solar Microflare

  Glesener, L., Krucker, S., Duncan, J., Hannah, I. G., Grefenstette, B. W., Chen, B., Smith, D. M., White, S. M. & Hudson, H., Mar 10 2020, In: Astrophysical Journal Letters. 891, 2, L34.

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

  Open Access
  35 Scopus citations

• Accelerated mortar bar test precision with recycled concrete aggregate

  Fiore, B. D., Gerow, K., Adams, M. P. & Tanner, J. E., Jul 1 2018, In: ACI Materials Journal. 115, 4, p. 531-540 10 p.

  Research output: Contribution to journal › Article › peer-review
  4 Scopus citations

• Accelerated Oxidation of Organic Sulfides by Microdroplet Chemistry

  Li, J., Liu, C., Chen, H. & Zare, R. N., Apr 2 2021, In: Journal of Organic Chemistry. 86, 7, p. 5011-5015 5 p.

  Research output: Contribution to journal › Article › peer-review
  8 Scopus citations

• Accelerated regeneration for markov chain simulations

  Andradóttir, S., Calvin, J. M. & Glynnt, P. W., Oct 1995, In: Probability in the Engineering and Informational Sciences. 9, 4, p. 497-523 27 p.

  Research output: Contribution to journal › Article › peer-review
  9 Scopus citations

• Accelerated structure-aware reinforcement learning for delay-sensitive energy harvesting wireless sensors

  Sharma, N., Mastronarde, N. & Chakareski, J., 2020, In: IEEE Transactions on Signal Processing. 68, p. 1409-1424 16 p., 8998306.

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

  Open Access
  14 Scopus citations

• Accelerated Two-Stage Particle Swarm Optimization for Clustering Not-Well-Separated Data

  Xu, X., Li, J., Zhou, M. C., Xu, J. & Cao, J., Nov 2020, In: IEEE Transactions on Systems, Man, and Cybernetics: Systems. 50, 11, p. 4212-4223 12 p., 8400589.

  Research output: Contribution to journal › Article › peer-review
  53 Scopus citations

• Accelerating fully homomorphic encryption in hardware

  Doröz, Y., Öztürk, E. & Sunar, B., Jun 1 2015, In: IEEE Transactions on Computers. 64, 6, p. 1509-1521 13 p., 6871300.

  Research output: Contribution to journal › Article › peer-review
  59 Scopus citations

• Accelerating GPU betweenness centrality

  McLaughlina, A. & Bader, D. A., Aug 2018, In: Communications of the ACM. 61, 8, p. 85-92 8 p.

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

  Open Access
  9 Scopus citations

• Acceleration of an iterative method for the evaluation of high-frequency multiple scattering effects

  Boubendir, Y., Ecevit, F. & Reitich, F., 2017, In: SIAM Journal on Scientific Computing. 39, 6, p. B1130-B1155

  Research output: Contribution to journal › Article › peer-review
  5 Scopus citations

• Accelerations in the Ball Joint

  Fischer, I. S., Jan 2 2014, In: Mechanics Based Design of Structures and Machines. 42, 1, p. 1-16 16 p.

  Research output: Contribution to journal › Article › peer-review
  1 Scopus citations

• Accelerations in the plane joint with application to the Tracta coupling

  Fischer, I. S., Sep 2013, In: Proceedings of the Institution of Mechanical Engineers, Part K: Journal of Multi-body Dynamics. 227, 3, p. 292-301 10 p.

  Research output: Contribution to journal › Article › peer-review
  1 Scopus citations

• Accessibility Analysis and Modeling for IoV in an Urban Scene

  Cheng, J., Yuan, G., Zhou, M., Gao, S., Liu, C., Duan, H. & Zeng, Q., Apr 2020, In: IEEE Transactions on Vehicular Technology. 69, 4, p. 4246-4256 11 p., 8976295.

  Research output: Contribution to journal › Article › peer-review
  88 Scopus citations

• Accessing dynamic functional connectivity using l₀-regularized sparse-smooth inverse covariance estimation from fMRI

  Zhang, L., Fu, Z., Zhang, W., Huang, G., Liang, Z., Li, L., Biswal, B. B., Calhoun, V. D. & Zhang, Z., Jul 5 2021, In: Neurocomputing. 443, p. 147-161 15 p.

  Research output: Contribution to journal › Article › peer-review
  2 Scopus citations

• Access points planning in Urban area for data dissemination to drivers

  Yan, T., Zhang, W., Wang, G. & Zhang, Y., Jan 2014, In: IEEE Transactions on Vehicular Technology. 63, 1, p. 390-402 13 p., 6557533.

  Research output: Contribution to journal › Article › peer-review
  28 Scopus citations

• Accommodation of traveling waves of fishers type to the dynamics of the leading tail

  Booty, M. R., Haberman, R. & Minzoni, A. A., Jan 1 1993, In: SIAM Journal on Applied Mathematics. 53, 4, p. 1009-1025 17 p.

  Research output: Contribution to journal › Article › peer-review
  16 Scopus citations

• Accounting for nonrandom arrivals in estimate of delay at signalized intersections

  Daniel, J., Fambro, D. B. & Rouphail, N. M., Nov 1 1996, In: Transportation Research Record. 1555, p. 9-16 8 p.

  Research output: Contribution to journal › Article › peer-review
  7 Scopus citations

• Accounting for nonrandom arrivals in estimate of delay at signalized intersections

  Daniel, J., Fambro, D. B. & Rouphail, N. M., 1997, In: Transportation Research Record. 1555, p. 9-16 8 p.

  Research output: Contribution to journal › Article › peer-review
  2 Scopus citations

• Accounting for Spatiotemporal Inhomogeneity of Urban Crime in China

  Ye, X., Wu, L. & Lee, J., Apr 3 2017, In: Papers in Applied Geography. 3, 2, p. 196-205 10 p.

  Research output: Contribution to journal › Article › peer-review
  3 Scopus citations

• Acculturation to Both American and Chinese Cultures Predicts Condom Use Intent among U.S.-Dwelling Chinese/Taiwanese Men Who Have Sex with Men

  Chan, L. S., Sun, Y., Xu, Y. & McLaughlin, M. L., Jun 1 2017, In: Journalism and Mass Communication Quarterly. 94, 2, p. 552-570 19 p.

  Research output: Contribution to journal › Article › peer-review
  3 Scopus citations

• Accumulation of magnetic field energy in an active region due to the alpha-effect

  Abramenko, V. I., Yurchyshyn, V. & Wang, T. J., Nov 1 1996, In: Radiophysics and Quantum Electronics. 39, 11-12, p. 930-934 5 p.

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

• Accumulation of motile elongated micro-organisms in turbulence

  Zhan, C., Sardina, G., Lushi, E. & Brandt, L., Jan 1 2014, In: Journal of Fluid Mechanics. 739, p. 22-36 15 p.

  Research output: Contribution to journal › Article › peer-review
  57 Scopus citations

• Accuracy Improvement of Vehicle Recognition by Using Smart Device Sensors

  Pias, T. S., Eisenberg, D. & Fernandez, J. F., Jun 1 2022, In: Sensors. 22, 12, 4397.

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

  Open Access
  3 Scopus citations

• Accurate age counter for wear leveling on non-volatile based main memory

  Luo, H., Zhuge, Q., Shi, L., Li, J. & Sha, E. H. M., Sep 2013, In: Design Automation for Embedded Systems. 17, 3-4, p. 543-564 22 p.

  Research output: Contribution to journal › Article › peer-review
  4 Scopus citations

• Accurate analytical model for MPEG coded video traffic

  Liu, H., Ansari, N. & Shi, Y. Q., Aug 19 1999, In: Electronics Letters. 35, 17, p. 1449-1450 2 p.

  Research output: Contribution to journal › Article › peer-review
  1 Scopus citations

• Accurate and efficient boundary integral methods for electrified liquid bridge problems

  Volkov, D., Papageorgiou, D. T. & Petropoulos, P. G., 2005, In: SIAM Journal on Scientific Computing. 26, 6, p. 2102-2132 31 p.

  Research output: Contribution to journal › Article › peer-review
  9 Scopus citations

• Accurate deep neural network inference using computational phase-change memory

  Joshi, V., Le Gallo, M., Haefeli, S., Boybat, I., Nandakumar, S. R., Piveteau, C., Dazzi, M., Rajendran, B., Sebastian, A. & Eleftheriou, E., Dec 1 2020, In: Nature communications. 11, 1, 2473.

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

  Open Access
  203 Scopus citations

• Accurate Identification of Ontology Alignments at Different Granularity Levels

  Hu, X., Feng, Z., Chen, S., Huang, K., Li, J. & Zhou, M., 2017, In: IEEE Access. 5, p. 105-120 16 p., 7581070.

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

  Open Access
  15 Scopus citations

• Accurate interaction energies at density functional theory level by means of an efficient dispersion correction

  Krishtal, A., Vanommeslaeghe, K., Olasz, A., Veszpŕmi, T., Van Alsenoy, C. & Geerlings, P., 2009, In: Journal of Chemical Physics. 130, 17, 174101.

  Research output: Contribution to journal › Article › peer-review
  42 Scopus citations

• Accurate rigid-body modes representation for a nonlinear curved thin-shell element

  Yang, T. Y., Kapania, R. K. & Saigal, S., Feb 1989, In: AIAA Journal. 27, 2, p. 211-218 8 p.

  Research output: Contribution to journal › Article › peer-review
  8 Scopus citations

• Accurate Sound Localization in Reverberant Environments Is Mediated by Robust Encoding of Spatial Cues in the Auditory Midbrain

  Devore, S., Ihlefeld, A., Hancock, K., Shinn-Cunningham, B. & Delgutte, B., Apr 16 2009, In: Neuron. 62, 1, p. 123-134 12 p.

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

  Open Access
  67 Scopus citations

• Accurate WiFi Localization by Fusing a Group of Fingerprints via a Global Fusion Profile

  Guo, X., Li, L., Ansari, N. & Liao, B., Aug 2018, In: IEEE Transactions on Vehicular Technology. 67, 8, p. 7314-7325 12 p., 8353839.

  Research output: Contribution to journal › Article › peer-review
  68 Scopus citations

• Accurate WiFi localization by unsupervised fusion of extended candidate location set

  Guo, X., Zhu, S., Li, L., Hu, F. & Ansari, N., Apr 2019, In: IEEE Internet of Things Journal. 6, 2, p. 2476-2485 10 p., 8466583.

  Research output: Contribution to journal › Article › peer-review
  34 Scopus citations

• A cell-based PBM for continuous open-circuit dry milling: Impact of axial mixing, nonlinear breakage, and screen size

  Muanpaopong, N., Davé, R. & Bilgili, E., Feb 2022, In: Powder Technology. 399, 117099.

  Research output: Contribution to journal › Article › peer-review
  4 Scopus citations

• A cellular platform for the development of synthetic living machines

  Blackiston, D., Lederer, E., Kriegman, S., Garnier, S., Bongard, J. & Levin, M., 2021, In: Science Robotics. 6, 52, eabf1571.

  Research output: Contribution to journal › Article › peer-review
  65 Scopus citations

• Acellular vascular grafts generated from collagen and elastin analogs

  Kumar, V. A., Caves, J. M., Haller, C. A., Dai, E., Liu, L., Grainger, S. & Chaikof, E. L., Sep 2013, In: Acta Biomaterialia. 9, 9, p. 8067-8074 8 p.

  Research output: Contribution to journal › Article › peer-review
  121 Scopus citations

• A century of turnover: Community dynamics at three timescales

  Russell, G. J., Diamond, J. M., Pimm, S. L. & Reed, T. M., Jan 1 1995, In: Journal of Animal Ecology. 64, 5, p. 628-641 14 p.

  Research output: Contribution to journal › Article › peer-review
  63 Scopus citations

• Acetone–butanol–ethanol (ABE) production in a novel hollow fiber fermentor–extractor

  Shukla, R., Kang, W. & Sirkar, K. K., Nov 1989, In: Biotechnology and Bioengineering. 34, 9, p. 1158-1166 9 p.

  Research output: Contribution to journal › Article › peer-review
  62 Scopus citations

• Acetyl-l-carnitine protects neuronal function from alcohol-induced oxidative damage in the brain

  Rump, T. J., Muneer, P. M. A., Szlachetka, A. M., Lamb, A., Haorei, C., Alikunju, S., Xiong, H., Keblesh, J., Liu, J., Zimmerman, M. C., Jones, J., Donohue, T. M., Persidsky, Y. & Haorah, J., Nov 30 2010, In: Free Radical Biology and Medicine. 49, 10, p. 1494-1504 11 p.

  Research output: Contribution to journal › Article › peer-review
  59 Scopus citations

• A chance constrained programming approach to determine the optimal disassembly sequence

  Tian, G., Zhou, M. & Chu, J., 2013, In: IEEE Transactions on Automation Science and Engineering. 10, 4, p. 1004-1013 10 p., 6507618.

  Research output: Contribution to journal › Article › peer-review
  103 Scopus citations

• A change-point model for identifying 3'UTR switching by next-generation RNA sequencing

  Wang, W., Wei, Z. & Li, H., Aug 1 2014, In: Bioinformatics. 30, 15, p. 2162-2170 9 p.

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

  Open Access
  33 Scopus citations

• A chaos-based hash function with both modification detection and localization capabilities

  Xiao, D., Shih, F. Y. & Liao, X., Sep 2010, In: Communications in Nonlinear Science and Numerical Simulation. 15, 9, p. 2254-2261 8 p.

  Research output: Contribution to journal › Article › peer-review
  65 Scopus citations

• A characteristic based numerical method with tracking for nonlinear wave equations

  Bukiet, B., Pelesko, J., Li, X. L. & Sachdev, P. L., Apr 1996, In: Computers and Mathematics with Applications. 31, 7, p. 75-99 25 p.

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

  Open Access
  4 Scopus citations

• A Characterization of the Simple Failure-Biasing Method for Simulations of Highly Reliable Markovian Systems

  Nakayama, M. K., Jan 1 1994, In: ACM Transactions on Modeling and Computer Simulation (TOMACS). 4, 1, p. 52-88 37 p.

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

  Open Access
  18 Scopus citations

• A charge-coupled device-based laser photofragment fluorescence spectrometer for detection of mercury compounds

  Tong, X., Barat, R. B. & Poulos, A. T., Nov 1999, In: Review of Scientific Instruments. 70, 11, p. 4180-4184 5 p.

  Research output: Contribution to journal › Article › peer-review
  13 Scopus citations

• A chemical specialty semantic network for the unified medical language system

  Paul Morrey, C., Perl, Y., Halper, M., Chen, L. & Gu, H., May 2012, In: Journal of Cheminformatics. 4, 5, 9.

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

  Open Access
  10 Scopus citations

• Achievable rates over time-varying rayleigh fading channels

  Deng, X. & Haimovich, A. M., Jul 2007, In: IEEE Transactions on Communications. 55, 7, p. 1397-1406 10 p.

  Research output: Contribution to journal › Article › peer-review
  23 Scopus citations