Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artículo
|
![]() |
WizardMerge -- Save Us From Merging Without Any CluesZhang, Qingyu ; Li, Junzhe ; Lin, Jiayi ; Ding, Jie ; Lin, Lanteng ; Qian, ChenxiongarXiv.org, 2024-07Ithaca: Cornell University Library, arXiv.orgTexto completo disponible |
2 |
Material Type: Artículo
|
![]() |
Programming universal unitary transformations on a general-purpose silicon photonics platformRausell-Campo, Jose Roberto ; Pérez, Daniel ; López ; José Capmany FrancoyarXiv.org, 2024-07Ithaca: Cornell University Library, arXiv.orgTexto completo disponible |
3 |
Material Type: Artículo
|
![]() |
Vertex Exchange Method for a Class of Quadratic Programming ProblemsLiang, Ling ; Kim-Chuan Toh ; Yang, HaizhaoarXiv.org, 2024-07Ithaca: Cornell University Library, arXiv.orgTexto completo disponible |
4 |
Material Type: Artículo
|
![]() |
How and Why LLMs Use Deprecated APIs in Code Completion? An Empirical StudyWang, Chong ; Huang, Kaifeng ; Zhang, Jian ; Feng, Yebo ; Zhang, Lyuye ; Liu, Yang ; Peng, XinarXiv.org, 2024-07Ithaca: Cornell University Library, arXiv.orgTexto completo disponible |
5 |
Material Type: Artículo
|
![]() |
Gradual Verification for Smart ContractsSun, Haojia ; Singh, Kunal ; Jan-Paul Ramos-Dávila ; Aldrich, Jonathan ; DiVincenzo, JennaarXiv.org, 2024-07Ithaca: Cornell University Library, arXiv.orgTexto completo disponible |
6 |
Material Type: Artículo
|
![]() |
Federated Fine-Tuning for Pre-Trained Foundation Models Over Wireless NetworksWang, Zixin ; Zhou, Yong ; Shi, Yuanming ; Letaief, Khaled BarXiv.org, 2024-07Ithaca: Cornell University Library, arXiv.orgTexto completo disponible |
7 |
Material Type: Artículo
|
![]() |
Regret Optimal Control for Uncertain Stochastic SystemsMartin, Andrea ; Furieri, Luca ; Dörfler, Florian ; Lygeros, John ; Ferrari-Trecate, GiancarloarXiv.org, 2024-07Ithaca: Cornell University Library, arXiv.orgTexto completo disponible |
8 |
Material Type: Artículo
|
![]() |
A Two-stage Identification Method for Switched Linear SystemsWenju, Zheng ; Hao, YearXiv.org, 2024-07Ithaca: Cornell University Library, arXiv.orgTexto completo disponible |
9 |
Material Type: Artículo
|
![]() |
Staged Specification Logic for Verifying Higher-Order Imperative Programs (Technical Report)Foo, Darius ; Song, Yahui ; Wei-Ngan, ChinarXiv.org, 2024-07Ithaca: Cornell University Library, arXiv.orgTexto completo disponible |
10 |
Material Type: Artículo
|
![]() |
Contractual Reinforcement Learning: Pulling Arms with Invisible HandsWu, Jibang ; Chen, Siyu ; Wang, Mengdi ; Wang, Huazheng ; Xu, HaifengarXiv.org, 2024-07Ithaca: Cornell University Library, arXiv.orgTexto completo disponible |