11. Analyzing and Securing Software via Robust and Generalizable Learning Pei, Kexin 2023 Theses Computer scienceComputer software--Security measuresComputer security--Computer programsDeep learning (Machine learning)Neural networks (Computer science)
12. Artificial Intelligence for Climate Change Mitigation Roadmap Sandalow, David B.; McCormick, Colin; Kucukelbir, Alp; Friedman, Julio; Nagrani, Trishna; Fan, Zhiyuan; Halff, Antoine M.; d'Aspremont, Alexandre; Glatt, Ruben; Méndez Leal, Elena; Karl, Kevin; Ruane, Alexander 2023 Reports Climatic changesClimatic changes--Government policyClimate change mitigationArtificial intelligenceGreenhouse gases
13. A Sparse Learning Approach for Linux Kernel Data Race Prediction Ryan, Gabriel 2023 Theses Computer scienceOperating systems (Computers)Fourier analysisThreads (Computer programs)Machine learningDebugging in computer science--Computer programsLinux
14. Bayesian Auction Design and Approximation Jin, Yaonan 2023 Theses Computer scienceEconomics--Mathematical modelsEconomics--Computer programsAuctions--Mathematical modelsPricing--Econometric modelsBayesian statistical decision theory--Mathematical modelsComputer algorithms
15. Complaint Driven Training Data Debugging for Machine Learning Workflows Flokas, Lampros 2023 Theses Computer scienceMachine learningDebugging in computer science--Computer programs
16. Computational Models of Argument Structure and Argument Quality for Understanding Misinformation Alhindi, Tariq 2023 Theses Artificial intelligenceMachine learning--Industrial applicationsDisinformationMisinformationTruthfulness and falsehood
17. Computer Vision-Powered Applications for Interpreting and Interacting with Movement Hindi, Basel 2023 Theses Computer visionAssistive computer technologyPeople with visual disabilitiesComputer science
18. Designing Exploratory Search Systems that Stimulate Memory and Reduce Cognitive Load Petridis, Savvas Dimitrios 2023 Theses Computer scienceArtificial intelligenceElectronic information resource searchingMemoryGraphic design (Typography)Journalists
19. Designing, Implementing and Programming a Massively Multithreaded Spatial Accelerator Architecture Repetti, Thomas James 2023 Theses Computer scienceComputer engineeringElectrical engineeringASICs (Integrated circuits)--Computer-aided design
20. Design Opportunities for Assistive and Social Technologies Situated in Space Teng, Yuanyang 2023 Theses BlindDeafblind people--Means of communicationSelf-help devices for people with disabilitiesUser-centered system designHuman-computer interactionQualitative research