Zariski density of points with maximal arithmetic degree. Given a dominant rational self map on a projective variety over a number field, we can define the arithmetic degree at a rational point. It is known that the arithmetic degree at any point is less than or equal to the first dynamical degree. In this article, we show that there are densely many overline mathbb Q rational points with maximal arithmetic degree (i.e. whose arithmetic degree is equal to the first dynamical degree) for self morphisms on projective varieties. For unirational varieties and abelian varieties, we show that there are densely many rational points with maximal arithmetic degree over a sufficiently large number field. We also give a generalization of a result of Kawaguchi and Silverman in the appendix.


Source Reconstruction and Stability via Boundary Control of Abstract Viscoelastic Systems. We study the inverse source problem for a class of viscoelastic systems from a single boundary measurement in a general spatial dimension. We give specific reconstruction formula and stability estimate for the source in terms of the boundary measurement. Our approaches rely on the exact boundary controllability of the corresponding viscoelastic systems for which we also provide a new proof based on a modification of the well known moment method.


Sparse domination of singular Radon transform. The purpose of this paper is to study the sparse bound of the operator of the form f mapsto psi(x) int f( gamma t(x))K(t)dt , where gamma t(x) is a C infty function defined on a neighborhood of the origin in (x, t) in mathbb R n times mathbb R k , satisfying gamma 0(x) equiv x , psi is a C infty cut off function supported on a small neighborhood of 0 in mathbb R n and K is a Calder 'on Zygmund kernel suppported on a small neighborhood of 0 in mathbb R k . Christ, Nagel, Stein and Wainger gave conditions on gamma under which T L p mapsto L p (1 p infty) is bounded. Under the these same conditions, we prove sparse bounds for T , which strengthens their result. As a corollary, we derive weighted norm estimates for such operators.


First Order Methods for Wasserstein Distributionally Robust MDP. Markov decision processes (MDPs) are known to be sensitive to parameter specification. Distributionally robust MDPs alleviate this issue by allowing for emph ambiguity sets which give a set of possible distributions over parameter sets. The goal is to find an optimal policy with respect to the worst case parameter distribution. We propose a framework for solving Distributionally robust MDPs via first order methods, and instantiate it for several types of Wasserstein ambiguity sets. By developing efficient proximal updates, our algorithms achieve a convergence rate of O left(NA 2.5 S 3.5 log(S) log( epsilon 1 ) epsilon 1.5 right) for the number of kernels N in the support of the nominal distribution, states S , and actions A this rate varies slightly based on the Wasserstein setup. Our dependence on N,A and S is significantly better than existing methods, which have a complexity of O left(N 3.5 A 3.5 S 4.5 log 2 ( epsilon 1 ) right) . Numerical experiments show that our algorithm is significantly more scalable than state of the art approaches across several domains.


The Optimal Geometry of the Acousto Optic Interaction in Selected Crystalline Materials Determined by Extreme Surfaces Method. The optimal geometries of the acousto optic interaction are determined by extreme surfaces method for a number of acousto optic crystals.


Parallel Index Based Structural Graph Clustering and Its Approximation. SCAN (Structural Clustering Algorithm for Networks) is a well studied, widely used graph clustering algorithm. For large graphs, however, sequential SCAN variants are prohibitively slow, and parallel SCAN variants do not effectively share work among queries with different SCAN parameter settings. Since users of SCAN often explore many parameter settings to find good clusterings, it is worthwhile to precompute an index that speeds up queries. This paper presents a practical and provably efficient parallel index based SCAN algorithm based on GS Index, a recent sequential algorithm. Our parallel algorithm improves upon the asymptotic work of the sequential algorithm by using integer sorting. It is also highly parallel, achieving logarithmic span (parallel time) for both index construction and clustering queries. Furthermore, we apply locality sensitive hashing (LSH) to design a novel approximate SCAN algorithm and prove guarantees for its clustering behavior. We present an experimental evaluation of our algorithms on large real world graphs. On a 48 core machine with two way hyper threading, our parallel index construction achieves 50 151 times speedup over the construction of GS Index. In fact, even on a single thread, our index construction algorithm is faster than GS Index. Our parallel index query implementation achieves 5 32 times speedup over GS Index queries across a range of SCAN parameter values, and our implementation is always faster than ppSCAN, a state of the art parallel SCAN algorithm. Moreover, our experiments show that applying LSH results in faster index construction while maintaining good clustering quality.


S 1 equivariant contact homology for hypertight contact forms. In a previous paper, we showed that the original definition of cylindrical contact homology, with rational coefficients, is valid on a closed three manifold with a dynamically convex contact form. However we did not show that this cylindrical contact homology is an invariant of the contact structure. In the present paper, we define "nonequivariant contact homology" and "S 1 equivariant contact homology", both with integer coefficients, for a contact form on a closed manifold in any dimension with no contractible Reeb orbits. We prove that these contact homologies depend only on the contact structure. Our construction uses Morse Bott theory and is related to the positive S 1 equivariant symplectic homology of Bourgeois Oancea. However, instead of working with Hamiltonian Floer homology, we work directly in contact geometry, using families of almost complex structures. When cylindrical contact homology can also be defined, it agrees with the tensor product of the S 1 equivariant contact homology with Q. We also present examples showing that the S 1 equivariant contact homology contains interesting torsion information. In a subsequent paper we will use obstruction bundle gluing to extend the above story to closed three manifolds with dynamically convex contact forms, which in particular will prove that their cylindrical contact homology has a lift to integer coefficients which depends only on the contact structure.


Post Quantum Secure Command and Control of Mobile Agents Inserting quantum resistant encryption schemes in the Secure Robot Operating System. The secure command and control (C C) of mobile agents arises in various settings including unmanned aerial vehicles, single pilot operations in commercial settings, and mobile robots to name a few. As more and more of these applications get integrated into aerospace and defense use cases, the security of the communication channel between the ground station and the mobile agent is of increasing importance. The development of quantum computing devices poses a unique threat to secure communications due to the vulnerability of asymmetric ciphers to Shor's algorithm. Given the active development of new quantum resistant encryption techniques, we report the first integration of post quantum secure encryption schemes with the robot operating system (ROS) and C C of mobile agents, in general. We integrate these schemes in the application and network layers, and study the performance of these methods by comparing them to present day security schemes such as the widely used RSA algorithm.


A microscale nanosecond time resolved platinum thermometer probing Gaussian pulsed laser induced temperature. Pulsed laser processing is playing a crucial role in additive manufacturing and nanomaterial processing. However, probing transient temperature during laser interaction with the processed materials is challenging with both high spatial and temporal resolution. Here, we demonstrate 9ns rise time 50 mu m sized Pt thin film sensor for probing the temperature field induced by a nanosecond pulsed laser on a semiconductor thin film. The error sources and associated improvements are discussed regarding the fabrication, sensor pattern and electrical circuits. We further carried out the first experimental and theoretical analysis of spatial resolution and accuracy for measuring gaussian pulse on the serpentine structure. Transparent silica and sapphire substrates, as well as 7 45nm insulation layer thickness, are compared for sensing accuracy and temporal resolution. Lastly, the measured absolute temperature magnitude is validated through the laser induced melting of the 40nm thick amorphous silicon film. Preliminary study shows its potential application for probing heat conduction among ultrathin films.


A simple 7 3 approximation algorithm for feedback vertex set in tournaments. We show that performing just one round of the Sherali Adams hierarchy gives an easy 7 3 approximation algorithm for the Feedback Vertex Set (FVST) problem in tournaments. This matches the best deterministic approximation algorithm for FVST due to Mnich, Williams, and V 'egh, and is a significant simplification and runtime improvement of their approach.


Reaction Drift Model for Switching Transients in Pr 0.7 Ca 0.3 MnO 3 Based Resistive RAM. Pr 0.7 Ca 0.3 MnO 3 (PCMO) based RRAM shows promising memory properties like non volatility, low variability, multiple resistance states and scalability. From a modeling perspective, the charge carrier DC current modeling of PCMO RRAM by drift diffusion (DD) in the presence of fixed oxygen ion vacancy traps and self heating (SH) in Technology Computer Aided Design (TCAD) (but without oxygen ionic transport) was able to explain the experimentally observed space charge limited conduction (SCLC) characteristics, prior to resistive switching. Further, transient analysis using DD SH model was able to reproduce the experimentally observed fast current increase at 100 ns timescale, prior to resistive switching. However, a complete quantitative transient current transport plus resistive switching model requires the inclusion of ionic transport. We propose a Reaction Drift (RD) model for oxygen ion vacancy related trap density variation, which is combined with the DD SH model. Earlier we have shown that the Set transient consists of 3 stages and Reset transient consists of 4 stages experimentally. In this work, the DD SH RD model is able to reproduce the entire transient behavior over 10 ns 1 s range in timescale for both the Set and Reset operations for different applied biases and ambient temperatures. Remarkably, a universal Reset experimental behavior, log(I) is proportional to (m X log(t)) where m 1 10 is reproduced in simulations. This model is the first model for PCMO RRAMs to significantly reproduce transient Set Reset behavior. This model establishes the presence of self heating and ionic drift limited resistive switching as primary physical phenomena in these RRAMs.


Dynamic Tuning of Near field Radiative Thermal Rectification. Taking advantage of phase transition and reconfigurable metamaterials, dynamic control of nanoscale thermal modulation can be achieved through the near field radiative thermal rectification devices. In this work, an active tuning near field thermal rectifier using reconfigurable phase transition metamaterials is explored. The rectifier has two terminals separated by vacuum, working under a controllable operational temperature around the critical temperature of the phase transition material VO2. One of the terminals is a stretchable structure made of PDMS thin film and grating consisting of various types of phase transition material. The effects of various inclusion forms and all the related geometric parameters are well analyzed. The controllable nanoscale thermal modulation can be achieved and the ultrahigh rectification ratios of 23.7 and 19.8, the highest values ever predicted, can be obtained for two deformation scenarios, respectively. It will shed light on the dynamic tuning of small scale thermal transport and light manipulation.


Validation and Normalization of DCS corpus using Sanskrit Heritage tools to build a tagged Gold Corpus. The Digital Corpus of Sanskrit records around 650,000 sentences along with their morphological and lexical tagging. But inconsistencies in morphological analysis, and in providing crucial information like the segmented word, urges the need for standardization and validation of this corpus. Automating the validation process requires efficient analyzers which also provide the missing information. The Sanskrit Heritage Engine's Reader produces all possible segmentations with morphological and lexical analyses. Aligning these systems would help us in recording the linguistic differences, which can be used to update these systems to produce standardized results and will also provide a Gold corpus tagged with complete morphological and lexical information along with the segmented words. Krishna et al. (2017) aligned 115,000 sentences, considering some of the linguistic differences. As both these systems have evolved significantly, the alignment is done again considering all the remaining linguistic differences between these systems. This paper describes the modified alignment process in detail and records the additional linguistic differences observed. Reference Amrith Krishna, Pavankumar Satuluri, and Pawan Goyal. 2017. A dataset for Sanskrit word segmentation. In Proceedings of the Joint SIGHUM Workshop on Computational Linguistics for Cultural Heritage, Social Sciences, Humanities and Literature, page 105 114. Association for Computational Linguistics, August.


Searching for Effective Neural Extractive Summarization What Works and What's Next. The recent years have seen remarkable success in the use of deep neural networks on text summarization. However, there is no clear understanding of textit why they perform so well, or textit how they might be improved. In this paper, we seek to better understand how neural extractive summarization systems could benefit from different types of model architectures, transferable knowledge and learning schemas. Additionally, we find an effective way to improve current frameworks and achieve the state of the art result on CNN DailyMail by a large margin based on our observations and analyses. Hopefully, our work could provide more clues for future research on extractive summarization.


Longitudinal modeling of MS patient trajectories improves predictions of disability progression. Research in Multiple Sclerosis (MS) has recently focused on extracting knowledge from real world clinical data sources. This type of data is more abundant than data produced during clinical trials and potentially more informative about real world clinical practice. However, this comes at the cost of less curated and controlled data sets. In this work, we address the task of optimally extracting information from longitudinal patient data in the real world setting with a special focus on the sporadic sampling problem. Using the MSBase registry, we show that with machine learning methods suited for patient trajectories modeling, such as recurrent neural networks and tensor factorization, we can predict disability progression of patients in a two year horizon with an ROC AUC of 0.86, which represents a 33 decrease in the ranking pair error (1 AUC) compared to reference methods using static clinical features. Compared to the models available in the literature, this work uses the most complete patient history for MS disease progression prediction.


Holomorphic extensions of eigenfunctions on NA groups. Let X G K be a rank one Riemannian symmetric space of noncompact type. In view of the Iwasawa decomposition G NAK of the underlying semisimple Lie group, we can also view X as the solvable extension S NA of the Iwasawa group N which is known to be a H type group. In this work we study the holomorphic extendability of eigenfunctions of the Laplace Beltrami operator Delta S on S to certain domains in the complexification of the nilpotent group N . We can also do the same for any H type group N not necessarily an Iwasawa group. The results are accomplished by making use of the connection with solutions of the extension problem for the Laplacian or the sublaplacian on the corresponding N .


Deep Learning parameterization of subgrid scales in wall bounded turbulent flows. An innovative textit deep learning approach has been adopted to formulate the eddy viscosity for large eddy simulation (LES) of wall bounded turbulent flows. A deep neural network (DNN) is developed which learns to evaluate the eddy viscosity from a dataset generated for a channel flow at friction Reynolds number Re tau 395 using the Dynamic Smagorinsky subgrid scale model. Later this DNN is employed to predict the eddy viscosity for a number of grid configurations for channel flow at Re tau 395 and 590 . The statistics computed from the DNN based LES model show an excellent match with direct numerical simulations (DNS). In some cases, particularly for the coarse grid simulations, the DNN based model yields statistics closer to DNS than those from the Dynamic Smagorinsky model. The turbulent kinetic energy budget terms also manifest a satisfactory match with the DNS results. This model computes eddy viscosity 2 8 times quicker than the Dynamic Smagorinsky model. This DNN based LES model is also able to closely mimic the duct flow at Re tau 300 in a qualitatively and quantitatively similar manner as the LES using the Dynamic Smagorinsky model and a DNS from a previous study. This study demonstrates the feasibility of deep learning for parameterizing the subgrid scales (SGS) in a turbulent flow accurately in a cost effective manner. In a broader perspective, deep learning based models can be a promising alternative to traditional RANS and LES models for simulating complex turbulent flows.


Performance Optimization for Federated Person Re identification via Benchmark Analysis. Federated learning is a privacy preserving machine learning technique that learns a shared model across decentralized clients. It can alleviate privacy concerns of personal re identification, an important computer vision task. In this work, we implement federated learning to person re identification (FedReID) and optimize its performance affected by statistical heterogeneity in the real world scenario. We first construct a new benchmark to investigate the performance of FedReID. This benchmark consists of (1) nine datasets with different volumes sourced from different domains to simulate the heterogeneous situation in reality, (2) two federated scenarios, and (3) an enhanced federated algorithm for FedReID. The benchmark analysis shows that the client edge cloud architecture, represented by the federated by dataset scenario, has better performance than client server architecture in FedReID. It also reveals the bottlenecks of FedReID under the real world scenario, including poor performance of large datasets caused by unbalanced weights in model aggregation and challenges in convergence. Then we propose two optimization methods (1) To address the unbalanced weight problem, we propose a new method to dynamically change the weights according to the scale of model changes in clients in each training round (2) To facilitate convergence, we adopt knowledge distillation to refine the server model with knowledge generated from client models on a public dataset. Experiment results demonstrate that our strategies can achieve much better convergence with superior performance on all datasets. We believe that our work will inspire the community to further explore the implementation of federated learning on more computer vision tasks in real world scenarios.


An Affine Analogue of Fulton's Ideals for Matrix Schubert Varieties. We give an affine analogue of Fulton's generators for ideals defining matrix Schubert varieties described in terms of essential sets, in the affine case by considering infinite periodic matrices. This provides a tool for computing with Schubert varieties in the affine flag variety of type A.


Improving Word Embedding Factorization for Compression Using Distilled Nonlinear Neural Decomposition. Word embeddings are vital components of Natural Language Processing (NLP) models and have been extensively explored. However, they consume a lot of memory which poses a challenge for edge deployment. Embedding matrices, typically, contain most of the parameters for language models and about a third for machine translation systems. In this paper, we propose Distilled Embedding, an (input output) embedding compression method based on low rank matrix decomposition and knowledge distillation. First, we initialize the weights of our decomposed matrices by learning to reconstruct the full pre trained word embedding and then fine tune end to end, employing knowledge distillation on the factorized embedding. We conduct extensive experiments with various compression rates on machine translation and language modeling, using different data sets with a shared word embedding matrix for both embedding and vocabulary projection matrices. We show that the proposed technique is simple to replicate, with one fixed parameter controlling compression size, has higher BLEU score on translation and lower perplexity on language modeling compared to complex, difficult to tune state of the art methods.


Crowding induced Elongated Conformation of Urea unfolded Apoazurin Investigating the Role of Crowder Shape In Silico. Here, we show by solution nuclear magnetic resonance measurements that the urea unfolded protein apoazurin becomes elongated when the synthetic crowding agent dextran 20 is present, in contrast to the prediction from the macromolecular crowding effect based on the argument of volume exclusion. To explore the complex interactions beyond volume exclusion, we employed coarse grained molecular dynamics simulations to explore the conformational ensemble of apoazurin in a box of monodisperse crowders under strong chemically denaturing conditions. The elongated conformation of unfolded apoazurin appears to result from the interplay of the effective attraction between the protein and crowders and the shape of the crowders. With a volume conserving crowder model, we show that the crowder shape provides an anisotropic direction of the depletion force, in which a bundle of surrounding rod like crowders stabilize an elongated conformation of unfolded apoazurin in the presence of effective attraction between the protein and crowders.


Towards Seamless Authentication for Zoom Based Online Teaching and Meeting. The lockdowns and travel restrictions in current coronavirus pandemic situation has replaced face to face teaching and meeting with online teaching and meeting. Recently, the video conferencing tool Zoom has become extremely popular for its simple to use feature and low network bandwith requirement. However, Zoom has serious security and privacy issues. Due to weak authentication mechanisms, unauthorized persons are invading Zoom sessions and creating disturbances (known as Zoom bombing). In this paper, we propose a preliminary work towards a seamless authentication mechanism for Zoom based teaching and meeting. Our method is based on PRNU (Photo Response Non Uniformity) based camera authentication, which can authenticate the camera of a device used in a Zoom meeting without requiring any assistance from the participants (e.g., needing the participant to provide biometric). Results from a small scale experiment validates the proposed method.


Graph sequences sampled from Robinson graphons. The function Gamma on the space of graphons, introduced in CGH 15 , aims to measure the extent to which a graphon w exhibits the Robinson property for all x y z , w(x,z) leq min w(x,y),w(y,z) . Robinson graphons form a model for graphs with a natural line embedding so that most edges are local. Function Gamma is compatible with the cut norm cdot Box , in the sense that graphons close in cut norm have similar Gamma values. Here we show the converse, by proving that every graphon w can be approximated by a Robinson graphon R w so that w R w Box is bounded in terms of Gamma (w) . We then use classical techniques from functional analysis to show that a converging graph sequence G n converges to a Robinson graphon if and only if Gamma (G n) rightarrow 0 . Finally, using probabilistic techniques we show that the rate of convergence of Gamma for graph sequences sampled from a Robinson graphon can differ substantially depending on how strongly w exhibits the Robinson property.


A Comparative Analysis of the Ensemble Methods for Drug Design. Quantitative structure activity relationship (QSAR) is a computer modeling technique for identifying relationships between the structural properties of chemical compounds and biological activity. QSAR modeling is necessary for drug discovery, but it has many limitations. Ensemble based machine learning approaches have been used to overcome limitations and generate reliable predictions. Ensemble learning creates a set of diverse models and combines them. In our comparative analysis, each ensemble algorithm was paired with each of the basic algorithms, but the basic algorithms were also investigated separately. In this configuration, 57 algorithms were developed and compared on 4 different datasets. Thus, a technique for complex ensemble method is proposed that builds diversified models and integrates them. The proposed individual models did not show impressive results as a unified model, but it was considered the most important predictor when combined. We assessed whether ensembles always give better results than individual algorithms. The Python code written to get experimental results in this article has been uploaded to Github (https github.com rifqat Comparative Analysis).


DynaMiTe A Dynamic Local Motion Model with Temporal Constraints for Robust Real Time Feature Matching. Feature based visual odometry and SLAM methods require accurate and fast correspondence matching between consecutive image frames for precise camera pose estimation in real time. Current feature matching pipelines either rely solely on the descriptive capabilities of the feature extractor or need computationally complex optimization schemes. We present the lightweight pipeline DynaMiTe, which is agnostic to the descriptor input and leverages spatial temporal cues with efficient statistical measures. The theoretical backbone of the method lies within a probabilistic formulation of feature matching and the respective study of physically motivated constraints. A dynamically adaptable local motion model encapsulates groups of features in an efficient data structure. Temporal constraints transfer information of the local motion model across time, thus additionally reducing the search space complexity for matching. DynaMiTe achieves superior results both in terms of matching accuracy and camera pose estimation with high frame rates, outperforming state of the art matching methods while being computationally more efficient.


ColBERT Using BERT Sentence Embedding for Humor Detection. Automatic humor detection has interesting use cases in modern technologies, such as chatbots and virtual assistants. In this paper, we propose a novel approach for detecting humor in short texts based on the general linguistic structure of humor. Our proposed method uses BERT to generate embeddings for sentences of a given text and uses these embeddings as inputs of parallel lines of hidden layers in a neural network. These lines are finally concatenated to predict the target value. For evaluation purposes, we created a new dataset for humor detection consisting of 200k formal short texts (100k positive and 100k negative). Experimental results show that our proposed method can determine humor in short texts with accuracy and an F1 score of 98.2 percent. Our 8 layer model with 110M parameters outperforms the baseline models with a large margin, showing the importance of utilizing linguistic structure of texts in machine learning models.


Microturbulence mediated route for energetic ion transport and Alfv 'enic mode intermittency in tokamaks. We report on a theoretical discovery of new regimes of Alfv 'en eigenmode (AE) induced fast ion transport in tokamak plasmas, where microturbulence plays the role of a mediator of fast ion relaxation. Coulomb collisional scattering alone leads to small AE amplitudes and does not reproduce the steady state regimes observed in experiments. We show that in nonlinear regimes the effective pitch angle scattering due to microturbulence can lead to steady state AE amplitude evolution. This indicates a new route for fast ion losses, which is beyond the scenarios described in "Energetic ion transport by microturbulence is insignificant in tokamaks" D. C. Pace et al., Phys. Plasmas 20 (2013) 056108 . As a result, microturbulence can significantly increase the amplitude of AEs in predictive simulations of burning plasma experiments such as ITER.


Random multi block ADMM an ALM based view for the QP case. Embedding randomization procedures in the Alternating Direction Method of Multipliers (ADMM) has recently attracted an increasing amount of interest as a remedy to the fact that the direct multi block generalization of ADMM is not necessarily convergent. Even if, in practice, the introduction of such techniques could textit mitigate the diverging behaviour of the multi block extension of ADMM, from the theoretical point of view, it can ensure just the textit convergence in expectation , which may not be a good indicator of its robustness and efficiency. In this work, analysing the strongly convex quadratic programming case, we interpret the block Gauss Seidel sweep performed by the multi block ADMM in the context of the inexact Augmented Lagrangian Method. Using the proposed analysis, we are able to outline an alternative technique to those present in literature which, supported from stronger theoretical guarantees, is able to ensure the convergence of the multi block generalization of the ADMM method.


A New Ratio Image Based CNN Algorithm For SAR Despeckling. In SAR domain many application like classification, detection and segmentation are impaired by speckle. Hence, despeckling of SAR images is the key for scene understanding. Usually despeckling filters face the trade off of speckle suppression and information preservation. In the last years deep learning solutions for speckle reduction have been proposed. One the biggest issue for these methods is how to train a network given the lack of a reference. In this work we proposed a convolutional neural network based solution trained on simulated data. We propose the use of a cost function taking into account both spatial and statistical properties. The aim is two fold overcome the trade off between speckle suppression and details suppression find a suitable cost function for despeckling in unsupervised learning. The algorithm is validated on both real and simulated data, showing interesting performances.


Merging of Ontologies Through Merging of Their Rules. Ontology merging is important, but not always effective. The main reason, why ontology merging is not effective, is that ontology merging is performed without considering goals. Goals define the way, in which ontologies to be merged more effectively. The paper illustrates ontology merging by means of rules, which are generated from these ontologies. This is necessary for further use in expert systems.


Meta Learning with Differentiable Closed form Solver for Fast Video Object Segmentation. This paper tackles the problem of video object segmentation. We are specifically concerned with the task of segmenting all pixels of a target object in all frames, given the annotation mask in the first frame. Even when such annotation is available this remains a challenging problem because of the changing appearance and shape of the object over time. In this paper, we tackle this task by formulating it as a meta learning problem, where the base learner grasping the semantic scene understanding for a general type of objects, and the meta learner quickly adapting the appearance of the target object with a few examples. Our proposed meta learning method uses a closed form optimizer, the so called "ridge regression", which has been shown to be conducive for fast and better training convergence. Moreover, we propose a mechanism, named "block splitting", to further speed up the training process as well as to reduce the number of learning parameters. In comparison with the state of the art methods, our proposed framework achieves significant boost up in processing speed, while having very competitive performance compared to the best performing methods on the widely used datasets.


Reactor based XPS and other in situ studies on the Effect of Substitution of Bismuth for Indium in Defect Laden Indium Oxide Hydroxide BizIn2 zO3 x(OH)y on the Photocatalytic Hydrogenation of Carbon Dioxide. The photocatalytic activity of nanostructured In2O3 x(OH)y for the Reverse Water Gas Shift (RWGS) Reaction CO2 H2 CO H2O can be greatly enhanced by substitution of Bi(III) for In(III) in the lattice of BizIn2 zO3 xOHy. This behavior was hypothesized as the effect of the population and location of Bi(III) on the Lewis acidity and Lewis basicity of proximal hydroxide and coordinately unsaturated metal surface sites in BizIn2 zO3 xOHy acting synergistically as a Frustrated Lewis Acid Base Pair reaction. Reported herein, XPS interrogates this photochemical RWGS reaction transiting from vacuum state to similar conditions in a photocatalytic reactor, under dark and ambient temperature, 150 degC, and 150 degC with photoillumination. Binding energy shifts were used to correlate the material system's Lewis basicity response to these acidic probe gases. In situ gas electronic sensitivity and in situ UV Vis derived band gap trends confirm the trends shown in the XPS results. The enhanced photo catalytic reduction rate of CO2 with H2 with low doped 0.05 a.t Bi system is thus associated with an increased gas sensitivity in H2 CO2, a greater increase in the OH shoulder than that of the undoped system under heat and light conditions. The photo induced expansion of the OH shoulder and the increased positive binding energy shifts shows the important role of photoillumination over that of thermal conditions. The poor catalytic performance of the high doped system can be attributed to a competing H2 reduction of In3 . The results provide new insight into how methodical tuning of the Lewis acidity and Lewis basicity of surface Frustrated Lewis Acid Base Pair sites by varying z amount in BizIn2O3 xOHy enables optimization of the rate of the photochemical RWGS.


Probabilistic Iterative LQR for Short Time Horizon MPC. Optimal control is often used in robotics for planning a trajectory to achieve some desired behavior, as expressed by the cost function. Most works in optimal control focus on finding a single optimal trajectory, which is then typically tracked by another controller. In this work, we instead consider trajectory distribution as the solution of an optimal control problem, resulting in better tracking performance and a more stable controller. A Gaussian distribution is first obtained from an iterative Linear Quadratic Regulator (iLQR) solver. A short horizon Model Predictive Control (MPC) is then used to track this distribution. We show that tracking the distribution is more cost efficient and robust as compared to tracking the mean or using iLQR feedback control. The proposed method is validated with kinematic control of 7 DoF Panda manipulator and dynamic control of 6 DoF quadcopter in simulation.


G Valued Crystalline Deformation Rings in the Fontaine Laffaille Range. Let G be a split reductive group over the ring of integers in a p adic field with residue field mathbf F . Fix a representation overline rho of the absolute Galois group of an unramified extension of mathbf Q p , valued in G( mathbf F ) . We study the crystalline deformation ring for overline rho with a fixed p adic Hodge type that satisfies an analog of the Fontaine Laffaille condition for G valued representations. In particular, we give a root theoretic condition on the p adic Hodge type which ensures that the crystalline deformation ring is formally smooth. Our result improves on all known results for classical groups not of type A and provides the first such results for exceptional groups.


Algorithmic approach to strong consistency analysis of finite difference approximations to PDE systems. For a wide class of polynomially nonlinear systems of partial differential equations we suggest an algorithmic approach to the s(trong) consistency analysis of their finite difference approximations on Cartesian grids. First we apply the differential Thomas decomposition to the input system, resulting in a partition of the solution set. We consider the output simple subsystem that contains a solution of interest. Then, for this subsystem, we suggest an algorithm for verification of s consistency for its finite difference approximation. For this purpose we develop a difference analogue of the differential Thomas decomposition, both of which jointly allow to verify the s consistency of the approximation. As an application of our approach, we show how to produce s consistent difference approximations to the incompressible Navier Stokes equations including the pressure Poisson equation.


A Light Heterogeneous Graph Collaborative Filtering Model using Textual Information. Due to the development of graph neural networks, graph based representation learning methods have made great progress in recommender systems. However, data sparsity is still a challenging problem that most graph based recommendation methods are confronted with. Recent works try to address this problem by utilizing side information. In this paper, we exploit the relevant and easily accessible textual information by advanced natural language processing (NLP) models and propose a light RGCN based (RGCN, relational graph convolutional network) collaborative filtering method on heterogeneous graphs. Specifically, to incorporate rich textual knowledge, we utilize a pre trained NLP model to initialize the embeddings of text nodes. Afterward, by performing a simplified RGCN based node information propagation on the constructed heterogeneous graph, the embeddings of users and items can be adjusted with textual knowledge, which effectively alleviates the negative effects of data sparsity. Moreover, the matching function used by most graph based representation learning methods is the inner product, which is not appropriate for the obtained embeddings that contain complex semantics. We design a predictive network that combines graph based representation learning with neural matching function learning, and demonstrate that this architecture can bring a significant performance improvement. Extensive experiments are conducted on three publicly available datasets, and the results verify the superior performance of our method over several baselines.


Algorithms for 2D Mesh Decomposition in Distributed Design Optimization. Optimization of thin walled structures like an aircraft wing, aircraft fuselage or submarine hull often involves dividing the shell surface into numerous localized panels, each characterized by its own set of design variables. The process of extracting information about a localized panel (nodal coordinates, mesh connectivity) from a finite element model, input file is usually a problem specific task. In this work, a generalized process to extract localized panels from the two dimensional (2D) mesh is discussed. The process employs set operations on elemental connectivity information and is independent of nodal coordinates. Thus, it is capable of extracting panel of any shape given the boundary and thus can be used during optimization of a wide range of structures. A method to create stiffeners on the resulting local panels is also presented, and the effect of stiffener element size on buckling is studied. The local panel extraction process is demonstrated by integrating it into a distributed MDO framework for optimization of an aircraft wing having curvilinear spars and ribs (SpaRibs). A range of examples is included wherein the process is used to create panels on the wing skin, bounded by adjacent SpaRibs.


An Integrated Framework for Sensing Radio Frequency Spectrum Attacks on Medical Delivery Drones. Drone susceptibility to jamming or spoofing attacks of GPS, RF, Wi Fi, and operator signals presents a danger to future medical delivery systems. A detection framework capable of sensing attacks on drones could provide the capability for active responses. The identification of interference attacks has applicability in medical delivery, disaster zone relief, and FAA enforcement against illegal jamming activities. A gap exists in the literature for solo or swarm based drones to identify radio frequency spectrum attacks. Any non delivery specific function, such as attack sensing, added to a drone involves a weight increase and additional complexity therefore, the value must exceed the disadvantages. Medical delivery, high value cargo, and disaster zone applications could present a value proposition which overcomes the additional costs. The paper examines types of attacks against drones and describes a framework for designing an attack detection system with active response capabilities for improving the reliability of delivery and other medical applications.


Fully Partially Connected Hybrid Beamforming Architectures for mmWave MU MIMO. Hybrid digital analog (HDA) beamforming has attracted considerable attention in practical implementation of millimeter wave (mmWave) multiuser multiple input multiple output (MU MIMO) systems due to the low power consumption with respect to its fully digital baseband counterpart. The implementation cost, performance, and power efficiency of HDA beamforming depends on the level of connectivity and reconfigurability of the analog beamforming network. In this paper, we investigate the performance of two typical architectures that can be regarded as extreme cases, namely, the fully connected (FC) and the one stream per subarray (OSPS) architectures. In the FC architecture each RF antenna port is connected to all antenna elements of the array, while in the OSPS architecture the RF antenna ports are connected to disjoint subarrays. We jointly consider the initial beam acquisition and data communication phases, such that the latter takes place by using the beam direction information obtained by the former. We use the state of the art beam alignment (BA) scheme previously proposed by the authors and consider a family of MU MIMO precoding schemes well adapted to the beam information extracted from the BA phase. We also evaluate the power efficiency of the two HDA architectures taking into account the power dissipation at different hardware components as well as the power backoff under typical power amplifier constraints. Numerical results show that the two architectures achieve similar sum spectral efficiency, while the OSPS architecture is advantageous with respect to the FC case in terms of hardware complexity and power efficiency, at the sole cost of a slightly longer BA time to acquisition due to its reduced beam angle resolution.


Polarizable Multipolar Molecular Dynamics Using Distributed Point Charges. Distributed point charge models (DCM) and their minimal variants (MDCM) have been integrated with tools widely used for condensed phase simulations, including a virial based barostat and a slow growth algorithm for thermodynamic integration. Minimal DCM is further developed with a systematic approach to reduce fitting errors in the electrostatic interaction energy and a new fragment based approach offers considerable speedup of the MDCM fitting process for larger molecules with increased numbers of off centered charged sites. Finally, polarizable (M)DCM is also introduced in the present work. The developments are used in condensed phase simulations of popular force fields with commonly applied simulation conditions. (M)DCM equivalents for a range of widely used water force fields and for fluorobenzene (PhF) are developed and applied along with the original models to evaluate the impact of reformulating the electrostatic term. Comparisons of the molecular electrostatic potential (MEP), electrostatic interaction energies, and bulk properties from molecular dynamics simulations for a range of models from simple TIP n P ( n 3 5 ) to the polarizable, multipolar iAMOEBA models for water and an existing quadrupolar model for PhF confirm that DCMs retain the accuracy of the original models, providing a homogeneous, efficient, and generic point charge alternative to a multipolar electrostatic model for force field development and multilevel simulations.


Noise Stable Rigid Graphs for Euclidean Embedding. We proposed a new criterion textit noise stability , which revised the classical rigidity theory, for evaluation of MDS algorithms which can truthfully represent the fidelity of global structure reconstruction then we proved the noise stability of the cMDS algorithm in generic conditions, which provides a rigorous theoretical guarantee for the precision and theoretical bounds for Euclidean embedding and its application in fields including wireless sensor network localization and satellite positioning. Furthermore, we looked into previous work about minimum cost globally rigid spanning subgraph, and proposed an algorithm to construct a minimum cost noise stable spanning graph in the Euclidean space, which enabled reliable localization on sparse graphs of noisy distance constraints with linear numbers of edges and sublinear costs in total edge lengths. Additionally, this algorithm also suggests a scheme to reconstruct point clouds from pairwise distances at a minimum of O(n) time complexity, down from O(n 3) for cMDS.


A Scrapbook of Inadmissible Line Complexes For the X ray Transform. We consider a finite field model of the X ray transform that integrates functions along lines in dimension 3, within the context of finite fields. The admissibility problem asks for minimal sets of lines for which the restricted transform is invertible. Graph theoretic conditions are known which characterize admissible collections of lines, and these have been counted using a brute force computer program. Here we perform the count by hand and, at the same time, produce a detailed illustration of the possible structures of inadmissible complexes. The resulting scrapbook may be of interest in an artificial intelligence approach to enumerating and illustrating admissible complexes in arbitrary dimensions (arbitrarily large ambient spaces, with transforms integrating over subspaces of arbitrary dimensions.)


A continuous time asset market game with short lived assets. We consider a continuous time game theoretic model of an investment market with short lived assets and endogenous asset prices. The first goal of the paper is to formulate a stochastic equation which determines wealth processes of investors and to provide conditions for the existence of its solution. The second goal is to show that there exists a strategy such that the logarithm of the relative wealth of an investor who uses it is a submartingale regardless of the strategies of the other investors, and the relative wealth of any other essentially different strategy vanishes asymptotically. This strategy can be considered as an optimal growth portfolio in the model.


Towards Optimizing Reiter's HS Tree for Sequential Diagnosis. Reiter's HS Tree is one of the most popular diagnostic search algorithms due to its desirable properties and general applicability. In sequential diagnosis, where the addressed diagnosis problem is subject to successive change through the acquisition of additional knowledge about the diagnosed system, HS Tree is used in a stateless fashion. That is, the existing search tree is discarded when new knowledge is obtained, albeit often large parts of the tree are still relevant and have to be rebuilt in the next iteration, involving redundant operations and costly reasoner calls. As a remedy to this, we propose DynamicHS, a variant of HS Tree that avoids these redundancy issues by maintaining state throughout sequential diagnosis while preserving all desirable properties of HS Tree. Preliminary results of ongoing evaluations in a problem domain where HS Tree is the state of the art diagnostic method suggest significant time savings achieved by DynamicHS by reducing expensive reasoner calls.


High speed varifocal optical resolution photoacoustic microscope to achieve large depth of field based on a tunable acoustic gradient lens. We developed an optical resolution photoacoustic microscope (OR PAM) capable of changing focal plane with high speed by using a tunable acoustic gradient (TAG) lens. In our system, a TAG lens is designed to continuously changing the focal plane of OR PAM by modulating its refractive power with fast changing ultrasonic standing wave. The raster scanning of the microscope and laser pulses are synchronized to the same phase of the driving signal of TAG lens. By selecting the synchronized phase, arbitrary focal plane can be chosen in a range of about 1 millimeter in 1.4 microseconds in our system. A phantom composed by tungsten wires is used to verified the varifocal capability of the system. In vivo study was carried out, to further demonstrate the large depth of field (DoF) achieved by our method without any moving part.


Mixed Hodge structures in log symplectic geometry. We study the cohomology rings of snc log symplectic pairs (X,Y) which have log symplectic forms of pure weight. We show that under a certain natural condition, the cohomology ring of X setminus Y exhibits the curious hard Lefschetz property. Analogous results are shown to hold for limit mixed Hodge structures associated to good degenerations of projective irreducible holomorphic symplectic manifolds. We provide several examples of log symplectic pairs of pure weight including a class of cluster type varieties, and examples coming from the work of Feigin and Odesski. We show that the components of the central fiber of good degenerations of projective irreducible holomorphic symplectic manifolds produce log symplectic pairs.


On the Chern Moser Weyl tensor of real hypersurfaces. We derive an explicit formula for the well known Chern Moser Weyl tensor for nondegenerate real hypersurfaces in complex space in terms of their defining functions. The formula is considerably simplified when applying to "pluriharmonic perturbations" of the sphere or to a Fefferman approximate solution to the complex Monge Amp ere equation. As an application, we show that the CR invariant one form X alpha constructed recently by Case and Gover is nontrivial on each real ellipsoid of revolution in mathbb C 3 , unless it is equivalent to the sphere. This resolves affirmatively a question posed by these two authors in 2017 regarding the (non ) local CR invariance of the mathcal I ' pseudohermitian invariant in dimension five and provides a counterexample to a recent conjecture by Hirachi.


On a Subclass of p Valent Functions with Negative Coefficients Defined by Using Rafid Operator. By using Rafid operator we define the subclass R mu,p delta( alpha A,B) and P mu,p delta( alpha A,B) of analytic and p valent functions with negative coefficients we investigate some sharp results including coefficients estimates, distortion theorem, radii of starlikeness, convexity, close to convexity, and modified Hadamard product. Finally, we give an application of fractional calculus and Bernadi Libora Livingstion operator.


A density result on the sum of element orders of a finite group. Let mathcal G be the class of all finite groups and consider the function psi'' mathcal G longrightarrow(0,1 , given by psi''(G) frac psi(G) G 2 , where psi(G) is the sum of element orders of a finite group G . In this paper, we show that the image of psi'' is a dense set in 0, 1 . Also, we study the injectivity and the surjectivity of psi'' .


Multiplicativity and nonrealizable equivariant chain complexes. Let G be a finite p group and mathbb F a field of characteristic p . We filter the cochain complex of a free G space with coefficients in mathbb F by powers of the augmentation ideal of mathbb F G . We show that the cup product induces a multiplicative structure on the arising spectral sequence and compute the E 1 page as a bigraded algebra. As an application, we prove that recent counterexamples of Iyengar and Walker to an algebraic version of Carlsson's conjecture can not be realized topologically.


CelebA Spoof Large Scale Face Anti Spoofing Dataset with Rich Annotations. As facial interaction systems are prevalently deployed, security and reliability of these systems become a critical issue, with substantial research efforts devoted. Among them, face anti spoofing emerges as an important area, whose objective is to identify whether a presented face is live or spoof. Though promising progress has been achieved, existing works still have difficulty in handling complex spoof attacks and generalizing to real world scenarios. The main reason is that current face anti spoofing datasets are limited in both quantity and diversity. To overcome these obstacles, we contribute a large scale face anti spoofing dataset, CelebA Spoof, with the following appealing properties 1) Quantity CelebA Spoof comprises of 625,537 pictures of 10,177 subjects, significantly larger than the existing datasets. 2) Diversity The spoof images are captured from 8 scenes (2 environments 4 illumination conditions) with more than 10 sensors. 3) Annotation Richness CelebA Spoof contains 10 spoof type annotations, as well as the 40 attribute annotations inherited from the original CelebA dataset. Equipped with CelebA Spoof, we carefully benchmark existing methods in a unified multi task framework, Auxiliary Information Embedding Network (AENet), and reveal several valuable observations.


SemEval 2020 Task 8 Memotion Analysis The Visuo Lingual Metaphor!. Information on social media comprises of various modalities such as textual, visual and audio. NLP and Computer Vision communities often leverage only one prominent modality in isolation to study social media. However, the computational processing of Internet memes needs a hybrid approach. The growing ubiquity of Internet memes on social media platforms such as Facebook, Instagram, and Twiter further suggests that we can not ignore such multimodal content anymore. To the best of our knowledge, there is not much attention towards meme emotion analysis. The objective of this proposal is to bring the attention of the research community towards the automatic processing of Internet memes. The task Memotion analysis released approx 10K annotated memes, with human annotated labels namely sentiment (positive, negative, neutral), type of emotion (sarcastic, funny, offensive, motivation) and their corresponding intensity. The challenge consisted of three subtasks sentiment (positive, negative, and neutral) analysis of memes, overall emotion (humour, sarcasm, offensive, and motivational) classification of memes, and classifying intensity of meme emotion. The best performances achieved were F1 (macro average) scores of 0.35, 0.51 and 0.32, respectively for each of the three subtasks.


On the modularity of 2 adic potentially semi stable deformation rings. Using p adic local Langlands correspondence for operatorname GL 2( mathbb Q 2) and an ordinary R mathbb T theorem, we prove that the support of patched modules for quaternionic forms meet every irreducible component of the potentially semi stable deformation ring. This gives a new proof of the Breuil M ' e zard conjecture for 2 dimensional representations of the absolute Galois group of mathbb Q 2 , which is new in the case overline r a twist of an extension of the trivial character by itself. As a consequence, a local restriction in Pa v s k unas' proof of Fontaine Mazur conjecture is removed.


Neural Topic Modeling by Incorporating Document Relationship Graph. Graph Neural Networks (GNNs) that capture the relationships between graph nodes via message passing have been a hot research direction in the natural language processing community. In this paper, we propose Graph Topic Model (GTM), a GNN based neural topic model that represents a corpus as a document relationship graph. Documents and words in the corpus become nodes in the graph and are connected based on document word co occurrences. By introducing the graph structure, the relationships between documents are established through their shared words and thus the topical representation of a document is enriched by aggregating information from its neighboring nodes using graph convolution. Extensive experiments on three datasets were conducted and the results demonstrate the effectiveness of the proposed approach.


Corrigendum to the paper "The optimal range of the Calderon operator and its applications." J. Funct. Anal. 277 (2019), no. 10, 3513 3559, arXiv 1908.09548 . We fix a gap in the proof of a result in our earlier paper arXiv 1908.09548


Unveiling the distinctive traits of a nation's research performance the case of Italy and Norway. In this study we are analysing the research performance of Italian and Norwegian professors using constituent components of the Fractional Scientific Strength (FSS) indicator. The main focus is on differences across fields in publication output and citation impact. The overall performance (FSS) of the two countries, which differ considerably in research size and profile, is remarkedly similar. However, an in depth analysis shows that there are large underlying performance differences. An average Italian professor publishes more papers than a Norwegian, while the citation impact of the research output is higher for the Norwegians. In addition, at field level the pattern varies along both dimensions, and we analyse in which fields each country have their relative strengths. Overall, this study contributes to further insights on how the research performance of different countries may be analysed and compared, to inform research policy.


Representations and fusion rules for the orbifold vertex operator algebras L widehat frak sl 2 (k,0) mathbb Z 3 . For the cyclic group mathbb Z 3 and positive integer k , we study the representations of the orbifold vertex operator algebra L widehat mathfrak sl 2 (k,0) mathbb Z 3 . All the irreducible modules for L widehat mathfrak sl 2 (k,0) mathbb Z 3 are classified and constructed explicitly. Quantum dimensions and fusion rules for the orbifold vertex operator algebra L widehat mathfrak sl 2 (k,0) mathbb Z 3 are completely determined.


Sparsity promoting hybrid solvers for hierarchical Bayesian inverse problems. The recovery of sparse generative models from few noisy measurements is an important and challenging problem. Many deterministic algorithms rely on some form of ell 1 ell 2 minimization to combine the computational convenience of the ell 2 penalty and the sparsity promotion of the ell 1 . It was recently shown within the Bayesian framework that sparsity promotion and computational efficiency can be attained with hierarchical models with conditionally Gaussian priors and gamma hyperpriors. The related Gibbs energy function is a convex functional and its minimizer, which is the MAP estimate of the posterior, can be computed efficiently with the globally convergent Iterated Alternating Sequential (IAS) algorithm cite CSS . Generalization of the hyperpriors for these sparsity promoting hierarchical models to generalized gamma family yield either globally convex Gibbs energy functionals, or can exhibit local convexity for some choices for the hyperparameters. cite CPrSS . The main problem in computing the MAP solution for greedy hyperpriors that strongly promote sparsity is the presence of local minima. To overcome the premature stopping at a spurious local minimizer, we propose two hybrid algorithms that first exploit the global convergence associated with gamma hyperpriors to arrive in a neighborhood of the unique minimizer, then adopt a generalized gamma hyperprior that promote sparsity more strongly. The performance of the two algorithms is illustrated with computed examples.


Representations of the ( 2,3,7) Pretzel Knot and Orderability of Dehn Surgeries. We construct a 1 parameter family of mathrm SL 2( mathbf R ) representations of the pretzel knot P( 2,3,7) . As a consequence, we conclude that Dehn surgeries on this knot are left orderable for all rational surgery slopes less than 6. Furthermore, we discuss a family of knots and exhibit similar orderability results for a few other examples.


Grothendieck groups in extriangulated categories. The aim of the paper is to discuss the relation subgroups of the Grothendieck groups of extriangulated categories and certain other subgroups. It is shown that a locally finite extriangulated category C has Auslander Reiten E triangles and the relations of the Grothendieck group K 0 ( C) are generated by the Auslander Rieten E triangles. A partial converse result is given when restricting to the triangulated categories with a cluster tilting subcategory in the triangulated category C with a cluster tilting subcategory, the relations of the Grothendieck group K 0( C) are generated by Auslander Reiten triangles if and only if the triangulated category C is locally finite. It is also shown that there is a one to one correspondence between subgroups of K 0 ( C) containing the image of mathcal G and dense mathcal G (co)resolving subcategories of C where mathcal G is a generator of C, which generalizes results about classifying subcategories of a triangulated cite t or an exact category C cite m by subgroups of K 0 ( C) .


Applications of Algebraic Combinatorics to Algebraic Geometry. We formulate a number of new results in Algebraic Geometry and outline their derivation from Theorem 2.12 which belongs to Algebraic Combinatorics.


On the Goncharov depth conjecture and a formula for volumes of orthoschemes. We prove a conjecture of Goncharov, which says that any multiple polylogarithm can be expressed via polylogarithms of depth at most half of the weight. We give an explicit formula for this presentation, involving a summation over trees that correspond to decompositions of a polygon into quadrangles. Our second result is a formula for volume of hyperbolic orthoschemes, generalizing the formula of Lobachevsky in dimension 3 to an arbitrary dimension. We show a surprising relation between two results, which comes from the fact that hyperbolic orthoschemes are parametrized by configurations of points on mathbb P 1. In particular, we derive both formulas from their common generalization.


Optimized Multivariate Polynomial Determinant on GPU. We present an optimized algorithm calculating determinant for multivariate polynomial matrix on GPU. The novel algorithm provides precise determinant for input multivariate polynomial matrix in controllable time. Our approach is based on modular methods and split into Fast Fourier Transformation, Condensation method and Chinese Remainder Theorem where each algorithm is paralleled on GPU. The experiment results show that our parallel method owns substantial speedups compared to Maple, allowing memory overhead and time expedition in steady increment. We are also able to deal with complex matrix which is over the threshold on Maple and constrained on CPU. In addition, calculation during the process could be recovered without losing accuracy at any point regardless of disruptions. Furthermore, we propose a time prediction for calculation of polynomial determinant according to some basic matrix attributes and we solve an open problem relating to harmonic elimination equations on the basis of our GPU implementation.


Calibrated Adversarial Refinement for Stochastic Semantic Segmentation. In semantic segmentation tasks, input images can often have more than one plausible interpretation, thus allowing for multiple valid labels. To capture such ambiguities, recent work has explored the use of probabilistic networks that can learn a distribution over predictions. However, these do not necessarily represent the empirical distribution accurately. In this work, we present a strategy for learning a calibrated predictive distribution over semantic maps, where the probability associated with each prediction reflects its ground truth correctness likelihood. To this end, we propose a novel two stage, cascaded approach for calibrated adversarial refinement (i) a standard segmentation network is trained with categorical cross entropy to predict a pixelwise probability distribution over semantic classes and (ii) an adversarially trained stochastic network is used to model the inter pixel correlations to refine the output of the first network into coherent samples. Importantly, to calibrate the refinement network and prevent mode collapse, the expectation of the samples in the second stage is matched to the probabilities predicted in the first. We demonstrate the versatility and robustness of the approach by achieving state of the art results on the multigrader LIDC dataset and on a modified Cityscapes dataset with injected ambiguities. In addition, we show that the core design can be adapted to other tasks requiring learning a calibrated predictive distribution by experimenting on a toy regression dataset. We provide an open source implementation of our method at https github.com EliasKassapis CARSSS.


3DViewGraph Learning Global Features for 3D Shapes from A Graph of Unordered Views with Attention. Learning global features by aggregating information over multiple views has been shown to be effective for 3D shape analysis. For view aggregation in deep learning models, pooling has been applied extensively. However, pooling leads to a loss of the content within views, and the spatial relationship among views, which limits the discriminability of learned features. We propose 3DViewGraph to resolve this issue, which learns 3D global features by more effectively aggregating unordered views with attention. Specifically, unordered views taken around a shape are regarded as view nodes on a view graph. 3DViewGraph first learns a novel latent semantic mapping to project low level view features into meaningful latent semantic embeddings in a lower dimensional space, which is spanned by latent semantic patterns. Then, the content and spatial information of each pair of view nodes are encoded by a novel spatial pattern correlation, where the correlation is computed among latent semantic patterns. Finally, all spatial pattern correlations are integrated with attention weights learned by a novel attention mechanism. This further increases the discriminability of learned features by highlighting the unordered view nodes with distinctive characteristics and depressing the ones with appearance ambiguity. We show that 3DViewGraph outperforms state of the art methods under three large scale benchmarks.


On Weak Super Ricci Flow through Neckpinch. In this article, we study the Ricci flow neckpinch in the context of metric measure spaces. We introduce the notion of a Ricci flow metric measure spacetime and of a weak (refined) super Ricci flow associated to convex cost functions (cost functions which are increasing convex functions of the distance function). Our definition of a weak super Ricci flow is based on the coupled contraction property for suitably defined diffusions on maximal diffusion components. In our main theorem, we show that if a non degenerate spherical neckpinch can be continued beyond the singular time by a smooth forward evolution then the corresponding Ricci flow metric measure spacetime through the singularity is a weak super Ricci flow for a (and therefore for all) convex cost functions if and only if the single point pinching phenomenon holds at singular times i.e., if singularities form on a finite number of totally geodesic hypersurfaces of the form x times sphere n . We also show the spacetime is a refined weak super Ricci flow if and only if the flow is a smooth Ricci flow with possibly singular final time.


Immersed Boundary Conformal Isogeometric Method for Linear Elliptic Problems. We present a novel isogeometric method, namely the Immersed Boundary Conformal Method (IBCM), that features a layer of discretization conformal to the boundary while employing a simple background mesh for the remaining domain. In this manner, we leverage the geometric flexibility of the immersed boundary method with the advantages of a conformal discretization, such as intuitive control of mesh resolution around the boundary, higher accuracy per degree of freedom, automatic satisfaction of interface kinematic conditions, and the ability to strongly impose Dirichlet boundary conditions. In the proposed method, starting with a boundary representation of a geometric model, we extrude it to obtain a corresponding conformal layer. Next, a given background B spline mesh is cut with the conformal layer, leading to two disconnected regions an exterior region and an interior region. Depending on the problem of interest, one of the two regions is selected to be coupled with the conformal layer through Nitsche's method. Such a construction involves Boolean operations such as difference and union, which therefore require proper stabilization to deal with arbitrarily cut elements. In this regard, we follow our precedent work called the minimal stabilization method 1 . In the end, we solve several 2D benchmark problems to demonstrate improved accuracy and expected convergence with IBCM. Two applications that involve complex geometries are also studied to show the potential of IBCM, including a spanner model and a fiber reinforced composite model. Moreover, we demonstrate the effectiveness of IBCM in an application that exhibits boundary layer phenomena.


Two photon X ray Ghost Microscope. X ray imaging allows for a non invasive image of the internal structure of an object. The most common form of X ray imaging, projectional radiography, is simply a projection or "shadow" of the object rather than a point to point image possible with a lens. This technique fails to take advantage of the resolving capabilities of short wavelength X rays. Various X ray microscopes, typically operating with soft X rays ( 10 keV), use focusing X ray optics to obtain higher resolution images of the internal structure of an object. Due to the short focal length of focusing X ray optics, it becomes difficult to focus on the internal structure of larger objects in such a way to provide significant magnification to be resolvable. Here we present an imaging mechanism that utilizes two photon X ray ghost imaging to produce a true point to point image of the internal structure of an object, with the potential to introduce focusing X ray optics or a scintillator lens pairing to produce a magnified secondary ghost image. The focusing X ray optics would image the primary ghost image (which has no physical structure to it) allowing the imaging of internal structures deeper than a standard X ray microscope would allow. In principle, once some experimental barriers are overcome, this X ray "ghost microscope" may achieve nanometer spatial resolution and open up new capabilities that would be of interest to the fields of physics, material science, and medical imaging.


Minimum depth of double cross product extensions. In this paper we explore minimum odd and minimum even depth sub algebra pairs in the context of double cross products of finite dimensional Hopf algebras. We start by defining factorization algebras and outline how subring depth in this context relates with the module depth of the regular left module representation of the given subalgebra. Next we study minimum odd depth for double cross product Hopf subalgebras and determine their value in terms of their related module depth, we conclude that minimum odd depth of Drinfeld double Hopf subalgebras is 3. Finaly we produce a necessary and sufficient condition for depth 2 in double cross product Hopf subalgebra extensions. This sufficient condition is then used to prove results regarding minimum depth 2 in Drinfeld double Hopf subalgebras, particularly in the case of finite Group Hopf algebras. Lastly we provide formulas for the centralizer of a normal Hopf subalgebra in a double cross product scenario.


The Kobayashi Royden metric on punctured spheres. This paper gives an explicit formula of the asymptotic expansion of the Kobayashi Royden metric on the punctured sphere mathbb CP 1 backslash 0,1, infty in terms of the exponential Bell polynomials. We prove a local quantitative version of the Little Picard's theorem as an application of the asymptotic expansion. Meanwhile, the approach in the paper leads to the conclusion that the coefficients in the asymptotic expansion are rational numbers. Furthermore, the explicit metric formula and the conclusion regarding the coefficients apply to a more general case as well, the metric on mathbb CP 1 backslash 0, frac 1 3 , frac 1 6 pm frac sqrt 3 6 i will be given as a concrete example of our results.


Vehicular Fog Computing Enabled Real time Collision Warning via Trajectory Calibration. Vehicular fog computing (VFC) has been envisioned as a promising paradigm for enabling a variety of emerging intelligent transportation systems (ITS). However, due to inevitable as well as non negligible issues in wireless communication, including transmission latency and packet loss, it is still challenging in implementing safety critical applications, such as real time collision warning in vehicular networks. In this paper, we present a vehicular fog computing architecture, aiming at supporting effective and real time collision warning by offloading computation and communication overheads to distributed fog nodes. With the system architecture, we further propose a trajectory calibration based collision warning (TCCW) algorithm along with tailored communication protocols. Specifically, an application layer vehicular to infrastructure (V2I) communication delay is fitted by the Stable distribution with real world field testing data. Then, a packet loss detection mechanism is designed. Finally, TCCW calibrates real time vehicle trajectories based on received vehicle status including GPS coordinates, velocity, acceleration, heading direction, as well as the estimation of communication delay and the detection of packet loss. For performance evaluation, we build the simulation model and implement conventional solutions including cloud based warning and fog based warning without calibration for comparison. Real vehicle trajectories are extracted as the input, and the simulation results demonstrate that the effectiveness of TCCW in terms of the highest precision and recall in a wide range of scenarios.


SparseFusion Dynamic Human Avatar Modeling from Sparse RGBD Images. In this paper, we propose a novel approach to reconstruct 3D human body shapes based on a sparse set of RGBD frames using a single RGBD camera. We specifically focus on the realistic settings where human subjects move freely during the capture. The main challenge is how to robustly fuse these sparse frames into a canonical 3D model, under pose changes and surface occlusions. This is addressed by our new framework consisting of the following steps. First, based on a generative human template, for every two frames having sufficient overlap, an initial pairwise alignment is performed It is followed by a global non rigid registration procedure, in which partial results from RGBD frames are collected into a unified 3D shape, under the guidance of correspondences from the pairwise alignment Finally, the texture map of the reconstructed human model is optimized to deliver a clear and spatially consistent texture. Empirical evaluations on synthetic and real datasets demonstrate both quantitatively and qualitatively the superior performance of our framework in reconstructing complete 3D human models with high fidelity. It is worth noting that our framework is flexible, with potential applications going beyond shape reconstruction. As an example, we showcase its use in reshaping and reposing to a new avatar.


Discrete equivalence of non positive at infinity plane valuations. Non positive at infinity valuations are a class of real plane valuations which have a nice geometrical behavior. They are divided in three types. We study the dual graphs of non positive at infinity valuations and give an algorithm for obtaining them. Moreover we compare these graphs attending the type of their corresponding valuation.


Kinetic Modeling of Seeded Nitrogen in an ITER Baseline Scenario. ITER as the next level fusion device is intended to reliably produce more fusion power than required for sustainably heating its plasma. Modeling has been an essential part of the ITER design and for planning of future experimental campaigns. In a tokamak or stellarator plasma discharge, impurities play a significant role, especially in the edge region. Residual gases, eroded wall material, or even intentionally seeded gases all heavily influence the confinement and, thus, the overall fusion performance. Nitrogen is such a gas envisaged to be seeded into a discharge plasma. By modeling the impurities kinetically using the full three dimensional Monte Carlo code package EMC3 EIRENE, we analyze the distribution of nitrogen charge state resolved in a seeded ITER baseline scenario and draw conclusions for the hydrogen background plasma density. Lastly, we compare the influence of a more refined kinetic ion transport in EIRENE including additional physical effects on the impurity density.


Cloud ArcGIS Online as an innovative tool for developing geoinformation competence with future geography teachers. The article dwells upon the scientifically relevant problem of using cloud based GIS technologies when training future geography teachers (based on ArcGIS Online application). The authors outline the basic principles for implementing ArcGIS Online in the educational process (interdisciplinary integration, the sequence of individualization in training, communicability, distance education and regional studies), and provide an example of an interactive map created with the help of the specified cloud GIS, since this kind of map is the most popular a form of research by geography students. In the article it is noted that integration of ArcGIS Online into the educational process allows the teacher to follow a clear pedagogical strategy, taking into account possible variants of its use (demonstration, direct mastering of GIS in a computer class and independent work in an individual mode). Considering cloud GIS as a new stage in the development of geoinformational education, the authors emphasize their key benefits (round the clock access, work with GIS package in the cloud, the ability to use other maps as well as the creation of their own maps and webapplications) and disadvantages (monetization of services, underestimation of the GIS role in the curriculum of the higher school, the lack of Ukrainian content, etc.).


Stochastic Geometry Based Modeling and Analysis of Beam Management in 5G. Beam management is central in the operation of dense 5G cellular networks. Focusing the energy radiated to mobile terminals (MTs) by increasing the number of beams per cell increases signal power and decreases interference, and has hence the potential to bring major improvements on area spectral efficiency (ASE). This benefit, however, comes with unavoidable overheads that increase with the number of beams and the MT speed. This paper proposes a first system level stochastic geometry model encompassing major aspects of the beam management problem frequencies, antennas, and propagation physical layer, wireless links, and coding network geometry, interference, and resource sharing sensing, signaling, and mobility management. This model leads to a simple analytical expression for the effective ASE that the typical user gets in this context. This in turn allows one to find, for a wide variety of 5G network scenarios including millimeter wave (mmWave) and sub 6 GHz, the number of beams per cell that offers the best global trade off between these benefits and costs. We finally provide numerical results that discuss the effects of different systemic trade offs and performances of mmWave and sub 6 GHz 5G deployments.


Saving Face Investigating the Ethical Concerns of Facial Recognition Auditing. Although essential to revealing biased performance, well intentioned attempts at algorithmic auditing can have effects that may harm the very populations these measures are meant to protect. This concern is even more salient while auditing biometric systems such as facial recognition, where the data is sensitive and the technology is often used in ethically questionable manners. We demonstrate a set of five ethical concerns in the particular case of auditing commercial facial processing technology, highlighting additional design considerations and ethical tensions the auditor needs to be aware of so as not exacerbate or complement the harms propagated by the audited system. We go further to provide tangible illustrations of these concerns, and conclude by reflecting on what these concerns mean for the role of the algorithmic audit and the fundamental product limitations they reveal.


SHREWD Semantic Hierarchy based Relational Embeddings for Weakly supervised Deep Hashing. Using class labels to represent class similarity is a typical approach to training deep hashing systems for retrieval samples from the same or different classes take binary 1 or 0 similarity values. This similarity does not model the full rich knowledge of semantic relations that may be present between data points. In this work we build upon the idea of using semantic hierarchies to form distance metrics between all available sample labels for example cat to dog has a smaller distance than cat to guitar. We combine this type of semantic distance into a loss function to promote similar distances between the deep neural network embeddings. We also introduce an empirical Kullback Leibler divergence loss term to promote binarization and uniformity of the embeddings. We test the resulting SHREWD method and demonstrate improvements in hierarchical retrieval scores using compact, binary hash codes instead of real valued ones, and show that in a weakly supervised hashing setting we are able to learn competitively without explicitly relying on class labels, but instead on similarities between labels.


FLEXI A high order discontinuous Galerkin framework for hyperbolic parabolic conservation laws. High order (HO) schemes are attractive candidates for the numerical solution of multiscale problems occurring in fluid dynamics and related disciplines. Among the HO discretization variants, discontinuous Galerkin schemes offer a collection of advantageous features which have lead to a strong increase in interest in them and related formulations in the last decade. The methods have matured sufficiently to be of practical use for a range of problems, for example in direct numerical and large eddy simulation of turbulence. However, in order to take full advantage of the potential benefits of these methods, all steps in the simulation chain must be designed and executed with HO in mind. Especially in this area, many commercially available closed source solutions fall short. In this work, we therefor present the FLEXI framework, a HO consistent, open source simulation tool chain for solving the compressible Navier Stokes equations in a high performance computing setting. We describe the numerical algorithms and implementation details and give an overview of the features and capabilities of all parts of the framework. Beyond these technical details, we also discuss the important, but often overlooked issues of code stability, reproducibility and user friendliness. The benefits gained by developing an open source framework are discussed, with a particular focus on usability for the open source community. We close with sample applications that demonstrate the wide range of use cases and the expandability of FLEXI and an overview of current and future developments.


Highly Efficient Second Harmonic Generation of Thin Film Lithium Niobate Nanograting near Bound States in the Continuum. Bound states in the continuum (BICs), a concept from quantum mechanics, are ubiquitous physical phenomena where waves will be completely locked inside physical systems without energy leaky. Such a physical phenomenon in optics will provide a platform for optical mode confinement to strengthen local field enhancement in nonlinear optics. Here we utilize an optical system consisting of asymmetric nanogratings and waveguide of thin film lithium niobate (LiNbO3) material to enhance second harmonic response near BICs. By breaking the symmetry of grating periodicity, we realize strong local field confined inside waveguide up to 25 times normalized to incident field (with dissymmetric factor of 0.2), allowing strong light matter interaction in nonlinear material. From the numerical simulation, we theoretically demonstrate that such an optical system can greatly enhance second harmonic intensity enhancement of about 104 compared with undersigned LiNbO3 film and conversion efficiency reaching 1.53e 5 for dissymmetric factor 0.2 under illumination of 1.33 GW (suqare cm). Surprisingly, we can predict that a giant enhancement of second harmonic conversion efficiency will exceed 8.13e 5 for dissymmetric factor 0.1 when the optical system is extremely close to BICs. We believe that such an optical system to trap local field inside is also accessible to promote the application of thin film lithium niobate in the field of integrated nonlinear optics.


Neural Additive Vector Autoregression Models for Causal Discovery in Time Series. Causal structure discovery in complex dynamical systems is an important challenge for many scientific domains. Although data from (interventional) experiments is usually limited, large amounts of observational time series data sets are usually available. Current methods that learn causal structure from time series often assume linear relationships. Hence, they may fail in realistic settings that contain nonlinear relations between the variables. We propose Neural Additive Vector Autoregression (NAVAR) models, a neural approach to causal structure learning that can discover nonlinear relationships. We train deep neural networks that extract the (additive) Granger causal influences from the time evolution in multi variate time series. The method achieves state of the art results on various benchmark data sets for causal discovery, while providing clear interpretations of the mapped causal relations.


Rod in a train a mechanical problem of H.Whitney, or Much Ado About Nothing. In 1941 a mechanical problem about a rod in a moving train (there is a initial position such that rod does not touch the floor while train is moving) was published by R.Courant and H.Robbins in their popular book "What is mathematics?" and attributed to H.Whitney. Many mathematicians, including G.E.Littlewood, A.Broman, T.Poston, I.Stewart, V.Arnold, commented on this problem and its solution based on a continuity argument, and created a lot of confusion. In this paper we follow these developments and discuss at what extent the objections were justified. (In Russian)


Generalized topological semantics for weak modal logics. Generalized topological spaces are not necessarily closed under finite intersections. Moreover, the whole universe does not need to be open. We use modified version of this framework to establish certain models for non normal modal logics. We consider at least two approaches to this topic, wherein one of them is based on the interplay of two operators, both reflecting the idea of necessity. The second one leads to the quite known logics MT4 and MNT4. We obtain some completeness results and we prove correspondence between different classes of frames. Also, three types of bisimulation are investigated.


Bilevel optimal control existence results and stationarity conditions. The mathematical modeling of numerous real world applications results in hierarchical optimization problems with two decision makers where at least one of them has to solve an optimal control problem of ordinary or partial differential equations. Such models are referred to as bilevel optimal control problems. Here, we first review some different features of bilevel optimal control including important applications, existence results, solution approaches, and optimality conditions. Afterwards, we focus on a specific problem class where parameters appearing in the objective functional of an optimal control problem of partial differential equations have to be reconstructed. After verifying the existence of solutions, necessary optimality conditions are derived by exploiting the optimal value function of the underlying parametric optimal control problem in the context of a relaxation approach.


Gated Fusion Network for Degraded Image Super Resolution. Single image super resolution aims to enhance image quality with respect to spatial content, which is a fundamental task in computer vision. In this work, we address the task of single frame super resolution with the presence of image degradation, e.g., blur, haze, or rain streaks. Due to the limitations of frame capturing and formation processes, image degradation is inevitable, and the artifacts would be exacerbated by super resolution methods. To address this problem, we propose a dual branch convolutional neural network to extract base features and recovered features separately. The base features contain local and global information of the input image. On the other hand, the recovered features focus on the degraded regions and are used to remove the degradation. Those features are then fused through a recursive gate module to obtain sharp features for super resolution. By decomposing the feature extraction step into two task independent streams, the dual branch model can facilitate the training process by avoiding learning the mixed degradation all in one and thus enhance the final high resolution prediction results. We evaluate the proposed method in three degradation scenarios. Experiments on these scenarios demonstrate that the proposed method performs more efficiently and favorably against the state of the art approaches on benchmark datasets.


A solver for stiff finite rate relaxation in Baer Nunziato two phase flow models. In this paper we present a technique for constructing robust solvers for stiff algebraic source terms, such as those typically used for modelling relaxation processes in hyperbolic systems of partial differential equations describing two phase flows, namely models of the Baer Nunziato family. The method is based on an exponential integrator which employs an approximate linearised source term operator that is constructed in such a way that one can compute solutions to the linearised equations avoiding any delicate matrix inversion operations.


Ignition criteria and the effect of boundary layers on wedge stabilized oblique detonation waves. Simulations of a supersonic, premixed, reacting flow over a wedge were performed to investigate the effect of a boundary layer on the wedge surface on ignition and stability of oblique detonation waves (ODWs). Two computational domains were used one containing a wedge of a single angle with a straight after body, and the other containing a double angle wedge geometry. Both domains were channels with a supersonic inflow of stoichiometric hydrogen air and a nonreflecting outflow, and the wedge was modeled using an immersed boundary method. The compressible reactive Navier Stokes equations were solved using a high order numerical algorithm on an adapting grid. Inviscid and viscous wedge surfaces were modeled using slip and no slip adiabatic boundary conditions, respectively. Inviscid wedge surface cases are presented for a range of inflow conditions and compared to previous work outlining several different ODW structures. An ignition criterion is established as an accurate method of predicting the formation of an ODW for a given inflow temperature, Mach number, wedge angle, and length of the inviscid wedge surface. A viscous wedge surface is then considered for a Mach 5 inflow at temperatures of 600 K, 700 K, and 800 K. The 600 K flow ignites in the boundary layer, but does not detonate, while the 700 K and 800 K flows ignite and form ODWs. It was determined that ODW formation depends on the degree of augmentation of the leading oblique shock wave by the burning boundary layer and that ODW formation is therefore predictable based on the ignition criterion. The 700 K flow produces a unique oscillatory mode of a receding ODW followed by a redetonation event occurring near the leading edge. A mechanism for this cycle, which repeats indefinitely, is proposed.


ImVoteNet Boosting 3D Object Detection in Point Clouds with Image Votes. 3D object detection has seen quick progress thanks to advances in deep learning on point clouds. A few recent works have even shown state of the art performance with just point clouds input (e.g. VoteNet). However, point cloud data have inherent limitations. They are sparse, lack color information and often suffer from sensor noise. Images, on the other hand, have high resolution and rich texture. Thus they can complement the 3D geometry provided by point clouds. Yet how to effectively use image information to assist point cloud based detection is still an open question. In this work, we build on top of VoteNet and propose a 3D detection architecture called ImVoteNet specialized for RGB D scenes. ImVoteNet is based on fusing 2D votes in images and 3D votes in point clouds. Compared to prior work on multi modal detection, we explicitly extract both geometric and semantic features from the 2D images. We leverage camera parameters to lift these features to 3D. To improve the synergy of 2D 3D feature fusion, we also propose a multi tower training scheme. We validate our model on the challenging SUN RGB D dataset, advancing state of the art results by 5.7 mAP. We also provide rich ablation studies to analyze the contribution of each design choice.


Subset Sum Instances in ZFC Limbo. Our main result, Theorem 2.5, shows the existence of a vast infinity of subset sum problems solvable in polynomial time. The only proof we have of this result uses the ZFC independent Jump Free Theorem of Harvey Friedman, thus putting Theorem 2.5 in what we call ZFC limbo. The mathematics we use is elementary and at the level of a good undergraduate course in combinatorics or design and analysis of algorithms. The statement of the Jump Free Theorem is also easily understood at this level (but not the proof).


Towards an in situ, full power gauge of the focal volume intensity of petawatt class lasers. About 50 years ago, Sarachick and Schappert Phys. Rev. D. 1, 2738 (1970) showed that relativistic Thomson scattering leads to wavelength shifts that are proportional to the laser intensity. About 28 years later Chen et al. Nature 396, 653 (1998) used these shifts to estimate their laser intensity near 10 18 W cm 2. More recently there have been several theoretical studies aimed at exploiting nonlinear Thomson scattering as a tool for direct measurement of intensities well into the relativistic regime. We present the first quantitative study of this approach for intensities between 10 18 and 10 19 W cm 2. We show that the spectral shifts are in reasonable agreement with estimates of the peak intensity extracted from images of the focal area obtained at reduced power. Finally, we discuss the viability of the approach, its range of usefulness and how it might be extended to gauge intensities well in excess of 10 19 W cm 2.


On the existence of abelian surfaces with everywhere good reduction. Let D le 2000 be a positive discriminant such that F mathbf Q ( sqrt D ) has narrow class one, and A F an abelian surface of rm GL 2 type with everywhere good reduction. Assuming that A is modular, we show that A is either an F surface or is a base change from mathbf Q of an abelian surface B such that rm End mathbf Q (B) mathbf Z , except for D 353, 421, 1321, 1597 and 1997 . In the latter case, we show that there are indeed abelian surfaces with everywhere good reduction over F for D 353, 421 and 1597 , which are non isogenous to their Galois conjugates. These are the first known such examples.


Implementing Ethics in AI Initial Results of an Industrial Multiple Case Study. Artificial intelligence (AI) is becoming increasingly widespread in system development endeavors. As AI systems affect various stakeholders due to their unique nature, the growing influence of these systems calls for ethical considerations. Academic discussion and practical examples of autonomous system failures have highlighted the need for implementing ethics in software development. However, research on methods and tools for implementing ethics into AI system design and development in practice is still lacking. This paper begins to address this focal problem by providing elements needed for producing a baseline for ethics in AI based software development. We do so by means of an industrial multiple case study on AI systems development in the healthcare sector. Using a research model based on extant, conceptual AI ethics literature, we explore the current state of practice out on the field in the absence of formal methods and tools for ethically aligned design.


Extrapolation in Weighted Classical and Grand Lorentz Spaces. Application to the Boundedness of Integral operators. We establish weighted extrapolation theorems in classical and grand Lorentz spaces. As a consequence we have the weighted boundedness of operators of Harmonic Analysis in grand Lorentz spaces. We treat both cases diagonal and off diagonal ones.


Twisted Quasi elliptic cohomology and twisted equivariant elliptic cohomology. In this paper we construct a Chern character map from quasi elliptic cohomology theory to Devoto's equivariant elliptic cohomology theory. Moreover, we construct twisted quasi elliptic cohomology. To provide a geometric interpretation of it, we define a version of twisted equivariant loop space via bibundles. In addition, we construct a twisted Chern character map from it to twisted equivariant elliptic cohomology theory.