Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
11 |
Material Type: Artigo
|
![]() |
Applications of a new space-partitioning techniqueAgarwal, Pankaj K. ; Sharir, MichaDiscrete & computational geometry, 1993-01, Vol.9 (1), p.11-38 [Periódico revisado por pares]Texto completo disponível |
12 |
Material Type: Artigo
|
![]() |
Decidability of timed language-inclusion for networks of real-time communicating sequential processesYi, Wang ; Jonsson, BengtFoundation of Software Technology and Theoretical Computer Science, 1994-01, p.243-255 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
13 |
Material Type: Artigo
|
![]() |
Graph decompositions and secret sharing schemesBLUNDO, C ; DE SANTIS, A ; STINSON, D. R ; VACARRO, UJournal of cryptology, 1995-12, Vol.8 (1), p.39-64 [Periódico revisado por pares]New York, NY: SpringerTexto completo disponível |
14 |
Material Type: Livro
|
![]() |
Formal Foundations for Software Engineering MethodsHeinrich HussmannSpringer Berlin Heidelberg 1997Acesso online. A biblioteca também possui exemplares impressos. |
15 |
Material Type: Artigo
|
![]() |
Geographic information systems applications on an ATM-based distributed high performance computing systemHawick, K. A. ; James, H. A. ; Maciunas, K. J. ; Vaughan, F. A. ; Wendelborn, A. L. ; Buchhorn, M. ; Rezny, M. ; Taylor, S. R. ; Wilson, M. D.High-Performance Computing and Networking, 1997-01, p.1035-1037 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
16 |
Material Type: Artigo
|
![]() |
Initial in-vivo analysis of 3D heterogeneous brain computations for model-updated image-guided neurosurgeryMiga, Michael ; Paulsen, Keith ; Kennedy, Francis ; Hoopes, Jack ; Hartov, Alex ; Roberts, DavidMedical Image Computing and Computer-Assisted Intervention — MICCAI’98, 1998-10, p.743-752 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
17 |
Material Type: Artigo
|
![]() |
Model-Updated Image-Guided Neurosurgery Using the Finite Element Method: Incorporation of the Falx CerebriMiga, Michael I. ; Paulsen, Keith D. ; Kennedy, Francis E. ; Hartov, Alex ; Roberts, David W.Medical Image Computing and Computer-Assisted Intervention – MICCAI’99, 1999-09, p.900-909 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
18 |
Material Type: Artigo
|
![]() |
Parallelization of irregular problems based on hierarchical domain representationBAIARDI, F ; CHITI, S ; MORI, P ; RICCI, LLecture notes in computer science, 2000, p.71-80 [Periódico revisado por pares]Berlin: SpringerTexto completo disponível |
19 |
Material Type: Artigo
|
![]() |
Analysis and Results of the 1999 DARPA Off-Line Intrusion Detection EvaluationLippmann, Richard ; Haines, Joshua W. ; Fried, David J. ; Korba, Jonathan ; Das, KumarLecture notes in computer science, 2000, p.162-182 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
20 |
Material Type: Artigo
|
![]() |
On Distribution-Specific Learning with Membership Queries versus Pseudorandom GenerationKöbler, Johannes ; Lindner, WolfgangFST TCS 2000: Foundations of Software Technology and Theoretical Computer Science, 2000, p.336-347 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |