Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
11 |
Material Type: Text Resource
|
PrefaceAccattoli, Beniamino ; Olarte, CarlosElectronic Notes in Theoretical Computer Science, 2019, Vol.344, p.1-2ElsevierFull text available |
|
12 |
Material Type: Text Resource
|
An Interdisciplinary Perspective on Evaluation and Experimental Design for Visual Text Analytics: Position PaperKucher, Kostiantyn ; Sultanum, Nicole ; Daza, Angel ; Simaki, Vasiliki ; Skeppstedt, Maria ; Plank, Barbara ; Jean-Daniel Fekete ; Mahyar, NargesarXiv.org, 2022Ithaca: Cornell University Library, arXiv.orgFull text available |
|
13 |
Material Type: Text Resource
|
Weighted Average-convexity and Cooperative GamesSkoda, Alexandre ; Venel, XavierDocuments de travail du Centre d'Économie de la Sorbonne, 2022Centre d'Économie de la Sorbonne (CES - UMR8174)Full text available |
|
14 |
Material Type: Text Resource
|
Multi-Task Meta Learning: learn how to adapt to unseen tasksUpadhyay, Richa ; Chhipa, Prakash Chandra ; Phlypo, Ronald ; Saini, Rajkumar ; Liwicki, MarcusarXiv.org, 2023Ithaca: Cornell University Library, arXiv.orgFull text available |
|
15 |
Material Type: Text Resource
|
Selected Papers of the 44th International Colloquium on Automata, Languages and Programming (ICALP 2017)Dawar, Anuj ; Muscholl, Anca ; Palamidessi, CatusciaLogical Methods in Computer Science, 2019Logical Methods in Computer Science AssociationFull text available |
|
16 |
Material Type: Text Resource
|
More PAC-Bayes bounds: From bounded losses, to losses with general tail behaviors, to anytime-validityRodríguez-Gálvez, Borja ; Thobaben, Ragnar ; Skoglund, MikaelarXiv.org, 2024Ithaca: Cornell University Library, arXiv.orgFull text available |
|
17 |
Material Type: Text Resource
|
PxTP 2021 - Seventh Workshop on Proof eXchange for Theorem ProvingKeller, Chantal ; Fleury, MathiasElectronic Proceedings in Theoretical Computer Science, 2021, Vol.336EPTCSFull text available |
|
18 |
Material Type: Text Resource
|
Can laypeople predict the replicability of social science studies without expert intervention: an exploratory studyWang, Juntao ; Lei, Jonathan ; Dreber, Anna ; Gordon, Michael ; Johannesson, Magnus ; Pfeiffer, Thomas ; Chen, YilingarXiv.org, 2022Ithaca: Cornell University Library, arXiv.orgFull text available |
|
19 |
Material Type: Text Resource
|
Open Problems in Concurrency TheorySokolova, Ana ; D'Argenio, Pedro ; Castellani, Ilaria ; Mousavi, Mohammad RezaJournal of Logical and Algebraic Methods in Programming, 2019ElsevierFull text available |
|
20 |
Material Type: Text Resource
|
Guest Editors’ Foreword special issue of Discrete & Computational GeometryGoaoc, Xavier ; Kerber, MichaelDiscrete and Computational Geometry, 2023Springer VerlagFull text available |