skip to main content
Idioma:
previous page 1 2 Resultados 3 4 5 next page
Refinado por: Nome da Publicação: Lecture Notes in Computer Science remover
Result Number Material Type Add to My Shelf Action Record Details and Options
21
Detection of Protein-Protein Interactions from Amino Acid Sequences Using a Rotation Forest Model with a Novel PR-LPQ Descriptor
Detection of Protein-Protein Interactions from Amino Acid Sequences Using a Rotation Forest Model with a Novel PR-LPQ Descriptor
Material Type:
Artigo 		Adicionar ao Meu Espaço

Detection of Protein-Protein Interactions from Amino Acid Sequences Using a Rotation Forest Model with a Novel PR-LPQ Descriptor

Wong, Leon ; You, Zhu-Hong ; Li, Shuai ; Huang, Yu-An ; Liu, Gang

Advanced Intelligent Computing Theories and Applications, p.713-720 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
22
A Boosted Particle Filter: Multitarget Detection and Tracking
A Boosted Particle Filter: Multitarget Detection and Tracking
Material Type:
Artigo 		Adicionar ao Meu Espaço

A Boosted Particle Filter: Multitarget Detection and Tracking

Okuma, Kenji ; Taleghani, Ali ; de Freitas, Nando ; Little, James J. ; Lowe, David G.

Computer Vision - ECCV 2004, p.28-39 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
23
Abstract Interpretation
Abstract Interpretation
Material Type:
Artigo 		Adicionar ao Meu Espaço

Abstract Interpretation

Wasser, Nathan ; Hähnle, Reiner ; Bubel, Richard

Deductive Software Verification – The KeY Book, 2016-12, p.167-189 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
24
First-Order Logic
First-Order Logic
Material Type:
Artigo 		Adicionar ao Meu Espaço

First-Order Logic

Schmitt, Peter H.

Deductive Software Verification – The KeY Book, 2016-12, p.23-47 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
25
Quantum Finite Automata: A Modern Introduction
Quantum Finite Automata: A Modern Introduction
Material Type:
Artigo 		Adicionar ao Meu Espaço

Quantum Finite Automata: A Modern Introduction

Say, A.C. Cem ; Yakaryılmaz, Abuzer

Computing with New Resources, p.208-222 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
26
Lightweight Anonymous Authentication for Ad Hoc Group: A Ring Signature Approach
Lightweight Anonymous Authentication for Ad Hoc Group: A Ring Signature Approach
Material Type:
Artigo 		Adicionar ao Meu Espaço

Lightweight Anonymous Authentication for Ad Hoc Group: A Ring Signature Approach

Yang, Xu ; Wu, Wei ; Liu, Joseph K. ; Chen, Xiaofeng

Provable Security, p.215-226 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
27
Proof Search with Taclets
Proof Search with Taclets
Material Type:
Artigo 		Adicionar ao Meu Espaço

Proof Search with Taclets

Rümmer, Philipp ; Ulbrich, Mattias

Deductive Software Verification – The KeY Book, 2016-12, p.107-147 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
28
Robust Face Detection Using the Hausdorff Distance
Robust Face Detection Using the Hausdorff Distance
Material Type:
Artigo 		Adicionar ao Meu Espaço

Robust Face Detection Using the Hausdorff Distance

Jesorsky, Oliver ; Kirchberg, Klaus J. ; Frischholz, Robert W.

Audio- and Video-Based Biometric Person Authentication, 2001, p.90-95 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
29
ZHFE, a New Multivariate Public Key Encryption Scheme
ZHFE, a New Multivariate Public Key Encryption Scheme
Material Type:
Artigo 		Adicionar ao Meu Espaço

ZHFE, a New Multivariate Public Key Encryption Scheme

Porras, Jaiberth ; Baena, John ; Ding, Jintai

Post-Quantum Cryptography, p.229-245 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
30
Attribute-Based Encryption for Finite Automata from LWE
Attribute-Based Encryption for Finite Automata from LWE
Material Type:
Artigo 		Adicionar ao Meu Espaço

Attribute-Based Encryption for Finite Automata from LWE

Boyen, Xavier ; Li, Qinyi

Provable Security, p.247-267 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

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

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (4.085)
  2. Livros  (355)
  3. Revistas  (1)
  4. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1989  (59)
  2. 1989Até1997  (253)
  3. 1998Até2006  (3.003)
  4. 2007Até2016  (982)
  5. Após 2016  (144)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (4.433)
  2. Japonês  (450)
  3. Norueguês  (6)
  4. Indeterminado  (2)
  5. Alemão  (2)
  6. Português  (1)
  7. Russo  (1)
  8. Chinês  (1)
  9. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.