In this commentary, we elaborate on the necessity to choose among a wider, higher-level conceptual approach and a more concrete, skills oriented one in HCI education, as a result of HCI enlarging scope and curriculum pressures. First, the role and usefulness of more abstract topics are discussed, and second, some reflections on how to cover them in HCI education are presented.

Cover FigureAlthough both the PRR and area 5d have been found to be intimately involved in visually guided reach, several recent studies of reference frame, decision making, and sequential movement suggest that they might play distinct roles in planning and control of reach at different levels of complexity, indicating a hierarchical circuitry participating in translation from abstract intentio...

The transfer of forces from reinforcing bars to surrounding concrete in reinforced concrete (RC) is influenced by many parameters. Several efforts were made to understand the influence of bond on global behaviour of RC members. However, the information on bond strength of high strength concrete (HSC) is lacking. An attempt was made to study the influence of various parameters on bond such as ba...

Given modal logics 1, 2, their lexicographic product 1 ⇤ 2 is a new logic whose frames are the Cartesian products of a 1-frame and a 2-frame, but with the new accessibility relations reminiscent of a lexicographic ordering. This article considers the lexicographic products of several modal logics with linear temporal logic (LTL) based on “next” and “always in the future”. We provide axiomatizat...

This paper is concerned with algorithmic techniques for the incremental generation of continuous curves that can efficiently cover an abstract surface. We introduce the notion of low-discrepancy curves as an extension of the notion of low-discrepancy sequences—such that sufficiently smooth curves with low-discrepancy properties can be defined and generated. We then devise a procedure for liftin...

This paper presents an experimental investigation on the crack width induced by the corrosion of reinforcing steel bars in concrete. Reinforcing steel bars with different diameters were corroded using an accelerated test in three types of concrete members, including 24 beams with corroded stirrup and 20 beams with corroded longitudinal reinforcing steel bars. The corrosion patterns and rusts ch...

In recent years, the Lamb wave analysis by the multi-channel analysis of surface waves (MASW) for concrete structures has been an effective nondestructive evaluation, such as the condition assessment and dimension identification by the elastic wave velocities and their reflections from boundaries. This study proposes an effective Lamb wave analysis by the practical application of MASW to concre...