We present a pairwise normal form for finite-state shared memory concurrent programs: all variables are shared between exactly two processes, and the guards on transitions are conjunctions of conditions over this pairwise shared state. This representation has been used to efficiently (in polynomial time) synthesize and model-check correctness properties of concurrent programs. Our main result i...

For structural studies it would be useful to constrain the voltage sensor of a voltage-gated channel in its deactivated state. Here we consider one Shaker potassium channel mutant and speculate about others that might allow the channel to remain deactivated at zero membrane potential. Ionic and gating currents of F370C Shaker, expressed in Xenopus oocytes, were recorded in patches with internal...

The abstract state machine (ASM) is a modern computation model. ASMs and ASM based tools are used in academia and industry, albeit on a modest scale. They allow you to give high-level operational semantics to computer artifacts and to write executable specifications of software and hardware at the desired abstraction level. In connection with the 2006 conference on Developments in Language Theo...

theoretically speaking, ict is a new concept in enterprise architecture which can be studied in hrm and hr architecture issues. due to contextual variables carrying diverse variation and importance levels, designing an e-readiness framework of hr architecture is a complex issue. therefore, this idea is considered in iranian oil and gas industry to be piloted. framework of ict conceptual model d...

Despite a recent flurry of empirical research on the effects of taxes on small business activity, state-level taxes faced by entrepreneurs have been overlooked by most of the existing literature. Using a 50-state panel of tax policy information spanning the years 1989 through 2002, our analysis reveals that state tax policies generally do not appear to have quantitatively important effects on e...

using the lennard-jones (12-6) potential, a new equation of state is obtained that can predict properties of both gases and liquids relatively well. this equation of state is given as (z-a)v2=(a/v2)-b, where z is the compressibility factor, a and b are constants, and a is an adjustable parameter that depends on the temperature, volume and the nature of the fluid, and its expressions depends upo...