Skip to main content

Search

Reset

Add filters:

Use filters to refine the search results.


Item hits:
Publication DateArticle TitleAuthor(s)
2015Kinetic: Verifiable Dynamic Network ControlKim, Hyojoon; Reich, Joshua; Gupta, Arpit; Shahbaz, Muhammad; Feamster, Nick, et al
2021Abstraction and subsumption in modular verification of C programsBeringer, Lennart; Appel, Andrew W
2020A Unified Framework of Surrogate Loss by Refactoring and InterpolationLiu, Lanlan; Wang, Mingzhe; Deng, Jia
2019A Theoretical Analysis of Contrastive Unsupervised Representation LearningSaunshi, Nikunj; Plevrakis, Orestis; Arora, Sanjeev; Khodak, Mikhail; Khandeparkar, Hrishikesh
2020A Differentiable Perceptual Audio Metric Learned from Just Noticeable DifferencesManocha, Pranay; Finkelstein, Adam; Zhang, Richard; Bryan, Nicholas J; Mysore, Gautham J, et al
8-Jul-2020The East Asian Subtropical Jet Stream and Atlantic Tropical CyclonesZhang, Wei; Villarini, Gabriele; Vecchi, Gabriel A
Aug-2014Infinite CacheFlow in software-defined networksKatta, Naga; Alipourfard, Omid; Rexford, Jennifer; Walker, David
Jul-2012Kant, Real Possibility, and the Threat of SpinozaChignell, Andrew
15-Sep-2019Moist Static Energy Budget Analysis of Tropical Cyclone Intensification in High-Resolution Climate ModelsWing, Allison A; Camargo, Suzana J; Sobel, Adam H; Kim, Daehyun; Moon, Yumin, et al
2012Mapping the shadow carceral state: Toward an institutionally capacious approach to punishmentMurakawa, Naomi; Beckett, Katherine