Language:

Results 1 - 20 of 584,288 for All Library Resources

Sorted by: Sorted by: RelevanceOr hit Enter to replace sort method

Results 1 2 3 4 5

Show only

Peer-reviewed Journals (66)

Refined by: Journal Title: arXiv.org

Result Number	Material Type	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.04024 Full text available View Online Details Recommendations Reviews Times Cited External Links Citations Cited by
2	Material Type: Article	Deciding All Behavioral Equivalences at Once: A Game for Linear-Time--Branching-Time Spectroscopy 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.2109.15295 Full text available View Online Details Recommendations Reviews Times Cited External Links Citations Cited by
3	Material Type: Article	Computer Science arXiv.org, 2022-07 2022. This work is published under http://creativecommons.org/publicdomain/zero/1.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/publicdomain/zero/1.0 ;EISSN: 2331-8422 ;DOI: 10.48550/arxiv.2207.07901 Full text available View Online Details Recommendations Reviews Times Cited External Links Citations Cited by
4	Material Type: Article	Teleoperation of Humanoid Robots: A Survey IEEE transactions on robotics, 2023-01 [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 ;Distributed under a Creative Commons Attribution 4.0 International License ;ISSN: 1552-3098 ;EISSN: 2331-8422 ;EISSN: 1941-0468 ;DOI: 10.48550/arxiv.2301.04317 Full text available View Online Details Recommendations Reviews Times Cited External Links Citations Cited by
5	Material Type: Article	SAT-Inspired Higher-Order Eliminations Logical methods in computer science, 2023-05, Vol.19 (2) [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 ;EISSN: 2331-8422 ;EISSN: 1860-5974 ;DOI: 10.48550/arxiv.2208.07775 Full text available View Online Details Recommendations Reviews Times Cited External Links Citations Cited by
6	Material Type: Article	Bug Characterization in Machine Learning-based Systems arXiv.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.14512 Full text available View Online Details Recommendations Reviews Times Cited External Links Citations Cited by
7	Material Type: Article	Fair in the Eyes of Others arXiv.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.11053 Full text available View Online Details Recommendations Reviews Times Cited External Links Citations Cited by
8	Material Type: Article	Constructive Many-one Reduction from the Halting Problem to Semi-unification (Extended Version) arXiv.org, 2023-12 [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 ;EISSN: 2331-8422 ;DOI: 10.48550/arxiv.2208.13428 Full text available View Online Details Recommendations Reviews Times Cited External Links Citations Cited by
9	Material Type: Article	Memory-Based Optimization Methods for Model-Agnostic Meta-Learning and Personalized Federated Learning arXiv.org, 2023-04 [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 ;EISSN: 2331-8422 ;DOI: 10.48550/arxiv.2106.04911 Full text available View Online Details Recommendations Reviews Times Cited External Links Citations Cited by
10	Material Type: Article	Preconditioned Gradient Descent for Overparameterized Nonconvex Burer--Monteiro Factorization with Global Optimality Certification arXiv.org, 2023-04 [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.2206.03345 Full text available View Online Details Recommendations Reviews Times Cited External Links Citations Cited by
11	Material Type: Article	Fast Online Changepoint Detection via Functional Pruning CUSUM statistics Journal 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.08205 Full text available View Online Details Recommendations Reviews Times Cited External Links Citations Cited by
12	Material Type: Article	Latent Graph Representations for Critical View of Safety Assessment IEEE transactions on medical imaging, 2023-12 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 ;Distributed under a Creative Commons Attribution 4.0 International License ;ISSN: 0278-0062 ;EISSN: 2331-8422 ;EISSN: 1558-254X ;DOI: 10.48550/arxiv.2212.04155 Full text available View Online Details Recommendations Reviews Times Cited External Links Citations Cited by
13	Material Type: Article	Differentially Private Speaker Anonymization arXiv.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.11823 Full text available View Online Details Recommendations Reviews Times Cited External Links Citations Cited by
14	Material Type: Article	Learning to Reconstruct Signals From Binary Measurements arXiv.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.08691 Full text available View Online Details Recommendations Reviews Times Cited External Links Citations Cited by
15	Material Type: Article	Logic in Mathematics and Computer Science arXiv.org, 2024-04 2024. 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.2404.09033 Full text available View Online Details Recommendations Reviews Times Cited External Links Citations Cited by
16	Material Type: Article	TSO Games -- On the decidability of safety games under the total store order semantics Electronic proceedings in theoretical computer science, 2023-10, Vol.390, p.82 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 ;ISSN: 2075-2180 ;EISSN: 2331-8422 ;EISSN: 2075-2180 ;DOI: 10.48550/arxiv.2310.00990 Full text available View Online Details Recommendations Reviews Times Cited External Links Citations Cited by
17	Material Type: Article	Further results on Hendry's Conjecture Discrete Mathematics and Theoretical Computer Science, 2022-08, Vol.24 (2), p.1 [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. ;http://arxiv.org/licenses/nonexclusive-distrib/1.0 ;ISSN: 1462-7264 ;EISSN: 2331-8422 ;DOI: 10.48550/arXiv.2007.07464 Full text available View Online Details Recommendations Reviews Times Cited External Links Citations Cited by
18	Material Type: Article	Efficient High-Resolution Template Matching with Vector Quantized Nearest Neighbour Fields Pattern recognition, 2023-10 [Peer Reviewed Journal] 2023. This work is published under http://creativecommons.org/licenses/by-nc-sa/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-nc-sa/4.0 ;ISSN: 0031-3203 ;ISSN: 1873-5142 ;EISSN: 2331-8422 ;EISSN: 1873-5142 ;DOI: 10.48550/arxiv.2306.15010 Full text available View Online Details Recommendations Reviews Times Cited External Links Citations Cited by
19	Material Type: Article	Impact Factors for Computer Science Conferences arXiv.org, 2023-10 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.2310.08037 Full text available View Online Details Recommendations Reviews Times Cited External Links Citations Cited by
20	Material Type: Article	ChatGPT Participates in a Computer Science Exam arXiv.org, 2023-03 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.09461 Full text available View Online Details Recommendations Reviews Times Cited External Links Citations Cited by