Trace Semantics for the Owicki-Gries Theory Integrated with the Progress Logic from UNITY

The theory of Owicki and Gries has been used as a platform for safety-based verifcation and derivation of concurrent programs. It has also been integrated with the progress logic of UNITY which has allowed newer techniques of progress-based verifcation and derivation to be developed. However, a theoretical basis for the integrated theory has thus far been missing. In this paper, we provide a theoretical background for the logic of Owicki and Gries integrated with the logic of progress from UNITY. An operational semantics for the new framework is provided which is used to prove soundness of the progress logic.

Probabilistic Action System Trace Semantics

Action systems are a construct for reasoning about concurrent, reactive systems, in which concurrent behaviour is described by interleaving atomic actions. Sere and Troubitsyna have proposed an extension to action systems in which actions may be expressed and composed using discrete probabilistic choice as well as demonic nondeterministic choice. In this paper we develop a trace-based semantics for probabilistic action systems. This semantics provides a simple theoretical base on which practical refinement rules for probabilistic action systems may be justified.

The emergence of the determiner system in Mauritian Creole: a syntax semantics mapping

This paper describes the emergence of new functional items in the Mauritian Creole noun phrase, following the collapse of the French determiner system when superstrate and substrate came into contact. The aim of the paper is to show how the new language strived to express the universal semantic contrasts of (in)definiteness and singular vs. plural. The process of grammaticalization of new functional items in the determiner system was accompanied by changes in the syntax from French to creole. An analysis within Chomsky’s Minimalist framework (1995, 2000, 2001) suggests that these changes were driven by the need to map semantic features onto the syntax.

Operational regimes for a simplified one-step artificial chaperone refolding method

The artificial chaperone method for protein refolding developed by Rozema et al. (Rozema, D.; Gellman, S. H. J. Am. Chem. Soc. 1995, 117 (8), 2373-2374) involves the sequential dilution of denatured protein into a buffer containing detergent (cetyltrimethylammonium bromide, CTAB) and then into a refolding buffer containing cyclodextrin WD). In this paper a simplified one-step artificial chaperone method is reported, whereby CTAB is added directly to the denatured solution, which is then diluted directly into a refolding buffer containing P-cyclodextrin (P-CD). This new method can be applied at high protein concentrations, resulting in smaller processing volumes and a more concentrated protein solution following refolding. The increase in achievable protein concentration results from the enhanced solubility of CTAB at elevated temperatures in concentrated denaturant. The refolding yields obtained for the new method were significantly higher than for control experiments lacking additives and were comparable to the yields obtained with the classical two-step approach. A study of the effect of beta-CD and CTAB concentrations on refolding yield suggested two operational regimes: slow stripping ( beta-CDXTABsimilar to1), most suited for higher protein concentrations, and fast stripping (beta-CD/CTABsimilar to2.7), best suited for lower protein concentrations. An increased chaotrope concentration resulted in higher refolding yields and an enlarged operational regime.

Simple operational interpretation of the fidelity of mixed states

This Brief Report presents a corollary to Uhlmann's theorem which provides a simple operational interpretation of the fidelity of mixed states.

Supply chain management as beyond operational efficiency

The orthodoxy of supply chain management (SCM) emphasises competitive advantage through increased operational efficiency and market responsiveness from production and distribution processes into the hands of consumers. It anticipates that future competition will be between chains rather than between firms. While well established in other industry sectors, the SCM concept is newly developed in the Australian agri-food sector. Critical review of the concept has identified key issues of power among channel members, processes of chain initiation and innovation, and the inability of SCM to offer a viable business strategy for some firms. Building on those insights, this paper examines the supply chain concept for horticulture. Horticultural products are characterised by perishability, heterogeneity and lags in production response to market signals. Producers’ profits are vulnerable to quantity, timing of supply and product specification. Many supply chains in smaller industries are loose, fragmented, interwoven, unstable and unique! Firms operating within these environments need an astute understanding of the chains, the hierarchy of channel members and their relative position. Effective business strategies – for individual firms and supply chains - need to be developed and redeveloped to accommodate the dynamic nature of horticulture. Two case studies are discussed as contributions to this early stage of the theoretical development of supply chain management. The SCM concept also has implications for horticultural researchers, involving a wider range of industry stakeholders, technical problems and research skills. As for business management, the usefulness of the concept will depend on its capacity to increase responsiveness to customers’ preferences and customer value.