Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Capítulo de Livro
|
An Interactive Tangram Game for Children with AutismTraum, David ; Swartout, William ; Khooshabeh, Peter ; Kopp, Stefan ; Scherer, Stefan ; Leuski, AntonIntelligent Virtual Agents, 2016, Vol.10011, p.500-504 [Periódico revisado por pares]Switzerland: Springer International Publishing AGTexto completo disponível |
|
2 |
Material Type: Capítulo de Livro
|
Fat Percentage Equation for Children with Cerebral Palsy: A Novel ApproachNeves, E.B ; Ripka, W.L ; Rosário, B.R ; Pol, S ; Krueger, E ; Oliveira, M.C.NXIII Mediterranean Conference on Medical and Biological Engineering and Computing 2013, 2014, Vol.41, p.121-124Cham: Springer International PublishingTexto completo disponível |
|
3 |
Material Type: Capítulo de Livro
|
Dico: A Conceptual Model to Support the Design and Evaluation of Advanced Search Features for Exploratory SearchAbascal, Julio ; Barbosa, Simone ; Fetter, Mirko ; Gross, Tom ; Palanque, Philippe ; Winckler, MarcoHuman-Computer Interaction - INTERACT 2015, 2015, Vol.9299, p.87-104 [Periódico revisado por pares]Switzerland: Springer International Publishing AGTexto completo disponível |
|
4 |
Material Type: Capítulo de Livro
|
Automatic Generation of Poetry Inspired by Twitter TrendsGonçalo Oliveira, HugoKnowledge Discovery, Knowledge Engineering and Knowledge Management, p.13-27 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
|
5 |
Material Type: Capítulo de Livro
|
Causality in Bounded Petri Nets is MSO DefinableVäänänen, Jouko ; Hirvonen, Åsa ; de Queiroz, RuyLogic, Language, Information, and Computation, 2016, Vol.9803, p.200-214 [Periódico revisado por pares]Germany: Springer Berlin / HeidelbergTexto completo disponível |
|
6 |
Material Type: Capítulo de Livro
|
Multi-hop Localization Method Based on Tribes AlgorithmGervasi, Osvaldo ; Murgante, Beniamino ; Misra, Sanjay ; Rocha, Ana Maria A. C ; Torre, Carmelo M ; Taniar, David ; Apduhan, Bernady O ; Stankova, Elena ; Wang, ShangguangComputational Science and Its Applications - ICCSA 2016, 2016, Vol.9790, p.156-170 [Periódico revisado por pares]Switzerland: Springer International Publishing AGTexto completo disponível |
|
7 |
Material Type: Capítulo de Livro
|
The Word Problem for Finitely Presented Quandles is Undecidablede Paiva, Valeria ; de Queiroz, Ruy ; Moss, Lawrence S ; Leivant, Daniel ; de Oliveira, Anjolina GLogic, Language, Information, and Computation, 2015, Vol.9160, p.1-13 [Periódico revisado por pares]Germany: Springer Berlin / HeidelbergTexto completo disponível |
|
8 |
Material Type: Capítulo de Livro
|
Local Livelock Analysis of Component-Based ModelsOgata, Kazuhiro ; Lawford, Mark ; Liu, ShaoyingFormal Methods and Software Engineering, 2016, Vol.10009, p.279-295 [Periódico revisado por pares]Switzerland: Springer International Publishing AGTexto completo disponível |
|
9 |
Material Type: Capítulo de Livro
|
Vbam - Byzantine Atomic Multicast in LAN Based on Virtualization TechnologyLung, Lau ; Rech, Luciana ; Silva, Marcelo ; Magnabosco, LeandroNew Results in Dependability and Computer Systems, 2013, p.365-374Heidelberg: Springer International PublishingTexto completo disponível |
|
10 |
Material Type: Capítulo de Livro
|
A Social Network for Sharing Learning Segments and CompositionsOliveira, Edmar Welington ; Siqueira, Sean W. M. ; Braz, Maria Helena L. B.Information Systems, E-learning, and Knowledge Management Research, p.216-225 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |