Global Positioning Systems are becoming increasingly pervasive. The forensic acquisition and analysis of these units is of great interest as it has the potential to yield historic locational data for these units. Analysis of the TomTom one satellite navigation unit has resulted in a method to reliably extract historic data from these devices in a forensically sound manner.

INTRODUCTION For over two hundred years, the United States relied on ships as connective links of a nation. Vessels crossing the Atlantic, Caribbean, and Pacific Oceans, and our inland waters made fundamental contributions to colonial settlement, development of trade, exploration, national defense, and territorial expansion. Unfortunately, we have lost much of this maritime tradition, and most ...

Livestock grazing is the most ubiquitous land use in western North America, yet it rarely has been studied in a controlled manner because of the lack of large areas free of grazing. We compared the ecological effects of three grazing treatments—long-term protection, short-term protection, and currently grazed—at Chaco Culture National Historic Park in northern New Mexico. Chaco has a long histo...

Conformance checking, a method of process mining, is commonly used to assess how well a set of historic log traces fits a given process model, or vice versa. Here we explore online conformance checking, i.e., to check conformance on logs while they are written. This can be useful for near-realtime detection of errors and deviations from the desired path. While the online aspect leads to some ch...

Introduction This module computes the sample size and power of the one-sample logrank test which is used to compare the survival curve of a single treatment group to that of a historic control. Such is often the case in clinical phase-II trials with survival endpoints. Accrual time, follow-up time, and hazard rates are parameters that can be set. Several authors have presented sample size formu...

To explain why the Java Card operating system has become the most successful smart card operating system to date, we analyze the realized features of the current Java Card version, we argue it could be enhanced by adding a number of intended features and we discuss a set of complementary features that have been suggested. No technology can be successful without the right people and the right ci...

In this paper we analyze dialect phonetic data using Bayesian Monte Carlo Markov Chain inference (MCMC), in recent years one of the most powerful and the most successful methods in molecular phylogeny for inferring the relationships between species. This method enables us to infer the historic relationships between the language varieties, but also to explore historical accounts of the sound cor...