Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Ata de Congresso
|
![]() |
Spelling Correction for Search Engine QueriesMartins, Bruno ; Silva, Mário J.Advances in Natural Language Processing, 2004, p.372-383 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
2 |
Material Type: Ata de Congresso
|
![]() |
Towards CNC programming using haskellARROYO, G ; OCHOA, C ; SILVA, J ; VIDAL, GLecture notes in computer science, 2004, p.386-396 [Periódico revisado por pares]Berlin: SpringerTexto completo disponível |
3 |
Material Type: Ata de Congresso
|
![]() |
Three Methods to Automate the Space Allocation Process in UK UniversitiesBurke, E. K. ; Cowling, P. ; Landa Silva, J. D. ; McCollum, BarryLecture notes in computer science, 2001, p.254-273 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
4 |
Material Type: Ata de Congresso
|
![]() |
Light-induced photorefractive and thermal lens effect in lithium niobate crystalsGesualdi, Marcos R. R ; da Silva, C. J ; Catunda, Tomaz ; Muramatsu, MikiyaProc. SPIE, 2004, Vol.5622, p.455-459SPIETexto completo disponível |
5 |
Material Type: Ata de Congresso
|
![]() |
Fast pulmonary contour extraction in x-ray CT images: a methodology and quality assessmentSilva, Augusto F. d ; Silva, Jose S ; Santos, Beatriz S ; Ferreira, CarlosSPIE proceedings series, 2001, Vol.4321, p.216-224Bellingham WA: SPIETexto completo disponível |
6 |
Material Type: Ata de Congresso
|
![]() |
Decomposition and nutrient release patterns of the green manure phytomass in irrigated mango orchardGomes, T.C. de A ; Silva, J.A.M. e ; Soares, E.M.B ; Silva, M.S.L. daActa horticulturae, 2004 (645), p.183-188 [Periódico revisado por pares]Wageningen: ISHSTexto completo disponível |
7 |
Material Type: Ata de Congresso
|
![]() |
Combinational equivalence checking using satisfiability and recursive learningMarques-Silva, J. ; Glass, T.Design, Automation and Test in Europe Conference and Exhibition, 1999. Proceedings (Cat. No. PR00078), 1999, p.145-149IEEETexto completo disponível |
8 |
Material Type: Ata de Congresso
|
![]() |
On the Generation of Spatiotemporal DatasetsTheodoridis, Yannis ; Silva, Jefferson R. O. ; Nascimento, Mario A.Advances in Spatial Databases, 1999, Vol.1651, p.147-164 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
9 |
Material Type: Ata de Congresso
|
![]() |
Design methodology for PicoRadio networksda Silva, J.L. ; Shamberger, J. ; Ammer, M.J. ; Guo, C. ; Li, S. ; Shah, R. ; Tuan, T. ; Sheets, M. ; Rabaey, J.M. ; Nikolic, B. ; Sangiovanni-Vincentelli, A. ; Wright, P.Proceedings Design, Automation and Test in Europe. Conference and Exhibition 2001, 2001, p.314-323IEEETexto completo disponível |
10 |
Material Type: Ata de Congresso
|
![]() |
Building a Digital Library of Web newsMARIA, Nuno ; SILVA, Mario JLecture notes in computer science, 2000, Vol.1923, p.344-347 [Periódico revisado por pares]Berlin: SpringerTexto completo disponível |