skip to main content
Language:
Search Limited to: Search Limited to: Resource type Show Results with: Show Results with: Search type Index

Results 1 - 20 of 284,997  for All Library Resources

Sorted by: Sorted by: RelevanceOr hit Enter to replace sort method
Results 1 2 3 4 5 next page
Show only
Refined by: Journal Title: Arxiv remove
Result Number Material Type Add to My Shelf Action Record Details and Options
1
On the Approximation of Cooperative Heterogeneous Multi-Agent Reinforcement Learning (MARL) using Mean Field Control (MFC)
On the Approximation of Cooperative Heterogeneous Multi-Agent Reinforcement Learning (MARL) using Mean Field Control (MFC)
Material Type:
Article 		Add to My Research

On the Approximation of Cooperative Heterogeneous Multi-Agent Reinforcement Learning (MARL) using Mean Field Control (MFC)

http://arxiv.org/licenses/nonexclusive-distrib/1.0 ;DOI: 10.48550/arxiv.2109.04024

Digital Resources/Online E-Resources

Citations Cited by
2
Deciding All Behavioral Equivalences at Once: A Game for Linear-Time--Branching-Time Spectroscopy
Deciding All Behavioral Equivalences at Once: A Game for Linear-Time--Branching-Time Spectroscopy
Material Type:
Article 		Add to My Research

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

Citations Cited by
3
Life is Random, Time is Not: Markov Decision Processes with Window Objectives
Life is Random, Time is Not: Markov Decision Processes with Window Objectives
Material Type:
Article 		Add to My Research

Life is Random, Time is Not: Markov Decision Processes with Window Objectives

Logical methods in computer science, 2020-01, Vol.16, Issue 4 [Peer Reviewed Journal]

EISSN: 1860-5974 ;DOI: 10.23638/LMCS-16(4:13)2020

Full text available

Citations Cited by
4
Interface Modeling for Quality and Resource Management
Interface Modeling for Quality and Resource Management
Material Type:
Article 		Add to My Research

Interface Modeling for Quality and Resource Management

Logical methods in computer science, 2021-05, Vol.17, Issue 2 [Peer Reviewed Journal]

EISSN: 1860-5974 ;DOI: 10.23638/LMCS-17(2:19)2021

Full text available

Citations Cited by
5
Field-based Coordination with the Share Operator
Field-based Coordination with the Share Operator
Material Type:
Article 		Add to My Research

Field-based Coordination with the Share Operator

Logical methods in computer science, 2020-01, Vol.16, Issue 4 [Peer Reviewed Journal]

EISSN: 1860-5974 ;DOI: 10.23638/LMCS-16(4:1)2020

Full text available

Citations Cited by
6
Reconfiguration and Message Losses in Parameterized Broadcast Networks
Reconfiguration and Message Losses in Parameterized Broadcast Networks
Material Type:
Article 		Add to My Research

Reconfiguration and Message Losses in Parameterized Broadcast Networks

Logical methods in computer science, 2021-01, Vol.17 (1), p.1-18 [Peer Reviewed Journal]

Distributed under a Creative Commons Attribution 4.0 International License ;EISSN: 1860-5974 ;DOI: 10.23638/LMCS-17(1:23)2021

Full text available

Citations Cited by
7
Translation of Algorithmic Descriptions of Discrete Functions to SAT with Applications to Cryptanalysis Problems
Translation of Algorithmic Descriptions of Discrete Functions to SAT with Applications to Cryptanalysis Problems
Material Type:
Article 		Add to My Research

Translation of Algorithmic Descriptions of Discrete Functions to SAT with Applications to Cryptanalysis Problems

Logical methods in computer science, 2020-01, Vol.16, Issue 1 [Peer Reviewed Journal]

EISSN: 1860-5974 ;DOI: 10.23638/LMCS-16(1:29)2020

Full text available

Citations Cited by
8
Shrub-depth: Capturing Height of Dense Graphs
Shrub-depth: Capturing Height of Dense Graphs
Material Type:
Article 		Add to My Research

Shrub-depth: Capturing Height of Dense Graphs

Logical methods in computer science, 2019, Vol.15 (1) [Peer Reviewed Journal]

Attribution ;EISSN: 1860-5974 ;DOI: 10.23638/LMCS-15(1:7)2019

Full text available

Citations Cited by
9
Theory of Higher Order Interpretations and Application to Basic Feasible Functions
Theory of Higher Order Interpretations and Application to Basic Feasible Functions
Material Type:
Article 		Add to My Research

Theory of Higher Order Interpretations and Application to Basic Feasible Functions

Logical methods in computer science, 2020-01, Vol.16 (4) [Peer Reviewed Journal]

Distributed under a Creative Commons Attribution 4.0 International License ;EISSN: 1860-5974 ;DOI: 10.23638/LMCS-16(4:14)2020

Full text available

Citations Cited by
10
PROBABILISTIC LOGICS BASED ON RIESZ SPACES
PROBABILISTIC LOGICS BASED ON RIESZ SPACES
Material Type:
Article 		Add to My Research

PROBABILISTIC LOGICS BASED ON RIESZ SPACES

Logical methods in computer science, 2020, Vol.16 [Peer Reviewed Journal]

Attribution ;EISSN: 1860-5974 ;DOI: 10.23638/LMCS-16(1:6)2020

Full text available

Citations Cited by
11
Restarted Nonconvex Accelerated Gradient Descent: No More Polylogarithmic Factor in the $O(\epsilon^{-7/4})$ Complexity
Restarted Nonconvex Accelerated Gradient Descent: No More Polylogarithmic Factor in the $O(\epsilon^{-7/4})$ Complexity
Material Type:
Article 		Add to My Research

Restarted Nonconvex Accelerated Gradient Descent: No More Polylogarithmic Factor in the $O(\epsilon^{-7/4})$ Complexity

http://creativecommons.org/licenses/by/4.0 ;DOI: 10.48550/arxiv.2201.11411

Digital Resources/Online E-Resources

Citations Cited by
12
SAT-Inspired Higher-Order Eliminations
SAT-Inspired Higher-Order Eliminations
Material Type:
Article 		Add to My Research

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

Citations Cited by
13
The Complexity of All-switches Strategy Improvement
The Complexity of All-switches Strategy Improvement
Material Type:
Article 		Add to My Research

The Complexity of All-switches Strategy Improvement

Logical methods in computer science, 2018-01, Vol.14, Issue 4 [Peer Reviewed Journal]

EISSN: 1860-5974 ;DOI: 10.23638/LMCS-14(4:9)2018

Full text available

Citations Cited by
14
ELECTRA: Pre-training Text Encoders as Discriminators Rather Than Generators
ELECTRA: Pre-training Text Encoders as Discriminators Rather Than Generators
Material Type:
Article 		Add to My Research

ELECTRA: Pre-training Text Encoders as Discriminators Rather Than Generators

http://arxiv.org/licenses/nonexclusive-distrib/1.0 ;DOI: 10.48550/arxiv.2003.10555

Digital Resources/Online E-Resources

Citations Cited by
15
RoBERTa: A Robustly Optimized BERT Pretraining Approach
RoBERTa: A Robustly Optimized BERT Pretraining Approach
Material Type:
Article 		Add to My Research

RoBERTa: A Robustly Optimized BERT Pretraining Approach

http://arxiv.org/licenses/nonexclusive-distrib/1.0 ;DOI: 10.48550/arxiv.1907.11692

Digital Resources/Online E-Resources

Citations Cited by
16
Axiomatizing Maximal Progress and Discrete Time
Axiomatizing Maximal Progress and Discrete Time
Material Type:
Article 		Add to My Research

Axiomatizing Maximal Progress and Discrete Time

Logical methods in computer science, 2021-01, Vol.17, Issue 1 [Peer Reviewed Journal]

Distributed under a Creative Commons Attribution 4.0 International License ;EISSN: 1860-5974 ;DOI: 10.23638/LMCS-17(1:1)2021

Full text available

Citations Cited by
17
Simplified Algorithmic Metatheorems Beyond MSO: Treewidth and Neighborhood Diversity
Simplified Algorithmic Metatheorems Beyond MSO: Treewidth and Neighborhood Diversity
Material Type:
Article 		Add to My Research

Simplified Algorithmic Metatheorems Beyond MSO: Treewidth and Neighborhood Diversity

Logical methods in computer science, 2019-12, Vol.15, Issue 4 [Peer Reviewed Journal]

EISSN: 1860-5974 ;DOI: 10.23638/LMCS-15(4:12)2019

Full text available

Citations Cited by
18
Memory-Based Optimization Methods for Model-Agnostic Meta-Learning and Personalized Federated Learning
Memory-Based Optimization Methods for Model-Agnostic Meta-Learning and Personalized Federated Learning
Material Type:
Article 		Add to My Research

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

Citations Cited by
19
Preconditioned Gradient Descent for Overparameterized Nonconvex Burer--Monteiro Factorization with Global Optimality Certification
Preconditioned Gradient Descent for Overparameterized Nonconvex Burer--Monteiro Factorization with Global Optimality Certification
Material Type:
Article 		Add to My Research

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

Citations Cited by
20
Constructive Many-one Reduction from the Halting Problem to Semi-unification (Extended Version)
Constructive Many-one Reduction from the Halting Problem to Semi-unification (Extended Version)
Material Type:
Article 		Add to My Research

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

Citations Cited by

Results 1 - 20 of 284,997  for All Library Resources

Sorted by: Sorted by: RelevanceOr hit Enter to replace sort method
Results 1 2 3 4 5 next page

Personalize your results

  1. Edit

Refine Search Results

Expand My Results

  1.   

Show only

  1. Peer-reviewed Journals (244)

Refine My Results

Creation Date 

From To
Refine
  1. Before 1998  (157)
  2. 1998 To 2003  (239)
  3. 2004 To 2009  (1,085)
  4. 2010 To 2016  (45,024)
  5. After 2016  (238,493)
  6. More options open sub menu

Resource Type 

  1. Articles  (284,994)
  2. Reviews  (3)
  3. More options open sub menu
INSPIRE LIBRARY - TON DUC THANG UNIVERSITY (84-028) 37 755 057 Feedback
19 Nguyen Huu Tho St. Dist.7, HCM thuvien@tdtu.edu.vn

Copyright © 2017 INSPIRE LIBRARY - TON DUC THANG UNIVERSITY

Searching Remote Databases, Please Wait