skip to main content
Mostrar Somente
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Risk analysis - a new aspect on protection and local control design
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Risk analysis - a new aspect on protection and local control design

Aabo, Y ; Guin, R ; Lundqvist, B

7th International Conference on Developments in Power Systems Protection (DPSP 2001), 2001, p.347-350

London: IEE

Texto completo disponível

2
Analysis of Superimposed Oriented Patterns
Material Type:
Artigo
Adicionar ao Meu Espaço

Analysis of Superimposed Oriented Patterns

Aach, T. ; Mota, C. ; Stuke, I. ; Muhlich, M. ; Barth, E.

IEEE transactions on image processing, 2006-12, Vol.15 (12), p.3690-3700 [Periódico revisado por pares]

New York, NY: IEEE

Texto completo disponível

3
Enhancing IEEE 802.11 MAC in congested environments
Material Type:
Artigo
Adicionar ao Meu Espaço

Enhancing IEEE 802.11 MAC in congested environments

Aad, Imad ; Ni, Qiang ; Barakat, Chadi ; Turletti, Thierry

Computer communications, 2005-09, Vol.28 (14), p.1605-1617 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

4
Verifying a logic-synthesis algorithm and implementation: a case study in software verification
Material Type:
Artigo
Adicionar ao Meu Espaço

Verifying a logic-synthesis algorithm and implementation: a case study in software verification

Aagaard, M. ; Leeser, M.

IEEE transactions on software engineering, 1995-10, Vol.21 (10), p.822-833 [Periódico revisado por pares]

New York, NY: IEEE

Texto completo disponível

5
PBS: proven Boolean simplification
Material Type:
Artigo
Adicionar ao Meu Espaço

PBS: proven Boolean simplification

Aagaard, M. ; Leeser, M.

IEEE transactions on computer-aided design of integrated circuits and systems, 1994-04, Vol.13 (4), p.459-470 [Periódico revisado por pares]

New York, NY: IEEE

Texto completo disponível

6
A Hazards-Based Correctness Statement for Pipelined Circuits
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

A Hazards-Based Correctness Statement for Pipelined Circuits

Aagaard, Mark D.

Correct Hardware Design and Verification Methods, 2003, p.66-80 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

7
A methodology for large-scale hardware verification
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

A methodology for large-scale hardware verification

AAGAARD, Mark D ; JONES, Robert B ; MELHAM, Thomas F ; O'LEARY, John W ; SEGER, Carl-Johan H

Lecture notes in computer science, 2000, p.263-282 [Periódico revisado por pares]

Berlin: Springer

Texto completo disponível

8
Evolutionary Learning Processes to Design the Dilation-Erosion Perceptron for Weather Forecasting
Material Type:
Artigo
Adicionar ao Meu Espaço

Evolutionary Learning Processes to Design the Dilation-Erosion Perceptron for Weather Forecasting

ARAUJO, Ricardo de A

Neural processing letters, 2013-06, Vol.37 (3), p.303-333 [Periódico revisado por pares]

Boston: Springer US

Texto completo disponível

9
A cognitive science approach to metametric fuzziness
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

A cognitive science approach to metametric fuzziness

Das, A.

Proceedings IEEE SoutheastCon 2002 (Cat. No.02CH37283), 2002, p.432-436

Piscataway NJ: IEEE

Texto completo disponível

10
SWIM: scalable weakly-consistent infection-style process group membership protocol
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

SWIM: scalable weakly-consistent infection-style process group membership protocol

Das, A. ; Gupta, I. ; Motivala, A.

Proceedings International Conference on Dependable Systems and Networks, 2002, p.303-312

Los Alamitos CA: IEEE

Texto completo disponível

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (116.126)
  2. Revistas revisadas por pares (94.922)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (85.569)
  2. Anais de Congresso  (30.784)
  3. Book Chapters  (11.241)
  4. magazinearticle  (2.275)
  5. Livros  (66)
  6. Conjunto de Dados  (2)
  7. Mais opções open sub menu

Data de Publicação 

De até
  1. Antes de1972  (22)
  2. 1972Até1985  (3.875)
  3. 1986Até1996  (26.273)
  4. 1997Até2008  (63.917)
  5. Após 2008  (36.731)
  6. Mais opções open sub menu

Idioma 

  1. Japonês  (10.541)
  2. Francês  (12)
  3. Galês  (1)
  4. Dinamarquês  (1)
  5. Alemão  (1)
  6. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.