17 citations · 77 across the 28 of their papers we have counts for
7 papers · 1 filter
Embracing the Laws of Physics: Three Reversible Models of Computation
Jacques Carette, Roshan P. James, Amr Sabry
Our main models of computation (the Turing Machine and the RAM) make fundamental assumptions about which primitive operations are realizable. The consensus is that these include lo…
Building on the Diamonds between Theories: Theory Presentation Combinators
Jacques Carette, Russell O'Connor, Yasmine Sharoda
To build a large library of mathematics, it seems more efficient to take advantage of the inherent structure of mathematical theories. Various theory presentation combinators have…
Biform Theories: Project Description
Jacques Carette, William M. Farmer, Yasmine Sharoda
A biform theory is a combination of an axiomatic theory and an algorithmic theory that supports the integration of reasoning and computation. These are ideal for specifying and rea…
From high-level inference algorithms to efficient code
Rajan Walia, Praveen Narayanan, Jacques Carette +2
Probabilistic programming languages are valuable because they allow domain experts to express probabilistic models and inference algorithms without worrying about irrelevant detail…
Statistical Software for Psychology: Comparing Development Practices Between CRAN and Other Communities
Spencer Smith, Yue Sun, Jacques Carette
Different communities rely heavily on software, but use quite different software development practices. {\bf Objective}: We wanted to measure the state of the practice in the area…
State of the Practice for GIS Software
W. Spencer Smith, Adam Lazzarato, Jacques Carette
We present a reproducible method to analyze the state of software development practices in a given scientific domain and apply this method to Geographic Information Systems (GIS).…