To identify essential components of the Fas-induced apoptotic signaling pathway, Jurkat T lymphocytes were chemically mutagenized and selected for clones that were resistant to Fas-induced apoptosis. We obtained five cell lines that contain mutations in the adaptor FADD. All five cell lines did not express FADD by immunoblot analysis and were completely resistant to Fas-induced death. Complemen...

A completely positive master equation describing quantum dissipation for a Brownian particle is derived starting from microphysical collisions, exploiting a recently introduced approach to subdynamics of a macrosystem. The obtained equation can be cast into Lindblad form with a single generator for each Cartesian direction. Temperature dependent friction and diffusion coefficients for both posi...

Assume that there is no quasi-measurable cardinal not greater than 2. We show that for a c.c.c. σ-ideal I with a Borel base of subsets of an uncountable Polish space, if A is a point-finite family of subsets from I then there is a subfamily of A whose union is completely nonmeasurable i.e. its intersection with every nonsmall Borel set does not belong to the σ-field generated by Borel sets and ...

We show that a completely multiplicative automatic function, which dos not have 0 as value, is almost periodic.

The following propositions are true: (1) For every sup-semilattice L and for all elements x, y of L holds ⌈⌉L(↑x∩ ↑y) = x ⊔ y. (2) For every semilattice L and for all elements x, y of L holds ⊔ L(↓x∩↓y) = x ⊓ y. (3) Let L be a non empty relational structure and x, y be elements of L. If x is maximal in (the carrier of L) \ ↑y, then ↑x \ {x} = ↑x ∩ ↑y. (4) Let L be a non empty relational structu...

Verifying partial (i.e., termination-insensitive) equivalence of programs has significant practical applications in software development and education. Conventional equivalence verifiers typically rely on a combination of given relational summaries and suggested synchronization points; such information can be extremely difficult for programmers without a background in formal methods to provide ...

In this paper, concepts of strongly way below relations, completely precontinuous posets, coprimes and Heyting posets are introduced. The main results are: (1) The strongly way below relations of completely precontinuous posets have the interpolation property; (2) A poset P is a completely precontinuous poset iff its normal completion is a completely distributive lattice; (3) An ω-chain complet...

An n×n matrix X is called completely positive semidefinite (cpsd) if there exist d×d Hermitian positive semidefinite matrices {Pi}i=1 (for some d ≥ 1) such that Xij = Tr(PiPj), for all i, j ∈ {1, . . . , n}. The cpsd-rank of a cpsd matrix is the smallest d ≥ 1 for which such a representation is possible. In this work we initiate the study of the cpsd-rank which we motivate twofold. First, the c...

In this paper, the concept of completely N-continuous multifunction is defined and their basic characterizations and properties are obtained.