This paper introduces the concept of cognition-based CAAD. Protocol analysis and a content-oriented coding scheme are utilised to produce cognitive results of designers’ behaviour. This empirical analysis suggests that the speed of thought and vagueness among actions are the main areas to be supported by any cognition-based CAAD system. Three different modes of design thinking are presented as ...

An Activity Parallelism Architectural Pattern for Parallel Programming Jorge L. Ortega-Arjona Departamento de Matemáticas, Facultad de Ciencias, UNAM México, D.F. 01000, México [email protected] Abstract The Shared Resource pattern is an architectural pattern for parallel programming used when a design problem can be understood in terms of activity parallelism. This pattern proposes a solu...

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