title: A Systematic Literature Review of the Tension between the GDPR and Public Blockchain Systems

abstract: The blockchain technology has been rapidly growing since Bitcoin was invented in 2008. The most common type of blockchain systems, public (permisionless) blockchain systems have some unique features that lead to a tension with European Union's General Data Protection Regulation (GDPR) and other similar data protection laws. In this paper, we report the results of a systematic literature review (SLR) on 114 research papers discussing and/or addressing such a tension. To be the best of our know, our SLR is the most comprehensive review of this topic, leading a more in-depth and broader analysis of related research work on this important topic. Our results revealed that three main types of issues: (i) difficulties in exercising data subjects' rights such as the `right to be forgotten' (RTBF) due to the immutable nature of public blockchains; (ii) difficulties in identifying roles and responsibilities in the public blockchain data processing ecosystem (particularly on the identification of data controllers and data processors); (iii) ambiguities regarding the application of the relevant law(s) due to the distributed nature of blockchains. Our work also led to a better understanding of solutions for improving the GDPR compliance of public blockchain systems. Our work can help inform not only blockchain researchers and developers, but also policy makers and law markers to consider how to reconcile the tension between public blockchain systems and data protection laws (the GDPR and beyond).


title: DALE: Differential Accumulated Local Effects for efficient and accurate global explanations

abstract: Accumulated Local Effect (ALE) is a method for accurately estimating feature effects, overcoming fundamental failure modes of previously-existed methods, such as Partial Dependence Plots. However, ALE's approximation, i.e. the method for estimating ALE from the limited samples of the training set, faces two weaknesses. First, it does not scale well in cases where the input has high dimensionality, and, second, it is vulnerable to out-of-distribution (OOD) sampling when the training set is relatively small. In this paper, we propose a novel ALE approximation, called Differential Accumulated Local Effects (DALE), which can be used in cases where the ML model is differentiable and an auto-differentiable framework is accessible. Our proposal has significant computational advantages, making feature effect estimation applicable to high-dimensional Machine Learning scenarios with near-zero computational overhead. Furthermore, DALE does not create artificial points for calculating the feature effect, resolving misleading estimations due to OOD sampling. Finally, we formally prove that, under some hypotheses, DALE is an unbiased estimator of ALE and we present a method for quantifying the standard error of the explanation. Experiments using both synthetic and real datasets demonstrate the value of the proposed approach.


title: Sparse Semantic Map-Based Monocular Localization in Traffic Scenes Using Learned 2D-3D Point-Line Correspondences

abstract: Vision-based localization in a prior map is of crucial importance for autonomous vehicles. Given a query image, the goal is to estimate the camera pose corresponding to the prior map, and the key is the registration problem of camera images within the map. While autonomous vehicles drive on the road under occlusion (e.g., car, bus, truck) and changing environment appearance (e.g., illumination changes, seasonal variation), existing approaches rely heavily on dense point descriptors at the feature level to solve the registration problem, entangling features with appearance and occlusion. As a result, they often fail to estimate the correct poses. To address these issues, we propose a sparse semantic map-based monocular localization method, which solves 2D-3D registration via a well-designed deep neural network. Given a sparse semantic map that consists of simplified elements (e.g., pole lines, traffic sign midpoints) with multiple semantic labels, the camera pose is then estimated by learning the corresponding features between the 2D semantic elements from the image and the 3D elements from the sparse semantic map. The proposed sparse semantic map-based localization approach is robust against occlusion and long-term appearance changes in the environments. Extensive experimental results show that the proposed method outperforms the state-of-the-art approaches.


title: High-degree collisional moments of inelastic Maxwell mixtures. Application to the homogeneous cooling and uniform shear flow states

abstract: The Boltzmann equation for $d$-dimensional inelastic Maxwell models is considered to determine the collisional moments of second, third and fourth degree in a granular binary mixture. These collisional moments are exactly evaluated in terms of the velocity moments of the distribution function of each species when diffusion is absent (mass flux of each species vanishes). The corresponding associated eigenvalues as well as cross coefficients are obtained as functions of the coefficients of normal restitution and the parameters of the mixture (masses, diameters and composition). The results are applied to the analysis of the time evolution of the moments (scaled with a thermal speed) in two different nonequilibrium situations: the homogeneous cooling state (HCS) and the uniform (or simple) shear flow (USF) state. In the case of the HCS, in contrast to what happens for simple granular gases, it is shown that the third and fourth degree moments could diverge in time for given values of the parameters of the system. An exhaustive study on the influence of the parameter space of the mixture on the time behavior of these moments is carried out. Then, the time evolution of the second- and third-degree velocity moments in the USF is studied in the tracer limit (namely, when the concentration of one of the species is negligible). As expected, while the second-degree moments are always convergent, the third-degree moments of the tracer species can be also divergent in the long time limit.


title: Automatic Evaluation and Analysis of Idioms in Neural Machine Translation

abstract: A major open problem in neural machine translation (NMT) is the translation of idiomatic expressions, such as "under the weather". The meaning of these expressions is not composed by the meaning of their constituent words, and NMT models tend to translate them literally (i.e., word-by-word), which leads to confusing and nonsensical translations. Research on idioms in NMT is limited and obstructed by the absence of automatic methods for quantifying these errors. In this work, first, we propose a novel metric for automatically measuring the frequency of literal translation errors without human involvement. Equipped with this metric, we present controlled translation experiments with models trained in different conditions (with/without the test-set idioms) and across a wide range of (global and targeted) metrics and test sets. We explore the role of monolingual pretraining and find that it yields substantial targeted improvements, even without observing any translation examples of the test-set idioms. In our analysis, we probe the role of idiom context. We find that the randomly initialized models are more local or "myopic" as they are relatively unaffected by variations of the idiom context, unlike the pretrained ones.


title: Calabi Symmetry and the Continuity Method

abstract: We study the convergence and curvature blow up of La Nave and Tian's continuity method on a generalised Hirzebruch surface. We show that the Gromov-Hausdorff convergence is similar to that of the Kahler-Ricci flow and obtain curvature estimates. We also show that a general solution to the continuity method either exist or all times, or the scalar curvature blows up. This behavior is known to be exhibited by the Kahler-Ricci flow.


title: Optimizing recording speed and interrogation window for rotating flow recorded in the ambient light: PIV analysis

abstract: The present study reports PIV analysis of the surface flow profile using a smartphone camera in ambient light instead of high-tech equipment like a professional camera and high-power laser/ LEDs. Additionally, it provides a stepwise method for optimizing recording speed and interrogation window size for the vortex flow generated at different rotational frequencies of the magnetic stirrer. The optimization method has been explained with an example of the vortex flow generated by a magnetic stirrer. The analysis has been carried out using the Matlab-based application PIVlab. Finally, the optimized parameters have been compared with the Burger vortex model, which shows good agreement with the PIV data. The proposed method can also determine the sureface flow of opaque liquids.


title: A Homotopy Theoretic Analogue to a Theorem of Wall

abstract: It is a well-known result of C.T.C. Wall's that one may decompose a simply connected 6-manifold as a connected sum of two simpler manifolds. Recent work of Beben and Theriault on decomposing based loop spaces of highly connected Poincar\'e Duality complexes has yielded new methods for analysing the homotopy theory of manifolds. In this paper we will expand upon these methods, which we will then apply to prove a higher dimensional homotopy theoretic analogue to Wall's Theorem.


title: A pasting theorem for iterated Segal spaces

abstract: We introduce a novel notion of pasting shapes for iterated Segal spaces which classify particular arrangements of composing cells in d-uple Segal spaces. Using this formalism, we then continue to prove a pasting theorem for these iterated Segal spaces.


title: Almost perfect linear Lee codes of packing radius 2 only exist for small dimensions

abstract: It is conjectured by Golomb and Welch around half a century ago that there is no perfect Lee codes $C$ of packing radius $r$ in $\mathbb{Z}^{n}$ for $r\geq2$ and $n\geq 3$. Recently, Leung and the second author proved this conjecture for linear Lee codes with $r=2$. A natural question is whether it is possible to classify the second best, i.e., almost perfect linear Lee codes of packing radius $2$. We show that if such codes exist in $\mathbb{Z}^n$, then $n$ must be $1,2, 11, 29, 47, 56, 67, 79, 104, 121, 134$ or $191$.


title: A definable $(p,q)$-theorem for NIP theories

abstract: We prove a definable version of Matou\v{s}ek's $(p,q)$-theorem in NIP theories. This answers a question of Chernikov and Simon. We also prove a uniform version. The proof builds on a proof of Boxall and Kestner who proved this theorem in the distal case, utilizing the notion of locally compressible types which appeared in the work of the author with Bays and Simon.


title: Intrinsic motivation, Need for cognition, Grit, Growth Mindset and Academic Achievement in High School Students: Latent Profiles and Its Predictive Effects

abstract: Recent efforts to identify non-cognitive predictors of academic achievement have especially focused on self-constructs, whose measurement is concerned with a specific domain (e.g., mathematics). However, other important factors, such as character and motivation, have received less attention. Additionally, the predictive accuracy of non-cognitive factors lacks evidence from subjects including English and Science. In this study, we take a person-centered approach and focus on students' intrinsic motivation, need for cognition, grit, and growth mindset. We mainly focus on how these factors predict students' mathematics, English, and science grades between 9th grade and 12th grade. 2,308 samples from high school students in Boston (Female = 1,237; aged from 13 to 17). The research results indicated that: (1) four latent profiles of students emerged: High in grit students (n = 997, 43.2%, higher scores of grit); Moderate students (n = 905, 38.3%, moderate in all scores); High in intrinsic motivation students (n = 252, 11.8%, higher scores of intrinsic motivation); Low in grit students (n = 154, 6.7%, lower scores of grit); (2) students' gender, race, maternal education level, and social-economic ranking predicted the profiles; and (3) four profiles of students had a significant predictive effect on Mathematics, Science and English scores in both 9th grade and 12th grade. We discussed the importance of character education for adolescents and motivation for learning in high school.


title: SiNeRF: Sinusoidal Neural Radiance Fields for Joint Pose Estimation and Scene Reconstruction

abstract: NeRFmm is the Neural Radiance Fields (NeRF) that deal with Joint Optimization tasks, i.e., reconstructing real-world scenes and registering camera parameters simultaneously. Despite NeRFmm producing precise scene synthesis and pose estimations, it still struggles to outperform the full-annotated baseline on challenging scenes. In this work, we identify that there exists a systematic sub-optimality in joint optimization and further identify multiple potential sources for it. To diminish the impacts of potential sources, we propose Sinusoidal Neural Radiance Fields (SiNeRF) that leverage sinusoidal activations for radiance mapping and a novel Mixed Region Sampling (MRS) for selecting ray batch efficiently. Quantitative and qualitative results show that compared to NeRFmm, SiNeRF achieves comprehensive significant improvements in image synthesis quality and pose estimation accuracy. Codes are available at https://github.com/yitongx/sinerf.


title: Comparing the carbon costs and benefits of low-resource solar nowcasting

abstract: Solar PV yield nowcasting is used to help anticipate peaks and troughs in demand to support grid integration. This paper compares multiple low-resource approaches to nowcasting solar PV yield, using a dataset of UK satellite imagery and solar PV energy readings over a 1 to 4-hour time range. The paper also estimates the carbon emissions generated and averted by deploying models, and finds that even small models that could be deployable in low-resource settings may have a benefit several orders of magnitude greater than its carbon cost. The paper also examines prediction errors and the activations in a CNN.


title: Everything is Varied: The Surprising Impact of Individual Variation on ML Robustness in Medicine

abstract: In medical settings, Individual Variation (IV) refers to variation that is due not to population differences or errors, but rather to within-subject variation, that is the intrinsic and characteristic patterns of variation pertaining to a given instance or the measurement process. While taking into account IV has been deemed critical for proper analysis of medical data, this source of uncertainty and its impact on robustness have so far been neglected in Machine Learning (ML). To fill this gap, we look at how IV affects ML performance and generalization and how its impact can be mitigated. Specifically, we provide a methodological contribution to formalize the problem of IV in the statistical learning framework and, through an experiment based on one of the largest real-world laboratory medicine datasets for the problem of COVID-19 diagnosis, we show that: 1) common state-of-the-art ML models are severely impacted by the presence of IV in data; and 2) advanced learning strategies, based on data augmentation and data imprecisiation, and proper study designs can be effective at improving robustness to IV. Our findings demonstrate the critical relevance of correctly accounting for IV to enable safe deployment of ML in clinical settings.


title: Common Randomness Generation from Sources with Countable Alphabet

abstract: We study a standard two-source model for common randomness (CR) generation in which Alice and Bob generate a common random variable with high probability of agreement by observing independent and identically distributed (i.i.d.) samples of correlated sources on countably infinite alphabets. The two parties are additionally allowed to communicate as little as possible over a noisy memoryless channel. In our work, we give a single-letter formula for the CR capacity for the proposed model and provide a rigorous proof of it. This is a challenging scenario because some of the finite alphabet properties, namely of the entropy can not be extended to the countably infinite case. Notably, it is known that the Shannon entropy is in fact discontinuous at all probability distributions with countably infinite support.


title: A Comparative Study of Disordered and Ordered Protein Folding Dynamics Using Computational Simulation

abstract: Folding protein dynamics has been an area of high interest for quite some time, especially given the increased focus on the field of Biophysics. Because folding dynamics occur on such short time scales, empirical techniques developed for more "static" protein events, such as X-ray crystallography, nuclear magnetic resonance, and green fluorescent protein (GFP) labelling, aren't as applicable. Instead, computational methods must often be used to simulate these short lived yet highly dynamic events. One such computational method that is proven to provide much valuable insight into protein folding dynamics is Molecular Dynamics Simulation (MD Simulation). This simulation method is both highly computationally demanding, yet highly accurate in its modelling of a proteins physical behaviour. Besides MD Simulation, simulations in general are quite applicable in the context of these protein events. For example, the simple Gillespie algorithm, a computational technique which can be executed on almost any personal computer, provides quite the robust view into protein dynamics given its computational simplicity. This paper will compare the results of two simulations, an MD simulation of a disordered, six-residue, carcinogenic protein fragment, and a Gillespie algorithm based simulation of an ordered folding protein: the mathematically identical nature of the Gillespie algorithm time series of the asymptotically stochastic hyperbolic tangent dynamics for the wild type predicting the exact behaviour of the carcinogenic protein system time series will show the computational power simulations provide for analyzing both disordered and ordered protein systems.

categories: cond-mat.soft cond-mat.mes-hall physics.bio-ph physics.med-ph


title: Subgap modes in two-dimensional magnetic Josephson junctions

abstract: We consider two-dimensional superconductor/ferromagnet/superconductor junctions and investigate the subgap modes along the junction interface. The subgap modes exhibit characteristics similar to the Yu-Shiba-Rusinov states that originate form the interplay between superconductivity and ferromagnetism in the magnetic junction. The dispersion relation of the subgap modes shows qualitatively different profiles depending on the transport state (metallic, half-metallic, or insulating) of the ferromagnet. As the spin splitting in the ferromagnet is increased, the subgap modes bring about a $0$-$\pi$ transition in the Josephson current across the junction, with the Josephson current density depending strongly on the momentum along the junction interface (i.e., the direction of the incident current). For clean superconductor-ferromagnet interfaces (i.e., strong coupling between superconductors and ferromagnet), the subgap modes develop flat quasi-particle bands that allow to engineer the wave functions of the subgap modes along an inhomogeneous magnetic junction.


title: CLIP-Diffusion-LM: Apply Diffusion Model on Image Captioning

abstract: Image captioning task has been extensively researched by previous work. However, limited experiments focus on generating captions based on non-autoregressive text decoder. Inspired by the recent success of the denoising diffusion model on image synthesis tasks, we apply denoising diffusion probabilistic models to text generation in image captioning tasks. We show that our CLIP-Diffusion-LM is capable of generating image captions using significantly fewer inference steps than autoregressive models. On the Flickr8k dataset, the model achieves 0.1876 BLEU-4 score. By training on the combined Flickr8k and Flickr30k dataset, our model achieves 0.2470 BLEU-4 score. Our code is available at https://github.com/xu-shitong/diffusion-image-captioning.


title: Visually Similar Products Retrieval for Shopsy

abstract: Visual search is of great assistance in reseller commerce, especially for non-tech savvy users with affinity towards regional languages. It allows resellers to accurately locate the products that they seek, unlike textual search which recommends products from head brands. Product attributes available in e-commerce have a great potential for building better visual search systems as they capture fine grained relations between data points. In this work, we design a visual search system for reseller commerce using a multi-task learning approach. We also highlight and address the challenges like image compression, cropping, scribbling on the image, etc, faced in reseller commerce. Our model consists of three different tasks: attribute classification, triplet ranking and variational autoencoder (VAE). Masking technique is used for designing the attribute classification. Next, we introduce an offline triplet mining technique which utilizes information from multiple attributes to capture relative order within the data. This technique displays a better performance compared to the traditional triplet mining baseline, which uses single label/attribute information. We also compare and report incremental gain achieved by our unified multi-task model over each individual task separately. The effectiveness of our method is demonstrated using the in-house dataset of product images from the Lifestyle business-unit of Flipkart, India's largest e-commerce company. To efficiently retrieve the images in production, we use the Approximate Nearest Neighbor (ANN) index. Finally, we highlight our production environment constraints and present the design choices and experiments conducted to select a suitable ANN index.


title: A Comprehensive Survey of Data Augmentation in Visual Reinforcement Learning

abstract: Visual reinforcement learning (RL), which makes decisions directly from high-dimensional visual inputs, has demonstrated significant potential in various domains. However, deploying visual RL techniques in the real world remains challenging due to their low sample efficiency and large generalization gaps. To tackle these obstacles, data augmentation (DA) has become a widely used technique in visual RL for acquiring sample-efficient and generalizable policies by diversifying the training data. This survey aims to provide a timely and essential review of DA techniques in visual RL in recognition of the thriving development in this field. In particular, we propose a unified framework for analyzing visual RL and understanding the role of DA in it. We then present a principled taxonomy of the existing augmentation techniques used in visual RL and conduct an in-depth discussion on how to better leverage augmented data in different scenarios. Moreover, we report a systematic empirical evaluation of DA-based techniques in visual RL and conclude by highlighting the directions for future research. As the first comprehensive survey of DA in visual RL, this work is expected to offer valuable guidance to this emerging field.


title: Using Detection, Tracking and Prediction in Visual SLAM to Achieve Real-time Semantic Mapping of Dynamic Scenarios

abstract: In this paper, we propose a lightweight system, RDS-SLAM, based on ORB-SLAM2, which can accurately estimate poses and build semantic maps at object level for dynamic scenarios in real time using only one commonly used Intel Core i7 CPU. In RDS-SLAM, three major improvements, as well as major architectural modifications, are proposed to overcome the limitations of ORB-SLAM2. Firstly, it adopts a lightweight object detection neural network in key frames. Secondly, an efficient tracking and prediction mechanism is embedded into the system to remove the feature points belonging to movable objects in all incoming frames. Thirdly, a semantic octree map is built by probabilistic fusion of detection and tracking results, which enables a robot to maintain a semantic description at object level for potential interactions in dynamic scenarios. We evaluate RDS-SLAM in TUM RGB-D dataset, and experimental results show that RDS-SLAM can run with 30.3 ms per frame in dynamic scenarios using only an Intel Core i7 CPU, and achieves comparable accuracy compared with the state-of-the-art SLAM systems which heavily rely on both Intel Core i7 CPUs and powerful GPUs.


title: Towards Robust Visual Question Answering: Making the Most of Biased Samples via Contrastive Learning

abstract: Models for Visual Question Answering (VQA) often rely on the spurious correlations, i.e., the language priors, that appear in the biased samples of training set, which make them brittle against the out-of-distribution (OOD) test data. Recent methods have achieved promising progress in overcoming this problem by reducing the impact of biased samples on model training. However, these models reveal a trade-off that the improvements on OOD data severely sacrifice the performance on the in-distribution (ID) data (which is dominated by the biased samples). Therefore, we propose a novel contrastive learning approach, MMBS, for building robust VQA models by Making the Most of Biased Samples. Specifically, we construct positive samples for contrastive learning by eliminating the information related to spurious correlation from the original training samples and explore several strategies to use the constructed positive samples for training. Instead of undermining the importance of biased samples in model training, our approach precisely exploits the biased samples for unbiased information that contributes to reasoning. The proposed method is compatible with various VQA backbones. We validate our contributions by achieving competitive performance on the OOD dataset VQA-CP v2 while preserving robust performance on the ID dataset VQA v2.


title: Time Reversed States in Barrier Tunneling

abstract: Tunneling, though a physical reality, is shrouded in mystery. Wave packets cannot be constructed under the barrier and group velocity cannot be defined. The tunneling particle can be observed on either sides of the barrier but its properties under the barrier has never been probed due to several problems related to quantum measurement. We show that there are ways to bypass these problems in mesoscopic systems and one can even derive an expression for the quantum mechanical current under the barrier. A general scheme is developed to derive this expression for any arbitrary system. One can use mesoscopic phenomenon to subject the expression to several theoretical and experimental cross checks. For demonstration we consider an ideal 1D quantum ring with Aharonov-Bohm flux $\Phi$, connected to a reservoir. It gives clear evidence that propagation occur under the barrier resulting in a current that can be measured non-invasively and theoretically cross checked. Time reversed states play a role but there is no evidence of violation of causality. The evanescent states are known to be largely stable and robust against phase fluctuations making them a possible candidate for device applications and so formalizing current under barrier is important.


title: Data Synchronization: A Complete Theoretical Solution for Filesystems

abstract: Data reconciliation in general, and filesystem synchronization in particular, lacks rigorous theoretical foundation. This paper presents, for the first time, a complete analysis of synchronization for two replicas of a theoretical filesystem. Synchronization has two main stages: identifying the conflicts, and resolving them. All existing (both theoretical and practical) synchronizers are operation-based: they define, using some rationale or heuristics, how conflicts are to be resolved without considering the effect of the resolution on subsequent conflicts. Instead, our approach is declaration-based: we define what constitutes the resolution of all conflicts, and for each possible scenario we prove the existence of sequences of operations / commands which convert the replicas into a common synchronized state. These sequences consist of operations rolling back some local changes, followed by operations performed on the other replica. The set of rolled-back operations provides the user with clear and intuitive information on the proposed changes, so she can easily decide whether to accept them or ask for other alternatives. All possible synchronized states are described by specifying a set of conflicts, a partial order on the conflicts describing the order in which they need to be resolved, as well as the effect of each decision on subsequent conflicts. Using this classification, the outcomes of different conflict resolution policies can be investigated easily.


title: Design of a tabletop interferometer with quantum amplification

abstract: The sensitivity of laser interferometers is fundamentally limited by the quantum nature of light. Recent theoretical studies have opened a new avenue to enhance their quantum-limited sensitivity by using active parity-time-symmetric and phase-insensitive quantum amplification. These systems can enhance the signal response without introducing excess noise in the ideal case. However, such active systems must be causal, stable, and carefully tuned to be practical and applicable to precision measurements. In this paper, we show that phase-insensitive amplification in laser interferometers can be implemented in a tabletop experiment. The layout consists of two coupled cavities and an active medium comprised of a silicon nitride membrane and an auxiliary pump field. Our design relies on existing membrane and cryogenic technology and can demonstrate three distinct features: (i) the self-stabilized dynamics of the optical system, (ii) quantum enhancement of its sensitivity in the presence of the amplifier, and (iii) optical control of the amplifier gain. These features are needed to enhance the sensitivity of future interferometric gravitational-wave and axion detectors.


title: BoundaryFace: A mining framework with noise label self-correction for Face Recognition

abstract: Face recognition has made tremendous progress in recent years due to the advances in loss functions and the explosive growth in training sets size. A properly designed loss is seen as key to extract discriminative features for classification. Several margin-based losses have been proposed as alternatives of softmax loss in face recognition. However, two issues remain to consider: 1) They overlook the importance of hard sample mining for discriminative learning. 2) Label noise ubiquitously exists in large-scale datasets, which can seriously damage the model's performance. In this paper, starting from the perspective of decision boundary, we propose a novel mining framework that focuses on the relationship between a sample's ground truth class center and its nearest negative class center. Specifically, a closed-set noise label self-correction module is put forward, making this framework work well on datasets containing a lot of label noise. The proposed method consistently outperforms SOTA methods in various face recognition benchmarks. Training code has been released at https://github.com/SWJTU-3DVision/BoundaryFace.


title: A Learning-based approach for bias elimination in low cost gyroscopes

abstract: Modern sensors play a pivotal role in many operating platforms, as they manage to track the platform dynamics at a relatively low manufacturing costs. Their widespread use can be found starting from autonomous vehicles, through tactical platforms, and ending with household appliances in daily use. Upon leaving the factory, the calibrated sensor starts accumulating different error sources which slowly wear out its precision and reliability. To that end, periodic calibration is needed, to restore intrinsic parameters and realign its readings with the ground truth. While extensive analytic methods exist in the literature, little is proposed using data-driven techniques and their unprecedented approximation capabilities. In this study, we show how bias elimination in low-cost gyroscopes can be performed in considerably shorter operative time, using a unique convolutional neural network structure. The strict constraints of traditional methods are replaced by a learning-based regression which spares the time-consuming averaging time, exhibiting efficient sifting of background noise from the actual bias.


title: Systematic Evaluation and User Study of Privacy of Default Apps in Apple's Mobile Ecosystem

abstract: Users need to configure default apps when they first start using their devices. The privacy configurations of the default apps do not always match what users think they have initially enabled. We first systematically evaluated the privacy configurations of default apps. We discovered serious issues with the documentation of the default apps. Based on these findings, we explored users' experiences with an interview study (N=15). Our findings from both studies show that: the instructions of setting privacy configurations of default apps are vague and lack required steps; users were unable to disable default apps from accessing their personal information; users assumed they were being tracked by some default apps; default apps may cause tensions in family relationships because of information sharing. Our results illuminate on the privacy and security implications of configuring the privacy of default apps and how users perceive and understand the mobile ecosystem.


title: The Eyecandies Dataset for Unsupervised Multimodal Anomaly Detection and Localization

abstract: We present Eyecandies, a novel synthetic dataset for unsupervised anomaly detection and localization. Photo-realistic images of procedurally generated candies are rendered in a controlled environment under multiple lightning conditions, also providing depth and normal maps in an industrial conveyor scenario. We make available anomaly-free samples for model training and validation, while anomalous instances with precise ground-truth annotations are provided only in the test set. The dataset comprises ten classes of candies, each showing different challenges, such as complex textures, self-occlusions and specularities. Furthermore, we achieve large intra-class variation by randomly drawing key parameters of a procedural rendering pipeline, which enables the creation of an arbitrary number of instances with photo-realistic appearance. Likewise, anomalies are injected into the rendering graph and pixel-wise annotations are automatically generated, overcoming human-biases and possible inconsistencies. We believe this dataset may encourage the exploration of original approaches to solve the anomaly detection task, e.g. by combining color, depth and normal maps, as they are not provided by most of the existing datasets. Indeed, in order to demonstrate how exploiting additional information may actually lead to higher detection performance, we show the results obtained by training a deep convolutional autoencoder to reconstruct different combinations of inputs.


title: Modular Multi-Copter Structure Control for Cooperative Aerial Cargo Transportation

abstract: The control problem of a multi-copter swarm, mechanically coupled through a modular lattice structure of connecting rods, is considered in this article. The system's structural elasticity is considered in deriving the system's dynamics. The devised controller is robust against the induced flexibilities, while an inherent adaptation scheme allows for the control of asymmetrical configurations and the transportation of unknown payloads. Certain optimization metrics are introduced for solving the individual agent thrust allocation problem while achieving maximum system flight time, resulting in a platform-independent control implementation. Experimental studies are offered to illustrate the efficiency of the suggested controller under typical flight conditions, increased rod elasticities and payload transportation.


title: Floorplan-Aware Camera Poses Refinement

abstract: Processing large indoor scenes is a challenging task, as scan registration and camera trajectory estimation methods accumulate errors across time. As a result, the quality of reconstructed scans is insufficient for some applications, such as visual-based localization and navigation, where the correct position of walls is crucial. For many indoor scenes, there exists an image of a technical floorplan that contains information about the geometry and main structural elements of the scene, such as walls, partitions, and doors. We argue that such a floorplan is a useful source of spatial information, which can guide a 3D model optimization. The standard RGB-D 3D reconstruction pipeline consists of a tracking module applied to an RGB-D sequence and a bundle adjustment (BA) module that takes the posed RGB-D sequence and corrects the camera poses to improve consistency. We propose a novel optimization algorithm expanding conventional BA that leverages the prior knowledge about the scene structure in the form of a floorplan. Our experiments on the Redwood dataset and our self-captured data demonstrate that utilizing floorplan improves accuracy of 3D reconstructions.


title: HumSet: Dataset of Multilingual Information Extraction and Classification for Humanitarian Crisis Response

abstract: Timely and effective response to humanitarian crises requires quick and accurate analysis of large amounts of text data - a process that can highly benefit from expert-assisted NLP systems trained on validated and annotated data in the humanitarian response domain. To enable creation of such NLP systems, we introduce and release HumSet, a novel and rich multilingual dataset of humanitarian response documents annotated by experts in the humanitarian response community. The dataset provides documents in three languages (English, French, Spanish) and covers a variety of humanitarian crises from 2018 to 2021 across the globe. For each document, HUMSET provides selected snippets (entries) as well as assigned classes to each entry annotated using common humanitarian information analysis frameworks. HUMSET also provides novel and challenging entry extraction and multi-label entry classification tasks. In this paper, we take a first step towards approaching these tasks and conduct a set of experiments on Pre-trained Language Models (PLM) to establish strong baselines for future research in this domain. The dataset is available at https://blog.thedeep.io/humset/.


title: ARUBA: An Architecture-Agnostic Balanced Loss for Aerial Object Detection

abstract: Deep neural networks tend to reciprocate the bias of their training dataset. In object detection, the bias exists in the form of various imbalances such as class, background-foreground, and object size. In this paper, we denote size of an object as the number of pixels it covers in an image and size imbalance as the over-representation of certain sizes of objects in a dataset. We aim to address the problem of size imbalance in drone-based aerial image datasets. Existing methods for solving size imbalance are based on architectural changes that utilize multiple scales of images or feature maps for detecting objects of different sizes. We, on the other hand, propose a novel ARchitectUre-agnostic BAlanced Loss (ARUBA) that can be applied as a plugin on top of any object detection model. It follows a neighborhood-driven approach inspired by the ordinality of object size. We evaluate the effectiveness of our approach through comprehensive experiments on aerial datasets such as HRSC2016, DOTAv1.0, DOTAv1.5 and VisDrone and obtain consistent improvement in performance.


title: High-Order Parametrization of the Hypergeometric-Meijer Approximants

abstract: In previous articles, we showed that, based on large-order asymptotic behavior, one can approximate a divergent series via the parametrization of a specific hypergeometric approximant. The analytical continuation is then carried out through a Mellin-Barnes integral representation of the hypergeometric approximant or equivalently using an equivalent form of the Meijer G-Function. The parametrization process involves the solution of a non-linear set of coupled equations which is hard to achieve (might be impossible) for high orders using normal PCs. In this work, we extend the approximation algorithm to accommodate any order (high or low) of the given series in a short time. The extension also allows us to employ non-perturbative information like strong-coupling and large-order asymptotic data which are always used to accelerate the convergence. We applied the algorithm for different orders (up to O($29$)) of the ground state energy of the $x^4$ anharmonic oscillator with and without the non-perturbative information. We also considered the available $20$ orders for the ground sate energy of the $\mathcal{PT}-$symmetric $ix^{3}$ anharmonic oscillator as well as the given $20$ orders of its strong-coupling expansion or equivalently the Yang-Lee model. For high order weak-coupling parametrization, accurate results have been obtained for the ground state energy and the non-perturbative parameters describing strong-coupling and large-order asymptotic behaviors. The employment of the non-perturbative data accelerated the convergence very clearly. The High temperature expansion for the susceptibility within the $SQ$ lattice has been also considered and led to accurate prediction for the critical exponent and critical temperature.


title: The Rectilinear Steiner Forest Arborescence problem

abstract: Let $r$ be a point in the first quadrant $Q_1$ of the plane $\mathbb{R}^2$ and let $P \subset Q_1$ be a set of points such that for any $p \in P$, its $x$- and $y$-coordinate is at least as that of $r$. A rectilinear Steiner arborescence for $P$ with the root $r$ is a rectilinear Steiner tree $T$ for $P \cup \{r\}$ such that for each point $p \in P$, the length of the (unique) path in $T$ from $p$ to the root $r$ equals $({\rm x}(p)-{\rm x}(r))+({\rm y}(p))-({\rm y}(r))$, where ${\rm x}(q)$ and ${\rm y}(q)$ denote the $x$- and $y$-coordinate, respectively, of point $q \in P \cup \{r\}$. Given two point sets $P$ and $R$ lying in the first quadrant $Q_1$ and such that $(0,0) \in R$, the Rectilinear Steiner Forest Arborescence (RSFA) problem is to find the minimum-length spanning forest $F$ such that each connected component $F$ is a rectilinear Steiner arborescence rooted at some root in $R$. The RSFA problem is a natural generalization of the Rectilinear Steiner Arborescence problem, where $R=\{(0,0)\}$, and thus it is NP-hard. In this paper, we provide a simple exact exponential time algorithm for the RSFA problem, design a polynomial time approximation scheme as well as a fixed-parameter algorithm.


title: Topological invariants based on generalized position operators and application to the interacting Rice-Mele model

abstract: We discuss different properties and the ability of several topological invariants based on position operators to identify phase transitions, and compare with more accurate methods, like crossing of excited energy levels and jumps in Berry phases. The invariants have the form $\text{Im} \text{ln} \left\langle \exp \left[ i(2\pi /L)\Sigma _{j}x_{j} \left( m_{_{\uparrow }}\hat{n}_{j\uparrow } +m_{\downarrow }\hat{n}_{j\downarrow }\right) \right] \right\rangle $, where $L$ is the length of the system, $x_{j}$ the position of the site $j$, $\hat{n}_{j\sigma }$ the operator of the number of particles at site $j$ with spin $\sigma$. We show that $m_{\sigma }$ should be integers, and in some cases of magnitude larger than 1 to lead to well defined expectation values. For the interacting Rice-Mele model (which contains the interacting Su-Schrieffer-Heeger and the Ionic Hubbard model as specific cases), we show that three different invariants give complementary information and are necessary and sufficient to construct the phase diagrams in the regions where the invariants are protected by inversion symmetry. We also discuss the consequences for pumping of charge and spin, and the effect of an Ising spin-spin interaction or a staggered magnetic field.


title: Is your noise correction noisy? PLS: Robustness to label noise with two stage detection

abstract: Designing robust algorithms capable of training accurate neural networks on uncurated datasets from the web has been the subject of much research as it reduces the need for time consuming human labor. The focus of many previous research contributions has been on the detection of different types of label noise; however, this paper proposes to improve the correction accuracy of noisy samples once they have been detected. In many state-of-the-art contributions, a two phase approach is adopted where the noisy samples are detected before guessing a corrected pseudo-label in a semi-supervised fashion. The guessed pseudo-labels are then used in the supervised objective without ensuring that the label guess is likely to be correct. This can lead to confirmation bias, which reduces the noise robustness. Here we propose the pseudo-loss, a simple metric that we find to be strongly correlated with pseudo-label correctness on noisy samples. Using the pseudo-loss, we dynamically down weight under-confident pseudo-labels throughout training to avoid confirmation bias and improve the network accuracy. We additionally propose to use a confidence guided contrastive objective that learns robust representation on an interpolated objective between class bound (supervised) for confidently corrected samples and unsupervised representation for under-confident label corrections. Experiments demonstrate the state-of-the-art performance of our Pseudo-Loss Selection (PLS) algorithm on a variety of benchmark datasets including curated data synthetically corrupted with in-distribution and out-of-distribution noise, and two real world web noise datasets. Our experiments are fully reproducible github.com/PaulAlbert31/SNCF


title: Using second-order information in gradient sampling methods for nonsmooth optimization

abstract: In this article, we show how second-order derivative information can be incorporated into gradient sampling methods for nonsmooth optimization. The second-order information we consider is essentially the set of coefficients of all second-order Taylor expansions of the objective in a closed ball around a given point. Based on this concept, we define a model of the objective as the maximum of these Taylor expansions. Iteratively minimizing this model (constrained to the closed ball) results in a simple descent method, for which we prove convergence to minimal points in case the objective is convex. To obtain an implementable method, we construct an approximation scheme for the second-order information based on sampling objective values, gradients and Hessian matrices at finitely many points. Using a set of test problems, we compare the resulting method to five other available solvers. Considering the number of function evaluations, the results suggest that the method we propose is superior to the standard gradient sampling method, and competitive compared to other methods.


title: Resonances and Eigenvalues for the Constant Mean Curvature Equation

abstract: In this paper we study resonances and eigenvalues for the nonlinear constant mean curvature eqn. linearized around the bubbles found by Brezis-Coron. This nonlinear eqn. is also called a H-system eqn. For degree one bubbles(the degree relates to a certain winding number) we only find resonances. For higher degree we prove eigenvalues do occur. Our goal is to eventually obtain dispersive estimates for the wave eqn. associated to the H-systems eqn. in its linear and non-linear form, a study of which was initiated by Chanillo-Yung.


title: Approximating Partial Likelihood Estimators via Optimal Subsampling

abstract: With the growing availability of large-scale biomedical data, it is often time-consuming or infeasible to directly perform traditional statistical analysis with relatively limited computing resources at hand. We propose a fast subsampling method to effectively approximate the full data maximum partial likelihood estimator in Cox's model, which largely reduces the computational burden when analyzing massive survival data. We establish consistency and asymptotic normality of a general subsample-based estimator. The optimal subsampling probabilities with explicit expressions are determined via minimizing the trace of the asymptotic variance-covariance matrix for a linearly transformed parameter estimator. We propose a two-step subsampling algorithm for practical implementation, which has a significant reduction in computing time compared to the full data method. The asymptotic properties of the resulting two-step subsample-based estimator is also established. Extensive numerical experiments and a real-world example are provided to assess our subsampling strategy.


title: ParaDime: A Framework for Parametric Dimensionality Reduction

abstract: ParaDime is a framework for parametric dimensionality reduction (DR). In parametric DR, neural networks are trained to embed high-dimensional data items in a low-dimensional space while minimizing an objective function. ParaDime builds on the idea that the objective functions of several modern DR techniques result from transformed inter-item relationships. It provides a common interface for specifying these relations and transformations and for defining how they are used within the losses that govern the training process. Through this interface, ParaDime unifies parametric versions of DR techniques such as metric MDS, t-SNE, and UMAP. It allows users to fully customize all aspects of the DR process. We show how this ease of customization makes ParaDime suitable for experimenting with interesting techniques such as hybrid classification/embedding models and supervised DR. This way, ParaDime opens up new possibilities for visualizing high-dimensional data.


title: Embedding Alexander quandles into groups

abstract: For any twisted conjugate quandle $Q$, and in particular any Alexander quandle, there exists a group $G$ such that $Q$ is embedded into the conjugation quandle of $G$.


title: Analysis methods for in-beam PET images in proton therapy treatment verification: a comparison based on Monte Carlo simulations

abstract: Background and purpose: In-beam Positron Emission Tomography (PET) is one of the modalities that can be used for in-vivo non-invasive treatment monitoring in proton therapy. PET distributions obtained during various treatment sessions can be compared in order to identify regions that have anatomical changes. The purpose of this work is to test and compare different analysis methods in the context of inter-fractional PET image comparison for proton treatment verification. Methods: For our study we used the FLUKA Monte Carlo code and artificially generated CT scans to simulate in-beam PET distributions at different stages during proton therapy treatment. We compared the Beam-Eye-View method, the Most-Likely-Shift method, the Voxel-Based-Morphology method and the gamma evaluation method to compare PET images at the start of treatment, and after a few weeks of treatment. The results were compared to the CT scan. Results and conclusions: Three-dimensional methods like VBM and gamma are preferred above two-dimensional methods like MLS and BEV if much statistics is available, since the these methods allow to identify the regions with anomalous activity. The VBM approach has as disadvantage that a larger number of MC simulations is needed. The gamma analysis has the disadvantage that no clinical indication exist on tolerance criteria. In terms of calculation time, the BEV and MLS method are preferred. We recommend to use the four methods together, in order to best identify the location and cause of the activity changes.


title: Locating the Nordstream explosions without a velocity model using polarization analysis

abstract: The seismic events that preceded the leaks in the Nordstream pipelines in the Baltic Sea have been interpreted as explosions on the seabed, most likely man-made. We use a polarization-based location method initially developed for marsquakes to locate the source region without a subsurface velocity model. We show that the 2 largest seismic events can be unambiguously attributed to the methane plumes observed on the sea surface. The two largest events can be located with this method, using 4 and 5 stations located around the source, with location uncertainties of 30km and 10x60km. We can further show that both events emitted seismic energy for at least ten minutes after the initial explosion, indicative of resonances in the water column or the depressurizing pipeline.


title: Intermediate-Distance String Effects in Wilson Loops\\ via Boundary Action

abstract: The density profile of the QCD flux tube is investigated within the framework of the L\"uscher-Weisz (LW) string action with two boundary terms. The transverse action profile and potential between static quarks are considered using Wilson's loop overlap formalism at zero temperature in SU(2) Yang-Mills theory. We find the predictions of the LW string matching the lattice data for the width of the energy-density and $Q\bar{Q}$ potential up to a small color-source separation of $R=0.32$\,fm.


title: Toric sheaves, stability and fibrations

abstract: For an equivariant reflexive sheaf over a polarised toric variety, we study slope stability of its reflexive pullback along a toric fibration. Examples of such fibrations include equivariant blow-ups and toric locally trivial fibrations. We show that stability (resp. unstability) is preserved under such pullbacks for so-called adiabatic polarisations. In the strictly semistable situation, under locally freeness assumptions, we provide a necessary and sufficient condition on the graded object to ensure stability of the pulled back sheaf. As applications, we provide various stable perturbations of semistable tangent sheaves, either by changing the polarisation, or by blowing-up a subvariety. Finally, our results apply uniformly in specific flat families and induce injective maps between the associated moduli spaces.


title: A convolutional neural network to distinguish glitches from minute-long gravitational wave transients

abstract: Gravitational wave bursts are transient signals distinct from compact binary mergers that arise from a wide variety of astrophysical phenomena. Because most of these phenomena are poorly modeled, the use of traditional search methods such as matched filtering is excluded. Bursts include short ($<$10 seconds) and long (from 10 to a few hundreds of seconds) duration signals for which the detection is constrained by environmental and instrumental transient noises called glitches. Glitches contaminate burst searches, reducing the amount of useful data and limiting the sensitivity of current algorithms. It is therefore of primordial importance to locate and distinguish them from potential burst signals. In this paper, we propose to train a convolutional neural network to detect glitches in the time-frequency space of the cross-correlated LIGO noise. We show that our network is retrieving more than 95$\%$ of the glitches while being trained only on a subset of the existing glitch classes highlighting the sensitivity of the network to completely new glitch classes.


title: Deformations of relative Rota-Baxter operators on Leibniz Triple Systems

abstract: In this paper, we introduce the cohomology theory of relative Rota-Baxter operators on Leibniz triple systems. We use the cohomological approach to study linear and formal deformations of relative Rota-Baxter operators. In particular, formal deformations and extendibility of order $n$ deformations of a relative Rota-Baxter operators are also characterized in terms of the cohomology theory. We also consider the relationship between cohomology of relative Rota-Baxter operators on Leibniz algebras and associated Leibniz triple systems.


title: The Small Solution Hypothesis for MAPF on Strongly Connected Directed Graphs Is True

abstract: The determination of the computational complexity of multi-agent pathfinding on directed graphs (diMAPF) has been an open research problem for many years. While diMAPF has been shown to be polynomial for some special cases, only recently, it has been established that the problem is NP-hard in general. Further, it has been proved that diMAPF will be in NP if the short solution hypothesis for strongly connected directed graphs is correct. In this paper, it is shown that this hypothesis is indeed true, even when one allows for synchronous rotations.


title: Universal Adversarial Perturbations: Efficiency on a small image dataset

abstract: Although neural networks perform very well on the image classification task, they are still vulnerable to adversarial perturbations that can fool a neural network without visibly changing an input image. A paper has shown the existence of Universal Adversarial Perturbations which when added to any image will fool the neural network with a very high probability. In this paper we will try to reproduce the experience of the Universal Adversarial Perturbations paper, but on a smaller neural network architecture and training set, in order to be able to study the efficiency of the computed perturbation.


title: Impact of inclusive jet cross sections with low transverse momenta on the determination of gluon parton distributions in pp collisions

abstract: Jet production at hadron colliders provides constraints on the parton distribution functions (PDFs) of the proton, in particular on the gluon distribution. In the present paper, the impact on PDF of CMS inclusive differential jet cross sections at center-of-mass energy of $\sqrt s = 8$ TeV for jets with low momentum $p\mathrm{_T}$ and produced in the forward direction is investigated at next-to leading order in perturbative quantum chromodynamics (QCD). The results of the QCD global analysis are compared with theoretical predictions. The impact of low-$p\mathrm{_T}$ jet measurements on the determination of the gluon distribution is assessed. The inclusion of the discussed measurements adds further constraints on the uncertainty of the gluon distribution at large Bjorken $x > 0.1$, where the low-$p_T$ data have the largest impact.


title: Dissociation limit of the H2 molecule in the particle-hole random phase approximation

abstract: In this work, we consider the particle-hole random phase approximation (phRPA), an approximation to the correlation energy in electronic structure, and show that the phRPA energy of the H2 molecule correctly dissociates. That is, as the hydrogen atoms are pulled apart, the phRPA energy of the system converges to twice the phRPA energy of a single hydrogen atom. Despite the simplicity of the H2 system, the correct dissociation of H2 is known to be a difficult problem for density functional approximations. As part of our result, we prove that the phRPA correlation energy is well-defined.


title: Matrices similar to centrosymmetric matrices

abstract: In this paper we give conditions on a matrix which guarantee that it is similar to a centrosymmetric matrix. We use this conditions to show that some $4 \times 4$ and $6 \times 6$ Toeplitz matrices are similar to centrosymmetric matrices. Furthermore, we give conditions for a matrix to be similar to a matrix which has a centrosymmetric principal submatrix, and conditions under which a matrix can be dilated to a matrix similar to a centrosymmetric matrix.


title: SampleHST: Efficient On-the-Fly Selection of Distributed Traces

abstract: Since only a small number of traces generated from distributed tracing helps in troubleshooting, its storage requirement can be significantly reduced by biasing the selection towards anomalous traces. To aid in this scenario, we propose SampleHST, a novel approach to sample on-the-fly from a stream of traces in an unsupervised manner. SampleHST adjusts the storage quota of normal and anomalous traces depending on the size of its budget. Initially, it utilizes a forest of Half Space Trees (HSTs) for trace scoring. This is based on the distribution of the mass scores across the trees, which characterizes the probability of observing different traces. The mass distribution from HSTs is subsequently used to cluster the traces online leveraging a variant of the mean-shift algorithm. This trace-cluster association eventually drives the sampling decision. We have compared the performance of SampleHST with a recently suggested method using data from a cloud data center and demonstrated that SampleHST improves sampling performance up to by 9.5x.


title: Optoelectronic and stability properties of quasi-2D alkylammonium based perovskites

abstract: Electronic and stability properties of quasi-2D alkylammonium perovskites are investigated using density functional theory (DFT) calculations and validated experimentally on selected classes of compounds. Our analysis is focused on perovskite structures of formula (A)$_2$(A$'$)$_{n-1}$Pb$_n$X$_{3n+1}$, with large cations A = butyl-, pentyl-, hexylammonium (BA, PA, HXA), small cations A$'$ = methylammonium, formamidinium, ethylammonium, guanidinium (MA,FA,EA,GA) and halogens X = I, Br, Cl. The role of the halogen ions is outlined for the band structure, stability and defect formation energies. Two opposing trends are found for the absorption efficiency versus stability, the latter being assessed with respect to possible degradation mechanisms. Experimental validation is performed on quasi-2D perovskites based on pentylammonium cations, namely: (PA)$_2$PbX$_4$ and (PA)$_2$(MA)Pb$_2$X$_7$, synthesized by antisolvent-assisted vapor crystallization. Structural and optical analysis are inline with the DFT based calculations. In addition, the thermogravimetric analysis shows an enhanced stability of bromide and chloride based compounds, in agreement with the theoretical predictions.


title: DeepVenn -- a web application for the creation of area-proportional Venn diagrams using the deep learning framework Tensorflow.js

abstract: Motivation: The Venn diagram is one of the most popular methods to visualize the overlap and differences between data sets. It is especially useful when it is are 'area-proportional'; i.e. the sizes of the circles and the overlaps are proportional to the sizes of the data sets. There are some tools available that can generate area-proportional Venn Diagrams, but most of them are limited to two or three circles, and others are not available as a web application or accept only numbers and not lists of IDs as input. Some existing solutions also have limited accuracy because of outdated algorithms to calculate the optimal placement of the circles. The latest machine learning and deep learning frameworks can offer a solution to this problem. Results: The DeepVenn web application can create area-proportional Venn diagrams of up to ten sets. Because of an algorithm implemented with the deep learning framework Tensorflow.js, DeepVenn automatically finds the optimal solution in which the overlap between the circles corresponds to the sizes of the overlap as much as possible. The only required input is two to ten lists of IDs. Optional parameters include the main title, the subtitle, the set titles and colours of the circles and the background. The user can choose to display absolute numbers or percentages in the final diagram. The image can be saved as a PNG file by right-clicking on it and choosing "Save image as". The right side of the interface also shows the numbers and contents of all intersections. Availability: DeepVenn is available at https://www.deepvenn.com. Contact: tim.hulsen@philips.com


title: Temporal Vectorization: A Compiler Approach to Automatic Multi-Pumping

abstract: The multi-pumping resource sharing technique can overcome the limitations commonly found in single-clocked FPGA designs by allowing hardware components to operate at a higher clock frequency than the surrounding system. However, this optimization cannot be expressed in high levels of abstraction, such as HLS, requiring the use of hand-optimized RTL. In this paper we show how to leverage multiple clock domains for computational subdomains on reconfigurable devices through data movement analysis on high-level programs. We offer a novel view on multi-pumping as a compiler optimization - a superclass of traditional vectorization. As multiple data elements are fed and consumed, the computations are packed temporally rather than spatially. The optimization is applied automatically using an intermediate representation that maps high-level code to HLS. Internally, the optimization injects modules into the generated designs, incorporating RTL for fine-grained control over the clock domains. We obtain a reduction of resource consumption by up to 50% on critical components and 23% on average. For scalable designs, this can enable further parallelism, increasing overall performance.


title: Technical Report: Analytical Modeling and Throughput Computation of Blockchain Sharding

abstract: Sharding has shown great potential to scale out blockchains. It divides nodes into smaller groups which allow for partial transaction processing, relaying and storage. Hence, instead of running one blockchain, we will run multiple blockchains in parallel, and call each one a shard. Sharding can be applied to address shortcomings due to compulsory duplication of three resources in blockchains, i.e., computation, communication and storage. The most pressing issue in blockchains today is throughput. Hence, usually the main focus is to shard computation which leads to concurrent transaction processing. In this report, we propose new queueing-theoretic models to derive the maximum throughput of sharded blockchains. We consider two cases, a fully sharded blockchain and a computation sharding. In the former nodes are exclusive to each shard in terms of their responsibilities, i.e., block production, relaying and storage. In the latter though, only block production is exclusive and nodes relay and store every piece of information. We model each with a queueing network that exploits signals to account for block production as well as multi-destination cross-shard transactions. We make sure quasi-reversibility for every queue in our models is satisfied so that they fall into the category of product-form queueing networks. We then obtain a closed-form solution for the maximum stable throughput of these systems with respect to block size, block rate, number of destinations in transactions and the number of shards. Comparing the results obtained from the two introduced sharding systems, we conclude that the extent of sharding in different domains plays a significant role in scalability.


title: YFACC: A Yor\`ub\'a speech-image dataset for cross-lingual keyword localisation through visual grounding

abstract: Visually grounded speech (VGS) models are trained on images paired with unlabelled spoken captions. Such models could be used to build speech systems in settings where it is impossible to get labelled data, e.g. for documenting unwritten languages. However, most VGS studies are in English or other high-resource languages. This paper attempts to address this shortcoming. We collect and release a new single-speaker dataset of audio captions for 6k Flickr images in Yor\`ub\'a -- a real low-resource language spoken in Nigeria. We train an attention-based VGS model where images are automatically tagged with English visual labels and paired with Yor\`ub\'a utterances. This enables cross-lingual keyword localisation: a written English query is detected and located in Yor\`ub\'a speech. To quantify the effect of the smaller dataset, we compare to English systems trained on similar and more data. We hope that this new dataset will stimulate research in the use of VGS models for real low-resource languages.


title: Cluster structures of the $0^+$ states of $^{13}_\Lambda{\rm C}$ with the 3$\alpha+\Lambda$ four-body orthogonality condition model

abstract: We study structures of the $0^+$ states of $^{13}_\Lambda$C within the framework of $\alpha+\alpha+\alpha+\Lambda$ four-body orthogonality condition model with the Gaussian expansion method. We obtain five $0^+$ states of $^{13}_\Lambda$C and compare them with the low-lying four $0^+$ states of $^{12}$C. We find that the $0_1^+$, $0_2^+$ and $0_4^+$ states correspond to the $0_1^+$, $0_2^+$ and $0_4^+$ states of $^{12}$C, respectively. We also find that both the $0_3^+$ and $0_5^+$ states have analogous nature to the $0_3^+$ state of $^{12}$C, where the additional $\Lambda$ particle couples with $^8$Be cluster and one $\alpha$ cluster, in the $0_3^+$ state of $^{12}$C, respectively. The former is then shown to have an elongated $^9_\Lambda$Be$(0_1^+) + \alpha$ cluster structure with a higher nodal behaviour for their relative wave function, and the latter have a dilute three-body gas consisting of $2\alpha+^5_\Lambda$He clusters.


title: On the Quantum Nature of a Fireball Created in Ultrarelativistic Nuclear Collisions

abstract: In the article, the fireball formed in the collision of relativistic nuclei is considered as a quantum object. Based on this, an attempt is made to explain the difference in the measurements of hyperon yields in the two experiments - NA49 and NA57. Using the basic principles of quantum mechanics, it was shown that a fireball can have two quantum states - with and without ignited Quark-Gluon Plasma (QGP). With an increase of the collision energy of heavy ions, the probability of QGP ignition increases. At the same time, the probability of the formation of fireball without QGP ignition also remains nonzero even at nuclear collision energies that are much higher than the threshold QGP formation energy, which may be erroneously considered to be fixed and which is intensively sought in modern heavy ion accelerators. Thus, at SPS energy of heavy ion collisions \sqrt{s_{NN}} = 17.3 GeV, which is much higher than the assumed threshold energy of QGP formation in the region around or slightly above of \sqrt{s_{NN}} = 3 GeV, only half of the central collisions of heavy ions bring to the formation of a fireball consisted of deconfined matter, the remaining half of the collisions lead to the formation of a fireball from only hadronic matter.


title: Existence and asymptotic behavior for $L^2$-norm preserving nonlinear heat equations

abstract: We consider a nonlinear parabolic equation with a nonlocal term, which preserves the $L^2$-norm of the solution. We study the local and global well posedness on a bounded domain, as well as the whole Euclidean space, in $H^1$. Then we study the asymptotic behavior of solutions. In general, we obtain weak convergence in H^1 to a stationary state. For a ball, we prove strong asymptotic convergence to the ground state when the initial condition is positive.


title: Actor-Critic Network for O-RAN Resource Allocation: xApp Design, Deployment, and Analysis

abstract: Open Radio Access Network (O-RAN) has introduced an emerging RAN architecture that enables openness, intelligence, and automated control. The RAN Intelligent Controller (RIC) provides the platform to design and deploy RAN controllers. xApps are the applications which will take this responsibility by leveraging machine learning (ML) algorithms and acting in near-real time. Despite the opportunities provided by this new architecture, the progress of practical artificial intelligence (AI)-based solutions for network control and automation has been slow. This is mostly because of the lack of an endto-end solution for designing, deploying, and testing AI-based xApps fully executable in real O-RAN network. In this paper we introduce an end-to-end O-RAN design and evaluation procedure and provide a detailed discussion of developing a Reinforcement Learning (RL) based xApp by using two different RL approaches and considering the latest released O-RAN architecture and interfaces.


title: On the geometric mean of the values of positive multiplicative arithmetical functions

abstract: In this paper we obtain asymptotic expansion for the geometric mean of the values of positive strongly multiplicative function $f$ satisfying $f(p)=\alpha(d)\,p^d+O(p^{d-\delta})$ for any prime $p$ with $d$ real and $\alpha(d),\delta>0$.


title: Integrating Digital Twin and Advanced Intelligent Technologies to Realize the Metaverse

abstract: The advances in Artificial Intelligence (AI) have led to technological advancements in a plethora of domains. Healthcare, education, and smart city services are now enriched with AI capabilities. These technological advancements would not have been realized without the assistance of fast, secure, and fault-tolerant communication media. Traditional processing, communication and storage technologies cannot maintain high levels of scalability and user experience for immersive services. The metaverse is an immersive three-dimensional (3D) virtual world that integrates fantasy and reality into a virtual environment using advanced virtual reality (VR) and augmented reality (AR) devices. Such an environment is still being developed and requires extensive research in order for it to be realized to its highest attainable levels. In this article, we discuss some of the key issues required in order to attain realization of metaverse services. We propose a framework that integrates digital twin (DT) with other advanced technologies such as the sixth generation (6G) communication network, blockchain, and AI, to maintain continuous end-to-end metaverse services. This article also outlines requirements for an integrated, DT-enabled metaverse framework and provides a look ahead into the evolving topic.


title: A Snapshot of the Frontiers of Client Selection in Federated Learning

abstract: Federated learning (FL) has been proposed as a privacy-preserving approach in distributed machine learning. A federated learning architecture consists of a central server and a number of clients that have access to private, potentially sensitive data. Clients are able to keep their data in their local machines and only share their locally trained model's parameters with a central server that manages the collaborative learning process. FL has delivered promising results in real-life scenarios, such as healthcare, energy, and finance. However, when the number of participating clients is large, the overhead of managing the clients slows down the learning. Thus, client selection has been introduced as a strategy to limit the number of communicating parties at every step of the process. Since the early na\"{i}ve random selection of clients, several client selection methods have been proposed in the literature. Unfortunately, given that this is an emergent field, there is a lack of a taxonomy of client selection methods, making it hard to compare approaches. In this paper, we propose a taxonomy of client selection in Federated Learning that enables us to shed light on current progress in the field and identify potential areas of future research in this promising area of machine learning.


title: Optical calibration of large format adaptive mirrors

abstract: Adaptive (or deformable) mirrors are widely used as wavefront correctors in adaptive optics systems. The optical calibration of an adaptive mirror is a fundamental step during its life-cycle: the process is in facts required to compute a set of known commands to operate the adaptive optics system, to compensate alignment and non common-path aberrations, to run chopped or field-stabilized acquisitions. In this work we present the sequence of operations for the optical calibration of adaptive mirrors, with a specific focus on large aperture systems such as the adaptive secondaries. Such systems will be one of the core components of the extremely large telescopes. Beyond presenting the optical procedures, we discuss in detail the actors, their functional requirements and the mutual interactions. A specific emphasys is put on automation, through a clear identification of inputs, outputs and quality indicators for each step: due to a high degrees-of-freedom count (thousands of actuators), an automated approach is preferable to constraint the cost and schedule. In the end we present some algorithms for the evaluation of the measurement noise; this point is particularly important since the calibration setup is typically a large facility in an industrial environment, where the noise level may be a major show-stopper.


title: The High Precision Numerical Calculation of Stieltjes Constants. Simple and Fast Algorithm

abstract: We present a simple but efficient method of calculating Stieltjes constants at a very high level of precision, up to about 80000 significant digits. This method is based on the hypergeometric-like expansion for the Riemann zeta function presented by one of the authors in 1997 \cite{Maslanka 1}. The crucial ingredient in this method is a sequence of high-precision numerical values of the Riemann zeta function computed in equally spaced real arguments, i.e. $\zeta(1+\varepsilon),\zeta(1+2\varepsilon),\zeta(1+3\varepsilon),...$ where $\varepsilon$ is some real parameter. (Practical choice of $\varepsilon$ is described in the main text.) Such values of zeta may be readily obtained using the PARI/GP program, which is especially suitable for this.


title: Red-Teaming the Stable Diffusion Safety Filter

abstract: Stable Diffusion is a recent open-source image generation model comparable to proprietary models such as DALLE, Imagen, or Parti. Stable Diffusion comes with a safety filter that aims to prevent generating explicit images. Unfortunately, the filter is obfuscated and poorly documented. This makes it hard for users to prevent misuse in their applications, and to understand the filter's limitations and improve it. We first show that it is easy to generate disturbing content that bypasses the safety filter. We then reverse-engineer the filter and find that while it aims to prevent sexual content, it ignores violence, gore, and other similarly disturbing content. Based on our analysis, we argue safety measures in future model releases should strive to be fully open and properly documented to stimulate security contributions from the community.


title: Multivariate Alexander quandles, V. Constructing the medial quandle of a link

abstract: We explain how the medial quandle of a classical or virtual link can be built from the peripheral structure of the reduced Alexander module.


title: When Infodemic Meets Epidemic: a Systematic Literature Review

abstract: Epidemics and outbreaks present arduous challenges requiring both individual and communal efforts. Social media offer significant amounts of data that can be leveraged for bio-surveillance. They also provide a platform to quickly and efficiently reach a sizeable percentage of the population, hence their potential impact on various aspects of epidemic mitigation. The general objective of this systematic literature review is to provide a methodical overview of the integration of social media in different epidemic-related contexts. Three research questions were conceptualized for this review, resulting in over 10000 publications collected in the first PRISMA stage, 129 of which were selected for inclusion. A thematic method-oriented synthesis was undertaken and identified 5 main themes related to social media enabled epidemic surveillance, misinformation management, and mental health. Findings uncover a need for more robust applications of the lessons learned from epidemic post-mortem documentation. A vast gap exists between retrospective analysis of epidemic management and result integration in prospective studies. Harnessing the full potential of social media in epidemic related tasks requires streamlining the results of epidemic forecasting, public opinion understanding and misinformation propagation, all while keeping abreast of potential mental health implications. Pro-active prevention has thus become vital for epidemic curtailment and containment.


title: Enhancing Fine-Grained 3D Object Recognition using Hybrid Multi-Modal Vision Transformer-CNN Models

abstract: Robots operating in human-centered environments, such as retail stores, restaurants, and households, are often required to distinguish between similar objects in different contexts with a high degree of accuracy. However, fine-grained object recognition remains a challenge in robotics due to the high intra-category and low inter-category dissimilarities. In addition, the limited number of fine-grained 3D datasets poses a significant problem in addressing this issue effectively. In this paper, we propose a hybrid multi-modal Vision Transformer (ViT) and Convolutional Neural Networks (CNN) approach to improve the performance of fine-grained visual classification (FGVC). To address the shortage of FGVC 3D datasets, we generated two synthetic datasets. The first dataset consists of 20 categories related to restaurants with a total of 100 instances, while the second dataset contains 120 shoe instances. Our approach was evaluated on both datasets, and the results indicate that it outperforms both CNN-only and ViT-only baselines, achieving a recognition accuracy of 94.50 % and 93.51 % on the restaurant and shoe datasets, respectively. Additionally, we have made our FGVC RGB-D datasets available to the research community to enable further experimentation and advancement. Furthermore, we successfully integrated our proposed method with a robot framework and demonstrated its potential as a fine-grained perception tool in both simulated and real-world robotic scenarios.


title: Joint Multi-grained Popularity-aware Graph Convolution Collaborative Filtering for Recommendation

abstract: Graph Convolution Networks (GCNs), with their efficient ability to capture high-order connectivity in graphs, have been widely applied in recommender systems. Stacking multiple neighbor aggregation is the major operation in GCNs. It implicitly captures popularity features because the number of neighbor nodes reflects the popularity of a node. However, existing GCN-based methods ignore a universal problem: users' sensitivity to item popularity is differentiated, but the neighbor aggregations in GCNs actually fix this sensitivity through Graph Laplacian Normalization, leading to suboptimal personalization. In this work, we propose to model multi-grained popularity features and jointly learn them together with high-order connectivity, to match the differentiation of user preferences exhibited in popularity features. Specifically, we develop a Joint Multi-grained Popularity-aware Graph Convolution Collaborative Filtering model, short for JMP-GCF, which uses a popularity-aware embedding generation to construct multi-grained popularity features, and uses the idea of joint learning to capture the signals within and between different granularities of popularity features that are relevant for modeling user preferences. Additionally, we propose a multistage stacked training strategy to speed up model convergence. We conduct extensive experiments on three public datasets to show the state-of-the-art performance of JMP-GCF.


title: EmbryosFormer: Deformable Transformer and Collaborative Encoding-Decoding for Embryos Stage Development Classification

abstract: The timing of cell divisions in early embryos during the In-Vitro Fertilization (IVF) process is a key predictor of embryo viability. However, observing cell divisions in Time-Lapse Monitoring (TLM) is a time-consuming process and highly depends on experts. In this paper, we propose EmbryosFormer, a computational model to automatically detect and classify cell divisions from original time-lapse images. Our proposed network is designed as an encoder-decoder deformable transformer with collaborative heads. The transformer contracting path predicts per-image labels and is optimized by a classification head. The transformer expanding path models the temporal coherency between embryo images to ensure monotonic non-decreasing constraint and is optimized by a segmentation head. Both contracting and expanding paths are synergetically learned by a collaboration head. We have benchmarked our proposed EmbryosFormer on two datasets: a public dataset with mouse embryos with 8-cell stage and an in-house dataset with human embryos with 4-cell stage. Source code: https://github.com/UARK-AICV/Embryos.


title: Hilbert expansion of the Boltzmann equation in the incompressible Euler level in a channel

abstract: The study of hydrodynamic limit of the Boltzmann equation with physical boundary is a challenging problem due to appearance of the viscous and Knudsen boundary layers. In this paper, the hydrodynamic limit from the Boltzmann equation with specular reflection boundary condition to the incompressible Euler in a channel is investigated. Based on the multiscaled Hilbert expansion, the equations with boundary conditions and compatibility conditions for interior solutions, viscous and Knudsen boundary layers are derived under different scaling, respectively. Then some uniform estimates for the interior solutions, viscous and Knudsen boundary layers are established. With the help of $L^2-L^\infty$ framework and the uniform estimates obtained above, the solutions to the Boltzmann equation are constructed by the truncated Hilbert expansion with multiscales, and hence the hydrodynamic limit in the incompressible Euler level is justified.


title: Topological Effects on Non-Relativistic Eigenvalue Solutions Under AB-Flux Field with Pseudoharmonic- and Mie-type Potentials

abstract: In this paper, we investigate the quantum dynamics of a non-relativistic particle confined by the Aharonov-Bohm quantum flux field with pseudoharmonic-type potential in the background of topological defect produced by a point-like global monopole. We solve the radial Schr\"{o}dinger equation analytically and determine the exact eigenvalue solution of the quantum system. Afterwards, we consider a Mie-type potential in the quantum system and solve the radial equation analytically and obtain the eigenvalue solution. We analyze the effects of the topological defect and the quantum flux with these potentials on the energy eigenvalue and wave function of the non-relativistic particles. In fact, it is shown that the energy levels and wave functions are influenced by the topological defect shifted the result compared to the flat space results. In addition, the quantum flux field also shifted the eigenvalue solutions and an analogue of the Aharonov-Bohm effect for bound-states is observed. Finally, we utilize these eigenvalue solutions to some known diatomic molecular potential models and presented the energy eigenvalue and wave function


title: Relativistic Theory of Elastic Bodies in the Presence of Gravitational Waves

abstract: The equations of motion governing small elastic oscillations of materials, induced by gravitational waves, are derived from the general framework of Carter and Quintana. In transverse-traceless gauge, no bulk forces are present, and the gravitational wave is found to act as an effective surface traction. For thin rods, an equivalent description is given, in which there is no surface traction, but a bulk acceleration, which is related to the Riemann curvature of the gravitational wave. The resulting equations are compared to those of the Synge-Bennoun elasticity theory.


title: Super polyharmonic property and asymptotic behavior of solutions to the higher order Hardy-H\'enon equation near isolated singularities

abstract: In this paper, we are devoted to studying the positive solutions of the following higher order Hardy-H\'enon equation $$ (-\Delta)^{m}u=|x|^{\alpha}u^{p} \quad\mbox{in}~ B_{1}\setminus\{0\}\subset\mathbb{R}^{n} $$ with an isolated singularity at the origin, where $\alpha>-2m$, $m\geq1$ is an integer and $n>2m$. For $1<p<\frac{n+2m}{n-2m}$, singularity and decay estimates of solutions will be given. For $\frac{n+\alpha}{n-2m}<p<\frac{n+2m}{n-2m}$ with $-2m<\alpha<2m$, we show the super polyharmonic properties of solutions near the singularity, which are essential tools in the study of polyharmonic equation. Using these properties, a classification of isolated singularities of positive solutions is established for the fourth order case, i.e., $m=2$. Moreover, when $m=2$, $\frac{n+\alpha}{n-4}<p<\frac{n+4+\alpha}{n-4}$ and $p\neq \frac{n+4+2\alpha}{n-4}$ with $-4<\alpha\leq0$, we obtain the precise behavior of solutions near the singularity, i.e., either $x=0$ is a removable singularity or $$\lim_{|x|\rightarrow0}|x|^{\frac{4+\alpha}{p-1}}u(x)=[A_{0}]^{\frac{1}{p-1}},$$ where $A_0>0$ is an exact constant.


title: FLamby: Datasets and Benchmarks for Cross-Silo Federated Learning in Realistic Healthcare Settings

abstract: Federated Learning (FL) is a novel approach enabling several clients holding sensitive data to collaboratively train machine learning models, without centralizing data. The cross-silo FL setting corresponds to the case of few ($2$--$50$) reliable clients, each holding medium to large datasets, and is typically found in applications such as healthcare, finance, or industry. While previous works have proposed representative datasets for cross-device FL, few realistic healthcare cross-silo FL datasets exist, thereby slowing algorithmic research in this critical application. In this work, we propose a novel cross-silo dataset suite focused on healthcare, FLamby (Federated Learning AMple Benchmark of Your cross-silo strategies), to bridge the gap between theory and practice of cross-silo FL. FLamby encompasses 7 healthcare datasets with natural splits, covering multiple tasks, modalities, and data volumes, each accompanied with baseline training code. As an illustration, we additionally benchmark standard FL algorithms on all datasets. Our flexible and modular suite allows researchers to easily download datasets, reproduce results and re-use the different components for their research. FLamby is available at~\url{www.github.com/owkin/flamby}.


title: Calibrating AI Models for Few-Shot Demodulation via Conformal Prediction

abstract: AI tools can be useful to address model deficits in the design of communication systems. However, conventional learning-based AI algorithms yield poorly calibrated decisions, unabling to quantify their outputs uncertainty. While Bayesian learning can enhance calibration by capturing epistemic uncertainty caused by limited data availability, formal calibration guarantees only hold under strong assumptions about the ground-truth, unknown, data generation mechanism. We propose to leverage the conformal prediction framework to obtain data-driven set predictions whose calibration properties hold irrespective of the data distribution. Specifically, we investigate the design of baseband demodulators in the presence of hard-to-model nonlinearities such as hardware imperfections, and propose set-based demodulators based on conformal prediction. Numerical results confirm the theoretical validity of the proposed demodulators, and bring insights into their average prediction set size efficiency.


title: Sequences, Series and Uniform distribution of SP Numbers

abstract: We defined numbers of the form $p\cdot a^2$ as SP numbers (Square-Prime numbers) ($a\neq1$, $p$ prime) in 'Distribution of Square-Prime Numbers' (arXiv:2109.10238). These numbers are listed in the OEIS as A228056. Some examples of SP numbers: $75=3 \cdot 25; 108=3 \cdot 36; 45= 5 \cdot 9$. This paper explores sequences of these numbers, sequences between 0 and 1 related to these numbers and analyzes the distribution of some of these sequences.


title: DeltaFS: Pursuing Zero Update Overhead via Metadata-Enabled Delta Compression for Log-structured File System on Mobile Devices

abstract: Data compression has been widely adopted to release mobile devices from intensive write pressure. Delta compression is particularly promising for its high compression efficacy over conventional compression methods. However, this method suffers from non-trivial system overheads incurred by delta maintenance and read penalty, which prevents its applicability on mobile devices. To this end, this paper proposes DeltaFS, a metadata-enabled Delta compression on log-structured File System for mobile devices, to achieve utmost compressing efficiency and zero hardware costs. DeltaFS smartly exploits the out-of-place updating ability of Log-structured File System (LFS) to alleviate the problems of write amplification, which is the key bottleneck for delta compression implementation. Specifically, DeltaFS utilizes the inline area in file inodes for delta maintenance with zero hardware cost, and integrates an inline area manage strategy to improve the utilization of constrained inline area. Moreover, a complimentary delta maintenance strategy is incorporated, which selectively maintains delta chunks in the main data area to break through the limitation of constrained inline area. Experimental results show that DeltaFS substantially reduces write traffics by up to 64.8\%, and improves the I/O performance by up to 37.3\%.


title: WebCrowds: An Authoring Tool for Crowd Simulation

abstract: Crowd simulation is an area of research largely used in the game industry. From the movement of a single NPC to the movement of an entire army, crowd simulation methods can be used to move agents through the environment while avoiding collisions with obstacles and between each other. Thus, it is important that game developers have access to crowd simulation tools that are both powerful and easy to use. In this paper, we present WebCrowds, an authoring tool for crowd simulation which can be used by anyone to build environments and simulate the movement of agents. The results achieved by our research suggest that WebCrowds is easy to use, delivers trustworthy simulation results, and can be used as an authoring tool for game developers who need to simulate crowds in their games.


title: Robustness Certification of Visual Perception Models via Camera Motion Smoothing

abstract: A vast literature shows that the learning-based visual perception model is sensitive to adversarial noises, but few works consider the robustness of robotic perception models under widely-existing camera motion perturbations. To this end, we study the robustness of the visual perception model under camera motion perturbations to investigate the influence of camera motion on robotic perception. Specifically, we propose a motion smoothing technique for arbitrary image classification models, whose robustness under camera motion perturbations could be certified. The proposed robustness certification framework based on camera motion smoothing provides tight and scalable robustness guarantees for visual perception modules so that they are applicable to wide robotic applications. As far as we are aware, this is the first work to provide robustness certification for the deep perception module against camera motions, which improves the trustworthiness of robotic perception. A realistic indoor robotic dataset with a dense point cloud map for the entire room, MetaRoom, is introduced for the challenging certifiable robust perception task. We conduct extensive experiments to validate the certification approach via motion smoothing against camera motion perturbations. Our framework guarantees the certified accuracy of 81.7% against camera translation perturbation along depth direction within -0.1m ~ 0.1m. We also validate the effectiveness of our method on the real-world robot by conducting hardware experiments on the robotic arm with an eye-in-hand camera. The code is available at https://github.com/HanjiangHu/camera-motion-smoothing.


title: On Parallel or Distributed Asynchronous Iterations with Unbounded Delays and Possible Out of Order Messages or Flexible Communication for Convex Optimization Problems and Machine Learning

abstract: We describe several features of parallel or distributed asynchronous iterative algorithms such as unbounded delays, possible out of order messages or flexible communication. We concentrate on the concept of macroiteration sequence which was introduced in order to study the convergence or termination of asynchronous iterations. A survey of asynchronous iterations for convex optimization problems is also presented. Finally, a new result of convergence for parallel or distributed asynchronous iterative algorithms with flexible communication for convex optimization problems and machine learning is proposed.


title: Systematizing Cellular Complexity: A Hilbertian Approach To Biological Problems

abstract: Examining individual components of cellular systems has been successful in uncovering molecular reactions and interactions. However, the challenge lies in integrating these components into a comprehensive system-scale map. This difficulty arises due to factors such as missing links (unknown variables), overlooked nonlinearities in high-dimensional parameter space, downplayed natural noisiness and stochasticity, and a lack of focus on causal influence and temporal dynamics. Composite static and phenomenological descriptions, while appearing complicated, lack the essence of what makes the biological systems truly "complex". The formalization of system-level problems is therefore essential in constructing a meta-theory of biology. This work examines key problems that cells must solve, serving as a template for such formalization and as a step towards the axiomatization of biological investigations.