Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Capítulo de Livro
|
![]() |
Multiple Conclusion Linear Logic: Cut Elimination and MoreEades, Harley ; de Paiva, ValeriaLogical Foundations of Computer Science, 2015, Vol.9537, p.90-105 [Periódico revisado por pares]Switzerland: Springer International Publishing AGTexto completo disponível |
2 |
Material Type: Capítulo de Livro
|
![]() |
ArtistRank -- Analysis and Comparison of Artists Through the Characterization Data from Different Sourcesde Melo Faria, Felipe Lopes ; Paiva, Débora M. B. ; Pereira, Álvaro R.Computational Science and Its Applications - ICCSA 2016, 2016, Vol.9790, p.60-76 [Periódico revisado por pares]Switzerland: Springer International Publishing AGTexto completo disponível |
3 |
Material Type: Capítulo de Livro
|
![]() |
How Facial Expressions and Small Talk May Influence Trust in a RobotParadeda, Raul Benites ; Hashemian, Mojgan ; Rodrigues, Rafael Afonso ; Paiva, AnaSocial Robotics, 2016, Vol.9979, p.169-178 [Periódico revisado por pares]Switzerland: Springer International Publishing AGTexto completo disponível |
4 |
Material Type: Capítulo de Livro
|
![]() |
A Minimal Learning Machine for Datasets with Missing ValuesMesquita, Diego P. Paiva ; Gomes, João Paulo P. ; Jr, Amauri H. SouzaNeural Information Processing, 2015, Vol.9489, p.565-572 [Periódico revisado por pares]Switzerland: Springer International Publishing AGTexto completo disponível |
5 |
Material Type: Capítulo de Livro
|
![]() |
Dynamics of Fairness in Groups of Autonomous Learning AgentsSantos, Fernando P. ; Santos, Francisco C. ; Melo, Francisco S. ; Paiva, Ana ; Pacheco, Jorge M.Autonomous Agents and Multiagent Systems, 2016, Vol.10002, p.107-126 [Periódico revisado por pares]Switzerland: Springer International Publishing AGTexto completo disponível |
6 |
Material Type: Capítulo de Livro
|
![]() |
A Study on Trust in a Robotic SuitcaseFerreira, Beatriz Quintino ; Karipidou, Kelly ; Rosa, Filipe ; Petisca, Sofia ; Alves-Oliveira, Patrícia ; Paiva, AnaSOCIAL ROBOTICS, (ICSR 2016), 2016, Vol.9979, p.179-189 [Periódico revisado por pares]Switzerland: Springer International Publishing AGTexto completo disponível |
7 |
Material Type: Capítulo de Livro
|
![]() |
An Interactive Tangram Game for Children with AutismBernardo, Beatriz ; Alves-Oliveira, Patrícia ; Santos, Maria Graça ; Melo, Francisco S. ; Paiva, AnaIntelligent Virtual Agents, 2016, Vol.10011, p.500-504 [Periódico revisado por pares]Switzerland: Springer International Publishing AGTexto completo disponível |
8 |
Material Type: Capítulo de Livro
|
![]() |
Free Your Brain a Working Memory Training GamePereira, Gonçalo ; Ninaus, Manuel ; Prada, Rui ; Wood, Guilherme ; Neuper, Christa ; Paiva, AnaGames and Learning Alliance, 2015, Vol.9221, p.132-141 [Periódico revisado por pares]Switzerland: Springer International Publishing AGTexto completo disponível |
9 |
Material Type: Capítulo de Livro
|
![]() |
Categorical Models for Intuitionistic and Linear Type TheoryMaietti, Maria Emilia ; de Paiva, Valeria ; Ritter, EikeFoundation of Software Science and Computation Structures, 2000, Vol.1784, p.223-237 [Periódico revisado por pares]Germany: Springer Berlin / HeidelbergTexto completo disponível |
10 |
Material Type: Capítulo de Livro
|
![]() |
Noun Sense Disambiguation with WordNet for Software Design RetrievalGomes, Paulo ; Pereira, Francisco C. ; Paiva, Paulo ; Seco, Nuno ; Carreiro, Paulo ; Ferreira, José Luís ; Bento, CarlosAdvances in Artificial Intelligence, 2003, Vol.2671, p.537-543 [Periódico revisado por pares]Germany: Springer Berlin / HeidelbergTexto completo disponível |