Understanding Fairness of Gender Classification Algorithms Across Gender Race Groups. Automated gender classification has important applications in many domains, such as demographic research, law enforcement, online advertising, as well as human computer interaction. Recent research has questioned the fairness of this technology across gender and race. Specifically, the majority of the studies raised the concern of higher error rates of the face based gender classification system for darker skinned people like African American and for women. However, to date, the majority of existing studies were limited to African American and Caucasian only. The aim of this paper is to investigate the differential performance of the gender classification algorithms across gender race groups. To this aim, we investigate the impact of (a) architectural differences in the deep learning algorithms and (b) training set imbalance, as a potential source of bias causing differential performance across gender and race. Experimental investigations are conducted on two latest large scale publicly available facial attribute datasets, namely, UTKFace and FairFace. The experimental results suggested that the algorithms with architectural differences varied in performance with consistency towards specific gender race groups. For instance, for all the algorithms used, Black females (Black race in general) always obtained the least accuracy rates. Middle Eastern males and Latino females obtained higher accuracy rates most of the time. Training set imbalance further widens the gap in the unequal accuracy rates across all gender race groups. Further investigations using facial landmarks suggested that facial morphological differences due to the bone structure influenced by genetic and environmental factors could be the cause of the least performance of Black females and Black race, in general.


Ternary arithmetic, factorization, and the class number one problem. Ordinary binary multiplication of natural numbers can be generalized in a non trivial way to a ternary operation by considering discrete volumes of lattice hexagons. With this operation, a natural notion of 3 primality' primality with respect to ternary multiplication is defined, and it turns out that there are very few 3 primes. They correspond to imaginary quadratic fields mathbb Q ( sqrt n ) , n 0 , with odd discriminant and whose ring of integers admits unique factorization. We also describe how to determine representations of numbers as ternary products and related algorithms for usual primality testing and integer factorization.


An Intelligent Data Analysis for Hotel Recommendation Systems using Machine Learning. This paper presents an intelligent approach to handle heterogeneous and large sized data using machine learning to generate true recommendations for the future customers. The Collaborative Filtering (CF) approach is one of the most popular techniques of the RS to generate recommendations. We have proposed a novel CF recommendation approach in which opinion based sentiment analysis is used to achieve hotel feature matrix by polarity identification. Our approach combines lexical analysis, syntax analysis and semantic analysis to understand sentiment towards hotel features and the profiling of guest type (solo, family, couple etc). The proposed system recommends hotels based on the hotel features and guest type as additional information for personalized recommendation. The developed system not only has the ability to handle heterogeneous data using big data Hadoop platform but it also recommend hotel class based on guest type using fuzzy rules. Different experiments are performed over the real world dataset obtained from two hotel websites. Moreover, the values of precision and recall and F measure have been calculated and results are discussed in terms of improved accuracy and response time, significantly better than the traditional approaches.


Combinatorial structure of the parameter plane of the family lambda tan z 2 . In this article we will discuss combinatorial structure of the parameter plane of the family mathcal F lambda tan z 2 lambda in mathbb C , z in mathbb C . The parameter space contains components where the dynamics are conjugate on their Julia sets. The complement of these components is the bifurcation locus. These are the hyperbolic components where the post singular set is disjoint from the Julia set. We prove that all hyperbolic components are bounded except the four components of period one and they are all simply connected.


The universal enveloping algebra of mathfrak sl 2 and the Racah algebra. Let mathbb F denote a field with rm char , mathbb F not 2 . The Racah algebra Re is the unital associative mathbb F algebra defined by generators and relations in the following way. The generators are A , B , C , D . The relations assert that begin equation A,B B,C C,A 2D end equation and each of the elements begin gather alpha A,D AC BA, qquad beta B,D BA CB, qquad gamma C,D CB AC end gather is central in Re . Additionally the element delta A B C is central in Re . In this paper we explore the relationship between the Racah algebra Re and the universal enveloping algebra U( mathfrak sl 2) . Let a,b,c denote mutually commuting indeterminates. We show that there exists a unique mathbb F algebra homomorphism natural Re to mathbb F a,b,c otimes mathbb F U( mathfrak sl 2) that sends begin eqnarray A mapsto a(a 1) otimes 1 (b c a) otimes x (a b c 1) otimes y 1 otimes xy, B mapsto b(b 1) otimes 1 (c a b) otimes y (b c a 1) otimes z 1 otimes yz, C mapsto c(c 1) otimes 1 (a b c) otimes z (c a b 1) otimes x 1 otimes zx, D mapsto 1 otimes (zyx zx) (c b(c a b)) otimes x (a c(a b c)) otimes y qquad (b a(b c a)) otimes z ,(b c) otimes xy (c a) otimes yz (a b) otimes zx, end eqnarray where x,y,z are the equitable generators for U( mathfrak sl 2) . We additionally give the images of alpha, beta, gamma, delta, and certain Casimir elements of Re under natural . We also show that the map natural is an injection and thus provides an embedding of Re into mathbb F a,b,c otimes U( mathfrak sl 2) . We use the injection to show that Re contains no zero divisors.


Building a Production Model for Retrieval Based Chatbots. Response suggestion is an important task for building human computer conversation systems. Recent approaches to conversation modeling have introduced new model architectures with impressive results, but relatively little attention has been paid to whether these models would be practical in a production setting. In this paper, we describe the unique challenges of building a production retrieval based conversation system, which selects outputs from a whitelist of candidate responses. To address these challenges, we propose a dual encoder architecture which performs rapid inference and scales well with the size of the whitelist. We also introduce and compare two methods for generating whitelists, and we carry out a comprehensive analysis of the model and whitelists. Experimental results on a large, proprietary help desk chat dataset, including both offline metrics and a human evaluation, indicate production quality performance and illustrate key lessons about conversation modeling in practice.


The Generalized Trust Region Subproblem solution complexity and convex hull results. We consider the Generalized Trust Region Subproblem (GTRS) of minimizing a nonconvex quadratic objective over a nonconvex quadratic constraint. A lifting of this problem recasts the GTRS as minimizing a linear objective subject to two nonconvex quadratic constraints. Our first main contribution is structural we give an explicit description of the convex hull of this nonconvex set in terms of the generalized eigenvalues of an associated matrix pencil. This result may be of interest in building relaxations for nonconvex quadratic programs. Moreover, this result allows us to reformulate the GTRS as the minimization of two convex quadratic functions in the original space. Our next set of contributions is algorithmic we present an algorithm for solving the GTRS up to an epsilon additive error based on this reformulation. We carefully handle numerical issues that arise from inexact generalized eigenvalue and eigenvector computations and establish explicit running time guarantees for these algorithms. Notably, our algorithms run in linear (in the size of the input) time. Furthermore, our algorithm for computing an epsilon optimal solution has a slightly improved running time dependence on epsilon over the state of the art algorithm. Our analysis shows that the dominant cost in solving the GTRS lies in solving a generalized eigenvalue problem establishing a natural connection between these problems. Finally, generalizations of our convex hull results allow us to apply our algorithms and their theoretical guarantees directly to equality , interval , and hollow constrained variants of the GTRS. This gives the first linear time algorithm in the literature for these variants of the GTRS.


Linear Independence of Generalized Poincar 'e Series for Anti de Sitter 3 Manifolds. Let Gamma be a discrete group acting properly discontinuously and isometrically on the three dimensional anti de Sitter space mathrm AdS 3 , and square the Laplacian which is a second order hyperbolic differential operator. We study linear independence of a family of generalized Poincar 233 series introduced by Kassel Kobayashi Adv. Math. 287 (2016), 123 236, arXiv 1209.4075 , which are defined by the Gamma average of certain eigenfunctions on mathrm AdS 3 . We prove that the multiplicities of L 2 eigenvalues of the hyperbolic Laplacian square on Gamma backslash mathrm AdS 3 are unbounded when Gamma is finitely generated. Moreover, we prove that the multiplicities of stable L 2 eigenvalues for compact anti de Sitter 3 manifolds are unbounded.


An efficient four way coupled lattice Boltzmann discrete element method for fully resolved simulations of particle laden flows. A four way coupling scheme for the direct numerical simulation of particle laden flows is developed and analyzed. It employs a novel adaptive multi relaxation time lattice Boltzmann method to simulate the fluid phase efficiently. The momentum exchange method is used to couple the fluid and the particulate phase. The particle interactions in normal and tangential direction are accounted for by a discrete element method using linear contact forces. All parameters of the scheme are studied and evaluated in detail and precise guidelines for their choice are developed. The development is based on several carefully selected calibration and validation tests of increasing physical complexity. It is found that a well calibrated lubrication model is crucial to obtain the correct trajectories of a sphere colliding with a plane wall in a viscous fluid. For adequately resolving the collision dynamics it is found that the collision time must be stretched appropriately. The complete set of tests establishes a validation pipeline that can be universally applied to other fluid particle coupling schemes providing a systematic methodology that can guide future developments.


Decay estimates for the massless Vlasov equation on Schwarzschild spacetimes. We consider solutions to the massless Vlasov equation on the domain of outer communications of the Schwarschild black hole. By adapting the r p weighted energy method of Dafermos and Rodnianski, used extensively in order to study wave equations, we prove arbitrary decay for a non degenerate energy flux of the Vlasov field f through a well chosen foliation. An essential step of this methodology consists in proving a non degenerate integrated local energy decay. For this, we take in particular advantage of the red shift effect near the event horizon. The trapping at the photon sphere requires however to lose an epsilon of integrability in the velocity variable. Pointwise decay estimates on the velocity average of f are then obtained by functional inequalities, adapted to the study of Vlasov fields, which allow us to deal with the lack of conservation law for the radial derivative.


Analytic Eigensystems for Isotropic Membrane Energies. We extend the approach of Smith et al. 2019 to derive analytical expressions for the eigenvalues and eigenmatrices of an isotropic membrane energy density function psi mathbb R 3x2 to mathbb R . Clamping the eigenvalue expressions to be positive for each quadrature point of a finite element membrane simulation guarantees a positive semi definite Hessian for the full discrete membrane energy, enabling an efficient Newton type simulation.


Augmenting transferred representations for stock classification. Stock classification is a challenging task due to high levels of noise and volatility of stocks returns. In this paper we show that using transfer learning can help with this task, by pre training a model to extract universal features on the full universe of stocks of the S P500 index and then transferring it to another model to directly learn a trading rule. Transferred models present more than double the risk adjusted returns than their counterparts trained from zero. In addition, we propose the use of data augmentation on the feature space defined as the output of a pre trained model (i.e. augmenting the aggregated time series representation). We compare this augmentation approach with the standard one, i.e. augmenting the time series in the input space. We show that augmentation methods on the feature space leads to 20 increase in risk adjusted return compared to a model trained with transfer learning but without augmentation.


I.T. Project Success Practical Frameworks based on key Project Control Variables. The objectives of this study were to research into the interdependencies IT project control variables, and also come out with frameworks to help IT project managers understand how to effectively control these variables to ensure the success of IT projects. The study employed six control variables Cost, Time (Schedule), Scope, Quality, Risk, and Benefits. A qualitative approach was adopted, where selected IT program and project managers of the Telecom industry in Ghana were interviewed individually and in a group based on a set of questions. The findings, espoused in the frameworks, reiterated the theory of the dependence of one control variable on the other, and the fact that varying one affects the others positively or negatively in relation to IT project success, as is the case for the iron triangle. Again, key activities of the control variables necessary to ensure IT project success were discovered.


'Etale cohomology of rank one ell adic local systems in positive characteristic. We show that in positive characteristic special loci of deformation spaces of rank one ell adic local systems are quasilinear. From this we deduce the Hard Lefschetz theorem for rank one ell adic local systems and a generic vanishing theorem. Last version a few typos corrected


SAPIEN A SimulAted Part based Interactive ENvironment. Building home assistant robots has long been a pursuit for vision and robotics researchers. To achieve this task, a simulated environment with physically realistic simulation, sufficient articulated objects, and transferability to the real robot is indispensable. Existing environments achieve these requirements for robotics simulation with different levels of simplification and focus. We take one step further in constructing an environment that supports household tasks for training robot learning algorithm. Our work, SAPIEN, is a realistic and physics rich simulated environment that hosts a large scale set for articulated objects. Our SAPIEN enables various robotic vision and interaction tasks that require detailed part level understanding.We evaluate state of the art vision algorithms for part detection and motion attribute recognition as well as demonstrate robotic interaction tasks using heuristic approaches and reinforcement learning algorithms. We hope that our SAPIEN can open a lot of research directions yet to be explored, including learning cognition through interaction, part motion discovery, and construction of robotics ready simulated game environment.


Harnessing Evolution for Multi Hunk Program Repair. Despite significant advances in automatic program repair (APR)techniques over the past decade, practical deployment remains an elusive goal. One of the important challenges in this regard is the general inability of current APR techniques to produce patches that require edits in multiple locations, i.e., multi hunk patches. In this work, we present a novel APR technique that generalizes single hunk repair techniques to include an important class of multi hunk bugs, namely bugs that may require applying a substantially similar patch at a number of locations. We term such sets of repair locations as evolutionary siblings similar looking code, instantiated in similar contexts, that are expected to undergo similar changes. At the heart of our proposed method is an analysis to accurately identify a set of evolutionary siblings, for a given bug. This analysis leverages three distinct sources of information, namely the test suite spectrum, a novel code similarity analysis, and the revision history of the project. The discovered siblings are then simultaneously repaired in a similar fashion. We instantiate this technique in a tool called Hercules and demonstrate that it is able to correctly fix 49 bugs in the Defects4J dataset, the highest of any individual APR technique to date. This includes 15 multi hunk bugs and overall 13 bugs which have not been fixed by any other technique so far.


Complexity of Planning. This is a chapter in the Encyclopedia of Robotics. It is devoted to the study of complexity of complete (or exact) algorithms for robot motion planning. The term complete'' indicates that an approach is guaranteed to find the correct solution (a motion path or trajectory in our setting), or to report that none exists otherwise (in case that for instance, no feasible path exists). Complexity theory is a fundamental tool in computer science for analyzing the performance of algorithms, in terms of the amount of resources they require. (While complexity can express different quantities such as space and communication effort, our focus in this chapter is on time complexity.) Moreover, complexity theory helps to identify hard'' problems which require excessive amount of computation time to solve. In the context of motion planning, complexity theory can come in handy in various ways, some of which are illustrated here.


Recommending Deployment Strategies for Collaborative Tasks. Our work contributes to aiding requesters in deploying collaborative tasks in crowdsourcing. We initiate the study of recommending deployment strategies for collaborative tasks to requesters that are consistent with deployment parameters they desire a lower bound on the quality of the crowd contribution, an upper bound on the latency of task completion, and an upper bound on the cost incurred by paying workers. A deployment strategy is a choice of value for three dimensions Structure (whether to solicit the workforce sequentially or simultaneously), Organization (to organize it collaboratively or independently), and Style (to rely solely on the crowd or to combine it with machine algorithms). We propose StratRec, an optimization driven middle layer that recommends deployment strategies and alternative deployment parameters to requesters by accounting for worker availability. Our solutions are grounded in discrete optimization and computational geometry techniques that produce results with theoretical guarantees. We present extensive experiments on Amazon Mechanical Turk and conduct synthetic experiments to validate the qualitative and scalability aspects of StratRec.


K Motives and Koszul Duality. We construct an emph ungraded version of Beilinson Ginzburg Soergel's Koszul duality, inspired by Beilinson's construction of rational motivic cohomology in terms of K theory. For this, we introduce and study the category DK(X) of constructible K motives on varieties X with an affine stratification. There is a natural and geometric functor from the category of mixed sheaves D mix (X) to DK(X). We show that when X is the flag variety, this functor is Koszul dual to the realisation functor from D mix (X vee) to D(X vee) , the constructible derived category.


Extensions of immersions of surfaces into mathbb R 3 . This paper is to study the mathbb R 3 case of hyperref Zhao 9 . We determine all equivalence classes of immersed 3 manifolds bounded by an arbitrary immersed surface in mathbb R 3 .


On solutions of a partial integro differential equation in Bessel potential spaces with applications in option pricing models. In this paper we focus on qualitative properties of solutions to a nonlocal nonlinear partial integro differential equation (PIDE). Using the theory of abstract semilinear parabolic equations we prove existence and uniqueness of a solution in the scale of Bessel potential spaces. Our aim is to generalize known existence results for a wide class of L 'evy measures including with a strong singular kernel. As an application we consider a class of PIDEs arising in the financial mathematics. The classical linear Black Scholes model relies on several restrictive assumptions such as liquidity and completeness of the market. Relaxing the complete market hypothesis and assuming a Levy stochastic process dynamics for the underlying stock price process we obtain a model for pricing options by means of a PIDE. We investigate a model for pricing call and put options on underlying assets following a Levy stochastic process with jumps. We prove existence and uniqueness of solutions to the penalized PIDE representing approximation of the linear complementarity problem arising in pricing American style of options under Levy stochastic processes. We also present numerical results and comparison of option prices for various Levy stochastic processes modelling underlying asset dynamics.


Mechanisms of Artistic Creativity in Deep Learning Neural Networks. The generative capabilities of deep learning neural networks (DNNs) have been attracting increasing attention for both the remarkable artifacts they produce, but also because of the vast conceptual difference between how they are programmed and what they do. DNNs are 'black boxes' where high level behavior is not explicitly programmed, but emerges from the complex interactions of thousands or millions of simple computational elements. Their behavior is often described in anthropomorphic terms that can be misleading, seem magical, or stoke fears of an imminent singularity in which machines become 'more' than human. In this paper, we examine 5 distinct behavioral characteristics associated with creativity, and provide an example of a mechanisms from generative deep learning architectures that give rise to each these characteristics. All 5 emerge from machinery built for purposes other than the creative characteristics they exhibit, mostly classification. These mechanisms of creative generative capabilities thus demonstrate a deep kinship to computational perceptual processes. By understanding how these different behaviors arise, we hope to on one hand take the magic out of anthropomorphic descriptions, but on the other, to build a deeper appreciation of machinic forms of creativity on their own terms that will allow us to nurture their further development.


Correlative Study of Enhanced Excitonic Emission in ZnO Coated with Al Nanoparticles using Electron and Laser Excitation. Metal nanoparticle (NP) surface coatings are known to significantly enhance the ultra violet luminescence intensity of ZnO. Although there is general agreement that resonantly excited Localized Surface Plasmons (LSPs) in metal NPs can directly couple to excitons in the semiconductor increasing their spontaneous emission rate, the exact mechanisms involved in this phenomenon are currently not fully understood. In this work, LSP exciton coupling in a ZnO single crystal and ZnO nanorods coated with a 2 nm Al layer has been investigated using correlative photoluminescence and depth resolved cathodoluminescence and time resolved photoluminescence spectroscopy. Temperature resolved cathodoluminescence and photoluminescence measurements from 10 K to 250 K show enhancement factors up to 12 times of the free exciton (FX) emission at 80 K. The FX couple more efficiently to the LSPs in Al compared to the localized donor bound excitons. Furthermore, a strong polarization dependence of the LSPs with respect to the FX was observed with higher enhanced FX transitions polarized in the same direction as the electric field of the incident excitation. These results indicate that selective enhancement of the ultra violet excitonic PL in ZnO can be achieved by careful alignment of the crystallographic axes of the ZnO relative to the electric vector of the excitation source.


RF coil with variable resonant frequency for multiheteronuclear ultra high field MRI. Here we propose double coil setup to allow high signal to noise ratio broad range heteronuclear magnetic resonance imaging experiments two independent coils, one of them tuned to 1 H frequency to perform anatomical 1 H imaging, and another one, metamaterial inspired coil, tuned to the X nucleus frequency. In this work our goal was to design a broad range X nuclei coil to cover 2 H, 11 B, 13 C, 23 Na, 7 Li and 31 P nuclear magnetic resonance frequencies, and to combine it with 1 H coil in one setup. The system was designed for 11.7 T scanner, i.e., with 76 203 MHz frequency tuning range for the X nuclei and tuned to 500 MHz for the proton coil. X nuclei coil operates via excitation of the fundamental eigenmode of an array of parallel non magnetic wires. The excitation of the array is provided via non resonant feeding loop inductively coupled to the resonator. In order to tune the X coil over such a wide range, both structural capacitance and inductance of the coil were made variable narrow range tuning of the 1 H coil is achieved via conventional tuning matching circuit. Here, the design principle and setup tunability were investigated in simulations and experimentally.


The Gumm level equals the alvin level in congruence distributive varieties. Congruence modular and congruence distributive varieties can be characterized by the existence of sequences of Gumm and J 'onsson terms, respectively. Such sequences have variable lengths, in general. It is immediate from the above paragraph that there is a variety with Gumm terms but without J 'onsson terms. We prove the quite unexpected result that, on the other hand, if some variety has both kinds of terms, then the minimal lengths of the sequences differ at most by 1 . It follows that every r modular congruence distributive variety is r 2 r 2 distributive.


POSNoise An Effective Countermeasure Against Topic Biases in Authorship Analysis. Authorship verification (AV) is a fundamental research task in digital text forensics, which addresses the problem of whether two texts were written by the same person. In recent years, a variety of AV methods have been proposed that focus on this problem and can be divided into two categories The first category refers to such methods that are based on explicitly defined features, where one has full control over which features are considered and what they actually represent. The second category, on the other hand, relates to such AV methods that are based on implicitly defined features, where no control mechanism is involved, so that any character sequence in a text can serve as a potential feature. However, AV methods belonging to the second category bear the risk that the topic of the texts may bias their classification predictions, which in turn may lead to misleading conclusions regarding their results. To tackle this problem, we propose a preprocessing technique called POSNoise, which effectively masks topic related content in a given text. In this way, AV methods are forced to focus on such text units that are more related to the writing style. Our empirical evaluation based on six AV methods (falling into the second category) and seven corpora shows that POSNoise leads to better results compared to a well known topic masking approach in 34 out of 42 cases, with an increase in accuracy of up to 10 .


Why do People Share Misinformation during the COVID 19 Pandemic?. The World Health Organization have emphasised that misinformation spreading rapidly through social media poses a serious threat to the COVID 19 response. Drawing from theories of health perception and cognitive load, we develop and test a research model hypothesizing why people share unverified COVID 19 information through social media. Our findings suggest a person's trust in online information and perceived information overload are strong predictors of unverified information sharing. Furthermore, these factors, along with a person's perceived COVID 19 severity and vulnerability influence cyberchondria. Females were significantly more likely to suffer from cyberchondria, however, males were more likely to share news without fact checking their source. Our findings suggest that to mitigate the spread of COVID 19 misinformation and cyberchondria, measures should be taken to enhance a healthy skepticism of health news while simultaneously guarding against information overload.


Experimental observation of turbulent coherent structures in a superfluid of light. We experimentally explore the rich variety of nonlinear coherent structures arising in a turbulent flow of superfluid light past an obstacle in an all optical configuration. The different hydrodynamic regimes observed are organised in a unique phase diagram involving the velocity of the flow and the diameter of the obstacle. Then, we focus on the vortices nucleated in the wake of the obstacle by investigating their intensity profile and the dependence of the radius of their core on the healing length. Our results pave the way for further investigations on turbulence in photon superfluids and provide versatile experimental tools for simulating quantum transport with nonlinear light.


Continuous Adaptation for Interactive Object Segmentation by Learning from Corrections. In interactive object segmentation a user collaborates with a computer vision model to segment an object. Recent works employ convolutional neural networks for this task Given an image and a set of corrections made by the user as input, they output a segmentation mask. These approaches achieve strong performance by training on large datasets but they keep the model parameters unchanged at test time. Instead, we recognize that user corrections can serve as sparse training examples and we propose a method that capitalizes on that idea to update the model parameters on the fly to the data at hand. Our approach enables the adaptation to a particular object and its background, to distributions shifts in a test set, to specific object classes, and even to large domain changes, where the imaging modality changes between training and testing. We perform extensive experiments on 8 diverse datasets and show Compared to a model with frozen parameters, our method reduces the required corrections (i) by 9 30 when distribution shifts are small between training and testing (ii) by 12 44 when specializing to a specific class (iii) and by 60 and 77 when we completely change domain between training and testing.


Pilot Winner of the Human Agent Negotiation Challenge at IJCAI 2020. This document describes our agent Pilot, winner of the Human Agent Negotiation Challenge at ANAC, IJCAI 2020. Pilot is a virtual human that participates in a sequence of three negotiations with a human partner. Our system is based on the Interactive Arbitration Guide Online (IAGO) negotiation framework. We leverage prior Affective Computing and Psychology research in negotiations to guide various key principles that define the behavior and personality of our agent.


An Open Source Mesh Generation Platform for Biophysical Modeling Using Realistic Cellular Geometries. Advances in imaging methods such as electron microscopy, tomography and other modalities are enabling high resolution reconstructions of cellular and organelle geometries. Such advances pave the way for using these geometries for biophysical and mathematical modeling once these data can be represented as a geometric mesh, which, when carefully conditioned, enables the discretization and solution of partial differential equations. In this study, we outline the steps for a na "ive user to approach GAMer 2, a mesh generation code written in C designed to convert structural datasets to realistic geometric meshes, while preserving the underlying shapes. We present two example cases, 1) mesh generation at the subcellular scale as informed by electron tomography, and 2) meshing a protein with structure from x ray crystallography. We further demonstrate that the meshes generated by GAMer are suitable for use with numerical methods. Together, this collection of libraries and tools simplifies the process of constructing realistic geometric meshes from structural biology data.


World Age in Julia Optimizing Method Dispatch in the Presence of Eval (Extended Version). Dynamic programming languages face semantic and performance challenges in the presence of features, such as eval, that can inject new code into a running program. The Julia programming language introduces the novel concept of world age to insulate optimized code from one of the most disruptive side effects of eval changes to the definition of an existing function. This paper provides the first formal semantics of world age in a core calculus named Juliette, and shows how world age enables compiler optimizations, such as inlining, in the presence of eval. While Julia also provides programmers with the means to bypass world age, we found that this mechanism is not used extensively a static analysis of over 4,000 registered Julia packages shows that only 4 9 of packages bypass world age. This suggests that Julia's semantics aligns with programmer expectations.


Equidecomposition in cardinal algebras. Let Gamma be a countable group. A classical theorem of Thorisson states that if X is a standard Borel Gamma space and mu and nu are Borel probability measures on X which agree on every Gamma invariant subset, then mu and nu are equidecomposable, i.e. there are Borel measures ( mu gamma) gamma in Gamma on X such that mu sum gamma mu gamma and nu sum gamma gamma mu gamma . We establish a generalization of this result to cardinal algebras.


What do equitable physics lab groups look like in light of inchargeness?. In physics labs, students experience a wide range of equitable and inequitable interactions. We developed a methodology to characterize different lab groups in terms of their bid exchanges and inchargeness. An equitable group is one in which every student's bids are heard and acknowledged. Our analysis of equitable and inequitable groups raises questions about how inchargeness and gender interact to affect the functionality of a lab group.


ZOFI Zero Overhead Fault Injection Tool for Fast Transient Fault Coverage Analysis. The experimental evaluation of fault tolerance studies relies on tools that inject errors while programs are running, and then monitor the execution and the output for faulty execution. In particular, the established methodology in software based transient fault reliability studies, involves running each workload hundreds or thousands of times, injecting a random bit flip in the process. The majority of such studies rely on custom built fault injection tools that are based on either a modified processor simulator, or a code instrumentation framework. Such tools are non trivial to develop, and are usually orders of magnitude slower than native execution. In this paper we present ZOFI, a novel timing based fault injection tool that is aimed at being used in fault coverage studies for transient faults. ZOFI is a zero overhead tool, meaning that the analyzed workload runs at native speed. This is orders of magnitude faster compared to common approaches that are designed around simulators or code instrumentation tools. ZOFI is free software and is available at https github.com vporpo zofi.


Neural Guided RANSAC Learning Where to Sample Model Hypotheses. We present Neural Guided RANSAC (NG RANSAC), an extension to the classic RANSAC algorithm from robust optimization. NG RANSAC uses prior information to improve model hypothesis search, increasing the chance of finding outlier free minimal sets. Previous works use heuristic side information like hand crafted descriptor distance to guide hypothesis search. In contrast, we learn hypothesis search in a principled fashion that lets us optimize an arbitrary task loss during training, leading to large improvements on classic computer vision tasks. We present two further extensions to NG RANSAC. Firstly, using the inlier count itself as training signal allows us to train neural guidance in a self supervised fashion. Secondly, we combine neural guidance with differentiable RANSAC to build neural networks which focus on certain parts of the input data and make the output predictions as good as possible. We evaluate NG RANSAC on a wide array of computer vision tasks, namely estimation of epipolar geometry, horizon line estimation and camera re localization. We achieve superior or competitive results compared to state of the art robust estimators, including very recent, learned ones.


Segmenting Epipolar Line. Identifying feature correspondence between two images is a fundamental procedure in three dimensional computer vision. Usually the feature search space is confined by the epipolar line. Using the cheirality constraint, this paper finds that the feature search space can be restrained to one of two or three segments of the epipolar line that are defined by the epipole and a so called virtual infinity point.


Sparse Approximate Multifrontal Factorization with Butterfly Compression for High Frequency Wave Equations. We present a fast and approximate multifrontal solver for large scale sparse linear systems arising from finite difference, finite volume or finite element discretization of high frequency wave equations. The proposed solver leverages the butterfly algorithm and its hierarchical matrix extension for compressing and factorizing large frontal matrices via graph distance guided entry evaluation or randomized matrix vector multiplication based schemes. Complexity analysis and numerical experiments demonstrate mathcal O (N log 2 N) computation and mathcal O (N) memory complexity when applied to an N times N sparse system arising from 3D high frequency Helmholtz and Maxwell problems.


Certified Adversarial Robustness for Deep Reinforcement Learning. Deep Neural Network based systems are now the state of the art in many robotics tasks, but their application in safety critical domains remains dangerous without formal guarantees on network robustness. Small perturbations to sensor inputs (from noise or adversarial examples) are often enough to change network based decisions, which was already shown to cause an autonomous vehicle to swerve into oncoming traffic. In light of these dangers, numerous algorithms have been developed as defensive mechanisms from these adversarial inputs, some of which provide formal robustness guarantees or certificates. This work leverages research on certified adversarial robustness to develop an online certified defense for deep reinforcement learning algorithms. The proposed defense computes guaranteed lower bounds on state action values during execution to identify and choose the optimal action under a worst case deviation in input space due to possible adversaries or noise. The approach is demonstrated on a Deep Q Network policy and is shown to increase robustness to noise and adversaries in pedestrian collision avoidance scenarios and a classic control task.


Towards Ethical Content Based Detection of Online Influence Campaigns. The detection of clandestine efforts to influence users in online communities is a challenging problem with significant active development. We demonstrate that features derived from the text of user comments are useful for identifying suspect activity, but lead to increased erroneous identifications when keywords over represented in past influence campaigns are present. Drawing on research in native language identification (NLI), we use "named entity masking" (NEM) to create sentence features robust to this shortcoming, while maintaining comparable classification accuracy. We demonstrate that while NEM consistently reduces false positives when key named entities are mentioned, both masked and unmasked models exhibit increased false positive rates on English sentences by Russian native speakers, raising ethical considerations that should be addressed in future research.


Fr "olicher spectral sequence and Hodge structures on the cohomology of complex parallelisable manifolds. For complex parallelisable manifolds Gamma backslash G , with G a solvable or semisimple complex Lie group, the Fr "olicher spectral sequence degenerates at the second page. In the solvable case, the de Rham cohomology carries a pure Hodge structure. In contrast, in the semisimple case, purity depends on the lattice, but there is always a direct summand of the de Rham cohomology which does carry a pure Hodge structure and is independent of the lattice.


Spline wavelet decomposition in weighted function spaces. Battle Lemarie wavelet systems of natural orders are established in the paper. The main result of the work is decomposition theorem in Besov and Triebel Lizorkin spaces with local Muckenhoupt weights, which is performed in terms of bases generated by the systems of such a type. Battle Lemarie wavelets are splines and suit very well for the study of integration operators.


On the equality between the infimum obtained by solving various Plateau's problem. In this paper we compare the minimization problem with v C ech and other homological boundary conditions, we also compare that with the problem of minimizing the size of integral currents with given boundary. Finally we will get the agreement on the infimum for those Plateau's problem.


AF algebras and rational homotopy theory. We give a procedure to compute the rational homotopy groups of the group of quasi unitaries of an AF algebra. As an application, we show that an AF algebra is K stable if and only if it is rationally K stable.


The spectra of Banach algebras of holomorphic functions on polydisk type domains. R.M. Aron et al. proved that the Cluster Value Theorem in the infinite dimensional Banach space setting holds for the Banach algebra mathcal H infty (B c 0 ) . On the other hand, B.J. Cole and T.W. Gamelin showed that mathcal H infty ( ell 2 cap B c 0 ) is isometrically isomorphic to mathcal H infty (B c 0 ) in the sense of an algebra. Motivated by this work, we are interested in a class of open subsets U of a Banach space X for which mathcal H infty (U) is isometrically isomorphic to mathcal H infty (B c 0 ) . We prove that there exist polydisk type domains U of any infinite dimensional Banach space X with a Schauder basis such that mathcal H infty (U) is isometrically isomorphic to mathcal H infty (B c 0 ) , which generalizes the result by Cole and Gamelin. Furthermore, we study the analytic and algebraic structure of the spectrum of mathcal H infty (U) and show that the Cluster Value Theorem is true for mathcal H infty (U) .


Homotopy invariance of the space of metrics with positive scalar curvature on manifolds with singularities. In this paper we study manifolds, X Sigma , with fibred singularities, more specifically, a relevant space mathcal R rm psc (X Sigma ) of Riemannian metrics with positive scalar curvature. Our main goal is to prove that the space mathcal R rm psc (X Sigma ) is homotopy invariant under certain surgeries on X Sigma .


Bio Impedance Spectroscopy Basics and Applications. In this review, we aim to introduce the reader to the technique of electrical impedance spectroscopy (EIS) with a focus on its biological and medical applications. We explain the theoretical and experimental aspects of the EIS with the details essential for biological studies, i.e interaction of metal electrodes with biological matter and liquids, strategies of increasing measurement rate and noise reduction in bio EIS experiments, etc. We give various examples of successful bio EIS practical implementations in science and technology from the whole body health monitoring and sensors for vision prosthetic care to single living cell examination platforms and virus diseases research. Present review can be used as a bio EIS tutorial for students as well as a handbook for scientists and engineers due to extensive references covering the contemporary research papers in the field.


Discrete Continuous Jacobi Sobolev Spaces and Fourier Series. Let p geq 1 , ell in NN , alpha, beta 1 and varpi ( omega 0, omega 1, dots, omega ell 1 ) in RR ell . Given a suitable function f , we define the discrete continuous Jacobi Sobolev norm of f as normSp f left( sum k 0 ell 1 left f (k) ( omega k ) right p int 1 1 left f ( ell) (x) right p d Jm(x) right) frac 1 p , where d Jm(x) (1 x) alpha (1 x) beta dx . Obviously, normSp 2 cdot sqrt IpS cdot cdot , where IpS cdot cdot is the inner product. IpS f g sum k 0 ell 1 f (k) ( omega k ) , g (k) ( omega k ) int 1 1 f ( ell) (x) ,g ( ell) (x) d Jm(x). In this paper, we summarize the main advances on the convergence of the Fourier Sobolev series, in norms of type L p , cases continuous and discrete. We study the completeness of the Sobolev space of functions associated with the norm normSp cdot and the denseness of the polynomials. Furthermore, we obtain the conditions for the convergence in normSp cdot norm of the partial sum of the Fourier Sobolev series of orthogonal polynomials with respect to IpS cdot cdot .


Topological linear spaces of formal linear sums and continuous linear operators. The rings of linear continuous operators on the topological spaces of mathfrak G zero maps were described, where mathfrak G is a filter on a set with an involution. This applies to modules of formal series with well ordered support over left ordered groups.


Exponentially fitted two derivative DIRK methods for oscillatory differential equations. In this work, we construct and derive a new class of exponentially fitted two derivative diagonally implicit Runge Kutta (EFTDDIRK) methods for the numerical solution of differential equations with oscillatory solutions. First, a general format of so called modified two derivative diagonally implicit Runge Kutta methods (TDDIRK) is proposed. Their order conditions up to order six are derived by introducing a set of bi coloured rooted trees and deriving new elementary weights. Next, we build exponential fitting conditions in order for these modified TDDIRK methods to treat oscillatory solutions, leading to EFTDDIRK methods. In particular, a family of 2 stage fourth order, a fifth order, and a 3 stage sixth order EFTDDIRK schemes are derived. These can be considered as superconvergent methods. The stability and phase lag analysis of the new methods are also investigated, leading to optimized fourth order schemes, which turn out to be much more accurate and efficient than their non optimized versions. Finally, we carry out numerical experiments on some oscillatory test problems. Our numerical results clearly demonstrate the accuracy and efficiency of the newly derived methods when compared with existing implicit Runge Kutta methods and two derivative Runge Kutta methods of the same order in the literature.


Torsion divisors of plane curves and Zariski pairs. In this paper we study the embedded topology of reducible plane curves having a smooth irreducible component. In previous studies, the relation between the topology and certain torsion classes in the Picard group of degree zero of the smooth component was implicitly considered. We formulate this relation clearly and give a criterion for distinguishing the embedded topology in terms of torsion classes. Furthermore, we give a method of systematically constructing examples of curves where our criterion is applicable, and give new examples of Zariski tuples.


Large Deviations of Cancer Recurrence Timing. We study large deviation events in the timing of disease recurrence. In particular, we are interested in modeling cancer treatment failure due to mutation induced drug resistance. We first present a two type branching process model of this phenomenon, where an initial population of cells that are sensitive to therapy can produce mutants that are resistant to the therapy. In this model, we investigate two random times, the recurrence time and the crossover time. Recurrence time is defined as the first time that the population size of mutant cells exceeds a given proportion of the initial population size of drug sensitive cells. Crossover time is defined as the first time that the resistant cell population dominates the total population. We establish convergence in probability results for both recurrence and crossover time. We then develop expressions for the large deviations rate of early recurrence and early crossover events. We characterize how the large deviation rates and rate functions depend on the initial size of the mutant cell population. We finally look at the large deviations rate of early recurrence conditioned on the number of mutant clones present at recurrence in the special case of a deterministically decaying sensitive population. We find that if recurrence occurs before the predicted law of large numbers limit then there will likely be an increase in the number of clones present at recurrence time.


An Algebraic Approach to Fourier Transformation. The notion of Fourier transformation is described from an algebraic perspective that lends itself to applications in Symbolic Computation. We build the algebraic structures on the basis of a given Heisenberg group (in the general sense of nilquadratic groups enjoying a splitting property) this includes in particular the whole gamut of Pontryagin duality. The free objects in the corresponding categories are determined, and various examples are given. As a first step towards Symbolic Computation, we study two constructive examples in some detail the Gaussians (with and without polynomial factors) and the hyperbolic secant algebra.


Emerging Reflections from the People of Color (POC) at PERC Discussion Space. A paper summarizing the discussions that happened during the Physics Education Research (POC in PERC) parallel sessions at the 2017 and 2018 Physics Education Research Conference (PERC).


Semi Supervised Recognition under a Noisy and Fine grained Dataset. Simi Supervised Recognition Challenge FGVC7 is a challenging fine grained recognition competition. One of the difficulties of this competition is how to use unlabeled data. We adopted pseudo tag data mining to increase the amount of training data. The other one is how to identify similar birds with a very small difference, especially those have a relatively tiny main body in examples. We combined generic image recognition and fine grained image recognition method to solve the problem. All generic image recognition models were training using PaddleClas . Using the combination of two different ways of deep recognition models, we finally won the third place in the competition.


Uniqueness of an inverse source problem in experimental aeroacoustics. This paper is concerned with the mathematical analysis of experimental methods for the estimation of the power of an uncorrelated, extended aeroacoustic source from measurements of correlations of pressure fluctuations. We formulate a continuous, infinite dimensional model describing these experimental techniques based on the convected Helmholtz equation in mathbb R 3 or mathbb R 2 . As a main result we prove that an unknown, compactly supported source power function is uniquely determined by idealized, noise free correlation measurements. Our framework further allows for a precise characterization of state of the art source reconstruction methods and their interrelations.


A subquadratic algorithm for the simultaneous conjugacy problem. The d Simultaneous Conjugacy problem in the symmetric group S n asks whether there exists a permutation tau in S n such that b j tau 1 a j tau holds for all j 1,2, ldots, d , where a 1, a 2, ldots , a d and b 1, b 2, ldots , b d are given sequences of permutations in S n . The time complexity of existing algorithms for solving the problem is O(dn 2) . We show that for a given positive integer d the d Simultaneous Conjugacy problem in S n can be solved in o(n 2) time.


Flows Between Parallel Plates Analytical Solutions of Regularized 13 Moment Equations for Inverse Power Law Models. We study the structure of stationary channel flows predicted by the regularized 13 moment equations. Compared with the previous work P. Taheri et al., Phys. Fluids, 21 (2009), 017102 , we focus on gases whose molecules satisfy the general inverse power law. The analytical solutions are obtained for the semi linear equations, and the structures of Couette, Fourier, and Poiseuille flows are solved by coupling the general solutions with newly derived boundary conditions. The results show excellent agreement with the reference solution in the slip flow regime. Our results also show that the R13 equations derived from inverse power law models can have better accuracy than the R13 equations of Maxwell molecules with altered viscosity.


Through the Wall Nonlinear SAR Imaging. An inverse scattering problem for SAR data in application to through the wall imaging is addressed. In contrast with the conventional algorithms of SAR imaging, that work with the linearized mathematical model based on the Born approximation, the fully nonlinear case is considered here. To avoid the local minima problem, the so called "convexification" globally convergent inversion scheme is applied to approximate the distribution of the slant range (SR) dielectric constant in the 3 D domain. The benchmark scene of this paper comprises a homogeneous dielectric wall and different dielectric targets hidden behind it. The results comprise two dimensional images of the SR dielectric constant of the scene of interest. Numerical results are obtained by the proposed inversion method for both the computationally simulated and experimental data. Our results show that the values, cross range sizes and locations of SR dielectric constants for targets hidden behind the wall are close to those of real targets. Numerical comparison with the solution of the linearized inverse scattering problem provided by the Born approximation, commonly used in conventional SAR imaging, shows a significantly better accuracy of our results.


Using the Multirhodotron as an Advanced Rhodotron. This article assesses the use of a new type of electron accelerator, the Multirhodotron, for four new purposes that cannot be implemented using Rhodotrons and linacs. This study awards some arguments about possible replacement of nuclear reactors by electron accelerators in process of producing of medical isotopes on a global scale, about new possible electron accelerator for high energy, also describes new possibilities of actuation of free electron lasers (FEL) at the megawatt level in the continuous wave (CW) mode, and suggests some decision of the use of Multirhodotron for technology of electron cooling in proton accelerators and colliders. Key words Multirhodotron Rhodotron electron accelerator powerful FEL medical isotopes, electron cooling.


Design of ultra high gain optical micro amplifiers via smart non linear wave mixing. Optical amplification of the input wave by mixing the pump wave within a nonlinear interaction medium offers high gain for a variety of applications. In real life studies, the interaction mediums which allow the optical amplification of the input wave have many resonance frequencies. However, the computational expense for tuning the pump frequency to yield the optical amplification of the input wave increases with the number of resonance frequencies within the interaction mediums. Here, we present a Fletcher Reeves based algorithm for parametric amplification in micro resonators having multiple resonance frequencies. Using our novel mathematical formulations, we obtained a gain of 4.7x107 for the input wave at 640 THz and a gain of 1.5x108 for the input wave at 100 THz within the micro resonators. Moreover, the performance of our algorithm is verified by the well know mathematical expression, and we achieved more than 99 accuracy in computation of optical amplification. To our knowledge, this is the first study where Fletcher Reeves algorithm is used for the parametric amplification. Our methodology can be accompanied to design optical parametric amplifiers for applications of high speed optical communications, photonic circuits, and ultrafast lasers.


Strategy Stealing is Non Constructive. In many combinatorial games, one can prove that the first player wins under best play using a simple but non constructive argument called strategy stealing. This work is about the complexity behind these proofs how hard is it to actually find a winning move in a game, when you know by strategy stealing that one exists? We prove that this problem is PSPACE hard already for Minimum Poset Games and Symmetric Maker Maker Games, which are simple classes of games that capture two of the main types of strategy stealing arguments in the current literature.


Model Assertions for Monitoring and Improving ML Models. ML models are increasingly deployed in settings with real world interactions such as vehicles, but unfortunately, these models can fail in systematic ways. To prevent errors, ML engineering teams monitor and continuously improve these models. We propose a new abstraction, model assertions, that adapts the classical use of program assertions as a way to monitor and improve ML models. Model assertions are arbitrary functions over a model's input and output that indicate when errors may be occurring, e.g., a function that triggers if an object rapidly changes its class in a video. We propose methods of using model assertions at all stages of ML system deployment, including runtime monitoring, validating labels, and continuously improving ML models. For runtime monitoring, we show that model assertions can find high confidence errors, where a model returns the wrong output with high confidence, which uncertainty based monitoring techniques would not detect. For training, we propose two methods of using model assertions. First, we propose a bandit based active learning algorithm that can sample from data flagged by assertions and show that it can reduce labeling costs by up to 40 over traditional uncertainty based methods. Second, we propose an API for generating "consistency assertions" (e.g., the class change example) and weak labels for inputs where the consistency assertions fail, and show that these weak labels can improve relative model quality by up to 46 . We evaluate model assertions on four real world tasks with video, LIDAR, and ECG data.


The length constrained ideal curve flow. A recent article by the first two authors together with B Andrews and V M Wheeler considered the so called ideal curve flow', a sixth order curvature flow that seeks to deform closed planar curves to curves with least variation of total geodesic curvature in the L 2 sense. Critical in the analysis there was a length bound on the evolving curves. It is natural to suspect therefore that the length constrained ideal curve flow should permit a more straightforward analysis, at least in the case of small initial energy'. In this article we show this is indeed the case, with suitable initial data providing a flow that exists for all time and converges smoothly and exponentially to a multiply covered round circle of the same length and winding number as the initial curve.


Polynomial Time Algorithms for Constructing Optimal Binary AIFV 2 Codes. Huffman Codes are optimal Instantaneous Fixed to Variable (FV) codes in which every source symbol can only be encoded by one codeword. Relaxing these constraints permits constructing better FV codes. More specifically, recent work has shown that AIFV m codes can beat Huffman coding. AIFV m codes construct am m tuple of different coding trees between which the code alternates and are only almost instantaneous (AI). This means that decoding a word might require a delay of a finite number of bits. Current algorithms for constructing optimal AIFV m codes are iterative processes that construct progressively "better sets" of code trees. The processes have been proven to finitely converge to the optimal code but with no known bounds on the convergence rate. This paper derives a geometric interpretation of the space of binary AIFV 2 codes, permitting the development of the first polynomially time bounded iterative procedures for constructing optimal AIFV codes. We first show that a simple binary search procedure can replace the current iterative process to construct optimal binary AIFV 2 codes. We then describe how to frame the problem as a linear programming with an exponential number of constraints but a polynomial time separability oracle. This permits using the Gr "otschel, Lov 'asz and Schrijver ellipsoid method to solve the problem in a polynomial number of steps. While more complicated, this second method has the potential to lead to a polynomial time algorithm to construct optimal AIFV m codes for general m .


On the Relativized Alon Eigenvalue Conjecture II Asymptotic Expansion Theorems for Walks. This is the second in a series of articles devoted to showing that a typical covering map of large degree to a fixed, regular graph has its new adjacency eigenvalues within the bound conjectured by Alon for random regular graphs. The first main result in this article concerns the function f(k,n) defined as the number of SNBC (strictly non backtracking closed) walks of length k of a given homotopy type in a random covering graph of degree n of a fixed graph. We prove the existence of asymptotic expansions in powers of 1 n for f(k,n) , where the coefficients functions of k are proven to have some desirable properties namely, these coefficients are approximately a sum of polynomials times exponential functions. The second main result is a generalization of the first, where the number of SNBC walks of length k is multiplied by an indicator function that the covering graph contains a certain type of em tangle the second result requires more terminology, although its proof uses the same basic tools used to prove the first result. The motivation for the second main result will be clear in the third article in this series of articles. The results in this article are mostly straightforward generalizations of methods used in previous works. However, this article (1) "factors" these methods into a number of short, conceptually simple, and independent parts, (2) writes each independent part in more general terms, and (3) significantly simplifies of one of the previous computations. As such we expect that this article will make it easier to apply trace methods to related models of random graphs.


Eikonal Approximation and the Conical Effect in Smith Purcell Radiation. The diffraction and transition radiation under normal incidence of a particle to the semi infinite dielectric plate had been considered previously using the eikonal approximation in the transition radiation theory. This approach is valid for the high radiation frequencies domain (where the dielectric permittivity of the plate material is close to unit), including X ray domain. In the present report this method is applied to the case of oblique incidence of the particle on the plate (but parallel to the plate's edge) as well as to the periodic set of such plates (Smith Purcell radiation). The oblique incidence of the particle (both in the case of the single plate and in the case of the periodic grating of such plates) leads to the so called conical effect in the radiation angular distribution observed recently. We outline that the origin of this effect lies in the superluminal motion along the plate's edge of the disturbance produced by the incident particle's field in the plates. The analogous effects arise in various physical situations. Also we compare our results to ones obtained using different technique.


Taylor's formula and related inequalities for a derivative with a new parameter. In this paper, we derive Taylor's theorem for beta fractional derivative. We also investigate some new properties of Taylor's theorem and some useful related theorems for this derivative. We extend some recent and classical integral inequalities to this new simple interesting fractional calculus including Steffensen and Hermit Hadamard inequality.


Asymptotic structure of cosmological Burgers flows in one and two space dimensions a numerical study. We study the cosmological Burgers model, as we call it, which is a nonlinear hyperbolic balance law (in one and two spatial variables) posed on an expanding or contracting background. We design a finite volume scheme that is fourth order in time and second order in space, and allows us to compute weak solutions containing shock waves. Our main contribution is the study of the asymptotic structure of the solutions as the time variable approaches infinity (in the expanding case) or zero (in the contracting case). We discover that a saddle competition is taking place which involves, on one hand, the geometrical effects of expanding or contracting nature and, on the other hand, the nonlinear interactions between shock waves.


Closure interior duality over complete local rings. We define a duality operation connecting closure operations, interior operations, and test ideals, and describe how the duality acts on common constructions such as trace, torsion, tight and integral closures, and divisible submodules. This generalizes the relationship between tight closure and tight interior given in Epstein Schwede 2014 and allows us to extend commonly used results on tight closure test ideals to operations such as those above.


Cryogenic operation of silicon photonic modulators based on DC Kerr effect. Reliable operation of photonic integrated circuits at cryogenic temperatures would enable new capabilities for emerging computing platforms, such as quantum technologies and low power cryogenic computing. The silicon on insulator platform is a highly promising approach to developing large scale photonic integrated circuits due to its exceptional manufacturability, CMOS compatibility and high component density. Fast, efficient and low loss modulation at cryogenic temperatures in silicon, however, remains an outstanding challenge, particularly without the addition of exotic nonlinear optical materials. In this paper, we demonstrate DC Kerr effect based modulation at a temperature of 5 K at GHz speeds, in a silicon photonic device fabricated exclusively within a CMOS process. This work opens up the path for the integration of DC Kerr modulators in large scale photonic integrated circuits for emerging cryogenic classical and quantum computing applications.


Analysis of low threshold optically pumped III nitride microdisk lasers. Low threshold lasing under pulsed optical pumping is demonstrated at room temperature for III nitride microdisks with InGaN GaN quantum wells on Si in the blue spectral range. Thresholds in the range of 18 kW cm2 have been achieved along with narrow linewidths of 0.07 nm and a large peak to background dynamic of 300. We compare this threshold range with the one that can be calculated using a rate equation model. We show that thresholds in the few kW cm2 range constitute the best that can be achieved with III nitride quantum wells at room temperature. The sensitivity of lasing on the fabrication process is also discussed.


Fingerprints of data compression in EEG sequences. It has been classically conjectured that the brain compresses data by assigning probabilistic models to sequences of stimuli. An important issue associated to this conjecture is what class of models is used by the brain to perform its compression task. We address this issue by introducing a new statistical model selection procedure aiming to study the manner by which the brain performs data compression. Our procedure uses context tree models to represent sequences of stimuli and a new projective method for clustering EEG segments. The starting point is an experimental protocol in which EEG data is recorded while a participant is exposed to auditory stimuli generated by a stochastic chain. A simulation study using sequences of stimuli generated by two different context tree models with EEG segments generated by two distinct algorithms concludes this article.


Revisiting the Continuity of Rotation Representations in Neural Networks. In this paper, we provide some careful analysis of certain pathological behavior of Euler angles and unit quaternions encountered in previous works related to rotation representation in neural networks. In particular, we show that for certain problems, these two representations will provably produce completely wrong results for some inputs, and that this behavior is inherent in the topological property of the problem itself and is not caused by unsuitable network architectures or training procedures. We further show that previously proposed embeddings of mathrm SO (3) into higher dimensional Euclidean spaces aimed at fixing this behavior are not universally effective, due to possible symmetry in the input causing changes to the topology of the input space. We propose an ensemble trick as an alternative solution.


Place recognition in gardens by learning visual representations data set and benchmark analysis. Visual place recognition is an important component of systems for camera localization and loop closure detection. It concerns the recognition of a previously visited place based on visual cues only. Although it is a widely studied problem for indoor and urban environments, the recent use of robots for automation of agricultural and gardening tasks has created new problems, due to the challenging appearance of garden like environments. Garden scenes predominantly contain green colors, as well as repetitive patterns and textures. The lack of available data recorded in gardens and natural environments makes the improvement of visual localization algorithms difficult. In this paper we propose an extended version of the TB Places data set, which is designed for testing algorithms for visual place recognition. It contains images with ground truth camera pose recorded in real gardens in different seasons, with varying light conditions. We constructed and released a ground truth for all possible pairs of images, indicating whether they depict the same place or not. We present the results of a benchmark analysis of methods based on convolutional neural networks for holistic image description and place recognition. We train existing networks (i.e. ResNet, DenseNet and VGG NetVLAD) as backbone of a two way architecture with a contrastive loss function. The results that we obtained demonstrate that learning garden tailored representations contribute to an improvement of performance, although the generalization capabilities are limited.


Convolutional nets for reconstructing neural circuits from brain images acquired by serial section electron microscopy. Neural circuits can be reconstructed from brain images acquired by serial section electron microscopy. Image analysis has been performed by manual labor for half a century, and efforts at automation date back almost as far. Convolutional nets were first applied to neuronal boundary detection a dozen years ago, and have now achieved impressive accuracy on clean images. Robust handling of image defects is a major outstanding challenge. Convolutional nets are also being employed for other tasks in neural circuit reconstruction finding synapses and identifying synaptic partners, extending or pruning neuronal reconstructions, and aligning serial section images to create a 3D image stack. Computational systems are being engineered to handle petavoxel images of cubic millimeter brain volumes.


Quantum Transport in 40 nm MOSFETs at Deep Cryogenic Temperatures. In this letter, we characterize the electrical properties of commercial bulk 40 nm MOSFETs at room and deep cryogenic temperatures, with a focus on quantum information processing (QIP) applications. At 50 mK, the devices operate as classical FETs or quantum dot devices when either a high or low drain bias is applied, respectively. The operation in classical regime shows improved transconductance and subthreshold slope with respect to 300 K. In the quantum regime, all measured devices show Coulomb blockade. This is explained by the formation of quantum dots in the channel, for which a model is proposed. The variability in parameters, important for quantum computing scaling, is also quantified. Our results show that bulk 40 nm node MOSFETs can be readily used for the co integration of cryo CMOS classical quantum circuits at deep cryogenic temperatures and that the variability approaches the uniformity requirements to enable shared control.


On Differential Geometric Formulations of Slow Invariant Manifold Computation Geodesic Stretching and Flow Curvature. The theory of slow invariant manifolds (SIMs) is the foundation of various model order reduction techniques for dissipative dynamical systems with multiple time scales, e.g. in chemical kinetic models. The construction of SIMs and many approximation methods exploit the restrictive requirement of an explicit time scale separation parameter. Most of those methods are also not formulated covariantly, i.e. in terms of tensorial constructions. We propose an intrinsically coordinate free differential geometric approximation criterion approximating normally attracting invariant manifolds (NAIMs). We translate some ideas behind existing approximation approaches, the stretching based diagnostics (SBD) and the flow curvature method (FCM) to tensors of Riemannian geometry, specifically to spacetime curvature in extended phase space. For that purpose we derive from flow generating smooth vector fields a metric tensor such that the original dynamical system is a geodesic flow on a Riemannian manifold. We apply the resulting method to test models.


Dual Encoding for Video Retrieval by Text. This paper attacks the challenging problem of video retrieval by text. In such a retrieval paradigm, an end user searches for unlabeled videos by ad hoc queries described exclusively in the form of a natural language sentence, with no visual example provided. Given videos as sequences of frames and queries as sequences of words, an effective sequence to sequence cross modal matching is crucial. To that end, the two modalities need to be first encoded into real valued vectors and then projected into a common space. In this paper we achieve this by proposing a dual deep encoding network that encodes videos and queries into powerful dense representations of their own. Our novelty is two fold. First, different from prior art that resorts to a specific single level encoder, the proposed network performs multi level encoding that represents the rich content of both modalities in a coarse to fine fashion. Second, different from a conventional common space learning algorithm which is either concept based or latent space based, we introduce hybrid space learning which combines the high performance of the latent space and the good interpretability of the concept space. Dual encoding is conceptually simple, practically effective and end to end trained with hybrid space learning. Extensive experiments on four challenging video datasets show the viability of the new method.


The Potential of Restarts for ProbSAT. This work analyses the potential of restarts for probSAT, a quite successful algorithm for k SAT, by estimating its runtime distributions on random 3 SAT instances that are close to the phase transition. We estimate an optimal restart time from empirical data, reaching a potential speedup factor of 1.39. Calculating restart times from fitted probability distributions reduces this factor to a maximum of 1.30. A spin off result is that the Weibull distribution approximates the runtime distribution for over 93 of the used instances well. A machine learning pipeline is presented to compute a restart time for a fixed cutoff strategy to exploit this potential. The main components of the pipeline are a random forest for determining the distribution type and a neural network for the distribution's parameters. ProbSAT performs statistically significantly better than Luby's restart strategy and the policy without restarts when using the presented approach. The structure is particularly advantageous on hard problems.


Processing slightly resolved ro vibrational spectra during chemical vapor deposition of carbon materials machine learning approach for plasma thermometry. A fast optical spectroscopic method for determination rotational ( T rot ) and vibrational ( T vib ) temperatures in two temperature Boltzmann distribution of the excited state by using machine learning approach is presented. The method is applied to estimate molecular gas temperatures in a direct current glow discharge in hydrogen methane gas mixture during plasma enhanced chemical vapor deposition of carbon film materials. Slightly resolved ro vibrational optical emission spectrum of the C 2 ( nu' 0 to nu'' 0 ) Swan band system was used for local temperature measurements in plasma ball. Random Forest algorithm of machine learning was explored for determination of temperature distribution maps. In addition to the T rot , T vib maps, distribution maps and their gradients for electron temperature ( T e ) and for the emission intensity of the spectral line 516,5 nm corresponding to C 2 species is presented and is discussed in detail.


ConsciousControlFlow(CCF) A Demonstration for conscious Artificial Intelligence. In this demo, we present ConsciousControlFlow(CCF), a prototype system to demonstrate conscious Artificial Intelligence (AI). The system is based on the computational model for consciousness and the hierarchy of needs. CCF supports typical scenarios to show the behaviors and the mental activities of conscious AI. We demonstrate that CCF provides a useful tool for effective machine consciousness demonstration and human behavior study assistance.


Blockchain Based Applications in Higher Education A Systematic Mapping Study. The utilisation of blockchain has moved beyond digital currency to other fields such as health, the Internet of Things, and education. In this paper, we present a systematic mapping study to collect and analyse relevant research on blockchain technology related to the higher education field. The paper concentrates on two main themes. First, it examines state of the art in blockchain based applications that have been developed for educational purposes. Second, it summarises the challenges and research gaps that need to be addressed in future studies.


Multimedia Crowdsourcing with Bounded Rationality A Cognitive Hierarchy Perspective. In multimedia crowdsourcing, the requester's quality requirements and reward decisions will affect the workers' task selection strategies and the quality of their multimedia contributions. In this paper, we present a first study on how the workers' bounded cognitive rationality interacts with and affects the decisions and performance of a multimedia crowdsourcing system. Specifically, we consider a two stage model, where a requester first determines the reward and the quality requirement for each task, and the workers select the tasks to accomplish accordingly. First, we consider the benchmark case where users are fully rational, and derive the requester's optimal rewards and quality requirements for the tasks. Next, we focus on the more practical bounded rational case by modeling the workers' task selection behaviors using the cognitive hierarchy theory. Comparing with the fully rational benchmark, we show that the requester can increase her profit by taking advantage of the workers' bounded cognitive rationality, especially when the workers' population is large or the workers' average cognitive level is low. When the workers' average cognitive level is very high, however, the equilibrium under the practical bounded rational model converges to that under the benchmark fully rational model. It is because workers at different levels make decisions sequentially and high cognitive level workers can accurately predict other users' strategies. Under both the fully and bounded rational models, we show that if workers are heterogeneous but one type of workers (either the high or the low quality) dominates the platform, the requester cannot make a higher profit by setting different quality requirements for different tasks.


Conformance Relations and Hyperproperties for Doping Detection in Time and Space. We present a novel and generalised notion of doping cleanness for cyber physical systems that allows for perturbing the inputs and observing the perturbed outputs both in the time and value domains. We instantiate our definition using existing notions of conformance for cyber physical systems. As a formal basis for monitoring conformance based cleanness, we develop the temporal logic HyperSTL , an extension of Signal Temporal Logics with trace quantifiers and a freeze operator. We show that our generalised definitions are essential in a data driven method for doping detection and apply our definitions to a case study concerning diesel emission tests.


Generating Sentences from Disentangled Syntactic and Semantic Spaces. Variational auto encoders (VAEs) are widely used in natural language generation due to the regularization of the latent space. However, generating sentences from the continuous latent space does not explicitly model the syntactic information. In this paper, we propose to generate sentences from disentangled syntactic and semantic spaces. Our proposed method explicitly models syntactic information in the VAE's latent space by using the linearized tree sequence, leading to better performance of language generation. Additionally, the advantage of sampling in the disentangled syntactic and semantic latent spaces enables us to perform novel applications, such as the unsupervised paraphrase generation and syntax transfer generation. Experimental results show that our proposed model achieves similar or better performance in various tasks, compared with state of the art related work.


The effect of anti COVID 19 policies to the evolution of the disease A complex network analysis to the successful case of Greece. Within the context that Greece promises a success story in the fight against the disease, this paper proposes a novel method to study the evolution of the Greek COVID 19 infection curve in relation to the anti COVID 19 policies applied to control the pandemic. Based on the ongoing spreading of COVID 19 and the insufficient data for applying classic time series approaches, the analysis builds on the visibility graph algorithm to study the Greek COVID 19 infection curve as a complex network. By using the modularity optimization algorithm, the generated visibility graph is divided into communities defining periods of different connectivity in the time series body. These periods reveal a sequence of different typologies in the evolution of the disease, starting with a power pattern, where a second order polynomial (U shaped) pattern intermediates, being followed by a couple of exponential patterns, and ending up with a current logarithmic pattern revealing that the evolution of the Greek COVID 19 infection curve tends into saturation. The network analysis also illustrates stability of hubs and instability of medium and low degree nodes, implying a low probability to meet maximum (infection) values at the future and high uncertainty in the variability of other values below the average. The overall approach contributes to the scientific research by proposing a novel method for the structural decomposition of a time series into periods, which allows removing from the series the disconnected past data facilitating better forecasting, and provides insights of good policy and decision making practices and management that may help other countries improve their performance in the war against COVID 19.


Relatively hyperbolic groups with strongly shortcut parabolics are strongly shortcut. We show that a group that is hyperbolic relative to strongly shortcut groups is itself strongly shortcut, thus obtaining new examples of strongly shortcut groups. The proof relies on a result of independent interest we show that every relatively hyperbolic group acts properly and cocompactly on a graph in which the parabolic subgroups act properly and cocompactly on convex subgraphs.


Generating Large Convex Polytopes Directly on Point Clouds. In this paper, we present a method to efficiently generate large, free, and guaranteed convex space among arbitrarily cluttered obstacles. Our method operates directly on point clouds, avoids expensive calculations, and processes thousands of points within a few milliseconds, which extremely suits embedded platforms. The base stone of our method is sphere flipping, a one one invertible nonlinear transformation, which maps a set of unordered points to a nonlinear space. With these wrapped points, we obtain a collision free star convex polytope. Then, utilizing the star convexity, we efficiently modify the polytope to convex and guarantee its free of obstacles. Extensive quantitative evaluations show that our method significantly outperforms state of the art works in efficiency. We also present practical applications with our method in 3D, including large scale deformable topological mapping and quadrotor optimal trajectory planning, to validate its capability and efficiency. The source code of our method will be released for the reference of the community.


On the structural stability of random systems. Understanding which system structure can sustain stable dynamics is a fundamental step in the design and analysis of large scale dynamical systems. Towards this goal, we investigate here the structural stability of systems with a random structure. As is usually done, we describe the system's structure through a graph describing interactions between parts of the system, and we call a graph stable if it describe a structurally stable system, i.e., a system which can sustain stable dynamics. We then consider two Erdos Renyi random graph models, and we obtain for each the probability that a graph sampled from these models is structurally stable.


Research of Caller ID Spoofing Launch, Detection, and Defense. Caller ID parodying produces the valid Caller character, in this manner deciding seem to start from another client. This apparently basic assault strategy has been utilized in the developing communication fake and trick calls, bringing about significant financial trouble. Unfortunately, callerID spoofing is easy to implement but yet it is difficult to have protection against it. In addition, there are not effective and defense solutions available right now. In this research it is suggested the CIVE (Callee Inference VErification), a compelling and viable guard against Caller ID spoofing. This way it is described how it's possible to lunch call spoofing and between line describe how CIVE approach method can help to prevent somehow this kind of attacks. Caller ID Spoofing could cause huge financial and political issues special nowadays, when many things even sometimes authentication and verification are available by phone call, like banks approving transactions or two factor authentications and many other things. We believe critical industries specially banks and payment service providers should be protected against such vulnerabilities with their system and make an approach to prevent it, also it is very important to learn people specially who has special social place like politicians or celebrities to know such kind of attack are already exist. For this paper we implemented a call from white house to show there is no limitation and no matter whom you try to spoof, but destination which is the victim receive the call and that make this attack vector dangerous. And even modern communication and even devices like 4G and smart phones are not able to prevent or even detect this kind of attack. This study is a demonstration of the vulnerabilities available. All experiments were conducted on isolated mock ups.


Relativity of Depth and Sophistication. Logical depth and sophistication are two quantitative measures of the non trivial organization of an object. Although apparently different, these measures have been proven equivalent, when the logical depth is renormalized by the busy beaver function. In this article, the measures are relativized to auxiliary information and re compared to one another. The ability of auxiliary information to solve the halting problem introduces a distortion between the measures. Finally, similar to algorithmic complexity, sophistication and logical depth (renormalized) each offer a relation between their expression of (x, y) , (x) and (y x) .


Internal split opfibrations and cofunctors. Split opfibrations are functors equipped with a suitable choice of opcartesian lifts. The purpose of this paper is to characterise internal split opfibrations through separating the structure of a suitable choice of lifts from the property of these lifts being opcartesian. The underlying structure of an internal split opfibration is captured by an internal functor equipped with an internal cofunctor, while the property may be expressed as a pullback condition, akin to the simple condition on an internal functor to be an internal discrete opfibration. Furthermore, this approach provides two additional characterisations of internal split opfibrations, via the d 'ecalage construction and strict factorisation systems. For small categories, this theory clarifies several aspects of delta lenses which arise in computer science.


Inequalities, chance and success in sport competitions simulations vs empirical data. We present a new way of estimation of the role of chance in achieving success, by comparing the empirical data from 100 meter dash competitions (one of the sports disciplines with the most stringent controls of external randomness), with the results of an agent based computer model, which assumes that success depends jointly on the intrinsic talent of the agent and on unpredictable luck. We find a small, but non zero contribution of random luck to the performance of the best sprinters, which may serve as a lower bound for the randomness role in other, less stringently controlled competitive domains. Additionally we discuss the perception of the payoff differences among the top participants, and the role of random luck in the resulting inequality.


Helping users discover perspectives Enhancing opinion mining with joint topic models. Support or opposition concerning a debated claim such as abortion should be legal can have different underlying reasons, which we call perspectives. This paper explores how opinion mining can be enhanced with joint topic modeling, to identify distinct perspectives within the topic, providing an informative overview from unstructured text. We evaluate four joint topic models (TAM, JST, VODUM, and LAM) in a user study assessing human understandability of the extracted perspectives. Based on the results, we conclude that joint topic models such as TAM can discover perspectives that align with human judgments. Moreover, our results suggest that users are not influenced by their pre existing stance on the topic of abortion when interpreting the output of topic models.


Understanding infection progression under strong control measures through universal COVID 19 growth signatures. Widespread growth signatures in COVID 19 confirmed case counts are reported, with sharp transitions between three distinct dynamical regimes (exponential, superlinear and sublinear). Through analytical and numerical analysis, a novel framework is developed that exploits information in these signatures. An approach well known to physics is applied, where one looks for common dynamical features, independently from differences in other factors. These features and associated scaling laws are used as a powerful tool to pinpoint regions where analytical derivations are effective, get an insight into qualitative changes of the disease progression, and infer the key infection parameters. The developed framework for joint analytical and numerical analysis of empirically observed COVID 19 growth patterns can lead to a fundamental understanding of infection progression under strong control measures, applicable to outbursts of both COVID 19 and other infectious diseases.


On the decoding of Barnes Wall lattices. We present new efficient recursive decoders for the Barnes Wall lattices based on their squaring construction. The analysis of the new decoders reveals a quasi quadratic complexity in the lattice dimension and a quasi linear complexity in the list size. The error rate is shown to be close to the universal lower bound in dimensions 64 and 128.


Pattern Morphing for Efficient Graph Mining. Graph mining applications analyze the structural properties of large graphs, and they do so by finding subgraph isomorphisms, which makes them computationally intensive. Existing graph mining techniques including both custom graph mining applications and general purpose graph mining systems, develop efficient execution plans to speed up the exploration of the given query patterns that represent subgraph structures of interest. In this paper, we step beyond the traditional philosophy of optimizing the execution plans for a given set of patterns, and exploit the sub structural similarities across different query patterns. We propose Pattern Morphing, a technique that enables structure aware algebra over patterns to accurately infer the results for a given set of patterns using the results of a completely different set of patterns that are less expensive to compute. Pattern morphing "morphs" (or converts) a given set of query patterns into alternative patterns, while retaining full equivalency. It is a general technique that supports various operations over matches of a pattern beyond just counting (e.g., support calculation, enumeration, etc.), making it widely applicable to various graph mining applications like Motif Counting and Frequent Subgraph Mining. Since pattern morphing mainly transforms query patterns before their exploration starts, it can be easily incorporated in existing general purpose graph mining systems. We evaluate the effectiveness of pattern morphing by incorporating it in Peregrine, a recent state of the art graph mining system, and show that pattern morphing significantly improves the performance of different graph mining applications.


Undergraduate Researcher Personas. Personalized undergraduate research programs can help increase undergraduate students' participation in research. Personas of undergraduate researchers are a powerful means of encapsulating the richness of students' various goals, motivations, and experiences in research. Student personas can support the design of research programs with student centered approaches that better engage undergraduate students across multiple disciplines. We used interview data and drew on Self Determination Theory to identify students' various goals and motivations in order to build three undergraduate researcher personas in physics.


Decoding Neural Responses in Mouse Visual Cortex through a Deep Neural Network. Finding a code to unravel the population of neural responses that leads to a distinct animal behavior has been a long standing question in the field of neuroscience. With the recent advances in machine learning, it is shown that the hierarchically Deep Neural Networks (DNNs) perform optimally in decoding unique features out of complex datasets. In this study, we utilize the power of a DNN to explore the computational principles in the mammalian brain by exploiting the Neuropixel data from Allen Brain Institute. We decode the neural responses from mouse visual cortex to predict the presented stimuli to the animal for natural (bear, trees, cheetah, etc.) and artificial (drifted gratings, orientated bars, etc.) classes. Our results indicate that neurons in mouse visual cortex encode the features of natural and artificial objects in a distinct manner, and such neural code is consistent across animals. We investigate this by applying transfer learning to train a DNN on the neural responses of a single animal and test its generalized performance across multiple animals. Within a single animal, DNN is able to decode the neural responses with as much as 100 classification accuracy. Across animals, this accuracy is reduced to 91 . This study demonstrates the potential of utilizing the DNN models as a computational framework to understand the neural coding principles in the mammalian brain.


A simple character formula. In this paper we prove a character formula expressing the classes of simple representations in the principal block of a simply connected semisimple algebraic group G in terms of baby Verma modules, under the assumption that the characteristic of the base field is bigger than 2h 1, where h is the Coxeter number of G. This provides a replacement for Lusztig's conjecture, valid under a reasonable assumption on the characteristic.