In this short survey paper, we shall discuss certain recent results in classical gravity. Our main attention will be restricted to two topics in which we have been involved; the positive mass conjecture and its extensions to the case with horizons, including the Penrose conjecture (Part I), and the interaction of gravity with other force fields and quantum-mechanical particles (Part II).

In this paper we prove an existence theorem of global smooth solutions for the Cauchy problem of a class of quasilinear hyperbolic systems with nonlinear dissipative terms under the assumption that only the <i>C</i>⁰-norm of the initial data is sufficiently small, while the <i>C</i>¹-norm of the initial data can be large. The analysis is based on <i>a priori</i> estimates, which are obtained by a generalised Lax transformation.

No abstract uploaded!

The SMS4 block cipher is part of the Chinese WAPI wireless standard. This paper describes the specification and offers a specification for a toy version called simplified SMS4 (S-SMS4). We explore algebraic attacks on SMS4 and S-SMS4 using Gröbner basis attacks on equation systems over GF(2) and GF(2^8), as well as attacks using a SAT solver derived from the GF(2) model. A comparison of SAT and Gröbner basis attacks is provided.

No abstract uploaded!