Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Ata de Congresso
|
Proceedings Joint Workshop on Handling IMPlicit and EXplicit knowledge in formal system development (IMPEX) and Formal and Model-Driven Techniques for Developing Trustworthy Systems (FM&MDD)Laleau, Régine ; Méry, Dominique ; Nakajima, Shin ; Troubitsyna, ElenaElectronic Proceedings in Theoretical Computer Science, 2018, Vol.EPTCS 271Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
|
2 |
Material Type: Ata de Congresso
|
Points to Patches: Enabling the Use of Self-Attention for 3D Shape RecognitionBerg, Axel ; Oskarsson, Magnus ; O'Connor, MarkarXiv.org, 2022Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
|
3 |
Material Type: Ata de Congresso
|
Enhancing Non-mass Breast Ultrasound Cancer Classification With Knowledge TransferHu, Yangrun ; Guo, Yuanfan ; Zhang, Fan ; Wang, Mingda ; Lin, Tiancheng ; Wu, Rong ; Xu, YiarXiv.org, 2022Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
|
4 |
Material Type: Ata de Congresso
|
SPINDLE: Spinning Raw Text into Lambda Terms with Graph AttentionKogkalidis, Konstantinos ; Moortgat, Michael ; Moot, RichardarXiv.org, 2023Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
|
5 |
Material Type: Ata de Congresso
|
ChatGPT as a Math Questioner? Evaluating ChatGPT on Generating Pre-university Math QuestionsPhuoc Pham Van Long ; Vu, Duc Anh ; Hoang, Nhat M ; Long, Xuan ; Anh Tuan LuuarXiv.org, 2024Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
|
6 |
Material Type: Ata de Congresso
|
Binary Non-Termination in Term Rewriting and Logic ProgrammingPayet, ÉtiennearXiv.org, 2023Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
|
7 |
Material Type: Ata de Congresso
|
Maximizing the Success Probability of Policy Allocations in Online SystemsBetlei, Artem ; Vladimirova, Mariia ; Sebbar, Mehdi ; Urien, Nicolas ; Rahier, Thibaud ; Heymann, BenjaminarXiv.org, 2023Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
|
8 |
Material Type: Ata de Congresso
|
Neural Probabilistic Logic Programming in Discrete-Continuous DomainsDe Smet, Lennert ; Pedro Zuidberg Dos Martires ; Manhaeve, Robin ; Marra, Giuseppe ; Kimmig, Angelika ; De Raedt, LucarXiv.org, 2023Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
|
9 |
Material Type: Ata de Congresso
|
Is CADP an Applicable Formal Method?Garavel, Hubert ; Lang, Frédéric ; Mateescu, Radu ; Serwe, WendelinarXiv.org, 2021Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
|
10 |
Material Type: Ata de Congresso
|
Metacognitive threshold: a computational accountConway-Smith, Brendan ; West, Robert LarXiv.org, 2023Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |