There exist two different generalizations of the classical Saito–Kurokawa lifting to modular forms with (square-free) level; one lifting produces modular forms with respect to Γ0(m), the other one with respect to the paramodular group Γ(m). We shall give an alternative and unified construction of both liftings using group theoretic methods. The construction shows that a single elliptic modular ...

To every k-dimensional modular invariant vector space we associate a modular form on SL(2,Z) of weight 2k. We explore number theoretic properties of this form and found a sufficient condition for its vanishing which yields modular identities (e.g., Ramanujan-Watson’s modular identities). Furthermore, we focus on a family of modular invariant spaces coming from suitable two-dimensional spaces vi...

The UK construction sector is facing multiple challenges associated with low productivity, unreliable project delivery, poor performance, skilled labour shortages, and resource inefficiency. To address these the Government industry have been promoting modular construction; a method that can improve efficiency productivity in via prefabrication of volumetric elements or structural components bui...

A testing scenario in the sense of De Nicola and Hennessy is developed to measure the worst-case eeciency of asynchronous systems using dense time, and it is shown that one can equivalently use discrete time. The resulting testing-preorder is characterized with some kind of refusal traces. Furthermore, the testing-preorder is reened to a precongruence for standard operators known from process a...