Search Results - Simpson, Alex

Equivalence and Conditional Independence in Atomic Sheaf Logic by Simpson, Alex

Get full text

Stochastic Calculus via Stopping Derivatives by Simpson, Alex

Get full text

Euclidean interval objects in categories with finite products by Escardo, Martin, Simpson, Alex

Get full text

Safety, Relative Tightness and the Probabilistic Frame Rule by Jereb, Janez Ignacij, Simpson, Alex

Get full text

An Imperative Language for Verified Exact Real-Number Computation by Bauer, Andrej, Park, Sewon, Simpson, Alex

Get full text

Design and initial results from the "Junior" Levitated Dipole Experiment by Chisholm, Craig S., Berry, Thomas, Garnier, Darren T., Badcock, Rodney A., Bioletti, Gabriel, Bouloukakis, Konstantinos, Brewerton, Emily-Kei, Buchanan, Mike A., Burt, Pierce J., Chambers, Eleanor V. W., Chappell, Kris B., Coulson, Patrick, Davidson, Ryan J., Ellingham, Josh P. M., Geursen, Piet, Hamilton, Kent, Hu, Raymond, Hunter, Emily, Jones, Joseph P., Kusay, Plaso, Lazić, Zvonko, Leuw, Bradley, Lynch, Matthew, Mataira, Ratu, McCrohon, Mick, Meadows, Les, Morris, Jack R., Nowacki, Ryan, Purvis, Jack V., Rice, James H. P., Rutten, Michael, Schimanski, Samuel, Sharma, Aaryan, Siamaki, Mohammad, Simpson, Alex, Simpson, Thomas, Smith, Benjamin, Stiers, Eric, Swanson-Dobbs, Emerson, Todd, Joe, Treacher, Eddyn O. P., Tyler, Jared D., Venturumilli, Sriharsha, Weijers, Hubertus W., Wordsworth, Theodore, Zhou, Nancy

Get full text