Temporal structure and enablement representation for mutual wills: A Petri net approach

Those temporal formalisms that are sporadically found nowadays in the literature of AI & Law are based on temporal logic. We claim a revived role for another major class of temporal representation: Petri nets. This formalism, popular in computing from the 1970s, had its potential recognized on occasion in the literature of legal computing as well, but apparently the discipline has lost sight of it, and its practitioners on average need be tutored into this kind of representation. Asynchronous, concurrent processes—for which the approach is well‐suited—are found in the legal domain, in disparate contexts. We develop an example for Mutual Wills.

Micromagnetic simulation of domain walls in iron films

The micromagnetic structure and energy of 180° domain walls spanning laminar crystals of iron having (100) or (110) surfaces and ranging in thickness from 145 to 580 nm have been investigated by numerical integration of the Landau-Lifshitz-Gilbert equation. Stable equilibrium structures with two flux symmetries were obtained for both crystal orientations at all thicknesses studied.

Details of an integrated approach to three-dimensional dynamic fluid structure interaction

Fluid structure interaction, as applied to flexible structures, has wide application in diverse areas such as flutter in aircraft, wind response of buildings, flows in elastic pipes and blood vessels. Numerical modelling of dynamic fluid-structure interaction (DFSI) involves the coupling of fluid flow and structural mechanics, two fields that are conventionally modelled using two dissimilar methods, thus a single comprehensive computational model of both phenomena is a considerable challenge and until recently work in this area focused on one phenomenon and represented the behaviour of the other more simply. A single, finite volume unstructured mesh (FV-UM) spatial discretisation method has been employed on a single mesh for the entire domain. The Navier Stokes equations for fluid flow are solved using a SIMPLE type procedure and the Newmark b algorithm is employed for solving the dynamic equilibrium equations for linear elastic solid mechanics and mesh movement is achieved using a spring based mesh procedure for dynamic mesh movement. In the paper we describe a number of additional computation issues for the efficient and accurate modelling of three-dimensional, dynamic fluid-structure interaction problems.

Dynamic fluid-structure interactions using finite volume unstructured mesh procedures

A three-dimensional finite volume, unstructured mesh (FV-UM) method for dynamic fluid–structure interaction (DFSI) is described. Fluid structure interaction, as applied to flexible structures, has wide application in diverse areas such as flutter in aircraft, wind response of buildings, flows in elastic pipes and blood vessels. It involves the coupling of fluid flow and structural mechanics, two fields that are conventionally modelled using two dissimilar methods, thus a single comprehensive computational model of both phenomena is a considerable challenge. Until recently work in this area focused on one phenomenon and represented the behaviour of the other more simply. More recently, strategies for solving the full coupling between the fluid and solid mechanics behaviour have been developed. A key contribution has been made by Farhat et al. [Int. J. Numer. Meth. Fluids 21 (1995) 807] employing FV-UM methods for solving the Euler flow equations and a conventional finite element method for the elastic solid mechanics and the spring based mesh procedure of Batina [AIAA paper 0115, 1989] for mesh movement. In this paper, we describe an approach which broadly exploits the three field strategy described by Farhat for fluid flow, structural dynamics and mesh movement but, in the context of DFSI, contains a number of novel features: a single mesh covering the entire domain, a Navier–Stokes flow, a single FV-UM discretisation approach for both the flow and solid mechanics procedures, an implicit predictor–corrector version of the Newmark algorithm, a single code embedding the whole strategy.

Dynamic fluid-structure interaction using finite volume unstructured mesh procedures

A three dimensional finite volume, unstructured mesh method for dynamic fluid-structure interation is described. The broad approach is conventional in that the fluid and structure are solved sequentially. The pressure and viscous stresses from the flow algorithm provide load conditions for the solid algorithm, whilst at the fluid structure interface the deformed structure provides boundary condition from the structure to the fluid. The structure algorithm also provides the necessary mesh adaptation for the flow field, the effect of which is accounted for in the flow algorithm. The procedures described in this work have several novel features, namely: * a single mesh covering the entire domain. * a Navier Stokes flow. * a single FV-UM discretisation approach for both the flow and solid mechanics procedures. * an implicit predictor-corrector version of the Newmark algorithm. * a single code embedding the whole strategy. The procedure is illustrated for a three dimensional loaded cantilever in fluid flow.

A possible model of benzimidazole binding to beta-tubulin disclosed by invoking an inter-domain movement.

Although it is well established that benzimidazole (BZMs) compounds exert their therapeutic effects through binding to helminth beta-tubulin and thus disrupting microtubule-based processes in the parasites, the precise location of the benzimidazole-binding site on the beta-tubulin molecule has yet to be determined. In the present study, we have used previous experimental data as cues to help identify this site. Firstly, benzimidazole resistance has been correlated with a phenylalanine-to-tyrosine substitution at position 200 of Haemonchus contortus beta-tubulin isotype-I. Secondly, site-directed mutagenesis studies, using fungi, have shown that other residues in this region of the protein can influence the interaction of benzimidazoles with beta-tubulin. However, the atomic structure of the alphabeta-tubulin dimer shows that residue 200 and the other implicated residues are buried within the protein. This poses the question: how might benzimidazoles interact with these apparently inaccessible residues? In the present study, we present a mechanism by which those residues generally believed to interact with benzimidazoles may become accessible to the drugs. Furthermore, by docking albendazole-sulphoxide into a modelled H. contortus beta-tubulin molecule we offer a structural explanation for how the mutation conferring benzimidazole resistance in nematodes may act, as well as a possible explanation for the species-specificity of benzimidazole anthelmintics.

TDM modelling and evaluation of different domain transforms for LSI

Latent semantic indexing (LSI) is a popular technique used in information retrieval (IR) applications. This paper presents a novel evaluation strategy based on the use of image processing tools. The authors evaluate the use of the discrete cosine transform (DCT) and Cohen Daubechies Feauveau 9/7 (CDF 9/7) wavelet transform as a pre-processing step for the singular value decomposition (SVD) step of the LSI system. In addition, the effect of different threshold types on the search results is examined. The results show that accuracy can be increased by applying both transforms as a pre-processing step, with better performance for the hard-threshold function. The choice of the best threshold value is a key factor in the transform process. This paper also describes the most effective structure for the database to facilitate efficient searching in the LSI system.

Functional analysis of the C-terminal domain of the WbaP protein that mediates initiation of O antigen synthesis in Salmonella enterica

WbaP catalyzes the transfer of galactose-1-phosphate onto undecaprenyl phosphate (Und-P). The enzyme belongs to a large family of bacterial membrane proteins required for initiation of the synthesis of O antigen lipopolysaccharide and polysaccharide capsules. Previous work in our laboratory demonstrated that the last transmembrane helix and C-terminal tail region of WbaP (WbaP(CT)) are sufficient for enzymatic activity. Here, we demonstrate the cytoplasmic location of the WbaP C-terminal tail and show that WbaPCT domain N-terminally fused to thioredoxin (TrxA-WbaP(CT)) exhibits improved protein folding and enhanced transferase activity. Alanine replacement of highly conserved charged or polar amino acids identified seven critical residues for enzyme activity in vivo and in vitro. Four of these residues are located in regions predicted to be a-helical. These regions and their secondary structure predictions are conserved in distinct WbaP family members, suggesting they may contribute to form a conserved catalytic center.

Functional analysis of the glycero-manno-heptose 7-phosphate kinase domain from the bifunctional HldE protein, which is involved in ADP-L-glycero-D-manno-heptose biosynthesis

The core oligosaccharide component of the lipopolysaccharide can be subdivided into inner and outer core regions. In Escherichia coli, the inner core consists of two 3-deoxy-d-manno-octulosonic acid and three glycero-manno-heptose residues. The HldE protein participates in the biosynthesis of ADP-glycero-manno-heptose precursors used in the assembly of the inner core. HldE comprises two functional domains: an N-terminal region with homology to the ribokinase superfamily (HldE1 domain) and a C-terminal region with homology to the cytidylyltransferase superfamily (HldE2 domain). We have employed the structure of the E. coli ribokinase as a template to model the HldE1 domain and predict critical amino acids required for enzyme activity. Mutation of these residues renders the protein inactive as determined in vivo by functional complementation analysis. However, these mutations did not affect the secondary or tertiary structure of purified HldE1, as judged by fluorescence spectroscopy and circular dichroism. Furthermore, in vivo coexpression of wild-type, chromosomally encoded HldE and mutant HldE1 proteins with amino acid substitutions in the predicted ATP binding site caused a dominant negative phenotype as revealed by increased bacterial sensitivity to novobiocin. Copurification experiments demonstrated that HldE and HldE1 form a complex in vivo. Gel filtration chromatography resulted in the detection of a dimer as the predominant form of the native HldE1 protein. Altogether, our data support the notions that the HldE functional unit is a dimer and that structural components present in each HldE1 monomer are required for enzymatic activity.

Secretion and processing of a novel multi-domain cystatin-like protein by intracellular stages of Trichinella spiralis

The excretory-secretory (ES) proteins of nematode parasites are of major interest as they function at the host-parasite interface and are likely to have roles crucial for successful parasitism. Furthermore, the ES proteins of intracellular nematodes such as Trichinella spiralis may also function to regulate gene expression in the host cell. In a recent proteomic analysis we identified a novel secreted cystatin-like protein from T. spiralis L1 muscle larva. Here we show that the protein, MCD-1 (multi-cystatin-like domain protein 1), contains three repeating cystatin-like domains and analysis of the mcd-1 gene structure suggests that the repeated domains arose from duplication of an ancestral cystatin gene. Cystatins are a diverse group of cysteine protease inhibitors and those secreted by parasitic nematodes are important immuno-modulatory factors. The cystatin superfamily also includes cystatin-like proteins that have no cysteine protease inhibitory activity. A recombinant MCD-1 protein expressed as a GST-fusion protein in Escherichia coli failed to inhibit papain in vitro suggesting that the T. spiralis protein is a new member of the non-inhibitory cystatin-related proteins. MCD-1 secreted from T. spiralis exists as high- and low-molecular weight isoforms and we show that a recombinant MCD-1 protein secreted by HeLa cells undergoes pH-dependent processing that may result in the release of individual cystatin-like domains. Furthermore, we found that mcd-1 gene expression is largely restricted to intracellular stages with the highest levels of expression in the adult worms. It is likely that the major role of the protein is during the intestinal stage of T. spiralis infections.

Identification of the structure of a CO adlayer on a Pt(111) electrode

The structure of a Pt(111) electrode after treatment in an electrolyte and subsequent transfer to an UHV chamber was investigated ex situ by combined low energy electron diffraction (LEED), reflection high energy electron diffraction (RHEED), and Auger electron spectroscopy (AES). Treatment of the sample in a CO saturated 0.1 M HClO solution at potentials between -0.2 and 0.2 V versus Ag/AgCl caused a maximum CO coverage of about 0.75 as probed by cyclic voltammetry, which dropped by partial desorption to about 0.25 upon transfer to the UHV chamber. This adlayer exhibited a (distorted) 3×3 R30° pattern by RHEED (but not with LEED) exhibiting an average domain size of 2.3 nm at room temperature. This is identified with the same phase reported before from gas phase studies, as also corroborated by the similarities of the vibrational spectroscopic data. The same structure (albeit even more poorly ordered) was found after dissociative adsorption of methanol.

A conserved spider silk domain acts as a molecular switch that controls fibre assembly

A huge variety of proteins are able to form fibrillar structures(1), especially at high protein concentrations. Hence, it is surprising that spider silk proteins can be stored in a soluble form at high concentrations and transformed into extremely stable fibres on demand(2,3). Silk proteins are reminiscent of amphiphilic block copolymers containing stretches of polyalanine and glycine-rich polar elements forming a repetitive core flanked by highly conserved non-repetitive amino-terminal(4,5) and carboxy-terminal(6) domains. The N-terminal domain comprises a secretion signal, but further functions remain unassigned. The C-terminal domain was implicated in the control of solubility and fibre formation(7) initiated by changes in ionic composition(8,9) and mechanical stimuli known to align the repetitive sequence elements and promote beta-sheet formation(10-14). However, despite recent structural data(15), little is known about this remarkable behaviour in molecular detail. Here we present the solution structure of the C-terminal domain of a spider dragline silk protein and provide evidence that the structural state of this domain is essential for controlled switching between the storage and assembly forms of silk proteins. In addition, the C-terminal domain also has a role in the alignment of secondary structural features formed by the repetitive elements in the backbone of spider silk proteins, which is known to be important for the mechanical properties of the fibre.

The structure of an unconventional HD-GYP protein from Bdellovibrio reveals the roles of conserved residues in this class of cyclic-di-GMP phosphodiesterases

UNLABELLED: Cyclic-di-GMP is a near-ubiquitous bacterial second messenger that is important in localized signal transmission during the control of various processes, including virulence and switching between planktonic and biofilm-based lifestyles. Cyclic-di-GMP is synthesized by GGDEF diguanylate cyclases and hydrolyzed by EAL or HD-GYP phosphodiesterases, with each functional domain often appended to distinct sensory modules. HD-GYP domain proteins have resisted structural analysis, but here we present the first structural representative of this family (1.28 Å), obtained using the unusual Bd1817 HD-GYP protein from the predatory bacterium Bdellovibrio bacteriovorus. Bd1817 lacks the active-site tyrosine present in most HD-GYP family members yet remains an excellent model of their features, sharing 48% sequence similarity with the archetype RpfG. The protein structure is highly modular and thus provides a basis for delineating domain boundaries in other stimulus-dependent homologues. Conserved residues in the HD-GYP family cluster around a binuclear metal center, which is observed complexed to a molecule of phosphate, providing information on the mode of hydroxide ion attack on substrate. The fold and active site of the HD-GYP domain are different from those of EAL proteins, and restricted access to the active-site cleft is indicative of a different mode of activity regulation. The region encompassing the GYP motif has a novel conformation and is surface exposed and available for complexation with binding partners, including GGDEF proteins.

IMPORTANCE: It is becoming apparent that many bacteria use the signaling molecule cyclic-di-GMP to regulate a variety of processes, most notably, transitions between motility and sessility. Importantly, this regulation is central to several traits implicated in chronic disease (adhesion, biofilm formation, and virulence gene expression). The mechanisms of cyclic-di-GMP synthesis via GGDEF enzymes and hydrolysis via EAL enzymes have been suggested by the analysis of several crystal structures, but no information has been available to date for the unrelated HD-GYP class of hydrolases. Here we present the multidomain structure of an unusual member of the HD-GYP family from the predatory bacterium Bdellovibrio bacteriovorus and detail the features that distinguish it from the wider structural family of general HD fold hydrolases. The structure reveals how a binuclear iron center is formed from several conserved residues and provides a basis for understanding HD-GYP family sequence requirements for c-di-GMP hydrolysis.

FRENKEL-KONTOROVA DOMAIN-WALL PHASE-TRANSITIONS IN AN ADSORBED LAYER - POTASSIUM ON CO(10(1)OVER-BAR-0)

As the potassium fractional coverage of a cobalt {1010BAR} surface is increased over the range 0.2 to 0.6 monolayer the adlayer passes through a series of phase transitions. A commensurate phase is formed at exactly 0.5 monolayer, and corresponds to adatoms bonded in high-symmetry hollow sites on the unreconstructed cobalt surface, with an effective adatom radius lying between the ionic and covalent radii of potassium. A detailed structural study shows that the structural transitions can be characterised within a one-dimensional Frenkel-Kontorova model, with small lateral displacements of adatoms away from hollow sites in the low and high coverage phases. The low coverage phases progress from a distributed vacancy structure to a low density domain-wall structure; while the high coverage phase formed above half a monolayer is a high density asymmetric domain-wall structure.

BAR domains as sensors of membrane curvature:the amphiphysin BAR structure

The BAR (Bin/amphiphysin/Rvs) domain is the most conserved feature in amphiphysins from yeast to human and is also found in endophilins and nadrins. We solved the structure of the Drosophila amphiphysin BAR domain. It is a crescent-shaped dimer that binds preferentially to highly curved negatively charged membranes. With its N-terminal amphipathic helix and BAR domain (N-BAR), amphiphysin can drive membrane curvature in vitro and in vivo. The structure is similar to that of arfaptin2, which we find also binds and tubulates membranes. From this, we predict that BAR domains are in many protein families, including sorting nexins, centaurins, and oligophrenins. The universal and minimal BAR domain is a dimerization, membrane-binding, and curvature-sensing module.