Siebel School of Computing and Data Science

Filter
Chapter

Search results

  • 2025

    Formal Verification Techniques for Vision-Based Autonomous Systems – A Survey

    Mitra, S., Păsăreanu, C., Prabhakar, P., Seshia, S. A., Mangal, R., Li, Y., Watson, C., Gopinath, D. & Yu, H., 2025, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer, p. 89-108 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 15262 LNCS).

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

  • Oblivious RAM-Based Secure Processors

    Ren, L., Jan 1 2025, Encyclopedia of Cryptography, Security and Privacy, Third Edition. Springer, p. 1724-1727 4 p.

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

  • SmartBook: AI-Assisted Situation Report Generation for Intelligence Analysts

    Gangi Reddy, R., Lee, D., Fung, Y. R., Duy Nguyen, K., Zeng, Q., Li, M., Wang, Z., Voss, C. & Ji, H., Mar 17 2025, Handbook on Neurosymbolic AI and Knowledge Graphs. Hitzler, P., Dalal, A., Mahdavinejad, M. S. & Norouzi, S. S. (eds.). IOS Press, p. 872-899 (Frontiers in Artificial Intelligence and Applications; vol. 400).

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

  • 2024

    Analyzing the Work System Elements Impacting Burnout of Health Care Professionals in a COVID-19 Testing Laboratory

    Carvalho Manhães Leite, C., Chronopoulou, A. & Wooldridge, A. R., 2024, Convergence: Breaking Down Barriers Between Disciplines: Proceedings of the International Conference on Healthcare Systems Ergonomics and Patient Safety, HEPS2022. Melles, M., Albayrak, A. & Goossens, R. H. M. (eds.). Springer, p. 289-300 12 p. (Springer Series in Design and Innovation; vol. 30).

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

  • Emotion Recognition in Self-Regulated Learning: Advancing Metacognition Through AI-Assisted Reflections

    Chen, S., Cheng, H. & Huang, Y., Sep 28 2024, Trust and Inclusion in AI-Mediated Education: Where Human Learning Meets Learning Machines. Kourkoulou, D., Tzirides, A. O., Cope, B. & Kalantzis, M. (eds.). Springer, p. 185-212 28 p. (Postdigital Science and Education; vol. Part F3835).

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

  • General-purpose multicore architectures

    Ghose, S., Dec 20 2024, Handbook of Computer Architecture. Springer Nature, Vol. 1. p. 595-643 49 p.

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

  • Impact of Steinmetz’ Synchronization Work on Multimedia Community

    Nahrstedt, K., Sep 2024, From Multimedia Communications to the Future Internet: Essays Dedicated to Ralf Steinmetz on the Occasion of His Retirement. Schulte, S. & Koldehofe, B. (eds.). Springer, p. 20-30 11 p. (Lecture Notes in Computer Science; vol. 15200).

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

  • Professional Differences in Use and Perceptions of an Augmented Reality Code Cart Application

    Wooldridge, A., Morgan, J., Ramadhani, W., Hanson, K., Vazquez-Melendez, E., Kendhari, H., Shaikh, N., Riech, T., Mischler, M., Krzyzaniak, S., Barton, G., Formella, K., Abbott, Z., Farmer, J., Ebert-Allen, R. & Croland, T., 2024, Convergence: Breaking Down Barriers Between Disciplines: Proceedings of the International Conference on Healthcare Systems Ergonomics and Patient Safety, HEPS2022. Melles, M., Albayrak, A. & Goossens, R. H. M. (eds.). Springer, p. 333-340 8 p. (Springer Series in Design and Innovation; vol. 30).

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

  • Progress on Constructing Phylogenetic Networks for Languages

    Warnow, T., Evans, S. N. & Nakhleh, L., Jan 1 2024, The Method Works: Studies on Language Change in Honor of Don Ringe. Springer, p. 45-62 18 p.

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

  • Representation Learning for Dynamic 3D Scenes

    Li, Y. & Wu, J., Sep 2024, Deep Learning for 3D Vision: Algorithms and Applications. Li, X., Yang, X. & Su, H. (eds.). World Scientific, p. 91-158 68 p.

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

  • Resilient Estimation and Safe Planning for UAVs in GPS-Denied Environments

    Wan, W., Kim, H., Hovakimyan, N., Voulgaris, P. & Sha, L. R., 2024, Advances in Industrial Control. Springer, p. 167-193 27 p. (Advances in Industrial Control; vol. Part F1768).

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

  • Structural characterization of lateral phase separation in polymer–lipid hybrid membranes

    Kambar, N., Go, Y. K., Snyder, C., Do, M. N. & Leal, C., Jan 2024, Biophysical Approaches for the Study of Membrane Structure - Part A: Experimental. Academic Press Inc., p. 235-273 39 p. (Methods in Enzymology; vol. 700).

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

  • 2023

    Compilation and Optimizations for Efficient Machine Learning on Embedded Systems

    Zhang, X., Chen, Y., Hao, C., Huang, S., Li, Y. & Chen, D., Jan 1 2023, Embedded Machine Learning for Cyber-Physical, IoT, and Edge Computing: Software Optimizations and Hardware/Software Codesign. Springer, p. 37-74 38 p.

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

  • Criticality-based data segmentation and resource allocation in machine inference pipelines

    Liu, S., Sha, L. & Abdelzaher, T., Dec 21 2023, Artificial Intelligence for Edge Computing. Springer, p. 335-352 18 p.

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

  • Explaining deep learning based security applications

    Guo, W., Xu, J., Wang, G. & Xing, X., Dec 12 2023, AI Embedded Assurance for Cyber Systems. Springer, p. 219-246 28 p.

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

  • Gödel, Escher, Bell: Contextual Semantics of Logical Paradoxes

    Kishida, K., 2023, Outstanding Contributions to Logic. Springer, p. 531-572 42 p. (Outstanding Contributions to Logic; vol. 25).

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

  • Large-Scale Species Tree Estimation

    Molloy, E. & Warnow, T., Jan 1 2023, Species Tree Inference: A Guide to Methods and Applications. Princeton University Press, p. 19-42 24 p.

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

  • Model compression for edge computing

    Yao, S. & Abdelzaher, T., Dec 21 2023, Artificial Intelligence for Edge Computing. Springer, p. 153-195 43 p.

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

  • Neural network models for time series data

    Yao, S. & Abdelzaher, T., Dec 21 2023, Artificial Intelligence for Edge Computing. Springer, p. 3-25 23 p.

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

  • Optimizing Maude Programs via Program Specialization

    Alpuente, M., Ballis, D., Escobar, S., Meseguer, J. & Sapiña, J., 2023, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer, p. 21-50 30 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13160 LNCS).

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

  • Predicting ICU Admissions for Hospitalized COVID-19 Patients with a Factor Graph-based Model

    Cao, Y., Cao, P., Chen, H., Kochendorfer, K. M., Trotter, A. B., Galanter, W. L., Arnold, P. M. & Iyer, R. K., 2023, Studies in Computational Intelligence. Springer, p. 245-256 12 p. (Studies in Computational Intelligence; vol. 1060).

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

  • Reframing ephemera: digitisation, community music-making, and archival value(s): digitisation, community music-making, and archival value(s)

    Armstrong, C., Cowgill, R., Dix, A., Bashford, C., Ridgewell, R., Reagan, M., Twidale, M. & Downie, J. S., Feb 24 2023, Digital Approaches to Inclusion and Participation in Cultural Heritage: Insights from Research and Practice in Europe. Giglitto, D., Ciolfi, L., Lockley, E. & Kaldeli, E. (eds.). Routledge, p. 160-180 21 p.

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

  • Remove to improve? Understanding CNN by pruning

    Abdiyeva, K., Lukac, M. & Ahuja, N., Jan 1 2023, Explainable Deep Learning AI: Methods and Challenges. Elsevier, p. 147-171 25 p.

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

  • Self-supervised learning from unlabeled IoT data

    Liu, D. & Abdelzaher, T., Dec 21 2023, Artificial Intelligence for Edge Computing. Springer, p. 27-110 84 p.

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

  • Strand Spaces with Choice via a Process Algebra Semantics

    Yang, F., Escobar, S., Meadows, C., Meseguer, J. & Santiago, S., 2023, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer, p. 307-350 44 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13160 LNCS).

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

  • The great challenges and opportunities of the next 20 years

    Rodrigo, M. M. T., Vassileva, J., Lane, H. C., Brusilovsky, P., Sosnovsky, S., Biswas, G., Lester, J. C., Mizoguchi, R., Prihar, E., Heffernan, N., Mostow, J., Frasson, C. & Dmitrova, V., Apr 21 2023, Handbook of Artificial Intelligence in Education. du Boulay, B., Mitrovic, A. & Yacef, K. (eds.). Edward Elgar Publishing, p. 606 - 649 44 p. (Elgar Handbooks in Education).

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

  • 2022

    Accessible privacy

    Wang, Y. & Price, C. E., Feb 9 2022, Modern Socio-Technical Perspectives on Privacy. Springer, p. 293-313 21 p.

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

    Open Access

  • Accuracy-Aware Compilers

    Misailovic, S., Jan 1 2022, Approximate Computing Techniques: From Component- to Application-Level. Springer, p. 177-214 38 p.

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

  • Aided Optimal Search: Data-Driven Target Pursuit from On-Demand Delayed Binary Observations

    Carlone, L., Axelrod, A., Karaman, S. & Chowdhary, G., Jan 1 2022, Handbook of Dynamic Data Driven Applications Systems: Volume 1: Second Edition. Springer, Vol. 1. p. 303-343 41 p.

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

  • Classifying COVID-19 Variants Based on Genetic Sequences Using Deep Learning Models

    Basu, S. & Campbell, R. H., Jul 2022, System Dependability and Analytics: Approaching System Dependability from Data, System and Analytics Perspectives. Wang, L., Pattabiraman, K., Di Martino, C., Athreya, A. & Bagchi, S. (eds.). Springer, p. 347-360 14 p. (Springer Series in Reliability Engineering).

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

  • CyberGIS and Geospatial Data Science for Advancing Geomorphology

    Wang, S., Bishop, M. P., Zhang, Z., Young, B. W. & Xu, Z., Jan 1 2022, Treatise on Geomorphology. Elsevier, p. 238-259 22 p.

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

  • Data-Driven Prediction of Confidence for EVAR in Time-Varying Datasets

    Axelrod, A., Carlone, L., Chowdhary, G. & Karaman, S., Jan 1 2022, Handbook of Dynamic Data Driven Applications Systems: Volume 1: Second Edition. Springer, Vol. 1. p. 389-412 24 p.

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

  • High-Level Synthesis for Minimizing Power Side-Channel Information Leakage

    Choden Konigsmark, S. T., Ren, W., Wong, M. D. F. & Chen, D., Jan 1 2022, Behavioral Synthesis for Hardware Security. Springer, p. 291-317 27 p.

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

  • Information-Theoretic Approaches to Blockchain Scalability

    Raman, R. K. & Varshney, L. R., 2022, Springer Optimization and Its Applications. Springer, p. 257-296 40 p. (Springer Optimization and Its Applications; vol. 194).

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

  • Internet of Battlefield Things: Challenges, Opportunities, and Emerging Directions

    Wigness, M., Abdelzaher, T., Russell, S. & Swami, A., Jan 1 2022, IoT for Defense and National Security. Wiley, p. 5-22 18 p.

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

  • Maps of Medical Reason: Applying Knowledge Graphs and Artificial Intelligence in Medical Education and Practice

    Cope, B., Kalantzis, M., Zhai, C., Krussel, A., Searsmith, D., Ferguson, D., Tapping, R. & Berrocal, Y., 2022, Bioinformational Philosophy and Postdigital Knowledge Ecologies. Peters, M. A., Jandrić, P. & Hayes, S. (eds.). Springer, p. 133-159 27 p. (Postdigital Science and Education (Netherlands); vol. Part F3827).

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

  • Pedagogical Agents

    Lane, H. C. & Schroeder, N. L., Oct 2022, The Handbook on Socially Interactive Agents: 20 years of Research on Embodied Conversational Agents, Intelligent Virtual Agents, and Social Robotics: Volume 2: Interactivity, Platforms, Application. Lugrin, B., Pelachaud, C. & Traum, D. (eds.). Association for Computing Machinery, p. 307-330 24 p.

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

  • Spatial Thinking of Computational Intensity in the Era of CyberGIS

    Wang, S., Jan 1 2022, New Thinking in GIScience. Springer, p. 143-149 7 p.

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

  • The NASA harvest program on agriculture and food security

    Becker-Reshef, I., Bandaru, V., Barker, B., Coutu, S., Deines, J. M., Doorn, B., Eilerts, G., Franch, B., Galvez, A. S., Hosseini, M., Humber, M., Husak, G., Guan, K., Justice, C., Keniston, J., Kerner, H., Mitkish, M., Mobley, K., Munshell, B. & Nakalembe, C. & 8 others, Puricelli, E., Sahajpal, R., Skakun, S., Vermote, E., Whitcraft, A., Hansen, M., Salas, B. & Justice, C., Mar 28 2022, Remote Sensing of Agriculture and Land Cover/Land Use Changes in South and Southeast Asian Countries. Springer, p. 53-80 28 p.

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

  • 2021

    Data Mining and Knowledge Discovery

    Zhang, C. & Han, J., 2021, Urban Book Series. Springer, p. 797-814 18 p. (Urban Book Series).

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

    Open Access

  • Information Requirements of Collision-Based Micromanipulation

    Nilles, A. Q., Pervan, A., Berrueta, T. A., Murphey, T. D. & LaValle, S. M., 2021, Springer Proceedings in Advanced Robotics. Springer, p. 210-226 17 p. (Springer Proceedings in Advanced Robotics; vol. 17).

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

  • Information-Theoretic Stability and Generalization

    Raginsky, M., Rakhlin, A. & Xu, A., Jan 1 2021, Information-Theoretic Methods in Data Science. Cambridge University Press, p. 302-329 28 p.

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

  • Integrating CyberGIS and Urban Sensing for Reproducible Streaming Analytics

    Wang, S., Lyu, F., Wang, S., Catlett, C. E., Padmanabhan, A. & Soltani, K., 2021, Urban Informatics. Shi, W., Goodchild, M., Batty, M., Kwan, M.-P. & Zhang, A. (eds.). Springer, p. 663-681 19 p. (The Urban Book Series).

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

    Open Access

  • Machine Learning in the Hands of a Malicious Adversary: A Near Future If Not Reality

    Chung, K., Li, X., Tang, P., Zhu, Z., Kalbarczyk, Z. T., Kesavadas, T. & Iyer, R. K., Jun 16 2021, Game Theory and Machine Learning for Cyber Security. Kamhoua, C. A., Kiekintveld, C. D., Fang, F. & Zhu, Q. (eds.). Wiley-IEEE Press, p. 289-316 28 p.

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

  • Multiple Sequence Alignment for Large Heterogeneous Datasets Using SATé, PASTA, and UPP

    Warnow, T. & Mirarab, S., 2021, Methods in Molecular Biology. Humana Press Inc., p. 99-119 21 p. (Methods in Molecular Biology; vol. 2231).

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

  • Position Paper: Brain Signal-Based Dialogue Systems

    Scharenborg, O. & Hasegawa-Johnson, M., 2021, Lecture Notes in Electrical Engineering. Springer, p. 389-392 4 p. (Lecture Notes in Electrical Engineering; vol. 714).

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

  • Protocol Analysis with Time and Space

    Aparicio-Sánchez, D., Escobar, S., Meadows, C., Meseguer, J. & Sapiña, J., 2021, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer, p. 22-49 28 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13066 LNCS).

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

  • Revisiting Evaluation of Multiple Sequence Alignment Methods

    Warnow, T., 2021, Methods in Molecular Biology. Humana Press Inc., p. 299-317 19 p. (Methods in Molecular Biology; vol. 2231).

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

  • The K Vision for the Future of Programming Language Design and Analysis

    Chen, X. & Roşu, G., 2021, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer, p. 3-9 7 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13065 LNCS).

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

  • Understanding Collaborative Journalism with Digital Trace Data and Crowdsourced Databases

    Ng, Y. M. M., Jan 1 2021, Journalism Research that Matters. Bélair-Gagnon, V. & Usher, N. (eds.). Oxford University Press, p. 115-130 16 p.

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