Michael Byrd

Publication Activity (10 Years)

Years Active: 1973-2023
Publications (10 Years): 3

Top Topics

Subdivision Scheme

Top Venues

Comput. Stat. Data Anal.

Publications

Michael A. Burr, Michael Byrd
Certified simultaneous isotopic approximation of pairs of curves via subdivision. ISSAC (2023)
Michael Burr, Michael Byrd
Certified simultaneous isotopic approximation of pairs of curves via subdivision. CoRR (2023)
Michael Byrd, Linh H. Nghiem, Monnie McGee
Bayesian regularization of Gaussian graphical models with measurement error. Comput. Stat. Data Anal. 156 (2021)
Michael Byrd, Casady Bowman, Takashi Yamauchi
Cooing, Crying, and Babbling: A Link between Music and Prelinguistic Communication. CogSci (2012)
Elizabeth Sklar, Chipp Jansen, Jonathan Chan, Michael Byrd
Toward a Methodology for Agent-Based Data Mining and Visualization. ADMI (2011)
Jedidiah R. Crandall, Daniel Zinn, Michael Byrd, Earl T. Barr, Rich East
ConceptDoppler: a weather tracker for internet censorship. CCS (2007)
Michael Byrd
Russell, Logicism, and the Choice of Logical Constants. Notre Dame J. Formal Log. 30 (3) (1989)
Michael Byrd
Eventual permanence. Notre Dame J. Formal Log. 21 (3) (1980)
Michael Byrd
A formal interpretation of Łukasiewicz' logics. Notre Dame J. Formal Log. 20 (2) (1979)
Michael Byrd
-Reduction Axioms to the Brouwer System. Math. Log. Q. 24 (25-30) (1978)
Michael Byrd
- revisited. J. Philos. Log. 7 (1) (1978)
Michael Byrd, Dennis Henry
. Math. Log. Q. 24 (12) (1978)
David Ullrich, Michael Byrd
. J. Philos. Log. 6 (1) (1977)
Michael Byrd
. J. Philos. Log. 5 (4) (1976)
Michael Byrd
Knowledge and true belief in Hintikka's epistemic logic. J. Philos. Log. 2 (2) (1973)