skip to main content
Idioma:
Resultados 1 2 3 next page
Mostrar Somente
Refinado por: Base de dados/Biblioteca: Science Citation Index Expanded (Web of Science) remover tipo de recurso: Book Chapters remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Tinnitus- and Task-Related Differences in Resting-State Networks
Tinnitus- and Task-Related Differences in Resting-State Networks
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Tinnitus- and Task-Related Differences in Resting-State Networks

Physiology, Psychoacoustics and Cognition in Normal and Impaired Hearing, 2016, Vol.894 [Periódico revisado por pares]

Switzerland: Springer

Texto completo disponível

Citações Citado por
2
The Impact of Ions on Allosteric Functions in Human Liver Pyruvate Kinase
The Impact of Ions on Allosteric Functions in Human Liver Pyruvate Kinase
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

The Impact of Ions on Allosteric Functions in Human Liver Pyruvate Kinase

Fenton, Aron W. ; Alontaga, Aileen Y.

Biothermodynamics, Part B, 2009, Vol.466, p.83-107 [Periódico revisado por pares]

United States: Elsevier Science & Technology

Texto completo disponível

Citações Citado por
3
The Role of the Gut Microbiome on Chronic Kidney Disease
The Role of the Gut Microbiome on Chronic Kidney Disease
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

The Role of the Gut Microbiome on Chronic Kidney Disease

Sampaio-Maia, B ; Simões-Silva, L ; Pestana, M ; Araujo, R ; Soares-Silva, I J

Advances in Applied Microbiology, 2016, Vol.96, p.65-94 [Periódico revisado por pares]

United States: Elsevier Science & Technology

Texto completo disponível

Citações Citado por
4
Development of attentional processes in ADHD and normal children
Development of attentional processes in ADHD and normal children
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Development of attentional processes in ADHD and normal children

Gupta, Rashmi ; Kar, Bhoomika R.

Progress in Brain Research, 2009, Vol.176, p.259-276 [Periódico revisado por pares]

Netherlands: Elsevier Science & Technology

Texto completo disponível

Citações Citado por
5
Verification of an Advanced mips-Type Out-of-Order Execution Algorithm
Verification of an Advanced mips-Type Out-of-Order Execution Algorithm
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Verification of an Advanced mips-Type Out-of-Order Execution Algorithm

Arons, Tamarah

Computer Aided Verification, 2004, p.414-426 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
6
Microarchitecture Verification by Compositional Model Checking
Microarchitecture Verification by Compositional Model Checking
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Microarchitecture Verification by Compositional Model Checking

Jhala1, Ranjit ; McMillan, Kenneth L.

Computer Aided Verification, 2001, p.396-410 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
7
Automatic Verification of Sequential Consistency for Unbounded Addresses and Data Values
Automatic Verification of Sequential Consistency for Unbounded Addresses and Data Values
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Automatic Verification of Sequential Consistency for Unbounded Addresses and Data Values

Bingham, Jesse ; Condon, Anne ; Hu, Alan J. ; Qadeer, Shaz ; Zhang, Zhichuan

Computer Aided Verification, 2004, p.427-439 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
8
Deductive Verification of Advanced Out-of-Order Microprocessors
Deductive Verification of Advanced Out-of-Order Microprocessors
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Deductive Verification of Advanced Out-of-Order Microprocessors

Lahiri, Shuvendu K. ; Bryant, Randal E.

Computer Aided Verification, 2003, p.341-354 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
9
A Fast Connection-Time Redirection Mechanism for Internet Application Scalability
A Fast Connection-Time Redirection Mechanism for Internet Application Scalability
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

A Fast Connection-Time Redirection Mechanism for Internet Application Scalability

Haungs, Michael ; Pandey, Raju ; Barr, Earl ; Fritz Barnes, J.

High Performance Computing — HiPC 2002, 2002, p.209-218 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
10
A Proof of Correctness of a Processor Implementing Tomasulo’s Algorithm without a Reorder Buffer
A Proof of Correctness of a Processor Implementing Tomasulo’s Algorithm without a Reorder Buffer
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

A Proof of Correctness of a Processor Implementing Tomasulo’s Algorithm without a Reorder Buffer

Hosabettu, Ravi ; Gopalakrishnan, Ganesh ; Srivas, Mandayam

Correct Hardware Design and Verification Methods, 1999, p.8-22 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
Resultados 1 2 3 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Revistas revisadas por pares (26)

Data de Publicação 

De até
Refinar
  1. Antes de2001  (3)
  2. 2001Até2003  (12)
  3. 2004Até2008  (5)
  4. 2009Até2014  (5)
  5. Após 2014  (3)
  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.