skip to main content
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: Base de dados/Biblioteca: Springer Nature - Springer Lecture Notes in Computer Science eBooks remover tipo de recurso: Book Chapters remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
PLAtestGA: A CNF-Satisfiability Problem for the Generation of Test Vector for Missing Faults in VLSI Circuits
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

PLAtestGA: A CNF-Satisfiability Problem for the Generation of Test Vector for Missing Faults in VLSI Circuits

Cruz, Alfredo

Foundations of Intelligent Systems, 2000, Vol.1932, p.186-195

Germany: Springer Berlin / Heidelberg

Sem texto completo

2
A ‘Virtual Worlds’ Theatre of Memory (Scheme for a Contemporary Museum)
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

A ‘Virtual Worlds’ Theatre of Memory (Scheme for a Contemporary Museum)

Mendoza, Bernardo Uribe ; Ramirez, Rodolfo ; Cruz, Neslson ; Forero, Manuel Guillermo ; Cervantes, Patricia Heudin, Jean-Claude

Lecture notes in computer science, 2000, Vol.1834, p.205-213 [Periódico revisado por pares]

Germany: Springer Berlin / Heidelberg

Texto completo disponível

3
Integrating Ripple Down Rules with Ontologies in an Oncology Domain
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

Integrating Ripple Down Rules with Ontologies in an Oncology Domain

Martínez-Béjar, Rodrigo ; Ibañez-Cruz, Francisca ; Compton, Paul ; Fernández-Breis, Jesualdo Tomás ; De las Heras-González, Manuel Barahona, Pedro ; Quaglini, Silvana ; Andreassen, Steen

Artificial Intelligence in Medicine, 2001, Vol.2101, p.324-327 [Periódico revisado por pares]

Germany: Springer Berlin / Heidelberg

Texto completo disponível

4
A Constructive Formalization of the Fundamental Theorem of Calculus
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

A Constructive Formalization of the Fundamental Theorem of Calculus

Cruz-Filipe, Luís Geuvers, Herman ; Wiedijk, Freek

Lecture notes in computer science, 2003, Vol.2646, p.108-126 [Periódico revisado por pares]

Germany: Springer Berlin / Heidelberg

Texto completo disponível

5
Comparative Diagnostic Accuracy of Linear and Nonlinear Feature Extraction Methods in a Neuro-oncology Problem
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

Comparative Diagnostic Accuracy of Linear and Nonlinear Feature Extraction Methods in a Neuro-oncology Problem

Cruz-Barbosa, Raúl ; Bautista-Villavicencio, David ; Vellido, Alfredo Carrasco-Ochoa, Jesús Ariel ; Hancock, Edwin Robert ; Ben-Youssef Brants, Cherif ; Martínez-Trinidad, José Francisco

Pattern Recognition, 2011, p.34-41 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

6
On the Computation of the Geodesic Distance with an Application to Dimensionality Reduction in a Neuro-Oncology Problem
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

On the Computation of the Geodesic Distance with an Application to Dimensionality Reduction in a Neuro-Oncology Problem

Cruz-Barbosa, Raúl ; Bautista-Villavicencio, David ; Vellido, Alfredo Kim, Sang-Woon ; San Martin, César

Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications, 2011, p.483-490 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

7
A Middleware Model in Alloy for Supply Chain-Wide Agent Interactions
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

A Middleware Model in Alloy for Supply Chain-Wide Agent Interactions

Haesevoets, Robrecht ; Weyns, Danny ; Cruz Torres, Mario Henrique ; Helleboogh, Alexander ; Holvoet, Tom ; Joosen, Wouter Weyns, Danny ; Gleizes, Marie-Pierre

Agent-Oriented Software Engineering XI, 2011, p.189-204 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Sem texto completo

8
Organization
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

Organization

Cruz, Isabel F ; Wang, Sean

Web Information Systems Engineering - WISE 2012, 2012, Vol.7651

Germany: Springer Berlin / Heidelberg

Texto completo disponível

9
Intro
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

Intro

Cruz, Isabel F ; Wang, Sean

Web Information Systems Engineering - WISE 2012, 2012, Vol.7651

Germany: Springer Berlin / Heidelberg

Texto completo disponível

10
Challenge Papers
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

Challenge Papers

Cruz, Isabel F ; Wang, Sean

Web Information Systems Engineering - WISE 2012, 2012, Vol.7651

Germany: Springer Berlin / Heidelberg

Texto completo disponível

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (24)
  2. Revistas revisadas por pares (97)

Data de Publicação 

De até
  1. Antes de2002  (4)
  2. 2002Até2011  (5)
  3. 2012Até2015  (9)
  4. 2016Até2019  (27)
  5. Após 2019  (73)
  6. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.