Brian Tyrrell

Publication Activity (10 Years)

Years Active: 2008-2024
Publications (10 Years): 3

Top Topics

Intended Meaning

Statistical Queries

Top Venues

Ann. Pure Appl. Log.

Publications

Brian Tyrrell
Finite undecidability in PAC and PRC fields. Ann. Pure Appl. Log. 175 (10) (2024)
David O. Caplan, Zachary J. Darling, Matthew Edward Grein, Matt Guyton, David Russo, Brian Tyrrell, Andrew Wagner
. OFC (2024)
Brian Tyrrell
Applying Distributional Compositional Categorical Models of Meaning to Language Translation. CAPNS@QI (2018)
Robert Berger, Dennis Rathman, Brian Tyrrell, E. J. Kohler, Michael K. Rose, R. Allen Murphy, Theodore S. Perry, Harry F. Robey, Franz A. Weber, David M. Craig, Antonio M. Soares, Stephen P. Vernon, Robert K. Reich
A 64×64-Pixel CMOS Test Chip for the Development of Large-Format Ultra-High-Speed Snapshot Imagers. IEEE J. Solid State Circuits 43 (9) (2008)