cheminform abstract: formal synthesis of roseophilin

1

1999 antibiotics antibiotics U 1200 47 - 244 Formal Synthesis of Roseophilin. — A thirteen step route to the tricyclic ketopyrrole core of roseophilin is presented in which the key steps are the radical macrocyclization under high dilution conditions and the Paal-Knorr pyrrole synthesis that proceeds with in situ oxidation. — (ROBERTSON, JEREMY; HATLEY, RICHARD J. D.; Chem. Commun. (Cambridge) (1999) 16, 1455-1456; Dyson Perrins Lab., Dep. Chem., Univ. Oxford, Oxford OX1 3QY, UK; EN) 1

Upload: jeremy-robertson

Post on 06-Jun-2016

217 views

Category:

Documents

1 download

Report

Download

Embed Size (px):

TRANSCRIPT

Page 1: ChemInform Abstract: Formal Synthesis of Roseophilin

1999 antibiotics

antibioticsU 1200

47 - 244Formal Synthesis of Roseophilin. — A thirteen step route to thetricyclic ketopyrrole core of roseophilin is presented in which the key steps arethe radical macrocyclization under high dilution conditions and the Paal-Knorrpyrrole synthesis that proceeds with in situ oxidation. — (ROBERTSON,JEREMY; HATLEY, RICHARD J. D.; Chem. Commun. (Cambridge) (1999)16, 1455-1456; Dyson Perrins Lab., Dep. Chem., Univ. Oxford, Oxford OX13QY, UK; EN)

1

A formal synthesis of Balgacyclamide A using solution

GenoM3 Templates: from Middleware Independence to Formal … · 2018. 7. 27. · GenoM3 Templates: from Middleware Independence to Formal Models Synthesis * Mohammed Foughali Felix

Tutorial on Model Checkingfmv.jku.at/biere/talks/Biere-AB08-talk.pdf · 2021. 1. 13. · VDM Formal Specification Formal Verification Checking UML Formal Synthesis ASM Z ... Tutorial

Regioselective Formation of Substituted Indoles: Formal ......Regioselective Formation of Substituted Indoles: Formal Synthesis of Lysergic Acid Gary L. Points,III, Kenneth T. Stout,

Asymmetric formal synthesis of schulzeines A and CS1 Electronic Supplementary Information Asymmetric formal synthesis of schulzeines A and C Jaebong Jang, a Jong-Wha Jung,b Jaeseung

Automated Formal Synthesis of Provably Safe Digital ... · arithmetic introduced by the controller. The approach uses counterexample-guided inductive synthesis (CEGIS): an inductive

Formal Synthesis of Actinoranone Using a Racemization-Free

Formal Synthesis of Control Strategies for Dynamical ... · Formal Synthesis of Control Strategies for Dynamical Systems ... ¥! always the network is not congested ... consumption

Design of Embedded Systems: Formal Models, Validation…sedwards/papers/edwards1997design.pdf · EDWARDS ET AL. DESIGN OF EMBEDDED SYSTEMS: FORMAL MODELS, VALIDATION, AND SYNTHESIS

Synthesis of AMBA AHB from Formal Specification: A - IST Austria

Formal report for synthesis of an alkyl halide

Rychnovsky’s Formal Synthesis of Leucascandrolide A

ConfigSynth: A Formal Framework for Network Security ...ConfigSynth: A Formal Framework for Network Security Design Synthesis Mohammad Ashiqur Rahman and Ehab Al-Shaer CyberDNA Research

Automatic System-Level Synthesis: From Formal Application ...slam.ece.utexas.edu/pubs/hipeac-5-4.esl.pdfAutomatic System-Level Synthesis: From Formal Application Models to Generic

I. Formal Synthesis of SCH 351448. II. Synthesis and

First Steps toward Formal Controller Synthesis for …web.eecs.umich.edu/~grizzle/papers/Robotic_Walking_HSCC...First Steps toward Formal Controller Synthesis for Bipedal Robots Aaron

Trends in Formal Analysis and Synthesis of Time-Delayed Systems · 2019-07-29 · Trends in Formal Analysis and Synthesis of Time-Delayed Systems Indecision and Delay Are the Parents

Function-Based Synthesis Methods in Engineering … · FORMAL ENGINEERING DESIGN SYNTHESIS FUNCTION-BASED SYNTHESIS 1-3 Function-Based Synthesis © K. L. Wood and J. Greer 08/05/00

1 Formal synthesis of optimal information-gathering policiessites.bu.edu/msl/files/2013/12/JonesEtAlTRO14LTL...1 Formal synthesis of optimal information-gathering policies Austin Jones,

Formal Synthesis of Embedded Control Software: …utopcu/pubs/WTM-infotech11F.pdfFormal Synthesis of Embedded Control Software: Application to Vehicle Management Systems ... We apply

Formal Synthesis of Syringolin A: An Application of the Addition of ...ccc.chem.pitt.edu/wipf/topics/chris_1.pdf · 2011-12-15 · Formal Synthesis of Syringolin A: An Application

Catalytic formal [2+2+1] synthesis of pyrroles from ...charette.corg.umontreal.ca/literature/NC-2016-63-Caron.pdf · Catalytic formal [2+2+1] synthesis of pyrroles from alkynes and

Asymmetric Total Synthesis and Biological Evaluation of ... · Szántay’s synthesis.9 Another formal synthesis of (±)-cycloclavine that con-verged with Szántay’s approach was

ChemInform RxnFinder

Paper Discussion Design of Embedded Systems: Formal Methods, Validation, and Synthesis Mark McKelvin Vito Dai

Design of Embedded Systems: Formal Models, Validation, and ... · Design of Embedded Systems: Formal Models, Validation, and Synthesis Stephen Edwards, Luciano Lavagno, Edward A

Open Access CSgator:kanjintegratedkwebkplatformk forjcompoundksetkanalysis · 2019. 3. 4. · Parkjet al. J Cheminform Pagek6kofk8 currentlackofenoughcompound-targetdataevenafter

Formal Synthesis of Supervisory Control Software for Multiple Robot Systems

Formal Synthesis in Software-Defined Networks

Towards a Formal Total Synthesis of Triptolide Via a Gold ... · Towards a Formal Total Synthesis of Triptolide Via a Gold-Catalyzed Cyclization Cascade By Travis R. Schwantje A thesis

FORMAL VERIFICATION OF ADVANCED SYNTHESIS OPTIMIZATIONS Anant Kumar Jain Pradish Mathews Mike Mahar

Formal and Efficient Synthesis for Continuous-Time Linear ... · Transactions on Automatic Control 1 Formal and Efcient Synthesis for Continuous-Time

RESEARCHARTICLE Assessingtheinformationcontent ......Rodríguez‑Pérezet al. J Cheminform Page6of14 whichyieldedmedianMCCvaluesof0.67(IFP_85) and0.63(EFCP_folded).us,inhibitorswithbinding

Automated Formal Synthesis of Digital Controllers … · Automated Formal Synthesis of Digital Controllers 3 of imprecision in the implementation of the control algorithm and in the

Formal Verification of High-Level Synthesis