Search results for "MPTP"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
237	Josef Urban	MPTP 0.2: Design, Implementation, and Initial Experiments.	J. Autom. Reason.	2006	DBLP DOI BibTeX RDF	MPTP, Mizar, ATP, MPA, re-proving, proof discovery, MML
163	Josef Urban	MPTP - Motivation, Implementation, First Experiments.	J. Autom. Reason.	2004	DBLP DOI BibTeX RDF	ATP, Mizar, MPA, MPTP
148	Sheng-Yih Wang, Bharat K. Bhargava	Multi-pass Transmission Policy: An Effective Method of Transmitting Large Multimedia Objects in the Wide-Area Network.	COMPSAC	1997	DBLP DOI BibTeX RDF	Transmission Protocol, Selective Retransmission, Multimedia
56	Josef Urban, Geoff Sutcliffe	ATP Cross-Verification of the Mizar MPTP Challenge Problems.	LPAR	2007	DBLP DOI BibTeX RDF
32	Antony Thomas, Fulvio Mastrogiovanni, Marco Baglietto	MPTP: Motion-Planning-aware Task Planning for Navigation in Belief Space.	CoRR	2021	DBLP BibTeX RDF
32	Hui Zhou, Lili Niu, Xiangxiang Xia, Zhengrong Lin, Xiufang Liu, Min Su, Ruibiao Guo, Long Meng, Hairong Zheng	Corrections to "Wearable Ultrasound Improves Motor Function in an MPTP Mouse Model of Parkinson's Disease".	IEEE Trans. Biomed. Eng.	2021	DBLP DOI BibTeX RDF
32	Antony Thomas, Fulvio Mastrogiovanni, Marco Baglietto	MPTP: Motion-planning-aware task planning for navigation in belief space.	Robotics Auton. Syst.	2021	DBLP DOI BibTeX RDF
32	Hui Zhou, Lili Niu, Xiangxiang Xia, Zhengrong Lin, Xiufang Liu, Min Su, Ruibiao Guo, Long Meng, Hairong Zheng	Wearable Ultrasound Improves Motor Function in an MPTP Mouse Model of Parkinson's Disease.	IEEE Trans. Biomed. Eng.	2019	DBLP DOI BibTeX RDF
32	Julien Vezoli, Kwamivi Dzahini, Nicolas Costes 0001, Charles R. E. Wilson, Karim Fifel, Howard M. Cooper, Henry Kennedy 0002, Emmanuel Procyk	Increased DAT binding in the early stage of the dopaminergic lesion: A longitudinal [11C]PE2I binding study in the MPTP-monkey.	NeuroImage	2014	DBLP DOI BibTeX RDF
32	Peter A. Tass, Li Qin, Christian Hauptmann, Sandra Dovero, Erwan Bezard, Thomas Boraud, Wassilios G. Meissner	The translational value of the MPTP non-human primate model of Parkinsonism for deep brain stimulation research.	EMBC	2011	DBLP DOI BibTeX RDF
32	Brian J. Lopresti, Amanda Dettmar, Rehana Leak, Nathan J. Rockcastle, Michael J. Zigmond, Chester A. Mathis, Zhiming Zhang, Judy Cameron	Regular exercise training protects against MPTP-damage to nigrostriatal dopamine neurons in nonhuman primates.	NeuroImage	2010	DBLP DOI BibTeX RDF
32	Doris J. Doudet, Pedro Rosa-Neto, Ole Lajord Munk, Thomas J. Ruth, Salma Jivan, Paul Cumming	Effect of age on markers for monoaminergic neurons of normal and MPTP-lesioned rhesus monkeys: A multi-tracer PET study.	NeuroImage	2006	DBLP DOI BibTeX RDF
32	Gerda Andringa, Benjamin Drukarch, John G. J. M. Bol, Kora de Bruin, Karolina Sorman, Jan B. A. Habraken, Jan Booij	Pinhole SPECT imaging of dopamine transporters correlates with dopamine transporter immunohistochemical analysis in the MPTP mouse model of Parkinson's disease.	NeuroImage	2005	DBLP DOI BibTeX RDF
32	Josef Urban	MPTP 0.1: System Description.	FTP	2003	DBLP DOI BibTeX RDF
32	Anna-Liisa Brownell, Kelly Canales, Y. Iris Chen, Bruce G. Jenkins, Christopher Owen, Elijahu Livni, Meixiang Yu, Francesca Cicchetti, Rosario Sanchez-Pernaute, Ole Isacson	Mapping of brain function after MPTP-induced neurotoxicity in a primate Parkinson's disease model.	NeuroImage	2003	DBLP DOI BibTeX RDF
32	S. M. N. Efange, R. J. Boudreau	Molecular determinants in the bioactivation of the dopaminergic neurotoxin N-methyl-4-phenyl-1, 2, 3, 6-tetrahydropyridine (MPTP).	J. Comput. Aided Mol. Des.	1991	DBLP DOI BibTeX RDF
25	Josef Urban, Geoff Sutcliffe	ATP-based Cross-Verification of Mizar Proofs: Method, Systems, and First Experiments.	Math. Comput. Sci.	2008	DBLP DOI BibTeX RDF	verification, automated reasoning, Formalized mathematics
25	Josef Urban, Geoff Sutcliffe, Petr Pudlák, Jirí Vyskocil	MaLARea SG1- Machine Learner for Automated Reasoning with Semantic Guidance.	IJCAR	2008	DBLP DOI BibTeX RDF