For several recent TBM tunnel projects, unexpected ground conditions have been encountered, causing extra cost, considerable delay, and in some cases major claims. Undoubtedly, insufficient and/or irrelevant site investigation and testing are among the main causes of such incidents. The purpose of this paper is to review the main investigations and tests relevant for hard rock TBM projects, wit...

We compute the ground-state phase diagram of the Hubbard and frustrated Hubbard models on the square lattice with density matrix embedding theory using clusters of up to 16 sites. We provide an error model to estimate the reliability of the computations and complexity of the physics at different points in the diagram. We find superconductivity in the ground-state as well as competition between ...

The paper outlines how lightning-induced voltages (LIV) in multi-conductor overhead lines can be calculated in MODELS in the ATP-EMTP. Lossy ground effects on the radial electrical field is taken into account by the CoorayRubinstein approximation, but the overhead line itself is assumed to be lossless. This is a reasonable assumption for line lengths up to 1-3 km, depending on the ground resist...

This paper presents a new system called ProLogICA for Abductive Logic Programming (ALP) with Negation as Failure (NAF) and Integrity Constraints (ICs). The system builds upon existing ALP techniques but includes several optimisations and extensions necessitated by recent applications in computational biology, temporal reasoning and machine learning. Unlike some other ALP systems that support no...

We consider a voting scenario where agents have opinions that are estimates of an underlying common ground truth ranking of the available alternatives, and each agent is asked to approve a set with her most preferred alternatives. We assume that estimates are implicitly formed using the well-known Mallows model for generating random rankings. We show that k-approval voting — where all agents ar...

In this paper, we propose a metric on the space of finite sets of trajectories for assessing multi-target tracking algorithms in a mathematically sound way. The metric can be used, e.g., to compare estimates from algorithms with the ground truth. It includes intuitive costs associated to localization, missed and false targets and track switches. The metric computation is based on multi-dimensio...

We discuss a toy model for adiabatic quantum computation which displays some phenomenological properties expected in more realistic implementations. This model has two free parameters: the adiabatic evolution parameter s and the α parameter which emulates many-variables constrains in the classical computational problem. The proposed model presents, in the s − α plane, a line of first order quan...

main perennial rivers of gujarat, tapi, narmada, mahi and sabarmatiare meeting arabian sea in gulf of khambhat. the out flow of mahi river intothe sea is decreased due to construction of dams like bajaj sagar, kadana, panamand wanakbori weir. so, tidal effect of sea and sea water intrusion is beingincreased on landward side. moreover, due to erratic nature of rainfall andimproper management of ...

Evaluating the performance of optical flow algorithms has been difficult because of the lack of ground-truth data sets for complex scenes. We describe a simple modification to a ray tracer that allows us to generate ground-truth motion fields for scenes of arbitrary complexity. The resulting flow maps are used to assist in the comparison of eight optical flow algorithms using three complex, syn...