Delves into spatial memory usage in RL agents for maze navigation tasks, showing improved performance with visual landmarks but inconsistent results in path choosing.
Explores the implementation of an Octagon Abstract Interpreter for C programs, covering abstract interpretation, octagonal constraints, closures, pointers, and the FrontC parser.
Explores how slow cortical oscillations in the frontal cortex coordinate brain networks and impact memory processes, with a focus on cognitive control and healthy aging.
Explores memory aid for the human brain, focusing on opportunities to study human memory, single cell recordings, and the representation of space, time, and objects.
Explores memory consistency in multiprocessor systems, discussing coherence, consistency models, and the trade-offs between ordering constraints and performance.
Explores memory consistency, cache coherence, and relaxed models in modern CPUs, emphasizing the balance between strict ordering and flexible memory operations.
