Siebel School of Computing and Data Science

Filter
Chapter

Search results

  • 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

  • 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

  • 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

  • 2023

    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

  • 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

  • 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

    Open Access

  • 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

  • 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

  • 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

  • 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).

    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

  • 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

    Open Access

  • 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

  • Understanding the Patient, Wellness, and Caregiving Work of Older Adults

    Wooldridge, A. & Rogers, W., Apr 2021, The Patient Factor: A Handbook on Patient Ergonomics. Valdez, R. S. & Holden, R. J. (eds.). CRC Press

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

  • 2020

    Automatic Prosody Labelling and Assessment

    Rosenberg, A. & Hasegawa-Johnson, M., Dec 2020, The Oxford Handbook of Language Prosody. Gussenhoven, C. & Chen, A. (eds.). Oxford University Press, p. 646-656 11 p.

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

  • Beyond Acceptance: A New Model for Technology Engagement in 21st Century Learning

    Bulut, I. H., Delialioğlu, Ö. & Lane, H. C., 2020, Handbook of Research on Digital Learning. Montebello, M. (ed.). IGI Global, p. 262-283

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

  • Communication improves when human or computer listeners adapt to dysarthria

    Kim, H. & Hasegawa-Johnson, M., Aug 10 2020, Acoustic Analysis of Pathologies: From Infancy to Young Adulthood. Neustein, A. & Patil, H. A. (eds.). De Gruyter, p. 181-198 18 p. (Speech Technology and Text Mining in Medicine and Health Care; vol. 7).

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

  • Construction Progress Monitoring Using Cyber-Physical Systems

    Lin, J. J. & Golparvar-Fard, M., Jan 1 2020, Cyber-Physical Systems in the Built Environment. Springer, p. 63-87 25 p.

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

  • Modelchecking Safety Properties in Randomized Security Protocols

    Bauer, M. S., Chadha, R. & Viswanathan, M., 2020, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer, p. 167-183 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12300 LNCS).

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

  • Programming Unreliable Hardware

    Carbin, M. & Misailovic, S., Jan 1 2020, Foundations of Probabilistic Programming. Cambridge University Press, p. 533-568 36 p.

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

    Open Access
  • 2019

    CyberGIS for Transforming Geospatial Discovery and Innovation

    Wang, S. & Goodchild, M. F., 2019, CyberGIS for Transforming Geospatial Discovery and Innovation. Wang, S. & Goodchild, M. F. (eds.). Springer, p. 3-10 (GeoJournal Library; vol. 118).

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

  • Cybersecurity Ethics

    Blanken-Webb, J., Palmer, I., Campbell, R., Burbules, N. C. & Bashir, M. N., 2019, Foundations of Information Ethics. Burgess, J. T. F. & Knox, E. J. M. (eds.). ALA Neal-Schuman

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

  • Divide-and-Conquer Tree Estimation: Opportunities and Challenges

    Warnow, T., Apr 9 2019, Bioinformatics and Phylogenetics: Seminal Contributions of Bernard Moret. Warnow, T. (ed.). Springer, p. 121-150 (Computational Biology; vol. 29).

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

  • New Programming Paradigms

    Shapiro, R. B. & Tissenbaum, M., Feb 21 2019, The Cambridge Handbook of Computing Education Research. Fincher, S. A. & Robins, A. V. (eds.). Cambridge University Press, p. 606-636 31 p.

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

  • Permissioned and permissionless blockchains

    Miller, A., Mar 15 2019, Blockchain for Distributed Systems Security. Wiley, p. 193-203 11 p.

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

  • Runtime verification past experiences and future projections

    Havelund, K., Reger, G. & Roşu, G., 2019, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer, p. 532-562 31 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10000).

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

    Open Access

  • Sociogenomics

    Grozinger, C. M. & Robinson, G. E., Jan 1 2019, Encyclopedia of Animal Behavior, Second Edition: Volume 1-5. Elsevier, Vol. 4. p. V4-257-V4-261

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

  • Towards adaptive mesh refinement for the spectral element solver Nek5000

    Offermans, N., Peplinski, A., Marin, O., Fischer, P. F. & Schlatter, P., 2019, ERCOFTAC Series. Springer, p. 9-15 7 p. (ERCOFTAC Series; vol. 25).

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

  • Types for progress in actor programs

    Charalambides, M., Palmskog, K. & Agha, G., 2019, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer, p. 315-339 25 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11665 LNCS).

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

    Open Access
  • 2018

    Aided optimal search: Data-driven target pursuit from on-demand delayed binary observations

    Carlone, L., Axelrod, A., Karaman, S. & Chowdhary, G., Nov 13 2018, Handbook of Dynamic Data Driven Applications Systems. Springer, p. 295-335 41 p.

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

  • Computational methods for socio-computer interaction

    Fu, W. T., Gao, M. & Do, H. J., Mar 22 2018, Computational Interaction. Oxford University Press, p. 399-419 21 p.

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