The study of downtime and subsequently machine utilization in a given project is one of the major requirements of an accurate estimation of TBM performance and daily advance rate. Interestingly, while it is very common to report the components of downtime when discussing a tunneling project in the literature; there has not been a great amount of in-depth studies on this topic in the recent year...

This paper presents a disk-based explicit state model checking algorithm that uses an approach called layered duplicate detection. In this approach, states encountered during a breadth-first traversal of the graph of the transition system are stored in memory according to the layer of the graph in which they are first encountered. With this layered organization of memory, transition locality is...

The introduction to competitive analysis presented in Borodin et al. [1] (Section 1.1) is enlightening and provides a good theoretical foundation to the concepts introduced during the first lecture of the course. Here, useful connections are made between offline and online problems (and their algorithms, which is another useful distinction). In many cases, the offline algorithm can be seen as a...

The need for automated text evaluation is common to several AI disciplines. In this work, we explore the use of Machine Translation (MT) evaluation metrics for Textual Case Based Reasoning (TCBR). MT and TCBR typically propose textual solutions and both rely on human reference texts for evaluation purposes. Current TCBR evaluation metrics such as precision and recall employ a single human refer...

Nowadays, the presence of cache hierarchies tends to be a common trend in processor architectures, even in hardware for real-time embedded systems. Caches are used to fill the gap between the processor and the main memory, reducing access times based on spatial and temporal locality properties of tasks. Cache hierarchies are going even further however at the price of increased complexity. In th...

introduction in neonates and small infants, early diagnosis of central diabetes insipidus (cdi) and treatment with desmopressin in low doses (avoiding severe hypo- or hypernatremia) are important to prevent associated high morbidity and mortality in this particular age group. case presentetion we described pharmacokinetic and pharmacodynamic results of the use of recently launched oral desmopre...

0

To support comparative genomics, population genetics, and medical genetics, we propose that a reference genome should come with a scheme for mapping each base in any DNA string to a position in that reference genome. We refer to a collection of one or more reference genomes and a scheme for mapping to their positions as a reference structure. Here we describe the desirable properties of referen...

Little academic work exists on managing reference model development and measuring reference model quality, yet there is a clear need for higher quality reference models. We address this gap by developing a quality management and measurement instrument. The foundation for the instrument is the well-known Quality Function Deployment (QFD) approach. The QFD-based approach incorporates prior resear...