Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Capítulo de Livro
|
![]() |
Experimental Study of the Stress Level at the Workplace Using an Smart Testbed of Wireless Sensor Networks and Ambient Intelligence TechniquesSilva, F. ; Olivares, Teresa ; Royo, F. ; Vergara, M. A. ; Analide, C.Natural and Artificial Computation in Engineering and Medical Applications, p.200-209 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
2 |
Material Type: Capítulo de Livro
|
![]() |
Compiling CAO: From Cryptographic Specifications to C ImplementationsBarbosa, Manuel ; Castro, David ; Silva, Paulo F.Principles of Security and Trust, p.240-244 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
3 |
Material Type: Capítulo de Livro
|
![]() |
Efficient Data Structures for Inductive Logic ProgrammingFonseca, Nuno ; Rocha, Ricardo ; Camacho, Rui ; Silva, FernandoInductive Logic Programming, 2003, p.130-145 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
4 |
Material Type: Capítulo de Livro
|
![]() |
On Avoiding Redundancy in Inductive Logic ProgrammingFonseca, Nuno ; Costa, Vítor S. ; Silva, Fernando ; Camacho, RuiInductive Logic Programming, 2004, p.132-146 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
5 |
Material Type: Capítulo de Livro
|
![]() |
Mob: A Scripting Language for Mobile Agents Based on a Process CalculusPaulino, Hervé ; Lopes, Luís ; Silva, FernandoLecture notes in computer science, 2003, p.40-43 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
6 |
Material Type: Capítulo de Livro
|
![]() |
A Multi-threaded Asynchronous LanguagePaulino, Hervé ; Marques, Pedro ; Lopes, Luís ; Vasconcelos, Vasco ; Silva, FernandoParallel Computing Technologies, p.316-323 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
7 |
Material Type: Capítulo de Livro
|
![]() |
Time Series Classification with Representation EnsemblesGiusti, Rafael ; Silva, Diego F. ; Batista, Gustavo E. A. P. A.Advances in Intelligent Data Analysis XIV, 2015, Vol.9385, p.108-119 [Periódico revisado por pares]Switzerland: Springer International Publishing AGTexto completo disponível |
8 |
Material Type: Capítulo de Livro
|
![]() |
Concurrent Table Accesses in Parallel Tabled Logic ProgramsRocha, Ricardo ; Silva, Fernando ; Costa, Vítor SantosEuro-Par 2004 Parallel Processing, 2004, p.662-670 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
9 |
Material Type: Capítulo de Livro
|
![]() |
Type Checking Cryptography ImplementationsBarbosa, Manuel ; Moss, Andrew ; Page, Dan ; Rodrigues, Nuno F. ; Silva, Paulo F.Fundamentals of Software Engineering, p.316-334 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
10 |
Material Type: Capítulo de Livro
|
![]() |
Automatic Facial Recognition: A Systematic Review on the Problem of Light VariationPrado, Kelvin S. ; Roman, Norton T. ; Silva, Valdinei F. ; Bernardes, João L. ; Digiampietri, Luciano A. ; Ortega, Enrique M. ; Lima, Clodoaldo A. M. ; Cura, Luis M. V. ; Antunes, Marcelo M.Human-Computer Interaction. Interaction Platforms and Techniques, p.211-221 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |