Effects of Syringe Pump Fluctuations On Cell Free Layer in Hydrodynamic Separation Microfluidic Devices. Syringe pumps are widely used biomedical equipment which offer low cost solutions to drive and control flow through microfluidic chips. However, they have been shown to transmit mechanical oscillations resulting from their stepper motors, into the flow, perturbing device performance. In this work, unlike previous studies at lower flow rates, we have uncovered that the relative pressure fluctuation plateau from 5mL h onwards to approximately 2 of the average pressure. Furthermore, we find that absolute pressure fluctuations increase as a non linear monotonic function of kinematic viscosity at flow rates in the 5 25 mL h range, while the relative pressure fluctuations peak at 1.25 cSt. Using a novel low cost coded compressive rotating mirror (CCRM) camera, we investigated the effect of fluctuations in a hydrodynamic microfluidic separation device based on a cell free layer concept. Using this high speed imaging set up, we quantified the cell free zone width fluctuations at bifurcations. We demonstrated that these fluctuations have the same frequency and amplitude than the syringe pump induced pressure oscillations. Finally, to illustrate that pressure fluctuations degrade the separation efficiency in such devices, we demonstrate using milk samples, instances of particles diverted to undesired outlets. This work provides an insight into the effect of syringe pump fluctuations on microfluidic separation, which will inform the design of microfluidic systems and improve their resilience to pulsating or fluctuating flow conditions.


Paradoxical decomposition of Group Actions and Configuration. In this paper we study the notion of configuration for group actions. It is proved that some properties concerning configuration of groups can be extended for the case of group actions. The relationship between configuration and different types of well known ping pong lemma is also investigated.


On Combinatorial Models for Affine Crystals. The tableau model for Kirillov Reshetikhin (KR) crystals, which are finite dimensional crystals corresponding to certain affine Lie algebras, is commonly used for its ease of crystal operator calculations. However, its simplicity makes quite complex the calculation of statistics such as keys (used to express Demazure characters), the crystal energy function (an affine grading on tensor products of KR crystals), and the combinatorial R matrix (an affine crystal isomorphism permuting factors in a tensor product of KR crystals). It has been shown that these calculations are much simpler with the added structure in the quantum alcove model for KR crystals. In this paper, we give an explicit description of the crystal isomorphism between the mentioned realizations of KR crystals in all classical Lie types.


Geometric decomposition of abelian varieties of order 1. Since the 1970s, the complete classification (up to isogeny) of abelian varieties over finite fields with trivial group of rational points has been known from results of Madan Pal and Robinson with two exceptions these are all defined over mathbb F 2 . We determine the decomposition of these varieties into simple factors over an algebraic closure of mathbb F 2 this requires solving a polynomial equation in three roots of unity.


Learning Depth via Leveraging Semantics Self supervised Monocular Depth Estimation with Both Implicit and Explicit Semantic Guidance. Self supervised depth estimation has made a great success in learning depth from unlabeled image sequences. While the mappings between image and pixel wise depth are well studied in current methods, the correlation between image, depth and scene semantics, however, is less considered. This hinders the network to better understand the real geometry of the scene, since the contextual clues, contribute not only the latent representations of scene depth, but also the straight constraints for depth map. In this paper, we leverage the two benefits by proposing the implicit and explicit semantic guidance for accurate self supervised depth estimation. We propose a Semantic aware Spatial Feature Alignment (SSFA) scheme to effectively align implicit semantic features with depth features for scene aware depth estimation. We also propose a semantic guided ranking loss to explicitly constrain the estimated depth maps to be consistent with real scene contextual properties. Both semantic label noise and prediction uncertainty is considered to yield reliable depth supervisions. Extensive experimental results show that our method produces high quality depth maps which are consistently superior either on complex scenes or diverse semantic categories, and outperforms the state of the art methods by a significant margin.


FAIR Metadata A Community driven Vocabulary Application. FAIR metadata is critical to supporting FAIR data overall. Transparency, community engagement, and flexibility are key aspects of FAIR that apply to metadata. This paper presents YAMZ (Yet Another Metadata Zoo), a community driven vocabulary application that supports FAIR. The history ofYAMZ and its original features are reviewed, followed by a presentation of recent innovations and a discussion of how YAMZ supports FAIR principles. The conclusion identifies next steps and key outputs.


High spatial coherence and short pulse duration revealed by the Hanbury Brown and Twiss interferometry at the European XFEL. Second order intensity interferometry was employed to study the spatial and temporal properties of the European X ray Free Electron Laser (EuXFEL). Measurements were performed at the soft X ray SASE3 undulator beamline at a photon energy of 1.2 keV in the Self Amplified Spontaneous Emission (SASE) mode. Two high power regimes of the SASE3 undulator settings, i.e. linear and quadratic tapering at saturation, were studied in detail and compared with the linear gain regime. The statistical analysis showed an exceptionally high degree of spatial coherence up to 90 for the linear undulator tapering. Analysis of the measured data in spectral and spatial domains provided an average pulse duration of about 10 fs in our measurements. The obtained results will be valuable for the experiments requiring and exploiting short pulse duration and utilizing high coherence properties of the EuXFEL.


Foresight of Graph Reinforcement Learning Latent Permutations Learnt by Gumbel Sinkhorn Network. Vital importance has necessity to be attached to cooperation in multi agent environments, as a result of which some reinforcement learning algorithms combined with graph neural networks have been proposed to understand the mutual interplay between agents. However, highly complicated and dynamic multi agent environments require more ingenious graph neural networks, which can comprehensively represent not only the graph topology structure but also evolution process of the structure due to agents emerging, disappearing and moving. To tackle these difficulties, we propose Gumbel Sinkhorn graph attention reinforcement learning, where a graph attention network highly represents the underlying graph topology structure of the multi agent environment, and can adapt to the dynamic topology structure of graph better with the help of Gumbel Sinkhorn network by learning latent permutations. Empirically, simulation results show how our proposed graph reinforcement learning methodology outperforms existing methods in the PettingZoo multi agent environment by learning latent permutations.


Is Electromagnetic Field Momentum Due to the Flow of Field Energy?. Momentum and energy conservation require electromagnetic field momentum and energy to be treated as physically real, even in static fields. This motivates the conjecture that field momentum might be due to the flow of a relativistic mass density (defined as energy density divided by the square of the speed of light). This article investigates the velocity of such a mass flow and finds a conflict between two different definitions of it, both of which originally seem plausible if the flow is to be taken as real. This investigation is careful to respect the transformation rules of special relativity throughout. The paper demonstrates that the consensus definition of the flow velocity of electromagnetic energy is inconsistent with the transformation rules of special relativity, and hence is incorrect. A replacement flow velocity is derived which is completely consistent with those transformation rules. The conclusion is that these conflicting definitions of flow velocity cannot be resolved in a way that is consistent with special relativity and also allows electromagnetic field momentum density to be the result of relativistic mass flow. Though real, field momentum density cannot be explained as the flow of a relativistic mass density. As a byproduct of the study, it is also shown that there is a comoving system in which the electromagnetic energy momentum tensor is reduced to a simple diagonal form, with two of its diagonal elements equal to the energy density and the other two diagonal elements equal to plus and minus a single parameter derived from the electromagnetic field values, a result that places constraints on possible fluid models of electromagnetism.


Lip reading using external viseme decoding. Lip reading is the operation of recognizing speech from lip movements. This is a difficult task because the movements of the lips when pronouncing the words are similar for some of them. Viseme is used to describe lip movements during a conversation. This paper aims to show how to use external text data (for viseme to character mapping) by dividing video to character into two stages, namely converting video to viseme, and then converting viseme to character by using separate models. Our proposed method improves word error rate by 4 compared to the normal sequence to sequence lip reading model on the BBC Oxford Lip Reading Sentences 2 (LRS2) dataset.


A conjecture concerning the q Onsager algebra. The q Onsager algebra mathcal O q is defined by two generators W 0, W 1 and two relations called the q Dolan Grady relations. Recently Baseilhac and Kolb obtained a PBW basis for mathcal O q with elements denoted lbrace B n delta alpha 0 rbrace n 0 infty, lbrace B n delta alpha 1 rbrace n 0 infty, lbrace B n delta rbrace n 1 infty . In their recent study of a current algebra mathcal A q , Baseilhac and Belliard conjecture that there exist elements lbrace W k rbrace k 0 infty, lbrace W k 1 rbrace k 0 infty, lbrace G k 1 rbrace k 0 infty, lbrace tilde G k 1 rbrace k 0 infty in mathcal O q that satisfy the defining relations for mathcal A q . In order to establish this conjecture, it is desirable to know how the elements in the second list above are related to the elements in the first list above. In the present paper, we conjecture the precise relationship and give some supporting evidence. This evidence consists of some computer checks on SageMath due to Travis Scrimshaw, and a proof of our conjecture for a homomorphic image of mathcal O q called the universal Askey Wilson algebra.


Photonic topological insulators a beginner's introduction. Control and manipulation of electromagnetic waves has reached a new level with the recent understanding of topological states of matter. These metamaterials have the potential to revolutionize many areas in traditional electromagnetic design, from highly robust cavities to small footprint waveguides. Much of the past literature has been on the cutting edge of condensed matter physics, but there is now ample opportunity to explore their usage for practical microwave and optical devices. To assist the beginner, in this Tutorial we give a basic introduction to the essential concepts of topological phenomena in electromagnetic systems, including geometric phases, topological invariants, pseudospin states, and the integer valley spin quantum Hall effects. Our focus is on engineered photonic topological insulators (PTIs) in two dimensional systems. We highlight methods for characterizing such structures and how they result in unique wave guiding properties. In addition, we provide recipes on how to realize PTIs using photonic crystals and metasurfaces, examine differences between different types of PTIs, and discuss limitations and advantages of some of the existing enabling platforms.


Irregular Gabor frames of Cauchy kernels. We study the frame property of the Gabor system corresponding to an irregular lattice with a single Cauchy kernel as the generating window.


A study of scalar optically pumped magnetometers for use in magnetoencephalography without shielding. Scalar optically pumped magnetometers (OPMs) are being developed in small packages with high sensitivities. The high common mode rejection ratio of these sensors allows for detection of very small signals in the presence of large background fields making them ideally suited for brain imaging applications in unshielded environments. Despite a flurry of activity around the topic, questions remain concerning how well a dipolar source can be localized under such conditions, especially when using few sensors. In this paper, we investigate the source localization capabilities using an array of scalar OPMs in the presence of a large background field while varying dipole strength, sensor count, and forward model accuracy. We also consider localization performance as the orientation angle of the background field changes. Our results are validated experimentally through accurate localization using a phantom virtual array mimicking a current dipole in a conducting sphere in a large background field. Our results are intended to give researchers a general sense of the capabilities and limitations of scalar OPMs for magnetoencephalography systems.


Weighted monotonicity theorems and applications to minimal surfaces in hyperbolic space. We show that there is a weighted version of monotonicity theorem corresponding to each function on a Riemannian manifold whose Hessian is a multiple of the metric tensor. Such function appears in the Euclidean space, the hyperbolic space mathbb H n and the round sphere mathbb S n as the distance function, the Minkowskian coordinates of mathbb R n,1 and the Euclidean coordinates of mathbb R n 1 . In mathbb H n , we show that the time weighted monotonicity theorem implies the unweighted version in cite Anderson82 . Applications include upper bounds for Graham Witten renormalised area of minimal surfaces in term of the length of boundary curve and a complete computation of Alexakis Mazzeo degrees defined in cite Alexakis.Mazzeo10 . An argument on area minimising cones suggests the existence of a minimal surface in mathbb H 4 bounded by the Hopf link zw epsilon 0, z 2 w 2 1 other than the pair of disks. We give an explicit construction of a minimal annulus in mathbb H 4 with this property and obtain by the same method its sister in mathbb S 4 . A weighted monotonicity theorem is also proved in Riemannian manifolds whose sectional curvature is bounded from above.


Algebraic Answer Set Programming. Non monotonic reasoning is an essential part of human intelligence prominently formalized in artificial intelligence research via answer set programming. In this paper, we introduce the sequential composition of answer set programs. We show that the notion of composition gives rise to a family of finite program algebras, baptized em ASP algebras in this paper. Interestingly, we can derive algebraic formulas for the syntactic representation of the well known Faber Leone Pfeifer and Gelfond Lifschitz reducts. On the semantic side, we show that the immediate consequence operator of a program can be represented via composition, which allows us to compute the least model semantics of Horn programs without any explicit reference to operators. As a result, we can characterize answer sets algebraically, which bridges the conceptual gap between the syntax and semantics of an answer set program in a mathematically satisfactory way, and which provides an algebraic characterization of strong and uniform equivalence. Moreover, it gives rise to an algebraic meta calculus for answer set programs. In a broader sense, this paper is a further step towards an algebra of logic programs first envisioned by Richard A. O'Keefe in 1985 and in the future we plan to lift the methods of this paper to wider classes of programs, most importantly to higher order and disjunctive programs and extensions thereof.


NODE GAM Neural Generalized Additive Model for Interpretable Deep Learning. Deployment of machine learning models in real high risk settings (e.g. healthcare) often depends not only on the model's accuracy but also on its fairness, robustness, and interpretability. Generalized Additive Models (GAMs) are a class of interpretable models with a long history of use in these high risk domains, but they lack desirable features of deep learning such as differentiability and scalability. In this work, we propose a neural GAM (NODE GAM) and neural GA 2 M (NODE GA 2 M) that scale well and perform better than other GAMs on large datasets, while remaining interpretable compared to other ensemble and deep learning models. We demonstrate that our models find interesting patterns in the data. Lastly, we show that we improve model accuracy via self supervised pre training, an improvement that is not possible for non differentiable GAMs.


Learning Under Delayed Feedback Implicitly Adapting to Gradient Delays. We consider stochastic convex optimization problems, where several machines act asynchronously in parallel while sharing a common memory. We propose a robust training method for the constrained setting and derive non asymptotic convergence guarantees that do not depend on prior knowledge of update delays, objective smoothness, and gradient variance. Conversely, existing methods for this setting crucially rely on this prior knowledge, which render them unsuitable for essentially all shared resources computational environments, such as clouds and data centers. Concretely, existing approaches are unable to accommodate changes in the delays which result from dynamic allocation of the machines, while our method implicitly adapts to such changes.


3D VField Adversarial Augmentation of Point Clouds for Domain Generalization in 3D Object Detection. As 3D object detection on point clouds relies on the geometrical relationships between the points, non standard object shapes can hinder a method's detection capability. However, in safety critical settings, robustness to out of domain and long tail samples is fundamental to circumvent dangerous issues, such as the misdetection of damaged or rare cars. In this work, we substantially improve the generalization of 3D object detectors to out of domain data by deforming point clouds during training. We achieve this with 3D VField a novel data augmentation method that plausibly deforms objects via vector fields learned in an adversarial fashion. Our approach constrains 3D points to slide along their sensor view rays while neither adding nor removing any of them. The obtained vectors are transferable, sample independent and preserve shape and occlusions. Despite training only on a standard dataset, such as KITTI, augmenting with our vector fields significantly improves the generalization to differently shaped objects and scenes. Towards this end, we propose and share CrashD a synthetic dataset of realistic damaged and rare cars, with a variety of crash scenarios. Extensive experiments on KITTI, Waymo, our CrashD and SUN RGB D show the generalizability of our techniques to out of domain data, different models and sensors, namely LiDAR and ToF cameras, for both indoor and outdoor scenes. Our CrashD dataset is available at https crashd cars.github.io.


dPV An End to End Differentiable Solar Cell Simulator. We introduce dPV, an end to end differentiable photovoltaic (PV) cell simulator based on the drift diffusion model and Beer Lambert law for optical absorption. dPV is programmed in Python using JAX, an automatic differentiation (AD) library for scientific computing. Using AD coupled with the implicit function theorem, dPV computes the power conversion efficiency (PCE) of an input PV design as well as the derivative of the PCE with respect to any input parameters, all within comparable time of solving the forward problem. We show an example of perovskite solar cell optimization and multi parameter discovery, and compare results with random search and finite differences. The simulator can be integrated with optimization algorithms and neural networks, opening up possibilities for data efficient optimization and parameter discovery.


Few Shot Activity Recognition Using Variational Inference. There has been a remarkable progress in learning a model which could recognise novel classes with only a few labeled examples in the last few years. Few shot learning (FSL) for action recognition is a challenging task of recognising novel action categories which are represented by few instances in the training data. We propose a novel variational inference based architectural framework (HF AR) for few shot activity recognition. Our framework leverages volume preserving Householder Flow to learn a flexible posterior distribution of the novel classes. This results in better performance as compared to state of the art few shot approaches for human activity recognition. approach consists of base model and an adapter model. Our architecture consists of a base model and an adapter model. The base model is trained on seen classes and it computes an embedding that represent the spatial and temporal insights extracted from the input video, e.g. combination of Resnet 152 and LSTM based encoder decoder model. The adapter model applies a series of Householder transformations to compute a flexible posterior distribution that lends higher accuracy in the few shot approach. Extensive experiments on three well known datasets UCF101, HMDB51 and Something Something V2, demonstrate similar or better performance on 1 shot and 5 shot classification as compared to state of the art few shot approaches that use only RGB frame sequence as input. To the best of our knowledge, we are the first to explore variational inference along with householder transformations to capture the full rank covariance matrix of posterior distribution, for few shot learning in activity recognition.


Pedestrian Detection by Exemplar Guided Contrastive Learning. Typical methods for pedestrian detection focus on either tackling mutual occlusions between crowded pedestrians, or dealing with the various scales of pedestrians. Detecting pedestrians with substantial appearance diversities such as different pedestrian silhouettes, different viewpoints or different dressing, remains a crucial challenge. Instead of learning each of these diverse pedestrian appearance features individually as most existing methods do, we propose to perform contrastive learning to guide the feature learning in such a way that the semantic distance between pedestrians with different appearances in the learned feature space is minimized to eliminate the appearance diversities, whilst the distance between pedestrians and background is maximized. To facilitate the efficiency and effectiveness of contrastive learning, we construct an exemplar dictionary with representative pedestrian appearances as prior knowledge to construct effective contrastive training pairs and thus guide contrastive learning. Besides, the constructed exemplar dictionary is further leveraged to evaluate the quality of pedestrian proposals during inference by measuring the semantic distance between the proposal and the exemplar dictionary. Extensive experiments on both daytime and nighttime pedestrian detection validate the effectiveness of the proposed method.


Heterogenous criticality in high frequency finance a phase transition in flash crashes. Flash crashes in financial markets have become increasingly important attracting attention from financial regulators, market makers as well as from the media and the broader audience. Systemic risk and propagation of shocks in financial markets is also a topic of great relevance that attracted increasing attention in recent years. In the present work we bridge the gap between these two topics with an in depth investigation of the systemic risk structure of co crashes in high frequency trading. We find that large co crashes are systemic in their nature and differ from small crashes. We demonstrate that there is a phase transition between co crashes of small and large sizes, where the former involves mostly illiquid stocks while large and liquid stocks are the most represented and central in the latter. This suggests that systemic effects and shock propagation might be triggered by simultaneous withdrawals or movement of liquidity by HFTs, arbitrageurs and market makers with cross asset exposures.


A Rauzy fractal unbounded in all directions of the plane. We construct an Arnoux Rauzy word for which the set of all differences of two abelianized factors is equal to mathbb Z 3 . In particular, the imbalance of this word is infinite and its Rauzy fractal is unbounded in all directions of the plane.


Contrast independent partially explicit time discretizations for multiscale wave problems. In this work, we design and investigate contrast independent partially explicit time discretizations for wave equations in heterogeneous high contrast media. We consider multiscale problems, where the spatial heterogeneities are at subgrid level and are not resolved. In our previous work, we have introduced contrast independent partially explicit time discretizations and applied to parabolic equations. The main idea of contrast independent partially explicit time discretization is to split the spatial space into two components contrast dependent (fast) and contrast independent (slow) spaces defined via multiscale space decomposition. Using this decomposition, our goal is further appropriately to introduce time splitting such that the resulting scheme is stable and can guarantee contrast independent discretization under some suitable (reasonable) conditions. In this paper, we propose contrast independent partially explicitly scheme for wave equations. The splitting requires a careful design. We prove that the proposed splitting is unconditionally stable under some suitable conditions formulated for the second space (slow). This condition requires some type of non contrast dependent space and is easier to satisfy in the "slow" space. We present numerical results and show that the proposed methods provide results similar to implicit methods with the time step that is independent of the contrast.


Prevention of bacterial adhesion to zwitterionic biocompatible mesoporous glasses. Novel materials, based on Mesoporous Bioactive Glasses (MBGs) in the ternary system SiO2 CaO P2O5, decorated with (3 aminopropyl)triethoxysilane (APTES) and subsequently with amino acid Lysine (Lys), by post grafting method on the external surface of the glasses (named MBG NH2 and MBG Lys), are reported. The surface functionalization with organic groups did not damage the mesoporous network and their structural and textural properties were also preserved despite the high solubility of MBG matrices. The incorporation of Lys confers a zwitterionic nature to these MBG materials due to the presence of adjacent amine and carboxylic groups in the external surface. At physiologic pH, this coexistence of basic amine and carboxilic acid groups from anchored Lys provided zero surface charge named zwitterionic effect. This behaviour could give rise to potential applications of antibacterial adhesion. Therefore, in order to assess the influence of zwitterionic nature in in vitro bacterial adhesion, studies were carried out with Staphylococcus aureus. It was demonstrated that the efficient interaction of these zwitterionic pairs onto the MBG surfaces reduced bacterial adhesion up to 99.9 compared to bare MBGs. In order to test the suitability of zwitterionic MBGs materials as bone grafts, their cytocompatibility was investigated in vitro with MC3T3 E1 preosteoblasts. These findings suggested that the proposed surface functionalization strategy provided MBG materials with notable antibacterial adhesion properties, hence making these materials promising candidates for local bone infection therapy.


Simulation of the Kinetic Energy Spectrum of Primary Electron Generated by a 6 keV X Ray Source in a Gas Volume. With the intention of creating a complete simulation of the Thick GEM detector, this work presents a partial simulation of the interaction of 6 keV X Ray radiation with a gas volume. For the gas, it was used pure Argon, Xenon and CO2 as well as a mixture of each noble gas with CO2 in a 70 30 proportion. For this range of energy, the dominant physical effect is the photoelectric, therefore knowing the binding energies of the atoms we predict the kinetic energy of the primary electron. A simulated energy spectrum of the primary electron kinetic energy was obtained, which contains peaks corresponding to the inner shell's ionization of the atoms. The spectrum shows very little Compton effect, transferring only small energies (in the order of eVs). We concluded that energy spectrum for the mixture is a linear combination of the spectrum of its individual components.


Semi supervised Variational Temporal Convolutional Network for IoT Communication Multi anomaly Detection. The consumer Internet of Things (IoT) have developed in recent years. Mass IoT devices are constructed to build a huge communications network. But these devices are insecure in reality, it means that the communications network are exposed by the attacker. Moreover, the IoT communication network also faces with variety of sudden errors. Therefore, it easily leads to that is vulnerable with the threat of attacker and system failure. The severe situation of IoT communication network motivates the development of new techniques to automatically detect multi anomaly. In this paper, we propose SS VTCN, a semi supervised network for IoT multiple anomaly detection that works well effectively for IoT communication network. SS VTCN is designed to capture the normal patterns of the IoT traffic data based on the distribution whether it is labeled or not by learning their representations with key techniques such as Variational Autoencoders and Temporal Convolutional Network. This network can use the encode data to predict preliminary result, and reconstruct input data to determine anomalies by the representations. Extensive evaluation experiments based on a benchmark dataset and a real consumer smart home dataset demonstrate that SS VTCN is more suitable than supervised and unsupervised method with better performance when compared other state of art semi supervised method.


The OEIS A Fingerprint File for Mathematics. An introduction to the On Line Encyclopedia of Integer Sequences (or OEIS, https oeis.org) for graduate students in mathematics


SMORES EP, a Modular Robot with Parallel Self assembly. Self assembly of modular robotic systems enables the construction of complex robotic configurations to adapt to different tasks. This paper presents a framework for SMORES types of modular robots to efficiently self assemble into tree topologies. These modular robots form kinematic chains that have been shown to be capable of a large variety of manipulation and locomotion tasks, yet they can reconfigure using a mobile reconfiguration. A desired kinematic topology can be mapped onto a planar pattern with optimal module assignment based on the modules' locations, then the mobile reconfiguration assembly process can be executed in parallel. A docking controller is developed to guarantee the success of docking processes. A hybrid control architecture is designed to handle a large number of modules and complex behaviors of each individual, and achieve efficient and robust self assembly actions. The framework is demonstrated in hardware on the SMORES EP platform.


Rapid wildfire response system based on drones. The wildfires in Australia make people suffer the losses caused by the devastating disasters. To protect people's security and the country's development in vulnerable situations, we are expected to establish a set of efficient and sustainable fire rescuing response mechanisms and tackle the problems faced, including optimization of loadings and quantity of drones, time adaptability of the model, and the locations of radio repeater drones. We determined the location of mobile emergency operation centers (EOC), which conduct drone launches and deploy rescue personnel. After figuring out where the EOCs are located, we can establish the Drones Planning programming Budgeting Model to detect the configuration of drones, including optimal numbers and mix of SSA drones and Radio Repeater drones. To estimate the adaptability of our model in the next ten decades, we build a Holt Winters seasonal model. We utilize the Drones Deployment Optimization model to optimize the locations of hovering VHF UHF radio repeater drones. In addition, sensitivity analysis of the model is tested.


CityNeRF Building NeRF at City Scale. Neural Radiance Field (NeRF) has achieved outstanding performance in modeling 3D objects and controlled scenes, usually under a single scale. In this work, we make the first attempt to bring NeRF to city scale, with views ranging from satellite level that captures the overview of a city, to ground level imagery showing complex details of an architecture. The wide span of camera distance to the scene yields multi scale data with different levels of detail and spatial coverage, which casts great challenges to vanilla NeRF and biases it towards compromised results. To address these issues, we introduce CityNeRF, a progressive learning paradigm that grows the NeRF model and training set synchronously. Starting from fitting distant views with a shallow base block, as training progresses, new blocks are appended to accommodate the emerging details in the increasingly closer views. The strategy effectively activates high frequency channels in the positional encoding and unfolds more complex details as the training proceeds. We demonstrate the superiority of CityNeRF in modeling diverse city scale scenes with drastically varying views, and its support for rendering views in different levels of detail.


Towards Real time Semantic RGB D SLAM in Dynamic Environments. Most of the existing visual SLAM methods heavily rely on a static world assumption and easily fail in dynamic environments. Some recent works eliminate the influence of dynamic objects by introducing deep learning based semantic information to SLAM systems. However such methods suffer from high computational cost and cannot handle unknown objects. In this paper, we propose a real time semantic RGB D SLAM system for dynamic environments that is capable of detecting both known and unknown moving objects. To reduce the computational cost, we only perform semantic segmentation on keyframes to remove known dynamic objects, and maintain a static map for robust camera tracking. Furthermore, we propose an efficient geometry module to detect unknown moving objects by clustering the depth image into a few regions and identifying the dynamic regions via their reprojection errors. The proposed method is evaluated on public datasets and real world conditions. To the best of our knowledge, it is one of the first semantic RGB D SLAM systems that run in real time on a low power embedded platform and provide high localization accuracy in dynamic environments.


Calibrating Concepts and Operations Towards Symbolic Reasoning on Real Images. While neural symbolic methods demonstrate impressive performance in visual question answering on synthetic images, their performance suffers on real images. We identify that the long tail distribution of visual concepts and unequal importance of reasoning steps in real data are the two key obstacles that limit the models' real world potentials. To address these challenges, we propose a new paradigm, Calibrating Concepts and Operations (CCO), which enables neural symbolic models to capture underlying data characteristics and to reason with hierarchical importance. Specifically, we introduce an executor with learnable concept embedding magnitudes for handling distribution imbalance, and an operation calibrator for highlighting important operations and suppressing redundant ones. Our experiments show CCO substantially boosts the performance of neural symbolic methods on real images. By evaluating models on the real world dataset GQA, CCO helps the neural symbolic method NSCL outperforms its vanilla counterpart by 9.1 (from 47.0 to 56.1 ) this result also largely reduces the performance gap between symbolic and non symbolic methods. Additionally, we create a perturbed test set for better understanding and analyzing model performance on real images. Code is available at https github.com Lizw14 CaliCO.git .


Stochastic approximation of symmetric Nash equilibria in queueing games. We suggest a novel stochastic approximation algorithm to compute a Symmetric Nash Equilibrium strategy in a general queueing game with a finite action space. The algorithm involves a single simulation of the queueing process with dynamic updating of the strategy at regeneration times. Under mild assumptions regarding the regenerative structure of the process the algorithm converges to a symmetric equilibrium strategy almost surely. This yields a powerful tool that can be used to approximate equilibrium strategies in a broad range of strategic queueing models in which direct analysis is impracticable.


The action of the Kauffman bracket skein algebra of the torus on the Kauffman bracket skein module of the 3 twist knot complement. We determine the action of the Kauffman bracket skein algebra of the torus on the Kauffman bracket skein module of the complement of the 3 twist knot. The point is to study the relationship between knot complements and their boundary tori, an idea that has proved very fruitful in knot theory. We place this idea in the context of Chern Simons theory, where such actions arose in connection with the computation of the noncommutative version of the A polynomial that was defined by Frohman, Gelca and Lofaro, but they can also be interpreted as quantum mechanical systems. Our goal is to exhibit a detailed example in a part of Chern Simons theory where examples are scarce.


Asymptotic analysis of the sojourn time of a batch in an M X M 1 Processor Sharing Queue. In this paper, we exploit results obtained in an earlier study for the Laplace transform of the sojourn time Omega of an entire batch in the M X M 1 Processor Sharing (PS) queue in order to derive the asymptotic behavior of the complementary probability distribution function of this random variable, namely the behavior of P( Omega x) when x tends to infinity. We precisely show that up to a multiplying factor, the behavior of P( Omega x) for large x is of the same order of magnitude as P( omega x) , where omega is the sojourn time of an arbitrary job is the system. From a practical point of view, this means that if a system has to be dimensioned to guarantee processing time for jobs then the system can also guarantee processing times for entire batches by introducing a marginal amount of processing capacity.


Reinforced Attention for Few Shot Learning and Beyond. Few shot learning aims to correctly recognize query samples from unseen classes given a limited number of support samples, often by relying on global embeddings of images. In this paper, we propose to equip the backbone network with an attention agent, which is trained by reinforcement learning. The policy gradient algorithm is employed to train the agent towards adaptively localizing the representative regions on feature maps over time. We further design a reward function based on the prediction of the held out data, thus helping the attention mechanism to generalize better across the unseen classes. The extensive experiments show, with the help of the reinforced attention, that our embedding network has the capability to progressively generate a more discriminative representation in few shot learning. Moreover, experiments on the task of image classification also show the effectiveness of the proposed design.


Multi Agent Variational Occlusion Inference Using People as Sensors. Autonomous vehicles must reason about spatial occlusions in urban environments to ensure safety without being overly cautious. Prior work explored occlusion inference from observed social behaviors of road agents, hence treating people as sensors. Inferring occupancy from agent behaviors is an inherently multimodal problem a driver may behave similarly for different occupancy patterns ahead of them (e.g., a driver may move at constant speed in traffic or on an open road). Past work, however, does not account for this multimodality, thus neglecting to model this source of aleatoric uncertainty in the relationship between driver behaviors and their environment. We propose an occlusion inference method that characterizes observed behaviors of human agents as sensor measurements, and fuses them with those from a standard sensor suite. To capture the aleatoric uncertainty, we train a conditional variational autoencoder with a discrete latent space to learn a multimodal mapping from observed driver trajectories to an occupancy grid representation of the view ahead of the driver. Our method handles multi agent scenarios, combining measurements from multiple observed drivers using evidential theory to solve the sensor fusion problem. Our approach is validated on a cluttered, real world intersection, outperforming baselines and demonstrating real time capable performance. Our code is available at https github.com sisl MultiAgentVariationalOcclusionInference .


Self supervised Geometric Perception. We present self supervised geometric perception (SGP), the first general framework to learn a feature descriptor for correspondence matching without any ground truth geometric model labels (e.g., camera poses, rigid transformations). Our first contribution is to formulate geometric perception as an optimization problem that jointly optimizes the feature descriptor and the geometric models given a large corpus of visual measurements (e.g., images, point clouds). Under this optimization formulation, we show that two important streams of research in vision, namely robust model fitting and deep feature learning, correspond to optimizing one block of the unknown variables while fixing the other block. This analysis naturally leads to our second contribution the SGP algorithm that performs alternating minimization to solve the joint optimization. SGP iteratively executes two meta algorithms a teacher that performs robust model fitting given learned features to generate geometric pseudo labels, and a student that performs deep feature learning under noisy supervision of the pseudo labels. As a third contribution, we apply SGP to two perception problems on large scale real datasets, namely relative camera pose estimation on MegaDepth and point cloud registration on 3DMatch. We demonstrate that SGP achieves state of the art performance that is on par or superior to the supervised oracles trained using ground truth labels.


EIT spectroscopy of high lying Rydberg states in 39 K . We present a study of the Rydberg spectrum in 39 K for nS and nD 3 2 series connected to 5 2P 1 2 using two photon spectroscopy based on EIT in a heated vapor cell. We observed some 80 transitions from 5P 1 2 to Rydberg states with principal quantum numbers n sim50 90 , and determined their transition frequencies and state energies with sub GHz precision. Our spectroscopy results lay the groundwork for using Rydberg atoms as sensitive microwave photon detectors in searches for dark matter axions in the sim40 200 mu eV mass range, which is a prime range for future axion searches suggested by theory studies.


Generalized conditional gradient and learning in potential mean field games. We apply the generalized conditional gradient algorithm to potential mean field games and we show its well posedeness. It turns out that this method can be interpreted as a learning method called fictitious play. More precisely, each step of the generalized conditional gradient method amounts to compute the best response of the representative agent, for a predicted value of the coupling terms of the game. We show that for the learning sequence delta k 2 (k 2) , the potential cost converges in O(1 k) , the exploitability and the variables of the problem (distribution, congestion, price, value function and control terms) converge in O(1 sqrt k ) , for specific norms.


Generalization Error Analysis of Neural networks with Gradient Based Regularization. We study gradient based regularization methods for neural networks. We mainly focus on two regularization methods the total variation and the Tikhonov regularization. Applying these methods is equivalent to using neural networks to solve some partial differential equations, mostly in high dimensions in practical applications. In this work, we introduce a general framework to analyze the generalization error of regularized networks. The error estimate relies on two assumptions on the approximation error and the quadrature error. Moreover, we conduct some experiments on the image classification tasks to show that gradient based methods can significantly improve the generalization ability and adversarial robustness of neural networks. A graphical extension of the gradient based methods are also considered in the experiments.


Answer to a question by A. Mandarino, T. Linowski and K. . Z yczkowski. A recent work by A. Mandarino, T. Linowski and K. . Z yczkowski left open the following question. If mu N is a certain permutation of entries of a N 2 times N 2 matrix ("mixing map") and U N is a N 2 times N 2 Haar unitary random matrix, then is the family U N, U N mu N , ( U N 2 ) mu N , dots , ( U N m) mu N asymptotically free? (here by A mu we understand the matrix resulted by permuting the entries of A according to the permutation mu ). This paper presents some techniques for approaching such problems. In particular, one easy consequence of the main result is that the question above has an affirmative answer.


Lie derivatives and structure Jacobi operator on real hypersurfaces in complex projective spaces II. Let M be a real hypersurface in complex projective space. The almost contact metric structure on M allows us to consider, for any nonnull real number k , the corresponding k th generalized Tanaka Webster connection on M and, associated to it, a differential operator of first order of Lie type. Considering such a differential operator and Lie derivative we define, from the structure Jacobi operator R xi on M a tensor field of type (1,2), R xi T (k) . We obtain some classifications of real hypersurfaces for which R xi T (k) is either symmetric or skew symmetric.


Hostility Detection and Covid 19 Fake News Detection in Social Media. Withtheadventofsocialmedia,therehasbeenanextremely rapid increase in the content shared online. Consequently, the propagation of fake news and hostile messages on social media platforms has also skyrocketed. In this paper, we address the problem of detecting hostile and fake content in the Devanagari (Hindi) script as a multi class, multi label problem. Using NLP techniques, we build a model that makes use of an abusive language detector coupled with features extracted via Hindi BERT and Hindi FastText models and metadata. Our model achieves a 0.97 F1 score on coarse grain evaluation on Hostility detection task. Additionally, we built models to identify fake news related to Covid 19 in English tweets. We leverage entity information extracted from the tweets along with textual representations learned from word embeddings and achieve a 0.93 F1 score on the English fake news detection task.


On H (BPU n mathbb Z ) and Weyl group invariants. For the projective unitary group PU n with a maximal torus T PU n and Weyl group W , we show that the integral restriction homomorphism rho PU n colon H (BPU n mathbb Z ) rightarrow H (BT PU n mathbb Z ) W to the integral invariants of the Weyl group action is onto. We also present several rings naturally isomorphic to H (BT PU n mathbb Z ) W . In addition we give general sufficient conditions for the restriction homomorphism rho G to be onto for a connected compact Lie group G .


LEA A Learned Encoding Advisor for Column Stores. Data warehouses organize data in a columnar format to enable faster scans and better compression. Modern systems offer a variety of column encodings that can reduce storage footprint and improve query performance. Selecting a good encoding scheme for a particular column is an optimization problem that depends on the data, the query workload, and the underlying hardware. We introduce Learned Encoding Advisor (LEA), a learned approach to column encoding selection. LEA is trained on synthetic datasets with various distributions on the target system. Once trained, LEA uses sample data and statistics (such as cardinality) from the user's database to predict the optimal column encodings. LEA can optimize for encoded size, query performance, or a combination of the two. Compared to the heuristic based encoding advisor of a commercial column store on TPC H, LEA achieves 19 lower query latency while using 26 less space.


Complexity of Restricted Star Colouring. Restricted star colouring is a variant of star colouring introduced to design heuristic algorithms to estimate sparse Hessian matrices. For k in mathbb N , a k restricted star colouring ( k rs colouring) of a graph G is a function f V(G) to 0,1, dots,k 1 such that (i) f(x) neq f(y) for every edge xy of G, and (ii) there is no bicoloured 3 vertex path ( P 3 ) in G with the higher colour on its middle vertex. We show that for k geq 3 , it is NP complete to test whether a given planar bipartite graph of maximum degree k and arbitrarily large girth admits a k rs colouring, and thereby answer a problem posed by Shalu and Sandhya (Graphs and Combinatorics, 2016). In addition, it is NP complete to test whether a 3 star colourable graph admits a 3 rs colouring. We also prove that for all epsilon 0 , the optimization problem of restricted star colouring a 2 degenerate bipartite graph with the minimum number of colours is NP hard to approximate within n (1 3) epsilon . On the positive side, we design (i) a linear time algorithm to test 3 rs colourability of trees, and (ii) an O(n 3) time algorithm to test 3 rs colourability of chordal graphs.


Perfectoid overconvergent Siegel modular forms and the overconvergent Eichler Shimura morphism. The aim of this paper is twofold. We first present a construction of overconvergent automorphic sheaves for Siegel modular forms by generalising the perfectoid method, originally introduced by Chojecki Hansen Johansson for automorphic forms on compact Shimura curves over mathbf Q . These sheaves are then verified to be isomorphic to the ones introduced by Andreatta Iovita Pilloni. Secondly, we establish an overconvergent Eichler Shimura morphism for Siegel modular forms, generalising the result of Andreatta Iovita Stevens for elliptic modular forms.


An inexact proximal point method for variational inequality on Hadamard manifolds. In this paper we present an inexact proximal point method for variational inequality problem on Hadamard manifolds and study its convergence properties. The proposed algorithm is inexact in two sense. First, each proximal subproblem is approximated by using the enlargement of the vector field in consideration and then the next iterated is obtained by solving this subproblem allowing a suitable error tolerance. As an application, we obtain an inexact proximal point method for constrained optimization problems, equilibrium problems and nonlinear optimization problems on Hadamard manifolds.


Effective and Efficient Vote Attack on Capsule Networks. Standard Convolutional Neural Networks (CNNs) can be easily fooled by images with small quasi imperceptible artificial perturbations. As alternatives to CNNs, the recently proposed Capsule Networks (CapsNets) are shown to be more robust to white box attacks than CNNs under popular attack protocols. Besides, the class conditional reconstruction part of CapsNets is also used to detect adversarial examples. In this work, we investigate the adversarial robustness of CapsNets, especially how the inner workings of CapsNets change when the output capsules are attacked. The first observation is that adversarial examples misled CapsNets by manipulating the votes from primary capsules. Another observation is the high computational cost, when we directly apply multi step attack methods designed for CNNs to attack CapsNets, due to the computationally expensive routing mechanism. Motivated by these two observations, we propose a novel vote attack where we attack votes of CapsNets directly. Our vote attack is not only effective but also efficient by circumventing the routing process. Furthermore, we integrate our vote attack into the detection aware attack paradigm, which can successfully bypass the class conditional reconstruction based detection method. Extensive experiments demonstrate the superior attack performance of our vote attack on CapsNets.


On Pursuit of Designing Multi modal Transformer for Video Grounding. Video grounding aims to localize the temporal segment corresponding to a sentence query from an untrimmed video. Almost all existing video grounding methods fall into two frameworks 1) Top down model It predefines a set of segment candidates and then conducts segment classification and regression. 2) Bottom up model It directly predicts frame wise probabilities of the referential segment boundaries. However, all these methods are not end to end, i.e., they always rely on some time consuming post processing steps to refine predictions. To this end, we reformulate video grounding as a set prediction task and propose a novel end to end multi modal Transformer model, dubbed as GTR. Specifically, GTR has two encoders for video and language encoding, and a cross modal decoder for grounding prediction. To facilitate the end to end training, we use a Cubic Embedding layer to transform the raw videos into a set of visual tokens. To better fuse these two modalities in the decoder, we design a new Multi head Cross Modal Attention. The whole GTR is optimized via a Many to One matching loss. Furthermore, we conduct comprehensive studies to investigate different model design choices. Extensive results on three benchmarks have validated the superiority of GTR. All three typical GTR variants achieve record breaking performance on all datasets and metrics, with several times faster inference speed.


Physics Informed Deep Learning for Traffic State Estimation. Traffic state estimation (TSE), which reconstructs the traffic variables (e.g., density) on road segments using partially observed data, plays an important role on efficient traffic control and operation that intelligent transportation systems (ITS) need to provide to people. Over decades, TSE approaches bifurcate into two main categories, model driven approaches and data driven approaches. However, each of them has limitations the former highly relies on existing physical traffic flow models, such as Lighthill Whitham Richards (LWR) models, which may only capture limited dynamics of real world traffic, resulting in low quality estimation, while the latter requires massive data in order to perform accurate and generalizable estimation. To mitigate the limitations, this paper introduces a physics informed deep learning (PIDL) framework to efficiently conduct high quality TSE with small amounts of observed data. PIDL contains both model driven and data driven components, making possible the integration of the strong points of both approaches while overcoming the shortcomings of either. This paper focuses on highway TSE with observed data from loop detectors, using traffic density as the traffic variables. We demonstrate the use of PIDL to solve (with data from loop detectors) two popular physical traffic flow models, i.e., Greenshields based LWR and three parameter based LWR, and discover the model parameters. We then evaluate the PIDL based highway TSE using the Next Generation SIMulation (NGSIM) dataset. The experimental results show the advantages of the PIDL based approach in terms of estimation accuracy and data efficiency over advanced baseline TSE methods.


Sum rank product codes and bounds on the minimum distance. The tensor product of one code endowed with the Hamming metric and one endowed with the rank metric is analyzed. This gives a code which naturally inherits the sum rank metric. Specializing to the product of a cyclic code and a skew cyclic code, the resulting code turns out to belong to the recently introduced family of cyclic skew cyclic. A group theoretical description of these codes is given, after investigating the semilinear isometries in the sum rank metric. Finally, a generalization of the Roos and the Hartmann Tzeng bounds for the sum rank metric is established, as well as a new lower bound on the minimum distance of one of the two codes constituting the product code.


Sign Language Translation with Hierarchical Spatio TemporalGraph Neural Network. Sign language translation (SLT), which generates text in a spoken language from visual content in a sign language, is important to assist the hard of hearing community for their communications. Inspired by neural machine translation (NMT), most existing SLT studies adopted a general sequence to sequence learning strategy. However, SLT is significantly different from general NMT tasks since sign languages convey messages through multiple visual manual aspects. Therefore, in this paper, these unique characteristics of sign languages are formulated as hierarchical spatio temporal graph representations, including high level and fine level graphs of which a vertex characterizes a specified body part and an edge represents their interactions. Particularly, high level graphs represent the patterns in the regions such as hands and face, and fine level graphs consider the joints of hands and landmarks of facial regions. To learn these graph patterns, a novel deep learning architecture, namely hierarchical spatio temporal graph neural network (HST GNN), is proposed. Graph convolutions and graph self attentions with neighborhood context are proposed to characterize both the local and the global graph properties. Experimental results on benchmark datasets demonstrated the effectiveness of the proposed method.


Combinators and the Story of Computation. We discuss the role of combinators in the development of the modern conception of computation over the course of the past century. We describe how ideas about formalism and mathematical logic led to the introduction of combinators in 1920 as an extension of the discovery of Nand as a basis for basic logic. We then discuss how combinators informed lambda calculus and symbolic computation, and their relationship to the development of practical computation. We finally describe recent views of combinators in terms of the computational universe of possible programs, and a recent approach to the fundamental theory of physics.


Vision based range and bearing algorithm for robot swarms. This paper presents a novel computer vision the algorithm proposed for the on line range and bearing detection of the robot swarms. Results demonstrated the reliability of the proposed vision system such that it can be used for the robot swarms applications.


An Empirical Investigation of Worker Communities in TopCoder. Software crowdsourcing platforms employ extrinsic rewards such as rating or ranking systems to motivate workers. Such rating systems are noisy and provide limited knowledge about workers' preferences and performance. To develop better understanding of worker reliability and trustworthiness in software crowdsourcing, this paper reports an empirical study conducted on more than one year's real world data from TopCoder, one of the leading software crowdsourcing platforms. To do so, first, we create a bipartite network of active workers based on common task registrations. Then, we use the Clauset Newman Moore graph clustering algorithm to identify worker clusters in the network. Finally, we conduct an empirical evaluation to measure and analyze workers' behavior per identified community in the platform by workers' rating. More specifically, workers' behavior is analyzed based on their performances in terms of reliability, trustworthiness, and success their preferences in terms of efficiency and elasticity and strategies in terms of comfort, confidence, and deceitfulness. The main result of this study identified four communities of active workers mixed ranked, high ranked, mid ranked, and low ranked. This study shows that the low ranked community associates with the highest reliable workers with an average reliability of 25 , while the mixed ranked community contains the most trustworthy workers with average trustworthiness of 16 . Such empirical evidence is beneficial to help exploring resourcing options while understanding the relations among unknown resources to improve task success.


A unified approach to mean field team homogeneity, heterogeneity and quasi exchangeability. This paper aims to systematically solve stochastic team optimization of large scale system, in a rather general framework. Concretely, the underlying large scale system involves considerable weakly coupled cooperative agents for which the individual admissible controls ( textbf i ) enter the diffusion terms, ( textbf ii ) are constrained in some closed convex subsets, and ( textbf iii ) subject to a general emph partial decentralized information structure. A more important but serious feature ( textbf iv ) all agents are heterogenous with emph continuum instead emph finite diversity. Combination of ( textbf i ) ( textbf iv ) yields a quite general modeling of stochastic team optimization, but on the other hand, also fails current existing techniques of team analysis. In particular, classical team consistency with continuum heterogeneity collapses because of ( textbf i ). As the resolution, a novel emph unified approach is proposed under which the intractable emph continuum emph heterogeneity can be converted to a more tractable emph homogeneity . As a trade off, the underlying randomness is augmented, and all agents become (quasi) weakly exchangeable. Such approach essentially involves a subtle balance between homogeneity v.s. heterogeneity, and left (prior sampling) v.s. right (posterior sampling) information filtration. Subsequently, the consistency condition (CC) system takes a new type of forward backward stochastic system with emph double projections (due to ( textbf ii ), ( textbf iii )), along with emph spatial mean on continuum heterogenous index (due to ( textbf iv )). Such system is new in team literature and its well posedness is also challenging. We address this issue under mild conditions. Related asymptotic optimality is also established.


Modelling and Verifying BDI Agents with Bigraphs. The Belief Desire Intention (BDI) architecture is a popular framework for rational agents most verification approaches are based on reasoning about implementations of BDI programming languages. We investigate an alternative approach based on reasoning about BDI agent semantics, through a model of the execution of an agent program. We employ Milner's bigraphs as the modelling framework and present an encoding for the Conceptual Agent Notation (CAN) language a superset of AgentSpeak featuring declarative goals, concurrency, and failure recovery. We provide an encoding of the syntax and semantics of CAN agents, and give a rigorous proof that the encoding is faithful. Verification is based on the use of mainstream software tools including BigraphER, and a small case study verifying several properties of Unmanned Aerial Vehicles (UAVs) illustrates the framework in action. The executable framework is a foundational step that will enable more advanced reasoning such as plan preference, intention priorities and trade offs, and interactions with an environment under uncertainty.


Personalized Image Semantic Segmentation. Semantic segmentation models trained on public datasets have achieved great success in recent years. However, these models didn't consider the personalization issue of segmentation though it is important in practice. In this paper, we address the problem of personalized image segmentation. The objective is to generate more accurate segmentation results on unlabeled personalized images by investigating the data's personalized traits. To open up future research in this area, we collect a large dataset containing various users' personalized images called PIS (Personalized Image Semantic Segmentation). We also survey some recent researches related to this problem and report their performance on our dataset. Furthermore, by observing the correlation among a user's personalized images, we propose a baseline method that incorporates the inter image context when segmenting certain images. Extensive experiments show that our method outperforms the existing methods on the proposed dataset. The code and the PIS dataset will be made publicly available.


Control in Boolean networks with model checking. Understanding control mechanisms in biological systems plays a crucial role in important applications, for instance in cell reprogramming. Boolean modeling allows the identification of possible efficient strategies, helping to reduce the usually high and time consuming experimental efforts. Available approaches to control strategy identification usually focus either on attractor or phenotype control, and are unable to deal with more complex control problems, for instance phenotype avoidance. They also fail to capture, in many situations, all possible minimal strategies, finding instead only sub optimal solutions. In order to fill these gaps, we present a novel approach to control strategy identification in Boolean networks based on model checking. The method is guaranteed to identify all minimal control strategies, and provides maximal flexibility in the definition of the control target. We investigate the applicability of the approach by considering a range of control problems for different biological systems, comparing the results, where possible, to those obtained by alternative control methods.


Semi Blind Multiuser Detection Under the Presence of Reconfigurable Intelligent Surfaces. A multiuser multiple input multiple output wireless communication system is analytically studied, which operates with the aid of a reconfigurable intelligent surface (RIS). The intermediate RIS is equipped with multiple elements and operates via random phase rotations to simultaneously serve multiple users. Independent Rayleigh fading conditions are assumed among the included channels. The system performance is analytically studied when the linear yet efficient zero forcing detection is implemented at the receiver. In particular, the outage performance is derived in closed form expression for different system configuration setups with regards to the available channel state information at the receiver. Further, a joint coherent noncoherent linear detection is analytically presented. Finally, some new engineering insights are provided, such as how the channel state information and or the volume of antenna RIS arrays impact on the overall system performance as well as the arising efficiency on the performance complexity tradeoff by utilizing the joint coherent noncoherent scheme.


Shared Model of Sense making for Human Machine Collaboration. We present a model of sense making that greatly facilitates the collaboration between an intelligent analyst and a knowledge based agent. It is a general model grounded in the science of evidence and the scientific method of hypothesis generation and testing, where sense making hypotheses that explain an observation are generated, relevant evidence is then discovered, and the hypotheses are tested based on the discovered evidence. We illustrate how the model enables an analyst to directly instruct the agent to understand situations involving the possible production of weapons (e.g., chemical warfare agents) and how the agent becomes increasingly more competent in understanding other situations from that domain (e.g., possible production of centrifuge enriched uranium or of stealth fighter aircraft).


The Role of Geographic Spreaders in Infectious Pattern Formation and Front Propagation Speeds. The pattern formation and spatial spread of infectious populations are investigated using a kernel based Susceptible Infectious Recovered (SIR) model applicable across a wide range of basic reproduction numbers R o . The focus is on the role of geographic spreaders defined here as a portion of the infected population ( phi ) experiencing high mobility between identical communities. The spatial organization of the infected population and invasive front speeds ( c max ) are determined when the infections are randomly initiated in space within multiple communities. For small but finite phi , scaling analysis in 1 dimension and simulation results in 2 dimensions suggest that c max sim (1 phi) gamma (R o 1) sigma , where gamma is the inverse of the infectious duration, and sigma 2 is the variance of the spatial kernel describing mobility of long distance spreaders across communities. Hence, c max is not significantly affected by the small phi though reductions in phi act as retardation factors to the attainment of c max . The sigma determines the spatial organization of infections across communities. When sigma 5dr (long distance mobility, where dr is the minimum spatial extent defining adjacent communities), the infectious population will experience a transient but spatially coherent pattern with a wavelength that can be derived from the spreading kernel properties.


Evaluating the sum of convergent positive series. We provide numerical procedures for possibly best evaluating the sum of positive series. Our procedures are based on the application of a generalized version of Kummer's test.


Deterministic and statistical methods for the characterisation of poroelastic media from multi observation sound absorption measurements. This paper proposes a framework for the estimation of the transport and elastic properties of open cell poroelastic media based on sound absorption measurements. The sought properties are the Biot Johnson Champoux Allard model parameters, namely five transport parameters, two elastic properties and the mass density, as well as the sample thickness. The methodology relies on a multi observation approach, consisting in combining multiple independent measurements into a single dataset, with the aim of over determining the problem. In the present work, a poroelastic sample is placed in an impedance tube and tested in two loading conditions, namely in a rigid backing configuration and coupled to a resonant expansion chamber. Given the non monotonic nature of the experimental data, an incremental parameter estimation procedure is used in order to guide the model parameters towards the global solution without terminating at local minima. A statistical inversion approach is also discussed, providing refined point estimates, uncertainty ranges and parameter correlations. The methodology is applied to the characterisation of a sample of melamine foam and provides estimates of all nine parameters with compact uncertainty ranges. It is shown that the model parameters are retrieved with a lower uncertainty in the multi observation case, as compared with a single observation case. The method proposed here does not require prior knowledge of the thickness or any of the properties of the sample, and can be carried out with a standard two microphone impedance tube.


On Kostant's weight q multiplicity formula for mathfrak sp 6( mathbb C ) . Kostant's weight q multiplicity formula is an alternating sum over a finite group known as the Weyl group, whose terms involve the q analog of Kostant's partition function. The q analog of the partition function is a polynomial valued function defined by wp q( xi) sum i 0 k c i q i , where c i is the number of ways the weight xi can be written as a sum of exactly i positive roots of a Lie algebra mathfrak g . The evaluation of the q multiplicity formula at q 1 recovers the multiplicity of a weight in an irreducible highest weight representation of mathfrak g . In this paper, we specialize to the Lie algebra mathfrak sp 6( mathbb C ) and we provide a closed formula for the q analog of Kostant's partition function, which extends recent results of Shahi, Refaghat, and Marefat. We also describe the supporting sets of the multiplicity formula (known as the Weyl alternation sets of mathfrak sp 6( mathbb C ) ), and use these results to provide a closed formula for the q multiplicity for any pair of dominant integral weights of mathfrak sp 6( mathbb C ) . Throughout this work, we provide code to facilitate these computations.


Transport and modeling of subgrid scale turbulent kinetic energy in channel flows. To develop a more convenient subgrid scale (SGS) model that performs well even in coarse grid cases, we investigate the transport and modeling of SGS turbulent kinetic energy (hereafter SGS energy) in turbulent channel flows based on the stabilized mixed model (SMM). In this paper, we try to increase the convenience of the SMM by replacing the modeled transport equation for the SGS energy with an algebraic model. The SMM quantitatively adequately predicts the total turbulent kinetic energy of the direct numerical simulation (DNS) even in coarse grid cases. For both the filtered DNS (fDNS) and large eddy simulation (LES), the statistically averaged production term balances with the dissipation in the region away from the wall in the SGS energy transport equation. In contrast, we reveal that the correlation coefficient between the production and dissipation terms is high for the modeled transport equation in LES, whereas that for the fDNS is low. Based on the high correlation or local equilibrium between the production and dissipation observed in the LES, we demonstrate the reduction of the SMM into a zero equation SMM (ZE SMM). We construct a new damping function based on the grid scale Kolmogorov length to reproduce the near wall behavior of the algebraic model for the SGS energy. The ZE SMM provides quantitatively the same performance as the original SMM that employs the SGS energy transport model. This result suggests that the local equilibrium model for the SGS energy provides the equivalent performance as the transport model in wall bounded turbulent flows even in coarse grid cases.


Look Ahead ORAM Obfuscating Addresses in Recommendation Model Training. In the cloud computing era, data privacy is a critical concern. Memory accesses patterns can leak private information. This data leak is particularly challenging for deep learning recommendation models, where data associated with a user is used to train a model. Recommendation models use embedding tables to map categorical data (embedding table indices) to large vector space, which is easier for recommendation systems to learn. Oblivious RAM (ORAM) and its enhancements are proposed solutions to prevent memory access patterns from leaking information. ORAM solutions hide access patterns by fetching multiple data blocks per each demand fetch and then shuffling the location of blocks after each access. In this paper, we propose a new PathORAM architecture designed to protect user input privacy when training recommendation models. Look Ahead ORAM exploits the fact that during training, embedding table indices that are going to be accessed in a future batch are known beforehand. Look Ahead ORAM preprocesses future training samples to identify indices that will co occur and groups these accesses into a large superblock. Look Ahead ORAM performs the same path assignment by grouping multiple data blocks into superblocks. Accessing a superblock will require fewer fetched data blocks than accessing all data blocks without grouping them as superblocks. Effectively, Look Ahead ORAM reduces the number of reads writes per access. Look Ahead ORAM also introduces a fat tree structure for PathORAM, i.e. a tree with variable bucket size. Look Ahead ORAM achieves 2x speedup compared to PathORAM and reduces the bandwidth requirement by 3.15x while providing the same security as PathORAM.


Kinetic construction of the high beta anisotropic pressure equilibrium in the magnetosphere. A theoretical model of the high beta equilibrium of magnetospheric plasma was constructed by consistently connecting the (anisotropic pressure) Grad Shafranov equation and the Vlasov equation. The Grad Shafranov equation was used to determine the axisymmetric magnetic field for a given magnetization current corresponding to a pressure tensor. Given a magnetic field, we determine the distribution function as a specific equilibrium solution of the Vlasov equation, using which we obtain the pressure tensor. We need to find an appropriate class of distribution function for these two equations to be satisfied simultaneously. Here, we consider the distribution function that maximizes the entropy on the submanifold specified by the magnetic moment. This is equivalent to the reduction of the canonical Poisson bracket to the noncanonical one having the Casimir corresponding to the magnetic moment. The pressure tensor then becomes a function of the magnetic field (through the cyclotron frequency) and flux function, satisfying the requirement of the Grad Shafranov equation. Numerical solutions have been obtained to interpret the experimental data of the RT 1 laboratory magnetosphere.


A physics informed variational DeepONet for predicting the crack path in brittle materials. Failure trajectories, identifying the probable failure zones, and damage statistics are some of the key quantities of relevance in brittle fracture applications. High fidelity numerical solvers that reliably estimate these relevant quantities exist but they are computationally demanding requiring a high resolution of the crack. Moreover, independent intensive simulations need to be carried out even for a small change in domain parameters and or material properties. Therefore, fast and generalizable surrogate models are needed to alleviate the computational burden but the discontinuous nature of fracture mechanics presents a major challenge to developing such models. We propose a physics informed variational formulation of DeepONet (V DeepONet) for brittle fracture analysis. V DeepONet is trained to map the initial configuration of the defect to the relevant fields of interests (e.g., damage and displacement fields). Once the network is trained, the entire global solution can be rapidly obtained for any initial crack configuration and loading steps on that domain. While the original DeepONet is solely data driven, we take a different path to train the V DeepONet by imposing the governing equations in variational form and we also use some labelled data. We demonstrate the effectiveness of V DeepOnet through two benchmarks of brittle fracture, and we verify its accuracy using results from high fidelity solvers. Encoding the physical laws and also some data to train the network renders the surrogate model capable of accurately performing both interpolation and extrapolation tasks, considering that fracture modeling is very sensitive to fluctuations. The proposed hybrid training of V DeepONet is superior to state of the art methods and can be applied to a wide array of dynamical systems with complex responses.


Handling Data Heterogeneity with Generative Replay in Collaborative Learning for Medical Imaging. Collaborative learning, which enables collaborative and decentralized training of deep neural networks at multiple institutions in a privacy preserving manner, is rapidly emerging as a valuable technique in healthcare applications. However, its distributed nature often leads to significant heterogeneity in data distributions across institutions. In this paper, we present a novel generative replay strategy to address the challenge of data heterogeneity in collaborative learning methods. Different from traditional methods that directly aggregating the model parameters, we leverage generative adversarial learning to aggregate the knowledge from all the local institutions. Specifically, instead of directly training a model for task performance, we develop a novel dual model architecture a primary model learns the desired task, and an auxiliary "generative replay model" allows aggregating knowledge from the heterogenous clients. The auxiliary model is then broadcasted to the central sever, to regulate the training of primary model with an unbiased target distribution. Experimental results demonstrate the capability of the proposed method in handling heterogeneous data across institutions. On highly heterogeneous data partitions, our model achieves 4.88 improvement in the prediction accuracy on a diabetic retinopathy classification dataset, and 49.8 reduction of mean absolution value on a Bone Age prediction dataset, respectively, compared to the state of the art collaborative learning methods.


A Limitlessly Scalable Transaction System. We present Accept, a simple, asynchronous transaction system that achieves perfect horizontal scaling. Usual blockchain based transaction systems come with a fundamental throughput limitation as they require that all (potentially unrelated) transactions must be totally ordered. Such solutions thus require serious compromises or are outright unsuitable for large scale applications, such as global retail payments. Accept provides efficient horizontal scaling without any limitation. To that end, Accept satisfies a relaxed form of consensus and does not establish an ordering of unrelated transactions. Furthermore, Accept achieves instant finality and does not depend on a source of randomness.


Recurrent Glimpse based Decoder for Detection with Transformer. Although detection with Transformer (DETR) is increasingly popular, its global attention modeling requires an extremely long training period to optimize and achieve promising detection performance. Alternative to existing studies that mainly develop advanced feature or embedding designs to tackle the training issue, we point out that the Region of Interest (RoI) based detection refinement can easily help mitigate the difficulty of training for DETR methods. Based on this, we introduce a novel REcurrent Glimpse based decOder (REGO) in this paper. In particular, the REGO employs a multi stage recurrent processing structure to help the attention of DETR gradually focus on foreground objects more accurately. In each processing stage, visual features are extracted as glimpse features from RoIs with enlarged bounding box areas of detection results from the previous stage. Then, a glimpse based decoder is introduced to provide refined detection results based on both the glimpse features and the attention modeling outputs of the previous stage. In practice, REGO can be easily embedded in representative DETR variants while maintaining their fully end to end training and inference pipelines. In particular, REGO helps Deformable DETR achieve 44.8 AP on the MSCOCO dataset with only 36 training epochs, compared with the first DETR and the Deformable DETR that require 500 and 50 epochs to achieve comparable performance, respectively. Experiments also show that REGO consistently boosts the performance of different DETR detectors by up to 7 relative gain at the same setting of 50 training epochs. Code is available via https github.com zhechen Deformable DETR REGO.


Common Complexes of Decompositions and Complex Balanced Equilibria of Chemical Reaction Networks. A decomposition of a chemical reaction network (CRN) is produced by partitioning its set of reactions. The partition induces networks, called subnetworks, that are "smaller" than the given CRN which, at this point, can be called parent network. A complex is called a common complex if it occurs in at least two subnetworks in a decomposition. A decomposition is said to be incidence independent if the image of the incidence map of the parent network is the direct sum of the images of the subnetworks' incidence maps. It has been recently discovered that the complex balanced equilibria of the parent network and its subnetworks are fundamentally connected in an incidence independent decomposition. In this paper, we utilized the set of common complexes and a developed criterion to investigate decomposition's incidence independence properties. A framework was also developed to analyze decomposition classes with similar structure and incidence independence properties. We identified decomposition classes that can be characterized by their sets of common complexes and studied their incidence independence. Some of these decomposition classes occur in some biological and chemical models. Finally, a sufficient condition was obtained for the complex balancing of some power law kinetic (PLK) systems with incidence independent and complex balanced decompositions. This condition led to a generalization of the Defficiency Zero Theorem for some PLK systems.


P2T Pyramid Pooling Transformer for Scene Understanding. Recently, the vision transformer has achieved great successes by pushing the state of the arts of various vision tasks. One of the most challenging problems in the vision transformer is that the large sequence length of image tokens leads to high computational cost (quadratic complexity). A popular solution to this problem is to use a single pooling operation to reduce the sequence length. This paper considers how to improve existing vision transformers where the pooled feature extracted by a single pooling operation seems less powerful. To this end, we note that pyramid pooling has been demonstrated to be effective in various vision tasks owing to its powerful ability in context abstraction. However, pyramid pooling has not been explored in backbone network design. To bridge this gap, we propose to adapt pyramid pooling to Multi Head Self Attention (MHSA) in the vision transformer, simultaneously reducing the sequence length and capturing powerful contextual features. Plugged with our pooling based MHSA, we build a universal vision transformer backbone, dubbed Pyramid Pooling Transformer (P2T). Extensive experiments demonstrate that, when applied P2T as the backbone network, it shows substantial superiority in various vision tasks such as image classification, semantic segmentation, object detection, and instance segmentation, compared to previous CNN and transformer based networks. The code will be released at https github.com yuhuan wu P2T.


Automated Security Assessment for the Internet of Things. Internet of Things (IoT) based applications face an increasing number of potential security risks, which need to be systematically assessed and addressed. Expert based manual assessment of IoT security is a predominant approach, which is usually inefficient. To address this problem, we propose an automated security assessment framework for IoT networks. Our framework first leverages machine learning and natural language processing to analyze vulnerability descriptions for predicting vulnerability metrics. The predicted metrics are then input into a two layered graphical security model, which consists of an attack graph at the upper layer to present the network connectivity and an attack tree for each node in the network at the bottom layer to depict the vulnerability information. This security model automatically assesses the security of the IoT network by capturing potential attack paths. We evaluate the viability of our approach using a proof of concept smart building system model which contains a variety of real world IoT devices and potential vulnerabilities. Our evaluation of the proposed framework demonstrates its effectiveness in terms of automatically predicting the vulnerability metrics of new vulnerabilities with more than 90 accuracy, on average, and identifying the most vulnerable attack paths within an IoT network. The produced assessment results can serve as a guideline for cybersecurity professionals to take further actions and mitigate risks in a timely manner.


Wearable Affective Memory Augmentation. Human memory prioritizes the storage and recall of information that is emotionally arousing and or important in a process known as value directed memory. When experiencing a stream of information (e.g. conversation, book, lecture, etc.), the individual makes conscious and subconscious value assessments of the incoming information and uses this as a metric to determine what to remember. In order to improve automatic recall of memory, previous memory augmentation systems have sensed users' physiological state to determine which sensory media should be prioritized. Here, we propose to prioritize memories using the affective state of individuals that the user is interacting with. Thereby, the proposed wearable Affective Memory Augmentation system uses affective information from the user's social companions in order to facilitate value directed memory.


Remote Sensing Image Change Detection with Transformers. Modern change detection (CD) has achieved remarkable success by the powerful discriminative ability of deep convolutions. However, high resolution remote sensing CD remains challenging due to the complexity of objects in the scene. Objects with the same semantic concept may show distinct spectral characteristics at different times and spatial locations. Most recent CD pipelines using pure convolutions are still struggling to relate long range concepts in space time. Non local self attention approaches show promising performance via modeling dense relations among pixels, yet are computationally inefficient. Here, we propose a bitemporal image transformer (BIT) to efficiently and effectively model contexts within the spatial temporal domain. Our intuition is that the high level concepts of the change of interest can be represented by a few visual words, i.e., semantic tokens. To achieve this, we express the bitemporal image into a few tokens, and use a transformer encoder to model contexts in the compact token based space time. The learned context rich tokens are then feedback to the pixel space for refining the original features via a transformer decoder. We incorporate BIT in a deep feature differencing based CD framework. Extensive experiments on three CD datasets demonstrate the effectiveness and efficiency of the proposed method. Notably, our BIT based model significantly outperforms the purely convolutional baseline using only 3 times lower computational costs and model parameters. Based on a naive backbone (ResNet18) without sophisticated structures (e.g., FPN, UNet), our model surpasses several state of the art CD methods, including better than four recent attention based methods in terms of efficiency and accuracy. Our code is available at https github.com justchenhao BIT CD.


Graphs where Search Methods are Indistinguishable. Graph searching is one of the simplest and most widely used tools in graph algorithms. Every graph search method is defined using some particular selection rule, and the analysis of the corresponding vertex orderings can aid greatly in devising algorithms, writing proofs of correctness, or recognition of various graph families. We study graphs where the sets of vertex orderings produced by two different search methods coincide. We characterise such graph families for ten pairs from the best known set of graph searches Breadth First Search (BFS), Depth First Search (DFS), Lexicographic Breadth First Search (LexBFS) and Lexicographic Depth First Search (LexDFS), and Maximal Neighborhood Search (MNS).


CHISEL Compression Aware High Accuracy Embedded Indoor Localization with Deep Learning. GPS technology has revolutionized the way we localize and navigate outdoors. However, the poor reception of GPS signals in buildings makes it unsuitable for indoor localization. WiFi fingerprinting based indoor localization is one of the most promising ways to meet this demand. Unfortunately, most work in the domain fails to resolve challenges associated with deployability on resource limited embedded devices. In this work, we propose a compression aware and high accuracy deep learning framework called CHISEL that outperforms the best known works in the area while maintaining localization robustness on embedded devices.


Untangling urban data signatures unsupervised machine learning methods for the detection of urban archetypes at the pedestrian scale. Urban morphological measures applied at a high resolution of spatial analysis can yield a wealth of data describing characteristics of the urban environment in a substantial degree of detail however, such forms of high dimensional numeric datasets are not immediately relatable to broader constructs rooted in conventional conceptions of urbanism. Data science and machine learning (ML) methods provide an opportunity to explore such forms of complex datasets by applying unsupervised ML methods to reduce the dimensionality of the data while recovering latent themes and characteristic patterns which may resonate with urbanist discourse more generally. Dimensionality reduction and clustering methods, including Principal Component Analysis (PCA), Variational Autoencoders, and an Autoencoder based Gaussian Mixture Model, are discussed and demonstrated for purposes of untangling' urban datasets, revealing themes bridging quantitative and qualitative descriptions of urbanism. The methods are applied to a dataset for Greater London consisting of network centralities, land use accessibilities, mixed use measures, and density measures. The measures are computed at pedestrian walking tolerances at a 20m network resolution utilising a local windowing methodology with distances computed directly over the network and with aggregations performed dynamically and with respect to the direction of approach, thus preserving the relationships between the variables and retaining contextual precision. Whereas the demonstrated methods hold tremendous potential, their power is difficult to convey or fully exploit using conventional lower dimensional visualisation methods, thus underscoring a need for subsequent research into how such methods may be coupled to interactive visualisation tools to further elucidate the richness of the data and its potential implications.


Propagation dynamics of radially polarized symmetric Airy beams in the fractional Schr "odinger equation. We analyze the propagation dynamics of radially polarized symmetric Airy beams (R SABs) in a (2 1) dimensional optical system with fractional diffraction, modeled by the fractional Schr "odinger equation (FSE) characterized by the L 'evy index. The autofocusing effect featured by such beams becomes stronger, while the focal length becomes shorter, with the increase of . The effect of the intrinsic vorticity on the autofocusing dynamics of the beams is considered too. Then, the ability of R SABs to capture nano particles by means of radiation forces is explored, and multiple capture positions emerging in the course of the propagation are identified. Finally, we find that the propagation of the vortical R SABs with an off axis shift leads to rupture of the ring shaped pattern of the power density distribution.


Can 4th order compact schemes exist for flux type BCs?. In this paper new innovative fourth order compact schemes for Robin and Neumann boundary conditions have been developed for boundary value problems of elliptic PDEs in two and three dimensions. Different from traditional finite difference operator approach, which may not work for flux type of boundary conditions, carefully designed undetermined coefficient methods are utilized in developing high order compact (HOC) schemes. The new methods not only can be utilized to design HOC schemes for flux type of boundary conditions but can also be applied to general elliptic PDEs including Poisson, Helmholtz, diffusion advection, and anisotropic equations with linear boundary conditions. In the new developed HOC methods, the coefficient matrices are generally M matrices, which guarantee the discrete maximum principle for well posed problems, so the convergence of the HOC methods. The developed HOC methods are versatile and can cover most of high order compact schemes in the literature. The HOC methods for Robin boundary conditions and for anisotropic diffusion and advection equations with Robin or even Dirichlet boundary conditions are likely the first ones that have ever been developed. With the help of pseudo inverse, or SVD solutions, we have also observed that the developed HOC methods usually have smaller error constants compared with traditional HOC methods when applicable. Non trivial examples with large wave numbers and oscillatory solutions are presented to confirm the performance of the new HOC methods.