Implicit reachable state computation can be applied to a wide range of sequential formal veriication and logic synthesis problems. Symbolic manipulation with BDDs is one of the most eecient techniques known for the reachability analysis. The technique was rst proposed by Coudert et al. in 1989, and was improved later by Touati et al. in 1990. The standard approach chooses the cut of a sequentia...

A trainable prosodic model called SFC (Superposition of Functional Contours), proposed by Holm and Bailly, is here confronted to German intonation. Training material is the publicly available Siemens Synthesis Corpus that provides spoken utterances for high-quality speech synthesis. We describe the labeling framework and first evaluation results that compares the original prosody of test senten...

The hallmark of strategic decisions is their interdependence: competitive advantage requires that these reinforce each other. However, mutual reinforcement a synthesis of decisions. There are many strategy tools for analysis but not synthesis. Performance landscape modeling decision combinations has its value academic research too complex for practice. This working paper proposes sequential...

A modular, one-pot, two-step, four-component synthesis of polysubstituted 1,3-oxzolidines is described. The method comprises two linked domino processes: an organocatalyzed domino reaction of alkyl propiolate and an aliphatic aldehydes and a microwave-assisted amine addition cyclization domino process. An alternative modular, one-pot, three-step, four-component synthesis has also been developed...

A novel procedure to direct the local synthesis of gold clusters on Fe(3)O(4) nanocrystals by means of alternating magnetic fields (AMFs) is demonstrated. This process allows growing gold selectively onto the heated magnetite surface, while keeping the synthesis solution comparatively cold. Sequential AMF cycles allowed fine-tuning the amount of gold on the magnetite surfaces.

we analyze a sequential decision making process, in which at each stepthe decision is made in two stages. in the rst stage a partially optimalaction is chosen, which allows the decision maker to learn how to improveit under the new environment. we show how inertia (cost of changing)may lead the process to converge to a routine where no further changesare made. we illustrate our scheme with som...