skip to main content
Idioma:
Mostrar Somente
Refinado por: Base de dados/Biblioteca: Aerospace Database remover assunto: Theoretical Computing remover Exact Sciences And Technology remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
An assertion-based proof system for multithreaded Java
An assertion-based proof system for multithreaded Java
Material Type:
Artigo 		Adicionar ao Meu Espaço

An assertion-based proof system for multithreaded Java

Ábrahám, Erika ; de Boer, Frank S. ; de Roever, Willem-Paul ; Steffen, Martin

Theoretical computer science, 2005-02, Vol.331 (2), p.251-290 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

Citações Citado por
2
A calculus for reasoning about software composition
A calculus for reasoning about software composition
Material Type:
Artigo 		Adicionar ao Meu Espaço

A calculus for reasoning about software composition

Achermann, Franz ; Nierstrasz, Oscar

Theoretical computer science, 2005-02, Vol.331 (2), p.367-396 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

Citações Citado por
3
Semisupervised Least Squares Support Vector Machine
Semisupervised Least Squares Support Vector Machine
Material Type:
Artigo 		Adicionar ao Meu Espaço

Semisupervised Least Squares Support Vector Machine

Adankon, M.M. ; Cheriet, M. ; Biem, A.

IEEE transactions on neural networks, 2009-12, Vol.20 (12), p.1858-1870

New York, NY: IEEE

Texto completo disponível

Citações Citado por
4
Radial Basis Function Network Training Using a Nonsymmetric Partition of the Input Space and Particle Swarm Optimization
Radial Basis Function Network Training Using a Nonsymmetric Partition of the Input Space and Particle Swarm Optimization
Material Type:
Artigo 		Adicionar ao Meu Espaço

Radial Basis Function Network Training Using a Nonsymmetric Partition of the Input Space and Particle Swarm Optimization

Alexandridis, A. ; Chondrodima, E. ; Sarimveis, H.

IEEE transaction on neural networks and learning systems, 2013-02, Vol.24 (2), p.219-230

New York, NY: IEEE

Texto completo disponível

Citações Citado por
5
Detecting and Reacting to Changes in Sensing Units: The Active Classifier Case
Detecting and Reacting to Changes in Sensing Units: The Active Classifier Case
Material Type:
Artigo 		Adicionar ao Meu Espaço

Detecting and Reacting to Changes in Sensing Units: The Active Classifier Case

Alippi, Cesare ; Derong Liu ; Dongbin Zhao ; Li Bu

IEEE transactions on systems, man, and cybernetics. Systems, 2014-03, Vol.44 (3), p.353-362 [Periódico revisado por pares]

New York, NY: IEEE

Texto completo disponível

Citações Citado por
6
An implicitization algorithm with fewer variables
An implicitization algorithm with fewer variables
Material Type:
Artigo 		Adicionar ao Meu Espaço

An implicitization algorithm with fewer variables

Alonso, Cesar ; Gutierrez, Jaime ; Recio, Tomas

Computer aided geometric design, 1995-05, Vol.12 (3), p.251-258 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

Citações Citado por
7
Comparing barrier algorithms
Comparing barrier algorithms
Material Type:
Artigo 		Adicionar ao Meu Espaço

Comparing barrier algorithms

Arenstorf, Norbert S ; Jordan, Harry F

Parallel computing, 1989-11, Vol.12 (2), p.157-170 [Periódico revisado por pares]

Legacy CDMS: Elsevier B.V

Texto completo disponível

Citações Citado por
8
Multiobjective Evolutionary Algorithms in Aeronautical and Aerospace Engineering
Multiobjective Evolutionary Algorithms in Aeronautical and Aerospace Engineering
Material Type:
Artigo 		Adicionar ao Meu Espaço

Multiobjective Evolutionary Algorithms in Aeronautical and Aerospace Engineering

Arias-Montano, Alfredo ; Coello, C. A. C. ; Mezura-Montes, E.

IEEE transactions on evolutionary computation, 2012-10, Vol.16 (5), p.662-694 [Periódico revisado por pares]

New York, NY: IEEE

Texto completo disponível

Citações Citado por
9
Kernel Map Compression for Speeding the Execution of Kernel-Based Methods
Kernel Map Compression for Speeding the Execution of Kernel-Based Methods
Material Type:
Artigo 		Adicionar ao Meu Espaço

Kernel Map Compression for Speeding the Execution of Kernel-Based Methods

Arif, O ; Vela, P A

IEEE transactions on neural networks, 2011-06, Vol.22 (6), p.870-879

New York, NY: IEEE

Texto completo disponível

Citações Citado por
10
A Modeling and Simulation Framework for Health Care Systems
A Modeling and Simulation Framework for Health Care Systems
Material Type:
Artigo 		Adicionar ao Meu Espaço

A Modeling and Simulation Framework for Health Care Systems

Augusto, Vincent ; Xiaolan Xie

IEEE transactions on systems, man, and cybernetics. Systems, 2014-01, Vol.44 (1), p.30-46 [Periódico revisado por pares]

New York, NY: IEEE

Texto completo disponível

Citações Citado por

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Revistas revisadas por pares (116)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (203)
  2. Anais de Congresso  (7)
  3. magazinearticle  (1)
  4. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1988  (14)
  2. 1988Até1993  (16)
  3. 1994Até2001  (8)
  4. 2002Até2007  (28)
  5. Após 2007  (146)
  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.