skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: Base de dados/Biblioteca: IEEE Electronic Library (IEL) Conference Proceedings remover assunto: Set Theory remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Descriptive Set Theory in the Category of Represented Spaces
Descriptive Set Theory in the Category of Represented Spaces
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Descriptive Set Theory in the Category of Represented Spaces

Pauly, Arno ; Brecht, Matthew

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

IEEE Computer Society

Texto completo disponível

Citações Citado por
2
A Unifying Approach to the Gamma Question
A Unifying Approach to the Gamma Question
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

A Unifying Approach to the Gamma Question

Monin, Benoit ; Nies, Andre

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

IEEE Computer Society

Texto completo disponível

Citações Citado por
3
Stack semantics of type theory
Stack semantics of type theory
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Stack semantics of type theory

Coquand, Thierry ; Mannaa, Bassel ; Ruch, Fabian

2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2017, p.1-11

IEEE Press

Texto completo disponível

Citações Citado por
4
Co-design and refinement for safety critical systems
Co-design and refinement for safety critical systems
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Co-design and refinement for safety critical systems

Ajer, A. ; Devienne, P.

19th IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems, 2004. DFT 2004. Proceedings, 2004, p.78-86

Los Alamitos CA: IEEE

Texto completo disponível

Citações Citado por
5
An interpretation of system F through bar recursion
An interpretation of system F through bar recursion
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

An interpretation of system F through bar recursion

Blot, Valentin

2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2017, p.1-12

IEEE Press

Texto completo disponível

Citações Citado por
6
Binary particle swarm optimisation and rough set theory for dimension reduction in classification
Binary particle swarm optimisation and rough set theory for dimension reduction in classification
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Binary particle swarm optimisation and rough set theory for dimension reduction in classification

Cervante, Liam ; Bing Xue ; Lin Shang ; Mengjie Zhang

2013 IEEE Congress on Evolutionary Computation, 2013, p.2428-2435 [Periódico revisado por pares]

IEEE

Texto completo disponível

Citações Citado por
7
Feature selection based on PSO and decision-theoretic rough set model
Feature selection based on PSO and decision-theoretic rough set model
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Feature selection based on PSO and decision-theoretic rough set model

Stevanovic, Aneta ; Bing Xue ; Mengjie Zhang

2013 IEEE Congress on Evolutionary Computation, 2013, p.2840-2847 [Periódico revisado por pares]

IEEE

Texto completo disponível

Citações Citado por
8
A Cooperative SoS Architecting Approach Based on Adaptive Multi-Agent Systems
A Cooperative SoS Architecting Approach Based on Adaptive Multi-Agent Systems
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

A Cooperative SoS Architecting Approach Based on Adaptive Multi-Agent Systems

Bouziat, Teddy ; Camps, Valerie ; Combettes, Stephanie

2018 IEEE/ACM 6th International Workshop on Software Engineering for Systems-of-Systems (SESoS), 2018, p.8-16

ACM

Texto completo disponível

Citações Citado por
9
Diversity and unity of uncertainty theories
Diversity and unity of uncertainty theories
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Diversity and unity of uncertainty theories

Klir, G.J.

2008 4th International IEEE Conference Intelligent Systems, 2008, Vol.1, p.1-8-1-14 [Periódico revisado por pares]

IEEE

Texto completo disponível

Citações Citado por
10
From soft sets to information systems
From soft sets to information systems
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

From soft sets to information systems

Daowu Pei ; Duoqian Miao

2005 IEEE International Conference on Granular Computing, 2005, Vol.2, p.617-621 Vol. 2

IEEE

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

Refinar Meus Resultados

Tipo de Recurso 

  1. Anais de Congresso  (2.041)
  2. Artigos  (2)
  3. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1993  (47)
  2. 1993Até1998  (119)
  3. 1999Até2004  (332)
  4. 2005Até2011  (1.431)
  5. Após 2011  (142)
  6. Mais opções open sub menu

Idioma 

  1. Chinês  (14)
  2. Japonês  (11)
  3. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.