Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Article
|
On the Approximation of Cooperative Heterogeneous Multi-Agent Reinforcement Learning (MARL) using Mean Field Control (MFC)arXiv.org, 2022-01 [Peer Reviewed Journal]2022. This work is published under http://arxiv.org/licenses/nonexclusive-distrib/1.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License. ;http://arxiv.org/licenses/nonexclusive-distrib/1.0 ;EISSN: 2331-8422 ;DOI: 10.48550/arxiv.2109.04024Full text available |
|
2 |
Material Type: Article
|
Deciding All Behavioral Equivalences at Once: A Game for Linear-Time--Branching-Time SpectroscopyarXiv.org, 2022-08 [Peer Reviewed Journal]2022. This work is published under http://creativecommons.org/licenses/by/4.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License. ;http://creativecommons.org/licenses/by/4.0 ;EISSN: 2331-8422 ;DOI: 10.48550/arxiv.2109.15295Full text available |
|
3 |
Material Type: Article
|
Memory-Based Optimization Methods for Model-Agnostic Meta-Learning and Personalized Federated Learninghttp://creativecommons.org/licenses/by/4.0 ;DOI: 10.48550/arxiv.2106.04911Digital Resources/Online E-Resources |
|
4 |
Material Type: Article
|
Restarted Nonconvex Accelerated Gradient Descent: No More Polylogarithmic Factor in the $O(\epsilon^{-7/4})$ Complexityhttp://creativecommons.org/licenses/by/4.0 ;DOI: 10.48550/arxiv.2201.11411Digital Resources/Online E-Resources |
|
5 |
Material Type: Article
|
Bug Characterization in Machine Learning-based SystemsarXiv.org, 2023-07 [Peer Reviewed Journal]2023. This work is published under http://arxiv.org/licenses/nonexclusive-distrib/1.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License. ;http://arxiv.org/licenses/nonexclusive-distrib/1.0 ;EISSN: 2331-8422 ;DOI: 10.48550/arxiv.2307.14512Full text available |
|
6 |
Material Type: Article
|
Fair in the Eyes of OthersarXiv.org, 2019-11 [Peer Reviewed Journal]2019. This work is published under http://arxiv.org/licenses/nonexclusive-distrib/1.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License. ;http://arxiv.org/licenses/nonexclusive-distrib/1.0 ;EISSN: 2331-8422 ;DOI: 10.48550/arxiv.1911.11053Full text available |
|
7 |
Material Type: Article
|
SAT-Inspired Higher-Order EliminationsLogical methods in computer science, 2022-08, Vol.19 (2) [Peer Reviewed Journal]2022. This work is published under http://creativecommons.org/licenses/by/4.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License. ;http://creativecommons.org/licenses/by/4.0 ;Attribution ;EISSN: 2331-8422 ;EISSN: 1860-5974 ;DOI: 10.48550/arxiv.2208.07775Full text available |
|
8 |
Material Type: Article
|
Preconditioned Gradient Descent for Overparameterized Nonconvex Burer--Monteiro Factorization with Global Optimality CertificationarXiv.org, 2022-06 [Peer Reviewed Journal]2022. This work is published under http://arxiv.org/licenses/nonexclusive-distrib/1.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License. ;http://arxiv.org/licenses/nonexclusive-distrib/1.0 ;EISSN: 2331-8422 ;DOI: 10.48550/arxiv.2206.03345Full text available |
|
9 |
Material Type: Book Chapter
|
The Temporal Dictionary Ensemble (TDE) Classifier for Time Series Classificationhttp://arxiv.org/licenses/nonexclusive-distrib/1.0 ;ISBN: 9783030676575 ;EISBN: 9783030676582 ;DOI: 10.48550/arxiv.2105.03841Digital Resources/Online E-Resources |
|
10 |
Material Type: Article
|
RoBERTa: A Robustly Optimized BERT Pretraining ApproacharXiv.org, 2019-07 [Peer Reviewed Journal]2019. This work is published under http://arxiv.org/licenses/nonexclusive-distrib/1.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License. ;http://arxiv.org/licenses/nonexclusive-distrib/1.0 ;EISSN: 2331-8422 ;DOI: 10.48550/arxiv.1907.11692Full text available |
|
11 |
Material Type: Article
|
Constructive Many-one Reduction from the Halting Problem to Semi-unification (Extended Version)arXiv.org, 2022-08 [Peer Reviewed Journal]2022. This work is published under http://creativecommons.org/licenses/by/4.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License. ;http://creativecommons.org/licenses/by/4.0 ;EISSN: 2331-8422 ;DOI: 10.48550/arxiv.2208.13428Full text available |
|
12 |
Material Type: Article
|
Fast Online Changepoint Detection via Functional Pruning CUSUM statisticsJournal of machine learning research, 2023-03, Vol.24 [Peer Reviewed Journal]2022. This work is published under http://creativecommons.org/licenses/by/4.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License. ;http://creativecommons.org/licenses/by/4.0 ;Attribution ;ISSN: 1532-4435 ;EISSN: 2331-8422 ;EISSN: 1533-7928 ;DOI: 10.48550/arxiv.2110.08205Full text available |
|
13 |
Material Type: Article
|
Differentially Private Speaker AnonymizationarXiv.org, 2023-01 [Peer Reviewed Journal]2022. This work is published under http://creativecommons.org/licenses/by/4.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License. ;http://creativecommons.org/licenses/by/4.0 ;EISSN: 2331-8422 ;DOI: 10.48550/arxiv.2202.11823Full text available |
|
14 |
Material Type: Article
|
Gaining a better understanding of online polarization by approaching it as a dynamic processScientific reports, 2023-09, Vol.14 (1), p.8702 [Peer Reviewed Journal]2024. The Author(s). ;2023. This work is published under http://arxiv.org/licenses/nonexclusive-distrib/1.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License. ;http://arxiv.org/licenses/nonexclusive-distrib/1.0 ;Attribution - NonCommercial - ShareAlike ;ISSN: 2045-2322 ;EISSN: 2045-2322 ;EISSN: 2331-8422 ;DOI: 10.48550/arxiv.2309.10423 ;PMID: 38622319Full text available |
|
15 |
Material Type: Article
|
Learning to Reconstruct Signals From Binary MeasurementsarXiv.org, 2023-11 [Peer Reviewed Journal]2023. This work is published under http://arxiv.org/licenses/nonexclusive-distrib/1.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License. ;http://arxiv.org/licenses/nonexclusive-distrib/1.0 ;EISSN: 2331-8422 ;DOI: 10.48550/arxiv.2303.08691Full text available |
|
16 |
Material Type: Book
|
Physics-based Deep LearningarXiv.org, 20212022. This work is published under http://arxiv.org/licenses/nonexclusive-distrib/1.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License. ;http://arxiv.org/licenses/nonexclusive-distrib/1.0 ;EISSN: 2331-8422 ;DOI: 10.48550/arxiv.2109.05237Full text available |
|
17 |
Material Type: Article
|
TSO Games -- On the decidability of safety games under the total store order semanticsElectronic proceedings in theoretical computer science, 2023-10, Vol.390, p.822023. This work is published under http://arxiv.org/licenses/nonexclusive-distrib/1.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License. ;http://arxiv.org/licenses/nonexclusive-distrib/1.0 ;ISSN: 2075-2180 ;EISSN: 2331-8422 ;EISSN: 2075-2180 ;DOI: 10.48550/arxiv.2310.00990Full text available |
|
18 |
Material Type: Article
|
Further results on Hendry's ConjectureDiscrete Mathematics and Theoretical Computer Science, 2022-08, Vol.24 (2), p.1-9 [Peer Reviewed Journal]COPYRIGHT 2022 DMTCS ;2022. This work is published under http://arxiv.org/licenses/nonexclusive-distrib/1.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License. ;Copyright DMTCS 2022 ;http://arxiv.org/licenses/nonexclusive-distrib/1.0 ;ISSN: 1462-7264 ;EISSN: 2331-8422 ;EISSN: 1365-8050 ;DOI: 10.48550/arXiv.2007.07464Full text available |
|
19 |
Material Type: Conference Proceeding
|
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)Electronic Proceedings in Theoretical Computer Science, 2018, Vol.EPTCS 2712018. This work is published under http://arxiv.org/licenses/nonexclusive-distrib/1.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License. ;http://arxiv.org/licenses/nonexclusive-distrib/1.0 ;Distributed under a Creative Commons Attribution 4.0 International License ;ISSN: 2075-2180 ;EISSN: 2331-8422 ;EISSN: 2075-2180 ;DOI: 10.48550/arxiv.1805.04636Full text available |
|
20 |
Material Type: Article
|
Toward the use of proxies for efficient learning manipulation and locomotion strategies on soft robotsIEEE robotics and automation letters, 2023-10 [Peer Reviewed Journal]2023. This work is published under http://creativecommons.org/licenses/by/4.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License. ;http://creativecommons.org/licenses/by/4.0 ;Attribution ;ISSN: 2377-3766 ;EISSN: 2331-8422 ;EISSN: 2377-3766 ;DOI: 10.48550/arxiv.2310.17029Full text available |