As mining and civil tunneling progresses to depth, excavation-induced seismicity and rockburst problems increase and cannot be prevented. As an important line of defense, ground control measures and burst-resistant rock support are used to prevent or minimize damage to excavations and thus to enhance workplace safety. Rock support in burst-prone ground differs from conventional rock support whe...

We define a core language combining computational and architectural primitives, and study how static typing may be used to ensure safety properties of component composition and dynamic reconfiguration in object-based systems. We show how our language can model typed entities analogous of configuration scripts, makefiles, components, and component instances, where static typing combined with a d...

Biometric is used as a main security fence in computer system. The unique characteristics of person can be distinguished from each other. Human’s biometrics categorized into three types: morphological, biological and behavioural. Morphological uses physical features for recognition. Biological to identify user based on features. Behavioural such gender, culture, height weight an additional meas...

Neuromuscular assessment of rock climbers has been mainly focused on forearm muscles in the literature. We aimed to extend the body of knowledge investigating on two other upper limb muscles during sport-specific activities in nine male rock climbers. We assessed neuromuscular manifestations of fatigue recording surface electromyographic signals from brachioradialis and teres major muscles, usi...

Although static typing provides undeniable benefits for the development of applications, dynamically typed languages have become increasingly popular for specific scenarios. Since each approach offers different benefits, the StaDyn programming language has been designed to support both dynamic and static typing. This paper describes the minimal core of the StaDyn programming language. Its type ...

a r t i c l e i n f o The purpose of this study is to investigate the role of filling materials (e.g., quartz sand and kaolin clay) in the interaction between a P-wave and a rock fracture. The specific fracture stiffness reflects the seismic response of a filled fracture, while the wave transmission coefficient describes P-wave transmission across the filled fracture. A series of experimental t...