title: Optimization of Multi-Frequency Magnonic Waveguides with Enhanced Group Velocities by Exchange Coupled Ferrimagnet/Ferromagnet Bilayers

abstract: We report broadband spectroscopy and numerical analysis by which we explore propagating spin waves in a magnetic bilayer consisting of a 23 nm thick permalloy film deposited on 130 nm thick $Y_{3}Fe_{5}O_{12}$. In the bilayer, we observe a characteristic mode that exhibits a considerably larger group velocity at small in-plane magnetic field than both the magnetostatic and perpendicular standing spin waves. Using the finite element method, we confirm the observations by simulating the mode profiles and dispersion relations. They illustrate the hybridization of spin wave modes due to exchange coupling at the interface. The high-speed propagating mode found in the bilayer can be utilized to configure multi-frequency spin wave channels enhancing the performance of spin wave based logic devices.


title: Converting Alzheimer s disease map into a heavyweight ontology: a formal network to integrate data

abstract: Alzheimer s disease (AD) pathophysiology is still imperfectly understood and current paradigms have not led to curative outcome. Omics technologies offer great promises for improving our understanding and generating new hypotheses. However, integration and interpretation of such data pose major challenges, calling for adequate knowledge models. AlzPathway is a disease map that gives a detailed and broad account of AD pathophysiology. However, AlzPathway lacks formalism, which can lead to ambiguity and misinterpretation. Ontologies are an adequate framework to overcome this limitation, through their axiomatic definitions and logical reasoning properties. We introduce the AD Map Ontology (ADMO) an ontological upper model based on systems biology terms. We then propose to convert AlzPathway into an ontology and to integrate it into ADMO. We demonstrate that it allows one to deal with issues related to redundancy, naming, consistency, process classification and pathway relationships. Further, it opens opportunities to expand the model using elements from other resources, such as generic pathways from Reactome or clinical features contained in the ADO (AD Ontology). A version of the ontology will be made freely available to the community on Bioportal at the time of the confer-ence.


title: Person Search in Videos with One Portrait Through Visual and Temporal Links

abstract: In real-world applications, e.g. law enforcement and video retrieval, one often needs to search a certain person in long videos with just one portrait. This is much more challenging than the conventional settings for person re-identification, as the search may need to be carried out in the environments different from where the portrait was taken. In this paper, we aim to tackle this challenge and propose a novel framework, which takes into account the identity invariance along a tracklet, thus allowing person identities to be propagated via both the visual and the temporal links. We also develop a novel scheme called Progressive Propagation via Competitive Consensus, which significantly improves the reliability of the propagation process. To promote the study of person search, we construct a large-scale benchmark, which contains 127K manually annotated tracklets from 192 movies. Experiments show that our approach remarkably outperforms mainstream person re-id methods, raising the mAP from 42.16% to 62.27%.


title: Global and local evaluation of link prediction tasks with neural embeddings

abstract: We focus our attention on the link prediction problem for knowledge graphs, which is treated herein as a binary classification task on neural embeddings of the entities. By comparing, combining and extending different methodologies for link prediction on graph-based data coming from different domains, we formalize a unified methodology for the quality evaluation benchmark of neural embeddings for knowledge graphs. This benchmark is then used to empirically investigate the potential of training neural embeddings globally for the entire graph, as opposed to the usual way of training embeddings locally for a specific relation. This new way of testing the quality of the embeddings evaluates the performance of binary classifiers for scalable link prediction with limited data. Our evaluation pipeline is made open source, and with this we aim to draw more attention of the community towards an important issue of transparency and reproducibility of the neural embeddings evaluations.


title: Quantum Improved Schwarzschild-(A)dS and Kerr-(A)dS Space-times

abstract: We discuss quantum black holes in asymptotically safe quantum gravity with a scale identification based on the Kretschmann scalar. After comparing this scenario with other scale identifications, we investigate in detail the Kerr-(A)dS and Schwarzschild-(A)dS space-times. The global structure of these geometries is studied as well as the central curvature singularity and test particle trajectories. The existence of a Planck-sized, extremal, zero temperature black hole remnant guarantees a stable endpoint of the evaporation process via Hawking radiation.


title: Good-$\lambda$ type bounds of quasilinear elliptic equations for the singular case

abstract: In this paper, we study the good-$\lambda$ type bounds for renormalized solutions to nonlinear elliptic problem: \begin{align*} \begin{cases} -\div(A(x,\nabla u)) &= \mu \quad \text{in} \ \ \Omega, \\ u &=0 \quad \text{on} \ \ \partial \Omega. \end{cases} \end{align*} where $\Omega \subset \mathbb{R}^n$, $\mu$ is a finite Radon measure and $A$ is a monotone Carath\'edory vector valued function defined on $W^{1,p}_0(\Omega)$. The operator $A$ satisfies growth and monotonicity conditions, and the $p$-capacity uniform thickness condition is imposed on $\mathbb{R}^n \setminus \Omega$, for the singular case $\frac{3n-2}{2n-1} < p \le 2- \frac{1}{n}$. In fact, the same good-$\lambda$ type estimates were also studied by Quoc-Hung Nguyen and Nguyen Cong Phuc. For instance, in \cite{55QH4,55QH5}, authors' method was also confined to the case of $\frac{3n-2}{2n-1} < p \le 2- \frac{1}{n}$ but under the assumption of $\Omega$ is the Reifenberg flat domain and the coefficients of $A$ have small BMO (bounded mean oscillation) semi-norms. Otherwise, the same problem was considered in \cite{55Ph0} in the regular case of $p>2-\frac{1}{n}$. In this paper, we extend their results, taking into account the case $\frac{3n-2}{2n-1} < p \le 2- \frac{1}{n}$ and without the hypothesis of Reifenberg flat domain on $\Omega$ and small BMO semi-norms of $A$. Moreover, in rest of this paper, we also give the proof of the boundedness property of maximal function on Lorentz spaces and also the global gradient estimates of solution.


title: Invariant $\varphi$-minimal sets and total variation denoising on graphs

abstract: Total variation flow, total variation regularization and the taut string algorithm are known to be equivalent filters for one-dimensional discrete signals. In addition, the filtered signal simultaneously minimizes a large number of convex functionals in a certain neighbourhood of the data. In this article we study the question to what extent this situation remains true in a more general setting, namely for data given on the vertices of a finite oriented graph and the total variation being $J(f) = \sum_{i,j} |f(v_i) - f(v_j)|$. Relying on recent results on invariant $\varphi$-minimal sets we prove that the minimizer to the corresponding Rudin-Osher-Fatemi (ROF) model on the graph has the same universal minimality property as in the one-dimensional setting. Interestingly, this property is lost, if $J$ is replaced by the discrete isotropic total variation. Next, we relate the ROF minimizer to the solution of the gradient flow for $J$. It turns out that, in contrast to the one-dimensional setting, these two problems are not equivalent in general, but conditions for equivalence are available.


title: Galactic magnetic field reconstruction using the polarized diffuse Galactic emission: Formalism and application to $Planck$ data

abstract: The polarized Galactic synchrotron and thermal dust emission constitutes a major tool in the study of the Galactic magnetic field (GMF) and in constraining its strength and geometry for the regular and turbulent components. In this paper, we review the modeling of these two components of the polarized Galactic emission and present our strategy for optimally exploiting the currently existing data sets. We investigate a Markov Chain Monte Carlo (MCMC) method to constrain the model parameter space through maximum-likelihood analysis, focusing mainly on dust polarized emission. Relying on simulations, we demonstrate that our methodology can be used to constrain the regular GMF geometry. Fitting for the reduced Stokes parameters, this reconstruction is only marginally dependent of the accuracy of the reconstruction of the Galactic dust grain density distribution. However, the reconstruction degrades, apart from the pitch angle, when including a turbulent component on the order of the regular one as suggested by current observational constraints. Finally, we applied this methodology to a set of $Planck$ polarization maps at 353 GHz to obtain the first MCMC based constrains on the large-scale regular-component of the GMF from the polarized diffuse Galactic thermal dust emission. By testing various models of the dust density distribution and of the GMF geometry, we prove that it is possible to infer the large-scale geometrical properties of the GMF. We obtain coherent three-dimensional (3D) views of the GMF, from which we infer a mean pitch angle of 27 degrees with 14 % scatter, which is in agreement with results obtained in the literature from synchrotron emission.


title: Galactic Magnetic Field Reconstruction II. Constraints from polarized thermal dust sky as seen by $Planck$

abstract: The polarized Galactic thermal dust emission constitutes a major probe for the study and the characterization of the Galactic Magnetic Field (GMF). In this paper, we apply the maximum-likelihood analysis that we established in our companion paper (Pelgrims, Mac\'ias-P\'erez & Ruppin) to model the large-scale regular-component of the GMF from the polarized diffuse emission from Galactic thermal dust as measured by $Planck$ at 353 GHz. As a first attempt, we consider three models to describe the dust density distribution across the whole Galaxy and four models for the GMF. All models are parametric and heuristics and leave us with twelve reconstructions of the GMF geometrical structure. These reconstructions are obtained at the $N_{\rm{side}} = 64$ and provide the first constraints on the GMF obtained through Markov Chain Monte Carlo analysis from thermal dust polarization data. This work demonstrates that competitive constraints on the GMF can be obtained from the polarized thermal dust sky as compared to other observational probes.


title: FARM: Functional Automatic Registration Method for 3D Human Bodies

abstract: We introduce a new method for non-rigid registration of 3D human shapes. Our proposed pipeline builds upon a given parametric model of the human, and makes use of the functional map representation for encoding and inferring shape maps throughout the registration process. This combination endows our method with robustness to a large variety of nuisances observed in practical settings, including non-isometric transformations, downsampling, topological noise, and occlusions; further, the pipeline can be applied invariably across different shape representations (e.g. meshes and point clouds), and in the presence of (even dramatic) missing parts such as those arising in real-world depth sensing applications. We showcase our method on a selection of challenging tasks, demonstrating results in line with, or even surpassing, state-of-the-art methods in the respective areas.


title: NIHAO XVII: The diversity of dwarf galaxy kinematics and implications for the HI velocity function

abstract: We use 85 pairs of high resolution LCDM cosmological simulations from the NIHAO project to investigate why in dwarf galaxies neutral hydrogen (HI) linewidths measured at 50% of the peak flux W_50 /2 (from the hydrodynamical simulations) tend to underpredict the maximum circular velocity VmaxDMO (from the corresponding dark matter only simulations). There are two main contributing processes. 1) Lower mass galaxies are less rotationally supported. This is confirmed observationally from the skewness of linewidths in bins of HI mass in both ALFALFA and HIPASS observations. 2) The HI distributions are less extended (relative to the dark matter halo) in dwarf galaxies. Coupled to the lower baryon-to-halo ratio results in rotation curves that are still rising at the last measured data point, in agreement with observations from SPARC. Combining these two effects, in both simulations and observations lower mass galaxies have on average lower W_50 / W_20. Additionally, mass loss driven by supernovae and projection effects (dwarf galaxies are in general not thin disks) further reduce the linewidths. The implied HI linewidth velocity function from NIHAO is in good agreement with observations in the nearby Universe of dwarf galaxies: 10 < W_50 /2 < 80 km/s. The dark matter only slope of -2.9 is reduced to -1.0 in the hydro simulations. Future radio observations of unbiased samples with higher spatial resolution will enable stricter tests of the simulations, and thus of the LCDM model.


title: Subcycle squeezing of light from a time flow perspective

abstract: Light as a carrier of information and energy plays a fundamental role in both general relativity and quantum physics, linking these areas that are still not fully compliant with each other. Its quantum nature and spatio-temporal structure are exploited in many intriguing applications ranging from novel spectroscopy methods of complex many-body phenomena to quantum information processing and subwavelength lithography. Recent access to subcycle quantum features of electromagnetic radiation promises a new class of time-dependent quantum states of light. Paralleled with the developments in attosecond science, these advances motivate an urgent need for a theoretical framework that treats arbitrary wave packets of quantum light intrinsically in the time domain. Here, we formulate a consistent time domain theory of the generation and sampling of few-cycle and subcycle pulsed squeezed states, allowing for a relativistic interpretation in terms of induced changes in the local flow of time. Our theory enables the use of such states as a resource for novel ultrafast applications in quantum optics and quantum information.


title: ESCaF: Pupil Centre Localization Algorithm with Candidate Filtering

abstract: Algorithms for accurate localization of pupil centre is essential for gaze tracking in real world conditions. Most of the algorithms fail in real world conditions like illumination variations, contact lenses, glasses, eye makeup, motion blur, noise, etc. We propose a new algorithm which improves the detection rate in real world conditions. The proposed algorithm uses both edges as well as intensity information along with a candidate filtering approach to identify the best pupil candidate. A simple tracking scheme has also been added which improves the processing speed. The algorithm has been evaluated in Labelled Pupil in the Wild (LPW) dataset, largest in its class which contains real world conditions. The proposed algorithm outperformed the state of the art algorithms while achieving real-time performance.


title: High-dimensional and higher-order multifidelity Monte Carlo estimators

abstract: Multifidelity Monte Carlo methods rely on a hierarchy of possibly less accurate but statistically correlated simplified or reduced models, in order to accelerate the estimation of statistics of high-fidelity models without compromising the accuracy of the estimates. This approach has recently gained widespread attention in uncertainty quantification. This is partly due to the availability of optimal strategies for the estimation of the expectation of scalar quantities-of-interest. In practice, the optimal strategy for the expectation is also used for the estimation of variance and sensitivity indices. However, a general strategy is still lacking for vector-valued problems, nonlinearly statistically-dependent models, and estimators for which a closed-form expression of the error is unavailable. The focus of the present work is to generalize the standard multifidelity estimators to the above cases. The proposed generalized estimators lead to an optimization problem that can be solved analytically and whose coefficients can be estimated numerically with few runs of the high- and low-fidelity models. We analyze the performance of the proposed approach on a selected number of experiments, with a particular focus on cardiac electrophysiology, where a hierarchy of physics-based low-fidelity models is readily available.


title: Integral approximation of simplicial volume of graph manifolds

abstract: Graph manifolds are manifolds that decompose along tori into pieces with a tame $S^1$-structure. In this paper, we prove that the simplicial volume of graph manifolds (which is known to be zero) can be approximated by integral simplicial volumes of their finite coverings. This gives a uniform proof of the vanishing of rank gradients, Betti number gradients and torsion homology gradients for graph manifolds.


title: Competing Fractional Quantum Hall and Electron Solid Phases in Graphene

abstract: We report experimental observation of the reentrant integer quantum Hall effect in graphene, appearing in the N$=$2 Landau level. Similar to high-mobility GaAs/AlGaAs heterostructures, the effect is due to a competition between incompressible fractional quantum Hall states, and electron solid phases. The tunability of graphene allows us to measure the $B$-$T$ phase diagram of the electron-solid phase. The hierarchy of reentrant states suggest spin and valley degrees of freedom play a role in determining the ground state energy. We find that the melting temperature scales with magnetic field, and construct a phase diagram of the electron liquid-solid transition.


title: Actions of small cancellation groups on hyperbolic spaces

abstract: We generalize Gruber--Sisto's construction of the coned--off graph of a small cancellation group to build a partially ordered set $\mathcal{TC}$ of cobounded actions of a given small cancellation group whose smallest element is the action on the Gruber--Sisto coned--off graph. In almost all cases $\mathcal{TC}$ is incredibly rich: it has a largest element if and only if it has exactly 1 element, and given any two distinct comparable actions $[G\curvearrowright X] \preceq [G\curvearrowright Y]$ in this poset, there is an embeddeding $\iota:P(\omega)\to\mathcal{TC}$ such that $\iota(\emptyset)=[G\curvearrowright X]$ and $\iota(\mathbb N)=[G\curvearrowright Y]$. We use this poset to prove that there are uncountably many quasi--isometry classes of finitely generated group which admit two cobounded acylindrical actions on hyperbolic spaces such that there is no action on a hyperbolic space which is larger than both.


title: On a family of highly regular graphs by Brouwer, Ivanov, and Klin

abstract: Highly regular graphs for which not all regularities are explainable by symmetries are fascinating creatures. Some of them like, e.g., the line graph of W.~Kantor's non-classical $\mathrm{GQ}(5^2,5)$, are stumbling stones for existing implementations of graph isomorphism tests. They appear to be extremely rare and even once constructed it is difficult to prove their high regularity. Yet some of them, like the McLaughlin graph on $275$ vertices and Ivanov's graph on $256$ vertices are of profound beauty. This alone makes it an attractive goal to strive for their complete classification or, failing this, at least to get a deep understanding of them. Recently, one of the authors discovered new methods for proving high regularity of graphs. Using these techniques, in this paper we study a classical family of strongly regular graphs, originally discovered by A.E.~Brouwer, A.V.~Ivanov, and M.H.~Klin in the late 80th. We analyze their symmetries and show that they are $(3,5)$-regular but not $2$-homogeneous. Thus we promote these graphs to the distinguished club of highly regular graphs with few symmetries.


title: Extreme Gaseous Outflows in Radio-Loud Narrow-Line Seyfert 1 Galaxies

abstract: We present four radio-loud NLS1 galaxies with extreme emission-line shifts, indicating radial outflow velocities of the ionized gas of up to 2450 km/s, above the escape velocity of the host galaxies. The forbidden lines show strong broadening, up to 2270 km/s. An ionization stratification (higher line shift at higher ionization potential) implies that we see a large-scale outflow rather than single, localized jet-cloud interactions. Similarly, the paucity of zero-velocity [OIII]$\lambda$5007 emitting gas implies the absence of a second narrow-line region (NLR) component at rest, and therefore a large part of the high-ionization NLR is affected by the outflow. Given the radio loudness of these NLS1 galaxies, the observations are consistent with a pole on view onto their central engines, so that the effects of polar outflows are maximized. In addition, a very efficient driving mechanism is required, to reach the high observed velocities. We explore implications from recent hydrodynamic simulations of the interaction between fast winds or jets with the large-scale NLR. Overall, the best agreement with observations (and especially the high outflow speeds of the [NeV] emitting gas) can be reached if the NLS1 galaxies are relatively young sources with lifetimes not much exceeding 1 Myr. These systems represent sites of strong feedback at NLR scales at work, well below redshift one.


title: Spectrum of the second variation

abstract: Second variation of a smooth optimal control problem at a regular extremal is a symmetric Fredholm operator. We study asymptotics of the spectrum of this operator and give an explicit expression for its determinant in terms of solutions of the Jacobi equation. In the case of the least action principle for the harmonic oscillator we obtain a classical Euler identity $\prod\limits_{n=1}^\infty\left(1-\frac{x^2}{(\pi n)^2}\right)=\frac{\sin x}{x}$. General case may serve as a rich source of new nice identities.


title: An experiment in distributed Internet address management using blockchains

abstract: The current system to manage the global pool of IP addresses is centralized in five transnational organizations, the Regional Internet Registries (RIRs). Each of these RIRs manage the address pool for a large number of countries. Because the RIRs are private organizations, they are subject to the legal framework of the country where they are based. This configuration results in a jurisdictional overflow from the legal framework of the countries where the RIR is based to all the countries that the RIRs are serving (the countries served by the RIRs de facto become subjects of the legal system of the country where the RIR is hosted). The situation is aggravated by the deployment of new security techniques such as the RPKI and BGPsec, that enable enforcement of allocations by the RIRs. In this paper we present InBlock, a blockchain-based distributed governance body aimed to provide de-centralized management of IP addresses. InBlock also aims to fulfil the same objectives as the current IP address allocation system, namely, uniqueness, fairness, conservation, aggregation, registration and minimized overhead. InBlock is implemented as a Decentralized Autonomous Organization, i.e., as a set of blockchain's smart contracts in Ethereum. Any entity may request an allocation of addresses to the InBlock registry by solely performing a (crypto)currency transfer to the InBlock. The fee required, along with the annual renewal fee, serves as a mechanism to deter stockpiling and other wasteful practices. As with any novel technology, there are many open questions about the usage of blockchains to build an IP address registry. For this reason, we believe that practical experimentation is required in order to have hands-on experiences about such a system. We propose to conduct an experiment on distributed address management using InBlock as a starting point to inform future directions in this area.


title: Study of a class of generalized Schr\"{o}dinger equations

abstract: A class of generalized Schr\"{o}dinger problems in bounded domain is studied. A complete overview of the set of solutions is provided, depending on the values assumed by parameters involved in the problem. In order to obtain the results, we combine monotony, bifurcation and variational methods.


title: Low frequency propagating shear waves in holographic liquids

abstract: Recently, it has been realized that liquids are able to support solid-like transverse modes with an interesting gap in momentum space developing in the dispersion relation. We show that this gap is also present in simple holographic bottom-up models, and it is strikingly similar to the gap in liquids in several respects. Firstly, the appropriately defined relaxation time in the holographic models decreases with temperature in the same way. More importantly, the holographic $k$-gap increases with temperature and with the inverse of the relaxation time. Our results suggest that the Maxwell-Frenkel approach to liquids, involving the additivity of liquid hydrodynamic and solid-like elastic responses, can be applicable to a much wider class of physical systems and effects than thought previously, including relativistic models and strongly-coupled quantum field theories. More precisely, the dispersion relation of the propagating shear waves is in perfect agreement with the Maxwell-Frenkel approach. On the contrary the relaxation time appearing in the holographic models considered does not match the Maxwell prediction in terms of the shear viscosity and the instantaneous elastic modulus but it shares the same temperature dependence.


title: Alternating Path and Coloured Clustering

abstract: In the Coloured Clustering problem, we wish to colour vertices of an edge coloured graph to produce as many stable edges as possible, i.e., edges with the same colour as their ends. In this paper, we reveal that the problem is in fact a maximum subgraph problem concerning monochromatic subgraphs and alternating paths, and demonstrate the usefulness of such connection in studying these problems. We obtain a faster algorithm to solve the problem for edge-bicoloured graphs by reducing the problem to a minimum cut problem. On the other hand, we push the NP-completeness of the problem to edge-tricoloured planar bipartite graphs of maximum degree four. Furthermore, we also give FPT algorithms for the problem when we take the numbers of stable edges and unstable edges, respectively, as parameters.


title: Analysis of the MINERvA antineutrino double-differential cross sections within the SuSAv2 model including meson-exchange currents

abstract: We compare the results of the SuSAv2 model including meson-exchange currents (MEC) with the recent measurement of the quasielastic-like double differential antineutrino cross section on hydrocarbon (CH) performed by the MINERvA Collaboration. The relativistic nature of the model makes it suitable to describe these data, which correspond to a mean beam energy of 3.5 GeV. The standard SuSAv2 model predictions agree well with the data without needing any additional or tuned parameter. The role of longitudinal MEC is non-negligible and improves the agreement with the data. We also consider the impact of different treatments of the $\Delta$-resonance propagator in the two-body currents on the data comparison.


title: K2 observations of the rapidly oscillating Ap star 33 Lib (HD 137949): new frequencies and unique non-linear interactions

abstract: We present the analysis of K2 short cadence data of the rapidly oscillating Ap (roAp) star, 33 Librae (HD 137949). The precision afforded to the K2 data allow us to identify at least 11 pulsation modes in this star, compared to the three previously reported. Reoccurring separations between these modes leads us to suggest a large frequency separation, $\Delta\nu$, of 78.9 $\mu$Hz, twice that reported in the literature. Other frequency separations we detect may represent the small frequency separation, $\delta\nu$, but this is inconclusive at this stage due to magnetic perturbation of the frequencies. Due to the highly non-linear pulsation in 33 Lib, we identify harmonics to four times the principal frequency. Furthermore, we note a unique occurrence of non-linear interactions of the 11 identified modes. The frequency separations of the modes around the principal frequency are replicated around the first harmonic, with some interaction with the second harmonic also. Such a phenomenon has not been seen in roAp stars before. With revised stellar parameters, linear non-adiabatic modelling of 33 Lib shows that the pulsations are not greater than the acoustic cutoff frequency, and that the $\kappa$-mechanism can excite the observed modes. Our observations are consistent with 33 Lib having a rotation period much larger than 88 d as presented in the literature.


title: A detailed look on actions on Hochschild complexes especially the degree $1$ co-product and actions on loop spaces

abstract: We explain our previous results about Hochschild actions [Kau07a, Kau08a] pertaining in particular to the coproduct which appeared in a different form in [GH09] and provide a fresh look at the results. We recall the general action, specialize to the aforementioned coproduct and prove that the assumption of commutativity, made for convenience in [Kau08a], is not needed. We give detailed background material on loop spaces, Hochschild complexes and dualizations, and discuss details and extensions of these techniques which work for all operations of [Kau07a, Kau08a]. With respect to loop spaces, we show that the co--product is well defined modulo constant loops and going one step further that in the case of a graded Gorenstein Frobenius algebra, the co--product is well defined on the reduced normalized Hochschild complex. We discuss several other aspects such as ``time reversal'' duality and several homotopies of operations induced by it. This provides a cohomology operation which is a homotopy of the anti--symmetrization of the coproduct. The obstruction again vanishes on the reduced normalized Hochschild complex if the Frobenius algebra is graded Gorenstein. Further structures such as ``animation'' and the BV structure and a coloring for operations on chains and cochains and a Gerstenhaber double bracket are briefly treated.


title: NetSpectre: Read Arbitrary Memory over Network

abstract: In this paper, we present NetSpectre, a generic remote Spectre variant 1 attack. For this purpose, we demonstrate the first access-driven remote Evict+Reload cache attack over network, leaking 15 bits per hour. Beyond retrofitting existing attacks to a network scenario, we also demonstrate the first Spectre attack which does not use a cache covert channel. Instead, we present a novel high-performance AVX-based covert channel that we use in our cache-free Spectre attack. We show that in particular remote Spectre attacks perform significantly better with the AVX-based covert channel, leaking 60 bits per hour from the target system. We verified that our NetSpectre attacks work in local-area networks as well as between virtual machines in the Google cloud. NetSpectre marks a paradigm shift from local attacks, to remote attacks, exposing a much wider range and larger number of devices to Spectre attacks. Spectre attacks now must also be considered on devices which do not run any potentially attacker-controlled code at all. We show that especially in this remote scenario, attacks based on weaker gadgets which do not leak actual data, are still very powerful to break address-space layout randomization remotely. Several of the Spectre gadgets we discuss are more versatile than anticipated. In particular, value-thresholding is a technique we devise, which leaks a secret value without the typical bit selection mechanisms. We outline challenges for future research on Spectre attacks and Spectre mitigations.


title: Internal observability of the wave equation in a triangular domain

abstract: We investigate the internal observability of the wave equation with Dirichlet boundary conditions in a triangular domain. More precisely, the domain taken into exam is the half of the equilateral triangle. Our approach is based on Fourier analysis and on tessellation theory: by means of a suitable tiling of the rectangle, we extend earlier observability results in the rectangle to the case of a triangular domain. The paper includes a general result relating problems in general domains to their tiles, and a discussion of the triangular case. As an application, we provide an estimation of the observation time when the observed domain is composed by three strips with a common side to the edges of the triangle.


title: Investigating Wheat Price with a Multi-Agent Model

abstract: In this paper, we build a computational model for the analysis of international wheat spot price formation, its dynamics and the dynamics of internationally exchanged quantities. The model has been calibrated using FAOSTAT data to evaluate its in-sample predictive power. The model is able to generate wheat prices in twelve international markets and wheat used quantities in twenty-four world regions. The time span considered goes from 1992 to 2013. In our study, a particular attention was paid to the impact of Russian Federation's 2010 grain export ban on wheat price and internationally traded quantities. Among other results, we find that wheat average weighted world price in 2013 would have been 3.55\% lower than the observed one if the Russian Federation would not have imposed the export ban in 2010.


title: Loss-induced transparency in optomechanics

abstract: We study optomechanically induced transparency (OMIT) in a compound system consisting of coupled optical resonators and a mechanical mode, focusing on the unconventional role of loss. We find that optical transparency can emerge at the otherwise strongly absorptive regime in the OMIT spectrum, by using an external nanotip to enhance the optical loss. In particular, loss-induced revival of optical transparency and the associated slow-to-fast light switch can be identified in the vicinity of an exceptional point. These results open up a counterintuitive way to engineer micro-mechanical devices with tunable losses for e.g., coherent optical switch and communications.


title: Phonon coherences reveal the polaronic character of excitons in two-dimensional lead-halide perovskites

abstract: Hybrid organic-inorganic semiconductors feature complex lattice dynamics due to the ionic character of the crystal and the softness arising from non-covalent bonds between molecular moieties and the inorganic network. Here we establish that such dynamic structural complexity in a prototypical two-dimensional lead iodide perovskite gives rise to the coexistence of diverse excitonic resonances, each with a distinct degree of polaronic character. By means of high-resolution resonant impulsive stimulated Raman spectroscopy, we identify vibrational wavepacket dynamics that evolve along different configurational coordinates for distinct excitons and photocarriers. Employing density functional theory calculations, we assign the observed coherent vibrational modes to various low-frequency ($\lesssim 50$\,cm$^{-1}$) optical phonons involving motion in the lead-iodide layers. We thus conclude that different excitons induce specific lattice reorganizations, which are signatures of polaronic binding. This insight on the energetic/configurational landscape involving globally neutral primary photoexcitations may be relevant to a broader class of emerging hybrid semiconductor materials.


title: Comment on "Structure Prediction of Li-Sn and Li-Sb Intermetallics for Lithium-Ion Batteries Anodes''

abstract: In a recently published article Mayo et al.[Chemistry of Materials 2017, 29, 5787] presented the ground state crystal structures of various experimentally unknown Li-Sn intermetallic compounds at ambient pressure (~0 GPa) and 0 K temperature using ab-initio random structure searching method (AIRSS) with high-throughput screening from the Inorganic Crystal Structure Database (ICSD).\cite{AIRSS} In their study, besides the experimentally known phases of Li-Sn such as, $\mathrm{Li_{2}Sn_{5}}$ ($\mathrm{P4/mbm}$),$\mathrm{Li_{1}Sn_{1}}$ ($\mathrm{P2/m}$, $\mathrm{I4_{1}/amd}$), $\mathrm{Li_{7}Sn_{3}}$ ($\mathrm{P2_{1}/m}$), $\mathrm{Li_{5}Sn_{2}}$ ($\mathrm{R\bar{3}m}$), $\mathrm{Li_{13}Sn_{5}}$ ($\mathrm{P\bar{3}m1}$), $\mathrm{Li_{7}Sn_{2}}$ ($\mathrm{Cmmm}$), and $\mathrm{Li_{17}Sn_{4}}$ ($\mathrm{F\bar{4}3m}$), Mayo et al. also reported two previously unknown stable phases for Li-Sn such as, $\mathrm{Li_{8}Sn_{3}}$-$\mathrm{R\bar{3}m}$ and $\mathrm{Li_{7}Sn_{2}}$-$\mathrm{P\bar{1}}$ along with several Li-Sn metastable phases ($\mathrm{Li_{1}Sn_{2}}$, $\mathrm{Li_{2}Sn_{3}}$, $\mathrm{Li_{7}Sn_{9}}$, $\mathrm{Li_{3}Sn_{2}}$, $\mathrm{Li_{5}Sn_{3}}$, $\mathrm{Li_{2}Sn}_{1}$, $\mathrm{Li_{3}Sn_{1}}$, $\mathrm{Li_{4}Sn_{1}}$, $\mathrm{Li_{5}Sn_{1}}$, and $\mathrm{Li_{7}Sn_{1}}$) which lie within 20 meV/atom from the convex hull tie-line. However, while going through their article, we noticed a significant inconsistency and contradictions in their results. Moreover, a one-to-one comparison with our published results\cite{Sen@2017} revealed a disagreement in the symmetry of $\mathrm{Li_{3}Sn_{1}}$, $\mathrm{Li_{7}Sn_{2}}$, $\mathrm{Li_{4}Sn_{1}}$, $\mathrm{Li_{5}Sn_{1}}$, and $\mathrm{Li_{7}Sn_{1}}$ discussed by Mayo et al.}


title: Sasakian Manifold and *-Ricci Tensor

abstract: The purpose of this paper is to study *-Ricci tensor on Sasakian manifold. Here, \phi-confomally flat and confomally flat *-\eta-Einstein Sasakian manifold are studied. Next, we consider *-Ricci symmetric conditon on Sasakian manifold. Finally, we study a special type of metric called *-Ricci soliton on Sasakian manifold.


title: Statistics of extreme ocean environments: Non-stationary inference for directionality and other covariate effects

abstract: Numerous approaches are proposed in the literature for non-stationarity marginal extreme value inference, including different model parameterisations with respect to covariate, and different inference schemes. The objective of this article is to compare some of these procedures critically. We generate sample realisations from generalised Pareto distributions, the parameters of which are smooth functions of a single smooth periodic covariate, specified to reflect the characteristics of actual samples from the tail of the distribution of significant wave height with direction, considered in the literature in the recent past. We estimate extreme values models (a) using Constant, Fourier, B-spline and Gaussian Process parameterisations for the functional forms of generalised Pareto shape and (adjusted) scale with respect to covariate and (b) maximum likelihood and Bayesian inference procedures. We evaluate the relative quality of inferences by estimating return value distributions for the response corresponding to a time period of $10 \times$ the (assumed) period of the original sample, and compare estimated return values distributions with the truth using Kullback-Leibler, Cramer-von Mises and Kolmogorov-Smirnov statistics. We find that Spline and Gaussian Process parameterisations estimated by Markov chain Monte Carlo inference using the mMALA algorithm, perform equally well in terms of quality of inference and computational efficiency, and generally perform better than alternatives in those respects.


title: Automatic Short Answer Grading and Feedback Using Text Mining Methods

abstract: Automatic grading is not a new approach but the need to adapt the latest technology to automatic grading has become very important. As the technology has rapidly became more powerful on scoring exams and essays, especially from the 1990s onwards, partially or wholly automated grading systems using computational methods have evolved and have become a major area of research. In particular, the demand of scoring of natural language responses has created a need for tools that can be applied to automatically grade these responses. In this paper, we focus on the concept of automatic grading of short answer questions such as are typical in the UK GCSE system, and providing useful feedback on their answers to students. We present experimental results on a dataset provided from the introductory computer science class in the University of North Texas. We first apply standard data mining techniques to the corpus of student answers for the purpose of measuring similarity between the student answers and the model answer. This is based on the number of common words. We then evaluate the relation between these similarities and marks awarded by scorers. We then consider an approach that groups student answers into clusters. Each cluster would be awarded the same mark, and the same feedback given to each answer in a cluster. In this manner, we demonstrate that clusters indicate the groups of students who are awarded the same or the similar scores. Words in each cluster are compared to show that clusters are constructed based on how many and which words of the model answer have been used. The main novelty in this paper is that we design a model to predict marks based on the similarities between the student answers and the model answer.


title: ADMM for MPC with state and input constraints, and input nonlinearity

abstract: In this paper we propose an Alternating Direction Method of Multipliers (ADMM) algorithm for solving a Model Predictive Control (MPC) optimization problem, in which the system has state and input constraints and a nonlinear input map. The resulting optimization is nonconvex, and we provide a proof of convergence to a point satisfying necessary conditions for optimality. This general method is proposed as a solution for blended mode control of hybrid electric vehicles, to allow optimization in real time. To demonstrate the properties of the algorithm we conduct numerical experiments on randomly generated problems, and show that the algorithm is effective for achieving an approximate solution, but has limitations when an exact solution is required.


title: On Behind the Physics of the Thermoelectricity of Topological Insulators

abstract: Topological Insulators are the best thermoelectric materials involving a sophisticated physics beyond their solid state and electronic structure. We show that exists a topological contribution to the thermoelectric effect that arise between topological and thermal quantum field theories applied at very low energies. This formalism provides us with a quantized topological mass proportional to the temperature T, being both quantities directly related with an electric potential V and getting a Seebeck coefficient where we identify an anomalous contribution that we associate to the creation of real electron-hole Schwinger's pairs close to the topological bands. Finally, we find a general expression, considering the electronic contribution, for the dimensionless figure of merit of these topological materials, getting a value of 2.73 that is applicable to the Bi$_2$Te$_3$, for which it was reported a value of 2.4, using only the most basic topological numbers (0 or 1).


title: Universal trees grow inside separating automata: Quasi-polynomial lower bounds for parity games

abstract: Several distinct techniques have been proposed to design quasi-polynomial algorithms for solving parity games since the breakthrough result of Calude, Jain, Khoussainov, Li, and Stephan (2017): play summaries, progress measures and register games. We argue that all those techniques can be viewed as instances of the separation approach to solving parity games, a key technical component of which is constructing (explicitly or implicitly) an automaton that separates languages of words encoding plays that are (decisively) won by either of the two players. Our main technical result is a quasi-polynomial lower bound on the size of such separating automata that nearly matches the current best upper bounds. This forms a barrier that all existing approaches must overcome in the ongoing quest for a polynomial-time algorithm for solving parity games. The key and fundamental concept that we introduce and study is a universal ordered tree. The technical highlights are a quasi-polynomial lower bound on the size of universal ordered trees and a proof that every separating safety automaton has a universal tree hidden in its state space.


title: CrossNet: An End-to-end Reference-based Super Resolution Network using Cross-scale Warping

abstract: The Reference-based Super-resolution (RefSR) super-resolves a low-resolution (LR) image given an external high-resolution (HR) reference image, where the reference image and LR image share similar viewpoint but with significant resolution gap x8. Existing RefSR methods work in a cascaded way such as patch matching followed by synthesis pipeline with two independently defined objective functions, leading to the inter-patch misalignment, grid effect and inefficient optimization. To resolve these issues, we present CrossNet, an end-to-end and fully-convolutional deep neural network using cross-scale warping. Our network contains image encoders, cross-scale warping layers, and fusion decoder: the encoder serves to extract multi-scale features from both the LR and the reference images; the cross-scale warping layers spatially aligns the reference feature map with the LR feature map; the decoder finally aggregates feature maps from both domains to synthesize the HR output. Using cross-scale warping, our network is able to perform spatial alignment at pixel-level in an end-to-end fashion, which improves the existing schemes both in precision (around 2dB-4dB) and efficiency (more than 100 times faster).


title: A Novel Geometry-based Algorithm for Robust Grasping in Extreme Clutter Environment

abstract: This paper looks into the problem of grasping unknown objects in a cluttered environment using 3D point cloud data obtained from a range or an RGBD sensor. The objective is to identify graspable regions and detect suitable grasp poses from a single view, possibly, partial 3D point cloud without any apriori knowledge of the object geometry. The problem is solved in two steps: (1) identifying and segmenting various object surfaces and, (2) searching for suitable grasping handles on these surfaces by applying geometric constraints of the physical gripper. The first step is solved by using a modified version of region growing algorithm that uses a pair of thresholds for smoothness constraint on local surface normals to find natural boundaries of object surfaces. In this process, a novel concept of edge point is introduced that allows us to segment between different surfaces of the same object. The second step is solved by converting a 6D pose detection problem into a 1D linear search problem by projecting 3D cloud points onto the principal axes of the object surface. The graspable handles are then localized by applying physical constraints of the gripper. The resulting method allows us to grasp all kinds of objects including rectangular or box-type objects with flat surfaces which have been difficult so far to deal with in the grasping literature. The proposed method is simple and can be implemented in real-time and does not require any off-line training phase for finding these affordances. The improvements achieved is demonstrated through comparison with another state-of-the-art grasping algorithm on various publicly-available and self-created datasets.


title: A birth-death model of ageing: from individual-based dynamics to evolutive differential inclusions

abstract: Ageing's sensitivity to natural selection has long been discussed because of its apparent negative effect on individual's fitness. Thanks to the recently described (Smurf) 2-phase model of ageing we were allowed to propose a fresh angle for modeling the evolution of ageing. Indeed, by coupling a dramatic loss of fertility with a high-risk of impending death - amongst other multiple so-called hallmarks of ageing - the Smurf phenotype allowed us to consider ageing as a couple of sharp transitions. The birth-death model (later called bd-model) we describe here is a simple life-history trait model where each asexual and haploid individual is described by its fertility period $x_b$ and survival period $x_d$. We show that, thanks to the Lansing effect, $x_b$ and $x_d$ converge during evolution to configurations $x_b-x_d\approx 0$. This guarantees that a certain proportion of the population maintains the Lansing effect which in turn, confers higher evolvability to individuals. \\To do so, we built an individual-based stochastic model which describes the age and trait distribution dynamics of such a finite population. Then we rigorously derive the adaptive dynamics models, which describe the trait dynamics at the evolutionary time-scale. We extend the Trait Substitution Sequence with age structure to take into account the Lansing effect. Finally, we study the limiting behaviour of this jump process when mutations are small. We show that the limiting behaviour is described by a differential inclusion whose solutions $x(t)=(x_b(t),x_d(t))$ reach the diagonal $\lbrace x_b=x_d\rbrace$ in finite time and then remain on it. This differential inclusion is a natural way to extend the canonical equation of adaptive dynamics in order to take into account the lack of regularity of the invasion fitness function on the diagonal $\lbrace x_b=x_d\rbrace$.


title: X2Face: A network for controlling face generation by using images, audio, and pose codes

abstract: The objective of this paper is a neural network model that controls the pose and expression of a given face, using another face or modality (e.g. audio). This model can then be used for lightweight, sophisticated video and image editing. We make the following three contributions. First, we introduce a network, X2Face, that can control a source face (specified by one or more frames) using another face in a driving frame to produce a generated frame with the identity of the source frame but the pose and expression of the face in the driving frame. Second, we propose a method for training the network fully self-supervised using a large collection of video data. Third, we show that the generation process can be driven by other modalities, such as audio or pose codes, without any further training of the network. The generation results for driving a face with another face are compared to state-of-the-art self-supervised/supervised methods. We show that our approach is more robust than other methods, as it makes fewer assumptions about the input data. We also show examples of using our framework for video face editing.


title: Modeling of the spatially resolved non-thermal emission from the Vela Jr. supernova remnant

abstract: Vela Jr. (RX J0852.0$-$4622) is one of just a few known supernova remnants (SNRs) with a resolved shell across the whole electromagnetic spectrum from radio to very-high-energy ($>100$ GeV; VHE) gamma-rays. Its proximity and large size allow for detailed spatially resolved observations of the source making Vela Jr. one of the primary sources used for the study of particle acceleration and emission mechanisms in SNRs. High-resolution X-ray observations reveal a steepening of the spectrum toward the interior of the remnant. In this study we aim for a self-consistent radiation model of Vela Jr. which at the same time would explain the broadband emission from the source and its intensity distribution. We solve the full particle transport equation combined with the high-resolution 1D hydrodynamic simulations (using Pluto code) and subsequently calculate the radiation from the remnant. The equations are solved in the test particle regime. We test two models for the magnetic field profile downstream of the shock: damped magnetic field which accounts for the damping of strong magnetic turbulence downstream, and transported magnetic field. Neither of these scenarios can fully explain the observed radial dependence of the X-ray spectrum under spherical symmetry. We show, however, that the softening of the spectrum and the X-ray intensity profile can be explained under the assumption that the emission is enhanced within a cone.


title: Improving High Resolution Histology Image Classification with Deep Spatial Fusion Network

abstract: Histology imaging is an essential diagnosis method to finalize the grade and stage of cancer of different tissues, especially for breast cancer diagnosis. Specialists often disagree on the final diagnosis on biopsy tissue due to the complex morphological variety. Although convolutional neural networks (CNN) have advantages in extracting discriminative features in image classification, directly training a CNN on high resolution histology images is computationally infeasible currently. Besides, inconsistent discriminative features often distribute over the whole histology image, which incurs challenges in patch-based CNN classification method. In this paper, we propose a novel architecture for automatic classification of high resolution histology images. First, an adapted residual network is employed to explore hierarchical features without attenuation. Second, we develop a robust deep fusion network to utilize the spatial relationship between patches and learn to correct the prediction bias generated from inconsistent discriminative feature distribution. The proposed method is evaluated using 10-fold cross-validation on 400 high resolution breast histology images with balanced labels and reports 95% accuracy on 4-class classification and 98.5% accuracy, 99.6% AUC on 2-class classification (carcinoma and non-carcinoma), which substantially outperforms previous methods and close to pathologist performance.


title: Blueberry Earth

abstract: This paper explores the physics of the what-if question "what if the entire Earth was instantaneously replaced with an equal volume of closely packed, but uncompressed blueberries?" While the assumption may be absurd, the consequences can be explored rigorously using elementary physics. The result is not entirely dissimilar to a small ocean-world exoplanet.


title: Coloured Ring Confidential Transactions

abstract: Privacy in block-chains is considered second to functionality, but a vital requirement for many new applications, e.g., in the industrial environment. We propose a novel transaction type, which enables privacy preserving trading of independent assets on a common block-chain. This is achieved by extending the ring confidential transaction with an additional commitment to a colour and a publicly verifiable proof of conservation. With our coloured confidential ring signatures, new token types can be introduced and transferred by any participant using the same sized anonymity set as single-token privacy aware block-chains. Thereby, our system facilitates tracking assets on an immutable ledger without compromising the confidentiality of transactions.


title: Giant Spin-valley Polarization and Multiple Hall Effect in Functionalized Bi Monolayers

abstract: Valleytronic materials, characterized by local extrema (valley) in their bands, and topological insulators have separately attracted great interest recently. However, the interplay between valleytronic and topological properties in one single system, likely to enable important unexplored phenomena and applications, has been largely overlooked so far. Here, by combining a tight-binding model with first-principles calculations, we find the large-band-gap quantum spin Hall effects (QSHEs) and valley Hall effects (VHEs) appear simultaneously in the Bi monolayers decorated with halogen elements, denoted as Bi2XY (X, Y = H, F, Cl, Br, or I). A staggered exchange field is introduced into the Bi2XY monolayers by transition metal atom (Cr, Mo, or W) doping or LaFeO3 magnetic substrates, which together with the strong SOC of Bi atoms generates a time-reversal-symmetry-broken QSHE and a huge valley splitting (up to 513 meV) in the system. With gate control, QSHE and anomalous charge, spin, valley Hall effects can be observed in the single system. These predicted multiple and exotic Hall effects, associated with various degrees of freedom of electrons, could enable applications of the functionalized Bi monolayers in electronics, spintronics, and valleytronics.


title: Morbidity, mortality and the illness-death model

abstract: In this article, we use the illness-death model to present a mathematical framework for studying the compression of morbidity (COM) hypothesis. It turns out that questions about COM are completely determined by the transition rates in the illness-death model and a closely related partial differential equation. By this, the COM hypothesis is analytically tractable. To demonstrate the usefulness of the mathematical framework, an example is given, which has been motivated by empirical findings from Germany.


title: On the definition and characterisation of multipartite causal (non)separability

abstract: The concept of causal nonseparability has been recently introduced, in opposition to that of causal separability, to qualify physical processes that locally abide by the laws of quantum theory, but cannot be embedded in a well-defined global causal structure. While the definition is unambiguous in the bipartite case, its generalisation to the multipartite case is not so straightforward. Two seemingly different generalisations have been proposed, one for a restricted tripartite scenario and one for the general multipartite case. Here we compare the two, showing that they are in fact inequivalent. We propose our own definition of causal (non)separability for the general case, which---although a priori subtly different---turns out to be equivalent to the concept of "extensible causal (non)separability" introduced before, and which we argue is a more natural definition for general multipartite scenarios. We then derive necessary, as well as sufficient conditions to characterise causally (non)separable processes in practice. These allow one to devise practical tests, by generalising the tool of witnesses of causal nonseparability.


title: Protocol for an Observational Study on the Effects of Early-Life Participation in Contact Sports on Later-Life Cognition in a Sample of Monozygotic and Dizygotic Swedish Twins Reared Together and Twins Reared Apart

abstract: A large body of work links traumatic brain injury (TBI) in adulthood to the onset of Alzheimer's disease (AD). AD is the chief cause of dementia, leading to reduced cognitive capacity and autonomy and increased mortality risk. More recently, researchers have sought to investigate whether TBI experienced in early-life may influence trajectories of cognitive dysfunction in adulthood. It has been speculated that early-life participation in collision sports may lead to poor cognitive and mental health outcomes. However, to date, the few studies to investigate this relationship have produced mixed results. We propose to extend this literature by conducting a prospective study on the effects of early-life participation in collision sports on later-life cognitive health using the Swedish Adoption/Twin Study on Aging (SATSA). The SATSA is unique in its sampling of monozygotic and dizygotic twins reared together (respectively MZT, DZT) and twins reared apart (respectively MZA, DZA). The proposed analysis is a prospective study of 660 individuals comprised of 270 twin pairs and 120 singletons. Seventy-eight (11.8% individuals reported participation in collision sports. Our primary outcome will be an indicator of cognitive impairment determined by scores on the Mini-Mental State Examination (MMSE). We will also consider several secondary cognitive outcomes including verbal and spatial ability, memory, and processing speed. Our sample will be restricted to individuals with at least one MMSE score out of seven repeated assessments spaced approximately three years apart. We will adjust for age, sex, and education in each of our models.


title: Smoothness of correlation functions in Liouville Conformal Field Theory

abstract: In this article we prove smoothness of the correlation functions in probabilistic Liouville Conformal Field Theory. Our result is a step towards proving that the correlation functions satisfy the higher Ward identities and the higher BPZ equations, predicted by the Conformal Bootstrap approach to Conformal Field Theory.


title: Primeval very low-mass stars and brown dwarfs - IV. New L subdwarfs, Gaia astrometry, population properties, and a blue brown dwarf binary

abstract: We present 27 new L subdwarfs and classify five of them as esdL and 22 as sdL. Our L subdwarf candidates were selected with the UKIRT Infrared Deep Sky Survey and Sloan Digital Sky Survey. Spectroscopic follow-up was carried out primarily with the OSIRIS spectrograph on the Gran Telescopio Canarias. Some of these new objects were followed up with the X-shooter instrument on the Very Large Telescope. We studied the photometric properties of the population of known L subdwarfs using colour-spectral type diagrams and colour-colour diagrams, by comparison with L dwarfs and main-sequence stars, and identified new colour spaces for L subdwarf selection/study in current and future surveys. We further discussed the brown dwarf transition-zone and the observational stellar/substellar boundary. We found that about one-third of 66 known L subdwarfs are substellar objects, with two-thirds being very low-mass stars. We also present the Hertzsprung-Russell diagrams, spectral type-absolute magnitude corrections, and tangential velocities of 20 known L subdwarfs observed by the Gaia astrometry satellite. One of our L subdwarf candidates, ULAS J233227.03+123452.0, is a mildly metal-poor spectroscopic binary brown dwarf: a ~L6p dwarf and a ~T4p dwarf. This binary is likely a thick disc member according to its kinematics.


title: Towards an Embodied Semantic Fovea: Semantic 3D scene reconstruction from ego-centric eye-tracker videos

abstract: Incorporating the physical environment is essential for a complete understanding of human behavior in unconstrained every-day tasks. This is especially important in ego-centric tasks where obtaining 3 dimensional information is both limiting and challenging with the current 2D video analysis methods proving insufficient. Here we demonstrate a proof-of-concept system which provides real-time 3D mapping and semantic labeling of the local environment from an ego-centric RGB-D video-stream with 3D gaze point estimation from head mounted eye tracking glasses. We augment existing work in Semantic Simultaneous Localization And Mapping (Semantic SLAM) with collected gaze vectors. Our system can then find and track objects both inside and outside the user field-of-view in 3D from multiple perspectives with reasonable accuracy. We validate our concept by producing a semantic map from images of the NYUv2 dataset while simultaneously estimating gaze position and gaze classes from recorded gaze data of the dataset images.


title: Contributions to the development of the CRO-SL algorithm: Engineering applications problems

abstract: This Ph.D. thesis discusses advanced design issues of the evolutionary-based algorithm \textit{"Coral Reef Optimization"}, in its Substrate-Layer (CRO-SL) version, for optimization problems in Engineering Applications. The problems that can be tackled with meta-heuristic approaches is very wide and varied, and it is not exclusive of engineering. However we focus the Thesis on it area, one of the most prominent in our time. One of the proposed application is battery scheduling problem in Micro-Grids (MGs). Specifically, we consider an MG that includes renewable distributed generation and different loads, defined by its power profiles, and is equipped with an energy storage device (battery) to address its programming (duration of loading / discharging and occurrence) in a real scenario with variable electricity prices. Also, we discuss a problem of vibration cancellation over structures of two and four floors, using Tuned Mass Dampers (TMD's). The optimization algorithm will try to find the best solution by obtaining three physical parameters and the TMD location. As another related application, CRO-SL is used to design Multi-Input-Multi-Output Active Vibration Control (MIMO-AVC) via inertial-mass actuators, for structures subjected to human induced vibration. In this problem, we will optimize the location of each actuator and tune control gains. Finally, we tackle the optimization of a textile modified meander-line Inverted-F Antenna (IFA) with variable width and spacing meander, for RFID systems. Specifically, the CRO-SL is used to obtain an optimal antenna design, with a good bandwidth and radiation pattern, ideal for RFID readers. Radio Frequency Identification (RFID) has become one of the most numerous manufactured devices worldwide due to a reliable and inexpensive means of locating people. They are used in access and money cards and product labels and many other applications.


title: Proceedings of the 9th International Workshop on Physics and Computation

abstract: The 9th International Workshop on Physics and Computation (PC 2018) was held as a satellite workshop of the 17th International Conference on Unconventional Computation and Natural Computation (UCNC 2018) in Fontainebleau, France, which was held from 25-29 June 2018. PC 2018 was an interdisciplinary meeting which brought together researchers from various domains with interests in physics and computation. Research and important issues relating to the interface between physics and the theories of computation, computability and information, including their application to physical systems, were presented and discussed.


title: Auto-Encoding Variational Neural Machine Translation

abstract: We present a deep generative model of bilingual sentence pairs for machine translation. The model generates source and target sentences jointly from a shared latent representation and is parameterised by neural networks. We perform efficient training using amortised variational inference and reparameterised gradients. Additionally, we discuss the statistical implications of joint modelling and propose an efficient approximation to maximum a posteriori decoding for fast test-time predictions. We demonstrate the effectiveness of our model in three machine translation scenarios: in-domain training, mixed-domain training, and learning from a mix of gold-standard and synthetic data. Our experiments show consistently that our joint formulation outperforms conditional modelling (i.e. standard neural machine translation) in all such scenarios.


title: DeepPhase: Surgical Phase Recognition in CATARACTS Videos

abstract: Automated surgical workflow analysis and understanding can assist surgeons to standardize procedures and enhance post-surgical assessment and indexing, as well as, interventional monitoring. Computer-assisted interventional (CAI) systems based on video can perform workflow estimation through surgical instruments' recognition while linking them to an ontology of procedural phases. In this work, we adopt a deep learning paradigm to detect surgical instruments in cataract surgery videos which in turn feed a surgical phase inference recurrent network that encodes temporal aspects of phase steps within the phase classification. Our models present comparable to state-of-the-art results for surgical tool detection and phase recognition with accuracies of 99 and 78% respectively.


title: Towards a directed homotopy type theory

abstract: In this paper, we present a directed homotopy type theory for reasoning synthetically about (higher) categories, directed homotopy theory, and its applications to concurrency. We specify a new `homomorphism' type former for Martin-L\"of type theory which is roughly analogous to the identity type former originally introduced by Martin-L\"of. The homomorphism type former is meant to capture the notions of morphism (from the theory of categories) and directed path (from directed homotopy theory) just as the identity type former is known to capture the notions of isomorphism (from the theory of groupoids) and path (from homotopy theory). Our main result is an interpretation of these homomorphism types into Cat, the category of small categories. There, the interpretation of each homomorphism type hom(a,b) is indeed the set of morphisms between the objects a and b of a category C. We end the paper with an analysis of the interpretation in Cat with which we argue that our homomorphism types are indeed the directed version of Martin-L\"of's identity types.


title: On commuting billiards in higher-dimensional spaces of constant curvature

abstract: We consider two nested billiards in $\mathbb R^d$, $d\geq3$, with $C^2$-smooth strictly convex boundaries. We prove that if the corresponding actions by reflections on the space of oriented lines commute, then the billiards are confocal ellipsoids. This together with the previous analogous result of the author in two dimensions solves completely the Commuting Billiard Conjecture due to Sergei Tabachnikov. The main result is deduced from the classical theorem due to Marcel Berger saying that in higher dimensions only quadrics may have caustics. We also prove versions of Berger's theorem and the main result for billiards in spaces of constant curvature: space forms.


title: Barqi Breed Sheep Weight Estimation based on Neural Network with Regression

abstract: Computer vision is a very powerful method for understanding the contents from the images. We tried to utilize this powerful technology to make the difficult task of estimating sheep weights quick and accurate. It has enabled us to minimize the human involvement in measuring weight of the sheep. We are using a novel approach for segmentation and neural network based regression model for achieving better results for the task of estimating sheep weight.


title: The Helmholtz Method: Using Perceptual Compression to Reduce Machine Learning Complexity

abstract: This paper proposes a fundamental answer to a frequently asked question in multimedia computing and machine learning: Do artifacts from perceptual compression contribute to error in the machine learning process and if so, how much? Our approach to the problem is a reinterpretation of the Helmholtz Free Energy formula from physics to explain the relationship between content and noise when using sensors (such as cameras or microphones) to capture multimedia data. The reinterpretation allows a bit-measurement of the noise contained in images, audio, and video by combining a classifier with perceptual compression, such as JPEG or MP3. Our experiments on CIFAR-10 as well as Fraunhofer's IDMT-SMT-Audio-Effects dataset indicate that, at the right quality level, perceptual compression is actually not harmful but contributes to a significant reduction of complexity of the machine learning process. That is, our noise quantification method can be used to speed up the training of deep learning classifiers significantly while maintaining, or sometimes even improving, overall classification accuracy. Moreover, our results provide insights into the reasons for the success of deep learning.


title: Embedded Implementation of a Deep Learning Smile Detector

abstract: In this paper we study the real time deployment of deep learning algorithms in low resource computational environments. As the use case, we compare the accuracy and speed of neural networks for smile detection using different neural network architectures and their system level implementation on NVidia Jetson embedded platform. We also propose an asynchronous multithreading scheme for parallelizing the pipeline. Within this framework, we experimentally compare thirteen widely used network topologies. The experiments show that low complexity architectures can achieve almost equal performance as larger ones, with a fraction of computation required.


title: Sparse Range-constrained Learning and Its Application for Medical Image Grading

abstract: Sparse learning has been shown to be effective in solving many real-world problems. Finding sparse representations is a fundamentally important topic in many fields of science including signal processing, computer vision, genome study and medical imaging. One important issue in applying sparse representation is to find the basis to represent the data,especially in computer vision and medical imaging where the data is not necessary incoherent. In medical imaging, clinicians often grade the severity or measure the risk score of a disease based on images. This process is referred to as medical image grading. Manual grading of the disease severity or risk score is often used. However, it is tedious, subjective and expensive. Sparse learning has been used for automatic grading of medical images for different diseases. In the grading, we usually begin with one step to find a sparse representation of the testing image using a set of reference images or atoms from the dictionary. Then in the second step, the selected atoms are used as references to compute the grades of the testing images. Since the two steps are conducted sequentially, the objective function in the first step is not necessarily optimized for the second step. In this paper, we propose a novel sparse range-constrained learning(SRCL)algorithm for medical image grading.Different from most of existing sparse learning algorithms, SRCL integrates the objective of finding a sparse representation and that of grading the image into one function. It aims to find a sparse representation of the testing image based on atoms that are most similar in both the data or feature representation and the medical grading scores. We apply the new proposed SRCL to CDR computation and cataract grading. Experimental results show that the proposed method is able to improve the accuracy in cup-to-disc ratio computation and cataract grading.


title: Two-Layer Mixture Network Ensemble for Apparel Attributes Classification

abstract: Recognizing apparel attributes has recently drawn great interest in the computer vision community. Methods based on various deep neural networks have been proposed for image classification, which could be applied to apparel attributes recognition. An interesting problem raised is how to ensemble these methods to further improve the accuracy. In this paper, we propose a two-layer mixture framework for ensemble different networks. In the first layer of this framework, two types of ensemble learning methods, bagging and boosting, are separately applied. Different from traditional methods, our bagging process makes use of the whole training set, not random subsets, to train each model in the ensemble, where several differentiated deep networks are used to promote model variance. To avoid the bias of small-scale samples, the second layer only adopts bagging to mix the results obtained with bagging and boosting in the first layer. Experimental results demonstrate that the proposed mixture framework outperforms any individual network model or either independent ensemble method in apparel attributes classification.


title: LiDAR and Camera Detection Fusion in a Real Time Industrial Multi-Sensor Collision Avoidance System

abstract: Collision avoidance is a critical task in many applications, such as ADAS (advanced driver-assistance systems), industrial automation and robotics. In an industrial automation setting, certain areas should be off limits to an automated vehicle for protection of people and high-valued assets. These areas can be quarantined by mapping (e.g., GPS) or via beacons that delineate a no-entry area. We propose a delineation method where the industrial vehicle utilizes a LiDAR {(Light Detection and Ranging)} and a single color camera to detect passive beacons and model-predictive control to stop the vehicle from entering a restricted space. The beacons are standard orange traffic cones with a highly reflective vertical pole attached. The LiDAR can readily detect these beacons, but suffers from false positives due to other reflective surfaces such as worker safety vests. Herein, we put forth a method for reducing false positive detection from the LiDAR by projecting the beacons in the camera imagery via a deep learning method and validating the detection using a neural network-learned projection from the camera to the LiDAR space. Experimental data collected at Mississippi State University's Center for Advanced Vehicular Systems (CAVS) shows the effectiveness of the proposed system in keeping the true detection while mitigating false positives.


title: Deep Learning Hyperspectral Image Classification Using Multiple Class-based Denoising Autoencoders, Mixed Pixel Training Augmentation, and Morphological Operations

abstract: Herein, we present a system for hyperspectral image segmentation that utilizes multiple class--based denoising autoencoders which are efficiently trained. Moreover, we present a novel hyperspectral data augmentation method for labelled HSI data using linear mixtures of pixels from each class, which helps the system with edge pixels which are almost always mixed pixels. Finally, we utilize a deep neural network and morphological hole-filling to provide robust image classification. Results run on the Salinas dataset verify the high performance of the proposed algorithm.


title: Multi-Region Ensemble Convolutional Neural Network for Facial Expression Recognition

abstract: Facial expressions play an important role in conveying the emotional states of human beings. Recently, deep learning approaches have been applied to image recognition field due to the discriminative power of Convolutional Neural Network (CNN). In this paper, we first propose a novel Multi-Region Ensemble CNN (MRE-CNN) framework for facial expression recognition, which aims to enhance the learning power of CNN models by capturing both the global and the local features from multiple human face sub-regions. Second, the weighted prediction scores from each sub-network are aggregated to produce the final prediction of high accuracy. Third, we investigate the effects of different sub-regions of the whole face on facial expression recognition. Our proposed method is evaluated based on two well-known publicly available facial expression databases: AFEW 7.0 and RAF-DB, and has been shown to achieve the state-of-the-art recognition accuracy.


title: Visual Attention driven by Convolutional Features

abstract: The understanding of where humans look in a scene is a problem of great interest in visual perception and computer vision. When eye-tracking devices are not a viable option, models of human attention can be used to predict fixations. In this paper we give two contribution. First, we show a model of visual attention that is simply based on deep convolutional neural networks trained for object classification tasks. A method for visualizing saliency maps is defined which is evaluated in a saliency prediction task. Second, we integrate the information of these maps with a bottom-up differential model of eye-movements to simulate visual attention scanpaths. Results on saliency prediction and scores of similarity with human scanpaths demonstrate the effectiveness of this model.


title: Accuracy to Throughput Trade-offs for Reduced Precision Neural Networks on Reconfigurable Logic

abstract: Modern CNN are typically based on floating point linear algebra based implementations. Recently, reduced precision NN have been gaining popularity as they require significantly less memory and computational resources compared to floating point. This is particularly important in power constrained compute environments. However, in many cases a reduction in precision comes at a small cost to the accuracy of the resultant network. In this work, we investigate the accuracy-throughput trade-off for various parameter precision applied to different types of NN models. We firstly propose a quantization training strategy that allows reduced precision NN inference with a lower memory footprint and competitive model accuracy. Then, we quantitatively formulate the relationship between data representation and hardware efficiency. Our experiments finally provide insightful observation. For example, one of our tests show 32-bit floating point is more hardware efficient than 1-bit parameters to achieve 99% MNIST accuracy. In general, 2-bit and 4-bit fixed point parameters show better hardware trade-off on small-scale datasets like MNIST and CIFAR-10 while 4-bit provide the best trade-off in large-scale tasks like AlexNet on ImageNet dataset within our tested problem domain.


title: A Banach space whose algebra of operators is Dedekind-finite but it does not have stable rank one

abstract: In this note we examine the connection between the stable rank one and Dedekind-finite property of the algebra of operators on a Banach space $X$. We show that for the indecomposable but not hereditarily indecomposable Banach space $X_{\infty}$ constructed by Tarbard (Ph.D. Thesis, University of Oxford, 2013), the algebra of operators $B(X_{\infty})$ is Dedekind-finite but does not have stable rank one. While this sheds some light on the Banach space structure of $X_{\infty}$ itself, we observe that the indecomposable but not hereditarily indecomposable Banach space constructed by Gowers and Maurey (Math. Ann., 1997) does not possess this property.


title: Real-time Characterization of Transient Double-Soliton Dynamics in a Mode-Locked Fiber Laser

abstract: By means of the emerging Dispersive Fourier transformation technique, we captured the pulse-resolved spectral evolution dynamics of the double-soliton (DS) states in a single-walled carbon nanotube based Er-doped fiber laser from the initial fluctuations, monitoring the evolution process up to 10 seconds (corresponding to ~260 million roundtrips) discontinuously. Two distinctly different evolutionary types of DS states have been investigated in detail: splitting from one pulse and forming simultaneously. Relaxation oscillations, beating, transient bound state, spectral broadening and pulse interval dynamics have been observed in the evolution process of the DS operation. Our study will be helpful for the further research of mode-locking operation.


title: Is the Pedestrian going to Cross? Answering by 2D Pose Estimation

abstract: Our recent work suggests that, thanks to nowadays powerful CNNs, image-based 2D pose estimation is a promising cue for determining pedestrian intentions such as crossing the road in the path of the ego-vehicle, stopping before entering the road, and starting to walk or bending towards the road. This statement is based on the results obtained on non-naturalistic sequences (Daimler dataset), i.e. in sequences choreographed specifically for performing the study. Fortunately, a new publicly available dataset (JAAD) has appeared recently to allow developing methods for detecting pedestrian intentions in naturalistic driving conditions; more specifically, for addressing the relevant question is the pedestrian going to cross? Accordingly, in this paper we use JAAD to assess the usefulness of 2D pose estimation for answering such a question. We combine CNN-based pedestrian detection, tracking and pose estimation to predict the crossing action from monocular images. Overall, the proposed pipeline provides new state-of-the-art results.


title: Multi-Scale Gradual Integration CNN for False Positive Reduction in Pulmonary Nodule Detection

abstract: Lung cancer is a global and dangerous disease, and its early detection is crucial to reducing the risks of mortality. In this regard, it has been of great interest in developing a computer-aided system for pulmonary nodules detection as early as possible on thoracic CT scans. In general, a nodule detection system involves two steps: (i) candidate nodule detection at a high sensitivity, which captures many false positives and (ii) false positive reduction from candidates. However, due to the high variation of nodule morphological characteristics and the possibility of mistaking them for neighboring organs, candidate nodule detection remains a challenge. In this study, we propose a novel Multi-scale Gradual Integration Convolutional Neural Network (MGI-CNN), designed with three main strategies: (1) to use multi-scale inputs with different levels of contextual information, (2) to use abstract information inherent in different input scales with gradual integration, and (3) to learn multi-stream feature integration in an end-to-end manner. To verify the efficacy of the proposed network, we conducted exhaustive experiments on the LUNA16 challenge datasets by comparing the performance of the proposed method with state-of-the-art methods in the literature. On two candidate subsets of the LUNA16 dataset, i.e., V1 and V2, our method achieved an average CPM of 0.908 (V1) and 0.942 (V2), outperforming comparable methods by a large margin. Our MGI-CNN is implemented in Python using TensorFlow and the source code is available from 'https://github.com/ku-milab/MGICNN.'


title: An infinitesimal approach to the study of Cycles on Abelian Varieties

abstract: This paper is a work in progress on Bloch's conjecture asserting the vanishing of the Pontryagin product of a $ p $ codimensional cycle on an abelian variety by $ p+1 $ zero cycles of degree zero. We prove an infinitesimal version of the conjecture and we discuss, in particular, the case of $ 3 $ dimensional cycles.


title: EchoFusion: Tracking and Reconstruction of Objects in 4D Freehand Ultrasound Imaging without External Trackers

abstract: Ultrasound (US) is the most widely used fetal imaging technique. However, US images have limited capture range, and suffer from view dependent artefacts such as acoustic shadows. Compounding of overlapping 3D US acquisitions into a high-resolution volume can extend the field of view and remove image artefacts, which is useful for retrospective analysis including population based studies. However, such volume reconstructions require information about relative transformations between probe positions from which the individual volumes were acquired. In prenatal US scans, the fetus can move independently from the mother, making external trackers such as electromagnetic or optical tracking unable to track the motion between probe position and the moving fetus. We provide a novel methodology for image-based tracking and volume reconstruction by combining recent advances in deep learning and simultaneous localisation and mapping (SLAM). Tracking semantics are established through the use of a Residual 3D U-Net and the output is fed to the SLAM algorithm. As a proof of concept, experiments are conducted on US volumes taken from a whole body fetal phantom, and from the heads of real fetuses. For the fetal head segmentation, we also introduce a novel weak annotation approach to minimise the required manual effort for ground truth annotation. We evaluate our method qualitatively, and quantitatively with respect to tissue discrimination accuracy and tracking robustness.


title: Uncertainty and Interpretability in Convolutional Neural Networks for Semantic Segmentation of Colorectal Polyps

abstract: Convolutional Neural Networks (CNNs) are propelling advances in a range of different computer vision tasks such as object detection and object segmentation. Their success has motivated research in applications of such models for medical image analysis. If CNN-based models are to be helpful in a medical context, they need to be precise, interpretable, and uncertainty in predictions must be well understood. In this paper, we develop and evaluate recent advances in uncertainty estimation and model interpretability in the context of semantic segmentation of polyps from colonoscopy images. We evaluate and enhance several architectures of Fully Convolutional Networks (FCNs) for semantic segmentation of colorectal polyps and provide a comparison between these models. Our highest performing model achieves a 76.06\% mean IOU accuracy on the EndoScene dataset, a considerable improvement over the previous state-of-the-art.


title: Filter Distillation for Network Compression

abstract: In this paper we introduce Principal Filter Analysis (PFA), an easy to use and effective method for neural network compression. PFA exploits the correlation between filter responses within network layers to recommend a smaller network that maintain as much as possible the accuracy of the full model. We propose two algorithms: the first allows users to target compression to specific network property, such as number of trainable variable (footprint), and produces a compressed model that satisfies the requested property while preserving the maximum amount of spectral energy in the responses of each layer, while the second is a parameter-free heuristic that selects the compression used at each layer by trying to mimic an ideal set of uncorrelated responses. Since PFA compresses networks based on the correlation of their responses we show in our experiments that it gains the additional flexibility of adapting each architecture to a specific domain while compressing. PFA is evaluated against several architectures and datasets, and shows considerable compression rates without compromising accuracy, e.g., for VGG-16 on CIFAR-10, CIFAR-100 and ImageNet, PFA achieves a compression rate of 8x, 3x, and 1.4x with an accuracy gain of 0.4%, 1.4% points, and 2.4% respectively. Our tests show that PFA is competitive with state-of-the-art approaches while removing adoption barriers thanks to its practical implementation, intuitive philosophy and ease of use.


title: A Robust Color Edge Detection Algorithm Based on Quaternion Hardy Filter

abstract: This paper presents a robust filter called quaternion Hardy filter (QHF) for color image edge detection. The QHF can be capable of color edge feature enhancement and noise resistance. It is flexible to use QHF by selecting suitable parameters to handle different levels of noise. In particular, the quaternion analytic signal, which is an effective tool in color image processing, can also be produced by quaternion Hardy filtering with specific parameters. Based on the QHF and the improved Di Zenzo gradient operator, a novel color edge detection algorithm is proposed. Importantly, it can be efficiently implemented by using the fast discrete quaternion Fourier transform technique. From the experimental results, we conclude that the minimum PSNR improvement rate is 2.3% and minimum SSIM improvement rate is 30.2% on the Dataset 3. The experiments demonstrate that the proposed algorithm outperforms several widely used algorithms.


title: Finding any Waldo: zero-shot invariant and efficient visual search

abstract: Searching for a target object in a cluttered scene constitutes a fundamental challenge in daily vision. Visual search must be selective enough to discriminate the target from distractors, invariant to changes in the appearance of the target, efficient to avoid exhaustive exploration of the image, and must generalize to locate novel target objects with zero-shot training. Previous work has focused on searching for perfect matches of a target after extensive category-specific training. Here we show for the first time that humans can efficiently and invariantly search for natural objects in complex scenes. To gain insight into the mechanisms that guide visual search, we propose a biologically inspired computational model that can locate targets without exhaustive sampling and generalize to novel objects. The model provides an approximation to the mechanisms integrating bottom-up and top-down signals during search in natural scenes.


title: A Modality-Adaptive Method for Segmenting Brain Tumors and Organs-at-Risk in Radiation Therapy Planning

abstract: In this paper we present a method for simultaneously segmenting brain tumors and an extensive set of organs-at-risk for radiation therapy planning of glioblastomas. The method combines a contrast-adaptive generative model for whole-brain segmentation with a new spatial regularization model of tumor shape using convolutional restricted Boltzmann machines. We demonstrate experimentally that the method is able to adapt to image acquisitions that differ substantially from any available training data, ensuring its applicability across treatment sites; that its tumor segmentation accuracy is comparable to that of the current state of the art; and that it captures most organs-at-risk sufficiently well for radiation therapy planning purposes. The proposed method may be a valuable step towards automating the delineation of brain tumors and organs-at-risk in glioblastoma patients undergoing radiation therapy.


title: Diverse feature visualizations reveal invariances in early layers of deep neural networks

abstract: Visualizing features in deep neural networks (DNNs) can help understanding their computations. Many previous studies aimed to visualize the selectivity of individual units by finding meaningful images that maximize their activation. However, comparably little attention has been paid to visualizing to what image transformations units in DNNs are invariant. Here we propose a method to discover invariances in the responses of hidden layer units of deep neural networks. Our approach is based on simultaneously searching for a batch of images that strongly activate a unit while at the same time being as distinct from each other as possible. We find that even early convolutional layers in VGG-19 exhibit various forms of response invariance: near-perfect phase invariance in some units and invariance to local diffeomorphic transformations in others. At the same time, we uncover representational differences with ResNet-50 in its corresponding layers. We conclude that invariance transformations are a major computational component learned by DNNs and we provide a systematic method to study them.


title: Harmonic Adversarial Attack Method

abstract: Adversarial attacks find perturbations that can fool models into misclassifying images. Previous works had successes in generating noisy/edge-rich adversarial perturbations, at the cost of degradation of image quality. Such perturbations, even when they are small in scale, are usually easily spottable by human vision. In contrast, we propose Harmonic Adversar- ial Attack Methods (HAAM), that generates edge-free perturbations by using harmonic functions. The property of edge-free guarantees that the generated adversarial images can still preserve visual quality, even when perturbations are of large magnitudes. Experiments also show that adversaries generated by HAAM often have higher rates of success when transferring between models. In addition, we find harmonic perturbations can simulate natural phenomena like natural lighting and shadows. It would then be possible to help find corner cases for given models, as a first step to improving them.


title: Metric Embedding Autoencoders for Unsupervised Cross-Dataset Transfer Learning

abstract: Cross-dataset transfer learning is an important problem in person re-identification (Re-ID). Unfortunately, not too many deep transfer Re-ID models exist for realistic settings of practical Re-ID systems. We propose a purely deep transfer Re-ID model consisting of a deep convolutional neural network and an autoencoder. The latent code is divided into metric embedding and nuisance variables. We then utilize an unsupervised training method that does not rely on co-training with non-deep models. Our experiments show improvements over both the baseline and competitors' transfer learning models.


title: Extra dimensions and its segregation during evolution

abstract: A special isotropic energy-momentum tensor causes an anisotropic dynamical segregation of contracting extra dimensions in contrast to expanding dimensions, provided initial data put different arrows of time evolution. Features of such the configuration are problematic and in question.


title: Using all-sky differential photometry to investigate how nocturnal clouds darken the night sky in rural areas

abstract: Artificial light at night has affected most of the natural nocturnal landscapes worldwide and the subsequent light pollution has diverse effects on flora, fauna and human well-being. To evaluate the environmental impacts of light pollution, it is crucial to understand both the natural and artificial components of light at night under all weather conditions. The night sky brightness for clear skies is relatively well understood and a reference point for a lower limit is defined. However, no such reference point exists for cloudy skies. While some studies have examined the brightening of the night sky by clouds in urban areas, the published data on the (natural) darkening by clouds is very sparse. Knowledge of reference points for the illumination of natural nocturnal environments however, is essential for experimental design and ecological modeling to assess the impacts of light pollution. Here we use differential all-sky photometry with a commercial digital camera to investigate how clouds darken sky brightness at two rural sites. The spatially resolved data enables us to identify and study the nearly unpolluted parts of the sky and to set an upper limit on ground illumination for overcast nights at sites without light pollution.


title: Regularity for minimizers of non-autonomous non-quadratic functionals in the case 1 < p < 2: an a priori estimate

abstract: We prove an a priori estimate for the second derivatives of local minimizers of integral functionals of calculus of variation with convex integrand with respect to the gradient variable, assuming that the function that measures the oscillation of the integrand with respect to the x variable belongs to a suitable Sobolev space. The novelty here is that we deal with integrands satisfying subquadratic growth conditions with respect to gradient variable.