Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Capítulo de Livro
|
![]() |
Chapter 20 What are the differences between long-term, short-term, and working memory?Cowan, NelsonProgress in Brain Research, 2008, Vol.169, p.323-338 [Periódico revisado por pares]Elsevier Science & TechnologyTexto completo disponível |
2 |
Material Type: Capítulo de Livro
|
![]() |
The temporal lobes and memoryCarlesimo, Giovanni A.Handbook of Clinical Neurology, 2022, Vol.187, p.319-337 [Periódico revisado por pares]Elsevier Health SciencesTexto completo disponível |
3 |
Material Type: Capítulo de Livro
|
![]() |
Frama-C: A Software Analysis PerspectiveCuoq, Pascal ; Kirchner, Florent ; Kosmatov, Nikolai ; Prevosto, Virgile ; Signoles, Julien ; Yakobowski, BorisSoftware Engineering and Formal Methods, p.233-247 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
4 |
Material Type: Capítulo de Livro
|
![]() |
DeepCare: A Deep Dynamic Memory Model for Predictive MedicinePham, Trang ; Tran, Truyen ; Phung, Dinh ; Venkatesh, SvethaAdvances in Knowledge Discovery and Data Mining, p.30-41 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
5 |
Material Type: Capítulo de Livro
|
![]() |
Linearizability of Persistent Memory Objects Under a Full-System-Crash Failure ModelIzraelevitz, Joseph ; Mendes, Hammurabi ; Scott, Michael L.Distributed Computing, 2016, Vol.9888, p.313-327 [Periódico revisado por pares]Germany: Springer Berlin / HeidelbergTexto completo disponível |
6 |
Material Type: Capítulo de Livro
|
![]() |
Wait a Minute! A fast, Cross-VM Attack on AESIrazoqui, Gorka ; Inci, Mehmet Sinan ; Eisenbarth, Thomas ; Sunar, BerkResearch in Attacks, Intrusions and Defenses, p.299-319 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
7 |
Material Type: Capítulo de Livro
|
![]() |
DAPs: Deep Action Proposals for Action UnderstandingEscorcia, Victor ; Caba Heilbron, Fabian ; Niebles, Juan Carlos ; Ghanem, BernardComputer Vision – ECCV 2016, p.768-784 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
8 |
Material Type: Capítulo de Livro
|
![]() |
Partial Orders for Efficient Bounded Model Checking of Concurrent SoftwareAlglave, Jade ; Kroening, Daniel ; Tautschnig, MichaelComputer Aided Verification, p.141-157 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
9 |
Material Type: Capítulo de Livro
|
![]() |
Ask, Attend and Answer: Exploring Question-Guided Spatial Attention for Visual Question AnsweringXu, Huijuan ; Saenko, KateComputer Vision – ECCV 2016, p.451-466 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
10 |
Material Type: Capítulo de Livro
|
![]() |
Shape Memory Systems with Biodegradable PolyestersKarger Kocsis, József ; Siengchin, Suchart Fakirov, StoykoBiodegradable Polyesters, 2015, p.1-1Germany: John Wiley & SonsTexto completo disponível |