My paper discusses system consequence, which is a central idea in the project to lift the theory of information flow to the general level of universal logic and the theory of institutions. At the same time, it uses ideas from information flow to extend the theory of institutions. ICCS 2009, 26–31 July 2009 System Consequence Table of

The U.S. Supreme Court addressed competency to be executed in Ford v. Wainwright, holding that execution of the insane violates the Eighth Amendment. More than 20 years later, the Court defined this standard in its landmark decision in Panetti v. Quarterman. The Panetti ruling held that an inmate's factual awareness of the reasons for his execution was not sufficient to determine his competence...

Through clarifying the role of key high-school administrators, this article proposed five solutions to job position-based development administrators below: Developing a master plan for by local education Recruiting and employing key-high school who meet requirements Holding professional training courses Assessing using competency framework Creating favorable environment promote develop their le...

Welcome to the 12th Annual International conference on Computational Science, to be held in Omaha, USA. This year’s conference will take place in Omaha, the heart of USA, at the Embassy suites – Downtown/Old Market. ICCS 2012 is organized by the University of Nebraska at Omaha, Universiteit van Amsterdam, the University of Tennessee, Nanyang Technological University, and Chinese Academy of Scie...

Holding buses to scheduled departure time at timepoints involves a tradeoff between reliability and speed, with impacts on user and operating cost. Two new measures of user cost, excess waiting time and potential travel time, are proposed. They relate to the early extreme of a bus’s departure time distribution from a passenger’s origin stop, and the late extreme of a bus’s arrival time distribu...

A fundamental problem in the design of speed-independent asynchronous circuits is the decomposition or splitting up of high-fanin operators into two or more lower-fanin operators. In this paper, we develop general techniques to decided whether a particular decomposition of an arbitrary state-holding or combina-tional element into two elements with an isolated internal signal is correct. These t...