<--- Back to Details
First PageDocument Content
Sleep / Dream / Electroencephalography / Memory / Neuroscience / Non-rapid eye movement sleep / Explicit memory / Slow-wave sleep / Nap / Recall / Spatial memory / Procedural memory
Date: 2012-08-02 15:10:50
Sleep
Dream
Electroencephalography
Memory
Neuroscience
Non-rapid eye movement sleep
Explicit memory
Slow-wave sleep
Nap
Recall
Spatial memory
Procedural memory

Cued memory reactivation during sleep influences skill learning

Add to Reading List

Source URL: faculty.wcas.northwestern.edu

Download Document from Source Website

File Size: 588,67 KB

Share Document on Facebook

Similar Documents

Cryptography / Pyruvate dehydrogenase lipoamide kinase isozyme 1 / Key management / Digital signature / Key

Formal Analysis of Key Management APIs Graham Steel INRIA & LSV, ENS de Cachan 1/48

DocID: 1xVmr - View Document

Theoretical computer science / Markov models / Formal methods / Graph theory / Markov chain / Process calculus / Semantics / Stochastic process / Mathematics

Process algebra and Markov processes The nature of synchronisation Equivalence relations Case study: active badges Summary From Markov to Milner and back: Stochastic process algebras Jane Hillston School of Informatics

DocID: 1xVg5 - View Document

Logic / Mathematical logic / Mathematics / Model theory / Propositional calculus / Logic in computer science / Logical truth / Linear temporal logic / First-order logic / Well-formed formula / Interpretation / Intuitionistic logic

Automated Deduction for Verification Natarajan Shankar SRI International Automated deduction uses computation to perform symbolic logical reasoning. It has been a core technology for program verification from the very be

DocID: 1xV0v - View Document

Computer programming / Software engineering / Computing / Lisp / Functional programming / Data types / Abstract data types / Functional languages / Append / ACL2 / Cons / Nqthm

Machines Reasoning about Machines A Personal Perspective J Strother Moore Department of Computer Sciences

DocID: 1xUSy - View Document

Concurrency control / Linearizability / Transaction processing / Model theory

Introduction R/G Examples Brief history

DocID: 1xUsl - View Document