An analysis of polynomial chaos approximations for modeling single-fluid-phase flow in porous medium systems

We examine a variety of polynomial-chaos-motivated approximations to a stochastic form of a steady state groundwater flow model. We consider approaches for truncating the infinite dimensional problem and producing decoupled systems. We discuss conditions under which such decoupling is possible and show that to generalize the known decoupling by numerical cubature, it would be necessary to find new multivariate cubature rules. Finally, we use the acceleration of Monte Carlo to compare the quality of polynomial models obtained for all approaches and find that in general the methods considered are more efficient than Monte Carlo for the relatively small domains considered in this work. A curse of dimensionality in the series expansion of the log-normal stochastic random field used to represent hydraulic conductivity provides a significant impediment to efficient approximations for large domains for all methods considered in this work, other than the Monte Carlo method

On Model Checking Boolean BI

The logic of bunched implications (BI), introduced by O'Hearn and Pym, is a substructural logic which freely combines additive and multiplicative implications. Boolean BI (BBI) denotes BI with classical interpretation of additives and its model is the commutative monoid. We show that when the monoid is finitely generated and propositions are recursively defined, or the monoid is infinitely generated and propositions are restricted to generator propositions, the model checking problem is undecidable. In the case of finitely related monoid and,generator propositions. the model checking problem is EXPSPACE-complete.http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000270711900021&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=8e1609b174ce4e31116a60747a720701Computer Science, Theory & MethodsEICPCI-S(ISTP)

Schools out : Adam Smith and pre-disciplinary international political economy

In this article, I argue that invocations of Adam Smith in international political economy (IPE) often reveal the influence therein of a disciplinary ontological disaggregation of economic and non-economic rationality, which I claim is obscured by the tendency to map its complex intellectual contours in terms of competing schools. I trace the origins of the disciplinary characterisation of Smith as the founder of IPE's liberal tradition to invocations of his thought by centrally important figures in the perceived Austrian, Chicago and German historical schools of economics, and reflect upon the significance to IPE of the reiteration of this portrayal by apparent members of its so-called American and British schools. I additionally contrast these interpretations to those put forward by scholars who seek to interpret IPE and Smith's contribution to it in pre-disciplinary terms, which I claim reflects a distinct ontology to that attributed to the British school of IPE with which their work is often associated. I therefore contend that reflection upon invocations of Smith's thought in IPE problematises the longstanding tendency to map its intellectual terrain in terms of competing schools, reveals that the disciplinary ontological consensus that informs this tendency impacts upon articulations of its core concerns and suggests that a pre-disciplinary approach offers an alternative lens through which such concerns might be more effectively framed