104 research outputs found
Analysis of historical changes in soil fertility and organic matter levels of the North American Great Plains
Non-Peer Reviewe
Recommended from our members
Think Again â Supplying War: Reappraising Military Logistics and Its Centrality to Strategy and War
This article argues that logistics constrains strategic opportunity while itself being heavily circumscribed by strategic and operational planning. With the academic literature all but ignoring the centrality of logistics to strategy and war, this article argues for a reappraisal of the critical role of military logistics, and posits that the study and conduct of war and strategy are incomplete at best or false at worst when they ignore this crucial component of the art of war. The article conceptualises the logisticsâstrategy nexus in a novel way, explores its contemporary manifestation in an age of uncertainty, and applies it to a detailed case study of UK operations in Iraq and Afghanistan since 2001
Efficient and Correct Stencil Computation via Pattern Matching and Static Typing
Stencil computations, involving operations over the elements of an array, are a common programming pattern in scientific computing, games, and image processing. As a programming pattern, stencil computations are highly regular and amenable to optimisation and parallelisation. However, general-purpose languages obscure this regular pattern from the compiler, and even the programmer, preventing optimisation and obfuscating (in)correctness. This paper furthers our work on the Ypnos domain-specific language for stencil computations embedded in Haskell. Ypnos allows declarative, abstract specification of stencil computations, exposing the structure of a problem to the compiler and to the programmer via specialised syntax. In this paper we show the decidable safety guarantee that well-formed, well-typed Ypnos programs cannot index outside of array boundaries. Thus indexing in Ypnos is safe and run-time bounds checking can be eliminated. Program information is encoded as types, using the advanced type-system features of the Glasgow Haskell Compiler, with the safe-indexing invariant enforced at compile time via type checking
Use of SMS texts for facilitating access to online alcohol interventions: a feasibility study
A41 Use of SMS texts for facilitating access to online alcohol interventions: a feasibility study
In: Addiction Science & Clinical Practice 2017, 12(Suppl 1): A4
- âŠ