Document‐centric XML workflows with fragment digital signatures

The use of digital document management and processing is increasing. Traditional workflows of paper forms are being replaced by electronic workflows of digital documents. These workflows often require multiple signatures to be added to the documents for authorization and/or integrity. We describe examples of digital workflows that illustrate problems with digital signatures: i.e. the use of digital signatures across entire documents results in signatures that can be unnecessarily invalidated by subsequent modification of the document. We propose the use of fragment signatures, which reduce unnecessary invalidation of signatures and enable greater concurrency in workflows. Our approach is document‐centric and does not use a centralized database. We report on an implementation that allows fragment signatures over document fragments as well as the attachment (or embedding) of other documents. This allows collaborative or cooperative editing to occur on parts of a document without disturbing unrelated signatures. We describe the lessons learned from our deployments and offer further ways to embed such signatures into other document types. Copyright © 2010 John Wiley & Sons, Ltd.     

Cameo: an alternative model of concurrency for Eiffel

We present a new concurrency model for the Eiffel programming language. The model is motivated by describing a number of semantic problems with the leading concurrency model for Eiffel, namely SCOOP. Our alternative model aims to preserve the existing behaviour of sequential programs and libraries wherever possible. Comparison with the SCOOP model is made. The concurrency aspects of the alternative model are presented in CSP along with a model of exceptions. The results show that while the new model provides increased parallelism, this comes with the price of increased overhead due to lock management.     

Heterogeneous Notations for Pure Formal Method Integration

We outline an extendible approach for combining formal methods – such as Z, Morgan's refinement calculus, and predicative programming – based on composing specifications written in similar formal languages. We discuss how algorithm refinement can be extended to such a setting, and outline some examples of using integrated formal methods. We also provide justifications for why using combinations of similar methods might be helpful. Received November 1996 / Accepted in revised form August 1998     

Impact of Fluid Flow Shear Stress on Osteoblast Differentiation and Cross-Talk with Articular Chondrocytes

Bone cells, in particular osteoblasts, are capable of communication with each other during bone growth and homeostasis. More recently it has become clear that they also communicate with other cell-types; including chondrocytes in articular cartilage. One way that this process is facilitated is by interstitial fluid movement within the pericellular and extracellular matrices. This stimulus is also an important mechanical signal in skeletal tissues, and is known to generate shear stresses at the micron-scale (known as fluid flow shear stresses (FFSS)). The primary aim of this study was to develop and characterize an in vitro bone–cartilage crosstalk system, to examine the effect of FFSS on these cell types. Specifically, we evaluated the response of osteoblasts and chondrocytes to FFSS and the effect of FFSS-induced soluble factors from the former, on the latter. This system will ultimately be used to help us understand the role of subchondral bone damage in articular cartilage degeneration. We also carried out a comparison of responses between cell lines and primary murine cells in this work. Our findings demonstrate that primary cells produce a more reliable and reproducible response to FFSS. Furthermore we found that at lower magnitudes , direct FFSS produces anabolic responses in both chondrocytes and osteoblasts, whereas higher levels produce more catabolic responses. Finally we show that exposure to osteoblast-derived factors in conditioned media experiments produced similarly catabolic changes in primary chondrocytes.     

The role of biodegradation in limiting the accumulation of petroleum hydrocarbons in raingarden soils

Previous studies have indicated that raingardens are effective at removing petroleum hydrocarbons from stormwater. There are concerns, however, that petroleum hydrocarbons could accumulate in raingarden soil, potentially resulting in liability for the site owner. In this work, 75 soil samples were collected from 58 raingardens and 4 upland (i.e., control) sites in the Minneapolis, Minnesota area, representing a range of raingarden ages and catchment land uses. Total petroleum hydrocarbon (TPH) concentrations in the samples were quantified, as were 16S rRNA genes for Bacteria and two functional genes that encode for enzymes used in the degradation of petroleum hydrocarbons. TPH levels in all of the raingarden soil samples were low (<3 μg/kg) and not significantly different from one another. The TPH concentration in raingarden soil samples was, however, significantly greater (p ≤ 0.002) than TPH levels in upland sites. In addition, the number of copies of Bacteria 16S rRNA genes and functional genes were greater in the raingardens planted with deeply-rooted natives and cultivars than in raingardens containing simply turf grass or mulch (p < 0.036), suggesting that planted raingardens may be better able to assimilate TPH inputs. The ability of microorganisms present in the soil samples to degrade a representative petroleum hydrocarbon (naphthalene) was also investigated in batch experiments. A sub-set of the field sites was selected for re-sampling, and all soil samples tested (n = 8) were able to mineralize naphthalene. In these experiments the initial mineralization rate correlated with the number of copies of Bacteria 16S rRNA genes present.     

The effect of intravenous and oral fluconazole on the pharmacokinetics and pharmacodynamics of intravenous alfentanil

The growth-promoting activity of PDGF-BB was studied on the adult osteoclasts in the present study. The PDGF receptor beta was detected on the osteoclast membrane through immunohistochemistry (LSAB method) and immunomicroscopy. The PDGF-BB was exerted on the osteoclasts that adhered to the bone slice at concentrations of 0, 10, 20, 30, and 40 ng/ml. The volume of Howship's lacuna augmented significantly and the number of resorption pits also increased with its dose (p < 0.01). The activity of both total acid phosphatase (ACP) and tartrate-resistant acid phosphatase (TRAP) increased significantly. These results suggest that PDGF-BB promotes adult osteoclastic bone resorption directly through PDGF receptor beta and is believed to play important roles in the bone healing process and reconstruction.