Improving Embedded Knowledge Graph Multi hop Question Answering by introducing Relational Chain Reasoning. Knowledge Base Question Answering (KBQA) aims to answer userquestions from a knowledge base (KB) by identifying the reasoningrelations between topic entity and answer. As a complex branchtask of KBQA, multi hop KGQA requires reasoning over multi hop relational chains preserved in KG to arrive at the right answer.Despite the successes made in recent years, the existing works onanswering multi hop complex question face the following challenges i) suffering from poor performances due to the neglect of explicit relational chain order and its relational types reflected inuser questions ii) failing to consider implicit relations between thetopic entity and the answer implied in structured KG because oflimited neighborhood size constraints in subgraph retrieval based algorithms. To address these issues in multi hop KGQA, we proposea novel model in this paper, namely Relational Chain based Embed ded KGQA (Rce KGQA), which simultaneously utilizes the explicitrelational chain described in natural language questions and the implicit relational chain stored in structured KG. Our extensiveempirical study on two open domain benchmarks proves that ourmethod significantly outperforms the state of the art counterpartslike GraftNet, PullNet and EmbedKGQA. Comprehensive ablation experiments also verify the effectiveness of our method for multi hop KGQA tasks. We have made our model's source code availableat Github https github.com albert jin Rce KGQA.


Characterization of PETALO, a full body liquid xenon based PET detector. New detector approaches in Positron Emission Tomography imaging will play an important role in reducing costs, lowering administered radiation doses, and improving overall performance. PETALO employs liquid xenon as the active scintillating medium and UV sensitive silicon photomultipliers for scintillation readout. The scintillation time in liquid xenon is fast enough to register time of flight information for each detected coincidence, and sufficient scintillation is produced with low enough fluctuations to obtain good energy resolution. The present simulation study examines a full body sized PETALO detector and evaluates its potential performance in PET image reconstruction.


Primality of weakly closed path polyominoes. In this paper we study the primality of a new class of polyominoes, called weakly closed paths. Firstly, we prove that the inner 2 minors ideal associated to a weakly connected and simple collection of cells is the toric ideal of a bipartite and weakly chordal graph. We classify all weakly closed paths which do not contain zig zag walks, we give suitable toric representations of the associated polyomino ideal and finally we prove that having no zig zag walks is a necessary and sufficient condition for the primality of the polyomino ideal attached to a weakly closed path, supporting an existing conjecture.


Partially Observable Markov Decision Processes (POMDPs) and Robotics. Planning under uncertainty is critical to robotics. The Partially Observable Markov Decision Process (POMDP) is a mathematical framework for such planning problems. It is powerful due to its careful quantification of the non deterministic effects of actions and partial observability of the states. But precisely because of this, POMDP is notorious for its high computational complexity and deemed impractical for robotics. However, since early 2000, POMDPs solving capabilities have advanced tremendously, thanks to sampling based approximate solvers. Although these solvers do not generate the optimal solution, they can compute good POMDP solutions that significantly improve the robustness of robotics systems within reasonable computational resources, thereby making POMDPs practical for many realistic robotics problems. This paper presents a review of POMDPs, emphasizing computational issues that have hindered its practicality in robotics and ideas in sampling based solvers that have alleviated such difficulties, together with lessons learned from applying POMDPs to physical robots.


Spatiotemporal Vortex Pulses Angular Momenta and Spin Orbit Interaction. Recently, spatiotemporal optical vortex pulses carrying a purely transverse intrinsic orbital angular momentum were generated experimentally it Optica bf 6 , 1547 (2019) it Nat. Photon. bf 14 , 350 (2020) . However, an accurate theoretical analysis of such states and their angular momentum properties remains elusive. Here we provide such analysis, including scalar and vector spatiotemporal Bessel type solutions as well as descrption of their propagational, polarization, and angular momentum properties. Most importantly, we calculate both local densities and integral values of the spin and orbital angular momenta, and predict observable spin orbit interaction phenomena related to the coupling between the trasnverse spin and orbital angular momentum. Our analysis is readily extended to spatiotemporal vortex pulses of other natures (e.g., acoustic).


Scale Efficiently Insights from Pre training and Fine tuning Transformers. There remain many open questions pertaining to the scaling behaviour of Transformer architectures. These scaling decisions and findings can be critical, as training runs often come with an associated computational cost which have both financial and or environmental impact. The goal of this paper is to present scaling insights from pretraining and finetuning Transformers. While Kaplan et al. presents a comprehensive study of the scaling behaviour of Transformer language models, the scope is only on the upstream (pretraining) loss. Therefore, it is still unclear if these set of findings transfer to downstream task within the context of the pretrain finetune paradigm. The key findings of this paper are as follows (1) we show that aside from only the model size, model shape matters for downstream fine tuning, (2) scaling protocols operate differently at different compute regions, (3) widely adopted T5 base and T5 large sizes are Pareto inefficient. To this end, we present improved scaling protocols whereby our redesigned models achieve similar downstream fine tuning quality while having 50 fewer parameters and training 40 faster compared to the widely adopted T5 base model. We publicly release over 100 pretrained checkpoints of different T5 configurations to facilitate future research and analysis.


Performance Measurements within Asynchronous Task based Runtime Systems A Double White Dwarf Merger as an Application. Analyzing performance within asynchronous many task based runtime systems is challenging because millions of tasks are launched concurrently. Especially for long term runs the amount of data collected becomes overwhelming. We study HPX and its performance counter framework and APEX to collect performance data and energy consumption. We added HPX application specific performance counters to the Octo Tiger full 3D AMR astrophysics application. This enables the combined visualization of physical and performance data to highlight bottlenecks with respect to different solvers. We examine the overhead introduced by these measurements, which is around 1 , with respect to the overall application runtime. We perform a convergence study for four different levels of refinement and analyze the application's performance with respect to adaptive grid refinement. The measurements' overheads are small, enabling the combined use of performance data and physical properties with the goal of improving the code's performance. All of these measurements were obtained on NERSC's Cori, Louisiana Optical Network Infrastructure's QueenBee2, and Indiana University's Big Red 3.


Some Morse type inequalities for symplectic manifolds. Morse type inequalities are given for the symplectic versions of the Bott Chern and Aeppli cohomology groups defined by Tseng and Yau.


Measurement and Shaping of Perfect Optical Vortex via Cross Phase. We investigate a method for the measurement and shaping of a perfect optical vortex (POV) by using the cross phase for the first time. Experimentally, we propose a method to measure the topological charges 3 and 5 of POVs with the low order cross phase (LOCP) at the Fourier plane we realize shaping intensity distributions of POVs at the Fourier plane with the high order cross phase (HOCP) and show the asymmetric modulation ability of the HOCP for an optical field. Furthermore, we discuss the influence of parameters on the optical field in the shaping process. On this basis, we propose a secondary energy control method that combines the characteristics of the POV, which ensures flexible control of the shape while reducing the impact on the orbital angular momentum of the original POV. This work provides an alternative method to measure and shape a POV, which facilitates applications in optical micro manipulation.


The Algebraic Dynamics of the Pentagram Map. The pentagram map, introduced by Schwartz in 1992, is a dynamical system on the moduli space of polygons in the projective plane. Its real and complex dynamics have been explored in detail. We study the pentagram map over an arbitrary algebraically closed field of characteristic not equal to 2. We prove that the pentagram map on twisted polygons is a discrete integrable system, in the sense of algebraic complete integrability the pentagram map is birational to a self map of a family of abelian varieties. This generalizes Soloviev's proof of complex integrability. In the course of the proof, we construct the moduli space of twisted n gons, derive formulas for the pentagram map, and calculate the Lax representation by characteristic independent methods.


Growing Urban Bicycle Networks. Cycling is a promising solution to unsustainable urban transport systems. However, prevailing bicycle network development follows a slow and piecewise process, without taking into account the structural complexity of transportation networks. Here we explore systematically the topological limitations of urban bicycle network development. For 62 cities we study different variations of growing a synthetic bicycle network between an arbitrary set of points routed on the urban street network. We find initially decreasing returns on investment until a critical threshold, posing fundamental consequences to sustainable urban planning Cities must invest into bicycle networks with the right growth strategy, and persistently, to surpass a critical mass. We also find pronounced overlaps of synthetically grown networks in cities with well developed existing bicycle networks, showing that our model reflects reality. Growing networks from scratch makes our approach a generally applicable starting point for sustainable urban bicycle network planning with minimal data requirements.


The educational process organization in the distance learning model problems and features. This article discusses the current issues of providing the educational process in a remote format on the example of the Tomsk State University of Control Systems and Radioelectronics (TUSUR). On the basis of the conducted re search, the problems and features of distance learning are identified and analyzed. It is concluded that it is neces sary to modernize education on the basis of constant monitoring of the effectiveness of providing distance learn ing, taking into account the opinions of all participants in the educational process.


Network Generalization Prediction for Safety Critical Tasks in Novel Operating Domains. It is well known that Neural Network (network) performance often degrades when a network is used in novel operating domains that differ from its training and testing domains. This is a major limitation, as networks are being integrated into safety critical, cyber physical systems that must work in unconstrained environments, e.g., perception for autonomous vehicles. Training networks that generalize to novel operating domains and that extract robust features is an active area of research, but previous work fails to predict what the network performance will be in novel operating domains. We propose the task Network Generalization Prediction predicting the expected network performance in novel operating domains. We describe the network performance in terms of an interpretable Context Subspace, and we propose a methodology for selecting the features of the Context Subspace that provide the most information about the network performance. We identify the Context Subspace for a pretrained Faster RCNN network performing pedestrian detection on the Berkeley Deep Drive (BDD) Dataset, and demonstrate Network Generalization Prediction accuracy within 5 or less of observed performance. We also demonstrate that the Context Subspace from the BDD Dataset is informative for completely unseen datasets, JAAD and Cityscapes, where predictions have a bias of 10 or less.


Multilingual Pre Trained Transformers and Convolutional NN Classification Models for Technical Domain Identification. In this paper, we present a transfer learning system to perform technical domain identification on multilingual text data. We have submitted two runs, one uses the transformer model BERT, and the other uses XLM ROBERTa with the CNN model for text classification. These models allowed us to identify the domain of the given sentences for the ICON 2020 shared Task, TechDOfication Technical Domain Identification. Our system ranked the best for the subtasks 1d, 1g for the given TechDOfication dataset.


Weakly Complete Semantics Based on Undecidedness Blocking. In this paper we introduce a novel family of semantics called weakly complete semantics. Differently from Dung's complete semantics, weakly complete semantics employs a mechanism called undecidedness blocking by which the label undecided of an attacking argument is not always propagated to an otherwise accepted attacked argument. The new semantics are conflict free, non admissible but employing a weaker notion of admissibility they allow reinstatement and they retain the majority of properties of complete semantics. We show how both weakly complete and Dung's complete semantics can be generated by applying different undecidedness blocking strategies, making undecidedness blocking a unifying mechanism underlying argumentation semantics. The semantics are also an example of ambiguity blocking Dunganian semantics and the first semantics to tackle the problem of self defeating attacking arguments. In the last part of the paper we compare weakly complete semantics with the recent work of Baumann et al. on weakly admissible semantics. Since the two families of semantics do not coincide, a principle based analysis of the two approaches is provided. The analysis shows how our semantics satisfy a number of principles satisfied by Dung's complete semantics but not by Baumann et al. semantics, including directionality, abstention, SCC decomposability and cardinality of extensions, making them a more faithful non admissible version of Dung' semantics.


Greenformers Improving Computation and Memory Efficiency in Transformer Models via Low Rank Approximation. In this thesis, we introduce Greenformers, a collection of model efficiency methods to improve the model efficiency of the recently renowned transformer models with a low rank approximation approach. The development trend of deep learning models tends to results in a more complex and larger model. Although it leads to a better and more accurate prediction, the resulting model becomes even more costly, as it requires weeks of training with a huge amount of GPU resources. Particularly, the size and computational cost of transformer based models have increased tremendously since its first debut in 2017 from 100 million parameters up to 1.6 trillion parameters in early 2021. This computationally hungry model also incurs a substantial cost to the environment and even reaches an alarming level of carbon footprint. Some of these models are so massive that it is even impossible to run the model without a GPU cluster. Greenformers improve the model efficiency of transformer models by applying low rank approximation approaches. Specifically, we propose a low rank factorization approach to improve the efficiency of the transformer model called Low Rank Transformer. We further compare our model with an existing low rank factorization approach called Linformer. Based on our analysis, the Low Rank Transformer model is suitable for improving both the time and memory efficiency in processing short sequence ( 512) input data, while the Linformer model is suitable for improving the efficiency in processing long sequence input data ( 512). We also show that Low Rank Transformer is more suitable for on device deployment, as it significantly reduces the model size. Additionally, we estimate that applying LRT to the existing BERT base model can significantly reduce the computational, economical, and environmental costs for developing such models by more than 30 of its original costs.


AI Accelerator Survey and Trends. Over the past several years, new machine learning accelerators were being announced and released every month for a variety of applications from speech recognition, video object detection, assisted driving, and many data center applications. This paper updates the survey of AI accelerators and processors from past two years. This paper collects and summarizes the current commercial accelerators that have been publicly announced with peak performance and power consumption numbers. The performance and power values are plotted on a scatter graph, and a number of dimensions and observations from the trends on this plot are again discussed and analyzed. This year, we also compile a list of benchmarking performance results and compute the computational efficiency with respect to peak performance.


Even and odd instanton bundles on Fano threefolds. We define non ordinary instanton bundles on Fano threefolds X extending the notion of (ordinary) instanton bundles. We determine a lower bound for the quantum number of a non ordinary instanton bundle, i.e. the degree of its second Chern class, showing the existence of such bundles for each admissible value of the quantum number when i X ge 2 or i X 1 , mathrm Pic (X) is cyclic and X is ordinary. In these cases we deal with the component inside the moduli spaces of simple bundles containing the vector bundles we construct and we study their restriction to lines. Finally we give a monadic description of non ordinary instanton bundles on mathbb P 3 and the smooth quadric studying their loci of jumping lines, when of the expected codimension.


Budgeted Influence and Earned Benefit Maximization with Tags in Social Networks. Given a social network, where each user is associated with a selection cost, the problem of textsc Budgeted Influence Maximization ( emph BIM Problem in short) asks to choose a subset of them (known as seed users) within an allocated budget whose initial activation leads to the maximum number of influenced nodes. Existing Studies on this problem do not consider the tag specific influence probability. However, in reality, influence probability between two users always depends upon the context (e.g., sports, politics, etc.). To address this issue, in this paper we introduce the textsc Tag mbox Based Budgeted Influence Maximization problem ( emph TBIM Problem in short), where along with the other inputs, a tag set (each of them is also associated with a selection cost) is given, each edge of the network has the tag specific influence probability, and here the goal is to select influential users as well as influential tags within the allocated budget to maximize the influence. Considering the fact that real world campaigns targeted in nature, we also study the textsc Earned Benefit Maximization Problem in tag specific influence probability setting, which formally we call the textsc Tag mbox Based Earned Benefit Maximization problem ( emph TEBM Problem in short). For this problem along with the inputs of the TBIM Problem, we are given a subset of the nodes as target users, and each one of them is associated with a benefit value that can be earned by influencing them. Considering the fact that different tag has different popularity across the communities of the same network, we propose three methodologies that work based on emph effective marginal influence gain computation . The proposed methodologies have been analyzed for their time and space requirements.


Differentiable Network Adaption with Elastic Search Space. In this paper we propose a novel network adaption method called Differentiable Network Adaption (DNA), which can adapt an existing network to a specific computation budget by adjusting the width and depth in a differentiable manner. The gradient based optimization allows DNA to achieve an automatic optimization of width and depth rather than previous heuristic methods that heavily rely on human priors. Moreover, we propose a new elastic search space that can flexibly condense or expand during the optimization process, allowing the network optimization of width and depth in a bi direction manner. By DNA, we successfully achieve network architecture optimization by condensing and expanding in both width and depth dimensions. Extensive experiments on ImageNet demonstrate that DNA can adapt the existing network to meet different targeted computation requirements with better performance than previous methods. What's more, DNA can further improve the performance of high accuracy networks obtained by state of the art neural architecture search methods such as EfficientNet and MobileNet v3.


Quantifying urban streetscapes with deep learning focus on aesthetic evaluation. The disorder of urban streetscapes would negatively affect people's perception of their aesthetic quality. The presence of billboards on building facades has been regarded as an important factor of the disorder, but its quantification methodology has not yet been developed in a scalable manner. To fill the gap, this paper reports the performance of our deep learning model on a unique data set prepared in Tokyo to recognize the areas covered by facades and billboards in streetscapes, respectively. The model achieved 63.17 of accuracy, measured by Intersection over Union (IoU), thus enabling researchers and practitioners to obtain insights on urban streetscape design by combining data of people's preferences.


Minimal Rank Completions for Overlapping Blocks. We consider the multi objective optimization problem of choosing the bottom left block entry of a block lower triangular matrix to minimize the ranks of all block sub matrices. We provide a proof that there exists a simultaneous rank minimizer by constructing the complete set of all minimizers.


Deep Transfer Learning for Brain Magnetic Resonance Image Multi class Classification. Magnetic Resonance Imaging (MRI) is a principal diagnostic approach used in the field of radiology to create images of the anatomical and physiological structure of patients. MRI is the prevalent medical imaging practice to find abnormalities in soft tissues. Traditionally they are analyzed by a radiologist to detect abnormalities in soft tissues, especially the brain. The process of interpreting a massive volume of patient's MRI is laborious. Hence, the use of Machine Learning methodologies can aid in detecting abnormalities in soft tissues with considerable accuracy. In this research, we have curated a novel dataset and developed a framework that uses Deep Transfer Learning to perform a multi classification of tumors in the brain MRI images. In this paper, we adopted the Deep Residual Convolutional Neural Network (ResNet50) architecture for the experiments along with discriminative learning techniques to train the model. Using the novel dataset and two publicly available MRI brain datasets, this proposed approach attained a classification accuracy of 86.40 on the curated dataset, 93.80 on the Harvard Whole Brain Atlas dataset, and 97.05 accuracy on the School of Biomedical Engineering dataset. Results of our experiments significantly demonstrate our proposed framework for transfer learning is a potential and effective method for brain tumor multi classification tasks.


Keyphrase Generation for Scientific Document Retrieval. Sequence to sequence models have lead to significant progress in keyphrase generation, but it remains unknown whether they are reliable enough to be beneficial for document retrieval. This study provides empirical evidence that such models can significantly improve retrieval performance, and introduces a new extrinsic evaluation framework that allows for a better understanding of the limitations of keyphrase generation models. Using this framework, we point out and discuss the difficulties encountered with supplementing documents with not present in text keyphrases, and generalizing models across domains. Our code is available at https github.com boudinfl ir using kg


On the Robustness of Domain Constraints. Machine learning is vulnerable to adversarial examples inputs designed to cause models to perform poorly. However, it is unclear if adversarial examples represent realistic inputs in the modeled domains. Diverse domains such as networks and phishing have domain constraints complex relationships between features that an adversary must satisfy for an attack to be realized (in addition to any adversary specific goals). In this paper, we explore how domain constraints limit adversarial capabilities and how adversaries can adapt their strategies to create realistic (constraint compliant) examples. In this, we develop techniques to learn domain constraints from data, and show how the learned constraints can be integrated into the adversarial crafting process. We evaluate the efficacy of our approach in network intrusion and phishing datasets and find (1) up to 82 of adversarial examples produced by state of the art crafting algorithms violate domain constraints, (2) domain constraints are robust to adversarial examples enforcing constraints yields an increase in model accuracy by up to 34 . We observe not only that adversaries must alter inputs to satisfy domain constraints, but that these constraints make the generation of valid adversarial examples far more challenging.


Uniform boundedness for finite Morse index solutions to supercritical semilinear elliptic equations. We consider finite Morse index solutions to semilinear elliptic questions, and we investigate their smoothness. It is well known that For n 2 , there exist Morse index 1 solutions whose L infty norm goes to infinity. For n geq 3 , uniform boundedness holds in the subcritical case for power type nonlinearities, while for critical nonlinearities the boundedness of the Morse index does not prevent blow up in L infty . In this paper, we investigate the case of general supercritical nonlinearities inside convex domains, and we prove an interior a priori L infty bound for finite Morse index solution in the sharp dimensional range 3 leq n leq 9 . As a corollary, we obtain uniform bounds for finite Morse index solutions to the Gelfand problem constructed via the continuity method.


Spectral extrema of K s,t minor free graphs On a conjecture of M. Tait. Minors play an important role in extremal graph theory and spectral extremal graph theory. Tait The Colin de Verdi e re parameter, excluded minors, and the spectral radius, J. Combin. Theory Ser. A 166 (2019) 42 58 determined the maximum spectral radius and characterized the unique extremal graph for K r minor free graphs of sufficiently large order n , he also made great progress on K s,t minor free graphs and posed a conjecture Let 2 leq s leq t and n s 1 pt q , where n is sufficiently large and 1 leq q leq t. Then K s 1 nabla (pK t cup K q) is the unique extremal graph with the maximum spectral radius over all n vertex K s,t minor free graphs. In this paper, Tait's conjecture is completely solved. We also determine the maximum spectral radius and its extremal graphs for n vertex K 1,t minor free graphs. To prove our results, some spectral and structural tools, such as, local edge maximality, local degree sequence majorization, double eigenvectors transformation, are used to deduce structural properties of extremal graphs.


Cohomology Group of K( mathbb Z ,4) and K( mathbb Z ,5) . We are familiar with properties and structure of topological spaces. One of the powerful tools, which help us to figure out the structure of topological spaces is (Leray Serre) spectral sequence. Although Eilenberg Maclane space plays important roles in topology, and respectively geometry. Actually finding cohomology groups of this space can be useful for classifying spaces, and also homotopy groups structure of these groups. This paper discusses how to compute cohomology groups of Eilenberg Maclane spaces K( mathbb Z , 4) and K( mathbb Z , 5) (cohomology degree less than 11 ). Furthermore we give the method to find cohomology groups of K( mathbb Z , n) . Some proofs are given to the basic facts about cohomology group of K( mathbb Z , 5) and K( mathbb Z ,4).


Emergent Discrete Communication in Semantic Spaces. Neural agents trained in reinforcement learning settings can learn to communicate among themselves via discrete tokens, accomplishing as a team what agents would be unable to do alone. However, the current standard of using one hot vectors as discrete communication tokens prevents agents from acquiring more desirable aspects of communication such as zero shot understanding. Inspired by word embedding techniques from natural language processing, we propose neural agent architectures that enables them to communicate via discrete tokens derived from a learned, continuous space. We show in a decision theoretic framework that our technique optimizes communication over a wide range of scenarios, whereas one hot tokens are only optimal under restrictive assumptions. In self play experiments, we validate that our trained agents learn to cluster tokens in semantically meaningful ways, allowing them communicate in noisy environments where other techniques fail. Lastly, we demonstrate both that agents using our method can effectively respond to novel human communication and that humans can understand unlabeled emergent agent communication, outperforming the use of one hot communication.


Truth Conditional Captioning of Time Series Data. In this paper, we explore the task of automatically generating natural language descriptions of salient patterns in a time series, such as stock prices of a company over a week. A model for this task should be able to extract high level patterns such as presence of a peak or a dip. While typical contemporary neural models with attention mechanisms can generate fluent output descriptions for this task, they often generate factually incorrect descriptions. We propose a computational model with a truth conditional architecture which first runs small learned programs on the input time series, then identifies the programs patterns which hold true for the given input, and finally conditions on only the chosen valid program (rather than the input time series) to generate the output text description. A program in our model is constructed from modules, which are small neural networks that are designed to capture numerical patterns and temporal information. The modules are shared across multiple programs, enabling compositionality as well as efficient learning of module parameters. The modules, as well as the composition of the modules, are unobserved in data, and we learn them in an end to end fashion with the only training signal coming from the accompanying natural language text descriptions. We find that the proposed model is able to generate high precision captions even though we consider a small and simple space of module types.


Accuracy Privacy Trade off in Deep Ensemble A Membership Inference Perspective. Deep ensemble learning has been shown to improve accuracy by training multiple neural networks and fusing their outputs. Ensemble learning has also been used to defend against membership inference attacks that undermine privacy. In this paper, we empirically demonstrate a trade off between these two goals, namely accuracy and privacy (in terms of membership inference attacks), in deep ensembles. Using a wide range of datasets and model architectures, we show that the effectiveness of membership inference attacks also increases when ensembling improves accuracy. To better understand this trade off, we study the impact of various factors such as prediction confidence and agreement between models that constitute the ensemble. Finally, we evaluate defenses against membership inference attacks based on regularization and differential privacy. We show that while these defenses can mitigate the effectiveness of the membership inference attack, they simultaneously degrade ensemble accuracy. We illustrate similar trade off in more advanced and state of the art ensembling techniques, such as snapshot ensembles and diversified ensemble networks. The source code is available in supplementary materials.


On the Electrode Configurations in a Large Single Phase Liquid Xenon Detector for Dark Matter Searches. In the near future there will be the request for very large liquid Xenon (LXe) detectors for Dark Matter (DM) searches in the 50 ton range. To avoid an impractically long, single drift space of a dual phase detector, it seems beneficial to use the single phase technique. Since electrons then can drift in any direction, we can segment the homogeneous medium and thus avoid an excessive maximum drift path of order 4 m. The shorter detector length has several benefits, e.g. requiring a lower cathode voltage for the same drift field. We can easily split the TPC into two regions with the cathode in the center and two anodes at the top and bottom. One also can use multiple TPCs stacked on top of each other in the same liquid volume to reduce the maximum drift length even further. A further division of the drift space by installing an additional anode in the center would require S2 photons to traverse the liquid for several times the Rayleigh scattering length in LXe, which is only 30 40 cm. This seems to be excessive for good x y localization. We therefore suggest a geometry of two independent TPCs with two drift spaces each. Despite earlier publications concerns persisted about the effect of shadowing. A detailed FEM model of the anode regions shows that with an aligned wire arrangement the drifting electrons impinge sideways on the anode in a narrow angular range of width 15 circ 20 circ . Most S2 photons are emitted in full view of the close by PMT array. About 37 of the S2 photons are shadowed by the anode wire out of which 30 will be reflected back again on the gold plating of the wires. Thus we can observe 74 of the total S2 light. Compared to a dual phase detector, however, we do not suffer from the extraction efficiency, sometimes reported as low as 50 .


Proceedings of the 2020 Scheme and Functional Programming Workshop. This report aggregates the papers presented at the twenty first annual Scheme and Functional Programming Workshop, hosted on August 28th, 2020, online and co located with the twenty fifth International Conference on Functional Programming. The Scheme and Functional Programming Workshop is held every year to provide an opportunity for researchers and practitioners using Scheme and related functional programming languages like Racket, Clojure, and Lisp, to share research findings and discuss the future of the Scheme programming language.


Learning Skeletal Graph Neural Networks for Hard 3D Pose Estimation. Various deep learning techniques have been proposed to solve the single view 2D to 3D pose estimation problem. While the average prediction accuracy has been improved significantly over the years, the performance on hard poses with depth ambiguity, self occlusion, and complex or rare poses is still far from satisfactory. In this work, we target these hard poses and present a novel skeletal GNN learning solution. To be specific, we propose a hop aware hierarchical channel squeezing fusion layer to effectively extract relevant information from neighboring nodes while suppressing undesired noises in GNN learning. In addition, we propose a temporal aware dynamic graph construction procedure that is robust and effective for 3D pose estimation. Experimental results on the Human3.6M dataset show that our solution achieves 10.3 average prediction accuracy improvement and greatly improves on hard poses over state of the art techniques. We further apply the proposed technique on the skeleton based action recognition task and also achieve state of the art performance. Our code is available at https github.com ailingzengzzz Skeletal GNN.


Counterfactual Evaluation for Explainable AI. While recent years have witnessed the emergence of various explainable methods in machine learning, to what degree the explanations really represent the reasoning process behind the model prediction namely, the faithfulness of explanation is still an open problem. One commonly used way to measure faithfulness is textit erasure based criteria. Though conceptually simple, erasure based criterion could inevitably introduce biases and artifacts. We propose a new methodology to evaluate the faithfulness of explanations from the textit counterfactual reasoning perspective the model should produce substantially different outputs for the original input and its corresponding counterfactual edited on a faithful feature. Specially, we introduce two algorithms to find the proper counterfactuals in both discrete and continuous scenarios and then use the acquired counterfactuals to measure faithfulness. Empirical results on several datasets show that compared with existing metrics, our proposed counterfactual evaluation method can achieve top correlation with the ground truth under diffe


Research Challenges and Progress in Robotic Grasping and Manipulation Competitions. This paper discusses recent research progress in robotic grasping and manipulation in the light of the latest Robotic Grasping and Manipulation Competitions (RGMCs). We first provide an overview of past benchmarks and competitions related to the robotics manipulation field. Then, we discuss the methodology behind designing the manipulation tasks in RGMCs. We provide a detailed analysis of key challenges for each task and identify the most difficult aspects based on the competing teams' performance in recent years. We believe that such an analysis is insightful to determine the future research directions for the robotic manipulation domain.


Parallelized Discrete Exterior Calculus for Three Dimensional Elliptic Problems. A formulation of elliptic boundary value problems is used to develop the first discrete exterior calculus (DEC) library for massively parallel computations with 3D domains. This can be used for steady state analysis of any physical process driven by the gradient of a scalar quantity, e.g. temperature, concentration, pressure or electric potential, and is easily extendable to transient analysis. In addition to offering this library to the community, we demonstrate one important benefit from the DEC formulation effortless introduction of strong heterogeneities and discontinuities. These are typical for real materials, but challenging for widely used domain discretization schemes, such as finite elements. Specifically, we demonstrate the efficiency of the method for calculating the evolution of thermal conductivity of a solid with a growing crack population. Future development of the library will deal with transient problems, and more importantly with processes driven by gradients of vector quantities.


Bracket structure on Hochschild cohomology of Koszul quiver algebras using homotopy liftings. We present the Gerstenhaber algebra structure on the Hochschild cohomology of Koszul algebras defined by quivers and relations using the idea of homotopy liftings. E.L. Green, G. Hartman, E.N. Marcos and O. Solberg provided a canonical way of constructing a minimal projective bimodule resolution of a Koszul quiver algebra. The resolution has a comultiplicative structure which we use to define homotopy lifting maps. We first present a short example that demonstrates the theory. We then study the Gerstenhaber algebra structure on Hochschild cohomology of a family of bound quiver algebras, some members of which are counterexamples to the Snashall Solberg finite generation conjecture. We give examples of homotopy lifting maps for degree 2 and degree 1 cocycles and draw connections to derivation operators. As an application, we describe Hochschild 2 cocycles satisfying the Maurer Cartan equation.


The tropical Manin Mumford conjecture. In analogy with the Manin Mumford conjecture for algebraic curves, one may ask how a metric graph under the Abel Jacobi embedding intersects torsion points of its Jacobian. We show that the number of torsion points is finite for metric graphs of genus g geq 2 which are biconnected and have edge lengths which are sufficiently irrational'' in a precise sense. Under these assumptions, the number of torsion points is bounded by 3g 3 . Next we study bounds on the number of torsion points in the image of higher degree Abel Jacobi embeddings, which send d tuples of points to the Jacobian. This motivates the definition of the independent girth'' of a graph, a number which is a strict upper bound for d such that the higher degree Manin Mumford property holds.


How to Learn and Represent Abstractions An Investigation using Symbolic Alchemy. Alchemy is a new meta learning environment rich enough to contain interesting abstractions, yet simple enough to make fine grained analysis tractable. Further, Alchemy provides an optional symbolic interface that enables meta RL research without a large compute budget. In this work, we take the first steps toward using Symbolic Alchemy to identify design choices that enable deep RL agents to learn various types of abstraction. Then, using a variety of behavioral and introspective analyses we investigate how our trained agents use and represent abstract task variables, and find intriguing connections to the neuroscience of abstraction. We conclude by discussing the next steps for using meta RL and Alchemy to better understand the representation of abstract variables in the brain.


Joint Optimization of Preamble Selection and Access Barring for Random Access in MTC with General Device Activities. Most existing random access schemes for machine type communications (MTC) simply adopt a uniform preamble selection distribution, irrespective of the underlying device activity distributions. Hence, they may yield unsatisfactory access efficiency. In this paper, we model device activities for MTC as multiple Bernoulli random variables following an arbitrary multivariate Bernoulli distribution which can reflect both dependent and independent device activities. Then, we optimize preamble selection and access barring for random access in MTC according to the underlying joint device activity distribution. Specifically, we investigate three cases of the joint device activity distribution, i.e., the cases of perfect, imperfect, and unknown joint device activity distributions, and formulate the average, worst case average, and sample average throughput maximization problems, respectively. The problems in the three cases are challenging nonconvex problems. In the case of perfect joint device activity distribution, we develop an iterative algorithm and a low complexity iterative algorithm to obtain stationary points of the original problem and an approximate problem, respectively. In the case of imperfect joint device activity distribution, we develop an iterative algorithm and a low complexity iterative algorithm to obtain a Karush Kuhn Tucker (KKT) point of an equivalent problem and a stationary point of an approximate problem, respectively. Finally, in the case of unknown joint device activity distribution, we develop an iterative algorithm to obtain a stationary point. The proposed solutions are widely applicable and outperform existing solutions for dependent and independent device activities.


Shadow Art Revisited A Differentiable Rendering Based Approach. While recent learning based methods have been observed to be superior for several vision related applications, their potential in generating artistic effects has not been explored much. One such interesting application is Shadow Art a unique form of sculptural art where 2D shadows cast by a 3D sculpture produce artistic effects. In this work, we revisit shadow art using differentiable rendering based optimization frameworks to obtain the 3D sculpture from a set of shadow (binary) images and their corresponding projection information. Specifically, we discuss shape optimization through voxel as well as mesh based differentiable renderers. Our choice of using differentiable rendering for generating shadow art sculptures can be attributed to its ability to learn the underlying 3D geometry solely from image data, thus reducing the dependence on 3D ground truth. The qualitative and quantitative results demonstrate the potential of the proposed framework in generating complex 3D sculptures that go beyond those seen in contemporary art pieces using just a set of shadow images as input. Further, we demonstrate the generation of 3D sculptures to cast shadows of faces, animated movie characters, and applicability of the framework to sketch based 3D reconstruction of underlying shapes.


Sense Bandits AI based Adaptation of Sensing Thresholds for Heterogeneous technology Coexistence Over Unlicensed Bands. In this paper, we present Sense Bandits, an AI based framework for distributed adaptation of the sensing thresholds (STs) over shared spectrum. This framework specifically targets the coexistence of heterogenous technologies, e.g., Wi Fi, 4G Licensed Assisted Access (LAA), and 5G New Radio Unlicensed (NR U), over unlicensed channels. To access the channel, a device compares the measured power with a predefined ST value and accordingly decides if the channel is idle or not. Improper setting of the ST values creates asymmetric sensing floors, resulting in collisions due to hidden terminals and or reduction in the spatial reuse due to exposed terminals. Optimal ST setting is challenging because it requires global knowledge of mobility, traffic loads, and channel access behavior of all contending devices. Sense Bandits tackles this problem by employing a clustering based multi armed bandit (MAB) algorithm, which adapts its learning behavior based on network dynamics. Clustering allows the algorithm to track network changes in real time, ensuring fast learning of the best ST values by classifying the state and dynamics of coexisting networks. We develop a C based network simulator that implements Sense Bandits and we apply it to evaluate the coexistence of Wi Fi and 5G NR U systems over the unlicensed 5 GHz U NII bands. Our simulation results indicate that ST adaptive devices employing Sense Bandits do not harm neighboring devices that adopt a fixed ST value.


Martingale convergence Theorems for Tensor Splines. In this article we prove martingale type pointwise convergence theorems pertaining to tensor product splines defined on d dimensional Euclidean space ( d is a positive integer), where conditional expectations are replaced by their corresponding tensor spline orthoprojectors. Versions of Doob's maximal inequality, the martingale convergence theorem and the characterization of the Radon Nikod ' y m property of Banach spaces X in terms of pointwise X valued martingale convergence are obtained in this setting. Those assertions are in full analogy to their martingale counterparts and hold independently of filtration, spline degree, and dimension d .


A Stable Mixed FE Method for Nearly Incompressible Linear Elastostatics. We present a new, stable, mixed finite element (FE) method for linear elastostatics of nearly incompressible solids. The method is the automatic variationally stable FE (AVS FE) method of Calo, Romkes and Valseth, in which we consider a Petrov Galerkin weak formulation where the stress and displacement variables are in the space H(div)xH1, respectively. This allows us to employ a fully conforming FE discretization for any elastic solid using classical FE subspaces of H(div) and H1. Hence, the resulting FE approximation yields both continuous stresses and displacements. To ensure stability of the method, we employ the philosophy of the discontinuous Petrov Galerkin (DPG) method of Demkowicz and Gopalakrishnan and use optimal test spaces. Thus, the resulting FE discretization is stable even as the Poisson ratio approaches 0.5, and the system of linear algebraic equations is symmetric and positive definite. Our method also comes with a built in a posteriori error estimator as well as well as indicators which are used to drive mesh adaptive refinements. We present several numerical verifications of our method including comparisons to existing FE technologies.


Exploring 2D Data Augmentation for 3D Monocular Object Detection. Data augmentation is a key component of CNN based image recognition tasks like object detection. However, it is relatively less explored for 3D object detection. Many standard 2D object detection data augmentation techniques do not extend to 3D box. Extension of these data augmentations for 3D object detection requires adaptation of the 3D geometry of the input scene and synthesis of new viewpoints. This requires accurate depth information of the scene which may not be always available. In this paper, we evaluate existing 2D data augmentations and propose two novel augmentations for monocular 3D detection without a requirement for novel view synthesis. We evaluate these augmentations on the RTM3D detection model firstly due to the shorter training times . We obtain a consistent improvement by 4 in the 3D AP ( IoU 0.7) for cars, 1.8 scores 3D AP ( IoU 0.25) for pedestrians cyclists, over the baseline on KITTI car detection dataset. We also demonstrate a rigorous evaluation of the mAP scores by re weighting them to take into account the class imbalance in the KITTI validation dataset.


Model free Vehicle Tracking and State Estimation in Point Cloud Sequences. Estimating the states of surrounding traffic participants stays at the core of autonomous driving. In this paper, we study a novel setting of this problem model free single object tracking (SOT), which takes the object state in the first frame as input, and jointly solves state estimation and tracking in subsequent frames. The main purpose for this new setting is to break the strong limitation of the popular "detection and tracking" scheme in multi object tracking. Moreover, we notice that shape completion by overlaying the point clouds, which is a by product of our proposed task, not only improves the performance of state estimation but also has numerous applications. As no benchmark for this task is available so far, we construct a new dataset LiDAR SOT and corresponding evaluation protocols based on the Waymo Open dataset. We then propose an optimization based algorithm called SOTracker involving point cloud registration, vehicle shapes, correspondence, and motion priors. Our quantitative and qualitative results prove the effectiveness of our SOTracker and reveal the challenging cases for SOT in point clouds, including the sparsity of LiDAR data, abrupt motion variation, etc. Finally, we also explore how the proposed task and algorithm may benefit other autonomous driving applications, including simulating LiDAR scans, generating motion data, and annotating optical flow. The code and protocols for our benchmark and algorithm are available at https github.com TuSimple LiDAR SOT . A video demonstration is at https www.youtube.com watch?v BpHixKs91i8.


Evaluating Multiway Multilingual NMT in the Turkic Languages. Despite the increasing number of large and comprehensive machine translation (MT) systems, evaluation of these methods in various languages has been restrained by the lack of high quality parallel corpora as well as engagement with the people that speak these languages. In this study, we present an evaluation of state of the art approaches to training and evaluating MT systems in 22 languages from the Turkic language family, most of which being extremely under explored. First, we adopt the TIL Corpus with a few key improvements to the training and the evaluation sets. Then, we train 26 bilingual baselines as well as a multi way neural MT (MNMT) model using the corpus and perform an extensive analysis using automatic metrics as well as human evaluations. We find that the MNMT model outperforms almost all bilingual baselines in the out of domain test sets and finetuning the model on a downstream task of a single pair also results in a huge performance boost in both low and high resource scenarios. Our attentive analysis of evaluation criteria for MT models in Turkic languages also points to the necessity for further research in this direction. We release the corpus splits, test sets as well as models to the public.


Cyclic attractors of nonexpanding n ary networks. Discrete dynamical systems in which model components take on categorical values have been successfully applied to biological networks to study their global dynamic behavior. Boolean models in particular have been used extensively. However, multi state models have also emerged as effective computational tools for the analysis of complex mechanisms underlying biological networks. Models in which variables assume more than two discrete states provide greater resolution, but this scheme introduces discontinuities. In particular, variables can increase or decrease by more than one unit in one time step. This can be corrected, without changing fixed points of the system, by applying an additional rule to each local activation function. On the other hand, if one is interested in cyclic attractors of their system, then this rule can potentially introduce new cyclic attractors that were not observed previously. This article makes some advancements in understanding the state space dynamics of multi state network models with a synchronous update schedule and establishes conditions under which no new cyclic attractors are added to networks when the additional rule is applied. Our analytical results have the potential to be incorporated into modeling software and aid researchers in their analyses of biological multi state networks.


On balanced (Z 4u times Z 8v , 4,5 ,1) difference packings. Let K be a set of positive integers and let G be an additive group. A (G, K, 1) difference packing is a set of subsets of G with sizes from K whose list of differences covers every element of G at most once. It is balanced if the number of blocks of size k in K does not depend on k . In this paper, we determine a balanced (Z 4u times Z 8v , 4,5 ,1) difference packing of the largest possible size whenever uv is odd. The corresponding optimal balanced (4u, 8v, 4,5 ,1) optical orthogonal signature pattern codes are also obtained.


QUINT Node embedding using network hashing. Representation learning using network embedding has received tremendous attention due to its efficacy to solve downstream tasks. Popular embedding methods (such as deepwalk, node2vec, LINE) are based on a neural architecture, thus unable to scale on large networks both in terms of time and space usage. Recently, we proposed BinSketch, a sketching technique for compressing binary vectors to binary vectors. In this paper, we show how to extend BinSketch and use it for network hashing. Our proposal named QUINT is built upon BinSketch, and it embeds nodes of a sparse network onto a low dimensional space using simple bi wise operations. QUINT is the first of its kind that provides tremendous gain in terms of speed and space usage without compromising much on the accuracy of the downstream tasks. Extensive experiments are conducted to compare QUINT with seven state of the art network embedding methods for two end tasks link prediction and node classification. We observe huge performance gain for QUINT in terms of speedup (up to 7000x) and space saving (up to 80x) due to its bit wise nature to obtain node embedding. Moreover, QUINT is a consistent top performer for both the tasks among the baselines across all the datasets. Our empirical observations are backed by rigorous theoretical analysis to justify the effectiveness of QUINT. In particular, we prove that QUINT retains enough structural information which can be used further to approximate many topological properties of networks with high confidence.


Photoinjector Generation of High Charge Magnetized Beams for Electron Cooling Applications. Electron cooling offers a relatively simple scheme to enable high luminosity collisions in future electron ion and hadron colliders. Contemplated TeV energy hadron colliders require relativistic (sub 100 MeV) high charge cal O ( mbox nC ) electron beams with a specific transverse eigenemittance partition. This paper discusses the generation of high charge ( Q le 3.2 nC) 40 MeV electron bunches with eigenemittance partition consistent with requirements associated with electron cooling option for future electron ion colliders. The supporting experiment was performed at the FAST facility at FermiLab. The data are compared with numerical simulations and the results discussed in the context of beam requirement for future electron ion colliders.


Control and stabilization for the dispersion generalized Benjamin equation on the circle. This paper is concerned with controllability and stabilization properties of the dispersion generalized Benjamin equation on the periodic domain mathbb T . First, by assuming the control input acts on all the domain, the system is proved to be globally exactly controllable in the Sobolev space H s p ( mathbb T ), with s geq 0. Second, by providing a locally damped term added to the equation as a feedback law, it is shown that the resulting equation is globally well posed and locally exponentially stabilizable in the space L 2 p ( mathbb T ). The main ingredient to prove the global well posedness is the introduction of the dissipation normalized Bourgain spaces which allows one to gain smoothing properties simultaneously from the dissipation and dispersion present in the equation. Finally, the local exponential stabilizability result is accomplished taking into account the decay of the associated semigroup combined with the fixed point argument.


On Compressible Navier Stokes Equations Subject to Large Potential Forces with Slip Boundary Conditions in 3D Bounded Domains. We deal with the barotropic compressible Navier Stokes equations subject to large external potential forces with slip boundary condition in a 3D simply connected bounded domain, whose smooth boundary has a finite number of 2D connected components. The global existence of strong or classical solutions to the initial boundary value problem of this system is established provided the initial energy is suitably small. Moreover, the density has large oscillations and contains vacuum states. Finally, we show that the global strong or classical solutions decay exponentially in time to the equilibrium in some Sobolev's spaces, but the oscillation of the density will grow unboundedly in the long run with an exponential rate when the initial density contains vacuum states.


Investigating the spatial resolution of EMG and MMG based on a systemic multi scale model. While electromyography (EMG) and magnetomyography (MMG) are both methods to measure the electrical activity of skeletal muscles, no systematic comparison between both signals exists. Within this work, we propose a systemic in silico model for EMG and MMG and test the hypothesis that MMG surpasses EMG in terms of spatial selectivity. The results show that MMG provides a slightly better spatial selectivity than EMG when recorded directly on the muscle surface. However, there is a remarkable difference in spatial selectivity for non invasive surface measurements. The spatial selectivity of the MMG components aligned with the muscle fibres and normal to the body surface outperforms the spatial selectivity of surface EMG. Particularly, for the MMG's normal to the surface component the influence of subcutaneous fat is minimal. Further, for the first time, we analyse the contribution of different structural components, i.e., muscle fibres from different motor units and the extracellular space, to the measurable biomagnetic field. Notably, the simulations show that the normal to the surface MMG component, the contribution from volume currents in the extracellular space and in surrounding inactive tissues is negligible. Further, our model predicts a surprisingly high contribution of the passive muscle fibres to the observable magnetic field.


Error analysis for physics informed neural networks (PINNs) approximating Kolmogorov PDEs. Physics informed neural networks approximate solutions of PDEs by minimizing pointwise residuals. We derive rigorous bounds on the error, incurred by PINNs in approximating the solutions of a large class of linear parabolic PDEs, namely Kolmogorov equations that include the heat equation and Black Scholes equation of option pricing, as examples. We construct neural networks, whose PINN residual (generalization error) can be made as small as desired. We also prove that the total L 2 error can be bounded by the generalization error, which in turn is bounded in terms of the training error, provided that a sufficient number of randomly chosen training (collocation) points is used. Moreover, we prove that the size of the PINNs and the number of training samples only grow polynomially with the underlying dimension, enabling PINNs to overcome the curse of dimensionality in this context. These results enable us to provide a comprehensive error analysis for PINNs in approximating Kolmogorov PDEs.


On the equivalence of two theories of real cyclotomic spectra. We give a new formula for real topological cyclic homology that refines the fiber sequence formula discovered by Nikolaus and Scholze for topological cyclic homology to one involving genuine C 2 spectra. To accomplish this, we give a new definition of the infty category of real cyclotomic spectra that replaces the usage of genuinely equivariant dihedral spectra with the parametrized Tate construction. We then define an infty categorical version of H o genhaven's O(2) orthogonal cyclotomic spectra, construct a forgetful functor relating the two theories, and show that this functor restricts to an equivalence between full subcategories of appropriately bounded below objects. As an application, we compute the real topological cyclic homology of perfect mathbb F p algebras for all primes p .


Davenport and Hasse's theorems and lifts of multiplication matrices of Gaussian periods. Let e geq 2 be an integer, p r be a prime power with p r equiv 1 ( rm mod e) and eta r(i) be Gaussian periods of degree e for mathbb F p r . By the dual form of Davenport and Hasse's lifting theorem on Gauss sums, we establish lifts of the multiplication matrices of the Gaussian periods eta r(0), ldots, eta r(e 1) which are defined by F. Thaine. We also give some examples of the explicit lifts for prime degree e with 3 leq e leq 23 which also illustrate relations among lifts of Jacobi sums, Gaussian periods and multiplication matrices of Gaussian periods.


Reinforcement Learning for Adaptive Mesh Refinement. Large scale finite element simulations of complex physical systems governed by partial differential equations crucially depend on adaptive mesh refinement (AMR) to allocate computational budget to regions where higher resolution is required. Existing scalable AMR methods make heuristic refinement decisions based on instantaneous error estimation and thus do not aim for long term optimality over an entire simulation. We propose a novel formulation of AMR as a Markov decision process and apply deep reinforcement learning (RL) to train refinement policies directly from simulation. AMR poses a new problem for RL in that both the state dimension and available action set changes at every step, which we solve by proposing new policy architectures with differing generality and inductive bias. The model sizes of these policy architectures are independent of the mesh size and hence scale to arbitrarily large and complex simulations. We demonstrate in comprehensive experiments on static function estimation and the advection of different fields that RL policies can be competitive with a widely used error estimator and generalize to larger, more complex, and unseen test problems.


Short wavelength band structure of photons in cholesteric liquid crystals. The band structure of photons in cholesteric liquid crystals (CLCs) is investigated in the shortwave approximation. The bound states or narrow resonances of photons in the CLC are formed by the extraordinary waves. The explicit expressions for the spectrum bands and the dispersion laws of photons in these bands are obtained. It is shown that these states describe photons propagating almost perpendicular to the CLC axis. The density of photon states acquires a sharp peak due to the presence of bound states. Near this peak, in the particular case of plasma permittivity, the photons posses a linear or quadratic dispersion relations in the directions perpendicular to the CLC axis depending on the sign of the anisotropy of the CLC permittivity tensor. The resonances in the CLC plate are also described.


The Multicolored Graph Realization Problem. We introduce the Multicolored Graph Realization problem (MGRP). The input to the problem is a colored graph (G, varphi) , i.e., a graph together with a coloring on its vertices. We can associate to each colored graph a cluster graph ( G varphi) in which, after collapsing to a node all vertices with the same color, we remove multiple edges and self loops. A set of vertices S is multicolored when S has exactly one vertex from each color class. The problem is to decide whether there is a multicolored set S such that, after identifying each vertex in S with its color class, G S coincides with G varphi . The MGR problem is related to the class of generalized network problems, most of which are NP hard. For example the generalized MST problem. MGRP is a generalization of the Multicolored Clique Problem, which is known to be W 1 hard when parameterized by the number of colors. Thus MGRP remains W 1 hard, when parameterized by the size of the cluster graph and when parameterized by any graph parameter on G varphi , among those for treewidth. We look to instances of the problem in which both the number of color classes and the treewidth of G varphi are unbounded. We show that MGRP is NP complete when G varphi is either chordal, biconvex bipartite, complete bipartite or a 2 dimensional grid. Our hardness results follows from suitable reductions from the 1 in 3 monotone SAT problem. Our reductions show that the problem remains hard even when the maximum number of vertices in a color class is 3. In the case of the grid, the hardness holds also graphs with bounded degree. We complement those results by showing combined parameterizations under which the MGR problem became tractable.


Design and Development of Autonomous Delivery Robot. The field of autonomous robotics is growing at a rapid rate. The trend to use increasingly more sensors in vehicles is driven both by legislation and consumer demands for higher safety and reliable service. Nowadays, robots are found everywhere, ranging from homes, hospitals to industries, and military operations. Autonomous robots are developed to be robust enough to work beside humans and to carry out jobs efficiently. Humans have a natural sense of understanding of the physical forces acting around them like gravity, sense of motion, etc. which are not taught explicitly but are developed naturally. However, this is not the case with robots. To make the robot fully autonomous and competent to work with humans, the robot must be able to perceive the situation and devise a plan for smooth operation, considering all the adversities that may occur while carrying out the tasks. In this thesis, we present an autonomous mobile robot platform that delivers the package within the VNIT campus without any human intercommunication. From an initial user supplied geographic target location, the system plans an optimized path and autonomously navigates through it. The entire pipeline of an autonomous robot working in outdoor environments is explained in detail in this thesis.


A Globally Normalized Neural Model for Semantic Parsing. In this paper, we propose a globally normalized model for context free grammar (CFG) based semantic parsing. Instead of predicting a probability, our model predicts a real valued score at each step and does not suffer from the label bias problem. Experiments show that our approach outperforms locally normalized models on small datasets, but it does not yield improvement on a large dataset.


Contracting on average iterated function systems by metric change. We study contraction conditions for an iterated function system of continuous maps on a metric space which are chosen randomly, identically and independently. We investigate metric changes, preserving the topological structure of the space, which turn the IFS into one which is contracting on average. For the particular case of a system of C 1 diffeomorphisms of the circle which is proximal and does not have a probability measure simultaneously invariant by every map, we derive a strongly equivalent metric which contracts on average.


Inclusive Speaker Verification with Adaptive thresholding. While using a speaker verification (SV) based system in a commercial application, it is important that customers have an inclusive experience irrespective of their gender, age, or ethnicity. In this paper, we analyze the impact of gender and age on SV and find that for a desired common False Acceptance Rate (FAR) across different gender and age groups, the False Rejection Rate (FRR) is different for different gender and age groups. To optimize FRR for all users for a desired FAR, we propose a context (e.g. gender, age) adaptive thresholding framework for SV. The context can be available as prior information for many practical applications. We also propose a concatenated gender age detection model to algorithmically derive the context in absence of such prior information. We experimentally show that our context adaptive thresholding method is effective in building a more efficient inclusive SV system. Specifically, we show that we can reduce FRR for specific gender for a desired FAR on the voxceleb1 test set by using gender specific thresholds. Similar analysis on OGI kids' speech corpus shows that by using an age specific threshold, we can significantly reduce FRR for certain age groups for desired FAR.


Twine An Embedded Trusted Runtime for WebAssembly. WebAssembly is an increasingly popular lightweight binary instruction format, which can be efficiently embedded and sandboxed. Languages like C, C , Rust, Go, and many others can be compiled into WebAssembly. This paper describes Twine, a WebAssembly trusted runtime designed to execute unmodified, language independent applications. We leverage Intel SGX to build the runtime environment without dealing with language specific, complex APIs. While SGX hardware provides secure execution within the processor, Twine provides a secure, sandboxed software runtime nested within an SGX enclave, featuring a WebAssembly system interface (WASI) for compatibility with unmodified WebAssembly applications. We evaluate Twine with a large set of general purpose benchmarks and real world applications. In particular, we used Twine to implement a secure, trusted version of SQLite, a well known full fledged embeddable database. We believe that such a trusted database would be a reasonable component to build many larger application services. Our evaluation shows that SQLite can be fully executed inside an SGX enclave via WebAssembly and existing system interface, with similar average performance overheads. We estimate that the performance penalties measured are largely compensated by the additional security guarantees and its full compatibility with standard WebAssembly. An in depth analysis of our results indicates that performance can be greatly improved by modifying some of the underlying libraries. We describe and implement one such modification in the paper, showing up to 4.1 times speedup. Twine is open source, available at GitHub along with instructions to reproduce our experiments.


Exploiting Language Model for Efficient Linguistic Steganalysis. Recent advances in linguistic steganalysis have successively applied CNN, RNN, GNN and other efficient deep models for detecting secret information in generative texts. These methods tend to seek stronger feature extractors to achieve higher steganalysis effects. However, we have found through experiments that there actually exists significant difference between automatically generated stego texts and carrier texts in terms of the conditional probability distribution of individual words. Such kind of difference can be naturally captured by the language model used for generating stego texts. Through further experiments, we conclude that this ability can be transplanted to a text classifier by pre training and fine tuning to improve the detection performance. Motivated by this insight, we propose two methods for efficient linguistic steganalysis. One is to pre train a language model based on RNN, and the other is to pre train a sequence autoencoder. The results indicate that the two methods have different degrees of performance gain compared to the randomly initialized RNN, and the convergence speed is significantly accelerated. Moreover, our methods achieved the best performance compared to related works, while providing a solution for real world scenario where there are more cover texts than stego texts.


HarDNet MSEG A Simple Encoder Decoder Polyp Segmentation Neural Network that Achieves over 0.9 Mean Dice and 86 FPS. We propose a new convolution neural network called HarDNet MSEG for polyp segmentation. It achieves SOTA in both accuracy and inference speed on five popular datasets. For Kvasir SEG, HarDNet MSEG delivers 0.904 mean Dice running at 86.7 FPS on a GeForce RTX 2080 Ti GPU. It consists of a backbone and a decoder. The backbone is a low memory traffic CNN called HarDNet68, which has been successfully applied to various CV tasks including image classification, object detection, multi object tracking and semantic segmentation, etc. The decoder part is inspired by the Cascaded Partial Decoder, known for fast and accurate salient object detection. We have evaluated HarDNet MSEG using those five popular datasets. The code and all experiment details are available at Github. https github.com james128333 HarDNet MSEG


Sharp Stability Wavenumber explicit Bounds for 2D Helmholtz Equations. Numerically solving the 2D Helmholtz equation is widely known to be very difficult largely due to its highly oscillatory solution, which brings about the pollution effect. A very fine mesh size is necessary to deal with a large wavenumber leading to a severely ill conditioned huge coefficient matrix. To understand and tackle such challenges, it is crucial to analyze how the solution of the 2D Helmholtz equation depends on (perturbed) boundary and source data for large wavenumbers. In fact, this stability analysis is critical in the error analysis and development of effective numerical schemes. Therefore, in this paper, we analyze and derive several new sharp wavenumber explicit stability bounds for the 2D Helmholtz equation with inhomogeneous mixed boundary conditions Dirichlet, Neumann, and impedance. We use Fourier techniques, the Rellich's identity, and a lifting strategy to establish these stability bounds. Some examples are given to show the optimality of our derived wavenumber explicit stability bounds.


Linear complexity of some sequences derived from hyperelliptic curves of genus 2. For a given hyperelliptic curve C over a finite field with Jacobian J C , we consider the hyperelliptic analogue of the congruential generator defined by W n W n 1 D for n geq 1 and D,W 0 in J C . We show that curves of genus 2 produce sequences with large linear complexity.


HODOR High level Object Descriptors for Object Re segmentation in Video Learned from Static Images. Existing state of the art methods for Video Object Segmentation (VOS) learn low level pixel to pixel correspondences between frames to propagate object masks across video. This requires a large amount of densely annotated video data, which is costly to annotate, and largely redundant since frames within a video are highly correlated. In light of this, we propose HODOR a novel method that tackles VOS by effectively leveraging annotated static images for understanding object appearance and scene context. We encode object instances and scene information from an image frame into robust high level descriptors which can then be used to re segment those objects in different frames. As a result, HODOR achieves state of the art performance on the DAVIS and YouTube VOS benchmarks compared to existing methods trained without video annotations. Without any architectural modification, HODOR can also learn from video context around single annotated video frames by utilizing cyclic consistency, whereas other methods rely on dense, temporally consistent annotations.


6D ViT Category Level 6D Object Pose Estimation via Transformer based Instance Representation Learning. This paper presents 6D ViT, a transformer based instance representation learning network, which is suitable for highly accurate category level object pose estimation on RGB D images. Specifically, a novel two stream encoder decoder framework is dedicated to exploring complex and powerful instance representations from RGB images, point clouds and categorical shape priors. For this purpose, the whole framework consists of two main branches, named Pixelformer and Pointformer. The Pixelformer contains a pyramid transformer encoder with an all MLP decoder to extract pixelwise appearance representations from RGB images, while the Pointformer relies on a cascaded transformer encoder and an all MLP decoder to acquire the pointwise geometric characteristics from point clouds. Then, dense instance representations (i.e., correspondence matrix, deformation field) are obtained from a multi source aggregation network with shape priors, appearance and geometric information as input. Finally, the instance 6D pose is computed by leveraging the correspondence among dense representations, shape priors, and the instance point clouds. Extensive experiments on both synthetic and real world datasets demonstrate that the proposed 3D instance representation learning framework achieves state of the art performance on both datasets, and significantly outperforms all existing methods.


Application of Yolo on Mask Detection Task. 2020 has been a year marked by the COVID 19 pandemic. This event has caused disruptions to many aspects of normal life. An important aspect in reducing the impact of the pandemic is to control its spread. Studies have shown that one effective method in reducing the transmission of COVID 19 is to wear masks. Strict mask wearing policies have been met with not only public sensation but also practical difficulty. We cannot hope to manually check if everyone on a street is wearing a mask properly. Existing technology to help automate mask checking uses deep learning models on real time surveillance camera footages. The current dominant method to perform real time mask detection uses Mask RCNN with ResNet as the backbone. While giving good detection results, this method is computationally intensive and its efficiency in real time face mask detection is not ideal. Our research proposes a new approach to mask detection by replacing Mask R CNN with a more efficient model "YOLO" to increase the processing speed of real time mask detection and not compromise on accuracy. Besides, given the small volume as well as extreme imbalance of the mask detection datasets, we adopt a latest progress made in few shot visual classification, simple CNAPs, to improve the classification performance.


Spatial Information Refinement for Chroma Intra Prediction in Video Coding. Video compression benefits from advanced chroma intra prediction methods, such as the Cross Component Linear Model (CCLM) which uses linear models to approximate the relationship between the luma and chroma components. Recently it has been proven that advanced cross component prediction methods based on Neural Networks (NN) can bring additional coding gains. In this paper, spatial information refinement is proposed for improving NN based chroma intra prediction. Specifically, the performance of chroma intra prediction can be improved by refined down sampling or by incorporating location information. Experimental results show that the two proposed methods obtain 0.31 , 2.64 , 2.02 and 0.33 , 3.00 , 2.12 BD rate reduction on Y, Cb and Cr components, respectively, under All Intra configuration, when implemented in Versatile Video Coding (H.266 VVC) test model. Index Terms Chroma intra prediction, convolutional neural networks, spatial information refinement.


Endo Depth and Motion Reconstruction and Tracking in Endoscopic Videos using Depth Networks and Photometric Constraints. Estimating a scene reconstruction and the camera motion from in body videos is challenging due to several factors, e.g. the deformation of in body cavities or the lack of texture. In this paper we present Endo Depth and Motion, a pipeline that estimates the 6 degrees of freedom camera pose and dense 3D scene models from monocular endoscopic videos. Our approach leverages recent advances in self supervised depth networks to generate pseudo RGBD frames, then tracks the camera pose using photometric residuals and fuses the registered depth maps in a volumetric representation. We present an extensive experimental evaluation in the public dataset Hamlyn, showing high quality results and comparisons against relevant baselines. We also release all models and code for future comparisons.


Discovering User Interpretable Capabilities of Black Box Planning Agents. Several approaches have been developed for answering users' specific questions about AI behavior and for assessing their core functionality in terms of primitive executable actions. However, the problem of summarizing an AI agent's broad capabilities for a user has received little research attention. This is aggravated by the fact that users may not know which questions to ask in order to understand the limits and capabilities of a system. This paper presents an algorithm for discovering from scratch the suite of high level "capabilities" that an AI system with arbitrary internal planning algorithms policies can perform. It computes conditions describing the applicability and effects of these capabilities in user interpretable terms. Starting from a set of user interpretable state properties, an AI agent, and a simulator that the agent can interact with, using arbitrary decision making paradigms over primitive operations (unknown to the user), our algorithm returns a set of high level capabilities with capability descriptions in the user's vocabulary. Empirical evaluation on several game based scenarios shows that this approach efficiently learns interpretable descriptions of various types of AI agents in deterministic, fully observable settings. User studies show that such interpretable descriptions are easier to understand and reason with than the agent's primitive actions.


The pre Pieri rules. Let R be a commutative ring and n geq1 and p geq0 two integers. Let h k, i be an element of R for all k in mathbb Z and i in n . For any alpha in mathbb Z n , we define t alpha det begin pmatrix h alpha 1 1, 1 h alpha 1 2, 1 cdots h alpha 1 n, 1 h alpha 2 1, 2 h alpha 2 2, 2 cdots h alpha 2 n, 2 vdots vdots ddots vdots h alpha n 1, n h alpha n 2, n cdots h alpha n n, n end pmatrix in R (where alpha i denotes the i th entry of alpha ). Then, we have the identity sum substack beta in 0,1,2, ldots n left beta right p t alpha beta det begin pmatrix h alpha 1 1, 1 h alpha 1 2, 1 cdots h alpha 1 (n 1), 1 h alpha 1 (n p), 1 h alpha 2 1, 2 h alpha 2 2, 2 cdots h alpha 2 (n 1), 2 h alpha 2 (n p), 2 vdots vdots ddots vdots vdots h alpha n 1, n h alpha n 2, n cdots h alpha n (n 1), n h alpha n (n p), n end pmatrix (where alpha beta denotes the entrywise sum of the tuples alpha and beta ). Furthermore, if p leq n , then sum substack beta in left 0,1 right n left beta right p t alpha beta det begin pmatrix h alpha 1 xi 1 , 1 h alpha 1 xi 2 , 1 cdots h alpha 1 xi n , 1 h alpha 2 xi 1 , 2 h alpha 2 xi 2 , 2 cdots h alpha 2 xi n , 2 vdots vdots ddots vdots h alpha n xi 1 , n h alpha n xi 2 , n cdots h alpha n xi n , n end pmatrix , where xi (1,2, ldots,n p,n p 2,n p 3, ldots,n 1) . We prove these two identities (in a slightly more general setting, where R is not assumed commutative) and use them to derive some variants of the Pieri rule found in the literature.


Fair SSL Building fair ML Software with less data. Ethical bias in machine learning models has become a matter of concern in the software engineering community. Most of the prior software engineering works concentrated on finding ethical bias in models rather than fixing it. After finding bias, the next step is mitigation. Prior researchers mainly tried to use supervised approaches to achieve fairness. However, in the real world, getting data with trustworthy ground truth is challenging and also ground truth can contain human bias. Semi supervised learning is a machine learning technique where, incrementally, labeled data is used to generate pseudo labels for the rest of the data (and then all that data is used for model training). In this work, we apply four popular semi supervised techniques as pseudo labelers to create fair classification models. Our framework, Fair SSL, takes a very small amount (10 ) of labeled data as input and generates pseudo labels for the unlabeled data. We then synthetically generate new data points to balance the training data based on class and protected attribute as proposed by Chakraborty et al. in FSE 2021. Finally, the classification model is trained on the balanced pseudo labeled data and validated on test data. After experimenting on ten datasets and three learners, we find that Fair SSL achieves similar performance as three state of the art bias mitigation algorithms. That said, the clear advantage of Fair SSL is that it requires only 10 of the labeled training data. To the best of our knowledge, this is the first SE work where semi supervised techniques are used to fight against ethical bias in SE ML models.


Trajectory Prediction with Latent Belief Energy Based Model. Human trajectory prediction is critical for autonomous platforms like self driving cars or social robots. We present a latent belief energy based model (LB EBM) for diverse human trajectory forecast. LB EBM is a probabilistic model with cost function defined in the latent space to account for the movement history and social context. The low dimensionality of the latent space and the high expressivity of the EBM make it easy for the model to capture the multimodality of pedestrian trajectory distributions. LB EBM is learned from expert demonstrations (i.e., human trajectories) projected into the latent space. Sampling from or optimizing the learned LB EBM yields a belief vector which is used to make a path plan, which then in turn helps to predict a long range trajectory. The effectiveness of LB EBM and the two step approach are supported by strong empirical results. Our model is able to make accurate, multi modal, and social compliant trajectory predictions and improves over prior state of the arts performance on the Stanford Drone trajectory prediction benchmark by 10.9 and on the ETH UCY benchmark by 27.6 .


Contrastive Quantization with Code Memory for Unsupervised Image Retrieval. The high efficiency in computation and storage makes hashing (including binary hashing and quantization) a common strategy in large scale retrieval systems. To alleviate the reliance on expensive annotations, unsupervised deep hashing becomes an important research problem. This paper provides a novel solution to unsupervised deep quantization, namely Contrastive Quantization with Code Memory (MeCoQ). Different from existing reconstruction based strategies, we learn unsupervised binary descriptors by contrastive learning, which can better capture discriminative visual semantics. Besides, we uncover that codeword diversity regularization is critical to prevent contrastive learning based quantization from model degeneration. Moreover, we introduce a novel quantization code memory module that boosts contrastive learning with lower feature drift than conventional feature memories. Extensive experiments on benchmark datasets show that MeCoQ outperforms state of the art methods. Code and configurations are publicly available at https github.com gimpong AAAI22 MeCoQ.


Efficient and Effective Algorithms for Revenue Maximization in Social Advertising. We consider the revenue maximization problem in social advertising, where a social network platform owner needs to select seed users for a group of advertisers, each with a payment budget, such that the total expected revenue that the owner gains from the advertisers by propagating their ads in the network is maximized. Previous studies on this problem show that it is intractable and present approximation algorithms. We revisit this problem from a fresh perspective and develop novel efficient approximation algorithms, both under the setting where an exact influence oracle is assumed and under one where this assumption is relaxed. Our approximation ratios significantly improve upon the previous ones. Furthermore, we empirically show, using extensive experiments on four datasets, that our algorithms considerably outperform the existing methods on both the solution quality and computation efficiency.


Scalable Cell Free Massive MIMO Systems Impact of Hardware Impairments. Standard cell free (CF) multiple input multiple output (mMIMO) systems is a promising technology to cover the demands for higher data rates in fifth generation (5G) networks and beyond. These systems assume a large number of distributed access points (APs) using joint coherent transmission to communicate with the users. However, CF mMIMO systems present an increasing computational complexity as the number of users increases. Scalable cell free CF (SCF) systems have been proposed to face this challenge. Given that the cost efficient deployment of such large networks requires low cost transceivers, which are prone to unavoidable hardware imperfections, realistic evaluations of SCF mMIMO systems should take them into account before implementation. Hence, in this work, we focus on the impact of hardware impairments (HWIs) on the SCF mMIMO systems through a general model accounting for both additive and multiplicative impairments. Notably, there is no other work in the literature studying the impact of phase noise (PN) in the local oscillators (LOs) of CF mMIMO systems or in general the impact of any HWIs in SCF mMIMO systems. In particular, we derive upper and lower bounds on the uplink capacity accounting for HWIs. Moreover, we obtain the optimal hardware aware (HA) partial minimum mean squared error (PMMSE) combiner. Especially, the lower bound is derived in closed form using the theory of deterministic equivalents (DEs). Among the interesting findings, we observe that separate LOs (SLOs) outperform a common LO (CLO), and the additive transmit distortion degrades more the performance than the additive receive distortion.


Picosecond acoustic dynamics in stimulated Brillouin scattering. Recent experiments demonstrating storage of optical pulses in acoustic phonons based on stimulated Brillouin scattering raise a number of questions about the spectral and temporal capacities of such protocols and the limitations of the theoretical frameworks routinely used to describe them. In this work, we consider the dynamics of photon phonon scattering induced by optical pulses with temporal widths comparable to the period of acoustic oscillations. We revisit the widely adopted classical formalism of coupled modes and demonstrate its breakdown. We propose a simple extension to generalise the formulation and find potentially measurable consequences in the dynamics of Brillouin experiments involving ultra short pulses.


Rigidity of topological entropy of boundary maps associated to Fuchsian groups. Given a closed, orientable surface of constant negative curvature and genus g ge 2 , we study a family of generalized Bowen Series boundary maps and prove the following rigidity result in this family the topological entropy is constant and depends only on the genus of the surface. We give an explicit formula for this entropy and show that the value of the topological entropy also stays constant in the Teichm "uller space of the surface. The proofs use conjugation to maps of constant slope.


Property (T) in k gonal random groups. The k gonal models of random groups are defined as the quotients of free groups on n generators by cyclically reduced words of length k . As k tends to infinity, this model approaches the Gromov density model. In this paper we show that for any fixed d 0 in (0, 1) , if positive k gonal random groups satisfy Property (T) with overwhelming probability for densities d d 0 , then so do nk gonal random groups, for any n in mathbb N . In particular, this shows that for densities above 1 3, groups in 3k gonal models satisfy Property (T) with probability 1 as n approaches infinity.


Beam smoothing based on prism pair for multistep pulse compressor in PW lasers. Ultra short ultra intense laser provides unprecedented experimental tools and extreme physical conditions to explore frontier secrets of nature. Recently, multistep pulse compressor (MPC) was proposed to break through the limitation of the size and damage threshold of the grating in the compressor during the realization of higher peak power laser. In the MPC methods, beam smoothing in the pre compressor is a very important process. Here, beam smoothing based on prism pair were studied technically, in which both the spatial profiles and the spectral dispersive properties were analyzed in detail. The simulation results show clearly that the prism pair can effectively smooth the laser beam. Furthermore, the beam smoothing is much more efficiency with shorter separated distance if two prism pairs are arranged to induce spatial dispersion at one direction or two directions. The results of beam smoothing here will help the optimized optical designs in all PW laser systems to improve their output and running safety.


Ordered Ehresmann semigroups and categories. Ehresmann semigroups may be viewed as biunary semigroups equipped with domain and range operations satisfying some equational laws. Motivated by some of the main examples, we here define ordered Ehresmann semigroups, and consider their basic properties as well as special cases in which the order is algebraically definable. In particular, one and two sided restriction semigroups equipped with their natural orders are characterised within the class of ordered Ehresmann semigroups. The main result is an ESN style theorem for ordered Ehresmann semigroups with particular reference to the special cases.


Tensegrity system dynamics based on finite element method. This study presents a finite element analysis approach to non linear and linearized tensegrity dynamics based on the Lagrangian method with nodal coordinate vectors as the generalized coordinates. In this paper, nonlinear tensegrity dynamics with and without constraints are first derived. The equilibrium equations in three standard forms (in terms of nodal coordinate, force density, and force vectors) and the compatibility equation are also given. Then, we present the linearized dynamics and modal analysis equations with and without constraints. The developed approach is capable of conducting the following comprehensive dynamics studies for any tensegrity structures accurately 1. Performing rigid body dynamics with acceptable errors, which is achieved by setting relatively high stiffness for bars in the simulation. 2. Simulating FEM dynamics accurately, where bars and strings can have elastic or plastic deformations. 3. Dealing with various kinds of boundary conditions, for example, fixing or applying static dynamic loads at any nodes in any direction (i.e., gravitational force, some specified forces, or arbitrary seismic vibrations). 4. Conducting accurate modal analysis, including natural frequency and corresponding modes. Three examples, a double pendulum, a cantilever truss with external force, and a double prism tensegrity tower, are carefully selected and studied. The results are compared with rigid body dynamics and FEM software ANSYS. This study provides a deep insight into structures, materials, performances, as well as an interface towards integrating control theories.


Patchworking the Log critical locus of planar curves. We establish a patchworking theorem a la Viro for the Log critical locus of algebraic curves in ( mathbb C ) 2 . As an application, we prove the existence of projective curves of arbitrary degree with smooth connected Log critical locus. To prove our patchworking theorem, we study the behaviour of Log inflection points along families of curves defined by Viro polynomials. In particular, we prove a generalisation of a theorem of Mikhalkin and the second author on the tropical limit of Log inflection points.


View Guided Point Cloud Completion. This paper presents a view guided solution for the task of point cloud completion. Unlike most existing methods directly inferring the missing points using shape priors, we address this task by introducing ViPC (view guided point cloud completion) that takes the missing crucial global structure information from an extra single view image. By leveraging a framework that sequentially performs effective cross modality and cross level fusions, our method achieves significantly superior results over typical existing solutions on a new large scale dataset we collect for the view guided point cloud completion task.


On the spectral radius of unicyclic and bicyclic graphs with a fixed diameter. The alpha spectral radius of a connected graph G is the spectral radius of A alpha matrix of G . In this paper, we discuss the methods for comparing alpha spectral radius of graphs. As applications, we characterize the graphs with the maximal alpha spectral radius among all unicyclic and bicyclic graphs of order n with diameter d , respectively. Finally, we determine the unique graph with maximal signless Laplacian spectral radius among bicyclic graphs of order n with diameter d .