A formal synthesis of the perhydrogephyrotoxin

A short but uneventful formal synthesis of perhydrogephyrotoxin 3 from readily available tricyclo[5.2.1.0(2,6)]decane derivative 8 via the intermediacy of the cis-hydroindanone 13 is reported. This work constitutes further demonstration of the carbocycle-heterocycle equivalency theme in the synthesis of alkaloids.

Experimental Verification of the Lateral Periodicity of Axially Periodic Incoherent Fields Using the Lau Effect

General' objects, which are specially prepared to possess restricted spatial frequency spectra, have been used in the conventional Lau experiment to obtain experimental proof for the existence of lateral periodicity arising from axial periodicity, for a subclass of axially periodic wavefields in an incoherent situation.

Enantiodivergent Formal Total Synthesis of Aspercyclide C from L-(+)-Tartaric Acid

The enantiodivergent formal syntheses of both enantiomers of aspercyclide C is accomplished. Starting from L-(+)-tartaric acid, the key protected allylic alcohol, (3R,4R)-4-(methoxy-methoxy) non-1-en-3-ol is prepared, and is then elaborated into both enantiomers of 3-(4-methoxybenzyl)oxy]non-1-en-4-ol via Mitsunobu inversion. Esterification with a known biaryl acid, followed by ring-closing metathesis and deprotection completes the syntheses.

A Vicarious One-Pot Transformation of a Fluorocyclitol to a Polycyclitol: Observation of a Formal 4-Fold Axial-Equatorial Epimerization on a Conformationally Locked Scaffold

A conformationally locked fluoropentol undergoes an interesting transformation to (trans,anti,trans,anti,trans)-perhydro-2,3,4a,6,7,8a-naphthalenehexol essentially under conditions of base-induced transesterification. The proposed rationale for the observed metamorphosis involves a nucleophilic displacement of fluoride, and subsequent stereo- and regioselective anti-Furst-Plattner-type ring-opening of the epoxide thus formed.

Formal total synthesis of (+)-didemniserinolipid B

The formal total synthesis of (+)-didemniserinolipid B, a marine tunicate possessing a 6,8-dioxabicyclo3.2.1]octane framework, was accomplished starting from L-(+)-tartaric acid. The key transformations in the synthesis include the elaboration of a gamma-hydroxy-amide readily obtained by desymmetrization of tartaric acid bis-amide via the controlled addition of a Grignard reagent followed by stereoselective reduction of the resulting ketone. (C) 2010 Elsevier Ltd. All rights reserved.

A simple strategy for spirocyclopentannullation of cyclic ketones. Formal total synthesis of (+/-)-acorone

A general and simple methodology for spirocyclopentannulation of cyclic ketones (or 4,4-disubstituted cyclopentenones from acyclic ketones) and its application in the synthesis of the spirodienone 7 via a prochiral precursor constituting a formal total synthesis of (+/-)-acorone (6), are described.

WOMM: A Weak Operational Memory Model

Memory models of shared memory concurrent programs define the values a read of a shared memory location is allowed to see. Such memory models are typically weaker than the intuitive sequential consistency semantics to allow efficient execution. In this paper, we present WOMM (abbreviation for Weak Operational Memory Model) that formally unifies two sources of weak behavior in hardware memory models: reordering of instructions and weakly consistent memory. We show that a large number of optimizations are allowed by WOMM. We also show that WOMM is weaker than a number of hardware memory models. Consequently, if a program behaves correctly under WOMM, it will be correct with respect to those hardware memory models. Hence, WOMM can be used as a formally specified abstraction of the hardware memory models. Moreover; unlike most weak memory models, WOMM is described using operational semantics, making it easy to integrate into a model checker for concurrent programs. We further show that WOMM has an important property - it has sequential consistency semantics for datarace-free programs.

ChemInform Abstract: Enantioselective Formal Total Synthesis of (-)-Homogynolide-A

ChemInform is a weekly Abstracting Service, delivering concise information at a glance that was extracted from about 100 leading journals. To access a ChemInform Abstract of an article which was published elsewhere, please select a “Full Text” option. The original article is trackable via the “References” option.

Synthesis Based on Cyclohexadienes. 5. A New Approach to the Synthesis of a-Ring Aromatic Steroids - a Formal Total Synthesis of (+/-)-Estrone

A new strategy for the construction of A-ring aromatic steroids which resulted in the formal total synthesis of estrone is described. Thus reaction of the adduct (9), obtained from 1-methoxy-4-methylcyclohexa-1,4-diene and acrolein, with 3-(m-methoxyphenyl)propylmagnesium bromide followed by oxidation afforded the bicyclo[2.2.2]octene derivative (14). Acid-catalysed rearrangement of (14) followed by an intramolecular Michael addition resulted in the cis tetraenone (18) which was dehydrogenated with palladium chloride to the pentaenone (22). Li/NH3 reduction of (22) gave 3-methoxy-D-homoestra-1,3,5(10)-trien-16-one (31) which has been converted into the methyl ether (37) of marrianolic acid, and its methyl ester (38).

A formal total synthesis of (+/-)-enterolactone

A radical cyclization based methodology has been applied for the formal total synthesis of (+/-)-enterolactone (1), the first lignan isolated from human source. Bromoacetalization reaction of the cinnamyl alcohols 7 and 13 using ethyl vinyl ether and NBS, generated the bromoacetals 8 and 15. The 5-exo-trig radical cyclization reaction of the bromoacetals 8 and 15 with in situ generated catalytic tri-a-butyltin hydride and AIBN furnished a 3 : 2 diastereomeric mixture of the cyclic acetals 9 and 16. Sonochemically accelerated Jones oxidation of the cyclic acetals 9 and 16 yielded the gamma-butyrolactones 10 and 12 completing the formal total synthesis of (+/-)-enterolactone. Alternatively radical cyclization of the bromoacetate 17 furnished a 1 : 2 mixture of the lactone 10 and the reduced product 18.

Synthesis based on cyclohexadienes .22. Formal syntheses of patchouli alcohol and norpatchoulenol

The preparation of 6-endo-formyl-1,3,3-trimethylbicyclo[2.2.2]octan-2-one 7 and 6-endo-acetyl-1,3,3-trimethylbicyclo[2.2.2]octan-2-one 8, the two key intermediates for the synthesis of patchouli alcohol 1 and norpatchoulenol 2, is reported by a simple and short method from 2-methylbenzoic acid.

Off-line signature verification using genetically optimized weighted features

This paper is concerned with off-line signature verification. Four different types of pattern representation schemes have been implemented, viz., geometric features, moment-based representations, envelope characteristics and tree-structured Wavelet features. The individual feature components in a representation are weighed by their pattern characterization capability using Genetic Algorithms. The conclusions of the four subsystems teach depending on a representation scheme) are combined to form a final decision on the validity of signature. Threshold-based classifiers (including the traditional confidence-interval classifier), neighbourhood classifiers and their combinations were studied. Benefits of using forged signatures for training purposes have been assessed. Experimental results show that combination of the Feature-based classifiers increases verification accuracy. (C) 1999 Pattern Recognition Society. Published by Elsevier Science Ltd. All rights reserved.

A short, formal synthesis of (+/-)-2-pupukeanone

A short approach to (+/-)-2-pupukeanone, starting from 2,6-dimethylcyclohexenone employing a combination of Michael-Michael reaction and an intramolecular rhodium carbenoid C-H insertion as key reactions, is described.

Analysing Message Sequence Graph Specifications

We give a detailed construction of a finite-state transition system for a com-connected Message Sequence Graph. Though this result is well-known in the literature and forms the basis for the solution to several analysis and verification problems concerning MSG specifications, the constructions given in the literature are either not amenable to implementation, or imprecise, or simply incorrect. In contrast we give a detailed construction along with a proof of its correctness. Our transition system is amenable to implementation, and can also be used for a bounded analysis of general (not necessarily com-connected) MSG specifications.

A ring closing metathesis based approach for the spiroannulation of cyclopentanes and cyclohexanes. Formal synthesis of (+/-)-acorones

An efficient ring closing metathesis (RCM.) reaction based approach was developed for the spiroannulation of cyclopentanes and cyclohexanes and its utility demonstrated in the formal synthesis of the spirosesquiterpenes acorones.