Find Scholarly Works

Search results

• A Framework for Convergence Research in the Hazards and Disaster Field: The Natural Hazards Engineering Research Infrastructure CONVERGE Facility

  Peek, L., Tobin, J., Adams, R. M., Wu, H. & Mathews, M. C., Jul 7 2020, In: Frontiers in Built Environment. 6, 110.

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

  Open Access
  36 Scopus citations

• A framework for contract-based collaborative verification and validation of Web services

  Bai, X., Wang, Y., Dai, G., Tsai, W. T. & Chen, Y., 2007, Component-Based Software Engineering - 10th International Symposium, CBSE 2007, Proceedings. Springer Verlag, p. 258-273 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4608 LNCS).

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

• A framework for composition and inter-operation of rules in the semantic web

  Pontelli, E., Son, T. C. & Baral, C., 2006, Proceedings - RuleML 2006: 2006 Second International Conference on Rules and Rule Markup Languages for the Semantic Web. p. 39-48 10 p. 4032389. (Proceedings - RuleML 2006: 2006 Second International Conference on Rules and Rule Markup Languages for the Semantic Web).

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

• A Framework for Composable Cellular Automata Devs Modeling, Simulation, and Visualization

  Zhang, C., Sarjoughian, H. S. & Gi Seok, M., May 2020, Proceedings of the 2020 Spring Simulation Conference, SpringSim 2020. Barros, F. J., Hu, X., Kavak, H. & Del Barrio, A. A. (eds.). Institute of Electrical and Electronics Engineers Inc., 9185409. (Proceedings of the 2020 Spring Simulation Conference, SpringSim 2020).

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

  Open Access
  1 Scopus citations

• A framework for composable cellular automata devs modeling, simulation, and visualization

  Zhang, C., Sarjoughian, H. S. & Seok, M. G., 2020, In: Simulation Series. 52, 1, p. 762-773 12 p.

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

• A framework for characterizing ehealth literacy demands and barriers

  Chan, C. V. & Kaufman, D. R., 2011, In: Journal of medical Internet research. 13, 4, e94.

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

• A framework for characterising and evaluating the effectiveness of environmental modelling

  Hamilton, S. H., Fu, B., Guillaume, J. H. A., Badham, J., Elsawah, S., Gober, P., Hunt, R. J., Iwanaga, T., Jakeman, A. J., Ames, D. P., Curtis, A., Hill, M. C., Pierce, S. A. & Zare, F., Aug 2019, In: Environmental Modelling and Software. 118, p. 83-98 16 p.

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

• A framework for capturing the interactions between laypersons' understanding of disease, information gathering behaviors, and actions taken during an epidemic

  Slaughter, L., Keselman, A., Kushniruk, A. & Patel, V. L., Aug 2005, In: Journal of Biomedical Informatics. 38, 4, p. 298-313 16 p.

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

• A framework for battery-aware sensor management

  Dasika, S., Vrudhula, S., Chopra, K. & Srinivasan, R., 2004, Proceedings - Design, Automation and Test in Europe Conference and Exhibition, DATE 04. Gielen, G. & Figueras, J. (eds.). p. 962-967 6 p. (Proceedings - Design, Automation and Test in Europe Conference and Exhibition; vol. 2).

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

• A framework for analyzing the cognitive complexity of computer-assisted clinical ordering

  Horsky, J., Kaufman, D. R., Oppenheim, M. I. & Patel, V. L., 2003, In: Journal of Biomedical Informatics. 36, 1-2, p. 4-22 19 p.

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

• A framework for analyzing digital volunteer contributions in emergent crisis response efforts

  Park, C. H. & Johnston, E., Aug 1 2017, In: New Media and Society. 19, 8, p. 1308-1327 20 p.

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

• A framework for analysing manufacturing flexibility

  Oke, A., Sep 26 2005, In: International Journal of Operations and Production Management. 25, 10, p. 973-996 24 p.

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

• A framework for advanced video traces: evaluating visual quality for video transmission over lossy networks

  Lotfallah, O. A., Reisslein, M. & Panchanathan, S., 2006, In: Eurasip Journal on Applied Signal Processing. 2006, 42083.

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

• A framework for adaptive voice communication over wireless channels

  Gupta, S. & Obeidat, S. A., Jan 1 2003, 2003 IEEE Wireless Communications and Networking Conference, WCNC 2003. Institute of Electrical and Electronics Engineers Inc., p. 1096-1101 6 p. 1200524. (IEEE Wireless Communications and Networking Conference, WCNC; vol. 2).

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

• A framework for a comparative accelerated testing standard for PV modules

  Kurtz, S., Wohlgemuth, J., Yamamichi, M., Sample, T., Miller, D., Meakin, D., Monokroussos, C., Tamizhmani, M., Kempe, M., Jordan, D., Bosco, N., Hacke, P., Bermudez, V. & Kondo, M., 2013, 39th IEEE Photovoltaic Specialists Conference, PVSC 2013. Institute of Electrical and Electronics Engineers Inc., p. 132-138 7 p. 6744114. (Conference Record of the IEEE Photovoltaic Specialists Conference).

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

• A framework for accelerating neuromorphic-vision algorithms on FPGAs

  Debole, M., Maashri, A. A., Cotter, M., Yu, C. L., Chakrabarti, C. & Narayanan, V., Dec 1 2011, 2011 IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2011. p. 810-813 4 p. 6105351. (IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers, ICCAD).

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

• A framework and tools for authoring, editing, documenting, sharing, searching, navigating, and executing computer-based clinical guidelines.

  Greenes, R. A., Boxwala, A., Sloan, W. N., Ohno-Machado, L. & Deibel, S. R., 1999, In: Proceedings / AMIA ... Annual Symposium. AMIA Symposium. p. 261-265 5 p.

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

• A frame theoretic approach to the nonuniform fast fourier transform

  Gelb, A. & Song, G., 2014, In: SIAM Journal on Numerical Analysis. 52, 3, p. 1222-1242 21 p.

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

• A fracture energy approach to model the thermal cracking performance of asphalt rubber mixtures

  Zborowski, A. & Kaloush, K., Jan 1 2011, In: Road Materials and Pavement Design. 12, 2, p. 377-395 19 p.

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

• A fracture energy approach to model the thermal cracking performance of asphalt rubber mixtures

  Zborowski, A. & Kaloush, K., Apr 2011, In: Road Materials and Pavement Design. 12, 2, p. 377-395 19 p.

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

• A fracture-based constitutive model for pavement interface characterization

  Ozer, H., Al-Qadi, I. L. & Leng, Z., 2008, Pavement Cracking: Mechanisms, Modeling, Detection, Testing and Case Histories. p. 661-670 10 p. (Pavement Cracking: Mechanisms, Modeling, Detection, Testing and Case Histories).

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

• A Fractional-N PLL with Space-Time Averaging for Quantization Noise Reduction

  Zhang, Y., Sanyal, A., Yu, X., Quan, X., Wen, K., Tang, X., Jin, G., Geng, L. & Sun, N., Mar 2020, In: IEEE Journal of Solid-State Circuits. 55, 3, p. 602-614 13 p., 8896938.

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

• A Four-year Analysis of Labor Trafficking Cases in the United States: Exploring Characteristics and Labor Trafficking Patterns

  Bracy, K., Lul, B. & Roe-Sepowitz, D., 2021, In: Journal of Human Trafficking. 7, 1, p. 35-52 18 p.

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

• A four-week white bread diet does not alter plasma glucose concentrations, metabolic or vascular physiology in mourning doves, Zenaida macroura

  Basile, A. J., Jasbi, P., Clark, W., Shi, X., Gu, H., Deviche, P. & Sweazea, K. L., Sep 2020, In: Comparative Biochemistry and Physiology -Part A : Molecular and Integrative Physiology. 247, 110718.

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

• A Four-Week Urban Diet Impairs Vasodilation but Not Nutritional Physiology in Wild-Caught Mourning Doves (Zenaida macroura)

  Basile, A. J., Renner, M. W., Kayata, L., Deviche, P. & Sweazea, K. L., Jul 1 2021, In: Physiological and biochemical zoology : PBZ. 94, 4, p. 241-252 12 p.

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

• A four-week high fat diet does not alter plasma glucose or metabolic physiology in wild-caught mourning doves (Zenaida macroura)

  Basile, A. J., Mohr, A. E., Jasbi, P., Gu, H., Deviche, P. & Sweazea, K. L., Jan 2021, In: Comparative Biochemistry and Physiology -Part A : Molecular and Integrative Physiology. 251, 110820.

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

• A fourth-order method for numerical integration of age- and size-structured population models

  Lannelli, M., Kostova, T. & Milner, F. A., Jul 2009, In: Numerical Methods for Partial Differential Equations. 25, 4, p. 918-930 13 p.

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

• A four point algorithm for fast metric cone reconstruction from a calibrated image

  Zhou, J. & Li, B., 2008, Advances in Visual Computing - 4th International Symposium, ISVC 2008, Proceedings. PART 2 ed. p. 634-643 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5359 LNCS, no. PART 2).

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

• A four phase micro-mechanical model for asphalt mastic modulus

  Underwood, B. S. & Kim, Y. R., Aug 2014, In: Mechanics of Materials. 75, p. 13-33 21 p.

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

• A fourier series model to predict hourly heating and cooling energy use in commercial buildings with outdoor temperature as the only weather variable

  Dhar, A., Reddy, T. A. & Claridge, D. E., Feb 1 1999, In: Journal of Solar Energy Engineering, Transactions of the ASME. 121, 1, p. 47-53 7 p.

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

• A foundation for causal decision theory

  Armendt, B., Mar 1986, In: Topoi. 5, 1, p. 3-19 17 p.

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

• A foundation for automated placement of data

  Otstott, D., Zhao, M., Williams, S., Ionkov, L. & Lang, M., Nov 2019, Proceedings of PDSW 2019: IEEE/ACM 4th International Parallel Data Systems Workshop - Held in conjunction with SC 2019: The International Conference for High Performance Computing, Networking, Storage and Analysis. Institute of Electrical and Electronics Engineers Inc., p. 50-59 10 p. 8955261. (Proceedings of PDSW 2019: IEEE/ACM 4th International Parallel Data Systems Workshop - Held in conjunction with SC 2019: The International Conference for High Performance Computing, Networking, Storage and Analysis).

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

• A Forward Modeling Approach to High-Reliability Grain Mapping by Laboratory Diffraction Contrast Tomography (LabDCT)

  Niverty, S., Sun, J., Williams, J., Bachmann, F., Gueninchault, N., Lauridsen, E. & Chawla, N., Aug 15 2019, In: JOM. 71, 8, p. 2695-2704 10 p.

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

• A Forward Look

  Sarewitz, D. & Rip, A., Jun 1 2012, In: Minerva. 50, 2, p. 143-148 6 p.

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

• A forward/reverse auction algorithm for asymmetric assignment problems

  Bertsekas, D. P. & Castañon, D. A., Dec 1992, In: Computational Optimization and Applications. 1, 3, p. 277-297 21 p.

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

• A forum for integrating the life Sciences

  Collins, J., Dec 2011, In: BioScience. 61, 12, p. 935 1 p.

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

• A forum for 'doing society and genomics'. Science and Society Series on Convergence Research

  Frow, E. K., 2009, In: EMBO Reports. 10, 4, p. 318-321 4 p.

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

• A formulation of the integrated facility layout, product selection and process planning problem

  Askin, R., 1986, In: Journal of Manufacturing Systems. 5, 4, p. 267-269 3 p.

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

• A formulation of p-adic versions of the Birch and Swinnerton-Dyer conjectures in the supersingular case

  Sprung, F., Dec 1 2015, In: Research in Number Theory. 1, 1, 17.

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

• A formal study of backward compatible dynamic software updates

  Shen, J. & Bazzi, R., 2015, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag, Vol. 9276. p. 231-248 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9276).

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

• A Formal Scheme for Systematic Translation of Software Requirements to Source Code

  Ghazarian, A., Nov 2011.

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

• A formal model for the study of communication support systems

  Holsapple, C. W., Johnson, L. E. & Waldron, V., Mar 1996, In: Human Communication Research. 22, 3, p. 422-447 26 p.

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

• A formal methodology using attributed grammars for multiprocessing-system software development II. Validation

  Lu, P. M., Yau, S. S. & Hong, W., Aug 1983, In: Information Sciences. 30, 2, p. 107-123 17 p.

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

• A formal methodology using attributed grammars for multiprocessing-system software development. I. Design representation

  Lu, P. M., Yau, S. S. & Hong, W., Aug 1983, In: Information Sciences. 30, 2, p. 79-105 27 p.

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

• A Formal Methodology for Acquiring and Representing Expert Knowledge

  Cooke, N. M. & Mcdonald, J. E., Oct 1986, In: Proceedings of the IEEE. 74, 10, p. 1422-1430 9 p.

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

• A formal framework for studying interaction in human-robot societies

  Chakraborti, T., Talamadupula, K., Zhang, Y. & Kambhampati, S., 2016, WS-16-01: Artificial Intelligence Applied to Assistive Technologies and Smart Environments; WS-16-02: AI, Ethics, and Society; WS-16-03: Artificial Intelligence for Cyber Security; WS-16-04: Artificial Intelligence for Smart Grids and Smart Buildings; WS-16-05: Beyond NP; WS-16-06: Computer Poker and Imperfect Information Games; WS-16-07: Declarative Learning Based Programming; WS-16-08: Expanding the Boundaries of Health Informatics Using AI; WS-16-09: Incentives and Trust in Electronic Communities; WS-16-10: Knowledge Extraction from Text; WS-16-11: Multiagent Interaction without Prior Coordination; WS-16-12: Planning for Hybrid Systems; WS-16-13: Scholarly Big Data: AI Perspectives, Challenges, and Ideas; WS-16-14: Symbiotic Cognitive Systems; WS-16-15: World Wide Web and Population Health Intelligence. AI Access Foundation, Vol. WS-16-01 - WS-16-15. p. 737-741 5 p.

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

• A Formal Framework for Positive and Negative Detection Schemes

  Esponda, F., Forrest, S. & Helman, P., Feb 2004, In: IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics. 34, 1, p. 357-373 17 p.

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

• A formal approach to the analysis of clinical computer-interpretable guideline modeling languages

  Grando, M. A., Glasspool, D. & Fox, J., Jan 2012, In: Artificial intelligence in medicine. 54, 1, p. 1-13 13 p.

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

• A formal analysis of required cooperation in multi-agent planning

  Zhang, Y., Sreedharan, S. & Kambhampati, S., 2016, In: Proceedings International Conference on Automated Planning and Scheduling, ICAPS. 2016-January, p. 335-343 9 p.

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

• A Forgotten Corner in Cancer Immunotherapy: The Role of Lipids

  Yu, Y., Gao, L., Wang, Y., Xu, B., Maswikiti, E. P., Li, H., Zheng, P., Tao, P., Xiang, L., Gu, B., Lucas, A. & Chen, H., Oct 14 2021, In: Frontiers in Oncology. 11, 751086.

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

  Open Access
  1 Scopus citations