skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Refinado por: Nome da Publicação: Arxiv remover nível superior: Revistas revisadas por pares 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
Kernel Operations on the GPU, with Autodiff, without Memory Overflows
Kernel Operations on the GPU, with Autodiff, without Memory Overflows
Material Type:
Artigo 		Adicionar ao Meu Espaço

Kernel Operations on the GPU, with Autodiff, without Memory Overflows

Charlier, Benjamin ; Feydy, Jean ; Glaunès, Joan Alexis ; François-David, Collin ; Durif, Ghislain

Journal of machine learning research, 2021-01, Vol.22 (74), p.1-6 [Periódico revisado por pares]

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
5
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
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.   

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

Buscando em bases de dados remotas. Favor aguardar.