Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Capítulo de Livro
|
QoS-Based Service Selection and Ranking with Trust and Reputation ManagementVu, Le-Hung ; Hauswirth, Manfred ; Aberer, KarlLecture notes in computer science, 2005, Vol.3760, p.466-483 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergSem texto completo |
|
2 |
Material Type: Capítulo de Livro
|
Learning Factors Analysis – A General Method for Cognitive Model Evaluation and ImprovementCen, Hao ; Koedinger, Kenneth ; Junker, BrianIntelligent Tutoring Systems, 2006, p.164-175 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergSem texto completo |
|
3 |
Material Type: Capítulo de Livro
|
RAIDb: redundant array of inexpensive databasesCecchet, Emmanuel Cao, Jiannong ; Yang, Laurence T. ; Guo, Minyi ; Lau, FrancisLecture notes in computer science, 2004, p.115-125 [Periódico revisado por pares]Berlin, Heidelberg: Springer-VerlagSem texto completo |
|
4 |
Material Type: Capítulo de Livro
|
Adapting to When Students Game an Intelligent Tutoring SystemBaker, Ryan S. J. d. ; Corbett, Albert T. ; Koedinger, Kenneth R. ; Evenson, Shelley ; Roll, Ido ; Wagner, Angela Z. ; Naim, Meghan ; Raspat, Jay ; Baker, Daniel J. ; Beck, Joseph E.Intelligent Tutoring Systems, 2006, p.392-401 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergSem texto completo |
|
5 |
Material Type: Capítulo de Livro
|
PropofolVanlersberghe, C. ; Camu, F.Handbook of experimental pharmacology, 2008 (182), p.227-252 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergSem texto completo |
|
6 |
Material Type: Capítulo de Livro
|
The Cognitive Tutor Authoring Tools (CTAT): Preliminary Evaluation of Efficiency GainsAleven, Vincent ; McLaren, Bruce M. ; Sewall, Jonathan ; Koedinger, Kenneth R.Intelligent Tutoring Systems, 2006, p.61-70 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergSem texto completo |
|
7 |
Material Type: Capítulo de Livro
|
PHAVer: Algorithmic Verification of Hybrid Systems Past HyTechFrehse, GoranHybrid Systems: Computation and Control, p.258-273 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergSem texto completo |
|
8 |
Material Type: Capítulo de Livro
|
Testing Concurrent Systems: A Formal ApproachTretmans, JanCONCUR’99 Concurrency Theory, 1999, p.46-65 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
9 |
Material Type: Capítulo de Livro
|
A Review of Mobile HCI Research MethodsKjeldskov, Jesper ; Graham, ConnorHuman-Computer Interaction with Mobile Devices and Services, 2003, p.317-335 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
10 |
Material Type: Capítulo de Livro
|
Observability of Linear Hybrid SystemsVidal, René ; Chiuso, Alessandro ; Soatto, Stefano ; Sastry, ShankarHybrid Systems: Computation and Control, p.526-539 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |