Sean Walsh

Identifiers

No identifiers captured yet.

Papers (11)

1. Improving 3D Object Detection for Pedestrians with Virtual Multi-View Synthesis Orientation Estimation cs.CV · 2019 · author #3
2. Leveraging Pre-Trained 3D Object Detection Models For Fast Ground Truth Generation cs.LG · 2018 · author #2
3. The Prehistory of the Subsystems of Second-Order Arithmetic math.HO · 2016 · author #2
4. Definability Aspects of the Denjoy Integral math.LO · 2016 · author #1
5. Realizability Semantics for Quantified Modal Logic: Generalizing Flagg's 1985 Construction math.LO · 2015 · author #2
6. Predicativity, the Russell-Myhill Paradox, and Church's Intensional Logic math.LO · 2015 · author #1
7. Structure and Categoricity: Determinacy of Reference and Truth-Value in the Philosophy of Mathematics math.HO · 2015 · author #2
8. Relative Categoricity and Abstraction Principles math.LO · 2014 · author #1
9. Fragments of Frege's Grundgesetze and G\"odel's Constructible Universe math.LO · 2014 · author #1
10. The Strength of Abstraction with Predicative Comprehension math.LO · 2014 · author #1
11. Comparing Hume's Principle, Basic Law V and Peano Arithmetic math.LO · 2014 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Steven L. Waslander 2 shared papers
• Alex D. Pon 1 shared papers
• Ali Harakeh 1 shared papers
• Benjamin G. Rin 1 shared papers
• Jason Ku 1 shared papers
• Jungwook Lee 1 shared papers
• Sean Ebels-Duggan 1 shared papers
• Tim Button 1 shared papers
• Walter Dean 1 shared papers