title: An Evolutionary Approach to Adapt Tests Across Mobile Apps

abstract: Automatic generators of GUI tests often fail to generate semantically relevant test cases, and thus miss important test scenarios. To address this issue, test adaptation techniques can be used to automatically generate semantically meaningful GUI tests from test cases of applications with similar functionalities. In this paper, we present ADAPTDROID, a technique that approaches the test adaptation problem as a search-problem, and uses evolutionary testing to adapt GUI tests (including oracles) across similar Android apps. In our evaluation with 32 popular Android apps, ADAPTDROID successfully adapted semantically relevant test cases in 11 out of 20 cross-app adaptation scenarios.


title: Deep Attributed Network Representation Learning via Attribute Enhanced Neighborhood

abstract: Attributed network representation learning aims at learning node embeddings by integrating network structure and attribute information. It is a challenge to fully capture the microscopic structure and the attribute semantics simultaneously, where the microscopic structure includes the one-step, two-step and multi-step relations, indicating the first-order, second-order and high-order proximity of nodes, respectively. In this paper, we propose a deep attributed network representation learning via attribute enhanced neighborhood (DANRL-ANE) model to improve the robustness and effectiveness of node representations. The DANRL-ANE model adopts the idea of the autoencoder, and expands the decoder component to three branches to capture different order proximity. We linearly combine the adjacency matrix with the attribute similarity matrix as the input of our model, where the attribute similarity matrix is calculated by the cosine similarity between the attributes based on the social homophily. In this way, we preserve the second-order proximity to enhance the robustness of DANRL-ANE model on sparse networks, and deal with the topological and attribute information simultaneously. Moreover, the sigmoid cross-entropy loss function is extended to capture the neighborhood character, so that the first-order proximity is better preserved. We compare our model with the state-of-the-art models on five real-world datasets and two network analysis tasks, i.e., link prediction and node classification. The DANRL-ANE model performs well on various networks, even on sparse networks or networks with isolated nodes given the attribute information is sufficient.


title: Artificial Intelligence Methods Based Hierarchical Classification of Frontotemporal Dementia to Improve Diagnostic Predictability

abstract: Patients with Frontotemporal Dementia (FTD) have impaired cognitive abilities, executive and behavioral traits, loss of language ability, and decreased memory capabilities. Based on the distinct patterns of cortical atrophy and symptoms, the FTD spectrum primarily includes three variants: behavioral variant FTD (bvFTD), non-fluent variant primary progressive aphasia (nfvPPA), and semantic variant primary progressive aphasia (svPPA). The purpose of this study is to classify MRI images of every single subject into one of the spectrums of the FTD in a hierarchical order by applying data-driven techniques of Artificial Intelligence (AI) on cortical thickness data. This data is computed by FreeSurfer software. We used the Smallest Univalue Segment Assimilating Nucleus (SUSAN) technique to minimize the noise in cortical thickness data. Specifically, we took 204 subjects from the frontotemporal lobar degeneration neuroimaging initiative (NIFTD) database to validate this approach, and each subject was diagnosed in one of the diagnostic categories (bvFTD, svPPA, nfvPPA and cognitively normal). Our proposed automated classification model yielded classification accuracy of 86.5, 76, and 72.7 with support vector machine (SVM), linear discriminant analysis (LDA), and Naive Bayes methods, respectively, in 10-fold cross-validation analysis, which is a significant improvement on a traditional single multi-class model with an accuracy of 82.7, 73.4, and 69.2.


title: Information Rate Optimization for Non-Regenerative MIMO Relay Networks with a Direct Link

abstract: We consider the optimization of a two-hop relay network based on an amplify-and-forward Multiple-Input Multiple-Output (MIMO) relay. The relay is assumed to derive the output signal by a Relay Transform Matrix (RTM) applied to the input signal. Assuming perfect channel state information about the network at the relay, the RTM is optimized according to two different criteria: {\bf\em i)} network capacity; {\bf\em ii)} network capacity based on Orthogonal Space--Time Block Codes. The two assumptions have been addressed in part in the literature. The optimization problem is reduced to a manageable convex form, whose KKT equations are explicitly solved. Then, a parametric solution is given, which yields the power constraint and the capacity achieved with uncorrelated transmitted data as functions of a positive indeterminate. The solution for a given average power constraint at the relay is amenable to a \emph{water-filling-like} algorithm, and extends earlier literature results addressing the case without the direct link. Simulation results are reported concerning a Rayleigh relay network and the role of the direct link SNR is precisely assessed.


title: Neural Camera Simulators

abstract: We present a controllable camera simulator based on deep neural networks to synthesize raw image data under different camera settings, including exposure time, ISO, and aperture. The proposed simulator includes an exposure module that utilizes the principle of modern lens designs for correcting the luminance level. It also contains a noise module using the noise level function and an aperture module with adaptive attention to simulate the side effects on noise and defocus blur. To facilitate the learning of a simulator model, we collect a dataset of the 10,000 raw images of 450 scenes with different exposure settings. Quantitative experiments and qualitative comparisons show that our approach outperforms relevant baselines in raw data synthesize on multiple cameras. Furthermore, the camera simulator enables various applications, including large-aperture enhancement, HDR, auto exposure, and data augmentation for training local feature detectors. Our work represents the first attempt to simulate a camera sensor's behavior leveraging both the advantage of traditional raw sensor features and the power of data-driven deep learning.


title: Quantum protocols at presence of non-abelian superselection rules in the framework of algebraic model

abstract: In this paper, we study the influence of non-abelian superselection rules on the transfer of quantum information with the help of qubits on the base of an algebraic model and formulate quantum protocols. We pay the main attention to the superselection structure of the algebra of observables OG defined by the Cuntz algebra Od (a field algebra) that contains OG as a pointwise fixed subalgebra with respect to the action of the gauge group G. We prove that it is possible to code information only with the help of states such that projectors on them belong to the algebra of observables and, owing to their commutativity with elements of the representation of the group G, they allow the recipient to restore the obtained information


title: Look Closer to Segment Better: Boundary Patch Refinement for Instance Segmentation

abstract: Tremendous efforts have been made on instance segmentation but the mask quality is still not satisfactory. The boundaries of predicted instance masks are usually imprecise due to the low spatial resolution of feature maps and the imbalance problem caused by the extremely low proportion of boundary pixels. To address these issues, we propose a conceptually simple yet effective post-processing refinement framework to improve the boundary quality based on the results of any instance segmentation model, termed BPR. Following the idea of looking closer to segment boundaries better, we extract and refine a series of small boundary patches along the predicted instance boundaries. The refinement is accomplished by a boundary patch refinement network at higher resolution. The proposed BPR framework yields significant improvements over the Mask R-CNN baseline on Cityscapes benchmark, especially on the boundary-aware metrics. Moreover, by applying the BPR framework to the PolyTransform + SegFix baseline, we reached 1st place on the Cityscapes leaderboard.


title: Factual Probing Is [MASK]: Learning vs. Learning to Recall

abstract: Petroni et al. (2019) demonstrated that it is possible to retrieve world facts from a pre-trained language model by expressing them as cloze-style prompts and interpret the model's prediction accuracy as a lower bound on the amount of factual information it encodes. Subsequent work has attempted to tighten the estimate by searching for better prompts, using a disjoint set of facts as training data. In this work, we make two complementary contributions to better understand these factual probing techniques. First, we propose OptiPrompt, a novel and efficient method which directly optimizes in continuous embedding space. We find this simple method is able to predict an additional 6.4% of facts in the LAMA benchmark. Second, we raise a more important question: Can we really interpret these probing results as a lower bound? Is it possible that these prompt-search methods learn from the training data too? We find, somewhat surprisingly, that the training data used by these methods contains certain regularities of the underlying fact distribution, and all the existing prompt methods, including ours, are able to exploit them for better fact prediction. We conduct a set of control experiments to disentangle "learning" from "learning to recall", providing a more detailed picture of what different prompts can reveal about pre-trained language models.


title: An error-propagation spiking neural network compatible with neuromorphic processors

abstract: Spiking neural networks have shown great promise for the design of low-power sensory-processing and edge-computing hardware platforms. However, implementing on-chip learning algorithms on such architectures is still an open challenge, especially for multi-layer networks that rely on the back-propagation algorithm. In this paper, we present a spike-based learning method that approximates back-propagation using local weight update mechanisms and which is compatible with mixed-signal analog/digital neuromorphic circuits. We introduce a network architecture that enables synaptic weight update mechanisms to back-propagate error signals across layers and present a network that can be trained to distinguish between two spike-based patterns that have identical mean firing rates, but different spike-timings. This work represents a first step towards the design of ultra-low power mixed-signal neuromorphic processing systems with on-chip learning circuits that can be trained to recognize different spatio-temporal patterns of spiking activity (e.g. produced by event-based vision or auditory sensors).


title: Elasticity of Phantom Model Networks with Cyclic Defects

abstract: The impact of finite cycles on the phantom modulus in an otherwise perfect network is computed exactly. It is shown that pending cycles reduce the phantom modulus of the network by $kT/V$ independent of junction functionality. The correction for nonpending cycles is larger than estimated previously within this particular approximation of the surrounding network structure. It is discussed that loop formation inevitably leads to streched chain conformations, if the loops are built step by step as part of the network structure. All network loops tend to contract simultaneously to optimize conformations, which leads to an increasing stretch of chains in larger loops that can be observed in computer simulations. Possible other corrections to the phantom modulus that were left aside in previous work are discussed briefly.


title: On Unifying Misinformation Detection

abstract: In this paper, we introduce UnifiedM2, a general-purpose misinformation model that jointly models multiple domains of misinformation with a single, unified setup. The model is trained to handle four tasks: detecting news bias, clickbait, fake news, and verifying rumors. By grouping these tasks together, UnifiedM2learns a richer representation of misinformation, which leads to state-of-the-art or comparable performance across all tasks. Furthermore, we demonstrate that UnifiedM2's learned representation is helpful for few-shot learning of unseen misinformation tasks/datasets and model's generalizability to unseen events.


title: Hard X-ray Polarimetry -- An overview of the method, science drivers and recent findings

abstract: The last decade has seen a leapfrog in the interest in X-ray polarimetry with a number of new polarization measurements in hard X-rays from AstroSat, POLAR, GAP, and PoGO+. The measurements provide some interesting insights into various astrophysical phenomena such as coronal geometry and disk-jet connection in black hole X-ray binaries, hard X-ray emission mechanism in pulsars and Gamma Ray Bursts (GRB). They also highlight an increase in polarization with energy which makes hard X-ray polarimetry extremely appealing. There is a number of confirmed hard X-ray polarimetry experiments which along with the existing instruments (AstroSat and INTEGRAL) makes this field further exciting. Polarization experiments may also see a significant progress in sensitivity with new developments in scintillator readouts, active pixel sensors, CZT detectors. In particular, the advent of hard X-ray focusing optics, will enable designing of compact focal plane polarimeters with a multifold enhancement in sensitivity. In this review, we will focus on the recent polarimetry findings, science potential of hard X-ray polarimetry along with possible improvements in the measurement techniques.


title: Distributed Learning Systems with First-order Methods

abstract: Scalable and efficient distributed learning is one of the main driving forces behind the recent rapid advancement of machine learning and artificial intelligence. One prominent feature of this topic is that recent progresses have been made by researchers in two communities: (1) the system community such as database, data management, and distributed systems, and (2) the machine learning and mathematical optimization community. The interaction and knowledge sharing between these two communities has led to the rapid development of new distributed learning systems and theory. In this work, we hope to provide a brief introduction of some distributed learning techniques that have recently been developed, namely lossy communication compression (e.g., quantization and sparsification), asynchronous communication, and decentralized communication. One special focus in this work is on making sure that it can be easily understood by researchers in both communities -- On the system side, we rely on a simplified system model hiding many system details that are not necessary for the intuition behind the system speedups; while, on the theory side, we rely on minimal assumptions and significantly simplify the proof of some recent work to achieve comparable results.


title: Observation of Planar Hall Effect in Topological Insulator -- Bi$_2$Te$_3$

abstract: Planar Hall effect (PHE) in topological insulators (TIs) is discussed as an effect that stems mostly from conduction due to topologically protected surface states. Although surfaces states play a critical role and are of utmost importance in TIs, our present study reflects the need for considering the bulk conduction in understanding PHE in TIs. Here, we demonstrate an enhancement in PHE amplitude by three times by doubling the thickness of Bi$_2$Te$_3$ film on Si (111). The PHE amplitude reaches $\approx$~6 n$\Omega$m in 30 quintuple layer (QL) device as compared to $\approx$~2 n$\Omega$m in 14 QL. We find that the PHE amplitude increases with temperature in the 30 QL Bi$_2$Te$_3$ films grown on Si (111) and Al$_2$O$_3$ (0001). Our experiments indicate that the contribution of bulk states to PHE in TIs could be significant.


title: A rank-adaptive robust integrator for dynamical low-rank approximation

abstract: A rank-adaptive integrator for the dynamical low-rank approximation of matrix and tensor differential equations is presented. The fixed-rank integrator recently proposed by two of the authors is extended to allow for an adaptive choice of the rank, using subspaces that are generated by the integrator itself. The integrator first updates the evolving bases and then does a Galerkin step in the subspace generated by both the new and old bases, which is followed by rank truncation to a given tolerance. It is shown that the adaptive low-rank integrator retains the exactness, robustness and symmetry-preserving properties of the previously proposed fixed-rank integrator. Beyond that, up to the truncation tolerance, the rank-adaptive integrator preserves the norm when the differential equation does, it preserves the energy for Schr\"odinger equations and Hamiltonian systems, and it preserves the monotonic decrease of the functional in gradient flows. Numerical experiments illustrate the behaviour of the rank-adaptive integrator.


title: All Labels Are Not Created Equal: Enhancing Semi-supervision via Label Grouping and Co-training

abstract: Pseudo-labeling is a key component in semi-supervised learning (SSL). It relies on iteratively using the model to generate artificial labels for the unlabeled data to train against. A common property among its various methods is that they only rely on the model's prediction to make labeling decisions without considering any prior knowledge about the visual similarity among the classes. In this paper, we demonstrate that this degrades the quality of pseudo-labeling as it poorly represents visually similar classes in the pool of pseudo-labeled data. We propose SemCo, a method which leverages label semantics and co-training to address this problem. We train two classifiers with two different views of the class labels: one classifier uses the one-hot view of the labels and disregards any potential similarity among the classes, while the other uses a distributed view of the labels and groups potentially similar classes together. We then co-train the two classifiers to learn based on their disagreements. We show that our method achieves state-of-the-art performance across various SSL tasks including 5.6% accuracy improvement on Mini-ImageNet dataset with 1000 labeled examples. We also show that our method requires smaller batch size and fewer training iterations to reach its best performance. We make our code available at https://github.com/islam-nassar/semco.


title: Kuhn's Equivalence Theorem for Games in Product Form

abstract: We propose an alternative to the tree representation of extensive form games. Games in product form represent information with $\sigma$-fields over a product set, and do not require an explicit description of the play temporality, as opposed to extensive form games on trees. This representation encompasses games with a continuum of actions, randomness and players, as well as games for which the play order cannot be determined in advance. We adapt and prove Kuhn's theorem-regarding equivalence between mixed and behavioral strategies under perfect recall-for games in product form with continuous action sets.


title: Sparse data inpainting for the recovery of Galactic-binary gravitational wave signals from gapped data

abstract: The forthcoming space-based gravitational wave observatory LISA will open a new window for the measurement of galactic binaries, which will deliver unprecedented information about these systems. However, the detection of galactic binary gravitational wave signals is challenged by the presence of gaps in the data. Whether being planned or not, gapped data dramatically reduce our ability to detect faint signals and the risk of misdetection soars. Inspired by advances in signal processing, we introduce a \nonparametric inpainting algorithm based on the sparse representation of the galactic binary signal in the Fourier domain. In contrast to traditional inpainting approaches, noise statistics are known theoretically on ungapped measurements only. This calls for the joint recovery of both the ungapped noise and the galactic binary signal. We thoroughly show that sparse inpainting yields an accurate estimation of the gravitational imprint of the galactic binaries. Additionally, we highlight that the proposed algorithm produces a statistically consistent ungapped noise estimate. We further evaluate the performances of the proposed inpainting methods to recover the gravitational wave signal on a simple example involving verification galactic binaries recently proposed in LISA data challenges.


title: Effect of Topology on the Conformations of Ring Polymers

abstract: The bond fluctuation method is used to simulate both non-concatenated entangled and interpenetrating melts of ring polymers. We find that the swelling of interpenetrating rings upon dilution follows the same laws as for linear chains. Knotting and linking probabilities of ring polymers in semi-dilute solution are analyzed using the HOMFLY polynomial. We find an exponential decay of the knotting probability of rings. The correlation length of the semi-dilute solution can be used to superimpose knotting data at different concentrations. A power law dependence $f_{n}\sim\phi R^{2}\sim\phi^{0.77}N$ for the average number $f_{n}$ of linked rings per ring at concentrations larger than the overlap volume fraction of rings $\phi^{*}$ is determined from the simulation data. The fraction of non-concatenated rings displays an exponential decay $P_{OO}\sim\exp(-f_{n})$, which indicates $f_{n}$ to provide the entropic effort for not forming concatenated conformations. Based upon this results we find four different regimes for the conformations of rings in melts that are separated by a critical lengths $N_{OO}$, $N_{C}$ and $N^{*}$. $N_{OO}$ describes the onset of the effect of non-concatenation below which topological effects are not important, $N_{C}$ is the cross-over between weak and strong compression of rings, and $N^{*}$ is defined by the cross-over from a non-concatenation contribution $f_{n}\sim\phi R^{2}$ to an overlap dominated concatenation contribution $f_{n}\sim\phi N^{1/2}$ at $N>N^{*}$. For $N_{OO}<N<N_{C}$, the scaling of ring sizes $R\sim N^{2/5}$ results from balancing non-concatenation with weak compression of rings. For $N_{C}<N<N^{*}$, non-concatenation and strong compression imply $R\sim N^{3/8}$. Our simulation data for non-interpenetrating rings up to $N=1024$ are in good agreement with the prediction for weakly compressed rings.


title: Boltzmann Tuning of Generative Models

abstract: The paper focuses on the a posteriori tuning of a generative model in order to favor the generation of good instances in the sense of some external differentiable criterion. The proposed approach, called Boltzmann Tuning of Generative Models (BTGM), applies to a wide range of applications. It covers conditional generative modelling as a particular case, and offers an affordable alternative to rejection sampling. The contribution of the paper is twofold. Firstly, the objective is formalized and tackled as a well-posed optimization problem; a practical methodology is proposed to choose among the candidate criteria representing the same goal, the one best suited to efficiently learn a tuned generative model. Secondly, the merits of the approach are demonstrated on a real-world application, in the context of robust design for energy policies, showing the ability of BTGM to sample the extreme regions of the considered criteria.


title: A Gradient Descent Method for The Dubins Traveling Salesman Problem

abstract: We propose a combination of a bounding procedure and gradient descent method for solving the Dubins traveling salesman problem, that is, the problem of finding a shortest curvature-constrained tour through a finite number of points in the euclidean plane. The problem finds applications in path planning for robotic vehicles and unmanned aerial vehicles, where a minimum turning radius prevents the vehicle from taking sharp turns. In this paper, we focus on the case where any two points are separated by at least four times the minimum turning radius, which is most interesting from a practical standpoint. The bounding procedure efficiently determines the optimal order in which to visit the points. The gradient descent method, which is inspired by a mechanical model, determines the optimal trajectories of the tour through the points in a given order, and its computation time scales linearly with the number of points. In experiments on nine points, the bounding procedure typically explores no more than a few sequences before finding the optimal sequence, and the gradient descent method typically converges to within 1\% of optimal in a single iteration.


title: Numerical study of a 20W class QCW pulsed sodium guide star laser's performances at five sites in China

abstract: In the past few years, Chinese astronomical community is actively testing astronomical sites for several new optical/infrared ground-based telescopes. These site testing campaigns conducted were mainly focused on fundamental performances of the site, such as cloud coverage, seeing, temperature, etc. With increasing interests in sodium laser guide star adaptive optics for these new telescopes in the Chinese astronomical community, it is interesting to investigate the performance of the laser guide star at these sites, especially considering that the sodium laser guide star's on-sky performance is significantly influenced by sites' local performances, such as geomagnetic field, sodium layer dynamics, density of air molecule, etc. In this paper, we studied sodium laser guide star's performance of a 20W class Quasi-CW pulsed laser developed by TIPC with numerical simulation for five selected sites in China.


title: Improving Online Performance Prediction for Semantic Segmentation

abstract: In this work we address the task of observing the performance of a semantic segmentation deep neural network (DNN) during online operation, i.e., during inference, which is of high importance in safety-critical applications such as autonomous driving. Here, many high-level decisions rely on such DNNs, which are usually evaluated offline, while their performance in online operation remains unknown. To solve this problem, we propose an improved online performance prediction scheme, building on a recently proposed concept of predicting the primary semantic segmentation task's performance. This can be achieved by evaluating the auxiliary task of monocular depth estimation with a measurement supplied by a LiDAR sensor and a subsequent regression to the semantic segmentation performance. In particular, we propose (i) sequential training methods for both tasks in a multi-task training setup, (ii) to share the encoder as well as parts of the decoder between both task's networks for improved efficiency, and (iii) a temporal statistics aggregation method, which significantly reduces the performance prediction error at the cost of a small algorithmic latency. Evaluation on the KITTI dataset shows that all three aspects improve the performance prediction compared to previous approaches.


title: A Coq Formalization of Lebesgue Integration of Nonnegative Functions

abstract: Integration, just as much as differentiation, is a fundamental calculus tool that is widely used in many scientific domains. Formalizing the mathematical concept of integration and the associated results in a formal proof assistant helps in providing the highest confidence on the correctness of numerical programs involving the use of integration, directly or indirectly. By its capability to extend the (Riemann) integral to a wide class of irregular functions, and to functions defined on more general spaces than the real line, the Lebesgue integral is perfectly suited for use in mathematical fields such as probability theory, numerical mathematics, and real analysis. In this article, we present the Coq formalization of $\sigma$-algebras, measures, simple functions, and integration of nonnegative measurable functions, up to the full formal proofs of the Beppo Levi (monotone convergence) theorem and Fatou's lemma. More than a plain formalization of the known literature, we present several design choices made to balance the harmony between mathematical readability and usability of Coq theorems. These results are a first milestone toward the formalization of $L^p$~spaces such as Banach spaces.


title: An Analysis of the Gel Point of Polymer Model Networks by Computer Simulations

abstract: The gel point of end-linked model networks is determined from computer simulation data. It is shown that the difference between the true gel point conversion, $p_{\text{c}}$, and the ideal mean field prediction for the gel point, $p_{\text{c,id}}$, is a function of the average number of cross-links per pervaded volume of a network strand, $P$, and thus, contains an explicit dependence on junction functionality $f$. On the contrary, the amount of intra-molecular reactions at the gel point is independent of $f$ in a first approximation and exhibits a different power law dependence on the overlap number of elastic strands as compared to the gel point delay $p_{\text{c}}-p_{\text{c,id}}$. Therefore, $p_{\text{c}}-p_{\text{c,id}}$ cannot be predicted from intra-molecular reactions and vice versa in contrast to a long standing proposal in literature. Instead, the main contribution to $p_{\text{c}}-p_{\text{c,id}}$ for $P>1$ arises from the extra bonds (XB) needed to bridge the gaps between giant molecules separated in space and scales roughly $\propto\left(P-1\right)^{-1/2}$. Further corrections to scaling are due to non-ideal reaction kinetics, composition fluctuations, and incompletely screened excluded volume, which are discussed briefly.


title: On the Gap sequence and Gilbreath's conjecture

abstract: Motivated by Gilbreath's conjecture, we develop the notion of the gap sequence induced by any sequence of numbers. We introduce the notion of the path and associated circuits induced by an originator and study the conjecture via the notion of the trace and length of a path.


title: A multi-sensor robotic platform for ground mapping and estimation beyond the visible spectrum

abstract: Accurate soil mapping is critical for a highly-automated agricultural vehicle to successfully accomplish important tasks including seeding, ploughing, fertilising and controlled traffic, with limited human supervision, ensuring at the same time high safety standards. In this research, a multi-sensor ground mapping and characterisation approach is proposed, whereby data coming from heterogeneous but complementary sensors, mounted on-board an unmanned rover, are combined to generate a multi-layer map of the environment and specifically of the supporting ground. The sensor suite comprises both exteroceptive and proprioceptive devices. Exteroceptive sensors include a stereo camera, a visible and near infrared camera and a thermal imager. Proprioceptive data consist of the vertical acceleration of the vehicle sprung mass as acquired by an inertial measurement unit. The paper details the steps for the integration of the different sensor data into a unique multi-layer map and discusses a set of exteroceptive and proprioceptive features for soil characterisation and change detection. Experimental results obtained with an all-terrain vehicle operating on different ground surfaces are presented. It is shown that the proposed technologies could be potentially used to develop all-terrain self-driving systems in agriculture. In addition, multi-modal soil maps could be useful to feed farm management systems that would present to the user various soil layers incorporating colour, geometric, spectral and mechanical properties.


title: HSMA: An O(N) electrostatics package implemented in LAMMPS

abstract: We implement two recently developed fast Coulomb solvers, HSMA3D [J. Chem. Phys. 149 (8) (2018) 084111] and HSMA2D [J. Chem. Phys. 152 (13) (2020) 134109], into a new user package HSMA for molecular dynamics simulation engine LAMMPS. The HSMA package is designed for efficient and accurate modeling of electrostatic interactions in 3D and 2D periodic systems with dielectric effects at the O(N) cost. The implementation is hybrid MPI and OpenMP parallelized and compatible with existing LAMMPS functionalities. The vectorization technique following AVX512 instructions is adopted for acceleration. To establish the validity of our implementation, we have presented extensive comparisons to the widely used particle-particle particle-mesh (PPPM) algorithm in LAMMPS and other dielectric solvers. With the proper choice of algorithm parameters and parallelization setup, the package enables calculations of electrostatic interactions that outperform the standard PPPM in speed for a wide range of particle numbers.


title: Robust Classification from Noisy Labels: Integrating Additional Knowledge for Chest Radiography Abnormality Assessment

abstract: Chest radiography is the most common radiographic examination performed in daily clinical practice for the detection of various heart and lung abnormalities. The large amount of data to be read and reported, with more than 100 studies per day for a single radiologist, poses a challenge in consistently maintaining high interpretation accuracy. The introduction of large-scale public datasets has led to a series of novel systems for automated abnormality classification. However, the labels of these datasets were obtained using natural language processed medical reports, yielding a large degree of label noise that can impact the performance. In this study, we propose novel training strategies that handle label noise from such suboptimal data. Prior label probabilities were measured on a subset of training data re-read by 4 board-certified radiologists and were used during training to increase the robustness of the training model to the label noise. Furthermore, we exploit the high comorbidity of abnormalities observed in chest radiography and incorporate this information to further reduce the impact of label noise. Additionally, anatomical knowledge is incorporated by training the system to predict lung and heart segmentation, as well as spatial knowledge labels. To deal with multiple datasets and images derived from various scanners that apply different post-processing techniques, we introduce a novel image normalization strategy. Experiments were performed on an extensive collection of 297,541 chest radiographs from 86,876 patients, leading to a state-of-the-art performance level for 17 abnormalities from 2 datasets. With an average AUC score of 0.880 across all abnormalities, our proposed training strategies can be used to significantly improve performance scores.


title: The Theory of Universal Graphs for Infinite Duration Games

abstract: We introduce the notion of universal graphs as a tool for constructing algorithms solving games of infinite duration such as parity games and mean payoff games. In the first part we develop the theory of universal graphs, with two goals: showing an equivalence and normalisation result between different recently introduced related models, and constructing generic value iteration algorithms for any positionally determined objective. In the second part we give four applications: to parity games, to mean payoff games, to a disjunction between a parity and a mean payoff objective, and to disjunctions of several mean payoff objectives. For each of these four cases we construct algorithms achieving or improving over the best known time and space complexity.


title: Tissue hydraulics: physics of lumen formation and interaction

abstract: Lumen formation plays an essential role in the morphogenesis of tissues during development. Here we review the physical principles that play a role in the growth and coarsening of lumens. Solute pumping by the cell, hydraulic flows driven by differences of osmotic and hydrostatic pressures, balance of forces between extracellular fluids and cell-generated cytoskeletal forces, and electro-osmotic effects have been implicated in determining the dynamics and steady-state of lumens. We use the framework of linear irreversible thermodynamics to discuss the relevant force, time and length scales involved in these processes. We focus on order of magnitude estimates of physical parameters controlling lumen formation and coarsening.


title: Arm retraction dynamics in dense polymer brushes

abstract: Large scale Monte Carlo simulations of dense layers of grafted polymer chains in good solvent conditions are used to explore the relaxation of a polymer brush. Monomer displacements are analyzed for the directions parallel and perpendicular to the grafting plane. Auto-correlation functions of individual segments or chain sections are monitored as function of time. We demonstrate that the terminal relaxation time $\tau$ of grafted layers well in the brush regime grows exponentially with degree of polymerization $N$ of the chains, $\tau\propto N^{3}\exp(N/N_{e})$, with $N_{e}$ the entanglement degree of polymerization in the brush. One specific feature of entangled polymer brushes is that the late time relaxation of the perpendicular component coincides for all segments. We use this observation to extract the terminal relaxation time of an entangled brush.


title: Every real 3-manifold is real contact

abstract: A real 3-manifold is a smooth 3-manifold together with an orientation preserving smooth involution, which is called a real structure. A real contact 3-manifold is a real 3-manifold with a contact distribution that is antisymmetric with respect to the real structure. We show that every real 3-manifold can be obtained via surgery along invariant knots starting from the standard real $S^3$ and that this operation can be performed in the contact setting too. Using this result we prove that any real 3-manifold admits a real contact structure. As a corollary we show that any oriented overtwisted contact structure on an integer homology real 3-sphere can be isotoped to be real. Finally we give construction examples on $S^1\times S^2$ and lens spaces. For instance on every lens space there exists a unique real structure that acts on each Heegaard torus as hyperellipic involution. We show that any tight contact structure on any lens space is real with respect to that real structure.


title: Conditional Infimum and Hidden Convexity in Optimization

abstract: Detecting hidden convexity is one of the tools to address nonconvex minimization problems. After giving a formal definition of hidden convexity, we introduce the notion of conditional infimum, as it will prove instrumental in detecting hidden convexity. We develop the theory of the conditional infimum, and we establish a tower property, relevant for minimization problems. Thus equipped, we provide a sufficient condition for hidden convexity in nonconvex minimization problems. We illustrate our result on nonconvex quadratic minimization problems. We conclude with perspectives for using the conditional infimum in relation to the so-called S-procedure, to couplings and conjugacies, and to lower bound convex programs.


title: Complex Spectral Mapping With Attention Based Convolution Recurrent Neural Network for Speech Enhancement

abstract: Speech enhancement has benefited from the success of deep learning in terms of intelligibility and perceptual quality. Conventional time-frequency (TF) domain methods focus on predicting TF-masks or speech spectrum,via a naive convolution neural network or recurrent neural network.Some recent studies were based on Complex spectral Mapping convolution recurrent neural network (CRN) . These models skiped directly from encoder layers' output and decoder layers' input ,which maybe thoughtless. We proposed an attention mechanism based skip connection between encoder and decoder layers,namely Complex Spectral Mapping With Attention Based Convolution Recurrent Neural Network (CARN).Compared with CRN model,the proposed CARN model improved more than 10% relatively at several metrics such as PESQ,CBAK,COVL,CSIG and son,and outperformed the place 1st model in both real time and non-real time track of the DNS Challenge 2020 at these metrics.


title: Separation of singularities for the Bergman space and application to control theory

abstract: In this paper, we solve a separation of singularities problem in the Bergman space. More precisely, we show that if $P\subset \mathbb{C}$ is a convex polygon which is the intersection of $n$ half planes, then the Bergman space on $P$ decomposes into the sum of the Bergman spaces on these half planes. The result applies to the characterization of the reachable space of the one-dimensional heat equation on a finite interval with boundary controls. We prove that this space is a Bergman space of the square which has the given interval as a diagonal. This gives an affirmative answer to a conjecture raised in [HKT20].


title: Glance and Gaze: Inferring Action-aware Points for One-Stage Human-Object Interaction Detection

abstract: Modern human-object interaction (HOI) detection approaches can be divided into one-stage methods and twostage ones. One-stage models are more efficient due to their straightforward architectures, but the two-stage models are still advantageous in accuracy. Existing one-stage models usually begin by detecting predefined interaction areas or points, and then attend to these areas only for interaction prediction; therefore, they lack reasoning steps that dynamically search for discriminative cues. In this paper, we propose a novel one-stage method, namely Glance and Gaze Network (GGNet), which adaptively models a set of actionaware points (ActPoints) via glance and gaze steps. The glance step quickly determines whether each pixel in the feature maps is an interaction point. The gaze step leverages feature maps produced by the glance step to adaptively infer ActPoints around each pixel in a progressive manner. Features of the refined ActPoints are aggregated for interaction prediction. Moreover, we design an actionaware approach that effectively matches each detected interaction with its associated human-object pair, along with a novel hard negative attentive loss to improve the optimization of GGNet. All the above operations are conducted simultaneously and efficiently for all pixels in the feature maps. Finally, GGNet outperforms state-of-the-art methods by significant margins on both V-COCO and HICODET benchmarks. Code of GGNet is available at https: //github.com/SherlockHolmes221/GGNet.


title: Ambient awareness for agricultural robotic vehicles

abstract: In the last few years, robotic technology has been increasingly employed in agriculture to develop intelligent vehicles that can improve productivity and competitiveness. Accurate and robust environmental perception is a critical requirement to address unsolved issues including safe interaction with field workers and animals, obstacle detection in controlled traffic applications, crop row guidance, surveying for variable rate applications, and situation awareness, in general, towards increased process automation. Given the variety of conditions thatmay be encountered in the field, no single sensor exists that can guarantee reliable results in every scenario. The development of a multi-sensory perception systemto increase the ambient awareness of an agricultural vehicle operating in crop fields is the objective of the Ambient Awareness for Autonomous Agricultural Vehicles (QUAD-AV) project. Different onboard sensor technologies, namely stereovision, LIDAR, radar, and thermography, are considered. Novel methods for their combination are proposed to automatically detect obstacles and discern traversable from non-traversable areas. Experimental results, obtained in agricultural contexts, are presented showing the effectiveness of the proposed methods.


title: Cosmology of strongly interacting fermions in the early universe

abstract: In view of growing interest in long range scalar forces in the early universe to generate primordial black holes, we study in detail the general relativistic formulation of a Fermi gas interacting with a scalar field in cosmology. Our main finding is that the Yukawa interaction leads to a solution where the scalar field oscillates around zero fermion mass and all energy densities decay as radiation. On one hand, we show that if the Fermi gas starts relativistic, it could stay relativistic. On the other hand, if the fermions are initially non-relativistic, they remain non-relativistic for all practical purposes. We find that in both cases the energy density of the fermions and the scalar field decays as radiation. In the non-relativistic case, this is due to an oscillating and decaying effective mass. Such background dynamics questions whether there is a substantial enhancement of the fermion density fluctuations in the non-relativistic case. Our work can be easily extended to more general field dependent fermion mass. The analysis of the cosmological perturbations will be presented in a follow-up work.


title: Radio Recombination Line Observations at $1.0-1.5$ GHz with FAST

abstract: HII regions made of gas ionized by radiations from young massive stars, are widely distributed in the Milky Way. They are tracers for star formation, and their distributions are correlated with the Galactic spiral structure. Radio recombination lines (RRLs) of hydrogen and other atoms allows for the precisest determination of physical parameters such as temperature and density. However, RRLs at around 1.4 GHz from HII regions are weak and their detections are difficult. As a result, only a limited number of detections have been obtained yet. The 19-beam receiver on board of the Five-hundred-meter Aperture Spherical radio Telescope (FAST) can simultaneously cover 23 RRLs for H$n{\alpha}$, He$n{\alpha}$, and C$n{\alpha}$ ($n = 164 - 186$), respectively. This, combined with its unparalleled collecting area, makes FAST the most powerful telescope to detect weak RRLs. In this pilot survey, we use FAST to observe nine HII regions at L band. We allocate 20 minutes pointing time for each source to achieve a sensitivity of around 9 mK in a velocity resolution of 2.0 km/s. In total, 21 RRLs for H$n{\alpha}$ and C$n{\alpha}$ at $1.0 - 1.5$ GHz have been simultaneously detected with strong emission signals. Overall, the detection rates for the H167${\alpha}$ and C167${\alpha}$ RRLs are 100%, while that for the He167${\alpha}$ RRL is 33.3%. Using hydrogen and helium RRLs, we measure the electron density, electron temperature, and pressure for three HII regions. This pilot survey demonstrates the capability of FAST in RRL measurements, and a statistically meaningful sample with RRL detection, through which knowledges about Galactic spiral structure and evolution can be obtained, is expected in the future.


title: Oil-US Stock Market Nexus: Some insights about the New Coronavirus Crisis

abstract: We provide a new investigation of the relationship between oil and stock prices in the context of the outbreak of the new coronavirus crisis. Specifically, we assess to what extent the uncertainty induced by COVID-19 affects the interaction between oil and the United States (US) stock markets. To this end, we use a wavelet approach and daily data from February 18, 2020 to August 15, 2020. We identify the lead-lag relationship between oil and stock prices, and the intensity of this relationship at different frequency cycles and moments in time. Our unique findings show that co-movements between oil and stock prices manifest at 3-5-day cycle and are stronger in the first part of March and the second part of April 2020, when oil prices are leading stock prices. The partial wavelet coherence analysis, controlling for the effect of COVID-19 and US economic policy-induced uncertainty, reveals that the coronavirus crisis amplifies the shock propagation between oil and stock prices.


title: Learning to Remove: Towards Isotropic Pre-trained BERT Embedding

abstract: Pre-trained language models such as BERT have become a more common choice of natural language processing (NLP) tasks. Research in word representation shows that isotropic embeddings can significantly improve performance on downstream tasks. However, we measure and analyze the geometry of pre-trained BERT embedding and find that it is far from isotropic. We find that the word vectors are not centered around the origin, and the average cosine similarity between two random words is much higher than zero, which indicates that the word vectors are distributed in a narrow cone and deteriorate the representation capacity of word embedding. We propose a simple, and yet effective method to fix this problem: remove several dominant directions of BERT embedding with a set of learnable weights. We train the weights on word similarity tasks and show that processed embedding is more isotropic. Our method is evaluated on three standardized tasks: word similarity, word analogy, and semantic textual similarity. In all tasks, the word embedding processed by our method consistently outperforms the original embedding (with average improvement of 13% on word analogy and 16% on semantic textual similarity) and two baseline methods. Our method is also proven to be more robust to changes of hyperparameter.


title: Two-fluid treatment of whistling behaviour and the warm Appleton-Hartree extension

abstract: As an application of the completely general, ideal two-fluid analysis of waves in a warm ion-electron plasma, where six unique wave pair labels (S, A, F, M, O, and X) were identified, we here connect to the vast body of literature on whistler waves. We show that all six mode pairs can demonstrate whistling behaviour, when we allow for whistling of both descending and ascending frequency types, and when we study the more general case of oblique propagation to the background magnetic field. We show how the general theory recovers all known approximate group speed expressions for both classical whistlers and ion cyclotron whistlers, which we here extend to include ion contributions and deviations from parallel propagation. At oblique angles and at perpendicular propagation, whistlers are investigated using exact numerical evaluations of the two-fluid dispersion relation and their group speeds under Earth's magnetosphere conditions. This approach allows for a complete overview of all whistling behaviour and we quantify the typical frequency ranges where they must be observable. We use the generality of the theory to show that pair plasmas in pulsar magnetospheres also feature whistling behaviour, although not of the classical type at parallel propagation. Whistling of the high frequency modes is discussed as well, and we give the extension of the Appleton-Hartree relation for cold plasmas, to include the effect of a non-zero thermal electron velocity. We use it to quantify the Faraday rotation effect at all angles, and compare its predictions between the cold and warm Appleton-Hartree equation.


title: Asymptotic topology of excursion and nodal sets of Gaussian random fields

abstract: Let M be a compact smooth manifold of dimension n with or without boundary, and f : M $\rightarrow$ R be a smooth Gaussian random field. It is very natural to suppose that for a large positive real u, the random excursion set {f $\ge$ u} is mostly composed of a union of disjoint topological n-balls. Using the constructive part of (stratified) Morse theory we prove that in average, this intuition is true, and provide for large u the asymptotic of the expected number of such balls, and so of connected components of {f $\ge$ u}, see Theorem 1.2. We similarly show that in average, the high nodal sets {f = u} are mostly composed of spheres, with the same asymptotic than the one for excursion set. A refinement of these results using the average of the Euler characteristic given by [2] provides a striking asymptotic of the constant defined by F. Nazarov and M. Sodin, again for large u, see Theorem 1.11. This new Morse theoretical approach of random topology also applies to spherical spin glasses with large dimension, see Theorem 1.14.


title: Building a Swedish Open-Domain Conversational Language Model

abstract: We present on-going work of evaluating the, to our knowledge, first large generative language model trained to converse in Swedish, using data from the online discussion forum Flashback. We conduct a human evaluation pilot study that indicates the model is often able to respond to conversations in both a human-like and informative manner, on a diverse set of topics. While data from online forums can be useful to build conversational systems, we reflect on the negative consequences that incautious application might have, and the need for taking active measures to safeguard against them.


title: Neural ODE control for classification, approximation and transport

abstract: We analyze Neural Ordinary Differential Equations (NODEs) from a control theoretical perspective to address some of the main properties and paradigms of Deep Learning (DL), in particular, data classification and universal approximation. These objectives are tackled and achieved from the perspective of the simultaneous control of systems of NODEs. For instance, in the context of classification, each item to be classified corresponds to a different initial datum for the control problem of the NODE, to be classified, all of them by the same common control, to the location (a subdomain of the euclidean space) associated to each label. Our proofs are genuinely nonlinear and constructive, allowing us to estimate the complexity of the control strategies we develop. The nonlinear nature of the activation functions governing the dynamics of NODEs under consideration plays a key role in our proofs, since it allows deforming half of the phase space while the other half remains invariant, a property that classical models in mechanics do not fulfill. This very property allows to build elementary controls inducing specific dynamics and transformations whose concatenation, along with properly chosen hyperplanes, allows achieving our goals in finitely many steps. The nonlinearity of the dynamics is assumed to be Lipschitz. Therefore, our results apply also in the particular case of the ReLU activation function. We also present the counterparts in the context of the control of neural transport equations, establishing a link between optimal transport and deep neural networks.


title: Class-Balanced Distillation for Long-Tailed Visual Recognition

abstract: Real-world imagery is often characterized by a significant imbalance of the number of images per class, leading to long-tailed distributions. An effective and simple approach to long-tailed visual recognition is to learn feature representations and a classifier separately, with instance and class-balanced sampling, respectively. In this work, we introduce a new framework, by making the key observation that a feature representation learned with instance sampling is far from optimal in a long-tailed setting. Our main contribution is a new training method, referred to as Class-Balanced Distillation (CBD), that leverages knowledge distillation to enhance feature representations. CBD allows the feature representation to evolve in the second training stage, guided by the teacher learned in the first stage. The second stage uses class-balanced sampling, in order to focus on under-represented classes. This framework can naturally accommodate the usage of multiple teachers, unlocking the information from an ensemble of models to enhance recognition capabilities. Our experiments show that the proposed technique consistently outperforms the state of the art on long-tailed recognition benchmarks such as ImageNet-LT, iNaturalist17 and iNaturalist18.


title: The Efficient Hedging Frontier with Deep Neural Networks

abstract: The trade off between risks and returns gives rise to multi-criteria optimisation problems that are well understood in finance, efficient frontiers being the tool to navigate their set of optimal solutions. Motivated by the recent advances in the use of deep neural networks in the context of hedging vanilla options when markets have frictions, we introduce the Efficient Hedging Frontier (EHF) by enriching the pipeline with a filtering step that allows to trade off costs and risks. This way, a trader's risk preference is matched with an expected hedging cost on the frontier, and the corresponding hedging strategy can be computed with a deep neural network. We further develop our framework to improve the EHF and find better hedging strategies. By adding a random forest classifier to the pipeline to forecast market movements, we show how the frontier shifts towards lower costs and reduced risks, which indicates that the overall hedging performances have improved. In addition, by designing a new recurrent neural network, we also find strategies on the frontier where hedging costs are even lower.


title: Shapes In A Box -- Disassembling 3D objects for efficient packing and fabrication

abstract: Modern 3D printing technologies and the upcoming mass-customization paradigm call for efficient methods to produce and distribute arbitrarily-shaped 3D objects. This paper introduces an original algorithm to split a 3D model in parts that can be efficiently packed within a box, with the objective of reassembling them after delivery. The first step consists in the creation of a hierarchy of possible parts that can be tightly packed within their minimum bounding boxes. In a second step, the hierarchy is exploited to extract the (single) segmentation whose parts can be most tightly packed. The fact that shape packing is an NP-complete problem justifies the use of heuristics and approximated solutions whose efficacy and efficiency must be assessed. Extensive experimentation demonstrates that our algorithm produces satisfactory results for arbitrarily-shaped objects while being comparable to ad-hoc methods when specific shapes are considered.


title: Approach for modeling single branches of meadow orchard trees with 3D point clouds

abstract: The cultivation of orchard meadows provides an ecological benefit for biodiversity, which is significantly higher than in intensively cultivated orchards. The goal of this research is to create a tree model to automatically determine possible pruning points for stand-alone trees within meadows. The algorithm which is presented here is capable of building a skeleton model based on a pre-segmented photogrammetric 3D point cloud. Good results were achieved in assigning the points to their leading branches and building a virtual tree model, reaching an overall accuracy of 95.19 %. This model provided the necessary information about the geometry of the tree for automated pruning.


title: Review of Lambert's problem

abstract: Lambert's problem is the orbital boundary-value problem constrained by two points and elapsed time. It is one of the most extensively studied problems in celestial mechanics and astrodynamics, and, as such, it has always attracted the interest of mathematicians and engineers. Its solution lies at the base of algorithms for, e.g., orbit determination, orbit design (mission planning), space rendezvous and interception, space debris correlation, missile and spacecraft targeting. There is abundancy of literature discussing various approaches developed over the years to solve Lambert's problem. We have collected more than 70 papers and, of course, the issue is treated in most astrodynamics and celestial mechanics textbooks. From our analysis of the documents, we have been able to identify six or seven main solution methods, each associated to a number of revisions and variations, and many, so to say, secondary research lines with little or no posterior development. We have ascertained plenty of literature with proposed solutions, in many cases supplemented by performance comparisons with other methods. We have reviewed and organized the existing bibliography on Lambert's problem and we have performed a quantitative comparison among the existing methods for its solution. The analysis is based on the following issues: choice of the free parameter, number of iterations, generality of the mathematical formulation, limits of applicability (degeneracies, domain of the parameter, special cases and peculiarities), accuracy, and suitability to automatic execution. Eventually we have tested the performance of each code. The solvers that incorporate the best qualities are Bate's algorithm via universal variables with Newton-Raphson and Izzo's Householder algorithm. The former is the fastest, the latter exhibits the best ratio between speed, robustness and accuracy.


title: Volume and leaf area calculation of cabbage with a neural network-based instance segmentation

abstract: Fruit size and leaf area are important indicators for plant health and are of interest for plant nutrient management, plant protection and harvest. In this research, an image-based method for measuring the fruit volume as well as the leaf area for cabbage is presented. For this purpose, a mask region-based convolutional neural network (Mask R-CNN) was trained to segment the cabbage fruit from the leaves and assign it to the corresponding plant. The results indicated that even with a single camera, the developed method can provide a calculation accuracy of fruit size of 92.6% and an accuracy of leaf area of 89.8% on individual plant level.


title: Impact of Electric Vehicle Routing with Stochastic Demand on Grid Operation

abstract: Given the rise of electric vehicle (EV) adoption, supported by government policies and dropping technology prices, new challenges arise in the modeling and operation of electric transportation. In this paper, we present a model for solving the EV routing problem while accounting for real-life stochastic demand behavior. We present a mathematical formulation that minimizes travel time and energy costs of an EV fleet. The EV is represented by a battery energy consumption model. To adapt our formulation to real-life scenarios, customer pick-ups and drop-offs were modeled as stochastic parameters. A chance-constrained optimization model is proposed for addressing pick-ups and drop-offs uncertainties. Computational validation of the model is provided based on representative transportation scenarios. Results obtained showed a quick convergence of our model with verifiable solutions. Finally, the impact of electric vehicles charging is validated in Downtown Manhattan, New York by assessing the effect on the distribution grid.


title: LearningCity: Knowledge Generation for Smart Cities

abstract: Although we have reached new levels in smart city installations and systems, efforts so far have focused on providing diverse sources of data to smart city services consumers while neglecting to provide ways to simplify making good use of them. In this context, one first step that will bring added value to smart cities is knowledge creation in smart cities through anomaly detection and data annotation, supported in both an automated and a crowdsourced manner. We present here LearningCity, our solution that has been validated over an existing smart city deployment in Santander, and the OrganiCity experimentation-as-a-service ecosystem. We discuss key challenges along with characteristic use cases, and report on our design and implementation, together with some preliminary results derived from combining large smart city datasets with machine learning.


title: Consideration of resilience for digital farming systems

abstract: Latest and current innovations of agricultural tech industry are increasingly driven by digital technologies. These digital farming solutions provide attractive advantages for farmers. The trend is going to devices and sensors, which send the acquired data directly to the cloud. Also the number of scientific publications on cloud based solutions follows this development. Considering on the other hand the necessity of continuous agricultural production in any kind of crises, new cloud-based digital systems and applications need to be reliable, independent of internet supply. In this conceptual study the necessary resilience is defined, which is marginally taken into account by agtech industry innovations. Problems of development using web-based farming systems are identified and discussed. For digital farming systems the farmers individual needs of resilience are classified into five levels. Consequently, suggestions for soft- and hardware equipment are made. This includes the installation of a farm server, a local farm network, offline applications and consideration of edge computing, which can ensure a high level of resilience of new digital farming components.


title: Algorithms and Complexity for the Almost Equal Maximum Flow Problem

abstract: In the Equal Maximum Flow Problem (EMFP), we aim for a maximum flow where we require the same flow value on all edges in some given subsets of the edge set. In this paper, we study the closely related Almost Equal Maximum Flow Problems (AEMFP) where the flow values on edges of one homologous edge set differ at most by the valuation of a so called deviation function~$\Delta$. We prove that the integer almost equal maximum flow problem (integer AEMFP) is in general $\mathcal{NP}$-complete, and show that even the problem of finding a fractional maximum flow in the case of convex deviation functions is also $\mathcal{NP}$-complete. This is in contrast to the EMFP, which is polynomial time solvable in the fractional case. We provide inapproximability results for the integral AEMFP. For the integer AEMFP we state a polynomial algorithm for the constant deviation and concave case for a fixed number of homologous sets.


title: StereoPIFu: Depth Aware Clothed Human Digitization via Stereo Vision

abstract: In this paper, we propose StereoPIFu, which integrates the geometric constraints of stereo vision with implicit function representation of PIFu, to recover the 3D shape of the clothed human from a pair of low-cost rectified images. First, we introduce the effective voxel-aligned features from a stereo vision-based network to enable depth-aware reconstruction. Moreover, the novel relative z-offset is employed to associate predicted high-fidelity human depth and occupancy inference, which helps restore fine-level surface details. Second, a network structure that fully utilizes the geometry information from the stereo images is designed to improve the human body reconstruction quality. Consequently, our StereoPIFu can naturally infer the human body's spatial location in camera space and maintain the correct relative position of different parts of the human body, which enables our method to capture human performance. Compared with previous works, our StereoPIFu significantly improves the robustness, completeness, and accuracy of the clothed human reconstruction, which is demonstrated by extensive experimental results.


title: The spectra of IceCube neutrino candidate sources -- I. Optical spectroscopy of blazars

abstract: There is mounting evidence that ultra-energetic neutrinos of astrophysical origin may be associated with blazars. Here we investigate a unique sample of 47 blazars, $\sim 20$ of which could be new neutrino sources. In particular, we focus on 17 objects of yet unknown redshift, for which we present optical spectroscopy secured at the Gran Telescopio Canarias and the ESO Very Large Telescope. We find all sources but one (a quasar) to be BL Lac objects. For nine targets we are able to determine the redshift (0.09~$<$~z~$<$~1.6), while for the others we set a lower limit on it, based on either the robust detection of intervening absorption systems or on an estimation derived from the absence of spectral signatures of the host galaxy. In some spectra we detect forbidden and semi-forbidden emission lines with luminosities in the range $10^{40} - 10^{41}$ erg s$^{-1}$. We also report on the spectroscopy of seven blazars possibly associated with energetic neutrinos that partially meet the criteria of our sample and are discussed in the Appendix. These results represent the starting point of our investigation into the real nature of these objects and their likelihood of being neutrino emitters.


title: On eigenstate thermalization in the SYK chain model

abstract: Eigenstate thermalization hypothesis (ETH) explains how generic observables of individual isolated quantum systems in pure states can exhibit thermal behaviors. ETH ansatz usually holds true in quantum chaotic systems. In this paper, we examine a one-dimensional lattice generalization of the Sachdev-Ye-Kitaev model with spatial local random interaction of Majorana fermions, the so-called SYK chain model. The model is maximally chaotic but its R\'enyi entanglement entropy study suggests that the model does not rapidly thermalize. We show, however, that for two conventional few-body operators, the ensemble-averaged theory of the SYK chain model strictly satisfies ETH conditions. We also demonstrate that for every single realization of the ensemble, the operators loosely satisfy ETH, and consequently rapidly thermalize, albeit, with larger fluctuations. We comment on the difference between the application of ETH for individual systems and ensemble-averaged ones. We also use our results to comment on the implications for eigenstate correlation functions and a putative gravitational dual theory.

categories: hep-th cond-mat.stat-mech cond-mat.str-el quant-ph


title: Computer Algebra in R with caracas

abstract: The capability of R to do symbolic mathematics is enhanced by the caracas package. This package uses the Python computer algebra library SymPy as a back-end but caracas is tightly integrated in the R environment, thereby enabling the R user with symbolic mathematics within R. Key components of the caracas package are illustrated in this paper. Examples are taken from statistics and mathematics. The caracas package integrates well with e.g. Rmarkdown, and as such creation of scientific reports and teaching is supported.


title: EtherClue: Digital investigation of attacks on Ethereum smart contracts

abstract: Programming errors in Ethereum smart contracts can result in catastrophic financial losses from stolen cryptocurrency. While vulnerability detectors can prevent vulnerable contracts from being deployed, this does not mean that such contracts will not be deployed. Once a vulnerable contract is instantiated on the blockchain and becomes the target of attacks, the identification of exploit transactions becomes indispensable in assessing whether it has been actually exploited and identifying which malicious or subverted accounts were involved. In this work, we study the problem of post-factum investigation of Ethereum attacks using Indicators of Compromise (IoCs) specially crafted for use in the blockchain. IoC definitions need to capture the side-effects of successful exploitation in the context of the Ethereum blockchain. Therefore, we define a model for smart contract execution, comprising multiple abstraction levels that mirror the multiple views of code execution on a blockchain. Subsequently, we compare IoCs defined across the different levels in terms of their effectiveness and practicality through EtherClue, a prototype tool for investigating Ethereum security incidents. Our results illustrate that coarse-grained IoCs defined over blocks of transactions can detect exploit transactions with less computation; however, they are contract-specific and suffer from false negatives. On the other hand, fine-grained IoCs defined over virtual machine instructions can avoid these pitfalls at the expense of increased computation which are nevertheless applicable for practical use.


title: Pure Exploration with Structured Preference Feedback

abstract: We consider the problem of pure exploration with subset-wise preference feedback, which contains $N$ arms with features. The learner is allowed to query subsets of size $K$ and receives feedback in the form of a noisy winner. The goal of the learner is to identify the best arm efficiently using as few queries as possible. This setting is relevant in various online decision-making scenarios involving human feedback such as online retailing, streaming services, news feed, and online advertising; since it is easier and more reliable for people to choose a preferred item from a subset than to assign a likability score to an item in isolation. To the best of our knowledge, this is the first work that considers the subset-wise preference feedback model in a structured setting, which allows for potentially infinite set of arms. We present two algorithms that guarantee the detection of the best-arm in $\tilde{O} (\frac{d^2}{K \Delta^2})$ samples with probability at least $1 - \delta$, where $d$ is the dimension of the arm-features and $\Delta$ is the appropriate notion of utility gap among the arms. We also derive an instance-dependent lower bound of $\Omega(\frac{d}{\Delta^2} \log \frac{1}{\delta})$ which matches our upper bound on a worst-case instance. Finally, we run extensive experiments to corroborate our theoretical findings, and observe that our adaptive algorithm stops and requires up to 12x fewer samples than a non-adaptive algorithm.


title: Realization of quasicrystalline quadrupole topological insulators in electrical circuits

abstract: Quadrupole topological insulators are a new class of topological insulators with quantized quadrupole moments, which support protected gapless corner states. The experimental demonstrations of quadrupole-topological insulators were reported in a series of artificial materials, such as photonic crystals, acoustic crystals, and electrical circuits. In all these cases, the underlying structures have discrete translational symmetry and thus are periodic. Here we experimentally realize two-dimensional aperiodic-quasicrystalline quadrupole-topological insulators by constructing them in electrical circuits, and observe the spectrally and spatially localized corner modes. In measurement, the modes appear as topological boundary resonances in the corner impedance spectra. Additionally, we demonstrate the robustness of corner modes on the circuit. Our circuit design may be extended to study topological phases in higher-dimensional aperiodic structures.


title: Bubbles with attached quantum vortices in trapped binary Bose-Einstein condensates

abstract: Specific topological excitations of energetically stable "core-and-mantle" configurations of trapped two-component immiscible Bose-Einstein condensates are studied numerically within the coupled Gross-Pitaevskii equations. Non-stationary long-lived coherent structures, that consist of several quantum vortex filaments penetrating the "mantle" from outside to inside and vice-versa and demonstrate quite nontrivial dynamics, are observed in simulations for the first time. The ends of filaments can remain attached to the interface between the "mantle" and the "core" if the latter is large enough while the surface tension is not small. The shapes of such "bubbles" are strongly affected by the vortices and sometimes are far from being spherical.


title: DIRC-like time-of-flight detector for the experiment at the Super Tau-Charm Facility

abstract: The Super Tau-Charm Facility (STCF) is a future electron-positron collider proposed in China with a peak luminosity of above 0.5$\times$10$^{35}$ cm$^{-2}$s$^{-1}$ and center-of-mass energy ranging from 2 to 7 GeV. An excellent particle identification (PID) capability is one of the most important requirements for the detector at the STCF. A 3$\sigma$ $\pi$/K separation power at the momentum of up to 2 GeV/c is required within the detector acceptance. A DIRC-like time-of-flight (DTOF) detector is proposed to meet the PID requirement for the endcap region of the STCF. The conceptual design of the DTOF detector and its geometry optimization is herein presented. The PID performance of the detector is studied using Geant4 simulation. With a proper reconstruction algorithm, an overall time resolution of ~50 ps is achieved for the detector with an optimum geometry when convoluting contributions from all other sources, including the transit time spread (TTS) of the photodetector, electronic timing accuracy, and an assumed precision (~40 ps) of the event start time. A $\pi$/K separation power of better than 4$\sigma$ at the momentum of 2 GeV/c is achieved over the entire sensitive area of the DTOF detector, thereby fulfilling the physics requirement of the PID detector for the experiment at the STCF.


title: Intra-Class Uncertainty Loss Function for Classification

abstract: Most classification models can be considered as the process of matching templates. However, when intra-class uncertainty/variability is not considered, especially for datasets containing unbalanced classes, this may lead to classification errors. To address this issue, we propose a loss function with intra-class uncertainty following Gaussian distribution. Specifically, in our framework, the features extracted by deep networks of each class are characterized by independent Gaussian distribution. The parameters of distribution are learned with a likelihood regularization along with other network parameters. The means of the Gaussian play a similar role as the center anchor in existing methods, and the variance describes the uncertainty of different classes. In addition, similar to the inter-class margin in traditional loss functions, we introduce a margin to intra-class uncertainty to make each cluster more compact and reduce the imbalance of feature distribution from different categories. Based on MNIST, CIFAR, ImageNet, and Long-tailed CIFAR analyses, the proposed approach shows improved classification performance, through learning a better class representation.


title: Distance Eigenvalues, Forwarding Indices, and Distance-based Topological Indices of Complement of Two Circulant Networks

abstract: Let $n$ and $a$ be positive integers such that $2\leq a\leq \frac{n}{2}$. In this short note, we compute for the exact value of the distance spectral radius, vertex-forwarding index, and some distance-based topological indices of the complement of circulant networks $C_n(1,a)$ and $C_{m^h}(1,m,m^2,\ldots,m^{h-1})$. For $a\neq \frac{n}{2}$, the circulant $C_n(1,a)$ is called a double loop network while the circulant $C_{m^h}(1,m,m^2,\ldots,m^{h-1})$ is called the multiplicative circulant network on $m^h$ vertices.


title: Noninvasively improving the orbit-response matrix while continuously correcting the orbit

abstract: Based on continuously recorded beam positions and corrector excitations from, for example, a closed-orbit feedback system we describe an algorithm that continuously updates an estimate of the orbit response matrix. The speed of convergence can be increased by adding very small perturbations, so-called dither, to the corrector excitations. Estimates for the rate of convergence and the asymptotically achievable accuracies are provided.


title: Deformation quantization via Toeplitz operators on geometric quantization in real polarizations

abstract: In this paper, we study quantization on a compact integral symplectic manifold $X$ with transversal real polarizations. In the case of complex polarizations, namely $X$ is K\"ahler equipped with transversal complex polarizations $T^{1, 0}X, T^{0, 1}X$, geometric quantization gives $H^0(X, L^{\otimes k})$'s. They are acted upon by $\mathcal{C}^\infty(X, \mathbb{C})$ via Toeplitz operators as $\hbar = \tfrac{1}{k} \to 0^+$, determining a deformation quantization $(\mathcal{C}^\infty(X, \mathbb{C})[[\hbar]], \star)$ of $X$.\par We investigate the real analogue to these, comparing deformation quantization, geometric quantization and Berezin-Toeplitz quantization. The techniques used are different from the complex case as distributional sections supported on Bohr-Sommerfeld fibres are involved.\par By switching the roles of the two real polarizations, we obtain Fourier-type transforms for both deformation quantization and geometric quantization, and they are compatible asymptotically as $\hbar \to 0^+$. We also show that the asymptotic expansion of traces of Toeplitz operators realizes a trace map on deformation quantization.


title: Integrating Bayesian Inference with Scanning Probe Experiments for Robust Identification of Surface Adsorbate Configurations

abstract: Controlling the properties of organic/inorganic materials requires detailed knowledge of their molecular adsorption geometries. This is often unattainable, even with current state-of-the-art tools. Visualizing the structure of complex non-planar adsorbates with atomic force microscopy (AFM) is challenging, and identifying it computationally is intractable with conventional structure search. In this fresh approach, cross-disciplinary tools are integrated for a robust and automated identification of 3D adsorbate configurations. Bayesian optimization is employed with first-principles simulations for accurate and unbiased structure inference of multiple adsorbates. The corresponding AFM simulations then allow fingerprinting adsorbate structures that appear in AFM experimental images. In the instance of bulky (1S)-camphor adsorbed on the Cu(111) surface, three matching AFM image contrasts are found, which allow correlating experimental image features to distinct cases of molecular adsorption.


title: Arithmetic Properties For $(r,s)$-Regular Partition Functions With Distinct Parts

abstract: For any relatively prime integers $r$ and $s$, let $a_{r,s}(n)$ denote the number of $(r,s)$-regular partitions of a positive integer of $n$ into distinct parts. Prasad and Prasad (2018) proved many infinite families of congruences modulo 2 for $a_{3,5}(n)$. In this paper, we establish families of congruences modulo 2 and 4 for $a_{r,s}(n)$ with $(r,s)\in$ \{(2,5), (2,7), (4,5), (4,9)\}. For example, we show that for all $\beta \geq 0$ and $n \geq 0,$ we have $$a_{2,5}\Big(4\cdot 5^{2\beta+1}n+\dfrac{37\cdot5^{2\beta}-1}{6}\Big)\equiv0 \pmod4. $$


title: On $\alpha$-Firmly Nonexpansive Operators in $r$-Uniformly Convex Spaces

abstract: We introduce the class of $\alpha$-firmly nonexpansive and quasi $\alpha$-firmly nonexpansive operators on $r$-uniformly convex Banach spaces. This extends the existing notion from Hilbert spaces, where $\alpha$-firmly nonexpansive operators coincide with so-called $\alpha$-averaged operators. For our more general setting, we show that $\alpha$-averaged operators form a subset of $\alpha$-firmly nonexpansive operators. We develop some basic calculus rules for (quasi) $\alpha$-firmly nonexpansive operators. In particular, we show that their compositions and convex combinations are again (quasi) $\alpha$-firmly nonexpansive. Moreover, we will see that quasi $\alpha$-firmly nonexpansive operators enjoy the asymptotic regularity property. Then, based on Browder's demiclosedness principle, we prove for $r$-uniformly convex Banach spaces that the weak cluster points of the iterates $x_{n+1}:=Tx_{n}$ belong to the fixed point set $\text{Fix} T$ whenever the operator $T$ is nonexpansive and quasi $\alpha$-firmly. If additionally the space has a Fr\'echet differentiable norm or satisfies Opial's property then these iterates converge weakly to some element in $\text{Fix} T$. Further, the projections $P_{\text{Fix} T}x_n$ converge strongly to this weak limit point. Finally, we give three illustrative examples, where our theory can be applied, namely from infinite dimensional neural networks, semigroup theory, and contractive projections in $L_p$, $p \in (1,\infty) \backslash \{2\}$ spaces on probability measure spaces.


title: A Hierarchical State-Machine-Based Framework for Platoon Manoeuvre Descriptions

abstract: This paper introduces the SEAD framework that simplifies the process of designing and describing autonomous vehicle platooning manoeuvres. Although a large body of research has been formulating platooning manoeuvres, it is still challenging to design, describe, read, and understand them. This difficulty largely arises from missing formalisation. To fill this gap, we analysed existing ways of describing manoeuvres, derived the causes of difficulty, and designed a framework that simplifies the manoeuvre design process. Alongside, a Manoeuvre Design Language was developed to structurally describe manoeuvres in a machine-readable format. Unlike state-of-the-art manoeuvre descriptions that require one state machine for every participating vehicle, the SEAD framework allows describing any manoeuvre from the single perspective of the platoon leader. %As a proof of concept, the proposed framework was implemented in the mixed traffic simulation environment BEHAVE for an autonomous highway scenario. Using this framework, we implemented several manoeuvres as they were described in literature. To demonstrate the applicability of the framework, an experiment was performed to evaluate the execution time performance of multiple alternatives of the Join-Middle manoeuvre. This proof-of-concept experiment revealed that the manoeuvre execution time can be reduced by 28 \% through parallelising various steps without considerable secondary effects. We hope that the SEAD framework will pave the way for further research in the area of new manoeuvre design and optimisation by largely simplifying and unifying platooning manoeuvre representation.


title: WLFC: Write Less in Flash-based Cache

abstract: Flash-based disk caches, for example Bcache and Flashcache, has gained tremendous popularity in industry in the last decade because of its low energy consumption, non-volatile nature and high I/O speed. But these cache systems have a worse write performance than the read performance because of the asymmetric I/O costs and the the internal GC mechanism. In addition to the performance issues, since the NAND flash is a type of EEPROM device, the lifespan is also limited by the Program/Erase (P/E) cycles. So how to improve the performance and the lifespan of flash-based caches in write-intensive scenarios has always been a hot issue. Benefiting from Open-Channel SSDs (OCSSDs), we propose a write-friendly flash-based disk cache system, which is called WLFC (Write Less in the Flash-based Cache). In WLFC, a strictly sequential writing method is used to minimize the write amplification. A new replacement algorithm for the write buffer is designed to minimize the erase count caused by the evicting. And a new data layout strategy is designed to minimize the metadata size persisted in SSDs. As a result, the Over-Provisioned (OP) space is completely removed, the erase count of the flash is greatly reduced, and the metadata size is 1/10 or less than that in BCache. Even with a small amount of metadata, the data consistency after the crash is still guaranteed. Compared with the existing mechanism, WLFC brings a 7%-80% reduction in write latency, a 1.07*-4.5* increment in write throughput, and a 50%-88.9% reduction in erase count, with a moderate overhead in read performance.


title: Personalized Bundle Recommendation in Online Games

abstract: In business domains, \textit{bundling} is one of the most important marketing strategies to conduct product promotions, which is commonly used in online e-commerce and offline retailers. Existing recommender systems mostly focus on recommending individual items that users may be interested in. In this paper, we target at a practical but less explored recommendation problem named bundle recommendation, which aims to offer a combination of items to users. To tackle this specific recommendation problem in the context of the \emph{virtual mall} in online games, we formalize it as a link prediction problem on a user-item-bundle tripartite graph constructed from the historical interactions, and solve it with a neural network model that can learn directly on the graph-structure data. Extensive experiments on three public datasets and one industrial game dataset demonstrate the effectiveness of the proposed method. Further, the bundle recommendation model has been deployed in production for more than one year in a popular online game developed by Netease Games, and the launch of the model yields more than 60\% improvement on conversion rate of bundles, and a relative improvement of more than 15\% on gross merchandise volume (GMV).


title: Controllable Spin Current in van der Waals Ferromagnet Fe3GeTe2

abstract: The control of spin current is pivotal for spintronic applications, especially for spin-orbit torque devices. Spin Hall effect (SHE) is a prevalent method to generate spin current. However, it is difficult to manipulate its spin polarization in nonmagnet. Recently, the discovery of spin current in ferromagnet offers opportunity to realize the manipulation. In the present work, the spin current in van der Waals ferromagnet Fe3GeTe2 (FGT) with varying magnetization is theoretically investigated. It has been observed that the spin current in FGT presents the nonlinear behavior with respect to magnetization. The in-plane and out-of-plane spin polarization emerges simultaneously, and the bilayer FGT can even exhibit arbitrary spin polarization thanks to the reduced symmetry. More intriguingly, the correlation between anomalous Hall effect (AHE) and spin anomalous Hall effect (SAHE) has been interpreted from the aspect of Berry curvature. This work illustrates that the interplay of symmetry and magnetism can effectively control the magnitude and spin polarization of the spin current, providing a practical method to realize exotic spin-orbit torques.


title: Landmark Regularization: Ranking Guided Super-Net Training in Neural Architecture Search

abstract: Weight sharing has become a de facto standard in neural architecture search because it enables the search to be done on commodity hardware. However, recent works have empirically shown a ranking disorder between the performance of stand-alone architectures and that of the corresponding shared-weight networks. This violates the main assumption of weight-sharing NAS algorithms, thus limiting their effectiveness. We tackle this issue by proposing a regularization term that aims to maximize the correlation between the performance rankings of the shared-weight network and that of the standalone architectures using a small set of landmark architectures. We incorporate our regularization term into three different NAS algorithms and show that it consistently improves performance across algorithms, search-spaces, and tasks.


title: Generating Code with the Help of Retrieved Template Functions and Stack Overflow Answers

abstract: We approach the important challenge of code autocompletion as an open-domain task, in which a sequence-to-sequence code generator model is enhanced with the ability to attend to reference code snippets supplied by a semantic code search engine. In this work, we present a novel framework to precisely retrieve template functions as well as intent-snippet pairs and effectively train such a retrieval-guided code generator. To demonstrate the effectiveness of our model designs, we perform extensive experiments with CodeSearchNet which contains template functions and CoNaLa which contains Stack Overflow intent-snippet pairs. We also investigate different retrieval models, including Elasticsearch, DPR, and our fusion representation search model, which currently holds the number one spot on the CodeSearchNet leaderboard. We observe improvements by leveraging multiple database elements and further gain from retrieving diverse data points by using Maximal Marginal Relevance. Overall, we see a 4% improvement to cross-entropy loss, a 15% improvement to edit distance, and a 44% improvement to BLEU score when retrieving template functions. We see subtler improvements of 2%, 11%, and 6% respectively when retrieving Stack Overflow intent-snippet pairs. We also create a novel Stack Overflow-Function Alignment dataset, which consists of 150K tuples of functions and Stack Overflow intent-snippet pairs that are of help in writing the associated function, of which 1.7K are manually curated.


title: Prospect-theoretic Q-learning

abstract: We consider a prospect theoretic version of the classical Q-learning algorithm for discounted reward Markov decision processes, wherein the controller perceives a distorted and noisy future reward, modeled by a nonlinearity that accentuates gains and underrepresents losses relative to a reference point. We analyze the asymptotic behavior of the scheme by analyzing its limiting differential equation and using the theory of monotone dynamical systems to infer its asymptotic behavior. Specifically, we show convergence to equilibria, and establish some qualitative facts about the equilibria themselves.


title: Electrical Tuning of Fresnel Lens in Reflection

abstract: Optical metasurfaces have been extensively investigated, demonstrating diverse and multiple functionalities with complete control over the transmitted and reflected fields. Most optical metasurfaces are however static, with only a few configurations offering (rather limited) electrical control, thereby jeopardizing their application prospects in emerging flat optics technologies. Here, we suggest an approach to realize electrically tunable optical metasurfaces, demonstrating dynamic Fresnel lens focusing. The active Fresnel lens (AFL) exploits the electro-optic Pockels effect in a 300-nm-thick lithium niobate layer sandwiched between a continuous thick and nanostructured gold film serving as electrodes. We fabricate and characterize the AFL, focusing 800-900 nm radiation at the distance of 40 $\mathrm{\mu}$m with the focusing efficiency of 15 % and demonstrating the modulation depth of 1.5 % with the driving voltage of $\pm 10$ V within the bandwidth of $\sim\! 4$ MHz. We believe that the electro-optic metasurface concept introduced is useful for designing dynamic flat optics components.


title: Voting-based probabilistic consensuses and their applications in distributed ledgers

abstract: We review probabilistic models known as majority dynamics (also known as threshold Voter Models) and discuss their possible applications for achieving consensus in cryptocurrency systems. In particular, we show that using this approach straightforwardly for practical consensus in Byzantine setting can be problematic and requires extensive further research. We then discuss the FPC consensus protocol which circumvents the problems mentioned above by using external randomness.


title: Machine learning and deep learning

abstract: Today, intelligent systems that offer artificial intelligence capabilities often rely on machine learning. Machine learning describes the capacity of systems to learn from problem-specific training data to automate the process of analytical model building and solve associated tasks. Deep learning is a machine learning concept based on artificial neural networks. For many applications, deep learning models outperform shallow machine learning models and traditional data analysis approaches. In this article, we summarize the fundamentals of machine learning and deep learning to generate a broader understanding of the methodical underpinning of current intelligent systems. In particular, we provide a conceptual distinction between relevant terms and concepts, explain the process of automated analytical model building through machine learning and deep learning, and discuss the challenges that arise when implementing such intelligent systems in the field of electronic markets and networked business. These naturally go beyond technological aspects and highlight issues in human-machine interaction and artificial intelligence servitization.


title: Recent BABAR results on measurement of exclusive hadronic cross sections

abstract: The measurement of exclusive $e^+e^-$ to hadrons processes is a significant part of the physics program of $BABAR$ experiment, aimed to improve the calculation of the hadronic contribution to the muon $g-2$ and to study the intermediate dynamics of the processes. We present the most recent results obtained by using the full data set of about 470\,fb$^{-1}$ collected by the BABAR detector at the PEP-II $e^+e^-$ collider at a center-of-mass energy of about 10.6 GeV. In particular, we report the results on $e^+e^-$ annihilation into six- and seven-pion final states. The study of the very rich dynamics of these processes can help to understand the difference seen between the QCD prediction and the sum of exclusive cross sections in the energy region around 2 GeV, thus improving the precision on the total hadronic cross section and of the $g-2$ calculation. Additionally, we report the results on a dedicated study to shed light on the resonant states production in the energy region around 2.2 GeV, which is presently rather unclear. We measure the reaction $e^+e^-\to K_SK_L$ with data collected with the $BABAR$ detector and analyse these data in conjunction with published BESIII data on $e^+e^-\to K^+K^-$ and $BABAR$ data on $e^+e^-\to K^+K^-$, $\pi^+\pi^-$, $\pi^+\pi^-\eta$, $\pi^+\pi^-\omega$. This study supports the existence of an isovector resonance $\rho(2230)$ consistent with the resonance observed by BESIII.


title: Better Feature Integration for Named Entity Recognition

abstract: It has been shown that named entity recognition (NER) could benefit from incorporating the long-distance structured information captured by dependency trees. We believe this is because both types of features - the contextual information captured by the linear sequences and the structured information captured by the dependency trees may complement each other. However, existing approaches largely focused on stacking the LSTM and graph neural networks such as graph convolutional networks (GCNs) for building improved NER models, where the exact interaction mechanism between the two types of features is not very clear, and the performance gain does not appear to be significant. In this work, we propose a simple and robust solution to incorporate both types of features with our Synergized-LSTM (Syn-LSTM), which clearly captures how the two types of features interact. We conduct extensive experiments on several standard datasets across four languages. The results demonstrate that the proposed model achieves better performance than previous approaches while requiring fewer parameters. Our further analysis demonstrates that our model can capture longer dependencies compared with strong baselines.