Real-time visualization of mRNA synthesis during memory formation in live mice
Sign Up to like & getrecommendations! Published in 2022 at "Proceedings of the National Academy of Sciences of the United States of America"
DOI: 10.1073/pnas.2117076119
Abstract: Significance Arc is one of the genes that are rapidly transcribed by neuronal activity and thus used as a marker for memory trace or engram cells. However, the dynamics of engram cell populations is not… read more here.
Keywords: time visualization; visualization mrna; synthesis memory; real time ... See more keywords
On-the-Fly Symbolic Synthesis With Memory Reduction Guarantees
Sign Up to like & getrecommendations! Published in 2023 at "IEEE Transactions on Automatic Control"
DOI: 10.1109/tac.2022.3188483
Abstract: We present novel on-the-fly abstraction-based controller synthesis algorithms for two fundamental specifications—invariance and optimal reachability. In contrast to existing methods, the algorithms we propose do not require precomputation or storage of any large abstraction parts.… read more here.
Keywords: synthesis; synthesis memory; memory; reduction ... See more keywords