Reasoning about orchestrations of web services using partial correctness

A service is a remote computational facility which is made available for general use by means of a wide-area network. Several types of service arise in practice: stateless services, shared state services and services with states which are customised for individual users. A service-based orchestration is a multi-threaded computation which invokes remote services in order to deliver results back to a user (publication). In this paper a means of specifying services and reasoning about the correctness of orchestrations over stateless services is presented. As web services are potentially unreliable the termination of even finite orchestrations cannot be guaranteed. For this reason a partial-correctness powerdomain approach is proposed to capture the semantics of recursive orchestrations.

The effect of various treatment conditions on natural zeolites: Ion exchange, acidic, thermal and steam treatments

Two different natural zeolites having different phase compositions were obtained from different regions of Turkey and modified by ion-exchange (0.5 M NH4NO3) and acid leaching using 1 M HCl. The natural and modified samples were treated at low temperature (LT), high temperature (HT) and steam (ST) conditions and characterised by XRF, XRD, BET, FTIR, DR-UV-Vis, NH3-TPD and TGA. Ion-exchange with NH4+ of natural zeolites results in the exchange of the Na+ and Ca2+ cations and the partial exchange of the Fe3+ and Mg2+ cations. However, steam and acidic treatments cause significant dealumination and decationisation, as well as loss of crystalline, sintering of phases and the formation of amorphous material. The presence of mordenite and quartz phases in the natural zeolites increases the stability towards acid treatment, whereas the structure of clinoptilolite-rich zeolites is mostly maintained after high temperature and steam treatments. The natural and modified zeolites treated at high temperature and in steam were found to be less stable compared with synthetic zeolites, resulting in a loss of crystallinity, a decrease in the surface area and pore volume, a decrease in the surface acidity as well as dealumination, and decationisation. (C) 2012 Elsevier Inc. All rights reserved.

Cation and sediment concentrations in basal ice from Øksfjordjøkelen, north Norway

Abstract Basal ice samples were collected from ice exposures in a natural subglacial cavity beneath an outlet glacier of Øksfjordjøkelen, North Norway. Sediment and cation (Ca2+, Mg2+, Na+, K+) concentrations were then determined, and indicate stacking of basal ice units producing a repeat pattern of ‘clean firnification ice’ overlying sediment-rich ice. All measured cations show correlation with sediment concentration indicating weathering reactions to be the dominant contributor of cations. Regressions of specific sediment surface area per unit volume with cation concentration are performed and used to predict cation concentrations. These predicted values provide an indication of cation relocation within the basal ice sequence. The results suggest limited melting and refreezing resulting in the relocation of predominantly monovalent cations downward through the profile. Exchange of cations into solution during the melting of sediment-rich ice samples has previously been suggested as a source of error in such investigations. Analyses of sediment-free regelation ice spicules formed at the bed show cation concentrations above firnification ice levels and comparable, in many instances, to the basal ice samples.

Improved Efficiency for Partial Oxidation of Methane by Controlled Copper Deposition on Surface-Modified ZSM-5

The mono(μ-oxo) dicopper cores present in the pores of Cu-ZSM-5 are active for the partial oxidation of methane to methanol. However, copper on the external surface reduces the ratio of active, selective sites to unselective sites. More efficient catalysts are obtained by controlling the copper deposition during synthesis. Herein, the external exchange sites of ZSM-5 samples were passivated by bis(trimethylsilyl) trifluoroacetamide (BSTFA) followed by calcination, promoting selective deposition of intraporous copper during aqueous copper ion exchange. At an optimum level of 1–2 wt % SiO2, IR studies showed a 64 % relative reduction in external copper species and temperature-programmed oxidation analysis showed an associated increase in the formation of methanol compared with unmodified Cu-ZSM-5 samples. It is, therefore, reported that the modified zeolites contained a significantly higher proportion of active, selective copper species than their unmodified counterparts with activity for partial methane oxidation to methanol.

Interaction and knowledge exchange among academic business librarians in Ontario

A research project submitted to the Faculty of Extension, University of Alberta in partial fulfillment of the requirements for the degree of Master of Arts in Communications and Technology in 2005.

Triarylamminium radical-cation complexes: design and magnetic properties and Base-catalyzed hydrosilylation: mechanism and substrate scope

1. Triarylamminium radical-cation complexes. The detailed study of manganese, copper and nickel metal-radical complexes with triarylamminium ligands was conducted. Stable, neutral and pseudo-octahedral coordination monometallic complexes with simple monodentate 2,2`-bipyridine ligand containing a redox-active N,N`-(4,4`-dimethoxydiphenyl-amino) substituent were synthesized and fully characterized. The one-electron oxidation process and formation of persistent radical-cation complexes was observed by cyclic voltammetry and spectroelectrochemical measurements. Evans method measurements were performed with radical-cation complexes generated by chemical one-electron oxidation with NOPF6 in acetonitrile. The experimental results indicate ferromagnetic coupling between metal and triarylamminium cation in manganese (II) complex and antiferromagnetic coupling in nickel (II) complex. This data is supported by DFT calculations which also lend weight to the  spin polarization mechanism as an operative model for magnetic exchange coupling. Neutral bimetallic complexes with a new ditopic ligand were synthesized and fully characterized, including magnetic and electrochemical studies. Chemical oxidation of these precursor complexes did not generate radical-cations, but dicationic complexes, which was confirmed by UV-vis and EPR-experiments, as well as varied temperature magnetic measurements. DFT calculations for radical-cation complexes are included. A synthetic pathway for polytopic ligand with multiple redox-active triarylamine sites was developed. The structure of the ligand is presumably suitable for -spin polarization exchange model and allows for production of polymetallic complexes having high spin ground states. 2. Base-catalyzed hydrosilylation. A simple reductive base-catalyzed hydrosilation of aldehydes and ketones was adapted to the use of the cheap, safe, and non-toxic polymethylhydrosiloxane (PMHS) instead of the common PhSiH3 and (EtO)3SiH, which present significant cost and safety concerns, respectively. The conversion of silane into pentacoordinate silicate species upon addition of a base was studied in details for the cases of phenyl silane and PMHS and is believed to be essential for the hydrosilylation process. We discovered that nucleophiles (a base or fluoride-anion) induced the rearrangement of PMHS and TMDS into light silanes: MeSiH3 and Me2SiH2, respectively. The reductive properties of PMHS under basic conditions can be attributed to the formation of methyl silane and its conversion into a silicate species. A procedure for the generation of methyl silane and its use in further efficient reductions of aldehydes and ketones has been developed. The protocol was extended to the selective reduction of esters and tertiary amides into alcohols and aldimines into amines with good isolated yields and reduction of heterocyclic compounds was attempted.

Production, purification and partial characterization of a novel protease from marine Engyodontium album BTMFS10 under solid state fermentation

Engyodontium album isolated from marine sediment produced protease, which was active at pH 11. Process parameters influencing the production of alkaline protease by marine E. album was optimized. Particle size of <425 mm, 60% initial moisture content and incubation at 25 8C for 120 h were optimal for protease production under solid state fermentation (SSF) using wheat bran. The organism has two optimal pH (5 and 10) for maximal enzyme production. Sucrose as carbon source, ammonium hydrogen carbonate as additional inorganic nitrogen source and amino acid leucine enhanced enzyme production during SSF. The protease was purified and partially characterized. A 16-fold purified enzyme was obtained after ammonium sulphate precipitation and ion-exchange chromatography. Molecular weight of the purified enzyme protein was recorded approximately 38 kDa by SDS-PAGE. The enzyme showed maximum activity at pH 11 and 60 8C. Activity at high temperature and high alkaline pH suggests suitability of the enzyme for its application in detergent industry

Lipase from marine Aspergillus awamori BTMFW032: Production, partial purification and application in oil effluent treatment

Marine fungus BTMFW032, isolated from seawater and identified as Aspergillus awamori, was observed to produce an extracellular lipase, which could reduce 92% fat and oil content in the effluent laden with oil. In this study, medium for lipase production under submerged fermentation was optimized statistically employing response surface method toward maximal enzyme production. Medium with soyabean meal- 0.77% (w/v); (NH4)2SO4-0.1 M; KH2PO4-0.05 M; rice bran oil-2% (v/v); CaCl2-0.05 M; PEG 6000-0.05% (w/v); NaCl-1% (w/v); inoculum-1% (v/v); pH 3.0; incubation temperature 35 8C and incubation period-five days were identified as optimal conditions for maximal lipase production. The time course experiment under optimized condition, after statistical modeling, indicated that enzyme production commenced after 36 hours of incubation and reached a maximum after 96 hours (495.0 U/ml), whereas maximal specific activity of enzyme was recorded at 108 hours (1164.63 U/mg protein). After optimization an overall 4.6- fold increase in lipase production was achieved. Partial purification by (NH4)2SO4 precipitation and ion exchange chromatography resulted in 33.7% final yield. The lipase was noted to have a molecular mass of 90 kDa and optimal activity at pH 7 and 40 8C. Results indicated the scope for potential application of this marine fungal lipase in bioremediation.

Information Exchange and Fusion in Dynamic and Heterogeneous Distributed Environments

Context awareness, dynamic reconfiguration at runtime and heterogeneity are key characteristics of future distributed systems, particularly in ubiquitous and mobile computing scenarios. The main contributions of this dissertation are theoretical as well as architectural concepts facilitating information exchange and fusion in heterogeneous and dynamic distributed environments. Our main focus is on bridging the heterogeneity issues and, at the same time, considering uncertain, imprecise and unreliable sensor information in information fusion and reasoning approaches. A domain ontology is used to establish a common vocabulary for the exchanged information. We thereby explicitly support different representations for the same kind of information and provide Inter-Representation Operations that convert between them. Special account is taken of the conversion of associated meta-data that express uncertainty and impreciseness. The Unscented Transformation, for example, is applied to propagate Gaussian normal distributions across highly non-linear Inter-Representation Operations. Uncertain sensor information is fused using the Dempster-Shafer Theory of Evidence as it allows explicit modelling of partial and complete ignorance. We also show how to incorporate the Dempster-Shafer Theory of Evidence into probabilistic reasoning schemes such as Hidden Markov Models in order to be able to consider the uncertainty of sensor information when deriving high-level information from low-level data. For all these concepts we provide architectural support as a guideline for developers of innovative information exchange and fusion infrastructures that are particularly targeted at heterogeneous dynamic environments. Two case studies serve as proof of concept. The first case study focuses on heterogeneous autonomous robots that have to spontaneously form a cooperative team in order to achieve a common goal. The second case study is concerned with an approach for user activity recognition which serves as baseline for a context-aware adaptive application. Both case studies demonstrate the viability and strengths of the proposed solution and emphasize that the Dempster-Shafer Theory of Evidence should be preferred to pure probability theory in applications involving non-linear Inter-Representation Operations.

Magnetic coupling in trinuclear partial cubane copper(II) complexes with a hydroxo bridging core and peripheral phenoxo bridges from NNO donor Schiff base ligands

Three new trinuclear copper(II) complexes, [(CuL1)(3)(mu(3)-OH)](ClO4)(2)center dot 3.75H(2)O (1), [(CuL2)(3)(mu(3)-OH)](ClO4)(2) (2) and [(CuL3)(3)(mu(3)-OH)](BF4)(2)center dot 0.5CH(3)CN (3) have been synthesized from three tridentate Schiff bases HL1, HL2, and HL3 (HL1 = 2-[(2-amino-ethylimino)-methyl]-phenol, HL2 = 2-[(2-methylamino-ethylimino)-methyl]-phenol and HL3 = 2-[1-(2-dimethylamino-ethylimino)-ethyl]-phenol). The complexes are characterized by single-crystal X-ray diffraction analyses, IR, UV-vis and EPR spectroscopy, and variable-temperature magnetic measurements. All the compounds contain a partial cubane [Cu3O4] core consisting of the trinuclear unit [(CuL)(3)(mu(3)-OH)](2+) together with perchlorate or fluoroborate anions. In each of the complexes, the three copper atoms are five-coordinated with a distorted square-pyramidal geometry except in complex 1, in which one of the Cu-II ions of the trinuclear unit is six-coordinate being in addition weakly coordinated to one of the perchlorate anions. Variable-temperature magnetic measurements and EPR spectra indicate an antiferromagnetic exchange coupling between the CuII ions of complexes 1 and 2, while this turned out to be ferromagnetic for complex 3. Experimental values have been fitted according to an isotropic exchange Hamiltonian. Calculations based on Density Functional Theory have also been performed in order to estimate the exchange coupling constants in these three complexes. Both sets of values indicate similar trends and specially calculated J values establish a magneto-structural correlation between them and the Cu-O-Cu bond angle, in that the coupling is more ferromagnetic for smaller bond angle values.

Purification and partial characterization of an aminopeptidase from the midgut tissue of Dysdercus peruvianus

The surface of midgut cells in Hemiptera is ensheathed by a lipoprotein membrane (the perimicrovillar membrane), which delimits a closed compartment with the microvillar membrane, the so-called perimicrovillar space. In Dysdercus peruvianus midgut perimicrovillar space a soluble aminopeptidase maybe involved in the digestion of oligopeptides and proteins ingested in the diet. This D. peruvianus aminopeptidase was purified to homogeneity by ion-exchange chromatography on an Econo-Q column, hydrophobic interaction chromatography on phenyl-agarose column and preparative polyacrylamide gel electrophoresis. The results suggested that there is a single molecular species of aminopeptidase in D. peruvianus midgut. Molecular mass values for the aminopeptidase were estimated to be 106 kDa (gel filtration) and 55 kDa (SDS-PAGE), suggesting that the enzyme occurs as a dimer under native conditions. Kinetic data showed that D. peruvianus aminopeptidase hydrolyzes the synthetic substrates LpNA, RpNA, A beta NA and AsnMCA (K(m)s 0.65, 0.14, 0.68 and 0.74 mM, respectively). The aminopeptidase activity upon LpNA was inhibited by EDTA and 1,10-phenanthroline, indicating the importance of metal ions in enzyme catalysis. One partial sequence of BLAST-identified aminopeptidase was found by random sequencing of the D. peruvianus midgut cDNA library. Semi-quantitative RT-PCR analysis showed that the aminopeptidase genes were expressed throughout the midgut epithelium, in the epithelia of V1, V2 and V3. Malphigian tubules and fat body, but it was not expressed in the salivary glands. These results are important in furthering our understanding of the digestive process in this pest species. (c) 2010 Elsevier Inc. All rights reserved.

Purification and partial characterization of a midgut membrane-bound alpha-glucosidase from Quesada gigas (Hemiptera: Cicadidae)

Adults of Quesada gigas (Hemiptera: Cicadidae) have a major alpha-glucosidase bound to the perimicrovillar membranes, which are lipoprotein membranes that surround the midgut cell microvilli in Hemiptera and Thysanoptera. Determination of the spatial distribution of alpha-glucosidases in Q. gigas midgut showed that this activity is not equally distributed between soluble and membrane-bound isoforms. The major membrane-bound enzyme was solubilized in the detergent Triton X-100 and purified to homogeneity by means of gel filtration on Sephacryl S-100, and ion-exchange on High Q and Mono Q columns. The purified alpha-glucosidase is a protein with a pH optimum of 6.0 against the synthetic substrate p-nitrophenyl alpha-D-glucoside and M(r) of 61,000 (SDS-PAGE). Taking into account V(Max)/K(M) ratios, the enzyme is more active on maltose than sucrose and prefers oligomaltodextrins up to maltopentaose, with lower efficiency for longer chain maltodextrins. The Q gigas alpha-glucosidase was immunolocalized in perimicrovillar membranes by using a monospecific polyclonal antibody raised against the purified enzyme from Dysdercus peruvianus. The role of this enzyme in xylem fluid digestion and its possible involvement in osmoregulation is discussed. (C) 2009 Elsevier Inc. All rights reserved.

Cobalt catalysts promoted with cerium and lanthanum applied to partial oxidation of methane reactions

Catalysts of Co/Mg/Al promoted with Ce and La were tested in the catalytic partial oxidation of methane (POM) reaction. The addition of promoters was made by anion-exchange. X-ray diffraction (XRD) confirmed the formation of hydrotalcite phase for precursors. The mixed oxides were characterized as a mixture of Co3O4, periclase (Co, Al)MgO and/or spinel structure (Mg, Co)Al2O4. In the catalytic POM reaction over the promoted catalysts, a reduction in the carbon formation rate was found. (c) 2008 Elsevier B.V. All rights reserved.

Partial economic reforrns and financial crises: an emerging markets perspective

The recent emerging market experiences have posed a challenge to the conventional wisdom that unsustainable fiscal deficits are the key to understanding financial crises in these countries. The health of the domestic banking system has emerged as the main driving force behind the perverse dynamics of partial reforms. The current paper shares this view and uses a model of contractual inefliciencies in the banking sector to understand the dynamics of these reforms. We find that the threat of a large exchange rate devaluation depends on the stock of international reserves relative to the stock of domestic credit that must be extended by the Central Bank in response to a large capital outflow. Moreover, if a country has a weak banking sector but high net reserve ratios, the capital flow reversal might only increase the vulnerability to a currency crisis without necessarily causing it. The results are in accordance with much of the empiricalliterature on the determinants of financiaI crises in emerging markets. Some aspectsof the recent policy debate on the introduction of capital controls are also analysed.

Partial characterization of proteins from baru (Dipteryx alata Vog) seeds

BACKGROUND: Baru (Dipteryx alata Vog.) is a fruit distributed throughout the Brazilian savanna and contains a seed with a high protein content, whose properties have been rarely explored. The purpose of this study was to characterize this protein, especially by isolation and quantifying its fractions and measuring some of its molecular properties.RESULTS: Baru seeds contain 244 g kg(-1) protein on a dry weight basis. Solubility profiles showed a preponderance of globulins. This fraction dominated the seed composition, with 61.7 wt% of the total soluble proteins. Albumins and glutelins accounted for 14 and 3.3 wt%, respectively. SDS-PAGE resolution of albumin and globulin showed main bands with molecular weights of 84 kDa and 64,66 and 73 kDa, respectively. The total protein of the flour and the globulin showed values of in vitro digestibility of 85.59% and 90.54%, relative to casein. Total globulin produced only one chromatographic peak, both on Sepharose CL-6B gel filtration and on DEAE-cellulose ion-exchange columns, eluted at a concentration of 0.12 mol L(-1) NaCl.CONCLUSION: The baru seed had high protein content with large quantities of storage proteins. The chromatographic and solubility profiles indicate the predominance of a fraction with characteristics of a legumin-type protein. (C) 2011 Society of Chemical Industry