Winning coal at 78° North : mining, contingency and the Chaîne Opératoire in old Longyear City

The purpose of this thesis is to analyze the evolution of an early 20th century mining system in Spitsbergen as applied by Boston-based Arctic Coal Company (ACC). This analysis will address the following questions: Did the system evolve in a linear, technological-based fashion? Or was the progression more a product of interactions and negotiations with the natural and human landscapes present during the time of occupation? Answers to these questions will be sought through review of historical records and material residues identified during the 2008 field examination on Spitsbergen. The Arctic Coal Company’s flagship mine, ACC Mine No. 1, will serve as the focus for this analysis. The mine was the company’s largest undertaking during its occupation of Longyear Valley and today exhibits a large collection of related features and artifacts. The study will emphasize on the material record within an analysis of technical, environmental and social influences that guided the course of the mining system. The intent of this thesis is a better understanding of how a particular resource extraction industry took root in the Arctic.

Groundwater Under the Butte Hill - The East Camp Mining System and the Berkeley Pit

This lecture discusses monitoring activities of the Berkeley Pit for the past 31 years at the Montana Bureau of Mines and Geology in Butte, Montana.

Geology of the Tuxedo Mining District

The Tuxedo mining district lies fifteen miles west of Butte on the south east end of Deer Lodge valley. Prospecting and mining has been carried on in this district for about 20 years. As a result many pits have been dug, several adits have been driven, and two or three shallow shafts have been sunk.

Mining free-text medical records for companion animal enteric syndrome surveillance.

Large amounts of animal health care data are present in veterinary electronic medical records (EMR) and they present an opportunity for companion animal disease surveillance. Veterinary patient records are largely in free-text without clinical coding or fixed vocabulary. Text-mining, a computer and information technology application, is needed to identify cases of interest and to add structure to the otherwise unstructured data. In this study EMR's were extracted from veterinary management programs of 12 participating veterinary practices and stored in a data warehouse. Using commercially available text-mining software (WordStat™), we developed a categorization dictionary that could be used to automatically classify and extract enteric syndrome cases from the warehoused electronic medical records. The diagnostic accuracy of the text-miner for retrieving cases of enteric syndrome was measured against human reviewers who independently categorized a random sample of 2500 cases as enteric syndrome positive or negative. Compared to the reviewers, the text-miner retrieved cases with enteric signs with a sensitivity of 87.6% (95%CI, 80.4-92.9%) and a specificity of 99.3% (95%CI, 98.9-99.6%). Automatic and accurate detection of enteric syndrome cases provides an opportunity for community surveillance of enteric pathogens in companion animals.

Mining frequent bug-fix code changes

Detecting bugs as early as possible plays an important role in ensuring software quality before shipping. We argue that mining previous bug fixes can produce good knowledge about why bugs happen and how they are fixed. In this paper, we mine the change history of 717 open source projects to extract bug-fix patterns. We also manually inspect many of the bugs we found to get insights into the contexts and reasons behind those bugs. For instance, we found out that missing null checks and missing initializations are very recurrent and we believe that they can be automatically detected and fixed.

Mining the Ecosystem to Improve Type Inference For Dynamically Typed Languages

Dynamically typed languages lack information about the types of variables in the source code. Developers care about this information as it supports program comprehension. Ba- sic type inference techniques are helpful, but may yield many false positives or negatives. We propose to mine information from the software ecosys- tem on how frequently given types are inferred unambigu- ously to improve the quality of type inference for a single system. This paper presents an approach to augment existing type inference techniques by supplementing the informa- tion available in the source code of a project with data from other projects written in the same language. For all available projects, we track how often messages are sent to instance variables throughout the source code. Predictions for the type of a variable are made based on the messages sent to it. The evaluation of a proof-of-concept prototype shows that this approach works well for types that are sufficiently popular, like those from the standard librarie, and tends to create false positives for unpopular or domain specific types. The false positives are, in most cases, fairly easily identifiable. Also, the evaluation data shows a substantial increase in the number of correctly inferred types when compared to the non-augmented type inference.

Das Ende der bilateralen Handelsabkommen?: Was Mega-Abkommen wie das Freihandelsabkommen EU-USA (TTIP) für die Schweiz bedeuten

Zwei Jahrzehnte lang hat sich im internationalen Handelsrecht wenig bewegt. Durch die Paralyse der WTO genossen bilaterale Handelsabkommen viel Aufmerksamkeit und waren während 20 Jahren das primäre Instrument für die Weiterentwicklung und Vertiefung der Handelsbeziehungen. Vor gut einem Jahr hat sich die Dynamik geändert: Mit mehreren sogenannten Mega-Abkommen, plurilateralen Initiativen und dem ersten neuen Entscheid der WTO seit vielen Jahren, verlieren bilaterale Handelsabkommen an Attraktivität und Nutzen. Diese neue Dynamik bringt deutlich zum Vorschein, dass der handelspolitische Alleingang steigende Kosten mit sich bringt und die fortschreitende Globalisierung einen Imperativ zur Vernetzung und Kooperation schafft. Ob die Schweiz bereit ist, der neuen Herausforderung proaktiv zu begegnen, wird sich weisen.