A formal synthesis of 18-hydroxyestrone

A formal synthesis of Image -18-hydroxyestrone has been achieved by the preparation of Image -3-methanesulfonyloxy-13β,17β-dicarboxy-18--norestra-1,3,5(10)-triene anhydride, the dextrorotatory enantiomer of which is an intermediate in Barton's conversion of Image -estrone to Image -1β-hydroxyestrone (KC-6A).

A formal synthesis of 18-hydroxyestrone

A formal synthesis of -18-hydroxyestrone has been achieved by the preparation of -3-methanesulfonyloxy-13β,17β-dicarboxy-18--norestra-1,3,5(10)-triene anhydride, the dextrorotatory enantiomer of which is an intermediate in Barton's conversion of -estrone to -1β-hydroxyestrone (KC-6A).

Formal description, compression and transformation of digital pictures II. Picture algebra and geometry

In an earlier paper (Part I) we described the construction of Hermite code for multiple grey-level pictures using the concepts of vector spaces over Galois Fields. In this paper a new algebra is worked out for Hermite codes to devise algorithms for various transformations such as translation, reflection, rotation, expansion and replication of the original picture. Also other operations such as concatenation, complementation, superposition, Jordan-sum and selective segmentation are considered. It is shown that the Hermite code of a picture is very powerful and serves as a mathematical signature of the picture. The Hermite code will have extensive applications in picture processing, pattern recognition and artificial intelligence.

Formal description, compression and transformation of digital pictures

This paper describes the application of vector spaces over Galois fields, for obtaining a formal description of a picture in the form of a very compact, non-redundant, unique syntactic code. Two different methods of encoding are described. Both these methods consist in identifying the given picture as a matrix (called picture matrix) over a finite field. In the first method, the eigenvalues and eigenvectors of this matrix are obtained. The eigenvector expansion theorem is then used to reconstruct the original matrix. If several of the eigenvalues happen to be zero this scheme results in a considerable compression. In the second method, the picture matrix is reduced to a primitive diagonal form (Hermite canonical form) by elementary row and column transformations. These sequences of elementary transformations constitute a unique and unambiguous syntactic code-called Hermite code—for reconstructing the picture from the primitive diagonal matrix. A good compression of the picture results, if the rank of the matrix is considerably lower than its order. An important aspect of this code is that it preserves the neighbourhood relations in the picture and the primitive remains invariant under translation, rotation, reflection, enlargement and replication. It is also possible to derive the codes for these transformed pictures from the Hermite code of the original picture by simple algebraic manipulation. This code will find extensive applications in picture compression, storage, retrieval, transmission and in designing pattern recognition and artificial intelligence systems.

Formal network behaviour analysis using model checking

In this research we modelled computer network devices to ensure their communication behaviours meet various network standards. By modelling devices as finite-state machines and examining their properties in a range of configurations, we discovered a flaw in a common network protocol and produced a technique to improve organisations' network security against data theft.

Formal security analysis of the DNP3-secure authentication protocol

This thesis evaluates the security of Supervisory Control and Data Acquisition (SCADA) systems, which are one of the key foundations of many critical infrastructures. Specifically, it examines one of the standardised SCADA protocols called the Distributed Network Protocol Version 3, which attempts to provide a security mechanism to ensure that messages transmitted between devices, are adequately secured from rogue applications. To achieve this, the thesis applies formal methods from theoretical computer science to formally analyse the correctness of the protocol.

Stereoselective Formal Total Synthesis of (-)-Didemniserinolipid B

A formal total synthesis of (-)-didemniserinolipid B from L-(+)-tartaric acid is presented. Key features of the synthesis include construction of the bicyclic acetal core from bisdimethyl amide of tartaric acid and further elaboration by cross metathesis.

Formal Verification of Full-Wave Rectifier: A Case Study

We present a case study of formal verification of full-wave rectifier for analog and mixed signal designs. We have used the Checkmate tool from CMU [1], which is a public domain formal verification tool for hybrid systems. Due to the restriction imposed by Checkmate it necessitates to make the changes in the Checkmate implementation to implement the complex and non-linear system. Full-wave rectifier has been implemented by using the Checkmate custom blocks and the Simulink blocks from MATLAB from Math works. After establishing the required changes in the Checkmate implementation we are able to efficiently verify, the safety properties of the full-wave rectifier.

Enantioselective formal total syntheses of Clavukerin A and isoclavukerin A via a ring-closing metathesis reaction

Enantioselective formal total syntheses of the marine trisnorsesquiterpenes clavukerin A and isoclavukerin A, starting from (R)-limonene employing an RCM reaction as the key step, are described.

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.

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.