Multi Robot Task Allocation Complexity and Approximation. Multi robot task allocation is one of the most fundamental classes of problems in robotics and is crucial for various real world robotic applications such as search, rescue and area exploration. We consider the Single Task robots and Multi Robot tasks Instantaneous Assignment (ST MR IA) setting where each task requires at least a certain number of robots and each robot can work on at most one task and incurs an operational cost for each task. Our aim is to consider a natural computational problem of allocating robots to complete the maximum number of tasks subject to budget constraints. We consider budget constraints of three different kinds (1) total budget, (2) task budget, and (3) robot budget. We provide a detailed complexity analysis including results on approximations as well as polynomial time algorithms for the general setting and important restricted settings.


La formule des traces tordue pour les corps de fonctions. We adapt to global fields of positive characteristic the contents of the book by Labesse and Waldspurger on the Twisted Trace Formula after the Friday Morning Seminar.


Derived Langlands VIII Local GLn. In this, the eighth article in my Derived Langlands series, I describe the construction of a 2 variable L function for two representations of general linear groups of a p adic local field. Due to extenuating health circumstances, many of the proofs and ideas herein are suggestive rather than the finished definitive versions.


Smart and Context Aware System employing Emotions Recognition. People have the ability to make sensible assumptions about other people's emotional states by being sympathetic, and because of our common sense of knowledge and the ability to think visually. Over the years, much research has been done on providing machines with the ability to detect human emotions and to develop automated emotional intelligence systems. The computer's ability to detect human emotions is gaining popularity in creating sensitive systems such as learning environments, health care systems and real world. Improving people's health has been the subject of much research. This paper describes the formation as conceptual evidence of emotional acquisition and control in intelligent health settings. The authors of this paper aim for an unconventional approach with a friendly look to get emotional scenarios from the system to establish a functional, non intrusive and emotionally sensitive environment where users can do their normal activities naturally and see the program only when pleasant mood activating services are received. The context sensitive system interacts with users to detect and differentiate emotions through facial expressions or speech recognition, to make music recommendations and mood color treatments with the services installed on their IoT devices.


Amicus Plato, sed magis amica veritas There is a reproducibility crisis in COVID 19 Computational Fluid Dynamics studies. There is overwhelming evidence on SARS CoV 2 Airborne Transmission (AT) in the ongoing COVID 19 outbreak. It is extraordinarily difficult, however, to deduce a generalized framework to assess the relative airborne transmission risk with respect to other modes. This is due to the complex biophysics entailed in such phenomena. Since the SARS outbreak in 2002, Computational Fluid Dynamics (CFD) has been one of the main tools scientists used to investigate AT of respiratory viruses. Now, CFD simulations produce intuitive and physically plausible colour coded results that help scientists understand SARS CoV 2 airborne transmission patterns. In addition to validation requirements, for any CFD model to be of epistemic value to the scientific community it must be reproducible. In 2020, more than 45 published studies investigated SARS CoV 2 airborne transmission in different scenarios using CFD. Here, I systematically review the published CFD studies of COVID 19 and discuss their reproducibility criteria with respect to the CFD modeling process. Using a Weighted Scoring Model (WSM), I propose a novel reproducibility index for CFD simulations of SARS CoV 2 AT. The proposed index (0 leq R CFD j leq 1) relies on three reproducibility criteria comprising 10 elements that represent the possibility of a CFD study (j) to be reproduced. Frustratingly, only 3 of 23 studies (13 ) achieved full reproducibility index (R CFD j geq 0.9) while the remaining 87 were found generally irreproducible (R CFD j 0.9) . Without reproducible models, the scientific benefit of CFD simulations will remain hindered, fragmented and limited. In conclusion, I call the scientific community to apply more rigorous measures on reporting and publishing CFD simulations in COVID 19 research.


Deriving Distributive Laws for Graded Linear Types. The recent notion of graded modal types provides a framework for extending type theories with fine grained data flow reasoning. The Granule language explores this idea in the context of linear types. In this practical setting, we observe that the presence of graded modal types can introduce an additional impediment when programming when composing programs, it is often necessary to 'distribute' data types over graded modalities, and vice versa. In this paper, we show how to automatically derive these distributive laws as combinators for programming. We discuss the implementation and use of this automated deriving procedure in Granule, providing easy access to these distributive combinators. This work is also applicable to Linear Haskell (which retrofits Haskell with linear types via grading) and we apply our technique there to provide the same automatically derived combinators. Along the way, we discuss interesting considerations for pattern matching analysis via graded linear types. Lastly, we show how other useful structural combinators can also be automatically derived.


Error Floor Analysis of LDPC Column Layered Decoders. In this paper, we analyze the error floor of column layered decoders, also known as shuffled decoders, for low density parity check (LDPC) codes under saturating sum product algorithm (SPA). To estimate the error floor, we evaluate the failure rate of different trapping sets (TSs) that contribute to the frame error rate in the error floor region. For each such TS, we model the dynamics of SPA in the vicinity of the TS by a linear state space model that incorporates the information of the layered message passing schedule. Consequently, the model parameters and the failure rate of the TS change as a result of the change in the order by which the messages of different layers are updated. This, in turn, causes the error floor of the code to change as a function of scheduling. Based on the proposed analysis, we then devise an efficient search algorithm to find a schedule that minimizes the error floor. Simulation results are presented to verify the accuracy of the proposed error floor estimation technique.


Equivariance bridged SO(2) Invariant Representation Learning using Graph Convolutional Network. Training a Convolutional Neural Network (CNN) to be robust against rotation has mostly been done with data augmentation. In this paper, another progressive vision of research direction is highlighted to encourage less dependence on data augmentation by achieving structural rotational invariance of a network. The deep equivariance bridged SO(2) invariant network is proposed to echo such vision. First, Self Weighted Nearest Neighbors Graph Convolutional Network (SWN GCN) is proposed to implement Graph Convolutional Network (GCN) on the graph representation of an image to acquire rotationally equivariant representation, as GCN is more suitable for constructing deeper network than spectral graph convolution based approaches. Then, invariant representation is eventually obtained with Global Average Pooling (GAP), a permutation invariant operation suitable for aggregating high dimensional representations, over the equivariant set of vertices retrieved from SWN GCN. Our method achieves the state of the art image classification performance on rotated MNIST and CIFAR 10 images, where the models are trained with a non augmented dataset only. Quantitative validations over invariance of the representations also demonstrate strong invariance of deep representations of SWN GCN over rotations.


The streamlines of infty harmonic functions obey the inverse mean curvature flow. Given an infty harmonic function u infty on a domain Omega subseteq mathbb R 2 , consider the function w log nabla u infty . If u infty in C 2( Omega) with nabla u infty neq 0 and nabla nabla u infty neq 0 , then it is easy to check that (1) the streamlines of u infty are the level sets of w and (2) w solves the level set formulation of the inverse mean curvature flow. For less regular solutions, neither statement is true in general, but even so, w is still a weak solution of the inverse mean curvature flow under far weaker assumptions. This is proved through an approximation of u infty by p harmonic functions, the use of conjugate p' harmonic functions, and the known connection of the latter with the inverse mean curvature flow. A statement about the regularity of nabla u infty arises as a by product.


An Algorithm Independent Measure of Progress for Linear Constraint Propagation. Propagation of linear constraints has become a crucial sub routine in modern Mixed Integer Programming (MIP) solvers. In practice, iterative algorithms with tolerance based stopping criteria are used to avoid problems with slow or infinite convergence. However, these heuristic stopping criteria can pose difficulties for fairly comparing the efficiency of different implementations of iterative propagation algorithms in a real world setting. Most significantly, the presence of unbounded variable domains in the problem formulation makes it difficult to quantify the relative size of reductions performed on them. In this work, we develop a method to measure independently of the algorithmic design the progress that a given iterative propagation procedure has made at a given point in time during its execution. Our measure makes it possible to study and better compare the behavior of bounds propagation algorithms for linear constraints. We apply the new measure to answer two questions of practical relevance (i) We investigate to what extent heuristic stopping criteria can lead to premature termination on real world MIP instances. (ii) We compare a GPU parallel propagation algorithm against a sequential state of the art implementation and show that the parallel version is even more competitive in a real world setting than originally reported.


EchoVPR Echo State Networks for Visual Place Recognition. Recognising previously visited locations is an important, but unsolved, task in autonomous navigation. Current visual place recognition (VPR) benchmarks typically challenge models to recover the position of a query image (or images) from sequential datasets that include both spatial and temporal components. Recently, Echo State Network (ESN) varieties have proven particularly powerful at solving machine learning tasks that require spatio temporal modelling. These networks are simple, yet powerful neural architectures that exhibiting memory over multiple time scales and non linear high dimensional representations can discover temporal relations in the data while still maintaining linearity in the learning time. In this paper, we present a series of ESNs and analyse their applicability to the VPR problem. We report that the addition of ESNs to pre processed convolutional neural networks led to a dramatic boost in performance in comparison to non recurrent networks in five out of six standard benchmarks (GardensPoint, SPEDTest, ESSEX3IN1, Oxford RobotCar, and Nordland), demonstrating that ESNs are able to capture the temporal structure inherent in VPR problems. Moreover, we show that models that include ESNs can outperform class leading VPR models which also exploit the sequential dynamics of the data. Finally, our results demonstrate that ESNs improve generalisation abilities, robustness, and accuracy further supporting their suitability to VPR applications.


Adaptive Multi receptive Field Spatial Temporal Graph Convolutional Network for Traffic Forecasting. Mobile network traffic forecasting is one of the key functions in daily network operation. A commercial mobile network is large, heterogeneous, complex and dynamic. These intrinsic features make mobile network traffic forecasting far from being solved even with recent advanced algorithms such as graph convolutional network based prediction approaches and various attention mechanisms, which have been proved successful in vehicle traffic forecasting. In this paper, we cast the problem as a spatial temporal sequence prediction task. We propose a novel deep learning network architecture, Adaptive Multi receptive Field Spatial Temporal Graph Convolutional Networks (AMF STGCN), to model the traffic dynamics of mobile base stations. AMF STGCN extends GCN by (1) jointly modeling the complex spatial temporal dependencies in mobile networks, (2) applying attention mechanisms to capture various Receptive Fields of heterogeneous base stations, and (3) introducing an extra decoder based on a fully connected deep network to conquer the error propagation challenge with multi step forecasting. Experiments on four real world datasets from two different domains consistently show AMF STGCN outperforms the state of the art methods.


Conflict Detection in IoT based Smart Homes. We propose a novel framework that detects conflicts in IoT based smart homes. Conflicts may arise during interactions between the resident and IoT services in smart homes. We propose a generic knowledge graph to represent the relations between IoT services and environment entities. We also profile a generic knowledge graph to a specific smart home setting based on the context information. We propose a conflict taxonomy to capture different types of conflicts in a single resident smart home setting. A conflict detection algorithm is proposed to identify potential conflicts using the profiled knowledge graph. We conduct a set of experiments on real datasets and synthesized datasets to validate the effectiveness and efficiency of our proposed approach.


Code Structure Guided Transformer for Source Code Summarization. Source code summarization aims at generating concise descriptions of given programs' functionalities. While Transformer based approaches achieve promising performance, they do not explicitly incorporate the code structure information which is important for capturing code semantics. Besides, without explicit constraints, multi head attentions in Transformer may suffer from attention collapse, leading to poor code representations for summarization. Effectively integrating the code structure information into Transformer is under explored in this task domain. In this paper, we propose a novel approach named SG Trans to incorporate code structural properties into Transformer. Specifically, to capture the hierarchical characteristics of code, we inject the local symbolic information (e.g., code tokens) and global syntactic structure (e.g., data flow) into the self attention module as inductive bias. Extensive evaluation shows the superior performance of SG Trans over the state of the art approaches.


Generalized Parametric Path Problems. Parametric path problems arise independently in diverse domains, ranging from transportation to finance, where they are studied under various assumptions. We formulate a general path problem with relaxed assumptions, and describe how this formulation is applicable in these domains. We study the complexity of the general problem, and a variant of it where preprocessing is allowed. We show that when the parametric weights are linear functions, algorithms remain tractable even under our relaxed assumptions. Furthermore, we show that if the weights are allowed to be non linear, the problem becomes NP hard. We also study the mutli dimensional version of the problem where the weight functions are parameterized by multiple parameters. We show that even with two parameters, the problem is NP hard.


math.NA cs.NA physics.comp-ph physics.flu-dyn

Resolving Confusion Over Third Order Accuracy of U MUSCL. In this paper, we discuss the U MUSCL reconstruction scheme an unstructured grid extension of Van Leer's kappa scheme proposed by Burg for the edge based discretization AIAA Paper 2005 4999 . This technique has been widely used in practical unstructured grid fluid dynamics solvers but with confusions e.g., third order accuracy with kappa 1 2 or kappa 1 3. This paper clarifies some of these confusions e.g., the U MUSCL scheme can be third order accurate in the point valued solution with kappa 1 3 on regular grids for linear equations in all dimensions, it can be third order accurate with kappa 1 2 as the QUICK scheme in one dimension. It is shown that the U MUSCL scheme cannot be third order accurate for nonlinear equations, except a very special case of kappa 1 2 on regular simplex element grids, but it can be an accurate low dissipation second order scheme. It is also shown that U MUSCL extrapolates a quadratic function exactly with kappa 1 2 on arbitrary grids provided the gradient is computed by a quadratic least squares method. Two techniques are discussed, which transform the U MUSCL scheme into being genuinely third order accurate on a regular grid an efficient flux reconstruction method and a special source term quadrature formula for kappa 1 2.


Approximation of the spectral fractional powers of the Laplace Beltrami Operator. We consider numerical approximations of spectral fractional Laplace Beltrami problems on closed surfaces. The proposed numerical algorithms rely on their Balakrishnan integral representation and consist of a sinc quadrature coupled with standard finite element methods for parametric surfaces. Possibly up to a log term, optimal rates of convergence are observed and derived analytically when the discrepancies between the exact solution and its numerical approximations are measured in L 2 and H 1 . The performances of the algorithms are illustrated in different settings including the approximation of Gaussian fields on surfaces.


Enhanced Coalbed Methane Extraction by Geothermal Stimulation in Deep Coal Mines An Appraisal. Coalbed methane embedded in coal seams, is an unconventional energy resource as well as a hazardous gas existing in mining industries, which attracts lots of global attention. As the largest coal producer, the mining industry in China had to deal with many hazards induced by methane for decades. To solve this issue, underground methane extraction is commonly used in underground coal mines. However, underground methane extraction is hampered by low production rate and low efficiency because of slow gas emission from coal primarily controlled by gas desorption and permeability. It is well known that temperature has a great impact on gas sorption. The higher the temperature the larger the desorption rate. As the depth of coal mines increases beyond 1000m coal mines suffer elevated air temperatures caused by the natural geothermal gradient. The elevated temperature in such mines provides a potential economical way for geothermal energy extraction and utilization in deep coal mines which can largely cut the expenses of installation and operation maintenance. Therefore, a novel method is proposed to enhance underground methane extraction by deep heat stimulation. This paper mainly presents an assessment of previous and ongoing research in the related field and provides a first feasibility analysis of this method applied in the underground environment. The technique proposed in this early appraisal is deemed significant for coalbed methane drainage enhancing the productivity of deep coal mines by geothermal technology and can also be extended for many applications in relevant areas such as shale gas, and tight oil.


Learning Domain Specific Language Models for Automatic Speech Recognition through Machine Translation. Automatic Speech Recognition (ASR) systems have been gaining popularity in the recent years for their widespread usage in smart phones and speakers. Building ASR systems for task specific scenarios is subject to the availability of utterances that adhere to the style of the task as well as the language in question. In our work, we target such a scenario wherein task specific text data is available in a language that is different from the target language in which an ASR Language Model (LM) is expected. We use Neural Machine Translation (NMT) as an intermediate step to first obtain translations of the task specific text data. We then train LMs on the 1 best and N best translations and study ways to improve on such a baseline LM. We develop a procedure to derive word confusion networks from NMT beam search graphs and evaluate LMs trained on these confusion networks. With experiments on the WMT20 chat translation task dataset, we demonstrate that NMT confusion networks can help to reduce the perplexity of both n gram and recurrent neural network LMs compared to those trained only on N best translations.


Hybrid Edge Partitioner Partitioning Large Power Law Graphs under Memory Constraints. Distributed systems that manage and process graph structured data internally solve a graph partitioning problem to minimize their communication overhead and query run time. Besides computational complexity optimal graph partitioning is NP hard another important consideration is the memory overhead. Real world graphs often have an immense size, such that loading the complete graph into memory for partitioning is not economical or feasible. Currently, the common approach to reduce memory overhead is to rely on streaming partitioning algorithms. While the latest streaming algorithms lead to reasonable partitioning quality on some graphs, they are still not completely competitive to in memory partitioners. In this paper, we propose a new system, Hybrid Edge Partitioner (HEP), that can partition graphs that fit partly into memory while yielding a high partitioning quality. HEP can flexibly adapt its memory overhead by separating the edge set of the graph into two sub sets. One sub set is partitioned by NE , a novel, efficient in memory algorithm, while the other sub set is partitioned by a streaming approach. Our evaluations on large real world graphs show that in many cases, HEP outperforms both in memory partitioning and streaming partitioning at the same time. Hence, HEP is an attractive alternative to existing solutions that cannot fine tune their memory overheads. Finally, we show that using HEP, we achieve a significant speedup of distributed graph processing jobs on Spark GraphX compared to state of the art partitioning algorithms.


Application of Artificial Intelligence and Machine Learning in Libraries A Systematic Review. As the concept and implementation of cutting edge technologies like artificial intelligence and machine learning has become relevant, academics, researchers and information professionals involve research in this area. The objective of this systematic literature review is to provide a synthesis of empirical studies exploring application of artificial intelligence and machine learning in libraries. To achieve the objectives of the study, a systematic literature review was conducted based on the original guidelines proposed by Kitchenham et al. (2009). Data was collected from Web of Science, Scopus, LISA and LISTA databases. Following the rigorous established selection process, a total of thirty two articles were finally selected, reviewed and analyzed to summarize on the application of AI and ML domain and techniques which are most often used in libraries. Findings show that the current state of the AI and ML research that is relevant with the LIS domain mainly focuses on theoretical works. However, some researchers also emphasized on implementation projects or case studies. This study will provide a panoramic view of AI and ML in libraries for researchers, practitioners and educators for furthering the more technology oriented approaches, and anticipating future innovation pathways.


RIS Enhanced Spectrum Sensing How Many Reflecting Elements Are Required to Achieve a Detection Probability Close to 1?. In this paper, we propose an reconfigurable intelligent surface (RIS) enhanced spectrum sensing system, in which the primary transmitter is equipped with single antenna, the secondary transmitter is equipped with multiple antennas, and the RIS is employed to improve the detection performance. Without loss of generality, we adopt the maximum eigenvalue detection approach, and propose a corresponding analytical framework based on large dimensional random matrix theory, to evaluate the detection probability in the asymptotic regime. Besides, the phase shift matrix of the RIS is designed with only the statistical channel state information (CSI), which is shown to be quite effective when the RIS related channels are of Rician fading or line of sight (LoS). With the designed phase shift matrix, the asymptotic distributions of the equivalent channel gains are derived. Then, we provide the theoretical predictions about the number of reflecting elements (REs) required to achieve a detection probability close to 1. Finally, we present the Monte Carlo simulation results to evaluate the accuracy of the proposed asymptotic analytical framework for the detection probability and the validity of the theoretical predictions about the number of REs required to achieve a detection probability close to 1. Moreover, the simulation results show that the proposed RIS enhanced spectrum sensing system can substantially improve the detection performance.


Ex uno plures Splitting One Model into an Ensemble of Subnetworks. Monte Carlo (MC) dropout is a simple and efficient ensembling method that can improve the accuracy and confidence calibration of high capacity deep neural network models. However, MC dropout is not as effective as more compute intensive methods such as deep ensembles. This performance gap can be attributed to the relatively poor quality of individual models in the MC dropout ensemble and their lack of diversity. These issues can in turn be traced back to the coupled training and substantial parameter sharing of the dropout models. Motivated by this perspective, we propose a strategy to compute an ensemble of subnetworks, each corresponding to a non overlapping dropout mask computed via a pruning strategy and trained independently. We show that the proposed subnetwork ensembling method can perform as well as standard deep ensembles in both accuracy and uncertainty estimates, yet with a computational efficiency similar to MC dropout. Lastly, using several computer vision datasets like CIFAR10 100, CUB200, and Tiny Imagenet, we experimentally demonstrate that subnetwork ensembling also consistently outperforms recently proposed approaches that efficiently ensemble neural networks.


Blow up for a non linear stable non Gaussian process in fractional time. The behavior of solutions for a non linear subdiffusion problem is studied. A subordination principle is applied to obtain the variation of parameters formula in the sense of Volterra equations, which leads to the integral representation of a solution in terms of the fundamental solutions. This representation, the so called mild solution, is used to investigate some properties about continuity and non negativeness of solutions as well as to prove a Fujita type blow up result. Fujita's critical exponent is established in terms of the parameters of the stable non Gaussian process and a result for global solutions is given.


Neural Normalized Min Sum Message Passing vs. Viterbi Decoding for the CCSDS Line Product Code. The Consultative Committee for Space Data Systems (CCSDS) 141.11 O 1 Line Product Code (LPC) provides a rare opportunity to compare maximum likelihood decoding and message passing. The LPC considered in this paper is intended to serve as the inner code in conjunction with a (255,239) Reed Solomon (RS) code whose symbols are bytes of data. This paper represents the 141.11 O 1 LPC as a bipartite graph and uses that graph to formulate both maximum likelihood (ML) and message passing algorithms. ML decoding must, of course, have the best frame error rate (FER) performance. However, a fixed point implementation of a Neural Normalized MinSum (N NMS) message passing decoder closely approaches ML performance with a significantly lower complexity.


From the strong differential to Italian domination in graphs. Given a graph G and a subset of vertices D subseteq V(G) , the external neighbourhood of D is defined as N e(D) u in V(G) setminus D , N(u) cap D ne varnothing , where N(u) denotes the open neighbourhood of u . Now, given a subset D subseteq V(G) and a vertex v in D , the external private neighbourhood of v with respect to D is defined to be epn(v,D) u in V(G) setminus D N(u) cap D v . The strong differential of a set D subseteq V(G) is defined as partial s(D) N e(D) D w , where D w v in D epn(v,D) neq varnothing . In this paper we focus on the study of the strong differential of a graph, which is defined as partial s(G) max partial s(D) D subseteq V(G) . Among other results, we obtain general bounds on partial s(G) and we prove a Gallai type theorem, which states that partial s(G) gamma I (G) n(G) , where gamma I G) denotes the Italian domination number of G . Therefore, we can see the theory of strong differential in graphs as a new approach to the theory of Italian domination. One of the advantages of this approach is that it allows us to study the Italian domination number without the use of functions. As we can expect, we derive new results on the Italian domination number of a graph.


Tensor to Image Image to Image Translation with Vision Transformers. Transformers gain huge attention since they are first introduced and have a wide range of applications. Transformers start to take over all areas of deep learning and the Vision transformers paper also proved that they can be used for computer vision tasks. In this paper, we utilized a vision transformer based custom designed model, tensor to image, for the image to image translation. With the help of self attention, our model was able to generalize and apply to different problems without a single modification.


Stirling number and periodic points. We introduce the notion of almost realizability, an arithmetic generalization of realizability for integer sequences, which is the property of counting periodic points for some map. We characterize the intersection between the set of Stirling sequences (of both the first and the second kind) and the set of almost realizable sequences.


The concentration compactness principle for the nonlocal anisotropic p Laplacian of mixed order. In this paper, we study the existence of minimizers of the Sobolev quotient for a class of nonlocal operators with an orthotropic structure having different exponents of integrability and different orders of differentiability. Our method is based on the concentration compactness principle which we extend to this class of operators. One consequence of our main result is the existence of a nontrivial nonnegative solution to the corresponding critical problem.


Global random walk solvers for reactive transport and biodegradation processes in heterogeneous porous media. Flow and multicomponent reactive transport in saturated unsaturated porous media are modeled by ensembles of computational particles moving on regular lattices according to specific random walk rules. The occupation number of the lattice sites is updated with a global random walk (GRW) procedure which spreads the particles from a lattice site with computational costs comparable to those for a single random walk step in sequential procedures. To cope with the nonlinearity and the degeneracy of the Richards equation the GRW flow solver uses linearization techniques similar to the L scheme developed in finite element volume approaches. Numerical schemes for reactive transport, coupled with the flow solver via numerical solutions for saturation and water flux, are implemented in splitting procedures. Diffusion advection steps are solved by GRW algorithms using either biased or unbiased random walk probabilities. Since the number of particles in GRW simulations can be as large as the number of molecules involved in chemical reactions, one avoids the cumbersome problem of rescaling particle densities to approximate concentrations. Reaction steps are therefore formulated in terms of concentrations, as in deterministic approaches. The numerical convergence of the new schemes is demonstrated by comparisons with manufactured analytical solutions. Coupled flow and reactive transport problems of contaminant biodegradation described by the Monod model are further solved and the influence of flow nonlinearity degeneracy and of the spatial heterogeneity of the medium is investigated numerically.


On equivalence classes of homotopes of algebras and trilinear forms. A homotope, or a mutation, of a k algebra is a new algebra with the same underlying space, but with the multiplication law dependent on the multiplication law of the original algebra. In this paper, we show that a generic finite dimensional algebra of dimension greater than 3 has infinitely many non isotopic homotopes, and that, more generally, a similar result is true for generic trilinear forms. We also study a particular class of homotopes called Delta homotopes, where Delta is an element of the algebra, and show that there are algebras with infinitely many non isomorphic homotopes even under some additional assumptions, such as the associativity of the algebra or Delta being well tempered.


Eguchi Hanson metrics arising from Kahler Einstein edge metrics. Calabi Hirzebruch manifolds are higher dimensional generalizations of both the football and Hirzebruch surfaces. We construct a family of Kahler Einstein edge metrics singular along two disjoint divisors on the Calabi Hirzebruch manifolds and study their Gromov Hausdorff limits when either cone angle tends to its extreme value. As a very special case, we show that the celebrated Eguchi Hanson metric arises in this way naturally as a Gromov Hausdorff limit. We also completely describe all other (possibly rescaled) Gromov Hausdorff limits which exhibit a wide range of behaviors, resolving in this setting a conjecture of Cheltsov Rubinstein. This gives a new interpretation of both the Eguchi Hanson space and Calabi's Ricci flat spaces as limits of compact singular Einstein spaces.


E 2 (GO)MOTION Motion Augmented Event Stream for Egocentric Action Recognition. Event cameras are novel bio inspired sensors, which asynchronously capture pixel level intensity changes in the form of "events". Due to their sensing mechanism, event cameras have little to no motion blur, a very high temporal resolution and require significantly less power and memory than traditional frame based cameras. These characteristics make them a perfect fit to several real world applications such as egocentric action recognition on wearable devices, where fast camera motion and limited power challenge traditional vision sensors. However, the ever growing field of event based vision has, to date, overlooked the potential of event cameras in such applications. In this paper, we show that event data is a very valuable modality for egocentric action recognition. To do so, we introduce N EPIC Kitchens, the first event based camera extension of the large scale EPIC Kitchens dataset. In this context, we propose two strategies (i) directly processing event camera data with traditional video processing architectures (E 2 (GO)) and (ii) using event data to distill optical flow information (E 2 (GO)MO). On our proposed benchmark, we show that event data provides a comparable performance to RGB and optical flow, yet without any additional flow computation at deploy time, and an improved performance of up to 4 with respect to RGB only information.


Towards Privacy preserving Explanations in Medical Image Analysis. The use of Deep Learning in the medical field is hindered by the lack of interpretability. Case based interpretability strategies can provide intuitive explanations for deep learning models' decisions, thus, enhancing trust. However, the resulting explanations threaten patient privacy, motivating the development of privacy preserving methods compatible with the specifics of medical data. In this work, we analyze existing privacy preserving methods and their respective capacity to anonymize medical data while preserving disease related semantic features. We find that the PPRL VGAN deep learning method was the best at preserving the disease related semantic features while guaranteeing a high level of privacy among the compared state of the art methods. Nevertheless, we emphasize the need to improve privacy preserving methods for medical imaging, as we identified relevant drawbacks in all existing privacy preserving approaches.


Differentially Private Query Release Through Adaptive Projection. We propose, implement, and evaluate a new algorithm for releasing answers to very large numbers of statistical queries like k way marginals, subject to differential privacy. Our algorithm makes adaptive use of a continuous relaxation of the Projection Mechanism, which answers queries on the private dataset using simple perturbation, and then attempts to find the synthetic dataset that most closely matches the noisy answers. We use a continuous relaxation of the synthetic dataset domain which makes the projection loss differentiable, and allows us to use efficient ML optimization techniques and tooling. Rather than answering all queries up front, we make judicious use of our privacy budget by iteratively and adaptively finding queries for which our (relaxed) synthetic data has high error, and then repeating the projection. We perform extensive experimental evaluations across a range of parameters and datasets, and find that our method outperforms existing algorithms in many cases, especially when the privacy budget is small or the query class is large.


Probeable DARTS with Application to Computational Pathology. AI technology has made remarkable achievements in computational pathology (CPath), especially with the help of deep neural networks. However, the network performance is highly related to architecture design, which commonly requires human experts with domain knowledge. In this paper, we combat this challenge with the recent advance in neural architecture search (NAS) to find an optimal network for CPath applications. In particular, we use differentiable architecture search (DARTS) for its efficiency. We first adopt a probing metric to show that the original DARTS lacks proper hyperparameter tuning on the CIFAR dataset, and how the generalization issue can be addressed using an adaptive optimization strategy. We then apply our searching framework on CPath applications by searching for the optimum network architecture on a histological tissue type dataset (ADP). Results show that the searched network outperforms state of the art networks in terms of prediction accuracy and computation complexity. We further conduct extensive experiments to demonstrate the transferability of the searched network to new CPath applications, the robustness against downscaled inputs, as well as the reliability of predictions.


On the generators of Clifford semigroups polynomial resolvents and their integral transforms. This paper deals with generators mathsf A of strongly continuous right linear semigroups in Banach two sided spaces whose set of scalars is an arbitrary Clifford algebra mathit C ell(0,n) . We study the invertibility of operators of the form P( mathsf A ) , where P(x) in mathbb R x is any real polynomial, and we give an integral representation for P( mathsf A ) 1 by means of a Laplace type transform of the semigroup mathsf T (t) generated by mathsf A . In particular, we deduce a new integral representation for the operator ( mathsf A 2 2 mathrm Re (q) , mathsf A q 2) 1 . As an immediate consequence, we also obtain a new proof of the well known integral representation for the S resolvent operator of mathsf A (also called spherical resolvent operator of mathsf A ).


Improved Text Classification via Contrastive Adversarial Training. We propose a simple and general method to regularize the fine tuning of Transformer based encoders for text classification tasks. Specifically, during fine tuning we generate adversarial examples by perturbing the word embeddings of the model and perform contrastive learning on clean and adversarial examples in order to teach the model to learn noise invariant representations. By training on both clean and adversarial examples along with the additional contrastive objective, we observe consistent improvement over standard fine tuning on clean examples. On several GLUE benchmark tasks, our fine tuned BERT Large model outperforms BERT Large baseline by 1.7 on average, and our fine tuned RoBERTa Large improves over RoBERTa Large baseline by 1.3 . We additionally validate our method in different domains using three intent classification datasets, where our fine tuned RoBERTa Large outperforms RoBERTa Large baseline by 1 2 on average.


A congested schedule based dynamic transit passenger flow estimator using stop count data. A dynamic transit flow estimation model based on congested schedule based transit equilibrium assignment is proposed using observations from stop count data. A solution algorithm is proposed for the mathematical program with schedule based transit equilibrium constraints (MPEC) with polynomial computational complexity. The equilibrium constraints corresponding to the schedule based hyperpath flow are modified from the literature to fit into an estimation problem. Computational experiments are conducted first to verify the methodology with two synthetic data sets (one of which is Sioux Falls), followed by a validation of the method using bus data from Qingpu District in Shanghai, China, with 4 bus lines, 120 segments, 55 bus stops, and 120 one minute intervals. The estimation model converged to 0.005 tolerance of relative change in 10 iterations. The estimated average of segment flows are only 2.5 off from the average of the observed segment flows relative errors among segments are 42.5 .


Communication and Computation Reduction for Split Learning using Asynchronous Training. Split learning is a promising privacy preserving distributed learning scheme that has low computation requirement at the edge device but has the disadvantage of high communication overhead between edge device and server. To reduce the communication overhead, this paper proposes a loss based asynchronous training scheme that updates the client side model less frequently and only sends receives activations gradients in selected epochs. To further reduce the communication overhead, the activations gradients are quantized using 8 bit floating point prior to transmission. An added benefit of the proposed communication reduction method is that the computations at the client side are reduced due to reduction in the number of client model updates. Furthermore, the privacy of the proposed communication reduction based split learning method is almost the same as traditional split learning. Simulation results on VGG11, VGG13 and ResNet18 models on CIFAR 10 show that the communication cost is reduced by 1.64x 106.7x and the computations in the client are reduced by 2.86x 32.1x when the accuracy degradation is less than 0.5 for the single client case. For 5 and 10 client cases, the communication cost reduction is 11.9x and 11.3x on VGG11 for 0.5 loss in accuracy.


Software Process Improvement Based on Defect Prevention Using Capability and Testing Model Integration in Extreme Programming. Nowadays, Software Process Improvement popularly known as SPI has been able to receive an immense concern in the continuous process to purify software quality. Several Agile methodologies previously have worked with Extreme programming (XP). Before improving the process, defect prevention (DP) is inevitable. In addition, DP largely depends on defect detection either found earlier in the design and implementation stages or held in the testing phases. However, testing maturity model integration (TMMI) has a crucial aspect in DP as well as process improvement of the software. In particular, when software gets validated by being tested and fixed the defects up, it achieves the maximum capability maturity model integration (CMMI) aiming the process improvement. Here, the article has proposed an improved defect detection and prevention model to enhance the software process following the approach of XP. Besides, as a unique contribution, we have united the capability and testing model integration to ensure better SPI.


A Mathematical Model for the Origin of Name Brands and Generics. Firms in the U.S. spend over 200 billion dollars each year advertising their products to consumers, around one percent of the country's gross domestic product. It is of great interest to understand how that aggregate expenditure affects prices, market efficiency, and overall welfare. Here, we present a mathematical model for the dynamics of competition through advertising and find a surprising prediction when advertising is relatively cheap compared to the maximum benefit advertising offers, rational firms split into two groups, one with significantly less advertising (a "generic" group) and one with significantly more advertising (a "name brand" group). Our model predicts that this segmentation will also be reflected in price distributions we use large consumer data sets to test this prediction and find good qualitative agreement.


Moufang loops and toric surfaces. The toric surfaces for octonions and related objects are discussed.


Deep Learning Aided Routing for Space Air Ground Integrated Networks Relying on Real Satellite, Flight, and Shipping Data. Current maritime communications mainly rely on satellites having meager transmission resources, hence suffering from poorer performance than modern terrestrial wireless networks. With the growth of transcontinental air traffic, the promising concept of aeronautical ad hoc networking relying on commercial passenger airplanes is potentially capable of enhancing satellite based maritime communications via air to ground and multi hop air to air links. In this article, we conceive space air ground integrated networks (SAGINs) for supporting ubiquitous maritime communications, where the low earth orbit satellite constellations, passenger airplanes, terrestrial base stations, ships, respectively, serve as the space , air , ground and sea layer. To meet heterogeneous service requirements, and accommodate the time varying and self organizing nature of SAGINs, we propose a deep learning (DL) aided multi objective routing algorithm, which exploits the quasi predictable network topology and operates in a distributed manner. Our simulation results based on real satellite, flight, and shipping data in the North Atlantic region show that the integrated network enhances the coverage quality by reducing the end to end (E2E) delay and by boosting the E2E throughput as well as improving the path lifetime. The results demonstrate that our DL aided multi objective routing algorithm is capable of achieving near Pareto optimal performance.


On the topology of determinantal links. We study the cohomology of the generic determinantal varieties M m,n s varphi in mathbb C m times n mathrm rank varphi s , their polar multiplicities, their sections D k cap M m,n s by generic hyperplanes D k of various dimension k , and the real and complex links of the spaces (D k cap M m,n s,0) . Such complex links were shown to provide the basic building blocks in a bouquet decomposition for the (determinantal) smoothings of smoothable isolated determinantal singularities. The detailed vanishing topology of such singularities was still not fully understood beyond isolated complete intersections and a few further special cases. Our results now allow to compute all distinct Betti numbers of any determinantal smoothing.


Coherent cochain complexes and Beilinson t structures, with an appendix by Achim Krause. We define and study coherent cochain complexes in arbitrary stable infty categories, following Joyal. Our main result is that the infty category of coherent cochain complexes in a stable infty category mathscr C is equivalent to the infty category of complete filtered objects in mathscr C . We then show how the Beilinson t structure can be interpreted in light of such equivalence, and analyze its behavior in the presence of symmetric monoidal structures. We also examine the relationship between the notion of (higher) Toda brackets and coherent cochain complexes. Finally, we prove how every coherent cochain complex gives rise to a spectral sequence and illustrate some examples.


Abelian Nivat's conjecture for non rectangular patterns. In this paper, we study the relation between periodicity of two dimensional words and their abelian pattern complexity. A pattern cal P in mathbb Z n is the set of all translations of some finite subset F of mathbb Z n . An F factor of an infinite word is a finite word restricted to F . Then the pattern complexity over a pattern mathcal P counts the number of distinct F factors of an infinite word, for P in mathcal P . Two finite words are called abelian equivalent if for each letter of the alphabet, they contain the same numbers of occurrences of this letter. The abelian pattern complexity counts the number of F factors up to abelian equivalence. As the main result of the paper, we characterize two dimensional convex patterns with the following property if abelian pattern complexity over a pattern cal P is equal to 1, then the word is fully periodic. Similar result holds for a function on mathbb Z 2 instead of a word and for constant sums instead of abelian complexity equal to 1. In dimensional 1, we characterize patterns for which there exist non constant functions with constant sums.


Nonlinear stochastic wave Equation driven by rough noise. In this paper, we obtain the existence and uniqueness of the strong solution to one spatial dimension stochastic wave equation frac partial 2 u(t,x) partial t 2 frac partial 2 u(t,x) partial x 2 sigma(t,x,u(t,x)) dot W (t,x) assuming sigma(t,x,0) 0 , where dot W is a mean zero Gaussian noise which is white in time and fractional in space with Hurst parameter H in(1 4, 1 2) .


Geometric visualizations of b e e b when e b . The aim of this short note is to provide three geometric visualizations of a fascinating inequality b e e b when e b .


Flow Guided Transformable Bottleneck Networks for Motion Retargeting. Human motion retargeting aims to transfer the motion of one person in a "driving" video or set of images to another person. Existing efforts leverage a long training video from each target person to train a subject specific motion transfer model. However, the scalability of such methods is limited, as each model can only generate videos for the given target subject, and such training videos are labor intensive to acquire and process. Few shot motion transfer techniques, which only require one or a few images from a target, have recently drawn considerable attention. Methods addressing this task generally use either 2D or explicit 3D representations to transfer motion, and in doing so, sacrifice either accurate geometric modeling or the flexibility of an end to end learned representation. Inspired by the Transformable Bottleneck Network, which renders novel views and manipulations of rigid objects, we propose an approach based on an implicit volumetric representation of the image content, which can then be spatially manipulated using volumetric flow fields. We address the challenging question of how to aggregate information across different body poses, learning flow fields that allow for combining content from the appropriate regions of input images of highly non rigid human subjects performing complex motions into a single implicit volumetric representation. This allows us to learn our 3D representation solely from videos of moving people. Armed with both 3D object understanding and end to end learned rendering, this categorically novel representation delivers state of the art image generation quality, as shown by our quantitative and qualitative evaluations.


Human Aided Saliency Maps Improve Generalization of Deep Learning. Deep learning has driven remarkable accuracy increases in many computer vision problems. One ongoing challenge is how to achieve the greatest accuracy in cases where training data is limited. A second ongoing challenge is that trained models oftentimes do not generalize well even to new data that is subjectively similar to the training set. We address these challenges in a novel way, with the first ever (to our knowledge) exploration of encoding human judgement about salient regions of images into the training data. We compare the accuracy and generalization of a state of the art deep learning algorithm for a difficult problem in biometric presentation attack detection when trained on (a) original images with typical data augmentations, and (b) the same original images transformed to encode human judgement about salient image regions. The latter approach results in models that achieve higher accuracy and better generalization, decreasing the error of the LivDet Iris 2020 winner from 29.78 to 16.37 , and achieving impressive generalization in a leave one attack type out evaluation scenario. This work opens a new area of study for how to embed human intelligence into training strategies for deep learning to achieve high accuracy and generalization in cases of limited training data.


Can we imitate the principal investor's behavior to learn option price?. This paper presents a framework of imitating the principal investor's behavior for optimal pricing and hedging options. We construct a non deterministic Markov decision process for modeling stock price change driven by the principal investor's decision making. However, low signal to noise ratio and instability that are inherent in equity markets pose challenges to determine the state transition (stock price change) after executing an action (the principal investor's decision) as well as decide an action based on current state (spot price). In order to conquer these challenges, we resort to a Bayesian deep neural network for computing the predictive distribution of the state transition led by an action. Additionally, instead of exploring a state action relationship to formulate a policy, we seek for an episode based visible hidden state action relationship to probabilistically imitate the principal investor's successive decision making. Unlike conventional option pricing that employs analytical stochastic processes or utilizes time series analysis to model and sample underlying stock price movements, our algorithm simulates stock price paths by imitating the principal investor's behavior which requires no preset probability distribution and fewer predetermined parameters. Eventually the optimal option price is learned by reinforcement learning to maximize the cumulative risk adjusted return of a dynamically hedged portfolio over simulated price paths.


Recurrent Stacking of Layers in Neural Networks An Application to Neural Machine Translation. In deep neural network modeling, the most common practice is to stack a number of recurrent, convolutional, or feed forward layers in order to obtain high quality continuous space representations which in turn improves the quality of the network's prediction. Conventionally, each layer in the stack has its own parameters which leads to a significant increase in the number of model parameters. In this paper, we propose to share parameters across all layers thereby leading to a recurrently stacked neural network model. We report on an extensive case study on neural machine translation (NMT), where we apply our proposed method to an encoder decoder based neural network model, i.e., the Transformer model, and experiment with three Japanese English translation datasets. We empirically demonstrate that the translation quality of a model that recurrently stacks a single layer 6 times, despite having significantly fewer parameters, approaches that of a model that stacks 6 layers where each layer has different parameters. We also explore the limits of recurrent stacking where we train extremely deep NMT models. This paper also examines the utility of our recurrently stacked model as a student model through transfer learning via leveraging pre trained parameters and knowledge distillation, and shows that it compensates for the performance drops in translation quality that the direct training of recurrently stacked model brings. We also show how transfer learning helps in faster decoding on top of the already reduced number of parameters due to recurrent stacking. Finally, we analyze the effects of recurrently stacked layers by visualizing the attentions of models that use recurrently stacked layers and models that do not.


A Fragile multi CPR Game. A Fragile CPR Game is an instance of a resource sharing game where a common pool resource, which is prone to failure due to overuse, is shared among several players. Each player has a fixed initial endowment and is faced with the task of investing in the common pool resource without forcing it to fail. The return from the common pool resource is subject to uncertainty and is perceived by the players in a prospect theoretic manner. It is shown in A. R. Hota, S. Garg, S. Sundaram, textit Fragility of the commons under prospect theoretic risk attitudes , Games and Economic Behavior textbf 98 (2016) 135 164. that, under some mild assumptions, a Fragile CPR Game admits a unique Nash equilibrium. In this article we investigate an extended version of a Fragile CPR Game, in which players are allowed to share multiple common pool resources that are also prone to failure due to overuse. We refer to this game as a Fragile multi CPR Game. Our main result states that, under some mild assumptions, a Fragile multi CPR Game admits a Generalized Nash equilibrium. Moreover, we show that, when there are more players than common pool resources, the set consisting of all Generalized Nash equilibria of a Fragile multi CPR Game is of Lebesgue measure zero.


Torus equivariant algebraic models and compact realization. Let T be a compact torus. We prove that, up to equivariant rational equivalence, the category of T simply connected, T finite type T spaces with finitely many isotropy types is completely described by certain finite systems of commutative differential graded algebras with consistent choices of degree 2 cohomology classes. We show that the algebraic systems corresponding to finite T CW complexes are exactly those which satisfy the necessary condition imposed by the Borel localization theorem along with certain finiteness conditions. We derive an algebraic characterization of when an algebra over a polyonmial ring is realized as the rational equivariant cohomology of a finite T CW complex. As further applications we prove that any GKM graph cohomology is realized by a finite T CW complex and classify equivariant cohomology algebras of finite S 1 CW complexes with discrete fixed points.


Numerical Study on Flow and Heat Transfer of Water and Liquid Metals Within Micro Scale Heat Sinks for High Heat Dissipation Rate Applications. Compact and small scale heat exchangers can handle high heat dissipation rates due to their large surface area to volume ratios. Applications involving high heat dissipation rates include, but are not limited to, compact microelectronic processing units, high power laser arrays, fuel cells, as well as fission batteries. Low maintenance cost, small size and dimensions, as well as high convective heat transfer coefficients, make micro scale heat sinks an efficient and reliable cooling solution for applications with high heat dissipation rates. Despite these advantages, the large pressure drop that occurs within micro scale heat sinks has restricted their utilization. Slip at the walls of microchannels has been reported to reduce friction factor up to 30 , depending on the hydraulic diameter of the microchannel. Numerical investigations are conducted to comprehensively investigate the effect of slip at walls on friction factor and Nusselt number of liquid flows in micro scale heat sinks. At the same mass flow rate and inlet Reynolds number, obtained results suggest that slip length on the order of 2 microns enhances the overall thermalhydraulic performance of micro heat sinks by almost 6 in comparison with no slip boundary conditions. 4 increase is observed in channel average Nusselt number while pumping power reduces by 8 in comparison with no slip boundary condition.


BAPose Bottom Up Pose Estimation with Disentangled Waterfall Representations. We propose BAPose, a novel bottom up approach that achieves state of the art results for multi person pose estimation. Our end to end trainable framework leverages a disentangled multi scale waterfall architecture and incorporates adaptive convolutions to infer keypoints more precisely in crowded scenes with occlusions. The multi scale representations, obtained by the disentangled waterfall module in BAPose, leverage the efficiency of progressive filtering in the cascade architecture, while maintaining multi scale fields of view comparable to spatial pyramid configurations. Our results on the challenging COCO and CrowdPose datasets demonstrate that BAPose is an efficient and robust framework for multi person pose estimation, achieving significant improvements on state of the art accuracy.


Regionalized models for Spanish language variations based on Twitter. Spanish is one of the most spoken languages in the globe, but not necessarily Spanish is written and spoken in the same way in different countries. Understanding local language variations can help to improve model performances on regional tasks, both understanding local structures and also improving the message's content. For instance, think about a machine learning engineer who automatizes some language classification task on a particular region or a social scientist trying to understand a regional event with echoes on social media both can take advantage of dialect based language models to understand what is happening with more contextual information hence more precision. This manuscript presents and describes a set of regionalized resources for the Spanish language built on four year Twitter public messages geotagged in 26 Spanish speaking countries. We introduce word embeddings based on FastText, language models based on BERT, and per region sample corpora. We also provide a broad comparison among regions covering lexical and semantical similarities as well as examples of using regional resources on message classification tasks.


Global bifurcation for a class of nonlinear ODEs. We briefly survey global bifurcation techniques, and illustrate their use by finding multiple positive periodic solutions to a class of second order quasilinear ODEs related to the Yamabe problem. As an application, we give a bifurcation theoretic proof of a classical nonuniqueness result for conformal metrics with constant scalar curvature, that was independently discovered by O. Kobayashi and R. Schoen in the 1980s.


Electrically Switchable Broadband Photonic Bound States in the Continuum. The question of how to continuously manipulate a photonic system between a radiating state and a bound state is an important challenge in photonics, as its solution promises broad technological relevance for optical sensors, modulators, switches and displays. Existing approaches utilise the inherent wave nature of electromagnetic fields to their advantage, and are commonly identified as bound states in the continuum (BICs), as they resemble singular bound states embedded in a band of radiating states. Although quasi BICs have been demonstrated for numerous symmetric periodic photonic crystals, their existence so far has been limited to narrow spectral ranges, and their application in switches or modulators needs large changes of the refractive index. Here, we show that the incidence of two guided symmetric substrate waves of opposite phase onto a symmetric periodic film waveguide enables the excitation of self stabilising BICs which are electrically switchable in a broad optical range, with small changes of the refractive index. An experimental verification of the concept shows a switching contrast C 700 at a wavelength of 532 nm and C 1000 at a wavelength of 632.8 nm.


Carbon nanotubes collapse phase diagram with arbitrary number of walls. Collapse modes and macroscopic analog. Carbon nanotubes tend to collapse when their diameters exceed a certain threshold, or when a sufficiently large external pressure is applied on their walls. Their radial stability of tubes has been studied in each of these cases, however a general theory able to predict collapse is still lacking. Here, we propose a simple model predicting stability limits as a function of the tube diameter, the number of walls and the pressure. The model is supported by atomistic simulations, experiments, and is used to plot collapse phase diagrams. We have identified the most stable carbon nanotube, which can support a maximum pressure of 18 GPa before collapsing. The latter was identified as a multiwall tube with an internal tube diameter of 12nm and 30 walls. This maximum pressure is lowered depending on the internal tube diameter and the number of walls. We then identify a tube diameter domain in which the radial mechanical stability can be treated as equivalent to macroscopic tubes, known to be described by the canonical L 'evy Carrier law. This multiscale behavior is shown to be in good agreement with experiments based on O ring gaskets collapse, proposed as a simple macroscopic parallel to nanotubes in this domain.


Compressed Sensing for Photoacoustic Computed Tomography Using an Untrained Neural Network. Photoacoustic (PA) computed tomography (PACT) shows great potentials in various preclinical and clinical applications. A great number of measurements are the premise that obtains a high quality image, which implies a low imaging rate or a high system cost. The artifacts or sidelobes could pollute the image if we decrease the number of measured channels or limit the detected view. In this paper, a novel compressed sensing method for PACT using an untrained neural network is proposed, which decreases half number of the measured channels and recoveries enough details. This method uses a neural network to reconstruct without the requirement for any additional learning based on the deep image prior. The model can reconstruct the image only using a few detections with gradient descent. Our method can cooperate with other existing regularization, and further improve the quality. In addition, we introduce a shape prior to easily converge the model to the image. We verify the feasibility of untrained network based compressed sensing in PA image reconstruction, and compare this method with a conventional method using total variation minimization. The experimental results show that our proposed method outperforms 32.72 (SSIM) with the traditional compressed sensing method in the same regularization. It could dramatically reduce the requirement for the number of transducers, by sparsely sampling the raw PA data, and improve the quality of PA image significantly.


Symplectic embeddings into disk cotangent bundles. In this paper, we compute the embedded contact homology (ECH) capacities of the disk cotangent bundles D S 2 and D mathbb R P 2 . We also find sharp symplectic embeddings into these domains. In particular, we compute their Gromov widths. In order to do that, we explicitly calculate the ECH chain complexes of S S 2 and S mathbb R P 2 using a direct limit argument on the action inspired by Bourgeois's Morse Bott approach and ideas from Nelson Weiler's work on the ECH of prequantization bundles. Moreover, we use integrable systems techniques to find explicit symplectic embeddings. In particular, we prove that the disk cotangent bundles of a hemisphere and of a punctured sphere are symplectomorphic to an open ball and a symplectic bidisk, respectively.


The stochastic Gierer Meinhardt system. The Gierer Meinhardt system occurs in morphogenesis, where the development of an organism from a single cell is modelled. One of the steps in the development, is the formation of spatial patterns of the cell structure, starting from an almost homogeneous cell distribution. Turing proposed in his pioneering work different activator inhibitor systems with different diffusion rates, which could trigger the emergence of such cell structures. Mathematically, one describes these activator inhibitor systems as a coupled systems of reaction diffusion equations with hugely different diffusion coefficients and highly nonlinear interaction. One famous example of these systems is the Gierer Meinhardt system. These systems usually are not of monotone type, such that one has to apply other techniques. The purpose of this article is to study the stochastic reaction diffusion Gierer Meinhardt system with homogeneous Neumann boundary condition on a one or two dimensional bounded spatial domain. To be more precise, we perturb the original Gierer Meinhardt system by an infinite dimensional Wiener process and show under which conditions on the Wiener process and the system, a solution exists. In dimension one, we even show the pathwise uniqueness. In dimension two, uniqueness is still an open question.


New Metrics to Evaluate the Performance and Fairness of Personalized Federated Learning. In Federated Learning (FL), the clients learn a single global model (FedAvg) through a central aggregator. In this setting, the non IID distribution of the data across clients restricts the global FL model from delivering good performance on the local data of each client. Personalized FL aims to address this problem by finding a personalized model for each client. Recent works widely report the average personalized model accuracy on a particular data split of a dataset to evaluate the effectiveness of their methods. However, considering the multitude of personalization approaches proposed, it is critical to study the per user personalized accuracy and the accuracy improvements among users with an equitable notion of fairness. To address these issues, we present a set of performance and fairness metrics intending to assess the quality of personalized FL methods. We apply these metrics to four recently proposed personalized FL methods, PersFL, FedPer, pFedMe, and Per FedAvg, on three different data splits of the CIFAR 10 dataset. Our evaluations show that the personalized model with the highest average accuracy across users may not necessarily be the fairest. Our code is available at https tinyurl.com 1hp9ywfa for public use.


Decidable problems in substitution shifts. In this paper we investigate the structure of the most general kind of substitution shifts, including non minimal ones and allowing erasing morphisms. We prove the decidability of all the properties of these morphisms with respect to the shift space generated by iteration, such as aperiodicity, recognizability, irreducibility or minimality.


Predicting Driver Takeover Time in Conditionally Automated Driving. It is extremely important to ensure a safe takeover transition in conditionally automated driving. One of the critical factors that quantifies the safe takeover transition is takeover time. Previous studies identified the effects of many factors on takeover time, such as takeover lead time, non driving tasks, modalities of the takeover requests (TORs), and scenario urgency. However, there is a lack of research to predict takeover time by considering these factors all at the same time. Toward this end, we used eXtreme Gradient Boosting (XGBoost) to predict the takeover time using a dataset from a meta analysis study 1 . In addition, we used SHAP (SHapley Additive exPlanation) to analyze and explain the effects of the predictors on takeover time. We identified seven most critical predictors that resulted in the best prediction performance. Their main effects and interaction effects on takeover time were examined. The results showed that the proposed approach provided both good performance and explainability. Our findings have implications on the design of in vehicle monitoring and alert systems to facilitate the interaction between the drivers and the automated vehicle.


A novel knowledge graph development for industry design A case study on indirect coal liquefaction process. Hazard and operability analysis (HAZOP) is a remarkable representative in industrial safety engineering. However, a great storehouse of industrial safety knowledge (ISK) in HAZOP reports has not been thoroughly exploited. In order to reuse and unlock the value of ISK and optimize HAZOP, we have developed a novel knowledge graph for industrial safety (ISKG) with HAZOP as the carrier through bridging data science and engineering design. Specifically, firstly, considering that the knowledge contained in HAZOP reports of different processes in industry is not the same, we creatively develope a general ISK standardization framework, it provides a practical scheme for integrating HAZOP reports from various processes and uniformly representing the ISK with diverse expressions. Secondly, we conceive a novel and reliable information extraction model based on deep learning combined with data science, it can effectively mine ISK from HAZOP reports, which alleviates the obstacle of ISK extraction caused by the particularity of HAZOP text. Finally, we build ISK triples and store them in the Neo4j graph database. We take indirect coal liquefaction process as a case study to develop ISKG, and its oriented applications can optimize HAZOP and mine the potential of ISK, which is of great significance to improve the security of the system and enhance prevention awareness for people. ISKG containing the ISK standardization framework and the information extraction model sets an example of the interaction between data science and engineering design, which can enlighten other researchers and extend the perspectives of industrial safety.


Pirouette Higher Order Typed Functional Choreographies. We present Pirouette, a language for typed higher order functional choreographic programming. Pirouette offers programmers the ability to write a centralized functional program and compile it via endpoint projection into programs for each node in a distributed system. Moreover, Pirouette is defined generically over a (local) language of messages, and lifts guarantees about the message type system to its own. Message type soundness also guarantees deadlock freedom. All of our results are verified in Coq.


In Kernel Control Flow Integrity on Commodity OSes using ARM Pointer Authentication. This paper presents an in kernel, hardware based control flow integrity (CFI) protection, called PAL, that utilizes ARM's Pointer Authentication (PA). It provides three important benefits over commercial, state of the art PA based CFIs like iOS's 1) enhancing CFI precision via automated refinement techniques, 2) addressing hindsight problems of PA for in kernel uses such as preemptive hijacking and brute forcing attacks, and 3) assuring the algorithmic or implementation correctness via post validation. PAL achieves these goals in an OS agnostic manner, so could be applied to commodity OSes like Linux and FreeBSD. The precision of the CFI protection can be adjusted for better performance or improved for better security with minimal engineering efforts if a user opts in to. Our evaluation shows that PAL incurs negligible performance overhead e.g., 1 overhead for Apache benchmark and 3 5 overhead for Linux perf benchmark on the latest Mac mini (M1). Our post validation approach helps us ensure the security invariant required for the safe uses of PA inside the kernel, which also reveals new attack vectors on the iOS kernel. PAL as well as the CFI protected kernels will be open sourced.


Choice Logics and Their Computational Properties. Qualitative Choice Logic (QCL) and Conjunctive Choice Logic (CCL) are formalisms for preference handling, with especially QCL being well established in the field of AI. So far, analyses of these logics need to be done on a case by case basis, albeit they share several common features. This calls for a more general choice logic framework, with QCL and CCL as well as some of their derivatives being particular instantiations. We provide such a framework, which allows us, on the one hand, to easily define new choice logics and, on the other hand, to examine properties of different choice logics in a uniform setting. In particular, we investigate strong equivalence, a core concept in non classical logics for understanding formula simplification, and computational complexity. Our analysis also yields new results for QCL and CCL. For example, we show that the main reasoning task regarding preferred models is Theta p 2 complete for QCL and CCL, while being Delta p 2 complete for a newly introduced choice logic.


THE Benchmark Transferable Representation Learning for Monocular Height Estimation. Generating 3D city models rapidly is crucial for many applications. Monocular height estimation is one of the most efficient and timely ways to obtain large scale geometric information. However, existing works focus primarily on training and testing models using unbiased datasets, which don't align well with real world applications. Therefore, we propose a new benchmark dataset to study the transferability of height estimation models in a cross dataset setting. To this end, we first design and construct a large scale benchmark dataset for cross dataset transfer learning on the height estimation task. This benchmark dataset includes a newly proposed large scale synthetic dataset, a newly collected real world dataset, and four existing datasets from different cities. Next, two new experimental protocols, zero shot and few shot cross dataset transfer, are designed. For few shot cross dataset transfer, we enhance the window based Transformer with the proposed scale deformable convolution module to handle the severe scale variation problem. To improve the generalizability of deep models in the zero shot cross dataset setting, a max normalization based Transformer network is designed to decouple the relative height map from the absolute heights. Experimental results have demonstrated the effectiveness of the proposed methods in both the traditional and cross dataset transfer settings. The datasets and codes are publicly available at https thebenchmarkh.github.io .


Integrating LSTMs and GNNs for COVID 19 Forecasting. The spread of COVID 19 has coincided with the rise of Graph Neural Networks (GNNs), leading to several studies proposing their use to better forecast the evolution of the pandemic. Many such models also include Long Short Term Memory (LSTM) networks, a common tool for time series forecasting. In this work, we further investigate the integration of these two methods by implementing GNNs within the gates of an LSTM and exploiting spatial information. In addition, we introduce a skip connection which proves critical to jointly capture the spatial and temporal patterns in the data. We validate our daily COVID 19 new cases forecast model on data of 37 European nations for the last 472 days and show superior performance compared to state of the art graph time series models based on mean absolute scaled error (MASE). This area of research has important applications to policy making and we analyze its potential for pandemic resource control.


The weighted Hardy constant. Let Omega be a domain in R d and d Gamma the Euclidean distance to the boundary Gamma . We investigate whether the weighted Hardy inequality d Gamma delta 2 1 varphi 2 leq a delta , d Gamma delta 2 ,( nabla varphi) 2 is valid, with delta geq 0 and a delta 0 , for all varphi in C c 1( Gamma r) and all small r 0 where Gamma r x in Omega d Gamma(x) r . First we prove that if delta in 0,2 rangle then the inequality is equivalent to the weighted version of Davies' weak Hardy inequality on Omega with equality of the corresponding optimal constants. Secondly, we establish that if Omega is a uniform domain with Ahlfors regular boundary then the inequality is satisfied for all delta geq 0 , and all small r , with the exception of the value delta 2 (d d H) where d H is the Hausdorff dimension of Gamma . Moreover, the optimal constant a delta( Gamma) satisfies a delta( Gamma) geq 2 (d d H) delta 2 . Thirdly, if Omega is a C 1,1 domain or a convex domain a delta( Gamma) 2 delta 1 for all delta geq0 with delta neq1 . The same conclusion is correct if Omega is the complement of a convex domain and delta 1 but if delta in 0,1 rangle then a delta( Gamma) can be strictly larger than 2 delta 1 . Finally we use these results to establish self adjointness criteria for degenerate elliptic diffusion operators.


Tight Competitive Analyses of Online Car sharing Problems. The car sharing problem, proposed by Luo, Erlebach and Xu in 2018, mainly focuses on an online model in which there are two locations 0 and 1, and k total cars. Each request which specifies its pick up time and pick up location (among 0 and 1, and the other is the drop off location) is released in each stage a fixed amount of time before its specified start (i.e. pick up) time. The time between the booking (i.e. released) time and the start time is enough to move empty cars between 0 and 1 for relocation if they are not used in that stage. The model, called k S2L F, assumes that requests in each stage arrive sequentially regardless of the same booking time and the decision (accept or reject) must be made immediately. The goal is to accept as many requests as possible. In spite of only two locations, the analysis does not seem easy and the (tight) competitive ratio (CR) is only known to be 2.0 for k 2 and 1.5 for a restricted value of k , i.e., a multiple of three. In this paper, we remove all the holes of unknown CR's namely we prove that the CR is frac 2k k lfloor k 3 rfloor for all k geq 2 . Furthermore, if the algorithm can delay its decision until all requests have come in each stage, the CR is improved to roughly 4 3. We can take this advantage even further, precisely we can achieve a CR of frac 2 R 3 if the number of requests in each stage is at most Rk , 1 leq R leq 2 , where we do not have to know the value of R in advance. Finally we demonstrate that randomization also helps to get (slightly) better CR's.


Domain Adaptation for Sentiment Analysis Using Increased Intraclass Separation. Sentiment analysis is a costly yet necessary task for enterprises to study the opinions of their customers to improve their products and to determine optimal marketing strategies. Due to the existence of a wide range of domains across different products and services, cross domain sentiment analysis methods have received significant attention. These methods mitigate the domain gap between different applications by training cross domain generalizable classifiers which help to relax the need for data annotation for each domain. Most existing methods focus on learning domain agnostic representations that are invariant with respect to both the source and the target domains. As a result, a classifier that is trained using the source domain annotated data would generalize well in a related target domain. We introduce a new domain adaptation method which induces large margins between different classes in an embedding space. This embedding space is trained to be domain agnostic by matching the data distributions across the domains. Large intraclass margins in the source domain help to reduce the effect of "domain shift" on the classifier performance in the target domain. Theoretical and empirical analysis are provided to demonstrate that the proposed method is effective.


Alpha Mini Minichess Agent with Deep Reinforcement Learning. We train an agent to compete in the game of Gardner minichess, a downsized variation of chess played on a 5x5 board. We motivated and applied a SOTA actor critic method Proximal Policy Optimization with Generalized Advantage Estimation. Our initial task centered around training the agent against a random agent. Once we obtained reasonable performance, we then adopted a version of iterative policy improvement adopted by AlphaGo to pit the agent against increasingly stronger versions of itself, and evaluate the resulting performance gain. The final agent achieves a near (.97) perfect win rate against a random agent. We also explore the effects of pretraining the network using a collection of positions obtained via self play.


Modeling Users and Online Communities for Abuse Detection A Position on Ethics and Explainability. Abuse on the Internet is an important societal problem of our time. Millions of Internet users face harassment, racism, personal attacks, and other types of abuse across various platforms. The psychological effects of abuse on individuals can be profound and lasting. Consequently, over the past few years, there has been a substantial research effort towards automated abusive language detection in the field of NLP. In this position paper, we discuss the role that modeling of users and online communities plays in abuse detection. Specifically, we review and analyze the state of the art methods that leverage user or community information to enhance the understanding and detection of abusive language. We then explore the ethical challenges of incorporating user and community information, laying out considerations to guide future research. Finally, we address the topic of explainability in abusive language detection, proposing properties that an explainable method should aim to exhibit. We describe how user and community information can facilitate the realization of these properties and discuss the effective operationalization of explainability in view of the properties.


Stability of Syzygy bundles corresponding to stable vector bundles on algebraic surfaces. Let (X, H) be a polarized smooth projective algebraic surface and E is globally generated, stable vector bundle on X . Then the Syzygy bundle M E associated to it is defined as the kernel bundle corresponding to the evaluation map. In this article we will study the stability property of M E with respect to H .


AdaptivePose Human Parts as Adaptive Points. Multi person pose estimation methods generally follow top down and bottom up paradigms, both of which can be considered as two stage approaches thus leading to the high computation cost and low efficiency. Towards a compact and efficient pipeline for multi person pose estimation task, in this paper, we propose to represent the human parts as points and present a novel body representation, which leverages an adaptive point set including the human center and seven human part related points to represent the human instance in a more fine grained manner. The novel representation is more capable of capturing the various pose deformation and adaptively factorizes the long range center to joint displacement thus delivers a single stage differentiable network to more precisely regress multi person pose, termed as AdaptivePose. For inference, our proposed network eliminates the grouping as well as refinements and only needs a single step disentangling process to form multi person pose. Without any bells and whistles, we achieve the best speed accuracy trade offs of 67.4 AP 29.4 fps with DLA 34 and 71.3 AP 9.1 fps with HRNet W48 on COCO test dev dataset.


Modelling the Earth's magnetic field with magnetometer data from a Raspberry Pi on board the ISS. We used data from a magnetometer on board the ISS to simulate the Earth's magnetic field. For that purpose, we generated two models from the data and compared them an off centered dipole model and a centered multipolar model. We found out that measuring the magnetic field along only two orbits is not enough to provide a good estimate of the Earth's magnetic field, as they chart a too small portion of the Earth's surface. This was our original work within the "Astro Pi Challenge", a project ran by ESA and the Raspberry Pi Foundation, and the magnetometer used was the one incorporated in the Raspberry Pi Sense Hat. Here, we improved by performing the same analysis using data from ten orbits and learned that the multipolar model already provides a good approximation to the Earth's magnetic field with this number of orbits. We also noticed a deviation of the data collected from what would be expected from the IGRF model, in both sets of data.


Construction de variables a l'aide de classifieurs comme aide a la r 'egression. This paper proposes a method for the automatic creation of variables (in the case of regression) that complement the information contained in the initial input vector. The method works as a pre processing step in which the continuous values of the variable to be regressed are discretized into a set of intervals which are then used to define value thresholds. Then classifiers are trained to predict whether the value to be regressed is less than or equal to each of these thresholds. The different outputs of the classifiers are then concatenated in the form of an additional vector of variables that enriches the initial vector of the regression problem. The implemented system can thus be considered as a generic pre processing tool. We tested the proposed enrichment method with 5 types of regressors and evaluated it in 33 regression datasets. Our experimental results confirm the interest of the approach.


Catalytic effect of plasma in lowering the reduction temperature of Fe 2 O 3 . Atmospheric pressure plasma (APP) generates highly reactive species that are useful for surface activations. We demonstrate a fast regeneration of iron oxides, that are popular catalysts in various industrial processes, using microwave driven argon APP under ambient condition. The surface treatment of hematite powder by the APP with a small portion of hydrogen (0.5 ) lowers the oxide's reduction temperature. A near infrared laser is used for localized heating to control the surface temperature. Controlled experiments without plasma confirm the catalytic effect of the plasma. Raman, XRD, SEM, and XPS analyses show that the plasma treatment changed the chemical state of the hematite to that of magnetite without sintering.


Political Depolarization of News Articles Using Attribute aware Word Embeddings. Political polarization in the US is on the rise. This polarization negatively affects the public sphere by contributing to the creation of ideological echo chambers. In this paper, we focus on addressing one of the factors that contributes to this polarity, polarized media. We introduce a framework for depolarizing news articles. Given an article on a certain topic with a particular ideological slant (eg., liberal or conservative), the framework first detects polar language in the article and then generates a new article with the polar language replaced with neutral expressions. To detect polar words, we train a multi attribute aware word embedding model that is aware of ideology and topics on 360k full length media articles. Then, for text generation, we propose a new algorithm called Text Annealing Depolarization Algorithm (TADA). TADA retrieves neutral expressions from the word embedding model that not only decrease ideological polarity but also preserve the original argument of the text, while maintaining grammatical correctness. We evaluate our framework by comparing the depolarized output of our model in two modes, fully automatic and semi automatic, on 99 stories spanning 11 topics. Based on feedback from 161 human testers, our framework successfully depolarized 90.1 of paragraphs in semi automatic mode and 78.3 of paragraphs in fully automatic mode. Furthermore, 81.2 of the testers agree that the non polar content information is well preserved and 79 agree that depolarization does not harm semantic correctness when they compare the original text and the depolarized text. Our work shows that data driven methods can help to locate political polarity and aid in the depolarization of articles.


Enumerating circular permutations avoiding the vincular pattern 23 4 1. In this paper, we find an explicit formula for the generating function that counts the circular permutations of length n avoiding the pattern 23 4 1 whose enumeration was raised as an open problem by Rupert Li. This then completes in all cases the enumeration of circular permutations that avoid a single vincular pattern of length four containing one vinculum. To establish our results, we introduce three auxiliary arrays which when taken together refine the cardinality of the class of permutations in question. Rewriting the recurrences of these arrays in terms of generating functions leads to functional equations which are solved by various means including the kernel method and iteration.


Strongly outer actions of amenable groups on mathcal Z stable nuclear C algebras. Let A be a separable, unital, simple, mathcal Z stable, nuclear C algebra, and let alpha colon G to mathrm Aut (A) be an action of a discrete, countable, amenable group. Suppose that the orbits of the action of G on T(A) are finite and that their cardinality is bounded. We show that alpha is strongly outer if and only if alpha otimes mathrm id mathcal Z has the weak tracial Rokhlin property. If G is moreover residually finite, these conditions are also equivalent to alpha otimes mathrm id mathcal Z having finite Rokhlin dimension (in fact, at most 2). If partial eT(A) is furthermore compact, has finite covering dimension, and the orbit space partial eT(A) G is Hausdorff, we generalize results by Matui and Sato to show that alpha is cocycle conjugate to alpha otimes mathrm id mathcal Z , even if alpha is not strongly outer. In particular, in this case the equivalences above hold for alpha in place of alpha otimes mathrm id mathcal Z . In the course of the proof, we develop equivariant versions of complemented partitions of unity and uniform property Gamma as technical tools of independent interest.


LRG at SemEval 2021 Task 4 Improving Reading Comprehension with Abstract Words using Augmentation, Linguistic Features and Voting. In this article, we present our methodologies for SemEval 2021 Task 4 Reading Comprehension of Abstract Meaning. Given a fill in the blank type question and a corresponding context, the task is to predict the most suitable word from a list of 5 options. There are three sub tasks within this task Imperceptibility (subtask I), Non Specificity (subtask II), and Intersection (subtask III). We use encoders of transformers based models pre trained on the masked language modelling (MLM) task to build our Fill in the blank (FitB) models. Moreover, to model imperceptibility, we define certain linguistic features, and to model non specificity, we leverage information from hypernyms and hyponyms provided by a lexical database. Specifically, for non specificity, we try out augmentation techniques, and other statistical techniques. We also propose variants, namely Chunk Voting and Max Context, to take care of input length restrictions for BERT, etc. Additionally, we perform a thorough ablation study, and use Integrated Gradients to explain our predictions on a few samples. Our best submissions achieve accuracies of 75.31 and 77.84 , on the test sets for subtask I and subtask II, respectively. For subtask III, we achieve accuracies of 65.64 and 62.27 .


On the T circ slices of a finite group. A slice (G, S) of finite groups is a pair consisting of a finite group G and a subgroup S of G. In this paper, we show that some properties of finite groups extend to slices of finite groups. In particular, by analogy with B groups, we introduce the notion of T circ slice, and show that any slice of finite groups admits a largest quotient T circ slice.


Copy and Paste method based on Pose for Re identification. The aim of re identification is to match objects in surveillance cameras with different viewpoints. Although ReID is developing at a considerably rapid pace, there is currently no processing method for the ReID task in multiple scenarios. However, such processing method is required in real life scenarios, such as those involving security. In the present study, a new ReID scenario was explored, which differs in terms of perspective, background, and pose(walking or cycling). Obviously, ordinary ReID processing methods cannot effectively handle such a scenario, with the introduction of image datasets being the optimal solution, in addition to being considerably expensive. To solve the aforementioned problem, a simple and effective method to generate images in several new scenarios was proposed, which is names the Copy and Paste method based on Pose(CPP). The CPP method is based on key point detection, using copy as paste, to composite a new semantic image dataset in two different semantic image datasets. As an example, pedestrains and bicycles can be used to generate several images that show the same person riding on different bicycles. The CPP method is suitable for ReID tasks in new scenarios and outperforms the traditional methods when applied to the original datasets in original ReID tasks. To be specific, the CPP method can also perform better in terms of generalization for third party public dataset. The Code and datasets composited by the CPP method will be available in the future.


Expression Recognition Analysis in the Wild. Facial Expression Recognition(FER) is one of the most important topic in Human Computer interactions(HCI). In this work we report details and experimental results about a facial expression recognition method based on state of the art methods. We fine tuned a SeNet deep learning architecture pre trained on the well known VGGFace2 dataset, on the AffWild2 facial expression recognition dataset. The main goal of this work is to define a baseline for a novel method we are going to propose in the near future. This paper is also required by the Affective Behavior Analysis in the wild (ABAW) competition in order to evaluate on the test set this approach. The results reported here are on the validation set and are related on the Expression Challenge part (seven basic emotion recognition) of the competition. We will update them as soon as the actual results on the test set will be published on the leaderboard.