title: Search What You Want: Barrier Panelty NAS for Mixed Precision Quantization

abstract: Emergent hardwares can support mixed precision CNN models inference that assign different bitwidths for different layers. Learning to find an optimal mixed precision model that can preserve accuracy and satisfy the specific constraints on model size and computation is extremely challenge due to the difficult in training a mixed precision model and the huge space of all possible bit quantizations. In this paper, we propose a novel soft Barrier Penalty based NAS (BP-NAS) for mixed precision quantization, which ensures all the searched models are inside the valid domain defined by the complexity constraint, thus could return an optimal model under the given constraint by conducting search only one time. The proposed soft Barrier Penalty is differentiable and can impose very large losses to those models outside the valid domain while almost no punishment for models inside the valid domain, thus constraining the search only in the feasible domain. In addition, a differentiable Prob-1 regularizer is proposed to ensure learning with NAS is reasonable. A distribution reshaping training strategy is also used to make training more stable. BP-NAS sets new state of the arts on both classification (Cifar-10, ImageNet) and detection (COCO), surpassing all the efficient mixed precision methods designed manually and automatically. Particularly, BP-NAS achieves higher mAP (up to 2.7\% mAP improvement) together with lower bit computation cost compared with the existing best mixed precision model on COCO detection.


title: Harmonic maps between surfaces homotopic to a (branched) covering map

abstract: In the paper, we consider the harmonic maps between surfaces $\Sigma$ and $S$ in the homotopy class of a (branched) covering map $u_0$. We prove the uniqueness of critical points of energy function and the injectivity of Hopf differential if $u_0$ is a covering map. On the other hand, if $u_0$ is a branched covering, we show that the uniqueness of critical points fails if $u_0$ is a non-simple branched covering, and prove the injectivity of Hopf differential $\Phi:\mc{T}(S)\to \op{QD}(\Sigma,g)$ when $g=[u_0^* h]$ for some hyperbolic metric $h$ on $S$.


title: Reconfigurable Intelligent Surfaces for the Connectivity of Autonomous Vehicles

abstract: The use of real-time software-controlled reconfigurable intelligent surface (RIS) units is proposed to increase the reliability of vehicle-to-everything (V2X) communications. The optimum placement problem of the RIS units is formulated by considering their sizes and operating modes. The solution of the problem is given, where it is shown that the placement of the RIS depends on the locations of the transmitter and the receiver. The proposed RIS-supported highway deployment can combat the high path loss experienced by the use of higher frequency bands, including the millimeter-wave and the terahertz bands, that are expected to be used in the next-generation wireless networks, enabling the use of the existing base station deployment plans to remain operational, while providing reliable and energy-efficient connectivity for autonomous vehicles.


title: Accurate equilibrium-based interlaminar stress recovery for isogeometric laminated composite Kirchhoff plates

abstract: In this paper, we use isogeometric Kirchhoff plates to approximate composite laminates adopting the classical laminate plate theory. Both isogeometric Galerkin and collocation formulations are considered. Within this framework, interlaminar stresses are recovered through an effective post-processing technique based on the direct imposition of equilibrium in strong form, relying on the accuracy and the higher continuity typically granted by isogeometric discretizations. The effectiveness of the proposed approach is proven by extensive numerical tests.


title: Modern Random Access: an Age of Information Perspective on Irregular Repetition Slotted ALOHA

abstract: Age of information (AoI) is gaining attention as a valuable performance metric for many IoT systems, in which a large number of devices report time-stamped updates to a central gateway. This is the case, for instance, of remote sensing, monitoring, or tracking, with broad applications in the industrial, vehicular, and environmental domain. In these settings, AoI provides insights that are complementary to those offered by throughput or latency, capturing the ability of the system to maintain an up-to-date view of the status of each transmitting device. From this standpoint, while a good understanding of the metric has been reached for point-to-point links, relatively little attention has been devoted to the impact that link layer solutions employed in IoT systems may have on AoI. In particular, no result is available for modern random access protocols, which have recently emerged as promising solutions to support massive machine-type communications. To start addressing this gap we provide in this paper the first study of the AoI of a scheme in this family, namely irregular repetition slotted ALOHA (IRSA). By means of a Markovian analysis, we track the AoI evolution at the gateway, prove that the process is ergodic, and derive a compact closed form expression for its stationary distribution. Leaning on this, we compute exact formulations for the average AoI and the age violation probability. The study reveals non-trivial design trade-offs for IRSA and highlights the key role played by the protocol operating frame size. Moreover, a comparison with the performance of a simpler slotted ALOHA strategy highlights a remarkable potential for modern random access schemes in terms of information freshness.


title: Comment on "Erratum: Negative-parity high-spin states and a possible magnetic rotation band in $^{135}_{59}$Pr$_{76}$ [Phys. Rev. C 92, 054325 (2015)]"

abstract: In [Ritika Garg et al., Phys. Rev. C 100, 069901(E) (2019)] the experimental results on the polarization asysmetry were revised due to a claimed change of the geometry asymmetry. However, the revised results can not be reproduced as claimed in the erratum by simply changing the geometry asymmetry in extracting the polarization asymmetry, without re-extracting the polarization asymmetry from the original experimental data. It is possible that the quoted errors were significantly underestimated.


title: Making Affine Correspondences Work in Camera Geometry Computation

abstract: Local features e.g. SIFT and its affine and learned variants provide region-to-region rather than point-to-point correspondences. This has recently been exploited to create new minimal solvers for classical problems such as homography, essential and fundamental matrix estimation. The main advantage of such solvers is that their sample size is smaller, e.g., only two instead of four matches are required to estimate a homography. Works proposing such solvers often claim a significant improvement in run-time thanks to fewer RANSAC iterations. We show that this argument is not valid in practice if the solvers are used naively. To overcome this, we propose guidelines for effective use of region-to-region matches in the course of a full model estimation pipeline. We propose a method for refining the local feature geometries by symmetric intensity-based matching, combine uncertainty propagation inside RANSAC with preemptive model verification, show a general scheme for computing uncertainty of minimal solvers results, and adapt the sample cheirality check for homography estimation. Our experiments show that affine solvers can achieve accuracy comparable to point-based solvers at faster run-times when following our guidelines. We make code available at https://github.com/danini/affine-correspondences-for-camera-geometry.


title: Universal Loss Reweighting to Balance Lesion Size Inequality in 3D Medical Image Segmentation

abstract: Target imbalance affects the performance of recent deep learning methods in many medical image segmentation tasks. It is a twofold problem: class imbalance - positive class (lesion) size compared to negative class (non-lesion) size; lesion size imbalance - large lesions overshadows small ones (in the case of multiple lesions per image). While the former was addressed in multiple works, the latter lacks investigation. We propose a loss reweighting approach to increase the ability of the network to detect small lesions. During the learning process, we assign a weight to every image voxel. The assigned weights are inversely proportional to the lesion volume, thus smaller lesions get larger weights. We report the benefit from our method for well-known loss functions, including Dice Loss, Focal Loss, and Asymmetric Similarity Loss. Additionally, we compare our results with other reweighting techniques: Weighted Cross-Entropy and Generalized Dice Loss. Our experiments show that inverse weighting considerably increases the detection quality, while preserves the delineation quality on a state-of-the-art level. We publish a complete experimental pipeline for two publicly available datasets of CT images: LiTS and LUNA16 (https://github.com/neuro-ml/inverse_weighting). We also show results on a private database of MR images for the task of multiple brain metastases delineation.


title: Quasi-isometric rigidity for graphs of virtually free groups with two-ended edge groups

abstract: We study the quasi-isometric rigidity of a large family of finitely generated groups that split as graphs of groups with virtually free vertex groups and two-ended edge groups. Let $G$ be a group that is one-ended, hyperbolic relative to virtually abelian subgroups, and has JSJ decomposition over two-ended subgroups containing only virtually free vertex groups that aren't quadratically hanging. Our main result is that any group quasi-isometric to $G$ is abstractly commensurable to $G$. In particular, our result applies to certain "generic" HNN extensions of a free group over cyclic subgroups.


title: Improving Semantic Segmentation via Decoupled Body and Edge Supervision

abstract: Existing semantic segmentation approaches either aim to improve the object's inner consistency by modeling the global context, or refine objects detail along their boundaries by multi-scale feature fusion. In this paper, a new paradigm for semantic segmentation is proposed. Our insight is that appealing performance of semantic segmentation requires \textit{explicitly} modeling the object \textit{body} and \textit{edge}, which correspond to the high and low frequency of the image. To do so, we first warp the image feature by learning a flow field to make the object part more consistent. The resulting body feature and the residual edge feature are further optimized under decoupled supervision by explicitly sampling different parts (body or edge) pixels. We show that the proposed framework with various baselines or backbone networks leads to better object inner consistency and object boundaries. Extensive experiments on four major road scene semantic segmentation benchmarks including \textit{Cityscapes}, \textit{CamVid}, \textit{KIITI} and \textit{BDD} show that our proposed approach establishes new state of the art while retaining high efficiency in inference. In particular, we achieve 83.7 mIoU \% on Cityscape with only fine-annotated data. Code and models are made available to foster any further research (\url{https://github.com/lxtGH/DecoupleSegNets}).


title: Modelling, Simulation, and Planning for the MoleMOD System

abstract: MoleMOD is a heterogeneous self-reconfigurable modular robotic system to be employed in architecture and civil engineering. In this paper we present two components of the MoleMOD infrastructure - a test environment and a planning algorithm. The test environment for simulation and visualization of active parts as well as passive blocks of MoleMOD is based on Gazebo - a powerful general-purpose robotic simulator. The key effort has been put into preparation of realistic models of passive and active components taking into account their physical characteristics. Moreover, given a starting configuration of the MoleMOD system and a final configuration an approach to plan collision-free trajectories for a fleet of active parts is introduced.


title: Hypertranscendency of Perturbations of Hypertranscendental Functions

abstract: Inspired by the work of Bank on the hypertranscendence of $\Gamma e^h$ where $\Gamma$ is the Euler gamma function and $h$ is an entire function, we investigate when a meromorphic function $fe^g$ cannot satisfy any algebraic differential equation over certain field of meromorphic functions, where $f$ and $g$ are meromorphic and entire on the complex plane, respectively. Our results (Theorem 1 and 2) give partial solutions to Bank's Conjecture (1977) on the hypertranscendence of $\Gamma e^h$. We also give some sufficient conditions for hypertranscendence of meromorphic function of the form $f+g$, $f\cdot g$ and $f\circ g$ in Theorem 3 and 4.


title: Anticipating Human Intention for Full-Body Motion Prediction in Object Grasping and Placing Tasks

abstract: Motion prediction in unstructured environments is a difficult problem and is essential for safe and efficient human-robot space sharing and collaboration. In this work, we focus on manipulation movements in environments such as homes, workplaces or restaurants, where the overall task and environment can be leveraged to produce accurate motion prediction. For these cases we propose an algorithmic framework that accounts explicitly for the environment geometry based on a model of affordances and a model of short-term human dynamics both trained on motion capture data. We propose dedicated function networks for graspability and placebility affordances and we make use of a dedicated RNN for short-term motion prediction. The prediction of grasp and placement probability densities are used by a constraint-based trajectory optimizer to produce a full-body motion prediction over the entire horizon. We show by comparing to ground truth data that we achieve similar performance for full-body motion predictions as using oracle grasp and place locations.


title: Optimization methods for very accurate Digital Breast Tomosynthesis image reconstruction

abstract: Digital Breast Tomosynthesis is an X-ray imaging technique that allows a volumetric reconstruction of the breast, from a small number of low-dose two-dimensional projections. Although it is already used in clinical setting, enhancing the quality of the recovered images is still a subject of research. Aim of this paper is to propose, in a general optimization framework, very accurate iterative algorithms for Digital Breast Tomosynthesis image reconstruction, characterized by a convergent behaviour. They are able to detect the cancer object of interest, i.e. masses and microcalcifications, in the early iterations and to enhance the image quality in a prolonged execution. The suggested model-based implementations are specifically aligned to Digital Breast Tomosynthesis clinical requirements and take advantage of a Total Variation regularizer. We also tune a fully-automatic strategy to set a proper regularization parameter. We assess our proposals on real data, acquired from a breast accreditation phantom and a clinical case. The results confirm the effectiveness of the presented solutions in reconstructing breast volumes with particular focus on the masses and microcalcifications.


title: Knowledge Graph Extraction from Videos

abstract: Nearly all existing techniques for automated video annotation (or captioning) describe videos using natural language sentences. However, this has several shortcomings: (i) it is very hard to then further use the generated natural language annotations in automated data processing, (ii) generating natural language annotations requires to solve the hard subtask of generating semantically precise and syntactically correct natural language sentences, which is actually unrelated to the task of video annotation, (iii) it is difficult to quantitatively measure performance, as standard metrics (e.g., accuracy and F1-score) are inapplicable, and (iv) annotations are language-specific. In this paper, we propose the new task of knowledge graph extraction from videos, i.e., producing a description in the form of a knowledge graph of the contents of a given video. Since no datasets exist for this task, we also include a method to automatically generate them, starting from datasets where videos are annotated with natural language. We then describe an initial deep-learning model for knowledge graph extraction from videos, and report results on MSVD* and MSR-VTT*, two datasets obtained from MSVD and MSR-VTT using our method.


title: Nonobtuse triangulations of PSLGs

abstract: We show that any planar straight line graph (PSLG) with $n$ vertices has a conforming triangulation by $O(n^{2.5})$ nonobtuse triangles (all angles $\leq 90^\circ$), answering the question of whether any polynomial bound exists. A nonobtuse triangulation is Delaunay, so this result also improves a previous $O(n^3)$ bound of Eldesbrunner and Tan for conforming Delaunay triangulations of PSLGs. In the special case that the PSLG is the triangulation of a simple polygon, we will show that only $O(n^2)$ triangles are needed, improving an $O(n^4)$ bound of Bern and Eppstein. We also show that for any $\epsilon >0$, every PSLG has a conforming triangulation with $O(n^2/\epsilon^2)$ elements and with all angles bounded above by $90^\circ + \epsilon$. This improves a result of S. Mitchell when $\epsilon = 3 \pi /8 = 67.5^\circ $ and Tan when $\epsilon = 7\pi/30 =42^\circ$.


title: Non-Local Spatial Propagation Network for Depth Completion

abstract: In this paper, we propose a robust and efficient end-to-end non-local spatial propagation network for depth completion. The proposed network takes RGB and sparse depth images as inputs and estimates non-local neighbors and their affinities of each pixel, as well as an initial depth map with pixel-wise confidences. The initial depth prediction is then iteratively refined by its confidence and non-local spatial propagation procedure based on the predicted non-local neighbors and corresponding affinities. Unlike previous algorithms that utilize fixed-local neighbors, the proposed algorithm effectively avoids irrelevant local neighbors and concentrates on relevant non-local neighbors during propagation. In addition, we introduce a learnable affinity normalization to better learn the affinity combinations compared to conventional methods. The proposed algorithm is inherently robust to the mixed-depth problem on depth boundaries, which is one of the major issues for existing depth estimation/completion algorithms. Experimental results on indoor and outdoor datasets demonstrate that the proposed algorithm is superior to conventional algorithms in terms of depth completion accuracy and robustness to the mixed-depth problem. Our implementation is publicly available on the project page.


title: Prompt-delayed $\gamma$-ray spectroscopy of neutron-rich $^{119,121}$In isotopes

abstract: The fusion and transfer induced fission reaction $^{9}$Be($^{238}$U,~f) with 6.2 MeV/u beam energy, using a unique setup consisting of AGATA, VAMOS++ and EXOGAM detectors, was used to populate through the fission process and study the neutron-rich $^{119,121}$In isotopes. This setup enabled the prompt-delayed $\gamma$-ray spectroscopy of isotopes in the time range of $100~\rm{ns} - 200~\mu\rm{s}$. In the odd-$A$ $^{119,121}$In isotopes, indications of a short half-life $19/2^{-}$ isomeric state, in addition to the previously known $25/2^{+}$ isomeric state, were observed from the present data. Further, new prompt transitions above the $25/2^{+}$ isomer in $^{121}$In were identified along with reevaluation of its half-life. The experimental data were compared with the theoretical results obtained in the framework of large-scale shell-model calculations in a restricted model space. The $\langle \pi g_{9/2} \nu h_{11/2};I \arrowvert \hat{\mathcal{H}}\arrowvert \pi g_{9/2} \nu h_{11/2};I\rangle$ two-body matrix elements of residual interaction were modified to explain the excitation energies and the $B(E2)$ transition probabilities in the neutron-rich In isotopes. The (i) decreasing trend of $E(29/2^{+}) - E(25/2^{+})$ in odd-In (with dominant configuration $\pi g_{9/2}^{-1}\nu h_{11/2}^{-2}$ and maximum aligned spin of $29/2^{+}$) and (ii) increasing trend of $E(27/2^{+}) - E(23/2^{+})$ in odd-Sb (with dominant configuration $\pi g_{7/2}^{+1}\nu h_{11/2}^{-2}$ and maximum aligned spin of $27/2^{+}$) with increasing neutron number could be understood as a consequence of hole-hole and particle-hole interactions, respectively.


title: On completely factoring any integer efficiently in a single run of an order finding algorithm

abstract: We show that given the order of a single element selected uniformly at random from $\mathbb Z_N^*$, we can with very high probability, and for any integer $N$, efficiently find the complete factorization of $N$ in polynomial time. This implies that a single run of the quantum part of Shor's factoring algorithm is usually sufficient. All prime factors of $N$ can then be recovered with negligible computational cost in a classical post-processing step. The classical algorithm required for this step is essentially due to Miller.


title: Heterogeneous Verification of an Autonomous Curiosity Rover

abstract: The Curiosity rover is one of the most complex systems successfully deployed in a planetary exploration mission to date. It was sent by NASA to explore the surface of Mars and to identify potential signs of life. Even though it has limited autonomy on-board, most of its decisions are made by the ground control team. This hinders the speed at which the Curiosity reacts to its environment, due to the communication delays between Earth and Mars. Depending on the orbital position of both planets, it can take 4--24 minutes for a message to be transmitted between Earth and Mars. If the Curiosity were controlled autonomously, it would be able to perform its activities much faster and more flexibly. However, one of the major barriers to increased use of autonomy in such scenarios is the lack of assurances that the autonomous behaviour will work as expected. In this paper, we use a Robot Operating System (ROS) model of the Curiosity that is simulated in Gazebo and add an autonomous agent that is responsible for high-level decision-making. Then, we use a mixture of formal and non-formal techniques to verify the distinct system components (ROS nodes). This use of heterogeneous verification techniques is essential to provide guarantees about the nodes at different abstraction levels, and allows us to bring together relevant verification evidence to provide overall assurance.


title: Structured identification for network reconstruction of RC-models

abstract: Resistive-capacitive (RC) networks are used to model various processes in engineering, physics or biology. We consider the problem of recovering the network connection structure from measured input-output data. We address this problem as a structured identification one, that is, we assume to have a state-space model of the system (identified with standard techniques, such as subspace methods) and find a coordinate transformation that puts the identified system in a form that reveals the nodes connection structure. We characterize the solution set, that is, the set of all possible RC-networks that can be associated to the input-output data. We present a possible solution algorithm and show some computational experiments.


title: Electre Tree A Machine Learning Approach to Infer Electre Tri B Parameters

abstract: Purpose: This paper presents an algorithm that can elicitate (infer) all or any combination of ELECTRE Tri-B parameters. For example, a decision-maker can maintain the values for indifference, preference, and veto thresholds, and our algorithm can find the criteria weights, reference profiles, and the lambda cutting level. Our approach is inspired by a Machine Learning ensemble technique, the Random Forest, and for that, we named our approach as ELECTRE Tree algorithm. Methodology: First, we generate a set of ELECTRE Tri-B models, where each model solves a random sample of criteria and alternatives. Each sample is made with replacement, having at least two criteria and between 10% to 25% of alternatives. Each model has its parameters optimized by a genetic algorithm that can use an ordered cluster or an assignment example as a reference to the optimization. Finally, after the optimization phase, two procedures can be performed, the first one will merge all models, finding in this way the elicitated parameters, and in the second procedure each alternative is classified (voted) by each separated model, and the majority vote decides the final class. Findings: We have noted that concerning the voting procedure, non-linear decision boundaries are generated, and they can be suitable in analyzing problems with the same nature. In contrast, the merged model generates linear decision boundaries. Originality: The elicitation of ELECTRE Tri-B parameters is made by an ensemble technique that is composed of a set of multicriteria models that are engaged in generating robust solutions.


title: Population dynamics in stochastic environments

abstract: Populations are made up of an integer number of individuals and are subject to stochastic birth-death processes whose rates may vary in time. Useful quantities, like the chance of ultimate fixation, satisfy an appropriate difference (master) equation, but closed-form solutions of these equations are rare. Analytical insights in fields like population genetics, ecology and evolution rely, almost exclusively, on an uncontrolled application of the diffusion approximation (DA) which assumes the smoothness of the relevant quantities over the set of integers. Here we combine asymptotic matching techniques with a first-order (controlling-factor) WKB method to obtain a theory whose range of applicability is much wider. This allows us to rederive DA from a more general theory, to identify its limitations, and to suggest alternative analytical solutions and scalable numerical techniques when it fails. We carry out our analysis for the calculation of the fixation probability in a fluctuating environment, highlighting the difference between (on average) deleterious and beneficial mutant invasion and the intricate distinction between weak and strong selection.


title: Inelastic X-ray scattering studies of phonon dispersions in superconductors at high pressures

abstract: Electron-phonon interaction is of central importance for the electrical and heat transport properties of metals, and is directly responsible for charge-density-waves or (conventional) superconducting instabilities. The direct observation of phonon dispersion anomalies across electronic phase transitions can provide insightful information regarding the mechanisms underlying their formation. Here, we review the current status of phonon dispersion studies in superconductors under hydrostatic and uniaxial pressure. Advances in the instrumentation of high resolution inelastic X-ray scattering beamlines and pressure generating devices allow these measurements to be performed routinely at synchrotron beamlines worldwide.


title: Prediction in latent factor regression: Adaptive PCR and beyond

abstract: This work is devoted to the finite sample prediction risk analysis of a class of linear predictors of a response $Y\in \mathbb{R}$ from a high-dimensional random vector $X\in \mathbb{R}^p$ when $(X,Y)$ follows a latent factor regression model generated by a unobservable latent vector $Z$ of dimension less than $p$. Our primary contribution is in establishing finite sample risk bounds for prediction with the ubiquitous Principal Component Regression (PCR) method, under the factor regression model, with the number of principal components adaptively selected from the data -- a form of theoretical guarantee that is surprisingly lacking from the PCR literature. To accomplish this, we prove a master theorem that establishes a risk bound for a large class of predictors, including the PCR predictor as a special case. This approach has the benefit of providing a unified framework for the analysis of a wide range of linear prediction methods, under the factor regression setting. In particular, we use our main theorem to recover known risk bounds for the minimum-norm interpolating predictor, which has received renewed attention in the past two years, and a prediction method tailored to a subclass of factor regression models with identifiable parameters. This model-tailored method can be interpreted as prediction via clusters with latent centers. To address the problem of selecting among a set of candidate predictors, we analyze a simple model selection procedure based on data-splitting, providing an oracle inequality under the factor model to prove that the performance of the selected predictor is close to the optimal candidate. We conclude with a detailed simulation study to support and complement our theoretical results.


title: Giant exciton Mott density in anatase TiO2

abstract: Elucidating the carrier density at which strongly bound excitons dissociate into a plasma of uncorrelated electron-hole pairs is a central topic in the many-body physics of semiconductors. However, there is a lack of information on the high-density response of excitons absorbing in the near-to-mid ultraviolet, due to the absence of suitable experimental probes in this elusive spectral range. Here, we present a unique combination of many-body perturbation theory and state-of-the-art ultrafast broadband ultraviolet spectroscopy to unveil the interplay between the ultraviolet-absorbing two-dimensional excitons of anatase TiO$_2$ and a sea of electron-hole pairs. We discover that the critical density for the exciton Mott transition in this material is the highest ever reported in semiconductors. These results deepen our knowledge of the exciton Mott transition and pave the route toward the investigation of the exciton phase diagram in a variety of wide-gap insulators.


title: Cephalometric Landmark Regression with Convolutional Neural Networks on 3D Computed Tomography Data

abstract: In this paper, we address the problem of automatic three-dimensional cephalometric analysis. Cephalometric analysis performed on lateral radiographs doesn't fully exploit the structure of 3D objects due to projection onto the lateral plane. With the development of three-dimensional imaging techniques such as CT, several analysis methods have been proposed that extend to the 3D case. The analysis based on these methods is invariant to rotations and translations and can describe difficult skull deformation, where 2D cephalometry has no use. In this paper, we provide a wide overview of existing approaches for cephalometric landmark regression. Moreover, we perform a series of experiments with state of the art 3D convolutional neural network (CNN) based methods for keypoint regression: direct regression with CNN, heatmap regression and Softargmax regression. For the first time, we extensively evaluate the described methods and demonstrate their effectiveness in the estimation of Frankfort Horizontal and cephalometric points locations for patients with severe skull deformations. We demonstrate that Heatmap and Softargmax regression models provide sufficient regression error for medical applications (less than 4 mm). Moreover, the Softargmax model achieves 1.15o inclination error for the Frankfort horizontal. For the fair comparison with the prior art, we also report results projected on the lateral plane.


title: Counting essential surfaces in 3-manifolds

abstract: We consider the natural problem of counting isotopy classes of essential surfaces in 3-manifolds, focusing on closed essential surfaces in a broad class of hyperbolic 3-manifolds. Our main result is that the count of (possibly disconnected) essential surfaces in terms of their Euler characteristic always has a short generating function and hence has quasi-polynomial behavior. This gives remarkably concise formulae for the number of such surfaces, as well as detailed asymptotics. We give algorithms that allow us to compute these generating functions and the underlying surfaces, and apply these to almost 60,000 manifolds, providing a wealth of data about them. We use this data to explore the delicate question of counting only connected essential surfaces and propose some conjectures. Our methods involve normal and almost normal surfaces, especially the work of Tollefson and Oertel, combined with techniques pioneered by Ehrhart for counting lattice points in polyhedra with rational vertices. We also introduce a new way of testing if a normal surface in an ideal triangulation is essential that avoids cutting the manifold open along the surface; rather, we use almost normal surfaces in the original triangulation.


title: Parallel Performance of ARM ThunderX2 for Atomistic Simulation Algorithms

abstract: Atomistic simulation drives scientific advances in modern material science and accounts for a significant proportion of wall time on High Performance Computing facilities. It is important that algorithms are efficient and implementations are performant in a continuously diversifying hardware landscape. Furthermore, they have to be portable to make best use of the available computing resource. In this paper we assess the parallel performance of some key algorithms implemented in a performance portable framework developed by us. We consider Molecular Dynamics with short range interactions, the Fast Multipole Method and Kinetic Monte Carlo. To assess the performance of emerging architectures, we compare the Marvell ThunderX2 (ARM) architecture to traditional x86_64 hardware made available through the Azure cloud computing service.


title: Morphological Skip-Gram: Using morphological knowledge to improve word representation

abstract: Natural language processing models have attracted much interest in the deep learning community. This branch of study is composed of some applications such as machine translation, sentiment analysis, named entity recognition, question and answer, and others. Word embeddings are continuous word representations, they are an essential module for those applications and are generally used as input word representation to the deep learning models. Word2Vec and GloVe are two popular methods to learn word embeddings. They achieve good word representations, however, they learn representations with limited information because they ignore the morphological information of the words and consider only one representation vector for each word. This approach implies that Word2Vec and GloVe are unaware of the word inner structure. To mitigate this problem, the FastText model represents each word as a bag of characters n-grams. Hence, each n-gram has a continuous vector representation, and the final word representation is the sum of its characters n-grams vectors. Nevertheless, the use of all n-grams character of a word is a poor approach since some n-grams have no semantic relation with their words and increase the amount of potentially useless information. This approach also increases the training phase time. In this work, we propose a new method for training word embeddings, and its goal is to replace the FastText bag of character n-grams for a bag of word morphemes through the morphological analysis of the word. Thus, words with similar context and morphemes are represented by vectors close to each other. To evaluate our new approach, we performed intrinsic evaluations considering 15 different tasks, and the results show a competitive performance compared to FastText.


title: Spatial entanglement and state engineering via four-photon Hong-Ou-Mandel interference

abstract: The phenomenon of entanglement is the basis of quantum information and quantum communication processes. Entangled systems with a large number of photons are of great interest at present because they provide a platform for streaming technologies based on photonics. In this paper we present a device which operates with four-photons and based on the Hong-Ou-Mandel (HOM) interference. The presented device allows to maximize the degree of spatial entanglement and generate the highly entangled four-dimensional Bell states. Furthermore, the use of the interferometer in different regimes leads to fast interference fringes in the coincidence probability with period of oscillations twice smaller than the pump wavelength. We have a good agreement between theoretical simulations and experimental results.


title: Retracing some paths in categorical semantics: From process-propositions-as-types to categorified reals and computers

abstract: The logical parallelism of propositional connectives and type constructors extends beyond the static realm of predicates, to the dynamic realm of processes. Understanding the logical parallelism of process propositions and dynamic types was one of the central problems of the semantics of computation, albeit not always clear or explicit. It sprung into clarity through the early work of Samson Abramsky, where the central ideas of denotational semantics and process calculus were brought together and analyzed by categorical tools, e.g. in the structure of interaction categories. While some logical structures borne of dynamics of computation immediately started to emerge, others had to wait, be it because the underlying logical principles (mainly those arising from coinduction) were not yet sufficiently well-understood, or simply because the research community was more interested in other semantical tasks. Looking back, it seems that the process logic uncovered by those early semantical efforts might still be starting to emerge and that the vast field of results that have been obtained in the meantime might be a valley on a tip of an iceberg. In the present paper, I try to provide a logical overview of the gamut of interaction categories and to distinguish those that model computation from those that capture processes in general. The main coinductive constructions turn out to be of this latter kind, as illustrated towards the end of the paper by a compact category of all real numbers as processes, computable and uncomputable, with polarized bisimulations as morphisms. The addition of the reals arises as the biproduct, real vector spaces are the enriched bicompletions, and linear algebra arises from the enriched kan extensions. At the final step, I sketch a structure that characterizes the computable fragment of categorical semantics.


title: It's LeVAsa not LevioSA! Latent Encodings for Valence-Arousal Structure Alignment

abstract: In recent years, great strides have been made in the field of affective computing. Several models have been developed to represent and quantify emotions. Two popular ones include (i) categorical models which represent emotions as discrete labels, and (ii) dimensional models which represent emotions in a Valence-Arousal (VA) circumplex domain. However, there is no standard for annotation mapping between the two labelling methods. We build a novel algorithm for mapping categorical and dimensional model labels using annotation transfer across affective facial image datasets. Further, we utilize the transferred annotations to learn rich and interpretable data representations using a variational autoencoder (VAE). We present "LeVAsa", a VAE model that learns implicit structure by aligning the latent space with the VA space. We evaluate the efficacy of LeVAsa by comparing performance with the Vanilla VAE using quantitative and qualitative analysis on two benchmark affective image datasets. Our results reveal that LeVAsa achieves high latent-circumplex alignment which leads to improved downstream categorical emotion prediction. The work also demonstrates the trade-off between degree of alignment and quality of reconstructions.


title: Taming the diffusion approximation through a controlling-factor WKB method

abstract: The diffusion approximation (DA) is widely used in the analysis of stochastic population dynamics, from population genetics to ecology and evolution. DA is an uncontrolled approximation that assumes the smoothness of the calculated quantity over the relevant state space and fails when this property is not satisfied. This failure becomes severe in situations where the direction of selection switches sign. Here we employ the WKB (large-deviations) method, which requires only the logarithm of a given quantity to be smooth over its state space. Combining the WKB scheme with asymptotic matching techniques, we show how to derive the diffusion approximation in a controlled manner and how to produce better approximations, applicable for much wider regimes of parameters. We also introduce a scalable (independent of population size) WKB-based numerical technique. The method is applied to a central problem in population genetics and evolution, finding the chance of ultimate fixation in a zero-sum, two-types competition.


title: Multispectral Pan-sharpening via Dual-Channel Convolutional Network with Convolutional LSTM Based Hierarchical Spatial-Spectral Feature Fusion

abstract: Multispectral pan-sharpening aims at producing a high resolution (HR) multispectral (MS) image in both spatial and spectral domains by fusing a panchromatic (PAN) image and a corresponding MS image. In this paper, we propose a novel dual-channel network (DCNet) framework for MS pan-sharpening. In our DCNet, the dual-channel backbone involves a spatial channel to capture spatial information with a 2D CNN, and a spectral channel to extract spectral information with a 3D CNN. This heterogeneous 2D/3D CNN architecture can minimize causing spectral information distortion, which typically happens in conventional 2D CNN models. In order to fully integrate the spatial and spectral features captured from different levels, we introduce a multi-level fusion strategy. Specifically, a spatial-spectral CLSTM (S$^2$-CLSTM) module is proposed for fusing the hierarchical spatial and spectral features, which can effectively capture correlations among multi-level features. The S$^2$-CLSTM module attaches two fusion ways: the intra-level fusion via bi-directional lateral connections and inter-level fusion via the cell state in the S$^2$-CLSTM. Finally, the ideal HR-MS image is recovered by a reconstruction module. Extensive experiments have been conducted at both simulated lower scale and the original scale of real-world datasets. Compared with the state-of-the-art methods, the proposed DCNet achieves superior or competitive performance.


title: ALMA and MUSE observations reveal a quiescent multi-phase circumgalactic medium around the z~3.6 radio galaxy 4C 19.71

abstract: We present MUSE/VLT imaging spectroscopy of rest-frame ultraviolet emission lines and ALMA observations of the [CI] $^3$P$_1$-$^3$P$_0$ emission line, probing both the ionized and diffuse molecular medium around the radio galaxy 4C 19.71 at z~3.6. This radio galaxy has extended Ly$\alpha$ emission over a region ~100 kpc in size preferentially oriented along the axis of the radio jet. Faint Ly$\alpha$ emission extends beyond the radio hot spots. We also find extended CIV and HeII emission over a region of ~150 kpc in size, where the most distant emission lies ~40 kpc beyond the north radio lobe and has narrow FWHM line widths of ~180 km/s and a small relative velocity offset $\Delta$v~130 km/s from the systemic redshift of the radio galaxy. The [CI] is detected in the same region with FWHM~100 km/s and $\Delta$v~5 km/s, while [CI] is not detected in the regions south of the radio galaxy. We interpret the coincidence in the northern line emission as evidence of relatively quiescent multi-phase gas residing within the halo at a projected distance of ~75 kpc from the host galaxy. To test this hypothesis, we performed photoionization and photo-dissociated region (PDR) modeling, using the code Cloudy, of the three emission line regions: the radio galaxy proper and the northern and southern regions. We find that the [CI]/CIV$\lambda\lambda$1548,1551 and CIV$\lambda\lambda$1548,1551/HeII ratios of the two halo regions are consistent with a PDR or ionization front in the circumgalactic medium likely energized by photons from the active galactic nuclei. This modeling is consistent with a relatively low metallicity, 0.03<[Z/Z$_{\odot}$]<0.1, and diffuse ionization with an ionization parameter (proportional to the ratio of the photon number density and gas density) of log U~3 for the two circumgalactic line emission regions. Using rough mass estimates for the molecular [...]


title: Misconceptions on Effective Field Theories and spontaneous symmetry breaking: Response to Ellis' article

abstract: In an earlier paper~\cite{Luu:2019jmb} we discussed emergence from the context of effective field theories, particularly as related to the fields of particle and nuclear physics. We argued on the side of reductionism and weak emergence. George Ellis has critiqued our exposition in~\cite{Ellis:2020vij}, and here we provide our response to his critiques. Many of his critiques are based on incorrect assumptions related to the formalism of effective field theories and we attempt to correct these issues here. We also comment on other statements made in his paper. Important to note is that our response is to his critiques made in archive versions arXiv:2004.13591v1-5 [physics.hist-ph]. That is, versions 1-5 of this archive post. Version 6 has similar content as versions 1-5, but versions 7-9 are seemingly a different paper altogether (even with a different title).


title: Anisotropy fluctuation and correlation in central $\alpha$-clustered $^{12}$C+$^{197}$Au collisions

abstract: In the framework of a multi-phase transport model, fluctuation and correlation of the azimuthal anisotropies in $^{12}$C+$^{197}$Au collisions at $\sqrt{S_{NN}}$ = 200 GeV are explored. Properties of the initial eccentricity and final harmonic flow fluctuation resulted from $^{12}$C+$^{197}$Au collisions with Woods-Saxon configuration and triangular $\alpha$-clustering configurations of $^{12}$C are investigated via scaled variance, skewness and kurtosis. Comparisons are made between results from $\alpha$-clustered configurations and Woods-Saxon configuration. The triangular flow fluctuation is found to have particular sensitivity in distinguishing triangular $\alpha$-clustering structure of $^{12}$C. Furthermore, correlations between initial eccentricities and final flow harmonics are studied with strong multiplicity dependence observed for the correlation functions.


title: Memory-aware Online Compression of CAN Bus Data for Future Vehicular Systems

abstract: Vehicles generate a large amount of data from their internal sensors. This data is not only useful for a vehicle's proper operation, but it provides car manufacturers with the ability to optimize performance of individual vehicles and companies with fleets of vehicles (e.g., trucks, taxis, tractors) to optimize their operations to reduce fuel costs and plan repairs. This paper proposes algorithms to compress CAN bus data, specifically, packaged as MDF4 files. In particular, we propose lightweight, online and configurable compression algorithms that allow limited devices to choose the amount of RAM and Flash allocated to them. We show that our proposals can outperform LZW for the same RAM footprint, and can even deliver comparable or better performance to DEFLATE under the same RAM limitations.


title: Quantum persistent tennis racket dynamics of nanorotors

abstract: Classical rotations of asymmetric rigid bodies are unstable around the axis of intermediate momentof inertia, causing a flipping of rotor orientation. This effect, known as the tennis racket effect,quickly averages to zero in classical ensembles since the flipping period varies significantly uponapproaching the separatrix. Here, we explore the quantum rotations of rapidly spinning thermalasymmetric nanorotors and show that classically forbidden tunnelling gives rise to persistent tennisracket dynamics, in stark contrast to the classical expectation. We characterise this effect, demon-strating that quantum coherent flipping dynamics can persist even in the regime where millions ofangular momentum states are occupied. This persistent flipping offers a promising route for observ-ing and exploiting quantum effects in rotational degrees of freedom for molecules and nanoparticles.


title: Wearable camera-based human absolute localization in large warehouses

abstract: In a robotised warehouse, as in any place where robots move autonomously, a major issue is the localization or detection of human operators during their intervention in the work area of the robots. This paper introduces a wearable human localization system for large warehouses, which utilize preinstalled infrastructure used for localization of automated guided vehicles (AGVs). A monocular down-looking camera is detecting ground nodes, identifying them and computing the absolute position of the human to allow safe cooperation and coexistence of humans and AGVs in the same workspace. A virtual safety area around the human operator is set up and any AGV in this area is immediately stopped. In order to avoid triggering an emergency stop because of the short distance between robots and human operators, the trajectories of the robots have to be modified so that they do not interfere with the human. The purpose of this paper is to demonstrate an absolute visual localization method working in the challenging environment of an automated warehouse with low intensity of light, massively changing environment and using solely monocular camera placed on the human body.


title: Nonclassicality detection from few Fock-state probabilities

abstract: We devise a new class of criteria to certify the nonclassicality of photon- and phonon-number statistics. Our criteria extend and strengthen the broadly used Klyshko's criteria, which require knowledge of only a finite set of Fock-state probabilities. This makes the criteria well-suited to experimental implementation in realistic conditions. Moreover, we prove the completeness of our method in some scenarios, showing that, when only two or three Fock-state probabilities are known, it detects all finite distributions incompatible with classical states. In particular, we show that our criteria detect a broad class of noisy Fock states as nonclassical, even when Klyshko's do not. The method is directly applicable to trapped-ion, superconducting circuits, and optical and optomechanical experiments with photon-number resolving detectors. This work represents a significant milestone towards a complete characterisation of the nonclassicality accessible from limited knowledge of the Fock-state probabilities.


title: Gravitational waveforms from the quasicircular inspiral of compact binaries in massive Brans-Dicke theory

abstract: We study the gravitational waves emitted by an inspiralling compact binary system in massive Brans-Dicke theory. In addition to the two tensor polarizations, which have been obtained in the previous work, we calculate explicitly and analytically the expressions for the time-domain waveforms of the two scalar polarizations. With the stationary phase approximations, we obtain the Fourier transforms of the two tensor polarizations. We find that when the scalar field is light, the waveforms can be mapped to the parametrized post-Einsteinian (ppE) framework and we identify the ppE parameters. However, when the scalar field is heavy, the ppE framework is not applicable. We also obtain the projected constraints on the parameters of this theory by gravitational wave observations of future ground-based detectors. Finally, we apply our result to the model proposed by Damour and Esposito-Far\`{e}se, $f(R)$ gravity, and screened modified gravity.


title: Constraining dense matter physics using f-mode oscillations in neutron stars

abstract: In this undergraduate project, f-mode oscillations in neutron stars are used to constrain the equation of state of dense matter. For the first time, a systematic investigation of the role of nuclear saturation parameters on the mode oscillations is performed. It is found that the uncertainty in the determination of effective nucleon mass plays the most significant role in controlling the f-mode frequencies. Correlations of the frequencies with astrophysical observables relevant for asteroseismology are also investigated. Future detection of f-mode frequencies could then provide a unique way of constraining nuclear empirical parameters and therefore the behaviour of dense matter.


title: Triebel-Lizorkin regularity and bi-Lipschitz maps: composition operator and inverse function regularity

abstract: We study the stability of Triebel-Lizorkin regularity of bounded functions and Lipschitz functions under bi-Lipschitz changes of variables and the regularity of the inverse function of a Triebel-Lizorkin bi-Lipschitz map in Lipschitz domains. To obtain the results we provide an equivalent norm for the Triebel-Lizorkin spaces with fractional smoothness in uniform domains in terms of the first-order difference of the last weak derivative available averaged on balls.


title: Foliations with isolated singularities on Hirzebruch surfaces

abstract: We study foliations $\mathcal{F}$ on Hirzebruch surfaces $S_\delta$ and prove that, similarly to those on the projective plane, any $\mathcal{F}$ can be represented by a bi-homogeneous polynomial affine $1$-form. In case $\mathcal{F}$ has isolated singularities, we show that, for $ \delta=1 $, the singular scheme of $\mathcal{F}$ does determine the foliation, with some exceptions that we describe, as is the case of foliations in the projective plane. For $\delta \neq 1$, we prove that the singular scheme of $\mathcal{F}$ does not determine the foliation. However we prove that, in most cases, two foliations $\mathcal{F}$ and $\mathcal{F}'$ given by sections $s$ and $s'$ have the same singular scheme if and only if $s'=\Phi(s)$, for some global endomorphism $\Phi $ of the tangent bundle of $S_\delta$.


title: On Biproducts and Extensions

abstract: We describe in which ways the Radford biproducts of certain eight-dimensional Yetter-Drinfel'd Hopf algebras over the elementary abelian group of order 4 can be written as extensions of Hopf algebras.


title: Hardy's inequalities in finite dimensional Hilbert spaces

abstract: We study the behaviour of the smallest possible constants $d_n$ and $c_n$ in Hardy's inequalities $$ \sum_{k=1}^{n}\Big(\frac{1}{k}\sum_{j=1}^{k}a_j\Big)^2\leq d_n\,\sum_{k=1}^{n}a_k^2, \qquad (a_1,\ldots,a_n) \in \mathbb{R}^n $$ and $$ \int_{0}^{\infty}\Bigg(\frac{1}{x}\int\limits_{0}^{x}f(t)\,dt\Bigg)^2 dx \leq c_n \int_{0}^{\infty} f^2(x)\,dx, \ \ f\in \mathcal{H}_n, $$ for the finite dimensional spaces $\mathbb{R}^n$ and $\mathcal{H}_n:=\{f\,:\, \int_0^x f(t) dt =e^{-x/2}\,p(x)\ :\ p\in \mathcal{P}_n, p(0)=0\}$, where $\mathcal{P}_n$ is the set of real-valued algebraic polynomials of degree not exceeding $n$. The constants $d_n$ and $c_n$ are identified as the smallest eigenvalues of certain Jacobi matrices and the two-sided estimates for $d_n$ and $c_n$ of the form $$ 4-\frac{c}{\ln n}< d_n, c_n<4-\frac{c}{\ln^2 n}\,,\qquad c>0\, $$ are established.


title: Quadrilateral meshes for PSLGs

abstract: We prove that every planar straight line graph with $n$ vertices has a conforming quadrilateral mesh with $O(n^2)$ elements, all angles $\leq 120^\circ$ and all new angles $\geq 60^\circ$. Both the complexity and the angle bounds are sharp. Moreover, all but $O(n)$ of the angles may be taken in a smaller interval, say $[89^\circ, 91^\circ]$.


title: Investigating Bias and Fairness in Facial Expression Recognition

abstract: Recognition of expressions of emotions and affect from facial images is a well-studied research problem in the fields of affective computing and computer vision with a large number of datasets available containing facial images and corresponding expression labels. However, virtually none of these datasets have been acquired with consideration of fair distribution across the human population. Therefore, in this work, we undertake a systematic investigation of bias and fairness in facial expression recognition by comparing three different approaches, namely a baseline, an attribute-aware and a disentangled approach, on two well-known datasets, RAF-DB and CelebA. Our results indicate that: (i) data augmentation improves the accuracy of the baseline model, but this alone is unable to mitigate the bias effect; (ii) both the attribute-aware and the disentangled approaches fortified with data augmentation perform better than the baseline approach in terms of accuracy and fairness; (iii) the disentangled approach is the best for mitigating demographic bias; and (iv) the bias mitigation strategies are more suitable in the existence of uneven attribute distribution or imbalanced number of subgroup data.


title: Structural and Transport Properties of Li/S Battery Electrolytes: Role of the Polysulfide Species

abstract: Lithium--sulfur (Li/S) batteries are regarded as one of the most promising energy storage devices beyond lithium-ion batteries because of their high energy density of 2600 Wh/kg and an affordable cost of sulfur. Meanwhile, some challenges inherent to Li/S batteries remain to be tackled, for instance, the polysulfide (PS) shuttle effect, the irreversible solidification of Li$_2$S, and the volume expansion of the cathode material during discharge. On the molecular level, these issues originate from the structural and solubility behavior of the PS species in bulk and in the electrode confinement. In this study, we use classical molecular dynamics (MD) simulations to develop a working model for PS of different chain lengths in applied electrolyte solutions of lithium bistriflimide (LiTFSI) in 1,2-dimethoxyethane (DME) and 1,3-dioxolane (DOL) mixtures. We investigate conductivities, diffusion coefficients, solvation structures, and clustering behavior and verify our simulation model with experimental measurements available in literature and newly performed by us. Our results show that diffusion coefficients and conductivities are significantly influenced by the chain length of PS. The conductivity contribution of the short chains, like Li$_2$S$_4$, is lower than of longer PS chains, such as Li$_2$S$_6$ or Li$_2$S$_8$, despite the fact that the diffusion coefficient of Li$_2$S$_4$ is higher than for longer PS chains. The low conductivity of Li$_2$S$_4$ can be attributed to its low degree of dissociation and even to a formation of large clusters in the solution. It is also found that an addition of 1 M LiTFSI into PS solutions considerably reduces the clustering behavior. Our simulation model enables future systematic studies in various solvating and confining systems for the rational design of Li/S electrolytes.


title: Filling, depinning, unbinding: Three adsorption regimes for nanocorrugated substrates

abstract: We study adsorption at periodically corrugated substrates formed by scoring rectangular grooves into a planar solid wall which interacts with the fluid via long-range (dispersion) forces. The grooves are assumed to be macroscopically long but their depth, width and separations can all be molecularly small. We show that the entire adsorption process can be divided into three parts consisting of (i) \emph{filling} the grooves by a capillary liquid; (ii) \emph{depinning} of the liquid-gas interface from the wall edges; and (iii) \emph{unbinding} of the interface from the top of the wall, which is accompanied by a rapid but continuous flattening of its shape. Using a nonlocal density functional theory and mesoscopic interfacial models all the regimes are discussed in some detail to reveal the complexity of the entire process and subtle aspects that affect its behaviour. In particular, it is shown that the nature of the depinning phenomenon is governed by the width of the wall pillars (separating grooves), whilst the grooves width only controls the location of the depinning first-order transition, if present.


title: Lattice QCD constraints on the heavy quark diffusion coefficient

abstract: We report progress towards computing the heavy quark momentum diffusion coefficient from the correlator of two chromo-electric fields attached to a Polyakov loop in pure SU(3) gauge theory. Using a multilevel algorithm and tree-level improvement, we study the behavior of the diffusion coefficient as a function of temperature in the wide range $1.1 < T / T_c < 10^4$ in order to compare it to perturbative expansions at high temperature. We find that within errors the lattice results are remarkably compatible with the next-to-leading order perturbative result.


title: Flood zones detection using a runoff model built on Hexagonal shape based cellular automata

abstract: This article presents a 3D geographic information systems (GIS) modeling and simulation of water flow in a landscape defined by a digital terrain model, provided by some available geolocation APIs. The proposed approach uses a cellular automata based algorithm to calculate water flow dynamic. The methodology was tested on a case study area of 27kmx19km located in Tangier, north of Morocco. In fact, we aim to detect flood zones in order to prevent problems related to space occupation in urban and rural regions. Some indices can be deduced from the stream shape using Cellular Automata (CA) based approach that can reduce the complexity related to space structures with multiple changes. A spatiotemporal simulation of the runoff process is provided using 3D visualization that we can pair with geographical information system tools (GIS). The 3D GIS modeling approach that was developed for the analyses of flood zones detection using a runoff model based on cellular automata was comprised of three main steps: Input (collection of data), calculation (CA tool) and visualization (3D simulation).


title: Strong-field effects in massive scalar-tensor gravity for slowly spinning neutron stars and application to X-ray pulsar pulse profiles

abstract: Neutron stars (NSs) in scalar-tensor (ST) theories of gravitation can acquire scalar charges and generate distinct spacetimes from those in General Relativity (GR) through the celebrated phenomenon of spontaneous scalarization. Taking on an ST theory with the mass term of the scalar field, we determine the theory parameter space for spontaneous scalarization by investigating the linearized scalar field equation. Then the full numerical solutions for slowly rotating NSs are obtained and studied in great detail. The resulted spacetime is used to calculate test-particle geodesics. The lightlike geodesics are used to construct the profile of X-ray radiation from a pair of hot spots on the surface of scalarized NSs, which potentially can be compared with the data from the Neutron star Interior Composition Explorer (NICER) mission for testing the ST theory.


title: Thermal Annealing Effect on Electrical and Structural Properties of Tungsten Carbide Schottky Contacts on AlGaN/GaN heterostructures

abstract: Tungsten carbide (WC) contacts have been investigated as a novel gold-free Schottky metallization for AlGaN/GaN heterostructures. The evolution of the electrical and structural/compositional properties of the WC/AlGaN contact has been monitored as a function of the annealing temperature in the range from 400 to 800{\deg}C. The Schottky barrier height ($\Phi$B) at WC/AlGaN interface, extracted from the forward current-voltage characteristics of the diode, decreased from 0.8 eV in the as-deposited and 400{\deg}C annealed sample, to 0.56 eV after annealing at 800 {\deg}C. This large reduction of $\Phi$B was accompanied by a corresponding increase of the reverse bias leakage current. Transmission electron microscopy coupled to electron energy loss spectroscopy analyses revealed the presence of oxygen (O) uniformly distributed in the WC layer, both in the as-deposited and 400{\deg}C annealed sample. Conversely, oxygen accumulation in a 2-3 nm thin W-O-C layer at the interface with AlGaN was observed after the annealing at 800 {\deg}C, as well as the formation of W2C grains within the film (confirmed by X-ray diffraction analyses). The formation of this interfacial W-O-C layer is plausibly the main origin of the decreased $\Phi$B and the increased leakage current in the 800{\deg}C annealed Schottky diode, whereas the decreased O content inside the WC film can explain the reduced resistivity of the metal layer. The results provide an assessment of the processing conditions for the application of WC as Schottky contact for AlGaN/GaN heterostructures.


title: Relative Pose from Deep Learned Depth and a Single Affine Correspondence

abstract: We propose a new approach for combining deep-learned non-metric monocular depth with affine correspondences (ACs) to estimate the relative pose of two calibrated cameras from a single correspondence. Considering the depth information and affine features, two new constraints on the camera pose are derived. The proposed solver is usable within 1-point RANSAC approaches. Thus, the processing time of the robust estimation is linear in the number of correspondences and, therefore, orders of magnitude faster than by using traditional approaches. The proposed 1AC+D solver is tested both on synthetic data and on 110395 publicly available real image pairs where we used an off-the-shelf monocular depth network to provide up-to-scale depth per pixel. The proposed 1AC+D leads to similar accuracy as traditional approaches while being significantly faster. When solving large-scale problems, e.g., pose-graph initialization for Structure-from-Motion (SfM) pipelines, the overhead of obtaining ACs and monocular depth is negligible compared to the speed-up gained in the pairwise geometric verification, i.e., relative pose estimation. This is demonstrated on scenes from the 1DSfM dataset using a state-of-the-art global SfM algorithm. Source code: https://github.com/eivan/one-ac-pose


title: The Geometry of Information Cocoon: Analyzing the Cultural Space with Word Embedding Models

abstract: Accompanied by the development of digital media, the threat of information cocoon has become a significant issue. However, little is known about the measure of information cocoon as a cultural space and its relationship with social class. This study addresses this problem by constructing the cultural space with word embedding models and random shuffling methods among three large-scale digital media use datasets. In the light of field theory of cultural production, we investigate the information cocoon effect on different social classes among 979 computer users, 100,000 smartphone users, and 159,373 mobile reading application users. Our analysis reveals that information cocoons widely exist in the daily use of digital media. Moreover, people of lower social class have a higher probability of getting stuck in the information cocoon filled with the entertainment content. In contrast, the people of higher social class have more capability to stride over the constraints of the information cocoon. The results suggest that the disadvantages for vulnerable groups in acquiring knowledge may further widen social inequality.


title: Current-induced nonreciprocity and refraction-free propagation in a one-dimensional graphene-based photonic crystal

abstract: Nonreciprocal photonic devices play a significant role in regulating the propagation of electromagnetic waves. Here we theoretically investigate the nonreciprocal properties of transverse magnetic modes in a one-dimensional graphene-based photonic crystal subjected to an applied electrical DC bias. We find that drifting electrons driven by the external DC electric field can give rise to extremely asymmetric dispersion diagrams. Furthermore, when the drifting electrons travel antiparallel to the normal component of the incident wave vector, the negative refraction is strongly suppressed, causing the energy of light to flow along the direction of the direct electric current. Our theoretical findings can be used to design nonreciprocal nanophotonic devices and enable light to propagate without refraction.


title: An Integrated Approach to Goal Selection in Mobile Robot Exploration

abstract: This paper deals with the problem of autonomous navigation of a mobile robot in an unknown 2D environment to fully explore the environment as efficiently as possible. We assume a terrestrial mobile robot equipped with a ranging sensor with a limited range and 360 degrees field of view. The key part of the exploration process is formulated as the d-Watchman Route Problem which consists of two coupled tasks - candidate goals generation and finding an optimal path through a subset of goals - which are solved in each exploration step. The latter has been defined as a constrained variant of the Generalized Traveling Salesman Problem and solved using an evolutionary algorithm. An evolutionary algorithm that uses an indirect representation and the nearest neighbor based constructive procedure was proposed to solve this problem. Individuals evolved in this evolutionary algorithm do not directly code the solutions to the problem. Instead, they represent sequences of instructions to construct a feasible solution. The problems with efficiently generating feasible solutions typically arising when applying traditional evolutionary algorithms to constrained optimization problems are eliminated this way. The proposed exploration framework was evaluated in a simulated environment on three maps and the time needed to explore the whole environment was compared to state-of-the-art exploration methods. Experimental results show that our method outperforms the compared ones in environments with a low density of obstacles by up to 12.5%, while it is slightly worse in office-like environments by 4.5% at maximum. The framework has also been deployed on a real robot to demonstrate the applicability of the proposed solution with real hardware.


title: Influence of charges on the behavior of polyelectrolyte microgels confined to oil-water interfaces

abstract: The role of electrostatics on the interfacial properties of polyelectrolyte microgels has been discussed controversially in the literature. It is not yet clear if, or how, Coulomb interactions affect their behavior under interfacial confinement. In this work, we combine compression isotherms, atomic force microscopy imaging, and computer simulations to further investigate the behavior of pH-responsive microgels at oil-water interfaces. At low compression, charged microgels can be compressed more than uncharged microgels. The in-plane effective area of charged microgels is found to be smaller in comparison to uncharged ones. Thus, the compressibility is governed by in-plane interactions of the microgels with the interface. At high compression, however, charged microgels are less compressible than uncharged microgels. Microgel fractions located in the aqueous phase interact earlier for charged than for uncharged microgels because of their different swelling perpendicular to the interface. Therefore, the compressibility at high compression is controlled by out-of-plane interactions. In addition, the size of the investigated microgels plays a pivotal role. The charge-dependent difference in compressibility at low compression is only observed for small but not for large microgels, while the behavior at high compression does not depend on the size. Our results highlight the complex nature of soft polymer microgels as compared to rigid colloidal particles. We clearly demonstrate that electrostatic interactions affect the interfacial properties of polyelectrolyte microgels.


title: Shopping in the Multiverse: A Counterfactual Approach to In-Session Attribution

abstract: We tackle the challenge of in-session attribution for on-site search engines in eCommerce. We phrase the problem as a causal counterfactual inference, and contrast the approach with rule-based systems from industry settings and prediction models from the multi-touch attribution literature. We approach counterfactuals in analogy with treatments in formal semantics, explicitly modeling possible outcomes through alternative shopper timelines; in particular, we propose to learn a generative browsing model over a target shop, leveraging the latent space induced by prod2vec embeddings; we show how natural language queries can be effectively represented in the same space and how "search intervention" can be performed to assess causal contribution. Finally, we validate the methodology on a synthetic dataset, mimicking important patterns emerged in customer interviews and qualitative analysis, and we present preliminary findings on an industry dataset from a partnering shop.


title: Interpretable, Multidimensional, Multimodal Anomaly Detection with Negative Sampling for Detection of Device Failure

abstract: Complex devices are connected daily and eagerly generate vast streams of multidimensional state measurements. These devices often operate in distinct modes based on external conditions (day/night, occupied/vacant, etc.), and to prevent complete or partial system outage, we would like to recognize as early as possible when these devices begin to operate outside the normal modes. Unfortunately, it is often impractical or impossible to predict failures using rules or supervised machine learning, because failure modes are too complex, devices are too new to adequately characterize in a specific environment, or environmental change puts the device into an unpredictable condition. We propose an unsupervised anomaly detection method that creates a negative sample from the positive, observed sample, and trains a classifier to distinguish between positive and negative samples. Using the Contraction Principle, we explain why such a classifier ought to establish suitable decision boundaries between normal and anomalous regions, and show how Integrated Gradients can attribute the anomaly to specific variables within the anomalous state vector. We have demonstrated that negative sampling with random forest or neural network classifiers yield significantly higher AUC scores than Isolation Forest, One Class SVM, and Deep SVDD, against (a) a synthetic dataset with dimensionality ranging between 2 and 128, with 1, 2, and 3 modes, and with and without noise dimensions; (b) four standard benchmark datasets; and (c) a multidimensional, multimodal dataset from real climate control devices. Finally, we describe how negative sampling with neural network classifiers have been successfully deployed at large scale to predict failures in real time in over 15,000 climate-control and power meter devices in 145 Google office buildings.


title: Antarjami: Exploring psychometric evaluation through a computer-based game

abstract: A number of questionnaire based psychometric testing frameworks are globally for example OCEAN (Five factor) indicator, MBTI (Myers Brigg Type Indicator) etc. However, questionnaire based psychometric tests have some known shortcomings. This work explores whether these shortcomings can be mitigated through computer-based gaming platforms for evaluating psychometric parameters. A computer based psychometric game framework called Antarjami has been developed for evaluating OCEAN (Five factor) indicators. It investigates the feasibility of extracting psychometric parameters through computer-based games, utilizing underlying improvements in the area of modern artificial intelligence. The candidates for the test are subjected to a number scenarios as part of the computer based game and their reactions/responses are used to evaluate their psychometric parameters. As part of the study, the parameters obtained from the game were compared with those evaluated using paper based tests and scores given by a panel of psychologists. The achieved results were very promising.


title: Meet MASKS: A novel Multi-Classifier's verification approach

abstract: In this study, a new ensemble approach for classifiers is introduced. A verification method for better error elimination is developed through the integration of multiple classifiers. A multi-agent system comprised of multiple classifiers is designed to verify the satisfaction of the safety property. In order to examine the reasoning concerning the aggregation of the distributed knowledge, a logical model has been proposed. To verify predefined properties, a Multi-Agent Systems' Knowledge-Sharing algorithm (MASKS) has been formulated and developed. As a rigorous evaluation, we applied this model to the Fashion-MNIST, MNIST, and Fruit-360 datasets, where it reduced the error rate to approximately one-tenth of the individual classifiers.


title: Hydrodynamic and thermal characteristics of a freely-vibrating circular cylinder in mixed convection flow

abstract: The hydrodynamic and thermal characteristics of a freely-vibrating circular cylinder in mixed convection flow are numerically investigated at low Reynolds numbers. The numerical investigations are conducted for a range of parameters, Ur = [2.0, 10], Pr = [0.7, 10] and Ri = [0.5, 2.0]. Whereas the Reynolds number, the mass ratio and the damping ratio are fixed. A secondary VIV lock-in region is found in the cases of high Richardson number Ri=2.0 for high reduced velocity values, in which the buoyancy-driven flow is non-trivial. A wide VIV lock-in region is formed with tremendous energy transfer between fluid and structure, which is extremely meaningful for hydropower harvesting. The influences of Prandtl and Richardson numbers on the hydrodynamics, structural dynamics and heat transfer are discussed in detail. The temperature contours are concentrated around cylinder for the cases of high Prandtl number, which are associated with high mean Nusselt values. The influence on heat transfer efficiency over the cylinder's surface is quantified via the calculation of mean Nusselt number and its fluctuation for different circumstances. The energy transfer coefficient is employed to quantify the energy transfer between fluid and structure in mixed convection flow. The phase angle difference between the transverse displacement of cylinder and the lift force is used to support the discussions of energy transfer. A stabilized finite element formulation in Arbitrary Lagrangian-Eulerian description is derived. The structural dynamics and vortex-induced vibration are documented for various environments, e.g., different reduced velocity, Prandtl numbers and Richardson numbers. The influence of structural dynamics on the heat transfer efficiency over a heated cylinder is recorded and discussed as well. The obtained numerical results match well with literature and the established empirical formula.


title: Improving Attention-Based Handwritten Mathematical Expression Recognition with Scale Augmentation and Drop Attention

abstract: Handwritten mathematical expression recognition (HMER) is an important research direction in handwriting recognition. The performance of HMER suffers from the two-dimensional structure of mathematical expressions (MEs). To address this issue, in this paper, we propose a high-performance HMER model with scale augmentation and drop attention. Specifically, tackling ME with unstable scale in both horizontal and vertical directions, scale augmentation improves the performance of the model on MEs of various scales. An attention-based encoder-decoder network is used for extracting features and generating predictions. In addition, drop attention is proposed to further improve performance when the attention distribution of the decoder is not precise. Compared with previous methods, our method achieves state-of-the-art performance on two public datasets of CROHME 2014 and CROHME 2016.


title: Learning Adaptive Sampling and Reconstruction for Volume Visualization

abstract: A central challenge in data visualization is to understand which data samples are required to generate an image of a data set in which the relevant information is encoded. In this work, we make a first step towards answering the question of whether an artificial neural network can predict where to sample the data with higher or lower density, by learning of correspondences between the data, the sampling patterns and the generated images. We introduce a novel neural rendering pipeline, which is trained end-to-end to generate a sparse adaptive sampling structure from a given low-resolution input image, and reconstructs a high-resolution image from the sparse set of samples. For the first time, to the best of our knowledge, we demonstrate that the selection of structures that are relevant for the final visual representation can be jointly learned together with the reconstruction of this representation from these structures. Therefore, we introduce differentiable sampling and reconstruction stages, which can leverage back-propagation based on supervised losses solely on the final image. We shed light on the adaptive sampling patterns generated by the network pipeline and analyze its use for volume visualization including isosurface and direct volume rendering.


title: On a zero-sum problem arising from factorization theory

abstract: We study a zero-sum problem dealing with minimal zero-sum sequences of maximal length over finite abelian groups. A positive answer to this problem yields a structural description of sets of lengths with maximal elasticity in transfer Krull monoids over finite abelian groups.


title: A Big Data Approach for Sequences Indexing on the Cloud via Burrows Wheeler Transform

abstract: Indexing sequence data is important in the context of Precision Medicine, where large amounts of ``omics'' data have to be daily collected and analyzed in order to categorize patients and identify the most effective therapies. Here we propose an algorithm for the computation of Burrows Wheeler transform relying on Big Data technologies, i.e., Apache Spark and Hadoop. Our approach is the first that distributes the index computation and not only the input dataset, allowing to fully benefit of the available cloud resources.


title: The branching ratio of intercombination $A^1\Sigma^+\sim b^3\Pi\to a^3\Sigma^+/X^1\Sigma^+$ transitions in the RbCs molecule: measurements and calculations

abstract: We observed the $A^1\Sigma^+\sim b^3\Pi\to a^3\Sigma^+/X^1\Sigma^+$ laser-induced fluorescence (LIF) spectra of the RbCs molecule excited from the ground $X^1\Sigma^+$ state by the Ti:Sapphire laser. The LIF radiation from the common perturbed levels of the singlet-triplet $A\sim b$ complex was recorded by the Fourier-transform (FT) spectrometer with the instrumental resolution of 0.03~cm$^{-1}$. The relative intensity distribution in the rotationally resolved $A\sim b\to a^3\Sigma^+(v_a)/X^1\Sigma^+(v_X)$ progressions was measured, and their branching ratio was found to be about of 1$\div$5$ \times$10$^{-4}$ in the bound region of the $a^3\Sigma^+$ and $X^1\Sigma^+$ states. The experiment was complemented with the scalar and full relativistic calculations of the $A/b - X/a$ transition dipole moments (TDMs) as functions of internuclear distance. The relative systematic error in the resulting \emph{ab initio} TDM functions evaluated for the strong $A - X$ transition was estimated as few percent in the energy region, where the experimental LIF intensities are relevant. The relative spectral sensitivity of the FT registration system, operated with the InGaAs diode detector and CaF beam-splitter, was calibrated in the range $[6~500,12~000]$~cm$^{-1}$ by a comparison of experimental intensities in the long $A\sim b\to X(v_X)$ LIF progressions of the K$_2$ and KCs molecules with their theoretical counterparts evaluated using the \emph{ab initio} $A - X$ TDMs. Both experimental and theoretical transition probabilities can be employed to improve the stimulated Raman adiabatic passage process, $a\to A\sim b \to X$, which is exploited for a laser assembling of ultracold RbCs molecules.


title: The search for disks or planetary objects around directly imaged companions: A candidate around DH Tau B

abstract: In recent decades, thousands of substellar companions have been discovered with both indirect and direct methods of detection. In this paper, we focus our attention on substellar companions detected with the direct imaging technique, with the primary goal of investigating their close surroundings and looking for additional companions and satellites, as well as disks and rings. Any such discovery would shed light on many unresolved questions, particularly with regard to their possible formation mechanisms. To reveal bound features of directly imaged companions we need to suppress the contribution from the source itself. Therefore, we developed a method based on the negative fake companion (NEGFC) technique that first estimates the position in the field of view (FoV) and the flux of the imaged companion, then subtracts a rescaled model point spread function (PSF) from the imaged companion. Next it performs techniques, such as angular differential imaging (ADI), to further remove quasi-static patterns of the star. We applied the method to the sample of substellar objects observed with SPHERE during the SHINE GTO survey. Among the 27 planets and brown dwarfs we analyzed, we detected a possible point source close to DH Tau B. This candidate companion was detected in four different SPHERE observations, with an estimated mass of $\sim 1$ M\textsubscript{Jup}, and a mass ratio with respect to the brown dwarf of $1/10$. This binary system, if confirmed, would be the first of its kind, opening up interesting questions for the formation mechanism, evolution, and frequency of such pairs. In order to address the latter, the residuals and contrasts reached for 25 companions in the sample of substellar objects observed with SPHERE were derived. If the DH Tau Bb companion is real, the binary fraction obtained is $\sim 7\%$, which is in good agreement with the results obtained for field brown dwarfs.


title: Unsupervised anomaly detection for discrete sequence healthcare data

abstract: Fraud in healthcare is widespread, as doctors could prescribe unnecessary treatments to increase bills. Insurance companies want to detect these anomalous fraudulent bills and reduce their losses. Traditional fraud detection methods use expert rules and manual data processing. Recently, machine learning techniques automate this process, but hand-labeled data is extremely costly and usually out of date. We propose a machine learning model that automates fraud detection in an unsupervised way. Two deep learning approaches include LSTM neural network for prediction next patient visit and a seq2seq model. For normalization of produced anomaly scores, we propose Empirical Distribution Function (EDF) approach. So, the algorithm works with high class imbalance problems. We use real data on sequences of patients' visits data from Allianz company for the validation. The models provide state-of-the-art results for unsupervised anomaly detection for fraud detection in healthcare. Our EDF approach further improves the quality of LSTM model.


title: Early Stopping in Deep Networks: Double Descent and How to Eliminate it

abstract: Over-parameterized models, such as large deep networks, often exhibit a double descent phenomenon, whereas a function of model size, error first decreases, increases, and decreases at last. This intriguing double descent behavior also occurs as a function of training epochs and has been conjectured to arise because training epochs control the model complexity. In this paper, we show that such epoch-wise double descent arises for a different reason: It is caused by a superposition of two or more bias-variance tradeoffs that arise because different parts of the network are learned at different epochs, and eliminating this by proper scaling of stepsizes can significantly improve the early stopping performance. We show this analytically for i) linear regression, where differently scaled features give rise to a superposition of bias-variance tradeoffs, and for ii) a two-layer neural network, where the first and second layer each govern a bias-variance tradeoff. Inspired by this theory, we study two standard convolutional networks empirically and show that eliminating epoch-wise double descent through adjusting stepsizes of different layers improves the early stopping performance significantly.


title: Computing stable resultant-based minimal solvers by hiding a variable

abstract: Many computer vision applications require robust and efficient estimation of camera geometry. The robust estimation is usually based on solving camera geometry problems from a minimal number of input data measurements, i.e., solving minimal problems, in a RANSAC-style framework. Minimal problems often result in complex systems of polynomial equations. The existing state-of-the-art methods for solving such systems are either based on Gr\"obner bases and the action matrix method, which have been extensively studied and optimized in the recent years or recently proposed approach based on a sparse resultant computation using an extra variable. In this paper, we study an interesting alternative sparse resultant-based method for solving sparse systems of polynomial equations by hiding one variable. This approach results in a larger eigenvalue problem than the action matrix and extra variable sparse resultant-based methods; however, it does not need to compute an inverse or elimination of large matrices that may be numerically unstable. The proposed approach includes several improvements to the standard sparse resultant algorithms, which significantly improves the efficiency and stability of the hidden variable resultant-based solvers as we demonstrate on several interesting computer vision problems. We show that for the studied problems, our sparse resultant based approach leads to more stable solvers than the state-of-the-art Gr\"obner bases-based solvers as well as existing sparse resultant-based solvers, especially in close to critical configurations. Our new method can be fully automated and incorporated into existing tools for the automatic generation of efficient minimal solvers.


title: High Brightness Lasing at Sub-micron Enabled by Droop-Free Fin Light-Emitting Diodes

abstract: Efficiency droop, i.e., a decline in brightness of LEDs at high electrical currents, has limited the performance of all commercially available LEDs. Until now, it has limited the output power of sub-micron LEDs and lasers to nanowatt range. Here we present a fin p-n junction LED pixel that eliminates efficiency droop, allowing LEDs brightness to increase linearly with injected current. With record current densities of 1000 KA/cm2 (100 mA), the LEDs transition to lasing within the fin, with high brightness. Despite a light extraction efficiency of only 15%, these devices exceed the output power of any previous electrically-driven sub-micron LED or laser pixel by 100 to 1000 times, while showing comparable external quantum efficiencies. Modeling suggests that spreading of the electron-hole recombination region in fin LEDs at high injection levels suppresses the non-radiative Auger recombination processes. Further refinement of this design is expected to enable development of a new generation of high brightness electrically addressable LED and laser pixels for macro- and micro-scale applications.


title: A Machine Learning Approach for Task and Resource Allocation in Mobile Edge Computing Based Networks

abstract: In this paper, a joint task, spectrum, and transmit power allocation problem is investigated for a wireless network in which the base stations (BSs) are equipped with mobile edge computing (MEC) servers to jointly provide computational and communication services to users. Each user can request one computational task from three types of computational tasks. Since the data size of each computational task is different, as the requested computational task varies, the BSs must adjust their resource (subcarrier and transmit power) and task allocation schemes to effectively serve the users. This problem is formulated as an optimization problem whose goal is to minimize the maximal computational and transmission delay among all users. A multi-stack reinforcement learning (RL) algorithm is developed to solve this problem. Using the proposed algorithm, each BS can record the historical resource allocation schemes and users' information in its multiple stacks to avoid learning the same resource allocation scheme and users' states, thus improving the convergence speed and learning efficiency. Simulation results illustrate that the proposed algorithm can reduce the number of iterations needed for convergence and the maximal delay among all users by up to 18% and 11.1% compared to the standard Q-learning algorithm.


title: BPS Explained III: The Leading Order Behavior of the BBGKY Hierarchy in a Plasma

abstract: This is the third in a series of lectures on the technique of dimensional continuation, employed by Brown, Preston and Singleton (BPS), for calculating Coulomb energy exchange rates in a plasma. Two important examples of such processes are the charged particle stopping power and the temperature equilibration rate between different plasma species. The first lecture was devoted to understanding the machinery of dimensional continuation, and the second concentrated on calculating the electron-ion temperature equilibration rate in the extreme quantum limit. In this lecture, I will examine one of the main theoretical underpinnings of the BPS theory, namely, the dimensional reduction of the BBGKY hierarchy. I will prove that to leading order in the plasma coupling $g$, the BBGKY hierarchy reduces to the BE for dimensions greater then three and to the LBE for dimensions less than three. We must eventually return to three dimensions, and the BPS formalism shows that the simple poles associated with the BE and the LBE exactly cancel, rendering the limit in three dimensions finite. Furthermore, the leading order behavior of the LBE becomes next-to-leading order when the dimensions is analytically continued from less than three to greater than three. This provides the leading and next-to-leading order terms in $g$ exactly, which is equivalent to an exact calculation of the so-called Coulomb logarithm with no use of an integral cut-off. In this way, BPS takes all Coulomb interactions into account to leading and next-to-leading order in $g$.


title: Minimal conditions for BMO

abstract: We study minimal integrability conditions via Luxemburg-type expressions with respect to generalized oscillations that imply the membership of a given function $f$ to the space BMO. Our method is simple, sharp and flexible enough to be adapted to several different settings, like spaces of homogeneous type, non doubling measures on $\mathbb{R}^n$ and also BMO spaces defined over more general bases than the basis of cubes.


title: Enforcing Annual Emission Constraints in Short-Term Operation of Local Energy Systems

abstract: This paper presents new methods for ensuring that the energy system of a neighborhood that is designed with the objective of being zero emission is actually operated in a way that allows it to reach net zero emissions in its lifetime. This paper highlights the necessity of taking into account realistic operation strategies when designing the energy system of such neighborhoods. It also suggests methods that can be used in the operation of ZENs to ensure carbon neutrality. An optimization model for designing the energy system of a Zero Emission Neighborhood (ZEN) is first presented and used to produce two designs for a campus in the South of Norway in the case where the amount of PV is limited (PVlim) and when it is not (Base). Several operation approaches are then introduced to compare their operation cost and the CO2 emissions and compensations. These approaches are perfect foresight used as a reference (Ref.),a purely economic model predictive control (E-MPC), an MPC with penalization if deviating from emission targets (EmE-MPC)and a receding horizon MPC where we have a net zero emission constraint over the year (RH-MPC). The resulting energy systems are, in the Base case, PV, heat pumps, a gas boiler and heat storage and, in the PVlim case, a smaller amount of PV, a CHP plant, and heat storage. In the Base case all operation strategies manage to reach net zero emissions, largely due to the passive compensations obtained from the PV. RH-MPC offers the lowest cost. In the PVlim case, the passive effect of the PV is not sufficient to reach net zero emissions and an operation approach specifically taking into account the emissions is necessary. EmE-MPC achieves the lowest emissions but it comes at a much higher cost. We conclude that the best overall strategy is RH-MPC which maintains both the cost and the emission-compensation balance close to the reference case with perfect foresight.


title: ThriftyNets : Convolutional Neural Networks with Tiny Parameter Budget

abstract: Typical deep convolutional architectures present an increasing number of feature maps as we go deeper in the network, whereas spatial resolution of inputs is decreased through downsampling operations. This means that most of the parameters lay in the final layers, while a large portion of the computations are performed by a small fraction of the total parameters in the first layers. In an effort to use every parameter of a network at its maximum, we propose a new convolutional neural network architecture, called ThriftyNet. In ThriftyNet, only one convolutional layer is defined and used recursively, leading to a maximal parameter factorization. In complement, normalization, non-linearities, downsamplings and shortcut ensure sufficient expressivity of the model. ThriftyNet achieves competitive performance on a tiny parameters budget, exceeding 91% accuracy on CIFAR-10 with less than 40K parameters in total, and 74.3% on CIFAR-100 with less than 600K parameters.


title: Push, Stop, and Replan: An Application of Pebble Motion on Graphs to Planning in Automated Warehouses

abstract: The pebble-motion on graphs is a subcategory of multi-agent pathfinding problems dealing with moving multiple pebble-like objects from a node to a node in a graph with a constraint that only one pebble can occupy one node at a given time. Additionally, algorithms solving this problem assume that individual pebbles (robots) cannot move at the same time and their movement is discrete. These assumptions disqualify them from being directly used in practical applications, although they have otherwise nice theoretical properties. We present modifications of the Push and Rotate algorithm [1], which relax the presumptions mentioned above and demonstrate, through a set of experiments, that the modified algorithm is applicable for planning in automated warehouses.