We propose a multiscale exploration method to characterize the conformational space populated by a protein at equilibrium. The method efficiently obtains a large set of equilibrium conformations in two stages: first exploring the entire space at a coarse-grained level of detail, then narrowing a refined exploration to selected low-energy regions. The coarse-grained exploration periodically adds...

Louisianin A (1) was treated with phosphoryl chloride (POC13) at 120~ 125°C3) to obtain chloro derivative (2) in 86% yield. 2 was reduced by Zn-AcOH at 50°C4) to afford 3 (52% yield) and 4 (35% yield). Furthermore, under the same condition, 3 was dechlorinated to give 4 in 48% yield. Moreover, 4 was oxidized in the treatment of CrO3-pyridine5) to obtain louisianin C (5) in 75% yield. Finally, 5...

1922 Isolation and Characterization of a Cytosol Protein 1990 (64/7.2) Present in Large Amounts in Rapidly Grow ing Hepatomas. Katari S. Raju, Ann Cartwright, Friedrich W. Hirsch, Benjamin C. Wu, Katrina N. Nail, Harold P. Morris, and Harris Busch. Interactions between Polonium-210 «-Radiation, Benzo(a)pyrene, and 0.9% NaCI Solution Instilla tions in the Induction of Experimental Lung Cancer. ...

The impossibility result by Jehiel and Moldovanu says that in a setting with interdependent valuations, any efficient and ex-post incentive compatible mechanism must be a constant mechanism. Mezzetti circumvents this problem by designing a two stage mechanism where the decision of allocation and payment are split over the two stages. This mechanism is elegant, however keeps a major weakness. In...

Acknowledgments I am grateful to Prof. Nur Touba for his guidance, encouragement and help at each and every step of my research. While working with him I have always admired his clarity in thought and exposition and hope to achieve the same high standards that he has set for himself. It has been a great experience working with him.

The replacement theorem for classical and normal modal logics is a fundamental tool. It says that if A and B have been proved equivalent, occurrences of A in a formula may be replaced with occurrences of B to produce a formula equivalent to the original one. This theorem does not hold for LP, Logic of Proofs. A replacement for replacement is not simple to formulate. In this note I have provided...

In the business climate an increasing number of people are expected to perform complex work-related tasks while on the move. In some of these systems, the movement of the mobile user to different physical locations results in the volatility of location-dependent information. For example the answer to the question, ‘where is the nearest train station?’ changes as a mobile user roams around its e...