title: Fine-Grained Neural Architecture Search

abstract: We present an elegant framework of fine-grained neural architecture search (FGNAS), which allows to employ multiple heterogeneous operations within a single layer and can even generate compositional feature maps using several different base operations. FGNAS runs efficiently in spite of significantly large search space compared to other methods because it trains networks end-to-end by a stochastic gradient descent method. Moreover, the proposed framework allows to optimize the network under predefined resource constraints in terms of number of parameters, FLOPs and latency. FGNAS has been applied to two crucial applications in resource demanding computer vision tasks---large-scale image classification and image super-resolution---and demonstrates the state-of-the-art performance through flexible operation search and channel pruning.


title: Laplacian of the distance function on the cut locus on a riemannian manifold

abstract: We show that, on a smooth riemannian manifold, the laplacian of the distance function to a point $b$ is $-\infty$ in the sense of barriers, at every point of the cut locus with respect to $b$.


title: Supersymmetric Localization on dS: Sum over topologies

abstract: We find the exact quantum gravity partition function on the static patch of 3d de Sitter spacetime. We have worked in the Chern Simons Formulation of 3d Gravity. To obtain a non-perturbative result, we supersymmetrized the Chern Simons action and used the technique of supersymmetric localization. We have obtained an exact non-perturbative result for the spin-2 gravity case. We comment on the divergences present in the theory. We also comment on higher spin gravity theories and analyse the nature of divergences present in such theories.


title: Cooperative Vision-based Localization Networks with Communication Constraints

abstract: Accurate location information is indispensable for the emerging applications of \ac{iov}, such as automatic driving and formation control. In the real scenario, vision-based localization has demonstrated superior performance to other localization methods for its stability and flexibility. In this paper, a scheme of cooperative vision-based localization with communication constraints is proposed. Vehicles collect images of the environment and distance measurements between each other. Then vehicles transmit the coordinates of feature points and distances with constrained bits to the edge to estimate their positions. The \ac{fim} for absolute localization is first obtained, based on which we derive the relative \ac{speb} through subspace projection. Furthermore, we formulate the corresponding bit allocation problem for relative localization. Finally, a \ac{vgd} algorithm is developed by considering the influence of photographing, distance measurements and quantization noises. Compared with conventional bit allocation methods, numerical results demonstrate the localization performance gain of our proposed algorithm with higher computational efficiency.


title: Object Finding in Cluttered Scenes Using Interactive Perception

abstract: Object finding in clutter is a skill that requires perception of the environment and in many cases physical interaction. In robotics, interactive perception defines a set of algorithms that leverage actions to improve the perception of the environment, and vice versa use perception to guide the next action. Scene interactions are difficult to model, therefore, most of the current systems use predefined heuristics. This limits their ability to efficiently search for the target object in a complex environment. In order to remove heuristics and the need for explicit models of the interactions, in this work we propose a reinforcement learning based active and interactive perception system for scene exploration and object search. We evaluate our work both in simulated and in real-world experiments using a robotic manipulator equipped with an RGB and a depth camera, and compare our system to two baselines. The results indicate that our approach, trained in simulation only, transfers smoothly to reality and can solve the object finding task efficiently and with more than 88% success rate.


title: 4-Generated Pseudo Symmetric Monomial Curves with not Cohen-Macaulay Tangent Cones

abstract: In this article, standard bases of some toric ideals associated to 4-generated pseudo symmetric semigroups with not Cohen-Macaulay tangent cones at the origin are computed. As the tangent cones are not Cohen-Macaulay, non-decreasingness of the Hilbert function of the local ring was not guaranteed. Therefore, using these standard bases, Hilbert functions are explicitly computed as a step towards the characterization of Hilbert function. In addition, when the smallest integer satisfying $k(\alpha_2+1)<(k-1)\alpha_1+(k+1)\alpha_{21}+\alpha_3$ is $1$, it is proved that the Hilbert function of the local ring is non-decreasing.


title: Relative persistent homology

abstract: The alpha complex efficiently computes persistent homology of a point cloud $X$ in Euclidean space when the dimension $d$ is low. Given a subset $A$ of $X$, relative persistent homology can be computed as the persistent homology of the relative \v{C}ech complex. But this is not computationally feasible for larger point clouds. The aim of this note is to present a method for efficient computation of relative persistent homology in low dimensional Euclidean space. We introduce the relative Delaunay \v{C}ech complex whose homology is the relative persistent homology. It can be constructed from the Delaunay complex of an embedding of the point clouds in $(d+1)$-dimensional Euclidean space.


title: Locally recoverable $J$-affine variety codes

abstract: A locally recoverable (LRC) code is a code over a finite field $\mathbb{F}_q$ such that any erased coordinate of a codeword can be recovered from a small number of other coordinates in that codeword. We construct LRC codes correcting more than one erasure, which are subfield-subcodes of some $J$-affine variety codes. For these LRC codes, we compute localities $(r, \delta)$ that determine the minimum size of a set $\bar{R}$ of positions so that any $\delta- 1$ erasures in $\bar{R}$ can be recovered from the remaining $r$ coordinates in this set. We also show that some of these LRC codes with lengths $n\gg q$ are $(\delta-1)$-optimal.


title: Zero-Interaction Security -- Towards Sound Experimental Validation

abstract: Reproducibility and realistic datasets are crucial for advancing research. Unfortunately, they are often neglected as valid scientific contributions in many young disciplines, with computer science being no exception. In this article, we show the challenges encountered when reproducing the work of others, collecting realistic data in the wild, and ensuring that our own work is reproducible in turn. The presented findings are based on our study investigating the limits of zero-interaction security (ZIS) -- a novel concept, leveraging sensor data collected by Internet of Things (IoT) devices to pair or authenticate devices. In particular, we share our experiences in reproducing five state-of-the-art ZIS schemes, collecting a comprehensive dataset of sensor data from the real world, evaluating these schemes on the collected data, and releasing the data, code, and documentation to facilitate reproducibility of our results. In our discussion, we outline general considerations when conducting similar studies and give specific examples of technical and methodological issues that we experienced. We hope that our findings will raise awareness about the importance of reproducibility and realistic datasets in computer science and inform future research.


title: On a modular form of Zaremba's conjecture

abstract: We prove that for any prime $p$ there is a divisible by $p$ number $q = O(p^{30})$ such that for a certain positive integer $a$ coprime with $q$ the ratio $a/q$ has bounded partial quotients. In the other direction we show that there is an absolute constant $C>0$ such that for any prime $p$ exist divisible by $p$ number $q = O(p^{C})$ and a number $a$, $a$ coprime with $q$ such that all partial quotients of the ratio $a/q$ are bounded by two.


title: Entropy stable discontinuous Galerkin schemes for the Relativistic Hydrodynamic Equations

abstract: In this article, we present entropy stable discontinuous Galerkin numerical schemes for equations of special relativistic hydrodynamics with the ideal equation of state. The numerical schemes use the summation by parts (SBP) property of Gauss-Lobatto quadrature rules. To achieve entropy stability for the scheme, we use two-point entropy conservative numerical flux inside the cells and a suitable entropy stable numerical flux at the cell interfaces. The resulting semi-discrete scheme is then shown to entropy stable. Time discretization is performed using SSP Runge-Kutta methods. Several numerical test cases are presented to validate the accuracy and stability of the proposed schemes.


title: Towards Making Deep Transfer Learning Never Hurt

abstract: Transfer learning have been frequently used to improve deep neural network training through incorporating weights of pre-trained networks as the starting-point of optimization for regularization. While deep transfer learning can usually boost the performance with better accuracy and faster convergence, transferring weights from inappropriate networks hurts training procedure and may lead to even lower accuracy. In this paper, we consider deep transfer learning as minimizing a linear combination of empirical loss and regularizer based on pre-trained weights, where the regularizer would restrict the training procedure from lowering the empirical loss, with conflicted descent directions (e.g., derivatives). Following the view, we propose a novel strategy making regularization-based Deep Transfer learning Never Hurt (DTNH) that, for each iteration of training procedure, computes the derivatives of the two terms separately, then re-estimates a new descent direction that does not hurt the empirical loss minimization while preserving the regularization affects from the pre-trained weights. Extensive experiments have been done using common transfer learning regularizers, such as L2-SP and knowledge distillation, on top of a wide range of deep transfer learning benchmarks including Caltech, MIT indoor 67, CIFAR-10 and ImageNet. The empirical results show that the proposed descent direction estimation strategy DTNH can always improve the performance of deep transfer learning tasks based on all above regularizers, even when transferring pre-trained weights from inappropriate networks. All in all, DTNH strategy can improve state-of-the-art regularizers in all cases with 0.1%--7% higher accuracy in all experiments.


title: Pore network modeling of the effects of viscosity ratio and pressure gradient on steady-state incompressible two-phase flow in porous media

abstract: We perform more than 6000 steady-state simulations with a dynamic pore network model, corresponding to a large span in viscosity ratios and capillary numbers. From these simulations, dimensionless quantities such as relative permeabilities, residual saturations, mobility ratios and fractional flows are computed. Relative permeabilities and residual saturations show many of the same qualitative features observed in other experimental and modeling studies. However, while other studies find that relative permeabilities converge to straight lines at high capillary numbers we find that this is not the case when viscosity ratios are different from 1. Our conclusion is that departure from straight lines occurs when fluids mix rather than form decoupled flow channels. Another consequence of the mixing is that computed fractional flow curves, plotted against saturation, lie closer to the diagonal than they would otherwise do. At lower capillary numbers, fractional flow curves have a classical S-shape. Ratios of average mobility to their high-capillary number limit values are also considered. These vary, roughly, between 0 and 1, although values larger than 1 are also observed. For a given saturation and viscosity ratio, the mobilities are not always monotonically increasing with the pressure gradient. While increasing the pressure gradient mobilizes more fluid and activates more flow paths, when the mobilized fluid is more viscous, a reduction in average mobility may occur.


title: Spectral order isomorphisms and AW*-factors

abstract: The paper deals with spectral order isomorphisms in the framework of AW*-algebras. We establish that every spectral order isomorphism between sets of all self-adjoint operators (or between sets of all effects, or between sets of all positive operators) in AW*-factors of Type I has a canonical form induced by a continuous function calculus and an isomorphism between projection lattices. In particular, this solves an open question about spectral order automorphisms of the set of all (bounded) self-adjoint operators on an infinite-dimensional Hilbert space. We also discuss spectral order isomorphisms preserving, in addition, orthogonality in both directions.


title: Anharmonic Host Lattice Dynamics Enable Fast Ion Conduction in Superionic AgI

abstract: Basic understanding of the driving forces of ion conduction in solids is critical to the development of new solid-state ion conductors. Physical understanding of ion conduction is limited due to strong deviations from harmonic vibrational dynamics in these systems that are difficult to characterize experimentally and theoretically. We overcome this challenge in superionic AgI by combining THz-frequency Raman polarization-orientation measurements and ab-initio molecular dynamics computations. Our findings demonstrate clear signatures of strong coupling between the mobile ions and host lattice that are of importance to the diffusion process. We first derive a dynamic structural model from the Raman measurements that captures the simultaneous crystal-like and fluid-like properties of this fast-ion conductor. Then we show and discuss the importance of anharmonic relaxational motion that arises from the iodine host lattice by demonstrating its strong impact on ion conduction in superionic AgI.


title: Cartan-Amborse-Hicks Theorem for isometric immersions

abstract: In this paper, we generalize the Cartan-Ambrose-Hicks theorem to the case of isometric immersions which contains the fundamental theorem of submanifolds as a special case.


title: Change point localization in dependent dynamic nonparametric random dot product graphs

abstract: In this paper, we study the offline change point localization problem in a sequence of dependent nonparametric random dot product graphs. To be specific, assume that at every time point, a network is generated from a nonparametric random dot product graph model \citep[see e.g.][]{athreya2017statistical}, where the latent positions are generated from unknown underlying distributions. The underlying distributions are piecewise constant in time and change at unknown locations, called change points. Most importantly, we allow for dependence among networks generated between two consecutive change points. This setting incorporates edge-dependence within networks and temporal dependence between networks, which is the most flexible setting in the published literature. To accomplish the task of consistently localizing change points, we propose a novel change point detection algorithm, consisting of two steps. First, we estimate the latent positions of the random dot product model, our theoretical result being a refined version of the state-of-the-art results, allowing the dimension of the latent positions to diverge. Subsequently, we construct a nonparametric version of the CUSUM statistic \citep[e.g.][]{Page1954, padilla2019optimal} that allows for temporal dependence. Consistent localization is proved theoretically and supported by extensive numerical experiments, which illustrate state-of-the-art performance. We also provide in depth discussion of possible extensions to give more understanding and insights.


title: Further results on uniform mixing on abelian Cayley graphs

abstract: In the past few decades, quantum algorithms have become a popular research area of both mathematicians and engineers. Among them, uniform mixing provides a uniform probability distribution of quantum information over time which attracts a special attention. However, there are only a few known examples of graphs which admit uniform mixing. In this paper, a characterization of abelian Cayley graphs having uniform mixing is presented. Some concrete constructions of such graphs are provided. Specifically, for cubelike graphs, it is shown that the Cayley graph ${\rm Cay}(\mathbb{F}_2^{2k};S)$ has uniform mixing if the characteristic function of $S$ is bent. Moreover, a difference-balanced property of the eigenvalues of an abelian Cayley graph having uniform mixing is established. Some nonexistence results of uniform mixing on abelian Cayley graphs are presented also. Notably, for a linear abelian Cayley graph $\Gamma$ over $\mathbb{Z}_n^r$, it is proved that uniform mixing occurs on this graph only if $n=2,3,4$ which confirms a long-standing conjecture.


title: Chemical synthesis and magnetic properties of monodisperse cobalt ferrite nanoparticles

abstract: In this work, a successful synthesis of magnetic cobalt ferrite (CoFe2O4) nanoparticles is presented. The synthesized CoFe2O4 nanoparticles have a spherical shape and highly monodisperse in the selected solvent. The effect of different reaction conditions such as temperature, reaction time and varying capping agents on the phase and morphology is studied. Scanning transmission electron microscopy showed that the size of these nanoparticles can be controlled by varying reaction conditions. Both X-ray diffraction and energy dispersive X-ray spectroscopy corroborate the formation of CoFe2O4 spinel structure with cubic symmetry. Due to optimized reaction parameters, each nanoparticle was shown to be a single magnetic domain with diameter ranges from 6 to 16 nm. Finally, the magnetic investigations showed that the obtained nanoparticles are superparamagnetic with a small coercivity value of about 315 Oe and a saturation magnetization of 58 emu/g at room temperature. These results make the cobalt ferrite nanoparticles promising for advanced magnetic nanodevices and biomagnetic applications.


title: Deterministic partial binary circulant compressed sensing matrices

abstract: Compressed sensing (CS) is a signal acquisition paradigm to simultaneously acquire and reduce dimension of signals that admit sparse representation. This is achieved by collecting linear, non-adaptive measurements of a signal, which can be formalized as multiplying the signal with a "measurement matrix". Most of matrices used in CS are random matrices as they satisfy the restricted isometry property (RIP) in an optimal regime of number of measurements with high probability. However, these matrices have their own caveats and for this reason, deterministic measurement matrices have been proposed. While there is a wide classes of deterministic matrices in the literature, we propose a novel class of deterministic matrices using the Legendre symbol. This construction has a simple structure, it enjoys being a binary matrix, and having a partial circulant structure which provides a fast matrix-vector multiplication and a fast reconstruction algorithm. We will derive a bound on the sparsity level of signals that can be measured (and be reconstructed) with this class of matrices. We perform quantization using these matrices, and we verify the performance of these matrices (and compare with other existing constructions) numerically.


title: Online Adaptive Asymmetric Active Learning with Limited Budgets

abstract: Online Active Learning (OAL) aims to manage unlabeled datastream by selectively querying the label of data. OAL is applicable to many real-world problems, such as anomaly detection in health-care and finance. In these problems, there are two key challenges: the query budget is often limited; the ratio between classes is highly imbalanced. In practice, it is quite difficult to handle imbalanced unlabeled datastream when only a limited budget of labels can be queried for training. To solve this, previous OAL studies adopt either asymmetric losses or queries (an isolated asymmetric strategy) to tackle the imbalance, and use first-order methods to optimize the cost-sensitive measure. However, the isolated strategy limits their performance in class imbalance, while first-order methods restrict their optimization performance. In this paper, we propose a novel Online Adaptive Asymmetric Active learning algorithm, based on a new asymmetric strategy (merging both asymmetric losses and queries strategies), and second-order optimization. We theoretically analyze its mistake bound and cost-sensitive metric bounds. Moreover, to better balance performance and efficiency, we enhance our algorithm via a sketching technique, which significantly accelerates the computational speed with quite slight performance degradation. Promising results demonstrate the effectiveness and efficiency of the proposed methods.


title: Throughput Maximization with an Average Age of Information Constraint in Fading Channels

abstract: In the emerging fifth generation (5G) technology, communication nodes are expected to support two crucial classes of information traffic, namely, the enhanced mobile broadband (eMBB) traffic with high data rate requirements, and ultra-reliable low-latency communications (URLLC) traffic with strict requirements on latency and reliability. The URLLC traffic, which is usually analyzed by a metric called the age of information (AoI), is assigned the first priority over the resources at a node. Motivated by this, we consider long-term average throughput maximization problems subject to average AoI and power constraints in a single user fading channel, when (i) perfect and (ii) no channel state information at the transmitter (CSIT) is available. We propose simple age-independent stationary randomized policies (AI-SRP), which allocate powers at the transmitter based only on the channel state and/or distribution information, without any knowledge of the AoI. We show that the optimal throughputs achieved by the AI-SRPs for scenarios (i) and (ii) are at least equal to the half of the respective optimal long-term average throughputs, independent of all the parameters of the problem, and that they are within additive gaps, expressed in terms of the optimal dual variable corresponding to their average AoI constraints, from the respective optimal long-term average throughputs.


title: Clarifying spatial distance measurement

abstract: We examine length measurement in curved spacetime, based on the 1+3-splitting of a local observer frame. This situates extended objects within spacetime, in terms of a given coordinate which serves as an external reference. The radar metric is shown to coincide with the spatial projector, but these only give meaningful results on the observer's 3-space, where they reduce to the metric. Examples from Schwarzschild spacetime are given.


title: Control Limitations due to Zero Dynamics in a Single-Machine Infinite Bus Network

abstract: In this work, fundamental control limitations for rotor angle stability are considered. Limitations are identified by characterizing open-loop transfer function zeros for input-output combinations of certain power system configurations. Of particular interest are non-minimum phase (NMP) zeros that limit the achievable performance of the closed-loop system. By studying a single-machine infinite bus power system model, analytic conditions for the presence of NMP zeros are derived. They are shown to be closely linked to the destabilizing effect of automatic voltage regulators (AVRs). Depending on the control loop, it is found that NMP zeros may persist in the system even if the closed-loop system is stabilized through feedback control. A simulation study shows that NMP zeros introduced by AVR limit the achievable performance and stabilization using feedback control.


title: Vector-boson condensates, spin-triplet superfluidity of paired neutral and charged fermions, and $3P_2$ pairing of nucleons

abstract: After reminding of properties of the condensate of the complex scalar field in the external uniform magnetic field $H$ focus is made on the study of phases of the complex neutral vector boson fields coupled with magnetic field by the Zeeman coupling and phases of the charged vector boson fields. These systems may behave as nonmagnetic and ferromagnetic superfluids and ordinary and ferromagnetic superconductors. Response of the ferromagnetic superfluid and superconducting systems occupying half of space on the external uniform static magnetic field $H$ is thoroughly studied. Then the spin-triplet pairing of neutral fermions at conserved spin is considered. Novel phases are found. In external magnetic field the phase with zero mean spin proves to be unstable to the formation of a phase with a non-zero spin. For $H>H_{\rm cr 2}$ the spin-triplet pairing and ferromagnetic superfluidity continue to exist above the "old" phase transition critical temperature $T_{\rm cr}$. For a certain parameter choice ferromagnetic superfluid phases are formed already for $H=0$, characterized by an own magnetic field $h$. Formation of domains is discussed. Next, spin-triplet pairing of charged fermions is studied. Novel phases are found with a ferromagnetic superconductivity. Then, the 3P$_2$ $nn$ pairing in neutron star matter is studied. Also a 3P$_2$ $pp$ pairing is considered. Numerical estimates are performed in the BCS weak coupling limit and beyond it for the $3P_2$ $nn$ and $pp$ pairings, as well as for the 3S$_1$ $np$ pairing.


title: Inverse Dynamic Games Based on Maximum Entropy Inverse Reinforcement Learning

abstract: We consider the inverse problem of dynamic games, where cost function parameters are sought which explain observed behavior of interacting players. Maximum entropy inverse reinforcement learning is extended to the N-player case in order to solve inverse dynamic games with continuous-valued state and control spaces. We present methods for identification of cost function parameters from observed data which correspond to (i) a Pareto efficient solution, (ii) an open-loop Nash equilibrium or (iii) a feedback Nash equilibrium. Furthermore, we give results on the unbiasedness of the estimation of cost function parameters for each arising class of inverse dynamic game. The applicability of the methods is demonstrated with simulation examples of a nonlinear and a linear-quadratic dynamic game.


title: Minimum-Width Double-Strip and Parallelogram Annulus

abstract: In this paper, we study the problem of computing a minimum-width double-strip or parallelogram annulus that encloses a given set of $n$ points in the plane. A double-strip is a closed region in the plane whose boundary consists of four parallel lines and a parallelogram annulus is a closed region between two edge-parallel parallelograms. We present several first algorithms for these problems. Among them are $O(n^2)$ and $O(n^3 \log n)$-time algorithms that compute a minimum-width double-strip and parallelogram annulus, respectively, when their orientations can be freely chosen.


title: A Hierarchical Framework to Generate Robust Biped Locomotion Based on Divergent Component of Motion

abstract: Keeping the stability can be counted as the essential ability of a humanoid robot to step out of the laboratory to work in our real environment. Since humanoid robots have similar kinematic to a human, humans expect these robots to be robustly capable of stabilizing even in a challenging situation like while a severe push is applied. This paper presents a robust walking framework which not only takes into account the traditional push recovery approaches (e.g., ankle, hip and step strategies) but also uses the concept of Divergent Component of the Motion (DCM) to adjust next step timing and location. The control core of the proposed framework is composed of a Linear-Quadratic-Gaussian (LQG) controller and two proportional controllers. In this framework, the LQG controller tries to track the reference trajectories and the proportional controllers are designed to adjust the next step timing and location that allow the robot to recover from a severe push. The robustness and the performance of the proposed framework have been validated by performing a set of simulations, including walking and push recovery using MATLAB. The simulation results verified that the proposed framework is capable of providing a robust walking even in very challenging situations.


title: Eigenstate extraction with neural-network tomography

abstract: We discuss quantum state tomography via a stepwise reconstruction of the eigenstates of the mixed states produced in experiments. Our method is tailored to the experimentally relevant class of nearly pure states or simple mixed states, which exhibit dominant eigenstates and thus lend themselves to low-rank approximations. The developed scheme is applicable to any pure-state tomography method, promoting it to mixed-state tomography. Here, we demonstrate it with machine learning-inspired pure-state tomography based on neural-network representations of quantum states. The latter have been shown to efficiently approximate generic classes of complex (pure) states of large quantum systems. We test our method by applying it to experimental data from trapped ion experiments with four to eight qubits.


title: Interior and H$^\infty$ feedback stabilization for sabra Shell model of turbulence

abstract: Shell models of turbulence are representation of turbulence equations in Fourier domain. Various shell models along with numerical simulations have been studied earlier. One of the most suitable shell model of turbulence is so called sabra shell model. The existence, uniqueness and regularity property of this model are extensively studied in \cite{PBT}. In this paper we have addressed stabilization problems related to sabra shell model of turbulence. We have studied internal stabilization via finite dimensional controller. Moreover we have also studied optimal robust control problem by solving an infinite time horizon max-min control problem. We first prove the $H^ \infty$ stabilization of the linearized system and charatarize it in terms of a feedback operator by solving an algebric ricatti equation. Finally we show that the control will asymptotically stabilize the nonlinear system.


title: Safe squeezing for antisparse coding

abstract: Spreading the information over all coefficients of a representation is a desirable property in many applications such as digital communication or machine learning. This so-called antisparse representation can be obtained by solving a convex program involving an $\ell_\infty$-norm penalty combined with a quadratic discrepancy. In this paper, we propose a new methodology, dubbed safe squeezing, to accelerate the computation of antisparse representation. We describe a test that allows to detect saturated entries in the solution of the optimization problem. The contribution of these entries is compacted into a single vector, thus operating a form of dimensionality reduction. We propose two algorithms to solve the resulting lower dimensional problem. Numerical experiments show the effectiveness of the proposed method to detect the saturated components of the solution and illustrates the induced computational gains in the resolution of the antisparse problem.


title: AI-based Pilgrim Detection using Convolutional Neural Networks

abstract: Pilgrimage represents the most important Islamic religious gathering in the world where millions of pilgrims visit the holy places of Makkah and Madinah to perform their rituals. The safety and security of pilgrims is the highest priority for the authorities. In Makkah, 5000 cameras are spread around the holy for monitoring pilgrims, but it is almost impossible to track all events by humans considering the huge number of images collected every second. To address this issue, we propose to use artificial intelligence technique based on deep learning and convolution neural networks to detect and identify Pilgrims and their features. For this purpose, we built a comprehensive dataset for the detection of pilgrims and their genders. Then, we develop two convolutional neural networks based on YOLOv3 and Faster-RCNN for the detection of Pilgrims. Experiments results show that Faster RCNN with Inception v2 feature extractor provides the best mean average precision over all classes of 51%.


title: Mesoscale modelling of polymer aggregate digestion

abstract: We use mesoscale simulations to gain insight into the digestion of biopolymers by studying the break-up dynamics of polymer aggregates (boluses) bound by physical cross-links. We investigate aggregate evolution, establishing that the linking bead fraction and the interaction energy are the main parameters controlling stability with respect to diffusion. We show $\textit{via}$ a simplified model that chemical breakdown of the constituent molecules causes aggregates that would otherwise be stable to disperse. We further investigate breakdown of biopolymer aggregates in the presence of fluid flow. Shear flow in the absence of chemical breakdown induces three different regimes depending on the flow Weissenberg number ($Wi$). i) At $Wi \ll 1$, shear flow has a negligible effect on the aggregates. ii) At $Wi \sim 1$, the aggregates behave approximately as solid bodies and move and rotate with the flow. iii) At $Wi \gg 1$, the energy input due to shear overcomes the attractive cross-linking interactions and the boluses are broken up. Finally, we study bolus evolution under the combined action of shear flow and chemical breakdown, demonstrating a synergistic effect between the two at high reaction rates.


title: Benchmarking time series classification -- Functional data vs machine learning approaches

abstract: Time series classification problems have drawn increasing attention in the machine learning and statistical community. Closely related is the field of functional data analysis (FDA): it refers to the range of problems that deal with the analysis of data that is continuously indexed over some domain. While often employing different methods, both fields strive to answer similar questions, a common example being classification or regression problems with functional covariates. We study methods from functional data analysis, such as functional generalized additive models, as well as functionality to concatenate (functional-) feature extraction or basis representations with traditional machine learning algorithms like support vector machines or classification trees. In order to assess the methods and implementations, we run a benchmark on a wide variety of representative (time series) data sets, with in-depth analysis of empirical results, and strive to provide a reference ranking for which method(s) to use for non-expert practitioners. Additionally, we provide a software framework in R for functional data analysis for supervised learning, including machine learning and more linear approaches from statistics. This allows convenient access, and in connection with the machine-learning toolbox mlr, those methods can now also be tuned and benchmarked.


title: Aspects of gauged R-symmetry in SU(1,1)/U(1) supergravity

abstract: We propose a novel realization of spontaneous supersymmetry breaking in de Sitter vacuum by F- and D-terms in $N=1$ four-dimensional supergravity coupled to a chiral superfield with $SU(1,1)/U(1)$ target space. Our construction features gauged $U(1)_R$ symmetry rotating the chiral scalar field by a phase. Both SUSY and R-symmetry can be spontaneously broken, and for two particular parameter choices we obtain no-scale supergravity with positive tunable cosmological constant.


title: Dynamics of shift operators on non-metrizable sequence spaces

abstract: We investigate dynamical properties such as topological transitivity, (sequential) hypercyclicity, and chaos for backward shift operators associated to a Schauder basis on LF-spaces. As an application, we characterize these dynamical properties for weighted generalized backward shifts on K\"othe coechelon sequence spaces $k_p((v^{(m)})_{m\in\mathbb{N}})$ in terms of the defining sequence of weights $(v^{(m)})_{m\in\mathbb{N}}$. We further discuss several examples and show that the annihilation operator from quantum mechanics is mixing, sequentially hypercyclic, chaotic, and topologically ergodic on $\mathscr{S}'(\mathbb{R})$.


title: Lattice Boltzmann Method for Fluid-Structure Interaction with incompressible NeoHookean materials in small perturbations

abstract: This paper deals with the numerical modelling of the interaction between a fluid and an incompressible solid (Neo Hookean) in small perturbations with the lattice Boltzmann method (LBM). In order to use a monolithic formulation and to solve the whole problem with the lattice Boltzmann method, an Eulerian approach is employed for the solid medium. The initial problem is thus transformed into a diphasic problem and a unique LBM solver is used for both phases (fluid and solid). With this approach, the force at the fluid-solid interface does not need to be explicitly computed. It is intrinsic to the method. This new method approach is validated with three academic cases: the deformation of a solid at the bottom of a lid driven cavity, with steady and unsteady boundary conditions at the top wall of the cavity and the deformation and motion of a disk in a lid driven cavity.


title: Automated Human Claustrum Segmentation using Deep Learning Technologies

abstract: In recent years, Deep Learning (DL) has shown promising results in conducting AI tasks such as computer vision and image segmentation. Specifically, Convolutional Neural Network (CNN) models in DL have been applied to prevention,detection, and diagnosis in predictive medicine. Image segmentation plays a significant role in disease detection and prevention.However, there are enormous challenges in performing DL-based automatic segmentation due to the nature of medical images such as heterogeneous modalities and formats, insufficient labeled training data, and the high-class imbalance in the labeled data. Furthermore, automating segmentation of medical images,like magnetic resonance images (MRI), becomes a challenging task. The need for automated segmentation or annotation is what motivates our work. In this paper, we propose a fully automated approach that aims to segment the human claustrum for analytical purposes. We applied a U-Net CNN model to segment the claustrum (Cl) from a MRI dataset. With this approach, we have achieved an average Dice per case score of 0.72 for Cl segmentation, with K=5 for cross-validation. The expert in the medical domain also evaluates these results.


title: Degrees of Freedom of Holographic MIMO Channels

abstract: We consider spatially-constrained apertures of rectangular symmetry and aim to retrieve the limit to the average number of spatial degrees of freedom (DoF), obtained elsewhere through different analyses and tools. Unlike prior works, we use the Fourier plane-wave series expansion, recently introduced in [1], where a statistical model for the small-scale fading in the far-field is developed on the basis of a continuous-space and physics-based orthonormal expansion over the Cartesian spatial Fourier basis. This expansion yields a set of statistically independent random coefficients whose cardinality directly gives the limit to the average number of DoF. The treatment is limited to an isotropic scattering environment but can be extended to the non-isotropic case through the linear-system theoretic interpretation of plane-wave propagations.


title: Self-testing of quantum states using symmetric local hidden state model

abstract: We introduce a symmetric local hidden state $(slhs)$ model in a scenario, where two spacially separated parties receive quantum states from an unknown source. We derive an inequality based on the model. A completely new form of nonlocality emerges from the resource theoretic point of view. The inequality singles out a larger set of quantum correlated states in the higher dimensional scenarios $(d> 2 $ X $2)$ than what is predicted by the existing $lhs$ model, opening a new front for the experimentalists to test the accuracy of the prediction. We propose an experiment to show the experimental violation of the inequality in the two qubit scenario and perform the experiment on the IBM quantum computer. However, the experimental method adopted for the two-qubit scenario does not naturally generalize in the higher dimensional scenarios and leaves the experimental verification of the claim open. We also show that the maximal violation of the inequality can be used to self-test the Bell state and measurement bases, leading to complete device-independence.


title: Constructing Multiple Tasks for Augmentation: Improving Neural Image Classification With K-means Features

abstract: Multi-task learning (MTL) has received considerable attention, and numerous deep learning applications benefit from MTL with multiple objectives. However, constructing multiple related tasks is difficult, and sometimes only a single task is available for training in a dataset. To tackle this problem, we explored the idea of using unsupervised clustering to construct a variety of auxiliary tasks from unlabeled data or existing labeled data. We found that some of these newly constructed tasks could exhibit semantic meanings corresponding to certain human-specific attributes, but some were non-ideal. In order to effectively reduce the impact of non-ideal auxiliary tasks on the main task, we further proposed a novel meta-learning-based multi-task learning approach, which trained the shared hidden layers on auxiliary tasks, while the meta-optimization objective was to minimize the loss on the main task, ensuring that the optimizing direction led to an improvement on the main task. Experimental results across five image datasets demonstrated that the proposed method significantly outperformed existing single task learning, semi-supervised learning, and some data augmentation methods, including an improvement of more than 9% on the Omniglot dataset.


title: Asteroseismology of the Multiplanet System K2-93

abstract: We revisit the analysis of the bright multiplanet system K2-93, discovered with data taken by the K2 mission. This system contains five identified planets ranging in size from sub-Neptune to Jupiter size. The K2 data available at the discovery of the system only showed single transits for the three outer planets, which allowed weak constraints to be put on their periods. As these planets are interesting candidates for future atmospheric studies, a better characterization of the host star and tighter constraints on their orbital periods are essential. Using new data from the K2 mission taken after the discovery of the system, we perform an asteroseismic characterization of the host star. We are able to place strong constraints on the stellar parameters and obtain a value for the stellar mass of $1.22^{+0.03}_{-0.02}\, \rm M_{\odot}$, a stellar radius of $1.30\pm 0.01\, \rm R_{\odot}$, and an age of $2.07^{+0.36}_{-0.27}$ Gyr. Put together with the additional transits identified for two of the three outer planets, we constrain the orbital periods of the outer planets and provide updated estimates for the stellar reflex velocities induced by the planets.


title: Rotating regular black holes in conformal massive gravity

abstract: In this paper, we use a suitable conformal rescaling to construct static and rotating regular black holes in conformal massive gravity. The new metric is characterized by the mass $M$, the "scalar charge" $Q$, the angular momentum parameter $a$, the "hair parameter" $\lambda$, and the conformal scale factor encoded in the parameter $L$. We explore the shadow images and the deflection angles of relativistic massive particles in the spacetime geometry of a rotating regular black hole. For $\lambda \neq 0$ and $Q > 0$, the shadow is larger than the shadow of a Kerr black hole. In particular, if $\lambda < 0$, the shadow radius increases considerably. For $\lambda \neq 0$ and $Q < 0$, the shadow is smaller than the shadow of a Kerr black hole. Additionally we put observational constraints on the parameter $ Q $ using the latest Event Horizon Telescope (EHT) observation of the supermassive black hole M87*. Lastly, using the Gauss-Bonnet theorem, we show that the deflection angle of massive particles is strongly affected by the parameter $L$. The deflection angle might be used to distinguish rotating regular black holes from rotating singular black holes.


title: Fast Vibrational Modes and Slow Heterogeneous Dynamics in Polymers and Viscous Liquids

abstract: Many systems, including polymers and molecular liquids, when adequately cooled and/or compressed, solidify into a disordered solid, i.e., a glass. The~transition is not abrupt, featuring progressive decrease of the microscopic mobility and huge slowing down of the relaxation.} A~distinctive aspect of glass-forming materials is the microscopic dynamical heterogeneity (DH), i.e., the presence of regions with almost immobile particles coexisting with others where highly mobile ones are located. Following the first compelling evidence of a strong correlation between vibrational dynamics and ultraslow relaxation, we posed the question if the vibrational dynamics encodes predictive information on DH. Here, we review our results, drawn from molecular-dynamics numerical simulation of polymeric and molecular glass-formers, with a special focus on both the breakdown of the Stokes--Einstein relation between diffusion and viscosity, and the size of the regions with correlated displacements.


title: Goodness-of-fit Testing in Linear Regression Models

abstract: Model checking plays an important role in linear regression as model misspecification seriously affects the validity and efficiency of regression analysis. In practice, model checking is often performed by subjectively evaluating the plot of the model's residuals. This approach is objectified by constructing a random process from the model's residuals, however due to a very complex covariance function obtaining the exact distribution of the test statistic is intractable. Several solutions to overcome this have been proposed, however the simulation and bootstrap based approaches are only asymptotically valid and can, with a limited sample size, yield tests which have inappropriate size. We therefore propose to estimate the null distribution by using permutations. We show, under some mild assumptions, that with homoscedastic random errors this yields consistent tests under the null and the alternative hypotheses. Small sample properties of the proposed tests are studied in an extensive Monte Carlo simulation study, where it is demonstrated that the proposed tests attain correct size, even with strongly non-normal random errors and a very small sample size, while being as powerful as the other available alternatives. The results are also illustrated on some real data examples.


title: Fine-Grained Static Detection of Obfuscation Transforms Using Ensemble-Learning and Semantic Reasoning

abstract: The ability to efficiently detect the software protections used is at a prime to facilitate the selection and application of adequate deob-fuscation techniques. We present a novel approach that combines semantic reasoning techniques with ensemble learning classification for the purpose of providing a static detection framework for obfuscation transformations. By contrast to existing work, we provide a methodology that can detect multiple layers of obfuscation, without depending on knowledge of the underlying functionality of the training-set used. We also extend our work to detect constructions of obfuscation transformations, thus providing a fine-grained methodology. To that end, we provide several studies for the best practices of the use of machine learning techniques for a scalable and efficient model. According to our experimental results and evaluations on obfuscators such as Tigress and OLLVM, our models have up to 91% accuracy on state-of-the-art obfuscation transformations. Our overall accuracies for their constructions are up to 100%.


title: The Devil is in the Details: Delving into Unbiased Data Processing for Human Pose Estimation

abstract: Being a fundamental component in training and inference, data processing has not been systematically considered in human pose estimation community, to the best of our knowledge. In this paper, we focus on this problem and find that the devil of human pose estimation evolution is in the biased data processing. Specifically, by investigating the standard data processing in state-of-the-art approaches mainly including coordinate system transformation and keypoint format transformation (i.e., encoding and decoding), we find that the results obtained by common flipping strategy are unaligned with the original ones in inference. Moreover, there is a statistical error in some keypoint format transformation methods. Two problems couple together, significantly degrade the pose estimation performance and thus lay a trap for the research community. This trap has given bone to many suboptimal remedies, which are always unreported, confusing but influential. By causing failure in reproduction and unfair in comparison, the unreported remedies seriously impedes the technological development. To tackle this dilemma from the source, we propose Unbiased Data Processing (UDP) consist of two technique aspect for the two aforementioned problems respectively (i.e., unbiased coordinate system transformation and unbiased keypoint format transformation). As a model-agnostic approach and a superior solution, UDP successfully pushes the performance boundary of human pose estimation and offers a higher and more reliable baseline for research community. Code is public available in https://github.com/HuangJunJie2017/UDP-Pose


title: On one-stage recovery for $\Sigma \Delta$-quantized compressed sensing

abstract: Compressed sensing (CS) is a signal acquisition paradigm to simultaneously acquire and reduce dimension of signals that admit sparse representations. When such a signal is acquired according to the principles of CS, the measurements still take on values in the continuum. In today's "digital" world, a subsequent quantization step, where these measurements are replaced with elements from a finite set is crucial. We focus on one of the approaches that yield efficient quantizers for CS: $\Sigma \Delta$ quantization, followed by a one-stage tractable reconstruction method, which was developed by Saab et al. with theoretical error guarantees in the case of sub-Gaussian matrices. We propose two alternative approaches that extend this result to a wider class of measurement matrices including (certain unitary transforms of) partial bounded orthonormal systems and deterministic constructions based on chirp sensing matrices.


title: Bayesian Filtering for Multi-period Mean-Variance Portfolio Selection

abstract: For a long investment time horizon, it is preferable to rebalance the portfolio weights at intermediate times. This necessitates a multi-period market model in which portfolio optimization is usually done through dynamic programming. However, this assumes a known distribution for the parameters of the financial time series. We consider the situation where this distribution is unknown and needs to be estimated from the data that is arriving dynamically. We applied Bayesian filtering through dynamic linear models to sequentially update the parameters. We considered uncertain investment lifetime to make the model more adaptive to the market conditions. These updated parameters are put into the dynamic mean-variance problem to arrive at optimal efficient portfolios. Extensive simulations are conducted to study the effect of varying underlying parameters and investment horizon on the performance of the method. An implementation of this model to the S&P500 illustrates that the Bayesian updating is strongly favored by the data and that it is practically implementable.


title: SOGNet: Scene Overlap Graph Network for Panoptic Segmentation

abstract: The panoptic segmentation task requires a unified result from semantic and instance segmentation outputs that may contain overlaps. However, current studies widely ignore modeling overlaps. In this study, we aim to model overlap relations among instances and resolve them for panoptic segmentation. Inspired by scene graph representation, we formulate the overlapping problem as a simplified case, named scene overlap graph. We leverage each object's category, geometry and appearance features to perform relational embedding, and output a relation matrix that encodes overlap relations. In order to overcome the lack of supervision, we introduce a differentiable module to resolve the overlap between any pair of instances. The mask logits after removing overlaps are fed into per-pixel instance \verb|id| classification, which leverages the panoptic supervision to assist in the modeling of overlap relations. Besides, we generate an approximate ground truth of overlap relations as the weak supervision, to quantify the accuracy of overlap relations predicted by our method. Experiments on COCO and Cityscapes demonstrate that our method is able to accurately predict overlap relations, and outperform the state-of-the-art performance for panoptic segmentation. Our method also won the Innovation Award in COCO 2019 challenge.


title: Ladder Loss for Coherent Visual-Semantic Embedding

abstract: For visual-semantic embedding, the existing methods normally treat the relevance between queries and candidates in a bipolar way -- relevant or irrelevant, and all "irrelevant" candidates are uniformly pushed away from the query by an equal margin in the embedding space, regardless of their various proximity to the query. This practice disregards relatively discriminative information and could lead to suboptimal ranking in the retrieval results and poorer user experience, especially in the long-tail query scenario where a matching candidate may not necessarily exist. In this paper, we introduce a continuous variable to model the relevance degree between queries and multiple candidates, and propose to learn a coherent embedding space, where candidates with higher relevance degrees are mapped closer to the query than those with lower relevance degrees. In particular, the new ladder loss is proposed by extending the triplet loss inequality to a more general inequality chain, which implements variable push-away margins according to respective relevance degrees. In addition, a proper Coherent Score metric is proposed to better measure the ranking results including those "irrelevant" candidates. Extensive experiments on multiple datasets validate the efficacy of our proposed method, which achieves significant improvement over existing state-of-the-art methods.


title: Ulam's History-dependent Random Adding Process

abstract: Ulam has defined a history-dependent random sequence of integers by the recursion $X_{n+1}$ $= X_{U(n)}+X_{V(n)}, n \geqslant r$ where $U(n)$ and $V(n)$ are independently and uniformly distributed on $\{1,\dots,n\}$, and the initial sequence, $X_1=x_1,\dots,X_r=x_r$, is fixed. We consider the asymptotic properties of this sequence as $n \to \infty$, showing, for example, that $n^{-2} \sum_{k=1}^n X_k$ converges to a non-degenerate random variable. We also consider the moments and auto-covariance of the process, showing, for example, that when the initial condition is $x_1 =1$ with $r =1$, then $\lim_{n\to \infty} n^{-2} E X^2_n = (2 \pi)^{-1} \sinh(\pi)$; and that for large $m < n$, we have $(m n)^{-1} E X_m X_n \doteq (3 \pi)^{-1} \sinh(\pi).$ We further consider new random adding processes where changes occur independently at discrete times with probability $p$, or where changes occur continuously at jump times of an independent Poisson process. The processes are shown to have properties similar to those of the discrete time process with $p=1$, and to be readily generalised to a wider range of related sequences.


title: The Sun at TeV energies: gammas, neutrons, neutrinos and a cosmic ray shadow

abstract: High energy cosmic rays reach the surface of the Sun and start showers with thousands of secondary particles. Most of them will be absorbed by the Sun, but a fraction of the neutral ones will escape and reach the Earth. Here we incorporate a new ingredient that is essential to understand the flux of these solar particles: the cosmic ray shadow of the Sun. We use Liouville's theorem to argue that the only effect of the solar magnetic field on the isotropic cosmic ray flux is to interrupt some of the trajectories that were aiming to the Earth and create a shadow. This shadow reveals the average solar depth crossed by cosmic rays of a given rigidity. The absorbed cosmic ray flux is then processed in the thin Solar surface and, assuming that the emission of neutral particles by low-energy charged particles is isotropic, we obtain (i) a flux of gammas that is consistent with Fermi-LAT observations, (ii) a flux of 100-300 neutrons/(year m^2) produced basically in the spallation of primary He nuclei, and (iii) a neutrino flux that is above the atmospheric neutrino background at energies above 0.1-0.6 TeV (depending on the solar phase and the zenith inclination). More precise measurements of the cosmic ray shadow and of the solar gamma flux, together with the possible discovery of the neutron and neutrino signals, would provide valuable information about the magnetic field, the cycle, and the interior of the Sun.


title: Semi-Automatic Task Graph Construction for $\mathcal{H}$-Matrix Arithmetic

abstract: A new method to construct task graphs for \mcH-matrix arithmetic is introduced, which uses the information associated with all tasks of the standard recursive \mcH-matrix algorithms, e.g., the block index set of the matrix blocks involved in the computation. Task refinement, i.e., the replacement of tasks by sub-computations, is then used to proceed in the \mcH-matrix hierarchy until the matrix blocks containing the actual matrix data are reached. This process is a natural extension of the classical, recursive way in which \mcH-matrix arithmetic is defined and thereby simplifies the efficient usage of many-core systems. Examples for standard and accumulator based \mcH-arithmetic are shown for model problems with different block structures.


title: Graph Neural Ordinary Differential Equations

abstract: We introduce the framework of continuous--depth graph neural networks (GNNs). Graph neural ordinary differential equations (GDEs) are formalized as the counterpart to GNNs where the input-output relationship is determined by a continuum of GNN layers, blending discrete topological structures and differential equations. The proposed framework is shown to be compatible with various static and autoregressive GNN models. Results prove general effectiveness of GDEs: in static settings they offer computational advantages by incorporating numerical methods in their forward pass; in dynamic settings, on the other hand, they are shown to improve performance by exploiting the geometry of the underlying dynamics.


title: Entropic uncertainty relations from quantum designs

abstract: In the course of the last decades entropic uncertainty relations have attracted much attention not only due to their fundamental role as manifestation of non-classicality of quantum mechanics, but also as major tools for applications of quantum information theory. Amongst the latter are protocols for the detection of quantum correlations or for the secure distribution of secret keys. In this work we show how to derive entropic uncertainty relations for sets of measurements whose effects form quantum designs. The key property of quantum designs is their indistinguishability from truly random quantum processes as long as one is concerned with moments up to some finite order. Exploiting this characteristic enables us to evaluate polynomial functions of measurement probabilities which leads to lower bounds on sums of generalized entropies. As an application we use the derived uncertainty relations to investigate the incompatibility of sets of binary observables.


title: Physics to plan AWAKE Run 2

abstract: We briefly describe the basic physics principles considered for planning of the AWAKE Run 2 experiment. These principles are based on experimental results obtained during Run 1 and knowledge obtained from numerical simulation results and other experiments. The goal of Run 2 is to accelerate an electron bunch with a narrow relative energy spread and an emittance sufficiently low for applications. The experiment will use two plasmas, electron bunch seeding for the SM process, on-axis external injection of an electron bunch and electron bunch parameters to reach plasma blow-out, beam loading and beam matching.


title: Learning Model Predictive Control for Periodic Repetitive Tasks

abstract: We propose a reference-free learning model predictive controller for periodic repetitive tasks. We consider a problem in which dynamics, constraints and stage cost are periodically time-varying. The controller uses the closed-loop data to construct a time-varying terminal set and a time-varying terminal cost. We show that the proposed strategy in closed-loop with linear and nonlinear systems guarantees recursive constraints satisfaction, non-increasing open-loop cost, and that the open-loop and closed-loop cost are the same at convergence. Simulations are presented for different repetitive tasks, both for linear and nonlinear systems.


title: Time-inconsistent Planning: Simple Motivation Is Hard to Find

abstract: With the introduction of the graph-theoretic time-inconsistent planning model due to Kleinberg and Oren, it has been possible to investigate the computational complexity of how a task designer best can support a present-biased agent in completing the task. In this paper, we study the complexity of finding a choice reduction for the agent; that is, how to remove edges and vertices from the task graph such that a present-biased agent will remain motivated to reach his target even for a limited reward. While this problem is NP-complete in general, this is not necessarily true for instances which occur in practice, or for solutions which are of interest to task designers. For instance, a task designer may desire to find the best task graph which is not too complicated. We therefore investigate the problem of finding simple motivating subgraphs. These are structures where the agent will modify his plan at most $k$ times along the way. We quantify this simplicity in the time-inconsistency model as a structural parameter: The number of branching vertices (vertices with out-degree at least $2$) in a minimal motivating subgraph. Our results are as follows: We give a linear algorithm for finding an optimal motivating path, i.e. when $k=0$. On the negative side, we show that finding a simple motivating subgraph is NP-complete even if we allow only a single branching vertex --- revealing that simple motivating subgraphs are indeed hard to find. However, we give a pseudo-polynomial algorithm for the case when $k$ is fixed and edge weights are rationals, which might be a reasonable assumption in practice.


title: Fast Machine Learning with Byzantine Workers and Servers

abstract: Machine Learning (ML) solutions are nowadays distributed and are prone to various types of component failures, which can be encompassed in so-called Byzantine behavior. This paper introduces LiuBei, a Byzantine-resilient ML algorithm that does not trust any individual component in the network (neither workers nor servers), nor does it induce additional communication rounds (on average), compared to standard non-Byzantine resilient algorithms. LiuBei builds upon gradient aggregation rules (GARs) to tolerate a minority of Byzantine workers. Besides, LiuBei replicates the parameter server on multiple machines instead of trusting it. We introduce a novel filtering mechanism that enables workers to filter out replies from Byzantine server replicas without requiring communication with all servers. Such a filtering mechanism is based on network synchrony, Lipschitz continuity of the loss function, and the GAR used to aggregate workers' gradients. We also introduce a protocol, scatter/gather, to bound drifts between models on correct servers with a small number of communication messages. We theoretically prove that LiuBei achieves Byzantine resilience to both servers and workers and guarantees convergence. We build LiuBei using TensorFlow, and we show that LiuBei tolerates Byzantine behavior with an accuracy loss of around 5% and around 24% convergence overhead compared to vanilla TensorFlow. We moreover show that the throughput gain of LiuBei compared to another state-of-the-art Byzantine-resilient ML algorithm (that assumes network asynchrony) is 70%.


title: Finding Missing Children: Aging Deep Face Features

abstract: Given a gallery of face images of missing children, state-of-the-art face recognition systems fall short in identifying a child (probe) recovered at a later age. We propose an age-progression module that can age-progress deep face features output by any commodity face matcher. For time lapses larger than 10 years (the missing child is found after 10 or more years), the proposed age-progression module improves the closed-set identification accuracy of FaceNet from 40% to 49.56% and CosFace from 56.88% to 61.25% on a child celebrity dataset, namely ITWCC. The proposed method also outperforms state-of-the-art approaches with a rank-1 identification rate from 94.91% to 95.91% on a public aging dataset, FG-NET, and from 99.50% to 99.58% on CACD-VS. These results suggest that aging face features enhances the ability to identify young children who are possible victims of child trafficking or abduction.


title: Delta invariant of curves on rational surfaces I. The analytic approach

abstract: We prove that if (C,0) is a reduced curve germ on a rational surface singularity (X,0) then its delta invariant can be recovered by a concrete expression associated with the embedded topological type of the pair (X,C). Furthermore, we also identify it with another (a priori) embedded analytic invariant, which is motivated by the theory of adjoint ideals. Finally, we connect our formulae with the local correction term at singular points of the global Riemann--Roch formula, valid for projective normal surfaces, introduced by Blache.


title: Low Order Adaptive Optics with Very Faint Reference Stars

abstract: It is widely believed that adaptive optics only has a role in correcting turbulent wavefronts on large telescopes using very bright reference stars. Unfortunately these are very scarce and many astronomical targets require wavefront correction to work over much of the sky. We therefore need to be able to use very much fainter reference objects. Laser guide stars in principle can allow 0.1 arcsecond resolution but have a number of severe technical problems that limit their application. Our aims are to provide imaging at even higher resolution than Hubble. Lucky Imaging completely eliminates the tip-tilt errors in astronomical wavefront detection. Most of the power that remains is in low order, large scale structures. These may be detected with high sensitivity using photon-counting EMCCD detectors working at high frame rate, up to ~100Hz. With a new design of curvature wavefront sensor, wavefront errors may be measured and corrected to give near diffraction-limited performance on large groundbased telescopes in the visible. Reference stars (and reference compact galaxies) fainter than I~17.5 mag may be used routinely. This paper will describe how these work, what detector and other hardware is needed and what software should be used to measure the wavefront errors and drive deformable mirror hardware. The software techniques that are used are those routinely applied for MRI and CT imaging. They are fast and relatively easy to implement. The net effect is that imaging systems can be constructed that improve substantially over Hubble resolution from the ground for a relatively modest sum of money.


title: Optimal coupling of HoW$_{10}$ molecular magnets to superconducting circuits near spin clock transitions

abstract: A central goal in quantum technologies is to maximize $G$T$_{2}$, where $G$ stands for the coupling of a qubit to control and readout signals and T$_{2}$ is the qubit's coherence time. This is challenging, as increasing $G$ (e.g. by coupling the qubit more strongly to external stimuli) often leads to deleterious effects on T$_{2}$. Here, we study the coupling of pure and magnetically diluted crystals of HoW$_{10}$ magnetic clusters to microwave superconducting coplanar waveguides. Absorption lines give a broadband picture of the magnetic energy level scheme and, in particular, confirm the existence of level anticrossings at equidistant magnetic fields determined by the combination of crystal field and hyperfine interactions. Such 'spin clock transitions' are known to shield the electronic spins against magnetic field fluctuations. The analysis of the microwave transmission shows that the spin-photon coupling becomes also maximum at these transitions. The results show that engineering spin-clock states of molecular systems offers a promising strategy to combine sizeable spin-photon interactions with a sufficient isolation from unwanted magnetic noise sources.


title: On the Hamming distances of repeated-root cyclic codes of length $5p^s$

abstract: Due to the wide applications in consumer electronics, data storage systems and communication systems, cyclic codes have been an interesting research topic in coding theory. In this paper, let $p$ be a prime with $p\ge 7$. We determine the weight distributions of all cyclic codes of length $5$ over $\f_q$ and the Hamming distances of all repeated-root cyclic codes of length $5p^s$ over $\F_q$, where $q=p^m$ and both $s$ and $m$ are positive integers. Furthermore, we find all MDS cyclic codes of length $5p^s$ and take quantum synchronizable codes from repeated-root cyclic codes of length $5p^s$.


title: Multi-Task Learning of Height and Semantics from Aerial Images

abstract: Aerial or satellite imagery is a great source for land surface analysis, which might yield land use maps or elevation models. In this investigation, we present a neural network framework for learning semantics and local height together. We show how this joint multi-task learning benefits to each task on the large dataset of the 2018 Data Fusion Contest. Moreover, our framework also yields an uncertainty map which allows assessing the prediction of the model. Code is available at https://github.com/marcelampc/mtl_aerial_images .


title: GravityCam: Wide-field Imaging Surveys in the Visible from the Ground

abstract: GravityCam is a new concept of ground-based imaging instrument capable of delivering significantly sharper images from the ground than is normally possible without adaptive optics. Advances in optical and near infrared imaging technologies allow images to be acquired at high speed without significant noise penalty. Aligning these images before they are combined can yield a 3-5 fold improvement in image resolution. By using arrays of such detectors, survey fields may be as wide as the telescope optics allows. We describe the instrument and detail its application to accelerate greatly the rate of detection of Earth size planets by gravitational microlensing. GravityCam will improve substantially the quality of weak shear studies of dark matter distribution in distant clusters of galaxies. An extensive microlensing survey will also provide a vast dataset for asteroseismology studies, and GravityCam promises to generate a unique data set on the population of the Kuiper belt and possibly the Oort cloud.


title: High-resolution resonant inelastic x-ray scattering study of the electron-phonon coupling in honeycomb $\alpha$-Li$_2$IrO$_3$

abstract: The excitations in honeycomb $\alpha$-Li$_2$IrO$_3$ have been investigated with high-resolution resonant inelastic x-ray scattering (RIXS) at the O K edge. The low-energy response is dominated by a fully resolved ladder of excitations, which we interpret as being due to multi-phonon processes in the presence of strong electron-phonon coupling (EPC). At higher energies, the orbital excitations are shown to be dressed by phonons. The high quality of the data permits a quantitative test of the analytical model for the RIXS cross-section, which has been proposed to describe EPC in transition metal oxides (TMOs). We find that the magnitude of the EPC is comparable to that found for a range of 3d TMOs. This indicates that EPC may be of equal importance in determining the phenomenology displayed by corresponding 5d based systems.


title: Non-interactive zero-knowledge arguments for QMA, with preprocessing

abstract: We initiate the study of non-interactive zero-knowledge (NIZK) arguments for languages in QMA. Our first main result is the following: if Learning With Errors (LWE) is hard for quantum computers, then any language in QMA has an NIZK argument with preprocessing. The preprocessing in our argument system consists of (i) the generation of a CRS and (ii) a single (instance-independent) quantum message from verifier to prover. The instance-dependent phase of our argument system involves only a single classical message from prover to verifier. Importantly, verification in our protocol is entirely classical, and the verifier needs not have quantum memory; its only quantum actions are in the preprocessing phase. Our second contribution is to extend the notion of a classical proof of knowledge to the quantum setting. We introduce the notions of arguments and proofs of quantum knowledge (AoQK/PoQK), and we show that our non-interactive argument system satisfies the definition of an AoQK. In particular, we explicitly construct an extractor which can recover a quantum witness from any prover which is successful in our protocol. Finally, we show that any language in QMA has an (interactive) proof of quantum knowledge.


title: The trouble with 2nd order models or how to generate stop-and-go traffic in a 1st order model

abstract: Classical second order models of pedestrian dynamics, like the social-force model, suffer from various unrealistic behaviors in the dynamics, e.g. backward motion, oscillations and overlapping of pedestrians. These effects are not related to the discretization of the equations of motion, but intrinsic to the dynamics. They are the consequence of strong inertia effects that usually appear in second order models. We show that the experimentally observed stop-and-go behavior, which is an important test for any pedestrian model, can be reproduced with a stochastic first order model that does not suffer from the dynamical artefacts resulting from strong inertia. The model provides a new mechanism for stop-and-go behavior which is based on correlated noise.


title: Optimal Control over Multiple Input Lossy Channels

abstract: The performance of control systems with input packet losses on the controller to plant communication channel is analysed. The main contribution of this work is a proof that linear optimal control systems operating with UDP-like communication protocols have a larger quadratic cost than the same systems operating with TCP-like protocols. The proof is derived for the general case of multidimensional and independent actuation communication channels. In doing so, our results extend previous work to systems with multiple distributed actuators. The difference in cost between two communication protocols is analysed, enabling the maximal difference between the two protocols to be quantified. Numerical examples are presented to highlight the difference in costs induced by the choice of communication protocol.


title: Thermally Activated Processes for Ferromagnet Intercalation in Graphene-Heavy Metal Interfaces

abstract: The development of graphene (Gr) spintronics requires the ability to engineer epitaxial Gr heterostructures with interfaces of high quality, in which the intrinsic properties of Gr are modified through proximity with a ferromagnet to allow for efficient room temperature spin manipulation or the stabilization of new magnetic textures. These heterostructures can be prepared in a controlled way by intercalation through graphene of different metals. Using photoelectron spectroscopy (XPS) and Scanning Tunneling Microscopy (STM), we achieve a nanoscale control of thermal activated intercalation of homogeneous ferromagnetic (FM) layer underneath epitaxial Gr grown onto (111)-oriented heavy metal (HM) buffers deposited in turn onto insulating oxide surfaces. XPS and STM demonstrate that Co atoms evaporated on top of Gr arrange in 3D clusters, and, upon thermal annealing, penetrate through and diffuse below Gr in a 2D fashion. The complete intercalation of the metal occurs at specific temperatures depending on the type of metallic buffer. The activation energy and the optimum temperature for the intercalation processes are determined. We describe a reliable method to fabricate and characterize in-situ high quality Gr-FM/HM heterostructures enabling the realization of novel spin-orbitronic devices that exploits the extraordinary properties of Gr.


title: Calibration of RADMON Radiation Monitor Onboard Aalto-1 CubeSat

abstract: RADMON is a small radiation monitor designed and assembled by students of the University of Turku and the University of Helsinki. It is flown on-board Aalto-1, a 3-unit CubeSat in low Earth orbit at about 500 km altitude. The detector unit of the instrument consists of two detectors, a Si solid-state detector and a CsI(Tl) scintillator, and utilizes the \textDelta{E}-E technique to determine the total energy and species of each particle hitting the detector. We present the results of the on-ground and in-flight calibration campaigns of the instrument, as well as the characterization of its response through extensive simulations within the Geant4 framework. The overall energy calibration margin achieved is about 5\%. The full instrument response to protons and electrons is presented and the issue of proton contamination of the electron channels is quantified and discussed.


title: Hot Polarons with Trapped Excitons and Octahedra-Twist Phonons in CH3NH3PbBr3 Hybrid Perovskite Nanowires

abstract: Hybrid Perovskites have shown a great potential for applications in photovoltaics and light-emitting devices with high efficiency. Interaction between defect-induced trapped excitons and phonons plays an important role in understanding the emerging phenomena for such an excellent figure-of-merit. Here we demonstrate hot polarons with narrow linewidth in $\mathrm{CH_{3}NH_{3}PbBr_{3}}$ nanowires, which originate from the interaction between trapped excitons and octahedra-twist phonons. The observation of hot polarons in photoluminescence without gain methods indicates the large interaction strength between excitons and phonons. The multiple hot polarons are further confirmed by magneto-optical spectra with a Zeeman splitting of the trapped excitons and a phonon energy increase with diamagnetic effect. Furthermore, the phonons participating in the interaction are demonstrated to be the octahedra-twist vibrations which are transverse optical phonons, while the interaction between trapped excitons and longitudinal optical phonons is weak. Our work demonstrates that trapped excitons in perovskites prefer to interact with transverse rather than longitudinal optical phonons. Since bulk materials usually interact with longitudinal optical phonons, this result provides a physical explanation of the high tolerance of defects in perovskites.


title: The newborn black hole in GRB 191014C proves that it is alive

abstract: A multi-decade theoretical effort has been devoted to finding an efficient mechanism to use the rotational and electrodynamical extractable energy of a Kerr-Newman black hole (BH), to power the most energetic astrophysical sources such as gamma-ray bursts (GRBs) and active galactic nuclei (AGN). We show an efficient general relativistic electrodynamical process which occurs in the "inner engine" of a binary driven hypernova (BdHN). The {inner engine} is composed of a rotating Kerr BH of mass $M$ and dimensionless spin parameter $\alpha$, a magnetic field of strength $B_0$ aligned and parallel to the rotation axis, and a very low-density ionized plasma. Here, we show that the gravitomagnetic interaction between the BH and the magnetic field induces an electric field that accelerates electrons and protons from the environment to ultrarelativistic energies emitting synchrotron radiation. We show that in GRB 190114C the BH of mass $M = 4.4~M_\odot$, $\alpha= 0.4$, and $B_0 \approx 4\times 10^{10}$ G can lead to a high-energy ($\gtrsim$GeV) luminosity of $10^{51}$ erg s$^{-1}$. The inner engine parameters are determined by requiring 1) that the BH extractable energy explains the GeV and ultrahigh-energy emission energetics, 2) that the emitted photons are not subjected to magnetic-pair production, and 3) that the synchrotron radiation timescale agrees with the observed high-energy timescale. We find for GRB 190114C a clear jetted emission of GeV energies with a semi-aperture angle of approximately $60^\circ$ with respect to the BH rotation axis.


title: A projection approach for multiple monotone regression

abstract: Shape-constrained inference has wide applicability in bioassay, medicine, economics, risk assessment, and many other fields. Although there has been a large amount of work on monotone-constrained univariate curve estimation, multivariate shape-constrained problems are much more challenging, and fewer advances have been made in this direction. With a focus on monotone regression with multiple predictors, this current work proposes a projection approach to estimate a multiple monotone regression function. An initial unconstrained estimator -- such as a local polynomial estimator or spline estimator -- is first obtained, which is then projected onto the shape-constrained space. A shape-constrained estimate (with multiple predictors) is obtained by sequentially projecting an (adjusted) initial estimator along each univariate direction. Compared to the initial unconstrained estimator, the projection estimate results in a reduction of estimation error in terms of both $L^p$ ($p\geq 1$) distance and supremum distance. We also derive the asymptotic distribution of the projection estimate. Simple computational algorithms are available for implementing the projection in both the unidimensional and higher dimensional cases. Our work provides a simple recipe for practitioners to use in real applications, and is illustrated with a joint-action example from environmental toxicology.


title: Zero- to Ultralow-Field Nuclear Magnetic Resonance $J$-Spectroscopy with Commercial Atomic Magnetometers

abstract: Zero- to ultralow-field nuclear magnetic resonance (ZULF NMR) is an alternative spectroscopic method to high-field NMR, in which samples are studied in the absence of a large magnetic field. Unfortunately, there is a large barrier to entry for many groups, because operating the optical magnetometers needed for signal detection requires some expertise in atomic physics and optics. Commercially available magnetometers offer a solution to this problem. Here we describe a simple ZULF NMR configuration employing commercial magnetometers, and demonstrate sufficient functionality to measure samples with nuclear spins prepolarized in a permanent magnet or initialized using parahydrogen. This opens the possibility for other groups to use ZULF NMR, which provides a means to study complex materials without magnetic susceptibility-induced line broadening, and to observe samples through conductive materials.


title: Short Text Language Identification for Under Resourced Languages

abstract: The paper presents a hierarchical naive Bayesian and lexicon based classifier for short text language identification (LID) useful for under resourced languages. The algorithm is evaluated on short pieces of text for the 11 official South African languages some of which are similar languages. The algorithm is compared to recent approaches using test sets from previous works on South African languages as well as the Discriminating between Similar Languages (DSL) shared tasks' datasets. Remaining research opportunities and pressing concerns in evaluating and comparing LID approaches are also discussed.


title: Does Regression Approximate the Influence of the Covariates or Just Measurement Errors? A Model Validity Test

abstract: A criterion is proposed for testing hypothesis about the nature of the error variance in the dependent variable in linear model, which separates correctly and incorrectly specified models. In the former only measurement errors determine the variance (i.e., dependent variable is correctly explained by independent ones, up to measurement errors), while in the latter the model lacks some independent covariates (or has nonlinear structure). The proposed MEM-V (Measurement Error Model Validity) test checks the validity of the model when both dependent and independent covariates are measured with errors. The criterion has asymptotic character, but numerical simulations outlined approximate boundaries where estimates make sense. A practical example of the implementation of the test is discussed in detail; it shows ability of the test to detect wrong specification even in seemingly perfect models. This type of relation between measurement errors and model specification has not been studied before, and the proposed criterion may stimulate future research in this important area.


title: Traveling capillary waves on the boundary of a disc

abstract: We find a new class of solutions that are traveling waves on the boundary of two--dimensional droplet of ideal fluid. We assume that the free surface is subject only to the force of surface tension, and the fluid flow is potential. We use the canonical Hamiltonian variables discovered in the work of V.E. Zakharov in 1968, and conformally map lower complex plane to the interior of a fluid droplet. We write the equations in the form originally discovered in A.I. Dyachenko in (2001) for infinitely deep water, and adapted to bounded fluid in the work of S.A. Dyachenko (2019). The new class of solutions satisfies a pseudodifferential equation which is similar to the Babenko equation for the Stokes wave.


title: Search for supersymmetry in pp collisions at $\sqrt{s} =$ 13 TeV with 137 fb$^{-1}$ in final states with a single lepton using the sum of masses of large-radius jets

abstract: Results are reported from a search for new physics beyond the standard model in proton-proton collisions in final states with a single lepton; multiple jets, including at least one jet tagged as originating from the hadronization of a bottom quark; and large missing transverse momentum. The search uses a sample of proton-proton collision data at $\sqrt{s} =$ 13 TeV, corresponding to 137 fb$^{-1}$, recorded by the CMS experiment at the LHC. The signal region is divided into categories characterized by the total number of jets, the number of bottom quark jets, the missing transverse momentum, and the sum of masses of large-radius jets. The observed event yields in the signal regions are consistent with estimates of standard model backgrounds based on event yields in the control regions. The results are interpreted in the context of simplified models of supersymmetry involving gluino pair production in which each gluino decays into a top quark-antiquark pair and a stable, unobserved neutralino, which generates missing transverse momentum in the event. Scenarios with gluino masses up to about 2150 GeV are excluded at 95% confidence level (or more) for neutralino masses up to 700 GeV. The highest excluded neutralino mass is about 1250 GeV, which holds for gluino masses around 1850 GeV.


title: FFA-Net: Feature Fusion Attention Network for Single Image Dehazing

abstract: In this paper, we propose an end-to-end feature fusion at-tention network (FFA-Net) to directly restore the haze-free image. The FFA-Net architecture consists of three key components: 1) A novel Feature Attention (FA) module combines Channel Attention with Pixel Attention mechanism, considering that different channel-wise features contain totally different weighted information and haze distribution is uneven on the different image pixels. FA treats different features and pixels unequally, which provides additional flexibility in dealing with different types of information, expanding the representational ability of CNNs. 2) A basic block structure consists of Local Residual Learning and Feature Attention, Local Residual Learning allowing the less important information such as thin haze region or low-frequency to be bypassed through multiple local residual connections, let main network architecture focus on more effective information. 3) An Attention-based different levels Feature Fusion (FFA) structure, the feature weights are adaptively learned from the Feature Attention (FA) module, giving more weight to important features. This structure can also retain the information of shallow layers and pass it into deep layers. The experimental results demonstrate that our proposed FFA-Net surpasses previous state-of-the-art single image dehazing methods by a very large margin both quantitatively and qualitatively, boosting the best published PSNR metric from 30.23db to 36.39db on the SOTS indoor test dataset. Code has been made available at GitHub.


title: Characterization of Intact Eukaryotic Cells with Subcellular Spatial Resolution by Photothermal-Induced Resonance Infrared Spectroscopy and Imaging

abstract: Photothermal-Induced Resonance (PTIR) spectroscopy and imaging with infrared light has seen increasing application in molecular spectroscopy of biological samples. The appeal of the technique lies in its capability to provide information about IR light absorption at a spatial resolution better than allowed by light diffraction, typically below 100 nm. In the present work we test the capability of the technique to perform measurements with subcellular resolution on intact eukaryotic cells, without drying or fixing. We demonstrate the possibility to obtain PTIR images and spectra from the nucleus and multiple organelles with high resolution. We obtain particularly strong signal from bands typically assigned to acyl lipids and proteins. We also show that while a stronger signal is obtained from some subcellular structures, other large subcellular components provide a weaker or undetectable PTIR response. The mechanism that underlies such variability in response is presently unclear. We propose and discuss different possibilities, addressing thermomechanical, geometrical and electrical properties of the sample and the presence of cellular water, from which the difference in response may arise.


title: Motivic classes of Quot-schemes on surfaces

abstract: Given a locally free coherent sheaf on a smooth algebraic surface, we consider the Quot-scheme parametrizing zero-dimensional quotients of the sheaf and find the corresponding motivic class in the Grothendieck ring of algebraic varieties.


title: Lang-Vojta Conjecture over function fields for surfaces dominating $\mathbb{G}_m^2$

abstract: We prove the nonsplit case of the Lang-Vojta conjecture over function fields for surfaces of log general type that are ramified covers of $\mathbb{G}_m^2$. This extends results of Corvaja and Zannier, who proved the conjecture in the split case, and results of Corvaja and Zannier and the second author that were obtained in the case of the complement of a degree four and three component divisor in $\mathbb{P}^2$. We follow the strategy developed by Corvaja and Zannier and make explicit all the constants involved.


abstract: Measurement theory in classical mechanics is investigated in the formulation of classical mechanics by Koopman and von Neumann (KvN), using Hilbert space. It is shown that the classical and the quantum measurements give different "relative interpretations" of the measurement state and the recording state of the measurement device. The uncertainty relation in classical mechanics is also derived.


title: Stationary currents in long-range interacting magnetic systems

abstract: We construct a solution for the $1d$ integro-differential stationary equation derived from a finite-volume version of the mesoscopic model proposed in [G. B. Giacomin, J. L. Lebowitz, "Phase segregation dynamics in particle system with long range interactions", Journal of Statistical Physics 87(1) (1997)]. This is the continuous limit of an Ising spin chain interacting at long range through Kac potentials. The microscopic system is in contact with reservoirs of fixed magnetization and infinite volume, so that their density is not affected by any exchange with the bulk in the original Kawasaki dynamics. At the mesoscopic level, this condition is mimicked by the adoption Dirichlet boundary conditions. We derive the stationary equation of the model starting from the Lebowitz-Penrose free energy functional defined on the interval $[-\varepsilon^{-1},\varepsilon^{-1}]$, $\varepsilon>0$. For $\varepsilon$ small, we prove that below the critical temperature there exists a solution that carries positive current provided boundary values are opposite in sign and lie in the metastable region. Such profile is no longer monotone, connecting the two phases through an antisymmetric interface localized around the origin. This represents an analytic proof of the existence of diffusion along the concentration gradient in one-component systems undergoing a phase transition, a phenomenon generally known as uphill diffusion. However uniqueness is lacking, and we have a clue that the stationary solution obtained is not unique, as suggested by numerical simulations.


title: Effects of Visualizing Technical Debts on a Software Maintenance Project

abstract: The technical debt (TD) metaphor is widely used to encapsulate numerous software quality problems. She describes the trade-off between the short term benefit of taking a shortcut during the design or implementation phase of a software product (for example, in order to meet a deadline) and the long term consequences of taking said shortcut, which may affect the quality of the software product. TDs must be managed to guarantee the software quality and also reduce its maintenance and evolution costs. However, the tools for TD detection usually provide results only considering the files perspective (class and methods), that is not usual during the project management. In this work, a technique is proposed to identify/visualize TD on a new perspective: software features. The proposed technique adopts Mining Software Repository (MRS) tools to identify the software features and after the technical debts that affect these features. Additionally, we also proposed an approach to support maintenance tasks guided by TD visualization at the feature level aiming to evaluate its applicability on real software projects. The results indicate that the approach can be useful to decrease the existent TDs, as well as avoid the introduction of new TDs.


title: Automated fetal brain extraction from clinical Ultrasound volumes using 3D Convolutional Neural Networks

abstract: To improve the performance of most neuroimiage analysis pipelines, brain extraction is used as a fundamental first step in the image processing. But in the case of fetal brain development, there is a need for a reliable US-specific tool. In this work we propose a fully automated 3D CNN approach to fetal brain extraction from 3D US clinical volumes with minimal preprocessing. Our method accurately and reliably extracts the brain regardless of the large data variation inherent in this imaging modality. It also performs consistently throughout a gestational age range between 14 and 31 weeks, regardless of the pose variation of the subject, the scale, and even partial feature-obstruction in the image, outperforming all current alternatives.


title: What are the Actual Flaws in Important Smart Contracts (and How Can We Find Them)?

abstract: An important problem in smart contract security is understanding the likelihood and criticality of discovered, or potential, weaknesses in contracts. In this paper we provide a summary of Ethereum smart contract audits performed for 23 professional stakeholders, avoiding the common problem of reporting issues mostly prevalent in low-quality contracts. These audits were performed at a leading company in blockchain security, using both open-source and proprietary tools, as well as human code analysis performed by professional security engineers. We categorize 246 individual defects, making it possible to compare the severity and frequency of different vulnerability types, compare smart contract and non-smart contract flaws, and to estimate the efficacy of automated vulnerability detection approaches.


title: Neutrino Production Associated with Late Bumps in Gamma-Ray Bursts and Potential Contribution to Diffuse Flux at IceCube

abstract: IceCube has detected many TeV--PeV neutrinos, but their astrophysical origins remain largely unknown. Motivated by the observed late-time X-ray/optical bumps in some gamma-ray bursts (GRBs), we examine the correlation between IceCube neutrinos and GRBs allowing delayed neutrinos $\sim$days after the prompt gamma rays. Although we have not found any definitive correlation, up to $\sim$10\% of the events observed so far at IceCube may have been neutrinos produced by the late-time GRB activities at $\sim$1 day. Assuming a connection between some IceCube events and the late GRB bumps, we show in a model-independent way that GRB sites capable of producing late $\sim$PeV neutrinos should be nonrelativistic or mildly relativistic. We estimate the diffuse neutrino flux from such sources and find that they can possibly account for a few IceCube events. Future observations of high-energy neutrinos and late-time GRB afterglows can further test the above proposed connection.


title: Rotating and twisting charged black holes with cloud of strings and quintessence

abstract: We find a charged spherically symmetric black hole solution with the existence of a cloud of strings and quintessential matter. Then we apply the Demianski-Newman-Janis algorithm to generate the rotating and twisting counterpart. The thermodynamic properties of this black hole solution are further investigated.