Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Capítulo de Livro
|
![]() |
The Discrete Cosine Transform over Prime Finite Fieldsde Souza, M. M. C. ; de Oliveira, H. M. ; de Souza, R. M. C. ; Vasconcelos, M. M. Lorenz, Pascal ; de Souza, José Neuman ; Dini, PetreLecture notes in computer science, 2004, p.482-487 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
2 |
Material Type: Capítulo de Livro
|
![]() |
Secure Association Rule SharingOliveira, Stanley R. M. ; Zaïane, Osmar R. ; Saygin, Yücel Srikant, Ramakrishnan ; Zhang, Chengqi ; Dai, HonghuaAdvances in Knowledge Discovery and Data Mining, 2004, p.74-85 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
3 |
Material Type: Capítulo de Livro
|
![]() |
Detecting Promising Areas by Evolutionary Clustering SearchOliveira, Alexandre C. M. ; Lorena, Luiz A. N. Labidi, Sofiane ; Bazzan, Ana L. C.Advances in Artificial Intelligence – SBIA 2004, 2004, p.385-394 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
4 |
Material Type: Capítulo de Livro
|
![]() |
Brined Cheeses and Analogues of Latin American OriginOliveira, M. N ; Brito, C Tamime, AdnanBrined Cheeses, 2006, p.211-248Oxford, UK: Blackwell Science LtdTexto completo disponível |
5 |
Material Type: Capítulo de Livro
|
![]() |
A Distributed Model for Institutions in Open Multi-agent SystemsDe Oliveira, Marcos ; Purvis, Martin ; Cranefield, Stephen ; Nowostawski, Mariusz Howlett, Robert J. ; Negoita, Mircea Gh ; Jain, Lakhmi C.Knowledge-Based Intelligent Information and Engineering Systems, p.1172-1178 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
6 |
Material Type: Capítulo de Livro
|
![]() |
Measuring agreement and harmony in multi-agent societies: A first approachde Oliveira, Flávio M. Wainer, Jacques ; Carvalho, AriadneAdvances in Artificial Intelligence, 2005, p.232-241 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
7 |
Material Type: Capítulo de Livro
|
![]() |
Non-singular structural stable flows on three-dimensional manifoldsde Oliveira, M. C. Izé, Antonio FernandesFunctional Differential Equations and Bifurcation, 2006, p.322-333Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
8 |
Material Type: Capítulo de Livro
|
![]() |
The implementation of LENAOliveira, Claudia M. G. M. Gabbay, Dov M. ; Ohlbach, Hans JürgenPractical Reasoning, 2005, p.710-712 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
9 |
Material Type: Capítulo de Livro
|
![]() |
The implementation of CondLPOliveira, Claudia M. G. M. Gabbay, Dov M. ; Ohlbach, Hans JürgenPractical Reasoning, 2005, p.713-715 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
10 |
Material Type: Capítulo de Livro
|
![]() |
Labelled theorem proving for substructural logicsOliveira, Claudia M. G. M. Wainer, Jacques ; Carvalho, AriadneAdvances in Artificial Intelligence, 2005, p.79-90 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |