We construct the manifestly gauge invariant effective Lagrangian in 3 + 1 dimensions describing the Standard Model in 4 + 1 dimensions, following the transverse lattice technique. We incorporate split generation fermions and we explore naturalness for two Higgs configurations: a universal Higgs VEV, common to each transverse brane, and a local Higgs VEV centered on a single brane with discrete ...

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...

HCI has borrowed some concepts from existential phenomenology, in particular Dreyfus’s interpretation of Heidegger’s philosophy. Not all concepts have been widely discussed, and it is urgently important to investigate further consequences of existential phenomenology on research and design of technology. ”Presence-at-hand” and ”readiness-at-hand” are two concepts that have been accomodated into...