Find Research outputs

Search results

• Conference contribution

  Reachability Analysis for High-Index Linear Differential Algebraic Equations

  Tran, H. D., Nguyen, L. V., Hamilton, N., Xiang, W. & Johnson, T. T., 2019, Formal Modeling and Analysis of Timed Systems - 17th International Conference, FORMATS 2019, Proceedings. André, É., Stoelinga, M. & Stoelinga, M. (eds.). Springer, p. 160-177 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11750 LNCS).

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

• Reachable set estimation and control for switched linear systems with dwell-time restriction

  Xiang, W., Tran, H. D. & Johnson, T. T., Dec 27 2016, 2016 IEEE 55th Conference on Decision and Control, CDC 2016. Institute of Electrical and Electronics Engineers Inc., p. 7246-7251 6 p. 7799387. (2016 IEEE 55th Conference on Decision and Control, CDC 2016).

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

• Reachable Set Estimation and Safety Verification for Piecewise Linear Systems with Neural Network Controllers

  Xiang, W., Tran, H. D., Rosenfeld, J. A. & Johnson, T. T., Aug 9 2018, 2018 Annual American Control Conference, ACC 2018. Institute of Electrical and Electronics Engineers Inc., p. 1574-1579 6 p. 8431048. (Proceedings of the American Control Conference; vol. 2018-June).

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

• Reaching Consensus in Ad-Hoc Diffusion Networks

  Kowalski, D. R. & Mirek, J., 2019, Algorithms for Sensor Systems - 14th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2018, Revised Selected Papers. Gilbert, S., Hughes, D. & Krishnamachari, B. (eds.). Springer Verlag, p. 180-192 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11410 LNCS).

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

• Real-time signalization for an oversaturated intersection via switched system approach

  Xiang, W. & Xiao, J., Sep 11 2014, Proceedings of the 33rd Chinese Control Conference, CCC 2014. Xu, S. & Zhao, Q. (eds.). IEEE Computer Society, p. 3350-3355 6 p. 6895494. (Proceedings of the 33rd Chinese Control Conference, CCC 2014).

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

• Reconfigurable distributed storage for dynamic networks

  Chockler, G., Gilbert, S., Gramoli, V., Musial, P. M. & Shvartsman, A. A., 2006, Principles of Distributed Systems - 9th International Conference, OPODIS 2005, Revised Selected Papers. p. 351-365 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3974 LNCS).

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

• Reconfigurable distributed storage for dynamic networks.

  Chockler, G. V., Gilbert, S., Gramoli, V., Musial, P. M. & Shvartsman, A. A., 2009, OPODIS. 1 ed. Vol. 69. p. 351-365 17 p. (J. Parallel Distributed Comput.).

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

• Reducing maternal mortality: An ultrasound system for village midwives

  Brunette, W., Hicks, M., Hope, A., Ruddy, G., Anderson, R. E. & Kolko, B., 2011, Proceedings - 2011 IEEE Global Humanitarian Technology Conference, GHTC 2011. p. 84-90 7 p. 6103613. (Proceedings - 2011 IEEE Global Humanitarian Technology Conference, GHTC 2011).

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

• Reducing the viscosity of diesel fuel with electrorehological effect

  Du, E., Tang, H., Huang, K. & Tao, R., Jan 1 2011, Electro-Rheological Fluids and Magneto-Rheological Suspensions - Proceedings of the 12th International Conference. World Scientific Publishing Co. Pte Ltd, p. 53-59 7 p. (Electro-Rheological Fluids and Magneto-Rheological Suspensions - Proceedings of the 12th International Conference).

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

• Reflector: A fine-grained I/O tracker for HPC systems

  Al-Mamun, A., Liu, J., Li, T., Koziol, Q., Zhai, Z., Qian, J., Shen, H. & Zhao, D., Feb 19 2020, PPoPP 2020 - Proceedings of the 2020 25th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming. Association for Computing Machinery, p. 427-428 2 p. (Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP).

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

• Regional consecutive leader election in mobile ad-hoc networks

  Chung, H. C., Robinson, P. & Welch, J. L., 2010, Proceedings of the 6th International Workshop on Foundations of Mobile Computing, DIALM-POMC '10. p. 81-90 10 p. (Proceedings of the 6th International Workshop on Foundations of Mobile Computing, DIALM-POMC '10).

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

• Region-of-interest video coding for enabling surgical telementoring in low-bandwidth scenarios

  Khire, S., Robertson, S., Jayant, N., Wood, E. A., Stachura, M. E. & Goksel, T., 2012, MILCOM 2012 - 2012 IEEE Military Communications Conference. 6415792. (Proceedings - IEEE Military Communications Conference MILCOM).

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

• Region of interest video compression: Delivering diagnostic quality video over limited throughput mobile telemedicine networks

  Stachura, M. E., Rao, S. P., Khasanshina, E. V., Pearson-Shaver, A. & Robertson, S. L., 2007, Proceedings of the 3rd IASTED International Conference on Telehealth, Telehealth 2007. p. 176-181 6 p. (Proceedings of the 3rd IASTED International Conference on Telehealth).

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

• Registering sequences of in vivo microscopy images for cell tracking using dynamic programming and minimum spanning trees

  McArdle, S., Acton, S. T., Ley, K. & Ray, N., Jan 28 2014, 2014 IEEE International Conference on Image Processing, ICIP 2014. Institute of Electrical and Electronics Engineers Inc., p. 3547-3551 5 p. 7025720. (2014 IEEE International Conference on Image Processing, ICIP 2014).

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

• Registration of physical space to laparoscopic image space for use in minimally invasive hepatic surgery

  Stefansic, J. D., Herline, A. J., Shyr, Y., Chapman, W. C., Fitzpatrick, J. M., Dawant, B. M. & Galloway, R. L., Jan 1 2002, Biomedical Imaging V - Proceedings of the 5th IEEE EMBS International Summer School on Biomedical Imaging, SSBI 2002. Roux, C. & Coatrieux, J-L. (eds.). Institute of Electrical and Electronics Engineers Inc., 1233999. (Biomedical Imaging V - Proceedings of the 5th IEEE EMBS International Summer School on Biomedical Imaging, SSBI 2002).

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

• Regulation of α_2B-adrenerigc receptor export trafficking by specific motifs

  Wu, G., Davis, J. E. & Zhang, M., 2015, Trafficking of GPCRs, 2015. Wu, G. (ed.). Elsevier B.V., p. 227-244 18 p. (Progress in Molecular Biology and Translational Science; vol. 132).

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

• Reliable, Efficient Recovery for Complex Services with Replicated Subsystems

  Tremel, E., Jha, S., Song, W., Chu, D. & Birman, K., Jun 2020, Proceedings - 50th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2020. Institute of Electrical and Electronics Engineers Inc., p. 172-183 12 p. 9153445. (Proceedings - 50th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2020).

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

• Reliable distributed computing on unreliable radio channels

  Dolev, S., Gilbert, S., Guerraoui, R., Kowalski, D. R., Newport, C., Kuhn, F. & Lynch, N., May 18 2009, MobiHoc S3 2009 - Proceedings of the 2009 MobiHoc S3 Workshop, co-located with MobiHoc 2009. Association for Computing Machinery, Inc, p. 1-3 3 p. (MobiHoc S3 2009 - Proceedings of the 2009 MobiHoc S3 Workshop, co-located with MobiHoc 2009).

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

• Reliable tracking control for high speed train against actuator failures: A parallel control architecture

  Xiang, W. & Xiao, J., Nov 14 2014, 2014 17th IEEE International Conference on Intelligent Transportation Systems, ITSC 2014. Institute of Electrical and Electronics Engineers Inc., p. 828-833 6 p. 6957792. (2014 17th IEEE International Conference on Intelligent Transportation Systems, ITSC 2014).

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

• Requirement error abstraction and classification: A control group replicated study

  Walia, G. S., Carver, J. C. & Philip, T., 2007, Proceedings - 18th IEEE International Symposium on Software Reliability Engineering, ISSRE 2007. p. 71-80 10 p. 4402198. (Proceedings - International Symposium on Software Reliability Engineering, ISSRE).

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

• Requirement error abstraction and classification: An empirical study

  Walia, G. S., Carver, J. & Philip, T., 2006, ISCE'06 - Proceedings of the 5th ACM-IEEE International Symposium on Empirical Software Engineering. p. 336-345 10 p. (ISESE'06 - Proceedings of the 5th ACM-IEEE International Symposium on Empirical Software Engineering; vol. 2006).

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

• Requirements engineering using appreciative inquiry for an online community of caregivers of children with autism

  Gonzales, C. H., Leroy, G. & De Leo, G., 2009, 24th Annual ACM Symposium on Applied Computing, SAC 2009. p. 142-146 5 p. (Proceedings of the ACM Symposium on Applied Computing).

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

• Resource allocation for distributed streaming applications

  Qian, Z. & Agrawal, G., 2008, Proceedings - 37th International Conference on Parallel Processing, ICPP 2008. p. 414-421 8 p. 4625876. (Proceedings of the International Conference on Parallel Processing).

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

• Resource discovery in networks under bandwidth limitations

  Konwar, K. M. & Shvartsman, A. A., 2006, Proceedings - Fifth International Symposium on Parallel and Distributed Computing, ISPDC 2006. p. 42-49 8 p. 4021908. (Proceedings - Fifth International Symposium on Parallel and Distributed Computing, ISPDC 2006).

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

• Resource provisioning with budget constraints for adaptive applications in cloud environments

  Zhu, Q. & Agrawal, G., 2010, HPDC 2010 - Proceedings of the 19th ACM International Symposium on High Performance Distributed Computing. p. 304-307 4 p. (HPDC 2010 - Proceedings of the 19th ACM International Symposium on High Performance Distributed Computing).

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

• Response to intervention (RTI) and criteria for high-quality ongoing assessment

  Kuo, N-C., 2014, Response to intervention (RTI) and criteria for high-quality ongoing assessment.

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

• Revealing parallel scans and reductions in sequential loops through function reconstruction: Revealing Parallel Scans and Reductions in Sequential Loops through Function Reconstruction

  Jiang, P. & Agrawal, G., Feb 10 2018, ACM SIGPLAN Notices. 1 ed. Association for Computing Machinery, Vol. 53. p. 395-396 2 p. (Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP).

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

• Revisiting virtual reality for practical use in therapy: Patient satisfaction in outpatient rehabilitation

  Hartney, J. H., Rosenthal, S. N., Kirkpatrick, A. M., Skinner, J. M., Hughes, J. & Orlosky, J., Mar 2019, 26th IEEE Conference on Virtual Reality and 3D User Interfaces, VR 2019 - Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 960-961 2 p. 8797857. (26th IEEE Conference on Virtual Reality and 3D User Interfaces, VR 2019 - Proceedings).

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

• Risk-Based Security Requirements Model for Web Software

  Ezenwoye, O. & Liu, Y., 2022, Proceedings - 30th IEEE International Requirements Engineering Conference Workshops, REW 2022. Knauss, E., Mussbacher, G., Arora, C., Bano, M. & Schneider, J-G. (eds.). IEEE Computer Society, p. 232-237 6 p. (Proceedings of the IEEE International Conference on Requirements Engineering).

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

• RobustBPEL2: Transparent autonomization in business processes through dynamic proxies

  Ezenwoye, O. & Sadjadi, S. M., 2007, Proceedings - Eighth International Symposium on Autonomous Decentralized Systems, ISADS 2007. p. 17-24 8 p. 4144649. (Proceedings - Eighth International Symposium on Autonomous Decentralized Systems, ISADS 2007).

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

• Robust emulation of shared memory using dynamic quorum-acknowledged broadcasts

  Lynch, N. A. & Shvartsman, A. A., 1997, Digest of Papers - 27th Annual International Symposium on Fault-Tolerant Computing, FTCS 1997. Institute of Electrical and Electronics Engineers Inc., p. 272-281 10 p. 614100. (Digest of Papers - 27th Annual International Symposium on Fault-Tolerant Computing, FTCS 1997).

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

• Robustness of the rotor-router mechanism

  Bampas, E., Ga̧sieniec, L., Klasing, R., Kosowski, A. & Radzik, T., 2009, Principles of Distributed Systems - 13th International Conference, OPODIS 2009, Proceedings. p. 345-358 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5923 LNCS).

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

• Robust Network Supercomputing with Malicious Processes

  Konwar, K. M., Rajasekaran, S. & Shvartsman, A. A., 2006, Distributed Computing - 20th International Symposium, DISC 2006, Proceedings. Springer Verlag, p. 474-488 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4167 LNCS).

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

• Robust network supercomputing without centralized control

  Davtyan, S., Konwar, K. M. & Shvartsman, A. A., 2011, PODC'11 - Proceedings of the 2011 ACM Symposium Principles of Distributed Computing. p. 293-294 2 p. (Proceedings of the Annual ACM Symposium on Principles of Distributed Computing).

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

• Robust network supercomputing without centralized control

  Davtyan, S., Konwar, K. M. & Shvartsman, A. A., 2011, Principles of Distributed Systems - 15th International Conference, OPODIS 2011, Proceedings. p. 435-450 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7109 LNCS).

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

• Robust network supercomputing without centralized control.

  Davtyan, S., Konwar, K. M. & Shvartsman, A. A., 2011, OPODIS. p. 435-450 16 p.

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

• Robust Optimization Framework for Training Shallow Neural Networks Using Reachability Method

  Yang, Y. & Xiang, W., 2021, 60th IEEE Conference on Decision and Control, CDC 2021. Institute of Electrical and Electronics Engineers Inc., p. 3857-3862 6 p. (Proceedings of the IEEE Conference on Decision and Control; vol. 2021-December).

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

• Role of estrogens and progesterone in inducing preovulatory type LH and FSH secretion

  Brann, D. W. & Mahesh, V., 1994, Assisted Reproductive Technology/Andrology . p. 18-20 6

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

• Role of NMDA/Non NMDA neurotransmission in induction of puberty and pulsatile LH secretion.

  Brann, D. W. & Mahesh, V., 1994, Assisted Reproductive Technology/Andrology . p. 12-14 6

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

• Role of the kinin system in reproduction

  Brann, D. W., Gao, X., Greenbaum, L. M. & Mahesh, V., 1993, Assisted Reproductive Technology/Andrology. p. 197-200

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

• Rolling and adhesion of monocytes to early atherosclerotic lesions of apolipoprotein E-/-(apoE-/-) mice requires P-selectin, PSGL-1, α4 integrin and VCAM-1

  Huo, Y., Ramos, C. L. & Ley, K., Dec 1 1999, Annual International Conference of the IEEE Engineering in Medicine and Biology - Proceedings. IEEE, Vol. 1. 1 p.

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

• Routing on meshes in optimum time and with really small queues

  Chlebus, B. S. & Sibeyn, J. F., Jan 1 2003, Proceedings - International Parallel and Distributed Processing Symposium, IPDPS 2003. Institute of Electrical and Electronics Engineers Inc., 1213148. (Proceedings - International Parallel and Distributed Processing Symposium, IPDPS 2003).

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

• Routing on the PADAM: Degrees of optimality

  Chlebus, B. S., Czumaj, A. & Sibeyn, J. F., 1997, Euro-Par 1997 Parallel Processing - Third International Conference, Proceedings. Springer Verlag, p. 272-279 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1300 LNCS).

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

• Routing via single-source and multiple-source queries in static sensor networks

  Ga̧sieniec, L., Su, C., Wong, P. W. H. & Xin, Q., 2005, Proceedings - 19th IEEE International Parallel and Distributed Processing Symposium, IPDPS 2005. 1420162. (Proceedings - 19th IEEE International Parallel and Distributed Processing Symposium, IPDPS 2005; vol. 2005).

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

• Runtime fault-handling for job-flow management in Grid environments

  Dasgupta, G., Ezenwoye, O., Fong, L., Kalayci, S., Sadjadi, S. M. & Viswanathan, B., Sep 18 2008, 5th International Conference on Autonomic Computing, ICAC 2008. p. 201-202 2 p. 4550843. (5th International Conference on Autonomic Computing, ICAC 2008).

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

• Ryuretic: A modular framework for Ryu

  Cox, J. H., Donovan, S., Clarky, R. J. & Owen, H. L., Dec 22 2016, MILCOM 2016 - 2016 IEEE Military Communications Conference. Institute of Electrical and Electronics Engineers Inc., p. 1065-1070 6 p. 7795471. (Proceedings - IEEE Military Communications Conference MILCOM).

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

• Sampling-based Sparse Format Selection on GPUs

  Zhu, G. & Agrawal, G., 2021, Proceedings - 2021 IEEE 33rd International Symposium on Computer Architecture and High Performance Computing, SBAC-PAD 2021. IEEE Computer Society, p. 198-208 11 p. (Proceedings - Symposium on Computer Architecture and High Performance Computing).

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

• Saturating flows in networks

  Chlebus, B. S., Chrobak, M. & Diks, K., Jan 1 1987, Fundamentals of Computation Theory - International Conference, FCT 1987. Budach, L., Bukharajev, R. G. & Lupanov, O. B. (eds.). Springer Verlag, p. 82-91 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 278 LNCS).

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

• Scalable certificate revocation list distribution in vehicular ad hoc networks

  Nowatkowski, M. E. & Owen, H. L., Dec 1 2010, 2010 IEEE Globecom Workshops, GC'10. p. 54-58 5 p. 5700380. (2010 IEEE Globecom Workshops, GC'10).

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

• Scalable quantum consensus for crash failures

  Chlebus, B. S., Kowalski, D. R. & Strojnowski, M., Dec 13 2010, Distributed Computing - 24th International Symposium, DISC 2010, Proceedings. p. 236-250 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6343 LNCS).

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