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 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 the role of practice and training in rehabilitation, emphasizing the importance of effortful training and the use of stimulation to enhance motor function.