Find Research outputs

Search results

• Fast and guaranteed safe controller synthesis for aerial vehicle models

  Fan, C., Miller, K., Sun, D. & Mitra, S., 2021, AIAA Scitech 2021 Forum. American Institute of Aeronautics and Astronautics Inc, AIAA, p. 1-8 8 p. (AIAA Scitech 2021 Forum).

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

• Fast and Guaranteed Safe Controller Synthesis for Nonlinear Vehicle Models

  Fan, C., Miller, K. & Mitra, S., 2020, Computer Aided Verification - 32nd International Conference, CAV 2020, Proceedings. Lahiri, S. K. & Wang, C. (eds.). Springer, p. 629-652 24 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12224 LNCS).

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

  Open Access

• Fast and highly resolved capture of the joint spectral density of photon pairs

  Fang, B., Cohen, O., Liscidini, M., Sipe, J. E. & Lorenz, V. O., 2014, In: Optica. 1, 5, p. 281-284 4 p.

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

  Open Access

• Fast and light bandwidth testing for internet users

  Yang, X., Wang, X., Li, Z., Liu, Y., Qian, F., Gong, L., Miao, R. & Xu, T., 2021, Proceedings of the 18th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2021. USENIX Association, p. 1011-1026 16 p. (Proceedings of the 18th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2021).

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

• Fast and localized event-related optical signals(EROS) in the human occipital cortex: Comparisons with the visual evoked potential and fMRI

  Gratton, G., Fabiani, M., Corballis, P. M., Hood, D. C., Goodman-Wood, M. R., Hirsch, J., Kim, K., Friedman, D. & Gratton, E., Oct 1997, In: NeuroImage. 6, 3, p. 168-180 13 p.

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

• Fast and precise on-the-fly patch validation for all

  Chen, L., Ouyang, Y. & Zhang, L., May 2021, Proceedings - 2021 IEEE/ACM 43rd International Conference on Software Engineering, ICSE 2021. IEEE Computer Society, p. 1123-1134 12 p. 9402121. (Proceedings - International Conference on Software Engineering).

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

• Fast and reliable anomaly detection in categorical data

  Akoglu, L., Tong, H., Vreeken, J. & Faloutsos, C., Dec 19 2012, CIKM 2012 - Proceedings of the 21st ACM International Conference on Information and Knowledge Management. p. 415-424 10 p. (ACM International Conference Proceeding Series).

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

• Fast and rigorous analysis of EMC/EMI phenomena on electrically large and complex cable-loaded structures

  Baǧci, H., Yilmaz, A. E., Jin, J. M. & Michielssen, E., May 2007, In: IEEE Transactions on Electromagnetic Compatibility. 49, 2, p. 361-381 21 p.

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

• Fast and robust control of nanopositioning systems: Performance limits enabled by field programmable analog arrays

  Baranwal, M., Gorugantu, R. S. & Salapaka, S. M., Aug 1 2015, In: Review of Scientific Instruments. 86, 8, 085004.

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

• Fast and robust supervised learning in high dimensions using the geometry of the data

  Mukherjee, U. K., Majumdar, S. & Chatterjee, S., 2015, Advances in Data Mining: Applications and Theoretical Aspects - 15th Industrial Conference, ICDM 2015, Proceedings. Perner, P. (ed.). Springer, p. 109-123 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence); vol. 9165).

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

• Fast and scalable 3D cyber-physical modeling for high-precision mobile augmented reality systems

  Bae, H., White, J., Golparvar-Fard, M., Pan, Y. & Sun, Y., Dec 1 2015, In: Personal and Ubiquitous Computing. 19, 8, p. 1275-1294 20 p.

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

• Fast and sensitive silver staining of DNA in polyacrylamide gels

  Bassam, B. J., Caetano-Anollés, G. & Gresshoff, P. M., Jul 1991, In: Analytical Biochemistry. 196, 1, p. 80-83 4 p.

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

• Fast and slow activation kinetics of voltage-gated sodium channels in molluscan neurons

  Gilly, W. F., Gillette, R. & McFarlane, M., 1997, In: Journal of neurophysiology. 77, 5, p. 2373-2384 12 p.

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

• Fast anti-collision algorithms in RFID systems

  Wang, J., Wang, D., Zhao, Y. & Korhonen, T., 2007, Proceedings - International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies, UBICOMM 2007. p. 75-80 6 p. 4402810. (Proceedings - International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies, UBICOMM 2007).

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

• Fast approximate convex decomposition using relative concavity

  Ghosh, M., Amato, N. M., Lu, Y. & Lien, J. M., Feb 2013, In: CAD Computer Aided Design. 45, 2, p. 494-504 11 p.

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

• Fast approximate distance queries in unweighted graphs using bounded asynchrony

  Fidel, A., Sabido, F. C., Riedel, C., Amato, N. M. & Rauchwerger, L., 2017, Languages and Compilers for Parallel Computing - 29th International Workshop, LCPC 2016, Revised Papers. Ding, C., Criswell, J. & Wu, P. (eds.). Springer, p. 40-54 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10136 LNCS).

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

• Fast approximation algorithms for bounded degree and crossing spanning tree problems

  Chekuri, C., Quanrud, K. & Torres, M. R., Sep 1 2021, Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques, APPROX/RANDOM 2021. Wootters, M. & Sanita, L. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 24. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 207).

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

• Fast approximation of Kullback-Leibler distance for dependence trees and hidden Markov models

  Do, M. N., Apr 2003, In: IEEE Signal Processing Letters. 10, 4, p. 115-118 4 p.

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

• Fast aroma profiling to detect invert sugar adulteration with zNose™

  Veraverbeke, E. A., Irudayaraj, J. & Lammertyn, J., Jan 30 2005, In: Journal of the Science of Food and Agriculture. 85, 2, p. 243-250 8 p.

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

• Fast assessment of the impact of surrounding wiring on the transmission properties of high-speed interconnect channels

  Chung, J. H. & Cangellaris, A. C., Dec 1 2012, 2012 IEEE 21st Conference on Electrical Performance of Electronic Packaging and Systems, EPEPS 2012. p. 69-72 4 p. 6457845. (2012 IEEE 21st Conference on Electrical Performance of Electronic Packaging and Systems, EPEPS 2012).

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

• Fast Atom Bombardment Mass Spectroscopy (FABMS) of Polyoxoanions

  Finke, R. G., Droege, M. W., Cook, J. C. & Suslick, K. S., Sep 1 1984, In: Journal of the American Chemical Society. 106, 19, p. 5750-5751 2 p.

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

• Fast Atomic-Scale Chemical Imaging of Crystalline Materials and Dynamic Phase Transformations

  Lu, P., Yuan, R. L., Ihlefeld, J. F., Spoerke, E. D., Pan, W. & Zuo, J. M., Apr 13 2016, In: Nano letters. 16, 4, p. 2728-2733 6 p.

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

• Fast atomic-scale elemental mapping of crystalline materials by STEM energy-dispersive X-ray spectroscopy achieved with thin specimens

  Lu, P., Yuan, R. & Zuo, J. M., Feb 2017, In: Microscopy and Microanalysis. 23, 1, p. 145-154 10 p.

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

• Fast axon activity and the motor pattern in cockroach legs during swimming

  COCATRE‐Z1LGIEN, J. H. & DELCOMYN, F., Dec 1990, In: Physiological Entomology. 15, 4, p. 385-392 8 p.

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

• Fast Bayesian Estimation for the Four-Parameter Logistic Model (4PLM)

  Zheng, C., Guo, S. & Kern, J. L., 2021, In: SAGE Open. 11, 4

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

  Open Access

• Fast best-effort pattern matching in large attributed graphs

  Tong, H., Faloutsos, C., Gallagher, B. & Eliassi-Rad, T., 2007, KDD-2007: Proceedings of the Thirteenth ACM SIGKDD International Conference on Knowledge Discovery and Data Mining. p. 737-746 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

• Fast bilinear algorithms for symmetric tensor contractions

  Solomonik, E. & Demmel, J., Jan 1 2021, In: Computational Methods in Applied Mathematics. 21, 1, p. 211-231 21 p.

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

• Fast block-iterative domain decomposition algorithm for IR drop analysis in large power grid

  Zhong, Y. & Wong, M. D. F., May 28 2010, Proceedings of the 11th International Symposium on Quality Electronic Design, ISQED 2010. p. 277-283 7 p. 5450430. (Proceedings of the 11th International Symposium on Quality Electronic Design, ISQED 2010).

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

• Fast Boolean matching for field-programmable gate arrays

  Zhu, K. & Wong, D. F., Dec 1 1993, European Design Automation Conference - Proceedings. Anon (ed.). Publ by IEEE, p. 352-357 6 p. (European Design Automation Conference - Proceedings).

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

• Fast broadband macromodeling technique of sampled time/frequency data using z-domain vector-fitting method

  Mekonnen, Y. S. & Schutt-Ainé, J. E., 2008, 2008 Proceedings 58th Electronic Components and Technology Conference, ECTC. p. 1231-1235 5 p. 4550132. (Proceedings - Electronic Components and Technology Conference).

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

• Fast calculation of electromagnetic interference by through-silicon vias

  Rong, A., Cangellaris, A. C. & Ling, F., Sep 11 2014, Proceedings - Electronic Components and Technology Conference. Institute of Electrical and Electronics Engineers Inc., p. 2094-2098 5 p. 6897591. (Proceedings - Electronic Components and Technology Conference).

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

• Fast calculation of HELAS amplitudes using graphics processing unit (GPU)

  Hagiwara, K., Kanzaki, J., Okamura, N., Rainwater, D. & Stelzer, T., Apr 2010, In: European Physical Journal C. 66, 3, p. 477-492 16 p.

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

• Fast camera motion analysis in MPEG domain

  Wang, R. & Huang, T., Dec 1 1999, p. 691-694. 4 p.

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

• Fast capacitance extraction of conductors embedded in a layered medium

  Pan, Y. C. & Chew, W. C., Dec 1 2001, p. 165-168. 4 p.

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

• Fast chemical equilibration of hadrons in an expanding fireball

  Noronha-Hostler, J., Greiner, C. & Shovkovy, I., Jun 1 2011, In: Indian Journal of Physics. 85, 6, p. 819-824 6 p.

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

• Fast circuit simulator for transient analysis of CDM ESD

  Meng, K. H. & Rosenbaum, E., Oct 30 2015, Electrical Overstress/Electrostatic Discharge Symposium Proceedings, EOS/ESD 2015. ESD Association, (Electrical Overstress/Electrostatic Discharge Symposium Proceedings; vol. 2015-October).

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

• Fast Coherent Particle Advection through Time-Varying Unstructured Flow Datasets

  Chen, M., Shadden, S. C. & Hart, J. C., Aug 1 2016, In: IEEE Transactions on Visualization and Computer Graphics. 22, 8, p. 1960-1973 14 p., 7243356.

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

• Fast Collision Detection for Motion Planning Using Shape Primitive Skeletons

  Ghosh, M., Thomas, S. & Amato, N. M., 2020, Springer Proceedings in Advanced Robotics. Springer, p. 36-51 16 p. (Springer Proceedings in Advanced Robotics; vol. 14).

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

• Fast colorimetric sensing of adenosine and cocaine based on a general sensor design involving aptamers and nanoparticles

  Liu, J. & Lu, Y., Dec 16 2005, In: Angewandte Chemie - International Edition. 45, 1, p. 90-94 5 p.

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

• Fast Compaction Algorithms for NoSQL Databases

  Ghosh, M., Gupta, I., Gupta, S. & Kumar, N., Jul 22 2015, Proceedings - 2015 IEEE 35th International Conference on Distributed Computing Systems, ICDCS 2015. Institute of Electrical and Electronics Engineers Inc., p. 452-461 10 p. 7164931. (Proceedings - International Conference on Distributed Computing Systems; vol. 2015-July).

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

• Fast computation of 3D inhomogeneous scattered field using a discrete BCG-FFT algorithm

  Gan, H. & Chew, W. C., Jan 1 1995, In: IEEE Antennas and Propagation Society, AP-S International Symposium (Digest). 3, p. 1532-1535 4 p.

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

• Fast computation of analytical second derivatives with effective core potentials: Application to Si₈C₁₂, Ge₈C₁₂, and Sn₈C₁₂

  Bode, B. M. & Gordon, M. S., Nov 15 1999, In: Journal of Chemical Physics. 111, 19, p. 8778-8784 7 p.

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

• Fast computation of angular responses of large-scale three-dimensional electromagnetic wave scattering

  Peng, Z., Stephanson, M. B. & Lee, J. F., Sep 2010, In: IEEE Transactions on Antennas and Propagation. 58, 9, p. 3004-3012 9 p., 5484634.

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

• Fast computation of bispectrum features with generalized slow roll

  Adshead, P., Hu, W., Dvorkin, C. & Peiris, H. V., Aug 12 2011, In: Physical Review D - Particles, Fields, Gravitation and Cosmology. 84, 4, 043519.

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

• Fast computation of first-order feature-bispectrum corrections

  Adshead, P. & Hu, W., May 29 2012, In: Physical Review D - Particles, Fields, Gravitation and Cosmology. 85, 10, 103531.

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

• Fast computation of MadGraph amplitudes on graphics processing unit (GPU)

  Hagiwara, K., Kanzaki, J., Li, Q., Okamura, N. & Stelzer, T., 2013, In: European Physical Journal C. 73, 11, p. 1-39 39 p., 2608.

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

• Fast computation of SimRank for static and dynamic information networks

  Li, C., Han, J., He, G., Jin, X., Sun, Y., Yu, Y. & Wu, T., May 19 2010, Advances in Database Technology - EDBT 2010 - 13th International Conference on Extending Database Technology, Proceedings. p. 465-476 12 p. (Advances in Database Technology - EDBT 2010 - 13th International Conference on Extending Database Technology, Proceedings).

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

• Fast computation of the dyadic green's function for layered media via interpolation

  Atkins, P. R. & Chew, W. C., 2010, In: IEEE Antennas and Wireless Propagation Letters. 9, p. 493-496 4 p., 5462838.

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

• Fast Connectivity Minimization on Large-Scale Networks

  Chen, C., Peng, R., Ying, L. & Tong, H., Apr 2021, In: ACM Transactions on Knowledge Discovery from Data. 15, 3, 53.

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

• Fast construction of nanosecond level snapshots of financial markets

  Gai, J., Choi, D. J., O'Neal, D., Ye, M. & Sinkovits, R. S., Sep 10 2014, In: Concurrency Computation. 26, 13, p. 2149-2156 8 p.

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