On the problem of algebraic completeness for the invariants of the Riemann Tensor: I

We present a new determining set, CZ, of Riemann invariants which possesses the minimum degree property. From an analysis on the possible independence of CZ, we are led to the division of all space-times into two distinct, invariantly characterized, classes: a general class M_G+, and a special, singular class M_S For each class, we provide an independent set of invariants (I_G+) ⊂ CZ and I_S ⊂ CZ, respectively) which, with the results of a sequel paper, will be shown to be algebraically complete.

On the problem of algebraic completeness for the invariants of the Riemann tensor. III.

We study the set CZ of invariants [Zakhary and Carminati, J. Math. Phys. 42, 1474 (2001)] for the class of space-times whose Ricci tensors possess a null eigenvector. We show that all cases are maximally backsolvable, in terms of sets of invariants from CZ, but that some cases are not completely backsolvable and these all possess an alignment between an eigenvector of the Ricci tensor with a repeated principal null vector of the Weyl tensor. We provide algebraically complete sets for each canonically different space-time and hence conclude with these results and those of a previous article [Carminati, Zakhary, and McLenaghan, J. Math. Phys. 43, 492 (2002)] that the CZ set is determining or maximal.

Algebraic attacks over GF(q)

Recent algebraic attacks on LFSR-based stream ciphers and S-boxes have generated much interest as they appear to be extremely powerful. Theoretical work has been developed focusing around the Boo- lean function case. In this paper, we generalize this theory to arbitrary finite fields and extend the theory of annihilators and ideals introduced at Eurocrypt 2004 by Meier, Pasalic and Carlet. In particular, we prove that for any function f in the multivariate polynomial ring over GF(q), f has a low degree multiple precisely when two low degree functions appear in the same coset of the annihilator of f ^{q – 1} – 1. In this case, many such low degree multiples exist.

Algebraic attacks on clock-controlled stream ciphers

We present an algebraic attack approach to a family of irregularly clock-controlled bit-based linear feedback shift register systems. In the general set-up, we assume that the output bit of one shift register controls the clocking of other registers in the system and produces a family of equations relating the output bits to the internal state bits. We then apply this general theory to four specific stream ciphers: the (strengthened) stop-and-go generator, the alternating step generator, the self-decimated generator and the step1/step2 generator. In the case of the strengthened stop-and-go generator and of the self-decimated generator, we obtain the initial state of the registers in a significantly faster time than any other known attack. In the other two situations, we do better than or as well as all attacks but the correlation attack. In all cases, we demonstrate that the degree of a functional relationship between the registers can be bounded by two. Finally, we determine the effective key length of all four systems.

Algebraic attacks on clock-controlled cascade ciphers

In this paper, we mount the first algebraic attacks against clock controlled cascade stream ciphers. We first show how to obtain relations between the internal state bits and the output bits of the Gollmann clock controlled cascade stream ciphers. We demonstrate that the initial states of the last two shift registers can be determined by the initial states of the others. An alternative attack on the Gollmann cascade is also described, which requires solving quadratic equations. We then present an algebraic analysis of Pomaranch, one of the phase two proposals to eSTREAM. A system of equations of maximum degree four that describes the full cipher is derived. We also present weaknesses in the filter functions of Pomaranch by successfully computing annihilators and low degree multiples of the functions.

An algebraic approach for delay-independent and delay-dependent stability of linear time-delay systems

This paper addresses the problem of asymptotic stability of a linear system with many delay units. A novel algebraic test is proposed for the delay-independent stability of the system, based on the root distribution of the system's characteristic equation. If the system is only stable dependent of delay, the whole stable regions of the system can be perfectly obtained. Two algorithms are derived to examine the delay-independent stability, and to compute the whole stable regions if the system is of delay-dependent stability. These algorithms are computationally efficient and applicable to both certain and uncertain systems. Some illustrative examples demonstrate the validity of the approach.

Mutually clock-controlled feedback shift registers provide resistance to algebraic attacks

Algebraic attacks have been applied to several types of clock-controlled stream ciphers. However, to date there are no such attacks in the literature on mutually clock-controlled ciphers. In this paper, we present a preliminary step in this direction by giving the first algebraic analysis of mutually clock-controlled feedback shift register stream ciphers: the bilateral stop-and-go generator, A5/1, Alpha 1 and the MICKEY cipher. We show that, if there are no regularly clocked shift registers included in the system, mutually clock-controlled feedback shift register ciphers appear to be highly resistant to algebraic attacks. As a demonstration of the weakness inherent in the presence of a regularly clocked shift register, we present a simple algebraic attack on Alpha 1 based on only 29 keystream bits.

On the problem of algebraic completeness for the invariants of the Riemann tensor. II

We study the set of invariants CZ [E. Zakhary and J. Carminati, J. Math. Phys. 42, 1474 (2001)] for the class of space-times whose Ricci tensors do not possess a null eigenvector. We show that all cases are completely backsolvable in terms of sets of invariants from CZ. We provide algebraically complete sets for each canonically different space-time.

Mouse B7-H3 induces antitumor immunity

Members of the B7 family costimulate the proliferation of lymphocytes during the initiation and maintenance of antigen-specific humoral and cell-mediated immune responses. While B7-1 and -2 are restricted to lymphoid tissues, and activate naïve T cells, recently identified members including B7-H2 and -H3 are widely expressed on nonlymphoid tissues, and regulate effector lymphocytes in the periphery. B7-H3 has properties that suggested it may display antitumor activity, including the ability to stimulate Th1 and cytotoxic T-cell responses. Here, we test this notion by determining whether intratumoral injection of an expression plasmid encoding a newly described mouse homologue of B7-H3 is able to eradicate EL-4 lymphomas. Intratumoral injection of a mouse B7-H3 pcDNA3 expression plasmid led to complete regression of 50% tumors, or otherwise significantly slowed tumor growth. Mice whose tumors completely regressed resisted a challenge with parental tumor cells, indicating systemic immunity had been generated. B7-H3-mediated antitumor immunity was mediated by CD8(+) T and NK cells, with no apparent contribution from CD4(+) T cells. In summary, the results indicate that B7-H3 interactions may play a role in regulating cell-mediated immune responses against cancer, and that B7-H3 is a potential therapeutic tool.

An algebraic framework for multimodal image fusion

This thesis presents an algebraic framework for multimodal image fusion. The framework derives algebraic constructs and equations that govern the fusion process. The derived equations serve as objective functions according to which image fusion algorithms and metrics can be tuned. The equations also prove the duality between image fusion algorithms and metrics.

A new rodent model to assess blood stage immunity to the plasmodium falciparum antigen merozoite surface protein 119 reveals a protective role for invasion inhibitory antibodies

Antibodies capable of inhibiting the invasion of Plasmodium merozoites into erythrocytes are present in individuals that are clinically immune to the malaria parasite. Those targeting the 19-kD COOH-terminal domain of the major merozoite surface protein (MSP)-119 are a major component of this inhibitory activity. However, it has been difficult to assess the overall relevance of such antibodies to antiparasite immunity. Here we use an allelic replacement approach to generate a rodent malaria parasite (Plasmodium berghei) that expresses a human malaria (Plasmodium falciparum) form of MSP-119. We show that mice made semi-immune to this parasite line generate high levels of merozoite inhibitory antibodies that are specific for P. falciparum MSP-119. Importantly, protection from homologous blood stage challenge in these mice correlated with levels of P. falciparum MSP-119–specific inhibitory antibodies, but not with titres of total MSP-119–specific immunoglobulins. We conclude that merozoite inhibitory antibodies generated in response to infection can play a significant role in suppressing parasitemia in vivo. This study provides a strong impetus for the development of blood stage vaccines designed to generate invasion inhibitory antibodies and offers a new animal model to trial P. falciparum MSP-119 vaccines.

Systemic activation of dendritic cells by toll-like receptor ligands or malaria infection impairs cross-presentation and antiviral immunity

The mechanisms responsible for the immunosuppression associated with sepsis or some chronic blood infections remain poorly understood. Here we show that infection with a malaria parasite (Plasmodium berghei) or simple systemic exposure to bacterial or viral Toll-like receptor ligands inhibited cross-priming. Reduced cross-priming was a consequence of downregulation of cross-presentation by activated dendritic cells due to systemic activation that did not otherwise globally inhibit T cell proliferation. Although activated dendritic cells retained their capacity to present viral antigens via the endogenous major histocompatibility complex class I processing pathway, antiviral responses were greatly impaired in mice exposed to Toll-like receptor ligands. This is consistent with a key function for cross-presentation in antiviral immunity and helps explain the immunosuppressive effects of systemic infection. Moreover, inhibition of cross-presentation was overcome by injection of dendritic cells bearing antigen, which provides a new strategy for generating immunity during immunosuppressive blood infections.