Find Research outputs

Search results

• Conference article

  Evaluating learning engagement strategies in a cyber learning environment during introductory computer programming courses - An empirical investigation

  Narasareddygari, M. R., Walia, G. S., Radermacher, A. & Borchert, O., Jun 23 2018, In: ASEE Annual Conference and Exposition, Conference Proceedings. 2018-June

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

• Evaluating the use of model-based requirement verification method: An empirical study

  Gupta, M., Aceituna, D., Walia, G. S. & Do, H., 2014, In: Proceedings of the International Conference on Software Engineering and Knowledge Engineering, SEKE. 2014-January, January, p. 397-401 5 p.

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

• Experiences using a cyber learning environment in CS1 classrooms

  Borchert, O., Byram, A., Duke, D. M., Radermacher, A. D., Narasareddygari, M. R. & Walia, G. S., Jun 15 2019, In: ASEE Annual Conference and Exposition, Conference Proceedings.

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

• Extreme shear rate dependence of leukocyte rolling in CD18-/-E-selectin/-double mutant mice

  Forlow, B., Bullard, D., Beaudet, A. & Ley, K., 2000, In: Annals of Biomedical Engineering. 28, SUPPL. 1, p. S-91

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

• Fairness and hyperfairness in multi-party interactions

  Attie, P. C., Francez, N. & Grumberg, O., 1990, In: Conference Record of the Annual ACM Symposium on Principles of Programming Languages. p. 292-305 14 p.

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

  Open Access

• Finite-time observer design for a class of Markovian jump systems

  Xiao, C. & Xiang, W., Apr 4 2012, In: Advanced Materials Research. 482-484, p. 949-953 5 p.

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

• FLOWSHEET DEVELOPMENT WORK AT THE IDAHO CHEMICAL PROCESSING PLANT FOR THE PARTITIONING OF ACTINIDES FROM ACIDIC NUCLEAR WASTE.

  McIsaac, L. D., Baker, J. D., Krupa, J. F., Meikrantz, D. H. & Schroeder, N. C., Jan 1 1980, In: ACS Symposium Series. 117, p. 395-410 16 p.

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

• Fluence loss due to Rutherford backscattering for very low energy ion implantation in silicon

  Zhao, Z., Ng, C. H., Neil, T., Liu, J. & Jin, J., Jun 2004, In: Nuclear Instruments and Methods in Physics Research, Section B: Beam Interactions with Materials and Atoms. 219-220, 1-4, p. 804-809 6 p.

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

• Graduate biomedical engineers teaching interdisciplinary science through design at the K12 level

  Murray, J. K. & Crawford, B. A., Jan 1 2015, In: ASEE Annual Conference and Exposition, Conference Proceedings. 122nd ASEE Annual Conference and Exposition: Making Value for Society, 122nd ASEE Annual Conference and Exposition: Making Value for...

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

• Highly scalable algorithms for robust string barcoding

  DasGupta, B., Konwar, K. M., Mǎndoiu, I. I. & Shvartsman, A. A., 2005, In: Lecture Notes in Computer Science. 3515, II, p. 1020-1028 9 p.

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

  Open Access
  2 Scopus citations

• HIVPCES: A WWW-based HIV patient care expert system

  Atalay, B., Potter, W. D. & Haburchak, D., Jan 1 1999, In: Proceedings of the IEEE Symposium on Computer-Based Medical Systems. p. 214-219 6 p.

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

• How accurate is image guided radiation therapy (IGRT) delivered with a micro-irradiator?

  Oldham, M., Newton, J., Rankine, L., Adamovics, J., Kirsch, D. & Das, S., 2013, In: Journal of Physics: Conference Series. 444, 1, 012070.

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

• How Anxiety State and Acceptance of an Embodied Agent Affect User Gaze Patterns

  Shaltout, N., Monteiro, D. V., Perusquía-Hernández, M., Orlosky, J. & Kiyokawa, K., 2022, In: CEUR Workshop Proceedings. 3297

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

• How to enhance the creativity of software developers: A systematic literature review

  Hegde, R. & Walia, G., 2014, In: Proceedings of the International Conference on Software Engineering and Knowledge Engineering, SEKE. 2014-January, January, p. 229-234 6 p.

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

• Implementation and incorporation of liver 3-D surface renderings into interactive, image-guided hepatic surgery

  Beasley, R. A., Stefansic, J. D., Herring, J. L., Bass, W. A., Herline, A. J., Chapman, W. C., Dawant, B. M. & Galloway, R. L., Jan 1 2000, In: Proceedings of SPIE - The International Society for Optical Engineering. 3976, p. 282-289 8 p.

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

• Implementing data cube construction using a cluster middleware: Algorithms, implementation experience, and performance evaluation

  Yang, G., Jin, R. & Agrawal, G., May 2003, In: Future Generation Computer Systems. 19, 4, p. 533-550 18 p.

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

• Improving the requirements inspection abilities of computer science students through analysis of their reading and learning styles

  Goswami, A., Walia, G. S., Padmanabhan, G. & McCourt, M. E., Jun 24 2017, In: ASEE Annual Conference and Exposition, Conference Proceedings. 2017-June

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

• Inheritance-based technique for building simulation proofs incrementally

  Keidar, I., Khazan, R., Lynch, N. & Shvartsman, A., 2000, In: Unknown Journal. p. 478-487 10 p.

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

• Interactive, image-guided hepatic surgery

  Stefansic, J. D., Herline, A. J., Bass, W. A., Chapman, W. C. & Galloway, R. L., 1999, In: Proceedings of SPIE - The International Society for Optical Engineering. 3658, p. 241-251 11 p.

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

• Interprocedural compilation of irregular applications for distributed memory machines

  Agrawal, G. & Saltz, J., 1995, In: Proceedings of the ACM/IEEE Supercomputing Conference. 2, p. 1270-1316 47 p.

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

• Investigating the reproducibility of a complex multifocal radiosurgery treatment

  Niebanck, M., Juang, T., Newton, J. R., Adamovics, J., Wang, Z. & Oldham, M., 2013, In: Journal of Physics: Conference Series. 444, 1, 012072.

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

• Investigation of deterministic simulation parameters for a 3-D radiotherapy Co⁶⁰ device model

  Al-Basheer, A., Ghita, M. & Sjoden, G., Dec 22 2006, In: Transactions of the American Nuclear Society. 95, p. 511-513 3 p.

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

• In vivo optical reflectance measurement of human brain tissue with calculation of absorption and scattering coefficients

  Johns, M., Giller, C. A. & Liu, H., Jan 1 1999, In: Proceedings of SPIE - The International Society for Optical Engineering. 3595, p. 70-78 9 p.

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

• Irrelevance, heterogeneous equality, and call-by-value dependent type systems

  Sjöberg, V., Casinghino, C., Ahn, K. Y., Collins, N., Eades, H. D., Fu, P., Kimmell, G., Sheard, T., Stump, A. & Weirich, S., Feb 11 2012, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 76, p. 112-162 51 p.

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

  Open Access
  14 Scopus citations

• Lasers in aesthetic and reconstructive surgery

  Graper, C. E., Dec 1 1998, In: Conference Proceedings - Lasers and Electro-Optics Society Annual Meeting-LEOS. 2, 1 p.

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

• LFSC for SMT proofs: Work in progress

  Stump, A., Reynolds, A., Tinelli, C., Laugesen, A., Eades, H., Oliver, C. & Zhang, R., 2012, In: CEUR Workshop Proceedings. 878, p. 21-27 7 p.

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

• Linear complementarity and discount switching controller games

  Schultz, T. A., Dec 1 1989, In: Proceedings of the IEEE Conference on Decision and Control. 1, p. 192-194 3 p.

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

• Linking electrophoretic resolution with experimental conditions

  Sutherland, J. C., Dec 1 1997, In: Proceedings of SPIE - The International Society for Optical Engineering. 2985, p. 47-60 14 p.

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

• Mathematical Modelling of Thermal Stratification in a Cryogenic Propellant Tank

  Agrawal, G., Joseph, J., Agarwal, D., Pisharady, J. C. & Sunil Kumar, S., Mar 1 2017, In: IOP Conference Series: Materials Science and Engineering. 171, 1, 012045.

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

  Open Access
  2 Scopus citations

• Measurement of the non-technical skills of software professionals: An empirical investigation

  Bender, L. L., Walia, G. S., Fagerholm, F., Pagels, M., Nygard, K. E. & Münch, J., 2014, In: Proceedings of the International Conference on Software Engineering and Knowledge Engineering, SEKE. 2014-January, January, p. 478-483 6 p.

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

• Model of the relationship between flow and pressure in vascular access grafts

  Jones, S. A., Ram, S. & Paulson, W., 2000, In: Annals of Biomedical Engineering. 28, SUPPL. 1, p. S-67

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

• Modified diffusion models for steady-state broadband reflectance with a needle-like optic probe

  Liu, H., Johns, M. & Giller, C. A., 2001, In: Proceedings of SPIE - The International Society for Optical Engineering. 4250, p. 76-81 6 p.

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

• Monte Carlo simulation for coincidence detection of in-111 cascaded photons with innovative data processing

  Luo, W. & Cao, Z., Dec 1 2003, In: IEEE Nuclear Science Symposium Conference Record. 5, p. 3125-3128 4 p., M14-255.

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

• Multiple genome alignment by clustering pairwise matches

  Choi, J. H., Choi, K., Cho, H. G. & Kim, S., 2005, In: Lecture Notes in Bioinformatics (Subseries of Lecture Notes in Computer Science). 3388, p. 30-41 12 p.

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

• Novel ceramide analogs are new anti-cancer drugs

  Bieberich, E., Hu, B., Silva, J., MacKinnon, S., Yu, R. K. & Ottenbrite, R. M., 2002, In: American Chemical Society, Polymer Preprints, Division of Polymer Chemistry. 43, 2, p. 756-757 2 p.

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

• NST expert: An intelligent program for NST interpretation

  Alonso-Betanzos, A., Moret-Bonillo, V., Devoe, L. D., Searle, J. R. & Boveda-Alvarez, C., Dec 1 1989, In: Annual International Conference of the IEEE Engineering in Medicine and Biology - Proceedings. 11 pt 6, p. 1859-1860 2 p.

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

• OBSCURE: Information-theoretic oblivious and verifiable aggregation queries

  Gupta, P., Li, Y., Mehrotra, S., Panwar, N., Sharma, S. & Almanee, S., 2018, In: Proceedings of the VLDB Endowment. 12, 9, p. 1030-1043 14 p.

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

• On the Lambek calculus with an exchange modality

  Jiang, J., Eades, H. D. & de Paiva, V., Apr 15 2019, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 292, p. 43-89 47 p.

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

  Open Access
  3 Scopus citations

• On the wake-up problem in radio networks

  Chlebus, B. S., Gaşieniec, L., Kowalski, D. R. & Radzik, T., 2005, In: Lecture Notes in Computer Science. 3580, p. 347-359 13 p.

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

• PLATCOM: Current status and plan for the next stages

  Choi, K., Choi, J. H., Saple, A., Wang, Z., Lee, J. & Kim, S., 2005, In: Lecture Notes in Bioinformatics (Subseries of Lecture Notes in Computer Science). 3615, p. 300-304 5 p.

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

• Practitioner experience meets graduate academic research: How intersections guide the work of returning engineering Ph.D. students

  Murray, J. K., Daly, S. R., Mosyjowski, E. & Peters, D. L., Jun 24 2017, In: ASEE Annual Conference and Exposition, Conference Proceedings. 2017-June

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

• Preliminary investigation and application of a novel deformable PRESAGE® dosimeter

  Juang, T., Newton, J., Das, S., Adamovics, J. & Oldham, M., 2013, In: Journal of Physics: Conference Series. 444, 1, 012080.

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

• PRISM: Private Verifiable Set Computation over Multi-Owner Outsourced Databases

  Li, Y., Ghosh, D., Gupta, P., Mehrotra, S., Panwar, N. & Sharma, S., 2021, In: Proceedings of the ACM SIGMOD International Conference on Management of Data. p. 1116-1128 13 p.

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

  Open Access
  5 Scopus citations

• Processes, systems & tests: Defining contextual equivalences

  Aubert, C. & Varacca, D., Oct 2 2021, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 347, p. 1-21 21 p.

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

  Open Access
  2 Scopus citations

• Public speaking 101: In 90 minutes or less

  Hayward, P. A., Dec 1 1996, In: ASEE Annual Conference Proceedings. p. 2661-2664 4 p.

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

• Rational design and theoretical optimization of a cryopreservation protocol

  Karlsson, J. O. M., Eroglu, A., Toth, T. L., Cravalho, E. G. & Toner, M., Dec 1 1995, In: American Society of Mechanical Engineers, Heat Transfer Division, (Publication) HTD. 322, p. 85-89 5 p.

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

• Reactor siting in Southeastern coastal plain settings: Hydrostratigraphy and lithostratigraphy

  Wyatt, D. E. & Cumbest, R., Jul 24 2006, In: Transactions of the American Nuclear Society. 94, p. 251-252 2 p.

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

• Real-time optical microspectroscopy and activation energy of Ag nanoparticle growth in thin silica films

  Jiménez, J. A. & Sendova, M., 2012, In: Physics Procedia. 29, p. 36-41 6 p.

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

  Open Access
  2 Scopus citations

• Real-time traversal in grammar-based compressed files

  Ga̧sieniec, L., Kolpako, R., Potapov, I. & Sant, P., 2005, In: Data Compression Conference Proceedings. p. 458 1 p.

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

• Registration of ultrasound images

  Beasley, R. A., Stefansic, J. D., Herline, A. J., Guttierez, L. & Galloway, R. L., 1999, In: Proceedings of SPIE - The International Society for Optical Engineering. 3658, p. 125-132 8 p.

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