نتایج جستجو برای: linear alphabeta derivations

تعداد نتایج: 489188  

Journal: :Journal of virology 2000
Z Sha R W Compans

Through cognate interaction between antigen-specific B-cell and CD4(+) alphabeta T cells, the CD4(+) alphabeta T cells secrete cytokines that initiate immunoglobulin (Ig) class switching from IgM to IgG. In this study, we show that formalin-inactivated influenza PR8 virus induces virus-specific IgM and IgG responses in the absence of CD4(+) T cells and that all four subclasses of IgG are produc...

Journal: :The Journal of chemical physics 2005
Cristina Alvarez Vicente Lorenzo Evaristo Riande

The relaxation behavior of poly(5-acryloxymethyl-5-methyl-1,3-dioxacyclohexane), a polymer containing highly flexible side groups, is studied by broadband dielectric spectroscopy in the frequency and temperature ranges 10(-1)-10(9) Hz and 123-473 K, respectively. Above the glass transition temperature T(g) the dielectric loss in the frequency domain exhibits a prominent alpha absorption, follow...

Journal: :The Journal of Experimental Medicine 2001
Stefan Ehlers Jochen Benini Heinz-Dieter Held Christiane Roeck Gottfried Alber Stefan Uhlig

The immunological basis of tuberculin-induced necrosis, known for more than a century as "Koch's phenomenon," remains poorly understood. Aerosol infection in mice with the highly virulent Mycobacterium avium strain TMC724 causes progressive pulmonary pathology strongly resembling caseating necrosis in human patients with tuberculosis. To identify the cellular and molecular mediators causing thi...

A. Najati C. Park

Using the Hyers-Ulam-Rassias stability method, weinvestigate isomorphisms in Banach algebras and derivations onBanach algebras associated with the following generalized additivefunctional inequalitybegin{eqnarray}|af(x)+bf(y)+cf(z)|  le  |f(alpha x+ beta y+gamma z)| .end{eqnarray}Moreover, we prove the Hyers-Ulam-Rassias stability of homomorphismsin Banach algebras and of derivations on Banach ...

Journal: :Journal of immunology 1997
D Margolis M Yassai A Hletko L McOlash J Gorski

Analysis of TCR rearrangement profiles of well-defined thymocyte populations in a number of individual thymi provides evidence for a new pathway of lineage commitment. In all of the thymi analyzed, alphabeta thymocytes have rearrangements in the delta locus that are enhanced for out-of-frame rearrangements. Thus, not only did alphabeta thymocytes pass through a stage in differentiation that inc...

Journal: :The Journal of Experimental Medicine 2008
Taras Kreslavsky Annette I. Garbe Andreas Krueger Harald von Boehmer

alphabeta and gammadelta T cell lineages develop in the thymus from a common precursor. It is unclear at which stage of development commitment to these lineages takes place and in which way T cell receptor signaling contributes to the process. Recently, it was demonstrated that strong TCR signals favor gammadelta lineage development, whereas weaker TCR signals promote alphabeta lineage fate. Tw...

Journal: :Ann. Pure Appl. Logic 1996
Max I. Kanovich

A Linear Logic automaton is a hybrid of a finite automaton and a non-deterministic Petri net. LL automata commands are represented by propositional Horn Linear Logic formulas. Computations performed by LL automata directly correspond to cut-free derivations in Linear Logic. A programming language of LL automata is developed in which typical sequential, nondeterministic and parallel programming ...

2005
Hariolf Betz

We motivate and develop a linear logic declarative semantics for CHR∨, an extension of the CHR programming language that integrates concurrent committed choice with backtrack search and a predefined underlying constraint handler. We show that our semantics maps each of these aspects of the language to a distinct aspect of linear logic. We show how we can use this semantics to reason about deriv...

2013
Zvika Ben-Haim

The problem of parameter estimation in linear model is pervasive in signal processing and communication applications. It is often common to restrict attention to linear estimators, which simplifies the implementation as well as the mathematical derivations. The simplest design scenario is when the second order statistics of the parameters to be estimated are known and it is desirable to minimiz...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید