Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
ELECTRA: Pre-training Text Encoders as Discriminators Rather Than GeneratorsClark, Kevin ; Minh-Thang Luong ; Le, Quoc V ; Manning, Christopher DarXiv.org, 2020-03 [Periódico revisado por pares]Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
|
2 |
Material Type: Artigo
|
RoBERTa: A Robustly Optimized BERT Pretraining ApproachLiu, Yinhan ; Ott, Myle ; Goyal, Naman ; Du, Jingfei ; Joshi, Mandar ; Chen, Danqi ; Levy, Omer ; Lewis, Mike ; Zettlemoyer, Luke ; Stoyanov, VeselinarXiv.org, 2019-07 [Periódico revisado por pares]Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
|
3 |
Material Type: Artigo
|
On the Approximation of Cooperative Heterogeneous Multi-Agent Reinforcement Learning (MARL) using Mean Field Control (MFC)Washim Uddin Mondal ; Agarwal, Mridul ; Aggarwal, Vaneet ; Ukkusuri, Satish VarXiv.org, 2022-01 [Periódico revisado por pares]Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
|
4 |
Material Type: Artigo
|
Deciding All Behavioral Equivalences at Once: A Game for Linear-Time--Branching-Time SpectroscopyBisping, Benjamin ; Jansen, David N ; Nestmann, UwearXiv.org, 2022-08 [Periódico revisado por pares]Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
|
5 |
Material Type: Artigo
|
Life is Random, Time is Not: Markov Decision Processes with Window ObjectivesThomas Brihaye ; Florent Delgrange ; Youssouf Oualhadj ; Mickael RandourLogical methods in computer science, 2020-01, Vol.16, Issue 4 [Periódico revisado por pares]Logical Methods in Computer Science e.VTexto completo disponível |
|
6 |
Material Type: Artigo
|
Surrogate-assisted distributed swarm optimisation for computationally expensive geoscientific modelsChandra, Rohitash ; Sharma, Yash VardhanComputational geosciences, 2023-12, Vol.27 (6), p.939-954 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
|
7 |
Material Type: Artigo
|
Interface Modeling for Quality and Resource ManagementMartijn Hendriks ; Marc Geilen ; Kees Goossens ; Rob de Jong ; Twan BastenLogical methods in computer science, 2021-05, Vol.17, Issue 2 [Periódico revisado por pares]Logical Methods in Computer Science e.VTexto completo disponível |
|
8 |
Material Type: Artigo
|
Kernel Operations on the GPU, with Autodiff, without Memory OverflowsCharlier, Benjamin ; Feydy, Jean ; Glaunès, Joan Alexis ; François-David, Collin ; Durif, GhislainJournal of machine learning research, 2021-01, Vol.22 (74), p.1-6 [Periódico revisado por pares]Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
|
9 |
Material Type: Artigo
|
Shrub-depth: Capturing Height of Dense GraphsOssona de Mendez, Patrice ; Ganian, Robert ; Hliněný, Petr ; Nešetřil, Jaroslav ; Obdrzalek, JanLogical methods in computer science, 2019, Vol.15 (1) [Periódico revisado por pares]Logical Methods in Computer Science AssociationTexto completo disponível |
|
10 |
Material Type: Artigo
|
Field-based Coordination with the Share OperatorGiorgio Audrito ; Jacob Beal ; Ferruccio Damiani ; Danilo Pianini ; Mirko ViroliLogical methods in computer science, 2020-01, Vol.16, Issue 4 [Periódico revisado por pares]Logical Methods in Computer Science e.VTexto completo disponível |