Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
21 |
Material Type: Article
|
![]() |
Fundamental Limits of Throughput and Availability: Applications to prophet inequalities & transaction fee mechanism designAadityan Ganesh ; Hartline, Jason ; Sinha, Atanu R ; vonAllmen, MatthewarXiv.org, 2024-03Ithaca: Cornell University Library, arXiv.orgFull text available |
22 |
Material Type: Article
|
![]() |
Fair Healthcare Rationing to Maximize Dynamic UtilitiesAadityan Ganesh ; Nimbhorkar, Prajakta ; Ghosal, Pratik ; Vishwa Prakash HVarXiv.org, 2023-03Ithaca: Cornell University Library, arXiv.orgFull text available |
23 |
Material Type: Article
|
![]() |
Disjoint Stable Matchings in Linear TimeAadityan Ganesh ; Vishwa Prakash HV ; Nimbhorkar, Prajakta ; Geevarghese, PhiliparXiv.org, 2021-07Ithaca: Cornell University Library, arXiv.orgFull text available |
24 |
Material Type: Article
|
![]() |
High-Performance Computing for SKA Transient Search: Use of FPGA based Accelerators -- a brief reviewAafreen, R ; Abhishek, R ; Ajithkumar, B ; Vaidyanathan, Arunkumar M ; Barve, Indrajit V ; Bhattramakki, Sahana ; Bhat, Shashank ; Girish, B S ; Ghalame, Atul ; Gupta, Y ; Hayatnagarkar, Harshal G ; Kamini, P A ; Karastergiou, A ; Levin, L ; Madhavi, S ; Mekhala, M ; Mickaliger, M ; Mugundhan, V ; Naidu, Arun ; Oppermann, J ; B Arul Pandian ; Patra, N ; Raghunathan, A ; Roy, Jayanta ; Sethi, Shiv ; Shaw, Benjamin ; Sherwin, K ; Sinnen, O ; Sinha, S K ; Srivani, K S ; Stappers, B ; Subrahmanya, C R ; Prabu, Thiagaraj ; Vinutha, C ; Wadadekar, Y G ; Wang, Haomiao ; Williams, CarXiv.org, 2023-01Ithaca: Cornell University Library, arXiv.orgFull text available |
25 |
Material Type: Article
|
![]() |
A Domain Decomposition Approach to Implementing Fault Slip in Finite-Element Models of Quasi-static and Dynamic Crustal DeformationAagaard, Brad T ; Knepley, Matthew G ; Williams, Charles AarXiv.org, 2013-08Ithaca: Cornell University Library, arXiv.orgFull text available |
26 |
Material Type: Article
|
![]() |
Classification of Minimal Separating Sets of Low Genus SurfacesAagaard, Christopher N ; Veerman, J J ParXiv.org, 2023-12Ithaca: Cornell University Library, arXiv.orgFull text available |
27 |
Material Type: Article
|
![]() |
Unifying cubical and multimodal type theoryAagaard, Frederik Lerbjerg ; Kristensen, Magnus Baunsgaard ; Gratzer, Daniel ; Birkedal, LarsarXiv.org, 2024-06Ithaca: Cornell University Library, arXiv.orgFull text available |
28 |
Material Type: Article
|
![]() |
A denotationally-based program logic for higher-order storeAagaard, Frederik Lerbjerg ; Sterling, Jonathan ; Birkedal, LarsarXiv.org, 2023-11Ithaca: Cornell University Library, arXiv.orgFull text available |
29 |
Material Type: Article
|
![]() |
Context-Free Session Types for Applied Pi-CalculusAagaard, Jens ; Hüttel, Hans ; Jakobsen, Mathias ; Kettunen, MikkelarXiv.org, 2018-08Ithaca: Cornell University Library, arXiv.orgFull text available |
30 |
Material Type: Article
|
![]() |
Hardware Design and Analysis of the ACE and WAGE CiphersAagaard, Mark D ; Sattarov, Marat ; Zidaric, NusaarXiv.org, 2020-01Ithaca: Cornell University Library, arXiv.orgFull text available |