Skip navigation
DataSpace
About
Contact
Help
Search
Explore
All Communities & Collections
Astrophysical Sciences
Chemical and Biological Engineering
Chemistry
Civil and Environmental Engineering
Computational Social Science
Department of Geosciences
Department of Slavic Languages and Literatures
Digital Humanities
Economics
Education Research Section
Electrical and Computer Engineering
Faculty Publications
Geophysical Fluid Dynamics Laboratory
Industrial Relations Section
Lewis-Sigler Institute for Integrative Genomics
Liechtenstein Institute on Self-Determination
Mechanical and Aerospace Engineering
Molecular Biology
Music and Arts
Office of Information Technology
Physics
Princeton Neuroscience Institute
Princeton Plasma Physics Laboratory
Princeton School of Public and International Affairs
Princeton University Doctoral Dissertations, 2011-2024
Princeton University Library
Princeton University Masters Theses, 2022-2024
Princeton University Undergraduate Senior Theses, 1924-2023
Psychology
Seeger Center for Hellenic Studies
Sociology
Login
My DataSpace
Princeton University Doctoral Dissertations, 2011-2024
Computer Science
Search
Search:
All of DataSpace
Princeton University Doctoral Dissertations, 2011-2024
Computer Science
for
Reset
Add filters:
Use filters to refine the search results.
Title
Author
Subject
Date Issued
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Results 121-130 of 235
previous
1
...
10
11
12
13
14
15
16
...
24
next
Item hits:
Issue Date
Title
Author(s)
2022
Scaling Automatic Modular Verification
Pick, Lauren
2022
The Nonstochastic Control Problem
Singh, Karan
2022
Generalization of Deep Neural Networks in Supervised Learning, Generative Modeling, and Adaptive Data Analysis
Zhang, Yi
2021
CRYPTOGRAPHY IN THE AGE OF QUANTUM COMPUTERS 2.0
Liu, Qipeng
2020
Data-Driven Approaches and Systems to Interrogate Complex Disease
Dannenfelser, Ruth
2024
Navigating Emerging Complexities of Modern Systems: Advancements in Automated Verification and Security Techniques
Hossain, Naorin
2024
Modular Control Plane Verification
Alberdingk Thijm, Timothy Robin
2024
Systematic analysis of cellular and immune system responses for therapy development
Wang, Yuan
2024
Holistic Consistency Models for Faster Applications and Systems
Helt, Jeffrey
2024
Understanding the Role of Data in Model Decisions
Gupta, Arushi
Discover
Author
1
Agarwal, Naman
1
Alberdingk Thijm, Timothy Robin
1
Ali, Muneeb
1
Aluru, Chaitanya
1
Amos, Ryan
1
Apostolakis, Sotirios
1
Apthorpe, Noah
1
Arye, Matvey
1
Ash, Jordan
1
Ashwood, Zoe
.
next >
Subject
216
Computer science
27
Artificial intelligence
15
Bioinformatics
13
Computer engineering
13
Machine Learning
11
machine learning
10
Statistics
7
Deep Learning
7
Mathematics
6
Neurosciences
.
next >
Date issued
102
2020 - 2024
133
2011 - 2019