117 resultados para Logic Synthesis

em University of Queensland eSpace - Australia


Relevância:

30.00% 30.00%

Publicador:

Resumo:

Libraries of cyclic peptides are being synthesized using combinatorial chemistry for high throughput screening in the drug discovery process. This paper describes the min_syn_steps.cpp program (available at http://www.imb.uq.edu.au/groups/smythe/tran), which after inputting a list of cyclic peptides to be synthesized, removes cyclic redundant sequences and calculates synthetic strategies which minimize the synthetic steps as well as the reagent requirements. The synthetic steps and reagent requirements could be minimized by finding common subsets within the sequences for block synthesis. Since a brute-force approach to search for optimum synthetic strategies is impractically large, a subset-orientated approach is utilized here to limit the size of the search. (C) 2002 Elsevier Science Ltd. All rights reserved.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

This paper reports on a system for automated agent negotiation, based on a formal and executable approach to capture the behavior of parties involved in a negotiation. It uses the JADE agent framework, and its major distinctive feature is the use of declarative negotiation strategies. The negotiation strategies are expressed in a declarative rules language, defeasible logic, and are applied using the implemented system DR-DEVICE. The key ideas and the overall system architecture are described, and a particular negotiation case is presented in detail.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

In this paper we follow the BOID (Belief, Obligation, Intention, Desire) architecture to describe agents and agent types in Defeasible Logic. We argue, in particular, that the introduction of obligations can provide a new reading of the concepts of intention and intentionality. Then we examine the notion of social agent (i.e., an agent where obligations prevail over intentions) and discuss some computational and philosophical issues related to it. We show that the notion of social agent either requires more complex computations or has some philosophical drawbacks.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

While some recent frameworks on cognitive agents addressed the combination of mental attitudes with deontic concepts, they commonly ignore the representation of time. An exception is [1]that manages also some temporal aspects both with respect to cognition and normative provisions. We propose in this paper an extension of the logic presented in [1]with temporal intervals.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Intracellular Wolbachia infections are extremely common in arthropods and exert profound control over the reproductive biology of the host. However, very little is known about the underlying molecular mechanisms which mediate these interactions with the host. We examined protein synthesis by Wolbachia in a Drosophila host in vivo by selective metabolic labelling of prokaryotic proteins and subsequent analysis by 1D and 2D gel electrophoresis. Using this method we could identify the major proteins synthesized by Wolbachia in ovaries and testes of flies. Of these proteins the most abundant was of low molecular weight and showed size variation between Wolbachia strains which correlated with the reproductive phenotype they generated in flies. Using the gel systems we employed it was not possible to identify any proteins of Wolbachia origin in the mature sperm cells of infected flies.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The theory of Owicki and Gries has been used as a platform for safety-based verifcation and derivation of concurrent programs. It has also been integrated with the progress logic of UNITY which has allowed newer techniques of progress-based verifcation and derivation to be developed. However, a theoretical basis for the integrated theory has thus far been missing. In this paper, we provide a theoretical background for the logic of Owicki and Gries integrated with the logic of progress from UNITY. An operational semantics for the new framework is provided which is used to prove soundness of the progress logic.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

We explore of the feasibility of the computationally oriented institutional agency framework proposed by Governatori and Rotolo testing it against an industrial strength scenario. In particular we show how to encode in defeasible logic the dispute resolution policy described in Article 67 of FIDIC.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

This article extends Defeasible Logic to deal with the contextual deliberation process of cognitive agents. First, we introduce meta-rules to reason with rules. Meta-rules are rules that have as a consequent rules for motivational components, such as obligations, intentions and desires. In other words, they include nested rules. Second, we introduce explicit preferences among rules. They deal with complex structures where nested rules can be involved.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The binuclear complex [NBu4n](4)[Cr-2(ox)(5)]. 2CHCl(3) has been prepared by an ion-exchange procedure employing Dowex 50WX2 cation-exchange resin in the n-butylammonium form and potassium tris(oxalato)chromate(III). The dimeric complex was characterised by a crystal structure determination: monoclinic, space group C2/c, a = 29.241(7), b = 15.192(2), c = 22.026(5) Angstrom, beta = 94.07(1)degrees, Z = 4. The magnetic susceptibility (300-4.2 K) indicated that the chromium(III) sites were antiferromagnetically coupled (J = -3.1 cm(-1)).

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Formaldehyde-derived oxazolidine derivatives 4-7 of the beta-adrenoreceptor antagonists metoprolol 1, atenolol 2 and timolol 3 have been synthesised. Conformational analysis of 1-3 and the oxazolidine derivatives 4-7 has been performed using H-1 NMR spectroscopy and computational methods. The H-1 NMR studies show that for the aryloxypropanolamine beta-adrenoreceptor antagonists there is a predominance of the conformer in which the amine group is approximately antiperiplanar or trans to the aryloxymethylene group. Both H-1 NMR data and theoretical studies indicate that the oxazolidine derivatives 4-7 and the aryloxypropanolamine beta-adrenoreceptor antagonists 1-3 adopt similar conformations around the beta-amino alcohol moiety. Thus, oxazolidine ring formation does not dramatically alter the preferred conformation adopted by the beta-amino alcohol moiety of 1-3. Oxazolidine derivatives of aryloxypropanolamine beta-adrenoreceptor antagonists may therefore be appropriate as prodrugs, or semi-rigid analogues, when greater lipophilicity is required for drug delivery.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

In this work we have defined the nature of the p-cresol and p-thiocresol adducts generated from acylium ions during HF cleavage, following contemporary Boc/benzyl solid-phase peptide synthesis. Contrary to the results in previous reports, we found that both p-cresol and p-thiocresol predominantly form. aryl esters under typical cleavage conditions. Initially we investigated a number of small peptides containing either a single glutamate residue or a C-terminal long-chain amino acid which allowed us to unambiguously characterize the scavenged side products. Whereas, the p-cresol esters are stable at 0 degrees C they rearrange irreversibly at higher temperatures (5-20 degrees C) to form aryl ketones. By contrast, p-thiocresol esters do not undergo a Fries rearrangement but readily undergo further additions of p-thiocresol to form ketenebisthioacetals and trithio ortho esters, even at low temperatures. Importantly, we found by LC/MS and FT-ICR MS analysis that peptides containing p-cresol esters at glutamyl side chains are susceptible to amidation and fragmentation reactions at these sites during standard mild base workup procedures. The significance of these side reactions was further demonstrated in the synthesis of neutrophil immobilization factor, a 26-residue peptide, containing four glutamic acid residues. The side reactions were largely avoided by mild hydrogen peroxide-catalyzed hydrolysis which converted the p-cresol adducts to the free carboxylic acids in near quantitative yield. The choice of p-cresol as a reversible acylium ion scavenger when coupled with the simple workup conditions described is broadly applicable to Boc/benzyl peptide synthesis and will significantly enhance the quality of peptides produced.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Symbiotic Aiptasia pulchella and freshly isolated zooxanthellae were incubated in (NaHCO3)-C-14 and NH4Cl for 1 to 240 min, and samples were analysed by reverse-phase high-performance liquid chromatography (HPLC) and an online radiochemical detector. NH4+ was first assimilated into C-14-glutamate and C-14-glutamine in the zooxanthellae residing in A. pulchella. The specific activities (dpm nmol(-1)) of C-14-glutamate and C-14-glutamine in vivo, were far greater in the zooxanthellae than in the host tissue, indicating that NH4+ was principally incorporated into the glutamate and glutamine pools of the zooxanthellae. C-14-alpha-ketoglutarate was taken up from the medium by intact A. pulchella and assimilated into a small amount of C-14-glutamate in the host tissue, but no C-14-glutamine was detected in the host fraction. The C-14-glutamate that was synthesized was most likely produced from transamination reactions as opposed to the direct assimilation of NH4+. The free aminoacid composition of the host tissue and zooxanthellae of A. pulchella was also measured. The results presented here demonstrate that NH4+ was initially assimilated by the zooxanthellae of A. pulchella.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Hydroperoxide derivatives of beta-oxa-substituted polyunsaturated fatty acids were prepared by 15-lipoxygenase catalysed oxidation and perketal derivatives of fatty acid hydroperoxides were synthesized. The perketals are more stable than their parent fatty acid hydroperoxides, but less active as antimalarial agents in the in vitro growth inhibition of Plasmodium falciparum. (C) 1998 Elsevier Science Ltd. All rights reserved.