We describe the implementation of a subset of the Hume programming language on a FPGA architecture at the gate level. Hume is a domain specific language for developping multi-process systems requiring strong static guarantees that resource bounds are met. The compiler produces RT-level, synthetizable VHDL code that can be processed by a standard tool chain to program FPGAs at the gate level. Pr...

There is growing evidence that terrestrial ecosystems are exporting more dissolved organic carbon (DOC) to aquatic ecosystems than they did just a few decades ago. This "browning" phenomenon will alter the chemistry, physics, and biology of inland water bodies in complex and difficult-to-predict ways. Experiments provide an opportunity to elucidate how browning will affect the stability and fun...

The word ‘Induction’ and its cognates in other languages, of which for present purposes the most important is Latin ‘inductio’, have a complex semantic history, as does the Greek ἐπαγωγή from which they were derived. Though some of these uses — electromagnetic induction, or the induction of a clergyman into a new benefice — are manifestly irrelevant, others that still diverge significantly from...

Thomas Reid offers a powerful challenge to Hume and his skeptical system. In “Thomas Reid on Epistemic Principles,” William Alston gives an explanation of that challenge and concludes in favor of a Reidian-inspired thesis. I argue, however, that Alston’s thesis is a diluted version of Reid’s radical position, one that Reid’s principles cannot accommodate. Thus, I conclude that, because Alston’s...

Speech perception phenomena have been drawn on by researchers in the area of phonological theory to elucidate synchronic phonological processes such as neutralization (Steriade 1995, 1997), consonant/consonant metathesis (Hume 1998, 2001), place assimilation (Jun 1995), etc. It has also been found that listeners' perceptual abilities are influenced by their native language experience (e.g. Hume...

Philosophers have become accustomed to being queried as the value of their discipline. Hume, too, grappled with these questions. In a collection four essays, entitled “The Epicurean,” Stoic,” Platonist,” and Sceptic,” Hume discusses nature happiness. Sceptic” closes by downplaying philosophy, in particular its ability meaningfully contribute human Which characters, if any, speaks for Hume? this...

Understanding the distinction between impressions and ideas that Hume draws in the opening paragraphs of his A Treatise on Human Nature is essential for understanding much of Hume’s philosophy. This, however, is a task that has been the cause of a good deal of controversy in the literature on Hume. I here argue that the significant philosophical and exegetical issues previous treatments of this...