in the open-pit mining, one of the first decisions that must be made in production planning stage, after completing the design of final pit limits, is determining of the processing plant cut-off grade. since this grade has an essential effect on operations, choosing the optimum cut-off grade is of considerable importance. different goals may be used for determining optimum cut-off grade. one of...

We realize constant-space quantum computation by measure-many two-way quantum finite automata and evaluate their language recognition power by analyzing patterns of their exotic behaviors and by exploring their structural properties. In particular, we show that, when the automata halt “in finite steps” along all computation paths, they must terminate in worstcase liner time. In the bounded-erro...

We propose a novel type filter for multicolor imaging to improve on the photometric redshift estimation of galaxies. An extra filter—specific to a certain photometric system—may be utilized with high efficiency. We present a case study of the Hubble Space Telescope’s Advanced Camera for Surveys and show that one extra exposure could cut down the mean square error on photometric redshifts by 34%...

Erratum After publication of the original article [1], it was brought to the authors’ attention that there is an error in Table 4. The Absenteeism Screening Questionnaire (Truchon et al. 2012) has been summarised incorrectly, requiring changes to the Summary of Instruments, Scoring Method and Cut-off scores/sub-grouping fields. The amended version of Table 4 is published in this erratum. The co...

We make a systematic study on the time history interfacial conditions in multiscale computations for crystalline solids in one space dimension. The exact interfacial condition is derived rigorously. For a class of approximate time history kernel functions, the error is estimated. In particular, a cut-off of the exact kernel function is a special case. Moreover, an effective numerical algorithm ...

In the case of large-scale surveys, such as a Census, data may contain errors or missing values. An automatic error detection and correction procedure is therefore needed. We propose here an approach to this problem based on Discrete Optimization. The treatment of each data record is converted into a mixed integer linear programming model and solved by means of state-of-the-art branch and cut p...

We present a cut elimination argument that witnesses the conservativity of the compositional axioms for truth (without the extended induction axiom) over any theory interpreting a weak subsystem of arithmetic. In doing so we also fix a critical error in Halbach’s original presentation. Our methods show that the admission of these axioms determines a hyper-exponential reduction in the size of de...

The paper introduces a robust spelling correction technique to deal with ill-formed input strings, including unknown parts of unknown length. In contrast to previous works, we derive profit from a finer dynamic programming construction, which takes advantage of the underlying grammatical structure, leading to an improved computational behavior and error repair quality. The formal description ap...

We exhibit small size measure-once one-way quantum finite automata (mo-1qfa’s) inducing multiperiodic stochastic events. Moreover, for certain classes of multiperiodic languages, we exhibit: (i) isolated cut point mo-1qfa’s whose size logarithmically depends on the periods; (ii) Monte Carlo mo-1qfa’s whose size logarithmically depends on the periods and polynomially on the inverse of the error ...