Loss of MAP Function Leads to Hippocampal Synapse Loss and Deficits in the Morris Water Maze with Aging
- 期刊名称Journal of Neuroscience
- 作者Ma, Q.-L.; Zuo, X.; Yang, F.; Ubeda, O. J.; Gant, D. J.; Alaverdyan, M.; Kiosea, N. C.; Nazari, S.; Chen, P. P.; Nothias, F.; Chan, P.; Teng, E.; Frautschy, S. A.; Cole, G. M.
- 卷第34卷
- 期第21期
- 印刷ISSN0270-6474
- 电子ISSN1529-2401
- 文件大小5122.53KB
- 发表时间2014-05-21
- DOI10.1523/JNEUROSCI.3439-13.2014
- 页码7124-7136
Path-Directed Abstraction and Refinement for SAT-Based Design DebuggingKeng, Brian; Veneris, Andreas · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2013
[IEEE 2009 Formal Methods in Computer-Aided Design (FMCAD) - Austin, TX, USA (2009.11.15-2009.11.18)] 2009 Formal Methods in Computer-Aided Design - Scaling VLSI design debugging with interpolationKeng, Brian; Veneris, Andreas · 2009
[IEEE 2014 19th Asia and South Pacific Design Automation Conference (ASP-DAC) - Singapore (2014.01.20-2014.01.23)] 2014 19th Asia and South Pacific Design Automation Conference (ASP-DAC) - Automated debugging of missing assumptionsKeng, Brian; Qin, Evean; Veneris, Andreas; Le, Bao · 2014
[ACM Press the 49th Annual Design Automation Conference - San Francisco, California (2012.06.03-2012.06.07)] Proceedings of the 49th Annual Design Automation Conference on - DAC '12 - Path directed abstraction and refinement in SAT-based design debuggingKeng, Brian; Veneris, Andreas · 2012
[IEEE 2010 11th International Workshop on Microprocessor Test and Verification (MTV) - Austin, Texas, USA (2010.12.13-2010.12.15)] 2010 11th International Workshop on Microprocessor Test and Verification - An Automated Framework for Correction and Debug of PSL AssertionsKeng, Brian; Veneris, Andreas; Safarpour, Sean · 2010
[IEEE 2008 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) - San Jose, CA, USA (2008.11.10-2008.11.13)] 2008 IEEE/ACM International Conference on Computer-Aided Design - A succinct memory model for automated design debuggingKeng, Brian; Mangassarian, Hratch; Veneris, Andreas · 2008
[IEEE 2011 16th Asia and South Pacific Design Automation Conference ASP-DAC 2011 - Yokohama, Japan (2011.01.25-2011.01.28)] 16th Asia and South Pacific Design Automation Conference (ASP-DAC 2011) - From RTL to silicon: The case for automated debugVeneris, Andreas; Keng, Brian; Safarpour, Sean · 2011