On the Moral Justification of Statistical Parity. A crucial but often neglected aspect of algorithmic fairness is the question of how we justify enforcing a certain fairness metric from a moral perspective. When fairness metrics are proposed, they are typically argued for by highlighting their mathematical properties. Rarely are the moral assumptions beneath the metric explained. Our aim in this paper is to consider the moral aspects associated with the statistical fairness criterion of independence (statistical parity). To this end, we consider previous work, which discusses the two worldviews "What You See Is What You Get" (WYSIWYG) and "We're All Equal" (WAE) and by doing so provides some guidance for clarifying the possible assumptions in the design of algorithms. We present an extension of this work, which centers on morality. The most natural moral extension is that independence needs to be fulfilled if and only if differences in predictive features (e.g. high school grades and standardized test scores are predictive of performance at university) between socio demographic groups are caused by unjust social disparities or measurement errors. Through two counterexamples, we demonstrate that this extension is not universally true. This means that the question of whether independence should be used or not cannot be satisfactorily answered by only considering the justness of differences in the predictive features.


What Can We Do to Improve Peer Review in NLP?. Peer review is our best tool for judging the quality of conference submissions, but it is becoming increasingly spurious. We argue that a part of the problem is that the reviewers and area chairs face a poorly defined task forcing apples to oranges comparisons. There are several potential ways forward, but the key difficulty is creating the incentives and mechanisms for their consistent implementation in the NLP community.


Capturing information on curves and surfaces from their projected images. Obtaining complete information about the shape of an object by looking at it from a single direction is impossible in general. In this paper, we theoretically study obtaining differential geometric information of an object from orthogonal projections in a number of directions. We discuss relations between (1) a space curve and the projected curves from several distinct directions, and (2) a surface and the apparent contours of projections from several distinct directions, in terms of differential geometry and singularity theory. In particular, formulae for recovering certain information on the original curves or surfaces from their projected images are given.


Learning Behavior Trees with Genetic Programming in Unpredictable Environments. Modern industrial applications require robots to be able to operate in unpredictable environments, and programs to be created with a minimal effort, as there may be frequent changes to the task. In this paper, we show that genetic programming can be effectively used to learn the structure of a behavior tree (BT) to solve a robotic task in an unpredictable environment. Moreover, we propose to use a simple simulator for the learning and demonstrate that the learned BTs can solve the same task in a realistic simulator, reaching convergence without the need for task specific heuristics. The learned solution is tolerant to faults, making our method appealing for real robotic applications.


VECO Variable and Flexible Cross lingual Pre training for Language Understanding and Generation. Existing work in multilingual pretraining has demonstrated the potential of cross lingual transferability by training a unified Transformer encoder for multiple languages. However, much of this work only relies on the shared vocabulary and bilingual contexts to encourage the correlation across languages, which is loose and implicit for aligning the contextual representations between languages. In this paper, we plug a cross attention module into the Transformer encoder to explicitly build the interdependence between languages. It can effectively avoid the degeneration of predicting masked words only conditioned on the context in its own language. More importantly, when fine tuning on downstream tasks, the cross attention module can be plugged in or out on demand, thus naturally benefiting a wider range of cross lingual tasks, from language understanding to generation. As a result, the proposed cross lingual model delivers new state of the art results on various cross lingual understanding tasks of the XTREME benchmark, covering text classification, sequence labeling, question answering, and sentence retrieval. For cross lingual generation tasks, it also outperforms all existing cross lingual models and state of the art Transformer variants on WMT14 English to German and English to French translation datasets, with gains of up to 1 2 BLEU.


On topological rough groups. In this paper, we give an introduction for rough groups and rough homomorphisms. Then we present some properties related to topological rough subgroups and rough subsets. We construct the product of topological rough groups and give an illustrated example. Then, we define topological rough group homomorphisms and topological rough group homeomorphisms. Finally, we introduce a rough action, a rough homogenous space and a rough kernel.


Sensor Independent Illumination Estimation for DNN Models. While modern deep neural networks (DNNs) achieve state of the art results for illuminant estimation, it is currently necessary to train a separate DNN for each type of camera sensor. This means when a camera manufacturer uses a new sensor, it is necessary to retrain an existing DNN model with training images captured by the new sensor. This paper addresses this problem by introducing a novel sensor independent illuminant estimation framework. Our method learns a sensor independent working space that can be used to canonicalize the RGB values of any arbitrary camera sensor. Our learned space retains the linear property of the original sensor raw RGB space and allows unseen camera sensors to be used on a single DNN model trained on this working space. We demonstrate the effectiveness of this approach on several different camera sensors and show it provides performance on par with state of the art methods that were trained per sensor.


A Comprehensive Performance Evaluation of a DF Based Multi Hop System Over alpha kappa mu and alpha kappa mu Extreme Fading Channels. In this work, an integrated performance evaluation of a decode and forward (DF) multi hop wireless communication system is undertaken over the non linear generalized alpha kappa mu and alpha kappa mu Extreme fading models. Analytical formulas for the probability density function (PDF) and the cumulative distribution function (CDF) of the received signal to noise ratio (SNR) as well as its generalized moments and moment generating function (MGF) are derived. Based on the derived PDFs, novel closed form expressions for traditional performance metrics such as amount of fading (AF), outage probability (OP), bit error rate (BER) under coherent and non coherent modulation schemes as well as channel capacity under various adaptive transmission techniques are derived. Additionally, asymptotic analyses of BER based on Poincare series expansions of SNR PDFs are carried out and results show good approximations for low SNR regimes. The correctness of the proposed solutions has been corroborated by comparing them with Monte Carlo simulation results.


Can adversarial training learn image captioning ?. Recently, generative adversarial networks (GAN) have gathered a lot of interest. Their efficiency in generating unseen samples of high quality, especially images, has improved over the years. In the field of Natural Language Generation (NLG), the use of the adversarial setting to generate meaningful sentences has shown to be difficult for two reasons the lack of existing architectures to produce realistic sentences and the lack of evaluation tools. In this paper, we propose an adversarial architecture related to the conditional GAN (cGAN) that generates sentences according to a given image (also called image captioning). This attempt is the first that uses no pre training or reinforcement methods. We also explain why our experiment settings can be safely evaluated and interpreted for further works.


Linear mass Density of vertically suspended heavy springs. In the present article the linear mass Density for vertically suspended heavy springs is calculated for two different cases. First for a spring of invariable length suspended at the top and fixed at the bottom of the spring, then for a hanging heavy spring with an additional load. Both cases are solved by minimizing the total energy which is a sum of potential energy and energy due to the deformation.


Smartphone Sensors for Modeling Human Computer Interaction General Outlook and Research Datasets for User Authentication. In this paper we list the sensors commonly available in modern smartphones and provide a general outlook of the different ways these sensors can be used for modeling the interaction between human and smartphones. We then provide a taxonomy of applications that can exploit the signals originated by these sensors in three different dimensions, depending on the main information content embedded in the signals exploited in the application neuromotor skills, cognitive functions, and behaviors routines. We then summarize a representative selection of existing research datasets in this area, with special focus on applications related to user authentication, including key features and a selection of the main research results obtained on them so far. Then, we perform the experimental work using the HuMIdb database (Human Mobile Interaction database), a novel multimodal mobile database that includes 14 mobile sensors captured from 600 participants. We evaluate a biometric authentication system based on simple linear touch gestures using a Siamese Neural Network architecture. Very promising results are achieved with accuracies up to 87 for person authentication based on a simple and fast touch gesture.


High efficient metasurface quarter wave plate with wavefront engineering. Metasurfaces with local phase tuning by subwavelength elements promise unprecedented possibilities for ultra thin and multifunctional optical devices, in which geometric phase design is widely used due to its resonant free and large tolerance in fabrications. By arranging the orientations of anisotropic nano antennas, the geometric phase based metasurfaces can convert the incident spin light to its orthogonal state, and enable flexible wavefront engineering together with the function of a half wave plate. Here, by incorporating the propagation phase, we realize another important optical device of quarter wave plate together with the wavefront engineering as well, which is implemented by controlling both the cross and co polarized light simultaneously with a singlet metasurface. Highly efficient conversion of the spin light to a variety of linearly polarized light are obtained for meta holograms, metalens focusing and imaging in blue light region. Our work provides a new strategy for efficient metasurfaces with both phase and polarization control, and enriches the functionalities of metasurface devices for wider application scenarios.


Riemannian Normalizing Flow on Variational Wasserstein Autoencoder for Text Modeling. Recurrent Variational Autoencoder has been widely used for language modeling and text generation tasks. These models often face a difficult optimization problem, also known as the Kullback Leibler (KL) term vanishing issue, where the posterior easily collapses to the prior, and the model will ignore latent codes in generative tasks. To address this problem, we introduce an improved Wasserstein Variational Autoencoder (WAE) with Riemannian Normalizing Flow (RNF) for text modeling. The RNF transforms a latent variable into a space that respects the geometric characteristics of input space, which makes posterior impossible to collapse to the non informative prior. The Wasserstein objective minimizes the distance between the marginal distribution and the prior directly and therefore does not force the posterior to match the prior. Empirical experiments show that our model avoids KL vanishing over a range of datasets and has better performances in tasks such as language modeling, likelihood approximation, and text generation. Through a series of experiments and analysis over latent space, we show that our model learns latent distributions that respect latent space geometry and is able to generate sentences that are more diverse.


Dual Adversarial Semantics Consistent Network for Generalized Zero Shot Learning. Generalized zero shot learning (GZSL) is a challenging class of vision and knowledge transfer problems in which both seen and unseen classes appear during testing. Existing GZSL approaches either suffer from semantic loss and discard discriminative information at the embedding stage, or cannot guarantee the visual semantic interactions. To address these limitations, we propose the Dual Adversarial Semantics Consistent Network (DASCN), which learns primal and dual Generative Adversarial Networks (GANs) in a unified framework for GZSL. In particular, the primal GAN learns to synthesize inter class discriminative and semantics preserving visual features from both the semantic representations of seen unseen classes and the ones reconstructed by the dual GAN. The dual GAN enforces the synthetic visual features to represent prior semantic knowledge well via semantics consistent adversarial learning. To the best of our knowledge, this is the first work that employs a novel dual GAN mechanism for GZSL. Extensive experiments show that our approach achieves significant improvements over the state of the art approaches.


Frame wise Motion and Appearance for Real time Multiple Object Tracking. The main challenge of Multiple Object Tracking (MOT) is the efficiency in associating indefinite number of objects between video frames. Standard motion estimators used in tracking, e.g., Long Short Term Memory (LSTM), only deal with single object, while Re IDentification (Re ID) based approaches exhaustively compare object appearances. Both approaches are computationally costly when they are scaled to a large number of objects, making it very difficult for real time MOT. To address these problems, we propose a highly efficient Deep Neural Network (DNN) that simultaneously models association among indefinite number of objects. The inference computation of the DNN does not increase with the number of objects. Our approach, Frame wise Motion and Appearance (FMA), computes the Frame wise Motion Fields (FMF) between two frames, which leads to very fast and reliable matching among a large number of object bounding boxes. As auxiliary information is used to fix uncertain matches, Frame wise Appearance Features (FAF) are learned in parallel with FMFs. Extensive experiments on the MOT17 benchmark show that our method achieved real time MOT with competitive results as the state of the art approaches.


Flagella like beating of a single microtubule. Kinesin motors can induce a buckling instability in a microtubule with a fixed minus end. Here we show that by modifying the surface with a protein repellent functionalization and using clusters of kinesin motors, the microtubule can exhibit persistent oscillatory motion, resembling the beating of sperm flagella. The observed period is of the order of 1 min. From the experimental images we theoretically determine a distribution of motor forces that explains the observed shapes using a maximum likelihood approach. A good agreement is achieved with a small number of motor clusters acting simultaneously on a microtubule. The tangential forces exerted by a cluster are mostly in the range 0 8 pN towards the microtubule minus end, indicating the action of 1 or 2 kinesin motors. The lateral forces are distributed symmetrically and mainly below 10 pN, while the lateral velocity has a strong peak around zero. Unlike well known models for flapping filaments, kinesins are found to have a strong "pinning" effect on the beating filaments. Our results suggest new strategies to utilize molecular motors in dynamic roles that depend sensitively on the stress built up in the system.


Cubic Dirac operators and the strange Freudenthal de Vries formula for colour Lie algebras. The aim of this paper is to define cubic Dirac operators for colour Lie algebras. We give a necessary and sufficient condition to construct a colour Lie algebra from an epsilon orthogonal representation of an epsilon quadratic colour Lie algebra. This is used to prove a strange Freudenthal de Vries formula for basic colour Lie algebras as well as a Parthasarathy formula for cubic Dirac operators of colour Lie algebras. We calculate the cohomology induced by this Dirac operator, analogously to the algebraic Vogan conjecture proved by Huang and Pand v z i 'c.


Predicting Developers' IDE Commands with Machine Learning. When a developer is writing code they are usually focused and in a state of mind which some refer to as flow. Breaking out of this flow can cause the developer to lose their train of thought and have to start their thought process from the beginning. This loss of thought can be caused by interruptions and sometimes slow IDE interactions. Predictive functionality has been harnessed in user applications to speed up load times, such as in Google Chrome's browser which has a feature called "Predicting Network Actions". This will pre load web pages that the user is most likely to click through. This mitigates the interruption that load times can introduce. In this paper we seek to make the first step towards predicting user commands in the IDE. Using the MSR 2018 Challenge Data of over 3000 developer session and over 10 million recorded events, we analyze and cleanse the data to be parsed into event series, which can then be used to train a variety of machine learning models, including a neural network, to predict user induced commands. Our highest performing model is able to obtain a 5 cross fold validation prediction accuracy of 64 .


Logical and algebraic properties of generalized orthomodular posets. Generalized orthomodular posets were introduced recently by D. Fazio, A. Ledda and the first author of the present paper in order to establish a useful tool for studying the logic of quantum mechanics. They investigated structural properties of these posets. In the present paper we study logical and algebraic properties of these posets. In particular, we investigate conditions under which they can be converted into operator residuated structures. Further, we study their representation by means of algebras (directoids) with everywhere defined operations. We prove congruence properties for the class of algebras assigned to generalized orthomodular posets and, in particular, for a subvariety of this class determined by a simple identity. Finally, in contrast to the fact that the Dedekind MacNeille completion of an orthomodular poset need not be an orthomodular lattice we show that the Dedekind MacNeille completion of a stronger version of a generalized orthomodular poset is nearly an orthomodular lattice.


New proofs for the Askey Wilson integral and its some generalizations. The Askey Wilson integral is very important in the theory of basic hypergeometric series. The Ismail Stanton Viennot integral is a generalization of this famous result. We discover a new method of proving them in this paper. Liu's integral is also a generalization of the Askey Wilson integral. We give a new proof for it via the series arrangement method on the basis of the Ismail Stanton Viennot integral.


Monodromies of singularities of the Hadamard and e ne product. We prove that singularities with holomorphic monodromies are preserved by Hadamard product, and we find an explicit formula for the monodromy of the singularities of the Hadamard product. We find similar formulas for the e ne product whose monodromy is better behaved. With these formulas we give new direct proofs of classical results and prove the invariance of interesting rings of functions by Hadamard and e ne product.


A note on k wise oddtown problems. For integers 2 leq t leq k , we consider a collection of k set families mathcal A j 1 leq j leq k where mathcal A j A j,i subseteq n 1 leq i leq m and A 1, i 1 cap cdots cap A k,i k is even if and only if at least t of the i j are distinct. In this paper, we prove that m O(n 1 lfloor k 2 rfloor ) when t k and m O( n 1 (t 1) ) when 2t 2 leq k and prove that both of these bounds are best possible. Specializing to the case where mathcal A mathcal A 1 cdots mathcal A k , we recover a variation of the classical oddtown problem.


Generation of swine movement network and analysis of efficient mitigation strategies for African swine fever virus. Animal movement networks are essential in understanding and containing the spread of infectious diseases in farming industries. Due to its confidential nature, movement data for the US swine farming population is not readily available. Hence, we propose a method to generate such networks from limited data available in the public domain. As a potentially devastating candidate, we simulate the spread of African swine fever virus (ASFV) in our generated network and analyze how the network structure affects the disease spread. We find that high in degree farm operations (i.e., markets) play critical roles in the disease spread. We also find that high in degree based targeted isolation and hypothetical vaccinations are more effective for disease control compared to other centrality based mitigation strategies. The generated networks can be made more robust by validation with more data whenever more movement data will be available.


Investigating Prior Knowledge for Challenging Chinese Machine Reading Comprehension. Machine reading comprehension tasks require a machine reader to answer questions relevant to the given document. In this paper, we present the first free form multiple Choice Chinese machine reading Comprehension dataset (C 3), containing 13,369 documents (dialogues or more formally written mixed genre texts) and their associated 19,577 multiple choice free form questions collected from Chinese as a second language examinations. We present a comprehensive analysis of the prior knowledge (i.e., linguistic, domain specific, and general world knowledge) needed for these real world problems. We implement rule based and popular neural methods and find that there is still a significant performance gap between the best performing model (68.5 ) and human readers (96.0 ), especially on problems that require prior knowledge. We further study the effects of distractor plausibility and data augmentation based on translated relevant datasets for English on model performance. We expect C 3 to present great challenges to existing systems as answering 86.8 of questions requires both knowledge within and beyond the accompanying document, and we hope that C 3 can serve as a platform to study how to leverage various kinds of prior knowledge to better understand a given written or orally oriented text. C 3 is available at https dataset.org c3 .


Contextual Pyramid Attention Network for Building Segmentation in Aerial Imagery. Building extraction from aerial images has several applications in problems such as urban planning, change detection, and disaster management. With the increasing availability of data, Convolutional Neural Networks (CNNs) for semantic segmentation of remote sensing imagery has improved significantly in recent years. However, convolutions operate in local neighborhoods and fail to capture non local features that are essential in semantic understanding of aerial images. In this work, we propose to improve building segmentation of different sizes by capturing long range dependencies using contextual pyramid attention (CPA). The pathways process the input at multiple scales efficiently and combine them in a weighted manner, similar to an ensemble model. The proposed method obtains state of the art performance on the Inria Aerial Image Labelling Dataset with minimal computation costs. Our method improves 1.8 points over current state of the art methods and 12.6 points higher than existing baselines on the Intersection over Union (IoU) metric without any post processing. Code and models will be made publicly available.


A comparative study between discrete and continuum models for the evolution of competing phenotype structured cell populations in dynamical environments. Deterministic continuum models formulated in terms of non local partial differential equations for the evolutionary dynamics of populations structured by phenotypic traits have been used recently to address open questions concerning the adaptation of asexual species to periodically fluctuating environmental conditions. These deterministic continuum models are usually defined on the basis of population scale phenomenological assumptions and cannot capture adaptive phenomena that are driven by stochastic variability in the evolutionary paths of single individuals. In this paper, we develop a stochastic individual based model for the coevolution between two competing phenotype structured cell populations that are exposed to time varying nutrient levels and undergo spontaneous, heritable phenotypic variations with different probabilities. The evolution of every cell is described by a set of rules that result in a discrete time branching random walk on the space of phenotypic states. We formally show that the deterministic continuum counterpart of this model comprises a system of non local partial differential equations for the cell population density functions coupled with an ordinary differential equation for the nutrient concentration. We compare the individual based model and its continuum analogue, focussing on scenarios whereby the predictions of the two models differ. Our results clarify the conditions under which significant differences between the two models can emerge due to stochastic effects associated with small population levels. These differences arise in the presence of low probabilities of phenotypic variation, and become more apparent when the two populations are characterised by less fit initial mean phenotypes and smaller initial levels of phenotypic heterogeneity.


An Efficient Closed Form Method for Optimal Hybrid Force Velocity Control. This paper derives a closed form method for computing hybrid force velocity control. The key idea is to maximize the kinematic conditioning of the mechanical system, which includes a robot, free objects, a rigid environment and contact constraints. The method is complete, in that it always produces an optimal near optimal solution when a solution exists. It is efficient, since it is in closed form, avoiding the iterative search of previous work. We test the method on 78,000 randomly generated test cases. The method outperforms our previous search based technique by being from 7 to 40 times faster, while consistently producing better solutions in the sense of robustness to kinematic singularity. We also test the method in several representative manipulation experiments.


Stillman's question for twisted commutative algebras. Let mathbf A n, m be the polynomial ring text Sym ( mathbf C n otimes mathbf C m) with the natural action of mathbf GL m( mathbf C ) . We construct a family of mathbf GL m( mathbf C ) stable ideals J n, m in mathbf A n, m , each equivariantly generated by one homogeneous polynomial of degree 2 . Using the Ananyan Hochster principle, we show that the regularity of this family is unbounded. This negatively answers a question raised by Erman Sam Snowden on a generalization of Stillman's conjecture.


mathcal C m solutions of semialgebraic or definable equations. We address the question of whether geometric conditions on the given data can be preserved by a solution in (1) the Whitney extension problem, and (2) the Brenner Fefferman Hochster Koll 'ar problem, both for mathcal C m functions. Our results involve a certain loss of differentiability. Problem (2) concerns the solution of a system of linear equations A(x)G(x) F(x) , where A is a matrix of functions on mathbb R n , and F , G are vector valued functions. Suppose the entries of A(x) are semialgebraic (or, more generally, definable in a suitable o minimal structure). Then we find r r(m) such that, if F(x) is definable and the system admits a mathcal C r solution G(x) , then there is a mathcal C m definable solution. Likewise in problem (1), given a closed definable subset X of mathbb R n , we find r r(m) such that if g X to mathbb R is definable and extends to a mathcal C r function on mathbb R n , then there is a mathcal C m definable extension.


Supervised Online Hashing via Similarity Distribution Learning. Online hashing has attracted extensive research attention when facing streaming data. Most online hashing methods, learning binary codes based on pairwise similarities of training instances, fail to capture the semantic relationship, and suffer from a poor generalization in large scale applications due to large variations. In this paper, we propose to model the similarity distributions between the input data and the hashing codes, upon which a novel supervised online hashing method, dubbed as Similarity Distribution based Online Hashing (SDOH), is proposed, to keep the intrinsic semantic relationship in the produced Hamming space. Specifically, we first transform the discrete similarity matrix into a probability matrix via a Gaussian based normalization to address the extremely imbalanced distribution issue. And then, we introduce a scaling Student t distribution to solve the challenging initialization problem, and efficiently bridge the gap between the known and unknown distributions. Lastly, we align the two distributions via minimizing the Kullback Leibler divergence (KL diverence) with stochastic gradient descent (SGD), by which an intuitive similarity constraint is imposed to update hashing model on the new streaming data with a powerful generalizing ability to the past data. Extensive experiments on three widely used benchmarks validate the superiority of the proposed SDOH over the state of the art methods in the online retrieval task.


Future High Energy Frontier Colliders. Colliders have been at the forefront of scientic discoveries in high energy particle physics since the inception of the colliding beams method in the middle of the 20th century. The field of accelerators is very dynamic and many innovative concepts are currently being considered such future facilities as Higgs factories and energy frontier colliders beyond the LHC. Here we briefly overview leading proposals and studies towards the next generation colliders and discuss their major challenges as well as directions of corresponding accelerator R and D programs needed to address their cost and performance risks.


Hybrid LBM FVM and LBM MCM Methods for Fluid Flow and Heat Transfer Simulation. The fluid flow and heat transfer problems encountered in industry applications span into different scales and there are different numerical methods for different scales problems. It is not possible to use single scale method to solve problems involving multiple scales. Multiscale methods are needed to solve problems involving multiple scales. In this chapter, meso macro multiscale methods are developed by combining various single scale numerical methods, including lattice Boltzmann method (LBM), finite volume method (FVM) and Monte Carlo method (MCM). Macroscale methods include FVM, while LBM and MCM belongs to mesoscale methods. Two strategies exist in combing these numerical methods. For the first one, the whole domain is divided into multiple subdomains and different domains use various numerical methods. Message passing among subdomains decides the accuracy of this type of multiscale numerical method. For the second one, various parameters are solved with different numerical methods. These two types of multiscale methods are both discussed in this chapter.


Existence of non Cayley Haar graphs. A Cayley graph of a group H is a finite simple graph Gamma such that its automorphism group rm Aut ( Gamma) contains a subgroup isomorphic to H acting regularly on V( Gamma) , while a Haar graph of H is a finite simple bipartite graph Sigma such that rm Aut ( Sigma) contains a subgroup isomorphic to H acting semiregularly on V( Sigma) and the H orbits are equal to the partite sets of Sigma . It is well known that every Haar graph of finite abelian groups is a Cayley graph. In this paper, we prove that every finite non abelian group admits a non Cayley Haar graph except the dihedral groups D 6 , D 8 , D 10 , the quaternion group Q 8 and the group Q 8 times mathbb Z 2 . This answers an open problem proposed by Est 'elyi and Pisanski in 2016.


Saturation problems about forbidden 0 1 submatrices. A 0 1 matrix M is saturating for a 0 1 matrix P if M does not contain a submatrix that can be turned into P by changing some 1 entries to 0 entries, and changing an arbitrary 0 to 1 in M introduces such a submatrix in M . In saturation problems for 0 1 matrices we are interested in estimating the minimum number of 1 entries in an m times n matrix that is saturating for P , in terms of m and n . In other words, we wish to give good estimates for the saturation function of P . Recently, Brualdi and Cao initiated the study of saturation problems in the context of 0 1 matrices. We extend their work in several directions. We prove that every 0 1 forbidden matrix has its saturation function either in Theta(1) or Theta(n) in the case when we restrict ourselves to square saturating matrices. Then we give a partial answer to a question posed by Brualdi and Cao about the saturation function of J k , which is obtained from the identity matrix I k by putting the first row after the last row. Furthermore, we exhibit a 5 times 5 permutation matrix with the saturation function bounded from the above by a fixed constant. We complement this result by identifying large classes of 0 1 matrices with linear saturation function. Finally, we completely resolve the related semisaturation problem as far as the constant vs. linear dichotomy is concerned.


Spatial Semantic Embedding Network Fast 3D Instance Segmentation with Deep Metric Learning. We propose spatial semantic embedding network (SSEN), a simple, yet efficient algorithm for 3D instance segmentation using deep metric learning. The raw 3D reconstruction of an indoor environment suffers from occlusions, noise, and is produced without any meaningful distinction between individual entities. For high level intelligent tasks from a large scale scene, 3D instance segmentation recognizes individual instances of objects. We approach the instance segmentation by simply learning the correct embedding space that maps individual instances of objects into distinct clusters that reflect both spatial and semantic information. Unlike previous approaches that require complex pre processing or post processing, our implementation is compact and fast with competitive performance, maintaining scalability on large scenes with high resolution voxels. We demonstrate the state of the art performance of our algorithm in the ScanNet 3D instance segmentation benchmark on AP score.


Social Engagement of Children with Autism during Interaction with a Robot. Imitation plays an important role in development, being one of the precursors of social cognition. Even though some children with autism imitate spontaneously and other children with autism can learn to imitate, the dynamics of imitation is affected in the large majority of cases. Existing studies from the literature suggest that robots can be used to teach children with autism basic interaction skills like imitation. Based on these findings, in this study, we investigate if children with autism show more social engagement when interacting with an imitative robot (Fig 1) compared to a human partner in a motor imitation task.


A Gelfand type duality for coarse metric spaces with property A. We prove the following two results for a given uniformly locally finite metric space with Yu's property A 1) The group of outer automorphisms of its uniform Roe algebra is isomorphic to its group of bijective coarse equivalences modulo closeness. 2) The group of outer automorphisms of its Roe algebra is isomorphic to its group of coarse equivalences modulo closeness. The main difficulty lies in the latter. To prove that, we obtain several uniform approximability results for maps between Roe algebras and use them to obtain a theorem about the uniqueness' of Cartan masas of Roe algebras. We finish the paper with several applications of the results above to concrete metric spaces.


Classification of left octonion modules. It is natural to study octonion Hilbert spaces as the recently swift development of the theory of quaternion Hilbert spaces. In order to do this, it is important to study first its algebraic structure, namely, octonion modules. In this article, we provide complete classification of left octonion modules. In contrast to the quaternionic setting, we encounter some new phenomena. That is, a submodule generated by one element m may be the whole module and may be not in the form O m . This motivates us to introduce some new notions such as associative elements, conjugate associative elements, cyclic elements. We can characterize octonion modules in terms of these notions. It turns out that octonions admit two distinct structures of octonion modules, and moreover, the direct sum of their several copies exhaust all octonion modules with finite dimensions.


Drag Reduction and Energy Saving by Spanwise Traveling Transversal Surface Waves for Flat Plate Flow. Wall resolved large eddy simulations are performed to study the impact of spanwise traveling transversal surface waves in zero pressure gradient turbulent boundary layer flow. Eighty variations of wavelength, period, and amplitude of the space and time dependent sinusoidal wall motion are considered for a boundary layer at a momentum thickness based Reynolds number of Re theta 1000 . The results show a strong decrease of friction drag of up to 26 , and considerable net power saving of up to 10 , . However, the highest net power saving does not occur at the maximum drag reduction. The drag reduction is modeled as a function of the actuation parameters by support vector regression using the LES data. A substantial attenuation of the near wall turbulence intensity and especially a weakening of the near wall velocity streaks are observed. Similarities between the current actuation technique and the method of a spanwise oscillating wall without any normal surface deflection are reported. In particular, the generation of a directional spanwise oscillating Stokes layer is found to be related to skin friction reduction.


Shapes and Context In the Wild Image Synthesis Manipulation. We introduce a data driven approach for interactively synthesizing in the wild images from semantic label maps. Our approach is dramatically different from recent work in this space, in that we make use of no learning. Instead, our approach uses simple but classic tools for matching scene context, shapes, and parts to a stored library of exemplars. Though simple, this approach has several notable advantages over recent work (1) because nothing is learned, it is not limited to specific training data distributions (such as cityscapes, facades, or faces) (2) it can synthesize arbitrarily high resolution images, limited only by the resolution of the exemplar library (3) by appropriately composing shapes and parts, it can generate an exponentially large set of viable candidate output images (that can say, be interactively searched by a user). We present results on the diverse COCO dataset, significantly outperforming learning based approaches on standard image synthesis metrics. Finally, we explore user interaction and user controllability, demonstrating that our system can be used as a platform for user driven content creation.


Iterative beam search algorithms for the permutation flowshop. We study an iterative beam search algorithm for the permutation flowshop (makespan and flowtime minimization). This algorithm combines branching strategies inspired by recent branch and bounds and a guidance strategy inspired by the LR heuristic. It obtains competitive results, reports many new best so far solutions on the VFR benchmark (makespan minimization) and the Taillard benchmark (flowtime minimization) without using any NEH based branching or iterative greedy strategy. The source code is available at https gitlab.com librallu cats pfsp.


Phase Transition Analysis for Covariance Based Massive Random Access with Massive MIMO. This paper considers a massive random access problem in which a large number of sporadically active devices wish to communicate with a base station (BS) equipped with massive multiple input multiple output (MIMO) antennas. Each device is preassigned a unique signature sequence, and the BS identifies the active devices by detecting which sequences are transmitted. This device activity detection problem can be formulated as a maximum likelihood estimation (MLE) problem for which the sample covariance matrix of the received signal is a sufficient statistic. The goal of this paper is to characterize the feasible set of problem parameters under which this covariance based approach is able to successfully recover the device activities in the massive MIMO regime. Through an analysis of the asymptotic behaviors of MLE via its associated Fisher information matrix, this paper derives a necessary and sufficient condition on the Fisher information matrix to ensure a vanishing probability of detection error as the number of antennas goes to infinity, based on which a numerical phase transition analysis is obtained. This condition is also examined from a perspective of covariance matching, which relates the phase transition analysis to a recently derived scaling law. Further, we provide a characterization of the distribution of the estimation error in MLE, based on which the error probabilities in device activity detection can be accurately predicted. Finally, this paper studies a random access scheme with joint device activity and data detection and analyzes its performance in a similar way.


Distance based Equilibria in Normal Form Games. We propose a simple uncertainty modification for the agent model in normal form games at any given strategy profile, the agent can access only a set of "possible profiles" that are within a certain distance from the actual action profile. We investigate the various instantiations in which the agent chooses her strategy using well known rationales e.g., considering the worst case, or trying to minimize the regret, to cope with such uncertainty. Any such modification in the behavioral model naturally induces a corresponding notion of equilibrium a distance based equilibrium. We characterize the relationships between the various equilibria, and also their connections to well known existing solution concepts such as Trembling hand perfection. Furthermore, we deliver existence results, and show that for some class of games, such solution concepts can actually lead to better outcomes.


Collapsed Ricci limit spaces as non collapsed RCD spaces. In this short note we provide several conjectures on the regularity of measured Gromov Hausdorff limit spaces of Riemannian manifolds with Ricci curvature bounded below, from the point of view of the synthetic treatment of lower bounds on Ricci curvature for metric measure spaces.


Thresholds in random motif graphs. We introduce a natural generalization of the Erd H o s R 'enyi random graph model in which random instances of a fixed motif are added independently. The binomial random motif graph G(H,n,p) is the random (multi)graph obtained by adding an instance of a fixed graph H on each of the copies of H in the complete graph on n vertices, independently with probability p . We establish that every monotone property has a threshold in this model, and determine the thresholds for connectivity, Hamiltonicity, the existence of a perfect matching, and subgraph appearance. Moreover, in the first three cases we give the analogous hitting time results with high probability, the first graph in the random motif graph process that has minimum degree one (or two) is connected and contains a perfect matching (or Hamiltonian respectively).


A generic adaptive restart scheme with applications to saddle point algorithms. We provide a simple and generic adaptive restart scheme for convex optimization that is able to achieve worst case bounds matching (up to constant multiplicative factors) optimal restart schemes that require knowledge of problem specific constants. The scheme triggers restarts whenever there is sufficient reduction of a distance based potential function. This potential function is always computable. We apply the scheme to obtain the first adaptive restart algorithm for saddle point algorithms including primal dual hybrid gradient (PDHG) and extragradient. The method improves the worst case bounds of PDHG on bilinear games, and numerical experiments on quadratic assignment problems and matrix games demonstrate dramatic improvements for obtaining high accuracy solutions. Additionally, for accelerated gradient descent (AGD), this scheme obtains a worst case bound within 60 of the bound achieved by the (unknown) optimal restart period when high accuracy is desired. In practice, the scheme is competitive with the heuristic of O'Donoghue and Candes (2015).


Wiener index and graphs, almost half of whose vertices satisfy v S olt ' e s property. The Wiener index W(G) of a connected graph G is a sum of distances between all pairs of vertices of G . In 1991, v S olt ' e s formulated the problem of finding all graphs G such that for every vertex v the equation W(G) W(G v) holds. The cycle C 11 is the only known graph with this property. In this paper we consider the following relaxation of the original problem find a graph with a large proportion of vertices such that removing any one of them does not change the Wiener index of a graph. As the main result, we build an infinite series of graphs with the proportion of such vertices tending to frac 1 2 .


Differentially Private Linear Regression over Fully Decentralized Datasets. This paper presents a differentially private algorithm for linear regression learning in a decentralized fashion. Under this algorithm, privacy budget is theoretically derived, in addition to that the solution error is shown to be bounded by O(t) for O(1 t) descent step size and O( exp(t 1 e )) for O(t e ) descent step size.


On the infinite loop spaces of algebraic cobordism and the motivic sphere. We obtain geometric models for the infinite loop spaces of the motivic spectra mathrm MGL , mathrm MSL , and mathbf 1 over a field. They are motivically equivalent to mathbb Z times mathrm Hilb infty mathrm lci ( mathbb A infty) , mathbb Z times mathrm Hilb infty mathrm or ( mathbb A infty) , and mathbb Z times mathrm Hilb infty mathrm fr ( mathbb A infty) , respectively, where mathrm Hilb d mathrm lci ( mathbb A n) (resp. mathrm Hilb d mathrm or ( mathbb A n) , mathrm Hilb d mathrm fr ( mathbb A n) ) is the Hilbert scheme of lci points (resp. oriented points, framed points) of degree d in mathbb A n , and is Quillen's plus construction. Moreover, we show that the plus construction is redundant in positive characteristic.


Fractional variable exponents Sobolev trace spaces. We introduce and study fractional variable exponents Sobolev trace spaces on any open set in the Euclidean space equipped with the Lebesgue measure. We show that every equivalence class of Sobolev functions has a quasicontinuous representatives. We use the relative capacity to characterize completely the zero trace fractional variable exponents Sobolev spaces. We also give a relative capacity criterium for removable sets.


Constraints on Brouwer's Laplacian Spectrum Conjecture. Brouwer's Conjecture states that, for any graph G , the sum of the k largest (combinatorial) Laplacian eigenvalues of G is at most E(G) binom k 1 2 , 1 leq k leq n . We present several interrelated results establishing Brouwer's conjecture text BC k(G) for a wide range of graphs G and parameters k . In particular, we show that (1) text BC k(G) is true for low arboricity graphs, and in particular for planar G when k geq 11 (2) text BC k(G) is true whenever the variance of the degree sequence is not very high, generalizing previous results for G regular or random (3) text BC k(G) is true if G belongs to a hereditarily spectrally bounded class and k is sufficiently large as a function of k , in particular k geq sqrt 32n for bipartite graphs (4) text BC k(G) holds unless G has edge edit distance k sqrt 2n O(n 3 2 ) from a split graph (5) no G violates the conjectured upper bound by more than O(n 5 4 ) , and bipartite G by no more than O(n) and (6) text BC k(G) holds for all k outside an interval of length O(n 3 4 ) . Furthermore, we present a surprising negative result asymptotically almost surely, a uniform random signed complete graph violates the conjectured bound by Omega(n) .


Social Distancing 2.0 with Privacy Preserving Contact Tracing to Avoid a Second Wave of COVID 19. How to avoid a second wave of COVID 19 after reopening the economy is a pressing question. The extremely high basic reproductive number R 0 (5.7 to 6.4, shown in new studies) of SARS CoV 2 further complicates the challenge. Here we assess effects of Social distancing 2.0, i.e. proximity alert (to maintain inter personal distance) plus privacy preserving contact tracing. To solve the dual task, we developed an open source mobile app. The app uses a Bluetooth based, decentralized contact tracing platform over which the anonymous user ID cannot be linked by the government or a third party. Modelling results show that a 50 adoption rate of Social distancing 2.0, with privacy preserving contact tracing, would suffice to decrease the R 0 to less than 1 and prevent the resurgence of COVID 19 epidemic.


Inheritance software metrics on smart contracts. Blockchain systems have gained substantial traction recently, partly due to the potential of decentralized immutable mediation of economic activities. Ethereum is a prominent example that has the provision for executing stateful computing scripts known as Smart Contracts. These smart contracts resemble traditional programs, but with immutability being the core differentiating factor. Given their immutability and potential high monetary value, it becomes imperative to develop high quality smart contracts. Software metrics have traditionally been an essential tool in determining programming quality. Given the similarity between smart contracts (written in Solidity for Ethereum) and object oriented (OO) programming, OO metrics would appear applicable. In this paper, we empirically evaluate inheritance based metrics as applied to smart contracts. We adopt this focus because, traditionally, inheritance has been linked to a more complex codebase which we posit is not the case with Solidity based smart contracts. In this work, we evaluate the hypothesis that, due to the differences in the context of smart contracts and OO programs, it may not be appropriate to use the same interpretation of inheritance based metrics for assessment.


Tree Chain A Fast Lightweight Consensus Algorithm for IoT Applications. Blockchain has received tremendous attention in non monetary applications including the Internet of Things (IoT) due to its salient features including decentralization, security, auditability, and anonymity. Most conventional blockchains rely on computationally expensive consensus algorithms, have limited throughput, and high transaction delays. In this paper, we propose tree chain a scalable fast blockchain instantiation that introduces two levels of randomization among the validators i) transaction level where the validator of each transaction is selected randomly based on the most significant characters of the hash function output (known as consensus code), and ii) blockchain level where validator is randomly allocated to a particular consensus code based on the hash of their public key. Tree chain introduces parallel chain branches where each validator commits the corresponding transactions in a unique ledger. Implementation results show that tree chain is runnable on low resource devices and incurs low processing overhead, achieving near real time transaction settlement.


Intrusion Detection Systems for IoT opportunities and challenges offered by Edge Computing and Machine Learning. Key components of current cybersecurity methods are the Intrusion Detection Systems (IDSs) were different techniques and architectures are applied to detect intrusions. IDSs can be based either on cross checking monitored events with a database of known intrusion experiences, known as signature based, or on learning the normal behavior of the system and reporting whether some anomalous events occur, named anomaly based. This work is dedicated to survey the application of IDS to the Internet of Things (IoT) networks, where also the edge computing is used to support the IDS implementation. New challenges that arise when deploying an IDS in an edge scenario are identified and remedies are proposed. We focus on anomaly based IDSs, showing the main techniques that can be leveraged to detect anomalies and we present machine learning techniques and their application in the context of an IDS, describing the expected advantages and disadvantages that a specific technique could cause.


A First Order Primal Dual Method for Nonconvex Constrained Optimization Based On the Augmented Lagrangian. Nonlinearly constrained nonconvex and nonsmooth optimization models play an increasingly important role in machine learning, statistics and data analytics. In this paper, based on the augmented Lagrangian function we introduce a flexible first order primal dual method, to be called nonconvex auxiliary problem principle of augmented Lagrangian (NAPP AL), for solving a class of nonlinearly constrained nonconvex and nonsmooth optimization problems. We demonstrate that NAPP AL converges to a stationary solution at the rate of o(1 sqrt k ), where k is the number of iterations. Moreover, under an additional error bound condition (to be called VP EB in the paper), we further show that the convergence rate is in fact linear. Finally, we show that the famous Kurdyka Lojasiewicz property and the metric subregularity imply the afore mentioned VP EB condition.


Direct observation of site specific dopant substitution in Si doped (AlxGa1 x)2O3 via Atom Probe Tomography. In this work, the interaction of n type dopants in Si doped (AlxGa1 x)2O3 films with varying Al content over the entire composition range (x 0 100 ) was analyzed using atom probe tomography. An almost uniform dopant distribution with dopant density in the range of 1018 cm 3 was obtained in all (AlxGa1 x)2O3 layers containing different Al contents. We have demonstrated that for the single phase b eta (AlxGa1 x)2O3 films with Al content of x 0.30, dopants prefer to occupy on Ga sites while Al site is preferred for high Al content (x 0.50) (AlxGa1 x)2O3 layers. It was also observed for Al content, x 0.30 0.50, no specific cationic site occupancy was observed, Si occupies either Al or Ga sites. This can be attributed to highly inhomogeneous layers within this composition range due to which dopant Si atoms are either in the Al rich or Al depleted regions.


Techniques d'anonymisation tabulaire concepts et mise en oeuvre. In this document, we present a state of the art of anonymization techniques for classical tabular datasets. This article is geared towards a general public having some knowledge of mathematics and computer science, but with no need for specific knowledge in anonymization. The objective of this document it to explain anonymization concepts in order to be able to sanitize a dataset and compute reindentification risk. The document contains a large number of examples to help understand the calculations. Dans ce document, nous pr 'esentons l' 'etat de l'art des techniques d'anonymisation pour des bases de donn 'ees classiques (i.e. des tables), a destination d'un public technique ayant une formation universitaire de base en math 'ematiques et informatique, mais non sp 'ecialiste. L'objectif de ce document est d'expliquer les concepts permettant de r 'ealiser une anonymisation de donn 'ees tabulaires, et de calculer les risques de r 'eidentification. Le document est largement compos 'e d'exemples permettant au lecteur de comprendre comment mettre en oeuvre les calculs.


The global classical solution to compressible Euler system with velocity alignment. In this paper, the compressible Euler system with velocity alignment and damping is considered, where the influence matrix of velocity alignment is not positive definite. Sound speed is used to reformulate the system into symmetric hyperbolic type. The global existence and uniqueness of smooth solution for small initial data is provided.


On the weight distribution of second order Reed Muller codes and their relatives. The weight distribution of second order q ary Reed Muller codes have been determined by Sloane and Berlekamp (IEEE Trans. Inform. Theory, vol. IT 16, 1970) for q 2 and by McEliece (JPL Space Programs Summary, vol. 3, 1969) for general prime power q . Unfortunately, there were some mistakes in the computation of the latter one. This paper aims to provide a precise account for the weight distribution of second order q ary Reed Muller codes. In addition, the weight distributions of second order q ary homogeneous Reed Muller codes and second order q ary projective Reed Muller codes are also determined.


On the sum of k th powers in terms of earlier sums. For k a positive integer let S k(n) 1 k 2 k cdots n k , i.e., S k(n) is the sum of the first k th powers. Faulhaber conjectured (later proved by Jacobi) that for k odd, S k(n) could be written as a polynomial of S 1(n) for example S 3(n) S 1(n) 2 . We extend this result and prove that for any k there is a polynomial g k(x,y) such that S k(n) g(S 1(n), S 2(n)) . The proof yields a recursive formula to evaluate S k(n) as a polynomial of n that has roughly half the number of terms as the classical one.


Asymptotic method of moving planes for fractional parabolic equations. In this paper, we develop a systematical approach in applying an asymptotic method of moving planes to investigate qualitative properties of positive solutions for fractional parabolic equations. We first obtain a series of needed key ingredients such as narrow region principles, and various asymptotic maximum and strong maximum principles for antisymmetric functions in both bounded and unbounded domains. Then we illustrate how this new method can be employed to obtain asymptotic radial symmetry and monotonicity of positive solutions in a unit ball and on the whole space. Namely, we show that no matter what the initial data are, the solutions will eventually approach to radially symmetric functions. We firmly believe that the ideas and methods introduced here can be conveniently applied to study a variety of nonlocal parabolic problems with more general operators and more general nonlinearities.


Ion specific Adsorption on Bare Gold (Au) Nanoparticles in Aqueous Solution Double Layer Structure and Surface Potentials. We study the solvation and electrostatic properties of bare gold (Au) nanoparticles (NPs) of 1 2 nm in size in aqueous electrolyte solutions of sodium salts of various anions with large physicochemical diversity (Cl , BF 4 , PF 6 , Nip (nitrophenolate), 3 and 4 valent hexacyanoferrate (HCF)) using nonpolarizable, classical molecular dynamics computer simulations. We find a substantial facet selectivity in the adsorption structure and spatial distribution of the ions at the Au NPs while sodium and some of the anions (e.g., Cl , HCF 3 ) adsorb more at the edgy' (100) and (110) facets of the NPs, where the water hydration structure is more disordered, other ions (e.g., BF 4 , PF 6 , Nip ) prefer to adsorb strongly on the extended and rather flat (111) facets. In particular, Nip , which features an aromatic ring in its chemical structure, adsorbs strongly and perturbs the first water monolayer structure on the NP (111) facets substantially. Moreover, we calculate adsorptions, radially resolved electrostatic potentials, as well as the far field effective electrostatic surface charges and potentials by mapping the long range decay of the calculated electrostatic potential distribution onto the standard Debye H "uckel form. We show how the extrapolation of these values to other ionic strengths can be performed by an analytical Adsorption Grahame relation between effective surface charge and potential. We find for all salts negative effective surface potentials in the range from 10 mV for NaCl down to about 80 mV for NaNip, consistent with typical experimental ranges for the zeta potential. We discuss how these values depend on the surface definition and compare them to the explicitly calculated electrostatic potentials near the NP surface, which are highly oscillatory in the pm 0.5 V range.


Proceedings 8th International Workshop on Verification and Program Transformation and 7th Workshop on Horn Clauses for Verification and Synthesis. The proceedings consist of a keynote paper by Alberto followed by 6 invited papers written by Lorenzo Clemente (U. Warsaw), Alain Finkel (U. Paris Saclay), John Gallagher (Roskilde U. and IMDEA Software Institute) et al., Neil Jones (U. Copenhagen) et al., Michael Leuschel (Heinrich Heine U.) and Maurizio Proietti (IASI CNR) et al.. These invited papers are followed by 4 regular papers accepted at VPT 2020 and the papers of HCVS 2020 which consist of three contributed papers and an invited paper on the third competition of solvers for Constrained Horn Clauses. In addition, the abstracts (in HTML format) of 3 invited talks at VPT 2020 by Andrzej Skowron (U. Warsaw), Sophie Renault (EPO) and Moa Johansson (Chalmers U.), are included.


An Empirical Study on Benchmarks of Artificial Software Vulnerabilities. Recently, various techniques (e.g., fuzzing) have been developed for vulnerability detection. To evaluate those techniques, the community has been developing benchmarks of artificial vulnerabilities because of a shortage of ground truth. However, people have concerns that such vulnerabilities cannot represent reality and may lead to unreliable and misleading results. Unfortunately, there lacks research on handling such concerns. In this work, to understand how close these benchmarks mirror reality, we perform an empirical study on three artificial vulnerability benchmarks LAVA M, Rode0day and CGC (2669 bugs) and various real world memory corruption vulnerabilities (80 CVEs). Furthermore, we propose a model to depict the properties of memory corruption vulnerabilities. Following this model, we conduct intensive experiments and data analyses. Our analytic results reveal that while artificial benchmarks attempt to approach the real world, they still significantly differ from reality. Based on the findings, we propose a set of strategies to improve the quality of artificial benchmarks.


Non Local Spatial Propagation Network for Depth Completion. In this paper, we propose a robust and efficient end to end non local spatial propagation network for depth completion. The proposed network takes RGB and sparse depth images as inputs and estimates non local neighbors and their affinities of each pixel, as well as an initial depth map with pixel wise confidences. The initial depth prediction is then iteratively refined by its confidence and non local spatial propagation procedure based on the predicted non local neighbors and corresponding affinities. Unlike previous algorithms that utilize fixed local neighbors, the proposed algorithm effectively avoids irrelevant local neighbors and concentrates on relevant non local neighbors during propagation. In addition, we introduce a learnable affinity normalization to better learn the affinity combinations compared to conventional methods. The proposed algorithm is inherently robust to the mixed depth problem on depth boundaries, which is one of the major issues for existing depth estimation completion algorithms. Experimental results on indoor and outdoor datasets demonstrate that the proposed algorithm is superior to conventional algorithms in terms of depth completion accuracy and robustness to the mixed depth problem. Our implementation is publicly available on the project page.


Multiple solutions to cylindrically symmetric curl curl problems and related Schr "odinger equations with singular potentials. We look for multiple solutions mathbf U colon mathbb R 3 to mathbb R 3 to the curl curl problem nabla times nabla times mathbf U h(x, mathbf U ), qquad x in mathbb R 3, with a nonlinear function h colon mathbb R 3 times mathbb R 3 to mathbb R 3 which has subcritical growth at infinity or is critical in mathbb R 3 , i.e. h(x, mathbf U ) mathbf U 4 mathbf U . If h is radial in mathbf U , N 3 , K 2 and a 1 below, then we show that the solutions to the problem above are in one to one correspondence with the solutions to the following Schr "odinger equation Delta u frac a r 2 u f(x,u), qquad u colon mathbb R N to mathbb R , where x (y,z) in mathbb R K times mathbb R N K , N K geq 2 , r y and a a 0 in( infty,0 . In the critical case, the multiplicity problem for the latter equation has been studied only in the autonomous case a 0 and the available methods seem to be insufficient for the problem involving the singular potential, i.e. a neq 0 , due to the lack of conformal invariance. Therefore we develop methods for the critical curl curl problem and show the multiplicity of bound states for both equations in the case N 3 , K 2 and a 1 . In the subcritical case, instead, applying a critical point theory to the Schr "odinger equation above, we find infinitely many bound states for both problems.


A higher order numerical scheme for singularly perturbed parabolic turning point problems exhibiting twin boundary layers. In this article, a parameter uniform numerical method is presented to solve one dimensional singularly perturbed parabolic convection diffusion turning point problem exhibiting two exponential boundary layers. We study the asymptotic behaviour of the solution and its partial derivatives. The problem is discretized using the implicit Euler method for time discretization on a uniform mesh and a hybrid scheme for spatial discretization on a generalized Shishkin mesh. The scheme is shown to be varepsilon uniformly convergent of order one in time direction and order two in spatial direction upto a logarithmic factor. Numerical experiments are conducted to validate the theoretical results. Comparison is done with upwind scheme on uniform mesh as well as on standard Shishkin mesh to demonstrate the higher order accuracy of the proposed scheme on a generalized Shishkin mesh. end abstract begin keyword Singular perturbation, parabolic convection diffusion equations, turning point, hybrid scheme, twin boundary layers, Shishkin mesh


Split metacyclic actions on surfaces. Let mathrm Mod (S g) be the mapping class group of the closed orientable surface S g of genus g geq 2 . In this paper, we derive necessary and sufficient conditions under which two torsion elements in mathrm Mod (S g) will have conjugates that generate a finite split non abelian metacyclic subgroup of mathrm Mod (S g) . As applications of the main result, we give a complete characterization of the finite dihedral and the generalized quaternionic subgroups of mathrm Mod (S g) up to a certain equivalence that we will call weak conjugacy. Furthermore, we show that any finite order mapping class whose corresponding orbifold is a sphere, has a conjugate that lifts under certain finite sheeted regular cyclic covers of S g . Moreover, for g geq 5 , we show the existence of an infinite dihedral subgroup of mathrm Mod (S g) that is generated by an involution and a root of a bounding pair map of degree 3 . Finally, we provide a complete classification of the weak conjugacy classes of the non abelian finite split metacyclic subgroups of mathrm Mod (S 3) and mathrm Mod (S 5) . We also describe nontrivial geometric realizations of some of these actions.


Partial Trace Ideals And Berger's Conjecture. For any finitely generated module M with non zero rank over a commutative one dimensional Noetherian local domain, we study a numerical invariant operatorname h (M) based on a partial trace ideal of M . We study its properties and explore relations between this invariant and the colength of the conductor. Finally we apply this to the universally finite module of differentials Omega R k , where R is a complete k algebra with k any perfect field, to study a long standing conjecture due to R. W. Berger.


Mathematical Approach in Automata and Automata Association. The transition structure of an automaton can be used to create a natural topology to the set of states of an automaton, generating, this way, a topological space. Probabilistic automata can also be modeled in terms of measure theory. A system of many automata would be reduced to simple mathematical structures and analyzed by a topological point of view.


Commutation Formulae With Respect to Non Symmetric Affine Connection. Commutation formulae with respect to a non symmetric affine connection are obtained in this paper. The components of commutation formulae in this paper are covariant derivatives of tensors with respect to symmetric and non symmetric affine connection.


Can an Algorithm be My Healthcare Proxy?. Planning for death is not a process in which everyone participates. Yet a lack of planning can have vast impacts on a patient's well being, the well being of her family, and the medical community as a whole. Advance Care Planning (ACP) has been a field in the United States for a half century. Many modern techniques prompting patients to think about end of life (EOL) involve short surveys or questionnaires. Different surveys are targeted to different populations (based off of likely disease progression or cultural factors, for instance), are designed with different intentions, and are administered in different ways. There has been recent work using technology to increase the number of people using advance care planning tools. However, modern techniques from machine learning and artificial intelligence could be employed to make additional changes to the current ACP process. In this paper we will discuss some possible ways in which these tools could be applied. We will discuss possible implications of these applications through vignettes of patient scenarios. We hope that this paper will encourage thought about appropriate applications of artificial intelligence in ACP as well as implementation of AI in order to ensure intentions are honored.


A Note on the Finite Convergence of Alternating Projections. We establish sufficient conditions for finite convergence of the alternating projections method for two non intersecting and potentially nonconvex sets. Our results are based on a generalization of the concept of intrinsic transversality, which until now has been restricted to sets with nonempty intersection. In the special case of a polyhedron and closed half space, our sufficient conditions define the minimum distance between the two sets that is required for alternating projections to converge in a single iteration.


Simpler Partial Derandomization of PPSZ for k SAT. We give a simpler derandomization of the best known k SAT algorithm PPSZ FOCS'97, JACM'05 for k SAT with emph sub exponential number of solutions. The existing derandomization uses a complicated construction of small sample space, while we only use emph hashing . Our algorithm and theorem also have a nice byproduct It outperforms the current fastest deterministic k SAT algorithm when the formula has emph moderately exponential number of solutions.


math.DG math.AP physics.flu-dyn physics.geo-ph

Existence of a conjugate point in the incompressible Euler flow on an ellipsoid. Existence of a conjugate point in the incompressible Euler flow on a sphere and an ellipsoid is considered. Misiolek (1996) formulated a differential geometric criterion (we call M criterion) for the existence of a conjugate point in a fluid flow. In this paper, it is shown that no zonal flow (stationary Euler flow) satisfies M criterion if the background manifold is a sphere, on the other hand, there are zonal flows satisfy M criterion if the background manifold is an ellipsoid (even it is sufficiently close to the sphere). The conjugate point is created by the fully nonlinear effect of the inviscid fluid flow with differential geometric mechanism.


Active Contrastive Learning of Audio Visual Video Representations. Contrastive learning has been shown to produce generalizable representations of audio and visual data by maximizing the lower bound on the mutual information (MI) between different views of an instance. However, obtaining a tight lower bound requires a sample size exponential in MI and thus a large set of negative samples. We can incorporate more samples by building a large queue based dictionary, but there are theoretical limits to performance improvements even with a large number of negative samples. We hypothesize that textit random negative sampling leads to a highly redundant dictionary that results in suboptimal representations for downstream tasks. In this paper, we propose an active contrastive learning approach that builds an textit actively sampled dictionary with diverse and informative items, which improves the quality of negative samples and improves performances on tasks where there is high mutual information in the data, e.g., video classification. Our model achieves state of the art performance on challenging audio and visual downstream benchmarks including UCF101, HMDB51 and ESC50. footnote Code is available at url https github.com yunyikristy CM ACC


Topics in Topology and Homotopy Theory. This book is an account of certain topics in general and algebraic topology.


A Semi Supervised Assessor of Neural Architectures. Neural architecture search (NAS) aims to automatically design deep neural networks of satisfactory performance. Wherein, architecture performance predictor is critical to efficiently value an intermediate neural architecture. But for the training of this predictor, a number of neural architectures and their corresponding real performance often have to be collected. In contrast with classical performance predictor optimized in a fully supervised way, this paper suggests a semi supervised assessor of neural architectures. We employ an auto encoder to discover meaningful representations of neural architectures. Taking each neural architecture as an individual instance in the search space, we construct a graph to capture their intrinsic similarities, where both labeled and unlabeled architectures are involved. A graph convolutional neural network is introduced to predict the performance of architectures based on the learned representations and their relation modeled by the graph. Extensive experimental results on the NAS Benchmark 101 dataset demonstrated that our method is able to make a significant reduction on the required fully trained architectures for finding efficient architectures.


Automated and optimally FRET assisted structural modeling. FRET experiments can yield state specific structural information on complex dynamic biomolecular assemblies. However, FRET experiments need to be combined with computer simulations to overcome their sparsity. We introduce (i) an automated FRET experiment design tool determining optimal FRET pairs for structural modeling, (ii) a protocol for efficient FRET assisted computational structural modeling at multiple scales, and (iii) a quantitative quality estimate for judging the accuracy of determined structures. We tested against simulated and experimental data.


Geometric Invariant Theory, holomorphic vector bundles and the Harder Narasimhan filtration. This survey intends to present the basic notions of Geometric Invariant Theory (GIT) through its paradigmatic application in the construction of the moduli space of holomorphic vector bundles. Special attention is paid to the notion of stability from different points of view and to the concept of maximal unstability, represented by the Harder Narasimhan filtration and, from which, correspondences with the GIT picture and results derived from stratifications on the moduli space are discussed.


Asymptotics of the principal eigenvalue for a linear time periodic parabolic operator II Small diffusion. We investigate the effect of small diffusion on the principal eigenvalues of linear time periodic parabolic operators with zero Neumann boundary conditions in one dimensional space. The asymptotic behaviors of the principal eigenvalues, as the diffusion coefficients tend to zero, are established for non degenerate and degenerate spatial temporally varying environments. A new finding is the dependence of these asymptotic behaviors on the periodic solutions of a specific ordinary differential equation induced by the drift. The proofs are based upon delicate constructions of super sub solutions and the applications of comparison principles.


High energy ultraviolet dispersive wave emission in compact hollow capillary systems. We demonstrate high energy resonant dispersive wave emission in the deep ultraviolet (218 to 375 nm) from optical solitons in short (15 to 34cm) hollow capillary fibres. This down scaling in length compared to previous results in capillaries is achieved by using small core diameters (100 and 150 mu m) and pumping with 6.3 fs pulses at 800 nm. We generate pulses with energies of 4 to 6 mu J across the deep ultraviolet in a 100 mu m capillary and up to 11 mu J in a 150 mu m capillary. From comparisons to simulations we estimate the ultraviolet pulse to be 2 to 2.5 fs in duration. We also numerically study the influence of pump duration on the bandwidth of the dispersive wave.


Musculoskeletal full body models including a detailed thoracolumbar spine for children and adolescents aged 6 18 years. Currently available musculoskeletal inverse dynamics thoracolumbar spine models are entirely based on data from adults and might therefore not be applicable for simulations in children and adolescents. In addition, these models lack lower extremities, which are required for comprehensive evaluations of functional activities or therapeutic exercises. We therefore created OpenSim based musculoskeletal full body models including a detailed thoracolumbar spine for children and adolescents aged 6 18 years and validated by comparing model predictions to in vivo data. After combining our recently developed adult thoracolumbar spine model with a lower extremity model, children and adolescent models were created for each year of age by adjusting segmental length and mass distribution, center of mass positions and moments of inertia of the major body segments as well as sagittal pelvis and spine alignment based on literature data. Similarly, muscle strength properties were adjusted based on CT derived cross sectional area measurements. Simulations were conducted from in vivo studies reported in the literature involving children and adolescents evaluating maximum trunk muscle strength (MTMS), lumbar disc compressibility (LDC), intradiscal pressure (IDP) and trunk muscle activity (MA). Model predictions correlated highly with in vivo data (MTMS r 0.82, p 0.03 LDC r 0.77, p 0.001 IDP r 0.78, p 0.001 MA r 0.90, p 0.001), indicating suitability for the reasonably accurate prediction of maximal trunk muscle strength, segmental loading and trunk muscle activity in children and adolescents. When aiming at investigating children or adolescents with pathologies such as idiopathic scoliosis, our models can serve as a basis for the creation of deformed spine models and for comparative purposes.


Compactification of semi simple Lie groups. We discuss the hd compactification' of a semi simple Lie group to a manifold with corners it is the real analog of the wonderful compactification of deConcini and Procesi. There is a 1 1 correspondence between the boundary faces of the compactification and conjugacy classes of parabolic subgroups with the boundary face fibering over two copies of the corresponding flag variety with fiber modeled on the (compactification of the) reductive part. On the hd compactification Harish Chandra's Schwartz space is identified with a space of conormal functions of rapid logarithmic decay relative to square integrable functions.


Detecting Human Object Interaction with Mixed Supervision. Human object interaction (HOI) detection is an important task in image understanding and reasoning. It is in a form of HOI triplet human verb object , requiring bounding boxes for human and object, and action between them for the task completion. In other words, this task requires strong supervision for training that is however hard to procure. A natural solution to overcome this is to pursue weakly supervised learning, where we only know the presence of certain HOI triplets in images but their exact location is unknown. Most weakly supervised learning methods do not make provision for leveraging data with strong supervision, when they are available and indeed a na "ive combination of this two paradigms in HOI detection fails to make contributions to each other. In this regard we propose a mixed supervised HOI detection pipeline thanks to a specific design of momentum independent learning that learns seamlessly across these two types of supervision. Moreover, in light of the annotation insufficiency in mixed supervision, we introduce an HOI element swapping technique to synthesize diverse and hard negatives across images and improve the robustness of the model. Our method is evaluated on the challenging HICO DET dataset. It performs close to or even better than many fully supervised methods by using a mixed amount of strong and weak annotations furthermore, it outperforms representative state of the art weakly and fully supervised methods under the same supervision.


A SAT based System for Consistent Query Answering. An inconsistent database is a database that violates one or more integrity constraints, such as functional dependencies. Consistent Query Answering is a rigorous and principled approach to the semantics of queries posed against inconsistent databases. The consistent answers to a query on an inconsistent database is the intersection of the answers to the query on every repair, i.e., on every consistent database that differs from the given inconsistent one in a minimal way. Computing the consistent answers of a fixed conjunctive query on a given inconsistent database can be a coNP hard problem, even though every fixed conjunctive query is efficiently computable on a given consistent database. We designed, implemented, and evaluated CAvSAT, a SAT based system for consistent query answering. CAvSAT leverages a set of natural reductions from the complement of consistent query answering to SAT and to Weighted MaxSAT. The system is capable of handling unions of conjunctive queries and arbitrary denial constraints, which include functional dependencies as a special case. We report results from experiments evaluating CAvSAT on both synthetic and real world databases. These results provide evidence that a SAT based approach can give rise to a comprehensive and scalable system for consistent query answering.


The Bracket in the Bar Spectral Sequence for an Iterated Loop Space. When X is an associative H space, the bar spectral sequence computes the homology of the delooping, H (BX) . If X is an n fold loop space for n geq2 this is a spectral sequence of Hopf algebras. Using machinery by Sugawara and Clark, we show that the spectral sequence filtration respects the Browder bracket structure on H (BX) , and so it is moreover a spectral sequence of Poisson algebras. Through the bracket on the spectral sequence, we establish a connection between the degree n 1 bracket on H (X) and the degree n 2 bracket on H (BX) . This generalizes a result of Browder and puts it in a computational context.


A review of recent studies on nonlinear dynamics of microtubules and DNA. Nonlinear dynamics of two biomolecules is studied. These are a microtubule and DNA molecule. Two mathematical procedures are explained, yielding to three kinds of solitary waves moving through the systems. These waves are kinks, modulated solitary waves called breathers and bell type solitons.


On asymptotic base loci of relative anti canonical divisors of algebraic fiber spaces. In this paper, we study the relative anti canonical divisor K X Y of an algebraic fiber space phi X to Y , and we reveal relations among positivity conditions of K X Y , certain flatness of direct image sheaves, and variants of the base loci including the stable (augmented, restricted) base loci and upper level sets of Lelong numbers. This paper contains three main results The first result says that all the above base loci are located in the horizontal direction unless they are empty. The second result is an algebraic proof for Campana Cao Matsumura's equality on Hacon rm M c Kernan's question, whose original proof depends on analytics methods. The third result partially solves the question which asks whether algebraic fiber spaces with semi ample relative anti canonical divisor actually have a product structure via the base change by an appropriate finite 'etale cover of Y . Our proof is based on algebraic as well as analytic methods for positivity of direct image sheaves.


Bilinear Fusion of Commonsense Knowledge with Attention Based NLI Models. We consider the task of incorporating real world commonsense knowledge into deep Natural Language Inference (NLI) models. Existing external knowledge incorporation methods are limited to lexical level knowledge and lack generalization across NLI models, datasets, and commonsense knowledge sources. To address these issues, we propose a novel NLI model independent neural framework, BiCAM. BiCAM incorporates real world commonsense knowledge into NLI models. Combined with convolutional feature detectors and bilinear feature fusion, BiCAM provides a conceptually simple mechanism that generalizes well. Quantitative evaluations with two state of the art NLI baselines on SNLI and SciTail datasets in conjunction with ConceptNet and Aristo Tuple KGs show that BiCAM considerably improves the accuracy the incorporated NLI baselines. For example, our BiECAM model, an instance of BiCAM, on the challenging SciTail dataset, improves the accuracy of incorporated baselines by 7.0 with ConceptNet, and 8.0 with Aristo Tuple KG.


Gradient based optimization of 3D MHD equilibria. Using recently developed adjoint methods for computing the shape derivatives of functions that depend on MHD equilibria (Antonsen et al. 2019 Paul et al. 2020), we present the first example of analytic gradient based optimization of fixed boundary stellarator equilibria. We take advantage of gradient information to optimize figures of merit of relevance for stellarator design, including the rotational transform, magnetic well, and quasisymmetry near the axis. With the application of the adjoint method, we reduce the number of equilibrium evaluations by the dimension of the optimization space ( sim 50 500 ) in comparison with a finite difference gradient based method. We discuss regularization objectives of relevance for fixed boundary optimization, including a novel method that prevents self intersection of the plasma boundary. We present several optimized equilibria, including a vacuum field with very low magnetic shear throughout the volume.


Extremal transitions via quantum Serre duality. Two varieties Z and widetilde Z are said to be related by extremal transition if there exists a degeneration from Z to a singular variety overline Z and a crepant resolution widetilde Z to overline Z . In this paper we compare the genus zero Gromov Witten theory of toric hypersurfaces related by extremal transitions arising from toric blow up. We show that the quantum D module of widetilde Z , after analytic continuation and restriction of a parameter, recovers the quantum D module of Z . The proof provides a geometric explanation for both the analytic continuation and restriction parameter appearing in the theorem.


Data compression for turbulence databases using spatio temporal sub sampling and local re simulation. Motivated by specific data and accuracy requirements for building numerical databases of turbulent flows, data compression using spatio temporal sub sampling and local re simulation is proposed. Numerical re simulation experiments for decaying isotropic turbulence based on sub sampled data are undertaken. The results and error analyses are used to establish parameter choices for sufficiently accurate sub sampling and sub domain re simulation.


Algorithm to enumerate superspecial Howe curves of genus 4 . A Howe curve is a curve of genus 4 obtained as the fiber product over mathbf P 1 of two elliptic curves. Any Howe curve is canonical. This paper provides an efficient algorithm to find superspecial Howe curves and that to enumerate their isomorphism classes. We discuss not only an algorithm to test the superspeciality but also an algorithm to test isomorphisms for Howe curves. Our algorithms are much more efficient than conventional ones proposed by the authors so far for general canonical curves. We show the existence of a superspecial Howe curve in characteristic 7 p le 331 and enumerate the isomorphism classes of superspecial Howe curves in characteristic p le 53 , by executing our algorithms over the computer algebra system Magma.


Existence of multi solitons for the focusing Logarithmic Non Linear Schrodinger Equation. We consider the logarithmic Schr "o dinger equation (logNLS) in the focusing regime. For this equation, Gaussian initial data remains Gaussian. In particular, the Gausson a time independent Gaussian function is an orbitally stable solution. In this paper, we construct multi solitons (or multi Gaussons) for logNLS, with estimates in H 1 cap mathcal F (H 1) . We also construct solutions to logNLS behaving (in L 2 ) like a sum of N Gaussian solutions with different speeds (which we call multi gaussian). In both cases, the convergence (as t rightarrow infty ) is faster than exponential. We also prove a rigidity result on these multi gaussians and multi solitons, showing that they are the only ones with such a convergence.


Edge Matching Graph Contractions and their Interlacing Properties. For a given graph mathcal G of order n with m edges, and a real symmetric matrix associated to the graph, M left( mathcal G right) in mathbb R n times n , the interlacing graph reduction problem is to find a graph mathcal G r of order r n such that the eigenvalues of M left( mathcal G r right) interlace the eigenvalues of M left( mathcal G right) . Graph contractions over partitions of the vertices are widely used as a combinatorial graph reduction tool. In this study, we derive a graph reduction interlacing theorem based on subspace mappings and the minmax theory. We then define a class of edge matching graph contractions and show how two types of edge matching contractions provide Laplacian and normalized Laplacian interlacing. An mathcal O left(mn right) algorithm is provided for finding a normalized Laplacian interlacing contraction and an mathcal O left(n 2 nm right) algorithm is provided for finding a Laplacian interlacing contraction.


Small ball probabilities, metric entropy and Gaussian rough paths. We study the Small Ball Probabilities (SBPs) of Gaussian rough paths. While many works on rough paths study the Large Deviations Principles (LDPs) for stochastic processes driven by Gaussian rough paths, it is a noticeable gap in the literature that SBPs have not been extended to the rough path framework. LDPs provide macroscopic information about a measure for establishing Integrability type properties. SBPs provide microscopic information and are used to establish a locally accurate approximation for a measure. Given the compactness of a Reproducing Kernel Hilbert space (RKHS) ball, its metric entropy provides invaluable information on how to approximate the law of a Gaussian rough path. As an application, we are able to find upper and lower bounds for the rate of convergence of an empirical rough Gaussian measure to its true law in pathspace.


Classification of Important Segments in Educational Videos using Multimodal Features. Videos are a commonly used type of content in learning during Web search. Many e learning platforms provide quality content, but sometimes educational videos are long and cover many topics. Humans are good in extracting important sections from videos, but it remains a significant challenge for computers. In this paper, we address the problem of assigning importance scores to video segments, that is how much information they contain with respect to the overall topic of an educational video. We present an annotation tool and a new dataset of annotated educational videos collected from popular online learning platforms. Moreover, we propose a multimodal neural architecture that utilizes state of the art audio, visual and textual features. Our experiments investigate the impact of visual and temporal information, as well as the combination of multimodal features on importance prediction.


A Random Network Model for the Analysis of Blockchain Designs with Communication Delay. This paper proposes a random network model for blockchains, a distributed hierarchical data structure of blocks that has found several applications in various industries. The model is parametric on two probability distribution functions governing block production and communication delay, which are key to capture the complexity of the mechanism used to synchronize the many distributed local copies of a blockchain. The proposed model is equipped with simulation algorithms for both bounded and unbounded number of distributed copies of the blockchain. They are used to study fast blockchain systems, i.e., blockchains in which the average time of block production can match the average time of message broadcasting used for blockchain synchronization. In particular, the model and the algorithms are useful to understand efficiency criteria associated with fast blockchains for identifying, e.g., when increasing the block production will have negative impact on the stability of the distributed data structure given the network's broadcast delay.


Flutter Instability in an Internal Flow Energy Harvester. Vibration based flow energy harvesting enables robust, in situ energy extraction for low power applications, such as distributed sensor networks. Fluid structure instabilities dictate a harvester's viability since the structural response to the flow determines its power output. Previous work on a flextensional based flow energy harvester demonstrated that an elastic member within a converging diverging channel is susceptible to the aeroelastic flutter. This work explores the mechanism driving flutter through experiments and simulations. A model is then developed based on channel flow rate modulation and considering the effects of both normal and spanwise flow confinement on the instability. Linear stability analysis of the model replicates flutter onset, critical frequency, and mode shapes observed in experiments. The model suggests that flow modulation through the channel throat is the principal mechanism for the fluid induced vibration. The generalized model presented can serve as the foundation of design parameter exploration for energy harvesters, perhaps leading to more powerful devices in the future, but also to other similar flow geometries where the flutter instability arises in an elastic member within a narrow flow passage.


Non Local Cell Adhesion Models Steady States and Bifurcations. In this manuscript, we consider the modelling of cellular adhesions, which is a key interaction between biological cells. Continuum models of the diffusion advection reaction type have long been used in tissue modelling. In 2006, Armstrong, Painter, and Sherratt proposed an extension to take adhesion effects into account. The resulting equation is a non local advection diffusion equation. While immensely successful in applications, the development of mathematical theory pertaining to steady states and pattern formation is lacking. The mathematical analysis of the non local adhesion model is challenging. In this monograph, we contribute to the analysis of steady states and their bifurcation structure. The importance of steady states is that these are the patterns observed in nature and tissues (e.g. cell sorting experiments). In the case of periodic boundary conditions, we combine global bifurcation results pioneered by Rabinowitz, equivariant bifurcation theory, and the mathematical properties (maximum principle) of the non local term to obtain a global bifurcation result for the branches of non trivial solutions.


Modular Pipe Climber. This paper discusses the design and implementation of the Modular Pipe Climber inside ASTM D1785 15e1 standard pipes 1 . The robot has three tracks which operate independently and are mounted on three modules which are oriented at 120 deg to each other. The tracks provide for greater surface traction compared to wheels 2 . The tracks are pushed onto the inner wall of the pipe by passive springs which help in maintaining the contact with the pipe during vertical climb and while turning in bends. The modules have the provision to compress asymmetrically, which helps the robot to take turns in bends in all directions. The motor torque required by the robot and the desired spring stiffness are calculated at quasistatic and static equilibriums when the pipe climber is in a vertical climb. The springs were further simulated and analyzed in ADAMS MSC. The prototype built based on these obtained values was experimented on, in complex pipe networks. Differential speed is employed when turning in bends to improve the efficiency and reduce the stresses experienced by the robot.