The Efficacy of the Flipped Classroom Technique in Undergraduate Mathematics Education A Review of the Research. The flipped classroom technique has recently been a focus of attention for many math instructors and pedagogical researchers. Although research on the subject has greatly increased in recent years, it is still debated whether the flipped classroom technique can significantly increase the overall success of students in undergraduate math courses. While there have been meta analyses that consider the efficacy of the technique across university disciplines and within other STEM fields, there has not yet been a systematic review within undergraduate math education. By analyzing the existing research and compiling the quantitative and qualitative data, this paper examines the efficacy of the flipped classroom technique in undergraduate math courses, ranging from introductory calculus to transition to proof courses, in regards to students' performance in the classes, perceptions of the technique, and associated self efficacy. This paper also introduces the current use of the technique and covers successful implementation methods. Additionally, it highlights the flipped classroom technique's potential for improving retention of members of underrepresented groups in math by increasing their sense of belonging as well as discusses the efficacy of the method in early proof based courses in regards to students' acquisition of sociomathematical norms.


Understanding the hand gestures using Convolutional Neural Networks and Generative Adversial Networks. In this paper, it is introduced a hand gesture recognition system to recognize the characters in the real time. The system consists of three modules real time hand tracking, training gesture and gesture recognition using Convolutional Neural Networks. Camshift algorithm and hand blobs analysis for hand tracking are being used to obtain motion descriptors and hand region. It is fairy robust to background cluster and uses skin color for hand gesture tracking and recognition. Furthermore, the techniques have been proposed to improve the performance of the recognition and the accuracy using the approaches like selection of the training images and the adaptive threshold gesture to remove non gesture pattern that helps to qualify an input pattern as a gesture. In the experiments, it has been tested to the vocabulary of 36 gestures including the alphabets and digits, and results effectiveness of the approach.


Complete convergence theorem for a two level contact process. We study a two level contact process. We think of fleas living on a species of animals. The animals are a supercritical contact process in mathbb Z d . The contact process acts as the random environment for the fleas. The fleas do not affect the animals, give birth at rate mu when they are living on a host animal, and die at rate delta when they do not have a host animal. The main result is that if the contact process is supercritical and the fleas survive with a positive probability then the complete convergence theorem holds. This is done using a block construction, so as a corollary we conclude that the fleas die out at their critical value.


Incentive Compatible Active Learning. We consider active learning under incentive compatibility constraints. The main application of our results is to economic experiments, in which a learner seeks to infer the parameters of a subject's preferences for example their attitudes towards risk, or their beliefs over uncertain events. By cleverly adapting the experimental design, one can save on the time spent by subjects in the laboratory, or maximize the information obtained from each subject in a given laboratory session but the resulting adaptive design raises complications due to incentive compatibility. A subject in the lab may answer questions strategically, and not truthfully, so as to steer subsequent questions in a profitable direction. We analyze two standard economic problems inference of preferences over risk from multiple price lists, and belief elicitation in experiments on choice over uncertainty. In the first setting, we tune a simple and fast learning algorithm to retain certain incentive compatibility properties. In the second setting, we provide an incentive compatible learning algorithm based on scoring rules with query complexity that differs from obvious methods of achieving fast learning rates only by subpolynomial factors. Thus, for these areas of application, incentive compatibility may be achieved without paying a large sample complexity price.


On the number of non G equivalent minimal abelian codes. Let G be a finite abelian group. Ferraz, Guerreiro and Polcino Milies prove that the number of G equivalence classes of minimal abelian codes is equal to the number of G isomorphism classes of subgroups for which corresponding quotients are cyclic. In this article, we prove that the notion of G isomorphism is equivalent to the notion of isomorphism on the set of all subgroups H of G with the property that G H is cyclic. As an application, we calculate the number of non G equivalent minimal abelian codes for some specific family of abelian groups. We also prove that the number of non G equivalent minimal abelian codes is equal to number of divisors of the exponent of G if and only if for each prime p dividing the order of G , the Sylow p subgroups of G are homocyclic.


Garland Recurrences. Partially ordered sets have received much attention in recent years, not just due to their usefulness in combinatorics and abstract algebra, but also due to their practical applications in fields ranging from chemistry to macroeconomics. The garland or double fence G N is a partially ordered set with 2N elements which generalizes the well known fence or zigzag poset. The main result of this paper is recurrence relations for enumerating the linear extensions of G N . These recurrences were then applied to prove divergence of the standard type G N generating series. When coded in Python, it provides a fast method for computing e(G n) for arbitrary n . The first 200 terms of this sequence are published online under OEIS A227656.


Weak convergence to the fractional Brownian sheet from a L 'evy sheet. In this paper, we show an approximation in law, in the space of the continuous functions on 0,1 2 , of two parameter Gaussian processes that can be represented as a Wiener type integral by processes constructed from processes that converge to the Brownian sheet. As an application, we obtain a sequence of processes constructed from a L 'evy sheet that converges in law towards the fractional Brownian sheet.


Relation Detection for Indonesian Language using Deep Neural Network Support Vector Machine. Relation Detection is a task to determine whether two entities are related or not. In this paper, we employ neural network to do relation detection between two named entities for Indonesian Language. We used feature such as word embedding, position embedding, POS Tag embedding, and character embedding. For the model, we divide the model into two parts Front part classifier (Convolutional layer or LSTM layer) and Back part classifier (Dense layer or SVM). We did grid search method of neural network hyper parameter and SVM. We used 6000 Indonesian sentences for training process and 1,125 for testing. The best result is 0.8083 on F1 Score using Convolutional Layer as front part and SVM as back part.


Personalized Early Stage Alzheimer's Disease Detection A Case Study of President Reagan's Speeches. Alzheimer s disease (AD) related global healthcare cost is estimated to be 1 trillion by 2050. Currently, there is no cure for this disease however, clinical studies show that early diagnosis and intervention helps to extend the quality of life and inform technologies for personalized mental healthcare. Clinical research indicates that the onset and progression of Alzheimer s disease lead to dementia and other mental health issues. As a result, the language capabilities of patient start to decline. In this paper, we show that machine learning based unsupervised clustering of and anomaly detection with linguistic biomarkers are promising approaches for intuitive visualization and personalized early stage detection of Alzheimer s disease. We demonstrate this approach on 10 year s (1980 to 1989) of President Ronald Reagan s speech data set. Key linguistic biomarkers that indicate early stage AD are identified. Experimental results show that Reagan had early onset of Alzheimer s sometime between 1983 and 1987. This finding is corroborated by prior work that analyzed his interviews using a statistical technique. The proposed technique also identifies the exact speeches that reflect linguistic biomarkers for early stage AD.


A Two Phase Method for Solving Continuous Rank One Quadratic Knapsack Problems. In this paper, we propose a two phase algorithm for solving continuous rank one quadratic knapsack problems (R1QKP). In particular, we study the solution structure of the problem without the knapsack constraint. We propose an O(n log n) algorithm in this case. We then use the solution structure to propose an O(n 2 log n) algorithm that finds an interval containing the optimal value of the Lagrangian dual of R1QKP. In the second phase, we solve the restricted Lagrangian dual problem using a traditional single variable optimization method. We perform a computational test on random instances and compare our algorithm with the general solver CPLEX.


Only Time Can Tell Discovering Temporal Data for Temporal Modeling. Understanding temporal information and how the visual world changes over time is a fundamental ability of intelligent systems. In video understanding, temporal information is at the core of many current challenges, including compression, efficient inference, motion estimation or summarization. However, in current video datasets it has been observed that action classes can often be recognized without any temporal information from a single frame of video. As a result, both benchmarking and training in these datasets may give an unintentional advantage to models with strong image understanding capabilities, as opposed to those with strong temporal understanding. In this paper we address this problem head on by identifying action classes where temporal information is actually necessary to recognize them and call these "temporal classes". Selecting temporal classes using a computational method would bias the process. Instead, we propose a methodology based on a simple and effective human annotation experiment. We remove just the temporal information by shuffling frames in time and measure if the action can still be recognized. Classes that cannot be recognized when frames are not in order are included in the temporal Dataset. We observe that this set is statistically different from other static classes, and that performance in it correlates with a network's ability to capture temporal information. Thus we use it as a benchmark on current popular networks, which reveals a series of interesting facts. We also explore the effect of training on the temporal dataset, and observe that this leads to better generalization in unseen classes, demonstrating the need for more temporal data. We hope that the proposed dataset of temporal categories will help guide future research in temporal modeling for better video understanding.


The action of the mapping class group on metrics of positive scalar curvature. We present a rigidity theorem for the action of the mapping class group pi 0( mathrm Diff (M)) on the space mathcal R (M) of metrics of positive scalar curvature for high dimensional manifolds M . This result is applicable to a great number of cases, for example to simply connected 6 manifolds and high dimensional spheres. Our proof is fairly direct, using results from parametrised Morse theory, the 2 index theorem and computations on certain metrics on the sphere. We also give a non triviality criterion and a classification of the action for simply connected 7 dimensional mathrm Spin manifolds.


Ultra sensitive Single beam Atom optical Magnetometer using Weak Measurement Method. Ultra sensitive measurement of the magneto optical rotation, due to interaction of linearly polarized light passing through room temperature Rb 85 atoms, in response to change in longitudinal magnetic field ( delta B z ) is demonstrated using the weak measurement method. The polarization rotation angle measurement sensitivity ( delta psi ) of 16 mu rad and hence of the magnetometer of 1 nT, achieved using the weak measurement method is better than the balanced optical polarimetry results by a factor of three. The improvement in the measurement sensitivity is realized via optical amplification of the polarization rotation angle via spin orbit coupled light beam field. The method is devoid of external rf modulation, allows for optimal tunability of sensitivity depending on the dynamic range of the applied magnetic field and the sensitivity can be further enhanced by operating in the Spin Exchange Relaxation Free regime of alkali spin polarization.


Adaptive and Momentum Methods on Manifolds Through Trivializations. Adaptive methods do not have a direct generalization to manifolds as the adaptive term is not invariant. Momentum methods on manifolds suffer from efficiency problems stemming from the curvature of the manifold. We introduce a framework to generalize adaptive and momentum methods to arbitrary manifolds by noting that for every differentiable manifold, there exists a radially convex open set that covers almost all the manifold. Being radially convex, this set is diffeomorphic to mathbb R n . This gives a natural generalization of any adaptive and momentum based algorithm to a set that covers almost all the manifold in an arbitrary manifolds. We also show how to extend these methods to the context of gradient descent methods with a retraction. For its implementation, we bring an approximation to the exponential of matrices that needs just of 5 matrix multiplications, making it particularly efficient on GPUs. In practice, we see that this family of algorithms closes the numerical gap created by an incorrect use of momentum and adaptive methods on manifolds. At the same time, we see that the most efficient algorithm of this family is given by simply pulling back the problem to the tangent space at the initial point via the exponential map.


The SAT CAS Method for Combinatorial Search with Applications to Best Matrices. In this paper, we provide an overview of the SAT CAS method that combines satisfiability checkers (SAT solvers) and computer algebra systems (CAS) to resolve combinatorial conjectures, and present new results vis a vis best matrices. The SAT CAS method is a variant of the Davis unicode 8211 Putnam unicode 8211 Logemann unicode 8211 Loveland operatorname DPLL (T) architecture, where the T solver is replaced by a CAS. We describe how the SAT CAS method has been previously used to resolve many open problems from graph theory, combinatorial design theory, and number theory, showing that the method has broad applications across a variety of fields. Additionally, we apply the method to construct the largest best matrices yet known and present new skew Hadamard matrices constructed from best matrices. We show the best matrix conjecture (that best matrices exist in all orders of the form r 2 r 1 ) which was previously known to hold for r leq6 also holds for r 7 . We also confirmed the results of the exhaustive searches that have been previously completed for r leq6 .


Large and moderate deviations principles and central limit theorem for the stochastic 3D primitive equations with gradient dependent noise. We establish the large deviations principle (LDP) and the moderate deviations principle (MDP) and an almost sure version of the central limit theorem (CLT) for the stochastic 3D viscous primitive equations driven by a multiplicative white noise allowing dependence on spatial gradient of solutions with initial data in H 2 . The LDP is established using the weak convergence approach of Budjihara and Dupuis and uniform version of the stochastic Gronwall lemma. The result corrects a minor technical issue in Z. Dong, J. Zhai, and R. Zhang Large deviations principles for 3D stochastic primitive equations, J. Differential Equations, 263(5) 3110 3146, 2017, and establishes the result for a more general noise. The MDP is established using a similar argument.


Fine Grained Entity Typing in Hyperbolic Space. How can we represent hierarchical information present in large type inventories for entity typing? We study the ability of hyperbolic embeddings to capture hierarchical relations between mentions in context and their target types in a shared vector space. We evaluate on two datasets and investigate two different techniques for creating a large hierarchical entity type inventory from an expert generated ontology and by automatically mining type co occurrences. We find that the hyperbolic model yields improvements over its Euclidean counterpart in some, but not all cases. Our analysis suggests that the adequacy of this geometry depends on the granularity of the type inventory and the way hierarchical relations are inferred.


PolyLinkR A linkage sensitive gene set enrichment R package. We introduce PolyLinkR, an R package for gene set enrichment analysis that implements a novel null model that accounts for linkage disequilibrium between genes belonging to the same gene set a potential cause of false positives that is often not controlled for in similar tools. Our benchmarks show that PolyLinkR has improved performance compared to two similar tools, achieving comparable power to detect enriched gene sets while producing less than one falsely detected gene set on average, even at high genetic clustering levels and nominal false discovery rates of 20 .


Progress in the measurement and reduction of thermal noise in optical coatings for gravitational wave detectors. Coating thermal noise is a fundamental limit for precision experiments based on optical and quantum transducers. In this review, after a brief overview of the techniques for coating thermal noise measurements, we present the latest world wide research activity on low noise coatings, with a focus on the results obtained at the Laboratoire des Mat ' e riaux Avanc ' e s. We report new updated values for the Ta 2 O 5 , Ta 2 O 5 TiO 2 and SiO 2 coatings of the Advanced LIGO, Advanced Virgo and KAGRA detectors, and new results from sputtered Nb 2 O 5 , TiO 2 Nb 2 O 5 , Ta 2 O 5 ZrO 2 , MgF 2 , AlF 3 and silicon nitride coatings. Amorphous silicon, crystalline coatings, high temperature deposition, multi material coatings and composite layers are also briefly discussed, together with the latest developments of structural analyses and models.


Extreme points and support points of families of harmonic Bloch mappings. In this paper, the main aim is to discuss the existence of the extreme points and support points of families of harmonic Bloch mappings and little harmonic Bloch mappings. First, in terms of the Bloch unit valued set, we prove a necessary condition for a harmonic Bloch mapping (resp. a little harmonic Bloch mapping) to be an extreme point of the unit ball of the normalized harmonic Bloch spaces (resp. the normalized little harmonic Bloch spaces) in the unit disk mathbb D . Then we show that a harmonic Bloch mapping f is a support point of the unit ball of the normalized harmonic Bloch spaces in mathbb D if and only if the Bloch unit valued set of f is not empty. We also give a characterization for the support points of the unit ball of the harmonic Bloch spaces in mathbb D .


MCEN Bridging Cross Modal Gap between Cooking Recipes and Dish Images with Latent Variable Model. Nowadays, driven by the increasing concern on diet and health, food computing has attracted enormous attention from both industry and research community. One of the most popular research topics in this domain is Food Retrieval, due to its profound influence on health oriented applications. In this paper, we focus on the task of cross modal retrieval between food images and cooking recipes. We present Modality Consistent Embedding Network (MCEN) that learns modality invariant representations by projecting images and texts to the same embedding space. To capture the latent alignments between modalities, we incorporate stochastic latent variables to explicitly exploit the interactions between textual and visual features. Importantly, our method learns the cross modal alignments during training but computes embeddings of different modalities independently at inference time for the sake of efficiency. Extensive experimental results clearly demonstrate that the proposed MCEN outperforms all existing approaches on the benchmark Recipe1M dataset and requires less computational cost.


A Note on Asymptotic Enumeration of Contingency Tables with Non Uniform Margins. In this short note, we compute the precise asymptotics for the number of contingency tables with non uniform margins. More precisely, for parameter n, delta, B,C 0 , we consider the set of matrices whose first n delta rows and columns have sum BCn and the rest n rows and columns have sum Cn . We compute the precise asymptotics of the cardinality of this set when B B c 1 sqrt 1 1 C using the maximal entropy methods developed by Barvinok and Hartigan.


On the additivity of strong homology for locally compact separable metric spaces. We show that it is consistent relative to a weakly compact cardinal that strong homology is additive and compactly supported within the class of locally compact separable metric spaces. This complements work of Marde v s i ' c and Prasolov showing that the Continuum Hypothesis implies that a countable sum of Hawaiian earrings witnesses the failure of strong homology to possess either of these properties. Our results build directly on work of Lambie Hanson and the second author which establishes the consistency, relative to a weakly compact cardinal, of mathrm lim s mathbf A 0 for all s geq 1 for a certain pro abelian group mathbf A we show that that work's arguments carry implications for the vanishing and additivity of the mathrm lim s functors over a substantially more general class of pro abelian groups indexed by mathbb N mathbb N .


The complete classification of empty lattice 4 simplices. An empty simplex is a lattice simplex with only its vertices as lattice points. Their classification in dimension three was completed by White in 1964. In dimension four, the same task was started in 1988 by Mori, Morrison, and Morrison, with their motivation coming from the close relationship between empty simplices and terminal quotient singularities. They conjectured a classification of empty simplices of prime volume, modulo finitely many exceptions. Their conjecture was proved by Sankaran (1990) with a simplified proof by Bober (2009). The same classification was claimed by Barile et al. in 2011 for simplices of non prime volume, but this statement was proved wrong by Blanco et al. (2016 ). In this article we complete the classification of 4 dimensional empty simplices. In doing so we correct and complete the classification claimed by Barile et al., and we also compute all the finitely many exceptions, by first proving an upper bound for their volume. The whole classification has One 3 parameter family, consisting of simplices of width equal to one. Two 2 parameter families (the one in Mori et al., plus a second new one). Forty six 1 parameter families (the 29 in Mori et al., plus 17 new ones). 2461 individual simplices not belonging to the above families, with volumes ranging between 29 and 419. We characterize the infinite families of empty simplices in terms of lower dimensional point configurations that they project to, with techniques that can be applied to higher dimensions and larger classes of lattice polytopes.


Joint Search of Data Augmentation Policies and Network Architectures. The common pipeline of training deep neural networks consists of several building blocks such as data augmentation and network architecture selection. AutoML is a research field that aims at automatically designing those parts, but most methods explore each part independently because it is more challenging to simultaneously search all the parts. In this paper, we propose a joint optimization method for data augmentation policies and network architectures to bring more automation to the design of training pipeline. The core idea of our approach is to make the whole part differentiable. The proposed method combines differentiable methods for augmentation policy search and network architecture search to jointly optimize them in the end to end manner. The experimental results show our method achieves competitive or superior performance to the independently searched results.


Point primitive generalised hexagons and octagons and projective linear groups. We discuss recent progress on the problem of classifying point primitive generalised polygons. In the case of generalised hexagons and generalised octagons, this has reduced the problem to primitive actions of almost simple groups of Lie type. To illustrate how the natural geometry of these groups may be used in this study, we show that if mathcal S is a finite thick generalised hexagon or octagon with G leqslant rm Aut ( mathcal S ) acting point primitively and the socle of G isomorphic to rm PSL n(q) where n geqslant 2 , then the stabiliser of a point acts irreducibly on the natural module. We describe a strategy to prove that such a generalised hexagon or octagon mathcal S does not exist.


A Graph theoretic Method to Define any Boolean Operation on Partitions. The lattice operations of join and meet were defined for set partitions in the nineteenth century, but no new logical operations on partitions were defined and studied during the twentieth century. Yet there is a simple and natural graph theoretic method presented here to define any n ary Boolean operation on partitions. An equivalent closure theoretic method is also defined. In closing, the question is addressed of why it took so long for all Boolean operations to be defined for partitions.


Generalized Whittaker quotients of Schwartz functions on G spaces. Let G be a reductive group over a local field F of characteristic zero, Archimedean or not. Let X be a G space. In this paper we study the existence of generalized Whittaker quotients for the space of Schwartz functions on X , considered as a representation of G . We show that the set of nilpotent elements of the dual space to the Lie algebra such that the corresponding generalized Whittaker quotient does not vanish contains the nilpotent part of the image of the moment map, and lies in the closure of this image. This generalizes recent results of Prasad and Sakellaridis. Applying our theorems to symmetric pairs (G,H) we show that there exists an infinite dimensional H distinguished representation of G if and only if the real reductive group corresponding to the pair (G,H) is non compact. For quasi split G we also extend to the Archimedean case the theorem of Prasad stating that there exists a generic H distinguished representation of G if and only if the real reductive group corresponding to the pair (G,H) is quasi split. In the non Archimedean case our result also gives rather sharp bounds on the wave front sets of distinguished representations. The results in the present paper can be used to recover many of the vanishing results on periods of automorphic forms proved by Ash Ginzburg Rallis. This follows from our Corollary H when combined with the restrictions on the Whittaker support of cuspidal automorphic representations proven in GGS21 .


PISTIS An Event Triggered Real Time Byzantine Resilient Protocol Suite. The accelerated digitalisation of society along with technological evolution have extended the geographical span of cyber physical systems. Two main threats have made the reliable and real time control of these systems challenging (i) uncertainty in the communication infrastructure induced by scale, and heterogeneity of the environment and devices and (ii) targeted attacks maliciously worsening the impact of the above mentioned communication uncertainties, disrupting the correctness of real time applications. This paper addresses those challenges by showing how to build distributed protocols that provide both real time with practical performance, and scalability in the presence of network faults and attacks, in probabilistic synchronous environments. We provide a suite of real time Byzantine protocols, which we prove correct, starting from a reliable broadcast protocol, called PISTIS, up to atomic broadcast and consensus. This suite simplifies the construction of powerful distributed and decentralized monitoring and control applications, including state machine replication. Extensive empirical simulations showcase PISTIS's robustness, latency, and scalability. For example, PISTIS can withstand message loss (and delay) rates up to 50 in systems with 49 nodes and provides bounded delivery latencies in the order of a few milliseconds.


Sparse approximate matrix matrix multiplication for density matrix purification with error control. We propose a method for strict error control in sparse approximate matrix matrix multiplication. The method combines an error bound and a parameter sweep to select an appropriate threshold value. The scheme for error control and the sparse approximate multiplication are implemented using the Chunks and Tasks parallel programming model. We demonstrate the performance of the method in parallel linear scaling electronic structure calculations using density matrix purification with rigorous error control.


Epidemic analysis of COVID 19 in China by dynamical modeling. The outbreak of novel coronavirus caused pneumonia (COVID 19) in Wuhan has attracted worldwide attention. Here, we propose a generalized SEIR model to analyze this epidemic. Based on the public data of National Health Commission of China from Jan. 20th to Feb. 9th, 2020, we reliably estimate key epidemic parameters and make predictions on the inflection point and possible ending time for 5 different regions. According to optimistic estimation, the epidemics in Beijing and Shanghai will end soon within two weeks, while for most part of China, including the majority of cities in Hubei province, the success of anti epidemic will be no later than the middle of March. The situation in Wuhan is still very severe, at least based on public data until Feb. 15th. We expect it will end up at the beginning of April. Moreover, by inverse inference, we find the outbreak of COVID 19 in Mainland, Hubei province and Wuhan all can be dated back to the end of December 2019, and the doubling time is around two days at the early stage.


Quantum stochasticity induced asymmetry in angular distribution of electrons in a quasi classical regime. Impacts of quantum stochasticity on the dynamics of an ultra relativistic electron beam head on colliding with a linearly polarized ultra intense laser pulse are theoretically investigated in a quasi classical regime. Generally, the angular distribution of the electron beam keeps symmetrically in transverse directions in this regime, even under the ponderomotive force of the laser pulse. Here we show that when the initial angular divergence Delta theta i lesssim 10 6 a 0 2 with a 0 being the normalized laser field amplitude, an asymmetric angular distribution of the electron beam arises due to the quantum stochasticity effect, via simulations employing Landau Lifshitz, quantum modified Landau Lifshitz equations, and quantum stochastic radiation reaction form to describe the radiative electron dynamics respectively. The asymmetry is robust against a variety of laser and electron parameters, providing an experimentally detectable signature for the nature of quantum stochasticity of photon emission with laser and electron beams currently available.


Comparing Bennequin type inequalities. The slice Bennequin inequality states an upper bound for the self linking number of a knot in terms of its four ball genus. The s Bennequin and tau Bennequin inequalities provide upper bounds on the self linking number of a knot in terms of the Rasmussen s invariant and the Ozsv 'ath Szab 'o tau invariant. We exhibit examples in which the difference between self linking number and four ball genus grows arbitrarily large, whereas the s Bennequin inequality and the tau Bennequin inequality are both sharp.


Multiscale modeling of vascularized tissues via non matching immersed methods. We consider a multiscale approach based on immersed methods for the efficient computational modeling of tissues composed of an elastic matrix (in two or three dimensions) and a thin vascular structure (treated as a co dimension two manifold) at a given pressure. We derive different variational formulations of the coupled problem, in which the effect of the vasculature can be surrogated in the elasticity equations via singular or hyper singular forcing terms. These terms only depend on information defined on co dimension two manifolds (such as vessel center line, cross sectional area, and mean pressure over cross section), thus drastically reducing the complexity of the computational model. We perform several numerical tests, ranging from simple cases with known exact solutions to the modeling of materials with random distributions of vessels. In the latter case, we use our immersed method to perform an in silico characterization of the mechanical properties of the effective biphasic material tissue via statistical simulations.


Recovering Trajectories of Unmarked Joints in 3D Human Actions Using Latent Space Optimization. Motion capture (mocap) and time of flight based sensing of human actions are becoming increasingly popular modalities to perform robust activity analysis. Applications range from action recognition to quantifying movement quality for health applications. While marker less motion capture has made great progress, in critical applications such as healthcare, marker based systems, especially active markers, are still considered gold standard. However, there are several practical challenges in both modalities such as visibility, tracking errors, and simply the need to keep marker setup convenient wherein movements are recorded with a reduced marker set. This implies that certain joint locations will not even be marked up, making downstream analysis of full body movement challenging. To address this gap, we first pose the problem of reconstructing the unmarked joint data as an ill posed linear inverse problem. We recover missing joints for a given action by projecting it onto the manifold of human actions, this is achieved by optimizing the latent space representation of a deep autoencoder. Experiments on both mocap and Kinect datasets clearly demonstrate that the proposed method performs very well in recovering semantics of the actions and dynamics of missing joints. We will release all the code and models publicly.


Compactness by coarse graining in long range lattice systems. We consider energies on a periodic set mathcal L of mathbb R d of the form sum i,j in mathcal L a varepsilon ij u i u j , defined on spin functions u i in 0,1 , and we suppose that the typical range of the interactions is R varepsilon with R varepsilon to infty , i.e., if i j le R varepsilon then a varepsilon ij ge c 0 . In a discrete to continuum analysis, we prove that the overall behaviour as varepsilon to 0 of such functionals is that of an interfacial energy. The proof is performed using a coarse graining procedure which associates to scaled functions defined on varepsilon mathcal L with equibounded energy a family of sets with equibounded perimeter. This agrees with the case of equibounded R varepsilon and can be seen as an extension of coerciveness result for short range interactions, but is different from that of other long range interaction energies, whose limit exits the class of surface energies. A computation of the limit energy is performed in the case mathcal L mathbb Z d .


Software Effort Estimation using Neuro Fuzzy Inference System Past and Present. Most important reason for project failure is poor effort estimation. Software development effort estimation is needed for assigning appropriate team members for development, allocating resources for software development, binding etc. Inaccurate software estimation may lead to delay in project, over budget or cancellation of the project. But the effort estimation models are not very efficient. In this paper, we are analyzing the new approach for estimation i.e. Neuro Fuzzy Inference System (NFIS). It is a mixture model that consolidates the components of artificial neural network with fuzzy logic for giving a better estimation.


Phase coherent asynchronous optical sampling system. Mutual phase coherence is the most crucial factor in asynchronous optical sampling system, and its enhancement is commonly achieved by phase locking both femtosecond lasers to a shared narrow linewidth cavity stabilized laser. Here we report such a system with a low residual optical phase jitter at a level of 0.04 rad in a Fourier frequency band from 1 Hz to 5 MHz around 1.55 mu m, corresponding to a timing jitter of 30 as. The residual phase jitter reaches 1 rad at a Fourier frequency between 0.06 Hz and 0.1 Hz, from which the phase coherence time is inferred at least 10 s. The multi heterodyne beats experimentally reveal a hardware limited phase coherence time of 8.15 s throughout the direct lasing spectral band.


cs.LG cs.IR cs.SI physics.data-an physics.soc-ph

Semi supervised classification on graphs using explicit diffusion dynamics. Classification tasks based on feature vectors can be significantly improved by including within deep learning a graph that summarises pairwise relationships between the samples. Intuitively, the graph acts as a conduit to channel and bias the inference of class labels. Here, we study classification methods that consider the graph as the originator of an explicit graph diffusion. We show that appending graph diffusion to feature based learning as an textit a posteriori refinement achieves state of the art classification accuracy. This method, which we call Graph Diffusion Reclassification (GDR), uses overshooting events of a diffusive graph dynamics to reclassify individual nodes. The method uses intrinsic measures of node influence, which are distinct for each node, and allows the evaluation of the relationship and importance of features and graph for classification. We also present diff GCN, a simple extension of Graph Convolutional Neural Network (GCN) architectures that leverages explicit diffusion dynamics, and allows the natural use of directed graphs. To showcase our methods, we use benchmark datasets of documents with associated citation data.


HushRelay A Privacy Preserving, Efficient, and Scalable Routing Algorithm for Off Chain Payments. Payment channel networks (PCN) are used in cryptocurrencies to enhance the performance and scalability of off chain transactions. Except for opening and closing of a payment channel, no other transaction requests accepted by a PCN are recorded in the Blockchain. Only the parties which have opened the channel will know the exact amount of fund left at a given instant. In real scenarios, there might not exist a single path which can enable transfer of high value payments. For such cases, splitting up the transaction value across multiple paths is a better approach. While there exists several approaches which route transactions via several paths, such techniques are quite inefficient, as the decision on the number of splits must be taken at the initial phase of the routing algorithm (e.g., SpeedyMurmur 42 ). Algorithms which do not consider the residual capacity of each channel in the network are susceptible to failure. Other approaches leak sensitive information, and are quite computationally expensive 28 . To the best of our knowledge, our proposed scheme HushRelay is an efficient privacy preserving routing algorithm, taking into account the funds left in each channel, while splitting the transaction value across several paths. Comparing the performance of our algorithm with existing routing schemes on real instances (e.g., Ripple Network), we observed that HushRelay attains a success ratio of 1, with an execution time of 2.4 sec. However, SpeedyMurmur 42 attains a success ratio of 0.98 and takes 4.74 sec when the number of landmarks is 6. On testing our proposed routing algorithm on the Lightning Network, a success ratio of 0.99 is observed, having an execution time of 0.15 sec, which is 12 times smaller than the time taken by SpeedyMurmur.


Suspicious Behavior Detection on Shoplifting Cases for Crime Prevention by Using 3D Convolutional Neural Networks. Crime generates significant losses, both human and economic. Every year, billions of dollars are lost due to attacks, crimes, and scams. Surveillance video camera networks are generating vast amounts of data, and the surveillance staff can not process all the information in real time. The human sight has its limitations, where the visual focus is among the most critical ones when dealing with surveillance. A crime can occur in a different screen segment or on a distinct monitor, and the staff may not notice it. Our proposal focuses on shoplifting crimes by analyzing special situations that an average person will consider as typical conditions, but may lead to a crime. While other approaches identify the crime itself, we instead model suspicious behavior the one that may occur before a person commits a crime by detecting precise segments of a video with a high probability to contain a shoplifting crime. By doing so, we provide the staff with more opportunities to act and prevent crime. We implemented a 3DCNN model as a video feature extractor and tested its performance on a dataset composed of daily action and shoplifting samples. The results are encouraging since it correctly identifies 75 of the cases where a crime is about to happen.


On Lattice Packings and Coverings of Asymmetric Limited Magnitude Balls. We construct integer error correcting codes and covering codes for the limited magnitude error channel with more than one error. The codes are lattices that pack or cover the space with the appropriate error ball. Some of the constructions attain an asymptotic packing covering density that is constant. The results are obtained via various methods, including the use of codes in the Hamming metric, modular B t sequences, 2 fold Sidon sets, and sets avoiding arithmetic progression.


Not Half Bad Exploring Half Precision in Graph Convolutional Neural Networks. With the growing significance of graphs as an effective representation of data in numerous applications, efficient graph analysis using modern machine learning is receiving a growing level of attention. Deep learning approaches often operate over the entire adjacency matrix as the input and intermediate network layers are all designed in proportion to the size of the adjacency matrix leading to intensive computation and large memory requirements as the graph size increases. It is therefore desirable to identify efficient measures to reduce both run time and memory requirements allowing for the analysis of the largest graphs possible. The use of reduced precision operations within the forward and backward passes of a deep neural network along with novel specialised hardware in modern GPUs can offer promising avenues towards efficiency. In this paper, we provide an in depth exploration of the use of reduced precision operations, easily integrable into the highly popular PyTorch framework, and an analysis of the effects of Tensor Cores on graph convolutional neural networks. We perform an extensive experimental evaluation of three GPU architectures and two widely used graph analysis tasks (vertex classification and link prediction) using well known benchmark and synthetically generated datasets. Thus allowing us to make important observations on the effects of reduced precision operations and Tensor Cores on computational and memory usage of graph convolutional neural networks often neglected in the literature.


Universal infinitesimal Hilbertianity of sub Riemannian manifolds. We prove that sub Riemannian manifolds are infinitesimally Hilbertian (i.e., the associated Sobolev space is Hilbert) when equipped with an arbitrary Radon measure. The result follows from an embedding of metric derivations into the space of square integrable sections of the horizontal bundle, which we obtain on all weighted sub Finsler manifolds. As an intermediate tool, of independent interest, we show that any sub Finsler distance can be monotonically approximated from below by Finsler ones. All the results are obtained in the general setting of possibly rank varying structures.


Oresme Polynomials and Their Derivatives. We study the problem of generalization of Oresme numbers with a new sequence of numbers called Oresme polynomials. Moreover, by using the matrix methods for Oresme polynomials, we obtain the identities including the general bilinear index reduction formula of these numbers. Further, Oresme polynomials that are natural extensions of the k Oresme numbers are introduced and some relations for the derivatives of these polynomials in the form of convolution are proved.


Positivity for quasi cluster algebras. We generalise the expansion formulae of Musiker, Schiffler and Williams, obtained for cluster algebras from orientable surfaces, to a larger class of coefficients which we call principal laminations. In doing so, for any quasi cluster algebra from a non orientable surface, we are able to obtain expansion formulae for each cluster variable with respect to any initial quasi triangulation T , and any choice of principal lamination. Moreover, generalising the separation of additions' formula of Fomin and Zelevinsky, we settle a conjecture of Lam and Pylyavskyy in the setting of quasi cluster algebras. Namely, we prove the positivity conjecture for quasi cluster algebras with respect to any choice of coefficients.


Filtered cocategories. We recall the notions of a graded cocategory, conilpotent cocategory, morphisms of such (cofunctors), coderivations and define their analogs in mathbb L filtered setting. The difference with the existing approaches we do not impose any restriction on Lambda modules of morphisms (unlike Fukaya and collaborators), we consider a wider class of filtrations than De Deken and Lowen (including directed groups mathbb L ). Results for completed filtered conilpotent cocategories include cofunctors and coderivations with value in completed tensor cocategory are described, a partial internal hom is constructed as the tensor cocategory of certain coderivation quiver, when the second argument is a completed tensor cocategory.


Drawing outer 1 planar graphs revisited. In a recent article (Auer et al, Algorithmica 2016) it was claimed that every outer 1 planar graph has a planar visibility representation of area O(n log n) . In this paper, we show that this is wrong There are outer 1 planar graphs that require Omega(n 2) area in any planar drawing. Then wegive a construction (using crossings, but preserving a given outer 1 planar embedding) that results in an orthogonal box drawing with O(n log n) area and at most two bends per edge.


Time Dilation Attacks on the Lightning Network. Lightning Network (LN) is a widely used network of payment channels enabling faster and cheaper Bitcoin transactions. In this paper, we outline three ways an attacker can steal funds from honest LN users. The attacks require dilating the time for victims to become aware of new blocks by eclipsing (isolating) victims from the network and delaying block delivery. While our focus is on the LN, time dilation attacks may be relevant to any second layer protocol that relies on a timely reaction. According to our measurements, it is currently possible to steal the total channel capacity by keeping a node eclipsed for as little as 2 hours. Since trust minimized Bitcoin light clients currently connect to a very limited number of random nodes, running just 500 Sybil nodes allows an attacker to Eclipse 47 of newly deployed light clients (and hence prime them for an attack). As for the victims running a full node, since they are often used by large hubs or service providers, an attacker may justify the higher Eclipse attack cost by stealing all their available liquidity. In addition, time dilation attacks neither require access to hashrate nor purchasing from a victim. Thus, this class of attacks is a more practical way of stealing funds via Eclipse attacks than previously anticipated double spending. We argue that simple detection techniques based on the slow block arrival alone are not effective, and implementing more sophisticated detection is not trivial. We suggest that a combination of anti Eclipse anti Sybil measures are crucial for mitigating time dilation attacks.


An application of medial limits to iterative functional equations. Assume that ( Omega, mathcal A,P) is a probability space, f colon 0,1 times Omega to 0,1 is a function such that f(0, omega) 0 , f(1, omega) 1 for every omega in Omega , g colon 0,1 to mathbb R is a bounded function such that g(0) g(1) 0 , and a,b in mathbb R . Applying medial limits we describe bounded solutions varphi colon 0,1 to mathbb R of the equation begin equation varphi(x) int Omega varphi(f(x, omega)) dP( omega) g(x) end equation satisfying the boundary conditions varphi(0) a and varphi(1) b .


Higher order generalized alpha methods for hyperbolic problems. The generalized alpha time marching method provides second order accuracy in time and controls the numerical dissipation in the high frequency region of the discrete spectrum. This method includes a wide range of time integrators. We increase the order of accuracy of the method while keeping the unconditional stability and the user control on the high frequency numerical dissipation. The dissipation is controlled by a single parameter as in the original method. Our high order schemes require simple modifications of the available implementations of the generalized alpha method.


Virtually nilpotent groups with finitely many orbits under automorphisms. Let G be a group. The orbits of the natural action of Aut(G) on G are called "automorphism orbits" of G , and the number of automorphism orbits of G is denoted by omega(G) . Let G be a virtually nilpotent group such that omega(G) infty . We prove that G K rtimes H where H is a torsion subgroup and K is a torsion free nilpotent radicable characteristic subgroup of G . Moreover, we prove that G ' D times Tor(G ' ) where D is a torsion free nilpotent radicable characteristic subgroup. In particular, if the maximum normal torsion subgroup tau(G) of G is trivial, then G ' is nilpotent.


The World is Not Binary Learning to Rank with Grayscale Data for Dialogue Response Selection. Response selection plays a vital role in building retrieval based conversation systems. Despite that response selection is naturally a learning to rank problem, most prior works take a point wise view and train binary classifiers for this task each response candidate is labeled either relevant (one) or irrelevant (zero). On the one hand, this formalization can be sub optimal due to its ignorance of the diversity of response quality. On the other hand, annotating grayscale data for learning to rank can be prohibitively expensive and challenging. In this work, we show that grayscale data can be automatically constructed without human effort. Our method employs off the shelf response retrieval models and response generation models as automatic grayscale data generators. With the constructed grayscale data, we propose multi level ranking objectives for training, which can (1) teach a matching model to capture more fine grained context response relevance difference and (2) reduce the train test discrepancy in terms of distractor strength. Our method is simple, effective, and universal. Experiments on three benchmark datasets and four state of the art matching models show that the proposed approach brings significant and consistent performance improvements.


L 2 decay for the linearized Landau equation with the specular boundary condition. In this paper, we develop an alternative approach to establish the L 2 decay estimate for the linearized Landau equation in a bounded domain with specular boundary condition. The proof is based on the methodology of proof by contradiction motivated by Guo, Comm. Pure Appl. Math., 55(9) 1104 1135, 2002 and Guo, Arch. Ration. Mech. Anal., 197(3) 713 809, 2010 .


Compact Variable Gap Undulator with Hydraulic Assist Driver. Following successful proof of concept experiments, we constructed compact varying gap undulator with Hydraulic Assist Driver. The 1.5m long undulator features a pure permanent magnet structure, period of 28.4 mm and a minimum gap of 6.75mm. The bench test of the device indicated excellent mechanical and magnetic performances. It demonstrated less than 3 deg RMS optical phase errors in a wide range of gap variation 1.0e 4 (or better) repeatability in normalized K und (dK K) from one gap variation to another 1.0e 4 RMS of dK K long term ( 24hrs) stability. In special mode, when the gap was varied in correlation with undulator temperature, undulator demonstrated dK K stability at the level 5.3e 5 RMS while the undulator temperature change was 0.4 degC. In this paper, we discuss the critical design components and criteria required for undulator mechanical stability and magnetic performance. We also describe our Lab View based control system governing the Hydraulic Assist Driver. Finally, we present the test setup and results.


Situational Awareness Enhanced through Social Media Analytics A Survey of First Responders. Social media data has been increasingly used to facilitate situational awareness during events and emergencies such as natural disasters. While researchers have investigated several methods to summarize, visualize or mine the data for analysis, first responders have not been able to fully leverage research advancements largely due to the gap between academic research and deployed, functional systems. In this paper, we explore the opportunities and barriers for the effective use of social media data from first responders' perspective. We present the summary of several detailed interviews with first responders on their use of social media for situational awareness. We further assess the impact of SMART a social media visual analytics system on first responder operations.


Onsager's Conjecture for the Incompressible Euler Equations in the H " o log Spaces C 0, alpha lambda( bar Omega ) . In this note we extend a 2018 result of Bardos and Titi cite BT to a new class of functional spaces C 0, alpha lambda( bar Omega ) . It is shown that weak solutions ,u , satisfy the energy equality provided that u in L 3((0,T) C 0, alpha lambda( bar Omega )) with alpha geq frac 1 3 and lambda 0 . The result is new for , alpha , frac 1 3 ,. Actually, a quite stronger result holds. For convenience we start by a similar extension of a 1994 result of Constantin, E, and Titi, cite CET , in the space periodic case. The proofs follow step by step those of the above authors. For the readers convenience, and completeness, proofs are presented in a quite complete form.


Combined plasma coil optimization algorithms. Combined plasma coil optimization approaches for designing stellarators are discussed and a new method for calculating free boundary equilibria is proposed. Four distinct categories of stellarator optimization, two of which are novel approaches, are the fixed boundary optimization, the generalized fixed boundary optimization, the quasi free boundary optimization, and the free boundary (coil) optimization. These are described using the multi region relaxed magnetohydrodynmics (MRxMHD) energy functional, the Biot Savart integral, the coil penalty functional and the virtual casing integral, and their derivatives. The proposed free boundary equilibrium calculation differs from existing methods in how the boundary value problem is posed, and for the new approach it seems that there is not an associated energy minimization principle because a non symmetric functional arises. We propose to solve the weak formulation of this problem using a spectral Galerkin method, and this will reduce the free boundary equilibrium calculation to something comparable to a fixed boundary calculation. In our discussion of combined plasma coil optimization algorithms, we emphasize the importance of the stability matrix.


Monochromatic Triangles, Intermediate Matrix Products, and Convolutions. The most studied linear algebraic operation, matrix multiplication, has surprisingly fast O(n omega) time algorithms for omega 2.373 . On the other hand, the ( min, ) matrix product which is at the heart of many fundamental graph problems such as APSP, has received only minor improvements over its brute force cubic running time and is widely conjectured to require n 3 o(1) time. There is a plethora of matrix products and graph problems whose complexity seems to lie in the middle of these two problems. For instance, the Min Max matrix product, the Minimum Witness matrix product, APSP in directed unweighted graphs and determining whether an edge colored graph contains a monochromatic triangle, can all be solved in tilde O(n (3 omega) 2 ) time. A similar phenomenon occurs for convolution problems, where analogous intermediate problems can be solved in tilde O(n 1.5 ) time. Can one improve upon the running times for these intermediate problems, in either the matrix product or the convolution world? Or, alternatively, can one relate these problems to each other and to other key problems in a meaningful way? This paper makes progress on these questions by providing a network of fine grained reductions. We show for instance that APSP in directed unweighted graphs and Minimum Witness product can be reduced to both the Min Max product and a variant of the monochromatic triangle problem. We also show that a natural convolution variant of monochromatic triangle is fine grained equivalent to the famous 3SUM problem. As this variant is solvable in O(n 1.5 ) time and 3SUM is in O(n 2) time (and is conjectured to require n 2 o(1) time), our result gives the first fine grained equivalence between natural problems of different running times.


"Please enter your PIN" On the Risk of Bypass Attacks on Biometric Authentication on Mobile Devices. Nowadays, most mobile devices support biometric authentication schemes like fingerprint or face unlock. However, these probabilistic mechanisms can only be activated in combination with a second alternative factor, usually knowledge based authentication. In this paper, we show that this aspect can be exploited in a bypass attack. In this bypass attack, the attacker forces the user to "bypass" the biometric authentication by, for example, resetting the phone. This forces the user to enter an easy to observe passcode instead. We present the threat model and provide preliminary results of an online survey. Based on our results, we discuss potential countermeasures. We conclude that better feedback design and security optimized fallback mechanisms can help further improve the overall security of mobile unlock mechanisms while preserving usability.


A Deductive Verification Framework for Circuit building Quantum Programs. While recent progress in quantum hardware open the door for significant speedup in certain key areas, quantum algorithms are still hard to implement right, and the validation of such quantum programs is a challenge. Early attempts either suffer from the lack of automation or parametrized reasoning, or target high level abstract algorithm description languages far from the current de facto consensus of circuit building quantum programming languages. As a consequence, no significant quantum algorithm implementation has been currently verified in a scale invariant manner. We propose Qbricks, the first formal verification environment for circuit building quantum programs, featuring clear separation between code and proof, parametric specifications and proofs, high degree of proof automation and allowing to encode quantum programs in a natural way, i.e. close to textbook style. Qbricks builds on best practice of formal verification for the classical case and tailor them to the quantum case we bring a new domain specific circuit building language for quantum programs, namely Qbricks DSL, together with a new logical specification language Qbricks Spec and a dedicated Hoare style deductive verification rule named Hybrid Quantum Hoare Logic. Especially, we introduce and intensively build upon HOPS, a higher order extension of the recent path sum symbolic representation, used for both specification and automation. To illustrate the opportunity of Qbricks, we implement the first verified parametric implementations of several famous and non trivial quantum algorithms, including the quantum part of Shor integer factoring (Order Finding Shor OF), quantum phase estimation (QPE) a basic building block of many quantum algorithms, and Grover search. These breakthroughs were amply facilitated by the specification and automated deduction principles introduced within Qbricks.


The Dirichlet random walk. In this article we define and study a stochastic process on Galoisian covers of compact manifolds. The successive positions of the process are defined recursively by picking a point uniformly in the Dirichlet domain of the previous one. We prove a theorem a la Kesten for such a process the escape rate of the random walk is positive if and only if the cover is non amenable. We also investigate more in details the case where the deck group is Gromov hyperbolic, showing the almost sure convergence to the boundary of the trajectory as well as a central limit theorem for the escape rate


Set up for multi coincidence experiments of EUV to VIS photons and charged particles the solid angle maximization approach. The coincident detection of particles is a powerful method in experimental physics, enabling the investigation of a variety of projectile target interactions. The vast majority of coincidence experiments is performed with charged particles, as they can be guided by electric or magnetic fields to yield large detection probabilities. When a neutral species or a photon is one of the particles recorded in coincidence, its detection probability typically suffers from small solid angles. Here, we present two optical assemblies considerably enhancing the solid angle for EUV to VIS photon detection. The efficiency and versatility of these assemblies is demonstrated for electron photon coincidence detection, where electrons and photons emerge from fundamental processes after photoexcitation of gaseous samples by synchrotron radiation.


RNNLogic Learning Logic Rules for Reasoning on Knowledge Graphs. This paper studies learning logic rules for reasoning on knowledge graphs. Logic rules provide interpretable explanations when used for prediction as well as being able to generalize to other tasks, and hence are critical to learn. Existing methods either suffer from the problem of searching in a large search space (e.g., neural logic programming) or ineffective optimization due to sparse rewards (e.g., techniques based on reinforcement learning). To address these limitations, this paper proposes a probabilistic model called RNNLogic. RNNLogic treats logic rules as a latent variable, and simultaneously trains a rule generator as well as a reasoning predictor with logic rules. We develop an EM based algorithm for optimization. In each iteration, the reasoning predictor is first updated to explore some generated logic rules for reasoning. Then in the E step, we select a set of high quality rules from all generated rules with both the rule generator and reasoning predictor via posterior inference and in the M step, the rule generator is updated with the rules selected in the E step. Experiments on four datasets prove the effectiveness of RNNLogic.


An extension of Macdonald's identity for mathfrak sl n . Let n be an odd positive integer. In this short elementary note, we slightly extend Macdonald's identity for mathfrak sl n into a two variables identity in the spirit of Jacobi forms. The peculiarity of this work lies in its proof which uses Wronskians of vector valued theta functions. This complements the work of A. Milas towards modular Wronskians and denominator identities.


Temperature dependent Fowler Nordheim electron barrier height in SiO2 4H SiC MOS capacitors. This paper reports on the physical and temperature dependent electrical characterizations of the oxide semiconductor interface in MOS capacitors with a SiO2 layer deposited on 4H SiC using dichlorosilane and nitrogen based vapor precursors. The capacitors, subjected to a standard post deposition annealing process in N2O, exhibited an interface state density Dit 9.0 x 1011cm 2eV 1 below the conduction band edge. At room temperature, a barrier height (conduction band offset) of 2.8 eV was observed, along with the presence of negative charges in the insulator. The SiO2 insulating properties were evaluated by studying the experimental temperature dependence of the gate current. In particular, the temperature dependent electrical measurements showed a negative temperature coefficient of the Fowler Nordheim electron barrier height (dFB dT 0.98 meV deg C), which was very close to the expected value for an ideal SiO2 4H SiC system and much lower compared to the values reported for thermally grown SiO2. This smaller dependence of FB on the temperature and the increase of the current level with temperature in the transcharacteristics measured in the relative fabricated MOSFETs represents a clear advantage of our deposited SiO2 for the operation of MOSFET devices at high temperatures.


Grothendieck rings of towers of twisted generalized Weyl algebras. Twisted generalized Weyl algebras (TGWAs) A(R, sigma,t) are defined over a base ring R by parameters sigma and t , where sigma is an n tuple of automorphisms, and t is an n tuple of elements in the center of R . We show that, for fixed R and sigma , there is a natural algebra map A(R, sigma,tt') to A(R, sigma,t) otimes R A(R, sigma,t') . This gives a tensor product operation on modules, inducing a ring structure on the direct sum (over all t ) of the Grothendieck groups of the categories of weight modules for A(R, sigma,t) . We give presentations of these Grothendieck rings for n 1,2 , when R mathbb C z . As a consequence, for n 1 , any indecomposable module for a TGWA can be written as a tensor product of indecomposable modules over the usual Weyl algebra. In particular, any finite dimensional simple module over mathfrak sl 2 is a tensor product of two Weyl algebra modules.


The existence of a strongly polynomial time simplex algorithm for linear programming problems. It is well known how to clarify whether there is a polynomial time simplex algorithm for linear programming (LP) is the most challenging open problem in optimization and discrete geometry. This paper gives a affirmative answer to this open question by the use of the parametric analysis technique that we recently proposed. We show that there is a simplex algorithm whose number of pivoting steps does not exceed the number of variables of a LP problem.


Decentralized Runtime Verification for LTL Properties Using Global Clock. Runtime verification is the process of verifying critical behavioral properties in big complex systems, where formal verification is not possible due to state space explosion. There have been several attempts to design efficient algorithms for runtime verification. Most of these algorithms have a formally defined correctness property as a reference and check whether the system consistently meets the demands of the property or it fails to satisfy the property at some point in runtime. LTL is a commonly used language for defining these kinds of properties and is also the language of focus in this paper. One of the main target systems for runtime verification are distributed systems, where the system consists of a number of processes connecting to each other using asynchronous message passing. There are two approaches for runtime verification in distributed systems. The first one consists of centralized algorithms, where all processes send their events to a specific decision making process, which keeps track of all the events to evaluate the specified property. The second approach consists of distributed algorithms, where processes check the specified property collaboratively. Centralized algorithms are simple, but usually involve sending a large number of messages to the decision making process. They also suffer from the problem of single point of failure, as well as high traffic loads towards one process. Distributed algorithms, on the other hand, are usually more complicated, but once implemented, offer more efficiency. In this paper, we focus on a class of asynchronous distributed systems, where each process can change its own local state at any arbitrary time and completely independent of others, while all processes share a global clock. We propose a sound and complete algorithm for decentralized runtime verification of LTL properties in these systems.


Adaptive Serverless Learning. With the emergence of distributed data, training machine learning models in the serverless manner has attracted increasing attention in recent years. Numerous training approaches have been proposed in this regime, such as decentralized SGD. However, all existing decentralized algorithms only focus on standard SGD. It might not be suitable for some applications, such as deep factorization machine in which the feature is highly sparse and categorical so that the adaptive training algorithm is needed. In this paper, we propose a novel adaptive decentralized training approach, which can compute the learning rate from data dynamically. To the best of our knowledge, this is the first adaptive decentralized training approach. Our theoretical results reveal that the proposed algorithm can achieve linear speedup with respect to the number of workers. Moreover, to reduce the communication efficient overhead, we further propose a communication efficient adaptive decentralized training approach, which can also achieve linear speedup with respect to the number of workers. At last, extensive experiments on different tasks have confirmed the effectiveness of our proposed two approaches.


Detecting Medical Misinformation on Social Media Using Multimodal Deep Learning. In 2019, outbreaks of vaccine preventable diseases reached the highest number in the US since 1992. Medical misinformation, such as antivaccine content propagating through social media, is associated with increases in vaccine delay and refusal. Our overall goal is to develop an automatic detector for antivaccine messages to counteract the negative impact that antivaccine messages have on the public health. Very few extant detection systems have considered multimodality of social media posts (images, texts, and hashtags), and instead focus on textual components, despite the rapid growth of photo sharing applications (e.g., Instagram). As a result, existing systems are not sufficient for detecting antivaccine messages with heavy visual components (e.g., images) posted on these newer platforms. To solve this problem, we propose a deep learning network that leverages both visual and textual information. A new semantic and task level attention mechanism was created to help our model to focus on the essential contents of a post that signal antivaccine messages. The proposed model, which consists of three branches, can generate comprehensive fused features for predictions. Moreover, an ensemble method is proposed to further improve the final prediction accuracy. To evaluate the proposed model's performance, a real world social media dataset that consists of more than 30,000 samples was collected from Instagram between January 2016 and October 2019. Our 30 experiment results demonstrate that the final network achieves above 97 testing accuracy and outperforms other relevant models, demonstrating that it can detect a large amount of antivaccine messages posted daily. The implementation code is available at https github.com wzhings antivaccine detection.


Coercion, Consent, and Participation in Citizen Science. Throughout history, everyday people have contributed to science through a myriad of volunteer activities. This early participation required training and often involved mentorship from scientists or senior citizen scientists (or, as they were often called, gentleman scientists). During this learning process, participants learned how they and their data would be used both to advance science, and in some cases, advance the careers of professional collaborators. Modern, online citizen science, allows participation with just a few clicks, and people may participate without understanding what they are contributing to. Too often, they happily see what they are doing as the privilege of painting Tom Sawyer's fence without realizing they are actually being used as merely a means to a scientific end. This paper discusses the ethical dilemmas that plague modern citizen science, including the issues of informed consent, such as not requiring logins the issues of coercion inherent in mandatory classroom assignments requiring data submission and the issues of using people merely as a means to an end that are inherent in technonationalism, and projects that do not provide utility to the users beyond the knowledge they helped. This work is tested within the context of astronomy citizen science.


Few Shot Scene Adaptive Crowd Counting Using Meta Learning. We consider the problem of few shot scene adaptive crowd counting. Given a target camera scene, our goal is to adapt a model to this specific scene with only a few labeled images of that scene. The solution to this problem has potential applications in numerous real world scenarios, where we ideally like to deploy a crowd counting model specially adapted to a target camera. We accomplish this challenge by taking inspiration from the recently introduced learning to learn paradigm in the context of few shot regime. In training, our method learns the model parameters in a way that facilitates the fast adaptation to the target scene. At test time, given a target scene with a small number of labeled data, our method quickly adapts to that scene with a few gradient updates to the learned parameters. Our extensive experimental results show that the proposed approach outperforms other alternatives in few shot scene adaptive crowd counting. Code is available at https github.com maheshkkumar fscc.


Behavioral Repertoires for Soft Tensegrity Robots. Mobile soft robots offer compelling applications in fields ranging from urban search and rescue to planetary exploration. A critical challenge of soft robotic control is that the nonlinear dynamics imposed by soft materials often result in complex behaviors that are counterintuitive and hard to model or predict. As a consequence, most behaviors for mobile soft robots are discovered through empirical trial and error and hand tuning. A second challenge is that soft materials are difficult to simulate with high fidelity leading to a significant reality gap when trying to discover or optimize new behaviors. In this work we employ a Quality Diversity Algorithm running model free on a physical soft tensegrity robot that autonomously generates a behavioral repertoire with no a priori knowledge of the robot dynamics, and minimal human intervention. The resulting behavior repertoire displays a diversity of unique locomotive gaits useful for a variety of tasks. These results help provide a road map for increasing the behavioral capabilities of mobile soft robots through real world automation.


TrojanZoo Towards Unified, Holistic, and Practical Evaluation of Neural Backdoors. Neural backdoors represent one primary threat to the security of deep learning systems. The intensive research has produced a plethora of backdoor attacks defenses, resulting in a constant arms race. However, due to the lack of evaluation benchmarks, many critical questions remain under explored (i) what are the strengths and limitations of different attacks defenses? (ii) what are the best practices to operate them? and (iii) how can the existing attacks defenses be further improved? To bridge this gap, we design and implement TROJANZOO, the first open source platform for evaluating neural backdoor attacks defenses in a unified, holistic, and practical manner. Thus far, focusing on the computer vision domain, it has incorporated 8 representative attacks, 14 state of the art defenses, 6 attack performance metrics, 10 defense utility metrics, as well as rich tools for in depth analysis of the attack defense interactions. Leveraging TROJANZOO, we conduct a systematic study on the existing attacks defenses, unveiling their complex design spectrum both manifest intricate trade offs among multiple desiderata (e.g., the effectiveness, evasiveness, and transferability of attacks). We further explore improving the existing attacks defenses, leading to a number of interesting findings (i) one pixel triggers often suffice (ii) training from scratch often outperforms perturbing benign models to craft trojan models (iii) optimizing triggers and trojan models jointly greatly improves both attack effectiveness and evasiveness (iv) individual defenses can often be evaded by adaptive attacks and (v) exploiting model interpretability significantly improves defense robustness. We envision that TROJANZOO will serve as a valuable platform to facilitate future research on neural backdoors.


Visual Anomaly Detection in Event Sequence Data. Anomaly detection is a common analytical task that aims to identify rare cases that differ from the typical cases that make up the majority of a dataset. When applied to the analysis of event sequence data, the task of anomaly detection can be complex because the sequential and temporal nature of such data results in diverse definitions and flexible forms of anomalies. This, in turn, increases the difficulty in interpreting detected anomalies. In this paper, we propose an unsupervised anomaly detection algorithm based on Variational AutoEncoders (VAE) to estimate underlying normal progressions for each given sequence represented as occurrence probabilities of events along the sequence progression. Events in violation of their occurrence probability are identified as abnormal. We also introduce a visualization system, EventThread3, to support interactive exploration and interpretations of anomalies within the context of normal sequence progressions in the dataset through comprehensive one to many sequence comparison. Finally, we quantitatively evaluate the performance of our anomaly detection algorithm and demonstrate the effectiveness of our system through a case study.


The Monty Hall problem revisited. We propose a new approach to solve the classical Monty Hall problem in its general form. The solution is based on basic tools of probability theory, by defining three elementary events which decompose the sample space into a partition. The probabilities of each element of the partition allow us to compute the conditional and marginal probabilities of winning.


On Supergraphs Satisfying CMSO Properties. Let CMSO denote the counting monadic second order logic of graphs. We give a constructive proof that for some computable function f , there is an algorithm mathfrak A that takes as input a CMSO sentence varphi , a positive integer t , and a connected graph G of maximum degree at most Delta , and determines, in time f( varphi ,t) cdot 2 O( Delta cdot t) cdot G O(t) , whether G has a supergraph G' of treewidth at most t such that G' models varphi . The algorithmic metatheorem described above sheds new light on certain unresolved questions within the framework of graph completion algorithms. In particular, using this metatheorem, we provide an explicit algorithm that determines, in time f(d) cdot 2 O( Delta cdot d) cdot G O(d) , whether a connected graph of maximum degree Delta has a planar supergraph of diameter at most d . Additionally, we show that for each fixed k , the problem of determining whether G has an k outerplanar supergraph of diameter at most d is strongly uniformly fixed parameter tractable with respect to the parameter d . This result can be generalized in two directions. First, the diameter parameter can be replaced by any contraction closed effectively CMSO definable parameter mathbf p . Examples of such parameters are vertex cover number, dominating number, and many other contraction bidimensional parameters. In the second direction, the planarity requirement can be relaxed to bounded genus, and more generally, to bounded local treewidth.


A Block Permutation Based Encryption Scheme with Independent Processing of RGB Components. This paper proposes a block permutation based encryption (BPBE) scheme for the encryption then compression (ETC) system that enhances the color scrambling. A BPBE image can be obtained through four processes, positional scrambling, block rotation flip, negative positive transformation, and color component shuffling, after dividing the original image into multiple blocks. The proposed scheme scrambles the R, G, and B components independently in positional scrambling, block rotation flip, and negative positive transformation, by assigning different keys to each color component. The conventional scheme considers the compression efficiency using JPEG and JPEG 2000, which need a color conversion before the compression process by default. Therefore, the conventional scheme scrambles the color components identically in each process. In contrast, the proposed scheme takes into account the RGB based compression, such as JPEG LS, and thus can increase the extent of the scrambling. The resilience against jigsaw puzzle solver (JPS) can consequently be increased owing to the wider color distribution of the BPBE image. Additionally, the key space for resilience against brute force attacks has also been expanded exponentially. Furthermore, the proposed scheme can maintain the JPEG LS compression efficiency compared to the conventional scheme. We confirm the effectiveness of the proposed scheme by experiments and analyses.


How Did That Get In My Phone? Unwanted App Distribution on Android Devices. Android is the most popular operating system with billions of active devices. Unfortunately, its popularity and openness makes it attractive for unwanted apps, i.e., malware and potentially unwanted programs (PUP). In Android, app installations typically happen via the official and alternative markets, but also via other smaller and less understood alternative distribution vectors such as Web downloads, pay per install (PPI) services, backup restoration, bloatware, and IM tools. This work performs a thorough investigation on unwanted app distribution by quantifying and comparing distribution through different vectors. At the core of our measurements are reputation logs of a large security vendor, which include 7.9M apps observed in 12M devices between June and September 2019. As a first step, we measure that between 10 and 24 of users devices encounter at least one unwanted app, and compare the prevalence of malware and PUP. An analysis of the who installs who relationships between installers and child apps reveals that the Play market is the main app distribution vector, responsible for 87 of all installs and 67 of unwanted app installs, but it also has the best defenses against unwanted apps. Alternative markets distribute instead 5.7 of all apps, but over 10 of unwanted apps. Bloatware is also a significant unwanted app distribution vector with 6 of those installs. And, backup restoration is an unintentional distribution vector that may even allow unwanted apps to survive users' phone replacement. We estimate unwanted app distribution via PPI to be smaller than on Windows. Finally, we observe that Web downloads are rare, but provide a riskier proposition even compared to alternative markets.


The L infty deformations of associative Rota Baxter algebras and homotopy Rota Baxter operators. A relative Rota Baxter algebra is a triple (A, M, T) consisting of an algebra A , an A bimodule M , and a relative Rota Baxter operator T . Using Voronov's derived bracket and a recent work of Lazarev et al., we construct an L infty 1 algebra whose Maurer Cartan elements are precisely relative Rota Baxter algebras. By a standard twisting, we define a new L infty 1 algebra that controls Maurer Cartan deformations of a relative Rota Baxter algebra (A,M,T) . We introduce the cohomology of a relative Rota Baxter algebra (A, M, T) and study infinitesimal deformations in terms of this cohomology (in low dimensions). As an application, we deduce cohomology of coboundary skew symmetric infinitesimal bialgebras and discuss their infinitesimal deformations. Finally, we define homotopy relative Rota Baxter operators and find their relationship with homotopy dendriform algebras and homotopy pre Lie algebras.


Metric dimension of combinatorial game graphs. The study of combinatorial games is intimately tied to the study of graphs, as any game can be realized as a directed graph in which players take turns traversing the edges until reaching a sink. However, there have heretofore been few efforts towards analyzing game graphs using graph theoretic metrics and techniques. A set S of vertices in a graph G resolves G if every vertex in G is uniquely determined by the vector of its distances from the vertices in S . A metric basis of G is a smallest resolving set and the metric dimension is the cardinality of a metric basis. In this article we examine the metric dimension of the graphs resulting from some rulesets, including both short games (those which are sure to end after finitely many turns) and loopy games (those games for which the associated graph contains cycles).


Conversion Gain Enhancement in Standard CMOS Image Sensors. This paper focuses on the conversion gain (CG) of pixels implementing pinned photo diodes (PPD) and in pixel voltage follower in standard CMOS image sensor (CIS) process. An overview of the CG expression and its impact on the noise performance of the CIS readout chain is presented. CG enhancement techniques involving process refinements and pure circuit design and pixel scheme optimization are introduced. The implementation of these techniques in a 180 nm CIS process demonstrates a progressive enhancement of the CG by more than a factor 3 with respect to a standard reference pixel from the same foundry, allowing a better understanding of the different parasitic elements on the sense node capacitance and CG.


On the Binding Problem in Artificial Neural Networks. Contemporary neural networks still fall short of human level generalization, which extends far beyond our direct experiences. In this paper, we argue that the underlying cause for this shortcoming is their inability to dynamically and flexibly bind information that is distributed throughout the network. This binding problem affects their capacity to acquire a compositional understanding of the world in terms of symbol like entities (like objects), which is crucial for generalizing in predictable and systematic ways. To address this issue, we propose a unifying framework that revolves around forming meaningful entities from unstructured sensory inputs (segregation), maintaining this separation of information at a representational level (representation), and using these entities to construct new inferences, predictions, and behaviors (composition). Our analysis draws inspiration from a wealth of research in neuroscience and cognitive psychology, and surveys relevant mechanisms from the machine learning literature, to help identify a combination of inductive biases that allow symbolic information processing to emerge naturally in neural networks. We believe that a compositional approach to AI, in terms of grounded symbol like representations, is of fundamental importance for realizing human level generalization, and we hope that this paper may contribute towards that goal as a reference and inspiration.


On a question of Pietch. The main result is that a finite dimensional normed space embeds isometrically in ell p if and only if it has a discrete Levy p representation. This provides an alternative answer to a question raised by Pietch, and as a corollary, a simple proof of the fact that unless p is an even integer, the two dimensional Hilbert space ell 2 2 is not isometric to a subspace of ell p . The situation for ell q 2 with q neq 2 turns out to be much more restrictive. The main result combined with a result of Dor provides a proof of the fact that if q neq 2 then ell q 2 is not isometric to a subspace of ell p unless q p . Further applications concerning restrictions on the degree of smoothness of finite dimensional subspaces of ell p are included as well.


Nanopore Base Calling on the Edge. We developed a new base caller DeepNano coral for nanopore sequencing, which is optimized to run on the Coral Edge Tensor Processing Unit, a small USB attached hardware accelerator. To achieve this goal, we have designed new versions of two key components used in convolutional neural networks for speech recognition and base calling. In our components, we propose a new way of factorization of a full convolution into smaller operations, which decreases memory access operations, memory access being a bottleneck on this device. DeepNano coral achieves real time base calling during sequencing with the accuracy slightly better than the fast mode of the Guppy base caller and is extremely energy efficient, using only 10W of power. Availability https github.com fmfi compbio coral basecaller


Preventing Clean Label Poisoning using Gaussian Mixture Loss. Since 2014 when Szegedy et al. showed that carefully designed perturbations of the input can lead Deep Neural Networks (DNNs) to wrongly classify its label, there has been an ongoing research to make DNNs more robust to such malicious perturbations. In this work, we consider a poisoning attack called Clean Labeling poisoning attack (CLPA). The goal of CLPA is to inject seemingly benign instances which can drastically change decision boundary of the DNNs due to which subsequent queries at test time can be mis classified. We argue that a strong defense against CLPA can be embedded into the model during the training by imposing features of the network to follow a Large Margin Gaussian Mixture distribution in the penultimate layer. By having such a prior knowledge, we can systematically evaluate how unusual the example is, given the label it is claiming to be. We demonstrate our builtin defense via experiments on MNIST and CIFAR datasets. We train two models on each dataset one trained via softmax, another via LGM. We show that using LGM can substantially reduce the effectiveness of CLPA while having no additional overhead of data sanitization. The code to reproduce our results is available online.


Walking to Infinity Along Some Number Theory sequences. An interesting open conjecture asks whether it is possible to walk to infinity along primes, where each term in the sequence has one digit more than the previous. We present different greedy models for prime walks to predict the long time behavior of the trajectories of orbits, one of which has similar behavior to the actual backtracking one. Furthermore, we study the same conjecture for square free numbers, which is motivated by the fact that they have a strictly positive density, as opposed to primes. We introduce stochastic models and analyze the walks' expected length and frequency of digits added. Lastly, we prove that it is impossible to walk to infinity in other important number theoretical sequences or on primes in different bases.


Mather classes and conormal spaces of Schubert varieties in cominuscule spaces. Let G P be a complex cominuscule flag manifold. We prove a type independent formula for the torus equivariant Mather class of a Schubert variety in G P , and for a Schubert variety pulled back via the natural projection G Q to G P . We apply this to find formulae for the local Euler obstructions of Schubert varieties, and for the torus equivariant localizations of the conormal spaces of these Schubert varieties. We conjecture positivity properties for the local Euler obstructions and for the Schubert expansion of Mather classes. We check the conjectures in many cases, by utilizing results of Boe and Fu about the characteristic cycles of the intersection homology sheaves of Schubert varieties. We also conjecture that certain Mather polynomials' are unimodal in general Lie type, and log concave in type A.


Fractal geometry of Bedford McMullen carpets. In 1984 Bedford and McMullen independently introduced a family of self affine sets now known as emph Bedford McMullen carpets . Their work stimulated a lot of research in the areas of fractal geometry and non conformal dynamics. In this survey article we discuss some aspects of Bedford McMullen carpets, focusing mostly on dimension theory.


Fate of priority pharmaceuticals and their main metabolites and transformation products in microalgae based wastewater treatment systems. The present study evaluates the removal capacity of two high rate algae ponds (HRAPs) to eliminate 12 pharmaceuticals (PhACs) and 26 of their corresponding main metabolites and transformation products. The efficiency of these ponds, operating with and without primary treatment, was compared in order to study their capacity under the best performance conditions (highest solar irradiance). Concentrations of all the target compounds were determined in both water and biomass samples. Removal rates ranged from moderate (40 60 ) to high ( 60 ) for most of them, with the exception of the psychiatric drugs carbamazepine, the beta blocking agent metoprolol and its metabolite, metoprolol acid. O desmethylvenlafaxine, despite its very low biodegradability in conventional wastewater treatment plants, was removed to certain extent (13 39 ) Biomass concentrations suggested that bioadsorption bioaccumulation to microalgae biomass was decisive regarding the elimination of some non biodegradable compounds such as venlafaxine and its main metabolites. HRAP treatment with and without primary treatment did not yield significant differences in terms of PhACs removal efficiency. The implementation of HRAPs as secondary treatment is a viable alternative to CAS in terms of overall wastewater treatment (including organic micropollutants), with generally higher removal performances and implying a green, low cost and more sustainable technology.


Video SemNet Memory Augmented Video Semantic Network. Stories are a very compelling medium to convey ideas, experiences, social and cultural values. Narrative is a specific manifestation of the story that turns it into knowledge for the audience. In this paper, we propose a machine learning approach to capture the narrative elements in movies by bridging the gap between the low level data representations and semantic aspects of the visual medium. We present a Memory Augmented Video Semantic Network, called Video SemNet, to encode the semantic descriptors and learn an embedding for the video. The model employs two main components (i) a neural semantic learner that learns latent embeddings of semantic descriptors and (ii) a memory module that retains and memorizes specific semantic patterns from the video. We evaluate the video representations obtained from variants of our model on two tasks (a) genre prediction and (b) IMDB Rating prediction. We demonstrate that our model is able to predict genres and IMDB ratings with a weighted F 1 score of 0.72 and 0.63 respectively. The results are indicative of the representational power of our model and the ability of such representations to measure audience engagement.


LINSPECTOR WEB A Multilingual Probing Suite for Word Representations. We present LINSPECTOR WEB, an open source multilingual inspector to analyze word representations. Our system provides researchers working in low resource settings with an easily accessible web based probing tool to gain quick insights into their word embeddings especially outside of the English language. To do this we employ 16 simple linguistic probing tasks such as gender, case marking, and tense for a diverse set of 28 languages. We support probing of static word embeddings along with pretrained AllenNLP models that are commonly used for NLP downstream tasks such as named entity recognition, natural language inference and dependency parsing. The results are visualized in a polar chart and also provided as a table. LINSPECTOR WEB is available as an offline tool or at https linspector.ukp.informatik.tu darmstadt.de.


STaRFlow A SpatioTemporal Recurrent Cell for Lightweight Multi Frame Optical Flow Estimation. We present a new lightweight CNN based algorithm for multi frame optical flow estimation. Our solution introduces a double recurrence over spatial scale and time through repeated use of a generic "STaR" (SpatioTemporal Recurrent) cell. It includes (i) a temporal recurrence based on conveying learned features rather than optical flow estimates (ii) an occlusion detection process which is coupled with optical flow estimation and therefore uses a very limited number of extra parameters. The resulting STaRFlow algorithm gives state of the art performances on MPI Sintel and Kitti2015 and involves significantly less parameters than all other methods with comparable results.


The Hellan Herrmann Johnson method with curved elements. We study the finite element approximation of the Kirchhoff plate equation on domains with curved boundaries using the Hellan Herrmann Johnson (HHJ) method. We prove optimal convergence on domains with piecewise C k 1 boundary for k geq 1 when using a parametric (curved) HHJ space. Computational results are given that demonstrate optimal convergence and how convergence degrades when curved triangles of insufficient polynomial degree are used. Moreover, we show that the lowest order HHJ method on a polygonal approximation of the disk does not succumb to the classic Babu v s ka paradox, highlighting the geometrically non conforming aspect of the HHJ method.