A fundamental unit of computation is introduced for reactive programming called the LEGO R © brick. It is targeted for domains in which JavaScript runs in an attempt to allow a user to build a trustworthy reactive program on demand rather than try to analyze JavaScript. A formal definition is given for snapping bricks together based on the standard product construction for deterministic finite ...

Abstract Reinforced concrete (RC) frames with masonry infills can be encountered all over the world, especially in earthquake prone regions. Although are usually not considered design process, case of seismic loading they subjected to in-plane and out-of-plane forces that act separately or simultaneously. In recent earthquakes it was observed loads severely damage even cause their complete coll...

Construction projects are often challenged by tight budgets and limited time resources. Contractors are, therefore, looking for ways to become competitive improving efficiency using cost-effective materials. Using three-dimensional (3D) printing shaping materials produce construction elements is becoming a feasible option make contractors more locally globally. The process capabilities 3D print...

The transport of 3H+ (as HTO) and 36Cl- (as Na36Cl) was investigated in the dynamic system, i.e., in the columns filled with crushed pure granite and fracture infill of various grain sizes. The aim of column experiments was to determine important transport parameter, such as the retardation, respectively distribution coefficients, Peclet numbers and hydrodynamic dispersion coefficients. Further...