C 2 n equivariant rational stable stems and characteristic classes. In this short note, we compute the rational C 2 n equivariant stable stems and give minimal presentations for the RO(C 2 n ) graded Bredon cohomology of the equivariant classifying spaces B C 2 n S 1 and B C 2 n Sigma 2 over the rational Burnside functor A mathbf Q . We also examine for which compact Lie groups L the maximal torus inclusion T to L induces an isomorphism from H C 2 n (B C 2 n L A mathbf Q ) onto the fixed points of H C 2 n (B C 2 n T A mathbf Q ) under the Weyl group action. We prove that this holds for L U(m) and any n,m ge 1 but does not hold for L SU(2) and n 1 .


Weakly Supervised Semantic Segmentation via Alternative Self Dual Teaching. Current weakly supervised semantic segmentation (WSSS) frameworks usually contain the separated mask refinement model and the main semantic region mining model. These approaches would contain redundant feature extraction backbones and biased learning objectives, making them computational complex yet sub optimal to addressing the WSSS task. To solve this problem, this paper establishes a compact learning framework that embeds the classification and mask refinement components into a unified deep model. With the shared feature extraction backbone, our model is able to facilitate knowledge sharing between the two components while preserving a low computational complexity. To encourage high quality knowledge interaction, we propose a novel alternative self dual teaching (ASDT) mechanism. Unlike the conventional distillation strategy, the knowledge of the two teacher branches in our model is alternatively distilled to the student branch by a Pulse Width Modulation (PWM), which generates PW wave like selection signal to guide the knowledge distillation process. In this way, the student branch can help prevent the model from falling into local minimum solutions caused by the imperfect knowledge provided of either teacher branch. Comprehensive experiments on the PASCAL VOC 2012 and COCO Stuff 10K demonstrate the effectiveness of the proposed alternative self dual teaching mechanism as well as the new state of the art performance of our approach.


A data driven and model based accelerated Hamiltonian Monte Carlo method for Bayesian elliptic inverse problems. In this paper, we consider a Bayesian inverse problem modeled by elliptic partial differential equations (PDEs). Specifically, we propose a data driven and model based approach to accelerate the Hamiltonian Monte Carlo (HMC) method in solving large scale Bayesian inverse problems. The key idea is to exploit (model based) and construct (data based) the intrinsic approximate low dimensional structure of the underlying problem which consists of two components a training component that computes a set of data driven basis to achieve significant dimension reduction in the solution space, and a fast solving component that computes the solution and its derivatives for a newly sampled elliptic PDE with the constructed data driven basis. Hence we achieve an effective data and model based approach for the Bayesian inverse problem and overcome the typical computational bottleneck of HMC repeated evaluation of the Hamiltonian involving the solution (and its derivatives) modeled by a complex system, a multiscale elliptic PDE in our case. We present numerical examples to demonstrate the accuracy and efficiency of the proposed method.


Calibrated Adversarial Training. Adversarial training is an approach of increasing the robustness of models to adversarial attacks by including adversarial examples in the training set. One major challenge of producing adversarial examples is to contain sufficient perturbation in the example to flip the model's output while not making severe changes in the example's semantical content. Exuberant change in the semantical content could also change the true label of the example. Adding such examples to the training set results in adverse effects. In this paper, we present the Calibrated Adversarial Training, a method that reduces the adverse effects of semantic perturbations in adversarial training. The method produces pixel level adaptations to the perturbations based on novel calibrated robust error. We provide theoretical analysis on the calibrated robust error and derive an upper bound for it. Our empirical results show a superior performance of the Calibrated Adversarial Training over a number of public datasets.


One shot Face Reenactment Using Appearance Adaptive Normalization. The paper proposes a novel generative adversarial network for one shot face reenactment, which can animate a single face image to a different pose and expression (provided by a driving image) while keeping its original appearance. The core of our network is a novel mechanism called appearance adaptive normalization, which can effectively integrate the appearance information from the input image into our face generator by modulating the feature maps of the generator using the learned adaptive parameters. Furthermore, we specially design a local net to reenact the local facial components (i.e., eyes, nose and mouth) first, which is a much easier task for the network to learn and can in turn provide explicit anchors to guide our face generator to learn the global appearance and pose and expression. Extensive quantitative and qualitative experiments demonstrate the significant efficacy of our model compared with prior one shot methods.


Parallelisable Existential Rules a Story of Pieces. In this paper, we consider existential rules, an expressive formalism well suited to the representation of ontological knowledge and data to ontology mappings in the context of ontology based data integration. The chase is a fundamental tool to do reasoning with existential rules as it computes all the facts entailed by the rules from a database instance. We introduce parallelisable sets of existential rules, for which the chase can be computed in a single breadth first step from any instance. The question we investigate is the characterization of such rule sets. We show that parallelisable rule sets are exactly those rule sets both bounded for the chase and belonging to a novel class of rules, called pieceful. The pieceful class includes in particular frontier guarded existential rules and (plain) datalog. We also give another characterization of parallelisable rule sets in terms of rule composition based on rewriting.


Detecting race and gender bias in visual representation of AI on web search engines. Web search engines influence perception of social reality by filtering and ranking information. However, their outputs are often subjected to bias that can lead to skewed representation of subjects such as professional occupations or gender. In our paper, we use a mixed method approach to investigate presence of race and gender bias in representation of artificial intelligence (AI) in image search results coming from six different search engines. Our findings show that search engines prioritize anthropomorphic images of AI that portray it as white, whereas non white images of AI are present only in non Western search engines. By contrast, gender representation of AI is more diverse and less skewed towards a specific gender that can be attributed to higher awareness about gender bias in search outputs. Our observations indicate both the the need and the possibility for addressing bias in representation of societally relevant subjects, such as technological innovation, and emphasize the importance of designing new approaches for detecting bias in information retrieval systems.


Topological Mixing of Random Substitutions. We investigate topological mixing of compatible random substitutions. For primitive random substitutions on two letters whose second eigenvalue is greater than one in modulus, we identify a simple, computable criterion which is equivalent to topological mixing of the associated subshift. This generalises previous results on deterministic substitutions. In the case of recognisable, irreducible Pisot random substitutions, we show that the associated subshift is not topologically mixing. Without recognisability, we rely on more specialised methods for excluding mixing and we apply these methods to show that the random Fibonacci substitution subshift is not topologically mixing.


A Small Maximal Sidon Set In Z 2 n . A Sidon set is a subset of an Abelian group with the property that each sum of two distinct elements is distinct. We construct a small maximal Sidon set of size O((n cdot 2 n) 1 3 ) in the group mathbb Z 2 n , generalizing a result of Ruzsa concerning maximal Sidon sets in the integers.


A Full Body Avatar Based Telepresence System for Dissimilar Spaces. We present a novel mixed reality (MR) telepresence system enabling a local user to interact with a remote user through full body avatars in their own rooms. If the remote rooms have different sizes and furniture arrangements, directly applying a user's motion to an avatar leads to a mismatch of placement and deictic gesture. To overcome this problem, we retarget the placement, arm gesture, and head movement of a local user to an avatar in a remote room to preserve a local user's environment and interaction context. This allows avatars to utilize real furniture and interact with a local user and shared objects as if they were in the same room. This paper describes our system's design and implementation in detail and a set of example scenarios in the living room and office room. A qualitative user study delves into a user experience, challenges, and possible extensions of the proposed system.


ContIG Self supervised Multimodal Contrastive Learning for Medical Imaging with Genetics. High annotation costs are a substantial bottleneck in applying modern deep learning architectures to clinically relevant medical use cases, substantiating the need for novel algorithms to learn from unlabeled data. In this work, we propose ContIG, a self supervised method that can learn from large datasets of unlabeled medical images and genetic data. Our approach aligns images and several genetic modalities in the feature space using a contrastive loss. We design our method to integrate multiple modalities of each individual person in the same model end to end, even when the available modalities vary across individuals. Our procedure outperforms state of the art self supervised methods on all evaluated downstream benchmark tasks. We also adapt gradient based explainability algorithms to better understand the learned cross modal associations between the images and genetic modalities. Finally, we perform genome wide association studies on the features learned by our models, uncovering interesting relationships between images and genetic data.


On the slice genus of generalized algebraic knots. We give examples of a linear combination of algebraic knots and their mirrors that are algebraically slice, but whose topological and smooth four genus is two. Our examples generalize an example of non slice algebraically slice linear combination of iterated torus knots obtained by Hedden, Kirk and Livingston. Our main tool is a genus bound from Casson Gordon invariants and a cabling formula that allows us to compute effectively these invariants.


Simultaneous dilation and translation tilings of mathbb R n . We solve the wavelet set existence problem. That is, we characterize the full rank lattices Gamma subset mathbb R n and invertible n times n matrices A for which there exists a measurable set W such that W gamma gamma in Gamma and A j(W) j in mathbb Z are tilings of mathbb R n . The characterization is a non obvious generalization of the one found by Ionascu and Wang, which solved the problem in the case n 2 . As an application of our condition and a theorem of Margulis, we also strengthen a result of Dai, Larson, and the second author on the existence of wavelet sets by showing that wavelet sets exist for matrix dilations, all of whose eigenvalues lambda satisfy lambda ge 1 . As another application, we show that the Ionascu Wang characterization characterizes those dilations whose product of two smallest eigenvalues in absolute value is ge 1 .


Factorial Schur and Grothendieck polynomials from Bott Samelson varieties. We use Bott Samelson resolutions of Schubert varieties in Grassmannians along with equiariant localization techniques to show that the factorial Schur functions and the factorial Grothendieck polynomials represent Schubert classes in equivariant cohomology and equivariant K theory respectively.


Assets in Software Engineering What are they after all?. During the development and maintenance of software intensive products or services, we depend on various assets. These assets are important to the feasibility of the project and influence the product's final quality. However, despite their central role in the software development process, little thought is yet invested into what assets eventually are, often resulting in many terms and underlying concepts being mixed and used inconsistently. A precise terminology of assets and related concepts, such as asset degradation, are crucial for setting up a new generation of cost effective software engineering practices. In this position paper, we critically reflect upon the notion of assets in software engineering. As a starting point, we define the terminology and concepts of assets and extend the reasoning behind them. We explore assets' characteristics and discuss what asset degradation is as well as its various types and the implications that asset degradation might bring for the planning, realisation, and evolution of software intensive products and services over time. With our work, we aspire to contribute to a more standardised definition of assets in software engineering and foster research endeavours and their practical dissemination in a common, more unified direction.


The Deep Radial Basis Function Data Descriptor (D RBFDD) Network A One Class Neural Network for Anomaly Detection. Anomaly detection is a challenging problem in machine learning, and is even more so when dealing with instances that are captured in low level, raw data representations without a well behaved set of engineered features. The Radial Basis Function Data Descriptor (RBFDD) network is an effective solution for anomaly detection, however, it is a shallow model that does not deal effectively with raw data representations. This paper investigates approaches to modifying the RBFDD network to transform it into a deep one class classifier suitable for anomaly detection problems with low level raw data representations. We show that approaches based on transfer learning are not effective and our results suggest that this is because the latent representations learned by generic classification models are not suitable for anomaly detection. Instead we show that an approach that adds multiple convolutional layers before the RBF layer, to form a Deep Radial Basis Function Data Descriptor (D RBFDD) network, is very effective. This is shown in a set of evaluation experiments using multiple anomaly detection scenarios created from publicly available image classification datasets, and a real world anomaly detection dataset in which different types of arrhythmia are detected in electrocardiogram (ECG) data. Our experiments show that the D RBFDD network out performs state of the art anomaly detection methods including the Deep Support Vector Data Descriptor (Deep SVDD), One Class SVM, and Isolation Forest on the image datasets, and produces competitive results for the ECG dataset.


Mutual cooperation and tolerance to defection in the context of socialization the theoretical model and experimental evidence. The study of the nature of human cooperation still contains gaps needing investigation. Previous findings reveal that socialization effectively promotes cooperation in the well known Prisoner's dilemma (PD) game. However, theoretical concepts fail to describe high levels of cooperation (probability higher than 50 ) that were observed empirically. In this paper, we derive a symmetrical quantal response equilibrium (QRE) in PD in Markov strategies and test it against experimental data. Our results indicate that for low levels of rationality, QRE manages to describe high cooperation. In contrast, for high rationality QRE converges to the Nash equilibrium and describes low cooperation behavior of participants. In the area of middle rationality, QRE matches the curve that represents the set of Nash equilibrium in Markov strategies. Further, we find that QRE serves as a dividing line between behavior before and after socialization, according to the experimental data. Finally, we successfully highlight the theoretically predicted intersection of the set of Nash equilibrium in Markov strategies and the QRE curve.


You Only Learn One Representation Unified Network for Multiple Tasks. People understand'' the world via vision, hearing, tactile, and also the past experience. Human experience can be learned through normal learning (we call it explicit knowledge), or subconsciously (we call it implicit knowledge). These experiences learned through normal learning or subconsciously will be encoded and stored in the brain. Using these abundant experience as a huge database, human beings can effectively process data, even they were unseen beforehand. In this paper, we propose a unified network to encode implicit knowledge and explicit knowledge together, just like the human brain can learn knowledge from normal learning as well as subconsciousness learning. The unified network can generate a unified representation to simultaneously serve various tasks. We can perform kernel space alignment, prediction refinement, and multi task learning in a convolutional neural network. The results demonstrate that when implicit knowledge is introduced into the neural network, it benefits the performance of all tasks. We further analyze the implicit representation learnt from the proposed unified network, and it shows great capability on catching the physical meaning of different tasks. The source code of this work is at https github.com WongKinYiu yolor.


Characterizing Online Engagement with Disinformation and Conspiracies in the 2020 U.S. Presidential Election. Identifying and characterizing disinformation in political discourse on social media is critical to ensure the integrity of elections and democratic processes around the world. Persistent manipulation of social media has resulted in increased concerns regarding the 2020 U.S. Presidential Election, due to its potential to influence individual opinions and social dynamics. In this work, we focus on the identification of distorted facts, in the form of unreliable and conspiratorial narratives in election related tweets, to characterize discourse manipulation prior to the election. We apply a detection model to separate factual from unreliable (or conspiratorial) claims analyzing a dataset of 242 million election related tweets. The identified claims are used to investigate targeted topics of disinformation, and conspiracy groups, most notably the far right QAnon conspiracy group. Further, we characterize account engagements with unreliable and conspiracy tweets, and with the QAnon conspiracy group, by political leaning and tweet types. Finally, using a regression discontinuity design, we investigate whether Twitter's actions to curb QAnon activity on the platform were effective, and how QAnon accounts adapt to Twitter's restrictions.


Maximizing performance of quantum cascade laser pumped molecular lasers. Quantum cascade laser (QCL) pumped molecular lasers (QPMLs) have recently been introduced as a new source of powerful ( 1 mW), tunable ( 1 THz), narrow band ( 10 kHz), continuous wave terahertz radiation. The performance of these lasers depends critically on molecular collision physics, pump saturation, and on the design of the laser cavity. Using a validated three level model that captures the essential collision and saturation behaviors of the QPML gas nitrous oxide (N2O),we explore how threshold pump power and output terahertz power depend on pump power, gas pressure, as well as on the diameter, length, and output coupler transmissivity of a cylindrical cavity.The analysis indicates that maximum power occurs as pump saturation is minimized in a manner that depends much more sensitively on pressure than on cell diameter, length, or transmissivity. A near optimal compact laser cavity can produce more than 10 mW of power tunable over frequencies above 1 THz when pumped by a multi watt QCL.


Simulation of Conditioned Semimartingales on Riemannian Manifolds. We present a scheme for simulating conditioned semimartingales taking values in Riemannian manifolds. Extending the guided bridge proposal approach used for simulating Euclidean bridges, the scheme replaces the drift of the conditioned process with an approximation in terms of a scaled radial vector field. This handles the fact that transition densities are generally intractable on geometric spaces. We prove the validity of the scheme by a change of measure argument, and we show how the resulting guided processes can be used in importance sampling and for approximating the density of the unconditioned process. The bridge sampling is experimentally illustrated on two and three dimensional manifolds. Here, we compare density estimates using the sampling scheme to approximations using heat kernel expansions, and we use the scheme to estimate the diffusion mean of sampled data.


A Penalty Decomposition Algorithm with Greedy Improvement for Mean Reverting Portfolios with Sparsity and Volatility Constraints. Mean reverting portfolios with few assets, but high variance, are of great interest for investors in financial markets. Such portfolios are straightforwardly profitable because they include a small number of assets whose prices not only oscillate predictably around a long term mean but also possess enough volatility. Roughly speaking, sparsity minimizes trading costs, volatility provides arbitrage opportunities, and mean reversion property equips investors with ideal investment strategies. Finding such favorable portfolios can be formulated as a nonconvex quadratic optimization problem with an additional sparsity constraint. To the best of our knowledge, there is no method for solving this problem and enjoying favorable theoretical properties yet. In this paper, we develop an effective two stage algorithm for this problem. In the first stage, we apply a tailored penalty decomposition method for finding a stationary point of this nonconvex problem. For a fixed penalty parameter, the block coordinate descent method is utilized to find a stationary point of the associated penalty subproblem. In the second stage, we improve the result from the first stage via a greedy scheme that solves restricted nonconvex quadratically constrained quadratic programs (QCQPs). We show that the optimal value of such a QCQP can be obtained by solving their semidefinite relaxations. Numerical experiments on S P 500 are conducted to demonstrate the effectiveness of the proposed algorithm.


Theory based Habit Modeling for Enhancing Behavior Prediction. Psychological theories of habit posit that when a strong habit is formed through behavioral repetition, it can trigger behavior automatically in the same environment. Given the reciprocal relationship between habit and behavior, changing lifestyle behaviors (e.g., toothbrushing) is largely a task of breaking old habits and creating new and healthy ones. Thus, representing users' habit strengths can be very useful for behavior change support systems (BCSS), for example, to predict behavior or to decide when an intervention reaches its intended effect. However, habit strength is not directly observable and existing self report measures are taxing for users. In this paper, built on recent computational models of habit formation, we propose a method to enable intelligent systems to compute habit strength based on observable behavior. The hypothesized advantage of using computed habit strength for behavior prediction was tested using data from two intervention studies, where we trained participants to brush their teeth twice a day for three weeks and monitored their behaviors using accelerometers. Through hierarchical cross validation, we found that for the task of predicting future brushing behavior, computed habit strength clearly outperformed self reported habit strength (in both studies) and was also superior to models based on past behavior frequency (in the larger second study). Our findings provide initial support for our theory based approach of modeling user habits and encourages the use of habit computation to deliver personalized and adaptive interventions.


Hamtajoo A Persian Plagiarism Checker for Academic Manuscripts. In recent years, due to the high availability of electronic documents through the Web, the plagiarism has become a serious challenge, especially among scholars. Various plagiarism detection systems have been developed to prevent text re use and to confront plagiarism. Although it is almost easy to detect duplicate text in academic manuscripts, finding patterns of text re use that has been semantically changed is of great importance. Another important issue is to deal with less resourced languages, which there are low volume of text for training purposes and also low performance in tools for NLP applications. In this paper, we introduce Hamtajoo, a Persian plagiarism detection system for academic manuscripts. Moreover, we describe the overall structure of the system along with the algorithms used in each stage. In order to evaluate the performance of the proposed system, we used a plagiarism detection corpus comply with the PAN standards.


Analysis of Normal Form Algorithms for Solving Systems of Polynomial Equations. We examine several of the normal form multivariate polynomial rootfinding methods of Telen, Mourrain, and Van Barel and some variants of those methods. We analyze the performance of these variants in terms of their asymptotic temporal complexity as well as speed and accuracy on a wide range of numerical experiments. All variants of the algorithm are problematic for systems in which many roots are very close together. We analyze performance on one such system in detail, namely the 'devastating example' that Noferini and Townsend used to demonstrate instability of resultant based methods.


Towards Social Role Based Interruptibility Management. Managing individuals' attention and interruptibility is still a challenging task in the field of human computer interaction. Individuals' intrinsic interruptibility preferences are often established for and across different social roles and life domains, which have not yet been captured by modeling short term opportunities alone. This paper investigates the applicability of social role theory and boundary management as theoretical underpinnings for analyzing social roles and their associated interruptibility preferences. We conducted an in the wild study with 16 participants for five weeks to collect individuals' social roles, interruptibility preferences, application usage and spatio temporal information. A paired t test shows that interruptibility models are significantly improved by incorporating individuals' self reported social roles, achieving a F1 score of 0.73 for classifying 4 different interruptibility preferences. We design and evaluate social role classification models based on spatio temporal and application based features. We then combined social role and interruptibility classifiers in a novel two stage interruptibility model that first infers individuals' social roles to finally predict individuals' interruptibility preferences. The two stage interruptibility model achieves a F1 score of 0.70. Finally, we examine the influence of multi device data on social role and interruptibility classification performances. Our findings break new grounds and provide new insights for the design of future interruption management systems.


Optical attenuators extend dynamic range but alter angular response of planar ultraviolet C dosimeters. A challenge for sensors used in ultraviolet C (UV C) decontamination protocols of N95 respirators is validation that the entire N95 surface receives the minimum acceptable dose. Photochromic indicators (PCIs) can accurately measure UV C dose on nonplanar surfaces, but often saturate below doses required to decontaminate porous, multilayered textiles such as N95s. Here, we investigate the use of optical attenuators to extend PCI dynamic range while maintaining a near ideal angular response critical for accurate measurements when UV C is uncollimated. Through an analytical model, we show that tuning attenuator refractive index, attenuation coefficient, and thickness can extend dynamic range, but compromises ideal angular response unless the attenuator is an ideal diffuser. To demonstrate this tradeoff empirically, we pair PCIs with model specular (floated borosilicate) and diffuse (polytetrafluoroethylene) attenuators, characterize the angular response, and evaluate on N95 UV C dose measurement accuracy of each PCI attenuator stack in a UV C decontamination system. While both borosilicate and polytetrafluoroethylene increase PCI dynamic range 4 times , both attenuators introduce angle dependent transmittance, which causes location dependent underestimation of UV C dose. The PCI borosilicate and PCI polytetrafluoroethylene stacks underreport true on N95 dose by 1) 14.7 and 3.6 , respectively, on a surface near normal to the array of source lamps, and 2) 40.8 and 19.8 , respectively, on a steeply sloped location. Overall, we demonstrate that while planar optical attenuators can increase PCI dynamic range, verification of near ideal angular response is critical for accurate UV C dose measurement.


Mitigating Bias in Algorithmic Systems A Fish Eye View. Mitigating bias in algorithmic systems is a critical issue drawing attention across communities within the information and computer sciences. Given the complexity of the problem and the involvement of multiple stakeholders including developers, end users, and third parties there is a need to understand the landscape of the sources of bias, and the solutions being proposed to address them, from a broad, cross domain perspective. This survey provides a "fish eye view," examining approaches across four areas of research. The literature describes three steps toward a comprehensive treatment bias detection, fairness management and explainability management and underscores the need to work from within the system as well as from the perspective of stakeholders in the broader context.


On dispersability of some circulant graphs. The it matching book thickness mbt(G) of a graph G is the least number of pages in a book embedding such that each page is a matching G is it dispersable if mbt(G) Delta(G) , where Delta is the maximum degree. A graph G is it nearly dispersable if mbt(G) 1 Delta(G) . Recently, Alam et al disproved the 40 year old Bernhart Kainen conjecture that all regular bipartite graphs are dispersable, motivating further work on dispersability. We show that most circulant graphs G with jump lengths not exceeding 3 are dispersable or nearly dispersable. Similar results are obtained for arbitrarily large jump lengths, obtained by rearranging repeated copies of a complete or bipartite complete graph.


Generating Lode Runner Levels by Learning Player Paths with LSTMs. Machine learning has been a popular tool in many different fields, including procedural content generation. However, procedural content generation via machine learning (PCGML) approaches can struggle with controllability and coherence. In this paper, we attempt to address these problems by learning to generate human like paths, and then generating levels based on these paths. We extract player path data from gameplay video, train an LSTM to generate new paths based on this data, and then generate game levels based on this path data. We demonstrate that our approach leads to more coherent levels for the game Lode Runner in comparison to an existing PCGML approach.


Picard hyperbolicity of manifolds admitting nilpotent harmonic bundles. For a quasi compact K "ahler manifold U endowed with a nilpotent harmonic bundle whose Higgs field is injective at one point, we prove that U is pseudo algebraically hyperbolic, pseudo Picard hyperbolic, and is of log general type. Moreover, we prove that there is a finite unramified cover tilde U of U from a quasi projective manifold tilde U so that any projective compactification of tilde U is pseudo algebraically hyperbolic, pseudo Picard hyperbolic and is of general type. As a byproduct, we establish some criterion of pseudo Picard hyperbolicity and pseudo algebraic hyperbolicity for quasi compact K "ahler manifolds.


Reentrancy Vulnerability Identification in Ethereum Smart Contracts. Ethereum Smart contracts use blockchain to transfer values among peers on networks without central agency. These programs are deployed on decentralized applications running on top of the blockchain consensus protocol to enable people to make agreements in a transparent and conflict free environment. The security vulnerabilities within those smart contracts are a potential threat to the applications and have caused huge financial losses to their users. In this paper, we present a framework that combines static and dynamic analysis to detect Reentrancy vulnerabilities in Ethereum smart contracts. This framework generates an attacker contract based on the ABI specifications of smart contracts under test and analyzes the contract interaction to precisely report Reentrancy vulnerability. We conducted a preliminary evaluation of our proposed framework on 5 modified smart contracts from Etherscan and our framework was able to detect the Reentrancy vulnerability in all our modified contracts. Our framework analyzes smart contracts statically to identify potentially vulnerable functions and then uses dynamic analysis to precisely confirm Reentrancy vulnerability, thus achieving increased performance and reduced false positives.


Analysis and Correlation of Visual Evidence in Campaigns of Malicious Office Documents. Many malware campaigns use Microsoft (MS) Office documents as droppers to download and execute their malicious payload. Such campaigns often use these documents because MS Office is installed in billions of devices and that these files allow the execution of arbitrary VBA code. Recent versions of MS Office prevent the automatic execution of VBA macros, so malware authors try to convince users into enabling the content via images that, e.g. forge system or technical errors. In this work, we leverage these visual elements to construct lightweight malware signatures that can be applied with minimal effort. We test and validate our approach using an extensive database of malware samples and identify correlations between different campaigns that illustrate that some campaigns are either using the same tools or that there is some collaboration between them.


A twisted Yu construction, Harish Chandra characters, and endoscopy. We give a modification of Yu's construction of supercuspidal representations of a connected reductive group over a non archimedean local field. This modification restores the validity of certain key intertwining property claims made by Yu, which were recently proven to be false for the original construction. This modification is also an essential ingredient in the explicit construction of supercuspidal L packets. As further applications, we prove the stability and many instances of endoscopic character identities of these supercuspidal L packets, subject to some conditions on the base field. In particular, for regular supercuspidal parameters we prove all instances of standard endoscopy. In addition, we prove that these supercuspidal L packets satisfy a certain property, which, together with standard endoscopy, uniquely characterizes the local Langlands correspondence for supercuspidal L packets (again subject to the above mentioned conditions on the base field). These results are based on a statement of the Harish Chandra character formula for the supercuspidal representations arising from the twisted Yu construction.


On stochastic stabilization of sampled systems. This paper addresses stochastic stabilization in case where implementation of control policies is digital, i. e., when the dynamical system is treated continuous, whereas the control actions are held constant in predefined time steps. In such a setup, special attention should be paid to the sample to sample behavior of the involved Lyapunov function. This paper extends on the stochastic stability results specifically to address for the sample and hold mode. We show that if a Markov policy stabilizes the system in a suitable sense, then it also practically stabilizes it in the sample and hold sense. This establishes a bridge from an idealized continuous application of the policy to its digital implementation. The central result applies to dynamical systems described by stochastic differential equations driven by the standard Brownian motion. Generalizations are discussed, including the case of non smooth Lyapunov functions for systems driven by bounded noise. A brief overview of bounded noise models is given.


Robust Segmentation Models using an Uncertainty Slice Sampling Based Annotation Workflow. Semantic segmentation neural networks require pixel level annotations in large quantities to achieve a good performance. In the medical domain, such annotations are expensive, because they are time consuming and require expert knowledge. Active learning optimizes the annotation effort by devising strategies to select cases for labeling that are most informative to the model. In this work, we propose an uncertainty slice sampling (USS) strategy for semantic segmentation of 3D medical volumes that selects 2D image slices for annotation and compare it with various other strategies. We demonstrate the efficiency of USS on a CT liver segmentation task using multi site data. After five iterations, the training data resulting from USS consisted of 2410 slices (4 of all slices in the data pool) compared to 8121 (13 ), 8641 (14 ), and 3730 (6 ) for uncertainty volume (UVS), random volume (RVS), and random slice (RSS) sampling, respectively. Despite being trained on the smallest amount of data, the model based on the USS strategy evaluated on 234 test volumes significantly outperformed models trained according to other strategies and achieved a mean Dice index of 0.964, a relative volume error of 4.2 , a mean surface distance of 1.35 mm, and a Hausdorff distance of 23.4 mm. This was only slightly inferior to 0.967, 3.8 , 1.18 mm, and 22.9 mm achieved by a model trained on all available data, but the robustness analysis using the 5th percentile of Dice and the 95th percentile of the remaining metrics demonstrated that USS resulted not only in the most robust model compared to other sampling schemes, but also outperformed the model trained on all data according to Dice (0.946 vs. 0.945) and mean surface distance (1.92 mm vs. 2.03 mm).


On mathbf 2 times2 determinants originating from survival probabilities in homogeneous discrete time risk model. We analyze 2 times 2 Hankel like determinants D n that arise in the initial values problem for the ultimate time survival probability varphi(u) in a homogeneous discrete time risk model W(n) u kappa n sum i 1 nZ i , where Z i are positive integer valued i.i.d. random claims, the initial surplus u in mathbb N 0 and the income rate kappa 2 . We prove the asymptotic version of a recent conjecture on the non vanishing and monotonicity of D n and derive explicit formulas for the initial values varphi(0) , varphi(1) of a recurrence that yields survival probabilities. In cases when Z i are Bernoulli or Geometrically distributed, the conjecture on D n is shown to hold for all n in mathbb N 0 . Additionally, a generating function Phi(t) for ultimate survival probabilities varphi(u) is derived.


The effects of regularisation on RNN models for time series forecasting Covid 19 as an example. Many research papers that propose models to predict the course of the COVID 19 pandemic either use handcrafted statistical models or large neural networks. Even though large neural networks are more powerful than simpler statistical models, they are especially hard to train on small datasets. This paper not only presents a model with grater flexibility than the other proposed neural networks, but also presents a model that is effective on smaller datasets. To improve performance on small data, six regularisation methods were tested. The results show that the GRU combined with 20 Dropout achieved the lowest RMSE scores. The main finding was that models with less access to data relied more on the regulariser. Applying Dropout to a GRU model trained on only 28 days of data reduced the RMSE by 23 .


Hamming graphs and concentration properties in Banach spaces. In this note, we study some concentration properties for Lipschitz maps defined on Hamming graphs, as well as their stability under sums of Banach spaces. As an application, we extend a result of Causey on the coarse Lipschitz structure of quasi reflexive spaces satisfying upper ell p tree estimates to the setting of ell p sums of such spaces. We also give a sufficient condition for a space to be asymptotic c 0 in terms of a concentration property, as well as relevant counterexamples.


Modelling the Spread of Covid 19 on Malaysian Contact Networks for Practical Reopening Strategies in an Institutional Setting. Reopening strategies are crucial to balance efforts of economic revitalization and bringing back a sense of normalcy while mitigating outbreaks and effectively flattening the infection curve. This paper proposes practical reopening, monitoring and testing strategies for institutions to reintroduce physical meetings based on SIR simulations run on a student friendship network collected pre Covid 19. These serve as benchmarks to assess several testing strategies that can be applied in physical classes. Our simulations show that the best outbreak mitigation results are obtained with full knowledge of contact, but are also robust to non compliance of students to new social interaction guidelines, simulated by partial knowledge of the interactions. These results are not only applicable to institutions but also for any organization or company wanting to navigate the Covid 19 ravaged world.


Coordinated motion of active filaments on spherical surfaces. Coordinated cilia are used throughout the natural world for micronscale fluid transport. They are often modelled with regular filament arrays on fixed, planar surfaces. Here, we simulate hundreds of interacting active filaments on spherical surfaces, where defects in the cilia displacement field must be present. We see synchronised beating towards or about two defects for spheres held fixed. Defects alter filament beating which causes the sphere to move once released. This motion feeds back to the filaments resulting in a whirling state with metachronal behaviour along the equator.


A Linearized Boundary Control Method for the Acoustic Inverse Boundary Value Problem. We develop a linearized boundary control method for the inverse boundary value problem of determining a potential in the acoustic wave equation from the Neumann to Dirichlet map. When the linearization is at the zero potential, we derive a reconstruction formula based on the boundary control method and prove that it is of Lipschitz type stability. When the linearization is at a nonzero potential, we prove that the problem is of H " o lder type stability. The proposed reconstruction formula is implemented and evaluated using several numerical experiments to validate its feasibility.


Kernel approximation on algebraic varieties. Low rank approximation of kernels is a fundamental mathematical problem with widespread algorithmic applications. Often the kernel is restricted to an algebraic variety, e.g., in problems involving sparse or low rank data. We show that significantly better approximations are obtainable in this setting the rank required to achieve a given error depends on the variety's dimension rather than the ambient dimension, which is typically much larger. This is true in both high precision and high dimensional regimes. Our results are presented for smooth isotropic kernels, the predominant class of kernels used in applications. Our main technical insight is to approximate smooth kernels by polynomial kernels, and leverage two key properties of polynomial kernels that hold when they are restricted to a variety. First, their ranks decrease exponentially in the variety's co dimension. Second, their maximum values are governed by their values over a small set of points. Together, our results provide a general approach for exploiting (approximate) "algebraic structure" in datasets in order to efficiently solve large scale data science problems.


Riemannian manifolds with entire Grauert tube are rationally elliptic. It was conjectured by Bott Grove Halperin that a compact simply connected Riemannian manifold M with nonnegative sectional curvature is rationally elliptic. We confirm this conjecture under the stronger assumption that M has entire Grauert tube,i.e., M is a real analytic Riemannian manifold that has a unique adapted complex structure defined on the whole tangent bundle TM .


Convergence analysis of some tent based schemes for linear hyperbolic systems. Finite element methods for symmetric linear hyperbolic systems using unstructured advancing fronts (satisfying a causality condition) are considered in this work. Convergence results and error bounds are obtained for mapped tent pitching schemes made with standard discontinuous Galerkin discretizations for spatial approximation on mapped tents. Techniques to study semidiscretization on mapped tents, design fully discrete schemes, prove local error bounds, prove stability on spacetime fronts, and bound error propagated through unstructured layers are developed.


Revisiting Uncertainty based Query Strategies for Active Learning with Transformers. Active learning is the iterative construction of a classification model through targeted labeling, enabling significant labeling cost savings. As most research on active learning has been carried out before transformer based language models ("transformers") became popular, despite its practical importance, comparably few papers have investigated how transformers can be combined with active learning to date. This can be attributed to the fact that using state of the art query strategies for transformers induces a prohibitive runtime overhead, which effectively nullifies, or even outweighs the desired cost savings. For this reason, we revisit uncertainty based query strategies, which had been largely outperformed before, but are particularly suited in the context of fine tuning transformers. In an extensive evaluation, we connect transformers to experiments from previous research, assessing their performance on five widely used text classification benchmarks. For active learning with transformers, several other uncertainty based approaches outperform the well known prediction entropy query strategy, thereby challenging its status as most popular uncertainty baseline in active learning for text classification.


A note on the induced Ramsey theorem for spaces. The aim of this note is to give a simplified proof of the induced version of the Ramsey theorem for vector spaces first proved by H. J. Pr " o mel.


Convergence of a finite difference scheme for the Kuramoto Sivashinsky equation defined on an expanding circle. This paper presents a finite difference method combined with the Crank Nicolson scheme of the Kuramoto Sivashinsky equation defined on an expanding circle ( cite KUY ), and the existence, uniqueness, and second order error estimate of the scheme. The equation can be obtained as a perturbation equation from the circle solution to an interfacial equation and can provide guidelines for understanding the wavenumber selection of solutions to the interfacial equation. Our proposed numerical scheme can help with such a mathematical analysis.


Towards Learning Generalizable Driving Policies from Restricted Latent Representations. Training intelligent agents that can drive autonomously in various urban and highway scenarios has been a hot topic in the robotics society within the last decades. However, the diversity of driving environments in terms of road topology and positioning of the neighboring vehicles makes this problem very challenging. It goes without saying that although scenario specific driving policies for autonomous driving are promising and can improve transportation safety and efficiency, they are clearly not a universal scalable solution. Instead, we seek decision making schemes and driving policies that can generalize to novel and unseen environments. In this work, we capitalize on the key idea that human drivers learn abstract representations of their surroundings that are fairly similar among various driving scenarios and environments. Through these representations, human drivers are able to quickly adapt to novel environments and drive in unseen conditions. Formally, through imposing an information bottleneck, we extract a latent representation that minimizes the textit distance a quantification that we introduce to gauge the similarity among different driving configurations between driving scenarios. This latent space is then employed as the input to a Q learning module to learn generalizable driving policies. Our experiments revealed that, using this latent representation can reduce the number of crashes to about half.


Energy conserving formulation of the two fluid model for incompressible two phase flow in channels and pipes. We show that the one dimensional (1D) two fluid model (TFM) for stratified flow in channels and pipes (in its incompressible, isothermal form) satisfies an energy conservation equation, which arises naturally from the mass and momentum conservation equations that constitute the model. This result extends upon earlier work on the shallow water equations (SWE), with the important difference that we include non conservative pressure terms in the analysis, and that we propose a formulation that holds for ducts with an arbitrary cross sectional shape, with the 2D channel and circular pipe geometries as special cases. The second novel result of this work is the formulation of a finite volume scheme for the TFM that satisfies a discrete form of the continuous energy equation. This discretization is derived in a manner that runs parallel to the continuous analysis. Due to the non conservative pressure terms it is essential to employ a staggered grid, which requires careful consideration in defining the discrete energy and energy fluxes, and the relations between them and the discrete model. Numerical simulations confirm that the discrete energy is conserved.


Global stability analysis of flow behind an upswept aftbody. Wakes of aircraft and automobiles with relatively flat slanted aftbodies are often characterized by a streamwise oriented vortex pair, whose strength affects drag and other crucial performance parameters. We examine the stability characteristics of the vortex pair emerging over an abstraction comprised of a streamwise aligned cylinder terminated with an upswept plane. The Reynolds number is fixed at 5000 and the upsweep angle is increased from 20deg to 32deg. At 20deg, the LES yields a steady streamwise oriented vortex pair, and the global modes are also stable. At 32deg, the LES displays unsteady flow behavior. Linear analysis of the mean flow reveals different unstable modes. The lowest oscillation frequency is an antisymmetric mode, which is attached to the entire slanted base. At the highest frequency, the mode is symmetric and has the same rotational orientation as the mean vortex pair. Its support is prominent in the rear part of the slanted base and spreads relatively rapidly downstream with prominent helical structures. A receptivity analysis of low and high frequency modes suggests the latter holds promise to affect the vortical flow, providing a potential starting point for a control strategy to modify the vortex pair.


On the Impact of Interpretability Methods in Active Image Augmentation Method. Robustness is a significant constraint in machine learning models. The performance of the algorithms must not deteriorate when training and testing with slightly different data. Deep neural network models achieve awe inspiring results in a wide range of applications of computer vision. Still, in the presence of noise or region occlusion, some models exhibit inaccurate performance even with data handled in training. Besides, some experiments suggest deep learning models sometimes use incorrect parts of the input information to perform inference. Activate Image Augmentation (ADA) is an augmentation method that uses interpretability methods to augment the training data and improve its robustness to face the described problems. Although ADA presented interesting results, its original version only used the Vanilla Backpropagation interpretability to train the U Net model. In this work, we propose an extensive experimental analysis of the interpretability method's impact on ADA. We use five interpretability methods Vanilla Backpropagation, Guided Backpropagation, GradCam, Guided GradCam, and InputXGradient. The results show that all methods achieve similar performance at the ending of training, but when combining ADA with GradCam, the U Net model presented an impressive fast convergence.


On the anti quasi steady state conditions of enzyme kinetics. Quasi steady state reductions for the irreversible Michaelis Menten reaction mechanism are of interest both from a theoretical and an experimental design perspective. A number of publications have been devoted to extending the parameter range where reduction is possible, via improved sufficient conditions. In the present note, we complement these results by exhibiting local conditions that preclude quasi steady state reductions (anti quasi steady state), in the classical as well as in a broader sense. To this end, one needs to obtain necessary (as opposed to sufficient) conditions and determine parameter regions where these do not hold. In particular, we explicitly describe parameter regions where no quasi steady state reduction (in any sense) is applicable (anti quasi steady state conditions), and we also show that in a well defined sense these parameter regions are small. From another perspective, we obtain local conditions for the accuracy of standard or total quasi steady state. Perhaps surprisingly, our conditions do not involve initial substrate.


Semi supervised learning by selective training with pseudo labels via confidence estimation. We propose a novel semi supervised learning (SSL) method that adopts selective training with pseudo labels. In our method, we generate hard pseudo labels and also estimate their confidence, which represents how likely each pseudo label is to be correct. Then, we explicitly select which pseudo labeled data should be used to update the model. Specifically, assuming that loss on incorrectly pseudo labeled data sensitively increase against data augmentation, we select the data corresponding to relatively small loss after applying data augmentation. The confidence is used not only for screening candidates of pseudo labeled data to be selected but also for automatically deciding how many pseudo labeled data should be selected within a mini batch. Since accurate estimation of the confidence is crucial in our method, we also propose a new data augmentation method, called MixConf, that enables us to obtain confidence calibrated models even when the number of training data is small. Experimental results with several benchmark datasets validate the advantage of our SSL method as well as MixConf.


IoTAthena Unveiling IoT Device Activities from Network Traffic. The recent spate of cyber attacks towards Internet of Things (IoT) devices in smart homes calls for effective techniques to understand, characterize, and unveil IoT device activities. In this paper, we present a new system, named IoTAthena, to unveil IoT device activities from raw network traffic consisting of timestamped IP packets. IoTAthena characterizes each IoT device activity using an activity signature consisting of an ordered sequence of IP packets with inter packet time intervals. IoTAthena has two novel polynomial time algorithms, sigMatch and actExtract. For any given signature, sigMatch can capture all matches of the signature in the raw network traffic. Using sigMatch as a subfunction, actExtract can accurately unveil the sequence of various IoT device activities from the raw network traffic. Using the network traffic of heterogeneous IoT devices collected at the router of a real world smart home testbed and a public IoT dataset, we demonstrate that IoTAthena is able to characterize and generate activity signatures of IoT device activities and accurately unveil the sequence of IoT device activities from raw network traffic.


Architecture Guided Test Resource Allocation Via Logic. We introduce a new logic named Quantitative Confidence Logic (QCL) that quantifies the level of confidence one has in the conclusion of a proof. By translating a fault tree representing a system's architecture to a proof, we show how to use QCL to give a solution to the test resource allocation problem that takes the given architecture into account. We implemented a tool called Astrahl and compared our results to other testing resource allocation strategies.


DeepBF Malicious URL detection using Learned Bloom Filter and Evolutionary Deep Learning. Malicious URL detection is an emerging research area due to continuous modernization of various systems, for instance, Edge Computing. In this article, we present a novel malicious URL detection technique, called deepBF (deep learning and Bloom Filter). deepBF is presented in two fold. Firstly, we propose a learned Bloom Filter using 2 dimensional Bloom Filter. We experimentally decide the best non cryptography string hash function. Then, we derive a modified non cryptography string hash function from the selected hash function for deepBF by introducing biases in the hashing method and compared among the string hash functions. The modified string hash function is compared to other variants of diverse non cryptography string hash functions. It is also compared with various filters, particularly, counting Bloom Filter, Kirsch textit et al. , and Cuckoo Filter using various use cases. The use cases unearth weakness and strength of the filters. Secondly, we propose a malicious URL detection mechanism using deepBF. We apply the evolutionary convolutional neural network to identify the malicious URLs. The evolutionary convolutional neural network is trained and tested with malicious URL datasets. The output is tested in deepBF for accuracy. We have achieved many conclusions from our experimental evaluation and results and are able to reach various conclusive decisions which are presented in the article.


Super Resolution on the Two Dimensional Unit Sphere. We study the problem of recovering an atomic measure on the unit 2 sphere mathbb S 2 given finitely many moments with respect to spherical harmonics. The analysis relies on the formulation of this problem as an optimization problem on the space of bounded Borel measures on mathbb S 2 as it was considered by Y. de Castro F. Gamboa and E. Cand 'es C. Fernandez Granda. We construct a dual certificate using a kernel given in an explicit form and make a concrete analysis of the interpolation problem. Numerical examples are provided and analyzed.


Property (T) for Roelcke precompact Polish groups (after Ibarluc 'ia, building on work of Ben Yaacov and Tsankov). We present a recent result of Ibarluc 'ia stating that every Roelcke precompact Polish group has Kazhdan's property (T). This striking theorem builds on the characterization of Roelcke precompact Polish groups as automorphism groups of aleph 0 categorical metric structures due to Ben Yaacov and Tsankov. We introduce the underlying concepts coming from model theory, and we outline Ibarluc 'ia's proof in the (already new!) particular case of the group of measure preserving transformations of a standard probability space.


Lattice structure of modular vertex algebras. In this paper we study the integral form of the lattice vertex algebra V L . We show that divided powers of general vertex operators preserve the integral lattice spanned by Schur functions indexed by partition valued functions. We also show that the Garland operators, counterparts of divided powers of Heisenberg elements in affine Lie algebras, also preserve the integral form. These construe analogs of the Kostant mathbb Z forms for the enveloping algebras of simple Lie algebras and the algebraic affine Lie groups in the situation of the lattice vertex algebras.


A micropolar isotropic plasticity formulation for non associated flow rule and softening featuring multiple classical yield criteria Part I Theory. The Cosserat continuum is used in this paper to regularize the ill posed governing equations of the Cauchy Maxwell continuum. Most available constitutive models adopt yield and plastic potential surfaces with a circular deviatoric section. This is a too crude an approximation which hinders the application of the Cosserat continuum into practice, particularly in the geotechnical domain. An elasto plastic constitutive model for the linear formulation of the Cosserat continuum is here presented, which features non associated flow and hardening softening behaviour, whilst linear hyper elasticity is adopted to reproduce the recoverable response. For the formulation of the yield and plastic potential functions, a definition of the textit equivalent von Mises stress is used which is based on Hencky's interpretation of the von Mises criterion and also on the theory of representations. The dependency on the Lode's angle of both the yield and plastic potential functions is introduced through the adoption of a recently proposed textit Generalized classical criterion, which rigorously defines most of the classical yield and failure criteria.


Annotation Uncertainty in the Context of Grammatical Change. This paper elaborates on the notion of uncertainty in the context of annotation in large text corpora, specifically focusing on (but not limited to) historical languages. Such uncertainty might be due to inherent properties of the language, for example, linguistic ambiguity and overlapping categories of linguistic description, but could also be caused by lacking annotation expertise. By examining annotation uncertainty in more detail, we identify the sources and deepen our understanding of the nature and different types of uncertainty encountered in daily annotation practice. Moreover, some practical implications of our theoretical findings are also discussed. Last but not least, this article can be seen as an attempt to reconcile the perspectives of the main scientific disciplines involved in corpus projects, linguistics and computer science, to develop a unified view and to highlight the potential synergies between these disciplines.


Evolution of cooperation with asymmetric social interactions. How cooperation emerges in human societies is both an evolutionary enigma, and a practical problem with tangible implications for societal health. Population structure has long been recognized as a catalyst for cooperation because local interactions enable reciprocity. Analysis of this phenomenon typically assumes bi directional social interactions, even though real world interactions are often uni directional. Uni directional interactions where one individual has the opportunity to contribute altruistically to another, but not conversely arise in real world populations as the result of organizational hierarchies, social stratification, popularity effects, and endogenous mechanisms of network growth. Here we expand the theory of cooperation in structured populations to account for both uni and bi directional social interactions. Even though directed interactions remove the opportunity for reciprocity, we find that cooperation can nonetheless be favored in directed social networks and that cooperation is provably maximized for networks with an intermediate proportion of directed interactions, as observed in many empirical settings. We also identify two simple structural motifs that allow efficient modification of interaction directionality to promote cooperation by orders of magnitude. We discuss how our results relate to the concepts of generalized and indirect reciprocity.


Verified Quadratic Virtual Substitution for Real Arithmetic. This paper presents a formally verified quantifier elimination (QE) algorithm for first order real arithmetic by linear and quadratic virtual substitution (VS) in Isabelle HOL. The Tarski Seidenberg theorem established that the first order logic of real arithmetic is decidable by QE. However, in practice, QE algorithms are highly complicated and often combine multiple methods for performance. VS is a practically successful method for QE that targets formulas with low degree polynomials. To our knowledge, this is the first work to formalize VS for quadratic real arithmetic including inequalities. The proofs necessitate various contributions to the existing multivariate polynomial libraries in Isabelle HOL. Our framework is modularized and easily expandable (to facilitate integrating future optimizations), and could serve as a basis for developing practical general purpose QE algorithms. Further, as our formalization is designed with practicality in mind, we export our development to SML and test the resulting code on 378 benchmarks from the literature, comparing to Redlog, Z3, Wolfram Engine, and SMT RAT. This identified inconsistencies in some tools, underscoring the significance of a verified approach for the intricacies of real arithmetic.


Analyzing Item Popularity Bias of Music Recommender Systems Are Different Genders Equally Affected?. Several studies have identified discrepancies between the popularity of items in user profiles and the corresponding recommendation lists. Such behavior, which concerns a variety of recommendation algorithms, is referred to as popularity bias. Existing work predominantly adopts simple statistical measures, such as the difference of mean or median popularity, to quantify popularity bias. Moreover, it does so irrespective of user characteristics other than the inclination to popular content. In this work, in contrast, we propose to investigate popularity differences (between the user profile and recommendation list) in terms of median, a variety of statistical moments, as well as similarity measures that consider the entire popularity distributions (Kullback Leibler divergence and Kendall's tau rank order correlation). This results in a more detailed picture of the characteristics of popularity bias. Furthermore, we investigate whether such algorithmic popularity bias affects users of different genders in the same way. We focus on music recommendation and conduct experiments on the recently released standardized LFM 2b dataset, containing listening profiles of Last.fm users. We investigate the algorithmic popularity bias of seven common recommendation algorithms (five collaborative filtering and two baselines). Our experiments show that (1) the studied metrics provide novel insights into popularity bias in comparison with only using average differences, (2) algorithms less inclined towards popularity bias amplification do not necessarily perform worse in terms of utility (NDCG), (3) the majority of the investigated recommenders intensify the popularity bias of the female users.


A Machine learning approach for rapid disaster response based on multi modal data. The case of housing shelter needs. Along with climate change, more frequent extreme events, such as flooding and tropical cyclones, threaten the livelihoods and wellbeing of poor and vulnerable populations. One of the most immediate needs of people affected by a disaster is finding shelter. While the proliferation of data on disasters is already helping to save lives, identifying damages in buildings, assessing shelter needs, and finding appropriate places to establish emergency shelters or settlements require a wide range of data to be combined rapidly. To address this gap and make a headway in comprehensive assessments, this paper proposes a machine learning workflow that aims to fuse and rapidly analyse multimodal data. This workflow is built around open and online data to ensure scalability and broad accessibility. Based on a database of 19 characteristics for more than 200 disasters worldwide, a fusion approach at the decision level was used. This technique allows the collected multimodal data to share a common semantic space that facilitates the prediction of individual variables. Each fused numerical vector was fed into an unsupervised clustering algorithm called Self Organizing Maps (SOM). The trained SOM serves as a predictor for future cases, allowing predicting consequences such as total deaths, total people affected, and total damage, and provides specific recommendations for assessments in the shelter and housing sector. To achieve such prediction, a satellite image from before the disaster and the geographic and demographic conditions are shown to the trained model, which achieved a prediction accuracy of 62


On Dimension dependent concentration for convex Lipschitz functions in product spaces. Let n geq 1 , K 0 , and let X (X 1,X 2, dots,X n) be a random vector in mathbb R n with independent K subgaussian components. We show that for every 1 Lipschitz convex function f in mathbb R n (the Lipschitzness with respect to the Euclidean metric), max big( mathbb P big f(X) rm Med ,f(X) geq t big , mathbb P big f(X) rm Med ,f(X) leq t big big) leq exp bigg( frac c ,t 2 K 2 log big(2 frac n t 2 K 2 big) bigg), quad t 0, where c 0 is a universal constant. The estimates are optimal in the sense that for every n geq tilde C and t 0 there exist a product probability distribution X in mathbb R n with K subgaussian components, and a 1 Lipschitz convex function f , with mathbb P big big f(X) rm Med ,f(X) big geq t big geq tilde c , exp bigg( frac tilde C ,t 2 K 2 log big(2 frac n t 2 K 2 big) bigg). The obtained deviation estimates for subgaussian variables are in sharp contrast with the case of variables with bounded X i psi p norms for p in 1,2) .


On CR maps from the sphere into the tube over the future light cone. We determine all local smooth or formal CR maps from the unit sphere mathbb S 3 subset mathbb C 2 into the tube mathcal T mathcal C times i mathbb R 3 subset mathbb C 3 over the future light cone mathcal C left x in mathbb R 3 colon x 1 2 x 2 2 x 3 2, x 3 0 right . This result leads to a complete classification of proper holomorphic maps from the unit ball in mathbb C 2 into Cartan's classical domain of type IV in mathbb C 3 that extend smoothly to some boundary point. Up to composing with CR automorphisms of the source and target, the classification consists of four algebraic maps. Two maps among them were known earlier in the literature, which were shown to be rigid'' in the higher dimensional case in a recent paper by Xiao and Yuan. Two newly discovered quadratic polynomial maps provide counterexamples to a conjecture appeared in the same paper for the case of dimension two.


Decomposed Inductive Procedure Learning. Recent advances in machine learning have made it possible to train artificially intelligent agents that perform with super human accuracy on a great diversity of complex tasks. However, the process of training these capabilities often necessitates millions of annotated examples far more than humans typically need in order to achieve a passing level of mastery on similar tasks. Thus, while contemporary methods in machine learning can produce agents that exhibit super human performance, their rate of learning per opportunity in many domains is decidedly lower than human learning. In this work we formalize a theory of Decomposed Inductive Procedure Learning (DIPL) that outlines how different forms of inductive symbolic learning can be used in combination to build agents that learn educationally relevant tasks such as mathematical, and scientific procedures, at a rate similar to human learners. We motivate the construction of this theory along Marr's concepts of the computational, algorithmic, and implementation levels of cognitive modeling, and outline at the computational level six learning capacities that must be achieved to accurately model human learning. We demonstrate that agents built along the DIPL theory are amenable to satisfying these capacities, and demonstrate, both empirically and theoretically, that DIPL enables the creation of agents that exhibit human like learning performance.


On domain properties of Bessel type operators. Motivated by a recent study of Bessel operators in connection with a refinement of Hardy's inequality involving 1 sin 2(x) on the finite interval (0, pi) , we now take a closer look at the underlying Bessel type operators with more general inverse square singularities at the interval endpoints. More precisely, we consider quadratic forms and operator realizations in L 2((a,b) dx) associated with differential expressions of the form omega s a frac d 2 dx 2 frac s a 2 (1 4) (x a) 2 , quad s a in mathbb R , x in (a,b), and begin align tau s a,s b frac d 2 dx 2 frac s a 2 (1 4) (x a) 2 frac s b 2 (1 4) (x b) 2 q(x), quad x in (a,b), s a, s b in 0, infty), q in L infty ((a,b) dx), q text real valued a.e. on (a,b) , end align where (a,b) subset mathbb R is a bounded interval. As an explicit illustration we describe the Krein von Neumann extension of the minimal operator corresponding omega s a and tau s a,s b .


SUPER ADAM Faster and Universal Framework of Adaptive Gradients. Adaptive gradient methods have shown excellent performances for solving many machine learning problems. Although multiple adaptive gradient methods were recently studied, they mainly focus on either empirical or theoretical aspects and also only work for specific problems by using some specific adaptive learning rates. Thus, it is desired to design a universal framework for practical algorithms of adaptive gradients with theoretical guarantee to solve general problems. To fill this gap, we propose a faster and universal framework of adaptive gradients (i.e., SUPER ADAM) by introducing a universal adaptive matrix that includes most existing adaptive gradient forms. Moreover, our framework can flexibly integrate the momentum and variance reduced techniques. In particular, our novel framework provides the convergence analysis support for adaptive gradient methods under the nonconvex setting. In theoretical analysis, we prove that our SUPER ADAM algorithm can achieve the best known gradient (i.e., stochastic first order oracle (SFO)) complexity of tilde O ( epsilon 3 ) for finding an epsilon stationary point of nonconvex optimization, which matches the lower bound for stochastic smooth nonconvex optimization. In numerical experiments, we employ various deep learning tasks to validate that our algorithm consistently outperforms the existing adaptive algorithms. Code is available at https github.com LIJUNYI95 SuperAdam


A Training free and Reference free Summarization Evaluation Metric via Centrality weighted Relevance and Self referenced Redundancy. In recent years, reference based and supervised summarization evaluation metrics have been widely explored. However, collecting human annotated references and ratings are costly and time consuming. To avoid these limitations, we propose a training free and reference free summarization evaluation metric. Our metric consists of a centrality weighted relevance score and a self referenced redundancy score. The relevance score is computed between the pseudo reference built from the source document and the given summary, where the pseudo reference content is weighted by the sentence centrality to provide importance guidance. Besides an F 1 based relevance score, we also design an F beta based variant that pays more attention to the recall score. As for the redundancy score of the summary, we compute a self masked similarity score with the summary itself to evaluate the redundant information in the summary. Finally, we combine the relevance and redundancy scores to produce the final evaluation score of the given summary. Extensive experiments show that our methods can significantly outperform existing methods on both multi document and single document summarization evaluation.


Strictly Commutative Complex Orientations of Tmf 1(N) . We construct by adapting methods and results of Ando, Hopkins, Rezkand Wilson combined with results of Hopkins and Lawson strictly commu tative complex orientations for the spectra of topological modular forms with level Gamma 1(N) .


Multiparty Session Types for Safe Runtime Adaptation in an Actor Language (Extended version). Human fallibility, unpredictable operating environments, and the heterogeneity of hardware devices are driving the need for software to be able to adapt as seen in the Internet of Things or telecommunication networks. Unfortunately, mainstream programming languages do not readily allow a software component to sense and respond to its operating environment, by discovering, replacing, and communicating with components that are not part of the original system design, while maintaining static correctness guarantees. In particular, if a new component is discovered at runtime, there is no guarantee that its communication behaviour is compatible with existing components. We address this problem by using multiparty session types with explicit connection actions, a type formalism used to model distributed communication protocols. By associating session types with software components, the discovery process can check protocol compatibility and, when required, correctly replace components without jeapordising safety. We present the design and implementation of EnsembleS, the first actor based language with adaptive features and a static session type system, and apply it to a case study based on an adaptive DNS server. We formalise the type system of EnsembleS and prove the safety of well typed programs, making essential use of recent advances in non classical multiparty session types.


Fuzzing Hardware Like Software. Hardware flaws are permanent and potent hardware cannot be patched once fabricated, and any flaws may undermine any software executing on top. Consequently, verification time dominates implementation time. The gold standard in hardware Design Verification (DV) is concentrated at two extremes random dynamic verification and formal verification. Both struggle to root out the subtle flaws in complex hardware that often manifest as security vulnerabilities. The root problem with random verification is its undirected nature, making it inefficient, while formal verification is constrained by the state space explosion problem, making it infeasible against complex designs. What is needed is a solution that is directed, yet under constrained. Instead of making incremental improvements to existing DV approaches, we leverage the observation that existing software fuzzers already provide such a solution, and adapt them for hardware DV. Specifically, we translate RTL hardware to a software model and fuzz that model. The central challenge we address is how best to mitigate the differences between the hardware execution model and software execution model. This includes 1) how to represent test cases, 2) what is the hardware equivalent of a crash, 3) what is an appropriate coverage metric, and 4) how to create a general purpose fuzzing harness for hardware. To evaluate our approach, we fuzz four IP blocks from Google's OpenTitan SoC. Our experiments reveal a two orders of magnitude reduction in run time to achieve Finite State Machine (FSM) coverage over traditional dynamic verification schemes. Moreover, with our design agnostic harness, we achieve over 88 HDL line coverage in three out of four of our designs even without any initial seeds.


Bounded logit attention Learning to explain image classifiers. Explainable artificial intelligence is the attempt to elucidate the workings of systems too complex to be directly accessible to human cognition through suitable side information referred to as "explanations". We present a trainable explanation module for convolutional image classifiers we call bounded logit attention (BLA). The BLA module learns to select a subset of the convolutional feature map for each input instance, which then serves as an explanation for the classifier's prediction. BLA overcomes several limitations of the instancewise feature selection method "learning to explain" (L2X) introduced by Chen et al. (2018) 1) BLA scales to real world sized image classification problems, and 2) BLA offers a canonical way to learn explanations of variable size. Due to its modularity BLA lends itself to transfer learning setups and can also be employed as a post hoc add on to trained classifiers. Beyond explainability, BLA may serve as a general purpose method for differentiable approximation of subset selection. In a user study we find that BLA explanations are preferred over explanations generated by the popular (Grad )CAM method.


A Learnable Self supervised Task for Unsupervised Domain Adaptation on Point Clouds. Deep neural networks have achieved promising performance in supervised point cloud applications, but manual annotation is extremely expensive and time consuming in supervised learning schemes. Unsupervised domain adaptation (UDA) addresses this problem by training a model with only labeled data in the source domain but making the model generalize well in the target domain. Existing studies show that self supervised learning using both source and target domain data can help improve the adaptability of trained models, but they all rely on hand crafted designs of the self supervised tasks. In this paper, we propose a learnable self supervised task and integrate it into a self supervision based point cloud UDA architecture. Specifically, we propose a learnable nonlinear transformation that transforms a part of a point cloud to generate abundant and complicated point clouds while retaining the original semantic information, and the proposed self supervised task is to reconstruct the original point cloud from the transformed ones. In the UDA architecture, an encoder is shared between the networks for the self supervised task and the main task of point cloud classification or segmentation, so that the encoder can be trained to extract features suitable for both the source and the target domain data. Experiments on PointDA 10 and PointSegDA datasets show that the proposed method achieves new state of the art performance on both classification and segmentation tasks of point cloud UDA. Code will be made publicly available.


Unique determination of anisotropic perturbations of a polyharmonic operator from partial boundary data. We study an inverse problem involving the unique recovery of several lower order anisotropic tensor perturbations of a polyharmonic operator in a bounded domain from the knowledge of the Dirichlet to Neumann map on a part of boundary. The uniqueness proof relies on the inversion of generalized momentum ray transforms (MRT) for symmetric tensor fields, which we introduce for the first time to study Calder 'on type inverse problems. We construct suitable complex geometric optics (CGO) solutions for the polyharmonic operators that reduces the inverse problem to uniqueness results for a generalized MRT. The uniqueness result and the inversion formula we prove for generalized MRT could be of independent interest and we expect it to be applicable to other inverse problems for higher order operators involving tensor perturbations.


Gradient Temporal Difference with Momentum Stability and Convergence. Gradient temporal difference (Gradient TD) algorithms are a popular class of stochastic approximation (SA) algorithms used for policy evaluation in reinforcement learning. Here, we consider Gradient TD algorithms with an additional heavy ball momentum term and provide choice of step size and momentum parameter that ensures almost sure convergence of these algorithms asymptotically. In doing so, we decompose the heavy ball Gradient TD iterates into three separate iterates with different step sizes. We first analyze these iterates under one timescale SA setting using results from current literature. However, the one timescale case is restrictive and a more general analysis can be provided by looking at a three timescale decomposition of the iterates. In the process, we provide the first conditions for stability and convergence of general three timescale SA. We then prove that the heavy ball Gradient TD algorithm is convergent using our three timescale SA analysis. Finally, we evaluate these algorithms on standard RL problems and report improvement in performance over the vanilla algorithms.


Context Aware Interaction Network for Question Matching. Impressive milestones have been achieved in text matching by adopting a cross attention mechanism to capture pertinent semantic connections between two sentence representations. However, regular cross attention focuses on word level links between the two input sequences, neglecting the importance of contextual information. We propose a context aware interaction network (COIN) to properly align two sequences and infer their semantic relationship. Specifically, each interaction block includes (1) a context aware cross attention mechanism to effectively integrate contextual information when aligning two sequences, and (2) a gate fusion layer to flexibly interpolate aligned representations. We apply multiple stacked interaction blocks to produce alignments at different levels and gradually refine the attention results. Experiments on two question matching datasets and detailed analyses demonstrate the effectiveness of our model.


Widefield phototransient imaging for visualizing 3D motion of resonant particles in scattering environments. Identifying, visualising and ultimately tracking dynamically moving non fluorescent nanoparticles in the presence of non specific scattering is a long standing challenge across the nano and life sciences. In this work we demonstrate that our recently developed ultrafast holographic transient (UHT) microscope is ideally suited for meeting this challenge. We show that UHT microscopy allows reliably distinguishing off resonant, dielectric, from resonant, metallic, nanoparticles, based on the phototransient signal a pre requisite for single particle tracking in scattering environments. We then demonstrate the capability of UHT microscopy to holographically localize in 3D single particles over large volumes of view. Ultimately, we combine the two concepts to simultaneously track several tens of freely diffusing gold nanoparticles, within a 110x110x110 mu m volume of view at an integration time of 10 ms per frame, while simultaneously recording their phototransient signals. The combined experimental concepts outlined and validated in this work lay the foundation for background free 3D single particle tracking applications or spectroscopy in scattering environments and are immediately applicable to systems as diverse as live cells and tissues or supported heterogeneous catalysts.


The Rank of Syzygies of Canonical Curves. We prove that the linear syzygy spaces of a general canonical curve are spanned by syzygies of minimal rank.


Human in the loop model explanation via verbatim boundary identification in generated neighborhoods. The black box nature of machine learning models limits their use in case critical applications, raising faithful and ethical concerns that lead to trust crises. One possible way to mitigate this issue is to understand how a (mispredicted) decision is carved out from the decision boundary. This paper presents a human in the loop approach to explain machine learning models using verbatim neighborhood manifestation. Contrary to most of the current eXplainable Artificial Intelligence (XAI) systems, which provide hit or miss approximate explanations, our approach generates the local decision boundary of the given instance and enables human intelligence to conclude the model behavior. Our method can be divided into three stages 1) a neighborhood generation stage, which generates instances based on the given sample 2) a classification stage, which yields classifications on the generated instances to carve out the local decision boundary and delineate the model behavior and 3) a human in the loop stage, which involves human to refine and explore the neighborhood of interest. In the generation stage, a generative model is used to generate the plausible synthetic neighbors around the given instance. After the classification stage, the classified neighbor instances provide a multifaceted understanding of the model behavior. Three intervention points are provided in the human in the loop stage, enabling humans to leverage their own intelligence to interpret the model behavior. Several experiments on two datasets are conducted, and the experimental results demonstrate the potential of our proposed approach for boosting human understanding of the complex machine learning model.


Usability and Security of Different Authentication Methods for an Electronic Health Records System. We conducted a survey of 67 graduate students enrolled in the Privacy and Security in Healthcare course at Indiana University Purdue University Indianapolis. This was done to measure user preference and their understanding of usability and security of three different Electronic Health Records authentication methods single authentication method (username and password), Single sign on with Central Authentication Service (CAS) authentication method, and a bio capsule facial authentication method. This research aims to explore the relationship between security and usability, and measure the effect of perceived security on usability in these three aforementioned authentication methods. We developed a formative formative Partial Least Square Structural Equation Modeling (PLS SEM) model to measure the relationship between the latent variables of Usability, and Security. The measurement model was developed using five observed variables (measures). Efficiency and Effectiveness, Satisfaction, Preference, Concerns, and Confidence. The results obtained highlight the importance and impact of these measures on the latent variables and the relationship among the latent variables. From the PLS SEM analysis, it was found that security has a positive impact on usability for Single sign on and bio capsule facial authentication methods. We conclude that the facial authentication method was the most secure and usable among the three authentication methods. Further, descriptive analysis was done to draw out the interesting findings from the survey regarding the observed variables.


Thermodynamically consistent model for poroelastic rocks towards tectonic and volcanic processes and earthquakes. A general purpose model combining concepts from rational continuum mechanics, fracture and damage mechanics, plasticity, and poromechanics is devised in Eulerian coordinates, involving objective time derivatives. The model complies with mass, momentum, and energy conservation as well as entropy inequality and objectivity. It is devised to cover many diverse phenomena, specifically rupture of existing lithospheric faults, tectonic earthquakes, generation and propagation of seismic waves, birth of new tectonic faults, or volcanic activity, aseismic creep, folding of rocks, aging of rocks, long distance saturated water transport and flow in poroelastic rocks, melting of rocks and formation of magma chambers, or solidification of magma.


Self supervised Graph level Representation Learning with Local and Global Structure. This paper studies unsupervised self supervised whole graph representation learning, which is critical in many tasks such as molecule properties prediction in drug and material discovery. Existing methods mainly focus on preserving the local similarity structure between different graph instances but fail to discover the global semantic structure of the entire data set. In this paper, we propose a unified framework called Local instance and Global semantic Learning (GraphLoG) for self supervised whole graph representation learning. Specifically, besides preserving the local similarities, GraphLoG introduces the hierarchical prototypes to capture the global semantic clusters. An efficient online expectation maximization (EM) algorithm is further developed for learning the model. We evaluate GraphLoG by pre training it on massive unlabeled graphs followed by fine tuning on downstream tasks. Extensive experiments on both chemical and biological benchmark data sets demonstrate the effectiveness of the proposed approach.


RTE A Tool for Annotating Relation Triplets from Text. In this work, we present a Web based annotation tool Relation Triplets Extractor' footnote https abera87.github.io annotate (RTE) for annotating relation triplets from the text. Relation extraction is an important task for extracting structured information about real world entities from the unstructured text available on the Web. In relation extraction, we focus on binary relation that refers to relations between two entities. Recently, many supervised models are proposed to solve this task, but they mostly use noisy training data obtained using the distant supervision method. In many cases, evaluation of the models is also done based on a noisy test dataset. The lack of annotated clean dataset is a key challenge in this area of research. In this work, we built a web based tool where researchers can annotate datasets for relation extraction on their own very easily. We use a server less architecture for this tool, and the entire annotation operation is processed using client side code. Thus it does not suffer from any network latency, and the privacy of the user's data is also maintained. We hope that this tool will be beneficial for the researchers to advance the field of relation extraction.


Representation Edit Distance as a Measure of Novelty. Adaptation to novelty is viewed as learning to change and augment existing skills to confront unfamiliar situations. In this paper, we propose that the amount of editing of an effective representation (the Representation Edit Distance or RED) used in a set of skill programs in an agent's mental model is a measure of difficulty for adaptation to novelty. The RED is an intuitive approximation to the change in information content in bit strings measured by comparing pre novelty and post novelty skill programs. We also present some notional examples of how to use RED for predicting difficulty.


W 1 hardness of Outer Connected Dominating set in d degenerate Graphs. A set D subseteq V of a graph G (V,E) is called an outer connected dominating set of G if every vertex v not in D is adjacent to at least one vertex in D , and the induced subgraph of G on V setminus D is connected. The Minimum Outer connected Domination problem is to find an outer connected dominating set of minimum cardinality for the input graph G . Given a positive integer k and a graph G (V, E) , the Outer connected Domination Decision problem is to decide whether G has an outer connected dominating set of cardinality at most k . The Outer connected Domination Decision problem is known to be NP complete, even for bipartite graphs. We study the problem of outer connected domination on sparse graphs from the perspective of parameterized complexity and show that it is W 1 hard on d degenerate graphs, while the original connected dominating set has FTP algorithm on d degenerate graphs.


Discrete minimal nets with symmetries. In this paper, we extend the notion of Schwarz reflection principle for smooth minimal surfaces to the discrete analogues for minimal surfaces, and use it to create global examples of discrete minimal nets with high degree of symmetry.


Mean field limit of collective dynamics with time varying weights. In this paper, we derive the mean field limit of a collective dynamics model with time varying weights, for weight dynamics that preserve the total mass of the system as well as indistinguishability of the agents. The limit equation is a transport equation with source, where the (non local) transport term corresponds to the position dynamics, and the (non local) source term comes from the weight redistribution among the agents. We show existence and uniqueness of the solution for both microscopic and macroscopic models and introduce a new empirical measure taking into account the weights. We obtain the convergence of the microscopic model to the macroscopic one by showing continuity of the macroscopic solution with respect to the initial data, in the Wasserstein and Bounded Lipschitz topologies.


Tsunami hydrodynamic force on a building using a SPH real scale numerical simulation. One of the most important aspects in tsunami studies is the wave behavior when it approaches the coast. Information on physical parameters that characterize waves is often limited because of the diffilculties in achieving accurate measurements at the time of the event. The impact of a tsunami on the coast is governed by nonlinear physics such as turbulence with spatial and temporal variability. The use of the Smoothed Particle Hydrodynamic method (SPH) presents advantages over models based on two dimensional Shallow Waters Equations (SWE), because the assumed vertical velocity simplifies hydrodynamics in two dimensions. The study presented here reports numerical SPH simulations of the tsunami event occurred in Coquimbo (Chile) on September 16 of 2015. On the basis of the reconstruction of the physical parameters that characterized this event (flow velocities, direction and water elevations), calibrated by a reference rodel, force values on buildings located on the study coast were numerically calculated, and compared with an estimate of the Chilean Structural Design Standard. Finally, discussion and conclusions of the comparison of both methodologies are presented, including an influence analysis of the topographical detail of the model in the estimation of hydrodynamic forces.