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

This paper presents an approach for improving final software system usability by designing for usability, in particular by addressing usability issues in the software architecture. This approach differs from the traditional idea of measuring and improving usability once the system is complete. The work presented in this paper is part of the research conducted within the European Union IST STATU...

In this paper we develop a technique of constructing bent– negabent Boolean functions by using complete mapping polynomials. Using this technique we demonstrate that for each ` ≥ 2 there exits bent– negabent functions on n = 12` variables with algebraic degree n 4 + 1 = 3`+ 1. It is also demonstrated that there exist bent–negabent functions on 8 variables with algebraic degrees 2, 3 and 4.

This paper introduces a reflective perspective on the role of computing in architectural design over the generations of computer aided architectural designs. Paradigms of the design process and computational models of designing are discussed. The evolution of computer aided architectural design is investigated. Both deadly sins and arguable virtues of computing in architecture and their implica...