A Case Study of the Impact of Bioenergy Development Upon Crop Production, Livestock Feeding, and Water Resource Usage in Kansas

The development of grain-based ethanol production in Kansas has had a marked impact upon the feedgrain and livestock industries of the state. The increased focus on feedgrain production stemming from ethanol development impacts the use and sustainability of Kansas water resources, and has changed the proportional mix of crops grown in the state. The need to handle increased amounts of feedgrains and to transport them to ethanol plants has affected the functional role of local grain elevators as well as the directional flow of grain within the state. The grain trucking industry has been dramatically affected by the increase in demand for moving both feedstock inputs and co-product outputs to and from ethanol plants in the state.Crop Production/Industries, Livestock Production/Industries, Resource /Energy Economics and Policy,

Modal Ω-Logic: Automata, Neo-Logicism, and Set-Theoretic Realism

This essay examines the philosophical significance of $\Omega$-logic in Zermelo-Fraenkel set theory with choice (ZFC). The duality between coalgebra and algebra permits Boolean-valued algebraic models of ZFC to be interpreted as coalgebras. The modal profile of $\Omega$-logical validity can then be countenanced within a coalgebraic logic, and $\Omega$-logical validity can be defined via deterministic automata. I argue that the philosophical significance of the foregoing is two-fold. First, because the epistemic and modal profiles of $\Omega$-logical validity correspond to those of second-order logical consequence, $\Omega$-logical validity is genuinely logical, and thus vindicates a neo-logicist conception of mathematical truth in the set-theoretic multiverse. Second, the foregoing provides a modal-computational account of the interpretation of mathematical vocabulary, adducing in favor of a realist conception of the cumulative hierarchy of sets

Massively parallel landscape-evolution modelling using general purpose graphical processing units

As our expectations of what computer systems can do and our ability to capture data improves, the desire to perform ever more computationally intensive tasks increases. Often these tasks, comprising vast numbers of repeated computations, are highly interdependent on each other – a closely coupled problem. The process of Landscape-Evolution Modelling is an example of such a problem. In order to produce realistic models it is necessary to process landscapes containing millions of data points over time periods extending up to millions of years. This leads to non-tractable execution times, often in the order of years. Researchers therefore seek multiple orders of magnitude reduction in the execution time of these models. The massively parallel programming environment offered through General Purpose Graphical Processing Units offers the potential for multiple orders of magnitude speedup in code execution times. In this paper we demonstrate how the time dominant parts of a Landscape-Evolution Model can be recoded for a massively parallel architecture providing two orders of magnitude reduction in execution time

Quine, Ontology, and Physicalism

Quine's views on ontology and naturalism are well-known but rarely considered in tandem. According to my interpretation the connection between them is vital. I read Quine as a global epistemic structuralist. Quine thought we only ever know objects qua solutions to puzzles about significant intersections in observations. Objects are always accessed descriptively, via their roles in our best theory. Quine's Kant lectures contain an early version of epistemic structuralism with uncharacteristic remarks about the mental. Here Quine embraces mitigated anomalous monism, allowing introspection and the availability in principle of full physical descriptions of the perceptual states which get science off the ground. Later versions abandon these ideas. My epistemic-structural interpretation explains why. I argue first-personal introspective access to mental states is incompatible with global epistemic structuralism

Hard and Blind: On Wittgenstein's Genealogical View of Logical Necessity

My main aim is to sketch a certain reading (‘genealogical') of later Wittgenstein's views on logical necessity. Along the way, I engage with the inferentialism currently debated in the literature on the epistemology of deductive logic.publishedVersio

Two decades of numerical modelling to understand long term fluvial archives: Advances and future perspectives

The development and application of numerical models to investigate fluvial sedimentary archives has increased during the last decades resulting in a sustained growth in the number of scientific publications with keywords, 'fluvial models', 'fluvial process models' and 'fluvial numerical models'. In this context we compile and review the current contributions of numerical modelling to the understanding of fluvial archives. In particular, recent advances, current limitations, previous unexpected results and future perspectives are all discussed. Numerical modelling efforts have demonstrated that fluvial systems can display non-linear behaviour with often unexpected dynamics causing significant delay, amplification, attenuation or blurring of externally controlled signals in their simulated record. Numerical simulations have also demonstrated that fluvial records can be generated by intrinsic dynamics without any change in external controls. Many other model applications demonstrate that fluvial archives, specifically of large fluvial systems, can be convincingly simulated as a function of the interplay of (palaeo) landscape properties and extrinsic climate, base level and crustal controls. All discussed models can, after some calibration, produce believable matches with real world systems suggesting that equifinality - where a given end state can be reached through many different pathways starting from different initial conditions and physical assumptions - plays an important role in fluvial records and their modelling. The overall future challenge lies in the development of new methodologies for a more independent validation of system dynamics and research strategies that allow the separation of intrinsic and extrinsic record signals using combined fieldwork and modelling