General Rules for the Impact of Energetic Disorder and Mobility on Nongeminate Recombination in Phase Separated Organic Solar Cells. State of the art organic solar cells exhibit power conversion efficiencies of 18 and above. These devices benefit from the suppression of free charge recombination with regard to the Langevin limit of charge encounter in a homogeneous medium. It has been recognized that the main cause of suppressed free charge recombination is the reformation and resplitting of charge transfer states at the interface between donor and acceptor domains. Here, we use kinetic Monte Carlo simulations to understand the interplay between free charge motion and recombination in an energetically disordered phase separated donor acceptor blend. We identify conditions for encounter dominated and resplitting dominated recombination. In the former regime, recombination is proportional to mobility for all parameters tested and only slightly reduced with respect to the Langevin limit. In contrast, mobility is not the decisive parameter determining the non geminate recombination coefficient k 2in the latter case where k 2 is a sole function of the morphology, CT and CS energetics and CT states decay properties. Our simulations also show that free charge encounter in the phase separated disordered blend is determined by the average mobility of all carriers, while CT reformation and resplitting involves mostly states near the transport energy. Therefore, charge encounter is more affected by increased disorder than the resplitting of the CT state. As a consequence, for a given mobility, larger energetic disorder in combination with a higher hopping rate is preferred. These findings have important implications for the understanding of suppressed recombination in solar cells with non fullerene acceptors which are known to exhibit lower energetic disorder than fullerenes.


The (2,1) category of small coherent categories. There is a well known correspondence between coherent theories (and their interpretations) and coherent categories (resp. functors), hence the (2,1) category mathbf Coh sim (of small coherent categories, coherent functors and all natural isomorphisms) is of logical interest. We prove that this category admits all small 2 limits and 2 colimits (in the ( infty ,1) categorical sense), and prove a 2 categorical small object argument to provide weak factorisation systems for coherent functors.


SENT Sentence level Distant Relation Extraction via Negative Training. Distant supervision for relation extraction provides uniform bag labels for each sentence inside the bag, while accurate sentence labels are important for downstream applications that need the exact relation type. Directly using bag labels for sentence level training will introduce much noise, thus severely degrading performance. In this work, we propose the use of negative training (NT), in which a model is trained using complementary labels regarding that the instance does not belong to these complementary labels". Since the probability of selecting a true label as a complementary label is low, NT provides less noisy information. Furthermore, the model trained with NT is able to separate the noisy data from the training data. Based on NT, we propose a sentence level framework, SENT, for distant relation extraction. SENT not only filters the noisy data to construct a cleaner dataset, but also performs a re labeling process to transform the noisy data into useful training data, thus further benefiting the model's performance. Experimental results show the significant improvement of the proposed method over previous methods on sentence level evaluation and de noise effect.


A Unified Topological Approach to Data Science. We establish a new theory which gives a unified topological approach to data science, by being applicable both to point cloud data and to graph data, including networks beyond pairwise interactions. We generalize simplicial complexes and hypergraphs to super hypergraphs and establish super hypergraph homology as an extension of simplicial homology. Driven by applications, we also introduce super persistent homology.


A Grounded Theory of the Role of Coordination in Software Security Patch Management. Several disastrous security attacks can be attributed to delays in patching software vulnerabilities. While researchers and practitioners have paid significant attention to automate vulnerabilities identification and patch development activities of software security patch management, there has been relatively little effort dedicated to gain an in depth understanding of the socio technical aspects, e.g., coordination of interdependent activities of the patching process and patching decisions, that may cause delays in applying security patches. We report on a Grounded Theory study of the role of coordination in security patch management. The reported theory consists of four inter related dimensions, i.e., causes, breakdowns, constraints, and mechanisms. The theory explains the causes that define the need for coordination among interdependent software and hardware components and multiple stakeholders' decisions, the constraints that can negatively impact coordination, the breakdowns in coordination, and the potential corrective measures. This study provides potentially useful insights for researchers and practitioners who can carefully consider the needs of and devise suitable solutions for supporting the coordination of interdependencies involved in security patch management.


Automated User Experience Testing through Multi Dimensional Performance Impact Analysis. Although there are many automated software testing suites, they usually focus on unit, system, and interface testing. However, especially software updates such as new security features have the potential to diminish user experience. In this paper, we propose a novel automated user experience testing methodology that learns how code changes impact the time unit and system tests take, and extrapolate user experience changes based on this information. Such a tool can be integrated into existing continuous integration pipelines, and it provides software teams immediate user experience feedback. We construct a feature set from lexical, layout, and syntactic characteristics of the code, and using Abstract Syntax Tree Based Embeddings, we can calculate the approximate semantic distance to feed into a machine learning algorithm. In our experiments, we use several regression methods to estimate the time impact of software updates. Our open source tool achieved 3.7 mean absolute error rate with a random forest regressor.


The Complexity of Shake Slice Knots. We define a notion of complexity for shake slice knots which is analogous to the definition of complexity for h cobordisms studied by Morgan Szab 'o. We prove that for each framing n ne 0 and complexity c ge 1 , there is an n shake slice knot with complexity at least c . Our construction makes use of dualizable patterns, and we include a crash course in their constructions and properties. We bound complexity by studing the behavior of the classical knot signature and the Levine Tristram signature of a knot under the operation of twisting algebraically one strands.


On the extraordinary construction of cycle sets by Wolfgang Rump. Cycle sets are algebraic structures introduced by Rump to study set theoretic solutions to the Yang Baxter equation. While studying cycle sets Rump also introduced braces, which have since overtaken cycle sets as a tool for studying solutions. This survey paper is primarily an introduction to cycle sets, motivating their study and relating them to key results of brace theory and Yang Baxter theory. It is aimed at anyone from those already very familiar with braces but less familiar with cycle sets, to those with only a basic level of background in ring theory and group theory. We introduce cycle sets following Rump's original results giving more detailed, easy to follow versions of his proofs and then relate them back to left braces. We also go on to discuss interesting constructions of cycle sets which do not necessarily correspond directly to braces.


Stability of Respiratory Like Droplets under Evaporation. Pathogens contained in airborne respiratory droplets have been seen to remain infectious for periods of time that depend on the ambient temperature and humidity. In particular, regarding the humidity, the empirically least favorable conditions for the survival of viral pathogens are found at intermediate humidities. However, the precise physico chemical mechanisms that generate such least favorable conditions are not understood yet. In this work, we analyze the evaporation dynamics of respiratory like droplets in air, semi levitating them on superhydrophobic substrates with minimal solid liquid contact area. Our results reveal that, compared to pure water droplets, the salt dissolved in the droplets can significantly change the evaporation behaviour, especially for high humidities close to and above the deliquesence limit. Due to the hygroscopic properties of salt, water evaporation is inhibited once the salt concentration reaches a critical value that depends on the relative humidity. The salt concentration in a stable droplet reaches its maximum at around 75 relative humidity, generating conditions that might shorten the time in which pathogens remain infectious.


Strong solutions to McKean Vlasov SDEs with coefficients of Nemytskii type. We show a restricted pathwise uniqueness result for a class of McKean Vlasov stochastic differential equations with drift and diffusion coefficient depending on the density of the solution's time marginal laws in a Nemytskii type of way. In addition, we will show the existence of a strong solution to this equation via a restricted Yamada Watanabe theorem.


AI in Osteoporosis. In this chapter we explore and evaluate methods for trabecular bone characterization and osteoporosis diagnosis with increased interest in sparse approximations. We first describe texture representation and classification techniques, patch based methods such as Bag of Keypoints, and more recent deep neural networks. Then we introduce the concept of sparse representations for pattern recognition and we detail integrative sparse analysis methods and classifier decision fusion methods. We report cross validation results on osteoporosis datasets of bone radiographs and compare the results produced by the different categories of methods. We conclude that advances in the AI and machine learning fields have enabled the development of methods that can be used as diagnostic tools in clinical settings.


Countering Adaptive Network Covert Communication with Dynamic Wardens. Network covert channels are hidden communication channels in computer networks. They influence several factors of the cybersecurity economy. For instance, by improving the stealthiness of botnet communications, they aid and preserve the value of darknet botnet sales. Covert channels can also be used to secretly exfiltrate confidential data out of organizations, potentially resulting in loss of market research advantage. Considering the above, efforts are needed to develop effective countermeasures against such threats. Thus in this paper, based on the introduced novel warden taxonomy, we present and evaluate a new concept of a dynamic warden. Its main novelty lies in the modification of the warden's behavior over time, making it difficult for the adaptive covert communication parties to infer its strategy and perform a successful hidden data exchange. Obtained experimental results indicate the effectiveness of the proposed approach.


Copyright in Generative Deep Learning. Machine generated artworks are now part of the contemporary art scene they are attracting significant investments and they are presented in exhibitions together with those created by human artists. These artworks are mainly based on generative deep learning techniques, which have seen a formidable development and remarkable refinement in the very recent years. Given the inherent characteristics of these techniques, a series of novel legal problems arise. In this article, we consider a set of key questions in the area of generative deep learning for the arts, including the following is it possible to use copyrighted works as training set for generative models? How do we legally store their copies in order to perform the training process? Who (if someone) will own the copyright on the generated data? We try to answer these questions considering the law in force in both the United States of America and the European Union, and potential future alternatives. We then extend our analysis to code generation, which is an emerging area of generative deep learning. Finally, we also formulate a set of practical guidelines for artists and developers working on deep learning generated art, as well as some policy suggestions for policymakers.


Measurement comparison among Time Domain, FTIR and VNA based spectrometers in the THz frequency range. In this paper we present the outcome of the first international comparison in the terahertz frequency range among three different kinds of spectrometers. A Fourier Transform infrared spectrometer, a Vector Network Analyzer and a Time Domain Spectrometer have been employed for measuring the complex refractive index of three travelling standards made of selected dielectric materials in order to offer a wide enough range of parameters to be measured. The three spectrometers have been compared in terms of measurement capability and uncertainty.


A Dynamic Scheduling Policy for a Network with Heterogeneous Time Sensitive Traffic. In 5G and beyond systems, the notion of latency gets a great momentum in wireless connectivity as a metric for serving real time communications requirements. However, in many applications, research has pointed out that latency could be inefficient to handle applications with data freshness requirements. Recently, the notion of Age of Information (AoI) that can capture the freshness of the data has attracted a lot of attention. In this work, we consider mixed traffic with time sensitive users a deadline constrained user, and an AoI oriented user. To develop an efficient scheduling policy, we cast a novel optimization problem formulation for minimizing the average AoI while satisfying the timely throughput constraints. The formulated problem is cast as a Constrained Markov Decision Process (CMDP). We relax the constrained problem to an unconstrained Markov Decision Process (MDP) problem by utilizing Lyapunov optimization theory and it can be proved that it is solved per frame by applying backward dynamic programming algorithms with optimality guarantees. Simulation results show that the timely throughput constraints are satisfied while minimizing the average AoI. Also, simulation results show the convergence of the algorithm for different values of the weighted factor and the trade off between the AoI and the timely throughput.


Warmstarting column generation for unit commitment. This work focuses on a solution method for unit commitment problems which are to be solved repeatedly with different data but with the same problem structures. Dantzig Wolfe decomposition with a column generation procedure has been proved successful for the unit commitment problem. We demonstrate use of a neural network to generate initial dual values for the column generation procedure, and show how the neural network can be trained efficiently using dual decomposition. Our numerical experiments compare our methods with baselines and reveal that our approach solves test instances to high precision in shorter computational time and scales to handle larger scale instances.


Extensions of ADMM for Separable Convex Optimization Problems with Linear Equality or Inequality Constraints. The alternating direction method of multipliers (ADMM) proposed by Glowinski and Marrocco is a benchmark algorithm for two block separable convex optimization problems with linear equality constraints. It has been modified, specified, and generalized from various perspectives to tackle more concrete or complicated application problems. Despite its versatility and phenomenal popularity, it remains unknown whether or not the ADMM can be extended to separable convex optimization problems with linear inequality constraints. In this paper, we lay down the foundation of how to extend the ADMM to two block and multiple block (more than two blocks) separable convex optimization problems with linear inequality constraints. From a high level and methodological perspective, we propose a unified framework of algorithmic design and a roadmap for convergence analysis in the context of variational inequalities, based on which it is possible to design a series of concrete ADMM based algorithms with provable convergence in the prediction correction structure. The proposed algorithmic framework and roadmap for convergence analysis are eligible to various convex optimization problems with different degrees of separability, in which both linear equality and linear inequality constraints can be included. The analysis is comprehensive yet can be presented by elementary mathematics, and hence generically understandable.


Tempered Fractional Brownian Motion with Variable Index and Variable Tempering Parameter. Generalizations of tempered fractional Brownian from single index to two indices and variable index or tempered multifractional Brownian motion are studied. Tempered fractional Brownian motion and tempered multifractional Brownian motion with variable tempering parameter are considered.


Group CAM Group Score Weighted Visual Explanations for Deep Convolutional Networks. In this paper, we propose an efficient saliency map generation method, called Group score weighted Class Activation Mapping (Group CAM), which adopts the "split transform merge" strategy to generate saliency maps. Specifically, for an input image, the class activations are firstly split into groups. In each group, the sub activations are summed and de noised as an initial mask. After that, the initial masks are transformed with meaningful perturbations and then applied to preserve sub pixels of the input (i.e., masked inputs), which are then fed into the network to calculate the confidence scores. Finally, the initial masks are weighted summed to form the final saliency map, where the weights are confidence scores produced by the masked inputs. Group CAM is efficient yet effective, which only requires dozens of queries to the network while producing target related saliency maps. As a result, Group CAM can be served as an effective data augment trick for fine tuning the networks. We comprehensively evaluate the performance of Group CAM on common used benchmarks, including deletion and insertion tests on ImageNet 1k, and pointing game tests on COCO2017. Extensive experimental results demonstrate that Group CAM achieves better visual performance than the current state of the art explanation approaches. The code is available at https github.com wofmanaf Group CAM.


Unbalanced Feature Transport for Exemplar based Image Translation. Despite the great success of GANs in images translation with different conditioned inputs such as semantic segmentation and edge maps, generating high fidelity realistic images with reference styles remains a grand challenge in conditional image to image translation. This paper presents a general image translation framework that incorporates optimal transport for feature alignment between conditional inputs and style exemplars in image translation. The introduction of optimal transport mitigates the constraint of many to one feature matching significantly while building up accurate semantic correspondences between conditional inputs and exemplars. We design a novel unbalanced optimal transport to address the transport between features with deviational distributions which exists widely between conditional inputs and exemplars. In addition, we design a semantic activation normalization scheme that injects style features of exemplars into the image translation process successfully. Extensive experiments over multiple image translation tasks show that our method achieves superior image translation qualitatively and quantitatively as compared with the state of the art.


A survey of size counting in population protocols. The population protocol model describes a network of n anonymous agents who cannot control with whom they interact. The agents collectively solve some computational problem through random pairwise interactions, each agent updating its own state in response to seeing the state of the other agent. They are equivalent to the model of chemical reaction networks, describing abstract chemical reactions such as A B rightarrow C D , when the latter is subject to the restriction that all reactions have two reactants and two products, and all rate constants are 1. The counting problem is that of designing a protocol so that n agents, all starting in the same state, eventually converge to states where each agent encodes in its state an exact or approximate description of population size n . In this survey paper, we describe recent algorithmic advances on the counting problem.


Contrastive Semantic Similarity Learning for Image Captioning Evaluation with Intrinsic Auto encoder. Automatically evaluating the quality of image captions can be very challenging since human language is quite flexible that there can be various expressions for the same meaning. Most of the current captioning metrics rely on token level matching between candidate caption and the ground truth label sentences. It usually neglects the sentence level information. Motivated by the auto encoder mechanism and contrastive representation learning advances, we propose a learning based metric for image captioning, which we call Intrinsic Image Captioning Evaluation( I 2CE ). We develop three progressive model structures to learn the sentence level representations single branch model, dual branches model, and triple branches model. Our empirical tests show that I 2CE trained with dual branches structure achieves better consistency with human judgments to contemporary image captioning evaluation metrics. Furthermore, We select several state of the art image captioning models and test their performances on the MS COCO dataset concerning both contemporary metrics and the proposed I 2CE . Experiment results show that our proposed method can align well with the scores generated from other contemporary metrics. On this concern, the proposed metric could serve as a novel indicator of the intrinsic information between captions, which may be complementary to the existing ones.


On a lower bound of de Rham depth of affine cone of a projective space in characteristic zero. In this paper, we find out a lower bound of the de Rham depth of affine cone of a projective space.


Semantically Consistent Image to Image Translation for Unsupervised Domain Adaptation. Unsupervised Domain Adaptation (UDA) aims to adapt models trained on a source domain to a new target domain where no labelled data is available. In this work, we investigate the problem of UDA from a synthetic computer generated domain to a similar but real world domain for learning semantic segmentation. We propose a semantically consistent image to image translation method in combination with a consistency regularisation method for UDA. We overcome previous limitations on transferring synthetic images to real looking images. We leverage pseudo labels in order to learn a generative image to image translation model that receives additional feedback from semantic labels on both domains. Our method outperforms state of the art methods that combine image to image translation and semi supervised learning on relevant domain adaptation benchmarks, i.e., on GTA5 to Cityscapes and SYNTHIA to Cityscapes.


Improving GNSS Positioning using Neural Network based Corrections. Deep Neural Networks (DNNs) are a promising tool for Global Navigation Satellite System (GNSS) positioning in the presence of multipath and non line of sight errors, owing to their ability to model complex errors using data. However, developing a DNN for GNSS positioning presents various challenges, such as 1) poor numerical conditioning caused by large variations in measurements and position values across the globe, 2) varying number and order within the set of measurements due to changing satellite visibility, and 3) overfitting to available data. In this work, we address the aforementioned challenges and propose an approach for GNSS positioning by applying DNN based corrections to an initial position guess. Our DNN learns to output the position correction using the set of pseudorange residuals and satellite line of sight vectors as inputs. The limited variation in these input and output values improves the numerical conditioning for our DNN. We design our DNN architecture to combine information from the available GNSS measurements, which vary both in number and order, by leveraging recent advancements in set based deep learning methods. Furthermore, we present a data augmentation strategy for reducing overfitting in the DNN by randomizing the initial position guesses. We first perform simulations and show an improvement in the initial positioning error when our DNN based corrections are applied. After this, we demonstrate that our approach outperforms a WLS baseline on real world data. Our implementation is available at github.com Stanford NavLab deep gnss.


Learning Visual Representations with Optimum Path Forest and its Applications to Barrett's Esophagus and Adenocarcinoma Diagnosis. In this work, we introduce the unsupervised Optimum Path Forest (OPF) classifier for learning visual dictionaries in the context of Barrett's esophagus (BE) and automatic adenocarcinoma diagnosis. The proposed approach was validated in two datasets (MICCAI 2015 and Augsburg) using three different feature extractors (SIFT, SURF, and the not yet applied to the BE context A KAZE), as well as five supervised classifiers, including two variants of the OPF, Support Vector Machines with Radial Basis Function and Linear kernels, and a Bayesian classifier. Concerning MICCAI 2015 dataset, the best results were obtained using unsupervised OPF for dictionary generation using supervised OPF for classification purposes and using SURF feature extractor with accuracy nearly to 78 for distinguishing BE patients from adenocarcinoma ones. Regarding the Augsburg dataset, the most accurate results were also obtained using both OPF classifiers but with A KAZE as the feature extractor with accuracy close to 73 . The combination of feature extraction and bag of visual words techniques showed results that outperformed others obtained recently in the literature, as well as we highlight new advances in the related research area. Reinforcing the significance of this work, to the best of our knowledge, this is the first one that aimed at addressing computer aided BE identification using bag of visual words and OPF classifiers, being this application of unsupervised technique in the BE feature calculation the major contribution of this work. It is also proposed a new BE and adenocarcinoma description using the A KAZE features, not yet applied in the literature.


Pop Stack Sorting for Coxeter Groups. Let W be an irreducible Coxeter group. We define the Coxeter pop stack sorting operator mathsf Pop W to W to be the map that fixes the identity element and sends each nonidentity element w to the meet of the elements covered by w in the right weak order. When W is the symmetric group S n , mathsf Pop coincides with the pop stack sorting map. Generalizing a theorem about the pop stack sorting map due to Ungar, we prove that sup limits w in W left O mathsf Pop (w) right h , where O mathsf Pop (w) is the forward orbit of w under mathsf Pop and h is the Coxeter number of W (with h infty if W is infinite). More generally, we define a map f W to W to be compulsive if for every w in W , f(w) is less than or equal to mathsf Pop (w) in the right weak order. We prove that if f is compulsive, then sup limits w in W O f(w) leq h . This result is new even for symmetric groups. We prove that 2 pop stack sortable elements in type B are in bijection with 2 pop stack sortable permutations in type A , which were enumerated by Pudwell and Smith. Claesson and Gudmundsson proved that for each fixed nonnegative integer t , the generating function that counts t pop stack sortable permutations in type A is rational we establish analogous results in types B and widetilde A .


Hierarchical Reinforcement Learning with Timed Subgoals. Hierarchical reinforcement learning (HRL) holds great potential for sample efficient learning on challenging long horizon tasks. In particular, letting a higher level assign subgoals to a lower level has been shown to enable fast learning on difficult problems. However, such subgoal based methods have been designed with static reinforcement learning environments in mind and consequently struggle with dynamic elements beyond the immediate control of the agent even though they are ubiquitous in real world problems. In this paper, we introduce Hierarchical reinforcement learning with Timed Subgoals (HiTS), an HRL algorithm that enables the agent to adapt its timing to a dynamic environment by not only specifying what goal state is to be reached but also when. We discuss how communicating with a lower level in terms of such timed subgoals results in a more stable learning problem for the higher level. Our experiments on a range of standard benchmarks and three new challenging dynamic reinforcement learning environments show that our method is capable of sample efficient learning where an existing state of the art subgoal based HRL method fails to learn stable solutions.


Quantitative characteristics of cycles and their relations with stretch and spanning tree congestion. The main goal of this article is to introduce new quantitative characteristics of cycles in finite simple connected graphs and to establish relations of these characteristics with the stretch and spanning tree congestion of graphs. The main new parameter is named the support number. We give a polynomial approximation algorithm for the support number with the aid of yet another characteristic we introduce, named the cycle width of the graph.


The rigid beam model for simulating plasmas generated by intense electron beams. We introduce a simplified model of the electron beam plasma system to model the electrical breakdown caused by the inductive electric field created by a rapidly rising electron beam current. The rigid beam model is a reduction to the problem geometry to cylindrical coordinated and simplifications to Maxwell's equations that are driven by a prescribed electron beam current density. The model is very convenient for comparing various reductions of the plasma dynamics and air chemistry equation while maintaining a good approximation to the overall magnitude of the beam created electric field. The usefulness of this model is demonstrated by comparing results for two different fluid reductions of the plasma dynamics one where the collision rates are computed from the local reduced electric field (E p) and another where the collision rates are determined from the mean energy per particle. We find that the two methods give similar results at higher pressures where the energy relation rate is large but differs significantly at lower pressures where the characteristic inelastic energy loss time scale is comparable to or greater than the rise time of the electron beam current.


Sparse Channel Reconstruction With Nonconvex Regularizer via DC Programming for Massive MIMO Systems. Sparse channel estimation for massive multiple input multiple output systems has drawn much attention in recent years. The required pilots are substantially reduced when the sparse channel state vectors can be reconstructed from a few numbers of measurements. A popular approach for sparse reconstruction is to solve the least squares problem with a convex regularization. However, the convex regularizer is either too loose to force sparsity or lead to biased estimation. In this paper, the sparse channel reconstruction is solved by minimizing the least squares objective with a nonconvex regularizer, which can exactly express the sparsity constraint and avoid introducing serious bias in the solution. A novel algorithm is proposed for solving the resulting nonconvex optimization via the difference of convex functions programming and the gradient projection descent. Simulation results show that the proposed algorithm is fast and accurate, and it outperforms the existing sparse recovery algorithms in terms of reconstruction errors.


Gyrofluid analysis of electron beta e effects on collisionless reconnection. The linear and nonlinear evolutions of the tearing instability in a collisionless plasma with a strong guide field are analyzed on the basis of a two field Hamiltonian gyrofluid model. The model is valid for a low ion temperature and a finite beta e . The finite beta e effect implies a magnetic perturbation along the guide field direction and electron finite Larmor radius effects. A Hamiltonian derivation of the model is presented. A new dispersion relation of the tearing instability is derived for the case beta e 0 and tested against numerical simulations. For beta e ll 1 the equilibrium electron temperature is seen to enhance the linear growth rate, whereas we observe a stabilizing role when electron finite Larmor radius effects become more relevant. In the nonlinear phase, a double "faster than exponential" growth is observed, similarly to what occurs in the presence of ion finite Larmor radius effects. Energy transfers are analyzed and the conservation laws associated with the Casimir invariants of the model are also discussed. Numerical simulations seem to indicate that finite beta e effects do not produce qualtitative modifications in the structures of the Lagrangian invariants associated with Casimirs of the model.


Stochastic solutions for time fractional heat equations with complex spatial variables. We deal with complex spatial diffusion equations with time fractional derivative and study their stochastic solutions. In particular, we complexify the integral operator solution to the heat type equation where the time derivative is replaced with the convolution type generalization of the regularized Caputo derivative. We prove that this operator is solution of a complex time fractional heat equation with complex spatial variable. This approach leads to a wrapped Brownian motion on a circle time changed by the inverse of the related subordinator. This time changed Brownian motion is analyzed and, in particular, some results on its moments, as well as its construction as weak limit of continuous time random walks, are obtained. The extension of our approach to the higher dimensional case is also provided.


Convolutional Neural Opacity Radiance Fields. Photo realistic modeling and rendering of fuzzy objects with complex opacity are critical for numerous immersive VR AR applications, but it suffers from strong view dependent brightness, color. In this paper, we propose a novel scheme to generate opacity radiance fields with a convolutional neural renderer for fuzzy objects, which is the first to combine both explicit opacity supervision and convolutional mechanism into the neural radiance field framework so as to enable high quality appearance and global consistent alpha mattes generation in arbitrary novel views. More specifically, we propose an efficient sampling strategy along with both the camera rays and image plane, which enables efficient radiance field sampling and learning in a patch wise manner, as well as a novel volumetric feature integration scheme that generates per patch hybrid feature embeddings to reconstruct the view consistent fine detailed appearance and opacity output. We further adopt a patch wise adversarial training scheme to preserve both high frequency appearance and opacity details in a self supervised framework. We also introduce an effective multi view image capture system to capture high quality color and alpha maps for challenging fuzzy objects. Extensive experiments on existing and our new challenging fuzzy object dataset demonstrate that our method achieves photo realistic, globally consistent, and fined detailed appearance and opacity free viewpoint rendering for various fuzzy objects.


Broadband Polarization Independent Achromatic Metalenses with Unintuitively Designed Random Shaped Meta Atoms. Metasurface lenses, namely metalenses, are ultrathin planar nanostructures that are capable of manipulating the properties of incoming light and imparting lens like wavefront to the output. Although they have shown promising potentials for the future miniaturization of optics, the chromatic aberration inherited from their diffractive nature plagues them towards many practical applications. Current solutions for creating achromatic metalenses usually require searching through a large number of meta atoms to find designs that fulfill not only phase but phase dispersion requirements, which leads to intensive design efforts. Besides, most designs are based on regular shaped antennas driven by the designers' intuition and experience, hence only cover a limited design space. Here, we present an inverse design approach that efficiently produces meta atoms with unintuitive geometries required for broadband achromatic metalenses. We restricted the generated shapes to hold four fold reflectional symmetry so that the resulting metalenses are polarization insensitive. In addition, meta atoms generated by our method inheritably have round edges and corners, which make them nanofabrication friendly. Our experimental characterization shows that our metalenses exhibit superior performance over a broad bandwidth of 465 nm in the near infrared regime. Our method offers a fast and efficient way of designing high performance achromatic metalenses and sheds new insights for unintuitive design of other metaphotonic devices.


Temporal Reachability Minimization Delaying vs. Deleting. We study spreading processes in temporal graphs, i. e., graphs whose connections change over time. These processes naturally model real world phenomena such as infectious diseases or information flows. More precisely, we investigate how such a spreading process, emerging from a given set of sources, can be contained to a small part of the graph. To this end we consider two ways of modifying the graph, which are (1) deleting connections and (2) delaying connections. We show a close relationship between the two associated problems and give a polynomial time algorithm when the graph has tree structure. For the general version, we consider parameterization by the number of vertices to which the spread is contained. Surprisingly, we prove W 1 hardness for the deletion variant but fixed parameter tractability for the delaying variant.


A Note on Distinguishing Trees with the Chromatic Symmetric Function. For a tree T , consider its smallest subtree T circ containing all vertices of degree at least 3 . Then the remaining edges of T lie on disjoint paths each with one endpoint on T circ . We show that the chromatic symmetric function of T determines the size of T circ , and the multiset of the lengths of these incident paths. In particular, this generalizes a proof of Martin, Morin, and Wagner that the chromatic symmetric function distinguishes spiders.


Revisiting Kepler new symmetries of an old problem. The Kepler orbits form a 3 parameter family of unparametrized plane curves, consisting of all conics sharing a focus at a fixed point. We study the geometry and symmetry properties of this family, as well as natural 2 parameter subfamilies, such as those of fixed energy or angular momentum. Our main result is that Kepler orbits is a flat' family, that is, the local diffeomorphisms of the plane preserving this family form a 7 dimensional local group, the maximum dimension possible for the symmetry group of a 3 parameter family of plane curves. These symmetries are different from the well studied hidden' symmetries of the Kepler problem, acting on energy levels in the 4 dimensional phase space of the Kepler system. Each 2 parameter subfamily of Kepler orbits with fixed non zero energy (Kepler ellipses or hyperbolas with fixed length of major axis) admits mathrm PSL 2( mathbb R ) as its (local) symmetry group, corresponding to one of the items of a classification due to A. Tresse (1896) of 2 parameter families of plane curves admitting a 3 dimensional local group of symmetries. The 2 parameter subfamilies with zero energy (Kepler parabolas) or fixed non zero angular momentum are flat (locally diffeomorphic to the family of straight lines). These results can be proved using techniques developed in the 19th century by S. Lie to determine infinitesimal point symmetries' of ODEs, but our proofs are much simpler, using a projective geometric model for the Kepler orbits (plane sections of a cone in projective 3 space). In this projective model all symmetry groups act globally. Another advantage of the projective model is a duality between Kepler's plane and Minkowski's 3 space parametrizing the space of Kepler orbits. We use this duality to deduce several results on the Kepler system, old and new.


The equilibrium points and stability of grid connected synchronverters. Virtual synchronous machines are inverters with a control algorithm that causes them to behave towards the power grid like synchronous generators. A popular way to realize such inverters are synchronverters. Their control algorithm has evolved over time, but all the different formulations in the literature share the same "basic control algorithm". We investigate the equilibrium points and the stability of a synchronverter described by this basic algorithm, when connected to an infinite bus. We formulate a fifth order model for a grid connected synchronverter and derive a necessary and sufficient condition for the existence of equilibrium points. We show that the set of equilibrium points with positive field current is a two dimensional manifold that can be parametrized by the corresponding pair (P,Q) , where P is the active power and Q is the reactive power. This parametrization has several surprizing geometric properties, for instance, the prime mover torque, the power angle and the field current can be seen directly as distances or angles in the (P,Q) plane. In addition, the stable equilibrium points correspond to a subset of a certain angular sector in the (P,Q) plane. Thus, we can predict the stable operating range of a synchronverter from its parameters and from the grid voltage and frequency. Our stability result is based on the intrinsic two time scales property of the system, using tools from singular perturbation theory. We illustrate our theoretical results with two numerical examples.


Multi task Learning with Attention for End to end Autonomous Driving. Autonomous driving systems need to handle complex scenarios such as lane following, avoiding collisions, taking turns, and responding to traffic signals. In recent years, approaches based on end to end behavioral cloning have demonstrated remarkable performance in point to point navigational scenarios, using a realistic simulator and standard benchmarks. Offline imitation learning is readily available, as it does not require expensive hand annotation or interaction with the target environment, but it is difficult to obtain a reliable system. In addition, existing methods have not specifically addressed the learning of reaction for traffic lights, which are a rare occurrence in the training datasets. Inspired by the previous work on multi task learning and attention modeling, we propose a novel multi task attention aware network in the conditional imitation learning (CIL) framework. This does not only improve the success rate of standard benchmarks, but also the ability to react to traffic lights, which we show with standard benchmarks.


Existence of an unbounded nodal hypersurface for smooth Gaussian fields in dimension d ge 3. For the Bargmann Fock field on R d with d ge 3, we prove that the critical level c (d) of the percolation model formed by the excursion sets f ge is strictly positive. This implies that for every sufficiently close to 0 (in particular for the nodal hypersurfaces corresponding to the case 0), f contains an unbounded connected component that visits "most" of the ambient space. Our findings actually hold for a more general class of positively correlated smooth Gaussian fields with rapid decay of correlations. The results of this paper show that the behaviour of nodal hypersurfaces of these Gaussian fields in R d for d ge 3 is very different from the behaviour of nodal lines of their two dimensional analogues. Contents


Low Curvature Activations Reduce Overfitting in Adversarial Training. Adversarial training is one of the most effective defenses against adversarial attacks. Previous works suggest that overfitting is a dominant phenomenon in adversarial training leading to a large generalization gap between test and train accuracy in neural networks. In this work, we show that the observed generalization gap is closely related to the choice of the activation function. In particular, we show that using activation functions with low (exact or approximate) curvature values has a regularization effect that significantly reduces both the standard and robust generalization gaps in adversarial training. We observe this effect for both differentiable smooth activations such as SiLU as well as non differentiable non smooth activations such as LeakyReLU. In the latter case, the "approximate" curvature of the activation is low. Finally, we show that for activation functions with low curvature, the double descent phenomenon for adversarially trained models does not occur.


Subtle Data Crimes Naively training machine learning algorithms could lead to overly optimistic results. While open databases are an important resource in the Deep Learning (DL) era, they are sometimes used "off label" data published for one task are used for training algorithms for a different one. This work aims to highlight that in some cases, this common practice may lead to biased, overly optimistic results. We demonstrate this phenomenon for inverse problem solvers and show how their biased performance stems from hidden data preprocessing pipelines. We describe two preprocessing pipelines typical of open access databases and study their effects on three well established algorithms developed for Magnetic Resonance Imaging (MRI) reconstruction Compressed Sensing (CS), Dictionary Learning (DictL), and DL. In this large scale study we performed extensive computations. Our results demonstrate that the CS, DictL and DL algorithms yield systematically biased results when naively trained on seemingly appropriate data the Normalized Root Mean Square Error (NRMSE) improves consistently with the preprocessing extent, showing an artificial increase of 25 48 in some cases. Since this phenomenon is generally unknown, biased results are sometimes published as state of the art we refer to that as subtle data crimes. This work hence raises a red flag regarding naive off label usage of Big Data and reveals the vulnerability of modern inverse problem solvers to the resulting bias.


Enhancing Environmental Enforcement with Near Real Time Monitoring Likelihood Based Detection of Structural Expansion of Intensive Livestock Farms. Much environmental enforcement in the United States has historically relied on either self reported data or physical, resource intensive, infrequent inspections. Advances in remote sensing and computer vision, however, have the potential to augment compliance monitoring by detecting early warning signs of noncompliance. We demonstrate a process for rapid identification of significant structural expansion using Planet's 3m pixel satellite imagery products and focusing on Concentrated Animal Feeding Operations (CAFOs) in the US as a test case. Unpermitted building expansion has been a particular challenge with CAFOs, which pose significant health and environmental risks. Using new hand labeled dataset of 145,053 images of 1,513 CAFOs, we combine state of the art building segmentation with a likelihood based change point detection model to provide a robust signal of building expansion (AUC 0.86). A major advantage of this approach is that it can work with higher cadence (daily to weekly), but lower resolution (3m pixel), satellite imagery than previously used in similar environmental settings. It is also highly generalizable and thus provides a near real time monitoring tool to prioritize enforcement resources in other settings where unpermitted construction poses environmental risk, e.g. zoning, habitat modification, or wetland protection.


Costello's pushforward formula errata and generalization. K. Costello's Pushforward Formula is not correct as stated. We verify it holds under an assumption of properness or of a weaker notion we call "purity." We then check many papers that used this formula to make sure it holds in their context.


Variable compliance and geometry regulation of Soft Bubble grippers with active pressure control. While compliant grippers have become increasingly commonplace in robot manipulation, finding the right stiffness and geometry for grasping the widest variety of objects remains a key challenge. Adjusting both stiffness and gripper geometry on the fly may provide the versatility needed to manipulate the large range of objects found in domestic environments. We present a system for actively controlling the geometry (inflation level) and compliance of Soft bubble grippers air filled, highly compliant parallel gripper fingers incorporating visuotactile sensing. The proposed system enables large, controlled changes in gripper finger geometry and grasp stiffness, as well as simple in hand manipulation. We also demonstrate, despite these changes, the continued viability of advanced perception capabilities such as dense geometry and shear force measurement we present a straightforward extension of our previously presented approach for measuring shear induced displacements using the internal imaging sensor and taking into account pressure and geometry changes. We quantify the controlled variation of grasp free geometry, grasp stiffness and contact patch geometry resulting from pressure regulation and we demonstrate new capabilities for the gripper in the home by grasping in constrained spaces, manipulating tools requiring lower and higher stiffness grasps, as well as contact patch modulation.


Supervised Graph Contrastive Pretraining for Text Classification. Contrastive pretraining techniques for text classification has been largely studied in an unsupervised setting. However, oftentimes labeled data from related tasks which share label semantics with current task is available. We hypothesize that using this labeled data effectively can lead to better generalization on current task. In this paper, we propose a novel way to effectively utilize labeled data from related tasks with a graph based supervised contrastive learning approach. We formulate a token graph by extrapolating the supervised information from examples to tokens. Our formulation results in an embedding space where tokens with high low probability of belonging to same class are near further away from one another. We also develop detailed theoretical insights which serve as a motivation for our method. In our experiments with 13 datasets, we show our method outperforms pretraining schemes by 2.5 and also example level contrastive learning based formulation by 1.8 on average. In addition, we show cross domain effectiveness of our method in a zero shot setting by 3.91 on average. Lastly, we also demonstrate our method can be used as a noisy teacher in a knowledge distillation setting to significantly improve performance of transformer based models in low labeled data regime by 4.57 on average.


The Cynicism of Modern Cybercrime Automating the Analysis of Surface Web Marketplaces. Cybercrime is continuously growing in numbers and becoming more sophisticated. Currently, there are various monetisation and money laundering methods, creating a huge, underground economy worldwide. A clear indicator of these activities is online marketplaces which allow cybercriminals to trade their stolen assets and services. While traditionally these marketplaces are available through the dark web, several of them have emerged in the surface web. In this work, we perform a longitudinal analysis of a surface web marketplace. The information was collected through targeted web scrapping that allowed us to identify hundreds of merchants' profiles for the most widely used surface web marketplaces. In this regard, we discuss the products traded in these markets, their prices, their availability, and the exchange currency. This analysis is performed in an automated way through a machine learning based pipeline, allowing us to quickly and accurately extract the needed information. The outcomes of our analysis evince that illegal practices are leveraged in surface marketplaces and that there are not effective mechanisms towards their takedown at the time of writing.


Gr "obner nice pairs of ideals. We introduce the concept of a Gr "obner nice pair of ideals in a polynomial ring and we present some applications.


A geometric characterization of toric singularities. Given a projective contraction pi colon X rightarrow Z and a log canonical pair (X, B) such that (K X B) is nef over a neighborhood of a closed point z in Z , one can define an invariant, the complexity of (X, B) over z in Z , comparing the dimension of X and the relative Picard number of X Z with the sum of the coefficients of those components of B intersecting the fibre over z . We prove that the complexity of (X,B) over z in Z is non negative and that when it is zero then (X, lfloor B rfloor) rightarrow Z is formally isomorphic to a morphism of toric varieties around z in Z . In particular, considering the case when pi is the identity morphism, we get a geometric characterization of singularities that are formally isomorphic to toric singularities. This gives a positive answer to a conjecture due to Shokurov.


Teat Pose Estimation via RGBD Segmentation for Automated Milking. We present initial results in the development of a novel robot using RGBD cameras, image segmentation, and a simple teat pose estimation algorithm for automated milking. We relate on the analysis of the accuracy of different commercial RGBD cameras in realistic conditions. Although preliminary, our initial implementation shows that 2D image segmentation combined with point cloud processing can achieve repeatable millimeter scale precision in estimating (synthetic) teat tip positions and cup attachment approach. The solution is also applicable in a cloud robotics setup, with GPU based segmentation executed on an edge device or cloud.


Bootstrapping Multilingual AMR with Contextual Word Alignments. We develop high performance multilingualAbstract Meaning Representation (AMR) sys tems by projecting English AMR annotationsto other languages with weak supervision. Weachieve this goal by bootstrapping transformer based multilingual word embeddings, in partic ular those from cross lingual RoBERTa (XLM R large). We develop a novel technique forforeign text to English AMR alignment, usingthe contextual word alignment between En glish and foreign language tokens. This wordalignment is weakly supervised and relies onthe contextualized XLM R word embeddings.We achieve a highly competitive performancethat surpasses the best published results forGerman, Italian, Spanish and Chinese.


Models for quotients of modular curves. We describe an algorithm for computing a Q rational model for the quotient of a modular curve by an automorphism group, under mild assumptions on the curve and the automorphisms, by determining q expansions for a basis of the corresponding space of cusp forms. We also give a moduli interpretation for general morphisms between modular curves.


iWarded A System for Benchmarking Datalog Reasoning (technical report). Recent years have seen increasing popularity of logic based reasoning systems, with research and industrial interest as well as many flourishing applications in the area of Knowledge Graphs. Despite that, one can observe a substantial lack of specific tools able to generate nontrivial reasoning settings and benchmark scenarios. As a consequence, evaluating, analysing and comparing reasoning systems is a complex task, especially when they embody sophisticated optimizations and execution techniques that leverage the theoretical underpinnings of the adopted logic fragment. In this paper, we aim at filling this gap by introducing iWarded, a system that can generate very large, complex, realistic reasoning settings to be used for the benchmarking of logic based reasoning systems adopting Datalog , a family of extensions of Datalog that has seen a resurgence in the last few years. In particular, iWarded generates reasoning settings for Warded Datalog , a language with a very good tradeoff between computational complexity and expressive power. In the paper, we present the iWarded system and a set of novel theoretical results adopted to generate effective scenarios. As Datalog based languages are of general interest and see increasing adoption, we believe that iWarded is a step forward in the empirical evaluation of current and future systems.


FNR A Similarity and Transformer Based Approach to Detect Multi Modal Fake News in Social Media. The availability and interactive nature of social media have made them the primary source of news around the globe. The popularity of social media tempts criminals to pursue their immoral intentions by producing and disseminating fake news using seductive text and misleading images. Therefore, verifying social media news and spotting fakes is crucial. This work aims to analyze multi modal features from texts and images in social media for detecting fake news. We propose a Fake News Revealer (FNR) method that utilizes transform learning to extract contextual and semantic features and contrastive loss to determine the similarity between image and text. We applied FNR on two real social media datasets. The results show the proposed method achieves higher accuracies in detecting fake news compared to the previous works.


Weak Coloring Numbers of Intersection Graphs. Weak and strong coloring numbers are generalizations of the degeneracy of a graph, where for each natural number k , we seek a vertex ordering such every vertex can (weakly respectively strongly) reach in k steps only few vertices with lower index in the ordering. Both notions capture the sparsity of a graph or a graph class, and have interesting applications in the structural and algorithmic graph theory. Recently, the first author together with McCarty and Norin observed a natural volume based upper bound for the strong coloring numbers of intersection graphs of well behaved objects in mathbb R d , such as homothets of a centrally symmetric compact convex object, or comparable axis aligned boxes. In this paper, we prove upper and lower bounds for the k th weak coloring numbers of these classes of intersection graphs. As a consequence, we describe a natural graph class whose strong coloring numbers are polynomial in k , but the weak coloring numbers are exponential. We also observe a surprising difference in terms of the dependence of the weak coloring numbers on the dimension between touching graphs of balls (single exponential) and hypercubes (double exponential).


User Interface Factors of Mobile UX A Study with an Incident Reporting Application. Smartphones are now ubiquitous, yet our understanding of user interface factors that maximize mobile user experience (UX), is still limited. This work presents a controlled experiment, which investigated factors that affect the usability and UX of a mobile incident reporting app. The results indicate that sequence of user interface elements matters while striving to increase UX, and that there is no difference between tab and scrolling as navigation modalities in short forms. These findings can serve as building blocks for empirically derived guidelines for mobile incident reporting.


Stabilizing Radial Basis Function Methods for Conservation Laws Using Weakly Enforced Boundary Conditions. It is well understood that boundary conditions (BCs) may cause global radial basis function (RBF) methods to become unstable for hyperbolic conservation laws (CLs). Here we investigate this phenomenon and identify the strong enforcement of BCs as the mechanism triggering such stability issues. Based on this observation we propose a technique to weakly enforce BCs in RBF methods. In the case of hyperbolic CLs, this is achieved by carefully building RBF methods from the weak form of the CL, rather than the typically enforced strong form. Furthermore, we demonstrate that global RBF methods may violate conservation, yielding physically unreasonable solutions when the approximation does not take into account these considerations. Numerical experiments validate our theoretical results.


A Helmholtz type decomposition for the space of symmetric matrices. In this paper, we introduce a Helmholtz type decomposition for the space of square integrable, symmetric matrix valued functions analogous to the standard Helmholtz decomposition for vector fields. This decomposition provides a better understanding of the strain constraint space, which is important to the Navier Stokes regularity problem. In particular, we give a full characterization the orthogonal complement of the strain constraint space and investigate the geometry of the eigenvalue distribution of matrices in the strain constraint space.


A Survey on Awesome Korean NLP Datasets. English based datasets are commonly available from Kaggle, GitHub, or recently published papers. Although benchmark tests with English datasets are sufficient to show off the performances of new models and methods, still a researcher need to train and validate the models on Korean based datasets to produce a technology or product, suitable for Korean processing. This paper introduces 15 popular Korean based NLP datasets with summarized details such as volume, license, repositories, and other research results inspired by the datasets. Also, I provide high resolution instructions with sample or statistics of datasets. The main characteristics of datasets are presented on a single table to provide a rapid summarization of datasets for researchers.


Decision Concept Lattice vs. Decision Trees and Random Forests. Decision trees and their ensembles are very popular models of supervised machine learning. In this paper we merge the ideas underlying decision trees, their ensembles and FCA by proposing a new supervised machine learning model which can be constructed in polynomial time and is applicable for both classification and regression problems. Specifically, we first propose a polynomial time algorithm for constructing a part of the concept lattice that is based on a decision tree. Second, we describe a prediction scheme based on a concept lattice for solving both classification and regression tasks with prediction quality comparable to that of state of the art models.


Comparative Analysis of Machine Learning Models for Predicting Travel Time. In this paper, five different deep learning models are being compared for predicting travel time. These models are autoregressive integrated moving average (ARIMA) model, recurrent neural network (RNN) model, autoregressive (AR) model, Long short term memory (LSTM) model, and gated recurrent units (GRU) model. The aim of this study is to investigate the performance of each developed model for forecasting travel time. The dataset used in this paper consists of travel time and travel speed information from the state of Missouri. The learning rate used for building each model was varied from 0.0001 0.01. The best learning rate was found to be 0.001. The study concluded that the ARIMA model was the best model architecture for travel time prediction and forecasting.


Thermodynamic formalism for invariant measures in iterated function systems with overlaps. We study images of equilibrium (Gibbs) states for a class of non invertible transformations associated to conformal iterated function systems with overlaps mathcal S . We prove exact dimensionality for these image measures, and find a dimension formula using their overlap numbers. In particular, we obtain a geometric formula for the dimension of self conformal measures for iterated function systems with overlaps, in terms of the overlap numbers. This implies a necessary and sufficient condition for dimension drop. If nu pi mu is a self conformal measure, then HD( nu) frac h( mu) chi( mu) if and only if the overlap number o( mathcal S, mu) 1 . Examples are also discussed.


On the Privacy Risks of Deploying Recurrent Neural Networks in Machine Learning. We study the privacy implications of deploying recurrent neural networks (RNNs) in machine learning models. We focus on a class of privacy threats, called membership inference attacks (MIAs), which aim to infer whether or not specific data records have been used to train a model. Considering three machine learning applications, namely, machine translation, deep reinforcement learning, and image classification, we provide empirical evidence that RNNs are more vulnerable to MIAs than the alternative feed forward architectures. We then study differential privacy methods to protect the privacy of the training dataset of RNNs. These methods are known to provide rigorous privacy guarantees irrespective of the adversary's model. We develop an alternative differential privacy mechanism to the so called DP FedAvg algorithm, which instead of obfuscating gradients during training, obfuscates the model's output. Unlike the existing work, the mechanism allows for post training adjustment of the privacy parameters without having to retrain the model. We provide numerical results suggesting that the mechanism provides a strong shield against MIAs while trading off marginal utility.


Improving the Representation of Energy Efficiency in an Energy System Optimization Model. Energy system optimization models (ESOMs) are designed to examine the potential effects of a proposed policy, but often represent energy efficient technologies and policies in an overly simplified way. Most ESOMs include different end use technologies with varying efficiencies and select technologies for deployment based solely on least cost optimization, which drastically oversimplifies consumer decision making. In this paper, we change the structure of an existing ESOM to model energy efficiency in way that is consistent with microeconomic theory. The resulting model considers the effectiveness of energy efficient technologies in meeting energy service demands, and their potential to substitute electricity usage by conventional technologies. To test the revised model, we develop a simple hypothetical case and use it to analyze the welfare gain from an energy efficiency subsidy versus a carbon tax policy. In the simple test case, the maximum recovered welfare from an efficiency subsidy is less than 50 of the first best carbon tax policy.


Artificial Intellgence Application in Life Sciences and Beyond. The Upper Rhine Artificial Intelligence Symposium UR AI 2021. The TriRhenaTech alliance presents the accepted papers of the 'Upper Rhine Artificial Intelligence Symposium' held on October 27th 2021 in Kaiserslautern, Germany. Topics of the conference are applications of Artificial Intellgence in life sciences, intelligent systems, industry 4.0, mobility and others. The TriRhenaTech alliance is a network of universities in the Upper Rhine Trinational Metropolitan Region comprising of the German universities of applied sciences in Furtwangen, Kaiserslautern, Karlsruhe, Offenburg and Trier, the Baden Wuerttemberg Cooperative State University Loerrach, the French university network Alsace Tech (comprised of 14 'grandes 'ecoles' in the fields of engineering, architecture and management) and the University of Applied Sciences and Arts Northwestern Switzerland. The alliance's common goal is to reinforce the transfer of knowledge, research, and technology, as well as the cross border mobility of students.


A Bishop Phelps Bollob ' a s theorem for bounded analytic functions. Let H infty denote the Banach algebra of all bounded analytic functions on the open unit disc and denote by mathscr B (H infty) the Banach space of all bounded linear operators from H infty to itself. We prove that the Bishop Phelps Bollob ' a s property holds for mathscr B (H infty) . As an application to our approach, we prove that the Bishop Phelps Bollob ' a s property also holds for operator ideals of mathscr B (H infty) .


Spatio Temporal Self Attention Network for Video Saliency Prediction. 3D convolutional neural networks have achieved promising results for video tasks in computer vision, including video saliency prediction that is explored in this paper. However, 3D convolution encodes visual representation merely on fixed local spacetime according to its kernel size, while human attention is always attracted by relational visual features at different time. To overcome this limitation, we propose a novel Spatio Temporal Self Attention 3D Network (STSANet) for video saliency prediction, in which multiple Spatio Temporal Self Attention (STSA) modules are employed at different levels of 3D convolutional backbone to directly capture long range relations between spatio temporal features of different time steps. Besides, we propose an Attentional Multi Scale Fusion (AMSF) module to integrate multi level features with the perception of context in semantic and spatio temporal subspaces. Extensive experiments demonstrate the contributions of key components of our method, and the results on DHF1K, Hollywood 2, UCF, and DIEM benchmark datasets clearly prove the superiority of the proposed model compared with all state of the art models.


Enhancing Interpretable Clauses Semantically using Pretrained Word Representation. Tsetlin Machine (TM) is an interpretable pattern recognition algorithm based on propositional logic, which has demonstrated competitive performance in many Natural Language Processing (NLP) tasks, including sentiment analysis, text classification, and Word Sense Disambiguation. To obtain human level interpretability, legacy TM employs Boolean input features such as bag of words (BOW). However, the BOW representation makes it difficult to use any pre trained information, for instance, word2vec and GloVe word representations. This restriction has constrained the performance of TM compared to deep neural networks (DNNs) in NLP. To reduce the performance gap, in this paper, we propose a novel way of using pre trained word representations for TM. The approach significantly enhances the performance and interpretability of TM. We achieve this by extracting semantically related words from pre trained word representations as input features to the TM. Our experiments show that the accuracy of the proposed approach is significantly higher than the previous BOW based TM, reaching the level of DNN based models.


Non linear regimes of tsunami waves generated by a granular collapse. Tsunami waves induced by landslides are a threat to human activities and safety along coastal areas. In this paper, we characterize experimentally the waves generated by the gravity driven collapse of a dry granular column into water. Three nonlinear wave regimes are identified depending on the Froude number mathrm Fr f based on the ratio of the velocity of the advancing granular front and the velocity of linear gravity waves in shallow water transient bores for large mathrm Fr f , solitary waves for intermediate values of mathrm Fr f , and non linear transition waves at small mathrm Fr f . The wave amplitude relative to the water depth increases with mathrm Fr f in the three regimes but with different non linear scalings, and the relative wavelength is an increasing or decreasing function of mathrm Fr f . Two of these wave regimes are rationalized by considering that the advancing granular front acts as a vertical piston pushing the water, while the last one is found to be a transition from shallow to deep water conditions. The present modeling contributes to a better understanding of the rich hydrodynamics of the generated waves, with coastal risk assessment as practical applications.


Classification of Automorphisms for the Decoding of Polar Codes. This paper proposes new polar code design principles for the low latency automorphism ensemble (AE) decoding. Our proposal permits to design a polar code with the desired automorphism group (if possible) while assuring the decreasing monomial property. Moreover, we prove that some automorphisms are redundant under AE decoding, and we propose a new automorphisms classification based on equivalence classes. Finally, we propose an automorphism selection heuristic based on drawing only one element of each class we show that this method enhances the block error rate (BLER) performance of short polar codes even with a limited number of automorphisms.


Evaluating the Robustness of Bayesian Neural Networks Against Different Types of Attacks. To evaluate the robustness gain of Bayesian neural networks on image classification tasks, we perform input perturbations, and adversarial attacks to the state of the art Bayesian neural networks, with a benchmark CNN model as reference. The attacks are selected to simulate signal interference and cyberattacks towards CNN based machine learning systems. The result shows that a Bayesian neural network achieves significantly higher robustness against adversarial attacks generated against a deterministic neural network model, without adversarial training. The Bayesian posterior can act as the safety precursor of ongoing malicious activities. Furthermore, we show that the stochastic classifier after the deterministic CNN extractor has sufficient robustness enhancement rather than a stochastic feature extractor before the stochastic classifier. This advises on utilizing stochastic layers in building decision making pipelines within a safety critical domain.


How to Discover a Semantic Web Service by Knowing Its Functionality Parameters. In this work, we show how to discover a semantic web service among a repository of web services. A new approach for web service discovery based on calculating the functions similarity. We define the Web service functions with Ontology Web Language (OWL). We wrote some rules for comparing two web services parameters. Our algorithm compares the parameters of two web services inputs outputs by making a bipartite graph. We compute the similarity rate by using the Ford Fulkerson algorithm. The higher the similarity, the less are the differences between their functions. At last, our algorithm chooses the service which has the highest similarity. As a consequence, our method is useful when we need to find a web service suitable to replace an existing one that has failed. Especially in autonomic systems, this situation is very common and important since we need to ensure the availability of the application which is based on the failed web service. We use Universal Description, Discovery and Integration (UDDI) compliant web service registry.


The Univalence Principle. The Univalence Principle is the statement that equivalent mathematical structures are indistinguishable. We prove a general version of this principle that applies to all set based, categorical, and higher categorical structures defined in a non algebraic and space based style, as well as models of higher order theories such as topological spaces. In particular, we formulate a general definition of indiscernibility for objects of any such structure, and a corresponding univalence condition that generalizes Rezk's completeness condition for Segal spaces and ensures that all equivalences of structures are levelwise equivalences. Our work builds on Makkai's First Order Logic with Dependent Sorts, but is expressed in Voevodsky's Univalent Foundations (UF), extending previous work on the Structure Identity Principle and univalent categories in UF. This enables indistinguishability to be expressed simply as identification, and yields a formal theory that is interpretable in classical homotopy theory, but also in other higher topos models. It follows that Univalent Foundations is a fully equivalence invariant foundation for higher categorical mathematics, as intended by Voevodsky.


Crystals, regularisation and the Mullineux map. The Mullineux map is a combinatorial function on partitions which describes the effect of tensoring a simple module for the symmetric group in characteristic p with the one dimensional sign representation. It can also be interpreted as an isomorphism between crystal graphs for widehat mathfrak sl p . We give a new combinatorial description of the Mullineux map by expressing this crystal isomorphism as a composition of isomorphisms between different crystals. These isomorphisms are defined in terms of new generalised regularisation maps introduced by Millan Berdasco. We then given two applications of our new realisation of the Mullineux map, by providing purely combinatorial proofs of a conjecture of Lyle relating the Mullineux map with regularisation, and a theorem of Paget describing the Mullineux map in RoCK blocks of symmetric groups.


Local Fourier analysis of Balancing Domain Decomposition by Constraints algorithms. Local Fourier analysis is a commonly used tool for the analysis of multigrid and other multilevel algorithms, providing both insight into observed convergence rates and predictive analysis of the performance of many algorithms. In this paper, for the first time, we adapt local Fourier analysis to examine variants of two and three level balancing domain decomposition by constraints (BDDC) algorithms, to better understand the eigenvalue distributions and condition number bounds on these preconditioned operators. This adaptation is based on a modified choice of basis for the space of Fourier harmonics that greatly simplifies the application of local Fourier analysis in this setting. The local Fourier analysis is validated by considering the two dimensional Laplacian and predicting the condition numbers of the preconditioned operators with different sizes of subdomains. Several variants are analyzed, showing the two and three level performance of the "lumped" variant can be greatly improved when used in multiplicative combination with a weighted diagonal scaling preconditioner, with weight optimized through the use of LFA.


Hypernetworks From Posets to Geometry. We show that hypernetworks can be regarded as posets which, in their turn, have a natural interpretation as simplicial complexes and, as such, are endowed with an intrinsic notion of curvature, namely the Forman Ricci curvature, that strongly correlates with the Euler characteristic of the simplicial complex. This approach, inspired by the work of E. Bloch, allows us to canonically associate a simplicial complex structure to a hypernetwork, directed or undirected. In particular, this greatly simplifying the geometric Persistent Homology method we previously proposed.


Positive equilibria of power law kinetics on networks with independent linkage classes. Studies about the set of positive equilibria ( E ) of kinetic systems have been focused on mass action, and not that much on power law kinetic (PLK) systems, even for PL RDK systems (PLK systems where two reactions with identical reactant complexes have the same kinetic order vectors). For mass action, reactions with different reactants have different kinetic order rows. A PL RDK system satisfying this property is called factor span surjective (PL FSK). In this work, we show that a cycle terminal PL FSK system with E ne varnothing and has independent linkage classes (ILC) is a poly PLP system, i.e., E is the disjoint union of log parametrized sets. The key insight for the extension is that factor span surjectivity induces an isomorphic digraph structure on the kinetic complexes. The result also completes, for ILC networks, the structural analysis of the original complex balanced generalized mass action systems (GMAS) by M "uller and Regensburger. We also identify a large set of PL RDK systems where non emptiness of E is a necessary and sufficient condition for non emptiness of each set of positive equilibria for each linkage class. These results extend those of Boros on mass action systems with ILC. We conclude this paper with two applications of our results. Firstly, we consider absolute complex balancing (ACB), i.e., the property that each positive equilibrium is complex balanced, in poly PLP systems. Finally, we use the new results to study absolute concentration robustness (ACR) in these systems. In particular, we obtain a species hyperplane containment criterion to determine ACR in the system species.


1 independent percolation on mathbb Z 2 times K n . A random graph model on a host graph H is said to be 1 independent if for every pair of vertex disjoint subsets A,B of E(H) , the state of edges (absent or present) in A is independent of the state of edges in B . For an infinite connected graph H , the 1 independent critical percolation probability p 1,c (H) is the infimum of the p in 0,1 such that every 1 independent random graph model on H in which each edge is present with probability at least p almost surely contains an infinite connected component. Balister and Bollob 'as observed in 2012 that p 1,c ( mathbb Z d) is nonincreasing and tends to a limit in frac 1 2 , 1 as d rightarrow infty . They asked for the value of this limit. We make progress towards this question by showing that lim n rightarrow infty p 1,c ( mathbb Z 2 times K n) 4 2 sqrt 3 0.5358 ldots . In fact, we show that the equality above remains true if the sequence of complete graphs K n is replaced by a sequence of weakly pseudorandom graphs on n vertices with average degree omega( log n) . We conjecture that the equality also remains true if K n is replaced instead by the n dimensional hypercube Q n . This latter conjecture would imply the answer to Balister and Bollob 'as's question is 4 2 sqrt 3 . Using our results, we are also able to resolve a problem of Day, Hancock and the first author on the emergence of long paths in 1 independent random graph models on mathbb Z times K n . Finally, we prove some results on component evolution in 1 independent random graphs, and discuss a number of open problems arising from our work that may pave the way for further progress on the question of Balister and Bollob 'as.


Synergies between Hyperpolarized NMR and Microfluidics A Review. Hyperpolarized nuclear magnetic resonance and lab on a chip microfluidics are two dynamic, but until recently quite distinct, fields of research. Recent developments in both areas increased their synergistic overlap. By microfluidic integration, many complex experimental steps can be brought together onto a single platform. Microfluidic devices are therefore increasingly finding applications in medical diagnostics, forensic analysis, and biomedical research. In particular, they provide novel and powerful ways to culture cells, cell aggregates, and even functional models of entire organs. Nuclear magnetic resonance is a non invasive, high resolution spectroscopic technique which allows real time process monitoring with chemical specificity. It is ideally suited for observing metabolic and other biological and chemical processes in microfluidic systems. However, its intrinsically low sensitivity has limited its application. Recent advances in nuclear hyperpolarization techniques may change this under special circumstances, it is possible to enhance NMR signals by up to 5 orders of magnitude, which dramatically extends the utility of NMR in the context of microfluidic systems. At the same time, hyperpolarization requires complex chemical and or physical manipulations, which in turn may benefit from microfluidic implementation. In fact, many hyperpolarization methodologies rely on processes that are more efficient at the micro scale, such as molecular diffusion, penetration electromagnetic radiation into the sample, or restricted molecular mobility on a surface. In this review we examine the confluence between the fields of hyperpolarization enhanced NMR and microfluidics, and assess how these areas of research have mutually benefited one another, and will continue to do so.


Unconditional well posedness and IMEX improvement of a family of predictor corrector methods in micromagnetics. Recently, Kim Wilkening (Convergence of a mass lumped finite element method for the Landau Lifshitz equation, Quart. Appl. Math., 76, 383 405, 2018) proposed two novel predictor corrector methods for the Landau Lifshitz Gilbert equation (LLG) in micromagnetics, which models the dynamics of the magnetization in ferromagnetic materials. Both integrators are based on the so called Landau Lifshitz form of LLG, use mass lumped variational formulations discretized by first order finite elements, and only require the solution of linear systems, despite the nonlinearity of LLG. The first( order in time) method combines a linear update with an explicit projection of an intermediate approximation onto the unit sphere in order to fulfill the LLG inherent unit length constraint at the discrete level. In the second( order in time) integrator, the projection step is replaced by a linear constraint preserving variational formulation. In this paper, we extend the analysis of the integrators by proving unconditional well posedness and by establishing a close connection of the methods with other approaches available in the literature. Moreover, the new analysis also provides a well posed integrator for the Schr "odinger map equation (which is the limit case of LLG for vanishing damping). Finally, we design an implicit explicit strategy for the treatment of the lower order field contributions, which significantly reduces the computational cost of the schemes, while preserving their theoretical properties.


Dynamics of Cross Platform Attention to Retracted Papers Pervasiveness, Audience Skepticism, and Timing of Retractions. Retracted papers often circulate widely on social media, online news outlets and other websites before their official retraction. The spread of potentially inaccurate or misleading results from retracted papers can harm the scientific community and the public. Here we quantify the amount and type of attention 3,985 retracted papers received over time in different online platforms, ranging from social media to knowledge repositories. Comparing to a set of non retracted control papers, we show that retracted papers receive more attention after publication. This tendency seems to be more pronounced on news outlets and knowledge repositories. This finding indicates that untrustworthy research penetrates even curated platforms and is often shared uncritically, amplifying the negative impact on the public. At the same time, we find that posts on Twitter tend to express more uncertainty about retracted than about control papers, suggesting that these posts could help identify potentially flawed scientific findings. We also find that, around the time they are retracted, papers generate discussions that are mostly about the retraction incident rather than about the results of the paper, showing that by this point papers have exhausted attention to their findings and highlighting the limited effect of retractions in reducing uncritical conversations. Our findings reveal the extent to which retracted papers are discussed on different online platforms and identify at scale audience skepticism towards them. They also show that retractions come too late, which has implications for efforts to better time retraction notices.


Numerical and Experimental Characterization of RF Waves Propagation in Ion Sources Magnetoplasmas. This paper describes three dimensional numerical simulations and Radio Frequency (RF) measurements of wave propagation in microwave heated magnetized plasmas of ion sources. Full wave solution of Maxwell's equations has been addressed through the Finite Element Method (FEM) commercial software COMSOL. Our numerical model takes into account the strongly inhomogeneous and anisotropic magnetized "cold" plasma medium. The simulations reproduce the main features of the wave plasma interaction of the Flexible Plasma Trap (FPT) that recently came into operations at INFN LNS. A two pins RF probe has been ad hoc developed and used as a plasmaimmersed antenna for measuring local wave electric fields in the FPT device. The measurements of plasma electron density and RF electric field, performed for different external magnetic field configuration, allowed a direct comparison with the assumed simulation model.


NetCut Real Time DNN Inference Using Layer Removal. Deep Learning plays a significant role in assisting humans in many aspects of their lives. As these networks tend to get deeper over time, they extract more features to increase accuracy at the cost of additional inference latency. This accuracy performance trade off makes it more challenging for Embedded Systems, as resource constrained processors with strict deadlines, to deploy them efficiently. This can lead to selection of networks that can prematurely meet a specified deadline with excess slack time that could have potentially contributed to increased accuracy. In this work, we propose (i) the concept of layer removal as a means of constructing TRimmed Networks (TRNs) that are based on removing problem specific features of a pretrained network used in transfer learning, and (ii) NetCut, a methodology based on an empirical or an analytical latency estimator, which only proposes and retrains TRNs that can meet the application's deadline, hence reducing the exploration time significantly. We demonstrate that TRNs can expand the Pareto frontier that trades off latency and accuracy to provide networks that can meet arbitrary deadlines with potential accuracy improvement over off the shelf networks. Our experimental results show that such utilization of TRNs, while transferring to a simpler dataset, in combination with NetCut, can lead to the proposal of networks that can achieve relative accuracy improvement of up to 10.43 among existing off the shelf neural architectures while meeting a specific deadline, and 27x speedup in exploration time.


Ligand induced protein dynamics differences correlate with protein ligand binding affinities An unsupervised deep learning approach. Prediction of protein ligand binding affinity is a major goal in drug discovery. Generally, free energy gap is calculated between two states (e.g., ligand binding and unbinding). The energy gap implicitly includes the effects of changes in protein dynamics induced by the binding ligand. However, the relationship between protein dynamics and binding affinity remains unclear. Here, we propose a novel method that represents protein behavioral change upon ligand binding with a simple feature that can be used to predict protein ligand affinity. From unbiased molecular simulation data, an unsupervised deep learning method measures the differences in protein dynamics at a ligand binding site depending on the bound ligands. A dimension reduction method extracts a dynamic feature that is strongly correlated to the binding affinities. Moreover, the residues that play important roles in protein ligand interactions are specified based on their contribution to the differences. These results indicate the potential for dynamics based drug discovery.


HyperKahler Contact Distributions. Let ( varphi alpha, xi alpha,g) for alpha 1,2 , and 3 be a contact metric 3 structure on the manifold M 4n 3 . We show that the 3 contact distribution of this structure admits a HyperKahler structure whenever (M 4n 3 , varphi alpha, xi alpha,g) is a 3 Sasakian manifold. In this case, we call it HyperKahler contact distribution. To analyze the curvature properties of this distribution, we define a special metric connection that is completely determined by the HyperKahler contact distribution. We prove that the 3 Sasakian manifold is of constant varphi alpha sectional curvatures if and only if its HyperKahler contact distribution has constant holomorphic sectional curvatures.


Operators which preserve a positive definite inner product. Let cal H be a Hilbert space, A a positive definite operator in cal H and langle f,g rangle A langle Af,g rangle , f,g in cal H , the A inner product. This paper studies the geometry of the set cal I A a hbox adjointable isometries for langle , rangle A . It is proved that cal I A a is a submanifold of the Banach algebra of adjointable operators, and a homogeneous space of the group of invertible operators in cal H , which are unitaries for the A inner product. Smooth curves in cal I A a with given initial conditions, which are minimal for the metric induced by langle , rangle A , are presented. This result depends on an adaptation of M.G. Krein's extension method of symmetric contractions, in order that it works also for symmetrizable transformations (i.e., operators which are selfadjoint for the A inner product).


Data driven nonintrusive reduced order modeling for dynamical systems with moving boundaries using Gaussian process regression. We present a data driven nonintrusive model order reduction method for dynamical systems with moving boundaries. The proposed method draws on the proper orthogonal decomposition, Gaussian process regression, and moving least squares interpolation. It combines several attributes that are not simultaneously satisfied in the existing model order reduction methods for dynamical systems with moving boundaries. Specifically, the method requires only snapshot data of state variables at discrete time instances and the parameters that characterize the boundaries, but not further knowledge of the full order model and the underlying governing equations. The dynamical systems can be generally nonlinear. The movements of boundaries are not limited to prescribed or periodic motions but can be free motions. In addition, we numerically investigate the ability of the reduced order model constructed by the proposed method to forecast the full order solutions for future times beyond the range of snapshot data. The error analysis for the proposed reduced order modeling and the criteria to determine the furthest forecast time are also provided. Through numerical experiments, we assess the accuracy and efficiency of the proposed method in several benchmark problems. The snapshot data used to construct and validate the reduced order model are from analytical numerical solutions and experimental measurements.


Positive bound states to nonlinear Choquard equations in the presence of nonsymmetric potentials. The existence of a positive solution to a class of Choquard equations with potential going at a positive limit at infinity possibly from above or oscillating is proved. Our results include the physical case and do not require any symmetry assumptions on the potential.


Gaussian Process Meta Few shot Classifier Learning via Linear Discriminant Laplace Approximation. The meta learning few shot classification is an emerging problem in machine learning that received enormous attention recently, where the goal is to learn a model that can quickly adapt to a new task with only a few labeled data. We consider the Bayesian Gaussian process (GP) approach, in which we meta learn the GP prior, and the adaptation to a new task is carried out by the GP predictive model from the posterior inference. We adopt the Laplace posterior approximation, but to circumvent the iterative gradient steps for finding the MAP solution, we introduce a novel linear discriminant analysis (LDA) plugin as a surrogate for the MAP solution. In essence, the MAP solution is approximated by the LDA estimate, but to take the GP prior into account, we adopt the prior norm adjustment to estimate LDA's shared variance parameters, which ensures that the adjusted estimate is consistent with the GP prior. This enables closed form differentiable GP posteriors and predictive distributions, thus allowing fast meta training. We demonstrate considerable improvement over the previous approaches.


Sleeping Model Local and Dynamic Algorithms. In recent years the sleeping model came to the focus of researchers. In this model nodes can go into a sleep state in which they spend no energy but at the same time cannot receive or send messages, nor can they perform internal computations. This model captures energy considerations of a problem. A problem P is an O LOCAL problem if, given an acyclic orientation on the edges of the input graph, one can solve the problem as follows. Each vertex awaits the decisions of its parents according to the given orientation and can make its own decision in regard to P using only the information about its parents decisions. problems and showed that for this class of problems there is a deterministic algorithm that runs in O( log Delta) awake time. The clock round complexity of that algorithm is O( Delta 2) . In this work we offer three algorithms for the bf O LOCAL class of problems with a trade off between awake complexity and clock round complexity. One of these algorithms requires only O( Delta 1 epsilon ) clock rounds for some constant epsilon 0 but still only O( log Delta) awake time which improves on the algorithm in cite BM21 . We add to this two other algorithms that trade a higher awake complexity for lower clock round complexity. We note that the awake time incurred is not that significant. We offer dynamic algorithms in the sleeping model. We show three algorithms for solving dynamic problems in the O LOCAL class as well as an algorithm for solving any dynamic decidable problem. We show that one can solve any bf O LOCAL problem in constant awake time in graphs with constant neighborhood independence. Specifically, our algorithm requires O(K) awake time where K is the neighborhood independence of the input graph. Graphs with bounded neighborhood independence are well studied with several results in recent years for several core problem in the distributed setting.