Efficient and environmental friendly perovskite solar cells via embedding plasmonic nanoparticles an optical simulation study on realistic device architecture. Solution processed, lead halide based perovskite solar cells have overcome important challenges over the recent years, offering low cost and high solar power conversion efficiencies. However, they still undergo unoptimized light collection due mainly to the thin ( 350 nm) polycrystalline absorber layers. Moreover, their high toxicity (due to the presence of lead in the perovskite crystalline structure) makes it necessary that the thickness of the absorber layers to be further reduced, for their future commercialization, without reducing the device performance. Here we aim to address these issues via embedding spherical plasmonic nanoparticles of various sizes, composition, concentrations, and vertical positions, for the first time in realistic halide based perovskite solar cells architecture, and to clarify their effect on the absorption properties and enhancement. We theoretically show that plasmon enhanced near field effects and scattering leads to a device photocurrent enhancement of up to 7.3 when silver spheres are embedded inside the perovskite layer. Interestingly, the combination of silver spheres in perovskite and aluminum spheres inside the hole transporting layer (PEDOT PSS) of the solar cell leads to an even further enhancement, of up to 12 . This approach allows the employment of much thinner perovskite layers in PSCs (up to 150 nm) to reach the same photocurrent as the nanoparticles free device and reducing thus significantly the toxicity of the device. Providing the requirements related to the size, shape, position, composition, and concentration of nanoparticles for the PSCs photocurrent enhancement, our study establishes guidelines for a future development of highly efficient, environmentally friendly and low cost plasmonic perovskite solar cells.


Dancing to the Partisan Beat A First Analysis of Political Communication on TikTok. TikTok is a video sharing social networking service, whose popularity is increasing rapidly. It was the world's second most downloaded app in 2019. Although the platform is known for having users posting videos of themselves dancing, lip syncing, or showcasing other talents, user videos expressing political views have seen a recent spurt. This study aims to perform a primary evaluation of political communication on TikTok. We collect a set of US partisan Republican and Democratic videos to investigate how users communicated with each other about political issues. With the help of computer vision, natural language processing, and statistical tools, we illustrate that political communication on TikTok is much more interactive in comparison to other social media platforms, with users combining multiple information channels to spread their messages. We show that political communication takes place in the form of communication trees since users generate branches of responses to existing content. In terms of user demographics, we find that users belonging to both the US parties are young and behave similarly on the platform. However, Republican users generated more political content and their videos received more responses on the other hand, Democratic users engaged significantly more in cross partisan discussions.


On the Total Graph of a Finite Commutative Ring. Let R be a finite commutative ring with 1 ne 0 . In this article, we study the total graph of R , denoted by tau (R) , determine some of its basic graph theoretical properties, determine when it is Eulerian, and find some conditions under which this graph is isomorphic to Cay(R,Z(R) backslash lbrace 0 rbrace) . We shall also compute the domination number of tau (R).


Multi Modal Citizen Science From Disambiguation to Transcription of Classical Literature. The engagement of citizens in the research projects, including Digital Humanities projects, has risen in prominence in recent years. This type of engagement not only leads to incidental learning of participants but also indicates the added value of corpus enrichment via different types of annotations undertaken by users generating so called smart texts. Our work focuses on the continuous task of adding new layers of annotation to Classical Literature. We aim to provide more extensive tools for readers of smart texts, enhancing their reading comprehension and at the same time empowering the language learning by introducing intellectual tasks, i.e., linking, tagging, and disambiguation. The current study adds a new mode of annotation audio annotations to the extensively annotated corpus of poetry by the Persian poet Hafiz. By proposing tasks with three different difficulty levels, we estimate the users' ability of providing correct annotations in order to rate their answers in further stages of the project, where no ground truth data is available. While proficiency in Persian is beneficial, annotators with no knowledge of Persian are also able to add annotations to the corpus.


An Artificial Intelligence Driven Agent for Real Time Head and Neck IMRT Plan Generation using Conditional Generative Adversarial Network (cGAN). Purpose To develop an Artificial Intelligence (AI) agent for fully automated rapid head and neck (H N) IMRT plan generation without time consuming inverse planning. Methods This AI agent was trained using a conditional Generative Adversarial Network architecture. The generator, PyraNet, is a novel Deep Learning network that implements 28 classic ResNet blocks in pyramid like concatenations. The discriminator is a customized 4 layer DenseNet. The AI agent first generates customized 2D projections at 9 template beam angles from 3D CT volume and structures of a patient. These projections are then stacked as 4D inputs of PyraNet, from which 9 radiation fluence maps are generated simultaneously. Finally, the predicted fluence maps are imported into a commercial treatment planning system (TPS) for plan integrity checks. The AI agent was built and tested upon 231 oropharyngeal plans from a TPS plan library. Only the primary plans in the sequential boost regime were studied. A customized Harr wavelet loss was adopted for fluence map comparison. Isodose distributions in test AI plans and TPS plans were qualitatively evaluated. Key dosimetric metrics were statistically compared. Results All test AI plans were successfully generated. Isodose gradients outside of PTV in AI plans were comparable with TPS plans. After PTV coverage normalization, D mean of parotids and oral cavity in AI plans and TPS plans were comparable without statistical significance. AI plans achieved comparable D max at 0.01cc of brainstem and cord 5mm without clinically relevant differences, but body D max was higher than the TPS plan results. The AI agent needs 3s per case to predict fluence maps. Conclusions The developed AI agent can generate H N IMRT plans with satisfying dosimetry quality. With rapid and fully automated implementation, it holds great potential for clinical applications.


General infinite series evaluations involving Fibonacci numbers and the Riemann Zeta function. The purpose of this article is to present closed forms for various types of infinite series involving Fibonacci (Lucas) numbers and the Riemann zeta function at integer arguments.


Scale free spanning trees complexity, bounds and algorithms. We introduce and study the general problem of finding a most "scale free like" spanning tree of a connected graph. It is motivated by a particular problem in epidemiology, and may be useful in studies of various dynamical processes in networks. We employ two possible objective functions for this problem and introduce the corresponding algorithmic problems termed m SF and s SF Spanning Tree problems. We prove that those problems are APX and NP hard, respectively, even in the classes of cubic, bipartite and split graphs. We study the relations between scale free spanning tree problems and the max leaf spanning tree problem, which is the classical algorithmic problem closest to ours. For split graphs, we explicitly describe the structure of optimal spanning trees and graphs with extremal solutions. Finally, we propose two Integer Linear Programming formulations and two fast heuristics for the s SF Spanning Tree problem, and experimentally assess their performance using simulated and real data.


Network neuroscience and the connectomics revolution. Connectomics and network neuroscience offer quantitative scientific frameworks for modeling and analyzing networks of structurally and functionally interacting neurons, neuronal populations, and macroscopic brain areas. This shift in perspective and emphasis on distributed brain function has provided fundamental insight into the role played by the brain's network architecture in cognition, disease, development, and aging. In this chapter, we review the core concepts of human connectomics at the macroscale. From the construction of networks using functional and diffusion MRI data, to their subsequent analysis using methods from network neuroscience, this review highlights key findings, commonly used methodologies, and discusses several emerging frontiers in connectomics.


A Teichmuller space for negatively curved surfaces. We first describe the action of the fundamental group of a closed surface of variable negative curvature on the oriented geodesics in its universal covering in terms of a naturally defined flat connection whose holonomy lies in the group of Hamiltonian diffeomorphisms of S 1 x R. Consideration of the holonomy necessitates an extension from Riemannian to Finsler metrics. The second part of the paper follows the Higgs bundle approach to flat connections adapted to this infinite dimensional group and focuses on a family of metrics, relying on a construction of O.Biquard, which is parametrized by the infinite dimensional space of CR functions on the unit circle bundle of a hyperbolic surface. This generates an alternative approach to defining a connection and offers the possibility of this vector space representing a moduli space which generalizes and includes the classical Teichmueller space.


Discriminants of number fields and surjectivty of trace homomorphism on rings of integers. In this note we give a brief survey of the most elementary criteria used to determine the surjectivity of the trace operator on the ring of integers of a number field K . Furthermore, we introduce an easy to state yet unknown surjectivity criterion depending only on the prime factorization of the degree n of K and on the squarefree part of the discriminant d K .


Bayesian estimate of position in mobile phone network. The traditional approach to mobile phone positioning is based on the assumption that the geographical location of a cell tower recorded in a call details record (CDR) is a proxy for a device's location. A Voronoi tessellation is then constructed based on the entire network of cell towers and this tessellation is considered as a coordinate system, with the device located in a Voronoi polygon of a cell tower that is recorded in the CDR. If Voronoi based positioning is correct, the uniqueness of the device trajectory is very high, and the device can be identified based on 3 4 of its recorded locations. We propose and investigate a probabilistic approach to device positioning that is based on knowledge of each antennas' parameters and number of connections, as dependent on the distance to the antenna. The critical difference between the Voronoi based and the real world layout is in the essential overlap of the antennas' service areas the device that is located in a cell tower's polygon can be served by a more distant antenna that is chosen by the network system to balance the network load. This overlap is too significant to be ignored. Combining data on the distance distribution of the number of connections available for each antenna in the network, we succeed in resolving the overlap problem by applying Bayesian inference and construct a realistic distribution of the device location. Probabilistic device positioning demands a full revision of mobile phone data analysis, which we discuss with a focus on privacy risk estimates.


Image Processing Based Scene Text Detection and Recognition with Tesseract. Text Recognition is one of the challenging tasks of computer vision with considerable practical interest. Optical character recognition (OCR) enables different applications for automation. This project focuses on word detection and recognition in natural images. In comparison to reading text in scanned documents, the targeted problem is significantly more challenging. The use case in focus facilitates the possibility to detect the text area in natural scenes with greater accuracy because of the availability of images under constraints. This is achieved using a camera mounted on a truck capturing likewise images round the clock. The detected text area is then recognized using Tesseract OCR engine. Even though it benefits low computational power requirements, the model is limited to only specific use cases. This paper discusses a critical false positive case scenario occurred while testing and elaborates the strategy used to alleviate the problem. The project achieved a correct character recognition rate of more than 80 . This paper outlines the stages of development, the major challenges and some of the interesting findings of the project.


Towards Automated Sexual Violence Report Tracking. Tracking sexual violence is a challenging task. In this paper, we present a supervised learning based automated sexual violence report tracking model that is more scalable, and reliable than its crowdsource based counterparts. We define the sexual violence report tracking problem by considering victim, perpetrator contexts and the nature of the violence. We find that our model could identify sexual violence reports with a precision and recall of 80.4 and 83.4 , respectively. Moreover, we also applied the model during and after the MeToo movement. Several interesting findings are discovered which are not easily identifiable from a shallow analysis.


Brownian motion on the golden ratio Sierpinski gasket. We construct a strongly local regular Dirichlet form on the golden ratio Sierpinski gasket, which is a self similar set without any finitely ramified cell structure, via a study on the trace of electrical networks on an infinite graph. The Dirichlet form is self similar in the sense of an infinite iterated function system, and is decimation invariant with respect to a graph directed construction. A theorem of uniqueness is also provided. Lastly, the associated process satisfies the two sided sub Gaussian heat kernel estimate.


Positive solutions for nonlinear Neumann problems with singular terms and convection. We consider a nonlinear Neumann problem driven by the p Laplacian. In the reaction term we have the competing effects of a singular and a convection term. Using a topological approach based on the Leray Schauder alternative principle together with suitable truncation and comparison techniques, we show that the problem has positive smooth solutions.


Algebraic 3D Graphic Statics reciprocal constructions. The recently developed 3D graphic statics (3DGS) lacks a rigorous mathematical definition relating the geometrical and topological properties of the reciprocal polyhedral diagrams as well as a precise method for the geometric construction of these diagrams. This paper provides a fundamental algebraic formulation for 3DGS by developing equilibrium equations around the edges of the primal diagram and satisfying the equations by the closeness of the polygons constructed by the edges of the corresponding faces in the dual reciprocal diagram. The research provides multiple numerical methods for solving the equilibrium equations and explains the advantage of using each technique. The approach of this paper can be used for compression and tension combined form finding and analysis as it allows constructing both the form and force diagram based on the interpretation of the input diagram. Besides, the paper expands on the geometric static degrees of (in)determinacies of the diagrams using the algebraic formulation and shows how these properties can be used for the constrained manipulation of the polyhedrons in an interactive environment without breaking the reciprocity between the two.


The effect of electrostatic charges on particle laden duct flows. We report on direct numerical simulations of the effect of electrostatic charges on particle laden duct flows. The corresponding electrostatic forces are known to affect particle dynamics at small scales and the associated turbophoretic drift. Our simulations, however, predicted that electrostatic forces also dominate the vortical motion of the particles, induced by the secondary flows of Prandtl's second kind of the carrier fluid. Herein we treated flows at two frictional Reynolds numbers ( Re mathrm tau 300 and 600), two particle to gas density ratios ( rho mathrm p rho 1000 and 7500), and three Coulombic to gravitational force ratios ( F mathrm el F mathrm g 0, 0.004, and 0.026). In flows with a high density ratio at Re mathrm tau 600 and F mathrm el F mathrm g 0.004, the particles tend to accumulate at the walls. On the other hand, at a lower density ratio, respectively a higher F mathrm el F mathrm g of 0.026, the charged particles still follow the secondary flow structures that are developed in the duct. However, even in this case, the electrostatic forces counteract the particles' inward flux from the wall and, as a result, their vortical motion in these secondary structures is significantly attenuated. This change in the flow pattern results in an increase of the particle number density at the bisectors of the walls by a factor of five compared to the corresponding flow with uncharged particles. Finally, at Re mathrm tau 300, rho mathrm p rho 1000, and F mathrm el F mathrm g 0.026 the electrostatic forces dominate over the aerodynamic forces and gravity and, consequently the particles no longer follow the streamlines of the carrier gas.


What does it mean to be language agnostic? Probing multilingual sentence encoders for typological properties. Multilingual sentence encoders have seen much success in cross lingual model transfer for downstream NLP tasks. Yet, we know relatively little about the properties of individual languages or the general patterns of linguistic variation that they encode. We propose methods for probing sentence representations from state of the art multilingual encoders (LASER, M BERT, XLM and XLM R) with respect to a range of typological properties pertaining to lexical, morphological and syntactic structure. In addition, we investigate how this information is distributed across all layers of the models. Our results show interesting differences in encoding linguistic variation associated with different pretraining strategies.


Upper bounds for Betti numbers from constraints on the Hilbert function. We describe an algorithm for finding sharp upper bounds for the total Betti numbers of a saturated ideal given certain constraints on its Hilbert function. This algorithm is implemented in the Macaulay2 package, MaxBettiNumbers, along with variations that produce ideals with maximal total Betti numbers.


AI Lifecycle Models Need To Be Revised. An Exploratory Study in Fintech. Tech leading organizations are embracing the forthcoming artificial intelligence revolution. Intelligent systems are replacing and cooperating with traditional software components. Thus, the same development processes and standards in software engineering ought to be complied in artificial intelligence systems. This study aims to understand the processes by which artificial intelligence based systems are developed and how state of the art lifecycle models fit the current needs of the industry. We conducted an exploratory case study at ING, a global bank with a strong European base. We interviewed 17 people with different roles and from different departments within the organization. We have found that the following stages have been overlooked by previous lifecycle models data collection, feasibility study, documentation, model monitoring, and model risk assessment. Our work shows that the real challenges of applying Machine Learning go much beyond sophisticated learning algorithms more focus is needed on the entire lifecycle. In particular, regardless of the existing development tools for Machine Learning, we observe that they are still not meeting the particularities of this field.


Unknotting with a single twist. Given a knot in the three sphere, is it possible to unknot it by performing a single twist, and if so, what are the possible linking numbers of such a twist? We develop obstructions to unknotting using a twist of a specified linking number. The obstructions we describe are built using classical knot invariants, Casson Gordon invariants, and Heegaard Floer theory.


Prescribed k symmetric curvature hypersurfaces in de Sitter space. We prove existence of compact spacelike hypersurfaces with prescribed k curvature in de Sitter space, where the prescription function depends on both space and the tilt function.


A remark on thickness of free by cyclic groups. Let F be a free group of positive, finite rank and let Phi in Aut(F) be a polynomial growth automorphism. Then F rtimes Phi mathbb Z is strongly thick of order eta , where eta is the rate of polynomial growth of phi . This fact is implicit in work of Macura, but her work predates the notion of thickness. Therefore, in this note, we make the relationship between polynomial growth and thickness explicit. Our result combines with a result independently due to Dahmani Li, Gautero Lustig, and Ghosh to show that free by cyclic groups admit relatively hyperbolic structures with thick peripheral subgroups.


Review on Biophysical Modelling and Simulation Studies for Transcranial Magnetic Stimulation. Transcranial magnetic stimulation (TMS) is a technique for noninvasively stimulating a brain area for therapeutic, rehabilitation treatments and neuroscience research. Despite our understanding of the physical principles and experimental developments pertaining to TMS, it is difficult to identify the exact brain target as the generated dosage exhibits a non uniform distribution owing to the complicated and subject dependent brain anatomy and the lack of biomarkers that can quantify the effects of TMS in most cortical areas. Computational dosimetry has progressed significantly and enables TMS assessment by computation of the induced electric field (the primary physical agent known to activate the brain neurons) in a digital representation of the human head. In this review, TMS dosimetry studies are summarised, clarifying the importance of the anatomical and human biophysical parameters and computational methods. This review shows that there is a high consensus on the importance of a detailed cortical folding representation and an accurate modelling of the surrounding cerebrospinal fluid. Recent studies have also enabled the prediction of individually optimised stimulation based on magnetic resonance imaging of the patient subject and have attempted to understand the temporal effects of TMS at the cellular level by incorporating neural modelling. These efforts, together with the fast deployment of personalised TMS computations, will permit the adoption of TMS dosimetry as a standard procedure in clinical procedures.


Quantitative non divergence and lower bounds for points with algebraic coordinates near manifolds. Point counting estimates are a key stepping stone to various results in metric Diophantine approximation. In this paper we use the quantitative non divergence estimates originally developed by Kleinbock and Margulis to improve lower bounds by Bernik, G " o tze et al. for the number of points with algebraic conjugate coordinates close to a given manifold. In the process, we also improve on a Khinchin Groshev type theorem for a problem of constrained approximation by polynomials.


Ternary and Quaternary Curves of Small Fixed Genus and Gonality with Many Rational Points. We extend the computations from our previous paper arXiv 2005.07054 to determine the maximum number of rational points on a curve over mathbb F 3 and mathbb F 4 with fixed gonality and small genus. We find, for example, that there is no curve of genus 5 and gonality 6 over a finite field. We propose two conjectures based on our data. First, an optimal curve of genus g has gonality at most lfloor frac g 3 2 rfloor . Second, a curve of gonality gamma and large genus over mathbb F q has gamma(q 1) rational points.


Deep Learning for Image based Automatic Dial Meter Reading Dataset and Baselines. Smart meters enable remote and automatic electricity, water and gas consumption reading and are being widely deployed in developed countries. Nonetheless, there is still a huge number of non smart meters in operation. Image based Automatic Meter Reading (AMR) focuses on dealing with this type of meter readings. We estimate that the Energy Company of Paran 'a (Copel), in Brazil, performs more than 850,000 readings of dial meters per month. Those meters are the focus of this work. Our main contributions are (i) a public real world dial meter dataset (shared upon request) called UFPR ADMR (ii) a deep learning based recognition baseline on the proposed dataset and (iii) a detailed error analysis of the main issues present in AMR for dial meters. To the best of our knowledge, this is the first work to introduce deep learning approaches to multi dial meter reading, and perform experiments on unconstrained images. We achieved a 100.0 F1 score on the dial detection stage with both Faster R CNN and YOLO, while the recognition rates reached 93.6 for dials and 75.25 for meters using Faster R CNN (ResNext 101).


Deep Learning Methods for Credit Card Fraud Detection. Credit card frauds are at an ever increasing rate and have become a major problem in the financial sector. Because of these frauds, card users are hesitant in making purchases and both the merchants and financial institutions bear heavy losses. Some major challenges in credit card frauds involve the availability of public data, high class imbalance in data, changing nature of frauds and the high number of false alarms. Machine learning techniques have been used to detect credit card frauds but no fraud detection systems have been able to offer great efficiency to date. Recent development of deep learning has been applied to solve complex problems in various areas. This paper presents a thorough study of deep learning methods for the credit card fraud detection problem and compare their performance with various machine learning algorithms on three different financial datasets. Experimental results show great performance of the proposed deep learning methods against traditional machine learning models and imply that the proposed approaches can be implemented effectively for real world credit card fraud detection systems.


Quantitative measure equivalence between amenable groups. We initiate a quantitative study of measure equivalence (and orbit equivalence) between finitely generated groups, which extends the classical setting of mathrm L p measure equivalence. In this paper, our main focus will be on amenable groups, for which we prove both rigidity and flexibility results. On the rigidity side, we prove a general monotonicity property satisfied by the isoperimetric profile, which implies in particular its invariance under mathrm L 1 measure equivalence. This yields explicit "lower bounds" on how integrable a measure coupling between two amenable groups can be. This result also has an unexpected application to geometric group theory the isoperimetric profile turns out to be monotonous under coarse embedding between amenable groups. This has various applications, among which the existence of an uncountable family of 3 solvable groups which pairwise do not coarsely embed into one another. On the flexibility side, we construct explicit orbit equivalences between amenable groups with prescribed integrability conditions. Our main tool is a new notion of F o lner tiling sequences. We show in a number of instances that the bounds derived from the isoperimetric profile are sharp up to a logarithmic factor. We also deduce from this study that two important quasi isometry invariants are not preserved under mathrm L 1 orbit equivalence the asymptotic dimension and finite presentability.


Scalable In Situ Lagrangian Flow Map Extraction Demonstrating the Viability of a Communication Free Model. We introduce and evaluate a new algorithm for the in situ extraction of Lagrangian flow maps, which we call Boundary Termination Optimization (BTO). Our approach is a communication free model, requiring no message passing or synchronization between processes, improving scalability, thereby reducing overall execution time and alleviating the encumbrance placed on simulation codes from in situ processing. We terminate particle integration at node boundaries and store only a subset of the flow map that would have been extracted by communicating particles across nodes, thus introducing an accuracy performance tradeoff. We run experiments with as many as 2048 GPUs and with multiple simulation data sets. For the experiment configurations we consider, our findings demonstrate that our communication free technique saves as much as 2x to 4x in execution time in situ, while staying nearly as accurate quantitatively and qualitatively as previous work. Most significantly, this study establishes the viability of approaching in situ Lagrangian flow map extraction using communication free models in the future.


Reconstruction in one dimension from unlabeled Euclidean lengths. Let G be a 3 connected graph with n vertices and m edges. Let mathbf p be a randomly chosen mapping of these n vertices to the integer range 1..2 b for b ge m 2 . Let mathbf l be the vector of m Euclidean lengths of G 's edges under mathbf p . In this paper, we show that, WHP over mathbf p , we can efficiently reconstruct both G and mathbf p from mathbf l . In contrast to this average case complexity, this reconstruction problem is NP HARD in the worst case. In fact, even the labeled version of this problem (reconstructing mathbf p given both G and mathbf l ) is NP HARD. We also show that our results stand in the presence of small amounts of error in mathbf l , and in the real setting with approximate length measurements. Our method is based on older ideas that apply lattice reduction to solve certain SUBSET SUM problems, WHP. We also rely on an algorithm of Seymour that can efficiently reconstruct a graph given an independence oracle for its matroid.


Signatures of Witt spaces with boundary. Let M be a compact smoothly stratified pseudomanifold with boundary, satisfying the Witt assumption. In this paper we introduce the de Rham signature and the Hodge signature of M, and prove their equality. Next, building also on recent work of Albin and Gell Redman, we extend the Atiyah Patodi Singer index theory established in our previous work under the hypothesis that M has stratification depth 1 to the general case, establishing in particular a signature formula on Witt spaces with boundary. In a parallel way we also pass to the case of a Galois covering M' of M with Galois group Gamma. Employing von Neumann algebras we introduce the de Rham Gamma signature and the Hodge Gamma signature and prove their equality, thus extending to Witt spaces a result proved by Lueck and Schick in the smooth case. Finally, extending work of Vaillant in the smooth case, we establish a formula for the Hodge Gamma signature. As a consequence we deduce the fundamental result that equates the Cheeger Gromov rho invariant of the boundary of M' with the difference of the signatures of M and M'. We end the paper with two geometric applications of our results.


Continuous window functions for NFFT. In this paper, we study the error behavior of the nonequispaced fast Fourier transform (NFFT). This approximate algorithm is mainly based on the convenient choice of a compactly supported window function. Here we consider the continuous Kaiser Bessel, continuous exp type, sinh type, and continuous cosh type window functions with the same support and same shape parameter. We present novel explicit error estimates for NFFT with such a window function and derive rules for the optimal choice of the parameters involved in NFFT. The error constant of a window function depends mainly on the oversampling factor and the truncation parameter. For the considered continuous window functions, the error constants have an exponential decay with respect to the truncation parameter.


Social Science Guided Feature Engineering A Novel Approach to Signed Link Analysis. Many real world relations can be represented by signed networks with positive links (e.g., friendships and trust) and negative links (e.g., foes and distrust). Link prediction helps advance tasks in social network analysis such as recommendation systems. Most existing work on link analysis focuses on unsigned social networks. The existence of negative links piques research interests in investigating whether properties and principles of signed networks differ from those of unsigned networks, and mandates dedicated efforts on link analysis for signed social networks. Recent findings suggest that properties of signed networks substantially differ from those of unsigned networks and negative links can be of significant help in signed link analysis in complementary ways. In this article, we center our discussion on a challenging problem of signed link analysis. Signed link analysis faces the problem of data sparsity, i.e. only a small percentage of signed links are given. This problem can even get worse when negative links are much sparser than positive ones as users are inclined more towards positive disposition rather than negative. We investigate how we can take advantage of other sources of information for signed link analysis. This research is mainly guided by three social science theories, Emotional Information, Diffusion of Innovations, and Individual Personality. Guided by these, we extract three categories of related features and leverage them for signed link analysis. Experiments show the significance of the features gleaned from social theories for signed link prediction and addressing the data sparsity challenge.


Addressing the Lack of Comparability Testing in CAN Intrusion Detection Research A Comprehensive Guide to CAN IDS Data Introduction of the ROAD Dataset. Although ubiquitous in modern vehicles, Controller Area Networks (CANs) lack basic security properties and are easily exploitable. A rapidly growing field of CAN security research has emerged that seeks to detect intrusions on CANs. Producing vehicular CAN data with a variety of intrusions is out of reach for most researchers as it requires expensive assets and expertise. To assist researchers, we present the first comprehensive guide to the existing open CAN intrusion datasets, including a quality analysis of each dataset and an enumeration of each's benefits, drawbacks, and suggested use case. Current public CAN IDS datasets are limited to real fabrication (simple message injection) attacks and simulated attacks often in synthetic data, which lack fidelity. In general, the physical effects of attacks on the vehicle are not verified in the available datasets. Only one dataset provides signal translated data but not a corresponding raw binary version. Overall, the available data pigeon holes CAN IDS works into testing on limited, often inappropriate data (usually with attacks that are too easily detectable to truly test the method), and this lack data has stymied comparability and reproducibility of results. As our primary contribution, we present the ROAD (Real ORNL Automotive Dynamometer) CAN Intrusion Dataset, consisting of over 3.5 hours of one vehicle's CAN data. ROAD contains ambient data recorded during a diverse set of activities, and attacks of increasing stealth with multiple variants and instances of real fuzzing, fabrication, and unique advanced attacks, as well as simulated masquerade attacks. To facilitate benchmarking CAN IDS methods that require signal translated inputs, we also provide the signal time series format for many of the CAN captures. Our contributions aim to facilitate appropriate benchmarking and needed comparability in the CAN IDS field.


A Scale and Rotational Invariant Key point Detector based on Sparse Coding. Most popular hand crafted key point detectors such as Harris corner, SIFT, SURF aim to detect corners, blobs, junctions or other human defined structures in images. Though being robust with some geometric transformations, unintended scenarios or non uniform lighting variations could significantly degrade their performance. Hence, a new detector that is flexible with context change and simultaneously robust with both geometric and non uniform illumination variations is very desirable. In this paper, we propose a solution to this challenging problem by incorporating Scale and Rotation Invariant design (named SRI SCK) into a recently developed Sparse Coding based Key point detector (SCK). The SCK detector is flexible in different scenarios and fully invariant to affine intensity change, yet it is not designed to handle images with drastic scale and rotation changes. In SRI SCK, the scale invariance is implemented with an image pyramid technique while the rotation invariance is realized by combining multiple rotated versions of the dictionary used in the sparse coding step of SCK. Techniques for calculation of key points' characteristic scales and their sub pixel accuracy positions are also proposed. Experimental results on three public datasets demonstrate that significantly high repeatability and matching score are achieved.


Domain Decluttering Simplifying Images to Mitigate Synthetic Real Domain Shift and Improve Depth Estimation. Leveraging synthetically rendered data offers great potential to improve monocular depth estimation and other geometric estimation tasks, but closing the synthetic real domain gap is a non trivial and important task. While much recent work has focused on unsupervised domain adaptation, we consider a more realistic scenario where a large amount of synthetic training data is supplemented by a small set of real images with ground truth. In this setting, we find that existing domain translation approaches are difficult to train and offer little advantage over simple baselines that use a mix of real and synthetic data. A key failure mode is that real world images contain novel objects and clutter not present in synthetic training. This high level domain shift isn't handled by existing image translation models. Based on these observations, we develop an attention module that learns to identify and remove difficult out of domain regions in real images in order to improve depth prediction for a model trained primarily on synthetic data. We carry out extensive experiments to validate our attend remove complete approach (ARC) and find that it significantly outperforms state of the art domain adaptation methods for depth prediction. Visualizing the removed regions provides interpretable insights into the synthetic real domain gap.


Social Centralization and Semantic Collapse Hyperbolic Embeddings of Networks and Text. Modern advances in transportation and communication technology from airplanes to the internet alongside global expansions of media, migration, and trade have made the modern world more connected than ever before. But what does this bode for the convergence of global culture? Here we explore the relationship between centralization in social networks and contraction or collapse in the diversity of semantic expressions such as ideas, opinions, and tastes. We advance formal examination of this relationship by introducing new methods of manifold learning that allow us to map social networks and semantic combinations into comparable hyperbolic spaces. Hyperbolic representations natively represent both hierarchy and diversity within a system. We illustrate this method by examining the relationship between social centralization and semantic diversity within 21st Century physics, empirically demonstrating how dense, centralized collaboration is associated with a reduction in the space of ideas and how these patterns generalize to all modern scholarship and science. We discuss the complex of causes underlying this association, and theorize the dynamic interplay between structural centralization and semantic contraction, arguing that it introduces an essential tension between the supply and demand of difference.


Photorealistic Style Transfer via Wavelet Transforms. Recent style transfer models have provided promising artistic results. However, given a photograph as a reference style, existing methods are limited by spatial distortions or unrealistic artifacts, which should not happen in real photographs. We introduce a theoretically sound correction to the network architecture that remarkably enhances photorealism and faithfully transfers the style. The key ingredient of our method is wavelet transforms that naturally fits in deep networks. We propose a wavelet corrected transfer based on whitening and coloring transforms (WCT 2 ) that allows features to preserve their structural information and statistical properties of VGG feature space during stylization. This is the first and the only end to end model that can stylize a 1024 times1024 resolution image in 4.7 seconds, giving a pleasing and photorealistic quality without any post processing. Last but not least, our model provides a stable video stylization without temporal constraints. Our code, generated images, and pre trained models are all available at https github.com ClovaAI WCT2.


Hiding Communications in AWGN Channels and THz Band with Interference Uncertainty. Covert communication can prevent an adversary from knowing that a wireless transmission has occurred. In additive white Gaussian noise (AWGN) channels, a square root law is found that Alice can reliably and covertly transmit mathcal O ( sqrt n ) bits to Bob in n channel uses. In this paper, we consider covert communications in noisy wireless networks, where the receivers not only experience the background noise, but also the aggregate interference from other transmitters. Our results show that uncertainty in interference experienced by the adversary Willie is beneficial to Alice. In AWGN channels, when the distance between Alice and Willie d a,w omega(n 1 (2 alpha) ) ( alpha is the path loss exponent), Alice can reliably and covertly transmit mathcal O ( log 2 sqrt n ) bits to Bob in n channel uses. Although the covert throughput is lower than the square root law, the spatial throughput is higher. In THz (Terahertz) Band networks,covert communication is more difficult because Willie can simply place a receiver in the narrow beam between Alice and Bob to detect or block their LOS (Line of Sight) communications. We then present a covert communication scheme that utilizes the reflection or diffuse scattering from a rough surface to prevent being detected by Willie. From the network perspective, the communications are hidden in the interference of noisy wireless networks, and what Willie sees is merely a "shadow" wireless network.


A simulation of a COVID 19 epidemic based on a deterministic SEIR model. An epidemic disease caused by a new coronavirus has spread in Northern Italy with a strong contagion rate. We implement an SEIR model to compute the infected population and number of casualties of this epidemic. The example may ideally regard the situation in the Italian Region of Lombardy, where the epidemic started on February 25. We calibrate the model with the number of dead individuals to date (May 5, 2020) and constraint the parameters on the basis of values reported in the literature. The peak occurs at day 37 (March 31) approximately, when there is a rapid decrease, with a reproduction ratio R0 3 initially, 1.36 at day 22 and 0.8 after day 35, indicating different degrees of lockdown. The predicted death toll is approximately 15600 casualties, with 2.7 million infected individuals at the end of the epidemic. The incubation period providing a better fit of the dead individuals is 4.25 days and the infection period is 4 days, with a fatality rate of 0.00144 day values based on the reported (official) number of casualties . The infection fatality rate (IFR) is 0.57 , and 2.36 if twice the reported number of casualties is assumed. However, these rates depend on the initially exposed individuals. If approximately nine times more individuals are exposed, there are three times more infected people at the end of the epidemic and IFR 0.47 . If we relax these constraints and use a wider range of lower and upper bounds for the incubation and infection periods, we observe that a higher incubation period (13 versus 4.25 days) gives the same IFR (0.6 versus 0.57 ), but nine times more exposed individuals in the first case. Therefore, a precise determination of the fatality rate is subject to the knowledge of the characteristics of the epidemic.


Sketch Inspector a Deep Mixture Model for High Quality Sketch Generation of Cats. With the involvement of artificial intelligence (AI), sketches can be automatically generated under certain topics. Even though breakthroughs have been made in previous studies in this area, a relatively high proportion of the generated figures are too abstract to recognize, which illustrates that AIs fail to learn the general pattern of the target object when drawing. This paper posits that supervising the process of stroke generation can lead to a more accurate sketch interpretation. Based on that, a sketch generating system with an assistant convolutional neural network (CNN) predictor to suggest the shape of the next stroke is presented in this paper. In addition, a CNN based discriminator is introduced to judge the recognizability of the end product. Since the base line model is ineffective at generating multi class sketches, we restrict the model to produce one category. Because the image of a cat is easy to identify, we consider cat sketches selected from the QuickDraw data set. This paper compares the proposed model with the original Sketch RNN on 75K human drawn cat sketches. The result indicates that our model produces sketches with higher quality than human's sketches.


Curvas de contato no espa c c o projetivo. The odd dimensional projective space mathbb P 2n 1 admits a contact structure arising from a non integrable distribution of hyperplanes determined by a symplectic form in mathbb C 2n . Our object of interest is the set of rational curves of degree d which are tangent to that contact distribution in mathbb P 3 . Such curves are called contact curves or legendrian curves. To explore the geometry of contact curves, we construct the parameter space mathcal L d using Kontsevich's stable maps, overline mathcal M 0,0 ( mathbb P 3,d) , endowed with the structure of algebraic stack. The intersection theory on stacks allows us to define in that space the virtual invariant N d , associated with the number of degree d contact curves incident to 2d 1 lines. Using graph combinatorics and partitions originated from Bott's localization formula, we determine a general formula for N d . We explicitly calculate it for contact curves up to degree 4 confirming the known cases of contact lines and conics and introducing the new numbers for cubics and quartics. Finally, we discuss the enumerative significance of these invariants, still conjectural for d 4 .


Increasing the Security of Weak Passwords the SPARTAN Interface. Password authentication suffers from the well known tradeoff between security and usability. Secure passwords are difficult for users to remember, and memorable passwords are often easy to guess. SPARse Two dimensional AuthenticatioN (SPARTAN) allows users to input their textual passwords in a two dimensional grid instead of a linear textbox. This interface enables relatively short passwords to have a higher calculated level of security due to the need for an attacker to determine both the text of the password and the location of each character in the grid. We created a SPARTAN prototype and conducted a preliminary user study to evaluate the actual usability and security of the SPARTAN interface compared to the linear password entry interface. We find that while user created SPARTAN passwords tend to be shorter than their linear counterparts, the calculated security of user created SPARTAN passwords is higher than that of user created linear passwords. We also asked participants to complete a survey on the usability of the SPARTAN interface and identified some areas of improvement, while prototype interaction provided evidence of users becoming more familiar with SPARTAN over time. Finally, we performed an investigation into password cracking tools, and assert that SPARTAN passwords require more resources to crack than their linear counterparts. These findings suggest that SPARTAN is a promising alternative to linear passwords from a security standpoint. Usability of the interface and memorability of SPARTAN passwords is an interesting research question and should be further investigated in future work.


Explicit isomorphisms of quaternion algebras over quadratic global fields. Let L be a separable quadratic extension of either mathbb Q or mathbb F q(t) . We propose efficient algorithms for finding isomorphisms between quaternion algebras over L . Our techniques are based on computing maximal one sided ideals of the corestriction of a central simple L algebra.


On the structure of invertible elements in certain Fourier Stieltjes algebras. For a locally compact abelian group G , J. L. Taylor (1971) gave a complete characterization of invertible elements in the measure algebra M(G) . Using the Fourier Stieltjes transform, this characterization can be carried out in the context of Fourier Stieltjes algebras B(G) . We obtain this latter characterization for the Fourier Stieltjes algebra B(G) of certain classes of locally compact groups, in particular, many totally minimal groups and the ax b group.


Polynomial approximation avoiding values in countable sets. We generalize a version of Lavrent 'ev's theorem which says that a function that is continuous on a compact set K with connected complement and without interior points can be uniformly approximated as closely as desired by a polynomial without zeros on the set K, so that the polynomial can avoid values from any given countable set. We also prove a corresponding version of Mergelyan's theorem when the interior of K is a finite union of Jordan domains, pairwise separated by a positive distance.


Spectrum and Analytic Functional Calculus in Real and Quaternionic Frameworks. We present an approach to the spectrum and analytic functional calculus for quaternionic linear operators, following the corresponding results concerning the real linear operators. In fact, the construction of the analytic functional calculus for real linear operators can be refined to get a similar construction for quaternionic linear ones, in a classical manner, using a Riesz Dunford Gelfand type kernel, and considering spectra in the complex plane. A quaternionic joint spectrum for pairs of operators is also discussed, and an analytic functional calculus is constructed, via a Martinelli type kernel in two variables.


Modular operads and the nerve theorem. We describe a category of undirected graphs which comes equipped with a faithful functor into the category of (colored) modular operads. The associated singular functor from modular operads to presheaves is fully faithful, and its essential image can be classified by a Segal condition. This theorem can be used to recover a related statement, due to Andr 'e Joyal and Joachim Kock, concerning a larger category of undirected graphs whose functor to modular operads is not just faithful but also full.


Evaluating data flow coverage in spectrum based fault localization. Background Debugging is a key task during the software development cycle. Spectrum based Fault Localization (SFL) is a promising technique to improve and automate debugging. SFL techniques use control flow spectra to pinpoint the most suspicious program elements. However, data flow spectra provide more detailed information about the program execution, which may be useful for fault localization. Aims We evaluate the effectiveness and efficiency of ten SFL ranking metrics using data flow spectra. Method We compare the performance of data and control flow spectra for SFL using 163 faults from 5 real world open source programs, which contain from 468 to 4130 test cases. The data and control flow spectra types used in our evaluation are definition use associations (DUAs) and lines, respectively. Results Using data flow spectra, up to 50 more faults are ranked in the top 15 positions compared to control flow spectra. Also, most SFL ranking metrics present better effectiveness using data flow to inspect up to the top 40 positions. The execution cost of data flow spectra is higher than control flow, taking from 22 seconds to less than 9 minutes. Data flow has an average overhead of 353 for all programs, while the average overhead for control flow is of 102 . Conclusions The results suggest that SFL techniques can benefit from using data flow spectra to classify faults in better positions, which may lead developers to inspect less code to find bugs. The execution cost to gather data flow is higher compared to control flow, but it is not prohibitive. Moreover, data flow spectra also provide information about suspicious variables for fault localization, which may improve the developers' performance using SFL.


Image Manipulation with Natural Language using Two sidedAttentive Conditional Generative Adversarial Network. Altering the content of an image with photo editing tools is a tedious task for an inexperienced user. Especially, when modifying the visual attributes of a specific object in an image without affecting other constituents such as background etc. To simplify the process of image manipulation and to provide more control to users, it is better to utilize a simpler interface like natural language. Therefore, in this paper, we address the challenge of manipulating images using natural language description. We propose the Two sidEd Attentive conditional Generative Adversarial Network (TEA cGAN) to generate semantically manipulated images while preserving other contents such as background intact. TEA cGAN uses fine grained attention both in the generator and discriminator of Generative Adversarial Network (GAN) based framework at different scales. Experimental results show that TEA cGAN which generates 128x128 and 256x256 resolution images outperforms existing methods on CUB and Oxford 102 datasets both quantitatively and qualitatively.


A High Performance Energy Management System based on Evolving Graph. As the fast growth and large integration of distributed generation, renewable energy resource, energy storage system and load response, the modern power system operation becomes much more complicated with increasing uncertainties and frequent changes. Increased operation risks are introduced to the existing commercial Energy Management System (EMS), due to its limited computational capability. In this paper, a high performance EMS analysis framework based on the evolving graph is developed. A power grid is first modeled as an evolving graph and then the power system dynamic analysis applications, like network topology processing (NTP), state estimation (SE), power flow (PF), and contingency analysis (CA), are efficiently implemented on the system evolving graph to build a high performance EMS analysis framework. Its computation performance is field tested using a 2749 bus power system in Sichuan, China. The results illustrate that the proposed EMS remarkably speeds up the computation performance and reaches the goal of real time power system analysis.


The Largest Contained Quadrilateral and the Smallest Enclosing Parallelogram of a Convex Polygon. We present a linear time algorithm for finding the quadrilateral of largest area contained in a convex polygon, and we show that it is closely related to an old algorithm for the smallest enclosing parallelogram of a convex polygon.


Coloring triangle free L graphs with O( log log n) colors. It is proved that triangle free intersection graphs of n L shapes in the plane have chromatic number O( log log n) . This improves the previous bound of O( log n) (McGuinness, 1996) and matches the known lower bound construction (Pawlik et al., 2013).


Local and global stability analysis of a Curzon Ahlborn model applied to power plants working at maximum k efficient power. The analysis of the effect of noisy perturbations on real heat engines, working on any steady state regime has been a topic of interest within the context of Finite Time Thermodynamics (FTT). The study of their local stability has been proposed through the so called performance regimes maximum power output, maximum ecological function, among others. Recently, the global stability analysis of an endoreversible heat engine was also studied taking into account the same performance regimes. We present a study of local and global stability analysis of power plant models (the Curzon Ahlborn model) operating on a generalized efficient power regime called maximum k efficient power. We apply the Lyapunov stability theory to construct the Lyapunov functions to prove the asymptotically stable behavior of the steady state of intermediate temperatures in the Curzon Ahlborn model. We consider the effect of a linear heat transfer law on the phase portrait description of real power plants, as well as the role of the k parameter in the evolution of perturbations to heat flow. In general, restructured operation conditions show better stability in external perturbations.


DGCM Net Dense Geometrical Correspondence Matching Network for Incremental Experience based Robotic Grasping. This article presents a method for grasping novel objects by learning from experience. Successful attempts are remembered and then used to guide future grasps such that more reliable grasping is achieved over time. To generalise the learned experience to unseen objects, we introduce the dense geometric correspondence matching network (DGCM Net). This applies metric learning to encode objects with similar geometry nearby in feature space. Retrieving relevant experience for an unseen object is thus a nearest neighbour search with the encoded feature maps. DGCM Net also reconstructs 3D 3D correspondences using the view dependent normalised object coordinate space to transform grasp configurations from retrieved samples to unseen objects. In comparison to baseline methods, our approach achieves an equivalent grasp success rate. However, the baselines are significantly improved when fusing the knowledge from experience with their grasp proposal strategy. Offline experiments with a grasping dataset highlight the capability to generalise within and between object classes as well as to improve success rate over time from increasing experience. Lastly, by learning task relevant grasps, our approach can prioritise grasps that enable the functional use of objects.


Families of Gr "obner Degenerations, Grassmannians and Universal Cluster Algebras. Let V be the weighted projective variety defined by a weighted homogeneous ideal J and C a maximal cone in the Gr "obner fan of J with m rays. We construct a flat family over mathbb A m that assembles the Gr "obner degenerations of V associated with all faces of C . This is a multi parameter generalization of the classical one parameter Gr "obner degeneration associated to a weight. We explain how our family can be constructed from Kaveh Manon's recent work on the classification of toric flat families over toric varieties it is the pull back of a toric family defined by a Rees algebra with base X C (the toric variety associated to C ) along the universal torsor mathbb A m to X C . We apply this construction to the Grassmannians rm Gr (2, mathbb C n) with their Pl "ucker embeddings and the Grassmannian rm Gr big(3, mathbb C 6 big) with its cluster embedding. In each case, there exists a unique maximal Gr "obner cone whose associated initial ideal is the Stanley Reisner ideal of the cluster complex. We show that the corresponding cluster algebra with universal coefficients arises as the algebra defining the flat family associated to this cone. Further, for rm Gr (2, mathbb C n) we show how Escobar Harada's mutation of Newton Okounkov bodies can be recovered as tropicalized cluster mutation.


Linearly Converging Quasi Branch and Bound Algorithms for Global Rigid Registration. In recent years, several branch and bound (BnB) algorithms have been proposed to globally optimize rigid registration problems. In this paper, we suggest a general framework to improve upon the BnB approach, which we name Quasi BnB. Quasi BnB replaces the linear lower bounds used in BnB algorithms with quadratic quasi lower bounds which are based on the quadratic behavior of the energy in the vicinity of the global minimum. While quasi lower bounds are not truly lower bounds, the Quasi BnB algorithm is globally optimal. In fact we prove that it exhibits linear convergence it achieves epsilon accuracy in O( log(1 epsilon)) time while the time complexity of other rigid registration BnB algorithms is polynomial in 1 epsilon . Our experiments verify that Quasi BnB is significantly more efficient than state of the art BnB algorithms, especially for problems where high accuracy is desired.


Minimizing Convex Functions with Integral Minimizers. Given a separation oracle mathsf SO for a convex function f that has an integral minimizer inside a box with radius R , we show how to find an exact minimizer of f using at most (a) O(n (n log(R))) calls to mathsf SO and mathsf poly (n, log(R)) arithmetic operations, or (b) O(n log(nR)) calls to mathsf SO and exp(n) cdot mathsf poly ( log(R)) arithmetic operations. When the set of minimizers of f has integral extreme points, our algorithm outputs an integral minimizer of f . This improves upon the previously best oracle complexity of O(n 2 (n log(R))) for polynomial time algorithms obtained by Gr "otschel, Lov 'asz and Schrijver, Prog. Comb. Opt. 1984, Springer 1988 over thirty years ago. For the Submodular Function Minimization problem, our result immediately implies a strongly polynomial algorithm that makes at most O(n 3) calls to an evaluation oracle, and an exponential time algorithm that makes at most O(n 2 log(n)) calls to an evaluation oracle. These improve upon the previously best O(n 3 log 2(n)) oracle complexity for strongly polynomial algorithms given in Lee, Sidford and Wong, FOCS 2015 and Dadush, V 'egh and Zambelli, SODA 2018 , and an exponential time algorithm with oracle complexity O(n 3 log(n)) given in the former work. Our result is achieved via a reduction to the Shortest Vector Problem in lattices. We show how an approximately shortest vector of certain lattice can be used to effectively reduce the dimension of the problem. Our analysis of the oracle complexity is based on a potential function that captures simultaneously the size of the search set and the density of the lattice, which we analyze via technical tools from convex geometry.


Enabling Open World Specification Mining via Unsupervised Learning. Many programming tasks require using both domain specific code and well established patterns (such as routines concerned with file IO). Together, several small patterns combine to create complex interactions. This compounding effect, mixed with domain specific idiosyncrasies, creates a challenging environment for fully automatic specification inference. Mining specifications in this environment, without the aid of rule templates, user directed feedback, or predefined API surfaces, is a major challenge. We call this challenge Open World Specification Mining. In this paper, we present a framework for mining specifications and usage patterns in an Open World setting. We design this framework to be miner agnostic and instead focus on disentangling complex and noisy API interactions. To evaluate our framework, we introduce a benchmark of 71 clusters extracted from five open source projects. Using this dataset, we show that interesting clusters can be recovered, in a fully automatic way, by leveraging unsupervised learning in the form of word embeddings. Once clusters have been recovered, the challenge of Open World Specification Mining is simplified and any trace based mining technique can be applied. In addition, we provide a comprehensive evaluation of three word vector learners to showcase the value of sub word information for embeddings learned in the software engineering domain.


Metabolic response to point mutations reveals principles of modulation of in vivo enzyme activity and phenotype. The relationship between sequence variation and phenotype is poorly understood. Here we use metabolomic analysis to elucidate the molecular mechanism underlying the filamentous phenotype of E. coli strains that carry destabilizing mutations in the Dihydrofolate Reductase (DHFR). We find that partial loss of DHFR activity causes SOS response indicative of DNA damage and cell filamentation. This phenotype is triggered by an imbalance in deoxy nucleotide levels, most prominently a disproportionate drop in the intracellular dTTP. We show that a highly cooperative (Hill coefficient 2.5) in vivo activity of Thymidylate Kinase (Tmk), a downstream enzyme that phosphorylates dTMP to dTDP, is the cause of suboptimal dTTP levels. dTMP supplementation in the media rescues filamentation and restores in vivo Tmk kinetics to almost perfect Michaelis Menten, like its kinetics in vitro. Overall, this study highlights the important role of cellular environment in sculpting enzymatic kinetics with system level implications for bacterial phenotype.


Learning to Match Jobs with Resumes from Sparse Interaction Data using Multi View Co Teaching Network. With the ever increasing growth of online recruitment data, job resume matching has become an important task to automatically match jobs with suitable resumes. This task is typically casted as a supervised text matching problem. Supervised learning is powerful when the labeled data is sufficient. However, on online recruitment platforms, job resume interaction data is sparse and noisy, which affects the performance of job resume match algorithms. To alleviate these problems, in this paper, we propose a novel multi view co teaching network from sparse interaction data for job resume matching. Our network consists of two major components, namely text based matching model and relation based matching model. The two parts capture semantic compatibility in two different views, and complement each other. In order to address the challenges from sparse and noisy data, we design two specific strategies to combine the two components. First, two components share the learned parameters or representations, so that the original representations of each component can be enhanced. More importantly, we adopt a co teaching mechanism to reduce the influence of noise in training data. The core idea is to let the two components help each other by selecting more reliable training instances. The two strategies focus on representation enhancement and data enhancement, respectively. Compared with pure text based matching models, the proposed approach is able to learn better data representations from limited or even sparse interaction data, which is more resistible to noise in training data. Experiment results have demonstrated that our model is able to outperform state of the art methods for job resume matching.


Intrinsic and Dual Volume Deviations of Convex Bodies and Polytopes. We establish estimates for the asymptotic best approximation of the Euclidean unit ball by polytopes under a notion of distance induced by the intrinsic volumes. We also introduce a notion of distance between convex bodies that is induced by the Wills functional, and apply it to derive asymptotically sharp bounds for approximating the ball in high dimensions. Remarkably, it turns out that there is a polytope which is almost optimal with respect to all intrinsic volumes simultaneously, up to absolute constants. Finally, we establish asymptotic formulas for the best approximation of smooth convex bodies by polytopes with respect to a distance induced by dual volumes, which originate from Lutwak's dual Brunn Minkowski theory.


Impact of Geo distribution and Mining Pools on Blockchains A Study of Ethereum. Given the large adoption and economical impact of permissionless blockchains, the complexity of the underlying systems and the adversarial environment in which they operate, it is fundamental to properly study and understand the emergent behavior and properties of these systems. We describe our experience on a detailed, one month study of the Ethereum network from several geographically dispersed observation points. We leverage multiple geographic vantage points to assess the key pillars of Ethereum, namely geographical dispersion, network efficiency, blockchain efficiency and security, and the impact of mining pools. Among other new findings, we identify previously undocumented forms of selfish behavior and show that the prevalence of powerful mining pools exacerbates the geographical impact on block propagation delays. Furthermore, we provide a set of open measurement and processing tools, as well as the data set of the collected measurements, in order to promote further research on understanding permissionless blockchains.


Efficient Fault Injection based on Dynamic HDL Slicing Technique. This work proposes a fault injection methodology where Hardware Description Language (HDL) code slicing is exploited to prune fault injection locations, thus enabling more efficient campaigns for safety mechanisms evaluation. In particular, the dynamic HDL slicing technique provides for a highly collapsed critical fault list and allows avoiding injections at redundant locations or time steps. Experimental results show that the proposed methodology integrated into commercial tool flow doubles the simulation speed when comparing to the state of the art industrial grade EDA tool flows.


The Mean Curvature of Special Lagrangian 3 folds in SU(3) Structures with Torsion. We derive formulas for the mean curvature of special Lagrangian 3 folds in the general case where the ambient 6 manifold has intrinsic torsion. Consequently, we are able to characterize those SU(3) structures for which every special Lagrangian 3 fold is a minimal submanifold. In the process, we obtain an obstruction to the local existence of special Lagrangian 3 folds.


Stability for coupled waves with locally disturbed Kelvin Voigt damping. We consider a coupled wave system with partial Kelvin Voigt damping in the interval ( 1,1), where one wave is dissipative and the other does not. When the damping is effective in the whole domain ( 1,1) it was proven in H.Portillo Oquendo and P.Sanez Pacheco, optimal decay for coupled waves with Kelvin voigt damping, Applied Mathematics Letters 67 (2017), 16 20. That the energy is decreasing over the time with a rate equal to t frac 1 2 . In this paper, using the frequency domain method we show the effect of the coupling and the non smoothness of the damping coefficient on the energy decay. Actually, as expected we show the lack of exponential stability, that the semigroup loses speed and it decays polynomially with a slower rate then given in, H.Portillo Oquendo and P.Sanez Pacheco, optimal decay for coupled waves with Kelvin voigt damping, Applied Mathematics Letters 67 (2017), 16 20, down to zero at least as t frac 1 12 .


Offloading Deadline Constrained Cellular Traffic. In this work we study the problem of hard deadline constrained data offloading in cellular networks. A single Base Station (BS) single frequency channel downlink system is studied where users request the same packet from the BS at the beginning of each time slot. Packets have a hard deadline of one time slot. The slot is divided into two phases. Out of those users having high channel gain allowing them to decode the packet in the first phase, one is chosen to rebroadcast it to the remaining users in the second phase. This gives the remaining users a second opportunity to potentially decode this packet before the deadline passes. By this, the BS has offloaded the packet to a local network of users' which eliminates unnecessary BS retransmissions. The problem is modeled as a rate adaptation and scheduling optimization problem to maximize the duration of this second phase such that each user receives a certain percentage of the packets. We show that the proposed algorithm has a polynomial complexity in the number of users with optimal performance.


Iteration of functions and contractibility of acyclic 2 complexes. We show that there can be no algorithm to decide whether infinite recursively described acyclic aspherical 2 complexes are contractible. We construct such a complex that is contractible if and only if the Collatz conjecture holds.


Improved object recognition using neural networks trained to mimic the brain's statistical properties. The current state of the art object recognition algorithms, deep convolutional neural networks (DCNNs), are inspired by the architecture of the mammalian visual system, and are capable of human level performance on many tasks. However, even these algorithms make errors. As they are trained for object recognition tasks, it has been shown that DCNNs develop hidden representations that resemble those observed in the mammalian visual system. Moreover, DCNNs trained on object recognition tasks are currently among the best models we have of the mammalian visual system. This led us to hypothesize that teaching DCNNs to achieve even more brain like representations could improve their performance. To test this, we trained DCNNs on a composite task, wherein networks were trained to a) classify images of objects while b) having intermediate representations that resemble those observed in neural recordings from monkey visual cortex. Compared with DCNNs trained purely for object categorization, DCNNs trained on the composite task had better object recognition performance and are more robust to label corruption. Interestingly, we also found that neural data was not required, but randomized data with the same statistics as neural data also boosted performance. Our results outline a new way to train object recognition networks, using strategies in which the brain or at least the statistical properties of its activation patterns serves as a teacher signal for training DCNNs.


Markov Decision Processes with Recursive Risk Measures. In this paper, we consider risk sensitive Markov Decision Processes (MDPs) with Borel state and action spaces and unbounded cost under both finite and infinite planning horizons. Our optimality criterion is based on the recursive application of static risk measures. This is motivated by recursive utilities in the economic literature, has been studied before for the entropic risk measure and is extended here to an axiomatic characterization of suitable risk measures. We derive a Bellman equation and prove the existence of Markovian optimal policies. For an infinite planning horizon, the model is shown to be contractive and the optimal policy to be stationary. Moreover, we establish a connection to distributionally robust MDPs, which provides a global interpretation of the recursively defined objective function. Monotone models are studied in particular.


Multi Target Embodied Question Answering. Embodied Question Answering (EQA) is a relatively new task where an agent is asked to answer questions about its environment from egocentric perception. EQA makes the fundamental assumption that every question, e.g., "what color is the car?", has exactly one target ("car") being inquired about. This assumption puts a direct limitation on the abilities of the agent. We present a generalization of EQA Multi Target EQA (MT EQA). Specifically, we study questions that have multiple targets in them, such as "Is the dresser in the bedroom bigger than the oven in the kitchen?", where the agent has to navigate to multiple locations ("dresser in bedroom", "oven in kitchen") and perform comparative reasoning ("dresser" bigger than "oven") before it can answer a question. Such questions require the development of entirely new modules or components in the agent. To address this, we propose a modular architecture composed of a program generator, a controller, a navigator, and a VQA module. The program generator converts the given question into sequential executable sub programs the navigator guides the agent to multiple locations pertinent to the navigation related sub programs and the controller learns to select relevant observations along its path. These observations are then fed to the VQA module to predict the answer. We perform detailed analysis for each of the model components and show that our joint model can outperform previous methods and strong baselines by a significant margin.


DeepIris Iris Recognition Using A Deep Learning Approach. Iris recognition has been an active research area during last few decades, because of its wide applications in security, from airports to homeland security border control. Different features and algorithms have been proposed for iris recognition in the past. In this paper, we propose an end to end deep learning framework for iris recognition based on residual convolutional neural network (CNN), which can jointly learn the feature representation and perform recognition. We train our model on a well known iris recognition dataset using only a few training images from each class, and show promising results and improvements over previous approaches. We also present a visualization technique which is able to detect the important areas in iris images which can mostly impact the recognition results. We believe this framework can be widely used for other biometrics recognition tasks, helping to have a more scalable and accurate systems.


Parameterized Complexity of Manipulating Sequential Allocation. The sequential allocation protocol is a simple and popular mechanism to allocate indivisible goods, in which the agents take turns to pick the items according to a predefined sequence. While this protocol is not strategy proof, it has been shown recently that finding a successful manipulation for an agent is an NP hard problem (Aziz et al., 2017). Conversely, it is also known that finding an optimal manipulation can be solved in polynomial time in a few cases if there are only two agents or if the manipulator has a binary or a lexicographic utility function. In this work, we take a parameterized approach to provide several new complexity results on this manipulation problem. More precisely, we give a complete picture of its parameterized complexity w.r.t. the following three parameters the number n of agents, the number mu(a 1) of times the manipulator a 1 picks in the picking sequence, and the maximum range mathtt rg max of an item. This third parameter is a correlation measure on the preference rankings of the agents. In particular, we show that the problem of finding an optimal manipulation can be solved in polynomial time if n or mu(a 1) is a constant, and that it is fixed parameter tractable w.r.t. mathtt rg max and n mu(a 1) . Interestingly enough, we show that w.r.t. the single parameters n and mu(a 1) it is W 1 hard. Moreover, we provide an integer program and a dynamic programming scheme to solve the manipulation problem and we show that a single manipulator can increase the utility of her bundle by a multiplicative factor which is at most 2.


An Ensemble Deep Learning Model for Drug Abuse Detection in Sparse Twitter Sphere. As the problem of drug abuse intensifies in the U.S., many studies that primarily utilize social media data, such as postings on Twitter, to study drug abuse related activities use machine learning as a powerful tool for text classification and filtering. However, given the wide range of topics of Twitter users, tweets related to drug abuse are rare in most of the datasets. This imbalanced data remains a major issue in building effective tweet classifiers, and is especially obvious for studies that include abuse related slang terms. In this study, we approach this problem by designing an ensemble deep learning model that leverages both word level and character level features to classify abuse related tweets. Experiments are reported on a Twitter dataset, where we can configure the percentages of the two classes (abuse vs. non abuse) to simulate the data imbalance with different amplitudes. Results show that our ensemble deep learning models exhibit better performance than ensembles of traditional machine learning models, especially on heavily imbalanced datasets.


Modelling risk taking behaviour of avalanche accident victims. Each year, over 15000 requests for mountain rescue are counted in France. Avalanche accidents represent 39 of reports, and are therefore our focus in this study. Modelling the behaviour of mountain accident victims is useful to develop more accurate rescue and prevention tools. Concretely, we observe the interference of two heuristics (availability and familiarity) in decision making when choosing an itinerary in backcountry skiing. We developed a serious game to evaluate their effect on the probability of engaging in a risky itinerary, while varying situational and environmental criteria in each participant (N 278). The availability heuristic is operationalized by three situations, an avalanche accident video, a backcountry skiing video and a neutral context. The familiarity heuristic is operationalized by two criteria, strong and weak familiarity with the place. Results demonstrate the effects of both heuristics. Measurements through our serious game are discussed in the perspective of developing an interactive prevention tool for mitigating the negative effects of heuristics.


Nonvolatile Resistive Switching in Nanocrystalline Molybdenum Disulfide with Ion Based Plasticity. Non volatile resistive switching is demonstrated in memristors with nanocrystalline molybdenum disulfide (MoS 2 ) as the active material. The vertical heterostructures consist of silicon, vertically aligned MoS 2 and chrome gold metal electrodes. Electrical characterizations reveal a bipolar and forming free switching process with stable retention for at least 2500 seconds. Controlled experiments carried out in ambient and vacuum conditions suggest that the observed resistive switching is based on hydroxyl ions (OH ). These originate from catalytic splitting of adsorbed water molecules by MoS 2 . Experimental results in combination with analytical simulations further suggest that electric field driven movement of the mobile OH ions along the vertical MoS 2 layers influences the energy barrier at the Si MoS 2 interface. The scalable and semiconductor production compatible device fabrication process used in this work offers the opportunity to integrate such memristors into existing silicon technology for future neuromorphic applications. The observed ion based plasticity may be exploited in ionicelectronic devices based on TMDs and other 2D materials for memristive applications.


Subgroups of Lacunary Hyperbolic Groups and Free Products. A finitely generated group is lacunary hyperbolic if one of its asymptotic cones is an mathbb R tree. In this article we give a necessary and sufficient condition on lacunary hyperbolic groups in order to be stable under free product by giving a dynamical characterization of lacunary hyperbolic groups. Also we studied limits of elementary subgroups as subgroups of lacunary hperbolic groups and characterized them. Given any countable collection of increasing union of elementary groups we show that there exists a lacunary hyperbolic group whose set of all maximal subgroups is the given collection. As a consequence we construct a finitely generated divisible group. First such example was constructed by V. Guba in cite Gu86 . In section 5 we show that given any finitely generated group Q and a non elementary hyperbolic group H , there exists a short exact sequence 1 rightarrow N rightarrow G rightarrow Q rightarrow 1 , where G is a lacunary hyperbolic group and N is a non elementary quotient of H . Our method allows to recover cite Theorem 3 AS14 . In section 6, we extend the class of groups mathcal R ip mathcal T (Q) considered in cite CDK19 and hence give more new examples of property (T) von Neumann algebras which have maximal von Neumann subalgebras without property (T) .


neverforget Photobiomodulation Against Alzheimer's Disease A Systematic Review. Alzheimer's disease affects an ever increasing number of people in the aging population. Current treatment options are limited to a narrow time frame at the mild to moderate stage of dementia, and patients are confronted with the inevitable progression of their disease. Most investigational drugs fail to prove their efficacy in clinical trials, and there are but a few preventative measures that one can take. A novel treatment approach, using photobiomodulation to increase the brain's mitochondrial function and prevent neuronal apoptosis, has shown promising results in in vitro and in vivo experiments. This systematic review aims at providing a comprehensive summary on the available research on photobiomodulation against Alzheimer's disease to support the translation of this modality from bench to bedside. It shows that the mechanistic action has been largely understood on a cellular level, safe and effective doses have been found in animal models, and first human case studies provide reason to enter large scale clinical trials. A brief outlook on study design concludes this review and provides a basis for further work on the topic.


Computationally Efficient NER Taggers with Combined Embeddings and Constrained Decoding. Current State of the Art models in Named Entity Recognition (NER) are neural models with a Conditional Random Field (CRF) as the final network layer, and pre trained "contextual embeddings". The CRF layer is used to facilitate global coherence between labels, and the contextual embeddings provide a better representation of words in context. However, both of these improvements come at a high computational cost. In this work, we explore two simple techniques that substantially improve NER performance over a strong baseline with negligible cost. First, we use multiple pre trained embeddings as word representations via concatenation. Second, we constrain the tagger, trained using a cross entropy loss, during decoding to eliminate illegal transitions. While training a tagger on CoNLL 2003 we find a 786 speed up over a contextual embeddings based tagger without sacrificing strong performance. We also show that the concatenation technique works across multiple tasks and datasets. We analyze aspects of similarity and coverage between pre trained embeddings and the dynamics of tag co occurrence to explain why these techniques work. We provide an open source implementation of our tagger using these techniques in three popular deep learning frameworks TensorFlow, Pytorch, and DyNet.


Dynamics of radial solutions for the focusing fourth order nonlinear Schr "odinger equations. We consider the following class of focusing L 2 supercritical fourth order nonlinear Schr "odinger equations i partial t u Delta 2 u mu Delta u u alpha u, quad (t,x) in mathbb R times mathbb R N, where N geq 2 , mu geq 0 , and frac 8 N alpha alpha with alpha frac 8 N 4 if N geq 5 and alpha infty if N leq 4 . By using the localized Morawetz estimates and radial Sobolev embedding, we establish the energy scattering below the ground state threshold for the equation with radially symmetric initial data. We also address the existence of finite time blow up radial solutions to the equation. In particular, we show a sharp threshold for scattering and blow up for the equation with radial data. Our scattering result not only extends the one proved by Guo cite Guo , where the scattering was proven for mu 0 , but also provides an alternative simple proof that completely avoids the use of the concentration compactness and rigidity argument. In the case mu 0 , our blow up result extends an earlier result proved by Boulenger Lenzmann cite BL , where the finite time blow up was shown for initial data with negative energy.


Nanoscale topological corner states in nonlinear optics. Topological states of light have received significant attention due to the existence of counter intuitive nontrivial boundary effects originating from the bulk properties of optical systems. Such boundary states, having their origin in topological properties of the bulk, are protected from perturbations and defects, and they show promises for a wide range of applications in photonic circuitry. The bulk boundary correspondence relates the N dimensional bulk modes to (N 1) dimensional boundary states. Recently, the bulk boundary correspondence was generalized to higher order effects such that an N dimensional bulk defines its (N M) dimensional boundary states. Prominent examples are topological corner states of light in two dimensional structures that have been realized at the micrometer scale. Such corner states, due to their tight confinement in all directions, provide a novel route towards topological cavities. Here we bring the concept of topological corner states to the nanoscale for enhancing nonlinear optical processes. Specifically, we design topologically nontrivial hybrid metasurfaces with C6 symmetric honeycomb lattices supporting both edge and corner states. We report on direct observations of nanoscale topology empowered localization of light in corner states revealed via a nonlinear imaging technique. Nanoscale topological corner states pave the way towards on chip applications in compact classical and quantum nanophotonic devices.


Generalization of P 'olya's zero distribution theory for exponential polynomials, plus sharp results for asymptotic growth. An exponential polynomial of order q is an entire function of the form f(z) P 1(z)e Q 1(z) cdots P k(z)e Q k(z) , where the coefficients P j(z),Q j(z) are polynomials in z such that max deg Q j q. In 1977 Steinmetz proved that the zeros of f lying outside of finitely many logarithmic strips around so called critical rays have exponent of convergence leq q 1 . This result does not say nothing about the zero distribution of f in each individual logarithmic strip. Here, it is shown that the asymptotic growth of the non integrated counting function of zeros of f is asymptotically comparable to r q in each logarithmic strip. The result generalizes the first order results by P 'olya and Schwengeler from the 1920's, and it shows, among other things, that the critical rays of f are precisely the Borel directions of order q of f . The error terms in the asymptotic equations for T(r,f) and N(r,1 f) originally due to Steinmetz are also improved.


Analytic continuation of multiple polylogarithms in positive characteristic. Our aim of this paper is to propose a method of analytic continuation of Carlitz multiple (star) polylogarithms to the whole space by using Artin Schreier equation and present a treatment of their branches by introducing the notion of monodromy modules. As applications of this method, we obtain (1) a method of continuation of the logarithms of higher tensor powers of Carlitz module, (2) the orthogonal property (Chang Mishiba functional relations), (3) a branch independency of the Eulerian property.


Farrell Jones Conjecture for free by cyclic groups. We prove the Farrell Jones conjecture for free by cyclic groups. The proof uses recently developed geometric methods for establishing the Farrell Jones Conjecture.


Kinetic Modeling of Magnetospheres. This paper presents the state of the art of kinetic modeling techniques for simulating plasma kinetic dynamics in magnetospheres. We describe the critical numerical techniques for enabling large scale kinetic simulations of magnetospheres parameter scaling, implicit Particle in Cell schemes, and fluid kinetic coupling. We show an application of these techniques to study particle acceleration and heating in asymmetric magnetic reconnection in the Ganymede magnetosphere.


A Concise yet Effective model for Non Aligned Incomplete Multi view and Missing Multi label Learning. In reality, learning from multi view multi label data inevitably confronts three challenges missing labels, incomplete views, and non aligned views. Existing methods mainly concern the first two and commonly need multiple assumptions to attack them, making even state of the arts involve at least two explicit hyper parameters such that model selection is quite difficult. More roughly, they will fail in handling the third challenge, let alone addressing the three jointly. In this paper, we aim at meeting these under the least assumption by building a concise yet effective model with just one hyper parameter. To ease insufficiency of available labels, we exploit not only the consensus of multiple views but also the global and local structures hidden among multiple labels. Specifically, we introduce an indicator matrix to tackle the first two challenges in a regression form while aligning the same individual labels and all labels of different views in a common label space to battle the third challenge. In aligning, we characterize the global and local structures of multiple labels to be high rank and low rank, respectively. Subsequently, an efficient algorithm with linear time complexity in the number of samples is established. Finally, even without view alignment, our method substantially outperforms state of the arts with view alignment on five real datasets.


Phishing URL Detection Through Top level Domain Analysis A Descriptive Approach. Phishing is considered to be one of the most prevalent cyber attacks because of its immense flexibility and alarmingly high success rate. Even with adequate training and high situational awareness, it can still be hard for users to continually be aware of the URL of the website they are visiting. Traditional detection methods rely on blocklists and content analysis, both of which require time consuming human verification. Thus, there have been attempts focusing on the predictive filtering of such URLs. This study aims to develop a machine learning model to detect fraudulent URLs which can be used within the Splunk platform. Inspired from similar approaches in the literature, we trained the SVM and Random Forests algorithms using malicious and benign datasets found in the literature and one dataset that we created. We evaluated the algorithms' performance with precision and recall, reaching up to 85 precision and 87 recall in the case of Random Forests while SVM achieved up to 90 precision and 88 recall using only descriptive features.


Good rings and homogeneous polynomials. In 2011, Khurana, Lam and Wang define the following property. ( )A commutative unital ring A satisfies the property ''power stable range one'' if for all a, b in A with aA bA A there are an integer N N (a, b) ge 1 and lambda lambda (a, b) in A such that b N lambda a in A x , the unit group of A. In 2019, Berman and Erman consider rings with the following property ( ) A commutative unital ring A has enough homogeneous polynomials if for any k ge 1 and set S p 1 , p 2 , ..., p k , of primitive points in A n and any n ge 2, there exists an homogeneous polynomial P (X 1 , X 2 , ..., X n) in A X 1 , X 2 , ..., X n ) with deg P ge 1 and P (p i) in A x for 1 le i le k. We show in this article that the two properties ( ) and ( ) are equivalent and we shall call a commutative unital ring with these properties a good ring. When A is a commutative unital ring of pictorsion as defined by Gabber, Lorenzini and Liu in 2015, we show that A is a good ring. Using a Dedekind domain we built by Goldman in 1963,we show that the converse is false.


Multi Node Multi GPU Diffeomorphic Image Registration for Large Scale Imaging Problems. We present a Gauss Newton Krylov solver for large deformation diffeomorphic image registration. We extend the publicly available CLAIRE library to multi node multi graphics processing unit (GPUs) systems and introduce novel algorithmic modifications that significantly improve performance. Our contributions comprise ( i ) a new preconditioner for the reduced space Gauss Newton Hessian system, ( ii ) a highly optimized multi node multi GPU implementation exploiting device direct communication for the main computational kernels (interpolation, high order finite difference operators and Fast Fourier Transform), and ( iii ) a comparison with state of the art CPU and GPU implementations. We solve a 256 3 resolution image registration problem in five seconds on a single NVIDIA Tesla V100, with a performance speedup of 70 compared to the state of the art. In our largest run, we register 2048 3 resolution images (25 B unknowns approximately 152 times larger than the largest problem solved in state of the art GPU implementations) on 64 nodes with 256 GPUs on TACC's Longhorn system.


Designing Truthful Contextual Multi Armed Bandits based Sponsored Search Auctions. For sponsored search auctions, we consider contextual multi armed bandit problem in the presence of strategic agents. In this setting, at each round, an advertising platform (center) runs an auction to select the best suited ads relevant to the query posted by the user. It is in the best interest of the center to select an ad that has a high expected value (i.e., probability of getting a click times value it derives from a click of the ad). The probability of getting a click (CTR) is unknown to the center and depends on the user's profile (context) posting the query. Further, the value derived for a click is the private information to the advertiser and thus needs to be elicited truthfully. The existing solution in this setting is not practical as it suffers from very high regret ( O(T frac 2 3 ) ).


An elementary note about the G convergence for a type of nonlocal p laplacian operator. Simple applications of a principle of minimum energy and the property of monotonicity for the corresponding non local operator, have allowed a direct proof of the G compactness in a weak sense, as well as in the strong sense. The definitions of H convergence and G convergence, weak or strong, have been proved to be equivalent.