An elementary proof of the homological properties of constant rank operators. Using properties of the alternating algebra, we give a surprisingly simple and constructive proof of Rai c t u a 's result that every constant rank operator mathcal A possesses an exact potential mathcal B and an exact annihilator mathcal Q . Our construction is completely self contained and improves on the order of both the operators constructed by Rai c t u a and the explicit formula for annihilators of elliptic operators due to Van Schaftingen. We also prove a generalized Poincar 'e lemma for a class of mean value zero Schwartz functions defined on full space.


EVScout2.0 Electric Vehicle Profiling Through Charging Profile. EVs (Electric Vehicles) represent a green alternative to traditional fuel powered vehicles. To enforce their widespread use, both the technical development and the security of users shall be guaranteed. Privacy of users represents one of the possible threats impairing EVs adoption. In particular, recent works showed the feasibility of identifying EVs based on the current exchanged during the charging phase. In fact, while the resource negotiation phase runs over secure communication protocols, the signal exchanged during the actual charging contains features peculiar to each EV. A suitable feature extractor can hence associate such features to each EV, in what is commonly known as profiling. In this paper, we propose EVScout2.0, an extended and improved version of our previously proposed framework to profile EVs based on their charging behavior. By exploiting the current and pilot signals exchanged during the charging phase, our scheme is able to extract features peculiar for each EV, allowing hence for their profiling. We implemented and tested EVScout2.0 over a set of real world measurements considering over 7500 charging sessions from a total of 137 EVs. In particular, numerical results show the superiority of EVScout2.0 with respect to the previous version. EVScout2.0 can profile EVs, attaining a maximum of 0.88 recall and 0.88 precision. To the best of the authors' knowledge, these results set a new benchmark for upcoming privacy research for large datasets of EVs.


A Stepping Up Lemma for Topological Set Systems. Intersection patterns of convex sets in mathbb R d have the remarkable property that for d 1 le k le ell , in any sufficiently large family of convex sets in mathbb R d , if a constant fraction of the k element subfamilies have nonempty intersection, then a constant fraction of the ell element subfamilies must also have nonempty intersection. Here, we prove that a similar phenomenon holds for any topological set system mathcal F in mathbb R d . Quantitatively, our bounds depend on how complicated the intersection of ell elements of mathcal F can be, as measured by the sum of the lceil frac d 2 rceil first Betti numbers. As an application, we improve the fractional Helly number of set systems with bounded topological complexity due to the third author, from a Ramsey number down to d 1 . We also shed some light on a conjecture of Kalai and Meshulam on intersection patterns of sets with bounded homological VC dimension. A key ingredient in our proof is the use of the stair convexity of Bukh, Matou v s ek and Nivash to recast a simplicial complex as a homological minor of a cubical complex.


Complementary Waveforms for Range Doppler Sidelobe Suppression Based on a Null Space Approach. While Doppler resilient complementary waveforms have previously been considered to suppress range sidelobes within a Doppler interval of interest in radar systems, their capability of Doppler resilience has not been fully utilized. In this paper, a new construction of Doppler resilient complementary waveforms based on a null space is proposed. With this new construction, one can flexibly include a specified Doppler interval of interest or even an overall Doppler interval into a term which results in range sidelobes. We can force this term to zero, which can be solved to obtain a null space. From the null space, the characteristic vector to control the transmission of basic Golay waveforms, and the coefficients of the receiver filter for Golay complementary waveform can be extracted. Besides, based on the derived null space, two challenging non convex optimization problems are formulated and solved for maximizing the signal to noise ratio (SNR). Moreover, the coefficients of the receiver filter and the characteristic vector can be applied to fully polarimetric radar systems to achieve nearly perfect Doppler resilient performance, and hence fully suppress the inter antenna interferences.


On degenerations and extensions of symplectic and orthogonal quiver representations. We discuss degenerations of symplectic and orthogonal representations of symmetric quivers and algebras with self dualities. As in the non symmetric case, we define a partial ordering, that we call symmetric Ext order which gives a sufficient criterion for a symmetric degeneration. Then a detailed discussion of type A quivers and their (symmetric) representation theory via Auslander Reiten theory leads to our main theorem which states that the symmetric degeneration order of a symmetric quiver of finite type is induced by the usual degeneration order between representations of the underlying quiver.


Longer time simulation of the unsteady Navier Stokes equations based on a modified convective formulation. For the discretization of the convective term in the Navier Stokes equations (NSEs), the commonly used convective formulation (CONV) does not preserve the energy if the divergence constraint is only weakly enforced. In this paper, we apply the skew symmetrization technique in B. Cockburn, G. Kanschat and D. Sch " o tzau, Math. Comp., 74 (2005), pp. 1067 1095 to conforming finite element methods, which restores energy conservation for CONV. The crucial idea is to replace the discrete advective velocity with its a H( operatorname div ) conforming divergence free approximation in CONV. We prove that the modified convective formulation also conserves linear momentum, helicity, 2D enstrophy and total vorticity under some appropriate senses. Its a Picard type linearization form also conserves them. Under the assumption boldsymbol u in L 2 (0,T boldsymbol W 1, infty ( Omega)), it can be shown that the Gronwall constant does not explicitly depend on the Reynolds number in the error estimates. The long time numerical simulations show that the linearized and modified convective formulation has a similar performance with the EMAC formulation and outperforms the usual skew symmetric formulation (SKEW).


Towards Optimally Efficient Search with Deep Learning for Large Scale MIMO Systems. This paper investigates the optimal signal detection problem with a particular interest in large scale multiple input multiple output (MIMO) systems. The problem is NP hard and can be solved optimally by searching the shortest path on the decision tree. Unfortunately, the existing optimal search algorithms often involve prohibitively high complexities, which indicates that they are infeasible in large scale MIMO systems. To address this issue, we propose a general heuristic search algorithm, namely, hyper accelerated tree search (HATS) algorithm. The proposed algorithm employs a deep neural network (DNN) to estimate the optimal heuristic, and then use the estimated heuristic to speed up the underlying memory bounded search algorithm. This idea is inspired by the fact that the underlying heuristic search algorithm reaches the optimal efficiency with the optimal heuristic function. Simulation results show that the proposed algorithm reaches almost the optimal bit error rate (BER) performance in large scale systems, while the memory size can be bounded. In the meanwhile, it visits nearly the fewest tree nodes. This indicates that the proposed algorithm reaches almost the optimal efficiency in practical scenarios, and thereby it is applicable for large scale systems. Besides, the code for this paper is available at url https github.com skypitcher hats .


Metric Distortion Bounds under Limited Information. In this work we study the metric distortion problem in voting theory under a limited amount of ordinal information. Our primary contribution is threefold. First, we consider mechanisms which perform a sequence of pairwise comparisons between candidates. We show that a widely popular deterministic mechanism employed in most knockout phases yields distortion mathcal O ( log m) while eliciting only m 1 out of Theta(m 2) possible pairwise comparisons, where m represents the number of candidates. Our analysis for this mechanism leverages a powerful technical lemma recently developed by Kempe cite DBLP conf aaai 000120a . We also provide a matching lower bound on its distortion. In contrast, we prove that any mechanism which performs fewer than m 1 pairwise comparisons is destined to have unbounded distortion. Moreover, we study the power of deterministic mechanisms under incomplete rankings. Most notably, when every agent provides her k top preferences we show an upper bound of 6 m k 1 on the distortion, for any k in 1, 2, dots, m . Thus, we substantially improve over the previous bound of 12 m k recently established by Kempe cite DBLP conf aaai 000120a,DBLP conf aaai 000120b , and we come closer to matching the best known lower bound. Finally, we are concerned with the sample complexity required to ensure near optimal distortion with high probability. Our main contribution is to show that a random sample of Theta(m epsilon 2) voters suffices to guarantee distortion 3 epsilon with high probability, for any sufficiently small epsilon 0 . This result is based on analyzing the sensitivity of the deterministic mechanism introduced by Gkatzelis, Halpern, and Shah cite DBLP conf focs Gkatzelis0020 . Importantly, all of our sample complexity bounds are distribution independent.


Effective Sparsification of Neural Networks with Global Sparsity Constraint. Weight pruning is an effective technique to reduce the model size and inference time for deep neural networks in real world deployments. However, since magnitudes and relative importance of weights are very different for different layers of a neural network, existing methods rely on either manual tuning or handcrafted heuristic rules to find appropriate pruning rates individually for each layer. This approach generally leads to suboptimal performance. In this paper, by directly working on the probability space, we propose an effective network sparsification method called it probabilistic masking (ProbMask), which solves a natural sparsification formulation under global sparsity constraint. The key idea is to use probability as a global criterion for all layers to measure the weight importance. An appealing feature of ProbMask is that the amounts of weight redundancy can be learned automatically via our constraint and thus we avoid the problem of tuning pruning rates individually for different layers in a network. Extensive experimental results on CIFAR 10 100 and ImageNet demonstrate that our method is highly effective, and can outperform previous state of the art methods by a significant margin, especially in the high pruning rate situation. Notably, the gap of Top 1 accuracy between our ProbMask and existing methods can be up to 10 . As a by product, we show ProbMask is also highly effective in identifying supermasks, which are subnetworks with high performance in a randomly weighted dense neural network.


Tent property and directional limit sets for self joinings of hyperbolic manifolds. Let Gamma ( rho 1 times rho 2)( Delta) where rho 1, rho 2 Delta to operatorname SO circ(n,1) are convex cocompact representations of a finitely generated group Delta . (1) We provide a sharp pointwise bound on the growth indicator function psi Gamma by a tent function for any v (v 1, v 2) in mathbb R 2 psi Gamma(v) le min (v 1 operatorname dim operatorname H Lambda rho 1 , v 2 operatorname dim operatorname H Lambda rho 2 ). We obtain several interesting consequences including the gap and rigidity property on the critical exponent. (2) Generalizing this, we propose a conjecture that psi Gamma is at most the half sum of all positive roots for any Anosov subgroup of a semisimple real algebgraic group of rank at least 2 . We confirm this conjecture for Zariski dense Anosov subgroups of Hitchin groups. (3) For each v in the interior of the limit cone of Gamma , we prove the following on the v directional conical limit set Lambda v subset mathbb S n 1 times mathbb S n 1 tfrac psi Gamma(v) max (v 1, v 2) le operatorname dim H Lambda v le tfrac psi Gamma(v) min (v 1, v 2) . We also study the local behavior of the higher rank Patterson Sullivan measures on each Lambda v .


MORE Simultaneous Multi View 3D Object Recognition and Pose Estimation. Simultaneous object recognition and pose estimation are two key functionalities for robots to safely interact with humans as well as environments. Although both object recognition and pose estimation use visual input, most state of the art tackles them as two separate problems since the former needs a view invariant representation while object pose estimation necessitates a view dependent description. Nowadays, multi view Convolutional Neural Network (MVCNN) approaches show state of the art classification performance. Although MVCNN object recognition has been widely explored, there has been very little research on multi view object pose estimation methods, and even less on addressing these two problems simultaneously. The pose of virtual cameras in MVCNN methods is often pre defined in advance, leading to bound the application of such approaches. In this paper, we propose an approach capable of handling object recognition and pose estimation simultaneously. In particular, we develop a deep object agnostic entropy estimation model, capable of predicting the best viewpoints of a given 3D object. The obtained views of the object are then fed to the network to simultaneously predict the pose and category label of the target object. Experimental results showed that the views obtained from such positions are descriptive enough to achieve a good accuracy score. Code is available online at https github.com tparisotto more mvcnn


Reproducing kernel Hilbert spaces of polyanalytic functions of infinite order. In this paper we introduce reproducing kernel Hilbert spaces of polyanalytic functions of infinite order. First we study in details the counterpart of the Fock space and related results in this framework. In this case the kernel function is given by displaystyle e z overline w overline z w which can be connected to kernels of polyanalytic Fock spaces of finite order. Segal Bargmann and Berezin type transforms are also considered in this setting. Then, we study the reproducing kernel Hilbert spaces of complex valued functions with reproducing kernel displaystyle frac 1 (1 z overline w )(1 overline z w) and displaystyle frac 1 1 2 rm Re , z overline w . The corresponding backward shift operators are introduced and investigated.


Communicating Inferred Goals with Passive Augmented Reality and Active Haptic Feedback. Robots learn as they interact with humans. Consider a human teleoperating an assistive robot arm as the human guides and corrects the arm's motion, the robot gathers information about the human's desired task. But how does the human know what their robot has inferred? Today's approaches often focus on conveying intent for instance, upon legible motions or gestures to indicate what the robot is planning. However, closing the loop on robot inference requires more than just revealing the robot's current policy the robot should also display the alternatives it thinks are likely, and prompt the human teacher when additional guidance is necessary. In this paper we propose a multimodal approach for communicating robot inference that combines both passive and active feedback. Specifically, we leverage information rich augmented reality to passively visualize what the robot has inferred, and attention grabbing haptic wristbands to actively prompt and direct the human's teaching. We apply our system to shared autonomy tasks where the robot must infer the human's goal in real time. Within this context, we integrate passive and active modalities into a single algorithmic framework that determines when and which type of feedback to provide. Combining both passive and active feedback experimentally outperforms single modality baselines during an in person user study, we demonstrate that our integrated approach increases how efficiently humans teach the robot while simultaneously decreasing the amount of time humans spend interacting with the robot. Videos here https youtu.be swq u4iIP g


Comparison results for the solutions to the anisotropic Laplacian with Robin boundary conditions. In this paper we consider PDE's problems involving the anisotropic Laplacian operator, with Robin boundary conditions. By means of Talenti techniques, widely used in the last decades, we prove a comparison result between the solutions of the above mentioned problems and the solutions of the symmetrized ones. As a consequence of these results, a Bossel Daners type inequality can be shown in dimension 2.


Collective discrete optimisation as judgment aggregation. Many important collective decision making problems can be seen as multi agent versions of discrete optimisation problems. Participatory budgeting, for instance, is the collective version of the knapsack problem other examples include collective scheduling, and collective spanning trees. Rather than developing a specific model, as well as specific algorithmic techniques, for each of these problems, we propose to represent and solve them in the unifying framework of judgment aggregation with weighted issues. We provide a modular definition of collective discrete optimisation (CDO) rules based on coupling a set scoring function with an operator, and we show how they generalise several existing procedures developed for specific CDO problems. We also give an implementation based on integer linear programming (ILP) and test it on the problem of collective spanning trees.


Exploiting auto encoders for middle level explanations of image classification systems. A central issue addressed by the rapidly growing research area of eXplainable Artificial Intelligence (XAI) is to provide methods to give explanations for the behaviours of Machine Learning (ML) non interpretable models after the training. Recently, it is becoming more and more evident that new directions to create better explanations should take into account what a good explanation is to a human user. This paper suggests taking advantage of developing an XAI framework that allows producing multiple explanations for the response of image a classification system in terms of potentially different middle level input features. To this end, we propose an XAI framework able to construct explanations in terms of input features extracted by auto encoders. We start from the hypothesis that some autoencoders, relying on standard data representation approaches, could extract more salient and understandable input properties, which we call here textit Middle Level input Features (MLFs), for a user with respect to raw low level features. Furthermore, extracting different types of MLFs through different type of autoencoders, different types of explanations for the same ML system behaviour can be returned. We experimentally tested our method on two different image datasets and using three different types of MLFs. The results are encouraging. Although our novel approach was tested in the context of image classification, it can potentially be used on other data types to the extent that auto encoders to extract humanly understandable representations can be applied.


Achieving Deterministic Service in Mobile Edge Computing (MEC) Networks. Mobile edge computing (MEC) is proposed to boost high efficient and time sensitive 5G applications. However, the "microburst" may occur even in lightly loaded scenarios, which leads to the indeterministic service latency (i.e., unpredictable delay or delay variation), hence hindering the deployment of MEC. Deterministic IP networking (DIP) has been proposed that can provide bounds on latency, and high reliability in the large scale networks. Nevertheless, the direct migration of DIP into the MEC network is non trivial owing to its original design for the Ethernet with homogeneous devices. Meanwhile, DIP also faces the challenges on the network throughput and scheduling flexibility. In this paper, we delve into the adoption of DIP for the MEC networks and some of the relevant aspects. A deterministic MEC (D MEC) network is proposed to deliver the deterministic service (i.e., providing the MEC service with bounded service latency). In the D MEC network, two mechanisms, including the cycle mapping and cycle shifting, are designed to enable (i) seamless and deterministic transmission with heterogeneous underlaid resources and (ii) traffic shaping on the edges to improve the resource utilization. We also formulate a joint configuration to maximize the network throughput with deterministic QoS guarantees. Extensive simulations verify that the proposed D MEC network can achieve a deterministic MEC service, even in the highly loaded scenarios.


A Comparative Study of Vulnerability Reporting by Software Composition Analysis Tools. Background Modern software uses many third party libraries and frameworks as dependencies. Known vulnerabilities in these dependencies are a potential security risk. Software composition analysis (SCA) tools, therefore, are being increasingly adopted by practitioners to keep track of vulnerable dependencies. Aim The goal of this study is to understand the difference in vulnerability reporting by various SCA tools. Understanding if and how existing SCA tools differ in their analysis may help security practitioners to choose the right tooling and identify future research needs. Method We present an in depth case study by comparing the analysis reports of 9 industry leading SCA tools on a large web application, OpenMRS, composed of Maven (Java) and npm (JavaScript) projects. Results We find that the tools vary in their vulnerability reporting. The count of reported vulnerable dependencies ranges from 17 to 332 for Maven and from 32 to 239 for npm projects across the studied tools. Similarly, the count of unique known vulnerabilities reported by the tools ranges from 36 to 313 for Maven and from 45 to 234 for npm projects. Our manual analysis of the tools' results suggest that accuracy of the vulnerability database is a key differentiator for SCA tools. Conclusion We recommend that practitioners should not rely on any single tool at the present, as that can result in missing known vulnerabilities. We point out two research directions in the SCA space i) establishing frameworks and metrics to identify false positives for dependency vulnerabilities and ii) building automation technologies for continuous monitoring of vulnerability data from open source package ecosystems.


Mask aware IoU for Anchor Assignment in Real time Instance Segmentation. This paper presents Mask aware Intersection over Union (maIoU) for assigning anchor boxes as positives and negatives during training of instance segmentation methods. Unlike conventional IoU or its variants, which only considers the proximity of two boxes maIoU consistently measures the proximity of an anchor box with not only a ground truth box but also its associated ground truth mask. Thus, additionally considering the mask, which, in fact, represents the shape of the object, maIoU enables a more accurate supervision during training. We present the effectiveness of maIoU on a state of the art (SOTA) assigner, ATSS, by replacing IoU operation by our maIoU and training YOLACT, a SOTA real time instance segmentation method. Using ATSS with maIoU consistently outperforms (i) ATSS with IoU by sim 1 mask AP, (ii) baseline YOLACT with fixed IoU threshold assigner by sim 2 mask AP over different image sizes and (iii) decreases the inference time by 25 owing to using less anchors. Then, exploiting this efficiency, we devise maYOLACT, a faster and 6 AP more accurate detector than YOLACT. Our best model achieves 37.7 mask AP at 25 fps on COCO test dev establishing a new state of the art for real time instance segmentation. Code is available at https github.com kemaloksuz Mask aware IoU


A Certainty Equivalent Merton Problem. The Merton problem is the well known stochastic control problem of choosing consumption over time, as well as an investment mix, to maximize expected constant relative risk aversion (CRRA) utility of consumption. Merton formulated the problem and provided an analytical solution in 1970 since then a number of extensions of the original formulation have been solved. In this note we identify a certainty equivalent problem, i.e., a deterministic optimal control problem with the same optimal value function and optimal policy, for the base Merton problem, as well as a number of extensions. When time is discretized, the certainty equivalent problem becomes a second order cone program (SOCP), readily formulated and solved using domain specific languages for convex optimization. This makes it a good starting point for model predictive control, a policy that can handle extensions that are either too cumbersome or impossible to handle exactly using standard dynamic programming methods.


Modeling the locomotion of articulated soft robots in granular medium. Soft robots, in contrast to their rigid counter parts, have infinite degrees of freedom that are coupled with their interaction with the environment. We consider the locomotion of an untethered robot, in the granular medium, comprised of multiple flexible flagella that rotate about an axis by a motor. Drag from the grains causes the flagella to deform and the deformed shape generates a net forward propulsion. This external drag force depends on the shape of the flagella, while the change in flagellar shape is the result of the competition between the external loading and elastic forces. We introduce a numerical tool that couples discrete differential geometry based simulation of elastic rods our model for flagella and a resistive force theory based model for the drag. In parallel with simulations, we conduct experiments to quantify the propulsive speed of this class of robots. We find reasonable quantitative agreement between experiments and simulations. Owing to a rod based kinematic representation of the robot, the simulation runs faster than real time, and, therefore, we can use it as a design tool for this class of soft robots. We find that there is an optimal rotational speed at which maximum efficiency is achieved. Moreover, both experiments and simulations show that increasing the number of flagella decreases the speed of the robot. We also gain insight into the mechanics of granular medium while resistive force theory can successfully describe the propulsion at low number of flagella, it fails when more flagella are added to the robot.


A tree based algorithm on monomials in the Chow group of zero cycles in the moduli space of stable pointed curves of genus zero. The Chow group of zero cycles in the moduli space of stable pointed curves of genus zero is isomorphic to the integer additive group. With the help of a tree representation of the monomial, we are able to provide two different methods for computing this integer one is algebraic, the other pictorial the latter can be seen as an equivalent characterization of the former. Also, this tree representation enables us to further expedite the algorithm, via considering an extra property of the tree. With our result, we figure out the value of a specific type of monomials. In addition, we prove the equivalence between a multinomial coefficient identity and the theorem for the value of that specific type of monomials, using this graphical algorithm.


MUSE Feature Self Distillation with Mutual Information and Self Information. We present a novel information theoretic approach to introduce dependency among features of a deep convolutional neural network (CNN). The core idea of our proposed method, called MUSE, is to combine MUtual information and SElf information to jointly improve the expressivity of all features extracted from different layers in a CNN. We present two variants of the realization of MUSE Additive Information and Multiplicative Information. Importantly, we argue and empirically demonstrate that MUSE, compared to other feature discrepancy functions, is a more functional proxy to introduce dependency and effectively improve the expressivity of all features in the knowledge distillation framework. MUSE achieves superior performance over a variety of popular architectures and feature discrepancy functions for self distillation and online distillation, and performs competitively with the state of the art methods for offline distillation. MUSE is also demonstrably versatile that enables it to be easily extended to CNN based models on tasks other than image classification such as object detection.


Structural Causal Interpretation Theorem. Human mental processes allow for qualitative reasoning about causality in terms of mechanistic relations of the variables of interest, which we argue are naturally described by structural causal model (SCM). Since interpretations are being derived from mental models, the same applies for SCM. By defining a metric space on SCM, we provide a theoretical perspective on the comparison of mental models and thereby conclude that interpretations can be used for guiding a learning system towards true causality. To this effect, we present a theoretical analysis from first principles that results in a human readable interpretation scheme consistent with the provided causality that we name structural causal interpretations (SCI). Going further, we prove that any existing neural induction method (NIM) is in fact interpretable. Our first experiment (E1) assesses the quality of such NIM based SCI. In (E2) we observe evidence for our conjecture on improved sample efficiency for SCI based learning. After conducting a small user study, in (E3) we observe superiority in human based over NIM based SCI in support of our initial hypothesis.


Network Effects Research A Systematic Review of Theoretical Mechanisms and Measures. This article contributes to the network effectiveness literature by identifying the theoretical mechanisms and network measures scholars in public administration and policy use to draw inferences between network structures and network effects. We conducted a systematic review of empirical network effects research in 40 journals of public administration and policy from 1998 to 2019. We reviewed and coded 89 articles and described the main social theories used in the network effectiveness literature and the associated mechanisms that translate network structures to network effects. We also explain how scholars operationalize those theoretical mechanisms through network measures. Overall, our findings reflect that there is a limited use of social theories for the explanation of network effects and in some cases, there is an inconsistent use of network measures associated with theories. Moreover, we identify the main challenges related to network effects, including the difficulty of isolating specific mechanisms related to a particular social theory, the use of network structures both as a mechanism and as a measure, and the lack of data to examine network dynamics and coevolution.


MAD A Scalable Dataset for Language Grounding in Videos from Movie Audio Descriptions. The recent and increasing interest in video language research has driven the development of large scale datasets that enable data intensive machine learning techniques. In comparison, limited effort has been made at assessing the fitness of these datasets for the video language grounding task. Recent works have begun to discover significant limitations in these datasets, suggesting that state of the art techniques commonly overfit to hidden dataset biases. In this work, we present MAD (Movie Audio Descriptions), a novel benchmark that departs from the paradigm of augmenting existing video datasets with text annotations and focuses on crawling and aligning available audio descriptions of mainstream movies. MAD contains over 384,000 natural language sentences grounded in over 1,200 hours of videos and exhibits a significant reduction in the currently diagnosed biases for video language grounding datasets. MAD's collection strategy enables a novel and more challenging version of video language grounding, where short temporal moments (typically seconds long) must be accurately grounded in diverse long form videos that can last up to three hours. We have released MAD's data and baselines code at https github.com Soldelli MAD.


How Secondary School Girls Perceive Computational Thinking Practices through Collaborative Programming with the Micro bit. Computational Thinking (CT) has been investigated from different perspectives. This research aims to investigate how secondary school girls perceive CT practices the problem solving practices that students apply while they are engaged in programming when using the micro bit device in a collaborative setting. This study also explores the collaborative programming process of secondary school girls with the micro bit device. We conducted mixed methods research with 203 secondary school girls (in the state of Victoria, Australia) and 31 mentors attending a girls only CT program (OzGirlsCT program). The girls were grouped into 52 teams and collaboratively developed computational solutions around realistic, important problems to them and their communities. We distributed two surveys (with 193 responses each) to the girls. Further, we surveyed the mentors (with 31 responses) who monitored the girls, and collected their observation reports on their teams. Our study indicates that the girls found "debugging" the most difficult type of CT practice to apply, while collaborative practices of CT were the easiest. We found that prior coding experience significantly reduced the difficulty level of only one CT practice "debugging". Our study also identified six challenges the girls faced and six best practices they adopted when working on their computational solutions.


Multi Modal Mutual Information (MuMMI) Training for Robust Self Supervised Deep Reinforcement Learning. This work focuses on learning useful and robust deep world models using multiple, possibly unreliable, sensors. We find that current methods do not sufficiently encourage a shared representation between modalities this can cause poor performance on downstream tasks and over reliance on specific sensors. As a solution, we contribute a new multi modal deep latent state space model, trained using a mutual information lower bound. The key innovation is a specially designed density ratio estimator that encourages consistency between the latent codes of each modality. We tasked our method to learn policies (in a self supervised manner) on multi modal Natural MuJoCo benchmarks and a challenging Table Wiping task. Experiments show our method significantly outperforms state of the art deep reinforcement learning methods, particularly in the presence of missing observations.


Thermoplasmonic Nanomagnetic Logic Gates. Nanomagnetic logic, in which the outcome of a computation is embedded into the energy hierarchy of magnetostatically coupled nanomagnets, offers an attractive pathway to implement in memory computation. This computational paradigm avoids separate energy costs associated with transporting and storing the outcome of a computational operation. Thermally driven nanomagnetic logic gates, which are driven solely by the ambient thermal energy, hold great promise for energy efficient operation, but have the disadvantage of slow operating speeds due to the lack of spatial selectivity of currently employed global heating methods. As has been shown recently, this disadvantage can be removed by employing local plasmon assisted photo heating. Here, we show by means of micromagnetic and finite elements simulations how such local heating can be exploited to design reconfigurable nanomagnetic Boolean logic gates. The reconfigurability of operation is achieved either by modifying the initialising field protocol or optically, by changing the order in which horizontally and vertically polarised laser pulses are applied. Our results thus demonstrate that nanomagnetic logic offers itself as a fast (up to GHz), energy efficient and reconfigurable platform for in memory computation that can be controlled via optical means.


GNNerator A Hardware Software Framework for Accelerating Graph Neural Networks. Graph Neural Networks (GNNs) use a fully connected layer to extract features from the nodes of a graph and aggregate these features using message passing between nodes, combining two distinct computational patterns dense, regular computations and sparse, irregular computations. To address this challenge, we propose GNNerator, an accelerator with heterogeneous compute engines optimized for these two patterns. Further, GNNerator implements feature blocking, a novel GNN dataflow that beneficially trades off irregular memory accesses during aggregation for regular memory accesses during feature extraction. We show GNNerator achieves speedups of 5.7 37x over an NVIDIA RTX 2080 Ti, and 2.3x 3.8x over HyGCN, a state of the art GNN accelerator.


Learning Sampling Policy for Faster Derivative Free Optimization. Zeroth order (ZO, also known as derivative free) methods, which estimate the gradient only by two function evaluations, have attracted much attention recently because of its broad applications in machine learning community. The two function evaluations are normally generated with random perturbations from standard Gaussian distribution. To speed up ZO methods, many methods, such as variance reduced stochastic ZO gradients and learning an adaptive Gaussian distribution, have recently been proposed to reduce the variances of ZO gradients. However, it is still an open problem whether there is a space to further improve the convergence of ZO methods. To explore this problem, in this paper, we propose a new reinforcement learning based ZO algorithm (ZO RL) with learning the sampling policy for generating the perturbations in ZO optimization instead of using random sampling. To find the optimal policy, an actor critic RL algorithm called deep deterministic policy gradient (DDPG) with two neural network function approximators is adopted. The learned sampling policy guides the perturbed points in the parameter space to estimate a more accurate ZO gradient. To the best of our knowledge, our ZO RL is the first algorithm to learn the sampling policy using reinforcement learning for ZO optimization which is parallel to the existing methods. Especially, our ZO RL can be combined with existing ZO algorithms that could further accelerate the algorithms. Experimental results for different ZO optimization problems show that our ZO RL algorithm can effectively reduce the variances of ZO gradient by learning a sampling policy, and converge faster than existing ZO algorithms in different scenarios.


On the realization of subgroups of PGL(2,F) , and their automorphism groups, as Galois groups over function fields. Let F be any field. We give a short and elementary proof that any finite subgroup G of PGL(2,F) occurs as a Galois group over the function field F(x) . We also develop a theory of descent to subfields of F . This enables us to realize the automorphism groups of finite subgroups of PGL(2,F) as Galois groups.


Wick and anti Wick characterizations of linear operators on spaces of power series expansions. We study the link between Wick, anti Wick and analytic kernel operators on the Bargmann transform side. We find classes of kernels, e.g. wideparen mathcal B s , whose corresponding operators agree with the sets of linear and continuous operators on mathcal A s , the images of Pilipovi 'c under the Bargmann transform. We show that in several situations, the sets of Wick, anti Wick and kernel operators with symbols and kernels in wideparen mathcal B s agree. We also show some ring, module and composition properties for wideparen mathcal B s , and similarly for other spaces related to wideparen mathcal B s .


How Does Fine tuning Affect the Geometry of Embedding Space A Case Study on Isotropy. It is widely accepted that fine tuning pre trained language models usually brings about performance improvements in downstream tasks. However, there are limited studies on the reasons behind this effectiveness, particularly from the viewpoint of structural changes in the embedding space. Trying to fill this gap, in this paper, we analyze the extent to which the isotropy of the embedding space changes after fine tuning. We demonstrate that, even though isotropy is a desirable geometrical property, fine tuning does not necessarily result in isotropy enhancements. Moreover, local structures in pre trained contextual word representations (CWRs), such as those encoding token types or frequency, undergo a massive change during fine tuning. Our experiments show dramatic growth in the number of elongated directions in the embedding space, which, in contrast to pre trained CWRs, carry the essential linguistic knowledge in the fine tuned embedding space, making existing isotropy enhancement methods ineffective.


Harnack inequalities and quantization properties for the n Liouville equation. We consider a quasilinear equation involving the n Laplacian and an exponential nonlinearity, a problem that includes the celebrated Liouville equation in the plane as a special case. For a non compact sequence of solutions it is known that the exponential nonlinearity converges, up to a subsequence, to a sum of Dirac measures. By performing a precise local asymptotic analysis we complete such a result by showing that the corresponding Dirac masses are quantized as multiples of a given one, related to the mass of limiting profiles after rescaling according to the classification result obtained by the first author in P. Esposito, A classification result for the quasi linear Liouville equation. Ann. Inst. H. Poincar 'e Anal. Non Lin eaire 35 (2018), no. 3, 781 801. A fundamental tool is provided here by some Harnack inequality of "sup inf" type, a question of independent interest that we prove in the quasilinear context through a new and simple blow up approach.


Bugs in Quantum Computing Platforms An Empirical Study. The interest in quantum computing is growing, and with it, the importance of software platforms to develop quantum programs. Ensuring the correctness of such platforms is important, and it requires a thorough understanding of the bugs they typically suffer from. To address this need, this paper presents the first in depth study of bugs in quantum computing platforms. We gather and inspect a set of 223 real world bugs from 18 open source quantum computing platforms. Our study shows that a significant fraction of these bugs (39.9 ) are quantum specific, calling for dedicated approaches to prevent and find them. The bugs are spread across various components, but quantum specific bugs occur particularly often in components that represent, compile, and optimize quantum programming abstractions. Many quantum specific bugs manifest through unexpected outputs, rather than more obvious signs of misbehavior, such as crashes. Finally, we present a hierarchy of recurrent bug patterns, including ten novel, quantum specific patterns. Our findings not only show the importance and prevalence bugs in quantum computing platforms, but they help developers to avoid common mistakes and tool builders to tackle the challenge of preventing, finding, and fixing these bugs.


Visual Relationship Forecasting in Videos. Real world scenarios often require the anticipation of object interactions in unknown future, which would assist the decision making process of both humans and agents. To meet this challenge, we present a new task named Visual Relationship Forecasting (VRF) in videos to explore the prediction of visual relationships in a reasoning manner. Specifically, given a subject object pair with H existing frames, VRF aims to predict their future interactions for the next T frames without visual evidence. To evaluate the VRF task, we introduce two video datasets named VRF AG and VRF VidOR, with a series of spatio temporally localized visual relation annotations in a video. These two datasets densely annotate 13 and 35 visual relationships in 1923 and 13447 video clips, respectively. In addition, we present a novel Graph Convolutional Transformer (GCT) framework, which captures both object level and frame level dependencies by spatio temporal Graph Convolution Network and Transformer. Experimental results on both VRF AG and VRF VidOR datasets demonstrate that GCT outperforms the state of the art sequence modelling methods on visual relationship forecasting.


MadDog A Web based System for Acronym Identification and Disambiguation. Acronyms and abbreviations are the short form of longer phrases and they are ubiquitously employed in various types of writing. Despite their usefulness to save space in writing and reader's time in reading, they also provide challenges for understanding the text especially if the acronym is not defined in the text or if it is used far from its definition in long texts. To alleviate this issue, there are considerable efforts both from the research community and software developers to build systems for identifying acronyms and finding their correct meanings in the text. However, none of the existing works provide a unified solution capable of processing acronyms in various domains and to be publicly available. Thus, we provide the first web based acronym identification and disambiguation system which can process acronyms from various domains including scientific, biomedical, and general domains. The web based system is publicly available at http iq.cs.uoregon.edu 5000 and a demo video is available at https youtu.be IkSh7LqI42M. The system source code is also available at https github.com amirveyseh MadDog.


TDM Trustworthy Decision Making via Interpretability Enhancement. Human robot interactive decision making is increasingly becoming ubiquitous, and trust is an influential factor in determining the reliance on autonomy. However, it is not reasonable to trust systems that are beyond our comprehension, and typical machine learning and data driven decision making are black box paradigms that impede interpretability. Therefore, it is critical to establish computational trustworthy decision making mechanisms enhanced by interpretability aware strategies. To this end, we propose a Trustworthy Decision Making (TDM) framework, which integrates symbolic planning into sequential decision making. The framework learns interpretable subtasks that result in a complex, higher level composite task that can be formally evaluated using the proposed trust metric. TDM enables the subtask level interpretability by design and converges to an optimal symbolic plan from the learned subtasks. Moreover, a TDM based algorithm is introduced to demonstrate the unification of symbolic planning with other sequential decision making algorithms, reaping the benefits of both. Experimental results validate the effectiveness of trust score based planning while improving the interpretability of subtasks.


Distributed Arithmetic Coding for Sources with Hidden Markov Correlation. Distributed arithmetic coding (DAC) has been shown to be effective for Slepian Wolf coding, especially for short data blocks. In this letter, we propose to use the DAC to compress momery correlated sources. More specifically, the correlation between sources is modeled as a hidden Markov process. Experimental results show that the performance is close to the theoretical Slepian Wolf limit.


DCF ASN Coarse to fine Real time Visual Tracking via Discriminative Correlation Filter and Attentional Siamese Network. Discriminative correlation filters (DCF) and siamese networks have achieved promising performance on visual tracking tasks thanks to their superior computational efficiency and reliable similarity metric learning, respectively. However, how to effectively take advantages of powerful deep networks, while maintaining the real time response of DCF, remains a challenging problem. Embedding the cross correlation operator as a separate layer into siamese networks is a popular choice to enhance the tracking accuracy. Being a key component of such a network, the correlation layer is updated online together with other parts of the network. Yet, when facing serious disturbance, fused trackers may still drift away from the target completely due to accumulated errors. To address these issues, we propose a coarse to fine tracking framework, which roughly infers the target state via an online updating DCF module first and subsequently, finely locates the target through an offline training asymmetric siamese network (ASN). Benefitting from the guidance of DCF and the learned channel weights obtained through exploiting the given ground truth template, ASN refines feature representation and implements precise target localization. Systematic experiments on five popular tracking datasets demonstrate that the proposed DCF ASN achieves the state of the art performance while exhibiting good tracking efficiency.


Simplicity of the Lyapunov Spectrum for classes of Anosov flows. We prove that in a C 1 open and C k dense set of some classes of C k Anosov flows all Lyapunov exponents have multiplicity 1 with respect to appropriate measures. The classes are geodesic flows with equilibrium states of H "older continuous potentials, volume preserving flows, and all fiber bunched Anosov flows with equilibrium states of H "older continuous potentials. In the proof, we use and prove perturbative results for jets of flows to modify eigenvalues of certain Poincar 'e maps and, using a Markov partition, apply the simplicity criterion of Avila and Viana.


Word Measures on GL N(q) and Free Group Algebras. Fix a finite field K of order q and a word w in a free group F on r generators. A w random element in GL N(K) is obtained by sampling r independent uniformly random elements g 1, ldots,g r in GL N(K) and evaluating w left(g 1, ldots,g r right) . Consider mathbb E w left mathrm fix right , the average number of vectors in K N fixed by a w random element. We show that mathbb E w left mathrm fix right is a rational function in q N . Moreover, if w u d with u a non power, then the limit lim N to infty mathbb E w left mathrm fix right depends only on d and not on u . These two phenomena generalize to all stable characters of the groups left GL N(K) right N . A main feature of this work is the connection we establish between word measures on GL N(K) and the free group algebra K left F right . A classical result of Cohn 1964 and Lewin 1969 is that every one sided ideal of K left F right is a free K left F right module with a well defined rank. We show that for w a non power, mathbb E w left mathrm fix right 2 frac C q N O left( frac 1 q 2N right) , where C is the number of rank 2 right ideals I le K left F right which contain w 1 but not as a basis element. We describe a full conjectural picture generalizing this result, featuring a new invariant we call the q primitivity rank of w . In the process, we prove several new results about free group algebras. For example, we show that if T is any finite subtree of the Cayley graph of F , and I le K left F right is a right ideal with a generating set supported on T , then I admits a basis supported on T . We also prove an analogue of Kaplansky's unit conjecture for certain K left F right modules.


Parallel Scale wise Attention Network for Effective Scene Text Recognition. The paper proposes a new text recognition network for scene text images. Many state of the art methods employ the attention mechanism either in the text encoder or decoder for the text alignment. Although the encoder based attention yields promising results, these schemes inherit noticeable limitations. They perform the feature extraction (FE) and visual attention (VA) sequentially, which bounds the attention mechanism to rely only on the FE final single scale output. Moreover, the utilization of the attention process is limited by only applying it directly to the single scale feature maps. To address these issues, we propose a new multi scale and encoder based attention network for text recognition that performs the multi scale FE and VA in parallel. The multi scale channels also undergo regular fusion with each other to develop the coordinated knowledge together. Quantitative evaluation and robustness analysis on the standard benchmarks demonstrate that the proposed network outperforms the state of the art in most cases.


Extension of Alon's and Friedman's conjectures to Schottky surfaces. Let X Lambda backslash mathbb H be a Schottky surface, that is, a conformally compact hyperbolic surface of infinite area. Let delta denote the Hausdorff dimension of the limit set of Lambda . We prove that for any compact subset mathcal K subset ,s , , Re(s) frac delta 2 , , if one picks a random degree n cover X n of X uniformly at random, then with probability tending to one as n to infty , there are no resonances of X n in mathcal K other than those already belonging to X (and with the same multiplicity). This result is conjectured to be the optimal one for bounded frequency resonances and is analogous to both Alon's and Friedman's conjectures for random graphs, which are now theorems due to Friedman and Bordenave Collins, respectively.


On Tutte cycles containing three prescribed edges. A cycle C in a graph G is called a Tutte cycle if, after deleting C from G , each component has at most three neighbors on C . Tutte cycles play an important role in the study of Hamiltonicity of planar graphs. Thomas and Yu and independently Sanders proved the existence of Tutte cycles containining three specified edges of a facial cycle in a 2 connected plane graph. We prove a quantitative version of this result, bounding the number of components of the graph obtained by deleting a Tutte cycle. As a corollary, we can find long cycles in essentially 4 connected plane graphs that also contain three prescribed edges of a facial cycle.


Free boundary problems via Sakai's theorem. A Schwarz function on an open domain Omega is a holomorphic function satisfying S(z) overline z on Gamma , which is part of the boundary of Omega . Sakai in 1991 gave a complete characterization of the boundary of a domain admitting a Schwarz function. In fact, if Omega is simply connected and Gamma partial Omega cap D( zeta,r) , then Gamma has to be regular real analytic. Here we try to describe Gamma when the boundary condition is relaxed. In particular, we are interested in three different scenarios over a simply connected domain Omega 1) When f 1(z) overline z f 2(z) on Gamma , with f 1,f 2 holomorphic and continuous up to the boundary, 2) when mathcal U mathcal V equals certain real analytic function on Gamma with mathcal U , mathcal V positive and harmonic on Omega and vanishing on Gamma , and 3) when S(z) Phi(z, overline z ) on Gamma , with Phi a holomorphic function of two variables. It turns out the boundary piece Gamma can be, respectively, anything from just C 1 to real analytic to, regular except finitely many points, or regular except for a measure zero set.


Micromirror total internal reflection microscopy for high performance single particle tracking at interfaces. Single particle tracking has found broad applications in the life and physical sciences, enabling the observation and characterisation of nano and microscopic motion. Fluorescence based approaches are ideally suited for high background environments, such as tracking lipids or proteins in or on cells, due to superior background rejection. Scattering based detection is preferable when localisation precision and imaging speed are paramount due to the in principle infinite photon budget. Here, we show that micromirror based total internal reflection dark field microscopy enables background suppression previously only reported for interferometric scattering microscopy, resulting in nm localisation precision at 6 mu s exposure time for 20 nm gold nanoparticles with a 25 x 25 mu m 2 field of view. We demonstrate the capabilities of our implementation by characterizing sub nm deterministic flows of 20 nm gold nanoparticles at liquid liquid interfaces. Our results approach the optimal combination of background suppression, localisation precision and temporal resolution achievable with pure scattering based imaging and tracking of nanoparticles at regular interfaces.


The entrepreneurial logic of startup software development A study of 40 software startups. Context Software startups are an essential source of innovation and software intensive products. The need to understand product development in startups and to provide relevant support are highlighted in software research. While state of the art literature reveals how startups develop their software, the reasons why they adopt these activities are underexplored. Objective This study investigates the tactics behind software engineering (SE) activities by analyzing key engineering events during startup journeys. We explore how entrepreneurial mindsets may be associated with SE knowledge areas and with each startup case. Method Our theoretical foundation is based on causation and effectuation models. We conducted semi structured interviews with 40 software startups. We used two round open coding and thematic analysis to describe and identify entrepreneurial software development patterns. Additionally, we calculated an effectuation index for each startup case. Results We identified 621 events merged into 32 codes of entrepreneurial logic in SE from the sample. We found a systemic occurrence of the logic in all areas of SE activities. Minimum Viable Product (MVP), Technical Debt (TD), and Customer Involvement (CI) tend to be associated with effectual logic, while testing activities at different levels are associated with causal logic. The effectuation index revealed that startups are either effectuation driven or mixed logics driven. Conclusions Software startups fall into two types that differentiate between how traditional SE approaches may apply to them. Effectuation seems the most relevant and essential model for explaining and developing suitable SE practices for software startups.


A Fault Localization and Debugging Support Framework driven by Bug Tracking Data. Fault localization has been determined as a major resource factor in the software development life cycle. Academic fault localization techniques are mostly unknown and unused in professional environments. Although manual debugging approaches can vary significantly depending on bug type (e.g. memory bugs or semantic bugs), these differences are not reflected in most existing fault localization tools. Little research has gone into automated identification of bug types to optimize the fault localization process. Further, existing fault localization techniques leverage on historical data only for augmentation of suspiciousness rankings. This thesis aims to provide a fault localization framework by combining data from various sources to help developers in the fault localization process. To achieve this, a bug classification schema is introduced, benchmarks are created, and a novel fault localization method based on historical data is proposed.


Gagliardo Nirenberg inequalities in Lorentz type spaces and energy equality for the Navier Stokes system. In this paper, we derive some new Gagliardo Nirenberg type inequalities in Lorentz type spaces without restrictions on the second index of Lorentz norms, which generalize almost all known corresponding results. Our proof mainly relies on the Bernstein inequalities in Lorentz spaces, the embedding relation among various Lorentz type spaces, and Littlewood Paley decomposition techniques. In addition, we establish several novel criteria in terms of the velocity or the gradient of the velocity in Lorentz spaces for energy conservation of the 3D Navier Stokes equations. Particularly, we improve the classical Shinbrot's condition for energy balance to allow both the space time directions of the velocity to be in Lorentz spaces.


Game Theoretic Model Predictive Control with Data Driven Identification of Vehicle Model for Head to Head Autonomous Racing. Resolving edge cases in autonomous driving, head to head autonomous racing is getting a lot of attention from the industry and academia. In this study, we propose a game theoretic model predictive control (MPC) approach for head to head autonomous racing and data driven model identification method. For the practical estimation of nonlinear model parameters, we adopted the hyperband algorithm, which is used for neural model training in machine learning. The proposed controller comprises three modules 1) game based opponents' trajectory predictor, 2) high level race strategy planner, and 3) MPC based low level controller. The game based predictor was designed to predict the future trajectories of competitors. Based on the prediction results, the high level race strategy planner plans several behaviors to respond to various race circumstances. Finally, the MPC based controller computes the optimal control commands to follow the trajectories. The proposed approach was validated under various racing circumstances in an official simulator of the Indy Autonomous Challenge. The experimental results show that the proposed method can effectively overtake competitors, while driving through the track as quickly as possible without collisions.


Multiple Pilot Collaboration for Advanced Remote Intervention using Reinforcement Learning. The traditional master slave teleoperation relies on human expertise without correction mechanisms, resulting in excessive physical and mental workloads. To address these issues, a co pilot in the loop control framework is investigated for cooperative teleoperation. A deep deterministic policy gradient(DDPG) based agent is realised to effectively restore the master operators' intents without prior knowledge on time delay. The proposed framework allows for introducing an operator (i.e., co pilot) to generate commands at the slave side, whose weights are optimally assigned online through DDPG based arbitration, thereby enhancing the command robustness in the case of possible human operational errors. With the help of interval type 2(IT2) Takagi Sugeno (T S) fuzzy identification, force feedback can be reconstructed at the master side without a sense of delay, thus ensuring the telepresence performance in the force sensor free scenarios. Two experimental applications validate the effectiveness of the proposed framework.


Numerical analysis of a Neumann boundary control problem with a stochastic parabolic equation. This paper analyzes the discretization of a Neumann boundary control problem with a stochastic parabolic equation, where an additive noise occurs in the Neumann boundary condition. The convergence is established for general filtrations, and the convergence rate O( tau 1 4 epsilon h 1 2 epsilon ) is derived for the natural filtration of the Q Wiener process.


Smoothing effects and maximal H "older regularity for non autonomous Kolmogorov equations in infinite dimension. We prove smoothing properties and optimal Schauder type estimates for a class of nonautonomous evolution equations driven by time dependent Ornstein Uhlenbeck operators in a separable Hilbert space. They arise as Kolmogorov equations of linear nonautonomous stochastic differential equations with Gaussian noise.


On static and evolutionary homogenization in crystal plasticity for stratified composites. The starting point for this work is a static macroscopic model for a high contrast layered material in single slip finite crystal plasticity, identified in Christowiak Kreisbeck, Calc. Var. PDE (2017) as a homogenization limit via Gamma convergence. First, we analyze the minimizers of this limit model, addressing the question of uniqueness and deriving necessary conditions. In particular, it turns out that at least one of the defining quantities of an energetically optimal deformation, namely the rotation and the shear variable, is uniquely determined, and we identify conditions that give rise to a trivial material response in the sense of rigid body motions. The second part is concerned with extending the static homogenization to an evolutionary Gamma convergence type result for rate independent systems in specific scenarios, that is, under certain assumptions on the slip systems and suitable regularizations of the energies, where energetic and dissipative effects decouple in the limit. Interestingly, when the slip direction is aligned with the layered microstructure, the limiting system is purely energetic, which can be interpreted as a loss of dissipation through homogenization.


Leidenfrost levitation of a spherical particle above a liquid bath evolution of the vapour film morphology with particle size. We consider a spherical particle levitating above a liquid bath owing to the Leidenfrost effect, where the vapour of either the bath or sphere forms an insulating film whose pressure supports the sphere's weight. Starting from a reduced formulation based on a lubrication type approximation, we use matched asymptotics to describe the morphology of the vapour film assuming that the sphere is small relative to the capillary length (small Bond number) and that the densities of the bath and sphere are comparable. We find that this regime is comprised of two formally infinite sequences of distinguished limits which meet at an accumulation point, the limits being defined by the smallness of an intrinsic evaporation number relative to the Bond number. These sequences of limits reveal a surprisingly intricate evolution of the film morphology with increasing sphere size, starting from the formation of a neck bubble morphology typical of a Leidenfrost drop levitating above a flat solid substrate and ultimately reaching a uniform film morphology similar to that in the case of a large liquid drop levitating above a liquid bath.


A note on the multiplicities of the determinantal thickenings of maximal minors. Let S mathbb C x ij be a polynomial ring of m times n variables over mathbb C and let I be the determinantal ideal of maximal minors of S . Using the representation theoretic techniques introduced in arXiv 1305.1719, arXiv 1309.0617 and arXiv 1611.00415, we prove the existence of the generalized j multiplicities epsilon j(I) defined by Dao and Monta n o in arXiv 1705.05033. We will also give a closed formula of epsilon j(I) , which generalized the results in arXiv 1308.0582 and arXiv 1912.02917 in the maximal minors case.


Limit possible electric field in plasmon nanogap resonator. We propose the theory of the plasmon excited in ultra narrow plasmonic gap formed by a metal cylinder on a metal surface, that generates a huge resonant local electromagnetic field in optical frequencies. Resonance conditions are found. The maximum possible enhancement of the electric field in the nanogap is estimated as left E max right left E 0 right propto left varepsilon m right 3 varepsilon d 1 left( Im varepsilon m right) 2 A simple ultranarrow gaped resonator can be used for SERS sensing and infrared spectroscopy of adsorbed molecules. We assume that a plasmonic nanogap is simplest and most straightforward way to increase flexibility as well as sensitivity of the plasmon enhanced spectroscopes.


SA ConvONet Sign Agnostic Optimization of Convolutional Occupancy Networks. Surface reconstruction from point clouds is a fundamental problem in the computer vision and graphics community. Recent state of the arts solve this problem by individually optimizing each local implicit field during inference. Without considering the geometric relationships between local fields, they typically require accurate normals to avoid the sign conflict problem in overlapped regions of local fields, which severely limits their applicability to raw scans where surface normals could be unavailable. Although SAL breaks this limitation via sign agnostic learning, further works still need to explore how to extend this technique for local shape modeling. To this end, we propose to learn implicit surface reconstruction by sign agnostic optimization of convolutional occupancy networks, to simultaneously achieve advanced scalability to large scale scenes, generality to novel shapes, and applicability to raw scans in a unified framework. Concretely, we achieve this goal by a simple yet effective design, which further optimizes the pre trained occupancy prediction networks with an unsigned cross entropy loss during inference. The learning of occupancy fields is conditioned on convolutional features from an hourglass network architecture. Extensive experimental comparisons with previous state of the arts on both object level and scene level datasets demonstrate the superior accuracy of our approach for surface reconstruction from un orientated point clouds. The code is available at https github.com tangjiapeng SA ConvONet.


A note on mathbb Z gradings on the Grassmann algebra and Elementary Number Theory. Let E be the Grassmann algebra of an infinite dimensional vector space L over a field of characteristic zero. In this paper, we study the mathbb Z gradings on E having the form E E (r 1 ,r 2 , r 3 ) (v 1 ,v 2 , v 3 ) , in which each element of a basis of L has mathbb Z degree r 1 , r 2 , or r 3 . We provide a criterion for the support of this structure to coincide with a subgroup of the group mathbb Z , and we describe the graded identities for the corresponding gradings. We strongly use Elementary Number Theory as a tool, providing an interesting connection between this classical part of Mathematics, and PI Theory. Our results are generalizations of the approach presented in 11 .


MixQG Neural Question Generation with Mixed Answer Types. Asking good questions is an essential ability for both human and machine intelligence. However, existing neural question generation approaches mainly focus on the short factoid type of answers. In this paper, we propose a neural question generator, MixQG, to bridge this gap. We combine 9 question answering datasets with diverse answer types, including yes no, multiple choice, extractive, and abstractive answers, to train a single generative model. We show with empirical results that our model outperforms existing work in both seen and unseen domains and can generate questions with different cognitive levels when conditioned on different answer types. Our code is released and well integrated with the Huggingface library to facilitate various downstream applications.


Extending two families of maximum rank distance codes. In this paper we provide a large family of rank metric codes, which contains properly the codes recently found by Longobardi and Zanella (2021) and by Longobardi, Marino, Trombetti and Zhou (2021). These codes are mathbb F q 2t linear of dimension 2 in the space of linearized polynomials over mathbb F q 2t , where t is any integer greater than 2 , and we prove that they are maximum rank distance codes. For t ge 5 , we determine their equivalence classes and these codes turn out to be inequivalent to any other construction known so far, and hence they are really new.


Invariance Through Inference. We introduce a general approach, called Invariance through Inference, for improving the test time performance of an agent in deployment environments with unknown perceptual variations. Instead of producing invariant visual features through interpolation, invariance through inference turns adaptation at deployment time into an unsupervised learning problem. This is achieved in practice by deploying a straightforward algorithm that tries to match the distribution of latent features to the agent's prior experience, without relying on paired data. Although simple, we show that this idea leads to surprising improvements on a variety of adaptation scenarios without access to deployment time rewards, including changes in scene content, camera poses, and lighting conditions. We present results on challenging domains including distractor control suite and sim to real transfer for image based robot manipulation.


Some new results on bar visibility of digraphs. Visibility representation of digraphs was introduced by Axenovich, Beveridge, Hutch inson, and West ( emph SIAM J. Discrete Math. bf 27 (3) (2013) 1429 1449) as a natural generalization of t bar visibility representation of undirected graphs. A it t bar visibility representation of a digraph G assigns each vertex at most t horizontal bars in the plane so that there is an arc xy in the digraph if and only if some bar for x "sees" some bar for y above it along an unblocked vertical strip with positive width. The it visibility number b(G) is the least t such that G has a t bar visibility representation. In this paper, we solve several problems about b(G) posed by Axenovich et al. and prove that determining whether the bar visibility number of a digraph is 2 is NP complete.


The linear and nonlinear inverse Compton scattering between microwaves and electrons in a resonant cavity. In a free space, the Sunyaev Zel'dovich (SZ) effect is a small spectral distortion of the cosmic microwave background (CMB) spectrum caused by inverse Compton scattering of microwave background photons from energetic electrons in the plasma. However, the microwave does not propagate with a plane waveform in a resonant cavity, the inverse Compton scattering process is a little different from that in a free space. By taking the Fourier expansion of the microwave field in the cavity, the coefficients of the first order and the higher order terms describe the local space effect on the linear and nonlinear inverse Compton scattering respectively. With our theoretical results, the linear or nonlinear inverse Compton scattering cross section between microwave photons and electrons has important applications on the energy calibration of the extremely energetic electron beam, the sources of the terahertz waves, the extreme ultra violet (EUV) waves or the mid infrared beams.


Challenges in Net Neutrality Violation Detection A Case Study of Wehe Tool and Improvements. We consider the problem of detecting deliberate traffic discrimination on the Internet. Given the complex nature of the Internet, detection of deliberate discrimination is not easy to detect, and tools developed so far suffer from various limitations. We study challenges in detecting the violations (focusing on the HTTPS traffic) and discuss possible mitigation approaches. We focus on Wehe,' the most recent tool developed to detect net neutrality violations. Wehe hosts traffic from all services of interest in a common server and replays them to mimic the behavior of the traffic from original servers. Despite Wehe's vast utility and possible influences over policy decisions, its mechanisms are not yet validated by others. In this work, we highlight critical weaknesses in Wehe where its replay traffic is not being correctly classified as intended services by the network middleboxes. We validate this observation using a commercial traffic shaper. We propose a new method in which the SNI parameter is set appropriately in the initial TLS handshake to overcome this weakness. Using commercial traffic shapers, we validate that SNI makes the replay traffic gets correctly classified as the intended traffic by the middleboxes. Our new approach thus provides a more realistic method for detecting neutrality violations of HTTPS traffic.


On some results of Agelas concerning the GRH and of Vassilev Missana concerning the prime zeta function. A recent paper by Ag 'elas Generalized Riemann Hypothesis, 2019, hal 00747680v3 claims to prove the Generalized Riemann Hypothesis (GRH) and, as a special case, the Riemann Hypothesis (RH). We show that the proof given by Ag 'elas contains an error. In particular, Lemma 2.3 of Ag 'elas is false. This Lemma 2.3 is a generalisation of Theorem 1 of Vassilev Missana A note on prime zeta function and Riemann zeta function, Notes on Number Theory and Discrete Mathematics, 22, 4 (2016), 12 15 . We show by several independent methods that Theorem 1 of Vassilev Missana is false. We also show that Theorem 2 of Vassilev Missana is false. This note has two aims. The first aim is to alert other researchers to these errors so they do not rely on faulty results in their own work. The second aim is pedagogical we hope to show how these errors could have been detected earlier, which may suggest how similar errors can be avoided, or at least detected at an early stage.


On the Cauchy problem for acoustic waves in hereditary fluids decay properties and inviscid limits. In this paper, we investigate some qualitative properties of solutions to the Moore Gibson Thompson (MGT) equation and the Jordan MGT (JMGT) equation with memory of type I in the whole space mathbb R n , which are the fundamental models for acoustic waves in relaxing hereditary fluids. First of all, we study sharp estimates of solutions to the viscous and inviscid MGT equation with memory, where regularity loss decay properties appear in the inviscid case. Then, not only formal expansion of solution with respect to the small sound diffusivity but also rigorous justification of inviscid limit in L infty ( 0, infty) times mathbb R n) are derived by WKB analysis. Concerning the viscous JMGT equation of Kuznetsov type and Westervelt type in hereditary fluids, we prove global (in time) solvability and obtain some estimates of them. This paper studies acoustic waves in hereditary fluids from some different viewpoints comparing with the previous researches.


Graph Neural Networks for Natural Language Processing A Survey. Deep learning has become the dominant approach in coping with various tasks in Natural LanguageProcessing (NLP). Although text inputs are typically represented as a sequence of tokens, there isa rich variety of NLP problems that can be best expressed with a graph structure. As a result, thereis a surge of interests in developing new deep learning techniques on graphs for a large numberof NLP tasks. In this survey, we present a comprehensive overview onGraph Neural Networks(GNNs) for Natural Language Processing. We propose a new taxonomy of GNNs for NLP, whichsystematically organizes existing research of GNNs for NLP along three axes graph construction,graph representation learning, and graph based encoder decoder models. We further introducea large number of NLP applications that are exploiting the power of GNNs and summarize thecorresponding benchmark datasets, evaluation metrics, and open source codes. Finally, we discussvarious outstanding challenges for making the full use of GNNs for NLP as well as future researchdirections. To the best of our knowledge, this is the first comprehensive overview of Graph NeuralNetworks for Natural Language Processing.


Research trends, challenges, and emerging topics of digital forensics A review of reviews. Due to its critical role in cybersecurity, digital forensics has received significant attention from researchers and practitioners alike. The ever increasing sophistication of modern cyberattacks is directly related to the complexity of evidence acquisition, which often requires the use of several technologies. To date, researchers have presented many surveys and reviews on the field. However, such articles focused on the advances of each particular domain of digital forensics individually. Therefore, while each of these surveys facilitates researchers and practitioners to keep up with the latest advances in a particular domain of digital forensics, the global perspective is missing. Aiming to fill this gap, we performed a qualitative review of reviews in the field of digital forensics, determined the main topics on digital forensics topics and identified their main challenges. Our analysis provides enough evidence to prove that the digital forensics community could benefit from closer collaborations and cross topic research, since it is apparent that researchers and practitioners are trying to find solutions to the same problems in parallel, sometimes without noticing it.


Metrics with positive constant curvature and modular differential equations. In this paper, we consider the problem when a differential equation y"(z) Q(z)y(z) is Fuchsian on H and apparent on H, where Q(z) is a meromorphic modular form of weight 4 on SL(2,Z) and H denotes the complex upper half plane. Such a problem is closely related to the problem of the existence of a conformal metric with curvature 1 2 on H.


The Approximation Ratio of the k Opt Heuristic for the Euclidean Traveling Salesman Problem. The k Opt heuristic is a simple improvement heuristic for the Traveling Salesman Problem. It starts with an arbitrary tour and then repeatedly replaces k edges of the tour by k other edges, as long as this yields a shorter tour. We will prove that for 2 dimensional Euclidean Traveling Salesman Problems with n cities the approximation ratio of the k Opt heuristic is Theta( log n log log n) . This improves the upper bound of O( log n) given by Chandra, Karloff, and Tovey in 1999 and provides for the first time a non trivial lower bound for the case k ge 3 . Our results not only hold for the Euclidean norm but extend to arbitrary p norms.


Explicit rank one constructions for irrational rotations. For each it well approximable irrational theta , we provide an explicit rank one construction of the e 2 pi i theta rotation R theta on the circle Bbb T . This solves "almost surely" a problem by del Junco. For it every irrational theta , we construct explicitly a rank one transformation with an eigenvalue e 2 pi i theta . For every irrational theta , two infinite sigma finite invariant measures mu theta and mu theta ' on Bbb T are constructed explicitly such that ( Bbb T, mu theta, R theta) is it rigid and of rank one and ( Bbb T, mu theta', R theta) is of it zero type and of rank one. The centralizer of the latter system consists of just the powers of R theta . Some versions of the aforementioned results are proved under an extra condition on boundedness of the sequence of cuts in the rank one construction.


A combinatorial procedure for tilting mutation. Tilting mutation is a way of producing new tilting complexes from old ones replacing only one indecomposable summand. In this paper, we give a purely combinatorial procedure for performing tilting mutation of suitable algebras. As an application, we recreate a result due to Ladkani, which states that the path algebra of a quiver shaped like a line (with certain relations) is derived equivalent to the path algebra of a quiver shaped like a rectangle. We will do this by producing an explicit series of tilting mutations going between the two algebras.


Quantum inspired Multimodal Fusion for Video Sentiment Analysis. We tackle the crucial challenge of fusing different modalities of features for multimodal sentiment analysis. Mainly based on neural networks, existing approaches largely model multimodal interactions in an implicit and hard to understand manner. We address this limitation with inspirations from quantum theory, which contains principled methods for modeling complicated interactions and correlations. In our quantum inspired framework, the word interaction within a single modality and the interaction across modalities are formulated with superposition and entanglement respectively at different stages. The complex valued neural network implementation of the framework achieves comparable results to state of the art systems on two benchmarking video sentiment analysis datasets. In the meantime, we produce the unimodal and bimodal sentiment directly from the model to interpret the entangled decision.


A Computational Information Criterion for Particle Tracking with Sparse or Noisy Data. Traditional probabilistic methods for the simulation of advection diffusion equations (ADEs) often overlook the entropic contribution of the discretization, e.g., the number of particles, within associated numerical methods. Many times, the gain in accuracy of a highly discretized numerical model is outweighed by its associated computational costs or the noise within the data. We address the question of how many particles are needed in a simulation to best approximate and estimate parameters in one dimensional advective diffusive transport. To do so, we use the well known Akaike Information Criterion (AIC) and a recently developed correction called the Computational Information Criterion (COMIC) to guide the model selection process. Random walk and mass transfer particle tracking methods are employed to solve the model equations at various levels of discretization. Numerical results demonstrate that the COMIC provides an optimal number of particles that can describe a more efficient model in terms of parameter estimation and model prediction compared to the model selected by the AIC even when the data is sparse or noisy, the sampling volume is not uniform throughout the physical domain, or the error distribution of the data is non IID Gaussian.


Integral points in orbits in characteristic p . We prove a characteristic p version of a theorem of Silverman on integral points in orbits over number fields and establish a primitive prime divisor theorem for polynomials in this setting. We provide some applications of these results, including a finite index theorem for arboreal representations coming from quadratic polynomials over function fields of odd characteristic.


Accurate and efficient hydrodynamic analysis of structures with sharp edges by the Extended Finite Element Method (XFEM) 2D studies. Achieving accurate numerical results of hydrodynamic loads based on the potential flow theory is very challenging for structures with sharp edges, due to the singular behavior of the local flow velocities. In this paper, we introduce the Extended Finite Element Method (XFEM) to solve fluid structure interaction problems involving sharp edges on structures. Four different FEM solvers, including conventional linear and quadratic FEMs as well as their corresponding XFEM versions with local enrichment by singular basis functions at sharp edges, are implemented and compared. To demonstrate the accuracy and efficiency of the XFEMs, a thin flat plate in an infinite fluid domain and a forced heaving rectangle at the free surface, both in two dimensions, will be studied. For the flat plate, the mesh convergence studies are carried out for both the velocity potential in the fluid domain and the added mass, and the XFEMs show apparent advantages thanks to their local enhancement at the sharp edges. Three different enrichment strategies are also compared, and suggestions will be made for the practical implementation of the XFEM. For the forced heaving rectangle, the linear and 2nd order mean wave loads are studied. Our results confirm the previous conclusion in the literature that it is not difficult for a conventional numerical model to obtain convergent results for added mass and damping coefficients. However, when the 2nd order mean wave loads requiring the computation of velocity components are calculated via direct pressure integration, it takes a tremendously large number of elements for the conventional FEMs to get convergent results. On the contrary, the numerical results of XFEMs converge rapidly even with very coarse meshes, especially for the quadratic XFEM.


Fully Differentiable and Interpretable Model for VIO with 4 Trainable Parameters. Monocular visual inertial odometry (VIO) is a critical problem in robotics and autonomous driving. Traditional methods solve this problem based on filtering or optimization. While being fully interpretable, they rely on manual interference and empirical parameter tuning. On the other hand, learning based approaches allow for end to end training but require a large number of training data to learn millions of parameters. However, the non interpretable and heavy models hinder the generalization ability. In this paper, we propose a fully differentiable, interpretable, and lightweight monocular VIO model that contains only 4 trainable parameters. Specifically, we first adopt Unscented Kalman Filter as a differentiable layer to predict the pitch and roll, where the covariance matrices of noise are learned to filter out the noise of the IMU raw data. Second, the refined pitch and roll are adopted to retrieve a gravity aligned BEV image of each frame using differentiable camera projection. Finally, a differentiable pose estimator is utilized to estimate the remaining 4 DoF poses between the BEV frames. Our method allows for learning the covariance matrices end to end supervised by the pose estimation loss, demonstrating superior performance to empirical baselines. Experimental results on synthetic and real world datasets demonstrate that our simple approach is competitive with state of the art methods and generalizes well on unseen scenes.


Detecting Suspicious Events in Fast Information Flows. We describe a computational feather light and intuitive, yet provably efficient algorithm, named HALFADO. HALFADO is designed for detecting suspicious events in a high frequency stream of complex entries, based on a relatively small number of examples of human judgement. Operating a sufficiently accurate detection system is vital for em assisting teams of human experts in many different areas of the modern digital society. These systems have intrinsically a far reaching normative effect, and public knowledge of the workings of such technology should be a human right. On a conceptual level, the present approach extends one of the most classical learning algorithms for classification, inheriting its theoretical properties. It however works in a semi supervised way integrating human and computational intelligence. On a practical level, this algorithm transcends existing approaches (expert systems) by managing and boosting their performance into a single global detector. We illustrate HALFADO's efficacy on two challenging applications (1) for detecting em hate speech messages in a flow of text messages gathered from a social media platform, and (2) for a Transaction Monitoring System (TMS) in FinTech detecting fraudulent transactions in a stream of financial transactions. This algorithm illustrates that contrary to popular belief advanced methods of machine learning need not require neither advanced levels of computation power nor expensive annotation efforts.


Intersection Patterns in Optimal Binary (5,3) Doubling Subspace Codes. Subspace codes are collections of subspaces of a projective space such that any two subspaces satisfy a pairwise minimum distance criterion. Recent results have shown that it is possible to construct optimal (5,3) subspace codes from pairs of partial spreads in the projective space mathrm PG (4,q) over the finite field mathbb F q , termed doubling codes. We have utilized a complete classification of maximal partial line spreads in mathrm PG (4,2) in literature to establish the types of the spreads in the doubling code instances obtained from two recent constructions of optimum (5,3) q codes, restricted to mathbb F 2 . Further we present a new characterization of a subclass of binary doubling codes based on the intersection patterns of key subspaces in the pair of constituent spreads.


Existence of Solutions for overline partial Equation in Sobolev Spaces of Negative Index. Let Omega be a strictly pseudoconvex domain in mathbb C n with C k 2 boundary, k geq 1 . We construct a overline partial solution operator (depending on k ) that gains frac12 derivative in the Sobolev space H s,p ( Omega) for any 1 p infty and s frac 1 p k . If the domain is C infty , then there exists a overline partial solution operator that gains frac12 derivative in H s,p ( Omega) for all s in mathbb R . We obtain our solution operators through the method of homotopy formula a new feature is the construction of anti derivative operators'' on distributions defined on bounded Lipschitz domains.


Theory and Practice of Algorithm Engineering. There is an ongoing debate in computer science how algorithms should best be studied. Some scholars have argued that experimental evaluations should be conducted, others emphasize the benefits of formal analysis. We believe that this debate less of a question of either or, because both views can be integrated into an overarching framework. It is the ambition of this paper to develop such a framework of algorithm engineering with a theoretical foundation in the philosophy of science. We take the empirical nature of algorithm engineering as a starting point. Our theoretical framework builds on three areas discussed in the philosophy of science ontology, epistemology and methodology. In essence, ontology describes algorithm engineering as being concerned with algorithmic problems, algorithmic tasks, algorithm designs and algorithm implementations. Epistemology describes the body of knowledge of algorithm engineering as a collection of prescriptive and descriptive knowledge, residing in World 3 of Popper's Three Worlds model. Methodology refers to the steps how we can systematically enhance our knowledge of specific algorithms. In this context, we identified seven validity concerns and discuss how researchers can respond to falsification. Our framework has important implications for researching algorithms in various areas of computer science.


TreeGCN ED Encoding Point Cloud using a Tree Structured Graph Network. Point cloud is an efficient way of representing and storing 3D geometric data. Deep learning algorithms on point clouds are time and memory efficient. Several methods such as PointNet and FoldingNet have been proposed for processing point clouds. This work proposes an autoencoder based framework to generate robust embeddings for point clouds by utilizing hierarchical information using graph convolution. We perform multiple experiments to assess the quality of embeddings generated by the proposed encoder architecture and visualize the t SNE map to highlight its ability to distinguish between different object classes. We further demonstrate the applicability of the proposed framework in applications like 3D point cloud completion and Single image based 3D reconstruction.


Co polarised Deformations of Gauduchon Calabi Yau partial bar partial Manifolds and Deformation of p SKT h partial bar partial Manifolds. The main result of this paper is to study the local deformations of Calabi Yau partial bar partial manifold that are co polarised by the Gauduchon metric by considering the subfamily of co polarised fibres by the class of Aeppli De Rham Gauduchon cohomology of Gauduchon metric given at the beginning on the central fibre. In the latter part, we prove that the p SKT h partial bar partial property is deformation open by constructing and studying a new notion called hp Hermitian symplectic ( hp HS) form.


Realizing spatiotemporal effective media for acoustic metamaterials. The effective medium representation is fundamental in providing a performance to design approach for many devices based on metamaterials. While there are recent works in extending the effective medium concept into the temporal domain, a direct implementation is still missing. Here, we construct an acoustic metamaterial dynamically switching between two different configurations with a time varying convolution kernel, which can now incorporate both frequency dispersion of metamaterials and temporal modulation. We establish the effective medium formula in temporally averaging the compressibilities, densities and even Willis coupling parameters of the two configurations. A phase disorder between the modulation of different atoms is found negligible on the effective medium. Our realization enables a high level description of metamaterials in the spatiotemporal domain, making many recent proposals, such as magnet free non reciprocity, broadband slow light and Fresnel drag using spatiotemporal metamaterials possible for implementations in future.


Driving the Herd Search Engines as Content Influencers. In competitive search settings such as the Web, many documents' authors (publishers) opt to have their documents highly ranked for some queries. To this end, they modify the documents specifically, their content in response to induced rankings. Thus, the search engine affects the content in the corpus via its ranking decisions. We present a first study of the ability of search engines to drive pre defined, targeted, content effects in the corpus using simple techniques. The first is based on the herding phenomenon a celebrated result from the economics literature and the second is based on biasing the relevance ranking function. The types of content effects we study are either topical or touch on specific document properties length and inclusion of query terms. Analysis of ranking competitions we organized between incentivized publishers shows that the types of content effects we target can indeed be attained by applying our suggested techniques. These findings have important implications with regard to the role of search engines in shaping the corpus.


Video Based Inpatient Fall Risk Assessment A Case Study. Inpatient falls are a serious safety issue in hospitals and healthcare facilities. Recent advances in video analytics for patient monitoring provide a non intrusive avenue to reduce this risk through continuous activity monitoring. However, in bed fall risk assessment systems have received less attention in the literature. The majority of prior studies have focused on fall event detection, and do not consider the circumstances that may indicate an imminent inpatient fall. Here, we propose a video based system that can monitor the risk of a patient falling, and alert staff of unsafe behaviour to help prevent falls before they occur. We propose an approach that leverages recent advances in human localisation and skeleton pose estimation to extract spatial features from video frames recorded in a simulated environment. We demonstrate that body positions can be effectively recognised and provide useful evidence for fall risk assessment. This work highlights the benefits of video based models for analysing behaviours of interest, and demonstrates how such a system could enable sufficient lead time for healthcare professionals to respond and address patient needs, which is necessary for the development of fall intervention programs.