Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Capítulo de Livro
|
![]() |
PLAtestGA: A CNF-Satisfiability Problem for the Generation of Test Vector for Missing Faults in VLSI CircuitsCruz, AlfredoFoundations of Intelligent Systems, 2000, Vol.1932, p.186-195Germany: Springer Berlin / HeidelbergSem texto completo |
2 |
Material Type: Capítulo de Livro
|
![]() |
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-ClaudeLecture notes in computer science, 2000, Vol.1834, p.205-213 [Periódico revisado por pares]Germany: Springer Berlin / HeidelbergTexto completo disponível |
3 |
Material Type: Capítulo de Livro
|
![]() |
Integrating Ripple Down Rules with Ontologies in an Oncology DomainMartí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, SteenArtificial Intelligence in Medicine, 2001, Vol.2101, p.324-327 [Periódico revisado por pares]Germany: Springer Berlin / HeidelbergTexto completo disponível |
4 |
Material Type: Capítulo de Livro
|
![]() |
A Constructive Formalization of the Fundamental Theorem of CalculusCruz-Filipe, Luís Geuvers, Herman ; Wiedijk, FreekLecture notes in computer science, 2003, Vol.2646, p.108-126 [Periódico revisado por pares]Germany: Springer Berlin / HeidelbergTexto completo disponível |
5 |
Material Type: Capítulo de Livro
|
![]() |
Comparative Diagnostic Accuracy of Linear and Nonlinear Feature Extraction Methods in a Neuro-oncology ProblemCruz-Barbosa, Raúl ; Bautista-Villavicencio, David ; Vellido, Alfredo Carrasco-Ochoa, Jesús Ariel ; Hancock, Edwin Robert ; Ben-Youssef Brants, Cherif ; Martínez-Trinidad, José FranciscoPattern Recognition, 2011, p.34-41 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
6 |
Material Type: Capítulo de Livro
|
![]() |
On the Computation of the Geodesic Distance with an Application to Dimensionality Reduction in a Neuro-Oncology ProblemCruz-Barbosa, Raúl ; Bautista-Villavicencio, David ; Vellido, Alfredo Kim, Sang-Woon ; San Martin, CésarProgress in Pattern Recognition, Image Analysis, Computer Vision, and Applications, 2011, p.483-490 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
7 |
Material Type: Capítulo de Livro
|
![]() |
A Middleware Model in Alloy for Supply Chain-Wide Agent InteractionsHaesevoets, Robrecht ; Weyns, Danny ; Cruz Torres, Mario Henrique ; Helleboogh, Alexander ; Holvoet, Tom ; Joosen, Wouter Weyns, Danny ; Gleizes, Marie-PierreAgent-Oriented Software Engineering XI, 2011, p.189-204 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergSem texto completo |
8 |
Material Type: Capítulo de Livro
|
![]() |
OrganizationCruz, Isabel F ; Wang, SeanWeb Information Systems Engineering - WISE 2012, 2012, Vol.7651Germany: Springer Berlin / HeidelbergTexto completo disponível |
9 |
Material Type: Capítulo de Livro
|
![]() |
IntroCruz, Isabel F ; Wang, SeanWeb Information Systems Engineering - WISE 2012, 2012, Vol.7651Germany: Springer Berlin / HeidelbergTexto completo disponível |
10 |
Material Type: Capítulo de Livro
|
![]() |
Challenge PapersCruz, Isabel F ; Wang, SeanWeb Information Systems Engineering - WISE 2012, 2012, Vol.7651Germany: Springer Berlin / HeidelbergTexto completo disponível |