Steenrod operations were defined by Voedvodsky in motivic cohomology in order to prove the Milnor and Bloch-Kato conjectures. These operations have also been constructed by Brosnan for Chow rings [5]. The purpose of this paper is to provide a setting for the construction of the Steenrod operations in algebraic geometry, for generalized cohomology theories whose formal group law has order two. W...

It has been increasingly recognised that construction activity imposes external costs to the environment. This paper aims to review the benefits and major problems in the implementation of ISO 14000 EMS in the Hong Kong construction industry. This study surveyed major construction firms in Hong Kong to uncover the hindrance factors contributing to the low adoption of ISO 14000. Based on the fin...

Recently, several efforts to implement and use an unconditionally secure multi-party computation (MPC) scheme have been put into practice. These implementations are passively secure MPC schemes in which an adversary must follow the MPC schemes. Although passively secure MPC schemes are efficient, passive security has the strong restriction concerning the behavior of the adversary. We investigat...

Interest in the application of computer simulation in construction has been growing since the introduction of the CYCLONE (CYCLic Operation NEtwork) methodology in 1973. The CYCLONE methodology has become well established and its six standard modeling elements provide a simple, straightforward tool for the study of various construction operations. Many construction-specific simulation systems e...

The presented work extends the state-of-the-art in scientific simulation-driven 3D construction process visualization. We present a tool, ViTerra that engineers can use to automatically generate photorealistic, digital, 3D terrain CAD databases to represent construction jobsites in visualizations of discrete-event construction simulations. The work capitalizes on the availability of detailed to...

The two important qualities of a cipher is security and speed. Frequently, to satisfy the security of a Boolean function primitive, speed may be traded-off. In this paper we present a general construction that addresses both qualities. The idea of our construction is to manipulate a cryptographically strong base function and one of its affine equivalent functions, using concatenation and negati...

1474-0346/$ see front matter 2012 Elsevier Ltd. A http://dx.doi.org/10.1016/j.aei.2012.04.004 ⇑ Corresponding author. Tel.: +1 407 823 2480; fax E-mail addresses: [email protected] (R. Akhav (A.H. Behzadan). Recent advances in data collection and operations analysis techniques have facilitated the process of designing, analyzing, planning, and controlling of engineering processes. Mathematic...