Comparative studies made simple in GPFlow

This work describes recent extensions to the GPFlow scientific workflow system in development at MQUTeR (www.mquter.qut.edu.au), which facilitate interactive experimentation, automatic lifting of computations from single-case to collection-oriented computation and automatic correlation and synthesis of collections. A GPFlow workflow presents as an acyclic data flow graph, yet provides powerful iteration and collection formation capabilities.

An Algorithm to Decide Feasibility of Linear Integer Constraints Occurrng in Decision Tables

Abstract-To detect errors in decision tables one needs to decide whether a given set of constraints is feasible or not. This paper describes an algorithm to do so when the constraints are linear in variables that take only integer values. Decision tables with such constraints occur frequently in business data processing and in nonnumeric applications. The aim of the algorithm is to exploit. the abundance of very simple constraints that occur in typical decision table contexts. Essentially, the algorithm is a backtrack procedure where the the solution space is pruned by using the set of simple constrains. After some simplications, the simple constraints are captured in an acyclic directed graph with weighted edges. Further, only those partial vectors are considered from extension which can be extended to assignments that will at least satisfy the simple constraints. This is how pruning of the solution space is achieved. For every partial assignment considered, the graph representation of the simple constraints provides a lower bound for each variable which is not yet assigned a value. These lower bounds play a vital role in the algorithm and they are obtained in an efficient manner by updating older lower bounds. Our present algorithm also incorporates an idea by which it can be checked whether or not an (m - 2)-ary vector can be extended to a solution vector of m components, thereby backtracking is reduced by one component.

Split-Freedom And Mvd-Intersection - A New Characterization Of Multivalued Dependencies Having Conflict-Free Covers

Sets of multivalued dependencies (MVDs) having conflict-free covers are important to the theory and design of relational databases [2,12,15,16]. Their desirable properties motivate the problem of testing a set M of MVDs for the existence of a confiict-free cover. In [8] Goodman and Tay have proposed an approach based on the possible equivalence of M to a single (acyclic) join dependency (JD). We remark that their characterization does not lend an insight into the nature of such sets of MVDs. Here, we use notions that are intrinsic to MVDs to develop a new characterization. Our approach proceeds in two stages. In the first stage, we use the notion of “split-free” sets of MVDs and obtain a characterization of sets M of MVDs having split-free covers. In the second, we use the notion of “intersection” of MVDs to arrive at a necessary and sufficient condition for a split-free set of MVDs to be conflict-free. Based on our characterizations, we also give polynomial-time algorithms for testing whether M has split-free and conflict-free covers. The highlight of our approach is the clear insight it provides into the nature of sets of MVDs having conflict-free covers. Less emphasis is given in this paper to the actual efficiency of the algorthms. Finally, as a bonus, we derive a desirable property of split-free sets of MVDs,thereby showing that they are interesting in their own right.

Linalyl Acetate Is Metabolized by Pseudomonas incognita with the Acetoxy Group Intact

Metabolism of linalyl acetate by Pseudomonas incognita isolated by enrichment culture on the acyclic monoterpene alcohol linalool was studied. Biodegradation of linalyl acetate by this strain resulted in the formation of linalool, linalool- 8-carboxylic acid, oleuropeic acid, and A5-4-acetoxy-4-methyl hexenoic acid. Cells adapted to linalyl acetate metabolized linalyl acetate-8-aldehyde to linalool- 8-carboxylic acid, linalyl acetate-8-carboxylic acid, A5-4-acetoxy-4-methyl hexenoic acid, and geraniol-8-carboxylic acid. Resting cell suspensions previously grown with linalyl acetate oxidized linalyl acetate-8-aldehyde to linalyl acetate-8- carboxylic acid, A5-4-acetoxy-4-methyl hexenoic acid, and pyruvic acid. The crude cell-free extract (10,000 g of supernatant), obtained from the sonicate of linalyl acetate-grown cells, was shown to contain enzyme systems responsible for the formation of linalyl acetate-8-carboxylic acid and linalool-8-carboxylic acid from linalyl acetate. The same supernatant contained NAD-linked alcohol and aldehyde dehydrogenases involved in the formation of linalyl acetate-8-aldehyde and linalyl acetate-8-carboxylic acid, respectively. On the basis of various metabolites isolated from the culture medium, resting cell experiments, growth and manometric studies carried out with the isolated metabolites as well as related synthetic analogs, and the preliminary enzymatic studies performed with the cellfree extract, a probable pathway for the microbial degradation of linalyl acetate with the acetoxy group intact is suggested.

ALWIN-Algorithmic Wiswesser Notation System for Organic Compounds

ALWIN, a new chemical notation system for organic compounds, based on the Wiswesser Line Notation, is described. Procedures and rules are given for constructing ALWIN for acyclic structures and cyclic structures, vi.?., benzene and Its derivatives, monocyclic, bicyclic, polycyclic, perifused, splro, bridged ring, and ring of rlngs systems. A new method called "tessellation" is introduced for the topological descrlptlon of fused and spiro ring systems. Also new concepts are introduced for describing bridged ring and ring of rlngs systems.

On the expressive power of behavioral profiles

Behavioral profiles have been proposed as a behavioral abstraction of dynamic systems, specifically in the context of business process modeling. A behavioral profile can be seen as a complete graph over a set of task labels, where each edge is annotated with one relation from a given set of binary behavioral relations. Since their introduction, behavioral profiles were argued to provide a convenient way for comparing pairs of process models with respect to their behavior or computing behavioral similarity between process models. Still, as of today, there is little understanding of the expressive power of behavioral profiles. Via counter-examples, several authors have shown that behavioral profiles over various sets of behavioral relations cannot distinguish certain systems up to trace equivalence, even for restricted classes of systems represented as safe workflow nets. This paper studies the expressive power of behavioral profiles from two angles. Firstly, the paper investigates the expressive power of behavioral profiles and systems captured as acyclic workflow nets. It is shown that for unlabeled acyclic workflow net systems, behavioral profiles over a simple set of behavioral relations are expressive up to configuration equivalence. When systems are labeled, this result does not hold for any of several previously proposed sets of behavioral relations. Secondly, the paper compares the expressive power of behavioral profiles and regular languages. It is shown that for any set of behavioral relations, behavioral profiles are strictly less expressive than regular languages, entailing that behavioral profiles cannot be used to decide trace equivalence of finite automata and thus Petri nets.

Electronic Structure and Bonding in Neutral and Dianionic Boradiphospholes: R ' BC2P2R2 (R=H, tBu, R '=H, Ph)

Classical and non-classical isomers of both neutral and dianionic BC2P2H3 species, which are isolobal to Cp+ and Cp-, are studied at both B3LYP/6-311++G(d,p) and G3B3 levels of theory. The global minimum structure given by B3LYP/6-311+ + G(d,p) for BC2P2H3 is based on a vinylcyclopropenyl-type structure, whereas BC2P2H32- has a planar aromatic cyclopentadienyl-ion-like structure. However, at the G3B3 level, there are three low-energy isomers for BC2P2H3: 1)tricyclopentane, 2) nido and 3) vinylcyclopropenyl-type structures, all within 1.7 kcal mol(-1) of each other. On the contrary, for the dianionic species the cyclic planar structure is still the minimum. In comparison to the isolobal Cp+ and HnCnP5-n+ isomers, BC2P2H3 shows a competition between pi-delocalised vinylcyclopropenyl- and cluster-type structures (nido and tricyclopentane). Substitution of H on C by tBu, and H on B by Ph, in BC2P2H3 increases the energy difference between the low-lying isomers, giving the lowest energy structure as a tricyclopentane type. Similar substitution in BC2P2H32- merely favours different positional isomers of the cyclic planar geometry, as observed in 1) isoelectronic neutral heterodiphospholes EtBu2C2P2 (E=S, Se, Te), 2) monoanionic heterophospholyl rings EtBu2C2P2 (E=P-, As-, Sb-) and 3) polyphospholyl rings anions tBu(5-n)C(n)P(5-n) (n=0-5). The principal factors that affect the stability of three-, four-, and five-membered ring and acyclic geometrical and positional isomers of neutral and dianionic BC2P2H3 isomers appear to be: 1) relative bond strengths, 2) availability of electrons for the empty 2p boron orbital and 3) steric effects of the tBu groups in the HBC(2)P(2)tBu(2) systems.

DMT of Multi-hop Cooperative Networks-Part II: Layered and Multi-Antenna Networks

We consider single-source, single-sink (ss-ss) multi-hop relay networks, with slow-fading Rayleigh links. This two part paper aims at giving explicit protocols and codes to achieve the optimal diversity-multiplexing tradeoff (DMT) of two classes of multi-hop networks: K-parallel-path (KPP) networks and Layered networks. While single-antenna KPP networks were the focus of the first part, we consider layered and multi-antenna networks in this second part. We prove that a linear DMT between the maximum diversity d(max). and the maximum multiplexing gain of 1 is achievable for single-antenna fully-connected layered networks under the half-duplex constraint. This is shown to be equal to the optimal DMT if the number of relaying layers is less than 4. For the multiple-antenna case, we provide an achievable DMT, which is significantly better than known lower bounds for half duplex networks. Along the way, we compute the DMT of parallel MIMO channels in terms of the DMT of the component channel. For arbitrary ss-ss single-antenna directed acyclic networks with full-duplex relays, we prove that a linear tradeoff between maximum diversity and maximum multiplexing gain is achievable using an amplify-and-forward (AF) protocol. Explicit short-block-length codes are provided for all the proposed protocols. Two key implications of the results in the two-part paper are that the half-duplex constraint does not necessarily entail rate loss by a factor of two as previously believed and that simple AN protocols are often sufficient to attain the best possible DMT.

Profiling k-Iteration Paths : A Generalization of the Ball-Larus Profiling Algorithm

The Ball-Larus path-profiling algorithm is an efficient technique to collect acyclic path frequencies of a program. However, longer paths -those extending across loop iterations - describe the runtime behaviour of programs better. We generalize the Ball-Larus profiling algorithm for profiling k-iteration paths - paths that can span up to to k iterations of a loop. We show that it is possible to number suchk-iteration paths perfectly, thus allowing for an efficient profiling algorithm for such longer paths. We also describe a scheme for mixed-mode profiling: profiling different parts of a procedure with different path lengths. Experimental results show that k-iteration profiling is realistic.

Negative nuclear Overhauser effects as probes of macromolecular structure

Nuclear Overhauser effects (NOE) and circular dichroism (CD) techniques have been used to probe @-turn conformations in acyclic and cyclic peptides containingPro-Xsequences. The model peptides studied are of the type Piv-Pro-X-NHMe (X = Aib, D-Ala, Gly, Val, and Leu) and Boc-Cys-Pro-X-C s NHMe (X = Aib, L-Ala, D-Ala, Gly, and Leu). In the acyclic series, observation of NOES between Pro C"H and X-NH, together with solvent and temperature dependence of NH chemical shifts, establishes a 4 - 1 hydrogen bond stabilized type I1 @-turn in the Gly, D-Ala, and Aib peptides, in CDC13 and (CD3)2S0. A positive n-r* CD band at -225-230 nm appears to be characteristic of this structure. For the acyclic Pro-Leu peptide the observation of NOE's for both Pro and Leu C"H resonances on saturation of Leu NH is compatible with a type V bend or consecutive y-turn conformation. In the cyclic disulfide series the Pro-Aib and Pro-D-Ala peptides favor type I1 @-turns, whereas all other peptides adopt type I (111) conformations. All the cyclic disulfides exhibit an intense negative CD band at -228-230 nm. The results suggest thatgeneralcorrelations between CD spectral type and specific 0-turn conformations may not be obtained. Evidence for solvent-dependent structural changes in the Pro-Aib sequence in both cyclic and acyclic peptides is presented.

Characterization of Alkali Induced Formation of Lanthionine, Trisulfides, and Tetrasulfides from Peptide Disulfides using Negative Ion Mass Spectrometry

Peptide disulfides are unstable under alkaline conditions, resulting in the formation of products containing lanthionine and polysulfied linkages. Electrospray ionization mass spectrometry has been used to characterize major species obtained when cyclic and acyclic peptide disulfides are exposed to alkaline media. Studies on a model cyclic peptide disulfide (Boc - Cys - Pro - Leu - Cys - NHMe) and an acyclic peptide, oxidized glutathione, bis ((gamma)Glu Cys - Gly - COOH), are described. Disulfide cleavage reactions are initiated by the abstraction of (CH)-H-alpha or (CH)-H-beta protons of Cys residues, with Subsequent elimination of H2S or H2S2. The buildup of reactive thiol species which act on intermediates containing dehydroalanine residues, rationalizes the formation of lanthionine and polysulfide products. In the case of the cyclic peptide disulfide, the formation of cyclic products is facilitated by the intramolecular nature of the Michael addition reaction of thiols to the dehydroalanine residue. Mass spectral evidence for the intermediate species is presented by using alkylation of thiol groups as a trapping method. Mass spectral fragmentation in the negative ion mode of the peptides derived from trisulfides and tetrasulfides results in elimination of S-2. (J Am Soc Mass Spectrom 2009, 20, 783-791) (C) 2009 American Society for Mass Spectrometry.

Characterization of Alkali Induced Formation of Lanthionine, Trisulfides, and Tetrasulfides from Peptide Disulfides using Negative Ion Mass Spectrometry

Peptide disulfides are unstable under alkaline conditions, resulting in the formation of products containing lanthionine and polysulfied linkages. Electrospray ionization mass spectrometry has been used to characterize major species obtained when cyclic and acyclic peptide disulfides are exposed to alkaline media. Studies on a model cyclic peptide disulfide (Boc - Cys - Pro - Leu - Cys - NHMe) and an acyclic peptide, oxidized glutathione, bis ((gamma)Glu Cys - Gly - COOH), are described. Disulfide cleavage reactions are initiated by the abstraction of (CH)-H-alpha or (CH)-H-beta protons of Cys residues, with Subsequent elimination of H2S or H2S2. The buildup of reactive thiol species which act on intermediates containing dehydroalanine residues, rationalizes the formation of lanthionine and polysulfide products. In the case of the cyclic peptide disulfide, the formation of cyclic products is facilitated by the intramolecular nature of the Michael addition reaction of thiols to the dehydroalanine residue. Mass spectral evidence for the intermediate species is presented by using alkylation of thiol groups as a trapping method. Mass spectral fragmentation in the negative ion mode of the peptides derived from trisulfides and tetrasulfides results in elimination of S-2. (J Am Soc Mass Spectrom 2009, 20, 783-791) (C) 2009 American Society for Mass Spectrometry.

A designed (3-hairpin peptide in crystals

Beta-hairpin structures have been crystallographically characterized only in very short acyclic peptides, in contrast to helices. The structure of the designed beta-hairpin, t-butoxycarbonyl-Leu-Val-Val-D-Pro-Gly-Leu-Val-Val-OMe in crystals is described. The two independent molecules of the octapeptide fold into almost ideal beta-hairpin conformations with the central D-Pro-Gly segment adopting a Type II' beta-turn conformation. The definitive characterization of a beta-hairpin has implications for de novo peptide and protein design, particularly for the development of three- and four-stranded beta-sheets.

Reaction of carbon disulfide with azide ion

Carbon disulfide reacts with azide ion to form the 1,2,3,4-thiatriazolinethionate ion and not the acyclic azido dithiocarbonate ion as previously reported. A series of salts of thiatriazoline have been prepared and none shows evidence for the presence of the azido group. Esters of thiatriazolinethione prepared by the reaction of the sodium salt with alkyl or acyl halides have been found to be either 5-(substituted) mercapto-1,2,3,4-thiatriazoles or 4-substituted 1,2,3,4-thiatriazoline-5-thiones. These structures have been assigned on the basis of degradative and spectroscopic evidence. The chemistry of the so-called azidodithiocarbonates has been reinterpreted in terms of the thiatriazole structure.

Geometry changes induced by negative hyperconjugative interactions involving carbonyl and thiocarbonyl groups

MNDO geometry optimizations have been carried out on a series of acyclic and cyclic unsymmetrically disubstituted carbonyl and thiocarbonyl compounds. The C=X unit shows a consistent and often sizeable tilt towards one of the substituents, following the order O > Snot, vert, similarN > C > B. Reference ab initio calculations and available experimental results support the MNDO results. The effect, which is particularly dramatic in small rings, is attributed primarily to favorable negative hyperconjugative interaction between the lone pair on X and a low lying adjacent σ* orbital. Such an interaction can lead to highly distorted structures, including perhaps to a planar molecule with an inverted sp2 carbon center.