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
Browsing by Subject Computer science
Jump to:
0-9
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
or enter first few letters:
Sort by:
title
issue date
author
submit date
In order:
Ascending
Descending
Results/Page
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Authors/Record:
All
1
5
10
15
20
25
30
35
40
45
50
Showing results 324 to 330 of 330
< previous
Issue Date
Title
Author(s)
2019
Verified Extraction for Coq
Savary Bélanger, Olivier
2020
Verified Optimizations for Functional Languages
Paraskevopoulou, Zoe
2015
Verified Separate Compilation for C
Stewart, James Gordon
2018
View and Path Planning for Scaling 3D Acquisition to Many Objects
Fan, Xinyi
2023
What In-Context Learning “Learns” In-Context: Disentangling Task Recognition and Task Learning
Pan, Jane
2018
Wide-area Software-defined Storage
Nelson, Jude Christopher
2012
Wide-Area Traffic Management for Cloud Services
Jiang, Wenjie