Refining specifications to logic programs

The refinement calculus provides a framework for the stepwise development of imperative programs from specifications. In this paper we study a refinement calculus for deriving logic programs. Dealing with logic programs rather than imperative programs has the dual advantages that, due to the expressive power of logic programs, the final program is closer to the original specification, and each refinement step can achieve more. Together these reduce the overall number of derivation steps. We present a logic programming language extended with specification constructs (including general predicates, assertions, and types and invariants) to form a wide-spectrum language. General predicates allow non-executable properties to be included in specifications. Assertions, types and invariants make assumptions about the intended inputs of a procedure explicit, and can be used during refinement to optimize the constructed logic program. We provide a semantics for the extended logic programming language and derive a set of refinement laws. Finally we apply these to an example derivation.

Molecular adjuvant effects of a conformationally biased agonist elf human C5a anaphylatoxin

A conformationally biased decapeptide agonist of human C5a anaphylatoxin (YSFKPMPLaR) was used as a molecular adjuvant in stimulating Ab responses against peptide epitopes derived from human MUC1 glycoprotein and the human mu and kappa opioid receptors. C57BL6 mice were immunized with the MUC1 epitope (YKQGGFLGL); the C5a agonist (YSFKPMPLaR); YSFKPMPLaR and YKQGGFLGL together, but unconjugated; a C5a-active, MUC1 epitope construct (YKQGGFLGLYSFKPMPLaR); and a C5a-inactive, reversed moiety construct (YSFKPMPLaRYKQGGFLGL). High Ab titers specific for the MUC1 epitope were observed Only in mice immunized with the C5a-active epitope construct. Similar results were obtained in BALB/c mice immunized with the C5a-active, MUC1 epitope construct, Abs from the sera of the C57BL6 mice were predominately of the IgG2a, IgC2b, and IgM isotypes and were reactive against human recombinant MUC1 and MUC1 expressed by the Panc-1 M1F.15 pancreatic cell line, When compared with the corresponding KLH-epitope conjugates in C57BL6 mice, the epitope-C5a agonist constructs produced titers of specific IgG Abs of isotypes distinct from those generated by the keyhole limpet hemocyanin-epitope conjugates, Rabbits immunized with a mu opioid receptor epitope-C5a agonist construct (GDLSDPCGNRTNLGGRDSLYSFKPMPLaR) or a kappa opioid receptor epitope-C5a agonist construct (FPGWAEPDSNGSEDAQLYSFKPMPLaR) generated high titer, epitope-specific Ab responses, Ab titers generated in response to the opioid epitope-C5a agonist constructs were comparable to those generated by the opioid KLH-epitope conjugates, The results of this study are discussed in terms of possible mechanisms by which the conformationally biased C5a agonist serves as a molecular adjuvant.

Cross-linking studies and membrane localization and assembly of radiolabelled large mechanosensitive ion channel (MscL) of Escherichia coli

The gene encoding the large conductance mechanosensitive ion channel (MscL) of Escherichia coli and several deletion mutants of mscL were cloned under the control of the T7 RNA polymerase promoter. Transformation of these constructs into an E. coli strain carrying an inducible T7 RNA polymerase gene allowed the specific production and labelling of MscL with [S-35]methionine. Preparation of membrane fractions of E. coli cells by sucrose gradient centrifugation indicated that the radiolabelled MscL was present in the inner cytoplasmic membrane in agreement with results of several studies. However, treatment of the labelled cells and cell membrane vesicles with various cross-linkers resulted in the majority of labelled protein migrating as a monomer with a small proportion of molecules (approximate to 25%) migrating as dimers and higher order multimers. This result is in contrast with a finding of a study suggesting that the channel exclusively forms hexamers in the cell membrane off. coli (1) and therefore may have profound implication for the activation and/or ''multimerization'' of the channel by mechanical stress exerted to the membrane. In addition, from the specific activity of the radiolabelled protein and the amount of protein in the cytoplasmic membrane fraction we estimated the number of MscL ion channels expressed under these conditions to be approximately 50 channels per single bacterium. (C) 1997 Academic Press.

Comparison of Humanized IgG and FvFc Anti-CD3 Monoclonal Antibodies Expressed in CHO Cells

Two humanized monoclonal antibody constructs bearing the same variable regions of an anti-CD3 monoclonal antibody, whole IgG and FvFc, were expressed in CHO cells. Random and site-specific integration were used resulting in similar expression levels. The transfectants were selected with appropriate selection agent, and the surviving cells were plated in semi-solid medium for capture with FITC-conjugated anti-human IG antibody and picked with the robotic ClonePix FL. Conditioned media from selected clones were purified by affinity chromatography and characterized by SDS-PAGE, Western-blot, SEC-HPLC, and isoelectric focusing. Binding to the target present in healthy human mononuclear cells was assessed by flow cytometry, as well as by competition between the two constructs and the original murine monoclonal antibody. The humanized constructs were not able to dislodge the murine antibody while the murine anti-CD3 antibody could dislodge around 20% of the FvFc or IgG humanized versions. Further in vitro and in vivo pre-clinical analyses will be carried out to verify the ability of the humanized versions to demonstrate the immunoregulatory profile required for a humanized anti-CD3 monoclonal antibody.

Characterisation of five missense mutations in the cystathionine beta-synthase gene from three patients with B-6-nonresponsive homocystinuria

Homocystinuria, due to a deficiency of the enzyme cystathionine beta-synthase (CBS), is an inborn error of sulphur-amino acid metabolism, This is an autosomal recessive disease which results in hyperhomocysteinaemia and a wide range of clinical features, including optic lens dislocation, mental retardation, skeletal abnormalities and premature thrombotic events, We report the identification of 5 missense mutations in the protein-coding region of the CBS gene from 3 patients with pyridoxine-nonresponsive homocystinuria. Reverse-transcription PCR was used to amplify CBS cDNA from each patient and the coding region was analysed by direct sequencing, The mutations detected included 3 novel (1058C --> T, 992C --> A and 1316G --> A) and 2 previously identified (430G --> A and 833C --> T) base alterations in the CBS cDNA, Each of these mutations predicts a single amino acid substitution in the CBS polypeptide, Appropriate cassettes of patient CBS cDNA, containing each of the above defined mutations, were used to replace the corresponding cassettes of normal CBS cDNA sequence within the bacterial expression vector pT7-7. These recombinant mutant and normal CBS constructs were expressed in Escherichia coli cells and the catalytic activities of the mutant proteins were compared with normal. All of the mutant proteins exhibited decreased catalytic activity in vitro, which confirmed the association between the individual mutation and CBS dysfunction in each patient.

Plant transformation: Problems and strategies for practical application

Plant transformation is now a core research tool in plant biology and a practical tool for cultivar improvement. There are verified methods for stable introduction of novel genes into the nuclear genomes of over 120 diverse plant species. This review examines the criteria to verify plant transformation; the biological and practical requirements for transformation systems; the integration of tissue culture, gene transfer, selection, and transgene expression strategies to achieve transformation in recalcitrant species; and other constraints to plant transformation including regulatory environment, public perceptions, intellectual property, and economics. Because the costs of screening populations showing diverse genetic changes can far exceed the costs of transformation, it is important to distinguish absolute and useful transformation efficiencies. The major technical challenge facing plant transformation biology is the development of methods and constructs to produce a high proportion of plants showing predictable transgene expression without collateral genetic damage. This will require answers to a series of biological and technical questions, some of which are defined.

Recessive COL6A2 C-globular Missense Mutations in Ullrich Congenital Muscular Dystrophy ROLE OF THE C2a SPLICE VARIANT

Ullrich congenital muscular dystrophy (UCMD) is a disabling and life-threatening disorder resulting from either recessive or dominant mutations in genes encoding collagen VI. Although the majority of the recessive UCMD cases have frameshift or nonsense mutations in COL6A1, COL6A2, or COL6A3, recessive structural mutations in the COL6A2 C-globular region are emerging also. However, the underlying molecular mechanisms have remained elusive. Here we identified a homozygous COL6A2 E624K mutation (C1 subdomain) and a homozygous COL6A2 R876S mutation (C2 subdomain) in two UCMD patients. The consequences of the mutations were investigated using fibroblasts from patients and cells stably transfected with the mutant constructs. In contrast to expectations based on the clinical severity of these two patients, secretion and assembly of collagen VI were moderately affected by the E624K mutation but severely impaired by the R876S substitution. The E624K substitution altered the electrostatic potential of the region surrounding the metal ion-dependent adhesion site, resulting in a collagen VI network containing thick fibrils and spots with densely packed microfibrils. The R876S mutation prevented the chain from assembling into triple-helical collagen VI molecules. The minute amount of collagen VI secreted by the R876S fibroblasts was solely composed of a faster migrating chain corresponding to the C2a splice variant with an alternative C2 subdomain. In transfected cells, the C2a splice variant was able to assemble into short microfibrils. Together, the results suggest that the C2a splice variant may functionally compensate for the loss of the normal COL6A2 chain when mutations occur in the C2 subdomain.

Conceptualizing impulsivity and risk taking in bipolar disorder: importance of history of alcohol abuse

Elevated levels of impulsivity and increased risk taking are thought to be core features of both bipolar disorder (BD) and addictive disorders. Given the high rates of comorbid alcohol abuse in BD, alcohol addiction may exacerbate impulsive behavior and risk-taking propensity in BD. Here we examine multiple dimensions of impulsivity and risk taking, using cognitive tasks and self-report measures, in BD patients with and without a history of alcohol abuse. Thirty-one BD subjects with a prior history of alcohol abuse or dependence (BD-A), 24 BD subjects with no history of alcohol abuse/dependence (BD-N), and 25 healthy control subjects (HC) were assessed with the Barratt Impulsiveness Scale (BIS) and the computerized Balloon Analogue Risk Task (BART). Both BD groups scored significantly higher than controls on the BIS. In contrast, only the BD-A group showed impaired performance on the BART. BD-A subjects popped significantly more balloons than the BD-N and HC groups. In addition, subjects in the BD-A group failed to adjust their performance after popping balloons. Severity of mood symptomatology was not associated with performance on either task. The current study supports a primary role of prior alcohol abuse in risk-taking propensity among patients with bipolar disorder. In addition, findings suggest that impulsivity and risky behavior, as operationalized by self-report and experimental cognitive probes, respectively, are separable constructs that tap distinct aspects of the bipolar phenotype.

Seeding Osteoblastic Cells into a Macroporous Biodegradable CaP/PLGA Scaffold by a Centrifugal Force

This study aims to construct a hybrid biomaterial by seeding osteoblastic cells into a CaP/PLGA scaffold by a centrifugal force. Constructs are evaluated with respect to potential application in bone tissue engineering. Cells adher, spread, and form a layer of tissue lining the scaffold and are capable of migrating, proliferating, and producing mineralized matrix. We have demonstrated that the centrifugal force is highly efficient for constructing a hybrid biomaterial, which acts similarly to bone explants in a cell culture environment. In this way, these constructs could mimic an autogenous bone graft in clinical circumstances. Such a strategy may be useful for bone tissue engineering.

Assessing alternative models of individualism and collectivism: A confirmatory factor analysis

Six alternative structural models of individualism-collectivism are reviewed and empirically compared in a confirmatory factor analysis of questionnaire data from an Australian student sample (N=340). Central to the debate about the structure of this broad social attitude are the issues of (I) polarity (are individualism and collectivism bipolar opposites, or orthogonal factors?) and (2) dimensionality (are individualism and collectivism themselves higher-order constructs subsuming several more specific factors and, if so, what are they?). The data from this Australian sample support a model that represents individualism and collectivism as a higher-order bipolar factor hierarchically subsuming several bipolar reference-group-specific individualisms and collectivisms. Copyright (C) 2001 John Wiley & Sons, Ltd.

A social identity theory of leadership

A social identity theory of leadership is described that views leadership as a group process generated by social categorization and prototype-based depersonalization processes associated with social identity. Group identification, as self-categorization, constructs an intragroup prototypicality gradient that invests the most prototypical member with the appearance of having influence; the appearance arises because members cognitively and behaviorally conform to the prototype. The appearance of influence becomes a reality through depersonalized social attraction processes that make followers agree and comply with the leader's ideas and suggestions. Consensual social attraction also imbues the leader with apparent status and creates a status-based structural differentiation within the group into leader(s) and followers, which has characteristics of unequal status intergroup relations. In addition, a fundamental attribution process constructs a charismatic leadership personality for the leader, which further empowers the leader and sharpens the leader-follower status differential. Empirical support for the theory is reviewed and a range of implications discussed, including intergroup dimensions, uncertainty reduction and extremism, power, and pitfalls of prototype-based leadership.

Unagi-sentences in Japanese and mutual knowledge

This paper examines the so-called ’Unagi-sentence‘ in Japanese. So far, it has been taken for granted that the Unagi-sentence is incomplete syntactically and/or semantically. Because its structure apparently neither provides a fully-fledged semantic meaning, nor furnishes a plausible syntactic pattern (such as ‘subject-predicate‘), a number of previous works have considered the Unagi-sentence to be elliptic, and consequently reconstructed it as a complete sentence or established intermediate structures to account for its grammatical form. Other researchers have not used elliptic solutions, but sought to discover logical connections between the parts of the Unagi-sentence themselves. As a result, fixing their entire attention on the internal structure of the Unagi-sentence, these researchers inevitably needed to establish hypothetical constructs in order to explain the structure of the Unagi-sentence. The present author believes that the Unagi-sentence is neither incomplete nor a result of some hypothetical processes. The Unagi-sentence stands on its own as a complete utterance. It is basically an NP utterance which can be expanded to the form NP1 wa + NP2 da and its variations. The occurrence of the Unagi-sentence depends heavily on a presupposed context and its pragmatic features, without which the Unagi-sentence cannot exist. It is these features that the present article seeks to elucidate.

MapScript: A map algebra programming language incorporating neighborhood analysis

Map algebra is a data model and simple functional notation to study the distribution and patterns of spatial phenomena. It uses a uniform representation of space as discrete grids, which are organized into layers. This paper discusses extensions to map algebra to handle neighborhood operations with a new data type called a template. Templates provide general windowing operations on grids to enable spatial models for cellular automata, mathematical morphology, and local spatial statistics. A programming language for map algebra that incorporates templates and special processing constructs is described. The programming language is called MapScript. Example program scripts are presented to perform diverse and interesting neighborhood analysis for descriptive, model-based and processed-based analysis.

Individual and societal bases of national identity - A comparative multi-level analysis

In a previous study (Jones and Smith, 1999) we established that much the same core pattern of national identity characterizes many developed countries. Using the national identity module from the 1995 International Social Survey Programme, we identified two dimensions of national identity: an ascriptive dimension resembling the concept of ethnic identity described in the historical and theoretical literature, and a voluntarist dimension closer to the notion of civic identity. Some writers view these dimensions in terms of a historical sequence but we find that both constructs coexist in the minds of individual respondents in the nations we examine (we exclude Bulgaria and the Philippines from the present but not the earlier analysis). The dataset used for the multilevel analyses reported here consists of 28 589 respondents in the remaining 21 countries included in the national identity database for the 1995 round of surveys. The macrosociological literature on national identity does not offer well-defined predictions about what precise patterns of national identification we might expect to find among the masses of the developed countries. There are, however, recurring themes from which one can construct plausible hypotheses about how countries might differ according to their level of development, broadly conceived. Thus, we hypothesize that forces such as post-industrialism and globalization tend to favour the more open voluntaristic form of national identity over the more restrictive ascribed form. We develop different multi-level models in order to evaluate specific hypotheses pertaining to such issues, by simultaneously relating individual and societal characteristics to the relative strength of individual commitment to these different types of national identity.

Myth, moment and the challenge of identities: Stories from Australians of Indigenous and Chinese ancestry

There has been a long history of contact between Indigenous and Chinese people in north-eastern Australia. This is evidenced in contemporary communities by the significant presence of mixed-heritage individuals of Indigenous and Chinese ancestry. This paper employs the stories of 10 such individuals to examine their incorporation of 'otherculture' ancestries into identity constructs. In doing so, the paper sheds light on how identities are narrated at the intersection of 'myth' and 'moment', and how challenge evokes transformation and discontinuity. Three broad identity responses emerge from the data: affirmation of singular constructs; questioning and contemplation; and pluralist embracing of both cultures. Historical and contemporary discourses feature prominently, covertly and overtly restricting potential identifications. Mutuality and hegemonic rivalry are found to underpin the narration of relations between the two marginalised and racialised groups.