title: From Protocol to Screening: A Hybrid Learning Approach for Technology-Assisted Systematic Literature Reviews

abstract: In the medical domain, a Systematic Literature Review (SLR) attempts to collect all empirical evidence, that fit pre-specified eligibility criteria, in order to answer a specific research question. The process of preparing an SLR consists of multiple tasks that are labor-intensive and time-consuming, involving large monetary costs. Technology-assisted review (TAR) methods automate the different processes of creating an SLR and they are particularly focused on reducing the burden of screening for reviewers. We present a novel method for TAR that implements a full pipeline from the research protocol to the screening of the relevant papers. Our pipeline overcomes the need of a Boolean query constructed by specialists and consists of three different components: the primary retrieval engine, the inter-review ranker and the intra-review ranker, combining learning-to-rank techniques with a relevance feedback method. In addition, we contribute an updated version of the Task 2 of the CLEF 2019 eHealth Lab dataset, which we make publicly available. Empirical results on this dataset show that our approach can achieve state-of-the-art results.


title: Checking Causal Consistency of Distributed Databases

abstract: The CAP Theorem shows that (strong) Consistency, Availability, and Partition tolerance are impossible to be ensured together. Causal consistency is one of the weak consistency models that can be implemented to ensure availability and partition tolerance in distributed systems. In this work, we propose a tool to check automatically the conformance of distributed/concurrent systems executions to causal consistency models. Our approach consists in reducing the problem of checking if an execution is causally consistent to solving Datalog queries. The reduction is based on complete characterizations of the executions violating causal consistency in terms of the existence of cycles in suitably defined relations between the operations occurring in these executions. We have implemented the reduction in a testing tool for distributed databases, and carried out several experiments on real case studies, showing the efficiency of the suggested approach.


title: An Integrated Approach for Improving Brand Consistency of Web Content: Modeling, Analysis and Recommendation

abstract: A consumer-dependent (business-to-consumer) organization tends to present itself as possessing a set of human qualities, which is termed as the brand personality of the company. The perception is impressed upon the consumer through the content, be it in the form of advertisement, blogs or magazines, produced by the organization. A consistent brand will generate trust and retain customers over time as they develop an affinity towards regularity and common patterns. However, maintaining a consistent messaging tone for a brand has become more challenging with the virtual explosion in the amount of content which needs to be authored and pushed to the Internet to maintain an edge in the era of digital marketing. To understand the depth of the problem, we collect around 300K web page content from around 650 companies. We develop trait-specific classification models by considering the linguistic features of the content. The classifier automatically identifies the web articles which are not consistent with the mission and vision of a company and further helps us to discover the conditions under which the consistency cannot be maintained. To address the brand inconsistency issue, we then develop a sentence ranking system that outputs the top three sentences that need to be changed for making a web article more consistent with the company's brand personality.


title: An insulating doped antiferromagnet with low magnetic symmetry as a room temperature spin conduit

abstract: We report room temperature long-distance spin transport of magnons in antiferromagnetic thin film hematite doped with Zn. The additional dopants significantly alter the magnetic anisotropies, resulting in a complex equilibrium spin structure that is capable of efficiently transporting spin angular momentum at room temperature without the need for a well-defined, pure easy-axis or easy-plane anisotropy. We find intrinsic magnon spin-diffusion lengths of up to 1.5 {\mu}m, and magnetic domain governed decay lengths of 175 nm for the low frequency magnons, through electrical transport measurements demonstrating that the introduction of non-magnetic dopants does not strongly reduce the transport length scale showing that the magnetic damping of hematite is not significantly increased. We observe a complex field dependence of the non-local signal independent of the magnetic state visible in the local magnetoresistance and direct magnetic imaging of the antiferromagnetic domain structure. We explain our results in terms of a varying and applied-field-dependent ellipticity of the magnon modes reaching the detector electrode allowing us to tune the spin transport.


title: Active Inference and Behavior Trees for Reactive Action Planning and Execution in Robotics

abstract: We propose a hybrid combination of active inference and behavior trees (BTs) for reactive action planning and execution in dynamic environments, showing how robotic tasks can be formulated as a free-energy minimization problem. The proposed approach allows handling partially observable initial states and improves the robustness of classical BTs against unexpected contingencies while at the same time reducing the number of nodes in a tree. In this work, we specify the nominal behavior offline, through BTs. However, in contrast to previous approaches, we introduce a new type of leaf node to specify the desired state to be achieved rather than an action to execute. The decision of which action to execute to reach the desired state is performed online through active inference. This results in continual online planning and hierarchical deliberation. By doing so, an agent can follow a predefined offline plan while still keeping the ability to locally adapt and take autonomous decisions at runtime, respecting safety constraints. We provide proof of convergence and robustness analysis, and we validate our method in two different mobile manipulators performing similar tasks, both in a simulated and real retail environment. The results showed improved runtime adaptability with a fraction of the hand-coded nodes compared to classical BTs.


title: KD3A: Unsupervised Multi-Source Decentralized Domain Adaptation via Knowledge Distillation

abstract: Conventional unsupervised multi-source domain adaptation (UMDA) methods assume all source domains can be accessed directly. This neglects the privacy-preserving policy, that is, all the data and computations must be kept decentralized. There exists three problems in this scenario: (1) Minimizing the domain distance requires the pairwise calculation of the data from source and target domains, which is not accessible. (2) The communication cost and privacy security limit the application of UMDA methods (e.g., the domain adversarial training). (3) Since users have no authority to check the data quality, the irrelevant or malicious source domains are more likely to appear, which causes negative transfer. In this study, we propose a privacy-preserving UMDA paradigm named Knowledge Distillation based Decentralized Domain Adaptation (KD3A), which performs domain adaptation through the knowledge distillation on models from different source domains. KD3A solves the above problems with three components: (1) A multi-source knowledge distillation method named Knowledge Vote to learn high-quality domain consensus knowledge. (2) A dynamic weighting strategy named Consensus Focus to identify both the malicious and irrelevant domains. (3) A decentralized optimization strategy for domain distance named BatchNorm MMD. The extensive experiments on DomainNet demonstrate that KD3A is robust to the negative transfer and brings a 100x reduction of communication cost compared with other decentralized UMDA methods. Moreover, our KD3A significantly outperforms state-of-the-art UMDA approaches.


title: Obtaining trees of tangles from tangle-tree duality

abstract: We demonstrate the versatility of the tangle-tree duality theorem for abstract separation systems by using it to prove tree-of-tangles theorems. This approach allows us to strengthen some of the existing tree-of-tangles theorems by bounding the node degrees in them. We also present a slight strengthening and simplified proof of the duality theorem, which allows us to derive a tree-of-tangles theorem also for tangles of different orders.


title: Adversarial decision strategies in multiple network phased oscillators: the Blue-Green-Red Kuramoto-Sakaguchi model

abstract: We consider a model of three interacting sets of decision-making agents, labeled Blue, Green and Red, represented as coupled phased oscillators subject to frustrated synchronisation dynamics. The agents are coupled on three networks of differing topologies, with interactions modulated by different cross-population frustrations, internal and cross-network couplings. The intent of the dynamic model is to examine the degree to which two of the groups of decision-makers, Blue and Red, are able to realise a strategy of being ahead of each others' decision-making cycle while internally seeking synchronisation of this process -- all in the context of further interactions with the third population, Green. To enable this analysis, we perform a significant dimensional reduction approximation and stability analysis. We compare this to a numerical solution for a range of internal and cross-network coupling parameters to investigate various synchronisation regimes and critical thresholds. The comparison reveals good agreement for appropriate parameter ranges. Performing parameter sweeps, we reveal that Blue's pursuit of a strategy of staying too-far ahead of Red's decision cycles triggers a second-order effect of the Green population being ahead of Blue's cycles. This behaviour has implications for the dynamics of multiple interacting social groups with both cooperative and competitive processes.


title: Moir\'e-enabled topological superconductivity

abstract: The search for artificial topological superconductivity has been limited by the stringent conditions required for its emergence. As exemplified by the recent discoveries of various correlated electronic states in twisted van der Waals materials, moir\'e patterns can act as a powerful knob to create artificial electronic structures. Here, we demonstrate that a moir\'e pattern between a van der Waals superconductor and a monolayer ferromagnet creates a periodic potential modulation that enables the realization of a topological superconducting state that would not be accessible in the absence of the moir\'e. The magnetic moir\'e pattern gives rise to Yu-Shiba-Rusinov minibands and periodic modulation of the Majorana edge modes that we detect using low-temperature scanning tunneling microscopy (STM) and spectroscopy (STS). Moir\'e patterns and, more broadly, periodic potential modulations are powerful tools to overcome the conventional constrains for realizing and controlling topological superconductivity.


title: Fully Dynamic Approximation of LIS in Polylogarithmic Time

abstract: We revisit the problem of maintaining the longest increasing subsequence (LIS) of an array under (i) inserting an element, and (ii) deleting an element of an array. In a recent breakthrough, Mitzenmacher and Seddighin [STOC 2020] designed an algorithm that maintains an $\mathcal{O}((1/\epsilon)^{\mathcal{O}(1/\epsilon)})$-approximation of LIS under both operations with worst-case update time $\mathcal{\tilde O}(n^{\epsilon})$, for any constant $\epsilon>0$. We exponentially improve on their result by designing an algorithm that maintains an $(1+\epsilon)$-approximation of LIS under both operations with worst-case update time $\mathcal{\tilde O}(\epsilon^{-5})$. Instead of working with the grid packing technique introduced by Mitzenmacher and Seddighin, we take a different approach building on a new tool that might be of independent interest: LIS sparsification. A particularly interesting consequence of our result is an improved solution for the so-called Erd\H{o}s-Szekeres partitioning, in which we seek a partition of a given permutation of $\{1,2,\ldots,n\}$ into $\mathcal{O}(\sqrt{n})$ monotone subsequences. This problem has been repeatedly stated as one of the natural examples in which we see a large gap between the decision-tree complexity and algorithmic complexity. The result of Mitzenmacher and Seddighin implies an $\mathcal{O}(n^{1+\epsilon})$ time solution for this problem, for any $\epsilon>0$. Our algorithm (in fact, its simpler decremental version) further improves this to $\mathcal{\tilde O}(n)$.


title: The evolution of a newborn millisecond magnetar with a propeller-recycling disk

abstract: A rapidly rotating and highly magnetized neutron star (NS) could be formed from the explosive phenomena such as superluminous supernovae and gamma-ray bursts. This newborn NS can substantially influence the emission of these explosive transients through its spin-down. The spin-down evolution of the NS can sometimes be affected by fallback accretion, although it is usually regulated by the magnetic dipole radiation and gravitational wave radiation of the NS. Under appropriate conditions, the accreting material can be firstly ejected and subsequently recycled back, so that the accretion disk can keep in a quasi-steady state for a long time. Here we describe the interaction of the NS with such a propeller-recycling disk and their co-evolution. Our result shows that, the spin-down of the NS can be initially dominated by the propeller, which prevents the disk material from falling onto the NS until hundreds or thousands of seconds later. It is suggested that the abrupt fall of the disk material onto the NS could significantly suppress the magnetic dipole radiation and then convert the NS from a normal magnetar to a low-field magnetar. This evolution behavior of the newborn NS can help to understand the very different influence of the NS on the early GRB afterglows and the late supernova/kilonova emission.


title: Attention-Based Transformers for Instance Segmentation of Cells in Microstructures

abstract: Detecting and segmenting object instances is a common task in biomedical applications. Examples range from detecting lesions on functional magnetic resonance images, to the detection of tumours in histopathological images and extracting quantitative single-cell information from microscopy imagery, where cell segmentation is a major bottleneck. Attention-based transformers are state-of-the-art in a range of deep learning fields. They have recently been proposed for segmentation tasks where they are beginning to outperforming other methods. We present a novel attention-based cell detection transformer (Cell-DETR) for direct end-to-end instance segmentation. While the segmentation performance is on par with a state-of-the-art instance segmentation method, Cell-DETR is simpler and faster. We showcase the method's contribution in a the typical use case of segmenting yeast in microstructured environments, commonly employed in systems or synthetic biology. For the specific use case, the proposed method surpasses the state-of-the-art tools for semantic segmentation and additionally predicts the individual object instances. The fast and accurate instance segmentation performance increases the experimental information yield for a posteriori data processing and makes online monitoring of experiments and closed-loop optimal experimental design feasible.


title: Nonlinear interferometer for Fourier-transform mid-infrared gas spectroscopy using near-infrared detection

abstract: Nonlinear interferometers allow for mid-infrared spectroscopy with near-infrared detection using correlated photons. Previous implementations have demonstrated a spectral resolution limited by spectrally selective detection. In our work, we demonstrate mid-infrared transmission spectroscopy in a nonlinear interferometer using single-pixel near-infrared detection and Fourier-transform analysis. A sub-wavenumber spectral resolution allows for rotational-line-resolving spectroscopy of gaseous samples in a spectral bandwidth of over 700$\,$cm$^{-1}$. We use methane transmission spectra around 3.3$\,\mu$m wavelength to characterize the spectral resolution, noise limitations and transmission accuracy of our device. The combination of nonlinear interferometry and Fourier-transform analysis paves the way towards performant and efficient mid-infrared spectroscopy with near-infrared detection.


title: JCMT POL-2 and BISTRO Survey observations of magnetic fields in the L1689 molecular cloud

abstract: We present 850$\mu$m polarization observations of the L1689 molecular cloud, part of the nearby Ophiuchus molecular cloud complex, taken with the POL-2 polarimeter on the James Clerk Maxwell Telescope (JCMT). We observe three regions of L1689: the clump L1689N which houses the IRAS 16293-2422 protostellar system, the starless clump SMM-16, and the starless core L1689B. We use the Davis-Chandrasekhar-Fermi method to estimate plane-of-sky field strengths of $366\pm 55$ $\mu$G in L1689N, $284\pm 34$ $\mu$G in SMM-16, and $72\pm 33$ $\mu$G in L1689B, for our fiducial value of dust opacity. These values indicate that all three regions are likely to be magnetically trans-critical with sub-Alfv\'{e}nic turbulence. In all three regions, the inferred mean magnetic field direction is approximately perpendicular to the local filament direction identified in $Herschel$ Space Telescope observations. The core-scale field morphologies for L1689N and L1689B are consistent with the cloud-scale field morphology measured by the $Planck$ Space Observatory, suggesting that material can flow freely from large to small scales for these sources. Based on these magnetic field measurements, we posit that accretion from the cloud onto L1689N and L1689B may be magnetically regulated. However, in SMM-16, the clump-scale field is nearly perpendicular to the field seen on cloud scales by $Planck$, suggesting that it may be unable to efficiently accrete further material from its surroundings.


title: Foreground-Aware Relation Network for Geospatial Object Segmentation in High Spatial Resolution Remote Sensing Imagery

abstract: Geospatial object segmentation, as a particular semantic segmentation task, always faces with larger-scale variation, larger intra-class variance of background, and foreground-background imbalance in the high spatial resolution (HSR) remote sensing imagery. However, general semantic segmentation methods mainly focus on scale variation in the natural scene, with inadequate consideration of the other two problems that usually happen in the large area earth observation scene. In this paper, we argue that the problems lie on the lack of foreground modeling and propose a foreground-aware relation network (FarSeg) from the perspectives of relation-based and optimization-based foreground modeling, to alleviate the above two problems. From perspective of relation, FarSeg enhances the discrimination of foreground features via foreground-correlated contexts associated by learning foreground-scene relation. Meanwhile, from perspective of optimization, a foreground-aware optimization is proposed to focus on foreground examples and hard examples of background during training for a balanced optimization. The experimental results obtained using a large scale dataset suggest that the proposed method is superior to the state-of-the-art general semantic segmentation methods and achieves a better trade-off between speed and accuracy. Code has been made available at: \url{https://github.com/Z-Zheng/FarSeg}.


title: Deep Residual Local Feature Learning for Speech Emotion Recognition

abstract: Speech Emotion Recognition (SER) is becoming a key role in global business today to improve service efficiency, like call center services. Recent SERs were based on a deep learning approach. However, the efficiency of deep learning depends on the number of layers, i.e., the deeper layers, the higher efficiency. On the other hand, the deeper layers are causes of a vanishing gradient problem, a low learning rate, and high time-consuming. Therefore, this paper proposed a redesign of existing local feature learning block (LFLB). The new design is called a deep residual local feature learning block (DeepResLFLB). DeepResLFLB consists of three cascade blocks: LFLB, residual local feature learning block (ResLFLB), and multilayer perceptron (MLP). LFLB is built for learning local correlations along with extracting hierarchical correlations; DeepResLFLB can take advantage of repeatedly learning to explain more detail in deeper layers using residual learning for solving vanishing gradient and reducing overfitting; and MLP is adopted to find the relationship of learning and discover probability for predicted speech emotions and gender types. Based on two available published datasets: EMODB and RAVDESS, the proposed DeepResLFLB can significantly improve performance when evaluated by standard metrics: accuracy, precision, recall, and F1-score.


title: Scene text removal via cascaded text stroke detection and erasing

abstract: Recent learning-based approaches show promising performance improvement for scene text removal task. However, these methods usually leave some remnants of text and obtain visually unpleasant results. In this work, we propose a novel "end-to-end" framework based on accurate text stroke detection. Specifically, we decouple the text removal problem into text stroke detection and stroke removal. We design a text stroke detection network and a text removal generation network to solve these two sub-problems separately. Then, we combine these two networks as a processing unit, and cascade this unit to obtain the final model for text removal. Experimental results demonstrate that the proposed method significantly outperforms the state-of-the-art approaches for locating and erasing scene text. Since current publicly available datasets are all synthetic and cannot properly measure the performance of different methods, we therefore construct a new real-world dataset, which will be released to facilitate the relevant research.


title: Data-Driven Robust Optimization using Unsupervised Deep Learning

abstract: Robust optimization has been established as a leading methodology to approach decision problems under uncertainty. To derive a robust optimization model, a central ingredient is to identify a suitable model for uncertainty, which is called the uncertainty set. An ongoing challenge in the recent literature is to derive uncertainty sets from given historical data that result in solutions that are robust regarding future scenarios. In this paper we use an unsupervised deep learning method to learn and extract hidden structures from data, leading to non-convex uncertainty sets and better robust solutions. We prove that most of the classical uncertainty classes are special cases of our derived sets and that optimizing over them is strongly NP-hard. Nevertheless, we show that the trained neural networks can be integrated into a robust optimization model by formulating the adversarial problem as a convex quadratic mixed-integer program. This allows us to derive robust solutions through an iterative scenario generation process. In our computational experiments, we compare this approach to a similar approach using kernel-based support vector clustering. We find that uncertainty sets derived by the unsupervised deep learning method find a better description of data and lead to robust solutions that outperform the comparison method both with respect to objective value and feasibility.


title: Freecyto: Quantized Flow Cytometry Analysis for the Web

abstract: Flow cytometry (FCM) is an analytic technique that is capable of detecting and recording the emission of fluorescence and light scattering of cells or particles (that are collectively called "events") in a population. A typical FCM experiment can produce a large array of data making the analysis computationally intensive. Current FCM data analysis platforms (FlowJo, etc.), while very useful, do not allow interactive data processing online due to the data size limitations. Here we report a more effective way to analyze FCM data. Freecyto is a free, easy-to-learn, Python-flask-based web application that uses a weighted k-means clustering algorithm to facilitate the interactive analysis of flow cytometry data. A key limitation of web browsers is their inability to interactively display large amounts of data. Freecyto addresses this bottleneck through the use of the k-means algorithm to quantize the data, allowing the user to access a representative set of data points for interactive visualization of complex datasets. Moreover, Freecyto enables the interactive analyses of large complex datasets while preserving the standard FCM visualization features, such as the generation of scatterplots (dotplots), histograms, heatmaps, boxplots, as well as a SQL-based sub-population gating feature. We also show that Freecyto can be applied to the analysis of various experimental setups that frequently require the use of FCM. Finally, we demonstrate that the data accuracy is preserved when Freecyto is compared to conventional FCM software.


title: A shortcut way to the Fokker-Planck equation for the non-Markovian dynamics

abstract: Using a shortcut way we have derived the Fokker-Planck equation for the Langevin dynamics with a generalized frictional memory kernel and time-dependent force field. Then we have shown that this method is applicable for the non-Markovian dynamics with additional force from harmonic potential or magnetic field or both of them. The simplicity of the method in these complex cases is highly noticeable and it is applicable to derive the Fokker-Planck equation for any kind of linear Langevin equation of motion which describes additive colored noise driven non Markovian dynamics with or without frictional memory kernel. For example, one may apply the method even for the linear system with an additional colored Gaussian noise which is not related to the damping strength. With these the present study may get strong attention in the field of stochastic thermodynamics which is now at early stage to consider the non-Markovian dynamics.


title: Solving Footstep Planning as a Feasibility Problem using L1-norm Minimization (Extended Version)

abstract: One challenge of legged locomotion on uneven terrains is to deal with both the discrete problem of selecting a contact surface for each footstep and the continuous problem of placing each footstep on the selected surface. Consequently, footstep planning can be addressed with a Mixed Integer Program (MIP), an elegant but computationally-demanding method, which can make it unsuitable for online planning. We reformulate the MIP into a cardinality problem, then approximate it as a computationally efficient l1-norm minimisation, called SL1M. Moreover, we improve the performance and convergence of SL1M by combining it with a sampling-based root trajectory planner to prune irrelevant surface candidates. Our tests on the humanoid Talos in four representative scenarios show that SL1M always converges faster than MIP. For scenarios when the combinatorial complexity is small (< 10 surfaces per step), SL1M converges at least two times faster than MIP with no need for pruning. In more complex cases, SL1M converges up to 100 times faster than MIP with the help of pruning. Moreover, pruning can also improve the MIP computation time. The versatility of the framework is shown with additional tests on the quadruped robot ANYmal.


title: Constrained Reversible system for Navier-Stokes Turbulence: evidence for Gallavotti's equivalence conjecture

abstract: Following the Gallavotti's conjecture, Stationary states of Navier-Stokes fluids are proposed to be described equivalently by alternative equations besides the NS equation itself. We propose a model system symmetric under time-reversal based on the Navier-Stokes equations constrained to keep the Enstrophy constant. It is demonstrated through high-resolved numerical experiments that the reversible model evolves to a stationary state which reproduces quite accurately all statistical observables relevant for the physics of turbulence extracted by direct numerical simulations at different Reynolds numbers. The possibility of using reversible models to mimic turbulence dynamics is of practical importance for coarse-grained version of Navier-Stokes equations, as used in Large-eddy simulations. Furthermore, the reversible model appears mathematically simpler, since enstrophy is bounded to be constant for every Reynolds. Finally, the theoretically interest in the context of statistical mechanics is briefly discussed.


title: Tetra-quarks, penta-quarks and the like: old and new views

abstract: In this talk, after a short overview of the history of the discovery of tetra-quarks and penta-quarks, we will discuss a possible interpretation of such states in the framework of a 40-years-old "string junction" picture that allows a unified QCD description of ordinary mesons and baryons as well as multi-quark resonances.


title: A Temporal Convolution Network Approach to State-of-Charge Estimation in Li-ion Batteries

abstract: Electric Vehicle (EV) fleets have dramatically expanded over the past several years. There has been significant increase in interest to electrify all modes of transportation. EVs are primarily powered by Energy Storage Systems such as Lithium-ion Battery packs. Total battery pack capacity translates to the available range in an EV. State of Charge (SOC) is the ratio of available battery capacity to total capacity and is expressed in percentages. It is crucial to accurately estimate SOC to determine the available range in an EV while it is in use. In this paper, a Temporal Convolution Network (TCN) approach is taken to estimate SOC. This is the first implementation of TCNs for the SOC estimation task. Estimation is carried out on various drive cycles such as HWFET, LA92, UDDS and US06 drive cycles at 1 C and 25 {\deg}Celsius. It was found that TCN architecture achieved an accuracy of 99.1%.


title: Improving Bayesian Network Structure Learning in the Presence of Measurement Error

abstract: Structure learning algorithms that learn the graph of a Bayesian network from observational data often do so by assuming the data correctly reflect the true distribution of the variables. However, this assumption does not hold in the presence of measurement error, which can lead to spurious edges. This is one of the reasons why the synthetic performance of these algorithms often overestimates real-world performance. This paper describes an algorithm that can be added as an additional learning phase at the end of any structure learning algorithm, and serves as a correction learning phase that removes potential false positive edges. The results show that the proposed correction algorithm successfully improves the graphical score of four well-established structure learning algorithms spanning different classes of learning in the presence of measurement error.


title: Making large overhangs in micrometer and nanometer-sized structures

abstract: We describe two general procedures for fabricating microstructures with large overhangs and high aspect-ratio support pillars. The first method uses a static angled dry etch on micro- or nano-pillars to create an initial overhang, followed by wet etching for further erosion. The second method uses a time-dependent angled etch on a flat plane patterned with protective resin, to reduce the number of lithography steps needed to make these objects. The time-dependent dry etch is again followed by a wet etch. For the second method we derive a formula that provides the rate at which the attack angle must evolve, given a known etch rate within the target material, the depth of the desired overhang (undercut), and the instantaneous attack angle.


title: Deep Learning for Automated Screening of Tuberculosis from Indian Chest X-rays: Analysis and Update

abstract: Background and Objective: Tuberculosis (TB) is a significant public health issue and a leading cause of death worldwide. Millions of deaths can be averted by early diagnosis and successful treatment of TB patients. Automated diagnosis of TB holds vast potential to assist medical experts in expediting and improving its diagnosis, especially in developing countries like India, where there is a shortage of trained medical experts and radiologists. To date, several deep learning based methods for automated detection of TB from chest radiographs have been proposed. However, the performance of a few of these methods on the Indian chest radiograph data set has been suboptimal, possibly due to different texture of the lungs on chest radiographs of Indian subjects compared to other countries. Thus deep learning for accurate and automated diagnosis of TB on Indian datasets remains an important subject of research. Methods: The proposed work explores the performance of convolutional neural networks (CNNs) for the diagnosis of TB in Indian chest x-ray images. Three different pre-trained neural network models, AlexNet, GoogLenet, and ResNet are used to classify chest x-ray images into healthy or TB infected. The proposed approach does not require any pre-processing technique. Also, other works use pre-trained NNs as a tool for crafting features and then apply standard classification techniques. However, we attempt an end to end NN model based diagnosis of TB from chest x-rays. The proposed visualization tool can also be used by radiologists in the screening of large datasets. Results: The proposed method achieved 93.40% accuracy with 98.60% sensitivity to diagnose TB for the Indian population. Conclusions: The performance of the proposed method is also tested against techniques described in the literature. The proposed method outperforms the state of art on Indian and Shenzhen datasets.


title: Single-shot Stern-Gerlach magnetic gradiometer with an expanding cloud of cold cesium atoms

abstract: We combine the Ramsey interferometry protocol, the Stern-Gerlach detection scheme, and the use of elongated geometry of a cloud of fully polarized cold cesium atoms to measure the selected component of the magnetic field gradient along the atomic cloud in a single shot. In contrast to the standard method where the precession of two spatially separated atomic clouds is simultaneously measured to extract their phase difference, which is proportional to the magnetic field gradient, we here demonstrate a gradiometer using a single image of an expanding atomic cloud with the phase difference imprinted along the cloud. Using resonant radio-frequency pulses and Stern-Gerlach imaging, we first demonstrate nutation and Larmor precession of atomic magnetization in an applied magnetic field. Next, we let the cold atom cloud expand in one dimension and apply the protocol for measuring the magnetic field gradient. The resolution of our single-shot gradiometer is not limited by thermal motion of atoms and has an estimated absolute accuracy below $\pm0.2$~mG/cm ($\pm20$~nT/cm).


title: Kernel Phase and Coronagraphy with Automatic Differentiation

abstract: The accumulation of aberrations along the optical path in a telescope produces distortions and speckles in the resulting images, limiting the performance of cameras at high angular resolution. It is important to achieve the highest possible sensitivity to faint sources such as planets, using both hardware and data analysis software. While analytic methods are efficient, real systems are better-modelled numerically, but such models with many parameters can be hard to understand, optimize and apply. Automatic differentiation software developed for machine learning now makes calculating derivatives with respect to aberrations straightforward for arbitrary optical systems. We apply this powerful new tool to enhance high-angular-resolution astronomical imaging. Self-calibrating observables such as the 'closure phase' or 'bispectrum' have been widely used in optical and radio astronomy to mitigate optical aberrations and achieve high-fidelity imagery. Kernel phases are a generalization of closure phases in the limit of small phase errors. Using automatic differentiation, we reproduce existing kernel phase theory within this framework and demonstrate an extension to the Lyot coronagraph, finding self-calibrating combinations of speckles which are resistant to phase noise, but only in the very high-wavefront-quality regime. As an illustrative example, we reanalyze Palomar adaptive optics observations of the binary alpha Ophiuchi, finding consistency between the new pipeline and the existing standard. We present a new Python package 'morphine' that incorporates these ideas, with an interface similar to the popular package poppy, for optical simulation with automatic differentiation. These methods may be useful for designing improved astronomical optical systems by gradient descent.


title: Towards Spatio-Temporal Video Scene Text Detection via Temporal Clustering

abstract: With only bounding-box annotations in the spatial domain, existing video scene text detection (VSTD) benchmarks lack temporal relation of text instances among video frames, which hinders the development of video text-related applications. In this paper, we systematically introduce a new large-scale benchmark, named as STVText4, a well-designed spatial-temporal detection metric (STDM), and a novel clustering-based baseline method, referred to as Temporal Clustering (TC). STVText4 opens a challenging yet promising direction of VSTD, termed as ST-VSTD, which targets at simultaneously detecting video scene texts in both spatial and temporal domains. STVText4 contains more than 1.4 million text instances from 161,347 video frames of 106 videos, where each instance is annotated with not only spatial bounding box and temporal range but also four intrinsic attributes, including legibility, density, scale, and lifecycle, to facilitate the community. With continuous propagation of identical texts in the video sequence, TC can accurately output the spatial quadrilateral and temporal range of the texts, which sets a strong baseline for ST-VSTD. Experiments demonstrate the efficacy of our method and the great academic and practical value of the STVText4. The dataset and code will be available soon.


title: Inertial Proximal Block Coordinate Method for a Class of Nonsmooth Sum-of-Ratios Optimization Problems

abstract: In this paper, we consider a class of nonsmooth sum-of-ratios fractional optimization problems with block structure. This model class is ubiquitous and encompasses several important nonsmooth optimization problems in the literature. We first propose an inertial proximal block coordinate method for solving this class of problems by exploiting the underlying structure. The global convergence of our method is guaranteed under the Kurdyka--Lojasiewicz (KL) property and some mild assumptions. We then identify the explicit exponents of the KL property for three important structured fractional optimization problems. In particular, for the sparse generalized eigenvalue problem with either cardinality regularization or sparsity constraint, we show that the KL exponents are 1/2, and so, the proposed method exhibits linear convergence rate. Finally, we illustrate our theoretical results with both analytic and simulated numerical examples.


title: DeepMorph: A System for Hiding Bitstrings in Morphable Vector Drawings

abstract: We introduce DeepMorph, an information embedding technique for vector drawings. Provided a vector drawing, such as a Scalable Vector Graphics (SVG) file, our method embeds bitstrings in the image by perturbing the drawing primitives (lines, circles, etc.). This results in a morphed image that can be decoded to recover the original bitstring. The use-case is similar to that of the well-known QR code, but our solution provides creatives with artistic freedom to transfer digital information via drawings of their own design. The method comprises two neural networks, which are trained jointly: an encoder network that transforms a bitstring into a perturbation of the drawing primitives, and a decoder network that recovers the bitstring from an image of the morphed drawing. To enable end-to-end training via back propagation, we introduce a soft rasterizer, which is differentiable with respect to perturbations of the drawing primitives. In order to add robustness towards real-world image capture conditions, image corruptions are injected between the soft rasterizer and the decoder. Further, the addition of an object detection and camera pose estimation system enables decoding of drawings in complex scenes as well as use of the drawings as markers for use in augmented reality applications. We demonstrate that our method reliably recovers bitstrings from real-world photos of printed drawings, thereby providing a novel solution for creatives to transfer digital information via artistic imagery.


title: ReAssert: Deep Learning for Assert Generation

abstract: The automated generation of test code can reduce the time and effort required to build software while increasing its correctness and robustness. In this paper, we present RE-ASSERT, an approach for the automated generation of JUnit test asserts which produces more accurate asserts than previous work with fewer constraints. This is achieved by targeting projects individually, using precise code-to-test traceability for learning and by generating assert statements from the method-under-test directly without the need to write an assert-less test first. We also utilise Reformer, a state-of-the-art deep learning model, along with two models from previous work to evaluate ReAssert and an existing approach, known as ATLAS, using lexical accuracy,uniqueness, and dynamic analysis. Our evaluation of ReAssert shows up to 44% of generated asserts for a single project match exactly with the ground truth, increasing to 51% for generated asserts that compile. We also improve on the ATLAS results through our use of Reformer with 28% of generated asserts matching exactly with the ground truth. Reformer also produces the greatest proportion of unique asserts (71%), giving further evidence that Reformer produces the most useful asserts.


title: Nuclear matter at finite temperature and static properties of proto-neutron star

abstract: With the effective chiral model, the finite temperature properties of nuclear matter have been studied at different temperatures. For symmetric nuclear matter, I particularly focused on the possibility of liquid-gas phase transition at low temperature and density. The critical temperature obtained in this context, is consistent with the experimental and empirical findings. The free energy and entropy variations are also studied for different values of temperature. A few asymmetric nuclear matter properties like the equation of state and the speed of sound with respect to temperature are also examined. The work is also extended to obtain the equation of state of $\beta$ stable nuclear matter at finite temperature. For the neutrino free case, the various static proto-neutron star properties are computed for a wide range of temperature, relevant to proto-neutron stars. For all the values of temperature, the obtained estimates of maximum gravitational mass are found to be in good agreement with the observational constraints specified from massive pulsars like PSR J0348+0432 and PSR J0740+6620. The results of surface redshift for all the temperature also satisfy the maximum surface redshift constraints from EXO 07482-676, 1E 1207.4-5209 and RX J0720.4-3125.


title: Two-loop effective potential for general higher-derivative superfield models

abstract: For a three-dimensional higher-derivative scalar superfield model, and a four-dimensional higher-derivative chiral superfield model, where which the higher-derivative operators are described by polynomials of arbitrary degrees, we explicitly calculate the two-loop effective potential.


title: An investigation on the nonclassical and quantum phase properties of a family of engineered quantum states

abstract: The main focus of this thesis is to study the nonclassical and phase properties of a family of engineered quantum states, most of which show various nonclassical features. The beauty of these states is that these states can be used to establish quantum supremacy. Earlier, a considerable amount of works has been reported on various types of quantum states and their nonclassical properties. Here, complementing the earlier works, the effect of non-Gaussianity inducing operators on the nonclassical and phase properties of displaced Fock states have been studied. This thesis includes 6 chapters. In Chapter 1, motivation behind performing the present work is stated explicitly, also the basic concepts of quantum optics are discussed with a specific attention on the witnesses and measures of nonclassicality. In Chapter 2, nonclassical properties of photon added and subtracted displaced Fock states have been studied using various witnesses of lower- and higher-order nonclassicality which are introduced in Chapter 1. In Chapter 3, we have continued our investigation on photon added and subtracted displaced Fock states (and their limiting cases). In this chapter, quantum phase properties of these states are investigated from a number of perspectives, and it is shown that the quantum phase properties are dependent on the quantum state engineering operations performed. In Chapter 4, we have continued our investigation on the impact of non-Gaussianity inducing operators on the nonclassical and phase properties of the displaced Fock states. In Chapter 5, we have performed a comparison between to process that are used in quantum state engineering to induce nonclassical features. Finally, this thesis is concluded in Chapter 6, where we have summarized the findings of this thesis and have also described scope of the future works.


title: Distribution Amplitudes of $K^*$ and $\phi$ at Physical Pion Mass from Lattice QCD

abstract: We present the first lattice QCD calculation of the distribution amplitudes of longitudinally and transversely polarized vector mesons $K^*$ and $\phi$ using large momentum effective theory. We use the clover fermion action on three ensembles with 2+1+1 flavors of highly improved staggered quarks (HISQ) action, generated by MILC collaboration, at physical pion mass and \{0.06, 0.09, 0.12\} fm lattice spacings, and choose three different hadron momenta $P_z=\{1.29, 1.72, 2.15\}$ GeV. The resulting lattice matrix elements are nonperturbatively renormalized in a hybrid scheme proposed recently. An extrapolation to the continuum and infinite momentum limit is carried out. We find that while the longitudinal distribution amplitudes tend to be close to the asymptotic form, the transverse ones deviate rather significantly from the asymptotic form. Our final results provide crucial {\it ab initio} theory inputs for analyzing pertinent exclusive processes.


title: An Experimental Study of Semantic Continuity for Deep Learning Models

abstract: Deep learning models suffer from the problem of semantic discontinuity: small perturbations in the input space tend to cause semantic-level interference to the model output. We argue that the semantic discontinuity results from these inappropriate training targets and contributes to notorious issues such as adversarial robustness, interpretability, etc. We first conduct data analysis to provide evidence of semantic discontinuity in existing deep learning models, and then design a simple semantic continuity constraint which theoretically enables models to obtain smooth gradients and learn semantic-oriented features. Qualitative and quantitative experiments prove that semantically continuous models successfully reduce the use of non-semantic information, which further contributes to the improvement in adversarial robustness, interpretability, model transfer, and machine bias.


title: Nearly Frobenius dimension on Frobenius algebras

abstract: This article is divided into two parts. In the first part we work over a field $\mathbb{k}$ and prove that the Frobenius space associated to a Frobenius algebra is generated as left A-module by the Frobenius coproduct. In particular, we prove that the Frobenius dimension coincides with the dimension of the algebra. In the second part we work with a commutative ring $k$. We introduce the concept of nearly Frobenius algebras in this context and construct solutions of the Yang-Baxter equation starting from elements in the Frobenius space. Also, we give a list of equivalent characterizations of nearly Frobenius algebras.


title: Advances in dynamic AFM: from nanoscale energy dissipation to material properties in the nanoscale

abstract: Since the inception of the atomic force microscope AFM, dynamic methods have been very fruitful by establishing methods to quantify dissipative and conservative forces in the nanoscale and by providing a means to apply gentle forces to the samples with high resolution. Here we review developments that cover over a decade of our work on energy dissipation, phase contrast and the extraction of relevant material properties from observables. We describe the attempts to recover material properties via one dimensional amplitude and phase curves from force models and explore the evolution of these methods in terms of force reconstruction, fits of experimental measurements, and the more recent advances in multifrequency AFM.


title: The Robot Household Marathon Experiment

abstract: In this paper, we present an experiment, designed to investigate and evaluate the scalability and the robustness aspects of mobile manipulation. The experiment involves performing variations of mobile pick and place actions and opening/closing environment containers in a human household. The robot is expected to act completely autonomously for extended periods of time. We discuss the scientific challenges raised by the experiment as well as present our robotic system that can address these challenges and successfully perform all the tasks of the experiment. We present empirical results and the lessons learned as well as discuss where we hit limitations.


title: A perturbation approach for the Schr\"odinger-Born-Infeld system: solutions in the subcritical and critical case

abstract: In this paper, we study the following Schr\"{o}dinger-Born-infeld system with a general nonlinearity $$ \left\{ \begin{array}{ll} -\triangle u+u+\phi u=f(u)+\mu|u|^4u\,\,&\mbox{in}\,\,\R^3,\\ -\textrm{div}\displaystyle\bigg(\frac{\nabla\phi}{\sqrt{1-|\nabla\phi|^2}}\bigg)=u^2&\mbox{in}\,\,\R^3,\\ u(x)\rightarrow0,\,\,\phi(x)\rightarrow0,&\,\text{as}\,\,x\rightarrow\infty, \end{array} \right. $$ where $\mu\geq0$ and $f\in C(\R,\R)$ satisfies suitable assumptions. This system arises from a suitable coupling of the nonlinear Schr\"{o}dinger equation and the Born-Infeld theory. We use a new perturbation approach to prove the existence and multiplicity of nontrivial solutions of the above system in the subcritical and critical case. We emphasise that our results cover the case $f(u)=|u|^{p-1}u$ for $p\in(2,{5}/{2}]$ and $\mu=0$ which was left in \cite{Azzollini19} as an open problem.


title: Positively Correlated Samples Save Pooled Testing Costs

abstract: The group testing approach that achieves significant cost reduction over the individual testing approach has received a lot of interest lately for massive testing of COVID-19. Many studies simply assume samples mixed in a group are independent. However, this assumption may not be reasonable for a contagious disease like COVID-19. Specifically, people within a family tend to infect each other and thus are likely to be positively correlated. By exploiting positive correlation, we make the following two main contributions. One is to provide a rigorous proof that further cost reduction can be achieved by using the Dorfman two-stage method when samples within a group are positively correlated. The other is to propose a hierarchical agglomerative algorithm for pooled testing with a social graph, where an edge in the social graph connects frequent social contacts between two persons. Such an algorithm leads to notable cost reduction (roughly 20%-35%) compared to random pooling when the Dorfman two-stage algorithm is applied.


title: Pressure-induced ferroelectric phase of LaMoN$_3$

abstract: Nitride perovskites are supposed to exhibit excellent properties as oxide analogues and may even have better performance in specific fields for their more covalent characters. However, till now, very limited nitride perovskites have been reported. In this work, a nitride perovskite LaMoN$_3$ has been systematically studied by first-principles calculations. The most interesting physical property is its ferroelectric $R3c$ phase, which can be stabilized under a moderate hydrostatic pressure ($\sim1.5$ GPa) and probably remain meta-stable under the ambient condition. Its ferroelectric polarization is considerable large, $80.3$ $\mu$C/cm$^2$, driven by the nominal $4d^0$ rule of Mo$^{6+}$, and the covalent hybridization between Mo's $4d$ and N's $2p$ orbitals is very strong. Our calculation not only predicts a new ferroelectric material with prominent properties, but also encourages more studies on pressure engineering of functional nitrides.


title: Unifying Instance and Panoptic Segmentation with Dynamic Rank-1 Convolutions

abstract: Recently, fully-convolutional one-stage networks have shown superior performance comparing to two-stage frameworks for instance segmentation as typically they can generate higher-quality mask predictions with less computation. In addition, their simple design opens up new opportunities for joint multi-task learning. In this paper, we demonstrate that adding a single classification layer for semantic segmentation, fully-convolutional instance segmentation networks can achieve state-of-the-art panoptic segmentation quality. This is made possible by our novel dynamic rank-1 convolution (DR1Conv), a novel dynamic module that can efficiently merge high-level context information with low-level detailed features which is beneficial for both semantic and instance segmentation. Importantly, the proposed new method, termed DR1Mask, can perform panoptic segmentation by adding a single layer. To our knowledge, DR1Mask is the first panoptic segmentation framework that exploits a shared feature map for both instance and semantic segmentation by considering both efficacy and efficiency. Not only our framework is much more efficient -- twice as fast as previous best two-branch approaches, but also the unified framework opens up opportunities for using the same context module to improve the performance for both tasks. As a byproduct, when performing instance segmentation alone, DR1Mask is 10% faster and 1 point in mAP more accurate than previous state-of-the-art instance segmentation network BlendMask. Code is available at: https://git.io/AdelaiDet


title: Plasmons in Two-Dimensional Topological Insulators

abstract: We analyze collective excitations in models of two-dimensional topological insulators using the random phase approximation. In a two-dimensional extension of the Su-Schrieffer-Heeger model, edge plasmonic excitations with induced charge-density distributions localized at the boundaries of the system are found in the topologically non-trivial phase, dispersing similarly as one-dimensional bulk plasmons in the conventional Su-Schrieffer-Heeger chain. For two-dimensional bulk collective modes, we reveal regimes of enhanced inter-band wave function correlations, leading to characteristic hardening and softening of inter- and intra-band bulk plasmonic branches, respectively. In the two-dimensional Haldane Chern insulator model, chiral, uni-directional edge plasmons in nano-ribbon architectures are observed, which can be characterized by an effective Coulomb interaction cross section. Bulk collective excitations in the two-dimensional Haldane model are shown to be originated by single-particle band structure details in different topological phases.


title: Giant anisotropy of the magnetocaloric effect in the orthovanadate TbVO4 single crystals

abstract: It is known that the Zircon-type orthovanadates RVO4 show promise in many different applications as catalysts and optical materials. In this work, we demonstrate that the TbVO4 compound can be also used as magnetic refrigerant in efficient and ecofriendly cryocoolers due to its strong magnetocaloric effect at low temperature regime. The application of a relatively low magnetic field of 2 T along the easy magnetization axis (a) gives rise to a maximum entropy change of about 20 J/kg K at 4 K. More interestingly, under sufficiently high magnetic fields, the isothermal entropy change -{\Delta}ST remains approximately constant over a wide temperature range which is highly appreciated from a practical point of view. In the magnetic field change of 7 T, -{\Delta}ST that reaches roughly 22 J/kg K remains practically unchanged between 0 and 34 K leading to an outstanding refrigerant capacity of about 823 J/kg. On the other hand, the lowering of crystallographic symmetry from the tetragonal to the orthorhombic structure occurring close to 33 K as confirmed by Raman scattering data results in a strong magnetic anisotropy. Accordingly, strong thermal effects can be also obtained simply by spinning the TbVO4 single crystals between their hard and easy orientations in constant magnetic fields instead the standard magnetization-demagnetization process. Such rotating magnetocaloric effects would open the way for the implementation of TbVO4 in a new generation of compact and simplified magnetic refrigerators that can be dedicated to the liquefaction of hydrogen and helium.


title: Error Exponents in the Bee Identification Problem

abstract: We derive various error exponents in the bee identification problem under two different decoding rules. Under na\"ive decoding, which decodes each bee independently of the others, we analyze a general discrete memoryless channel and a relatively wide family of stochastic decoders. Upper and lower bounds to the random coding error exponent are derived and proved to be equal at relatively high coding rates. Then, we propose a lower bound on the error exponent of the typical random code, which improves upon the random coding exponent at low coding rates. We also derive a third bound, which is related to expurgated codes, which turns out to be strictly higher than the other bounds, also at relatively low rates. We show that the universal maximum mutual information decoder is optimal with respect to the typical random code and the expurgated code. Moving further, we derive error exponents under optimal decoding, the relatively wide family of symmetric channels, and the maximum likelihood decoder. We first propose a random coding lower bound, and then, an improved bound which stems from an expurgation process. We show numerically that our second bound strictly improves upon the random coding bound at an intermediate range of coding rates, where a bound derived in a previous work no longer holds.


title: Effects of cluster correlations on fragment emission in 12C + 12C at 50 MeV/nucleon

abstract: The effects of cluster correlations have been studied in the $^{12}$C + $^{12}$C reaction at 50 MeV/nucleon, using three AMD models, the AMD (AMD/D) without any additional cluster correlations, AMD/D-COALS with nucleon correlations based on a coalescence prescription for light cluster formations with $A\leq4$ and AMD-Cluster with an extended cluster correlation in two-nucleon collision processes and a special treatment for intermediate fragment formation with A $\le 9$. The angular distributions and energy spectra of fragments have been simulated and compared with the available experimental data. It is found that the cluster correlations take a crucial role to describe the productions of light charged particles (LCPs) and intermediate mass fragments (IMFs), and the AMD-cluster studied here provides a consistent overall reproduction of the experimental data. It is also shown that the significant effects of the secondary decay processes are involved for the fragment production besides the dynamical productions in the AMD stage. Detailed LCP and IMF production mechanisms involved in the intermediate energy heavy ion collisions are discussed.


title: Novel Classification of Ischemic Heart Disease Using Artificial Neural Network

abstract: Ischemic heart disease (IHD), particularly in its chronic stable form, is a subtle pathology due to its silent behavior before developing in unstable angina, myocardial infarction or sudden cardiac death. Machine learning techniques applied to parameters extracted form heart rate variability (HRV) signal seem to be a valuable support in the early diagnosis of some cardiac diseases. However, so far, IHD patients were identified using Artificial Neural Networks (ANNs) applied to a limited number of HRV parameters and only to very few subjects. In this study, we used several linear and non-linear HRV parameters applied to ANNs, in order to confirm these results on a large cohort of 965 sample of subjects and to identify which features could discriminate IHD patients with high accuracy. By using principal component analysis and stepwise regression, we reduced the original 17 parameters to five, used as inputs, for a series of ANNs. The highest accuracy of 82% was achieved using meanRR, LFn, SD1, gender and age parameters and two hidden neurons.


title: Non-analyticity of the correlation length in systems with exponentially decaying interactions

abstract: We consider a variety of lattice spin systems (including Ising, Potts and XY models) on $\mathbb{Z}^d$ with long-range interactions of the form $J_x = \psi(x) e^{-|x|}$, where $\psi(x) = e^{\mathsf{o}(|x|)}$ and $|\cdot|$ is an arbitrary norm. We characterize explicitly the prefactors $\psi$ that give rise to a correlation length that is not analytic in the relevant external parameter(s) (inverse temperature $\beta$, magnetic field $h$, etc). Our results apply in any dimension. As an interesting particular case, we prove that, in one-dimensional systems, the correlation length is non-analytic whenever $\psi$ is summable, in sharp contrast to the well-known analytic behavior of all standard thermodynamic quantities. We also point out that this non-analyticity, when present, also manifests itself in a qualitative change of behavior of the 2-point function. In particular, we relate the lack of analyticity of the correlation length to the failure of the mass gap condition in the Ornstein--Zernike theory of correlations.

categories: math.PR cond-mat.stat-mech math-ph math.MP


title: Coronal heating and solar wind formation in quiet Sun and coronal holes: a unified scenario

abstract: Coronal holes (CHs) are darker than quiet Sun (QS) when observed in coronal channels. This study aims to understand the similarities and differences between CHs and QS in the transition region using the \ion{Si}{4}~1394~{\AA} line recorded by the Interface Region Imaging Spectrograph (IRIS) by considering the distribution of magnetic field measured by the Helioseismic and Magnetic Imager (HMI) onboard the Solar Dynamics Observatory (SDO). We find that \ion{Si}{4} intensities obtained in CHs are lower than those obtained in QS for regions with identical magnetic flux densities. Moreover, the difference in intensities between CHs and QS increases with increasing magnetic flux. For the regions with equal magnetic flux density, QS line profiles are more redshifted than those measured in CHs. Moreover, the blue shifts measured in CHs show an increase with increasing magnetic flux density unlike in the QS. The non-thermal velocities in QS, as well as in CHs, show an increase with increasing magnetic flux. However, no significant difference was observed in QS and CHs, albeit a small deviation at small flux densities. Using these results, we propose a unified model for the heating of the corona in the QS and in CHs and the formation of the solar wind.


title: TaL: a synchronised multi-speaker corpus of ultrasound tongue imaging, audio, and lip videos

abstract: We present the Tongue and Lips corpus (TaL), a multi-speaker corpus of audio, ultrasound tongue imaging, and lip videos. TaL consists of two parts: TaL1 is a set of six recording sessions of one professional voice talent, a male native speaker of English; TaL80 is a set of recording sessions of 81 native speakers of English without voice talent experience. Overall, the corpus contains 24 hours of parallel ultrasound, video, and audio data, of which approximately 13.5 hours are speech. This paper describes the corpus and presents benchmark results for the tasks of speech recognition, speech synthesis (articulatory-to-acoustic mapping), and automatic synchronisation of ultrasound to audio. The TaL corpus is publicly available under the CC BY-NC 4.0 license.


title: Nanostructured Multilayer Coatings for Spatial Filtering

abstract: Spatial filtering is an important mechanism to improve the spatial quality of laser beams. Typically, a confocal arrangement of lenses with a diaphragm in the focal plane is used for intracavity spatial filtering. Such conventional filtering requires access to the far-field domain. In microlasers, however, conventional filtering is impossible due to the lack of space in micro-resonators to access the far-field. Therefore, a novel concept for more compact and efficient spatial filtering is necessary. In this study, we propose and demonstrate a conceptually novel mechanism of spatial filtering in the near-field domain, by a nanostructured multilayer coating - a 2D photonic crystal structure with a periodic index modulation along the longitudinal and transverse direction to the beam propagation. The structure is built on a nano-modulated substrate, to provide the transverse periodicity. The physical vapor deposition is used to provide self-repeating modulation in the longitudinal direction. We experimentally demonstrate a 5 micron thick photonic multilayer structure composed of nanostructured multiple layers of alternating high- and low-index materials providing spatial filtering in the near-infrared frequencies with 2{\deg} low angle passband. The proposed photonic structure can be considered as an ideal component for intracavity spatial filtering in microlasers.


title: Polynomial identities related to Special Schubert varieties

abstract: Let $\mathcal S$ be a single condition Schubert variety with an arbitrary number of strata. Recently, an explicit description of the summands involved in the decomposition theorem applied to such a variety has been obtained in a paper of the second author. Starting from this result, we provide an explicit description of the Poincar\'{e} polynomials of the intersection cohomology of $\mathcal S$ by means of the Poincar\'{e} polynomials of its strata, obtaining interesting polynomial identities relating Poincar\'{e} polynomials of several Grassmannians, both by a local and by a global point of view. We also present a symbolic study of a particular case of these identities.


title: Congruence Subgroups and Orthogonal Groups

abstract: We derive explicit isomorphisms between certain congruence subgroups of the Siegel modular group, the Hermitian modular group over an arbitrary imaginary-quadratic number field and the modular group over the Hurwitz quaternions of degree 2 and the discriminant kernels of special orthogonal groups SO 0 (2, n), n = 3, 4, 6. The proof is based on an application of linear algebra adapted to the number theoretical needs.


title: Unmixing Convolutional Features for Crisp Edge Detection

abstract: This paper presents a context-aware tracing strategy (CATS) for crisp edge detection with deep edge detectors, based on an observation that the localization ambiguity of deep edge detectors is mainly caused by the mixing phenomenon of convolutional neural networks: feature mixing in edge classification and side mixing during fusing side predictions. The CATS consists of two modules: a novel tracing loss that performs feature unmixing by tracing boundaries for better side edge learning, and a context-aware fusion block that tackles the side mixing by aggregating the complementary merits of learned side edges. Experiments demonstrate that the proposed CATS can be integrated into modern deep edge detectors to improve localization accuracy. With the vanilla VGG16 backbone, in terms of BSDS500 dataset, our CATS improves the F-measure (ODS) of the RCF and BDCN deep edge detectors by 12% and 6% respectively when evaluating without using the morphological non-maximal suppression scheme for edge detection.


title: The existence of contact structures on 9-manifolds

abstract: We give necessary and sufficient conditions for a closed orientable 9-manifold M to admit an almost contact structure. The conditions are stated in terms of the Stiefel-Whitney classes of M and other more subtle homotopy invariants of M. By a fundamental result of Borman, Eliashberg and Murphy, M admits an almost contact structure if and only if M admits an over-twisted contact structure. Hence we give necessary and sufficient conditions for M to admit an over-twisted contact structure and we prove that if N is another closed 9-manifold which is homotopy equivalent to M, then M admits an over-twisted contact structure if and only if N does. In addition, for W_i(M) the i-th integral Stiefel-Whitney class of M, we prove that if W_3(M) = 0 then W_7(M) = 0.


title: Continuous calibration of a digital twin: comparison of particle filter and Bayesian calibration approaches

abstract: Assimilation of continuously streamed monitored data is an essential component of a digital twin; the assimilated data are used to ensure the digital twin is a true representation of the monitored system. One way this is achieved is by calibration of simulation models, whether data-derived or physics-based, or a combination of both. Traditional manual calibration is not possible in this context hence new methods are required for continuous calibration. In this paper, a particle filter methodology for continuous calibration of the physics-based model element of a digital twin is presented and applied to an example of an underground farm. The methodology is applied to a synthetic problem with known calibration parameter values prior to being used in conjunction with monitored data. The proposed methodology is compared against static and sequential Bayesian calibration approaches and compares favourably in terms of determination of the distribution of parameter values and analysis run-times, both essential requirements. The methodology is shown to be potentially useful as a means to ensure continuing model fidelity.


title: Lifelong Knowledge Learning in Rule-based Dialogue Systems

abstract: One of the main weaknesses of current chatbots or dialogue systems is that they do not learn online during conversations after they are deployed. This is a major loss of opportunity. Clearly, each human user has a great deal of knowledge about the world that may be useful to others. If a chatbot can learn from their users during chatting, it will greatly expand its knowledge base and serve its users better. This paper proposes to build such a learning capability in a rule-based chatbot so that it can continuously acquire new knowledge in its chatting with users. This work is useful because many real-life deployed chatbots are rule-based.


title: High-velocity moving groups in the Solar neighborhood in Gaia DR2

abstract: We use an improved wavelet analysis technique to reconstruct the $(U,V,W)$ velocity distribution for $\sim 250000$ stars from Gaia DR2, residing in the solar neighborhood of $200$~pc. The 2D wavelet transforms for three bivariate distributions $(U,V)$, $(U,W)$, and $(V,W)$ were investigated. Though most of currently known (low-velocity) stellar moving groups are densely overlapped in these diagrams, our analysis allowed to detect and disentangle about twenty statistically significant 3D groups of stars with high velocities. Most of them appear new. We also discuss the issue of correct noise thresholding in the wavelet transform and highlight the importance of using a global rather than local statistic for that. Using of a local significance measure may lead to an overstated statistical confidence for individual patterns due to the effect of multiple testing.


title: Non-local matrix elements in $B_{(s)}\to \{K^{(*)},\phi\}\ell^+\ell^-$

abstract: We revisit the theoretical predictions and the parametrization of non-local matrix elements in rare $\bar{B}_{(s)}\to \lbrace \bar{K}^{(*)},\phi\rbrace\ell^+\ell^-$ and $\bar{B}_{(s)}\to \lbrace \bar{K}^{*}, \phi\rbrace \gamma$ decays. We improve upon the current state of these matrix elements in two ways. First, we recalculate the hadronic matrix elements needed at subleading power in the light-cone OPE using $B$-meson light-cone sum rules. Our analytical results supersede those in the literature. We discuss the origin of our improvements and provide numerical results for the processes under consideration. Second, we derive the first dispersive bound on the non-local matrix elements. It provides a parametric handle on the truncation error in extrapolations of the matrix elements to large timelike momentum transfer using the $z$ expansion. We illustrate the power of the dispersive bound at the hand of a simple phenomenological application. As a side result of our work, we also provide numerical results for the $B_s \to \phi$ form factors from $B$-meson light-cone sum rules.


title: Thermalization of Yang-Mills theory in a $(3+1)$ dimensional small lattice system

abstract: We study the real-time evolution of SU($2$) Yang-Mills theory in a $(3+1)$ dimensional small lattice system after interaction quench. We numerically solve the Schr{\"o}dinger equation with the Kogut-Susskind Hamiltonian in the physical Hilbert space obtained by solving Gauss law constraints. We observe the thermalization of a Wilson loop to the canonical state; the relaxation time is insensitive to the coupling strength, and estimated as $\tau_{\rm eq}\sim 2\pi/T$ with temperatures $T$ at steady states. We also compute the vacuum persistence probability (the Loschmidt echo) to understand the relaxation from the dynamics of the wave function.

categories: hep-lat cond-mat.quant-gas hep-th quant-ph


title: A scoping review of causal methods enabling predictions under hypothetical interventions

abstract: Background and Aims: The methods with which prediction models are usually developed mean that neither the parameters nor the predictions should be interpreted causally. However, when prediction models are used to support decision making, there is often a need for predicting outcomes under hypothetical interventions. We aimed to identify published methods for developing and validating prediction models that enable risk estimation of outcomes under hypothetical interventions, utilizing causal inference: their main methodological approaches, underlying assumptions, targeted estimands, and potential pitfalls and challenges with using the method, and unresolved methodological challenges. Methods: We systematically reviewed literature published by December 2019, considering papers in the health domain that used causal considerations to enable prediction models to be used for predictions under hypothetical interventions. Results: We identified 4919 papers through database searches and a further 115 papers through manual searches, of which 13 were selected for inclusion, from both the statistical and the machine learning literature. Most of the identified methods for causal inference from observational data were based on marginal structural models and g-estimation. Conclusions: There exist two broad methodological approaches for allowing prediction under hypothetical intervention into clinical prediction models: 1) enriching prediction models derived from observational studies with estimated causal effects from clinical trials and meta-analyses; and 2) estimating prediction models and causal effects directly from observational data. These methods require extending to dynamic treatment regimes, and consideration of multiple interventions to operationalise a clinical decision support system. Techniques for validating 'causal prediction models' are still in their infancy.


title: Controlling Photoluminescence Spectra of hBN Color Centers by Selective Phonon-Assisted Excitation: A Theoretical Proposal

abstract: Color centers in hexagonal boron nitride (hBN) show stable single photon emission even at room temperature, making these systems a promising candidate for quantum information applications. Besides this remarkable property, also their interaction with longitudinal optical (LO) phonons is quite unique because they lead to dominant phonon sidebands (PSBs), well separated from the zero phonon line (ZPL). In this work we utilize this clear spectral separation to theoretically investigate the influence of phonon decay dynamics on time-dependent photoluminescence (PL) signals. Our simulations show, that by using tailored optical excitation schemes it is possible to create a superposition between the two LO modes, leading to a phonon quantum beat that manifests in the time-dependent PL signal.


title: Entity Recognition and Relation Extraction from Scientific and Technical Texts in Russian

abstract: This paper is devoted to the study of methods for information extraction (entity recognition and relation classification) from scientific texts on information technology. Scientific publications provide valuable information into cutting-edge scientific advances, but efficient processing of increasing amounts of data is a time-consuming task. In this paper, several modifications of methods for the Russian language are proposed. It also includes the results of experiments comparing a keyword extraction method, vocabulary method, and some methods based on neural networks. Text collections for these tasks exist for the English language and are actively used by the scientific community, but at present, such datasets in Russian are not publicly available. In this paper, we present a corpus of scientific texts in Russian, RuSERRC. This dataset consists of 1600 unlabeled documents and 80 labeled with entities and semantic relations (6 relation types were considered). The dataset and models are available at https://github.com/iis-research-team. We hope they can be useful for research purposes and development of information extraction systems.


title: Nonsingular bouncing cosmology in general relativity: physical analysis of the spacetime defect

abstract: In this paper, we describe physical effects occurring in the regularized Robertson-Walker spacetime which can reveal the presence of the defect. Our analysis is based on two main physical quantities: the compressive forces acting on (human) observers and the energy possessed by massive particles and photons during their dynamical evolution. In Sec. 3, we claim that with a characteristic length scale of the order of the Planck length compressive forces become so intense near the defect that no (human) observer is able to cross it. In Sec. 4, we show that the energy exhibits an unusual character over a small time interval around the bounce contrasting with the behaviour in the standard cosmology picture. We conclude the paper with some considerations and open problems related to our results.


title: Hardware Implementation of Fano Decoder for Polarization-adjusted Convolutional (PAC) Codes

abstract: This brief proposes a hardware implementation architecture for Fano decoding of polarization-adjusted convolutional (PAC) codes. This architecture uses a novel branch metric unit specific to PAC codes. The proposed decoder is tested on FPGA, and its performance is evaluated on ASIC using TSMC 28 nm 0.72 V library. The decoder can be clocked at 500 MHz and reach an average information throughput of 38 Mb/s at 3.5 dB signal-to-noise ratio for a block length of 128 and a code rate of 1/2.


title: Effective, Efficient and Robust Neural Architecture Search

abstract: Recent advances in adversarial attacks show the vulnerability of deep neural networks searched by Neural Architecture Search (NAS). Although NAS methods can find network architectures with the state-of-the-art performance, the adversarial robustness and resource constraint are often ignored in NAS. To solve this problem, we propose an Effective, Efficient, and Robust Neural Architecture Search (E2RNAS) method to search a neural network architecture by taking the performance, robustness, and resource constraint into consideration. The objective function of the proposed E2RNAS method is formulated as a bi-level multi-objective optimization problem with the upper-level problem as a multi-objective optimization problem, which is different from existing NAS methods. To solve the proposed objective function, we integrate the multiple-gradient descent algorithm, a widely studied gradient-based multi-objective optimization algorithm, with the bi-level optimization. Experiments on benchmark datasets show that the proposed E2RNAS method can find adversarially robust architectures with optimized model size and comparable classification accuracy.


title: Metaheuristics "In the Large"

abstract: Following decades of sustained improvement, metaheuristics are one of the great success stories of optimization research. However, in order for research in metaheuristics to avoid fragmentation and a lack of reproducibility, there is a pressing need for stronger scientific and computational infrastructure to support the development, analysis and comparison of new approaches. We argue that, via principled choice of infrastructure support, the field can pursue a higher level of scientific enquiry. We describe our vision and report on progress, showing how the adoption of common protocols for all metaheuristics can help liberate the potential of the field, easing the exploration of the design space of metaheuristics.


title: Outage Constrained Robust Transmission Design for IRS-aided Secure Communications with Direct Communication Links

abstract: In this paper, we investigate the robust outage constrained transmission design for an intelligent reflecting surface (IRS) aided secure communication system. We assume that a single-antenna legitimate receiver (Bob) served by a multi-antenna base station (BS) is overheard by multiple single-antenna eavesdroppers (Eves), and the artificial noise (AN) is incorporated to confuse the Eves. In particular, we aim to jointly optimize the transmit beamforming, the AN spatial distribution at the BS, and the passive beamforming at the IRS, where the Eve-related channels are assumed to be imperfect due to the channel estimation errors and their concealment. Two scenarios with partial channel state information (CSI) error of only cascaded BS-IRS-Eve channel and full CSI errors of both cascaded BS-IRS-Eve channel and direct BS-Eve channel are investigated under the statistical CSI error model. An outage-constrained power minimization problem is formulated by limiting the maximum allowable data rate of Eves and ensuring the minimum data rate requirement of Bob. To solve it, the Bernstein-type inequality and alternating optimization strategy are exploited, and artful mathematical manipulations are performed to facilitate the optimization on the phase shifts of the IRS. Simulation results confirm the performance advantages of the proposed algorithm.


title: Quantum complexity of minimum cut

abstract: The minimum cut problem in an undirected and weighted graph $G$ is to find the minimum total weight of a set of edges whose removal disconnects $G$. We completely characterize the quantum query and time complexity of the minimum cut problem in the adjacency matrix model. If $G$ has $n$ vertices and edge weights at least $1$ and at most $\tau$, we give a quantum algorithm to solve the minimum cut problem using $\tilde O(n^{3/2}\sqrt{\tau})$ queries and time. Moreover, for every integer $1 \le \tau \le n$ we give an example of a graph $G$ with edge weights $1$ and $\tau$ such that solving the minimum cut problem on $G$ requires $\Omega(n^{3/2}\sqrt{\tau})$ many queries to the adjacency matrix of $G$. These results contrast with the classical randomized case where $\Omega(n^2)$ queries to the adjacency matrix are needed in the worst case even to decide if an unweighted graph is connected or not. In the adjacency array model, when $G$ has $m$ edges the classical randomized complexity of the minimum cut problem is $\tilde \Theta(m)$. We show that the quantum query and time complexity are $\tilde O(\sqrt{mn\tau})$ and $\tilde O(\sqrt{mn\tau} + n^{3/2})$, respectively, where again the edge weights are between $1$ and $\tau$. For dense graphs we give lower bounds on the quantum query complexity of $\Omega(n^{3/2})$ for $\tau > 1$ and $\Omega(\tau n)$ for any $1 \leq \tau \leq n$. Our query algorithm uses a quantum algorithm for graph sparsification by Apers and de Wolf (FOCS 2020) and results on the structure of near-minimum cuts by Kawarabayashi and Thorup (STOC 2015) and Rubinstein, Schramm and Weinberg (ITCS 2018). Our time efficient implementation builds on Karger's tree packing technique (STOC 1996).


title: Multi-Task Adversarial Attack

abstract: Deep neural networks have achieved impressive performance in various areas, but they are shown to be vulnerable to adversarial attacks. Previous works on adversarial attacks mainly focused on the single-task setting. However, in real applications, it is often desirable to attack several models for different tasks simultaneously. To this end, we propose Multi-Task adversarial Attack (MTA), a unified framework that can craft adversarial examples for multiple tasks efficiently by leveraging shared knowledge among tasks, which helps enable large-scale applications of adversarial attacks on real-world systems. More specifically, MTA uses a generator for adversarial perturbations which consists of a shared encoder for all tasks and multiple task-specific decoders. Thanks to the shared encoder, MTA reduces the storage cost and speeds up the inference when attacking multiple tasks simultaneously. Moreover, the proposed framework can be used to generate per-instance and universal perturbations for targeted and non-targeted attacks. Experimental results on the Office-31 and NYUv2 datasets demonstrate that MTA can improve the quality of attacks when compared with its single-task counterpart.


title: Do We Need Online NLU Tools?

abstract: The intent recognition is an essential algorithm of any conversational AI application. It is responsible for the classification of an input message into meaningful classes. In many bot development platforms, we can configure the NLU pipeline. Several intent recognition services are currently available as an API, or we choose from many open-source alternatives. However, there is no comparison of intent recognition services and open-source algorithms. Many factors make the selection of the right approach to the intent recognition challenging in practice. In this paper, we suggest criteria to choose the best intent recognition algorithm for an application. We present a dataset for evaluation. Finally, we compare selected public NLU services with selected open-source algorithms for intent recognition.


title: Tensile properties of structural I clathrate hydrates:Role of guest-host hydrogen bonding ability

abstract: Clathrate hydrates (CHs) are one of the most promising molecular structures in applications of gas capture and storage, and gas separations. Fundamental knowledge of mechanical characteristics of CHs is of crucial importance for assessing gas storage and separations at cold conditions, as well as understanding their stability and formation mechanisms. Here, the tensile mechanical properties of structural I CHs encapsulating a variety of guest species (methane, ammonia, sulfureted hydrogen, formaldehyde, methanol, and methyl mercaptan) that have different abilities to form hydrogen (H-) bonds with water molecule are explored by classical molecular dynamics (MD) simulations. All investigated CHs are structurally stable clathrate structures. Basic mechanical properties of CHs including tensile limit and Young's modulus are dominated by the H-bonding ability of host-guest molecules and the guest molecular polarity. CHs containing small methane, formaldehyde and sulfureted hydrogen guest molecules that possess weak H-bonding ability are mechanically robust clathrate structures and mechanically destabilized via brittle failure on the (1 0 1) plane. However, those entrapping methyl mercaptan, methanol, and ammonia that have strong H-bonding ability are mechanically weak molecular structures and mechanically destabilized through ductile failure as a result of gradual global dissociation of clathrate cages.


title: Ferroelectricity and multiferroicity in anti-Ruddlesden-Popper structures

abstract: Combining ferroelectricity with other properties such as visible light absorption or long-range magnetic order requires the discovery of new families of ferroelectric materials. Here, through the analysis of a high-throughput database of phonon band structures, we identify a new structural family of anti-Ruddlesden-Popper phases A$_4$X$_2$O (A=Ca, Sr, Ba, Eu, X=Sb, P, As, Bi) showing ferroelectric and anti-ferroelectric behaviors. The discovered ferroelectrics belong to the new class of hyperferroelectrics which polarize even under open-circuit boundary conditions. The polar distortion involves the movement of O anions against apical A cations and is driven by geometric effects resulting from internal chemical strains. Within this new structural family, we show that Eu$_4$Sb$_2$O combines coupled ferromagnetic and ferroelectric order at the same atomic site, a very rare occurrence in materials physics.


title: On the Hofer-Zehnder capacity for twisted tangent bundles over closed surfaces

abstract: We determine the Hofer-Zehnder capacity for twisted tangent bundles over closed surfaces for (i) arbitrary constant magnetic fields on the two-sphere and (ii) strong constant magnetic fields for higher genus surfaces. On $S^2$ we further give an explicit $\text{SO}(3)$-equivariant compactification of the twisted tangent bundle to $S^2\times S^2$ with split symplectic form. The former is the phase space of a charged particle moving on the two-sphere in a constant magnetic field, the latter is the configuration space of two massless coupled angular momenta.


title: Sharp bounds for variance of treatment effect estimators in the finite population in the presence of covariates

abstract: In a completely randomized experiment, the variances of treatment effect estimators in the finite population are usually not identifiable and hence not estimable. Although some estimable bounds of the variances have been established in the literature, few of them are derived in the presence of covariates. In this paper, the difference-in-means estimator and the Wald estimator are considered in the completely randomized experiment with perfect compliance and noncompliance, respectively. Sharp bounds for the variances of these two estimators are established when covariates are available. Furthermore, consistent estimators for such bounds are obtained, which can be used to shorten the confidence intervals and improve the power of tests. Confidence intervals are constructed based on the consistent estimators of the upper bounds, whose coverage rates are uniformly asymptotically guaranteed. Simulations were conducted to evaluate the proposed methods. The proposed methods are also illustrated with two real data analyses.


title: A Conley-type Lyapunov function for the strong chain recurrent set

abstract: Let $\phi:X\times\mathbb{R} \rightarrow X$ be a continuous flow on a compact metric space $(X,d)$. In this article we constructively prove the existence of a continuous Lyapunov function for $\phi$ which is strictly decreasing outside $\mathcal{SCR}_d(\phi)$. Such a result generalizes Conley's Fundamental Theorem of Dynamical Systems for the strong chain recurrent set.


title: Interval-valued aggregation functions based on moderate deviations applied to Motor-Imagery-Based Brain Computer Interface

abstract: In this work we study the use of moderate deviation functions to measure similarity and dissimilarity among a set of given interval-valued data. To do so, we introduce the notion of interval-valued moderate deviation function and we study in particular those interval-valued moderate deviation functions which preserve the width of the input intervals. Then, we study how to apply these functions to construct interval-valued aggregation functions. We have applied them in the decision making phase of two Motor-Imagery Brain Computer Interface frameworks, obtaining better results than those obtained using other numerical and intervalar aggregations.


title: Differentiable Data Augmentation with Kornia

abstract: In this paper we present a review of the Kornia differentiable data augmentation (DDA) module for both for spatial (2D) and volumetric (3D) tensors. This module leverages differentiable computer vision solutions from Kornia, with an aim of integrating data augmentation (DA) pipelines and strategies to existing PyTorch components (e.g. autograd for differentiability, optim for optimization). In addition, we provide a benchmark comparing different DA frameworks and a short review for a number of approaches that make use of Kornia DDA.


title: EventDetectR -- An Open-Source Event Detection System

abstract: EventDetectR: An efficient Event Detection System (EDS) capable of detecting unexpected water quality conditions. This approach uses multiple algorithms to model the relationship between various multivariate water quality signals. Then the residuals of the models were utilized in constructing the event detection algorithm, which provides a continuous measure of the probability of an event at every time step. The proposed framework was tested for water contamination events with industrial data from automated water quality sensors. The results showed that the framework is reliable with better performance and is highly suitable for event detection.


title: Logics with Multiteam Semantics

abstract: Team semantics is the mathematical basis of modern logics of dependence and independence. In contrast to classical Tarski semantics, a formula is evaluated not for a single assignment of values to the free variables, but on a set of such assignments, called a team. Team semantics is appropriate for a purely logical understanding of dependency notions, where only the presence or absence of data matters, but based on sets, it does not take into account multiple occurrences of data values. It is therefore insufficient in scenarios where such multiplicities matter, in particular for reasoning about probabilities and statistical independencies. Therefore, an extension from teams to multiteams (i.e. multisets of assignments) has been proposed by several authors. In this paper we aim at a systematic development of logics of dependence and independence based on multiteam semantics. We study atomic dependency properties of finite multiteams and discuss the appropriate meaning of logical operators to extend the atomic dependencies to full-fledged logics for reasoning about dependence properties in a multiteam setting. We explore properties and expressive power of a wide spectrum of different multiteam logics and compare them to logics with team semantics. We also study the relationship of logics with multiteam semantics with existential second-order logic for a specific class of metafinite structures. It turns out that inclusion-exclusion logic can be characterised in a precise sense by the Presburger fragment of this logic, but for capturing independence, we need to go beyond it and add some form of multiplication. Finally we also consider multiteams with weights in the reals and study the expressive power of formulae by means of topological properties.


title: Multi-CCD Point Spread Function Modelling

abstract: Galaxy imaging surveys observe a vast number of objects that are affected by the instrument's Point Spread Function (PSF). Weak lensing missions, in particular, aim at measuring the shape of galaxies, and PSF effects represent an important source of systematic errors which must be handled appropriately. This demands a high accuracy in the modelling as well as the estimation of the PSF at galaxy positions. Sometimes referred to as non-parametric PSF estimation, the goal of this paper is to estimate a PSF at galaxy positions, starting from a set of noisy star image observations distributed over the focal plane. To accomplish this, we need our model to first of all, precisely capture the PSF field variations over the Field of View (FoV), and then to recover the PSF at the selected positions. This paper proposes a new method, coined MCCD (Multi-CCD PSF modelling), that creates, simultaneously, a PSF field model over all of the instrument's focal plane. This allows to capture global as well as local PSF features through the use of two complementary models which enforce different spatial constraints. Most existing non-parametric models build one model per Charge Coupled Device (CCD), which can lead to difficulties in capturing global ellipticity patterns. We first test our method on a realistic simulated dataset comparing it with two state-of-the-art PSF modelling methods (PSFEx and RCA). We outperform both of them with our proposed method. Then we contrast our approach with PSFEx on real data from CFIS (Canada France Imaging Survey) that uses the CFHT (Canada-France-Hawaii Telescope). We show that our PSF model is less noisy and achieves a 22% gain on pixel Root Mean Squared Error (RMSE) with respect to PSFEx. We present, and share the code of, a new PSF modelling algorithm that models the PSF field on all the focal plane that is mature enough to handle real data.


title: First Order-Rewritability and Containment of Conjunctive Queries in Horn Description Logics

abstract: We study FO-rewritability of conjunctive queries in the presence of ontologies formulated in a description logic between EL and Horn-SHIF, along with related query containment problems. Apart from providing characterizations, we establish complexity results ranging from ExpTime via NExpTime to 2ExpTime, pointing out several interesting effects. In particular, FO-rewriting is more complex for conjunctive queries than for atomic queries when inverse roles are present, but not otherwise.