Therapeutic antibodies may mediate antineoplastic effects by altering the biological functions of their target, by directly stimulating the demise of cancer cells or by activating antibody-dependent immune effector mechanisms. We have recently provided in vivo proof-of-concept for a "function-first" target and drug discovery platform in which antibodies against a multitude of tumor-associated a...

These notes discuss formalizing contexts as first class objects. The basic relation is ist(c, p). It asserts that the proposition p is true in the context c. The most important formulas relate the propositions true in different contexts. Introducing contexts as formal objects will permit axiomatizations in limited contexts to be expanded to transcend the original limitations. This seems necessa...

In a Hamiltonian system with first class constraints observables can be defined as elements of a quotient Poisson bracket algebra. In the gauge fixing approach observables form a quotient Dirac bracket algebra. We show that these two algebras are isomorphic. A new realization of the observable algebras through the original Poisson bracket is found.Generators, brackets and pointwise products of ...

In this paper, we use the idea of normal family to investigate problem entire function that share with its first derivative.

The very first class in my first year as an undergraduate student was infinitesimal calculus with Michael Maschler. Michael opened my eyes to the beauty of mathematics beyond the highschool level. In subsequent years I studied several game theory courses with Michael, and I was always amazed at the width and depth of the theory. Over the past four years Shmuel Zamir and I have written a game th...