We describe formal steps in the design of iState, a tool for translating statecharts into programming languages. Currently iState generates code in either Pascal, Java, or the Abstract Machine Notation of the B method. The translation proceeds in several phases. The focus of this paper is the formal description of the intermediate representations, for which we use class diagrams together with t...

We used force-measuring optical tweezers to induce complete mechanical unfolding and refolding of individual Escherichia coli ribonuclease H (RNase H) molecules. The protein unfolds in a two-state manner and refolds through an intermediate that correlates with the transient molten globule-like intermediate observed in bulk studies. This intermediate displays unusual mechanical compliance and un...

This paper extends the well-known technique of dynamic slicing to Statechart specifications of reactive systems. Statechart language extends state machines along hierarchy, concurrency and communication – resulting in a compact visual notation that allows engineers to structure and modularize system descriptions. Dynamic slicing is well known in the domain of sequential transformational program...

In this work we study a two species driven diffusive system with open boundaries that exhibits spontaneous symmetry breaking in one dimension. In a symmetry broken state the currents of the two species are not equal, although the dynamics is symmetric. A mean field theory predicts a sequence of two transitions from a strongly symmetry broken state through an intermediate symmetry broken state t...

The misfit layered Bi2A2Co2O8 (A = Ca, Sr, Ba) compounds experience an insulator to metal transition as A's ionic radius increases. This feature is contradictory to the conventional wisdom that larger lattice constant favors insulating rather than metallic state, and is also difficult to be reconciled using the Anderson weak localization theory. In this paper, we show from the first-principles ...