Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Capítulo de Livro
|
DepthK: A k-Induction Verifier Based on Invariant Inference for C ProgramsRocha, Williame ; Rocha, Herbert ; Ismail, Hussama ; Cordeiro, Lucas ; Fischer, Bernd2017Texto completo disponível |
|
2 |
Material Type: Capítulo de Livro
|
Apoptosis in health and diseases of the eye and brainAbdulhussein, Dalia ; Kanda, Mumta ; Aamir, Abdullah ; Manzar, Haider ; Yap, Timothy E ; Cordeiro, M FrancescaAdvances in protein chemistry and structural biology, 2021, Vol.126, p.279-306 [Periódico revisado por pares]Texto completo disponível |
|
3 |
Material Type: Capítulo de Livro
|
Visualization for Streaming Telecommunications NetworksSarmento, Rui ; Cordeiro, Mário ; Gama, João Manco, Giuseppe ; Ceci, Michelangelo ; Loglisci, Corrado ; Masciari, Elio ; Ras, Zbigniew W. ; Appice, AnnalisaNew Frontiers in Mining Complex Patterns, p.117-131 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
|
4 |
Material Type: Capítulo de Livro
|
Between Sound and Spelling: Combining Phonetics and Clustering Algorithms to Improve Target Word RecoveryZampieri, Marcos ; de Amorim, Renato Cordeiro Ogrodniczuk, Maciej ; Przepiórkowski, AdamAdvances in Natural Language Processing, p.438-449 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
|
5 |
Material Type: Capítulo de Livro
|
Segmentation of Mammography by Applying Extreme Learning Machine in Tumor DetectionF.R., Cordeiro ; S.M.L., Lima ; A.G., Silva-Filho ; W.P., Santos Costa, José A. F. ; Yin, Hujun ; Barreto, GuilhermeIntelligent Data Engineering and Automated Learning - IDEAL 2012, p.92-100 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
6 |
Material Type: Capítulo de Livro
|
Selecting the Minkowski Exponent for Intelligent K-Means with Feature Weightingde Amorim, Renato Cordeiro ; Mirkin, Boris Aleskerov, Fuad ; Pardalos, Panos M. ; Goldengorin, BorisClusters, Orders, and Trees: Methods and Applications, p.103-117 [Periódico revisado por pares]New York, NY: Springer New YorkTexto completo disponível |
|
7 |
Material Type: Capítulo de Livro
|
Extraction of Bioactive CompoundsInamuddin ; Asiri Abdullah M ; Isloor Arun M Isloor, Arun M ; Asiri, Abdullah M ; InamuddinGreen Sustainable Process for Chemical and Environmental Engineering and Science, 2020, p.1-1United States: ElsevierTexto completo disponível |
|
8 |
Material Type: Capítulo de Livro
|
Clustering Methods for Moderate-to-High Dimensionality DataCordeiro, Robson L. F. ; Faloutsos, Christos ; Traina Júnior, CaetanoData Mining in Large Sets of Complex Data, 2013, p.21-32 [Periódico revisado por pares]London: Springer LondonTexto completo disponível |
|
9 |
Material Type: Capítulo de Livro
|
BoWCordeiro, Robson L. F. ; Faloutsos, Christos ; Traina Júnior, CaetanoData Mining in Large Sets of Complex Data, 2013, p.69-92 [Periódico revisado por pares]London: Springer LondonTexto completo disponível |
|
10 |
Material Type: Capítulo de Livro
|
Relativity in Perspective in Culture Theories: The Götheborg IV ModelCordeiro, CherylHandbook of Research on Organizational Culture and Diversity in the Modern Workforce, 2017, p.217-238Texto completo disponível |