Search
Add filters:
Use filters to refine the search results.
Item hits:
Publication Date | Article Title | Author(s) |
---|---|---|
2015 | Kinetic: Verifiable Dynamic Network Control | Kim, Hyojoon; Reich, Joshua; Gupta, Arpit; Shahbaz, Muhammad; Feamster, Nick, et al |
2021 | Abstraction and subsumption in modular verification of C programs | Beringer, Lennart; Appel, Andrew W |
2020 | A Unified Framework of Surrogate Loss by Refactoring and Interpolation | Liu, Lanlan; Wang, Mingzhe; Deng, Jia |
2019 | A Theoretical Analysis of Contrastive Unsupervised Representation Learning | Saunshi, Nikunj; Plevrakis, Orestis; Arora, Sanjeev; Khodak, Mikhail; Khandeparkar, Hrishikesh |
2020 | A Differentiable Perceptual Audio Metric Learned from Just Noticeable Differences | Manocha, Pranay; Finkelstein, Adam; Zhang, Richard; Bryan, Nicholas J; Mysore, Gautham J, et al |
8-Jul-2020 | The East Asian Subtropical Jet Stream and Atlantic Tropical Cyclones | Zhang, Wei; Villarini, Gabriele; Vecchi, Gabriel A |
Aug-2014 | Infinite CacheFlow in software-defined networks | Katta, Naga; Alipourfard, Omid; Rexford, Jennifer; Walker, David |
Jul-2012 | Kant, Real Possibility, and the Threat of Spinoza | Chignell, Andrew |
15-Sep-2019 | Moist Static Energy Budget Analysis of Tropical Cyclone Intensification in High-Resolution Climate Models | Wing, Allison A; Camargo, Suzana J; Sobel, Adam H; Kim, Daehyun; Moon, Yumin, et al |
2012 | Mapping the shadow carceral state: Toward an institutionally capacious approach to punishment | Murakawa, Naomi; Beckett, Katherine |