Find Research outputs

Search results

• Conference contribution

  Validating TRACE void fraction predictive capability using the quantitative area validation metric

  Wu, X., Shirvan, K. & Kozlowski, T., 2018, AISTech 2018 Proceedings - Iron and Steel Technology Conference and Exposition. Association for Iron and Steel Technology, AISTECH, p. 423-426 4 p. (AISTech - Iron and Steel Technology Conference Proceedings; vol. 2018-May).

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

• Validation and inference of schema-level workflow data-dependency annotations

  Bowers, S., McPhillips, T. & Ludäscher, B., 2018, Provenance and Annotation of Data and Processes - 7th International Provenance and Annotation Workshop, IPAW 2018, Proceedings. Belhajjame, K., Gehani, A. & Alper, P. (eds.). Springer, p. 128-141 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11017 LNCS).

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

• Validation and site specific variation in the age and growth of bonefish in the Eastern Bahamian Archipelago

  Haak, C. R., Murchie, K. J., Cooke, S. J., Suski, C. D., Goldberg, T. L., Philipp, D. P. & Danylchuk, A. J., 2010, American Fisheries Society 140th Annual Meeting, September 9-16, 2010, Pittsburgh, PA.

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

• Validation of a fiber-based confocal microscope for interventional image-guided procedures: Correlation with multispectral optical imaging

  Herzka, D., Quijano, J., Xie, J., Krueger, S., Weiss, S., Abrat, B., Osdoit, A., Cavé, C., Burnett, C., Danthi, S. N. & Li, K., 2006, Medical Imaging 2006: Physiology, Function, and Structure from Medical Images. 61433D. (Progress in Biomedical Optics and Imaging - Proceedings of SPIE; vol. 6143 II).

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

• Validation of an instrumented wheelchair hand rim

  Gaglio, A., Daigle, S., Gacek, E., Jahanian, O., Slavens, B., Rice, I. & Hsiao-Wecksler, E., 2017, Frontiers in Biomedical Devices, BIOMED - 2017 Design of Medical Devices Conference, DMD 2017. American Society of Mechanical Engineers, (Frontiers in Biomedical Devices, BIOMED - 2017 Design of Medical Devices Conference, DMD 2017).

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

• Validation of application behavior on a virtual time integrated network emulation testbed

  Zheng, Y., Jin, D. & Nicol, D. M., 2012, Proceedings of the 2012 Winter Simulation Conference, WSC 2012. 6465240. (Proceedings - Winter Simulation Conference).

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

• Validation of Linear Covariance Techniques for Mars Entry, Descent, and Landing Guidance and Navigation Performance Analysis

  Williams, J. W., Brandenburg, W. E., Woffinden, D. C. & Putnam, Z. R., 2022, AIAA SciTech Forum 2022. American Institute of Aeronautics and Astronautics Inc, AIAA, AIAA 2022-0745. (AIAA Science and Technology Forum and Exposition, AIAA SciTech Forum 2022).

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

• Validation of power system transient stability results

  Shetye, K. S., Overbye, T. J. & Gronquist, J. F., 2012, 2012 IEEE Power and Energy Conference at Illinois, PECI 2012. 6184599. (2012 IEEE Power and Energy Conference at Illinois, PECI 2012).

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

• Validation of radio channel models using an anechoic chamber

  Zheng, Y. & Nicol, D. M., Jul 5 2010, 2010 IEEE Workshop on Principles of Advanced and Distributed Simulation, PADS 2010. p. 114-121 8 p. 5471660. (Proceedings - Workshop on Principles of Advanced and Distributed Simulation, PADS).

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

• Validation of River Valley Segments Delineated for Bioassessment and Fisheries Management Using Fish Assemblages

  Wang, L., Cao, Y. & Brenden, T., 2011, 2011 Annual Meeting of the American Fisheries Society (AFS 2011); 4-8 Sep 2011 Seattle, Washington.

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

• Validation of Robotic Surgery Simulator (RoSS)

  Kesavadas, T., Stegemann, A., Sathyaseelan, G., Chowriappa, A., Srimathveeravalli, G., Seixas-Mikelus, S., Chandrasekhar, R., Wilding, G. & Guru, K., 2011, Medicine Meets Virtual Reality 18: NextMed, MMVR18. IOS Press, p. 274-276 3 p. (Studies in Health Technology and Informatics; vol. 163).

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

• Validation of winds from the High-Resolution Doppler Imager on the Upper Atmosphere Research Satellite (UARS)

  Burrage, M. D., Skinner, W. R., Marshall, A. R., Hays, P. B., Lieberman, R. S., Franke, S. J., Gell, D. A., Ortland, D. A., Schmidlin, F. J., Vincent, R. A. & Wu, D. L., 1994, Proceedings of SPIE - The International Society for Optical Engineering. Society of Photo-Optical Instrumentation Engineers, p. 294-306 13 p. (Proceedings of SPIE - The International Society for Optical Engineering; vol. 2266).

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

• Validity of a fully coherent field model for in-line x-ray phase imaging

  Zysk, A. M., Wernick, M. N. & Anastasio, M. A., 2008, Developments in X-Ray Tomography VI. 70781A. (Proceedings of SPIE - The International Society for Optical Engineering; vol. 7078).

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

• VAlloy – Virtual functions meet a relational language

  Marinov, D. & Khurshid, S., 2002, FME 2002: Formal Methods - Getting IT Right - International Symposium of Formal Methods Europe, Proceedings. Eriksson, L-H. & Lindsay, P. A. (eds.). Springer, p. 234-251 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2391).

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

• Valuation of reserve services

  Ruiz, P. A. & Sauer, P. W., Sep 16 2008, Proceedings of the 41st Annual Hawaii International Conference on System Sciences 2008, HICSS. 4438884. (Proceedings of the Annual Hawaii International Conference on System Sciences).

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

• Value chain creation through digital innovation: The ebb and flow of communality and connectivity in a networked interorganizational system

  Guth, K. & Poole, M. S., Mar 26 2015, Proceedings of the 48th Annual Hawaii International Conference on System Sciences, HICSS 2015. Bui, T. X. & Sprague, R. H. (eds.). IEEE Computer Society, p. 4191-4200 10 p. 7070321. (Proceedings of the Annual Hawaii International Conference on System Sciences; vol. 2015-March).

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

• Value of bootstrapping staged deployment of infrastructure: Case study in space infrastructure deployment

  Ho, K., Chen, H. & Kim, H. H. M., 2017, 22nd Design for Manufacturing and the Life Cycle Conference; 11th International Conference on Micro- and Nanosystems. American Society of Mechanical Engineers (ASME), (Proceedings of the ASME Design Engineering Technical Conference; vol. 4).

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

• Value of continuous monitoring systems in recurrent decision scenarios

  Liu, X. & Wang, P., 2020, Proceedings of the 2020 IISE Annual Conference. Cromarty, L., Shirwaiker, R. & Wang, P. (eds.). Institute of Industrial and Systems Engineers, IISE, p. 1509-1514 6 p. (Proceedings of the 2020 IISE Annual Conference).

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

• Value of demand response in the smart grid

  Zhu, Q., Sauer, P. & Başar, T., 2013, 2013 IEEE Power and Energy Conference at Illinois, PECI 2013. p. 76-82 7 p. 6506038. (2013 IEEE Power and Energy Conference at Illinois, PECI 2013).

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

• Value of Information analysis for degrading engineering systems

  Giordano, P. F., Limongelli, M. P., Iannacone, L. & Gardoni, P., 2020, Life-Cycle Civil Engineering: Innovation, Theory and Practice - Proceedings of the 7th International Symposium on Life-Cycle Civil Engineering, IALCCE 2020. Chen, A., Ruan, X. & Frangopol, D. M. (eds.). CRC Press/Balkema, p. 671-678 8 p. (Life-Cycle Civil Engineering: Innovation, Theory and Practice - Proceedings of the 7th International Symposium on Life-Cycle Civil Engineering, IALCCE 2020).

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

• Value-of-information aware active task assignment

  Mu, B., Chowdhary, G. & How, J. P., 2013, AIAA Guidance, Navigation, and Control (GNC) Conference. American Institute of Aeronautics and Astronautics Inc., (AIAA Guidance, Navigation, and Control (GNC) Conference).

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

• Value-of-information aware active task assignment

  Mu, B., Chowdhary, G. & How, J. P., 2013, Algorithms for Synthetic Aperture Radar Imagery XX. 87460P. (Proceedings of SPIE - The International Society for Optical Engineering; vol. 8746).

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

• Value of information for continuous monitoring systems in recurrent maintenance decision scenarios

  Liu, X. & Wang, P., 2021, 47th Design Automation Conference (DAC). American Society of Mechanical Engineers (ASME), V03AT03A040. (Proceedings of the ASME Design Engineering Technical Conference; vol. 3A-2021).

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

• Value of reservoir storage for resilient power plant cooling and basin-wide water availability

  Stillwell, A. S. & Webber, M. E., 2012, ASME 2012 International Mechanical Engineering Congress and Exposition, IMECE 2012. PARTS A AND B ed. p. 737-742 6 p. (ASME International Mechanical Engineering Congress and Exposition, Proceedings (IMECE); vol. 6, no. PARTS A AND B).

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

• Value-sensitive construction: Value discovery in building projects

  Jahani, H. & El-Gohary, N., Sep 19 2012, Construction Research Congress 2012: Construction Challenges in a Flat World, Proceedings of the 2012 Construction Research Congress. p. 797-807 11 p. (Construction Research Congress 2012: Construction Challenges in a Flat World, Proceedings of the 2012 Construction Research Congress).

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

• Valve: Securing Function Workflows on Serverless Computing Platforms

  Datta, P., Kumar, P., Morris, T., Grace, M., Rahmati, A. & Bates, A., Apr 20 2020, The Web Conference 2020 - Proceedings of the World Wide Web Conference, WWW 2020. Association for Computing Machinery, p. 939-950 12 p. (The Web Conference 2020 - Proceedings of the World Wide Web Conference, WWW 2020).

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

• VAMOS: A SmallSat mission concept for remote sensing of Venusian seismic activity from orbit

  Sutin, B. M., Cutts, J., Didion, A. M., Drilleau, M., Grawe, M., Helbert, J., Karp, A., Kenda, B., Komjathy, A., Krishnamoorthy, S., Lantoine, G., Lognonné, P., Makela, J. J., Nakazono, B., Rud, M. & Wallace, M., 2018, Space Telescopes and Instrumentation 2018: Optical, Infrared, and Millimeter Wave. Fazio, G. G., MacEwen, H. A. & Lystrup, M. (eds.). SPIE, 106985T. (Proceedings of SPIE - The International Society for Optical Engineering; vol. 10698).

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

• Vapor compression cycles: Control-oriented modeling and validation

  Eldredge, B. D., Rasmussen, B. P. & Alleyne, A. G., 2005, Proceedings of the ASME Dynamic Systems and Control Division 2005. 2 PART B ed. p. 1213-1222 10 p. (American Society of Mechanical Engineers, Dynamic Systems and Control Division (Publication) DSC; vol. 74 DSC, no. 2 PART B).

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

• Vapor feed direct methanol fuel cell with flowing electrolyte

  Brushett, F. R., Mitchell, M., Jayashree, R. S., Zhou, W. P. & Kenis, P. J. A., 2007, ECS Transactions - 7th Symposium Devoted to Proton Exchange Membrane Fuel Cells. 1 PART 2 ed. p. 1419-1424 6 p. (ECS Transactions; vol. 11, no. 1 PART 2).

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

• Vapor phase synthesis and consolidation of nanophase oxides

  Skandan, G., Glumac, N., Chen, Y., Lin, J. J., Rittmann, R. & Kear, B. H., 1996, Synthesis and Processing of Nanocrystalline Powder. Lin, R. Y., Chang, Y. A., Reddy, R. G. & Liu, C. T. (eds.). p. 81-87 7 p. (TMS Annual Meeting).

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

• Variability and component criticality in component reuse and remanufcturing systems

  Pandey, V. & Thurston, D., 2008, 2007 Proceedings of the ASME International Design Engineering Technical Conferences and Computers and Information in Engineering Conference, DETC2007. p. 953-961 9 p. (2007 Proceedings of the ASME International Design Engineering Technical Conferences and Computers and Information in Engineering Conference, DETC2007; vol. 4).

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

• Variability and the Locational Marginal Value of Energy Storage

  Bose, S. & Bitar, E., 2014, 53rd IEEE Conference on Decision and Control,CDC 2014. February ed. Institute of Electrical and Electronics Engineers Inc., p. 3259-3265 7 p. 7039893. (Proceedings of the IEEE Conference on Decision and Control; vol. 2015-February, no. February).

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

• Variability of graphene mobility and contacts: Surface effects, doping and strain

  Carrion, E. A., Wood, J. D., Behman, A., Tung, M., Lyding, J. W. & Pop, E., 2014, 72nd Device Research Conference, DRC 2014 - Conference Digest. Institute of Electrical and Electronics Engineers Inc., p. 199-200 2 p. 6872366. (Device Research Conference - Conference Digest, DRC).

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

• Variable angle-of-attack profile entry guidance for a crewed lifting body

  Putnam, Z. R., Grant, M. J., Kelly, J. R., Braun, R. D. & Krevor, Z. C., 2013, 51st AIAA Aerospace Sciences Meeting including the New Horizons Forum and Aerospace Exposition 2013. American Institute of Aeronautics and Astronautics Inc., (51st AIAA Aerospace Sciences Meeting including the New Horizons Forum and Aerospace Exposition 2013).

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

• Variable fidelity modeling in closed loop dynamical systems

  Williams, M. A. & Alleyne, A. G., 2014, Industrial Applications; Modeling for Oil and Gas, Control and Validation, Estimation, and Control of Automotive Systems; Multi-Agent and Networked Systems; Control System Design; Physical Human-Robot Interaction; Rehabilitation Robotics; Sensing and Actuation for Control; Biomedical Systems; Time Delay Systems and Stability; Unmanned Ground and Surface Robotics; Vehicle Motion Controls; Vibration Analysis and Isolation; Vibration and Control for Energy Harvesting; Wind Energy. American Society of Mechanical Engineers, (ASME 2014 Dynamic Systems and Control Conference, DSCC 2014; vol. 3).

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

• Variable module graphs: A framework for inference and learning in modular vision systems

  Sethi, A., Rahurkar, M. & Huang, T. S., 2005, IEEE International Conference on Image Processing 2005, ICIP 2005. IEEE Computer Society, p. 1323-1326 4 p. 1530308. (Proceedings - International Conference on Image Processing, ICIP; vol. 2).

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

• Variable modulus materials based upon F2MC reinforced shape memory polymers

  Philen, M., Phillips, D. & Baur, J., 2009, 50th AIAA/ASME/ASCE/AHS/ASC Structures, Structural Dynamics and Materials Conference. 2009-2116. (Collection of Technical Papers - AIAA/ASME/ASCE/AHS/ASC Structures, Structural Dynamics and Materials Conference).

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

• Variable-pole induction machine drive for electric vehicles

  Libbos, E., Ku, B., Agrawal, S., Tungare, S., Banerjee, A. & Krein, P. T., May 2019, 2019 IEEE International Electric Machines and Drives Conference, IEMDC 2019. Institute of Electrical and Electronics Engineers Inc., p. 515-522 8 p. 8785212. (2019 IEEE International Electric Machines and Drives Conference, IEMDC 2019).

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

• Variable selection for ad prediction

  Bhat, S. P. & Church, K., 2008, Proceedings of the 2nd International Workshop on Data Mining and Audience Intelligence for Advertising, ADKDD'08. p. 45-49 5 p. (Proceedings of the 2nd International Workshop on Data Mining and Audience Intelligence for Advertising, ADKDD'08).

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

• Variable selection in heterogeneous datasets: A truncated-rank sparse linear mixed model with applications to genome-wide association studies

  Wang, H., Aragam, B. & Xing, E. P., Dec 15 2017, Proceedings - 2017 IEEE International Conference on Bioinformatics and Biomedicine, BIBM 2017. Yoo, I., Zheng, J. H., Gong, Y., Hu, X. T., Shyu, C-R., Bromberg, Y., Gao, J. & Korkin, D. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 431-438 8 p.

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

• Variable-topology shape optimization with a control on perimeter

  Haber, R. B., Jog, C. S. & Bendsee, M. P., 1994, 20th Design Automation Conference: Volume 2 - Robust Design Applications; Decomposition and Design Optimization; Optimization Tools and Applications. American Society of Mechanical Engineers (ASME), p. 261-272 12 p. 0136. (Proceedings of the ASME Design Engineering Technical Conference; vol. Part F167892-7).

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

• Variance-Based Sensitivity Analysis of Λ-type Quantum Memory

  Shinbrough, K. & Lorenz, V. O., 2022, 2022 Conference on Lasers and Electro-Optics, CLEO 2022 - Proceedings. Institute of Electrical and Electronics Engineers Inc., JTu3A.7. (2022 Conference on Lasers and Electro-Optics, CLEO 2022 - Proceedings).

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

• Variance-reduced model predictive control of Markov jump processes

  Maginnis, P. A., West, M. & Dullerud, G. E., Jul 28 2016, 2016 American Control Conference, ACC 2016. Institute of Electrical and Electronics Engineers Inc., p. 5376-5380 5 p. 7526512. (Proceedings of the American Control Conference; vol. 2016-July).

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

• Variant-based decidable satisfiability in initial algebras with predicates

  Gutiérrez, R. & Meseguer, J., 2018, Logic-Based Program Synthesis and Transformation - 27th International Symposium, LOPSTR 2017, Revised Selected Papers. Fioravanti, F. & Gallagher, J. P. (eds.). Springer, p. 306-322 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10855 LNCS).

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

• Variant-based satisfiability in initial algebras

  Meseguer, J., 2016, Formal Techniques for Safety-Critical Systems - 4th International Workshop, FTSCS 2015, Revised Selected Papers. Ölveczky, P. C. & Artho, C. (eds.). Springer, p. 3-34 32 p. (Communications in Computer and Information Science; vol. 596).

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

• Variants, unification, narrowing, and symbolic reachability in Maude 2.6

  Durán, F., Eker, S., Escobar, S., Meseguer, J. & Talcott, C., 2011, 22nd International Conference on Rewriting Techniques and Applications, RTA 2011. p. 31-40 10 p. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 10).

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

• Variant Satisfiability of Parameterized Strings

  Meseguer, J., 2020, Rewriting Logic and Its Applications - 13th International Workshop, WRLA 2020, Revised Selected Papers. Escobar, S. & Martí-Oliet, N. (eds.). Springer, p. 96-113 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12328 LNCS).

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

• Variants in the Infinitary Unification Wonderland

  Meseguer, J., 2020, Rewriting Logic and Its Applications - 13th International Workshop, WRLA 2020, Revised Selected Papers. Escobar, S. & Martí-Oliet, N. (eds.). Springer, p. 75-95 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12328 LNCS).

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

• Variation, aspectual interpretation and phase verbs

  MacDonald, J. E., 2010, Novi Sad Generative syntax Workshop Proceedings.

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

• Variational formulation for frictional interface dynamics

  Truster, T., Masud, A. & Bergman, L. A., 2012, ASME 2012 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference, IDETC/CIE 2012. PARTS A AND B ed. p. 437-439 3 p. (Proceedings of the ASME Design Engineering Technical Conference; vol. 1, no. PARTS A AND B).

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