Push-Pull Block Puzzles are Hard

This paper proves that push-pull block puzzles in 3D are PSPACE-complete to solve, and push-pull block puzzles in 2D with thin walls are NP-hard to solve, settling an open question by Zubaran and Ritt. Push-pull block puzzles are a type of recreational motion planning problem, similar to Sokoban, that involve moving a `robot' on a square grid with $1 \times 1$ obstacles. The obstacles cannot be traversed by the robot, but some can be pushed and pulled by the robot into adjacent squares. Thin walls prevent movement between two adjacent squares. This work follows in a long line of algorithms and complexity work on similar problems. The 2D push-pull block puzzle shows up in the video games Pukoban as well as The Legend of Zelda: A Link to the Past, giving another proof of hardness for the latter. This variant of block-pushing puzzles is of particular interest because of its connections to reversibility, since any action (e.g., push or pull) can be inverted by another valid action (e.g., pull or push).Comment: Full version of CIAC 2017 paper. 17 page

Indirect Inference for Time Series Using the Empirical Characteristic Function and Control Variates

We estimate the parameter of a stationary time series process by minimizing the integrated weighted mean squared error between the empirical and simulated characteristic function, when the true characteristic functions cannot be explicitly computed. Motivated by Indirect Inference, we use a Monte Carlo approximation of the characteristic function based on iid simulated blocks. As a classical variance reduction technique, we propose the use of control variates for reducing the variance of this Monte Carlo approximation. These two approximations yield two new estimators that are applicable to a large class of time series processes. We show consistency and asymptotic normality of the parameter estimators under strong mixing, moment conditions, and smoothness of the simulated blocks with respect to its parameter. In a simulation study we show the good performance of these new simulation based estimators, and the superiority of the control variates based estimator for Poisson driven time series of counts.Comment: 38 pages, 2 figure

New insights on hadron acceleration at supernova remnant shocks

We outline the main features of nuclei acceleration at supernova remnant forward shocks, stressing the crucial role played by self-amplified magnetic fields in determining the energy spectrum observed in this class of sources. In particular, we show how the standard predictions of the non-linear theory of diffusive shock acceleration has to be completed with an additional ingredient, which we propose to be the enhanced velocity of the magnetic irregularities particles scatter against, to reconcile the theory of efficient particle acceleration with recent observations of gamma-ray bright supernova remnants.Comment: 7 pages, 2 figures. To apper in "Cosmic-ray induced phenomenology in star-forming environments: Proceedings of the 2nd Session of the Sant Cugat Forum of Astrophysics" (April 16-19, 2012), Olaf Reimer and Diego F. Torres (eds.

Nature of band-gap states in V-doped TiO2 revealed by resonant photoemission

Band-gap states in V-doped TiO2 have been studied by photoemission spectroscopy over a range of photon energies encompassing the Ti 3p and V 3p core thresholds. The states show resonant enhancement at photon energies significantly higher than found for Ti 3d states introduced into TiO2 by oxygen deficiency or alkalimetal adsorbates. This demonstrates that the gap states relate to electrons trapped on dopant V cations rather than host Ti cations

Factorizations of Elements in Noncommutative Rings: A Survey

We survey results on factorizations of non zero-divisors into atoms (irreducible elements) in noncommutative rings. The point of view in this survey is motivated by the commutative theory of non-unique factorizations. Topics covered include unique factorization up to order and similarity, 2-firs, and modular LCM domains, as well as UFRs and UFDs in the sense of Chatters and Jordan and generalizations thereof. We recall arithmetical invariants for the study of non-unique factorizations, and give transfer results for arithmetical invariants in matrix rings, rings of triangular matrices, and classical maximal orders as well as classical hereditary orders in central simple algebras over global fields.Comment: 50 pages, comments welcom

Unsupervised learning as a complement to convolutional neural network classification in the analysis of saccadic eye movement in spino-cerebellar ataxia type 2

IWANN es un congreso internacional que se celebra bienalmente desde 1991. Su campo de estudio se centra en la fundamentación y aplicación de las distintas técnicas de Inteligencia Computacional : Redes Neuronales Artificiales, Algoritmos Genéticos, Lógica Borrosa, Aprendizaje Automático. En esta edición han participado 150 investigadores.This paper aims at assessing spino-cerebellar type 2 ataxiaby classifying electrooculography records into registers corresponding to healthy, presymptomatic and ill individuals. The primary used technique is the convolutional neural network applied to the time series of eye movements, called saccades. The problem is exceptionally hard, though, because the recorded saccadic movements for presymptomatic cases often do not substantially di er from those of healthy individuals. Precisely this distinction is of the utmost clinical importance, since early intervention on presymptomatic patients can ameliorate symptoms or at least slow their progression. Yet, each register contains a number of saccades that, although not consistent with the current label, have not been considered indicative of another class by the examining physicians. As a consequence, an unsupervised learning mechanism may be more suitable to handle this form of misclassi cation. Thus, our proposal introduces the k-means approach and the SOM method, as complementary techniques to analyse the time series. The three techniques operating in tandem lead to a well performing solution to this diagnosis problem.Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech. Universidad de Granada, Universitat Politècnica de Catalunya, Universidad de Las Palmas de Gran Canaria, Springe

Benchmarking 2D hydraulic models for urban flood simulations

This paper describes benchmark testing of six two-dimensional (2D) hydraulic models (DIVAST, DIVASTTVD, TUFLOW, JFLOW, TRENT and LISFLOOD-FP) in terms of their ability to simulate surface flows in a densely urbanised area. The models are applied to a 1·0 km × 0·4 km urban catchment within the city of Glasgow, Scotland, UK, and are used to simulate a flood event that occurred at this site on 30 July 2002. An identical numerical grid describing the underlying topography is constructed for each model, using a combination of airborne laser altimetry (LiDAR) fused with digital map data, and used to run a benchmark simulation. Two numerical experiments were then conducted to test the response of each model to topographic error and uncertainty over friction parameterisation. While all the models tested produce plausible results, subtle differences between particular groups of codes give considerable insight into both the practice and science of urban hydraulic modelling. In particular, the results show that the terrain data available from modern LiDAR systems are sufficiently accurate and resolved for simulating urban flows, but such data need to be fused with digital map data of building topology and land use to gain maximum benefit from the information contained therein. When such terrain data are available, uncertainty in friction parameters becomes a more dominant factor than topographic error for typical problems. The simulations also show that flows in urban environments are characterised by numerous transitions to supercritical flow and numerical shocks. However, the effects of these are localised and they do not appear to affect overall wave propagation. In contrast, inertia terms are shown to be important in this particular case, but the specific characteristics of the test site may mean that this does not hold more generally

Gerasimov-Drell-Hearn Sum Rule and the Discrepancy between the New CLAS and SAPHIR Data

Contribution of the K^+\Lambda channel to the Gerasimov-Drell-Hearn (GDH) sum rule has been calculated by using the models that fit the recent SAPHIR or CLAS differential cross section data. It is shown that the two data sets yield quite different contributions. Contribution of this channel to the forward spin polarizability of the proton has been also calculated. It is also shown that the inclusion of the recent CLAS C_x and C_z data in the fitting data base does not significantly change the result of the present calculation. Results of the fit, however, reveal the role of the S_{11}(1650), P_{11}(1710), P_{13}(1720), and P_{13}(1900) resonances for the description of the C_x and C_z data. A brief discussion on the importance of these resonances is given. Measurements of the polarized total cross section \sigma_{TT'} by the CLAS, LEPS, and MAMI collaborations are expected to verify this finding.Comment: 15 pages, 8 figure

Similarities and differences of pumping conventional and self-compacting concrete

In Practice, Self-Compacting Concrete (SCC) is Considered as a Simple Extension of Conventional Vibrated Concrete (CVC) When Pumping is Concerned. the Same Equipment, Materials, Pumping Procedures and Guidelines Used for CVC Are Applied When Pumping SCC. on the Other Hand, It Has Been Clearly Shown that the Rheological Properties and the Mix Design of SCC Are Different Than CVC. Can the Same Pumping Principles Employed for CVC Be Applied for SCC? This Paper Compares the Some Published Results of Pumping of CVC with Those for SCC. a First Striking Difference between Pumping of CVC and SCC is the Flow Behaviour in the Pipes. the Flow of CVC is a Plug, Surrounded by a Lubricating Layer, While during the Flow of SCC, Part of the Concrete Volume itself is Sheared Inside the Pipe. as a Result, the Importance of Viscosity Increases in Case of SCC. Due to the Low Yield Stress of SCC, the Behaviour in Bends is Different, But Quite Complex to Study. Due to the Lower Content of Aggregate and Better Stability of SCC, as It is Less Prone to Internal Water Migration, Blocking is Estimated to Occur at Lower Frequency in Case of SCC. © RILEM 2010