class AbstractList { //@ model public int size; //@ in isEmpty; //@ model public boolean isEmpty; //@ public represents isEmpty <(size == 0); //@ public invariant size >= 0; //@ assignable isEmpty; //@ ensures isEmpty; abstract public void clear(); //@ assignable size; // but isEmpty is not assignable //@ ensures size <= \old(size); //@ ensures \old(size) > 0 ==> size > 0; abstract public void ...

   Graphene oxide nanosheet (GONS) can be a suitable membrane for gas separation with high permeability and selectivity. Separation of N2/CO2 using functionalized GONS was investigated by molecular dynamics simulations. The simulated systems were comprised of two types of GONS with a pore in their center, N2 and CO2 molecules. The selectivity and ...

I describe the entry process in a spatial market over an in...nite time horizon. I show that, as long as the strategy space at the location stage is unbounded, the results derived from the single-period Stackelberg model of entry coincide with those obtained in the in...nite horizon model. On the contrary, if the strategy space is bounded, then the later the follower enters, the closer to the c...

(1) For all sets X1, X2 and for all sets a1, a2 holds [:X1 7−→ a1, X2 7−→ a2 :] = [:X1, X2 :] 7−→ 〈a1, a2〉. Let I be a set. One can check that 0I is function yielding. Next we state two propositions: (2) For all functions f , g holds x(g · f ) = g ·x f . (3) For all functions f , g, h holds x( f · [:g, h :]) = x f · [:h, g :]. Let f be a function yielding function. Observe that x f is function ...

reducing co2 emission and lowering the concentration of greenhouse gases in the atmosphere has quickly become one of the most urgent environmental issues. while a variety of technologies and methods have been developed, the separation of co2 from gas streams is still a critical issue. apart from establishing new techniques, the exploration of membrane materials with high separation performance ...

An algebraic principle for blind source separation is presented in this paper. This separation principle identi"es a (smaller) set of equations whose solutions can blindly extract non-Gaussian signals. The concept of `Mth-order uncorrelatednessa is introduced and it is proven that for Mth-order uncorrelated source signals, signals with nonzero kth-order cumulant (2(k)M) can always be extracted ...