An efficient and divergent synthesis of polyol subunits utilizing a phosphate tether-mediated, one-pot, sequential RCM/CM/reduction process is reported. A modular, 3-component coupling strategy has been developed, in which, simple "order of addition" of a pair of olefinic-alcohol components to a pseudo-C 2-symmetric phosphoryl chloride, coupled with the RCM/CM/reduction protocol, yields five po...

The success of high-level synthesis methods in reducing design time and formal veri cation methods in reducing design errors in digital VLSI circuits have opened the way to system-level synthesis and veri cation. Derivation is a form of formal veri cation that deals with correct-by-construction reasoning. A set of equivalence preserving transformations are used to derive an implementation from ...

When a manufacturing process is subject to random shocks, detecting the changes in the process and adjusting an out-of-target process are two essential functions of process quality control. Traditional SPC techniques emphasize process change detection, but do not provide an explicit process adjustment method. This paper discusses a general sequential adjustment procedure based on Stochastic App...

We present a full account detailing the development of a sequential catalysis strategy for the synthesis of chiral b-alkynyl carbonyl and sulfonyl derivatives. A palladium-catalyzed cross coupling of terminal alkyne donors with acetylenic ester, ketone, and sulfone acceptors generates stereodefined enynes in high yield. These compounds are engaged in an unprecedented, regioand enantioselective ...

We present a full account detailing the development of a sequential catalysis strategy for the synthesis of chiral β-alkynyl carbonyl and sulfonyl derivatives. A palladium-catalyzed cross coupling of terminal alkyne donors with acetylenic ester, ketone, and sulfone acceptors generates stereodefined enynes in high yield. These compounds are engaged in an unprecedented, regio- and enantioselectiv...