We prove that the elliptic surface y 2 = x 3 + 2(t 8 + 14t 4 + 1)x + 4t 2 (t 8 + 6t 4 + 1) has geometric Mordell-Weil rank 15. This completes a list of Kuwata, who gave explicit examples of elliptic K3-surfaces with geometric Mordell

Abstract We study the behavior of a general gravitational action, including quadratic terms in the curvature, supplemented by a compact scalar field in 4 + 1 dimensions. The generalized Einstein equation for this system admits solutions which are compact in one direction and Poincaré invariant in the remaining directions. These solutions do not require any fine-tuning of the parameters in the a...

A large class of safety-critical control systems contains monitoring subsystems that display certain system parameters to (human) operators. Ensuring that the displayed data are sufficiently fresh and noncorrupted constitutes an important part of safety requirements. However, the monitoring subsystems are typically not a part of a safety kernel and hence often built of SIL1–SIL2 components. In ...

In this paper, we prove two conjectures of Ulas ([21]) on two Diophantine equations of Ramanujan-Nagell type. In fact, we show that the following equations x + (2 + 1)2 = 2 + 2 + 2 + 2 + 1, x + 1 3 ( 2 − 1 ) 2 = 1 9 ( 49 · 4 − 11 · 4 + 1 ) have exactly four solutions.

Node position information is one of the important issues in many wireless sensor networks usages. In this paper, based on path-planning and prediction, an indoor mobile target localization algorithm (PPIMT) is proposed. We first establish the path-planning model to constrain the movement trajectory of the mobile target in indoor environment according to indoor architectural pattern. Then, one c...

The value of architecture in a corporate information technology environment lies in guidance on technology choice and system design. Underlying this is the ability of the architecture team to research the relevant architectural domains well, to formulate informed strategies, to document these explicitly, and to guide projects in their application. To do this, architects must make decisions betw...

A new software architectural model for the archival of slide-based presentations on the Internet is proposed. This architecture is based on the concept of the " lecture object, " a persistent format, independent of the lecture production and viewing technology. The work has been undertaken in the context of the Web Lecture Archive Project, a collaboration of the CERN HR Division Training and De...