title: Graph based Clustering Algorithm for Social Community Transmission Prediction of COVID-19

abstract: A system to model the spread of COVID-19 cases after lockdown has been proposed, to define new preventive measures based on hotspots, using the graph clustering algorithm. This method allows for more lenient measures in areas less prone to the virus spread. There exist methods to model the spread of the virus, by predicting the number of confirmed cases. But the proposed system focuses more on the preventive side of the solution from a geographical point of view, by predicting the areas or regions that may become hotspots for the virus in the near future. The fact that the virus can only be transmitted by being in close proximity to an already infected person, suggests that, the regions that can easily be reached from an existing hotspot, have a higher chance of becoming a new hotspot. Moreover, in smaller regions, even after strict provisions, positive cases have been found. To consider this fact, the geographic distance between the nearest hotspots can be used as a measure of likelihood of the region also becoming a hotspot. In this paper, a weighted graph of regions with the regions themselves as weighted nodes with weight of the nodes as the number of active cases and the distance as edge weights. The graph can be completely connected or connected based on a distance threshold. The nodes are the administrative, and the distance measure tells the possible transmission between separate communities. Using this data, the potential regions that can become hotspots can be predicted, and preventive measures can be devised.


title: Inter-domain Deep Gaussian Processes

abstract: Inter-domain Gaussian processes (GPs) allow for high flexibility and low computational cost when performing approximate inference in GP models. They are particularly suitable for modeling data exhibiting global structure but are limited to stationary covariance functions and thus fail to model non-stationary data effectively. We propose Inter-domain Deep Gaussian Processes, an extension of inter-domain shallow GPs that combines the advantages of inter-domain and deep Gaussian processes (DGPs), and demonstrate how to leverage existing approximate inference methods to perform simple and scalable approximate inference using inter-domain features in DGPs. We assess the performance of our method on a range of regression tasks and demonstrate that it outperforms inter-domain shallow GPs and conventional DGPs on challenging large-scale real-world datasets exhibiting both global structure as well as a high-degree of non-stationarity.


title: Deep Learning for Text Style Transfer: A Survey

abstract: Text style transfer is an important task in natural language generation, which aims to control certain attributes in the generated text, such as politeness, emotion, humor, and many others. It has a long history in the field of natural language processing, and recently has re-gained significant attention thanks to the promising performance brought by deep neural models. In this paper, we present a systematic survey of the research on neural text style transfer, spanning over 100 representative articles since the first neural text style transfer work in 2017. We discuss the task formulation, existing datasets and subtasks, evaluation, as well as the rich methodologies in the presence of parallel and non-parallel data. We also provide discussions on a variety of important topics regarding the future development of this task. Our curated paper list is at https://github.com/zhijing-jin/Text_Style_Transfer_Survey


title: DebiNet: Debiasing Linear Models with Nonlinear Overparameterized Neural Networks

abstract: Recent years have witnessed strong empirical performance of over-parameterized neural networks on various tasks and many advances in the theory, e.g. the universal approximation and provable convergence to global minimum. In this paper, we incorporate over-parameterized neural networks into semi-parametric models to bridge the gap between inference and prediction, especially in the high dimensional linear problem. By doing so, we can exploit a wide class of networks to approximate the nuisance functions and to estimate the parameters of interest consistently. Therefore, we may offer the best of two worlds: the universal approximation ability from neural networks and the interpretability from classic ordinary linear model, leading to both valid inference and accurate prediction. We show the theoretical foundations that make this possible and demonstrate with numerical experiments. Furthermore, we propose a framework, DebiNet, in which we plug-in arbitrary feature selection methods to our semi-parametric neural network. DebiNet can debias the regularized estimators (e.g. Lasso) and perform well, in terms of the post-selection inference and the generalization error.


title: Monitoring-based Differential Privacy Mechanism Against Query-Flooding Parameter Duplication Attack

abstract: Public intelligent services enabled by machine learning algorithms are vulnerable to model extraction attacks that can steal confidential information of the learning models through public queries. Though there are some protection options such as differential privacy (DP) and monitoring, which are considered promising techniques to mitigate this attack, we still find that the vulnerability persists. In this paper, we propose an adaptive query-flooding parameter duplication (QPD) attack. The adversary can infer the model information with black-box access and no prior knowledge of any model parameters or training data via QPD. We also develop a defense strategy using DP called monitoring-based DP (MDP) against this new attack. In MDP, we first propose a novel real-time model extraction status assessment scheme called Monitor to evaluate the situation of the model. Then, we design a method to guide the differential privacy budget allocation called APBA adaptively. Finally, all DP-based defenses with MDP could dynamically adjust the amount of noise added in the model response according to the result from Monitor and effectively defends the QPD attack. Furthermore, we thoroughly evaluate and compare the QPD attack and MDP defense performance on real-world models with DP and monitoring protection.


title: Characterizing Service Provider Response to the COVID-19 Pandemic in the United States

abstract: The COVID-19 pandemic has resulted in dramatic changes to the daily habits of billions of people. Users increasingly have to rely on home broadband Internet access for work, education, and other activities. These changes have resulted in corresponding changes to Internet traffic patterns. This paper aims to characterize the effects of these changes with respect to Internet service providers in the United States. We study three questions: (1)How did traffic demands change in the United States as a result of the COVID-19 pandemic?; (2)What effects have these changes had on Internet performance?; (3)How did service providers respond to these changes? We study these questions using data from a diverse collection of sources. Our analysis of interconnection data for two large ISPs in the United States shows a 30-60% increase in peak traffic rates in the first quarter of 2020. In particular, we observe traffic downstream peak volumes for a major ISP increase of 13-20% while upstream peaks increased by more than 30%. Further, we observe significant variation in performance across ISPs in conjunction with the traffic volume shifts, with evident latency increases after stay-at-home orders were issued, followed by a stabilization of traffic after April. Finally, we observe that in response to changes in usage, ISPs have aggressively augmented capacity at interconnects, at more than twice the rate of normal capacity augmentation. Similarly, video conferencing applications have increased their network footprint, more than doubling their advertised IP address space.


title: Cosmography in $f(Q)$ gravity

abstract: Cosmography is an ideal tool to investigate the cosmic expansion history of the Universe in a model-independent way. The equations of motion in modified theories of gravity are usually very complicated; cosmography may select practical models without imposing arbitrary choices a priori. We use the model-independent way to derive $f(z)$ and its derivatives up to fourth order in terms of measurable cosmographic parameters. We then fit those functions into the luminosity distance directly. We perform the MCMC analysis by considering three different sets of cosmographic functions. Using the largest supernovae Ia Pantheon sample, we derive the constraints on the Hubble constant $H_0$ and the cosmographic functions, and find that the former two terms in Taylor expansion of luminosity distance work dominantly in $f(Q)$ gravity.


title: Floquet-Bloch Oscillations and Intraband Zener Tunneling in an Oblique Spacetime Crystal

abstract: We investigate an oblique spacetime crystal realized by a monoatomic crystal in which a mode of sound propagates. We provide a systematic analysis of the crystal and obtain the corresponding band structure, based on which the electron dynamics under an external electric field is studied. Several unique band topologies are revealed, which lead to novel Floquet-Bloch oscillations in the electron's motion. We also discover intraband Zener tunneling in the oblique spacetime crystal beyond the adiabatic limit, which effectively converts between the different band topologies. Our results indicate the possibility of a prototypical quantum acoustoelectric generator that converts energy between the sound wave and a DC electric field in quantized units.


title: Future-Aware Diverse Trends Framework for Recommendation

abstract: In recommender systems, modeling user-item behaviors is essential for user representation learning. Existing sequential recommenders consider the sequential correlations between historically interacted items for capturing users' historical preferences. However, since users' preferences are by nature time-evolving and diversified, solely modeling the historical preference (without being aware of the time-evolving trends of preferences) can be inferior for recommending complementary or fresh items and thus hurt the effectiveness of recommender systems. In this paper, we bridge the gap between the past preference and potential future preference by proposing the future-aware diverse trends (FAT) framework. By future-aware, for each inspected user, we construct the future sequences from other similar users, which comprise of behaviors that happen after the last behavior of the inspected user, based on a proposed neighbor behavior extractor. By diverse trends, supposing the future preferences can be diversified, we propose the diverse trends extractor and the time-aware mechanism to represent the possible trends of preferences for a given user with multiple vectors. We leverage both the representations of historical preference and possible future trends to obtain the final recommendation. The quantitative and qualitative results from relatively extensive experiments on real-world datasets demonstrate the proposed framework not only outperforms the state-of-the-art sequential recommendation methods across various metrics, but also makes complementary and fresh recommendations.


title: Light induced resistive switching in copper oxide thin films

abstract: Copper oxide thin film based metal-insulator-metal structures were subjected to white light irradiation.The top electrodes included Al, Cr and Ni while the bottom electrode was either Au or Pt. A white light pulse controls the set process and this light induced set (LIS) can be performed at very low voltages (tens of milli volts) which is not possible in the normal set process. The LIS is initiated at the positive edge of the pulse and there is no effect of the falling edge of the light. In most cases the high resistance state (HRS) to low resistance state (LRS) transition is irreversible i.e.the devices continue to remain in the LRS even after the light pulse is switched off. Light induced reset (LIR) is achieved in only one device structure Al/CuxO/Au. By using LIS and LIR, set and reset power of the device can be reduced to a great extent and the set and reset parameters variation also reduces. The current work, thus, points to the possibility of formation and compliance-free resistive random access memory devices.


title: Sample Efficient Training in Multi-Agent Adversarial Games with Limited Teammate Communication

abstract: We describe our solution approach for Pommerman TeamRadio, a competition environment associated with NeurIPS 2019. The defining feature of our algorithm is achieving sample efficiency within a restrictive computational budget while beating the previous years learning agents. The proposed algorithm (i) uses imitation learning to seed the policy, (ii) explicitly defines the communication protocol between the two teammates, (iii) shapes the reward to provide a richer feedback signal to each agent during training and (iv) uses masking for catastrophic bad actions. We describe extensive tests against baselines, including those from the 2019 competition leaderboard, and also a specific investigation of the learned policy and the effect of each modification on performance. We show that the proposed approach is able to achieve competitive performance within half a million games of training, significantly faster than other studies in the literature.


title: Analyzing the Effect of Multi-task Learning for Biomedical Named Entity Recognition

abstract: Developing high-performing systems for detecting biomedical named entities has major implications. State-of-the-art deep-learning based solutions for entity recognition often require large annotated datasets, which is not available in the biomedical domain. Transfer learning and multi-task learning have been shown to improve performance for low-resource domains. However, the applications of these methods are relatively scarce in the biomedical domain, and a theoretical understanding of why these methods improve the performance is lacking. In this study, we performed an extensive analysis to understand the transferability between different biomedical entity datasets. We found useful measures to predict transferability between these datasets. Besides, we propose combining transfer learning and multi-task learning to improve the performance of biomedical named entity recognition systems, which is not applied before to the best of our knowledge.


title: Soft Hybrid Aerial Vehicle via Bistable Mechanism

abstract: Unmanned aerial vehicles have been demonstrated successfully in a variety of tasks, including surveying and sampling tasks over large areas. These vehicles can take many forms. Quadrotors' agility and ability to hover makes them well suited for navigating potentially tight spaces, while fixed wing aircraft are capable of efficient flight over long distances. Hybrid aerial vehicles (HAVs) attempt to achieve both of these benefits by exhibiting multiple modes; however, morphing HAVs typically require extra actuators which add mass, reducing both agility and efficiency. We propose a morphing HAV with folding wings that exhibits both a quadrotor and a fixed wing mode without requiring any extra actuation. This is achieved by leveraging the motion of a bistable mechanism at the center of the aircraft to drive folding of the wing using only the existing motors and the inertia of the system. We optimize both the bistable mechanism and the folding wing using a topology optimization approach. The resulting mechanisms were fabricated on a 3D printer and attached to an existing quadrotor frame. Our prototype successfully transitions between both modes and our experiments demonstrate that the behavior of the fabricated prototype is consistent with that of the simulation.


title: Efficient Pipelines for Vision-Based Context Sensing

abstract: Context awareness is an essential part of mobile and ubiquitous computing. Its goal is to unveil situational information about mobile users like locations and activities. The sensed context can enable many services like navigation, AR, and smarting shopping. Such context can be sensed in different ways including visual sensors. There is an emergence of vision sources deployed worldwide. The cameras could be installed on roadside, in-house, and on mobile platforms. This trend provides huge amount of vision data that could be used for context sensing. However, the vision data collection and analytics are still highly manual today. It is hard to deploy cameras at large scale for data collection. Organizing and labeling context from the data are also labor intensive. In recent years, advanced vision algorithms and deep neural networks are used to help analyze vision data. But this approach is limited by data quality, labeling effort, and dependency on hardware resources. In summary, there are three major challenges for today's vision-based context sensing systems: data collection and labeling at large scale, process large data volumes efficiently with limited hardware resources, and extract accurate context out of vision data. The thesis explores the design space that consists of three dimensions: sensing task, sensor types, and task locations. Our prior work explores several points in this design space. We make contributions by (1) developing efficient and scalable solutions for different points in the design space of vision-based sensing tasks; (2) achieving state-of-the-art accuracy in those applications; (3) and developing guidelines for designing such sensing systems.


title: Two-layer clustering-based sparsifying transform learning for low-dose CT reconstruction

abstract: Achieving high-quality reconstructions from low-dose computed tomography (LDCT) measurements is of much importance in clinical settings. Model-based image reconstruction methods have been proven to be effective in removing artifacts in LDCT. In this work, we propose an approach to learn a rich two-layer clustering-based sparsifying transform model (MCST2), where image patches and their subsequent feature maps (filter residuals) are clustered into groups with different learned sparsifying filters per group. We investigate a penalized weighted least squares (PWLS) approach for LDCT reconstruction incorporating learned MCST2 priors. Experimental results show the superior performance of the proposed PWLS-MCST2 approach compared to other related recent schemes.


title: Extrema Analysis of Node Centrality in Weighted Networks

abstract: A very interesting matter of Network Science is assessing how complex a given network is. In other words, by how much does such a network departs from any general patterns which could be evoked for its description. Among other choices, these patterns can be defined in terms of node or edge properties, as one of the various modes of centrality. Although there are centrality indexes defined for weighted graphs, the discussions on this subject are far from over, especially because the influence of edge weights in this regard can vary not only in form but also in intensity, a still incipient approach so far. For the aforementioned complexity evaluation, the situation is even more acute: to the best of our knowledge, this was never addressed in the literature, from the standpoint of centrality in weighted graphs. This paper details in a colorful fashion a sound methodology covering both topics, as well as experiments confirming its practical applicability and future trends in this context.


title: Transients in lossy transmission lines

abstract: Numerical inverse Laplace transforms are used to analyze the transient response of non-ideal transmission lines to a voltage step. We find that the detailed shape of the transient response is sensitive conductor losses, but insensitive to dielectric losses. Furthermore, we find that the low-loss approximations for the transmission line propagation constant and characteristic impedance in the complex-frequency domain are sufficient to accurately model the observed transient response. We also investigate the effects of: (1) a parasitic capacitance terminating the open end of the coaxial transmission line, (2) the input impedance of the oscilloscope used to make the measurements, and (3) the finite rise time of the voltage step. Finally, we cool a semi-rigid coaxial cable in liquid nitrogen so as to reduced conductor lossless and observe a transient response that is closer to that expected from an ideal lossless line.


title: Heuristic-based Mining of Service Behavioral Models from Interaction Traces

abstract: Software behavioral models have proven useful for emulating and testing software systems. Many techniques have been proposed to infer behavioral models of software systems from their interaction traces. The quality of the inferred model is critical to its successful use. While generalization is necessary to deduce concise behavioral models, existing techniques of inferring models, in general, overgeneralize what behavior is valid. Imprecise models include many spurious behaviors, and thus compromise the effectiveness of their use. In this paper, we propose a novel technique that increases the accuracy of the behavioral model inferred from interaction traces. The essence of our approach is a heuristic-based generalization and truthful minimization. The set of heuristics include patterns to match input traces and generalize them towards concise model representations. Furthermore, we adopt a truthful minimization technique to merge these generalized traces. The key insight of our approach is to infer a concise behavioral model without compromising its accuracy. We present an empirical evaluation of how our approach improves upon the state-of-the-art specification inference techniques. The results show that our approach mines model with 100% precision and recall with a limited computation overhead.


title: Gamblers Learn from Experience

abstract: Mobile phone-based sports betting has exploded in popularity in many African countries. Commentators worry that low-ability gamblers will not learn from experience, and may rely on debt to gamble. Using data on financial transactions for over 50 000 Kenyan smartphone users, we find that gamblers do learn from experience. Gamblers are less likely to bet following poor results and more likely to bet following good results. The reaction to positive and negative feedback is of equal magnitude and is consistent with a model of Bayesian updating. Using an instrumental variables strategy, we find no evidence that increased gambling leads to increased debt.


title: Lasso hyperinterpolation over general regions

abstract: This paper develops a fully discrete soft thresholding polynomial approximation over a general region, named Lasso hyperinterpolation. This approximation is an $\ell_1$-regularized discrete least squares approximation under the same conditions of hyperinterpolation. Lasso hyperinterpolation also uses a high-order quadrature rule to approximate the Fourier coefficients of a given continuous function with respect to some orthonormal basis, and then it obtains its coefficients by acting a soft threshold operator on all approximated Fourier coefficients. Lasso hyperinterpolation is not a discrete orthogonal projection, but it is an efficient tool to deal with noisy data. We theoretically analyze Lasso hyperinterpolation for continuous and smooth functions. The principal results are twofold: the norm of the Lasso hyperinterpolation operator is bounded independently of the polynomial degree, which is inherited from hyperinterpolation; and the $L_2$ error bound of Lasso hyperinterpolation is less than that of hyperinterpolation when the level of noise becomes large, which improves the robustness of hyperinterpolation. Explicit constructions and corresponding numerical examples of Lasso hyperinterpolation over intervals, discs, spheres, and cubes are given.


title: Linear equations on Drinfeld modules

abstract: Let $L$ be a finite extension of the rational function field over a finite field $\mathbb{F}_q$ and $E$ be a Drinfeld module defined over $L$. Given finitely many elements in $E(L)$, this paper aims to prove that linear relations among these points can be characterized by solutions of an explicitly constructed system of homogeneous linear equations over $\mathbb{F}_q[t]$. As a consequence, we show that there is an explicit upper bound for the size of the generators of linear relations among these points. This result can be regarded as an analogue of a theorem of Masser for finitely many $K$-rational points on an elliptic curve defined over a number field $K$.


title: Optimal Portfolio Using Factor Graphical Lasso

abstract: Graphical models are a powerful tool to estimate a high-dimensional inverse covariance (precision) matrix, which has been applied for a portfolio allocation problem. The assumption made by these models is a sparsity of the precision matrix. However, when stock returns are driven by common factors, such assumption does not hold. We address this limitation and develop a framework, Factor Graphical Lasso (FGL), which integrates graphical models with the factor structure in the context of portfolio allocation by decomposing a precision matrix into low-rank and sparse components. Our theoretical results and simulations show that FGL consistently estimates the portfolio weights and risk exposure and also that FGL is robust to heavy-tailed distributions which makes our method suitable for financial applications. FGL-based portfolios are shown to exhibit superior performance over several prominent competitors including equal-weighted and Index portfolios in the empirical application for the S&P500 constituents.


title: A Unified Framework for Joint Energy and AoI Optimization via Deep Reinforcement Learning for NOMA MEC-based Networks

abstract: In this paper, we design a novel scheduling and resource allocation algorithm for a smart mobile edge computing (MEC) assisted radio access network. Different from previous energy efficiency (EE) based or the average age of information (AAoI)-based network designs, we propose a unified metric for simultaneously optimizing ESE and AAoI of the network. To further improve the system capacity, non-orthogonal multiple access (NOMA) is proposed as a candidate for multiple access schemes for future cellular networks. Our main aim is to maximize the long-term objective function under AoI, NOMA, and resource capacity constraints using stochastic optimization. To overcome the complexities and unknown dynamics of the network parameters (e.g., wireless channel and interference), we apply the concept of reinforcement learning and implement a deep Q-network (DQN). Simulation results illustrate the effectiveness of the proposed framework and analyze different parameters impact on network performance. Based on the results, our proposed reward function converges fast with negligible loss value. Also, they illustrate our work outperforms the existing state of the art baselines up to 64% in the objective function and 51% in AAoI, which are stated as examples.


title: Borel and analytic sets in locales

abstract: We systematically develop analogs of basic concepts from classical descriptive set theory in the context of pointless topology. Our starting point is to take the elements of the free complete Boolean algebra generated by the frame $\mathcal{O}(X)$ of opens to be the "$\infty$-Borel sets" in a locale $X$. We show that several known results in locale theory may be interpreted in this framework as direct analogs of classical descriptive set-theoretic facts, including e.g., the Lusin separation, Lusin-Suslin, and Baire category theorems for locales; we also prove several extensions of these results. We give a detailed analysis of various notions of image, and prove that a continuous map need not have an $\infty$-Borel image. We introduce the category of "analytic $\infty$-Borel locales" as the regular completion under images of the unary site of locales and $\infty$-Borel maps, and prove analogs of several classical results about analytic sets, such as a boundedness theorem for well-founded analytic relations. We also consider the "positive $\infty$-Borel sets" of a locale, formed from opens without using $\neg$. We in fact work throughout with $\kappa$-copresented $\kappa$-locales and $\kappa$-Borel sets for arbitrary regular $\omega_1 \le \kappa \le \infty$, thereby incorporating the classical context as the special case $\kappa = \omega_1$. The basis for the aforementioned localic results is a detailed study of various known and new methods for presenting $\kappa$-frames, $\kappa$-Boolean algebras, etc. In particular, we introduce a new type of "two-sided posite" for presenting $(\kappa, \kappa)$-frames $A$ (i.e., both $A$ and $A^{op}$ are $\kappa$-frames), and use this to prove a general $\kappa$-ary interpolation theorem for $(\kappa, \kappa)$-frames, which dualizes to the aforementioned separation theorems.


title: Comparison of the upper atmosphere temperature obtained by ground-based and satellite instruments

abstract: An approach is demonstrated for comparing the temperature of the upper atmosphere obtained by ground-based and satellite methods. A method for calibrating ground-based instruments (Fabry-Perot interferometer) based on the data obtained and determining the exact altitude at which the temperature was measured by ground-based means is proposed. Based on the assumption that the temperatures are connected in a linear fashion, the coefficients of the temperatures connection are determined by the least squares method. We use information on the temperature of the upper atmosphere for 2017-2018 obtained by the SABER TIMED and MLS Aura satellite instruments, and by the Fabry-Perot interferometer located at the Tory geophysical observatory of the ISTP of the SB RAS observing the 557.7 nm oxygen line, the emission height is ~ 100 km. The scale factor about 0.99 and the displacement coefficient about 120K were obtained for the temperature data using an interferometer at a height of 92 km for which the seasonal variation of the temperatures of the interferometer most closely corresponds to the seasonal variation of the temperatures obtained by SABER TIMED. The coefficients can then be used as calibration values for the interferometer.


title: Robust localization for planar moving robot in changing environment: A perspective on density of correspondence and depth

abstract: Visual localization for planar moving robot is important to various indoor service robotic applications. To handle the textureless areas and frequent human activities in indoor environments, a novel robust visual localization algorithm which leverages dense correspondence and sparse depth for planar moving robot is proposed. The key component is a minimal solution which computes the absolute camera pose with one 3D-2D correspondence and one 2D-2D correspondence. The advantages are obvious in two aspects. First, the robustness is enhanced as the sample set for pose estimation is maximal by utilizing all correspondences with or without depth. Second, no extra effort for dense map construction is required to exploit dense correspondences for handling textureless and repetitive texture scenes. That is meaningful as building a dense map is computational expensive especially in large scale. Moreover, a probabilistic analysis among different solutions is presented and an automatic solution selection mechanism is designed to maximize the success rate by selecting appropriate solutions in different environmental characteristics. Finally, a complete visual localization pipeline considering situations from the perspective of correspondence and depth density is summarized and validated on both simulation and public real-world indoor localization dataset. The code is released on github.


title: Learning When to Switch: Composing Controllers to Traverse a Sequence of Terrain Artifacts

abstract: Legged robots often use separate control policiesthat are highly engineered for traversing difficult terrain suchas stairs, gaps, and steps, where switching between policies isonly possible when the robot is in a region that is commonto adjacent controllers. Deep Reinforcement Learning (DRL)is a promising alternative to hand-crafted control design,though typically requires the full set of test conditions to beknown before training. DRL policies can result in complex(often unrealistic) behaviours that have few or no overlappingregions between adjacent policies, making it difficult to switchbehaviours. In this work we develop multiple DRL policieswith Curriculum Learning (CL), each that can traverse asingle respective terrain condition, while ensuring an overlapbetween policies. We then train a network for each destinationpolicy that estimates the likelihood of successfully switchingfrom any other policy. We evaluate our switching methodon a previously unseen combination of terrain artifacts andshow that it performs better than heuristic methods. Whileour method is trained on individual terrain types, it performscomparably to a Deep Q Network trained on the full set ofterrain conditions. This approach allows the development ofseparate policies in constrained conditions with embedded priorknowledge about each behaviour, that is scalable to any numberof behaviours, and prepares DRL methods for applications inthe real world


title: CL-MAPF: Multi-Agent Path Finding for Car-Like Robots with Kinematic and Spatiotemporal Constraints

abstract: Multi-Agent Path Finding has been widely studied in the past few years due to its broad application in the field of robotics and AI. However, previous solvers rely on several simplifying assumptions. They limit their applicability in numerous real-world domains that adopt nonholonomic car-like agents rather than holonomic ones. In this paper, we give a mathematical formalization of Multi-Agent Path Finding for Car-Like robots (CL-MAPF) problem. For the first time, we propose a novel hierarchical search-based solver called Car-like Conflict-Based Search to address this problem. It applies a body conflict tree to address collisions considering shapes of the agents. We introduce a new algorithm called Spatiotemporal Hybrid-State A* as the single-agent path planner to generate path satisfying both kinematic and spatiotemporal constraints. We also present a sequential planning version of our method for the sake of efficiency. We compare our method with two baseline algorithms on a dedicated benchmark containing 3000 instances and validate it in real-world scenarios. The experiment results give clear evidence that our algorithm scales well to a large number of agents and is able to produce solutions that can be directly applied to car-like robots in the real world. The benchmark and source code are released in https://github.com/APRIL-ZJU/CL-CBS.


title: Penalized estimation for single-index varying-coefficient models with applications to integrative genomic analysis

abstract: Recent technological advances have made it possible to collect high-dimensional genomic data along with clinical data on a large number of subjects. In the studies of chronic diseases such as cancer, it is of great interest to integrate clinical and genomic data to build a comprehensive understanding of the disease mechanisms. Despite extensive studies on integrative analysis, it remains an ongoing challenge to model the interaction effects between clinical and genomic variables, due to high-dimensionality of the data and heterogeneity across data types. In this paper, we propose an integrative approach that models interaction effects using a single-index varying-coefficient model, where the effects of genomic features can be modified by clinical variables. We propose a penalized approach for separate selection of main and interaction effects. We demonstrate the advantages of the proposed methods through extensive simulation studies and provide applications to a motivating cancer genomic study.


title: A Parallel Approach for Real-Time Face Recognition from a Large Database

abstract: We present a new facial recognition system, capable of identifying a person, provided their likeness has been previously stored in the system, in real time. The system is based on storing and comparing facial embeddings of the subject, and identifying them later within a live video feed. This system is highly accurate, and is able to tag people with their ID in real time. It is able to do so, even when using a database containing thousands of facial embeddings, by using a parallelized searching technique. This makes the system quite fast and allows it to be highly scalable.


title: Discriminative Adversarial Domain Generalization with Meta-learning based Cross-domain Validation

abstract: The generalization capability of machine learning models, which refers to generalizing the knowledge for an "unseen" domain via learning from one or multiple seen domain(s), is of great importance to develop and deploy machine learning applications in the real-world conditions. Domain Generalization (DG) techniques aim to enhance such generalization capability of machine learning models, where the learnt feature representation and the classifier are two crucial factors to improve generalization and make decisions. In this paper, we propose Discriminative Adversarial Domain Generalization (DADG) with meta-learning-based cross-domain validation. Our proposed framework contains two main components that work synergistically to build a domain-generalized DNN model: (i) discriminative adversarial learning, which proactively learns a generalized feature representation on multiple "seen" domains, and (ii) meta-learning based cross-domain validation, which simulates train/test domain shift via applying meta-learning techniques in the training process. In the experimental evaluation, a comprehensive comparison has been made among our proposed approach and other existing approaches on three benchmark datasets. The results shown that DADG consistently outperforms a strong baseline DeepAll, and outperforms the other existing DG algorithms in most of the evaluation cases.


title: Impacts of Game-Theoretic Activation on Epidemic Spread over Dynamical Networks

abstract: We investigate the evolution of epidemics over dynamical networks when nodes choose to interact with others in a selfish and decentralized manner. Specifically, we analyze the susceptible-asymptomatic-infected-recovered (SAIR) epidemic in the framework of activity-driven networks with heterogeneous node degrees and time-varying activation rates, and derive both individual and degree-based mean-field approximations of the exact state evolution. We then present a game-theoretic model where nodes choose their activation probabilities in a strategic manner using current state information as feedback, and characterize the quantal response equilibrium (QRE) of the proposed setting. We then consider the activity-driven susceptible-infected-susceptible (SIS) epidemic model, characterize equilibrium activation probabilities and analyze epidemic evolution in closed-loop. Our numerical results provide compelling insights into epidemic evolution under game-theoretic activation. Specifically, for the SAIR epidemic, we show that under suitable conditions, the epidemic can persist, as any decrease in infected proportion is counteracted by an increase in activity rates by the nodes. For the SIS epidemic, we show that in regimes where there is an endemic state, the infected proportion could be significantly smaller under game-theoretic activation if the loss upon infection is sufficiently high.


title: Efficient Learning of Control Policies for Robust Quadruped Bounding using Pretrained Neural Networks

abstract: Bounding is one of the important gaits in quadrupedal locomotion for negotiating obstacles. The authors proposed an effective approach that can learn robust bounding gaits more efficiently despite its large variation in dynamic body movements. The authors first pretrained the neural network (NN) based on data from a robot operated by conventional model based controllers, and then further optimised the pretrained NN via deep reinforcement learning (DRL). In particular, the authors designed a reward function considering contact points and phases to enforce the gait symmetry and periodicity, which improved the bounding performance. The NN based feedback controller was learned in the simulation and directly deployed on the real quadruped robot Jueying Mini successfully. A variety of environments are presented both indoors and outdoors with the authors approach. The authors approach shows efficient computing and good locomotion results by the Jueying Mini quadrupedal robot bounding over uneven terrain.


title: AutoAudit: Mining Accounting and Time-Evolving Graphs

abstract: How can we spot money laundering in large-scale graph-like accounting datasets? How to identify the most suspicious period in a time-evolving accounting graph? What kind of accounts and events should practitioners prioritize under time constraints? To tackle these crucial challenges in accounting and auditing tasks, we propose a flexible system called AutoAudit, which can be valuable for auditors and risk management professionals. To sum up, there are four major advantages of the proposed system: (a) "Smurfing" Detection, spots nearly 100% of injected money laundering transactions automatically in real-world datasets. (b) Attention Routing, attends to the most suspicious part of time-evolving graphs and provides an intuitive interpretation. (c) Insight Discovery, identifies similar month-pair patterns proved by "success stories" and patterns following Power Laws in log-logistic scales. (d) Scalability and Generality, ensures AutoAudit scales linearly and can be easily extended to other real-world graph datasets. Experiments on various real-world datasets illustrate the effectiveness of our method. To facilitate reproducibility and accessibility, we make the code, figure, and results public at https://github.com/mengchillee/AutoAudit.


title: An In-Module Disturbance Barrier for Mitigating Write Disturbance in Phase-Change Memory

abstract: Write disturbance error (WDE) appears as a serious reliability problem preventing phase-change memory (PCM) from general commercialization, and therefore several studies have been proposed to mitigate WDEs. Verify-and-correction (VnC) eliminates WDEs by always verifying the data correctness on neighbors after programming, but incurs significant performance overhead. Encoding-based schemes mitigate WDEs by reducing the number of WDE-vulnerable data patterns; however, mitigation performance notably fluctuates with applications. Moreover, encoding-based schemes still rely on VnC-based schemes. Cache-based schemes lower WDEs by storing data in a write cache, but it requires several megabytes of SRAM to significantly mitigate WDEs. Despite the efforts of previous studies, these methods incur either significant performance or area overhead. Therefore, a new approach, which does not rely on VnC-based schemes or application data patterns, is highly necessary. Furthermore, the new approach should be transparent to processors (i.e., in-module), because the characteristic of WDEs is determined by manufacturers of PCM products. In this paper, we present an in-module disturbance barrier (IMDB) that mitigates WDEs on demand. IMDB includes a two-level hierarchy comprising two SRAM-based tables, whose entries are managed with a dedicated replacement policy that sufficiently utilizes the characteristics of WDEs. The naive implementation of the replacement policy requires hundreds of read ports on SRAM, which is infeasible in real hardware; hence, an approximate comparator is also designed. We also conduct a rigorous exploration of architecture parameters to obtain a cost-effective design. The proposed method significantly reduces WDEs without noticeable speed degradation or additional energy consumption compared to previous methods.


title: Improving Cyberbully Detection with User Interaction

abstract: Cyberbullying, identified as intended and repeated online bullying behavior, has become increasingly prevalent in the past few decades. Despite the significant progress made thus far, the focus of most existing work on cyberbullying detection lies in the independent content analysis of different comments within a social media session. We argue that such leading notions of analysis suffer from three key limitations: they overlook the temporal correlations among different comments; they only consider the content within a single comment rather than the topic coherence across comments; they remain generic and exploit limited interactions between social media users. In this work, we observe that user comments in the same session may be inherently related, e.g., discussing similar topics, and their interaction may evolve over time. We also show that modeling such topic coherence and temporal interaction are critical to capture the repetitive characteristics of bullying behavior, thus leading to better predicting performance. To achieve the goal, we first construct a unified temporal graph for each social media session. Drawing on recent advances in graph neural network, we then propose a principled graph-based approach for modeling the temporal dynamics and topic coherence throughout user interactions. We empirically evaluate the effectiveness of our approach with the tasks of session-level bullying detection and comment-level case study. Our code is released to public.


title: HM4: Hidden Markov Model with Memory Management for Visual Place Recognition

abstract: Visual place recognition needs to be robust against appearance variability due to natural and man-made causes. Training data collection should thus be an ongoing process to allow continuous appearance changes to be recorded. However, this creates an unboundedly-growing database that poses time and memory scalability challenges for place recognition methods. To tackle the scalability issue for visual place recognition in autonomous driving, we develop a Hidden Markov Model approach with a two-tiered memory management. Our algorithm, dubbed HM$^4$, exploits temporal look-ahead to transfer promising candidate images between passive storage and active memory when needed. The inference process takes into account both promising images and a coarse representations of the full database. We show that this allows constant time and space inference for a fixed coverage area. The coarse representations can also be updated incrementally to absorb new data. To further reduce the memory requirements, we derive a compact image representation inspired by Locality Sensitive Hashing (LSH). Through experiments on real world data, we demonstrate the excellent scalability and accuracy of the approach under appearance changes and provide comparisons against state-of-the-art techniques.


title: Impact of Low-Resolution ADC on DOA Estimation Performance for Massive MIMO Receive Array

abstract: In this paper, we present a new scenario of direction of arrival (DOA) estimation using massive multiple-input multiple-output (MIMO) receive array with low-resolution analog-to-digital convertors (ADCs), which can strike a good balance between performance and circuit cost. Based on the linear additive quantization noise model (AQNM), the effect of low-resolution ADCs on the methods, such as Root-MUSIC method, is analyzed. Also, the closed-form expression of Cramer-Rao lower bound (CRLB) is derived to evaluate the performance loss caused by the low-resolution ADCs. The simulation results show that the Root-MUSIC methods can achieve the corresponding CRLB. Furthermore, 2-3 bits are acceptable for most applications if the 1dB performance loss.


title: Fake or Real? A Study of Arabic Satirical Fake News

abstract: One very common type of fake news is satire which comes in a form of a news website or an online platform that parodies reputable real news agencies to create a sarcastic version of reality. This type of fake news is often disseminated by individuals on their online platforms as it has a much stronger effect in delivering criticism than through a straightforward message. However, when the satirical text is disseminated via social media without mention of its source, it can be mistaken for real news. This study conducts several exploratory analyses to identify the linguistic properties of Arabic fake news with satirical content. We exploit these features to build a number of machine learning models capable of identifying satirical fake news with an accuracy of up to 98.6%.


title: Abelian Complexity and Synchronization

abstract: We present a general method for computing the abelian complexity $\rho^{\rm ab}_{\bf s} (n)$ of an automatic sequence $\bf s$ in the case where (a) $\rho^{\rm ab}_{\bf s} (n)$ is bounded by a constant and (b) the Parikh vectors of the length-$n$ prefixes of $\bf s$ form a synchronized sequence. We illustrate the idea in detail, using the free software Walnut to compute the abelian complexity of the Tribonacci word ${\bf TR} = 0102010\cdots$, the fixed point of the morphism $0 \rightarrow 01$, $1 \rightarrow 02$, $2 \rightarrow 0$. Previously, Richomme, Saari, and Zamboni showed that the abelian complexity of this word lies in $\{ 3,4,5,6,7 \}$, and Turek gave a Tribonacci automaton computing it. We are able to "automatically" rederive these results, and more, using the method presented here.


title: Dynamic radiomics: a new methodology to extract quantitative time-related features from tomographic images

abstract: The feature extraction methods of radiomics are mainly based on static tomographic images at a certain moment, while the occurrence and development of disease is a dynamic process that cannot be fully reflected by only static characteristics. This study proposes a new dynamic radiomics feature extraction workflow that uses time-dependent tomographic images of the same patient, focuses on the changes in image features over time, and then quantifies them as new dynamic features for diagnostic or prognostic evaluation. We first define the mathematical paradigm of dynamic radiomics and introduce three specific methods that can describe the transformation process of features over time. Three different clinical problems are used to validate the performance of the proposed dynamic feature with conventional 2D and 3D static features.


title: Factorization in monoids by stratification of atoms and the Elliott Problem

abstract: In an additive factorial monoid each element can be represented as a linear combination of irreducible elements (atoms) with uniquely determined coefficients running over all natural numbers. In this paper we develop for a wide class of non-factorial monoids a concept of stratification for atoms which allows to represent each element as a linear combination of atoms where the coefficients are uniquely determined when restricted in a particular way. This wide class includes inside factorial monoids and in particular simplicial affine semigroups. In the latter case the question of uniqueness is related to a problem studied by E. B. Elliott in a paper from 1903. For the monoid of all nonnegative solutions of a certain linear Diophantine equation in three variables, Elliott considers "simple sets of solutions" (atoms of the monoid) and looks for a method that gives "every set once only". We show that for simplicial affine semigroups in two dimensions a stratification is always possible, which answers to Elliott's problem also for the cases he left open. The results in this paper on the stratification of atoms for monoids in general may be seen also as an answer to a "generalized Elliott problem".


title: Multiplicity-dependent saturation momentum in $p$-Pb collisions at 5.02 TeV

abstract: Semi-inclusive transverse momentum spectra observed in proton-proton and proton-lead nuclear collisions at LHC energies obey a geometric scaling with a scaling variable using multiplicity-dependent saturation momentum. The saturation momentum extracted from the experimental data is proportional to the 1/6 power of the hadron multiplicity in the final state. On the other hand, the system's transverse size is proportional to the 1/3 power of the multiplicity, and the saturation momentum and the transverse size of the system are strongly correlated with the hadron multiplicity in the final state. Since the saturation momentum is proportional to the average transverse momentum of hadrons, one predicts average transverse momentum is also proportional to the 1/6 power of the multiplicity, which is consistent with experimental results at the LHC energy. We found that a nuclear modification factor $R_{\rm pPb}$ calculated by the multiplicity-dependent saturation momentum decreases at $p_{\rm T} \lesssim$ 1GeV/$c$ and that our model can partially explain the $R_{\rm pPb}$'s behavior thought to be caused by nuclear shadowing. On the other hand, Cronin enhancement experimentally observed at $2 \lesssim p_{\rm T} \lesssim $ 6 GeV/$c$ is not reproduced. However, the experimental result, including the Cronin effect, can be reproduced well by introducing $p_{\rm T}$ dependence as a 4$\sim$5\% correction to the multiplicity-dependent saturation momentum.We also discuss a relation between the geometric scaling in the semi-inclusive distributions and the string percolation model.


title: A spectral theorem for the semigroup generated by a class of infinitely many master equations

abstract: In this article we investigate the spectral properties of the infinitesimal generator of an infinite system of master equations arising in the analysis of the approach to equilibrium in statistical mechanics. The system under investigation thus consists of infinitely many first-order differential equations governing the time evolution of probabilities susceptible of describing jumps between the eigenstates of a differential operator with a discrete point spectrum. The transition rates between eigenstates are chosen in such a way that the so-called detailed balance conditions are satisfied, so that for a large class of initial conditions the given system possesses a global solution which converges exponentially rapidly toward a time independent probability of Gibbs type. A particular feature and a challenge of the problem under investigation is that in the natural functional space where the initial-value problem is well-posed, the infinitesimal generator is realized as a non normal and non dissipative compact operator, whose spectrum therefore does not exhibit a spectral gap around the zero eigenvalue in contrast to the finite-dimensional case.


title: The verification of a requirement of entanglement measures

abstract: The quantification of quantum entanglement is a central issue in quantum information theory. Recently, Gao \emph{et al}. ( \href{http://dx.doi.org/10.1103/PhysRevLett.112.180501}{Phys. Rev. Lett. \textbf{112}, 180501 (2014)}) pointed out that the maximum of entanglement measure of the permutational invariant part of $\rho$ ought to be a lower bound on entanglement measure of the original state $\rho$, and proposed that this argument can be used as an additional requirement for (multipartite) entanglement measures. Whether any individual proposed entanglement measure satisfies the requirement still has to prove. In this work, we show that most known entanglement measures of bipartite quantum systems satisfy the new criterion, include all convex-roof entanglement measures, the relative entropy of entanglement, the negativity, the logarithmic negativity and the logarithmic convex-roof extended negativity. Our results give a refinement in quantifying entanglement and provide new insights into a better understanding of entanglement properties of quantum systems.


title: A multiscale model of terrain dynamics for real-time earthmoving simulation

abstract: A multiscale model for real-time simulation of terrain dynamics is explored. To represent the dynamics on different scales the model combines the description of soil as a continuous solid, as distinct particles and as rigid multibodies. The models are dynamically coupled to each other and to the earthmoving equipment. Agitated soil is represented by a hybrid of contacting particles and continuum solid, with the moving equipment and resting soil as geometric boundaries. Each zone of active soil is aggregated into distinct bodies, with the proper mass, momentum and frictional-cohesive properties, which constrain the equipment's multibody dynamics. The particle model parameters are pre-calibrated to the bulk mechanical parameters for a wide range of different soils. The result is a computationally efficient model for earthmoving operations that resolve the motion of the soil, using a fast iterative solver, and provide realistic forces and dynamic for the equipment, using a direct solver for high numerical precision. Numerical simulations of excavation and bulldozing operations are performed to validate the model and measure the computational performance. Reference data is produced using coupled discrete element and multibody dynamics simulations at relatively high resolution. The digging resistance and soil displacements with the real-time multiscale model agree with the reference model up to 10-25%, and run more than three orders of magnitude faster.


title: Heavy element abundances in P-rich stars: A new site for the s-process?

abstract: The recently discovered phosphorus-rich stars pose a challenge to stellar evolution and nucleosynthesis theory, as none of the existing models can explain their extremely peculiar chemical abundances pattern. Apart from the large phosphorus enhancement, such stars also show enhancement in other light (O, Mg, Si, Al) and heavy (e.g., Ce) elements. We have obtained high-resolution optical spectra of two optically bright phosphorus-rich stars (including a new P-rich star), for which we have deter-mined a larger number of elemental abundances (from C to Pb). We confirm the unusual light-element abundance pattern with very large enhancements of Mg, Si, Al, and P, and possibly some Cu enhancement, but the spectra of the new P-rich star is the only one to reveal some C(+N) enhancement.When compared to other appropriate metal-poor and neutron-capture enhanced stars, the two P-rich stars show heavy-element overabundances similar to low neutron density s-process nucleosynthesis,with high first- (Sr, Y, Zr) and second-peak (Ba, La, Ce, Nd) element enhancements (even some Pb enhancement in one star) and a negative [Rb/Sr] ratio. However, this s-process is distinct from the one occurring in asymptotic giant branch (AGB) stars. The notable distinctions encompass larger[Ba/La] and lower Eu and Pb than their AGB counterparts. Our observations should guide stellar nucleosynthesis theoreticians and observers to identify the P-rich star progenitor, which represents anew site for s-process nucleosynthesis, with important implications for the chemical evolution of our Galaxy.


title: Fermi polaron in a dissipative bath with spin-orbit coupling

abstract: We study the polaron problem of an impurity immersed in a dissipative spin-orbit coupled Fermi gas via a non-self-consistent T-matrix method. We first propose an experimental scheme to realize a spin-orbit coupled Fermi bath with dissipation, and show that such a system can be described by a non-Hermitian Hamiltonian that contains an imaginary spin-flip term and an imaginary constant shift term. We find that the non-Hermiticity will change the single particle dispersion of the bath gas, and modify the properties of attractive and repulsive polarons such as energy, quasi-particle residue, effective mass, and decay rate. We also investigate the Thouless criteria corresponding to the instability of the polaron molecule transition, which suggests a molecule state is more facilitated with stronger bath dissipation. Finally, we consider the case with finite impurity density and calculate the interaction between polarons. Our result extends the study of polaron physics to non-Hermitian systems and may be realized in future experiment.


title: Alternating Direction Method of Multipliers for Constrained Iterative LQR in Autonomous Driving

abstract: In the context of autonomous driving, the iterative linear quadratic regulator (iLQR) is known to be an efficient approach to deal with the nonlinear vehicle model in motion planning problems. Particularly, the constrained iLQR algorithm has shown noteworthy advantageous outcomes of computation efficiency in achieving motion planning tasks under general constraints of different types. However, the constrained iLQR methodology requires a feasible trajectory at the first iteration as a prerequisite when the logarithmic barrier function is used. Also, the methodology leaves open the possibility for incorporation of fast, efficient, and effective optimization methods to further speed up the optimization process such that the requirements of real-time implementation can be successfully fulfilled. In this paper, a well-defined motion planning problem is formulated under nonlinear vehicle dynamics and various constraints, and an alternating direction method of multipliers (ADMM) is utilized to determine the optimal control actions leveraging the iLQR. The approach is able to circumvent the feasibility requirement of the trajectory at the first iteration. An illustrative example of motion planning for autonomous vehicles is then investigated. A noteworthy achievement of high computation efficiency is attained with the proposed development; comparing with the constrained iLQR algorithm based on the logarithmic barrier function, our proposed method reduces the average computation time by 31.93%, 38.52%, and 44.57% in the three driving scenarios; compared with the optimization solver IPOPT, our proposed method reduces the average computation time by 46.02%, 53.26%, and 88.43% in the three driving scenarios. As a result, real-time computation and implementation can be realized through our proposed framework, and thus it provides additional safety to the on-road driving tasks.


title: Improved Hierarchical ADMM for Nonconvex Cooperative Distributed Model Predictive Control

abstract: Distributed optimization is often widely attempted and innovated as an attractive and preferred methodology to solve large-scale problems effectively in a localized and coordinated manner. Thus, it is noteworthy that the methodology of distributed model predictive control (DMPC) has become a promising approach to achieve effective outcomes, e.g., in decision-making tasks for multi-agent systems. However, the typical deployment of such distributed MPC frameworks would lead to the involvement of nonlinear processes with a large number of nonconvex constraints. To address this important problem, the development and innovation of a hierarchical three-block alternating direction method of multipliers (ADMM) approach is presented in this work to solve this nonconvex cooperative DMPC problem in multi-agent systems. Here firstly, an additional slack variable is introduced to transform the original large-scale nonconvex optimization problem. Then, a hierarchical ADMM approach, which contains outer loop iteration by the augmented Lagrangian method (ALM) and inner loop iteration by three-block semi-proximal ADMM, is utilized to solve the resulting transformed nonconvex optimization problem. Additionally, it is analytically shown and established that the requisite desired stationary point exists for convergence in the algorithm. Finally, an approximate optimization stage with a barrier method is then applied to further significantly improve the computational efficiency, yielding the final improved hierarchical ADMM. The effectiveness of the proposed method in terms of attained performance and computational efficiency is demonstrated on a cooperative DMPC problem of decision-making process for multiple unmanned aerial vehicles (UAVs).


title: What is the T-Algorithm? A case study to evaluate a new University

abstract: We evaluate Scott Galloway's T-algorithm as a thinking framework via a simulated case. We explain how we applied it to analyze the investment strategies when starting a new university. We note that the algorithm can be used to describe but also prescribe the strategy design space. We also point weak and strong points of the said algorithm and compare it to existing tools such as the Business canvas model and SWOT.


title: Notes on lattice bump Fourier multiplier operators on $L^2 \times L^2$

abstract: Given a smooth bump function, we consider the multiplier formed by taking the linear combination of the translations of the bump function and the corresponding bilinear Fourier multiplier operator. Under certain condition on the bump function, we give a complete characterization of the coefficients of the linear combination for which the corresponding bilinear operator defines a bounded operator from $L^2\times L^2$ to $L^2$-based amalgam spaces.


title: Revised instellation patterns for close-in exoplanets

abstract: The distribution of instellation at the top of a planet's atmosphere or surface is usually calculated using the inverse-square law of radiation. This is based on the assumption that the host star is far enough to be considered a point-sized Lambertian source. This assumption, which works well for the solar system planets and most exoplanets, must be revised for close-in exoplanets. The objective of this work is to derive accurate instellation patterns for close-in exoplanets, for which the effects of the spherical shape of the star must be taken into account. First an analytical formula of the insolation as a function of latitude was derived, taking the star and the planet as 3-D bodies, and incorporating the limb darkening effects of the star. Then numerical techniques were used to compute the distribution of the insolation on close-in planets as a function of latitude for a wide range of stellar and planetary properties.There are significant deviations in instellation values and their distribution on close-in exoplanets, due in similar proportions to the physical size of the star and stellar limb-darkening effects. The insolation at the susbtellar point is always higher -- by as much as 21% for known exoplanets -- than the standard calculation. The substellar longitude of the terminator can significantly extend on the nightside, from 90 degrees up to 110 degrees for known exoplanets.


title: Differentially Private Bayesian Inference for Generalized Linear Models

abstract: Generalized linear models (GLMs) such as logistic regression are among the most widely used arms in data analyst's repertoire and often used on sensitive datasets. A large body of prior works that investigate GLMs under differential privacy (DP) constraints provide only private point estimates of the regression coefficients, and are not able to quantify parameter uncertainty. In this work, with logistic and Poisson regression as running examples, we introduce a generic noise-aware DP Bayesian inference method for a GLM at hand, given a noisy sum of summary statistics. Quantifying uncertainty allows us to determine which of the regression coefficients are statistically significantly different from zero. We provide a previously unknown tight privacy analysis and experimentally demonstrate that the posteriors obtained from our model, while adhering to strong privacy guarantees, are close to the non-private posteriors.


title: Existence of solution for a class of variational inequality in whole $\mathbb{R}^N$ with critical growth: The local Mountain pass case

abstract: In this paper we study the existence of solution for a class of variational inequality in whole $\mathbb{R}^N$ where the nonlinearity has a critical growth for $N \geq 2$. By combining a penalization scheme found in del Pino and Felmer [18] with a penalization method due to Bensoussan and Lions [9], we improve a recent result by Alves, Barros and Torres [1].


title: Sections of Lagrangian fibrations on holomorphically symplectic manifolds and degenerate twistorial deformations

abstract: Let $(M,I, \Omega)$ be a holomorphically symplectic manifold equipped with a holomorphic Lagrangian fibration $\pi:\; M \mapsto X$, and $\eta$ a closed form of Hodge type (1,1)+(2,0) on $X$. We prove that $\Omega':=\Omega+\pi^* \eta$ is again a holomorphically symplectic form, for another complex structure $I'$, which is uniquely determined by $\Omega'$. The corresponding deformation of complex structures is called "degenerate twistorial deformation". The map $\pi$ is holomorphic with respect to this new complex structure, and $X$ and the fibers of $\pi$ retain the same complex structure as before. Let $s$ be a smooth section of of $\pi$. We prove that there exists a degenerate twistorial deformation $(M,I', \Omega')$ such that $s$ is a holomorphic section.


title: Seeing Both the Forest and the Trees: Multi-head Attention for Joint Classification on Different Compositional Levels

abstract: In natural languages, words are used in association to construct sentences. It is not words in isolation, but the appropriate combination of hierarchical structures that conveys the meaning of the whole sentence. Neural networks can capture expressive language features; however, insights into the link between words and sentences are difficult to acquire automatically. In this work, we design a deep neural network architecture that explicitly wires lower and higher linguistic components; we then evaluate its ability to perform the same task at different hierarchical levels. Settling on broad text classification tasks, we show that our model, MHAL, learns to simultaneously solve them at different levels of granularity by fluidly transferring knowledge between hierarchies. Using a multi-head attention mechanism to tie the representations between single words and full sentences, MHAL systematically outperforms equivalent models that are not incentivized towards developing compositional representations. Moreover, we demonstrate that, with the proposed architecture, the sentence information flows naturally to individual words, allowing the model to behave like a sequence labeller (which is a lower, word-level task) even without any word supervision, in a zero-shot fashion.


title: Highly accurate decoupled doubling algorithm for large-scale M-matrix algebraic Riccati equations

abstract: We consider the numerical solution of large-scale M-matrix algebraic Riccati equations with low-rank structures. We derive a new doubling iteration, decoupling the four original iteration formulae in the alternating-directional doubling algorithm. We prove that the kernels in the decoupled algorithm are small M-matrices. Illumined by the highly accurate algorithm proposed by Xue and Li in 2017, we construct the triplet representations for the small M-matrix kernels in a highly accurate doubling algorithm. Illustrative numerical examples will be presented on the efficiency of our algorithm.


title: Optimal minimal-contact routing of randomly arriving agents through connected networks

abstract: Collision-free or contact-free routing through connected networks has been actively studied in the industrial automation and manufacturing context. Contact-free routing of personnel through connected networks (e.g., factories, retail warehouses) may also be required in the COVID-19 context. In this context, we present an optimization framework for identifying routes through a connected network that eliminate or minimize contacts between randomly arriving agents needing to visit a subset of nodes in the network in minimal time. We simulate the agent arrival and network traversal process, and introduce stochasticity in travel speeds, node dwell times, and compliance with assigned routes. We present two optimization formulations for generating optimal routes - no-contact and minimal-contact - on a real-time basis for each agent arriving to the network given the route information of other agents already in the network. We generate results for the time-average number of contacts and normalized time spent in the network.


title: b-baryon semi-tauonic decays in the Standard Model

abstract: Within the framework of HQET, $\Lambda_{b}\rightarrow\Lambda_{c}\tau\bar{\nu}_{\tau}$ and $\Omega_{b}\rightarrow\Omega_{c}^{(*)}\tau\bar{\nu}_{\tau}$ weak decays are studied to the order of $1/m_c$ and $1/m_b$. Helicity amplitudes are written down. Relevant Isgur-Wise functions given by QCD sum rule and large $N_c$ methods are applied in the numerical analysis. The baryonic R-ratios $R(\Lambda_c)$ and $R(\Omega_c^{(*)})$ are obtained.


title: Opinion Transmission Network for Jointly Improving Aspect-oriented Opinion Words Extraction and Sentiment Classification

abstract: Aspect-level sentiment classification (ALSC) and aspect oriented opinion words extraction (AOWE) are two highly relevant aspect-based sentiment analysis (ABSA) subtasks. They respectively aim to detect the sentiment polarity and extract the corresponding opinion words toward a given aspect in a sentence. Previous works separate them and focus on one of them by training neural models on small-scale labeled data, while neglecting the connections between them. In this paper, we propose a novel joint model, Opinion Transmission Network (OTN), to exploit the potential bridge between ALSC and AOWE to achieve the goal of facilitating them simultaneously. Specifically, we design two tailor-made opinion transmission mechanisms to control opinion clues flow bidirectionally, respectively from ALSC to AOWE and AOWE to ALSC. Experiment results on two benchmark datasets show that our joint model outperforms strong baselines on the two tasks. Further analysis also validates the effectiveness of opinion transmission mechanisms.


title: Mori dream K3 surfaces of Picard number four: projective models and Cox rings

abstract: In this paper we study the geometry of the $14$ families of K3 surfaces of Picard number four with finite automorphism group, whose N\'eron-Severi lattices have been classified by \`E.B. Vinberg. We provide projective models, we identify the degrees of a generating set of the Cox ring and in some cases we prove the unirationality of the associated moduli space.


title: Transformer-based Multi-Aspect Modeling for Multi-Aspect Multi-Sentiment Analysis

abstract: Aspect-based sentiment analysis (ABSA) aims at analyzing the sentiment of a given aspect in a sentence. Recently, neural network-based methods have achieved promising results in existing ABSA datasets. However, these datasets tend to degenerate to sentence-level sentiment analysis because most sentences contain only one aspect or multiple aspects with the same sentiment polarity. To facilitate the research of ABSA, NLPCC 2020 Shared Task 2 releases a new large-scale Multi-Aspect Multi-Sentiment (MAMS) dataset. In the MAMS dataset, each sentence contains at least two different aspects with different sentiment polarities, which makes ABSA more complex and challenging. To address the challenging dataset, we re-formalize ABSA as a problem of multi-aspect sentiment analysis, and propose a novel Transformer-based Multi-aspect Modeling scheme (TMM), which can capture potential relations between multiple aspects and simultaneously detect the sentiment of all aspects in a sentence. Experiment results on the MAMS dataset show that our method achieves noticeable improvements compared with strong baselines such as BERT and RoBERTa, and finally ranks the 2nd in NLPCC 2020 Shared Task 2 Evaluation.


title: Understanding Application-Level Caching in Web Applications: A Comprehensive Introduction and Survey of State-of-the-Art

abstract: A new form of caching, namely application-level caching, has been recently employed in web applications to improve their performance and increase scalability. It consists of the insertion of caching logic into the application base code to temporarily store processed content in memory, and then decrease the response time of web requests by reusing this content. However, caching at this level demands knowledge of the domain and application specificities to achieve caching benefits, given that this information supports decisions such as what and when to cache content. Developers thus must manually manage the cache, possibly with the help of existing libraries and frameworks. Given the increasing popularity of application-level caching, we thus provide a survey of approaches proposed in this context. We provide a comprehensive introduction to web caching and application-level caching, and present state-of-the-art work on designing, implementing and managing application-level caching. Our focus is not only on static solutions but also approaches that adaptively adjust caching solutions to avoid the gradual performance decay that caching can suffer over time. This survey can be used as a start point for researchers and developers, who aim to improve application-level caching or need guidance in designing application-level caching solutions, possibly with humans out-of-the-loop.


title: Stripe and junction-vortex phases in linearly coupled Bose-Einstein condensates

abstract: Soon after its theoretical prediction, striped-density states in the presence of synthetic spin-orbit coupling were realized in Bose-Einstein condensates of ultracold neutral atoms [J.-R. Li et al., Nature \textbf{543}, 91 (2017)]. The achievement opens avenues to explore the interplay of superfluidity and crystalline order in the search for supersolid features and materials. The system considered is essentially made of two linearly coupled Bose-Einstein condensates, that is a pseudo-spin-$1/2$ system, subject to a spin-dependent gauge field $\sigma_z \hbar k_\ell$. Under these conditions the stripe phase is achieved when the linear coupling $\hbar\Omega/2$ is small against the gauge energy $m\Omega/\hbar k_\ell^2<1$ . The resulting density stripes have been interpreted as a standing-wave, interference pattern with approximate wavenumber $2k_\ell$. Here, we show that the emergence of the stripe phase is induced by an array of Josephson vortices living in the junction defined by the linear coupling. As happens in superconducting junctions subject to external magnetic fields, a vortex array is the natural response of the superfluid system to the presence of a gauge field. Also similar to superconductors, the Josephson currents and their associated vortices can be present as a metastable state in the absence of gauge field. We provide closed-form solutions to the 1D mean field equations that account for such vortex arrays. The underlying Josephson currents coincide with the analytical solutions to the sine-Gordon equation for the relative phase of superconducting junctions [C. Owen and D. Scalapino, Phys. Rev. \textbf{164}, 538 (1967)].


title: Cheap IR Evaluation: Fewer Topics, No Relevance Judgements, and Crowdsourced Assessments

abstract: To evaluate Information Retrieval (IR) effectiveness, a possible approach is to use test collections, which are composed of a collection of documents, a set of description of information needs (called topics), and a set of relevant documents to each topic. Test collections are modelled in a competition scenario: for example, in the well known TREC initiative, participants run their own retrieval systems over a set of topics and they provide a ranked list of retrieved documents; some of the retrieved documents (usually the first ranked) constitute the so called pool, and their relevance is evaluated by human assessors; the document list is then used to compute effectiveness metrics and rank the participant systems. Private Web Search companies also run their in-house evaluation exercises; although the details are mostly unknown, and the aims are somehow different, the overall approach shares several issues with the test collection approach. The aim of this work is to: (i) develop and improve some state-of-the-art work on the evaluation of IR effectiveness while saving resources, and (ii) propose a novel, more principled and engineered, overall approach to test collection based effectiveness evaluation. [...]


title: Large Deviation Principle for local empirical measure of Coulomb gases at intermediate temperature regime

abstract: This paper deals with Coulomb gases at an intermediate temperature regime. We define a local empirical field and identify a critical temperature scaling. We show that if the scaling of the temperature is supercritical, the local empirical field satisfies an LDP with an entropy-based rate function. We also show that if the scaling of the temperature is subcritical, the local empirical field satisfies an LDP with an energy-based rate function. In the critical temperature scaling regime, we derive an LDP-type result in which the "rate function" features the competition of an entropy and energy terms. An important idea in this work is to exploit the different scaling relations satisfied by the Coulomb energy and the entropy.


title: Fault Tolerant Control of Multirotor UAV for Piloted Outdoor Flights

abstract: This paper aims to develop a Fault Tolerant Control (FTC) architecture, for the case of a damaged actuator for a multirotor UAV that can be applied across multirotor platforms based on their Attainable Virtual Control Set (AVCS). The research is aimed to study the AVCS and identify the parameters that limit the controllability of multirotor UAV post an actuator failure. Based on the study of controllability, the requirements for a FTC is laid out. The implemented control solution will be tested on a quadrotor, Intel Shooting Star UAV platform in indoor and outdoor flights using only the onboard sensors. The attitude control solution is implemented with reduced attitude control, and the control allocation is performed with pseudo-inverse based model inversion with sequential desaturation to ensure tilt priority. The model is identified with an offline Ordinary Least Squares routine and subsequently updated with the Recursive Least Squares method. An offline calibration routine is implemented to correct IMU offset distance from the centre of rotation to correct for accelerometer bias caused by the high-speed spin after failure in a quadrotor.


title: Improved Estimates for $G_2$-structures on the Generalised Kummer Construction

abstract: The resolution of the $G_2$-orbifold $T^7/\Gamma$, where $\Gamma$ is a suitably chosen finite group, admits a $1$-parameter family of $G_2$-structures with small torsion $\varphi^t$, obtained by gluing in Eguchi-Hanson spaces. It was shown by Joyce that $\varphi^t$ can be perturbed to torsion-free $G_2$-structures $\tilde{\varphi}^t$ for small values of $t$. Using norms adapted to the geometry of the manifold we give an alternative proof of the existence of $\tilde{\varphi}^t$. This alternative proof produces the estimate $\left|\left| \tilde{\varphi}^t-\varphi^t \right|\right|_{C^0} \leq ct^{5/2}$. This is an improvement over the previously known estimate $\left|\left| \tilde{\varphi}^t-\varphi^t \right|\right|_{C^0} \leq ct^{1/2}$. As part of the proof, we show that Eguchi-Hanson space admits a unique (up to scaling) harmonic form with decay, which is a result of independent interest.


title: Deconstruct to Reconstruct a Configurable Evaluation Metric for Open-Domain Dialogue Systems

abstract: Many automatic evaluation metrics have been proposed to score the overall quality of a response in open-domain dialogue. Generally, the overall quality is comprised of various aspects, such as relevancy, specificity, and empathy, and the importance of each aspect differs according to the task. For instance, specificity is mandatory in a food-ordering dialogue task, whereas fluency is preferred in a language-teaching dialogue system. However, existing metrics are not designed to cope with such flexibility. For example, BLEU score fundamentally relies only on word overlapping, whereas BERTScore relies on semantic similarity between reference and candidate response. Thus, they are not guaranteed to capture the required aspects, i.e., specificity. To design a metric that is flexible to a task, we first propose making these qualities manageable by grouping them into three groups: understandability, sensibleness, and likability, where likability is a combination of qualities that are essential for a task. We also propose a simple method to composite metrics of each aspect to obtain a single metric called USL-H, which stands for Understandability, Sensibleness, and Likability in Hierarchy. We demonstrated that USL-H score achieves good correlations with human judgment and maintains its configurability towards different aspects and metrics.


title: Replication and Its Application to Weak Convergence

abstract: Herein, a methodology is developed to replicate functions, measures and stochastic processes onto a compact metric space. Many results are easily established for the replica objects and then transferred back to the original ones. Two problems are solved within to demonstrate the method: (1) Finite-dimensional convergence for processes living on general topological spaces. (2) New tightness and relative compactness criteria are given for the Skorokhod space $D(\mathbf{R}^{+};E)$ with $E$ being a general Tychonoff space. The methods herein are also used in companion papers to establish the: (3) existence of, uniqueness of and convergence to martingale problem solutions, (4) classical Fujisaki-Kallianpur-Kunita and Duncan-Mortensen-Zakai filtering equations and stationary filters, (5) finite-dimensional convergence to stationary signal-filter pairs, (6) invariant measures of Markov processes, and (7) Ray-Knight theory all in general settings.


title: Comparing Machine Learning Algorithms with or without Feature Extraction for DNA Classification

abstract: The classification of DNA sequences is a key research area in bioinformatics as it enables researchers to conduct genomic analysis and detect possible diseases. In this paper, three state-of-the-art algorithms, namely Convolutional Neural Networks, Deep Neural Networks, and N-gram Probabilistic Models, are used for the task of DNA classification. Furthermore, we introduce a novel feature extraction method based on the Levenshtein distance and randomly generated DNA sub-sequences to compute information-rich features from the DNA sequences. We also use an existing feature extraction method based on 3-grams to represent amino acids and combine both feature extraction methods with a multitude of machine learning algorithms. Four different data sets, each concerning viral diseases such as Covid-19, AIDS, Influenza, and Hepatitis C, are used for evaluating the different approaches. The results of the experiments show that all methods obtain high accuracies on the different DNA datasets. Furthermore, the domain-specific 3-gram feature extraction method leads in general to the best results in the experiments, while the newly proposed technique outperforms all other methods on the smallest Covid-19 dataset


title: Mechanical Feedback in Regulating the Size of Growing Multicellular Spheroids

abstract: The mechanism by which cells measure the dimension of the organ in which they are embedded, and slow down their growth when the final size is reached, is a long-standing problem of developmental biology. The role of mechanics in this feedback is considered important. Morphoelasticity is a standard continuum framework for modeling growing elastic tissues. However, in this theory, in the absence of additional variables, the feedback between growth and mechanical stress leads to either a collapse or unbounded growth of the tissue, but usually prohibits reaching a finite asymptotic size ('size control'). In this article, we modify this classical setting to include an energetic cost associated with growth, leading to the physical effect of size control. The present model simultaneously provides a qualitatively correct residual stress profile and has a naturally emerging necrotic core, all of which have previously been experimentally established in multicellular spheroids. This is achieved through a local feedback mechanism derived from a thermodynamical framework. The model delivers testable predictions for experimental systems and could be a step towards the understanding of the role of mechanics in the multifaceted question of how growing organs attain their final size.


title: Functional renormalization for repulsive Bose-Bose mixtures at zero temperature

abstract: We study weakly-repulsive Bose-Bose mixtures in two and three dimensions at zero temperature using the functional renormalization group (FRG). We examine the RG flows and the role of density and spin fluctuations. We study the condition for phase separation and find that this occurs at the mean-field point within the range of parameters explored. Finally, we examine the energy per particle and condensation depletion. We obtain that our FRG calculations compare favorably with known results from perturbative approaches for macroscopic properties.


title: Fast Adaptation of Manipulator Trajectories to Task Perturbation By Differentiating through the Optimal Solution

abstract: Joint space trajectory optimization under end-effector task constraints leads to a challenging non-convex problem. Thus, a real-time adaptation of prior computed trajectories to perturbation in task constraints often becomes intractable. Existing works use the so-called warm-starting of trajectory optimization to improve computational performance. We present a fundamentally different approach that relies on deriving analytical gradients of the optimal solution with respect to the task constraint parameters. This gradient map characterizes the direction in which the prior computed joint trajectories need to be deformed to comply with the new task constraints. Subsequently, we develop an iterative line-search algorithm for computing the scale of deformation. Our algorithm provides near real-time adaptation of joint trajectories for a diverse class of task perturbations such as (i) changes in initial and final joint configurations of end-effector orientation-constrained trajectories and (ii) changes in end-effector goal or way-points under end-effector orientation constraints. We relate each of these examples to real-world applications ranging from learning from demonstration to obstacle avoidance. We also show that our algorithm produces trajectories with quality similar to what one would obtain by solving the trajectory optimization from scratch with warm-start initialization. But most importantly, our algorithm achieves a worst-case speed-up of 160x over the latter approach.


title: Insights into photosynthetic energy transfer gained from free-energy structure: Coherent transport, incoherent hopping, and vibrational assistance revisited

abstract: Giant strides in ultrashort laser pulse technology have enabled real-time observation of dynamical processes in complex molecular systems. Specifically, the discovery of oscillatory transients in the two-dimensional electronic spectra of photosynthetic systems stimulated a number of theoretical investigations exploring possible physical mechanisms of the remarkable quantum efficiency of light harvesting processes. However, the theories employed have reached a high degree of sophistication and have become complex, making it difficult to gain insights into microscopic processes and biologically significant questions. In this work, we revisit the elementary aspects of environment-induced fluctuations in the involved electronic energies and present a simple way to understand energy flow with the intuitive picture of relaxation in a funnel-type free-energy landscape. The presented free-energy description of energy transfer reveals that typical photosynthetic systems operate in an almost barrierless regime. The approach also provides insights into the distinction between coherent and incoherent energy transfer and criteria by which the necessity of the vibrational assistance is considered.


title: On the Distribution of SINR for Widely Linear MMSE MIMO Systems with Rectilinear or Quasi-Rectilinear Signals

abstract: Although the widely linear least mean square error (WLMMSE) receiver has been an appealing option for multiple-input-multiple-output (MIMO) wireless systems, a statistical understanding on its pose-detection signal-to-interference-plus-noise ratio (SINR) in detail is still missing. To this end, we consider a WLMMSE MIMO transmission system with rectilinear or quasi-rectilinear (QR) signals over the uncorrelated Rayleigh fading channel and investigate the statistical properties of its SINR for an arbitrary antenna configuration with $N_t$ transmit antennas and $N_r$ receive ones. We first derive an analytic probability density function (PDF) of the SINR in terms of the confluent hypergeometric function of the second kind, for WLMMSE MIMO systems with an arbitrary $N_r$ and $N_t=2, 3$. For a more general case in practice, i.e., $N_t>3$, we resort to the moment generating function to obtain an approximate but closed form PDF under some mild conditions, which, as expected, is more Gaussian-like as $2N_r-N_t$ increases. The so-derived PDFs are able to provide key insights into the WLMMSE MIMO receiver in terms of the outage probability, the symbol error rate, and the diversity gain, all presented in closed form. In particular, its diversity gain and the gain improvement over the conventional LMMSE one are explicitly quantified as $N_r-(N_t-1)/2$ and $(N_t-1)/2$, respectively. Finally, Monte Carlo simulations support the analysis.


title: MRPB 1.0: A Unified Benchmark for the Evaluation of Mobile Robot Local Planning Approaches

abstract: Local planning is one of the key technologies for mobile robots to achieve full autonomy and has been widely investigated. To evaluate mobile robot local planning approaches in a unified and comprehensive way, a mobile robot local planning benchmark called MRPB 1.0 is newly proposed in this paper. The benchmark facilitates both motion planning researchers who want to compare the performance of a new local planner relative to many other state-of-the-art approaches as well as end users in the mobile robotics industry who want to select a local planner that performs best on some problems of interest. We elaborately design various simulation scenarios to challenge the applicability of local planners, including large-scale, partially unknown, and dynamic complex environments. Furthermore, three types of principled evaluation metrics are carefully designed to quantitatively evaluate the performance of local planners, wherein the safety, efficiency, and smoothness of motions are comprehensively considered. We present the application of the proposed benchmark in two popular open-source local planners to show the practicality of the benchmark. In addition, some insights and guidelines about the design and selection of local planners are also provided. The benchmark website contains all data of the designed simulation scenarios, detailed descriptions of these scenarios, and example code.


title: Storage placement policy for minimizing frequency deviation: A combinatorial optimization approach

abstract: As the share of renewable sources is increasing the need for multiple storage units appropriately sized and located is essential to achieve better inertial response. This work focuses on the question of "how to distribute constant number of storage units in the gird under transient events such that the inertial response of the maximum frequency deviation is minimized?". To answer this question, we provide a comprehensive modeling framework for energy storage units placement and size for frequency stability under spatial effects. The distributed storage units are modeled as grid supporting inverters and the total storage capacity in the grid is bounded based on the allowed steady-state frequency deviation after disturbances. The problem of finding the optimal distributions can be considered as combinatorial problem which consists of high dimensional solutions. In this light, we develop two numeric approaches based on Brute-force search and adaptation of the Cross-entropy method for finding the best distribution and examined it on a case study of the future Israeli grid. The results on the case study provide a new insight---the storage units should be placed around the area of the disturbances, including in sites with high inertia in accordance to the network topology.


title: Long range one-cookie random walk with positive speed

abstract: We study one-dimensional excited random walks with non-nearest neighbor jumps. When the process is at a vertex that has not been visited before, its next transition has a positive drift to the right, possibly with long jumps. Whenever the process visits a vertex that has already been visited in the past, its next transition is the one of a simple symmetric random walk. We give a sufficient condition for the process to have positive speed.


title: Reduction of interfacial thermal resistance of overlapped graphene by bonding carbon chains

abstract: Exploring the mechanism of interfacial thermal transport and reducing the interfacial thermal resistance is of great importance for thermal management and modulation. Herein, the interfacial thermal resistance between overlapped graphene nanoribbons is largely reduced by adding bonded carbon chains by performing molecular dynamics simulations. And the analytical model (cross-interface model, CIM) is utilized to analyze and explain the two-dimensional thermal transport mechanism at cross-interface. An order of magnitude reduction in interfacial thermal resistance is found as the graphene nanoribbons are bonded by just one carbon chain. Interestingly, the decreasing rate of interfacial thermal resistance slows down gradually with the increasing of the number of carbon chains, which can be explained by the proposed theoretical relationship based on CIM. Moreover, by the comparison of CIM and traditional simplified model, the accuracy of CIM is verified and demonstrated in overlapped graphene nanoribbons. This work provides a new way to improve the interfacial thermal transport and reveal the essential mechanism for low-dimensional materials applied in thermal management.