skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: Nome da Publicação: Arxiv remover
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:
Artigo 		Adicionar ao Meu Espaço

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 V

arXiv.org, 2022-01 [Periódico revisado por pares]

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
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:
Artigo 		Adicionar ao Meu Espaço

Deciding All Behavioral Equivalences at Once: A Game for Linear-Time--Branching-Time Spectroscopy

Bisping, Benjamin ; Jansen, David N ; Nestmann, Uwe

arXiv.org, 2022-08 [Periódico revisado por pares]

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
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:
Artigo 		Adicionar ao Meu Espaço

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

Thomas Brihaye ; Florent Delgrange ; Youssouf Oualhadj ; Mickael Randour

Logical methods in computer science, 2020-01, Vol.16, Issue 4 [Periódico revisado por pares]

Logical Methods in Computer Science e.V

Texto completo disponível

Citações Citado por
4
Interface Modeling for Quality and Resource Management
Interface Modeling for Quality and Resource Management
Material Type:
Artigo 		Adicionar ao Meu Espaço

Interface Modeling for Quality and Resource Management

Martijn Hendriks ; Marc Geilen ; Kees Goossens ; Rob de Jong ; Twan Basten

Logical methods in computer science, 2021-05, Vol.17, Issue 2 [Periódico revisado por pares]

Logical Methods in Computer Science e.V

Texto completo disponível

Citações Citado por
5
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:
Artigo 		Adicionar ao Meu Espaço

Memory-Based Optimization Methods for Model-Agnostic Meta-Learning and Personalized Federated Learning

Wang, Bokun ; Yuan, Zhuoning ; Ying, Yiming ; Yang, Tianbao

2023-01

Texto completo disponível

Citações Citado por
6
Shrub-depth: Capturing Height of Dense Graphs
Shrub-depth: Capturing Height of Dense Graphs
Material Type:
Artigo 		Adicionar ao Meu Espaço

Shrub-depth: Capturing Height of Dense Graphs

Ossona de Mendez, Patrice ; Ganian, Robert ; Hliněný, Petr ; Nešetřil, Jaroslav ; Obdrzalek, Jan

Logical methods in computer science, 2019, Vol.15 (1) [Periódico revisado por pares]

Logical Methods in Computer Science Association

Texto completo disponível

Citações Citado por
7
Field-based Coordination with the Share Operator
Field-based Coordination with the Share Operator
Material Type:
Artigo 		Adicionar ao Meu Espaço

Field-based Coordination with the Share Operator

Giorgio Audrito ; Jacob Beal ; Ferruccio Damiani ; Danilo Pianini ; Mirko Viroli

Logical methods in computer science, 2020-01, Vol.16, Issue 4 [Periódico revisado por pares]

Logical Methods in Computer Science e.V

Texto completo disponível

Citações Citado por
8
Reconfiguration and Message Losses in Parameterized Broadcast Networks
Reconfiguration and Message Losses in Parameterized Broadcast Networks
Material Type:
Artigo 		Adicionar ao Meu Espaço

Reconfiguration and Message Losses in Parameterized Broadcast Networks

Bertrand, Nathalie ; Bouyer, Patricia ; Majumdar, Anirban

Logical methods in computer science, 2021-01, Vol.17 (1), p.1-18 [Periódico revisado por pares]

Logical Methods in Computer Science Association

Texto completo disponível

Citações Citado por
9
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:
Artigo 		Adicionar ao Meu Espaço

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

Alexander Semenov ; Ilya Otpuschennikov ; Irina Gribanova ; Oleg Zaikin ; Stepan Kochemazov

Logical methods in computer science, 2020-01, Vol.16, Issue 1 [Periódico revisado por pares]

Logical Methods in Computer Science e.V

Texto completo disponível

Citações Citado por
10
PROBABILISTIC LOGICS BASED ON RIESZ SPACES
PROBABILISTIC LOGICS BASED ON RIESZ SPACES
Material Type:
Artigo 		Adicionar ao Meu Espaço

PROBABILISTIC LOGICS BASED ON RIESZ SPACES

Furber, Robert ; Mardare, Radu ; Mio, Matteo

Logical methods in computer science, 2020, Vol.16 [Periódico revisado por pares]

Logical Methods in Computer Science Association

Texto completo disponível

Citações Citado por
Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Revistas revisadas por pares (237)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (283.559)
  2. Resenhas  (3)
  3. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1998  (155)
  2. 1998Até2003  (237)
  3. 2004Até2009  (835)
  4. 2010Até2016  (44.211)
  5. Após 2016  (238.125)
  6. Mais opções open sub menu

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.