|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 5 occurrences of 5 keywords
|
|
|
Results
Found 18 publication records. Showing 18 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
237 | Josef Urban |
MPTP 0.2: Design, Implementation, and Initial Experiments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 37(1-2), pp. 21-43, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
MPTP, Mizar, ATP, MPA, re-proving, proof discovery, MML |
163 | Josef Urban |
MPTP - Motivation, Implementation, First Experiments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 33(3-4), pp. 319-339, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 21st International Computer Software and Applications Conference (COMPSAC '97), 11-15 August 1997, Washington, DC, USA, pp. 382-387, 1997, IEEE Computer Society, 0-8186-8105-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
Transmission Protocol, Selective Retransmission, Multimedia |
56 | Josef Urban, Geoff Sutcliffe |
ATP Cross-Verification of the Mizar MPTP Challenge Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic for Programming, Artificial Intelligence, and Reasoning, 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings, pp. 546-560, 2007, Springer, 978-3-540-75558-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
32 | Antony Thomas, Fulvio Mastrogiovanni, Marco Baglietto |
MPTP: Motion-Planning-aware Task Planning for Navigation in Belief Space. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2104.04696, 2021. The full citation details ...](Pics/full.jpeg) |
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". ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Biomed. Eng. ![In: IEEE Trans. Biomed. Eng. 68(7), pp. 2326, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
32 | Antony Thomas, Fulvio Mastrogiovanni, Marco Baglietto |
MPTP: Motion-planning-aware task planning for navigation in belief space. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Robotics Auton. Syst. ![In: Robotics Auton. Syst. 141, pp. 103786, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Biomed. Eng. ![In: IEEE Trans. Biomed. Eng. 66(11), pp. 3006-3013, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NeuroImage ![In: NeuroImage 102, pp. 249-261, 2014. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMBC ![In: 33rd Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBC 2011, Boston, MA, USA, August 30 - Sept. 3, 2011, pp. 663-666, 2011, IEEE, 978-1-4244-4121-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NeuroImage ![In: NeuroImage 52(Supplement-1), pp. S66, 2010. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NeuroImage ![In: NeuroImage 30(1), pp. 26-35, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NeuroImage ![In: NeuroImage 26(4), pp. 1150-1158, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
32 | Josef Urban |
MPTP 0.1: System Description. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTP ![In: 4th International Workshop on First-Order Theorem Proving, FTP 2003, in connection with RDP 2003, Federated Conference on Rewriting, Deduction and Programming, Valencia, Spain, June 12-14, 2003, pp. 147-152, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NeuroImage ![In: NeuroImage 20(2), pp. 1064-1075, 2003. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Aided Mol. Des. ![In: J. Comput. Aided Mol. Des. 5(5), pp. 405-417, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
25 | Josef Urban, Geoff Sutcliffe |
ATP-based Cross-Verification of Mizar Proofs: Method, Systems, and First Experiments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Comput. Sci. ![In: Math. Comput. Sci. 2(2), pp. 231-251, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAR ![In: Automated Reasoning, 4th International Joint Conference, IJCAR 2008, Sydney, Australia, August 12-15, 2008, Proceedings, pp. 441-456, 2008, Springer, 978-3-540-71069-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #18 of 18 (100 per page; Change: )
|
|