skip to main content
Idioma:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Busca Simples
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: Base de dados/Biblioteca: ACM Digital Library remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Turing Machines with Atoms
Turing Machines with Atoms
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Turing Machines with Atoms

Bojanczyk, Mikolaj ; Klin, Bartek ; Lasota, Slawomir ; Torunczyk, Szymon

2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 2013, p.183-192

Washington, DC, USA: IEEE Computer Society

Texto completo disponível

Citações Citado por
2
On the Algorithmic Solvability of Channel Dependent Classification Problems in Communication Systems
On the Algorithmic Solvability of Channel Dependent Classification Problems in Communication Systems
Material Type:
Artigo 		Adicionar ao Meu Espaço

On the Algorithmic Solvability of Channel Dependent Classification Problems in Communication Systems

Boche, Holger ; Schaefer, Rafael F. ; Poor, H. Vincent

IEEE/ACM transactions on networking, 2021-06, Vol.29 (3), p.1155-1168 [Periódico revisado por pares]

IEEE

Texto completo disponível

Citações Citado por
3
QIP = PSPACE
QIP = PSPACE
Material Type:
Artigo 		Adicionar ao Meu Espaço

QIP = PSPACE

JAIN, Rahul ; ZHENGFENG JI ; UPADHYAY, Sarvagya ; WATROUS, John

Journal of the ACM, 2011-12, Vol.58 (6), p.1-27 [Periódico revisado por pares]

New York, NY: Association for Computing Machinery

Texto completo disponível

Citações Citado por
4
A Theory of Synchronous Relational Interfaces
A Theory of Synchronous Relational Interfaces
Material Type:
Artigo 		Adicionar ao Meu Espaço

A Theory of Synchronous Relational Interfaces

TRIPAKIS, Stavros ; LICKLY, Ben ; HENZINGER, Thomas A ; LEE, Edward A

ACM transactions on programming languages and systems, 2011-07, Vol.33 (4), p.1-41 [Periódico revisado por pares]

New York, NY: Association for Computing Machinery

Texto completo disponível

Citações Citado por
5
Feedback Turing Computability, and Turing Computability as Feedback
Feedback Turing Computability, and Turing Computability as Feedback
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Feedback Turing Computability, and Turing Computability as Feedback

Ackerman, Nathanael L. ; Freer, Cameron E. ; Lubarsky, Robert S.

2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 2015, p.523-534

Washington, DC, USA: IEEE Computer Society

Texto completo disponível

Citações Citado por
6
Deployment of a mobile wireless sensor network with k-coverage constraint: a cellular learning automata approach
Deployment of a mobile wireless sensor network with k-coverage constraint: a cellular learning automata approach
Material Type:
Artigo 		Adicionar ao Meu Espaço

Deployment of a mobile wireless sensor network with k-coverage constraint: a cellular learning automata approach

Esnaashari, M. ; Meybodi, M. R.

Wireless networks, 2013-07, Vol.19 (5), p.945-968 [Periódico revisado por pares]

Boston: Springer US

Texto completo disponível

Citações Citado por
7
A brief history of cellular automata
A brief history of cellular automata
Material Type:
Artigo 		Adicionar ao Meu Espaço

A brief history of cellular automata

SARKAR, Palash

ACM computing surveys, 2000-03, Vol.32 (1), p.80-107 [Periódico revisado por pares]

New York, NY: Association for Computing Machinery

Texto completo disponível

Citações Citado por
8
Turing machines with atoms, constraint satisfaction problems, and descriptive complexity
Turing machines with atoms, constraint satisfaction problems, and descriptive complexity
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Turing machines with atoms, constraint satisfaction problems, and descriptive complexity

Klin, Bartek ; Lasota, Sławomir ; Ochremiak, Joanna ; Toruńczyk, Szymon

Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2014, p.1-10

New York, NY, USA: ACM

Texto completo disponível

Citações Citado por
9
Game Semantics for a Polymorphic Programming Language
Game Semantics for a Polymorphic Programming Language
Material Type:
Artigo 		Adicionar ao Meu Espaço

Game Semantics for a Polymorphic Programming Language

LAIRD, J

Journal of the ACM, 2013-08, Vol.60 (4), p.1-27 [Periódico revisado por pares]

New York, NY: Association for Computing Machinery

Texto completo disponível

Citações Citado por
10
Denotational Semantics with Nominal Scott Domains
Denotational Semantics with Nominal Scott Domains
Material Type:
Artigo 		Adicionar ao Meu Espaço

Denotational Semantics with Nominal Scott Domains

LÖSCH, Steffen ; PITTS, Andrew M

Journal of the ACM, 2014-07, Vol.61 (4), p.1-46 [Periódico revisado por pares]

New York, NY: Association for Computing Machinery

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 (830)

Refinar Meus Resultados

Tipo de Recurso 

  1. Anais de Congresso  (3.120)
  2. Artigos  (734)
  3. magazinearticle  (295)
  4. Book Chapters  (7)
  5. Resenhas  (5)
  6. Livros  (1)
  7. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1971  (60)
  2. 1971Até1983  (155)
  3. 1984Até1996  (691)
  4. 1997Até2010  (1.295)
  5. Após 2010  (1.987)
  6. Mais opções open sub menu

Idioma 

  1. Japonês  (175)
  2. Português  (2)
  3. Alemão  (1)
  4. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.