comnode classification within membrane residue curves (m-rcms) currently hinges on lyapunov’s theorem and therefore the computation of mathematically complex eigenvalues. this paper presents an alternative criterion for the classification of nodes within m-rcms based on the total membrane flux at node compositions. this paper demonstrates that for a system exhibiting simple permeation behaviour...

Based on Nakajima’s Classification Theorem [N] we describe the precise form of the binomial equations which determine toric locally complete intersection (“l.c.i”) singularities.

We obtain a number of consequences of the theorem on the automatic continuity of locally bounded finite-dimensional representations of connected Lie groups on the derived subgroup of the group, as well as an analogue of Lie’s theorem for (not necessarily continuous) finite-dimensional representations of connected soluble locally compact groups. In particular, we give a description of connected ...

is finite under the following equivalence (cf. Theorem 3.1). For stable curves X and Y over OK , X is equivalent to Y if X ⊗OK OK′ ≃ Y ⊗OK OK′ for some finite extension field K ′ of K. In §1, we will consider semistability of the kernel of H(C,L) ⊗ OC → L, which gives a generalization of [PR]. In §2, an inequality of self-intersection and height will be treated. Finally, §3 is devoted to finite...

A family A of sets is said to be t-intersecting if any two sets in A contain at least t common elements. A t-intersecting family is said to be trivial if there are at least t elements common to all its sets. A family H is said to be hereditary if all subsets of any set in H are in H. For a finite family F , let F (s) be the family of s-element sets in F , and let μ(F) be the size of a smallest ...

Cost functions in problems concerning the existence of Nash Equilibria are traditionally multilinear in the mixed strategies. The main aim of this paper is to relax the hypothesis of multilinearity. We use basic intersection theory, Poincaré Duality and the Dold-Thom Theorem to establish existence of Nash Equilibria under fairly general topological hypotheses. The Dold-Thom Theorem provides us ...

This paper presents an executable semantics of OO models. We made it possible to conduct both simulation and theorem proving on the semantics by implementing its underlying heap memory structure within the expressive intersection of the functional language ML and the theorem prover HOL. This paper also presents a verification system ObjectLogic which supports simulation and theorem proving of O...