Low c differential and c boomerang uniformity of the swapped inverse function. Modifying the binary inverse function in a variety of ways, like swapping two output points has been known to produce a 4 differential uniform permutation function. Recently, in cite Li19 it was shown that this swapped version of the inverse function has boomerang uniformity exactly 10 , if n equiv 0 pmod 6 , 8 , if n equiv 3 pmod 6 , and 6, if n not equiv 0 pmod 3 . Based upon the c differential notion we defined in cite EFRST20 and c boomerang uniformity from cite S20 , in this paper we characterize the c differential and c boomerang uniformity for the (0,1) swapped inverse function in characteristic 2 we show that for all c neq 1 , the c differential uniformity is upper bounded by 4 and the c boomerang uniformity by 5 with both bounds being attained for n geq 4 .


Social Engagement versus Learning Engagement An Exploratory Study of FutureLearn Learners. Massive Open Online Courses (MOOCs) continue to see increasing enrolment, but only a small percent of enrolees completes the MOOCs. Whilst a lot of research has focused on predicting completion, there is little research analysing the ostensible contradiction between the MOOC's popularity and the apparent disengagement of learners. Specifically, it is important to analyse engagement not just in learning, but also from a social perspective. This is especially crucial, as MOOCs offer a growing amount of activities, which can be classified as social interactions. Thus, this study is particularly concerned with how learners interact with peers, along with their study progression in MOOCs. Additionally, unlike most existing studies that are mainly focused on learning outcomes, this study adopts a fine grained temporal approach to exploring how learners progress within a MOOC. The study was conducted on the less explored FutureLearn platform, which employs a social constructivist approach and promotes collaborative learning. The preliminary results suggest potential interesting fine grained predictive models for learner behaviour, involving weekly monitoring of social, non social behaviour of active students (further classified as completers and non completers).


Local and global dynamics of a fractional order predator prey system with habitat complexity and the corresponding discretized fractional order system. This paper is focused on local and global stability of a fractional order predator prey model with habitat complexity constructed in the Caputo sense and corresponding discrete fractional order system. Mathematical results like positivity and boundedness of the solutions in fractional order model is presented. Conditions for local and global stability of different equilibrium points are proved. It is shown that there may exist fractional order dependent instability through Hopf bifurcation for both fractional order and corresponding discrete systems. Dynamics of the discrete fractional order model is more complex and depends on both step length and fractional order. It shows Hopf bifurcation, flip bifurcation and more complex dynamics with respect to the step size. Several examples are presented to substantiate the analytical results.


On Simple Direct Modules. Recently, in a series of papers "simple" versions of direct injective and direct projective modules have been investigated. These modules are termed as "simple direct injective" and "simple direct projective", respectively. In this paper, we give a complete characterization of the aforementioned modules over the ring of integers and over semilocal rings. The ring is semilocal if and only if every right module with zero Jacobson radical is simple direct projective. The rings whose simple direct injective right modules are simple direct projective are fully characterized. These are exactly the left perfect right H rings. The rings whose simple direct projective right modules are simple direct injective are right max rings. For a commutative Noetherian ring, we prove that simple direct projective modules are simple direct injective if and only if simple direct injective modules are simple direct projective if and only if the ring is Artinian. Various closure properties and some classes of modules that are simple direct injective (resp. projective) are given.


Parallel parametric linear programming solving, and application to polyhedral computations. Parametric linear programming is central in polyhedral computations and in certain control applications.We propose a task based scheme for parallelizing it, with quasi linear speedup over large problems.


Assistive Relative Pose Estimation for On orbit Assembly using Convolutional Neural Networks. Accurate real time pose estimation of spacecraft or object in space is a key capability necessary for on orbit spacecraft servicing and assembly tasks. Pose estimation of objects in space is more challenging than for objects on Earth due to space images containing widely varying illumination conditions, high contrast, and poor resolution in addition to power and mass constraints. In this paper, a convolutional neural network is leveraged to uniquely determine the translation and rotation of an object of interest relative to the camera. The main idea of using CNN model is to assist object tracker used in on space assembly tasks where only feature based method is always not sufficient. The simulation framework designed for assembly task is used to generate dataset for training the modified CNN models and, then results of different models are compared with measure of how accurately models are predicting the pose. Unlike many current approaches for spacecraft or object in space pose estimation, the model does not rely on hand crafted object specific features which makes this model more robust and easier to apply to other types of spacecraft. It is shown that the model performs comparable to the current feature selection methods and can therefore be used in conjunction with them to provide more reliable estimates.


Polarized Raman Spectra and Complex Raman Tensors of Antiferromagnetic Semiconductor CrPS4. Chromium thiophosphate (CrPS4), a monoclinic crystal of C 2 3 space group, is a ternary layered semiconductor with an optical bandgap of 1.4 eV and exhibits antiferromagnetism below 36 K. Despite its potential in optoelectronic and magnetic applications, the symmetry of its lattice vibrations has not been systematically studied. In this work, we performed a polarized Raman spectroscopy of bulk CrPS4 using three different excitation wavelengths of 457, 514, and 633 nm. High quality crystals grown by the chemical vapor transport method were mechanically exfoliated or polished to expose three orthogonal crystallographic facets. Polarized Raman spectra were obtained in parallel and cross configurations by rotating samples about the surface normal to each of the facets. Among 33 Raman active modes (16 A and 17 B) at the Brillouin zone center, 19 (8) peaks observed in the parallel (cross) configuration were assigned as A (B) modes. Complex valued Raman tensors were determined for 7 major A modes using the angle dependent Raman spectra of the three facets. The results can also be used in determining the crystallographic orientations of CrPS4 unequivocally.


Exploiting RapidWright in the Automatic Generation of Application Specific FPGA Overlays. Overlay architectures implemented on FPGA devices have been proposed as a means to increase FPGA adoption in general purpose computing. They provide the benefits of software such as flexibility and programmability, thus making it easier to build dedicated compilers. However, existing overlays are generic, resource and power hungry with performance usually an order of magnitude lower than bare metal implementations. As a result, FPGA overlays have been confined to research and some niche applications. In this paper, we introduce Application Specific FPGA Overlays (AS Overlays), which can provide bare metal performance to FPGA overlays, thus opening doors for broader adoption. Our approach is based on the automatic extraction of hardware kernels from data flow applications. Extracted kernels are then leveraged for application specific generation of hardware accelerators. Reconfiguration of the overlay is done with RapidWright which allows to bypass the HDL design flow. Through prototyping, we demonstrated the viability and relevance of our approach. Experiments show a productivity improvement up to 20x compared to the state of the art FPGA overlays, while achieving over 1.33x higher Fmax than direct FPGA implementation and the possibility of lower resource and power consumption compared to bare metal.


Tropical analogs of Milnor K groups and tropicalizations of Zariski Riemann spaces. As a step of a tropical approach to problems on algebraic classes of cohomology groups (such as the Hodge conjecture), in this paper, we introduce tropical analogs of (rational) Milnor K groups, and prove the existence of the Gersten resolution of their Zariski sheafification. Our result will be used to prove a tropical analog of the Hodge conjecture for smooth algebraic varieties over trivially valued fields in a subsequent paper.


Modeling Token level Uncertainty to Learn Unknown Concepts in SLU via Calibrated Dirichlet Prior RNN. One major task of spoken language understanding (SLU) in modern personal assistants is to extract semantic concepts from an utterance, called slot filling. Although existing slot filling models attempted to improve extracting new concepts that are not seen in training data, the performance in practice is still not satisfied. Recent research collected question and answer annotated data to learn what is unknown and should be asked, yet not practically scalable due to the heavy data collection effort. In this paper, we incorporate softmax based slot filling neural architectures to model the sequence uncertainty without question supervision. We design a Dirichlet Prior RNN to model high order uncertainty by degenerating as softmax layer for RNN model training. To further enhance the uncertainty modeling robustness, we propose a novel multi task training to calibrate the Dirichlet concentration parameters. We collect unseen concepts to create two test datasets from SLU benchmark datasets Snips and ATIS. On these two and another existing Concept Learning benchmark datasets, we show that our approach significantly outperforms state of the art approaches by up to 8.18 . Our method is generic and can be applied to any RNN or Transformer based slot filling models with a softmax layer.


(Co)Homology Self closeness Numbers of Simply connected Spaces. The (co)homology self closeness number of a simply connected based CW complexes X is the minimal number k such that any self map f of X inducing an automorphism of the (co)homology groups for dimensions leq k is a self homotopy equivalence. These two numbers are homotopy invariants and have a close relation with the group of self homotopy equivalences. In this paper, we compare the (co)homology self closeness numbers of spaces in certain cofibrations, define the mod p (co)homology self closeness number of simply connected p local spaces with finitely generated homologies and study some properties of the (mod p ) (co)homology self closeness numbers.


A fractional parabolic inverse problem involving a time dependent magnetic potential. We study a class of fractional parabolic equations involving a time dependent magnetic potential and formulate the corresponding inverse problem. We determine both the magnetic potential and the electric potential from the exterior partial measurements of the Dirichlet to Neumann map.


Approximation of null controls for semilinear heat equations using a least squares approach. The null distributed controllability of the semilinear heat equation y t Delta y g(y) f ,1 omega , assuming that g satisfies the growth condition g(s) ( vert s vert log 3 2 (1 vert s vert)) rightarrow 0 as vert s vert rightarrow infty and that g prime in L infty loc ( mathbb R ) has been obtained by Fern 'andez Cara and Zuazua in 2000. The proof based on a fixed point argument makes use of precise estimates of the observability constant for a linearized heat equation. It does not provide however an explicit construction of a null control. Assuming that g prime in W s, infty ( mathbb R ) for one s in (0,1 , we construct an explicit sequence converging strongly to a null control for the solution of the semilinear equation. The method, based on a least squares approach, generalizes Newton type methods and guarantees the convergence whatever be the initial element of the sequence. In particular, after a finite number of iterations, the convergence is super linear with a rate equal to 1 s . Numerical experiments in the one dimensional setting support our analysis.


Appearance Shock Grammar for Fast Medial Axis Extraction from Real Images. We combine ideas from shock graph theory with more recent appearance based methods for medial axis extraction from complex natural scenes, improving upon the present best unsupervised method, in terms of efficiency and performance. We make the following specific contributions i) we extend the shock graph representation to the domain of real images, by generalizing the shock type definitions using local, appearance based criteria ii) we then use the rules of a Shock Grammar to guide our search for medial points, drastically reducing run time when compared to other methods, which exhaustively consider all points in the input image iii) we remove the need for typical post processing steps including thinning, non maximum suppression, and grouping, by adhering to the Shock Grammar rules while deriving the medial axis solution iv) finally, we raise some fundamental concerns with the evaluation scheme used in previous work and propose a more appropriate alternative for assessing the performance of medial axis extraction from scenes. Our experiments on the BMAX500 and SK LARGE datasets demonstrate the effectiveness of our approach. We outperform the present state of the art, excelling particularly in the high precision regime, while running an order of magnitude faster and requiring no post processing.


On the Number of Gradings on Matrix Algebras. We determine the number of isomorphism classes of elementary gradings by a finite group on an algebra of upper block triangular matrices. As a consequence we prove that, for a finite abelian group G , the sequence of the numbers E(G,m) of isomorphism classes of elementary G gradings on the algebra M m ( mathbb F ) of m times m matrices with entries in a field mathbb F characterizes G . A formula for the number of isomorphism classes of gradings by a finite abelian group on an algebra of upper block triangular matrices over an algebraically closed field, with mild restrictions on its characteristic, is also provided. Finally, if G is a finite abelian group, mathbb F is an algebraically closed field and N(G,m) is the number of isomorphism classes of G gradings on M m ( mathbb F ) we prove that N(G,m) sim frac 1 left vert G right vert ! m left vert G right vert 1 sim E(G,m) .


Stochastic Linear Quadratic Optimal Control Problem A Reinforcement Learning Method. This paper applies a reinforcement learning (RL) method to solve infinite horizon continuous time stochastic linear quadratic problems, where drift and diffusion terms in the dynamics may depend on both the state and control. Based on Bellman's dynamic programming principle, an online RL algorithm is presented to attain the optimal control with just partial system information. This algorithm directly computes the optimal control rather than estimating the system coefficients and solving the related Riccati equation. It just requires local trajectory information, greatly simplifying the calculation processing. Two numerical examples are carried out to shed light on our theoretical findings.


Topological stability of the hippocampal spatial map and synaptic transience. Spatial awareness in mammals is based on internalized representations of the environment cognitive maps encoded by networks of spiking neurons. Although behavioral studies suggest that these maps can remain stable for long periods, it is also well known that the underlying networks of synaptic connections constantly change their architecture due to various forms of neuronal plasticity. This raises a principal question how can a dynamic network encode a stable map of space? In the following, we discuss some recent results obtained in this direction using an algebro topological modeling approach, which demonstrate that emergence of stable cognitive maps produced by networks with transient architectures is not only possible, but may be a generic phenomenon.


Evaluating Attribution Methods using White Box LSTMs. Interpretability methods for neural networks are difficult to evaluate because we do not understand the black box models typically used to test them. This paper proposes a framework in which interpretability methods are evaluated using manually constructed networks, which we call white box networks, whose behavior is understood a priori. We evaluate five methods for producing attribution heatmaps by applying them to white box LSTM classifiers for tasks based on formal languages. Although our white box classifiers solve their tasks perfectly and transparently, we find that all five attribution methods fail to produce the expected model explanations.


Weak Form Theory guided Neural Network (TgNN wf) for Deep Learning of Subsurface Single and Two phase Flow. Deep neural networks (DNNs) are widely used as surrogate models in geophysical applications incorporating theoretical guidance into DNNs has improved the generalizability. However, most of such approaches define the loss function based on the strong form of conservation laws (via partial differential equations, PDEs), which is subject to deteriorated accuracy when the PDE has high order derivatives or the solution has strong discontinuities. Herein, we propose a weak form theory guided neural network (TgNN wf), which incorporates the weak form formulation of the PDE into the loss function combined with data constraint and initial and boundary conditions regularizations to tackle the aforementioned difficulties. In the weak form, high order derivatives in the PDE can be transferred to the test functions by performing integration by parts, which reduces computational error. We use domain decomposition with locally defined test functions, which captures local discontinuity effectively. Two numerical cases demonstrate the superiority of the proposed TgNN wf over the strong form TgNN, including the hydraulic head prediction for unsteady state 2D single phase flow problems and the saturation profile prediction for 1D two phase flow problems. Results show that TgNN wf consistently has higher accuracy than TgNN, especially when strong discontinuity in the solution is present. TgNN wf also trains faster than TgNN when the number of integration subdomains is not too large ( 10,000). Moreover, TgNN wf is more robust to noises. Thus, the proposed TgNN wf paves the way for which a variety of deep learning problems in the small data regime can be solved more accurately and efficiently.


Domain Adaptation based Technique for Image Emotion Recognition using Pre trained Facial Expression Recognition Models. In this paper, a domain adaptation based technique for recognizing the emotions in images containing facial, non facial, and non human components has been proposed. We have also proposed a novel technique to explain the proposed system's predictions in terms of Intersection Score. Image emotion recognition is useful for graphics, gaming, animation, entertainment, and cinematography. However, well labeled large scale datasets and pre trained models are not available for image emotion recognition. To overcome this challenge, we have proposed a deep learning approach based on an attentional convolutional network that adapts pre trained facial expression recognition models. It detects the visual features of an image and performs emotion classification based on them. The experiments have been performed on the Flickr image dataset, and the images have been classified in 'angry,' 'happy,' 'sad,' and 'neutral' emotion classes. The proposed system has demonstrated better performance than the benchmark results with an accuracy of 63.87 for image emotion recognition. We have also analyzed the embedding plots for various emotion classes to explain the proposed system's predictions.


Low supervision urgency detection and transfer in short crisis messages. Humanitarian disasters have been on the rise in recent years due to the effects of climate change and socio political situations such as the refugee crisis. Technology can be used to best mobilize resources such as food and water in the event of a natural disaster, by semi automatically flagging tweets and short messages as indicating an urgent need. The problem is challenging not just because of the sparseness of data in the immediate aftermath of a disaster, but because of the varying characteristics of disasters in developing countries (making it difficult to train just one system) and the noise and quirks in social media. In this paper, we present a robust, low supervision social media urgency system that adapts to arbitrary crises by leveraging both labeled and unlabeled data in an ensemble setting. The system is also able to adapt to new crises where an unlabeled background corpus may not be available yet by utilizing a simple and effective transfer learning methodology. Experimentally, our transfer learning and low supervision approaches are found to outperform viable baselines with high significance on myriad disaster datasets.


The Software Defined Metasurfaces Concept and Electromagnetic Aspects. We present the concept and electromagnetic aspects of HyperSurFaces (HSFs), artificial, ultrathin structures with software controlled electromagnetic properties. The HSFs key unit is the metasurface, a plane with designed subwavelength features whose electromagnetic response can be tuned via voltage controlled continuously tunable electrical elements that provide local control of the surface impedance and advanced functionalities, such as tunable perfect absorption or wavefront manipulation. A nanonetwork of controllers enables software defined HSFs control related to the emerging Internet of Things paradigm.


A Large Scale Chinese Short Text Conversation Dataset. The advancements of neural dialogue generation models show promising results on modeling short text conversations. However, training such models usually needs a large scale high quality dialogue corpus, which is hard to access. In this paper, we present a large scale cleaned Chinese conversation dataset, LCCC, which contains a base version (6.8million dialogues) and a large version (12.0 million dialogues). The quality of our dataset is ensured by a rigorous data cleaning pipeline, which is built based on a set of rules and a classifier that is trained on manually annotated 110K dialogue pairs. We also release pre training dialogue models which are trained on LCCC base and LCCC large respectively. The cleaned dataset and the pre training models will facilitate the research of short text conversation modeling. All the models and datasets are available at https github.com thu coai CDial GPT.


Measuring University Impact Wikipedia approach. The impact of Universities on the social, economic and political landscape is one of the key directions in contemporary educational evaluation. In this paper, we discuss the new methodological technique that evaluates the impact of university based on popularity (number of page views) of their alumni's pages on Wikipedia. It allows revealing the alumni popularity dynamics and tracking its state. Preliminary analysis shows that the number of page views is higher for the contemporary persons that prove the perspectives of this approach. Then, universities were ranked based on the methodology and compared to the famous international university rankings ARWU and QS based only on alumni scales for the top 10 universities, there is an intersection of two universities (Columbia University, Stanford University). The correlation coefficients between different university rankings are provided in the paper. Finally, the ranking based on the alumni popularity was compared with the ranking of universities based on the popularity of their webpages on Wikipedia there is a strong connection between these indicators.


Information Bottleneck Approach to Salient Region Discovery. We propose a new method for learning image attention masks in a semi supervised setting based on the Information Bottleneck principle. Provided with a set of labeled images, the mask generation model is minimizing mutual information between the input and the masked image while maximizing the mutual information between the same masked image and the image label. In contrast with other approaches, our attention model produces a Boolean rather than a continuous mask, entirely concealing the information in masked out pixels. Using a set of synthetic datasets based on MNIST and CIFAR10 and the SVHN datasets, we demonstrate that our method can successfully attend to features known to define the image class.


CrisisBERT a Robust Transformer for Crisis Classification and Contextual Crisis Embedding. Classification of crisis events, such as natural disasters, terrorist attacks and pandemics, is a crucial task to create early signals and inform relevant parties for spontaneous actions to reduce overall damage. Despite crisis such as natural disasters can be predicted by professional institutions, certain events are first signaled by civilians, such as the recent COVID 19 pandemics. Social media platforms such as Twitter often exposes firsthand signals on such crises through high volume information exchange over half a billion tweets posted daily. Prior works proposed various crisis embeddings and classification using conventional Machine Learning and Neural Network models. However, none of the works perform crisis embedding and classification using state of the art attention based deep neural networks models, such as Transformers and document level contextual embeddings. This work proposes CrisisBERT, an end to end transformer based model for two crisis classification tasks, namely crisis detection and crisis recognition, which shows promising results across accuracy and f1 scores. The proposed model also demonstrates superior robustness over benchmark, as it shows marginal performance compromise while extending from 6 to 36 events with only 51.4 additional data points. We also proposed Crisis2Vec, an attention based, document level contextual embedding architecture for crisis embedding, which achieve better performance than conventional crisis embedding methods such as Word2Vec and GloVe. To the best of our knowledge, our works are first to propose using transformer based crisis classification and document level contextual crisis embedding in the literature.


Estimating Error and Bias in Offline Evaluation Results. Offline evaluations of recommender systems attempt to estimate users' satisfaction with recommendations using static data from prior user interactions. These evaluations provide researchers and developers with first approximations of the likely performance of a new system and help weed out bad ideas before presenting them to users. However, offline evaluation cannot accurately assess novel, relevant recommendations, because the most novel items were previously unknown to the user, so they are missing from the historical data and cannot be judged as relevant. We present a simulation study to estimate the error that such missing data causes in commonly used evaluation metrics in order to assess its prevalence and impact. We find that missing data in the rating or observation process causes the evaluation protocol to systematically mis estimate metric values, and in some cases erroneously determine that a popularity based recommender outperforms even a perfect personalized recommender. Substantial breakthroughs in recommendation quality, therefore, will be difficult to assess with existing offline techniques.


On the probability distribution of the local times of diagonally operator self similar Gaussian fields with stationary increments. In this paper we study the local times of vector valued Gaussian fields that are diagonally operator self similar' and whose increments are stationary. Denoting the local time of such a Gaussian field around the spatial origin and over the temporal unit hypercube by Z , we show that there exists lambda in(0,1) such that under some quite weak conditions, lim n rightarrow infty frac sqrt n mathbb E (Z n) n lambda and lim x rightarrow infty frac log mathbb P (Z x) x frac 1 lambda both exist and are strictly positive (possibly infty ). Moreover, we show that if the underlying Gaussian field is strongly locally nondeterministic', the above limits will be finite as well. These results are then applied to establish similar statements for the intersection local times of diagonally operator self similar Gaussian fields with stationary increments.


Welfare Preserving varepsilon BIC to BIC Transformation with Negligible Revenue Loss. In this paper, we provide a transform from an varepsilon BIC mechanism into an exactly BIC mechanism without any loss of social welfare and with additive and negligible revenue loss. This is the first varepsilon BIC to BIC transformation that preserves welfare and provides negligible revenue loss. The revenue loss bound is tight given the requirement to maintain social welfare. Previous varepsilon BIC to BIC transformations preserve social welfare but have no revenue guarantee citep BeiHuang11 , or suffer welfare loss while incurring a revenue loss with both a multiplicative and an additive term, e.g., citet DasWeinberg12, Rubinstein18, Cai19 . The revenue loss achieved by our transformation is incomparable to these earlier approaches and can be significantly less. newnew Our approach is different from the previous replica surrogate matching methods and we directly make use of a directed and weighted type graph (induced by the types' regret), one for each agent. The transformation runs a emph fractional rotation step and a emph payment reducing step iteratively to make the mechanism Bayesian incentive compatible. We also analyze varepsilon expected ex post IC ( varepsilon EEIC) mechanisms citep DuettingFJLLP12 . We provide a welfare preserving transformation in this setting with the same revenue loss guarantee for uniform type distributions and give an impossibility result for non uniform distributions. We apply the transform to linear programming based and machine learning based methods of automated mechanism design.


Scalable Multilingual Frontend for TTS. This paper describes progress towards making a Neural Text to Speech (TTS) Frontend that works for many languages and can be easily extended to new languages. We take a Machine Translation (MT) inspired approach to constructing the frontend, and model both text normalization and pronunciation on a sentence level by building and using sequence to sequence (S2S) models. We experimented with training normalization and pronunciation as separate S2S models and with training a single S2S model combining both functions. For our language independent approach to pronunciation we do not use a lexicon. Instead all pronunciations, including context based pronunciations, are captured in the S2S model. We also present a language independent chunking and splicing technique that allows us to process arbitrary length sentences. Models for 18 languages were trained and evaluated. Many of the accuracy measurements are above 99 . We also evaluated the models in the context of end to end synthesis against our current production system.


Representation of ax b group and Dirichlet Series. Let G be the ax b group. There are essentially two irreducible infinite dimensional unitary representations of G , ( mu, L 2( mathbb R )) and ( mu , L 2( mathbb R )) . In this paper, we give various characterizations about smooth vectors of mu and their Mellin transforms. Let f d be a linear sum of delta distributions supported on the the positive integers mathbb Z . We study the Mellin transform of the matrix coefficients mu f d, f (a) with f smooth. We express these Mellin transforms in terms of the Dirichlet series L(s, f d) . We determine a sufficient condition such that the generalized matrix coefficient mu f d, f is a locally integrable function and estimate the L 2 norms of mu f d, f over the Siegel set. We further derive an inequality which may potentially be used to study the Dirichlet series L(s, f d) .


A Partition Function Connected with the G "ollnitz Gordon Identities. We use the celebrated circle method of Hardy and Ramanujan to develop convergent formulae for counting a restricted class of partitions that arise from the G "ollnitz Gordon identities.


Retarded hydrodynamic interaction between two spheres immersed in a viscous incompressible fluid. Retarded or frequency dependent hydrodynamic interactions are relevant for velocity relaxation of colloidal particles immersed in a fluid, sufficiently close that their flow patterns interfere. The interactions are also important for periodic motions, such as occur in swimming. Analytic expressions are derived for the set of scalar mobility functions of a pair of spheres. Mutual hydrodynamic interactions are evaluated in one propagator approximation, characterized by a single Green function acting between the two spheres. Self mobility functions are evaluated in a two propagator approximation, characterized by a single reflection between the two spheres. The approximations should yield accurate results for intermediate and long distances between the spheres. Both translations and rotations are considered. For motions perpendicular to the line of centers there is translation rotation coupling. Extensive use is made of Fax 'en theorems which yield the hydrodynamic force and torque acting on a sphere in an incident oscillating flow.


On planar Cayley graphs and Kleinian groups. Let G be a finitely generated group acting faithfully and properly discontinuously by homeomorphisms on a planar surface X subseteq mathbb S 2 . We prove that G admits such an action that is in addition co compact, provided we can replace X by another surface Y subseteq mathbb S 2 . We also prove that if a group H has a finitely generated Cayley (multi )graph C covariantly embeddable in mathbb S 2 , then C can be chosen so as to have no infinite path on the boundary of a face. The proofs of these facts are intertwined, and the classes of groups they define coincide. In the orientation preserving case they are exactly the (isomorphism types of) finitely generated Kleinian function groups. We construct a finitely generated planar Cayley graph whose group is not in this class. In passing, we observe that the Freudenthal compactification of every planar surface is homeomorphic to the sphere.


Using Distributed Representation of Code for Bug Detection. Recent advances in neural modeling for bug detection have been very promising. More specifically, using snippets of code to create continuous vectors or textit embeddings has been shown to be very good at method name prediction and claimed to be efficient at other tasks, such as bug detection. However, to this end, the method has not been empirically tested for the latter. In this work, we use the Code2Vec model of Alon et al. to evaluate it for detecting off by one errors in Java source code. We define bug detection as a binary classification problem and train our model on a large Java file corpus containing likely correct code. In order to properly classify incorrect code, the model needs to be trained on false examples as well. To achieve this, we create likely incorrect code by making simple mutations to the original corpus. Our quantitative and qualitative evaluations show that an attention based model that uses a structural representation of code can be indeed successfully used for other tasks than method naming.


The mixed metric dimension of flower snarks and wheels. New graph invariant, which is called mixed metric dimension, has been recently introduced. In this paper, exact results of mixed metric dimension on two special classes of graphs are found flower snarks J n and wheels W n . It is proved that mixed metric dimension for J 5 is equal to 5, while for higher dimensions it is constant and equal to 4. For W n , its mixed metric dimension is not constant, but it is equal to n when n geq 4 , while it is equal to 4, for n 3 .


Four New Forms of the Taylor Ito and Taylor Stratonovich Expansions and its Application to the High Order Strong Numerical Methods for Ito Stochastic Differential Equations. The problem of the Taylor Ito and Taylor Stratonovich expansions of the Ito stochastic processes in a neighborhood of a fixed moment of time is considered. The classical forms of the Taylor Ito and Taylor Stratonovich expansions are transformed to the four new representations, which includes the minimal sets of different types of iterated Ito and Stratonovich stochastic integrals. Therefore, these representations (the so called unified Taylor Ito and Taylor Stratonovich expansions) are more convenient for constructing of high order strong numerical methods for Ito stochastic differential equations. Explicit one step strong numerical schemes with the orders of convergence 1.0, 1.5, 2.0, 2.5, and 3.0 based on the unified Taylor Ito and Taylor Stratonovich expansions are derived. Effective mean square approximations of iterated Ito and Stratonovich stochastic integrals from these numerical schemes are constructed on the base of the multiple Fourier Legendre series with multiplicities 1 to 6.


Effect of Load Path on Parameter Identification for Plasticity Models using Bayesian Methods. To evaluate the cyclic behavior under different loading conditions using the kinematic and isotropic hardening theory of steel, a Chaboche viscoplastic material model is employed. The parameters of a constitutive model are usually identified by minimization of the distance between model response and experimental data. However, measurement errors and differences in the specimens lead to deviations in the determined parameters. In this article, the Choboche model is used and a stochastic simulation technique is applied to generate artificial data which exhibit the same stochastic behavior as experimental data. Then the model parameters are identified by applying an estimation using Bayes's theorem. The Gauss Markov Kalman filter using functional approximation is introduced and employed to estimate the model parameters in the Bayesian setting. Identified parameters are compared with the true parameters in the simulation, and the efficiency of the identification method is discussed. In the end, the effect of the load path on parameter identification is investigated.


UPB at SemEval 2020 Task 11 Propaganda Detection with Domain Specific Trained BERT. Manipulative and misleading news have become a commodity for some online news outlets and these news have gained a significant impact on the global mindset of people. Propaganda is a frequently employed manipulation method having as goal to influence readers by spreading ideas meant to distort or manipulate their opinions. This paper describes our participation in the SemEval 2020, Task 11 Detection of Propaganda Techniques in News Articles competition. Our approach considers specializing a pre trained BERT model on propagandistic and hyperpartisan news articles, enabling it to create more adequate representations for the two subtasks, namely propaganda Span Identification (SI) and propaganda Technique Classification (TC). Our proposed system achieved a F1 score of 46.060 in subtask SI, ranking 5th in the leaderboard from 36 teams and a micro averaged F1 score of 54.302 for subtask TC, ranking 19th from 32 teams.


Consistency of circuit lower bounds with bounded theories. Proving that there are problems in mathsf P mathsf NP that require boolean circuits of super linear size is a major frontier in complexity theory. While such lower bounds are known for larger complexity classes, existing results only show that the corresponding problems are hard on infinitely many input lengths. For instance, proving almost everywhere circuit lower bounds is open even for problems in mathsf MAEXP . Giving the notorious difficulty of proving lower bounds that hold for all large input lengths, we ask the following question Can we show that a large set of techniques cannot prove that mathsf NP is easy infinitely often? Motivated by this and related questions about the interaction between mathematical proofs and computations, we investigate circuit complexity from the perspective of logic. Among other results, we prove that for any parameter k geq 1 it is consistent with theory T that computational class mathcal C not subseteq textit i.o. mathrm SIZE (n k) , where (T, mathcal C ) is one of the pairs T mathsf T 1 2 and mathcal C mathsf P mathsf NP , T mathsf S 1 2 and mathcal C mathsf NP , T mathsf PV and mathcal C mathsf P . In other words, these theories cannot establish infinitely often circuit upper bounds for the corresponding problems. This is of interest because the weaker theory mathsf PV already formalizes sophisticated arguments, such as a proof of the PCP Theorem. These consistency statements are unconditional and improve on earlier theorems of KO17 and BM18 on the consistency of lower bounds with mathsf PV .


A type theory for cartesian closed bicategories. We construct an internal language for cartesian closed bicategories. Precisely, we introduce a type theory modelling the structure of a cartesian closed bicategory and show that its syntactic model satisfies an appropriate universal property, thereby lifting the Curry Howard Lambek correspondence to the bicategorical setting. Our approach is principled and practical. Weak substitution structure is constructed using a bicategorification of the notion of abstract clone from universal algebra, and the rules for products and exponentials are synthesised from semantic considerations. The result is a type theory that employs a novel combination of 2 dimensional type theory and explicit substitution, and directly generalises the Simply Typed Lambda Calculus. This work is the first step in a programme aimed at proving coherence for cartesian closed bicategories.


Magnetic billiards Non integrability for strong magnetic field Gutkin type examples. We consider magnetic billiards under a strong constant magnetic field. The purpose of this paper is two folded. We examine the question of existence of polynomial integral of billiard magnetic flow. We succeed to reduce this question to algebraic geometry test on existence of polynomial integral, which shows polynomial non integrability for all but finitely many values of the magnitude. In the second part of the paper we construct examples of magnetic billiards which have the so called delta Gutkin property, meaning that any Larmor circle entering the domain with angle delta exits the domain with the same angle delta . For ordinary Birkhoff billiard in the plane such examples were introduced by E. Gutkin and are very explicit. Our construction of Gutkin magnetic billiards relies on beautiful examples by F.Wegner of the so called Zindler curves, which are related to the problem of floating bodies in equilibrium, which goes back to S.Ulam. We prove that Gutkin magnetic billiard can be obtained as a parallel curve to a Wegner curve. Wegner curves can be written by elliptic functions in polar coordinates so the construction of magnetic Gutkin billiard is rather explicit but much more complicated.


Best Buddies Registration for Point Clouds. We propose new, and robust, loss functions for the point cloud registration problem. Our loss functions are inspired by the Best Buddies Similarity (BBS) measure that counts the number of mutual nearest neighbors between two point sets. This measure has been shown to be robust to outliers and missing data in the case of template matching for images. We present several algorithms, collectively named Best Buddy Registration (BBR), where each algorithm consists of optimizing one of these loss functions with Adam gradient descent. The loss functions differ in several ways, including the distance function used (point to point vs. point to plane), and how the BBS measure is combined with the actual distances between pairs of points. Experiments on various data sets, both synthetic and real, demonstrate the effectiveness of the BBR algorithms, showing that they are quite robust to noise, outliers, and distractors, and cope well with extremely sparse point clouds. One variant, BBR F, achieves state of the art accuracy in the registration of automotive lidar scans taken up to several seconds apart, from the KITTI and Apollo Southbay datasets.


Opinion Dynamics with Varying Susceptibility to Persuasion via Non Convex Local Search. A long line of work in social psychology has studied variations in people's susceptibility to persuasion the extent to which they are willing to modify their opinions on a topic. This body of literature suggests an interesting perspective on theoretical models of opinion formation by interacting parties in a network in addition to considering interventions that directly modify people's intrinsic opinions, it is also natural to consider interventions that modify people's susceptibility to persuasion. In this work, motivated by this fact we propose a new framework for social influence. Specifically, we adopt a popular model for social opinion dynamics, where each agent has some fixed innate opinion, and a resistance that measures the importance it places on its innate opinion agents influence one another's opinions through an iterative process. Under non trivial conditions, this iterative process converges to some equilibrium opinion vector. For the unbudgeted variant of the problem, the goal is to select the resistance of each agent (from some given range) such that the sum of the equilibrium opinions is minimized. We prove that the objective function is in general non convex. Hence, formulating the problem as a convex program as in an early version of this work (Abebe et al., KDD'18) might have potential correctness issues. We instead analyze the structure of the objective function, and show that any local optimum is also a global optimum, which is somehow surprising as the objective function might not be convex. Furthermore, we combine the iterative process and the local search paradigm to design very efficient algorithms that can solve the unbudgeted variant of the problem optimally on large scale graphs containing millions of nodes. Finally, we propose and evaluate experimentally a family of heuristics for the budgeted variation of the problem.


Experimental Evaluation of 3D LIDAR Camera Extrinsic Calibration. In this paper we perform an experimental comparison of three different target based 3D LIDAR camera calibration algorithms. We briefly elucidate the mathematical background behind each method and provide insights into practical aspects like ease of data collection for all of them. We extensively evaluate these algorithms on a sensor suite which consists multiple cameras and LIDARs by assessing their robustness to random initialization and by using metrics like Mean Line Re projection Error (MLRE) and Factory Stereo Calibration Error. We also show the effect of noisy sensor on the calibration result from all the algorithms and conclude with a note on which calibration algorithm should be used under what circumstances.


A Unified Dual view Model for Review Summarization and Sentiment Classification with Inconsistency Loss. Acquiring accurate summarization and sentiment from user reviews is an essential component of modern e commerce platforms. Review summarization aims at generating a concise summary that describes the key opinions and sentiment of a review, while sentiment classification aims to predict a sentiment label indicating the sentiment attitude of a review. To effectively leverage the shared sentiment information in both review summarization and sentiment classification tasks, we propose a novel dual view model that jointly improves the performance of these two tasks. In our model, an encoder first learns a context representation for the review, then a summary decoder generates a review summary word by word. After that, a source view sentiment classifier uses the encoded context representation to predict a sentiment label for the review, while a summary view sentiment classifier uses the decoder hidden states to predict a sentiment label for the generated summary. During training, we introduce an inconsistency loss to penalize the disagreement between these two classifiers. It helps the decoder to generate a summary to have a consistent sentiment tendency with the review and also helps the two sentiment classifiers learn from each other. Experiment results on four real world datasets from different domains demonstrate the effectiveness of our model.


Search Problems in Trees with Symmetries near optimal traversal strategies for individualization refinement algorithms. We define a search problem on trees that closely captures the backtracking behavior of all current practical graph isomorphism algorithms. Given two trees with colored leaves, the goal is to find two leaves of matching color, one in each of the trees. The trees are subject to an invariance property which promises that for every pair of leaves of equal color there must be a symmetry (or an isomorphism) that maps one leaf to the other. We describe a randomized algorithm with errors for which the number of visited leaves is quasilinear in the square root of the size of the smaller of the two trees. For inputs of bounded degree, we develop a Las Vegas algorithm with a similar running time. We prove that these results are optimal up to logarithmic factors. We show a lower bound for randomized algorithms on inputs of bounded degree that is the square root of the tree sizes. For inputs of unbounded degree, we show a linear lower bound for Las Vegas algorithms. For deterministic algorithms we can prove a linear bound even for inputs of bounded degree. This shows why randomized algorithms outperform deterministic ones. Our results explain why the randomized "breadth first with intermixed experimental path" search strategy of the isomorphism tool Traces (Piperno 2008) is often superior to the depth first search strategy of other tools such as nauty (McKay 1977) or bliss (Junttila, Kaski 2007). However, our algorithm also provides a new traversal strategy, which is theoretically near optimal with better worst case behavior than traversal strategies that have previously been used.


Multi Modal Hybrid Architecture for Pedestrian Action Prediction. Pedestrian behavior prediction is one of the major challenges for intelligent driving systems in urban environments. Pedestrians often exhibit a wide range of behaviors and adequate interpretations of those depend on various sources of information such as pedestrian appearance, states of other road users, the environment layout, etc. To address this problem, we propose a novel multi modal prediction algorithm that incorporates different sources of information captured from the environment to predict future crossing actions of pedestrians. The proposed model benefits from a hybrid learning architecture consisting of feedforward and recurrent networks for analyzing visual features of the environment and dynamics of the scene. Using the existing 2D pedestrian behavior benchmarks and a newly annotated 3D driving dataset, we show that our proposed model achieves state of the art performance in pedestrian crossing prediction.


Thresholdless transition to coherent emission at telecom wavelengths from coaxial nanolasers. The ongoing miniaturization of semiconductor lasers has enabled ultra low threshold devices and even provided a path to approach thresholdless lasing with linear input output characteristics. Such nanoscale lasers have initiated a discourse on the origin of the physical mechanisms involved and their boundaries, such as the required photon number, the importance of optimized light confinement in a resonator and mode density enhancement. Here, we investigate high beta metal clad coaxial nanolasers, which facilitate thresholdless lasing. We experimentally and theoretically investigate both the conventional lasing characteristics, as well as the photon statistics of the emitted light. While the former lacks adequate information to determine the threshold to coherent radiation, the latter reveals a finite threshold pump power. Our work clearly highlights an important and often misunderstood aspect of high beta lasers, namely that a thresholdless laser does have a finite threshold pump power and must not be confused with a hypothetical zero threshold laser.


Deep Learning of Diffuse Optical Tomography based on Time Domain Radiative Transfer Equation. Near infrared diffuse optical tomography (DOT) provides an imaging modality for the oxygenation of tissue. In this paper, we propose a novel machine learning algorithm based on time domain radiative transfer equation. We use temporal profiles of absorption measure for a two dimensional model of target tissue, which are calculated by solving time domain radiative transfer equation. Applying a long short term memory (LSTM) deep learning method, we find that we can specify positions of cancer cells with high accuracy rates. We demonstrate that the present algorithm can also predict multiple or extended cancer cells.


Distributed memory mathcal H matrix Algebra I Data Distribution and Matrix vector Multiplication. We introduce a data distribution scheme for mathcal H matrices and a distributed memory algorithm for mathcal H matrix vector multiplication. Our data distribution scheme avoids an expensive Omega(P 2) scheduling procedure used in previous work, where P is the number of processes, while data balancing is well preserved. Based on the data distribution, our distributed memory algorithm evenly distributes all computations among P processes and adopts a novel tree communication algorithm to reduce the latency cost. The overall complexity of our algorithm is O Big( frac N log N P alpha log P beta log 2 P Big) for mathcal H matrices under weak admissibility condition, where N is the matrix size, alpha denotes the latency, and beta denotes the inverse bandwidth. Numerically, our algorithm is applied to address both two and three dimensional problems of various sizes among various numbers of processes. On thousands of processes, good parallel efficiency is still observed.


Improved fragment based movement with LRFragLib for all atom Ab initio protein folding. Fragment based assembly has been widely used in Ab initio protein folding simulation which can effectively reduce the conformational space and thus accelerate sampling. The efficiency of fragment based movement as well as the quality of fragment library determine whether the folding process can lead the free energy landscape to the global minimum and help the protein to reach near native folded state. We designed an improved fragment based movement, "fragmove", which substituted multiple backbone dihedral angles in every simulation step. This movement strategy was derived from the fragment library generated by LRFragLib, an effective fragment detection algorithm using logistic regression model. We show in replica exchange Monte Carlo (REMC) simulation that "fragmove", when compared with a set of existing movements in REMC, shows significant improved ability at increasing secondary and tertiary predicted model accuracy by 11.24 and 17.98 , respectively and reaching energy minima decreased by 5.72 . Our results demonstrate that this improved movement is more powerful to guide proteins faster to low energy regions of conformational space and promote folding efficiency and predicted model accuracy.


Low n global ideal MHD instabilities in CFETR baseline scenario. This article reports an evaluation on the linear ideal magnetohydrodynamic (MHD) stability of the China Fusion Engineering Test Reactor (CFETR) baseline scenario for various first wall locations. The initial value code NIMROD and eigen value code AEGIS are employed in this analysis. A good agreement is achieved between two codes in the growth rates of n 1 10 ideal MHD modes for various locations of the perfect conducting first wall. The higher n modes are dominated by ballooning modes and localized in the pedestal region, while the lower n modes have more prominent external kink components and broader mode profiles. The influences of plasma vacuum profile and wall shape are also examined using NIMROD. In presence of resistive wall, the low n ideal MHD instabilities are further studied using AEGIS. For the designed first wall location, the n 1 resistive wall mode (RWM) is found unstable, which could be fully stabilized by uniform toroidal rotation above 2.9 core Alfv 'en speed.


Shape Aware Complementary Task Learning for Multi Organ Segmentation. Multi organ segmentation in whole body computed tomography (CT) is a constant pre processing step which finds its application in organ specific image retrieval, radiotherapy planning, and interventional image analysis. We address this problem from an organ specific shape prior learning perspective. We introduce the idea of complementary task learning to enforce shape prior leveraging the existing target labels. We propose two complementary tasks namely i) distance map regression and ii) contour map detection to explicitly encode the geometric properties of each organ. We evaluate the proposed solution on the public VISCERAL dataset containing CT scans of multiple organs. We report a significant improvement of overall dice score from 0.8849 to 0.9018 due to the incorporation of complementary task learning.


RoboWalk Explicit Augmented Human Robot Dynamics Modeling for Design Optimization. Utilizing orthoses and exoskeleton technology in various applications and medical industries, particularly to help elderly and ordinary people in their daily activities is a new growing field for research institutes. In this paper, after introducing an assistive lower limb exoskeleton (RoboWalk), the dynamics models of both multi body kinematic tree structure human and robot is derived separately, using Newton's method. The obtained models are then verified by comparing the results with those of the Recursive Newton Euler Algorithms (RNEA). These models are then augmented to investigate the RoboWalk joint torques, and those of the human body, and also the floor reaction force of the complete system. Since RoboWalk is an under actuated robot, despite the assistive force, an undesirable disturbing force exerts to the human. So, optimization strategies are proposed to find an optimal design to maximize the assistive behavior of RoboWalk and reduce joint torques of the human body as a result. To this end, a human in the loop optimization algorithm will be used. The solution of this optimization problem is carried out by Particle Swarm Optimization (PSO) method. The designed analysis and the optimization results demonstrate the effectiveness of the proposed approaches, leading to the elimination of disturbing forces, lower torque demand for RoboWalk motors and lower weights.


Weighted Epsilon Nets. Motivated by recent work of Bukh and Nivasch on one sided varepsilon approximants, we introduce the notion of emph weighted varepsilon nets . It is a geometric notion of approximation for point sets in mathbb R d similar to varepsilon nets and varepsilon approximations, where it is stronger than the former and weaker than the latter. The main idea is that small sets can contain many points, whereas large sets must contain many points of the weighted varepsilon net. In this paper, we analyze weak weighted varepsilon nets with respect to convex sets and axis parallel boxes and give upper and lower bounds on varepsilon for weighted varepsilon nets of size two and three. Some of these bounds apply to classical varepsilon nets as well.


Cross layer Design and SDR Implementation of DSA, Backpressure Routing and Network Coding. A cross layer cognitive radio system is designed to support unicast and multicast traffic with integration of dynamic spectrum access (DSA), backpressure algorithm, and network coding for multi hop networking. The full protocol stack that operates with distributed coordination and local information exchange is implemented with software defined radios (SDRs) and assessed in a realistic test and evaluation (T E) system based on a network emulation testbed. Without a common control channel, each SDR performs neighborhood discovery, spectrum sensing and channel estimation, and executes a distributed extension of backpressure algorithm that optimizes the spectrum utility (that represents link rates and traffic congestion) with joint DSA and routing. The backpressure algorithm is extended to support multicast traffic with network coding deployed over virtual queues (for multicast destinations). In addition to full rank decoding at destinations, rank deficient decoding is also considered to reduce the delay. Cognitive network functionalities are programmed with GNU Radio and Python modules are developed for different layers. USRP radios are used as RF front ends. A wireless network T E system is presented to execute emulation tests, where radios communicate with each other through a wireless network emulator that controls physical channels according to path loss, fading, and topology effects. Emulation tests are presented for different topologies to evaluate the throughput, backlog and energy consumption. Results verify the SDR implementation and the joint effect of DSA, backpressure routing and network coding under realistic channel and radio hardware effects.


On the history of ring geometry (with a thematical overview of literature). In this survey paper we give an historical and at the same time thematical overview of the development of ring geometry from its origin to the current state of the art. A comprehensive up to date list of literature is added with articles that treat ring geometry within the scope of incidence geometry.


A Deep Recurrent Survival Model for Unbiased Ranking. Position bias is a critical problem in information retrieval when dealing with implicit yet biased user feedback data. Unbiased ranking methods typically rely on causality models and debias the user feedback through inverse propensity weighting. While practical, these methods still suffer from two major problems. First, when inferring a user click, the impact of the contextual information, such as documents that have been examined, is often ignored. Second, only the position bias is considered but other issues resulted from user browsing behaviors are overlooked. In this paper, we propose an end to end Deep Recurrent Survival Ranking (DRSR), a unified framework to jointly model user's various behaviors, to (i) consider the rich contextual information in the ranking list and (ii) address the hidden issues underlying user behaviors, i.e., to mine observe pattern in queries without any click (non click queries), and to model tracking logs which cannot truly reflect the user browsing intents (untrusted observation). Specifically, we adopt a recurrent neural network to model the contextual information and estimates the conditional likelihood of user feedback at each position. We then incorporate survival analysis techniques with the probability chain rule to mathematically recover the unbiased joint probability of one user's various behaviors. DRSR can be easily incorporated with both point wise and pair wise learning objectives. The extensive experiments over two large scale industrial datasets demonstrate the significant performance gains of our model comparing with the state of the arts.


On the fibration method for rational points. We study weak approximation on rationally connected varieties under an assumption of strong approximation for a "simple" variety or under Schinzel's hypothesis. We also get some unconditional results.


Intermolecular interactions in optical cavities an ab initio QED study. Intermolecular bonds are weak compared to covalent bonds, but they are strong enough to influence the properties of large molecular systems. In this work, we investigate how strong light matter coupling inside an optical cavity can modify these intermolecular forces. We perform a detailed comparison between currently available ab initio electron photon methodologies. The electromagnetic field inside the cavity can modulate the ground state properties of weakly bound complexes. Controlling the field polarization, the interactions can be stabilized or destabilized, and electron densities, dipole moments, and polarizabilities can be altered. We demonstrate that electron photon correlation is fundamental to describe intermolecular interactions in strong light matter coupling. This work proposes optical cavities as a novel tool to manipulate and control ground state properties, solvent effects, and intermolecular interactions for molecules and materials.


Block Term Tensor Decomposition Model Selection and Computation. The so called block term decomposition (BTD) tensor model has been recently receiving increasing attention due to its enhanced ability of representing systems and signals that are composed of emph blocks of rank higher than one, a scenario encountered in numerous and diverse applications. Its uniqueness and approximation have thus been thoroughly studied. Nevertheless, the challenging problem of estimating the BTD model structure, namely the number of block terms and their individual ranks, has only recently started to attract significant attention. In this paper, a novel method of BTD model selection and computation is proposed, based on the idea of imposing column sparsity emph jointly on the factors and in a emph hierarchical manner and estimating the ranks as the numbers of factor columns of non negligible magnitude. Following a block successive upper bound minimization (BSUM) approach for the proposed optimization problem is shown to result in an alternating hierarchical iteratively reweighted least squares (HIRLS) algorithm, which is fast converging and enjoys high computational efficiency, as it relies in its iterations on small sized sub problems with closed form solutions. Simulation results for both synthetic examples and a hyper spectral image de noising application are reported, which demonstrate the superiority of the proposed scheme over the state of the art in terms of success rate in rank estimation as well as computation time and rate of convergence.


H2O Net Self Supervised Flood Segmentation via Adversarial Domain Adaptation and Label Refinement. Accurate flood detection in near real time via high resolution, high latency satellite imagery is essential to prevent loss of lives by providing quick and actionable information. Instruments and sensors useful for flood detection are only available in low resolution, low latency satellites with region re visit periods of up to 16 days, making flood alerting systems that use such satellites unreliable. This work presents H2O Network, a self supervised deep learning method to segment floods from satellites and aerial imagery by bridging domain gap between low and high latency satellite and coarse to fine label refinement. H2O Net learns to synthesize signals highly correlative with water presence as a domain adaptation step for semantic segmentation in high resolution satellite imagery. Our work also proposes a self supervision mechanism, which does not require any hand annotation, used during training to generate high quality ground truth data. We demonstrate that H2O Net outperforms the state of the art semantic segmentation methods on satellite imagery by 10 and 12 pixel accuracy and mIoU respectively for the task of flood segmentation. We emphasize the generalizability of our model by transferring model weights trained on satellite imagery to drone imagery, a highly different sensor and domain.


Projectively flat bundles and semi stable Higgs bundles. The Corlette Donaldson Hitchin Simpson's correspondence states that, on a compact K "ahler manifold (X, omega ) , there is a one to one correspondence between the moduli space of semisimple flat complex vector bundles and the moduli space of poly stable Higgs bundles with vanishing Chern numbers. In this paper, we extend this correspondence to the projectively flat bundles case. We prove that there is an equivalence of categories between the category of omega semi stable (poly stable) Higgs bundles (E, overline partial E , phi ) with (2rc 2 (E) (r 1)c 1 2 (E)) cdot omega n 2 0 and the category of (semi simple) projectively flat bundles (E, D) with sqrt 1 F D alpha otimes mbox Id E for some real (1,1) form alpha . Furthermore, we also establish the above correspondence on some compact non K "ahler manifolds. As its application, we obtain a vanishing theorem of characteristic classes of projectively flat bundles.


The Hasse principle for random Fano hypersurfaces. It is known that the Brauer Manin obstruction to the Hasse principle is vacuous for smooth Fano hypersurfaces of dimension at least 3 over any number field. Moreover, for such varieties it follows from a general conjecture of Colliot Th 'el ene that the Brauer Manin obstruction to the Hasse principle should be the only one, so that the Hasse principle is expected to hold. Working over the field of rational numbers and ordering Fano hypersurfaces of fixed degree and dimension by height, we prove that almost every such hypersurface satisfies the Hasse principle provided that the dimension is at least 3 . This proves a conjecture of Poonen and Voloch in every case except for cubic surfaces.


Moment functions on groups. The main purpose of this work is to prove characterization theorems for generalized moment functions on groups. According one of the main results these are exponential polynomials that can be described with the aid of complete (exponential) Bell polynomials. These characterizations will be immediate consequences of our main result about the characterization of generalized moment functions of higher rank.


On the orbital stability of a family of traveling waves for the cubic Schr "o dinger equation on the Heisenberg group. We consider the focusing energy critical Schr "o dinger equation on the Heisenberg group in the radial case i partial t u Delta mathbb H 1 u u 2u, quad Delta mathbb H 1 frac 1 4 ( partial x 2 partial y 2) (x 2 y 2) partial s 2, quad(t,x,y,s) in mathbb R times mathbb H 1, which is a model for non dispersive evolution equations. For this equation, existence of smooth global solutions and uniqueness of weak solutions in the energy space are open problems. We are interested in a family of ground state traveling waves parametrized by their speed beta in ( 1,1) . We show that the traveling waves of speed close to 1 present some orbital stability in the following sense. If the initial data is radial and close enough to one traveling wave, then there exists a global weak solution which stays close to the orbit of this traveling wave for all times. A similar result is proven for the limiting system associated to this equation.


An aperiodic tile with edge to edge orientational matching rules. We present a single, connected tile which can tile the plane but only non periodically. The tile is hexagonal with edge markings, which impose simple rules as to how adjacent tiles are allowed to meet across edges. The first of these rules is a standard matching rule, that certain decorations match across edges. The second condition is a new type of matching rule, which allows tiles to meet only when certain decorations in a particular orientation are given the opposite charge. This forces the tiles to form a hierarchy of triangles, following a central idea of the Socolar Taylor tilings. However, the new edge to edge orientational matching rule forces this structure in a very different way, which allows for a surprisingly simple proof of aperiodicity. We show that the hull of all tilings satisfying our rules is uniquely ergodic and that almost all tilings in the hull belong to a minimal core of tilings generated by substitution. Identifying tilings which are charge flips of each other, these tilings are shown to have pure point dynamical spectrum and a regular model set structure.


CASA NLU Context Aware Self Attentive Natural Language Understanding for Task Oriented Chatbots. Natural Language Understanding (NLU) is a core component of dialog systems. It typically involves two tasks intent classification (IC) and slot labeling (SL), which are then followed by a dialogue management (DM) component. Such NLU systems cater to utterances in isolation, thus pushing the problem of context management to DM. However, contextual information is critical to the correct prediction of intents and slots in a conversation. Prior work on contextual NLU has been limited in terms of the types of contextual signals used and the understanding of their impact on the model. In this work, we propose a context aware self attentive NLU (CASA NLU) model that uses multiple signals, such as previous intents, slots, dialog acts and utterances over a variable context window, in addition to the current user utterance. CASA NLU outperforms a recurrent contextual NLU baseline on two conversational datasets, yielding a gain of up to 7 on the IC task for one of the datasets. Moreover, a non contextual variant of CASA NLU achieves state of the art performance for IC task on standard public datasets Snips and ATIS.


Categorified Chern character and cyclic cohomology. We examine Hopf cyclic cohomology in the same context as the analysis of the geometry of loop spaces LX in derived algebraic geometry and the resulting close relationship between S 1 equivariant quasi coherent sheaves on LX and D X modules. Furthermore, the Hopf setting serves as a toy case for the categorification of Chern character theory. More precisely, this examination naturally leads to a definition of mixed anti Yetter Drinfeld contramodules which reduces to that of the usual mixed complexes for the trivial Hopf algebra and generalizes the notion of stable anti Yetter Drinfeld contramodules that have thus far served as the coefficients for Hopf cyclic theories. The cohomology is then obtained as a Hom in this dg category between a Chern character object associated to an algebra and an arbitrary coefficient mixed anti Yetter Drinfeld contramodule.


An elementary proof of a matrix tree theorem for directed graphs. We present an elementary proof of a generalization of Kirchoff's matrix tree theorem to directed, weighted graphs. The proof is based on a specific factorization of the Laplacian matrices associated to the graphs, which only involves the two incidence matrices that capture the graph's topology. We also point out how this result can be used to calculate principal eigenvectors of the Laplacian matrices.


Coordinated Management of Processor Configuration and Cache Partitioning to Optimize Energy under QoS Constraints. An effective way to improve energy efficiency is to throttle hardware resources to meet a certain performance target, specified as a QoS constraint, associated with all applications running on a multicore system. Prior art has proposed resource management (RM) frameworks in which the share of the last level cache (LLC) assigned to each processor and the voltage frequency (VF) setting for each processor is managed in a coordinated fashion to reduce energy. A drawback of such a scheme is that, while one core gives up LLC resources for another core, the performance drop must be compensated by a higher VF setting which leads to a quadratic increase in energy consumption. By allowing each core to be adapted to exploit instruction and memory level parallelism (ILP MLP), substantially higher energy savings are enabled. This paper proposes a coordinated RM for LLC partitioning, processor adaptation, and per core VF scaling. A first contribution is a systematic study of the resource trade offs enabled when trading between the three classes of resources in a coordinated fashion. A second contribution is a new RM framework that utilizes these trade offs to save more energy. Finally, a challenge to accurately model the impact of resource throttling on performance is to predict the amount of MLP with high accuracy. To this end, the paper contributes with a mechanism that estimates the effect of MLP over different processor configurations and LLC allocations. Overall, we show that up to 18 of energy, and on average 10 , can be saved using the proposed scheme.


Numerical integration of functions of a rapidly rotating phase. We present an algorithm for the efficient numerical evaluation of integrals of the form I( omega) int 0 1 F( x, mathrm e mathrm i omega x omega) , mathrm d x for sufficiently smooth but otherwise arbitrary F and omega gg 1 . The method is entirely "black box", i.e., does not require the explicit computation of moment integrals or other pre computations involving F . Its performance is uniform in the frequency omega . We prove that the method converges exponentially with respect to its order when F is analytic and give a numerical demonstration of its error characteristics.


Squares in mathbb F p 2 and permutations involving primitive roots. Let p 2n 1 be an odd prime, and let zeta p 2 1 be a primitive (p 2 1) th root of unity in the algebraic closure overline mathbb Q p of mathbb Q p . We let g in mathbb Z p zeta p 2 1 be a primitive root modulo p mathbb Z p zeta p 2 1 with g equiv zeta p 2 1 pmod p mathbb Z p zeta p 2 1 . Let Delta equiv3 pmod4 be an arbitrary quadratic non residue modulo p in mathbb Z . By the Local Existence Theorem we know that mathbb Q p( sqrt Delta ) mathbb Q p( zeta p 2 1 ) . For all x in mathbb Z sqrt Delta and y in mathbb Z p zeta p 2 1 we use bar x and bar y to denote the elements x mod p mathbb Z sqrt Delta and y mod p mathbb Z p zeta p 2 1 respectively. If we set a k k sqrt Delta for 0 le k le p 1 , then we can view the sequence S overline a 0 2 , cdots, overline a 0 2n 2 , cdots, overline a p 1 2 , cdots, overline a p 1 2n 2 cdots, overline 1 2 , cdots, overline n 2 as a permutation sigma of the sequence S overline g 2 , overline g 4 , cdots, overline g p 2 1 . We determine the sign of sigma completely in this paper.


A Cotlar Type Maximal Function Associated With Fourier Multipliers. We prove the L p boundedness of a maximal operator associated with a dyadic frequency decomposition of a Fourier multiplier, under a weak regularity assumption.


Phase field material point method for dynamic brittle fracture with isotropic and anisotropic surface energy. A novel phase field material point method is introduced for robust simulation of dynamic fracture in elastic media considering the most general case of anisotropic surface energy. Anisotropy is explicitly introduced through a properly defined crack density functional. The particular case of impact driven fracture is treated by employing a discrete field approach within the material point method setting. In this, the equations of motion and phase field governing equations are solved independently for each discrete field using a predictor corrector algorithm. Contact at the interface is resolved through frictional contact conditions. The proposed method is verified using analytical predictions. The influence of surface energy anisotropy and loading conditions on the resulting crack paths is assessed through a set of benchmark problems. Comparisons are made with the standard Phase Field Finite Element Method and experimental observations.


ValNorm Quantifies Semantics to Reveal Consistent Valence Biases Across Languages and Over Centuries. Word embeddings learn implicit biases from linguistic regularities captured by word co occurrence statistics. By extending methods that quantify human like biases in word embeddings, we introduceValNorm, a novel intrinsic evaluation task and method to quantify the valence dimension of affect in human rated word sets from social psychology. We apply ValNorm on static word embeddings from seven languages (Chinese, English, German, Polish, Portuguese, Spanish, and Turkish) and from historical English text spanning 200 years. ValNorm achieves consistently high accuracy in quantifying the valence of non discriminatory, non social group word sets. Specifically, ValNorm achieves a Pearson correlation of r 0.88 for human judgment scores of valence for 399 words collected to establish pleasantness norms in English. In contrast, we measure gender stereotypes using the same set of word embeddings and find that social biases vary across languages. Our results indicate that valence associations of non discriminatory, non social group words represent widely shared associations, in seven languages and over 200 years.


Normal Reflection Subgroups of Complex Reflection Groups. We study normal reflection subgroups of complex reflection groups. Our approach leads to a refinement of a theorem of Orlik and Solomon to the effect that the generating function for fixed space dimension over a reflection group is a product of linear factors involving generalized exponents. Our refinement gives a uniform proof and generalization of a recent theorem of the second author.


DenoiSeg Joint Denoising and Segmentation. Microscopy image analysis often requires the segmentation of objects, but training data for this task is typically scarce and hard to obtain. Here we propose DenoiSeg, a new method that can be trained end to end on only a few annotated ground truth segmentations. We achieve this by extending Noise2Void, a self supervised denoising scheme that can be trained on noisy images alone, to also predict dense 3 class segmentations. The reason for the success of our method is that segmentation can profit from denoising, especially when performed jointly within the same network. The network becomes a denoising expert by seeing all available raw data, while co learning to segment, even if only a few segmentation labels are available. This hypothesis is additionally fueled by our observation that the best segmentation results on high quality (very low noise) raw data are obtained when moderate amounts of synthetic noise are added. This renders the denoising task non trivial and unleashes the desired co learning effect. We believe that DenoiSeg offers a viable way to circumvent the tremendous hunger for high quality training data and effectively enables few shot learning of dense segmentations.


Analyzing the Forgetting Problem in the Pretrain Finetuning of Dialogue Response Models. In this work, we study how the finetuning stage in the pretrain finetune framework changes the behavior of a pretrained neural language generator. We focus on the transformer encoder decoder model for the open domain dialogue response generation task. Our major finding is that after standard finetuning, the model forgets some of the important language generation skills acquired during large scale pretraining. We demonstrate the forgetting phenomenon through a set of detailed behavior analysis from the perspectives of knowledge transfer, context sensitivity, and function space projection. As a preliminary attempt to alleviate the forgetting problem, we propose an intuitive finetuning strategy named "mix review". We find that mix review effectively regularizes the finetuning process, and the forgetting problem is alleviated to some extent. Finally, we discuss interesting behavior of the resulting dialogue model and its implications.


Self similar analysis of a viscous heated Oberbeck Boussinesq flow system. The simplest model to couple the heat conduction and Navier Stokes equations together is the Oberbeck Boussinesq(OB)system which were investigated by E.N. Lorenz and opened the paradigm of chaos. In our former studies Chaos, Solitons and Fractals 78, 249 (2015), ibid, 103, 336 (2017) we derived analytic solutions for the velocity, pressure and temperature fields. Additionally, we gave a possible explanation of the Rayleigh B enard convection cells with the help of the self similar Ansatz. Now we generalize the OB hydrodynamical system, including a viscous source term in the heat conduction equation. Our results may attract the interest of various fields like micro or nanofluidics or climate studies.


Learning to Format Coq Code Using Language Models. Should the final right bracket in a record declaration be on a separate line? Should arguments to the rewrite tactic be separated by a single space? Coq code tends to be written in distinct manners by different people and teams. The expressiveness, flexibility, and extensibility of Coq's languages and notations means that Coq projects have a wide variety of recognizable coding styles, sometimes explicitly documented as conventions on naming and formatting. In particular, even inexperienced users can distinguish vernacular using the standard library and plain Ltac from idiomatic vernacular using the Mathematical Components (MathComp) library and SSReflect. While coding conventions are important for comprehension and maintenance, they are costly to document and enforce. Rule based formatters, such as Coq's beautifier, have limited flexibility and only capture small fractions of desired conventions in large verification projects. We believe that application of language models a class of Natural Language Processing (NLP) techniques for capturing regularities in corpora can provide a solution to this conundrum. More specifically, we believe that an approach based on automatically learning conventions from existing Coq code, and then suggesting idiomatic code to users in the proper context, can be superior to manual approaches and static analysis tools both in terms of effort and results. As a first step, we here outline initial models to learn and suggest space formatting in Coq files, with a preliminary implementation for Coq 8.10, and evaluated on a corpus based on MathComp 1.9.0 which comprises 164k lines of Coq code from four core projects.


A time dependent density functional theory protocol for resonant inelastic X ray scattering calculations. We present a time dependent density functional theory (TDDFT) based approach to compute the light matter couplings between two different manifolds of excited states relative to a common ground state. These quantities are the necessary ingredients to solve the Kramers Heisenberg equation for resonant inelastic X ray scattering (RIXS) and several other types of two photon spectroscopies. The procedure is based on the pseudo wavefunction approach, where TDDFT eigenstates are treated as a configuration interaction wavefunction with single excitations, and on the restricted energy window approach, where a manifold of excited states can be rigorously defined based on the energies of the occupied molecular orbitals involved in the excitation process. We illustrate the applicability of the method by calculating the 2p4d RIXS maps of three representative Ruthenium complexes and comparing them to experimental results. The method is able to accurately capture all the experimental features in all three complexes, with relative energies correct to within 0.6 eV at the cost of two independent TDDFT calculations.


Area minimizing surfaces in homotopy classes in metric spaces. We introduce and study a notion of relative 1 homotopy type for Sobolev maps from a surface to a metric space spanning a given collection of Jordan curves. We use this to establish the existence and local H "older regularity of area minimizing surfaces in a given relative 1 homotopy class in proper geodesic metric spaces admitting a local quadratic isoperimetric inequality. If the underlying space has trivial second homotopy group then relatively 1 homotopic maps are relatively homotopic. We also obtain an analog for closed surfaces in a given 1 homotopy class. Our theorems generalize and strengthen results of Lemaire, Jost, Schoen Yau, and Sacks Uhlenbeck.


MAAD Face A Massively Annotated Attribute Dataset for Face Images. Soft biometrics play an important role in face biometrics and related fields since these might lead to biased performances, threatens the user's privacy, or are valuable for commercial aspects. Current face databases are specifically constructed for the development of face recognition applications. Consequently, these databases contain large amount of face images but lack in the number of attribute annotations and the overall annotation correctness. In this work, we propose MAADFace, a new face annotations database that is characterized by the large number of its high quality attribute annotations. MAADFace is build on the VGGFace2 database and thus, consists of 3.3M faces of over 9k individuals. Using a novel annotation transfer pipeline that allows an accurate label transfer from multiple source datasets to a target dataset, MAAD Face consists of 123.9M attribute annotations of 47 different binary attributes. Consequently, it provides 15 and 137 times more attribute labels than CelebA and LFW. Our investigation on the annotation quality by three human evaluators demonstrated the superiority of the MAAD Face annotations over existing databases. Additionally, we make use of the large amount of high quality annotations from MAAD Face to study the viability of soft biometrics for recognition, providing insights about which attributes support genuine and imposter decisions. The MAAD Face annotations dataset is publicly available.


Non squareness and local uniform non squareness properties of Orlicz Lorentz function spaces endowed with the Orlicz norm. In this paper the necessary and sufficient conditions were given for Orlicz Lorentz function space endowed with the Orlicz norm having non squareness and local uniform non squareness.


Space Efficient Algorithms for Breadth Depth Search. Continuing the recent trend, in this article we design several space efficient algorithms for two well known graph search methods. Both these search methods share the same name it breadth depth search (henceforth sf BDS ), although they work entirely in different fashion. The classical implementation for these graph search methods takes O(m n) time and O(n lg n) bits of space in the standard word RAM model (with word size being Theta( lg n) bits), where m and n denotes the number of edges and vertices of the input graph respectively. Our goal here is to beat the space bound of the classical implementations, and design o(n lg n) space algorithms for these search methods by paying little to no penalty in the running time. Note that our space bounds (i.e., with o(n lg n) bits of space) do not even allow us to explicitly store the required information to implement the classical algorithms, yet our algorithms visits and reports all the vertices of the input graph in correct order.


Multiscale Modeling of Elasto Plasticity in Heterogeneous Geomaterials Based on Continuum Micromechanics. In this paper, we investigate some micromechanical aspects of elasto plasticity in heterogeneous geomaterials. The aim is to upscale the elasto plastic behavior for a representative volume of the material which is indeed a very challenging task due to the irreversible deformations involved. Considering the plastic strains as eigen strains allows us to employ the powerful tools offered by Continuum Micromechanics which are mainly developed for upscaling of eigen stressed elastic media. The validity of such eigen strain based formulation of multiscale elasto plasticity is herein examined by comparing its predictions against Finite Element (FE) simulations.


Separability Properties of Nilpotent mathbb Q x Powered Groups. In this paper we study conjugacy and subgroup separability properties in the class of nilpotent mathbb Q x powered groups. Many of the techniques used to study these properties in the context of ordinary nilpotent groups carry over naturally to this more general class. Among other results, we offer a generalization of a theorem due to G. Baumslag. The generalized version states that if G is a finitely mathbb Q x generated mathbb Q x torsion free nilpotent mathbb Q x powered group and H is a mathbb Q x isolated subgroup of G, then for any prime pi in mathbb Q x , bigcap i 1 infty G pi i H H.


A Technical Critique of Some Parts of the Free Energy Principle. We summarize the original formulation of the free energy principle, and highlight some technical issues. We discuss how these issues affect related results involving generalised coordinates and, where appropriate, mention consequences for and reveal, up to now unacknowledged, differences to newer formulations of the free energy principle. In particular, we reveal that various definitions of the "Markov blanket" proposed in different works are not equivalent. We show that crucial steps in the free energy argument which involve rewriting the equations of motion of systems with Markov blankets, are not generally correct without additional (previously unstated) assumptions. We prove by counterexample that the original free energy lemma, when taken at face value, is wrong. We show further that this free energy lemma, when it does hold, implies equality of variational density and ergodic conditional density. The interpretation in terms of Bayesian inference hinges on this point, and we hence conclude that it is not sufficiently justified. Additionally, we highlight that the variational densities presented in newer formulations of the free energy principle and lemma are parameterised by different variables than in older works, leading to a substantially different interpretation of the theory. Note that we only highlight some specific problems in the discussed publications. These problems do not rule out conclusively that the general ideas behind the free energy principle are worth pursuing.


Matchings, hypergraphs, association schemes, and semidefinite optimization. We utilize association schemes to analyze the quality of semidefinite programming (SDP) based convex relaxations of integral packing and covering polyhedra determined by matchings in hypergraphs. As a by product of our approach, we obtain bounds on the clique and stability numbers of some regular graphs reminiscent of classical bounds by Delsarte and Hoffman. We determine exactly or provide bounds on the performance of Lov ' a sz Schrijver SDP hierarchy, and illustrate the usefulness of obtaining commutative subschemes from non commutative schemes via contraction in this context.


Unsupervised Feature Learning for Event Data Direct vs Inverse Problem Formulation. Event based cameras record an asynchronous stream of per pixel brightness changes. As such, they have numerous advantages over the standard frame based cameras, including high temporal resolution, high dynamic range, and no motion blur. Due to the asynchronous nature, efficient learning of compact representation for event data is challenging. While it remains not explored the extent to which the spatial and temporal event "information" is useful for pattern recognition tasks. In this paper, we focus on single layer architectures. We analyze the performance of two general problem formulations the direct and the inverse, for unsupervised feature learning from local event data (local volumes of events described in space time). We identify and show the main advantages of each approach. Theoretically, we analyze guarantees for an optimal solution, possibility for asynchronous, parallel parameter update, and the computational complexity. We present numerical experiments for object recognition. We evaluate the solution under the direct and the inverse problem and give a comparison with the state of the art methods. Our empirical results highlight the advantages of both approaches for representation learning from event data. We show improvements of up to 9 in the recognition accuracy compared to the state of the art methods from the same class of methods.


Characterization of bulk nanobubbles formed by using a porous alumina film with ordered nanopores. Gaseous nanobubbles (NBs), with their unique physicochemical properties and promising applications, have become an important research topic. Generation of monodispersed bulk NBs with specified gas content remains a challenge. We developed a simple method for generating bulk NBs, using porous alumina films with ordered straight nano scaled holes. Different techniques, such as nanoparticle tracking analysis (NTA), atomic force microscopy (AFM), and infrared absorption spectroscopy (IRAS), are used to confirm NB formation. The NTA data demonstrates that the minimum size of the NBs formed is less than 100 nm, which is comparable to the diameter of nanoholes in the porous alumina film. By generating NBs with different gases, including CO2, O2, N2, Ar, and He, we discovered that the minimum size of NBs negatively correlated with the solubility of encapsulated gases in water. Due to the monodispersed size of NBs generated from the highly ordered porous alumina, we determined that NB size is distributed discretely with a uniform increment factor of sqrt(2). To explain the observed characteristic size distribution of NBs, we propose a simple model in which two NBs of the same size are assumed to preferentially coalesce. This characteristic bubble size distribution is useful for elucidating the basic characteristics of nanobubbles, such as the long term stability of NBs. This distribution can also be used to develop new applications of NBs, for example, nano scaled reaction fields through bubble coalescence.


When Social Sensing Meets Edge Computing Vision and Challenges. This paper overviews the state of the art, research challenges, and future opportunities in an emerging research direction Social Sensing based Edge Computing (SSEC). Social sensing has emerged as a new sensing application paradigm where measurements about the physical world are collected from humans or from devices on their behalf. The advent of edge computing pushes the frontier of computation, service, and data along the cloud to things continuum. The merging of these two technical trends generates a set of new research challenges that need to be addressed. In this paper, we first define the new SSEC paradigm that is motivated by a few underlying technology trends. We then present a few representative real world case studies of SSEC applications and several key research challenges that exist in those applications. Finally, we envision a few exciting research directions in future SSEC. We hope this paper will stimulate discussions of this emerging research direction in the community.