We present a method for defining logical frameworks as a collection of features which are defined and behave independently of one another. Each feature is a set of grammar clauses and rules of deduction such that the result of adding the feature to a framework is a conservative extension of the framework itself. We show how several existing logical frameworks can be so built, and how several mu...

mohaghegh-esabzevarididthemostseriouscontemplations over political life in the safavid era, discussing various political systems from a pragmatic view point. social life, law, just ruler, the objectives of state, utopian political system, defective political system, the charactristics of ruling system, the types of social classes and guilds, the organization of state, emphasis on the asceticism...

Intel Corporation set itself a goal to reduce its global-warming greenhouse gas footprint by 20% by 2012 from 2007 levels. Through the use of sustainable IT, the Intel IT organization is recognized as a significant contributor to the company’s sustainability strategy by transforming its IT operations and overall Intel operations. This article describes how Intel has achieved IT sustainability b...

Hydrological models are created for a wide range of scales and intents. The Catchment Modelling Framework (CMF) extends the Python programming language with hydrology specific language elements, to setup specific hydrological models adapted to the scientific problems and the dominant flow processes of a particular study area. CMF provides a straightforward method to test hydrological theories a...

We used a previously developed simulation model of a plant cell wall and its enzymatic degradation to compare the abilities of two hemicelluloses, glucuronoarabinoxylan (GAX) and xyloglucan (XG), to protect cellulose microfibrils (CMFs) from attack by cellulose-degrading enzymes. Additionally, we investigated the effect of XG abundance on the degradation rate of CMFs in the presence of the same...