The German Rhineland is home to the world's largest opencast lignite coal mine and human-made hole e the Hambach mine. Over the last seven years, RWE, the mine operator, has faced an increase in militant resistance, culminating in the occupation of the Hambacher Forest and acts of civil disobedience and sabotage. The mine provides a European case study to examine the repressive techniques deplo...

BACKGROUND The use of formative research as a critical component of intervention planning is highly supported in the literature. However, studies that report such processes in practice are minimal. This paper reports on the formative data collection and analysis that informed the development of a multilevel intervention that utilizes mine assessment technology to bridge health communication bet...

Remedial mine detection and the detection of unexploded ordnance (UXO) have become very important for humanitarian reasons. This paper addresses mine detection using commonly used Electromagnetic Induction sensors. We propose and evaluate two neural network approaches to mine detection which provide a robust non-parametric technique, based on training the networks using data from a previously c...

There are more than 100 million land mines buried throughout the world, and, at present, the removal of these mines is primarily being done by hand. Our research group has suggested a mine detection method using six-legged robots, such as COMET-I, II, and III, to establish the land mine detection and removal technology. Mine detection by six-legged robots such as COMET-II and III have two manip...

Placement of the division site at midcell in Escherichia coli requires the MinE protein. MinE acts by imparting topological specificity to the MinCD division inhibitor, preventing the inhibitor from acting at the midcell site while permitting it to block division at other unwanted sites along the length of the cell. It was previously shown that MinE assembled into a ring structure that appeared...

The Min proteins (MinC, MinD, and MinE) form a pole-to-pole oscillator that controls the spatial assembly of the division machinery in Escherichia coli cells. Previous studies identified that interactions of MinD with phospholipids positioned the Min machinery at the membrane. We extend these studies by measuring the affinity, kinetics, and ATPase activity of E. coli MinD, MinE, and MinDE bindi...

The Timed Interval Calculus, a timed-trace formalism based on set theory, is introduced. It is extended with an induction law and a unit for conca-tention, which facilitates the proof of properties over trace histories. The eeectiveness of the extended Timed Interval Calculus is demonstrated via a benchmark case study, the mine pump. Speciically, a safety property relating to the operation of a...

The three-dimensional geological model of Cangshang Gold Mine, including the geological database, ore body model and block model, was established by mining software Surpac, which simplified the complicated hand-drawing and reserve calculation. The three-Dimensional development system visualization was also studied on the basis of conducting the vectorization of the whole development system desi...