title: Displacement convexity of Entropy and the distance cost Optimal Transportation

abstract: During the last decade Optimal Transport had a relevant role in the study of geometry of singular spaces that culminated with the Lott-Sturm-Villani theory. The latter is built on the characterisation of Ricci curvature lower bounds in terms of displacement convexity of certain entropy functionals along $W_{2}$-geodesics. Substantial recent advancements in the theory (localization paradigm and local-to-global property) have been obtained considering the different point of view of $L^1$-Optimal transport problems yielding a different curvature dimension $\mathsf{CD}^{1}(K,N)$ [8] formulated in terms of one-dimensional curvature properties of integral curves of Lipschitz maps. In this note we show that the two approaches produce the same curvature-dimension condition reconciling the two definitions. In particular we show that the $\mathsf{CD}^{1}(K,N)$ condition can be formulated in terms of displacement convexity along $W_{1}$-geodesics.


title: Detecting ultra-high energy cosmic ray anisotropies through cross-correlations

abstract: We propose an observable for ultra-high energy cosmic ray (UHECR) physics: the harmonic-space cross-correlation power spectrum between the arrival directions of UHECRs and the large-scale cosmic structure mapped by galaxies. This cross-correlation has not yet been considered in the literature, and it permits a direct theoretical modelling of the main astrophysical components. We describe the expected form of the cross-correlation and show how, if the distribution of UHECR sources trace the large-scale cosmic structure, it could be easier to detect with current data than the UHECR auto-correlation. Moreover, the cross-correlation is more sensitive to UHECR anisotropies on smaller angular scales, more robust to systematic uncertainties, and it could be used to determine the redshift distribution of UHECR sources, making it a valuable tool in determining their origins and properties.


title: Memory effects in Kundt wave spacetimes

abstract: Memory effects in the exact Kundt wave spacetimes are shown to arise in the behaviour of geodesics in such spacetimes. The types of Kundt spacetimes we consider here are direct products of the form $H^2\times M(1,1)$ and $S^2\times M(1,1)$. Both geometries have constant scalar curvature. We consider a scenario in which initial velocities of the transverse geodesic coordinates are set to zero (before the arrival of the pulse) in a spacetime with non-vanishing background curvature. We look for changes in the separation between pairs of geodesics caused by the pulse. Any relative change observed in the position and velocity profiles of geodesics, after the burst, can be solely attributed to the wave (hence, a memory effect). For constant negative curvature, we find there is permanent change in the separation of geodesics after the pulse has departed. Thus, there is displacement memory, though no velocity memory is found. In the case of constant positive scalar curvature (Pleba\'nski-Hacyan spacetimes), we find both displacement and velocity memory along one direction. In the other direction, a new kind of memory (which we term as frequency memory effect) is observed where the separation between the geodesics shows periodic oscillations once the pulse has left. We also carry out similar analyses for spacetimes with a non-constant scalar curvature, which may be positive or negative. The results here seem to qualitatively agree with those for constant scalar curvature, thereby suggesting a link between the nature of memory and curvature.


title: Cross-modal Language Generation using Pivot Stabilization for Web-scale Language Coverage

abstract: Cross-modal language generation tasks such as image captioning are directly hurt in their ability to support non-English languages by the trend of data-hungry models combined with the lack of non-English annotations. We investigate potential solutions for combining existing language-generation annotations in English with translation capabilities in order to create solutions at web-scale in both domain and language coverage. We describe an approach called Pivot-Language Generation Stabilization (PLuGS), which leverages directly at training time both existing English annotations (gold data) as well as their machine-translated versions (silver data); at run-time, it generates first an English caption and then a corresponding target-language caption. We show that PLuGS models outperform other candidate solutions in evaluations performed over 5 different target languages, under a large-domain testset using images from the Open Images dataset. Furthermore, we find an interesting effect where the English captions generated by the PLuGS models are better than the captions generated by the original, monolingual English model.


title: AdapterFusion: Non-Destructive Task Composition for Transfer Learning

abstract: Sequential fine-tuning and multi-task learning are methods aiming to incorporate knowledge from multiple tasks; however, they suffer from catastrophic forgetting and difficulties in dataset balancing. To address these shortcomings, we propose AdapterFusion, a new two stage learning algorithm that leverages knowledge from multiple tasks. First, in the knowledge extraction stage we learn task specific parameters called adapters, that encapsulate the task-specific information. We then combine the adapters in a separate knowledge composition step. We show that by separating the two stages, i.e., knowledge extraction and knowledge composition, the classifier can effectively exploit the representations learned from multiple tasks in a non-destructive manner. We empirically evaluate AdapterFusion on 16 diverse NLU tasks, and find that it effectively combines various types of knowledge at different layers of the model. We show that our approach outperforms traditional strategies such as full fine-tuning as well as multi-task learning. Our code and adapters are available at AdapterHub.ml.


title: Parallel subgroup analysis of high-dimensional data via M-regression

abstract: It becomes an interesting problem to identify subgroup structures in data analysis as populations are probably heterogeneous in practice. In this paper, we consider M-estimators together with both concave and pairwise fusion penalties, which can deal with high-dimensional data containing some outliers. The penalties are applied both on covariates and treatment effects, where the estimation is expected to achieve both variable selection and data clustering simultaneously. An algorithm is proposed to process relatively large datasets based on parallel computing. We establish the convergence analysis of the proposed algorithm, the oracle property of the penalized M-estimators, and the selection consistency of the proposed criterion. Our numerical study demonstrates that the proposed method is promising to efficiently identify subgroups hidden in high-dimensional data.


title: Prediction of Dst during solar minimum using in situ measurements at L5

abstract: Geomagnetic storms resulting from high-speed streams can have significant negative impacts on modern infrastructure due to complex interactions between the solar wind and geomagnetic field. One measure of the extent of this effect is the Kyoto $Dst$ index. We present a method to predict $Dst$ from data measured at the Lagrange 5 (L5) point, which allows for forecasts of solar wind development 4.5 days in advance of the stream reaching the Earth. Using the STEREO-B satellite as a proxy, we map data measured near L5 to the near-Earth environment and make a prediction of the $Dst$ from this point using the Temerin-Li $Dst$ model enhanced from the original using a machine learning approach. We evaluate the method accuracy with both traditional point-to-point error measures and an event-based validation approach. The results show that predictions using L5 data outperform a 27-day solar wind persistence model in all validation measures but do not achieve a level similar to an L1 monitor. Offsets in timing and the rapidly-changing development of $B_z$ in comparison to $B_x$ and $B_y$ reduce the accuracy. Predictions of $Dst$ from L5 have an RMSE of $9$ nT, which is double the error of $4$ nT using measurements conducted near the Earth. The most useful application of L5 measurements is shown to be in predicting the minimum $Dst$ for the next four days. This method is being implemented in a real-time forecast setting using STEREO-A as an L5 proxy, and has implications for the usefulness of future L5 missions.


title: Low Resource Multi-Task Sequence Tagging -- Revisiting Dynamic Conditional Random Fields

abstract: We compare different models for low resource multi-task sequence tagging that leverage dependencies between label sequences for different tasks. Our analysis is aimed at datasets where each example has labels for multiple tasks. Current approaches use either a separate model for each task or standard multi-task learning to learn shared feature representations. However, these approaches ignore correlations between label sequences, which can provide important information in settings with small training datasets. To analyze which scenarios can profit from modeling dependencies between labels in different tasks, we revisit dynamic conditional random fields (CRFs) and combine them with deep neural networks. We compare single-task, multi-task and dynamic CRF setups for three diverse datasets at both sentence and document levels in English and German low resource scenarios. We show that including silver labels from pretrained part-of-speech taggers as auxiliary tasks can improve performance on downstream tasks. We find that especially in low-resource scenarios, the explicit modeling of inter-dependencies between task predictions outperforms single-task as well as standard multi-task models.


title: Nf=2+1 QCD thermodynamics with gradient flow using two-loop matching coefficients

abstract: We study thermodynamic properties of Nf=2+1 QCD on the lattice adopting O(a)-improved Wilson quark action and Iwasaki gauge action. To cope with the problems due to explicit violation of the Poincare and chiral symmetries, we apply the Small Flow-time eXpansion (SFtX) method based on the gradient flow, which is a general method to correctly calculate any renormalized observables on the lattice. In this method, the matching coefficients in front of operators in the small flow-time expansion are calculated by perturbation theory. In a previous study using one-loop matching coefficients, we found that the SFtX method works well for the equation of state, chiral condensates and susceptibilities. In this paper, we study the effect of two-loop matching coefficients by Harlander et al. We also test the influence of the renormalization scale in the SFtX method. We find that, by adopting the mu_0 renormalization scale of Harlander et al. instead of the conventional mu_d=1/sqrt{8t} scale, the linear behavior at large t is improved so that we can perform the t -> 0 extrapolation of the SFtX method more confidently. In the calculation of the two-loop matching coefficients by Harlander et al., the equation of motion for quark fields was used. For the entropy density in which the equation of motion has no effects, we find that the results using the two-loop coefficients agree well with those using one-loop coefficients. On the other hand, for the trace anomaly which is affected by the equation of motion, we find discrepancies between the one- and two-loop results at high temperatures. By comparing the results of one-loop coefficients with and without using the equation of motion, the main origin of the discrepancies is suggested to be attributed to O((aT)^2)=O(1/N_t^2) discretization errors in the equation of motion at N_t =< 10.


title: Age-Optimal UAV Scheduling for Data Collectionwith Battery Recharging

abstract: We study route scheduling of a UAV for data collec-tion from remote sensor nodes (SNs) with battery recharging. Thefreshness of the collected information is captured by the metric ofage of information (AoI). The objective is to minimize the averageAoI cost of all SNs over a scheduling time horizon. We prove thatthe problem is NP-hard via a reduction from the Hamiltonianpath. Next, we prove tractability of the problem for a symmetricscenario. For problem solving, we develop an algorithm based ongraph labeling. Finally, we show the effectiveness of our algorithmin comparison to greedy scheduling.


title: Recognizing American Sign Language Nonmanual Signal Grammar Errors in Continuous Videos

abstract: As part of the development of an educational tool that can help students achieve fluency in American Sign Language (ASL) through independent and interactive practice with immediate feedback, this paper introduces a near real-time system to recognize grammatical errors in continuous signing videos without necessarily identifying the entire sequence of signs. Our system automatically recognizes if performance of ASL sentences contains grammatical errors made by ASL students. We first recognize the ASL grammatical elements including both manual gestures and nonmanual signals independently from multiple modalities (i.e. hand gestures, facial expressions, and head movements) by 3D-ResNet networks. Then the temporal boundaries of grammatical elements from different modalities are examined to detect ASL grammatical mistakes by using a sliding window-based approach. We have collected a dataset of continuous sign language, ASL-HW-RGBD, covering different aspects of ASL grammars for training and testing. Our system is able to recognize grammatical elements on ASL-HW-RGBD from manual gestures, facial expressions, and head movements and successfully detect 8 ASL grammatical mistakes.


title: Computation of day length, amount of energy received over a day and over a year in function of latitude, date and obliquity

abstract: In these notes, we do the computation of the formula giving the expression of solar energy received by an horizontal section of 1 square meter, relatively to the latitude, obliquity and current day (the quantity is also proportional to the solar flux). We also obtain the formula of energy received during one day, of day length, of the possibility, according to the latitude, to observe the sun at zenith one day in year (and in this case, the formula of the day it happens), the possibility to observe a oplar night/day, and the time of beginning of these phenomenons according to the latitude. Section 1 introduce the 4 different angles which are obliquity, latitude, day and hour. We also introduce the corresponding rotations. In 2, we give the position of the sun in the sky. That make able to compute the day length in 3 Following sections are pairwie independent, except 6 which relies on 5. In4, we compute for which latitudes it is possible to observe or not a polar day or a polar night, and give the time of beginning and en of these lasts. In 5, we intergate between sunrise and sunset the received solar power, which give us the quantity of energy received during one day. In 6, we integrate the following quantity in order to obtain the quantity of energy received per year. In 7, we prove that only latitudes located between tropics can observe sun at zenith, and give the two instants it happens in a year. In 8 we compute the direction of sunrise and sunset, given atitude and day.


title: A direct proof of Agafonov's theorem and an extension to shift of finite type

abstract: We provide a direct proof of Agafonov's theorem which states that finite state selection preserves normality. We also extends this result to the more general setting of shifts of finite type by defining selections which are compatible the shift. A slightly more general statement is obtained as we show that any Markov measure is preserved by finite state compatible selection.


title: A quantum Poisson solver implementable on NISQ devices (improved version)

abstract: Solving differential equations is one of the most compelling applications of quantum computing. Most existing quantum algorithms addressing general ordinary and partial differential equations are thought to be too expensive to execute successfully on Noisy Intermediate-Scale Quantum (NISQ) devices. Here we propose a compact quantum algorithm for solving one-dimensional Poisson equation based on simple Ry rotation. The major operations are performed on probability amplitudes. Therefore, the present algorithm avoids the need to do phase estimation, Hamiltonian simulation and arithmetic. The solution error comes only from the finite difference approximation of the Poisson equation. Our quantum Poisson solver (QPS) has gate-complexity of 3n in qubits and 4n^3 in one- and two-qubit gates, where n is the logarithmic of the dimension of the linear system of equations. In terms of solution error {\epsilon}, the complexity is log(1/{\epsilon}) in qubits and poly(log(1/{\epsilon})) in operations, which is consist with the best known results. The present QPS may represent a potential application on NISQ devices.


title: Highly entangled spin chains and 2D quantum gravity

abstract: Motzkin and Fredkin spin chains exhibit the extraordinary amount of entanglement scaling as a square-root of the volume, which is beyond logarithmic scaling in the ordinary critical systems. Intensive study of such spin systems is urged to reveal novel features of quantum entanglement. As a study of the systems from a different viewpoint, we introduce large-N matrix models with so-called ABAB interactions, in which correlation functions reproduce the entanglement scaling in tree and planar Feynman diagrams. Including loop diagrams naturally defines an extension of the Motzkin and Fredkin spin chains. Contribution from the whole loop effects at large N gives the growth of the power of 3/2 (with logarithmic correction), further beyond the square-root scaling. The loop contribution provides fluctuating two-dimensional bulk geometry, and the enhancement of the entanglement is understood as an effect of quantum gravity.


title: Multifunctional Lateral Transition-Metal Disulfides Heterojunctions

abstract: The intrinsic spin-dependent transport properties of two types of lateral VS2|MoS2 heterojunctions are systematically investigated using first-principles calculations, and their various nanodevices with novel properties are designed. The lateral VS2|MoS2 heterojunction diodes show a perfect rectifying effect and are promising for the applications of Schottky diodes. A large spin-polarization ratio is observed for the A-type device and pure spin-mediated current is then realized. The gate voltage significantly tunes the current and rectification ratio of their field-effect transistors (FETs). In addition, they all have sensitive photoresponse to blue light, and could be used as photodetector and photovoltaic device. Moreover, they generate the effective thermally-driven current when a temperature gratitude appears between the two terminals, suggesting them as potential thermoelectric materials. Hence, the lateral VS2|MoS2 heterojunctions show a multifunctional nature and have various potential applications in spintronics, optoelectronics, and spin caloritronics.


title: Supervised Feature Subset Selection and Feature Ranking for Multivariate Time Series without Feature Extraction

abstract: We introduce supervised feature ranking and feature subset selection algorithms for multivariate time series (MTS) classification. Unlike most existing supervised/unsupervised feature selection algorithms for MTS our techniques do not require a feature extraction step to generate a one-dimensional feature vector from the time series. Instead it is based on directly computing similarity between individual time series and assessing how well the resulting cluster structure matches the labels. The techniques are amenable to heterogeneous MTS data, where the time series measurements may have different sampling resolutions, and to multi-modal data.


title: Partial Univalence in n-truncated Type Theory

abstract: It is well known that univalence is incompatible with uniqueness of identity proofs (UIP), the axiom that all types are h-sets. This is due to finite h-sets having non-trivial automorphisms as soon as they are not h-propositions. A natural question is then whether univalence restricted to h-propositions is compatible with UIP. We answer this affirmatively by constructing a model where types are elements of a closed universe defined as a higher inductive type in homotopy type theory. This universe has a path constructor for simultaneous "partial" univalent completion, i.e., restricted to h-propositions. More generally, we show that univalence restricted to $(n-1)$-types is consistent with the assumption that all types are $n$-truncated. Moreover we parametrize our construction by a suitably well-behaved container, to abstract from a concrete choice of type formers for the universe.


title: Temperature of a finite-dimensional quantum system

abstract: A general expression for the temperature of a finite-dimensional quantum system is deduced from thermodynamic arguments. At equilibrium, this magnitude coincides with the standard thermodynamic temperature. Furthermore, it is well-defined even far from equilibrium. Explicit formulas for the temperature of two and three-dimensional quantum systems are presented, and some additional relevant aspects of this quantity are discussed.


title: Emergence of Nearly Flat Bands through an Embedded Kagome Lattice in an Epitaxial Two-dimensional Ge Layer on ZrB2(0001)

abstract: Ge atoms segregating on zirconium diboride thin films grown on Ge(111) were found to crystallize into a two-dimensional bitriangular structure which was recently predicted to be a flat band material. Angle-resolved photoemission experiments together with theoretical calculations verified the existence of a nearly flat band in spite of non-negligible in-plane long-range hopping and interactions with the substrate. This provides the first experimental evidence that a flat band can emerge from the electronic coupling between atoms and not from the geometry of the atomic structure.


title: How I Learned to Stop Worrying About User-Visible Endpoints and Love MPI

abstract: MPI+threads is gaining prominence as an alternative to the traditional MPI everywhere model in order to better handle the disproportionate increase in the number of cores compared with other on-node resources. However, the communication performance of MPI+threads can be 100x slower than that of MPI everywhere. Both MPI users and developers are to blame for this slowdown. Typically, MPI users do not expose logical communication parallelism. Consequently, MPI libraries use conservative approaches, such as a global critical section, to maintain MPI's ordering constraints for MPI+threads, thus serializing access to parallel network resources and hurting performance. To enhance MP+threads' communication performance, researchers have proposed MPI Endpoints as a user-visible extension to MPI-3.1. MPI Endpoints allows a single process to create multiple MPI ranks within a communicator. This could allow each thread to have a dedicated communication path to the network and improve performance. The onus of mapping threads to endpoints, however, would then be on domain scientists. We play the role of devil's advocate and question the need for user-visible endpoints. We certainly agree that dedicated communication channels are critical. To what extent, however, can we hide these channels inside the MPI library without modifying the MPI standard and thus unburden the user? More important, what functionality would we lose through such abstraction? This paper answers these questions through a new MPI-3.1 implementation that uses virtual communication interfaces (VCIs). VCIs abstract underlying network contexts. When users expose parallelism through existing MPI mechanisms, the MPI library maps that parallelism to the VCIs, relieving domain scientists from endpoints. We identify cases where VCIs perform as well as user-visible endpoints, as well as cases where such abstraction hurts performance.


title: Stability of heterogeneous parallel-bond adhesion clusters under static load

abstract: Adhesion interactions mediated by multiple bond types are relevant for many biological and soft matter systems, including the adhesion of biological cells and functionalized colloidal particles to various substrates. To elucidate advantages and disadvantages of multiple bond populations for the stability of heterogeneous adhesion clusters of receptor-ligand pairs, a theoretical model for a homogeneous parallel adhesion bond cluster under constant loading is extended to several bond types. The stability of the entire cluster can be tuned by changing densities of different bond populations as well as their extensional rigidity and binding properties. In particular, bond extensional rigidities determine the distribution of total load to be shared between different sub-populations. Under a gradual increase of the total load, the rupture of a heterogeneous adhesion cluster can be thought of as a multistep discrete process, in which one of the bond sub-populations ruptures first, followed by similar rupture steps of other sub-populations or by immediate detachment of the remaining cluster. This rupture behavior is qualitatively independent of involved bond types, such as slip and catch bonds. Interestingly, an optimal stability is generally achieved when the total cluster load is shared such that loads on distinct bond populations are equal to their individual critical rupture forces. We also show that cluster heterogeneity can drastically affect cluster lifetime.


title: Observed quantum dynamics: classical dynamics and lack of Zeno effect

abstract: We examine a case study where classical evolution emerges when observing a quantum evolution. By using a single-mode quantum Kerr evolution interrupted by measurement of the double-homodyne kind (projecting the evolved field state into classical-like coherent states or quantum squeezed states), we show that irrespective of whether the measurement is classical or quantum there is no quantum Zeno effect and the evolution turns out to be classical.


title: Sensitive instances of the Constraint Satisfaction Problem

abstract: We investigate the impact of modifying the constraining relations of a Constraint Satisfaction Problem (CSP) instance, with a fixed template, on the set of solutions of the instance. More precisely we investigate sensitive instances: an instance of the CSP is called sensitive, if removing any tuple from any constraining relation invalidates some solution of the instance. Equivalently, one could require that every tuple from any one of its constraints extends to a solution of the instance. Clearly, any non-trivial template has instances which are not sensitive. Therefore we follow the direction proposed (in the context of strict width) by Feder and Vardi (SICOMP 1999) and require that only the instances produced by a local consistency checking algorithm are sensitive. In the language of the algebraic approach to the CSP we show that a finite idempotent algebra $\mathbf{A}$ has a $k+2$ variable near unanimity term operation if and only if any instance that results from running the $(k, k+1)$-consistency algorithm on an instance over $\mathbf{A}^2$ is sensitive. A version of our result, without idempotency but with the sensitivity condition holding in a variety of algebras, settles a question posed by G. Bergman about systems of projections of algebras that arise from some subalgebra of a finite product of algebras. Our results hold for infinite (albeit in the case of $\mathbf{A}$ idempotent) algebras as well and exhibit a surprising similarity to the strict width $k$ condition proposed by Feder and Vardi. Both conditions can be characterized by the existence of a near unanimity operation, but the arities of the operations differ by 1.


title: The influence of the brittle-ductile transition zone on aftershock and foreshock occurrence

abstract: Aftershock occurrence is characterized by scaling behaviors with quite universal exponents. At the same time, deviations from universality have been proposed as a tool to discriminate aftershocks from foreshocks. Here we show that the change in rheological behavior of the crust, from velocity weakening to velocity strengthening, represents a viable mechanism to explain statistical features of both aftershocks and foreshocks. More precisely, we present a model of the seismic fault described as a velocity weakening elastic layer coupled to a velocity strengthening visco-elastic layer. We show that the statistical properties of aftershocks in instrumental catalogs are recovered at a quantitative level, quite independently of the value of model parameters. We also find that large earthquakes are often anticipated by a preparatory phase characterized by the occurrence of foreshocks. Their magnitude distribution is significantly flatter than the aftershock one, in agreement with recent results for forecasting tools based on foreshocks.


title: Towards Controllable Biases in Language Generation

abstract: We present a general approach towards controllable societal biases in natural language generation (NLG). Building upon the idea of adversarial triggers, we develop a method to induce societal biases in generated text when input prompts contain mentions of specific demographic groups. We then analyze two scenarios: 1) inducing negative biases for one demographic and positive biases for another demographic, and 2) equalizing biases between demographics. The former scenario enables us to detect the types of biases present in the model. Specifically, we show the effectiveness of our approach at facilitating bias analysis by finding topics that correspond to demographic inequalities in generated text and comparing the relative effectiveness of inducing biases for different demographics. The second scenario is useful for mitigating biases in downstream applications such as dialogue generation. In our experiments, the mitigation technique proves to be effective at equalizing the amount of biases across demographics while simultaneously generating less negatively biased text overall.


title: Energy-Efficient Wireless Communications with Distributed Reconfigurable Intelligent Surfaces

abstract: This paper investigates the problem of resource allocation for a wireless communication network with distributed reconfigurable intelligent surfaces (RISs). In this network, multiple RISs are spatially distributed to serve wireless users and the energy efficiency of the network is maximized by dynamically controlling the on-off status of each RIS as well as optimizing the reflection coefficients matrix of the RISs. This problem is posed as a joint optimization problem of transmit beamforming and RIS control, whose goal is to maximize the energy efficiency under minimum rate constraints of the users. To solve this problem, two iterative algorithms are proposed for the single-user case and multi-user case. For the single-user case, the phase optimization problem is solved by using a successive convex approximation method, which admits a closed-form solution at each step. Moreover, the optimal RIS on-off status is obtained by using the dual method. For the multi-user case, a low-complexity greedy searching method is proposed to solve the RIS on-off optimization problem. Simulation results show that the proposed scheme achieves up to 33\% and 68\% gains in terms of the energy efficiency in both single-user and multi-user cases compared to the conventional RIS scheme and amplify-and-forward relay scheme, respectively.


title: Decentralized Edge-to-Cloud Load-balancing: Service Placement for the Internet of Things

abstract: The Internet of Things (IoT) requires a new processing paradigm that inherits the scalability of the cloud while minimizing network latency using resources closer to the network edge. Building up such flexibility within the edge-to-cloud continuum consisting of a distributed networked ecosystem of heterogeneous computing resources is challenging. Furthermore, IoT traffic dynamics and the rising demand for low-latency services foster the need for minimizing the response time and balanced service placement. Load-balancing for fog computing becomes a cornerstone for cost-effective system management and operations. This paper studies two optimization objectives and formulates a decentralized load-balancing problem for IoT service placement: (global) IoT workload balance and (local) quality of service (QoS), in terms of minimizing the cost of deadline violation, service deployment, and unhosted services. The proposed solution, EPOS Fog, introduces a decentralized multi-agent system for collective learning that utilizes edge-to-cloud nodes to jointly balance the input workload across the network and minimize the costs involved in service execution. The agents locally generate possible assignments of requests to resources and then cooperatively select an assignment such that their combination maximizes edge utilization while minimizes service execution cost. Extensive experimental evaluation with realistic Google cluster workloads on various networks demonstrates the superior performance of EPOS Fog in terms of workload balance and QoS, compared to approaches such as First Fit and exclusively Cloud-based. The results confirm that EPOS Fog reduces service execution delay up to 25% and the load-balance of network nodes up to 90%. The findings also demonstrate how distributed computational resources on the edge can be utilized more cost-effectively by harvesting collective intelligence.


title: Characterisation of Cryogenic Material Properties of 3D-Printed Superconducting Niobium using a 3D Lumped Element Microwave Cavity

abstract: We present an experimental characterisation of the electrical properties of 3D-printed Niobium. The study was performed by inserting a 3D-printed Nb post inside an Aluminium cylindrical cavity, forming a 3D lumped element re-entrant microwave cavity resonator. The resonator was cooled to temperatures below the critical temperature of Niobium (9.25K) and then Aluminium (1.2K), while measuring the quality factors of the electromagnetic resonances. This was then compared with finite element analysis of the cavity and a measurement of the same cavity with an Aluminium post of similar dimensions and frequency, to extract the surface resistance of the Niobium post. The 3D-printed Niobium exhibited a transition to the superconducting state at a similar temperature to the regular Niobium, as well as a surface resistance of $3.1\times10^{-4}$ $\Omega$. This value was comparable to many samples of traditionally machined Niobium previously studied without specialised surface treatment. Furthermore, this study demonstrates a simple new method for characterizing the material properties of a relatively small and geometrically simple sample of superconductor, which could be easily applied to other materials, particularly 3D-printed materials. Further research and development in additive manufacturing may see the application of 3D-printed Niobium in not only superconducting cavity designs, but in the innovative technology of the future.


title: TESS Asteroseismic Analysis of the Known Exoplanet Host Star HD 222076

abstract: The Transiting Exoplanet Survey Satellite (TESS) is an all-sky survey mission aiming to search for exoplanets that transit bright stars. The high-quality photometric data of TESS are excellent for the asteroseismic study of solar-like stars. In this work, we present an asteroseismic analysis of the red-giant star HD~222076 hosting a long-period (2.4 yr) giant planet discovered through radial velocities. Solar-like oscillations of HD~222076 are detected around $203 \, \mu$Hz by TESS for the first time. Asteroseismic modeling, using global asteroseismic parameters as input, yields a determination of the stellar mass ($M_\star = 1.12 \pm 0.12\, M_\odot$), radius ($R_\star = 4.34 \pm 0.21\,R_\odot$), and age ($7.4 \pm 2.7\,$Gyr), with precisions greatly improved from previous studies. The period spacing of the dipolar mixed modes extracted from the observed power spectrum reveals that the star is on the red-giant branch burning hydrogen in a shell surrounding the core. We find that the planet will not escape the tidal pull of the star and be engulfed into it within about $800\,$Myr, before the tip of the red-giant branch is reached.


title: Mitigation of Collective Effects by Optics Optimisation

abstract: This paper covers recent progress in the design of optics solutions to minimize collective effects such as beam instabilities, intra-beam scattering or space charge in hadron and lepton rings. The necessary steps are reviewed for designing the optics of high-intensity and high-brightness synchrotrons but also ultra-low emittance lepton storage rings, whose performance is strongly dominated by collective effects. Particular emphasis is given to proposed and existing designs illustrated by simulations and beam measurements.


title: Homotopy classification of 4-manifolds with finite abelian 2-generator fundamental groups

abstract: We show that for an oriented 4-dimensional Poincar\'e complex with finite fundamental group, whose 2-Sylow subgroup is abelian with at most 2 generators, the homotopy type is determined by its quadratic 2-type.


title: A Zariski theorem for monodromy of $A$-hypergeometric systems

abstract: We give conditions under which the monodromy group of an $A$-hypergeometric system is invariant under modifications of the collection of characters $A$. The key ingredient is a Zariski--Lefschetz type theorem for principal $A$-determinants.


title: Nonlinear stability of rarefaction waves for a viscous radiative and reactive gas with large initial perturbation

abstract: We investigate the time-asymptotically nonlinear stability of rarefaction waves to the Cauchy problem of an one-dimensional compressible Navier-Stokes type system for a viscous, compressible, radiative and reactive gas, where the constitutive relations for the pressure $p$, the specific internal energy $e$, the specific volume $v$, the absolute temperature $\theta$, and the specific entropy $s$ are given by $p=R\theta/v +a\theta^4/3$, $e=C_v\theta+av\theta^4$, and $s=C_v\ln \theta+ 4av\theta^3/3+R\ln v$ with $R>0$, $C_{v}>0$, and $a>0$ being the perfect gas constant, the specific heat and the radiation constant, respectively. For such a specific gas motion, a somewhat surprising fact is that, general speaking, the pressure $\widetilde{p}(v,s)$ is not a convex function of the specific volume $v$ and the specific entropy $s$. Even so, we show in this paper that the rarefaction waves are time-asymptotically stable for large initial perturbation provided that the radiation constant $a$ and the strength of the rarefaction waves are sufficiently small. The key point in our analysis is to deduce the positive lower and upper bounds on the specific volume and the absolute temperature, which are uniform with respect to the space and the time variables, but are independent of the radiation constant $a$.


title: Accuracy of hybrid functionals with non-self-consistent Kohn-Sham orbitals for predicting the properties of semiconductors

abstract: Accurately modeling the electronic structure of materials is a persistent challenge to high-throughput screening. A promising means of balancing accuracy against computational cost are non-self-consistent calculations with hybrid density-functional theory, where the electronic band energies are evaluated using a hybrid functional from orbitals obtained with a less demanding (semi-)local functional. We have quantified the performance of this technique for predicting the physical properties of sixteen tetrahedral semiconductors with bandgaps from 0.2-5.5 eV. Provided the base functional predicts a non-metallic electronic structure, bandgaps within 5 % of the PBE0 and HSE06 gaps can be obtained with an order of magnitude reduction in computing time. The positions of the valence and conduction band extrema and the Fermi level are well reproduced, further enabling calculation of the band dispersion, density of states, and dielectric properties using Fermi's Golden Rule. While the error in the non-self-consistent total energies is ~50 meV atom-1, the energy-volume curves are reproduced accurately enough to obtain the equilibrium volume and bulk modulus with minimal error. We also test the dielectric-dependent scPBE0 functional and obtain bandgaps and dielectric constants to within 2.5 % of the self-consistent results, which amount to a significant improvement over self-consistent PBE0 for a similar computational cost. We identify cases where the non-self-consistent approach is expected to perform poorly, and demonstrate that partial self-consistency provides a practical and efficient workaround. Finally, we perform proof-of-concept calculations on CoO and NiO to demonstrate the applicability of the technique to strongly-correlated open-shell transition-metal oxides.


title: Unsupervised Transfer of Semantic Role Models from Verbal to Nominal Domain

abstract: Semantic role labeling (SRL) is an NLP task involving the assignment of predicate arguments to types, called semantic roles. Though research on SRL has primarily focused on verbal predicates and many resources available for SRL provide annotations only for verbs, semantic relations are often triggered by other linguistic constructions, e.g., nominalizations. In this work, we investigate a transfer scenario where we assume role-annotated data for the source verbal domain but only unlabeled data for the target nominal domain. Our key assumption, enabling the transfer between the two domains, is that selectional preferences of a role (i.e., preferences or constraints on the admissible arguments) do not strongly depend on whether the relation is triggered by a verb or a noun. For example, the same set of arguments can fill the Acquirer role for the verbal predicate `acquire' and its nominal form `acquisition'. We approach the transfer task from the variational autoencoding perspective. The labeler serves as an encoder (predicting role labels given a sentence), whereas selectional preferences are captured in the decoder component (generating arguments for the predicting roles). Nominal roles are not labeled in the training data, and the learning objective instead pushes the labeler to assign roles predictive of the arguments. Sharing the decoder parameters across the domains encourages consistency between labels predicted for both domains and facilitates the transfer. The method substantially outperforms baselines, such as unsupervised and `direct transfer' methods, on the English CoNLL-2009 dataset.


title: Flat Rotation Curves of $z\sim 1$ Star-Forming Galaxies and Evidence of Disk-Scale Length Evolution

abstract: We investigate the shape of the Rotation Curves (RCs) of $z\sim 1$ star-forming galaxies and compare them with the local star-forming galaxies. For this purpose, we have used $409$ galaxies from the K-band Multi-Object Spectrograph (KMOS) for Redshift One Spectroscopic Survey (KROSS). This sample covers the redshift range $0.57\leq z \leq 1.04$, effective radii $0.69 \leq R_e \left[kpc \right] \leq 7.73$, absolute H-band magnitude $-24.46 \leq M_H \leq -18.85$ with median stellar mass $log\left(M_* \ \left[M_\odot \right]\right)=9.95$ and median total star-formation rate $log\left(SFR_{tot} \ \left[M_\odot \ yr^{-1} \right]\right)=1.49$. Using $^{3D}$BAROLO (Barolo), we extract $H\alpha$ kinematic maps and corresponding Rotation Curves (RCs). The main advantage of Barolo is that it incorporates the beam smearing in the 3D observational space, which provide us with the intrinsic rotation velocity even in the low spatial resolution data. Using Asymmetric Drift Correction (ADC), we have corrected the RCs for the pressure gradient effect, which seems to be a more dominant effect than beam smearing in high-z galaxies. Nearly all objects ($0.1 <v/ \sigma< 15$) are affected by the pressure gradient, and we noticed that ADC improves the rotation velocity of these systems by $\sim 10-87\%$. Only a combination of the three techniques (3D-kinematic modelling + 3D-Beamsmearing correction + ADC ) yields the intrinsic RC of an individual galaxy. Further, we present the co-added RCs constructed out of 237 high-quality objects to obtain intrinsic RC shapes out to 6.4 $\times$ disk scale length. We do not see any change in the shape of RCs with respect to the local star-forming disk-type galaxies. In contrast, we do find a significant evolution in the stellar-disk length ($R_D$) of the galaxies. Therefore, we conclude stellar disk evolves over cosmic time while total mass distribution stays constant.


title: A Taxonomy of Approaches for Integrating Attack Awareness in Applications

abstract: Software applications are subject to an increasing number of attacks, resulting in data breaches and financial damage. Many solutions have been considered to help mitigate these attacks, such as the integration of attack-awareness techniques. In this paper, we propose a taxonomy illustrating how existing attack awareness techniques can be integrated into applications. This work provides a guide for security researchers and developers, aiding them when choosing the approach which best fits the needs of their application.


title: Borehole acoustic full-waveform inversion

abstract: Full-waveform inversion (FWI) is a technique having the potential for building high-resolution elastic velocity models. We proposed to apply this technique to wireline monopole acoustic logging data to obtain the near wellbore formation velocity structures, which can be used in wellbore damage or fluid intrusion evaluation. A 2D FWI using monopole acoustic logging data is presented. The FWI is established in cylindrical coordinates instead of Cartesian coordinates in order to adapt to the borehole geometry. A preconditioner is designed for suppressing the influence of the strong borehole guided waves in the inversion. Synthetic tests demonstrate that high-resoultion elastic velocity profile around borehole can be inverted from monopole acoustic logging data by using the proposed method.


title: Multi-Camera Trajectory Forecasting: Pedestrian Trajectory Prediction in a Network of Cameras

abstract: We introduce the task of multi-camera trajectory forecasting (MCTF), where the future trajectory of an object is predicted in a network of cameras. Prior works consider forecasting trajectories in a single camera view. Our work is the first to consider the challenging scenario of forecasting across multiple non-overlapping camera views. This has wide applicability in tasks such as re-identification and multi-target multi-camera tracking. To facilitate research in this new area, we release the Warwick-NTU Multi-camera Forecasting Database (WNMF), a unique dataset of multi-camera pedestrian trajectories from a network of 15 synchronized cameras. To accurately label this large dataset (600 hours of video footage), we also develop a semi-automated annotation method. An effective MCTF model should proactively anticipate where and when a person will re-appear in the camera network. In this paper, we consider the task of predicting the next camera a pedestrian will re-appear after leaving the view of another camera, and present several baseline approaches for this. The labeled database is available online: https://github.com/olly-styles/Multi-Camera-Trajectory-Forecasting.


title: Facilitating Access to Multilingual COVID-19 Information via Neural Machine Translation

abstract: Every day, more people are becoming infected and dying from exposure to COVID-19. Some countries in Europe like Spain, France, the UK and Italy have suffered particularly badly from the virus. Others such as Germany appear to have coped extremely well. Both health professionals and the general public are keen to receive up-to-date information on the effects of the virus, as well as treatments that have proven to be effective. In cases where language is a barrier to access of pertinent information, machine translation (MT) may help people assimilate information published in different languages. Our MT systems trained on COVID-19 data are freely available for anyone to use to help translate information published in German, French, Italian, Spanish into English, as well as the reverse direction.


title: Strangers in the Room: Unpacking Perceptions of 'Smartness' and Related Ethical Concerns in the Home

abstract: The increasingly widespread use of 'smart' devices has raised multifarious ethical concerns regarding their use in domestic spaces. Previous work examining such ethical dimensions has typically either involved empirical studies of concerns raised by specific devices and use contexts, or alternatively expounded on abstract concepts like autonomy, privacy or trust in relation to 'smart homes' in general. This paper attempts to bridge these approaches by asking what features of smart devices users consider as rendering them 'smart' and how these relate to ethical concerns. Through a multimethod investigation including surveys with smart device users (n=120) and semi-structured interviews (n=15), we identify and describe eight types of smartness and explore how they engender a variety of ethical concerns including privacy, autonomy, and disruption of the social order. We argue that this middle ground, between concerns arising from particular devices and more abstract ethical concepts, can better anticipate potential ethical concerns regarding smart devices.


title: The ALICE Muon IDentifier

abstract: During the LHC Run-I (2010-2013) and Run-II (2015-2018), the selection of interesting events for muon physics in ALICE was performed with a dedicated muon trigger system, based on 72 single-gap bakelite Resistive Plate Chambers (RPCs), operated in maxi-avalanche mode (ADULT front-end electronics without amplification and a threshold of 7 mV). From Run-III (starting in 2021) on, in order to fully profit from the increased luminosity of Pb-Pb collisions, the ALICE experiment will run in continuous readout (triggerless) mode and the muon trigger system (MTR) will become a Muon Identifier (MID). The read-out electronics is being upgraded in order to support continuous readout. Moreover, in order to increase the RPC rate capability and to mitigate possible aging effects, it was decided to operate the detectors with a lower gain, and to replace the ADULT front-end cards with new cards (FEERIC), equipped with an amplification stage. Also, an upgrade of the threshold distribution system to the front-end will allow one to tune thresholds at the single front-end card level, while this was previously only possible at the single-RPC level. Finally, since some of the RPCs currently installed in ALICE have integrated a non-negligible charge with respect to their certified life-time, about 25% of the detectors will be replaced with new ones, built with a different type of bakelite laminates. A detailed description of the MTR upgrade and of its current status will be presented in this contribution.


title: Performance and aging studies for the ALICE muon RPCs

abstract: The ALICE muon trigger (MTR) system consists of 72 Resistive Plate Chamber (RPC) detectors arranged in two stations, each composed of two planes with 18 RPCs per plane. The detectors are operated in maxi-avalanche mode using a mixture of 89.7% C$_2$H$_2$F$_4$, 10% i-C$_4$H$_{10}$ and 0.3% SF$_6$. A number of detector performance indicators, such as efficiency and dark current, have been monitored over time throughout the LHC Run2 (2015-18). While the efficiency showed very good stability, a steady increase in the absorbed dark current was observed. Since the end of 2018, the LHC has entered a phase of long shutdown, during which the ALICE experiment will be upgraded to cope with the next phase of data taking, expected in 2021. The MTR is undergoing a major upgrade of the front-end and readout electronics, and will change its functionalities, becoming a Muon Identifier. Only the replacement of the most irradiated RPCs is planned during the upgrade. It is therefore important to perform dedicated studies to gain further insights into the status of the detector. In particular, two RPCs were flushed with pure Ar gas for a prolonged period of time and a plasma was created by fully ionizing the gas. The output gas was analyzed using a Gas Chromatograph combined with a Mass Spectrometer and the possible presence of fluorinated compounds originating from the interaction of the plasma with the inner surfaces of the detector has been assessed using an Ion-Selective Electrode station. This contribution will include a detailed review of the ALICE muon RPC performance at the LHC. The procedure and results of the argon plasma test, described above, are also discussed.


title: Spin(7) Instantons and Hermitian Yang-Mills Connections for the Stenzel Metric

abstract: We use the large isometry group of the Stenzel asymptotically conical Calabi-Yau metric on $T^{\star}S^{4}$ to study the relationship between the Spin(7) instanton and Hermitian-Yang Mills (HYM) equations. We reduce both problems to tractable ODEs and look for invariant solutions. In the abelian case, we establish local equivalence and prove a global nonexistence result. We analyze the nonabelian equations with structure group SO(3) and construct the moduli space of invariant Spin(7) instantons in this setting. This includes an explicit one parameter family of irreducible Spin(7) instantons only one of which is HYM. We thus negatively resolve the question regarding the equivalence of the two gauge theoretic PDEs. The HYM connections play a role in the compactification of this moduli space, exhibiting a phenomenon that we aim to further look into in future work.


title: Distilling Spikes: Knowledge Distillation in Spiking Neural Networks

abstract: Spiking Neural Networks (SNN) are energy-efficient computing architectures that exchange spikes for processing information, unlike classical Artificial Neural Networks (ANN). Due to this, SNNs are better suited for real-life deployments. However, similar to ANNs, SNNs also benefit from deeper architectures to obtain improved performance. Furthermore, like the deep ANNs, the memory, compute and power requirements of SNNs also increase with model size, and model compression becomes a necessity. Knowledge distillation is a model compression technique that enables transferring the learning of a large machine learning model to a smaller model with minimal loss in performance. In this paper, we propose techniques for knowledge distillation in spiking neural networks for the task of image classification. We present ways to distill spikes from a larger SNN, also called the teacher network, to a smaller one, also called the student network, while minimally impacting the classification accuracy. We demonstrate the effectiveness of the proposed method with detailed experiments on three standard datasets while proposing novel distillation methodologies and loss functions. We also present a multi-stage knowledge distillation technique for SNNs using an intermediate network to obtain higher performance from the student network. Our approach is expected to open up new avenues for deploying high performing large SNN models on resource-constrained hardware platforms.


title: On the geometry of the symmetrized bidisc

abstract: We study the action of the automorphism group of the $2$ complex dimensional manifold symmetrized bidisc $\mathbb{G}$ on itself. The automorphism group is 3 real dimensional. It foliates $\mathbb{G}$ into leaves all of which are 3 real dimensional hypersurfaces except one, viz., the royal variety. This leads us to investigate Isaev's classification of all Kobayashi-hyperbolic 2 complex dimensional manifolds for which the group of holomorphic automorphisms has real dimension 3 studied by Isaev. Indeed, we produce a biholomorphism between the symmetrized bidisc and the domain \[\{(z_1,z_2)\in \mathbb{C} ^2 : 1+|z_1|^2-|z_2|^2>|1+ z_1 ^2 -z_2 ^2|, Im(z_1 (1+\overline{z_2}))>0\}\] in Isaev's list. Isaev calls it $\mathcal D_1$. The road to the biholomorphism is paved with various geometric insights about $\mathbb{G}$. Several consequences of the biholomorphism follow including two new characterizations of the symmetrized bidisc and several new characterizations of $\mathcal D_1$. Among the results on $\mathcal D_1$, of particular interest is the fact that $\mathcal D_1$ is a "symmetrization". When we symmetrize (appropriately defined in the context in the last section) either $\Omega_1$ or $\mathcal{D}^{(2)}_1$ (Isaev's notation), we get $\mathcal D_1$. These two domains $\Omega_1$ and $\mathcal{D}^{(2)}_1$ are in Isaev's list and he mentioned that these are biholomorphic to $\mathbb{D} \times \mathbb{D}$. We produce explicit biholomorphisms between these domains and $\mathbb{D} \times \mathbb{D}$.


title: Inverse scattering transform and soliton solutions for the modified matrix Korteweg-de Vries equation with nonzero boundary conditions

abstract: The theory of inverse scattering is developed to study the initial-value problem for the modified matrix Korteweg-de Vries (mmKdV) equation with the $2m\times2m$ $(m\geq 1)$ Lax pairs under the nonzero boundary conditions at infinity. In the direct problem, by introducing a suitable uniform transformation we establish the proper complex $z$-plane in order to discuss the Jost eigenfunctions, scattering matrix and their analyticity and symmetry of the equation. Moreover the asymptotic behavior of the Jost functions and scattering matrix needed in the inverse problem are analyzed via Wentzel-Kramers-Brillouin expansion. In the inverse problem, the generalized Riemann-Hilbert problem of the mmKdV equation is first established by using the analyticity of the modified eigenfunctions and scattering coefficients. The reconstruction formula of potential function with reflection-less case is derived by solving this Riemann-Hilbert problem and using the scattering data. In addition the dynamic behavior of the solutions for the focusing mmKdV equation including one- and two- soliton solutions are presented in detail under the the condition that the potential is scalar and the $2\times2$ symmetric matrix. Finally, we provide some detailed proofs and weak version of trace formulas to show that the asymptotic phase of the potential and the scattering data.


title: Dissipative martingale solutions of the stochastically forced Navier--Stokes--Poisson system on domains without boundary

abstract: We construct solutions to the randomly-forced Navier--Stokes--Poisson system in periodic three-dimensional domains or in the whole three-dimensional Euclidean space. These solutions are weak in the sense of PDEs and also weak in the sense of probability. As such, they satisfy the system in the sense of distributions and the underlying probability space and the stochastic driving force are also unknowns of the problem. Additionally, these solutions dissipate energy, satisfies a relative energy inequality in the sense of [4] and satisfy a renormalized form of the continuity equation in the sense of [5].


title: Compactified Spacelike Extra Dimension & Brane-Higgs Field

abstract: In the paradigm with a small warped Spacelike Extra Dimensions (SED), the Higgs field is in general localized at a boundary of the SED (TeV-brane) where the gravity scale is redshifted to the TeV by a warp factor. If the SM gauge bosons and fermions propagate into the warped SED, one can generate the mass hierarchy for fermions. It is thus crucial to treat carefully the TeV-brane localized masses for such fermions, which is done in the literature by applying a regularization process suffering from a lack of consistency and more importantly being useless, as we demonstrate in detail in the present thesis. The first part of the thesis is devoted to the treatment of brane localized mass terms for 5D fermions, which requires the introduction of new Lagrangian terms at the SED boundaries, similar to the Gibbons-Hawking terms in gravity. The second part consists in applying different methods (function/distribution fields, 4D/5D calculations, etc) to various brane localized terms (kinetic terms, Majorana masses, etc), as well as a generalization to several classified models (flat/warped dimensions, intervalle/orbifold, etc). In the third part, we propose to compactify a flat SED on a star/rose graph with a large number of identical small leaves/petals. We obtain a compactified space with a large volume without a large compactification length to stabilize. We use the approach of 5D fermions to build a toy model of small Dirac neutrino masses (brane localized left-handed neutrinos and bulk right-handed ones).


title: Stability Analysis of the Observer Error of an In-Domain Actuated Vibrating String

abstract: In this paper, the behaviour of the observer error of an in-domain actuated vibrating string, where the observer system has been designed based on energy considerations exploiting a port-Hamiltonian system representation for infinite-dimensional systems, is analysed. Thus, the observer-error dynamics are reformulated as an abstract Cauchy problem, which enables to draw conclusions regarding the well-posedness of the observer-error system. Furthermore, we show that the observer error is asymptotically stable by applying LaSalle's invariance principle for infinite-dimensional systems.


title: Automatically Eliminating Speculative Leaks from Cryptographic Code with Blade

abstract: We introduce BLADE, a new approach to automatically and efficiently eliminate speculative leaks from cryptographic code. BLADE is built on the insight that to stop leaks via speculation, it suffices to $\textit{cut}$ the dataflow from expressions that speculatively introduce secrets ($\textit{sources}$) to those that leak them through the cache ($\textit{sinks}$), rather than prohibit speculation altogether. We formalize this insight in a $\textit{static type system}$ that (1) types each expression as either $\textit{transient}$, i.e., possibly containing speculative secrets or as being $\textit{stable}$, and (2) prohibits speculative leaks by requiring that all $\textit{sink}$ expressions are stable. BLADE relies on a new new abstract primitive, $\textbf{protect}$, to halt speculation at fine granularity. We formalize and implement $\textbf{protect}$ using existing architectural mechanisms, and show how BLADE's type system can automatically synthesize a $\textit{minimal}$ number of $\textbf{protect}$s to provably eliminate speculative leaks. We implement BLADE in the Cranelift WebAssembly compiler and evaluate our approach by repairing several verified, yet vulnerable WebAssembly implementations of cryptographic primitives. We find that Blade can fix existing programs that leak via speculation $\textit{automatically}$, without user intervention, and $\textit{efficiently}$ even when using fences to implement $\textbf{protect}$.


title: Hitachi at SemEval-2020 Task 12: Offensive Language Identification with Noisy Labels using Statistical Sampling and Post-Processing

abstract: In this paper, we present our participation in SemEval-2020 Task-12 Subtask-A (English Language) which focuses on offensive language identification from noisy labels. To this end, we developed a hybrid system with the BERT classifier trained with tweets selected using Statistical Sampling Algorithm (SA) and Post-Processed (PP) using an offensive wordlist. Our developed system achieved 34 th position with Macro-averaged F1-score (Macro-F1) of 0.90913 over both offensive and non-offensive classes. We further show comprehensive results and error analysis to assist future research in offensive language identification with noisy labels.


title: Parametrically excited star-shaped patterns at the interface of binary Bose-Einstein condensates

abstract: A Faraday-wave-like parametric instability is investigated via mean-field and Floquet analysis in immiscible binary Bose-Einstein condensates. The condensates form a so-called \textit{ball-shell} structure in a two-dimensional harmonic trap. To trigger the dynamics, the scattering length of the core condensate is periodically modulated in time. We reveal that in the dynamics the interface becomes unstable towards the formation of oscillating patterns. The interface oscillates sub-harmonically exhibiting an $m$-fold rotational symmetry that can be controlled by maneuvering the amplitude and the frequency of the modulation. Using Floquet analysis we are able to predict the generated interfacial tension of the mixture and derive a dispersion relation for the natural frequencies of the emergent patterns. A heteronuclear system composed of $^{87}$Rb-$^{85}$Rb atoms can be used for the experimental realization of the phenomenon, yet our results are independent of the specifics of the employed atomic species {and of the parameter at which the driving is applied.


title: Flow Extensions and Group Connectivity with Applications

abstract: We study the flow extension of graphs, i.e., pre-assigning a partial flow on the edges incident to a given vertex and aiming to extend to the entire graph. This is closely related to Tutte's $3$-flow conjecture(1972) that every $4$-edge-connected graph admits a nowhere-zero $3$-flow and a $\mathbb{Z}_3$-group connectivity conjecture(3GCC) of Jaeger, Linial, Payan, and Tarsi(1992) that every $5$-edge-connected graph $G$ is $\mathbb{Z}_3$-connected. Our main results show that these conjectures are equivalent to their natural flow extension versions and present some applications. The $3$-flow case gives an alternative proof of Kochol's result(2001) that Tutte's $3$-flow conjecture is equivalent to its restriction on $5$-edge-connected graphs and is implied by the 3GCC. It also shows a new fact that Gr{\"o}tzsch's theorem (that triangle-free planar graphs are $3$-colorable) is equivalent to its seemly weaker girth five case that planar graphs of grith $5$ are $3$-colorable. Our methods allow to verify 3GCC for graphs with crossing number one, which is in fact reduced to the planar case proved by Richter, Thomassen and Younger(2017). Other equivalent versions of 3GCC and related partial results are obtained as well.


title: Sub-chord diagrams of knot projections

abstract: A chord diagram is a circle with paired points with each pair of points connected by a chord. Every generic immersed spherical curve provides a chord diagram by associating each chord with two preimages of a double point. Any two spherical curves can be related by a finite sequence of three types of local replacement RI, RII, and RIII, called Reidemeister moves. This study counts the difference in the numbers of sub-chord diagrams embedded in a full chord diagram of any spherical curve by applying one of the moves RI, strong RII, weak RII, strong RIII, and weak RIII defined by connections of branches related to the local replacements (Theorem 1). This yields a new integer-valued invariant under RI and strong RIII that provides a complete classification of prime reduced spherical curves with up to at least seven double points (Theorem 2, Fig. 24): there has been no such invariant before. The invariant expresses the necessary and sufficient condition that spherical curves can be related to a simple closed curve by a finite sequence of RI and strong RIII moves (Theorem 3). Moreover, invariants of spherical curves under flypes are provided by counting sub-chord diagrams (Theorem 4).


title: Spin Squeezing of a Bose-Einstein Condensate via Quantum Non-Demolition Measurement for Quantum-Enhanced Atom Interferometry

abstract: We theoretically investigate the use of quantum non-demolition measurement to enhance the sensitivity of atom interferometry with Bose-condensed atoms. In particular, we are concerned with enhancing existing high-precision atom interferometry apparatuses, so restrict ourselves to dilute atomic samples, and the use of free-propagating light, or optical cavities in the weak-coupling regime. We find the optimum parameter regime that balances between spin squeezing and atomic loss, and find that significant improvements in sensitivity are possible. Finally, we consider the use of squeezed light, and show that this can provide further boosts to sensitivity.


title: The parsec-scale jet of the neutrino-emitting blazar TXS~0506+056

abstract: Recently the IceCube collaboration detected very high energy (VHE) neutrinos and associated them with the blazar \txs{}, raising a possible association of VHE neutrinos with this and other individual blazars. Very Long Baseline Interferometry (VLBI) is so far the only technique enabling the imaging of the innermost jet at milli-arcsec resolution (parsec scale), where the high energy emission possibly originates from. Here, we report on the radio properties of the parsec scale jet in \txs{} derived from the analysis of multi-epoch multi-frequency archive VLBI data. The half opening angle of the jet beam is about 3.8\degr, and the jet inclination angle is about 20\degr. The overall jet structure shows a helical trajectory with a precessing period of 5--6 years, likely originating from instabilities operating at parsec scales. The calculated beaming parameters (Doppler boosting factor, bulk Lorentz factor) suggest a moderately relativistic jet. The pc-scale magnetic field strength is estimated in the contexts of core-shift and variability, and is in general agreement in the range of 0.2 - 0.7 G. And it is found to decrease from a relatively larger value during the quiescent period before the ongoing flare. This suggests a conversion of magnetic field energy density to particle energy density that help accelerate injected particles at the jet base and result in variable shocked emission. The neutrino event could be associated with the onset of energetic particle injection into the jet. This scenario then supports the lepto-hadronic origin of the VHE neutrinos and $\gamma$-ray emission owing to a co-spatial origin.


title: On the proportion of prefix codes in the set of three-element codes

abstract: Let $L$ be a finite sequence of natural numbers. In Woryna (2017,2018), we derived some interesting properties for the ratio $\rho_{n,L}=|PR_n(L)|/|UD_n(L)|$, where $UD_n(L)$ denotes the set of all codes over an $n$-letter alphabet and with length distribution $L$, and $PR_n(L)\subseteq UD_n(L)$ is the corresponding subset of prefix codes. In the present paper, we study the case when the length distributions are three-element sequences. We show in this case that the ratio $\rho_{n,L}$ is always greater than $\alpha_n$, where $\alpha_n=(n-2)/n$ for $n>2$ and $\alpha_2=1/6$. Moreover, the number $\alpha_n$ is the best possible lower bound for this ratio, as the length distributions of the form $L=(1,1,c)$ and $L=(1,2,c)$ assure that the ratios asymptotically approach $\alpha_n$. Namely, if $L=(1,1,c)$, then $\rho_{n,L}$ tends to $(n-2)/n$ with $c\to\infty$, and, if $L=(1,2,c)$, then $\rho_{2,L}$ tends to $1/6$ with $c\to\infty$.


title: Self-absorption of synchrotron radiation in a laser-irradiated plasma

abstract: Electrons at the surface of a plasma that is irradiated by a laser with intensity in excess of $10^{23}~\mathrm{W}\mathrm{cm}^{-2}$ are accelerated so strongly that they emit bursts of synchrotron radiation. Although the combination of high photon and electron density and electromagnetic field strength at the plasma surface makes particle-particle interactions possible, these interactions are usually neglected in simulations of the high-intensity regime. Here we demonstrate an implementation of two such processes: photon absorption and stimulated emission. We show that, for plasmas that are opaque to the laser light, photon absorption would cause complete depletion of the multi-keV region of the synchrotron photon spectrum, unless compensated by stimulated emission. Our results motivate further study of the density dependence of QED phenomena in strong electromagnetic fields.


title: A Lions type result for a large class of Orlicz-Sobolev space and applications

abstract: In this paper we prove a Lions type result for a large class of Orlicz-Sobolev space that can be nonreflexive and use this result to show the existence of solution for a large class of quasilinear problem on a nonreflexive Orlicz-Sobolev space.


title: Thickness dependence of electronic and crystal structures in VO$_2$ ultrathin films: suppression of the collaborative Mott-Peierls transition

abstract: Through ${in~situ}$ photoemission spectroscopy, we investigated the change in the electronic and crystal structures of dimensionality-controlled VO$_2$ films coherently grown on TiO$_2$(001) substrates. In the nanostructured films, the balance between the instabilities of a bandlike Peierls transition and a Mott transition is controlled as a function of thickness. The characteristic spectral change associated with temperature-driven metal-insulator transition in VO$_2$ thick films holds down to 1.5 nm (roughly corresponding to five V atoms along the [001] direction), whereas VO$_2$ films of less than 1.0 nm exhibit insulating nature without V-V dimerization. These results suggest that the delicate balance between a Mott instability and a bandlike Peierls instability is modulated at a scale of a few nanometers by the dimensional crossover effects and confinement effects, which consequently induce the complicated electronic phase diagram of ultrathin VO$_2$ films.


title: Defocus Deblurring Using Dual-Pixel Data

abstract: Defocus blur arises in images that are captured with a shallow depth of field due to the use of a wide aperture. Correcting defocus blur is challenging because the blur is spatially varying and difficult to estimate. We propose an effective defocus deblurring method that exploits data available on dual-pixel (DP) sensors found on most modern cameras. DP sensors are used to assist a camera's auto-focus by capturing two sub-aperture views of the scene in a single image shot. The two sub-aperture images are used to calculate the appropriate lens position to focus on a particular scene region and are discarded afterwards. We introduce a deep neural network (DNN) architecture that uses these discarded sub-aperture images to reduce defocus blur. A key contribution of our effort is a carefully captured dataset of 500 scenes (2000 images) where each scene has: (i) an image with defocus blur captured at a large aperture; (ii) the two associated DP sub-aperture views; and (iii) the corresponding all-in-focus image captured with a small aperture. Our proposed DNN produces results that are significantly better than conventional single image methods in terms of both quantitative and perceptual metrics -- all from data that is already available on the camera but ignored. The dataset, code, and trained models are available at https://github.com/Abdullah-Abuolaim/defocus-deblurring-dual-pixel.


title: PCA-SRGAN: Incremental Orthogonal Projection Discrimination for Face Super-resolution

abstract: Generative Adversarial Networks (GAN) have been employed for face super resolution but they bring distorted facial details easily and still have weakness on recovering realistic texture. To further improve the performance of GAN based models on super-resolving face images, we propose PCA-SRGAN which pays attention to the cumulative discrimination in the orthogonal projection space spanned by PCA projection matrix of face data. By feeding the principal component projections ranging from structure to details into the discriminator, the discrimination difficulty will be greatly alleviated and the generator can be enhanced to reconstruct clearer contour and finer texture, helpful to achieve the high perception and low distortion eventually. This incremental orthogonal projection discrimination has ensured a precise optimization procedure from coarse to fine and avoids the dependence on the perceptual regularization. We conduct experiments on CelebA and FFHQ face datasets. The qualitative visual effect and quantitative evaluation have demonstrated the overwhelming performance of our model over related works.


title: Rotating five-dimensional electrically charged Bardeen regular black holes

abstract: We derive a rotating counterpart of the five-dimensional electrically charged Bardeen regular black holes spacetime by employing the Giampieri algorithm on static one. The associated nonlinear electrodynamics source is computed in order to justify the rotating solution. We thoroughly discuss the energy conditions and the other properties of the rotating spacetime. The black hole thermodynamics of the rotating spacetime is also presented. In particular, the thermodynamic quantities such as the Hawking temperature and the heat capacity are calculated and plotted to see the thermal behavior. The Hawking temperature profile of the black hole implies that the regular black holes are thermally colder than its singular counterpart. On the other hand, we find that the heat capacity has two branches: the negative branch corresponds to the unstable phase and the positive branch corresponds to that of the stable phase for a suitable choice of the physical parameters characterizing the black holes.


title: Selecting Backtranslated Data from Multiple Sources for Improved Neural Machine Translation

abstract: Machine translation (MT) has benefited from using synthetic training data originating from translating monolingual corpora, a technique known as backtranslation. Combining backtranslated data from different sources has led to better results than when using such data in isolation. In this work we analyse the impact that data translated with rule-based, phrase-based statistical and neural MT systems has on new MT systems. We use a real-world low-resource use-case (Basque-to-Spanish in the clinical domain) as well as a high-resource language pair (German-to-English) to test different scenarios with backtranslation and employ data selection to optimise the synthetic corpora. We exploit different data selection strategies in order to reduce the amount of data used, while at the same time maintaining high-quality MT systems. We further tune the data selection method by taking into account the quality of the MT systems used for backtranslation and lexical diversity of the resulting corpora. Our experiments show that incorporating backtranslated data from different sources can be beneficial, and that availing of data selection can yield improved performance.


title: Homotopes of finite-dimensional algebras

abstract: In this article we study homotopes of finite-dimensional algebras (not necessarily, associative). In the case of associative algebras we study homotopes by methods of Category theory and give description of so-called well-tempered elements of finite-dimensional associative algebra in algebraic terms.


title: The AIDA-2020 TLU: a Flexible Trigger Logic Unit for Test Beam Facilities

abstract: The AIDA-2020 Trigger Logic Unit (TLU) has been designed to be a flexible and easily configurable unit to provide trigger and control signals to devices employed during test beams, integrating them with the beam telescope. The most recent iteration of the TLU (v1E) has been re-designed within the AIDA-2020 project to integrate with hardware used in beam facilities. Configuration and communication with the TLU are performed over Ethernet. It can be employed as a stand-alone unit or be deployed as part of the EUDAQ2 data acquisition framework, which allows it to connect to a wide range of LHC readout systems. The TLU can operate with a sustained particle rate of 1 MHz and with instantaneous rates up to 20 MHz. In the current firmware iteration, the unit can time-stamp incoming signals with a resolution of 1.5 ns. The hardware, firmware and software designs of the TLU are freely accessible and benefit from constant inputs and upgrades from experienced users. TLU units have already been deployed successfully in beam lines at CERN and DESY.


title: Language (Re)modelling: Towards Embodied Language Understanding

abstract: While natural language understanding (NLU) is advancing rapidly, today's technology differs from human-like language understanding in fundamental ways, notably in its inferior efficiency, interpretability, and generalization. This work proposes an approach to representation and learning based on the tenets of embodied cognitive linguistics (ECL). According to ECL, natural language is inherently executable (like programming languages), driven by mental simulation and metaphoric mappings over hierarchical compositions of structures and schemata learned through embodied interaction. This position paper argues that the use of grounding by metaphoric inference and simulation will greatly benefit NLU systems, and proposes a system architecture along with a roadmap towards realizing this vision.


title: Bouquets revisited and equivariant elliptic cohomology

abstract: Let M be a spin manifold with a circular action. Given an elliptic curve E, we introduce, as in Grojnowski, elliptic bouquets of germs of holomorphic equivariant cohomology classes on M. Following Bott-Taubes and Rosu, we show that integration of an elliptic bouquet is well defined. In particular, this imply Witten's rigidity theorem. We emphasize the similarity between integration in K-theory and in elliptic cohomology.


title: Stochastic MPC with Distributionally Robust Chance Constraints

abstract: In this paper we discuss distributional robustness in the context of stochastic model predictive control (SMPC) for linear time-invariant systems. We derive a simple approximation of the MPC problem under an additive zero-mean i.i.d. noise with quadratic cost. Due to the lack of distributional information, chance constraints are enforced as distributionally robust (DR) chance constraints, which we opt to unify with the concept of probabilistic reachable sets (PRS). For Wasserstein ambiguity sets, we propose a simple convex optimization problem to compute the DR-PRS based on finitely many disturbance samples. The paper closes with a numerical example of a double integrator system, highlighting the reliability of the DR-PRS w.r.t. the Wasserstein set and performance of the resulting SMPC.


title: Thermal bosons in 3d optical lattices via tensor networks

abstract: Ultracold atoms in optical lattices are one of the most promising experimental setups to simulate strongly correlated systems. However, efficient numerical algorithms able to benchmark experiments at low-temperatures in interesting 3d lattices are lacking. To this aim, here we introduce an efficient tensor network algorithm to accurately simulate thermal states of local Hamiltonians in any infinite lattice, and in any dimension. We apply the method to simulate thermal bosons in optical lattices. In particular, we study the physics of the (soft-core and hard-core) Bose-Hubbard model on the infinite pyrochlore and cubic lattices with unprecedented accuracy. Our technique is therefore an ideal tool to benchmark realistic and interesting optical-lattice experiments.


title: Mind the Trade-off: Debiasing NLU Models without Degrading the In-distribution Performance

abstract: Models for natural language understanding (NLU) tasks often rely on the idiosyncratic biases of the dataset, which make them brittle against test cases outside the training distribution. Recently, several proposed debiasing methods are shown to be very effective in improving out-of-distribution performance. However, their improvements come at the expense of performance drop when models are evaluated on the in-distribution data, which contain examples with higher diversity. This seemingly inevitable trade-off may not tell us much about the changes in the reasoning and understanding capabilities of the resulting models on broader types of examples beyond the small subset represented in the out-of-distribution data. In this paper, we address this trade-off by introducing a novel debiasing method, called confidence regularization, which discourage models from exploiting biases while enabling them to receive enough incentive to learn from all the training examples. We evaluate our method on three NLU tasks and show that, in contrast to its predecessors, it improves the performance on out-of-distribution datasets (e.g., 7pp gain on HANS dataset) while maintaining the original in-distribution accuracy.


title: Self-supervised Knowledge Triplet Learning for Zero-shot Question Answering

abstract: The aim of all Question Answering (QA) systems is to be able to generalize to unseen questions. Current supervised methods are reliant on expensive data annotation. Moreover, such annotations can introduce unintended annotator bias which makes systems focus more on the bias than the actual task. In this work, we propose Knowledge Triplet Learning (KTL), a self-supervised task over knowledge graphs. We propose heuristics to create synthetic graphs for commonsense and scientific knowledge. We propose methods of how to use KTL to perform zero-shot QA and our experiments show considerable improvements over large pre-trained transformer models.


title: Langmuir-type vortices in boundary layers driven by a criss-cross wavy wall topography

abstract: We investigate a mechanism to manipulate wall-bounded flows whereby wave-like undulations of the wall topography drives the creation of bespoke longitudinal vortices. A resonant interaction between the ambient vorticity of the undisturbed shear flow and the undulation of streamlines enforced by the wall topography serves to slightly rotate the spanwise vorticity of the mean flow into the streamwise direction, creating a swirling motion, in the form of regular streamwise rolls. The process is kinematic and essentially identical to the `direct drive' CL1 mechanism for Langmuir circulation (LC) proposed by Craik (1970). Boundary layers are modelled by selecting suitable primary flow profiles. A simple, easily integrable expression for the cross-plane stream function is found in two asymptotic regimes: the resonant onset of the essentially inviscid instability at early times, and the fully developed steady state viscous flow. Linear-order solutions for flow over undulating boundaries are obtained, fully analytical in the special case of a power-law profile. These solutions allow us to quickly map out the circulation response to boundary design parameters. The study is supplemented with direct numerical simulations which verify the manifestation of boundary induced Langmuir vortices in laminar flows with no-slip boundaries. Simulations show good qualitative agreement with theory. Quantitatively, the comparisons rest on a displacement length closure parameter adopted in the perturbation theory. While wall-driven LC appear to become unstable in turbulent flows, we propose that the mechanism can promote swirling motion in boundary layers, a flow feature which has been reported to reduce drag in some situations.


title: Can Multilingual Language Models Transfer to an Unseen Dialect? A Case Study on North African Arabizi

abstract: Building natural language processing systems for non standardized and low resource languages is a difficult challenge. The recent success of large-scale multilingual pretrained language models provides new modeling tools to tackle this. In this work, we study the ability of multilingual language models to process an unseen dialect. We take user generated North-African Arabic as our case study, a resource-poor dialectal variety of Arabic with frequent code-mixing with French and written in Arabizi, a non-standardized transliteration of Arabic to Latin script. Focusing on two tasks, part-of-speech tagging and dependency parsing, we show in zero-shot and unsupervised adaptation scenarios that multilingual language models are able to transfer to such an unseen dialect, specifically in two extreme cases: (i) across scripts, using Modern Standard Arabic as a source language, and (ii) from a distantly related language, unseen during pretraining, namely Maltese. Our results constitute the first successful transfer experiments on this dialect, paving thus the way for the development of an NLP ecosystem for resource-scarce, non-standardized and highly variable vernacular languages.


title: The Carnegie Supernova Project II. Observations of the intermediate luminosity red transient SNhunt120

abstract: We present multi-wavelength observations of two gap transients followed by the Carnegie Supernova Project-II and supplemented with data obtained by a number of different programs. Here in the first of two papers, we focus on the intermediate luminosity red transient (ILRT) designated SNhunt120, while in a companion paper we examine the luminous red novae AT 2014ej. Our data set for SNhunt120 consists of an early optical discovery, estimated to be within 3 days after outburst, the subsequent optical and near-infrared broadband followup extending over a $\sim$2 month period, two visual- and two near-infrared wavelength spectra, and Spitzer Space Telescope observations extending from early ($+$28 d) to late ($+$1155 d) phases. SNhunt120 resembles other ILRTs such as NGC 300-2008-OT and SN 2008S, and like these other ILRTs, SNhunt120 exhibits prevalent mid-infrared emission at both early and late phases. From the comparison of SNhunt120 and other ILRTs to electron-capture supernova simulations, we find that the current models underestimate the explosion kinetic energy and thereby produce synthetic light curves that over-estimate the luminosity. Finally, examination of pre-outburst Hubble Space Telescope images yields no progenitor detection.


title: Design and Convergence Analysis of an IIC-based BICM-ID Receiver for FBMC-QAM Systems

abstract: In this paper, an iterative interference cancellation (IIC) based BICM-ID receiver is designed to cancel the intrinsic interference in FBMC-QAM systems. The proposed receiver consist of an inner decoder, which combines iterative demodulation and interference cancellation, and an outer decoder which is a low density parity check (LDPC) channel decoder. To evaluate the convergence behaviour of the proposed receiver, extrinsic information transfer (EXIT) chart analysis is employed, where EXIT curves for the components of the iterative decoder are derived. Numerical results show that the intrinsic interference in FBMC-QAM systems can be removed by adopting the proposed IIC-based BICM-ID receiver.


title: Taylor's law in innovation processes

abstract: Taylor's law quantifies the scaling properties of the fluctuations of the number of innovations occurring in open systems. Urn based modelling schemes have already proven to be effective in modelling this complex behaviour. Here, we present analytical estimations of Taylor's law exponents in such models, by leveraging on their representation in terms of triangular urn models. We also highlight the correspondence of these models with Poisson-Dirichlet processes and demonstrate how a non-trivial Taylor's law exponent is a kind of universal feature in systems related to human activities. We base this result on the analysis of four collections of data generated by human activity: (i) written language (from a Gutenberg corpus); (ii) a n online music website (Last.fm); (iii) Twitter hashtags; (iv) a on-line collaborative tagging system (Del.icio.us). While Taylor's law observed in the last two datasets agrees with the plain model predictions, we need to introduce a generalization to fully characterize the behaviour of the first two datasets, where temporal correlations are possibly more relevant. We suggest that Taylor's law is a fundamental complement to Zipf's and Heaps' laws in unveiling the complex dynamical processes underlying the evolution of systems featuring innovation.


title: Pseudospectral time-domain (PSTD) methods for the wave equation: Realising boundary conditions with discrete sine and cosine transforms

abstract: Pseudospectral time domain (PSTD) methods are widely used in many branches of acoustics for the numerical solution of the wave equation, including biomedical ultrasound and seismology. The use of the Fourier collocation spectral method in particular has many computational advantages. However, the use of a discrete Fourier basis is also inherently restricted to solving problems with periodic boundary conditions. Here, a family of spectral collocation methods based on the use of a sine or cosine basis is described. These retain the computational advantages of the Fourier collocation method but instead allow homogeneous Dirichlet (sound-soft) and Neumann (sound-hard) boundary conditions to be imposed. The basis function weights are computed numerically using the discrete sine and cosine transforms, which can be implemented using O(N log N) operations analogous to the fast Fourier transform. Practical details of how to implement spectral methods using discrete sine and cosine transforms are provided. The technique is then illustrated through the solution of the wave equation in a rectangular domain subject to different combinations of boundary conditions. The extension to boundaries with arbitrary real reflection coefficients or boundaries that are non-reflecting is also demonstrated using the weighted summation of the solutions with Dirichlet and Neumann boundary conditions.


title: Designing Robust API Monitoring Solutions

abstract: Tracing the sequence of library and system calls that a program makes is very helpful in the characterization of its interactions with the surrounding environment and ultimately of its semantics. Due to entanglements of real-world software stacks, accomplishing this task can be surprisingly challenging as we take accuracy, reliability, and transparency into the equation. To manage these dimensions effectively, we identify six challenges that API monitoring solutions should overcome and outline actionable design points for them, reporting insights from our experience in building API tracers for software security research. We detail two implementation variants, based on hardware-assisted virtualization (realizing the first general-purpose user-space tracer of this kind) and on dynamic binary translation, that achieve API monitoring robustly. We share our SNIPER system as open source.


title: An Evaluation of Visualization Methods for Population Statistics Based on Choropleth Maps

abstract: We evaluate several augmentations to the choropleth map to convey additional information, including glyphs, 3D, cartograms, juxtaposed maps, and shading methods. While choropleth maps are a common method used to represent societal data, with multivariate data they can impede as much as improve understanding. In particular large, low population density regions often dominate the map and can mislead the viewer as to the message conveyed. Our results highlight the potential of 3D choropleth maps as well as the low accuracy of choropleth map tasks with multivariate data. We also introduce and evaluate popcharts, four techniques designed to show the density of population at a very fine scale on top of choropleth maps. All the data, results, and scripts are available from https://osf.io/8rxwg/.


title: Revisiting Anomaly Detection in ICS: Aimed at Segregation of Attacks and Faults

abstract: In an Industrial Control System (ICS), its complex network of sensors, actuators and controllers have raised security concerns for critical infrastructures and industrial production units. This opinion paper strives to initiate discussion on the design algorithms which can segregate attacks from faults. Most of the proposed anomaly detection mechanisms are not able to differentiate between an attack and an anomaly due to a fault. We argue on the need of solving this important problem form our experiences in CPS security research. First, we motivate using analysis of studies and interviews though economical and psychological aspects. Then main challenges are highlighted. Further, we propose multiple directions of approach with suitable reasoning and examples from ICS systems.


title: Search-based Test-Case Generation by Monitoring Responsibility Safety Rules

abstract: The safety of Automated Vehicles (AV) as Cyber-Physical Systems (CPS) depends on the safety of their consisting modules (software and hardware) and their rigorous integration. Deep Learning is one of the dominant techniques used for perception, prediction, and decision making in AVs. The accuracy of predictions and decision-making is highly dependant on the tests used for training their underlying deep-learning. In this work, we propose a method for screening and classifying simulation-based driving test data to be used for training and testing controllers. Our method is based on monitoring and falsification techniques, which lead to a systematic automated procedure for generating and selecting qualified test data. We used Responsibility Sensitive Safety (RSS) rules as our qualifier specifications to filter out the random tests that do not satisfy the RSS assumptions. Therefore, the remaining tests cover driving scenarios that the controlled vehicle does not respond safely to its environment. Our framework is distributed with the publicly available S-TALIRO and Sim-ATAV tools.


title: Using monodromy to statistically estimate the number of solutions

abstract: Synthesis problems for linkages in kinematics often yield large structured parameterized polynomial systems which generically have far fewer solutions than traditional upper bounds would suggest. This paper describes statistical models for estimating the generic number of solutions of such parameterized polynomial systems. The new approach extends previous work on success ratios of parameter homotopies to using monodromy loops as well as the addition of a trace test that provides a stopping criterion for validating that all solutions have been found. Several examples are presented demonstrating the method including Watt I six-bar motion generation problems.