q Moment Estimates for the Singular p Laplace Equation and Applications. We provide q moment estimates on annuli for weak solutions of the singular p Laplace equation where p and q are conjugates. We derive q uniform integrability for some critical parameter range. As a application, we derive a mass conservation as well as a weak convergence result for a larger critical parameter range. Concerning the latter point, we further provide a rate of convergence of order t q 1 of the solution in the q Wasserstein distance.


Matrix Chain Multiplication and Polygon Triangulation Revisited and Generalized. The it matrix chain multiplication problem is a classic problem that is widely taught to illustrate dynamic programming. The textbook solution runs in theta(n 3) time. However, there is a complex O(n log n) time method cite HU82 , based on triangulating convex polygons, and a description without proofs or implementation detail, of a much simpler O(n 2) time method cite YAO82 . There is also a linear time approximation algorithm with a small worst case error bound cite HU SHING1981 . In this paper, we make five contributions both to theory and pedagogy 1) We simplify the approach in cite YAO82 , and provide complete, correct proofs and implementation details, to establish the O(n 2) time bound. We believe that this exposition is simple enough for classroom use. 2) We extend the O(n 2) time bound to a natural class of polygon triangulation problems that generalizes the original polygon triangulation problem in cite HU82 . 3) We show that the worst case running time of the method in cite YAO82 , and of our version, is Theta(n 2) . 4) We show that in a natural variant of the original polygon triangulation problem, the approximation method of cite HU SHING1981 does not achieve the same error bound, but does achieve an error bound about twice the original bound. 5) We detail empirical testing, showing that on random data our variant runs in Theta(n log n) time, while the approach in cite YAO82 empirically takes Theta(n 2) time. Software for these tests is posted on the web.


Backward Monge Potential and Monge Ampere Equation. In this paper, Monge Kantorovich problem is considered in the infinite dimension on an abstract Wiener space (W, H, mu) , where H is Cameron Martin space and mu is the Gaussian measure. We study the regularity of optimal transport maps with a quadratic cost function assuming that both initial and target measures have a strictly positive Radon Nikodym density with respect to mu . Under conditions on the density functions, the forward and backward transport maps can be written in terms of Sobolev derivative of so called Monge Brenier maps, or Monge potentials. We show Sobolev regularity of the backward potential under the assumption that the density of the initial measure is log concave and prove that it solves Monge Ampere equation.


EfficientBERT Progressively Searching Multilayer Perceptron via Warm up Knowledge Distillation. Pre trained language models have shown remarkable results on various NLP tasks. Nevertheless, due to their bulky size and slow inference speed, it is hard to deploy them on edge devices. In this paper, we have a critical insight that improving the feed forward network (FFN) in BERT has a higher gain than improving the multi head attention (MHA) since the computational cost of FFN is 2 sim 3 times larger than MHA. Hence, to compact BERT, we are devoted to designing efficient FFN as opposed to previous works that pay attention to MHA. Since FFN comprises a multilayer perceptron (MLP) that is essential in BERT optimization, we further design a thorough search space towards an advanced MLP and perform a coarse to fine mechanism to search for an efficient BERT architecture. Moreover, to accelerate searching and enhance model transferability, we employ a novel warm up knowledge distillation strategy at each search stage. Extensive experiments show our searched EfficientBERT is 6.9 times smaller and 4.4 times faster than BERT rm BASE , and has competitive performances on GLUE and SQuAD Benchmarks. Concretely, EfficientBERT attains a 77.7 average score on GLUE emph test , 0.7 higher than MobileBERT rm TINY , and achieves an 85.3 74.5 F1 score on SQuAD v1.1 v2.0 emph dev , 3.2 2.7 higher than TinyBERT 4 even without data augmentation. The code is released at https github.com cheneydon efficient bert.


Hierarchical Similarity Learning for Language based Product Image Retrieval. This paper aims for the language based product image retrieval task. The majority of previous works have made significant progress by designing network structure, similarity measurement, and loss function. However, they typically perform vision text matching at certain granularity regardless of the intrinsic multiple granularities of images. In this paper, we focus on the cross modal similarity measurement, and propose a novel Hierarchical Similarity Learning (HSL) network. HSL first learns multi level representations of input data by stacked encoders, and object granularity similarity and image granularity similarity are computed at each level. All the similarities are combined as the final hierarchical cross modal similarity. Experiments on a large scale product retrieval dataset demonstrate the effectiveness of our proposed method. Code and data are available at https github.com liufh1 hsl.


A 4pi time of flight detector for the ND280 T2K upgrade. ND280 is a near detector of the T2K experiment which is located in the J PARC accelerator complex in Japan. After a decade of fruitful data taking, ND280 is scheduled for upgrade. The time of flight (ToF) detector, which is described in this article, is one of three new detectors that will be installed in the basket of ND280. The ToF detector has a modular structure. Each module represents an array of 20 plastic scintillator bars which are stacked in a plane of 2.4 x 2.2 m2 area. Six modules of similar construction will be assembled in a cube, thus providing an almost 4pi enclosure for an active neutrino target and two TPCs. The light emitted by scintillator is absorbed by arrays of large area silicon photo multipliers (SiPMs) which are attached to both ends of every bar. The readout of SiPMs, shaping and analog sum of individual SiPM signals within the array are performed by a discrete circuit amplifier. An average time resolution of about 0.14 ns is achieved for a single bar when measured with cosmic muons. The detector will be installed in the basket of ND280, where it will be used to veto particle originating outside the neutrino target, improve the particle identification and provide a cosmic trigger for calibration of detectors which are enclosed inside it.


KDLSQ BERT A Quantized Bert Combining Knowledge Distillation with Learned Step Size Quantization. Recently, transformer based language models such as BERT have shown tremendous performance improvement for a range of natural language processing tasks. However, these language models usually are computation expensive and memory intensive during inference. As a result, it is difficult to deploy them on resource restricted devices. To improve the inference performance, as well as reduce the model size while maintaining the model accuracy, we propose a novel quantization method named KDLSQ BERT that combines knowledge distillation (KD) with learned step size quantization (LSQ) for language model quantization. The main idea of our method is that the KD technique is leveraged to transfer the knowledge from a "teacher" model to a "student" model when exploiting LSQ to quantize that "student" model during the quantization training process. Extensive experiment results on GLUE benchmark and SQuAD demonstrate that our proposed KDLSQ BERT not only performs effectively when doing different bit (e.g. 2 bit sim 8 bit) quantization, but also outperforms the existing BERT quantization methods, and even achieves comparable performance as the full precision base line model while obtaining 14.9x compression ratio. Our code will be public available.


Surgical Gesture Recognition Based on Bidirectional Multi Layer Independently RNN with Explainable Spatial Feature Extraction. Minimally invasive surgery mainly consists of a series of sub tasks, which can be decomposed into basic gestures or contexts. As a prerequisite of autonomic operation, surgical gesture recognition can assist motion planning and decision making, and build up context aware knowledge to improve the surgical robot control quality. In this work, we aim to develop an effective surgical gesture recognition approach with an explainable feature extraction process. A Bidirectional Multi Layer independently RNN (BML indRNN) model is proposed in this paper, while spatial feature extraction is implemented via fine tuning of a Deep Convolutional Neural Network(DCNN) model constructed based on the VGG architecture. To eliminate the black box effects of DCNN, Gradient weighted Class Activation Mapping (Grad CAM) is employed. It can provide explainable results by showing the regions of the surgical images that have a strong relationship with the surgical gesture classification results. The proposed method was evaluated based on the suturing task with data obtained from the public available JIGSAWS database. Comparative studies were conducted to verify the proposed framework. Results indicated that the testing accuracy for the suturing task based on our proposed method is 87.13 , which outperforms most of the state of the art algorithms.


Sum GDoF of Symmetric Multi hop Interference Channel under Finite Precision CSIT using Aligned Images Sumset Inequalities. Aligned Images Sumset Inequalities are used in this work to study the Generalized Degrees of Freedom (GDoF) of the symmetric layered multi hop interference channel under the robust assumption that the channel state information at the transmitters (CSIT) is limited to finite precision. First, the sum GDoF value is characterized for the 2 times 2 times 2 setting that is comprised of 2 sources, 2 relays, and 2 destinations. It is shown that the sum GDoF do not improve even if perfect CSIT is allowed in the first hop, as long as the CSIT in the second hop is limited to finite precision. The sum GDoF characterization is then generalized to the 2 times 2 times cdots times 2 setting that is comprised of L hops. Remarkably, for large L , the GDoF value approaches that of the one hop broadcast channel that is obtained by full cooperation among the two transmitters of the last hop, with finite precision CSIT. Previous studies of multi hop interference networks either identified sophisticated GDoF optimal schemes under perfect CSIT, such as aligned interference neutralization and network diagonalization, that are powerful in theory but too fragile to be practical, or studied robust achievable schemes like classical amplify decode compress and forward without claims of information theoretic optimality. In contrast, under finite precision CSIT, we show that the benefits of fragile schemes are lost, while a combination of classical random coding schemes that are simpler and much more robust, namely a rate splitting between decode and forward and amplify and forward, is shown to be GDoF optimal. As such, this work represents another step towards bridging the gap between theory (optimality) and practice (robustness) with the aid of Aligned Images Sumset Inequalities.


Besov regularity for a class of singular or degenerate elliptic equations. Motivated by applications to congested traffic problems, we establish higher integrability results for the gradient of local weak solutions to the strongly degenerate or singular elliptic PDE mathrm div left(( vert nabla u vert 1) q 1 frac nabla u vert nabla u vert right) f , mathrm in , , Omega , where Omega is a bounded domain in mathbb R n for n geq2 , 1 q infty and left( , cdot , right) stands for the positive part. We assume that the datum f belongs to a suitable Sobolev or Besov space. The main novelty here is that we deal with the case of subquadratic growth, i.e. 1 q 2 , which has so far been neglected. In the latter case, we also prove the higher fractional differentiability of the solution to a variational problem, which is characterized by the above equation. For the sake of completeness, we finally give a Besov regularity result also in the case q geq2 .


alfonso Matlab package for nonsymmetric conic optimization. We present alfonso, an open source Matlab package for solving conic optimization problems over nonsymmetric convex cones. The implementation is based on the authors' corrected analysis of a primal dual interior point method of Skajaa and Ye. This method enables optimization over any convex cone as long as a logarithmically homogeneous self concordant barrier is available for the cone or its dual. This includes many nonsymmetric cones, for example, hyperbolicity cones and their duals (such as sum of squares cones), semidefinite and second order cone representable cones, power cones, and the exponential cone. Besides enabling the solution of problems which cannot be cast as optimization problems over a symmetric cone, it also offers performance advantages for problems whose symmetric cone programming representation requires a large number of auxiliary variables or has a special structure that can be exploited in the barrier computation. The worst case iteration complexity of alfonso is the best known for non symmetric cone optimization O( sqrt nu log(1 epsilon)) iterations to reach an epsilon optimal solution, where nu is the barrier parameter of the barrier function used in the optimization. alfonso can be interfaced with a Matlab function (supplied by the user) that computes the Hessian of a barrier function for the cone. For convenience, a simplified interface is also available to optimize over the direct product of cones for which a barrier function has already been built into the software. This interface can be easily extended to include new cones. Both interfaces are illustrated by solving linear programs. The oracle interface and the efficiency of alfonso are also demonstrated using a design of experiments problem in which the tailored barrier computation greatly decreases the solution time compared to using state of the art conic optimization software.


Power Participation in Digital Citizen Engagement in South African Local Government The Case of MOBISAM. A lack of service delivery and accountability are two characteristic challenges of numerous municipalities (local government) in South Africa. MobiSAM was introduced as a collaborative effort between a local university, civil society, residents, and local government to grow digital citizen engagement, facilitate two way communication between local government and its citizenry, and contribute to the improved provision of basic services. Through the course of the project, it became clear that power, with respect to knowledge, was at play in the interactions or lack thereof between local government and citizens. This work in progress paper begins the journey of exploration of the power knowledge dynamics at play in the MobiSAM project (using the SECI model and the Power Cube) by unpacking and understanding the nature of knowledge processed in the project and the associated knowledge creation processes that ensued between the different project stakeholders over time. The influence of power in determining the effective transfer of knowledge between key stakeholders of the project, for capacity building and organisational learning has emerged as an important issue in need of thorough investigation and critical analysis. This work in progress paper presents the preliminary framing of the research findings on the phases associated with the interplay of knowledge and power in the MobiSAM project, which are 1) Realisation, 2) Navigating Responsiveness, and 3) Emergence.


Enlargeable foliations and the monodromy groupoid. Let M be a spin manifold, the Dirac operator with coefficient in the universal flat Hilbert C ast pi 1(M) module determines a "Rosenberg index element" which, according to B.Hanke and T.Schick, subsumes the enlargeablility obstruction of positive scalar curvature on M . In this note, we generalize this result to the case of spin foliation. More precisely, given a foliation (M,F) with F spin, we shall define a foliation version of "Rosenberg index element" and prove that it is nonzero at the presence of compactly enlargeability of (M,F) .


Towards Universal Dense Retrieval for Open domain Question Answering. In open domain question answering, a model receives a text question as input and searches for the correct answer using a large evidence corpus. The retrieval step is especially difficult as typical evidence corpora have textit millions of documents, each of which may or may not have the correct answer to the question. Very recently, dense models have replaced sparse methods as the de facto retrieval method. Rather than focusing on lexical overlap to determine similarity, dense methods build an encoding function that captures semantic similarity by learning from a small collection of question answer or question context pairs. In this paper, we investigate dense retrieval models in the context of open domain question answering across different input distributions. To do this, first we introduce an entity rich question answering dataset constructed from Wikidata facts and demonstrate dense models are unable to generalize to unseen input question distributions. Second, we perform analyses aimed at better understanding the source of the problem and propose new training techniques to improve out of domain performance on a wide variety of datasets. We encourage the field to further investigate the creation of a single, universal dense retrieval model that generalizes well across all input distributions.


Improving Code Autocompletion with Transfer Learning. Software language models have achieved promising results predicting code completion usages, and several industry studies have described successful IDE integrations. Recently, accuracy in autocompletion prediction improved 12.8 from training on a real world dataset collected from programmers' IDE activity. But what if limited examples of IDE autocompletion in the target programming language are available for model training? In this paper, we investigate the efficacy of pretraining autocompletion models on non IDE, non autocompletion, and different language example code sequences. We find that these unsupervised pretrainings improve model accuracy by over 50 on very small fine tuning datasets and over 10 on 50k labeled examples. We confirm the real world impact of these pretrainings in an online setting through A B testing on thousands of IDE autocompletion users, finding that pretraining is responsible for increases of up to 6.63 autocompletion usage.


Broadband highly efficient nonlinear optical processes in on chip integrated lithium niobate microdisk resonators of Q factor above 10 8. We demonstrated broadband highly efficient optical nonlinear processes in on chip integrated lithium niobate (LN) microdisk resonators. The Q factors of the micro resonators fabricated by femtosecond laser writing and chemo mechanical polishing are reliably above 10 8, approaching the intrinsic material absorption limit of LN. Broadband nonlinear processes, including optical parametric oscillation (OPO), second harmonic generation (SHG), third harmonic generation, and fourth harmonic generation, were observed with ultrahigh efficiencies in the same LN microdisk without introducing domain inversion, thanks to the natural quasi phase matching and the dense spectral modes of the X cut LN microdisk with millimeter diameter. The threshold of OPO and the absolute conversion efficiency of SHG are 19.6 microwatt and 66 , both surpass the state of the art values among on chip LN micro resonators demonstrated so far. The broadband and highly efficient nonlinear frequency conversions achieved with the ultrahigh Q LN microdisk resonators promise high density integration of nonlinear photonic devices such as frequency convertors and entangled photon sources.


Des crit eres de transcendance inspir 'es par un texte de kolberg dat 'e de 1962. II. Transcendence criteria inspired by Kolberg's paper dated 1962. This is the second part of a note about Kolberg's proof that the values of the sums of a class of certain power series in x, for algebraic values of x, are transcendent. A method to find more such classes is presented and illustrated.


A Fourier transform for all generalized functions. Using the existence of infinite numbers k in the non Archimedean ring of Robinson Colombeau, we define the hyperfinite Fourier transform (HFT) by considering integration extended to k,k n instead of ( infty, infty) n . In order to realize this idea, the space of generalized functions we consider is that of generalized smooth functions (GSF), an extension of classical distribution theory sharing many nonlinear properties with ordinary smooth functions, like the closure with respect to composition, a good integration theory, and several classical theorems of calculus. Even if the final transform depends on k , we obtain a new notion that applies to all GSF, in particular to all Schwartz's distributions and to all Colombeau generalized functions, without growth restrictions. We prove that this FT generalizes several classical properties of the ordinary FT, and in this way we also overcome the difficulties of FT in Colombeau's settings. Differences in some formulas, such as in the transform of derivatives, reveal to be meaningful since allow to obtain also non tempered global unique solutions of differential equations.


Deformation cones of graph associahedra and nestohedra. We give the facet description of the deformation cones of graph associahedra and nestohedra, generalizing the classical parametrization of the family of deformed permutahedra by the cone of submodular functions. When the underlying building set is made of intervals, this yields in particular to the construction of kinematic nestohedra generalizing the kinematic associahedra that recently appeared in the theory of scattering amplitudes.


Artificial Intelligence Hybrid Deep Learning Model for Groundwater Level Prediction Using MLP ADAM. Groundwater is the largest storage of freshwater resources, which serves as the major inventory for most of the human consumption through agriculture, industrial, and domestic water supply. In the fields of hydrological, some researchers applied a neural network to forecast rainfall intensity in space time and introduced the advantages of neural networks compared to numerical models. Then, many researches have been conducted applying data driven models. Some of them extended an Artificial Neural Networks (ANNs) model to forecast groundwater level in semi confined glacial sand and gravel aquifer under variable state, pumping extraction and climate conditions with significant accuracy. In this paper, a multi layer perceptron is applied to simulate groundwater level. The adaptive moment estimation optimization algorithm is also used to this matter. The root mean squared error, mean absolute error, mean squared error and the coefficient of determination ( ) are used to evaluate the accuracy of the simulated groundwater level. Total value of and RMSE are 0.9458 and 0.7313 respectively which are obtained from the model output. Results indicate that deep learning algorithms can demonstrate a high accuracy prediction. Although the optimization of parameters is insignificant in numbers, but due to the value of time in modelling setup, it is highly recommended to apply an optimization algorithm in modelling.


Wireless Backhaul in 5G and Beyond Issues, Challenges and Opportunities. With the introduction of new technologies such as Unmanned Aerial Vehicle (UAV), High Altitude Platform Station (HAPS), Millimeter Wave (mmWave) frequencies, Massive Multiple Input Multiple Output (mMIMO), and beamforming, wireless backhaul is expected to be an integral part of the 5G networks. While this concept is nothing new, it was shortcoming in terms of performance compared to the fiber backhauling. However, with these new technologies, fiber is no longer the foremost technology for backhauling. With the projected densification of networks, wireless backhaul has become mandatory to use. There are still challenges to be tackled if wireless backhaul is to be used efficiently. Resource allocation, deployment, scheduling, power management and energy efficiency are some of these problems. Wireless backhaul also acts as an enabler for new technologies and improves some of the existing ones significantly. To name a few, rural connectivity, satellite communication, and mobile edge computing are some concepts for which wireless backhauling acts as an enabler. Small cell usage with wireless backhaul presents different security challenges. Governing bodies of cellular networks have standardization efforts going on especially for the Integrated Acces Backhaul (IAB) concept, and this is briefly mentioned. Finally, wireless backhaul is also projected to be an important part of the beyond 5G networks, and newly developed concepts such as cell free networking, ultra massive MIMO, and extremely dense network show this trend as well. In this survey, we present the aforementioned issues, challenges, opportunities, and applications of wireless backhaul in 5G, while briefly mentioning concepts related to wireless backhaul beyond 5G alongside with security and standardization issues.


Product set growth in Burnside groups. Given a periodic quotient of a torsion free hyperbolic group, we provide a fine lower estimate of the growth function of any sub semi group. This generalizes results of Razborov and Safin for free groups.


Intra Inter Camera Similarity for Unsupervised Person Re Identification. Most of unsupervised person Re Identification (Re ID) works produce pseudo labels by measuring the feature similarity without considering the distribution discrepancy among cameras, leading to degraded accuracy in label computation across cameras. This paper targets to address this challenge by studying a novel intra inter camera similarity for pseudo label generation. We decompose the sample similarity computation into two stage, i.e., the intra camera and inter camera computations, respectively. The intra camera computation directly leverages the CNN features for similarity computation within each camera. Pseudo labels generated on different cameras train the re id model in a multi branch network. The second stage considers the classification scores of each sample on different cameras as a new feature vector. This new feature effectively alleviates the distribution discrepancy among cameras and generates more reliable pseudo labels. We hence train our re id model in two stages with intra camera and inter camera pseudo labels, respectively. This simple intra inter camera similarity produces surprisingly good performance on multiple datasets, e.g., achieves rank 1 accuracy of 89.5 on the Market1501 dataset, outperforming the recent unsupervised works by 9 , and is comparable with the latest transfer learning works that leverage extra annotations.


Searching the Search Space of Vision Transformer. Vision Transformer has shown great visual representation power in substantial vision tasks such as recognition and detection, and thus been attracting fast growing efforts on manually designing more effective architectures. In this paper, we propose to use neural architecture search to automate this process, by searching not only the architecture but also the search space. The central idea is to gradually evolve different search dimensions guided by their E T Error computed using a weight sharing supernet. Moreover, we provide design guidelines of general vision transformers with extensive analysis according to the space searching process, which could promote the understanding of vision transformer. Remarkably, the searched models, named S3 (short for Searching the Search Space), from the searched space achieve superior performance to recently proposed models, such as Swin, DeiT and ViT, when evaluated on ImageNet. The effectiveness of S3 is also illustrated on object detection, semantic segmentation and visual question answering, demonstrating its generality to downstream vision and vision language tasks. Code and models will be available at https github.com microsoft Cream.


Effects of resonant magnetic perturbations on neutral beam heating in a tokamak. Effects of resonant magnetic perturbations (RMPs) on tangential neutral beam heating in the EAST tokamak are studied numerically. RMPs with linear resistive magnetohydrodynamics response are used in the modeling. A variety of representing configurations of RMP coil currents are examined and their effects on the NBI heating efficiency are compared, in order to find a parameter window where deleterious effects of RMPs on NBI heating efficiency are minimized. It is found that the internal redistribution of fast ions by RMPs induces local accumulation of fast ions, resulting in higher local fast ion pressure than the case without RMPs. It is also found that the toroidal phasing of the RMP with respect to the fast ion source has slight effects on the steady state radial profile of fast ions. The dependence of fast ion loss fraction on the RMP up down phase difference shows similar behavior as the dependence of the radial width of chaotic magnetic field on the phase difference. A statistical method of identifying resonances between RMPs and lost fast ions is proposed and the results indicate that some resonances between RMPs and lost passing particles may be of non integer fractional order, rather than the usual integer order.


Multilevel Knowledge Transfer for Cross Domain Object Detection. Domain shift is a well known problem where a model trained on a particular domain (source) does not perform well when exposed to samples from a different domain (target). Unsupervised methods that can adapt to domain shift are highly desirable as they allow effective utilization of the source data without requiring additional annotated training data from the target. Practically, obtaining sufficient amount of annotated data from the target domain can be both infeasible and extremely expensive. In this work, we address the domain shift problem for the object detection task. Our approach relies on gradually removing the domain shift between the source and the target domains. The key ingredients to our approach are (a) mapping the source to the target domain on pixel level (b) training a teacher network on the mapped source and the unannotated target domain using adversarial feature alignment and (c) finally training a student network using the pseudo labels obtained from the teacher. Experimentally, when tested on challenging scenarios involving domain shift, we consistently obtain significantly large performance gains over various recent state of the art approaches.


Nikolai Chebotaryov's "Problems in Modern Galois Theory". This is an English translation of Nikolai Chebotaryov's paper "Die Probleme der modernen Galoisschen Theorie" from 1932. An excerpt from this paper was given as a lecture at the International Congress of Mathematicians in Z "urich in 1932. With the lecture being given to commememorate the centennial of Evariste Galois' death, the paper is a broad survey of various contemporary problems in Galois Theory the author found represented the culminations of work done by Galois and his successors.


A stability result for translating space like graphs in Lorentz manifolds. In this paper, we investigate space like graphs defined over a domain Omega subset M n in the Lorentz manifold M n times mathbb R with the metric ds 2 sigma , where M n is a complete Riemannian n manifold with the metric sigma , Omega has piecewise smooth boundary, and mathbb R denotes the Euclidean 1 space. We can prove an interesting stability result for translating space like graphs in M n times mathbb R under a conformal transformation.


The Impact of Orography on the African Easterly Wave Stormtrack. We examined the sensitivity of African easterly waves (AEWs) to elevated terrain over North Africa using a numerical weather prediction model. We formed five ensembles of simulated AEW activity with orographic features independently reduced in four key regions. The ensemble members consisted of 10 consecutive AEW seasons simulated separately. From the ensembles, the southern AEW stormtrack was most sensitive to the reduction of the Ethiopian highlands. Energy budgets showed that diminished diabatic heating associated with precipitating convection was the likely driver of the weaker AEWs. Baroclinic overturning was the dominant pathway for this response. The northern AEW stormtrack was most sensitive to the reduction of the Hoggar and Tibesti mountains. In this case, a reduction in the vertical shear and diminished baroclinic energy conversions from the background state was associated with weaker AEWs. Through terrain reduction, our results provide a view of thermodynamic and dynamic feedback in AEWs that is complementary to what has been shown in past studies.


On a cover time problem on a dynamic graph with steps at random times. We introduce a cover time problem for random walks on dynamic graphs in which the graph expands in time and the walker moves at random times. Time to cover all nodes and number of returns to original states are analyzed in resulting model.


Evaluating Strategy Exploration in Empirical Game Theoretic Analysis. In empirical game theoretic analysis (EGTA), game models are extended iteratively through a process of generating new strategies based on learning from experience with prior strategies. The strategy exploration problem in EGTA is how to direct this process so to construct effective models with minimal iteration. A variety of approaches have been proposed in the literature, including methods based on classic techniques and novel concepts. Comparing the performance of these alternatives can be surprisingly subtle, depending sensitively on criteria adopted and measures employed. We investigate some of the methodological considerations in evaluating strategy exploration, defining key distinctions and identifying a few general principles based on examples and experimental observations. In particular, we emphasize the fact that empirical games create a space of strategies that should be evaluated as a whole. Based on this fact, we suggest that the minimum regret constrained profile (MRCP) provides a particularly robust basis for evaluating a space of strategies, and propose a local search method for MRCP that outperforms previous approaches. However, the computation of MRCP is not always feasible especially in large games. In this scenario, we highlight consistency considerations for comparing across different approaches. Surprisingly, we find that recent works violate these considerations that are necessary for evaluation, which may result in misleading conclusions on the performance of different approaches. For proper evaluation, we propose a new evaluation scheme and demonstrate that our scheme can reveal the true learning performance of different approaches compared to previous evaluation methods.


Location Data Reveals Disproportionate Disaster Impact Amongst the Poor A Case Study of the 2017 Puebla Earthquake Using Mobilkit. Location data obtained from smartphones is increasingly finding use cases in disaster risk management. Where traditionally, CDR has provided the predominant digital footprint for human mobility, GPS data now has immense potential in terms of improved spatiotemporal accuracy, volume, availability, and accessibility. GPS data has already proven invaluable in a range of pre and post disaster use cases, such as quantifying displacement, measuring rates of return and recovery, evaluating accessibility to critical resources, planning for resilience. Despite its popularity and potential, however, the use of GPS location data in DRM is still nascent, with several use cases yet to be explored. In this paper, we consider the 2017 Puebla Earthquake in Mexico to (i) validate and expand upon post disaster analysis applications using GPS data, and (ii) illustrate the use of a new toolkit, Mobilkit, to facilitate scalable, replicable extensions of this work for a wide range of disasters, including earthquakes, typhoons, flooding, and beyond.


Role of Spin Orbit Coupling in High order Harmonic Generation Revealed by Super Cycle Rydberg Trajectories. High harmonic generation is typically thought of as a sub laser cycle process, with the electron's excursion in the continuum lasting a fraction of the optical cycle. However, it was recently suggested that long lived Rydberg states can play a particularly important role in atoms driven by the combination of the counter rotating circularly polarized fundamental light field and its second harmonic. Here we report direct experimental evidence of long and stable Rydberg trajectories contributing to high harmonic generation. We confirm their effect on the harmonic emission via Time Dependent Schr "o dinger Equation simulations and track their dynamics inside the laser pulse using the spin orbit evolution in the ionic core, utilizing the spin orbit Larmor clock. Our observations contrast sharply with the general view that long lived Rydberg orbits should generate negligible contribution to the macroscopic far field high harmonic response of the medium. Indeed, we show how and why radiation from such states can lead to well collimated macroscopic signal in the far field.


Surface Wave Transmission Line Theory for Single and Many Wire Systems. Examining cables using many conductor transmission line theory has shed light on the modes supported by various cable types. However, so far the theory disregards the fundamental surface wave mode whose lateral confinement increases with frequency and hence is expected to play an important role in high frequency applications. To address this issue, we propose an extension to the theory which incorporates surface waves on uncoated, cylindrical wires. Crucially, this requires new definitions of the per unit length transmission line parameters which are derived using the single wire surface wave solution. By closely examining a two wire and three wire system, we show that these new parameters can predict surface waves as well as modes found using conventional many conductor transmission line theory. Furthermore, all calculated modes are validated experimentally by diagonalization of a measured channel transfer matrix. Additionally, the theoretically predicted propagation constants for the modes are validated against full numerical simulation for the two wire case and good agreement is observed when proximity effects can be neglected.


Mixing sets for rigid transformations. For any infinite zero density integer set M, we found a rigid measure preserving transformation mixing along M by answering Bergelson's question. Gaussian and Poisson suspensions over infinite constructions are suggested as suitable examples. We also discuss rigid rank one transformations of finite measure that mix along a given set, and some analogues for group actions.


Reflexive modules over Arf local rings. In this paper, we provide a certain direct sum decomposition of reflexive modules over (one dimensional) Arf local rings. We also see the equivalence of three notions, say, integrally closed ideals, trace ideals, and reflexive modules of rank one (i.e., divisorial ideals) up to isomorphisms in Arf rings. As an application, we obtain the finiteness of indecomposable first syzygies of MCM R modules over Arf local rings.


Co estimating geomagnetic field and calibration parameters modeling Earth's magnetic field with platform magnetometer data. Models of the geomagnetic field rely on magnetic data of high spatial and temporal resolution. The magnetic data from low Earth orbit satellites of dedicated magnetic survey missions such as CHAMP and Swarm play a key role in the construction of such models. Unfortunately, there are no magnetic data from such satellites after the end of CHAMP in 2010 and before the launch of Swarm in late 2013. This limits our ability to recover signals on timescales of 3 years and less during this gap period. The magnetic data from platform magnetometers carried by satellites for navigational purposes may help address this data gap provided that they are carefully calibrated. Earlier studies have demonstrated that platform magnetometer data can be calibrated using a fixed reference field model. However, this approach can lead to biased calibration parameters. An alternative has been developed in the form of a co estimation scheme which consists of simultaneously estimating both the calibration parameters and a model of the internal geomagnetic field. Here, we develop a scheme, based on the CHAOS framework, that involves the co estimation of a geomagnetic field model along with calibration parameters of platform magnetometers. Using our implementation, we are able to derive a geomagnetic field model from 2008 to 2018 with satellite magnetic data from CHAMP, Swarm, secular variation data from ground observatories, and platform magnetometer data from CryoSat 2 and GRACE. Through experiments, we explore correlations between the estimates of the geomagnetic field and the calibration parameters, and suggest how these may be avoided. We find that platform magnetometer data provide additional information on the secular acceleration, especially in the Pacific during the gap period. This study adds to the evidence that it is beneficial to use platform magnetometer data in geomagnetic field modeling.


Balancing Robustness and Sensitivity using Feature Contrastive Learning. It is generally believed that robust training of extremely large networks is critical to their success in real world applications. However, when taken to the extreme, methods that promote robustness can hurt the model's sensitivity to rare or underrepresented patterns. In this paper, we discuss this trade off between sensitivity and robustness to natural (non adversarial) perturbations by introducing two notions contextual feature utility and contextual feature sensitivity. We propose Feature Contrastive Learning (FCL) that encourages a model to be more sensitive to the features that have higher contextual utility. Empirical results demonstrate that models trained with FCL achieve a better balance of robustness and sensitivity, leading to improved generalization in the presence of noise on both vision and NLP datasets.


Proof of the Theory to Practice Gap in Deep Learning via Sampling Complexity bounds for Neural Network Approximation Spaces. We study the computational complexity of (deterministic or randomized) algorithms based on point samples for approximating or integrating functions that can be well approximated by neural networks. Such algorithms (most prominently stochastic gradient descent and its variants) are used extensively in the field of deep learning. One of the most important problems in this field concerns the question of whether it is possible to realize theoretically provable neural network approximation rates by such algorithms. We answer this question in the negative by proving hardness results for the problems of approximation and integration on a novel class of neural network approximation spaces. In particular, our results confirm a conjectured and empirically observed theory to practice gap in deep learning. We complement our hardness results by showing that approximation rates of a comparable order of convergence are (at least theoretically) achievable.


Multi Sidon spaces over finite fields. Sidon spaces have been introduced by Bachoc, Serra and Z 'emor in 2017 in connection with the linear analogue of Vosper's Theorem. In this paper, we propose a generalization of this notion to sets of subspaces, which we call multi Sidon space. We analyze their structures, provide examples and introduce a notion of equivalnce among them. Making use of these results, we study a class of linear sets in PG (r 1,q n) determined by r points and we investigate multi orbit cyclic subspace codes.


Adversarial Interaction Attack Fooling AI to Misinterpret Human Intentions. Understanding the actions of both humans and artificial intelligence (AI) agents is important before modern AI systems can be fully integrated into our daily life. In this paper, we show that, despite their current huge success, deep learning based AI systems can be easily fooled by subtle adversarial noise to misinterpret the intention of an action in interaction scenarios. Based on a case study of skeleton based human interactions, we propose a novel adversarial attack on interactions, and demonstrate how DNN based interaction models can be tricked to predict the participants' reactions in unexpected ways. From a broader perspective, the scope of our proposed attack method is not confined to problems related to skeleton data but can also be extended to any type of problems involving sequential regressions. Our study highlights potential risks in the interaction loop with AI and humans, which need to be carefully addressed when deploying AI systems in safety critical applications.


View Birdification in the Crowd Ground Plane Localization from Perceived Movements. We introduce view birdification, the problem of recovering ground plane movements of people in a crowd from an ego centric video captured from an observer (e.g., a person or a vehicle) also moving in the crowd. Recovered ground plane movements would provide a sound basis for situational understanding and benefit downstream applications in computer vision and robotics. In this paper, we formulate view birdification as a geometric trajectory reconstruction problem and derive a cascaded optimization method from a Bayesian perspective. The method first estimates the observer's movement and then localizes surrounding pedestrians for each frame while taking into account the local interactions between them. We introduce three datasets by leveraging synthetic and real trajectories of people in crowds and evaluate the effectiveness of our method. The results demonstrate the accuracy of our method and set the ground for further studies of view birdification as an important but challenging visual understanding problem.


Multi Image Steganography Using Deep Neural Networks. Steganography is the science of hiding a secret message within an ordinary public message. Over the years, steganography has been used to encode a lower resolution image into a higher resolution image by simple methods like LSB manipulation. We aim to utilize deep neural networks for the encoding and decoding of multiple secret images inside a single cover image of the same resolution.


On Multicolour Ramsey Numbers and Subset Colouring of Hypergraphs. For n geq s r geq 1 and k geq 2 , write n rightarrow (s) k r if every hyperedge colouring with k colours of the complete r uniform hypergraph on n vertices has a monochromatic subset of size s . Improving upon previous results by textcite AGLM14 and textcite EHMR84 we show that text if r geq 3 text and n nrightarrow (s) k r text then 2 n nrightarrow (s 1) k 3 r 1 . This yields an improvement for some of the known lower bounds on multicolour hypergraph Ramsey numbers. Given a hypergraph H (V,E) , we consider the Ramsey like problem of colouring all r subsets of V such that no hyperedge of size geq r 1 is monochromatic. We provide upper and lower bounds on the number of colours necessary in terms of the chromatic number chi(H) . In particular we show that this number is O( log (r 1) (r chi(H)) r) .


Where to Look A Unified Attention Model for Visual Recognition with Reinforcement Learning. The idea of using the recurrent neural network for visual attention has gained popularity in computer vision community. Although the recurrent attention model (RAM) leverages the glimpses with more large patch size to increasing its scope, it may result in high variance and instability. For example, we need the Gaussian policy with high variance to explore object of interests in a large image, which may cause randomized search and unstable learning. In this paper, we propose to unify the top down and bottom up attention together for recurrent visual attention. Our model exploits the image pyramids and Q learning to select regions of interests in the top down attention mechanism, which in turn to guide the policy search in the bottom up approach. In addition, we add another two constraints over the bottom up recurrent neural networks for better exploration. We train our model in an end to end reinforcement learning framework, and evaluate our method on visual classification tasks. The experimental results outperform convolutional neural networks (CNNs) baseline and the bottom up recurrent attention models on visual classification tasks.


Indefinite linear quadratic optimal control of mean field stochastic differential equation with jump diffusion an equivalent cost functional method. In this paper, we consider a linear quadratic optimal control problem of mean field stochastic differential equation with jump diffusion, which is also called as an MF LQJ problem. Here, cost functional is allowed to be indefinite. We use an equivalent cost functional method to deal with the MF LQJ problem with indefinite weighting matrices. Some equivalent cost functionals enable us to establish a bridge between indefinite and positive definite MF LQJ problems. With such a bridge, solvabilities of stochastic Hamiltonian system and Riccati equations are further characterized. Optimal control of the indefinite MF LQJ problem is represented as a state feedback via solutions of Riccati equations. As a by product, the method provides a new way to prove the existence and uniqueness of solution to mean field forward backward stochastic differential equation with jump diffusion (MF FBSDEJ, for short), where existing methods in literature do not work. Some examples are provided to illustrate our results.


Defending Pre trained Language Models from Adversarial Word Substitutions Without Performance Sacrifice. Pre trained contextualized language models (PrLMs) have led to strong performance gains in downstream natural language understanding tasks. However, PrLMs can still be easily fooled by adversarial word substitution, which is one of the most challenging textual adversarial attack methods. Existing defence approaches suffer from notable performance loss and complexities. Thus, this paper presents a compact and performance preserved framework, Anomaly Detection with Frequency Aware Randomization (ADFAR). In detail, we design an auxiliary anomaly detection classifier and adopt a multi task learning procedure, by which PrLMs are able to distinguish adversarial input samples. Then, in order to defend adversarial word substitution, a frequency aware randomization process is applied to those recognized adversarial input samples. Empirical results show that ADFAR significantly outperforms those newly proposed defense methods over various tasks with much higher inference speed. Remarkably, ADFAR does not impair the overall performance of PrLMs. The code is available at https github.com LilyNLP ADFAR


Structural theorems on the distance sets over finite fields. Let mathbb F q be a finite field of order q . Iosevich and Rudnev (2005) proved that for any set A subset mathbb F q d , if A gg q frac d 1 2 , then the distance set Delta(A) contains a positive proportion of all distances. Although this result is sharp in odd dimensions, it is conjectured that the right exponent should be frac d 2 in even dimensions. During the last 15 years, only some improvements have been made in two dimensions, and the conjecture is still wide open in higher dimensions. To fill the gap, we need to understand more about the structures of the distance sets, the main purpose of this paper is to provide some structural theorems on the distribution of square and non square distances.


Equitable Division of a Path. We study fair resource allocation under a connectedness constraint wherein a set of indivisible items are arranged on a path and only connected subsets of items may be allocated to the agents. An allocation is deemed fair if it satisfies equitability up to one good (EQ1), which requires that agents' utilities are approximately equal. We show that achieving EQ1 in conjunction with well studied measures of economic efficiency (such as Pareto optimality, non wastefulness, maximum egalitarian or utilitarian welfare) is computationally hard even for binary additive valuations. On the algorithmic side, we show that by relaxing the efficiency requirement, a connected EQ1 allocation can be computed in polynomial time for any given ordering of agents, even for general monotone valuations. Interestingly, the allocation computed by our algorithm has the highest egalitarian welfare among all allocations consistent with the given ordering. On the other hand, if efficiency is required, then tractability can still be achieved for binary additive valuations with interval structure. On our way, we strengthen some of the existing results in the literature for other fairness notions such as envy freeness up to one good (EF1), and also provide novel results for negatively valued items or chores.


Do Multi Lingual Pre trained Language Models Reveal Consistent Token Attributions in Different Languages?. During the past several years, a surge of multi lingual Pre trained Language Models (PLMs) has been proposed to achieve state of the art performance in many cross lingual downstream tasks. However, the understanding of why multi lingual PLMs perform well is still an open domain. For example, it is unclear whether multi Lingual PLMs reveal consistent token attributions in different languages. To address this, in this paper, we propose a Cross lingual Consistency of Token Attributions (CCTA) evaluation framework. Extensive experiments in three downstream tasks demonstrate that multi lingual PLMs assign significantly different attributions to multi lingual synonyms. Moreover, we have the following observations 1) the Spanish achieves the most consistent token attributions in different languages when it is used for training PLMs 2) the consistency of token attributions strongly correlates with performance in downstream tasks.


AXM Net Cross Modal Context Sharing Attention Network for Person Re ID. Cross modal person re identification (Re ID) is critical for modern video surveillance systems. The key challenge is to align inter modality representations according to semantic information present for a person and ignore background information. In this work, we present AXM Net, a novel CNN based architecture designed for learning semantically aligned visual and textual representations. The underlying building block consists of multiple streams of feature maps coming from visual and textual modalities and a novel learnable context sharing semantic alignment network. We also propose complementary intra modal attention learning mechanisms to focus on more fine grained local details in the features along with a cross modal affinity loss for robust feature matching. Our design is unique in its ability to implicitly learn feature alignments from data. The entire AXM Net can be trained in an end to end manner. We report results on both person search and cross modal Re ID tasks. Extensive experimentation validates the proposed framework and demonstrates its superiority by outperforming the current state of the art methods by a significant margin.


Some exact results of the generalized Tur 'an numbers for paths. For graphs H and F with chromatic number chi(F) k , we call H strictly F Tur 'an good (or (H, F) strictly Tur 'an good) if the Tur 'an graph T k 1 (n) is the unique F free graph on n vertices containing the largest number of copies of H when n is large enough. Let F be a graph with chromatic number chi(F) geq 3 and a color critical edge and let P ell be a path with ell vertices. Gerbner and Palmer (2020, arXiv 2006.03756) showed that (P 3, F) is strictly Tur 'an good if chi(H) ge 4 and they conjectured that (a) this result is true when chi(F) 3 , and, moreover, (b) (P ell, K k) is Tur 'an good for every pair of integers ell and k . In the present paper, we show that (H, F) is strictly Tur 'an good when H is a bipartite graph with matching number nu(H) lfloor frac V(H) 2 rfloor and chi(F) 3 , as a corollary, this result confirms the conjecture (a) we also prove that (P ell, F) is strictly Tur 'an good for 2 le ell leq 6 and chi(F) ge 4 , this also confirms the conjecture (b) for 2 le ell leq 6 and k ge 4 .


Exploring Data Aggregation and Transformations to Generalize across Visual Domains. Computer vision has flourished in recent years thanks to Deep Learning advancements, fast and scalable hardware solutions and large availability of structured image data. Convolutional Neural Networks trained on supervised tasks with backpropagation learn to extract meaningful representations from raw pixels automatically, and surpass shallow methods in image understanding. Though convenient, data driven feature learning is prone to dataset bias a network learns its parameters from training signals alone, and will usually perform poorly if train and test distribution differ. To alleviate this problem, research on Domain Generalization (DG), Domain Adaptation (DA) and their variations is increasing. This thesis contributes to these research topics by presenting novel and effective ways to solve the dataset bias problem in its various settings. We propose new frameworks for Domain Generalization and Domain Adaptation which make use of feature aggregation strategies and visual transformations via data augmentation and multi task integration of self supervision. We also design an algorithm that adapts an object detection model to any out of distribution sample at test time. With through experimentation, we show how our proposed solutions outperform competitive state of the art approaches in established DG and DA benchmarks.


An Adaptive Interpolation Scheme for Wideband Frequency Sweep in Electromagnetic Simulations. An adaptive interpolation scheme is proposed to accurately calculate the wideband responses in electromagnetic simulations. In the proposed scheme, the sampling points are first carefully divided into several groups based on their responses to avoid the Runge phenomenon and the error fluctuations, and then different interpolation strategies are used to calculate the responses in the whole frequency band. If the relative error does not satisfy the predefined threshold in a specific frequency band, it will be refined until the error criteria is met. The detailed error analysis is also presented to verify the accuracy of the interpolation scheme. At last, two numerical examples including the antenna radiation and the filter simulation are carried out to validate its accuracy and efficiency.


Embedded out of distribution detection on an autonomous robot platform. Machine learning (ML) is actively finding its way into modern cyber physical systems (CPS), many of which are safety critical real time systems. It is well known that ML outputs are not reliable when testing data are novel with regards to model training and validation data, i.e., out of distribution (OOD) test data. We implement an unsupervised deep neural network based OOD detector on a real time embedded autonomous Duckiebot and evaluate detection performance. Our OOD detector produces a success rate of 87.5 for emergency stopping a Duckiebot on a braking test bed we designed. We also provide case analysis on computing resource challenges specific to the Robot Operating System (ROS) middleware on the Duckiebot.


Exploring the Links between Personality Traits and Suscep bility to Disinformation. The growth of online Digital social media has allowed a variety of ideas and opinions to coexist. Social Media has appealed users due to the ease of fast dissemination of information at low cost and easy access. However, due to the growth in affordance of Digital platforms, users have become prone to consume disinformation, misinformation, propaganda, and conspiracy theories. In this paper, we wish to explore the links between the personality traits given by the Big Five Inventory and their susceptibility to disinformation. More speciDically, this study is attributed to capture the short term as well as the long term effects of disinformation and its effects on the Dive personality traits. Further, we expect to observe that different personalities traits have different shifts in opinion and different increase or decrease of uncertainty on an issue after consuming the disinformation. Based on the Dindings of this study, we would like to propose a personalized narrative based change in behavior for different personality traits.


Profitable Strategy Design for Trades on Cryptocurrency Markets with Machine Learning Techniques. AI and data driven solutions have been applied to different fields and achieve outperforming and promising results. In this research work we apply k Nearest Neighbours, eXtreme Gradient Boosting and Random Forest classifiers for detecting the trend problem of three cryptocurrency markets. Our input data includes price data and technical indicators. We use these classifiers to design a strategy to trade in those markets. Our test results on unseen data are very promising and show a great potential for this approach in helping investors with an expert system to exploit the market and gain profit. Our highest profit factor for an unseen 66 day span is 1.60 (60 profit). We also discuss limitations of these approaches and their potential impact on Efficient Market Hypothesis.


What Changes Can Large scale Language Models Bring? Intensive Study on HyperCLOVA Billions scale Korean Generative Pretrained Transformers. GPT 3 shows remarkable in context learning ability of large scale language models (LMs) trained on hundreds of billion scale data. Here we address some remaining issues less reported by the GPT 3 paper, such as a non English LM, the performances of different sized models, and the effect of recently introduced prompt optimization on in context learning. To achieve this, we introduce HyperCLOVA, a Korean variant of 82B GPT 3 trained on a Korean centric corpus of 560B tokens. Enhanced by our Korean specific tokenization, HyperCLOVA with our training configuration shows state of the art in context zero shot and few shot learning performances on various downstream tasks in Korean. Also, we show the performance benefits of prompt based learning and demonstrate how it can be integrated into the prompt engineering pipeline. Then we discuss the possibility of materializing the No Code AI paradigm by providing AI prototyping capabilities to non experts of ML by introducing HyperCLOVA studio, an interactive prompt engineering interface. Lastly, we demonstrate the potential of our methods with three successful in house applications.


Observation of harmonic lasing in the Angstrom regime at European XFEL. Harmonic lasing provides an opportunity to extend the photon energy range of existing and planned X ray FEL user facilities. Contrary to nonlinear harmonic generation, harmonic lasing can generate a much more intense, stable, and narrow band FEL beam. Another interesting application is Harmonic Lasing Self Seeding (HLSS) that allows to improve the longitudinal coherence and spectral power of a Self Amplified Spontaneous Emission (SASE) FEL. This concept was tested at FLASH in the range of 4.5 15 nm and at PAL XFEL at 1 nm. In this paper we present recent results from the European XFEL where we successfully demonstrated harmonic lasing at 5.9 Angstrom and 2.8 Angstrom. In the latter case we obtained both 3rd and 5th harmonic lasing and, for the first time, operated a harmonic lasing cascade (5th 3rd 1st harmonics of the undulator). These results pave the way for reaching very high photon energies, up to 100 keV.


Accelerator Vacuum. This lecture introduces major physics and technology aspects of accelerator vacuum systems. Following an introduction, in the second section generic vacuum quantities such as pressure, gas density, the gas equation, pumping speed, conductance are introduced. Since accelerators typically have lengthy vacuum tubes, one dimensional calculation is in many cases sufficient to compute a pressure profile for an accelerator, and methods for doing so are developed in the next section. In the fourth section accelerator specific aspects of vacuum are considered. This includes lifetime limiting effects for the particle beam, such as bremsstrahlung, elastic and inelastic scattering. Requirements for vacuum properties are derived. In the fifth section types of components and suitable materials for accelerator vacuum systems are described. Such components are for example flange systems, vacuum chambers for accelerators and the different types of pumps.


Detecting cell and protein concentrations by the use of a thermal based sensor. Biosensors are frequently used nowadays for the sake of their attractive capabilities. Because of their high accuracy and precision, they are more and more used in the medical sector. Natural receptors are mostly used, but their use have some specific drawbacks. Therefore, new read out methods are being developed where there is no need for these receptors. Via a Transient Plane Source (TPS) sensor, the thermal properties of a fluid can be determined. These sensors can detect the capability of a fluid to absorb heat i.e. the thermal effusivity. By the way of monitoring this property, many potential bioprocesses can be monitored. The use of this promising technique was further developed in this research for later use of detecting cell growth and protein concentrations. Firstly, the thermal properties of growth medium and yeast cells were determined. Here, it became clear that the thermal properties change in different concentrations. Also, measurements were performed on protein concentration. No unambiguously results were obtained from these tests. But, the overall results from the use of this sensor are very promising, especially in the cell detection compartment. However, further research will tell about the applicability and sensitivity of this type of sensor.


Convergence of Conditional Entropy for Long Range Dependent Markov Chains. In this paper we consider the convergence of the conditional entropy to the entropy rate for Markov chains. Convergence of certain statistics of long range dependent processes, such as the sample mean, is slow. It has been shown in Carpio and Daley cite carpio2007long that the convergence of the n step transition probabilities to the stationary distribution is slow, without quantifying the convergence rate. We prove that the slow convergence also applies to convergence to an information theoretic measure, the entropy rate, by showing that the convergence rate is equivalent to the convergence rate of the n step transition probabilities to the stationary distribution, which is equivalent to the Markov chain mixing time problem. Then we quantify this convergence rate, and show that it is O(n 2H 2 ) , where n is the number of steps of the Markov chain and H is the Hurst parameter. Finally, we show that due to this slow convergence, the mutual information between past and future is infinite if and only if the Markov chain is long range dependent. This is a discrete analogue of characterisations which have been shown for other long range dependent processes.


Deep Learning based Action Detection in Untrimmed Videos A Survey. Understanding human behavior and activity facilitates advancement of numerous real world applications, and is critical for video analysis. Despite the progress of action recognition algorithms in trimmed videos, the majority of real world videos are lengthy and untrimmed with sparse segments of interest. The task of temporal activity detection in untrimmed videos aims to localize the temporal boundary of actions and classify the action categories. Temporal activity detection task has been investigated in full and limited supervision settings depending on the availability of action annotations. This paper provides an extensive overview of deep learning based algorithms to tackle temporal action detection in untrimmed videos with different supervision levels including fully supervised, weakly supervised, unsupervised, self supervised, and semi supervised. In addition, this paper also reviews advances in spatio temporal action detection where actions are localized in both temporal and spatial dimensions. Moreover, the commonly used action detection benchmark datasets and evaluation metrics are described, and the performance of the state of the art methods are compared. Finally, real world applications of temporal action detection in untrimmed videos and a set of future directions are discussed.


A Survey on Common Threats in npm and PyPi Registries. Software engineers regularly use JavaScript and Python for both front end and back end automation tasks. On top of JavaScript and Python, there are several frameworks to facilitate automation tasks further. Some of these frameworks are Node Manager Package (npm) and Python Package Index (PyPi), which are open source (OS) package libraries. The public registries npm and PyPi use to host packages allow any user with a verified email to publish code. The lack of a comprehensive scanning tool when publishing to the registry creates security concerns. Users can report malicious code on the registry however, attackers can still cause damage until they remove their tool from the platform. Furthermore, several packages depend on each other, making them more vulnerable to a bad package in the dependency tree. The heavy code reuse creates security artifacts developers have to consider, such as the package reach. This project will illustrate a high level overview of common risks associated with OS registries and the package dependency structure. There are several attack types, such as typosquatting and combosquatting, in the OS package registries. Outdated packages pose a security risk, and we will examine the extent of technical lag present in the npm environment. In this paper, our main contribution consists of a survey of common threats in OS registries. Afterward, we will offer countermeasures to mitigate the risks presented. These remedies will heavily focus on the applications of Machine Learning (ML) to detect suspicious activities. To the best of our knowledge, the ML focused countermeasures are the first proposed possible solutions to the security problems listed. In addition, this project is the first survey of threats in npm and PyPi, although several studies focus on a subset of threats.


Estimating the Nash Social Welfare for coverage and other submodular valuations. We study the Nash Social Welfare problem Given n agents with valuation functions v i 2 m rightarrow mathbb R , partition m into S 1, ldots,S n so as to maximize ( prod i 1 n v i(S i)) 1 n . The problem has been shown to admit a constant factor approximation for additive, budget additive, and piecewise linear concave separable valuations the case of submodular valuations is open. We provide a frac 1 e (1 frac 1 e ) 2 approximation of the em optimal value for several classes of submodular valuations coverage, sums of matroid rank functions, and certain matching based valuations.


Linear Functional Equations and their Solutions in Lorentz Spaces. Assume that Omega subset mathbb R k is an open set, V is a separable Banach space over a field mathbb K in mathbb R, mathbb C and f 1, ldots,f N colon Omega to Omega , g 1, ldots, g N colon Omega to mathbb K , h 0 colon Omega to V are given functions. We are interested in the existence and uniqueness of solutions varphi colon Omega to V of the linear functional equation varphi sum k 1 N g k cdot( varphi circ f k) h 0 in Lorentz spaces.


Lattice Size and Area of Plane Convex Bodies. The lattice size of a lattice polygon P was introduced and studied by Schicho, and by Castryck and Cools in relation to the problem of bounding the total degree and the bi degree of the defining equation of an algebraic curve. In this paper we establish sharp lower bounds on the area of plane convex bodies P subset mathbb R 2 that involve the lattice size of P . In particular, we improve bounds established by Arnold, and B 'ar 'any and Pach. We also provide a classification of minimal lattice polygons P subset mathbb R 2 of fixed lattice size operatorname ls square (P) .


Discrete and free groups acting on locally finite trees. We present an algorithm to decide whether or not a finitely generated subgroup of the isometry group of a locally finite simplicial tree is both discrete and free. The correctness of this algorithm relies on the following conjecture every minimal' n tuple of isometries of a simplicial tree either contains an elliptic element or satisfies the hypotheses of the Ping Pong Lemma. We prove this conjecture for n 2,3 , and show that it implies a generalisation of Ihara's Theorem.


Seeing Implicit Neural Representations as Fourier Series. Implicit Neural Representations (INR) use multilayer perceptrons to represent high frequency functions in low dimensional problem domains. Recently these representations achieved state of the art results on tasks related to complex 3D objects and scenes. A core problem is the representation of highly detailed signals, which is tackled using networks with periodic activation functions (SIRENs) or applying Fourier mappings to the input. This work analyzes the connection between the two methods and shows that a Fourier mapped perceptron is structurally like one hidden layer SIREN. Furthermore, we identify the relationship between the previously proposed Fourier mapping and the general d dimensional Fourier series, leading to an integer lattice mapping. Moreover, we modify a progressive training strategy to work on arbitrary Fourier mappings and show that it improves the generalization of the interpolation task. Lastly, we compare the different mappings on the image regression and novel view synthesis tasks. We confirm the previous finding that the main contributor to the mapping performance is the size of the embedding and standard deviation of its elements.


De Giorgi's inequality for the thresholding scheme with arbitrary mobilities and surface tensions. We provide a new convergence proof of the celebrated Merriman Bence Osher scheme for multiphase mean curvature flow. Our proof applies to the new variant incorporating a general class of surface tensions and mobilities, including typical choices for modeling grain growth. The basis of the proof are the minimizing movements interpretation of Esedo u g lu and Otto and De Giorgi's general theory of gradient flows. Under a typical energy convergence assumption we show that the limit satisfies a sharp energy dissipation relation.


Network community structure and resilience to localized damage application to brain microcirculation. In cerebrovascular networks, some vertices are more connected to each other than with the rest of the vasculature, defining a community structure. Here, we introduce a class of model networks built by rewiring Random Regular Graphs, which enables to reproduce this community structure and other topological properties of cerebrovascular networks. We use these model networks to study the global flow reduction induced by the removal of a single edge. We analytically show that this global flow reduction can be expressed as a function of the initial flow rate in the removed edge and of a topological quantity, both of which display probability distributions following Cauchy laws, i.e. with large tails. As a result, we show that the distribution of blood flow reductions is strongly influenced by the community structure. In particular, the probability of large flow reductions increases substantially when the community structure is stronger, weakening the network resilience to single capillary occlusions. We discuss the implications of these findings in the context of Alzheimer's Disease, in which the importance of vascular mechanisms, including capillary occlusions, is beginning to be uncovered.


Distributed Delta Coloring Plays Hide and Seek. We prove several new tight distributed lower bounds for classic symmetry breaking graph problems. As a basic tool, we first provide a new insightful proof that any deterministic distributed algorithm that computes a Delta coloring on Delta regular trees requires Omega( log Delta n) rounds and any randomized algorithm requires Omega( log Delta log n) rounds. We prove this result by showing that a natural relaxation of the Delta coloring problem is a fixed point in the round elimination framework. As a first application, we show that our Delta coloring lower bound proof directly extends to arbdefective colorings. We exactly characterize which variants of the arbdefective coloring problem are "easy", and which of them instead are "hard". As a second application, which we see as our main contribution, we use the structure of the fixed point as a building block to prove lower bounds as a function of Delta for a large class of distributed symmetry breaking problems. For example, we obtain a tight lower bound for the fundamental problem of computing a (2, beta) ruling set. This is an exponential improvement over the best existing lower bound for the problem, which was proven in FOCS '20 . Our lower bound even applies to a much more general family of problems that allows for almost arbitrary combinations of natural constraints from coloring problems, orientation problems, and independent set problems, and provides a single unified proof for known and new lower bound results for these types of problems. Our lower bounds as a function of Delta also imply lower bounds as a function of n . We obtain, for example, that maximal independent set, on trees, requires Omega( log n log log n) rounds for deterministic algorithms, which is tight.


Semantic Search as Extractive Paraphrase Span Detection. In this paper, we approach the problem of semantic search by framing the search task as paraphrase span detection, i.e. given a segment of text as a query phrase, the task is to identify its paraphrase in a given document, the same modelling setup as typically used in extractive question answering. On the Turku Paraphrase Corpus of 100,000 manually extracted Finnish paraphrase pairs including their original document context, we find that our paraphrase span detection model outperforms two strong retrieval baselines (lexical similarity and BERT sentence embeddings) by 31.9pp and 22.4pp respectively in terms of exact match, and by 22.3pp and 12.9pp in terms of token level F score. This demonstrates a strong advantage of modelling the task in terms of span retrieval, rather than sentence similarity. Additionally, we introduce a method for creating artificial paraphrase data through back translation, suitable for languages where manually annotated paraphrase resources for training the span detection model are not available.


Coupling assisted quasi bound states in the continuum in heterogeneous metasurfaces. In this paper, we present a Bound states in the continuum (BIC) metamaterial in heterogeneous structures based on the universal coupled mode theory. We find the more general physical parameters to represent BIC, which are the resonant frequencies and corresponding phases of metamaterial structures. Therefore, BIC metamaterial comes from the equal value of the resonant frequencies and phases of metamaterial structures which are not only for homogeneous structures. Meanwhile if slightly vary one of metamaterial structure's resonant frequency and phase by varying geometry, we can obtain the quasi BIC instead of broken symmetry of homogeneous structures. In this paper, we provide the BIC and quasi BIC with one example of two heterogeneous structures which are cut wire (CW) and Split Ring Resonator (SRR), to widely extends the metamaterial BIC beyond common sense. Furthermore, we demonstrate the simulation results and experimental results to proof our idea.


Talk to Edit Fine Grained Facial Editing via Dialog. Facial editing is an important task in vision and graphics with numerous applications. However, existing works are incapable to deliver a continuous and fine grained editing mode (e.g., editing a slightly smiling face to a big laughing one) with natural interactions with users. In this work, we propose Talk to Edit, an interactive facial editing framework that performs fine grained attribute manipulation through dialog between the user and the system. Our key insight is to model a continual "semantic field" in the GAN latent space. 1) Unlike previous works that regard the editing as traversing straight lines in the latent space, here the fine grained editing is formulated as finding a curving trajectory that respects fine grained attribute landscape on the semantic field. 2) The curvature at each step is location specific and determined by the input image as well as the users' language requests. 3) To engage the users in a meaningful dialog, our system generates language feedback by considering both the user request and the current state of the semantic field. We also contribute CelebA Dialog, a visual language facial editing dataset to facilitate large scale study. Specifically, each image has manually annotated fine grained attribute annotations as well as template based textual descriptions in natural language. Extensive quantitative and qualitative experiments demonstrate the superiority of our framework in terms of 1) the smoothness of fine grained editing, 2) the identity attribute preservation, and 3) the visual photorealism and dialog fluency. Notably, user study validates that our overall system is consistently favored by around 80 of the participants. Our project page is https www.mmlab ntu.com project talkedit .


Probabilistic Spatial Distribution Prior Based Attentional Keypoints Matching Network. Keypoints matching is a pivotal component for many image relevant applications such as image stitching, visual simultaneous localization and mapping (SLAM), and so on. Both handcrafted based and recently emerged deep learning based keypoints matching methods merely rely on keypoints and local features, while losing sight of other available sensors such as inertial measurement unit (IMU) in the above applications. In this paper, we demonstrate that the motion estimation from IMU integration can be used to exploit the spatial distribution prior of keypoints between images. To this end, a probabilistic perspective of attention formulation is proposed to integrate the spatial distribution prior into the attentional graph neural network naturally. With the assistance of spatial distribution prior, the effort of the network for modeling the hidden features can be reduced. Furthermore, we present a projection loss for the proposed keypoints matching network, which gives a smooth edge between matching and un matching keypoints. Image matching experiments on visual SLAM datasets indicate the effectiveness and efficiency of the presented method.


A Structured Analysis of Information Security Incidents in the Maritime Sector. Cyber attacks in the maritime sector can have a major impact on world economy. However, the severity of this threat can be underestimated because many attacks remain unknown or unnoticed. We present an overview about publicly known cyber incidents in the maritime sector from the past 20 years. In total, we found 90 publicly reported attacks and 15 proof of concepts. Furthermore, we interviewed five IT security experts from the maritime sector. The interviews put the results of our research in perspective and confirm that our view is comprehensive. However, the interviewees highlight that there is a high dark figure of unreported incidents and argue that threat information sharing may potentially be helpful for attack prevention. From these results, we extract threats for players in the maritime sector.


Resolvent analysis on the origin of two dimensional transonic buffet. Resolvent analysis is performed to identify the origin of two dimensional transonic buffet over an airfoil. The base flow for the resolvent analysis is the time averaged flow over a NACA 0012 airfoil at a chord based Reynolds number of 2000 and a free stream Mach number of 0.85. We reveal that the mechanism of buffet is buried underneath the global low Reynolds number flow physics. At this low Reynolds number, the dominant flow feature is the von Karman shedding. However, we show that with the appropriate forcing input, buffet can appear even at a Reynolds number that is much lower than what is traditionally associated with transonic buffet. The source of buffet is identified to be at the shock foot from the windowed resolvent analysis, which is validated by companion simulations using sustained forcing inputs based on resolvent modes. We also comment on the role of perturbations in the vicinity of the trailing edge. The present study not only provides insights on the origin of buffet but also serves a building block for low Reynolds number compressible aerodynamics in light of the growing interests in Martian flights.


Isoparametric hypersurfaces of conic Finsler manifolds. In this paper, we introduce isoparametric functions and isoparametric hypersurfaces in conic Finsler spaces. We find that in a conic Minkowski space, besides the conic Minkowski hyperplanes, conic Minkowski hyperspheres and conic Minkowski cylinders, which are all isoparametric hypersurfaces, there are probably other isoparametric hypersurfaces, such as helicoids. Moreover, we give a complete classification of isoparametric hypersurfaces in kropina spaces with constant flag curvature.


Friezes for a pair of pants. Frieze patterns are numerical arrangements that satisfy a local arithmetic rule. These arrangements are actively studied in connection to the theory of cluster algebras. In the setting of cluster algebras, the notion of a frieze pattern can be generalized, in particular to a frieze associated with a bordered marked surface endowed with a decorated hyperbolic metric. We study friezes associated with a pair of pants, interpreting entries of the frieze as lambda lengths of arcs connecting the marked points. We prove that all positive integral friezes over such surfaces are unitary, i.e. they arise from triangulations with all edges having unit lambda lengths.


Data Centric Domain Adaptation for Historical Text with OCR Errors. We propose new methods for in domain and cross domain Named Entity Recognition (NER) on historical data for Dutch and French. For the cross domain case, we address domain shift by integrating unsupervised in domain data via contextualized string embeddings and OCR errors by injecting synthetic OCR errors into the source domain and address data centric domain adaptation. We propose a general approach to imitate OCR errors in arbitrary input data. Our cross domain as well as our in domain results outperform several strong baselines and establish state of the art results. We publish preprocessed versions of the French and Dutch Europeana NER corpora.


Capacity Planning for Effective Cohorting of Dialysis Patients during the Coronavirus Pandemic A Case Study. Chronic dialysis patients have been among the most vulnerable groups of the society during the coronavirus (COVID 19) pandemic as they need regular treatments in a hospital environment, facing infection risk. Moreover, the demand for dialysis resources has significantly increased since many COVID 19 patients need acute dialysis due to kidney failure. In this study, we address capacity planning decisions of a hemodialysis clinic located within a major hospital in Istanbul, designated to serve both infected and uninfected patients during the pandemic with limited resources (i.e., dialysis machines). The hemodialysis clinic applies a three unit cohorting strategy to treat four types of patients in separate units and at different times to mitigate infection spread risk among patients. Accordingly, at the beginning of each week, the clinic needs to determine the number of available dialysis machines to allocate to each unit that serves different patient cohorts. Given the uncertainties in the number of different types of patients that will need dialysis, it is a challenge to allocate the scarce dialysis resources effectively by evaluating which capacity configuration would minimize the overlapping treatment sessions of infected and uninfected patients over a week. We represent the uncertainties in the number of patients by a set of scenarios and present a two stage stochastic programming approach to support capacity allocation decisions of the clinic. We present a case study based on the real world patient data obtained from the clinic to illustrate the effectiveness of the proposed modeling approach and compare the performance of different cohorting strategies.


Two New Zero Dimensional Qubit Codes from Bordered Metacirculant Construction. We construct qubit stabilizer codes with parameters 81, 0, 20 and 94, 0, 22 for the first time. We use symplectic self dual additive codes over mathbb F 4 built by modifying the adjacency matrices of suitable metacirculant graphs found by a randomized search procedure.


Limit theorems for the critical Galton Watson processes with immigration stopped at zero. In this paper, we consider a critical Galton Watson branching process with immigration stopped at zero mathbf W . Some precise estimation on the generation function of the n th population are obtained, and the tail probability of the life period of mathbf W is studied. Based on above results, two conditional limit theorems for mathbf W are established.


Massive MIMO with Radio Stripes for Indoor Wireless Energy Transfer. Radio frequency wireless energy transfer (WET) is a promising solution for powering autonomous Internet of Things (IoT) deployments. In this work, we leverage energy beamforming for powering multiple user equipments (UEs) with stringent energy harvesting (EH) demands in an indoor distributed massive multiple input multiple output system. Based on semi definite programming, successive convex approximation (SCA), and maximum ratio transmission (MRT) techniques, we derive optimal and sub optimal precoders aimed at minimizing the radio stripes' transmit power while exploiting information of the power transfer efficiency of the EH circuits at the UEs. Moreover, we propose an analytical framework to assess and control the electromagnetic field (EMF) radiation exposure in the considered indoor scenario. Numerical results show that i) the EMF radiation exposure can be more easily controlled at higher frequencies at the cost of a higher transmit power consumption, ii) training is not a very critical factor for the considered indoor system, iii) MRT SCA based precoders are particularly appealing when serving a small number of UEs, thus, especially suitable for implementation in a time domain multiple access (TDMA) scheduling framework, and iv) TDMA is more efficient than spatial domain multiple access (SDMA) when serving a relatively small number of UEs. Results suggest that additional boosting performance strategies are needed to increase the overall system efficiency, thus making the technology viable in practice.


Bertrand's analysis of baccarat. Joseph Bertrand 1822 1900 , who is often credited with a model of duopoly that has a unique Nash equilibrium, made another significant contribution to game theory. Specifically, his 1888 analysis of baccarat was the starting point for Borel's investigation of strategic games in the 1920s. In this paper we show, with near certainty, that Bertrand's results on baccarat were borrowed, without attribution, from an 1881 paper of Albert Badoureau 1853 1923 . In addition, we discuss Borel's criticisms of Bertrand's analysis, one of which helps to explain why Badoureau's contribution was overlooked until now.


ACTreS Analog Clock Tree Synthesis. This paper describes a graph theoretic formalism and a flow that, to a great extent, automate the design of clock trees in Sampled Data Analog Circuits (SDACs). The current practice for clock tree design of SDACs is a manual process, which is time consuming and error prone. Clock tree design in digital domain, however, is fully automated and is carried out by Clock Tree Synthesis (CTS) software. In spite of critical differences, SDAC clock tree design problem has fundamental similarities with its digital counterpart. We exploited these similarities and built a design flow and tool set, which uses commercial digital CTS software as an intermediate step. We will explain our flow using a 0.18 micron 10 bit 60 MHz 2 stage pipelined differential input flash analog to digital converter as a test circuit.


Towards adaptive simulations of turbulent wings at high Reynolds numbers. Adaptive mesh refinement (AMR) in the high order spectral element method code Nek5000 is demonstrated and validated with well resolved large eddy simulations (LES) of the flow past a wing profile. In the present work, the flow around a NACA 4412 profile at a chord based Reynolds number Re c 200,000 is studied at two different angles of attack 5 and 11 degrees. The mesh is evolved from a very coarse initial mesh by means of volume weighted spectral error indicators, until a sufficient level of resolution is achieved at the boundary and wake regions. The non conformal implementation of AMR allows the use of a large domain avoiding the need of a precursor RANS simulation to obtain the boundary conditions (BCs). This eliminates the effect of the steady Dirichlet BCs on the flow, which becomes a relevant source of error at higher angles of attack (specially near the trailing edge and wake regions). Furthermore, over refinement in the far field and the associated high aspect ratio elements are avoided, meaning less pressure iterations of the solver and a reduced number of elements, which leads to a considerable computational cost reduction. Mean flow statistics are validated using experimental data obtained for the same profile in the Minimum Turbulence Level (MTL) wind tunnel at KTH, as well as with a previous DNS simulation, showing excellent agreement. This work constitutes an important step in the direction of studying stronger pressure gradients and higher Reynolds complex flows with the high fidelity that high order simulations allow to achieve. Eventually, this database can be used for the development and improvement of turbulence models, in particular wall models.


Relaxed Marginal Consistency for Differentially Private Query Answering. Many differentially private algorithms for answering database queries involve a step that reconstructs a discrete data distribution from noisy measurements. This provides consistent query answers and reduces error, but often requires space that grows exponentially with dimension. Private PGM is a recent approach that uses graphical models to represent the data distribution, with complexity proportional to that of exact marginal inference in a graphical model with structure determined by the co occurrence of variables in the noisy measurements. Private PGM is highly scalable for sparse measurements, but may fail to run in high dimensions with dense measurements. We overcome the main scalability limitation of Private PGM through a principled approach that relaxes consistency constraints in the estimation objective. Our new approach works with many existing private query answering algorithms and improves scalability or accuracy with no privacy cost.


Fairness and Transparency in Recommendation The Users' Perspective. Though recommender systems are defined by personalization, recent work has shown the importance of additional, beyond accuracy objectives, such as fairness. Because users often expect their recommendations to be purely personalized, these new algorithmic objectives must be communicated transparently in a fairness aware recommender system. While explanation has a long history in recommender systems research, there has been little work that attempts to explain systems that use a fairness objective. Even though the previous work in other branches of AI has explored the use of explanations as a tool to increase fairness, this work has not been focused on recommendation. Here, we consider user perspectives of fairness aware recommender systems and techniques for enhancing their transparency. We describe the results of an exploratory interview study that investigates user perceptions of fairness, recommender systems, and fairness aware objectives. We propose three features informed by the needs of our participants that could improve user understanding of and trust in fairness aware recommender systems.


Proceedings 8th Workshop on Horn Clauses for Verification and Synthesis. This volume contains the post proceedings of the 8th Workshop on Horn Clauses for Verification and Synthesis (HCVS), which took place virtually due to Covid 19 pandemic as an affiliated workshop of ETAPS.


A Compact Deep Learning Model for Face Spoofing Detection. In recent years, face biometric security systems are rapidly increasing, therefore, the presentation attack detection (PAD) has received significant attention from research communities and has become a major field of research. Researchers have tackled the problem with various methods, from exploiting conventional texture feature extraction such as LBP, BSIF, and LPQ to using deep neural networks with different architectures. Despite the results each of these techniques has achieved for a certain attack scenario or dataset, most of them still failed to generalized the problem for unseen conditions, as the efficiency of each is limited to certain type of presentation attacks and instruments (PAI). In this paper, instead of completely extracting hand crafted texture features or relying only on deep neural networks, we address the problem via fusing both wide and deep features in a unified neural architecture. The main idea is to take advantage of the strength of both methods to derive well generalized solution for the problem. We also evaluated the effectiveness of our method by comparing the results with each of the mentioned techniques separately. The procedure is done on different spoofing datasets such as ROSE Youtu, SiW and NUAA Imposter datasets. In particular, we simultanously learn a low dimensional latent space empowered with data driven features learnt via Convolutional Neural Network designes for spoofing detection task (i.e., deep channel) as well as leverages spoofing detection feature already popular for spoofing in frequency and temporal dimensions ( i.e., via wide channel).