Abstract Introduction: Currently ocular combat injuries are complex and associated with poor visual outcomes. Our objective is to characterize the military population that suffer land mine combat ocular trauma in Colombia and indentify the type of wound, treatment and visual outcomes. Methods: Retrospectively review of medical history of soldiers evaluated in Pablo Tobon Uribe Hospital, whom ha...

Mine closure practices have continued to improve over the last few decades; however, across industry rehabilitation outcomes continue fall short of community expectations. While examples successful exist, there are still limited mines closing, relinquishing, and transitioning another land use. Barriers relinquishment such as residual risk, transfer liability, next use options compounded by lack...

The Itai-Itai disease case is one of four major pollution-related lawsuits occurring in Japan after World War H. This paper, which is based on investigations of the pollution source, the Kamioka mine, considers (1) the history of the disturbances to the environment caused by the Kamioka mine; (2) the Itai-Itai disease suit; (3) the pollution nprevention measures and methods of the Kamioka mine ...

water has an important role in creating pollution problems in the mining regimes influencing the surrounding surface environment. the purpose of this study is to make an assessment of groundwater quality in an underground mine site in portugal with a view of determining the pollution potential of groundwater. in the corresponding surface area of this underground mine, intersections of fou...

A rockburst is a violent failure of a mine opening and is usually associated with deep mining operations. The objective of this research is to detect and reduce rockburst hazards by studying seismic energy release, geostructural data including mine opening closure rates, and in situ stress measurements. Little progress has been made in determining mechanisms of rockbursts, but improved methods ...

Description Logics (DLs) are formalisms for taxonomic reasoning about structured knowledge. Adding the transitive closure of roles to DLs also enables them to represent and reason about actions and plans. The present paper explores several essentially diierent encodings of planning in Description Logics. We argue that DLs represent an ideal framework for analysing and comparing these approaches...

Description Logics (DLs) are formalisms for taxonomic reasoning about structured knowledge. Adding the transitive closure of roles to DLs also enables them to represent and reason about actions and plans. The present paper explores several essentially diierent encodings of planning in Description Logics. We argue that DLs represent an ideal framework for analysing and comparing these approaches...

Description Logics (DLs) are formalisms for tax-onomic reasoning about structured knowledge. Adding the transitive closure of roles to DLs also enables them to represent and reason about actions and plans. The present paper explores several essentially diierent encodings of planning in Description Logics. We argue that DLs represent an ideal framework for analysing and comparing these approache...