Software Engineering Education Knowledge Versus Industrial Needs. Contribution Determine and analyze the gap between software practitioners' education outlined in the 2014IEEE ACM Software Engineering Education Knowledge (SEEK) and industrial needs pointed by Wikipedia articles referenced in Stack Overflow (SO) posts. Background Previous work has uncovered deficiencies in the coverage of computer fundamentals, people skills, software processes, and human computer interaction, suggesting rebalancing. Research Questions 1) To what extent are developers' needs, in terms of Wikipedia articles referenced in SO posts, covered by the SEEK knowledge units? 2) How does the popularity of Wikipedia articles relate to their SEEK coverage? 3) What areas of computing knowledge can be better covered by the SEEK knowledge units? 4) Why are Wikipedia articles covered by the SEEK knowledge units cited on SO? Methodology Wikipedia articles were systematically collected from SO posts. The most cited were manually mapped to the SEEK knowledge units, assessed according to their degree of coverage. Articles insufficiently covered by the SEEK were classified by hand using the 2012 ACM Computing Classification System. A sample of posts referencing sufficiently covered articles was manually analyzed. A survey was conducted on software practitioners to validate the study findings. Findings SEEK appears to cover sufficiently computer science fundamentals, software design and mathematical concepts, but less so areas like the World Wide Web, software engineering components, and computer graphics. Developers seek advice, best practices and explanations about software topics, and code review assistance. Future SEEK models and the computing education could dive deeper in information systems, design, testing, security, and soft skills.


Thermophotovoltaic Efficiency of 40 . We report the fabrication and measurement of thermophotovoltaic (TPV) cells with efficiencies of 40 , which is a record high TPV efficiency and the first experimental demonstration of the efficiency of high bandgap tandem TPV cells. TPV efficiency was determined by simultaneous measurement of electric power output and heat dissipation from the device via calorimetry. The TPV cells are two junction devices comprising high quality III V materials with band gaps between 1.0 and 1.4 eV that are optimized for high emitter temperatures of 1900 2400 deg C. The cells exploit the concept of band edge spectral filtering to obtain high efficiency, using high reflectivity back surface reflectors to reject unusable sub bandgap radiation back to the emitter. A 1.4 1.2 eV device reached a maximum efficiency of (41.1 1) operating at a power density of 2.39 W cm2 under an irradiance of 30.4 W cm2 and emitter temperature of 2400 deg C. A 1.2 1.0 device reached a maximum efficiency of (39.3 1) operating at a power density of 1.8 W cm2 under an irradiance of 20.1 W cm2 and emitter temperature of 2127 deg C. These cells can be integrated into a TPV system for thermal energy grid storage (TEGS) to enable dispatchable renewable energy. These new TPV cells enable a pathway for TEGS to reach sufficiently high efficiency and sufficiently low cost to enable full decarbonization of the grid. Furthermore, the high demonstrated efficiency also gives TPV the potential to compete with turbine based heat engines for large scale power production with respect to both cost and performance, thereby enabling possible usage in natural gas or hydrogen fueled electricity production.


Analysis of Anisotropic Nonlocal Diffusion Models Well posedness of Fractional Problems for Anomalous Transport. We analyze the well posedness of an anisotropic, nonlocal diffusion equation. Establishing an equivalence between weighted and unweighted anisotropic nonlocal diffusion operators in the vein of unified nonlocal vector calculus, we apply our analysis to a class of fractional order operators and present rigorous estimates for the solution of the corresponding anisotropic anomalous diffusion equation. Furthermore, we extend our analysis to the anisotropic diffusion advection equation and prove well posedness for fractional orders s in 0.5,1). We also present an application of the advection diffusion equation to anomalous transport of solutes.


Packing list colourings. List colouring is an influential and classic topic in graph theory. We initiate the study of a natural strengthening of this problem, where instead of one list colouring, we seek many in parallel. Our explorations have uncovered a potentially rich seam of interesting problems spanning chromatic graph theory. Given a k list assignment L of a graph G , which is the assignment of a list L(v) of k colours to each vertex v in V(G) , we study the existence of k pairwise disjoint proper colourings of G using colours from these lists. We may refer to this as a emph list packing . Using a mix of combinatorial and probabilistic methods, we set out some basic upper bounds on the smallest k for which such a list packing is always guaranteed, in terms of the number of vertices, the degeneracy, the maximum degree, or the (list) chromatic number of G . (The reader might already find it interesting that such a minimal k is well defined.) We also pursue a more focused study of the case when G is a bipartite graph. Our results do not yet rule out the tantalising prospect that the minimal k above is not too much larger than the list chromatic number. Our study has taken inspiration from study of the strong chromatic number, and we also explore generalisations of the problem above in the same spirit.


Generalized fractional grey system models Memory effects perspective. As an essential characteristics of fractional calculus, the memory effect is served as one of key factors to deal with diverse practical issues, thus has been received extensive attention since it was born. By combining the fractional derivative with memory effects and grey modeling theory, this paper aims to construct an unified framework for the commonly used fractional grey models already in place. In particular, by taking different kernel and normalization functions, this framework can deduce some other new fractional grey models. To further improve the prediction performance, the four popular intelligent algorithms are employed to determine the emerging coefficients for the UFGM(1,1) model. Two published cases are then utilized to verify the validity of the UFGM(1,1) model and explore the effects of fractional accumulation order and initial value on the prediction accuracy, respectively. Finally, this model is also applied to dealing with two real examples so as to further explain its efficacy and equally show how to use the unified framework in practical applications.


Weighted Burrows Wheeler Compression. A weight based dynamic compression method has recently been proposed, which is especially suitable for the encoding of files with locally skewed distributions. Its main idea is to assign larger weights to closer to be encoded symbols by means of an increasing weight function, rather than considering each position in the text evenly. A well known transformation that tends to convert input files into files with a more skewed distribution is the Burrows Wheeler Transform. This paper employs the weighted approach on Burrows Wheeler transformed files and provides empirical evidence of the efficiency of this combination.


Functional Correlation Bounds and Optimal Iterated Moment Bounds for Slowly mixing Nonuniformly Hyperbolic Maps. Consider a nonuniformly hyperbolic map T modelled by a Young tower with tails of the form O(n beta ) , beta 2 . We prove optimal moment bounds for Birkhoff sums sum i 0 n 1 v circ T i and iterated sums sum 0 le i j n v circ T i , w circ T j , where v,w M to Bbb R are (dynamically) H "older observables. Previously iterated moment bounds were only known for beta 5 . Our method of proof is as follows (i) prove that T satisfies an abstract functional correlation bound, (ii) use a weak dependence argument to show that the functional correlation bound implies moment estimates. Such iterated moment bounds arise when using rough path theory to prove deterministic homogenisation results. Indeed, by a recent result of Chevyrev, Friz, Korepanov, Melbourne Zhang we have convergence an It o diffusion for fast slow systems of the form x (n) k 1 x k (n) n 1 a(x k (n) ,y k) n 1 2 b(x k (n) ,y k) , quad y k 1 T y k in the optimal range beta 2.


WhyAct Identifying Action Reasons in Lifestyle Vlogs. We aim to automatically identify human action reasons in online videos. We focus on the widespread genre of lifestyle vlogs, in which people perform actions while verbally describing them. We introduce and make publicly available the WhyAct dataset, consisting of 1,077 visual actions manually annotated with their reasons. We describe a multimodal model that leverages visual and textual information to automatically infer the reasons corresponding to an action presented in the video.


Adversarial Shape Learning for Building Extraction in VHR Remote Sensing Images. Building extraction in VHR RSIs remains a challenging task due to occlusion and boundary ambiguity problems. Although conventional convolutional neural networks (CNNs) based methods are capable of exploiting local texture and context information, they fail to capture the shape patterns of buildings, which is a necessary constraint in the human recognition. To address this issue, we propose an adversarial shape learning network (ASLNet) to model the building shape patterns that improve the accuracy of building segmentation. In the proposed ASLNet, we introduce the adversarial learning strategy to explicitly model the shape constraints, as well as a CNN shape regularizer to strengthen the embedding of shape features. To assess the geometric accuracy of building segmentation results, we introduced several object based quality assessment metrics. Experiments on two open benchmark datasets show that the proposed ASLNet improves both the pixel based accuracy and the object based quality measurements by a large margin. The code is available at https github.com ggsDing ASLNet


Temporal Action Segmentation from Timestamp Supervision. Temporal action segmentation approaches have been very successful recently. However, annotating videos with frame wise labels to train such models is very expensive and time consuming. While weakly supervised methods trained using only ordered action lists require less annotation effort, the performance is still worse than fully supervised approaches. In this paper, we propose to use timestamp supervision for the temporal action segmentation task. Timestamps require a comparable annotation effort to weakly supervised approaches, and yet provide a more supervisory signal. To demonstrate the effectiveness of timestamp supervision, we propose an approach to train a segmentation model using only timestamps annotations. Our approach uses the model output and the annotated timestamps to generate frame wise labels by detecting the action changes. We further introduce a confidence loss that forces the predicted probabilities to monotonically decrease as the distance to the timestamps increases. This ensures that all and not only the most distinctive frames of an action are learned during training. The evaluation on four datasets shows that models trained with timestamps annotations achieve comparable performance to the fully supervised approaches.


3rd Place Solution for Short video Face Parsing Challenge. This is a short technical report introducing the solution of Team Rat for Short video Parsing Face Parsing Track of The 3rd Person in Context (PIC) Workshop and Challenge at CVPR 2021. In this report, we propose an Edge Aware Network (EANet) that uses edge information to refine the segmentation edge. To further obtain the finer edge results, we introduce edge attention loss that only compute cross entropy on the edges, it can effectively reduce the classification error around edge and get more smooth boundary. Benefiting from the edge information and edge attention loss, the proposed EANet achieves 86.16 accuracy in the Short video Face Parsing track of the 3rd Person in Context (PIC) Workshop and Challenge, ranked the third place.


Enhanced Error Estimates for Augmented Subspace Method. In this paper, some enhanced error estimates are derived for the augmented subspace methods which are designed for solving eigenvalue problems. We will show that the augmented subspace methods have the second order convergence rate which is better than the existing results. These sharper estimates provide a new dependence of convergence rate on the coarse spaces in augmented subspace methods. These new results are also validated by some numerical examples.


Make It Move Controllable Image to Video Generation with Text Descriptions. Generating controllable videos conforming to user intentions is an appealing yet challenging topic in computer vision. To enable maneuverable control in line with user intentions, a novel video generation task, named Text Image to Video generation (TI2V), is proposed. With both controllable appearance and motion, TI2V aims at generating videos from a static image and a text description. The key challenges of TI2V task lie both in aligning appearance and motion from different modalities, and in handling uncertainty in text descriptions. To address these challenges, we propose a Motion Anchor based video GEnerator (MAGE) with an innovative motion anchor (MA) structure to store appearance motion aligned representation. To model the uncertainty and increase the diversity, it further allows the injection of explicit condition and implicit randomness. Through three dimensional axial transformers, MA is interacted with given image to generate next frames recursively with satisfying controllability and diversity. Accompanying the new task, we build two new video text paired datasets based on MNIST and CATER for evaluation. Experiments conducted on these datasets verify the effectiveness of MAGE and show appealing potentials of TI2V task. Source code for model and datasets will be available soon.


Multi Agent Deep Reinforcement Learning for Request Dispatching in Distributed Controller Software Defined Networking. Recently, distributed controller architectures have been quickly gaining popularity in Software Defined Networking (SDN). However, the use of distributed controllers introduces a new and important Request Dispatching (RD) problem with the goal for every SDN switch to properly dispatch their requests among all controllers so as to optimize network performance. This goal can be fulfilled by designing an RD policy to guide distribution of requests at each switch. In this paper, we propose a Multi Agent Deep Reinforcement Learning (MA DRL) approach to automatically design RD policies with high adaptability and performance. This is achieved through a new problem formulation in the form of a Multi Agent Markov Decision Process (MA MDP), a new adaptive RD policy design and a new MA DRL algorithm called MA PPO. Extensive simulation studies show that our MA DRL technique can effectively train RD policies to significantly outperform man made policies, model based policies, as well as RD policies learned via single agent DRL algorithms.


Audio visual Representation Learning for Anomaly Events Detection in Crowds. In recent years, anomaly events detection in crowd scenes attracts many researchers' attention, because of its importance to public safety. Existing methods usually exploit visual information to analyze whether any abnormal events have occurred due to only visual sensors are generally equipped in public places. However, when an abnormal event in crowds occurs, sound information may be discriminative to assist the crowd analysis system to determine whether there is an abnormality. Compare with vision information that is easily occluded, audio signals have a certain degree of penetration. Thus, this paper attempt to exploit multi modal learning for modeling the audio and visual signals simultaneously. To be specific, we design a two branch network to model different types of information. The first is a typical 3D CNN model to extract temporal appearance features from video clips. The second is an audio CNN for encoding Log Mel Spectrogram of audio signals. Finally, by fusing the above features, a more accurate prediction will be produced. We conduct the experiments on SHADE dataset, a synthetic audio visual dataset in surveillance scenes, and find introducing audio signals effectively improves the performance of anomaly events detection and outperforms other state of the art methods. Furthermore, we will release the code and the pre trained models as soon as possible.


Remarks on Galois rational covers. In this note we improve the theorem on Galois rational covers X dashrightarrow V for primitive Fano varieties V , recently proven by the author, in the two directions we extend to the maximum the class of Galois groups G , for which the proof works, and relax the conditions that must be satisfied by the variety V the divisorial canonicity alone is sufficient.


A Framework for Unsupervised Classificiation and Data Mining of Tweets about Cyber Vulnerabilities. Many cyber network defense tools rely on the National Vulnerability Database (NVD) to provide timely information on known vulnerabilities that exist within systems on a given network. However, recent studies have indicated that the NVD is not always up to date, with known vulnerabilities being discussed publicly on social media platforms, like Twitter and Reddit, months before they are published to the NVD. To that end, we present a framework for unsupervised classification to filter tweets for relevance to cyber security. We consider and evaluate two unsupervised machine learning techniques for inclusion in our framework, and show that zero shot classification using a Bidirectional and Auto Regressive Transformers (BART) model outperforms the other technique with 83.52 accuracy and a F1 score of 83.88, allowing for accurate filtering of tweets without human intervention or labelled data for training. Additionally, we discuss different insights that can be derived from these cyber relevant tweets, such as trending topics of tweets and the counts of Twitter mentions for Common Vulnerabilities and Exposures (CVEs), that can be used in an alert or report to augment current NVD based risk assessment tools.


Representational Continuity for Unsupervised Continual Learning. Continual learning (CL) aims to learn a sequence of tasks without forgetting the previously acquired knowledge. However, recent CL advances are restricted to supervised continual learning (SCL) scenarios. Consequently, they are not scalable to real world applications where the data distribution is often biased and unannotated. In this work, we focus on unsupervised continual learning (UCL), where we learn the feature representations on an unlabelled sequence of tasks and show that reliance on annotated data is not necessary for continual learning. We conduct a systematic study analyzing the learned feature representations and show that unsupervised visual representations are surprisingly more robust to catastrophic forgetting, consistently achieve better performance, and generalize better to out of distribution tasks than SCL. Furthermore, we find that UCL achieves a smoother loss landscape through qualitative analysis of the learned representations and learns meaningful feature representations. Additionally, we propose Lifelong Unsupervised Mixup (LUMP), a simple yet effective technique that interpolates between the current task and previous tasks' instances to alleviate catastrophic forgetting for unsupervised representations.


Newsvendor Model with Deep Reinforcement Learning. I present a deep reinforcement learning (RL) solution to the mathematical problem known as the Newsvendor model, which seeks to optimize profit given a probabilistic demand distribution. To reflect a more realistic and complex situation, the demand distribution can change for different days of the week, thus changing the optimum behavior. I used a Twin Delayed Deep Deterministic Policy Gradient agent (written as completely original code) with both an actor and critic network to solve this problem. The agent was able to learn optimal behavior consistent with the analytical solution of the problem, and could identify separate probability distributions for different days of the week and behave accordingly.


Instance Conditioned GAN. Generative Adversarial Networks (GANs) can generate near photo realistic images in narrow domains such as human faces. Yet, modeling complex distributions of datasets such as ImageNet and COCO Stuff remains challenging in unconditional settings. In this paper, we take inspiration from kernel density estimation techniques and introduce a non parametric approach to modeling distributions of complex datasets. We partition the data manifold into a mixture of overlapping neighborhoods described by a datapoint and its nearest neighbors, and introduce a model, called instance conditioned GAN (IC GAN), which learns the distribution around each datapoint. Experimental results on ImageNet and COCO Stuff show that IC GAN significantly improves over unconditional models and unsupervised data partitioning baselines. Moreover, we show that IC GAN can effortlessly transfer to datasets not seen during training by simply changing the conditioning instances, and still generate realistic images. Finally, we extend IC GAN to the class conditional case and show semantically controllable generation and competitive quantitative results on ImageNet while improving over BigGAN on ImageNet LT. Code and trained models to reproduce the reported results are available at https github.com facebookresearch ic gan.


The diverse nature of small scale turbulence. The self similar Richardson cascade admits two logically possible scenarios of small scale turbulence at high Reynolds numbers. In the first scenario, eddies' population densities vary as a function of eddies' scales. As a result, one or a few eddy types dominate at small scales, and small scale turbulence lacks diversity. In the second scenario, eddies' population densities are scale invariant across the inertial range, resulting in small scale diversity. That is, there are as many types of eddies at the small scales as at the large scales. In this letter, we measure eddies' population densities in three dimensional isotropic turbulence and determine the nature of small scale turbulence. The result shows that eddies' population densities are scale invariant.


On sharp scattering threshold for the mass energy double critical NLS via double track profile decomposition. The present paper is concerned with the large data scattering problem for the mass energy double critical NLS begin align i partial t u Delta u pm u frac 4 d u pm u frac 4 d 2 u 0 tag DCNLS end align in H 1( mathbb R d) with d geq 3 . In the defocusing defocusing regime, Tao, Visan and Zhang show that the unique solution of DCNLS is global and scattering in time for arbitrary initial data in H 1( mathbb R d) . This does not hold when at least one of the nonlinearities is focusing, due to the possible formation of blow up and soliton solutions. However, precise thresholds for a solution of DCNLS being scattering were open in all the remaining regimes. Following the classical concentration compactness principle, we impose sharp scattering thresholds in terms of ground states for DCNLS in all the remaining regimes. The new challenge arises from the fact that the remainders of the standard L 2 or dot H 1 profile decomposition fail to have asymptotically vanishing diagonal L 2 and dot H 1 Strichartz norms simultaneously. To overcome this difficulty, we construct a double track profile decomposition which is capable to capture the low, medium and high frequency bubbles within a single profile decomposition and possesses remainders that are asymptotically small in both of the diagonal L 2 and dot H 1 Strichartz spaces.


The Energy Footprint of Blockchain Consensus Mechanisms Beyond Proof of Work. Popular distributed ledger technology (DLT) systems using proof of work (PoW) for Sybil attack resistance have extreme energy requirements, drawing stern criticism from academia, businesses, and the media. DLT systems building on alternative consensus mechanisms, foremost proof of stake (PoS), aim to address this downside. In this paper, we take a first step towards comparing the energy requirements of such systems to understand whether they achieve this goal equally well. While multiple studies have been undertaken that analyze the energy demands of individual Blockchains, little comparative work has been done. We approach this research question by formalizing a basic consumption model for PoS blockchains. Applying this model to six archetypal blockchains generates three main findings First, we confirm the concerns around the energy footprint of PoW by showing that Bitcoin's energy consumption exceeds the energy consumption of all PoS based systems analyzed by at least three orders of magnitude. Second, we illustrate that there are significant differences in energy consumption among the PoSbased systems analyzed, with permissionless systems having an overall larger energy footprint. Third, we point out that the type of hardware that validators use has a considerable impact on whether PoS blockchains' energy consumption is comparable with or considerably larger than that of centralized, non DLT systems.


Accurate, yet inconsistent? Consistency Analysis on Language Understanding Models. Consistency, which refers to the capability of generating the same predictions for semantically similar contexts, is a highly desirable property for a sound language understanding model. Although recent pretrained language models (PLMs) deliver outstanding performance in various downstream tasks, they should exhibit consistent behaviour provided the models truly understand language. In this paper, we propose a simple framework named consistency analysis on language understanding models (CALUM) to evaluate the model's lower bound consistency ability. Through experiments, we confirmed that current PLMs are prone to generate inconsistent predictions even for semantically identical inputs. We also observed that multi task training with paraphrase identification tasks is of benefit to improve consistency, increasing the consistency by 13 on average.


WinoCNN Kernel Sharing Winograd Systolic Array for Efficient Convolutional Neural Network Acceleration on FPGAs. The combination of Winograd's algorithm and systolic array architecture has demonstrated the capability of improving DSP efficiency in accelerating convolutional neural networks (CNNs) on FPGA platforms. However, handling arbitrary convolution kernel sizes in FPGA based Winograd processing elements and supporting efficient data access remain underexplored. In this work, we are the first to propose an optimized Winograd processing element (WinoPE), which can naturally support multiple convolution kernel sizes with the same amount of computing resources and maintains high runtime DSP efficiency. Using the proposed WinoPE, we construct a highly efficient systolic array accelerator, termed WinoCNN. We also propose a dedicated memory subsystem to optimize the data access. Based on the accelerator architecture, we build accurate resource and performance modeling to explore optimal accelerator configurations under different resource constraints. We implement our proposed accelerator on multiple FPGAs, which outperforms the state of the art designs in terms of both throughput and DSP efficiency. Our implementation achieves DSP efficiency up to 1.33 GOPS DSP and throughput up to 3.1 TOPS with the Xilinx ZCU102 FPGA. These are 29.1 and 20.0 better than the best solutions reported previously, respectively.


Walking Through the Method Zoo Does Higher Education really meet Software Industry Demands?. Software engineering educators are continually challenged by rapidly evolving concepts, technologies, and industry demands. Due to the omnipresence of software in a digitalized society, higher education institutions (HEIs) have to educate the students such that they learn how to learn, and that they are equipped with a profound basic knowledge and with latest knowledge about modern software and system development. Since industry demands change constantly, HEIs are challenged in meeting such current and future demands in a timely manner. This paper analyzes the current state of practice in software engineering education. Specifically, we want to compare contemporary education with industrial practice to understand if frameworks, methods and practices for software and system development taught at HEIs reflect industrial practice. For this, we conducted an online survey and collected information about 67 software engineering courses. Our findings show that development approaches taught at HEIs quite closely reflect industrial practice. We also found that the choice of what process to teach is sometimes driven by the wish to make a course successful. Especially when this happens for project courses, it could be beneficial to put more emphasis on building learning sequences with other courses.


Semantic Answer Type and Relation Prediction Task (SMART 2021). Each year the International Semantic Web Conference organizes a set of Semantic Web Challenges to establish competitions that will advance state of the art solutions in some problem domains. The Semantic Answer Type and Relation Prediction Task (SMART) task is one of the ISWC 2021 Semantic Web challenges. This is the second year of the challenge after a successful SMART 2020 at ISWC 2020. This year's version focuses on two sub tasks that are very important to Knowledge Base Question Answering (KBQA) Answer Type Prediction and Relation Prediction. Question type and answer type prediction can play a key role in knowledge base question answering systems providing insights about the expected answer that are helpful to generate correct queries or rank the answer candidates. More concretely, given a question in natural language, the first task is, to predict the answer type using a target ontology (e.g., DBpedia or Wikidata. Similarly, the second task is to identify relations in the natural language query and link them to the relations in a target ontology. This paper discusses the task descriptions, benchmark datasets, and evaluation metrics. For more information, please visit https smart task.github.io 2021 .


A new class of discrete conformal structures on surfaces with boundary. We introduce a new class of discrete conformal structures on surfaces with boundary, which have nice interpolations in 3 dimensional hyperbolic geometry. Then we prove the global rigidity of the new discrete conformal structures using variational principles, which is a complement of Guo Luo's rigidity of the discrete conformal structures and Guo's rigidity of vertex scaling on surface with boundary. As a result, new convexities of the volume of generalized hyperbolic pyramids with right angled hyperbolic hexagonal bases are obtained. Motivated by Chow Luo's combinatorial Ricci flow and Luo's combinatorial Yamabe flow on closed surfaces, we further introduce combinatorial Ricci flow and combinatorial Calabi flows to deform the new discrete conformal structures on surfaces with boundary. The basic properties of these combinatorial curvature flows are established. These combinatorial curvature flows provide effective algorithms for constructing hyperbolic metrics on surfaces with totally geodesic boundary components of prescribed lengths.


A note on concatenation of quasi Monte Carlo and plain Monte Carlo rules in high dimensions. In this note, we study a concatenation of quasi Monte Carlo and plain Monte Carlo rules for high dimensional numerical integration in weighted function spaces. In particular, we consider approximating the integral of periodic functions defined over the s dimensional unit cube by using rank 1 lattice point sets only for the first d , ( s) coordinates and random points for the remaining s d coordinates. We prove that, by exploiting a decay of the weights of function spaces, almost the optimal order of the mean squared worst case error is achieved by such a concatenated quadrature rule as long as d scales at most linearly with the number of points. This result might be useful for numerical integration in extremely high dimensions, such as partial differential equations with random coefficients for which even the standard fast component by component algorithm is considered computationally expensive.


ShapeConv Shape aware Convolutional Layer for Indoor RGB D Semantic Segmentation. RGB D semantic segmentation has attracted increasing attention over the past few years. Existing methods mostly employ homogeneous convolution operators to consume the RGB and depth features, ignoring their intrinsic differences. In fact, the RGB values capture the photometric appearance properties in the projected image space, while the depth feature encodes both the shape of a local geometry as well as the base (whereabout) of it in a larger context. Compared with the base, the shape probably is more inherent and has a stronger connection to the semantics, and thus is more critical for segmentation accuracy. Inspired by this observation, we introduce a Shape aware Convolutional layer (ShapeConv) for processing the depth feature, where the depth feature is firstly decomposed into a shape component and a base component, next two learnable weights are introduced to cooperate with them independently, and finally a convolution is applied on the re weighted combination of these two components. ShapeConv is model agnostic and can be easily integrated into most CNNs to replace vanilla convolutional layers for semantic segmentation. Extensive experiments on three challenging indoor RGB D semantic segmentation benchmarks, i.e., NYU Dv2( 13, 40), SUN RGB D, and SID, demonstrate the effectiveness of our ShapeConv when employing it over five popular architectures. Moreover, the performance of CNNs with ShapeConv is boosted without introducing any computation and memory increase in the inference phase. The reason is that the learnt weights for balancing the importance between the shape and base components in ShapeConv become constants in the inference phase, and thus can be fused into the following convolution, resulting in a network that is identical to one with vanilla convolutional layers.


Footprints of geodesics in persistent homology. Given a metric space X and a subspace A subset X , we prove A can generate various algebraic elements in persistent homology of X . We call such elements (algebraic) footprints of A . Our results imply that footprints typically appear in dimensions above the dimension of A . Higher dimensional persistent homology thus encodes lower dimensional geometric features of X . We pay special attention to a specific type of geodesics in a geodesic surface X called geodesic circles. We explain how they may generate non trivial odd dimensional and two dimensional footprints. In particular, we can detect even some contractible geodesics using two and three dimensional persistent homology. This provides a link between persistent homology and length spectrum in Riemannian geometry.


Graph clustering via generalized colorings. We propose a new approach for defining and searching clusters in graphs that represent real technological or transaction networks. In contrast to the standard way of finding dense parts of a graph, we concentrate on the structure of edges between the clusters, as it is motivated by some earlier observations, e.g. in the structure of networks in ecology and economics and by applications of discrete tomography. Mathematically special colorings and chromatic numbers of graphs are studied.


The peak and end rule and differential equations with maxima a view on the unpredictability of happiness. In the 1990s, after a series of experiments, the behavioral psychologist and economist Daniel Kahneman and his colleagues formulated the following Peak End evaluation rule "The remembered utility of pleasant or unpleasant episodes is accurately predicted by averaging the Peak (most intense value) of instant utility (or disutility) recorded during an episode and the instant utility recorded near the end of the experience", (D. Kahneman et al., 1997, QJE, p. 381). Hence, the simplest mathematical model for time evolution of the experienced utility function u u(t) can be given by the scalar differential equation u'(t) a u(t) b max u(s) s in t h,t f(t) ( ), where f represents exogenous stimuli, h is the maximal duration of the experience, and a, b in mathbb R are some averaging weights. In this work, we study equation ( ) and show that, for a range of parameters a, b, h and a periodic sine like term f , the dynamics of ( ) can be completely described in terms of an associated one dimensional dynamical system generated by a piece wise continuous map from a finite interval into itself. We illustrate our approach with two examples. In particular, we show that the hedonic utility u(t) ( happiness') can exhibit chaotic behavior.


Backscatter Assisted Wireless Powered Communication Networks Empowered by Intelligent Reflecting Surface. Intelligent reflecting surface (IRS) has recently been emerged as an effective way for improving the performance of wireless networks by reconfiguring the propagation environment through a large number of passive reflecting elements. This game changing technology is especially important for stepping into the Internet of Everything (IoE) era, where high performance is demanded with very limited available resources. In this paper, we study a backscatter assisted wireless powered communication network (BS WPCN), in which a number of energy constrained users, powered by a power station (PS), transmit information to an access point (AP) via backscatter and active wireless information transfer, with their communication being aided by an IRS. Using a practical energy harvesting (EH) model which is able to capture the characteristics of realistic energy harvesters, we investigate the maximization of total network throughput. Specifically, IRS reflection coefficients, PS transmit and AP receive beamforming vectors, power and time allocation are designed through a two stage algorithm, assuming minimum mean square error (MMSE) receiver at the AP. The effectiveness of the proposed algorithm is confirmed via extensive numerical simulations. We also show that our proposed scheme is readily applicable to practical IRS aided networks with discrete phase shift values.


MEGADOCK Web Mito human mitochondrial protein protein interaction prediction database. Mitochondrial diseases are largely caused by dysfunction in mitochondrial proteins. However, annotations of human mitochondrial proteins are scattered across various public databases and individual studies. To facilitate research aimed at elucidating mitochondrial functions, we constructed the MEGADOCK Web Mito database as a protein protein interaction (PPI) prediction data archive, including prediction results for exhaustive protein pairs of 654 mitochondria related human proteins. MEGADOCK Web Mito enables users to search for all PPI prediction results efficiently and comprehensively. In particular, we linked functional annotations to each human mitochondrial protein. The comprehensive and specialized human mitochondrial PPI prediction results and searching function of MEGADOCK Web Mito will support further research on mitochondria and mitochondrial diseases.


Micro architectural Analysis of a Learned Index. Since the publication of The Case for Learned Index Structures in 2018, there has been a rise in research that focuses on learned indexes for different domains and with different functionalities. While the effectiveness of learned indexes as an alternative to traditional index structures such as B Trees have already been demonstrated by several studies, previous work tend to focus on higher level performance metrics such as throughput and index size. In this paper, our goal is to dig deeper and investigate how learned indexes behave at a micro architectural level compared to traditional indexes. More specifically, we focus on previously proposed learned index structure ALEX, which is a tree based in memory index structure that consists of a hierarchy of machine learned models. Unlike the original proposal for learned indexes, ALEX is designed from the ground up to allow updates and inserts. Therefore, it enables more dynamic workloads using learned indexes. In this work, we perform a micro architectural analysis of ALEX and compare its behavior to the tree based index structures that are not based on learned models, i.e., ART and B Tree. Our results show that ALEX is bound by memory stalls, mainly stalls due to data misses from the last level cache. Compared to ART and B Tree, ALEX exhibits fewer stalls and a lower cycles per instruction value across different workloads. On the other hand, the amount of instructions required to handle out of bound inserts in ALEX can increase the instructions needed per request significantly (10X) for write heavy workloads. However, the micro architectural behavior shows that this increase in the instruction footprint exhibit high instruction level parallelism, and, therefore, does not negatively impact the overall execution time.


Differential invariants of curves in G(2) flag varieties. We compute the algebra of differential invariants of unparametrized curves in the homogeneous G(2) flag varieties, namely in G(2) P. This gives a solution to the equivalence problem for such curves. We consider the cases of integral and generic curves and relate the equivalence problems for all three choices of the parabolic subgroup P.


APRIL Finding the Achilles' Heel on Privacy for Vision Transformers. Federated learning frameworks typically require collaborators to share their local gradient updates of a common model instead of sharing training data to preserve privacy. However, prior works on Gradient Leakage Attacks showed that private training data can be revealed from gradients. So far almost all relevant works base their attacks on fully connected or convolutional neural networks. Given the recent overwhelmingly rising trend of adapting Transformers to solve multifarious vision tasks, it is highly valuable to investigate the privacy risk of vision transformers. In this paper, we analyse the gradient leakage risk of self attention based mechanism in both theoretical and practical manners. Particularly, we propose APRIL Attention PRIvacy Leakage, which poses a strong threat to self attention inspired models such as ViT. Showing how vision Transformers are at the risk of privacy leakage via gradients, we urge the significance of designing privacy safer Transformer models and defending schemes.


One dimensional representations of finite W algebras, Dirac reduction and the orbit method. In this paper we study the variety of one dimensional representations of a finite W algebra attached to a classical Lie algebra, giving a precise description of the dimensions of the irreducible components. We apply this to prove a conjecture of Losev describing the image of his orbit method map. In order to do so we first establish new Yangian type presentations of semiclassical limits of the W algebras attached to distinguished nilpotent elements in classical Lie algebras, using Dirac reduction.


Monodromy and Irreducibility of Igusa Varieties. We determine the irreducible components of Igusa varieties for Shimura varieties of Hodge type and use that to determine the irreducible components of central leaves. In particular, we show that the discrete Hecke orbit conjecture is false in general. Our method combines recent work of D'Addezio on monodromy of compatible local systems with a generalisation of a method of Hida, using the Honda Tate theory for Shimura varieties of Hodge type developed by Kisin Madapusi Pera Shin. We also determine the irreducible components of Newton strata in Shimura varieties of Hodge type by combining our results with recent work of Zhou Zhu.


Stable Marriage Problems with Ties and Incomplete Preferences An Empirical Comparison of ASP, SAT, ILP, CP, and Local Search Methods. We study a variation of the Stable Marriage problem, where every man and every woman express their preferences as preference lists which may be incomplete and contain ties. This problem is called the Stable Marriage problem with Ties and Incomplete preferences (SMTI). We consider three optimization variants of SMTI, Max Cardinality, Sex Equal and Egalitarian, and empirically compare the following methods to solve them Answer Set Programming, Constraint Programming, Integer Linear Programming. For Max Cardinality, we compare these methods with Local Search methods as well. We also empirically compare Answer Set Programming with Propositional Satisfiability, for SMTI instances. This paper is under consideration for acceptance in Theory and Practice of Logic Programming (TPLP).


Training GANs with Stronger Augmentations via Contrastive Discriminator. Recent works in Generative Adversarial Networks (GANs) are actively revisiting various data augmentation techniques as an effective way to prevent discriminator overfitting. It is still unclear, however, that which augmentations could actually improve GANs, and in particular, how to apply a wider range of augmentations in training. In this paper, we propose a novel way to address these questions by incorporating a recent contrastive representation learning scheme into the GAN discriminator, coined ContraD. This "fusion" enables the discriminators to work with much stronger augmentations without increasing their training instability, thereby preventing the discriminator overfitting issue in GANs more effectively. Even better, we observe that the contrastive learning itself also benefits from our GAN training, i.e., by maintaining discriminative features between real and fake samples, suggesting a strong coherence between the two worlds good contrastive representations are also good for GAN discriminators, and vice versa. Our experimental results show that GANs with ContraD consistently improve FID and IS compared to other recent techniques incorporating data augmentations, still maintaining highly discriminative features in the discriminator in terms of the linear evaluation. Finally, as a byproduct, we also show that our GANs trained in an unsupervised manner (without labels) can induce many conditional generative models via a simple latent sampling, leveraging the learned features of ContraD. Code is available at https github.com jh jeong ContraD.


Spectral flow inside essential spectrum V on absorbing points of coupling resonances. Let H 0 and V be self adjoint operators, such that V admits a factorisation V F JF with bounded self adjoint J and H 0 1 2 compact F. Coupling resonance functions, r j(z), of the pair H 0 and V can be defined as r j(z) sigma j(z) 1 , where sigma j(z) are eigenvalues of the compact operator valued holomorphic function F(H 0 z) 1 F J. Taken together, the functions r j(z) form an infinite valued holomorphic function on the resolvent set of H 0. These functions contain a lot of information about the pair H 0, V (this is well known in the case of rank one V ). A point z 0 of the resolvent set we call emph absorbing if some r j(z) goes to infty as z to z 0 along some half interval. In this note I present some partial results concerning absorbing points of coupling resonances.


Exact maximal reduction of stochastic reaction networks by species lumping. Motivation Stochastic reaction networks are a widespread model to describe biological systems where the presence of noise is relevant, such as in cell regulatory processes. Unfortu nately, in all but simplest models the resulting discrete state space representation hinders analytical tractability and makes numerical simulations expensive. Reduction methods can lower complexity by computing model projections that preserve dynamics of interest to the user. Results We present an exact lumping method for stochastic reaction networks with mass action kinetics. It hinges on an equivalence relation between the species, resulting in a reduced network where the dynamics of each macro species is stochastically equivalent to the sum of the original species in each equivalence class, for any choice of the initial state of the system. Furthermore, by an appropriate encoding of kinetic parameters as additional species, the method can establish equivalences that do not depend on specific values of the parameters. The method is supported by an efficient algorithm to compute the largest species equivalence, thus the maximal lumping. The effectiveness and scalability of our lumping technique, as well as the physical interpretability of resulting reductions, is demonstrated in several models of signaling pathways and epidemic processes on complex networks. Availability The algorithms for species equivalence have been implemented in the software tool ERODE, freely available for download from https www.erode.eu.


Hiding pebbles when the output alphabet is unary. Pebble transducers are nested two way transducers which can drop marks (named "pebbles") on their input word. Blind transducers have been introduced by Nguy en et al. as a subclass of pebble transducers, which can nest two way transducers but cannot drop pebbles on their input. In this paper, we study the classes of functions computed by pebble and blind transducers, when the output alphabet is unary. Our main result shows how to decide if a function computed by a pebble transducer can be computed by a blind transducer. We also provide characterizations of these classes in terms of Cauchy and Hadamard products, in the spirit of rational series. Furthermore, pumping like characterizations of the functions computed by blind transducers are given.


Twisting of graded quantum groups and solutions to the quantum Yang Baxter equation. Let H be a Hopf algebra that is mathbb Z graded as an algebra. We provide sufficient conditions for a 2 cocycle twist of H to be a Zhang twist of H . In particular, we introduce the notion of a twisting pair for H such that the Zhang twist of H by such a pair is a 2 cocycle twist. We use twisting pairs to describe twists of Manin's universal quantum groups associated to quadratic algebras and provide twisting of solutions to the quantum Yang Baxter equation via the Faddeev Reshetikhin Takhtajan construction.


Matter wave Fractional Revivals in a Ring Waveguide. We report fractional revival phenomena in an ultracold matter wave inside a ring waveguide. The specific fractional revival times are precisely identified and corresponding spatial density patterns are depicted. Thorough analyses of the autocorrelation function and quantum carpet provide clear evidence of their occurrence. The exhibited theoretical model is in exact conformity of our numerical results. We also investigate the stability of the condensate and a variation of revival time with the diameter of the ring.


Explore before Moving A Feasible Path Estimation and Memory Recalling Framework for Embodied Navigation. An embodied task such as embodied question answering (EmbodiedQA), requires an agent to explore the environment and collect clues to answer a given question that related with specific objects in the scene. The solution of such task usually includes two stages, a navigator and a visual Q A module. In this paper, we focus on the navigation and solve the problem of existing navigation algorithms lacking experience and common sense, which essentially results in a failure finding target when robot is spawn in unknown environments. Inspired by the human ability to think twice before moving and conceive several feasible paths to seek a goal in unfamiliar scenes, we present a route planning method named Path Estimation and Memory Recalling (PEMR) framework. PEMR includes a "looking ahead" process, textit i.e. a visual feature extractor module that estimates feasible paths for gathering 3D navigational information, which is mimicking the human sense of direction. PEMR contains another process looking behind'' process that is a memory recall mechanism aims at fully leveraging past experience collected by the feature extractor. Last but not the least, to encourage the navigator to learn more accurate prior expert experience, we improve the original benchmark dataset and provide a family of evaluation metrics for diagnosing both navigation and question answering modules. We show strong experimental results of PEMR on the EmbodiedQA navigation task.


Analytical Differential Calculus with Integration. Differential lambda calculus was first introduced by Thomas Ehrhard and Laurent Regnier in 2003. Despite more than 15 years of history, little work has been done on a differential calculus with integration. In this paper, we shall propose a differential calculus with integration from programming point of view. We show its good correspondence with mathematics, which is manifested by how we construct these reduction rules and how we preserve important mathematical theorems in our calculus. Moreover, we highlight applications of the calculus in incremental computation, automatic differentiation, and computation approximation.


A Semi Supervised Approach for Abnormal Event Prediction on Large Operational Network Time Series Data. Large network logs, recording multivariate time series generated from heterogeneous devices and sensors in a network, can often reveal important information about abnormal activities, such as network intrusions and device malfunctions. Existing machine learning methods for anomaly detection on multivariate time series typically assume that 1) normal sequences would have consistent behavior for training unsupervised models, or 2) require a large set of labeled normal and abnormal sequences for supervised models. However, in practice, normal network activities can demonstrate significantly varying sequence patterns (e.g., before and after rerouting partial network traffic). Also, the recorded abnormal events can be sparse. This paper presents a novel semi supervised method that efficiently captures dependencies between network time series and across time points to generate meaningful representations of network activities for predicting abnormal events. The method can use the limited labeled data to explicitly learn separable embedding space for normal and abnormal samples and effectively leverage unlabeled data to handle training data scarcity. The experiments demonstrate that our approach significantly outperformed state of the art approaches for event detection on a large real world network log.


Actionable Conversational Quality Indicators for Improving Task Oriented Dialog Systems. Automatic dialog systems have become a mainstream part of online customer service. Many such systems are built, maintained, and improved by customer service specialists, rather than dialog systems engineers and computer programmers. As conversations between people and machines become commonplace, it is critical to understand what is working, what is not, and what actions can be taken to reduce the frequency of inappropriate system responses. These analyses and recommendations need to be presented in terms that directly reflect the user experience rather than the internal dialog processing. This paper introduces and explains the use of Actionable Conversational Quality Indicators (ACQIs), which are used both to recognize parts of dialogs that can be improved, and to recommend how to improve them. This combines benefits of previous approaches, some of which have focused on producing dialog quality scoring while others have sought to categorize the types of errors the dialog system is making. We demonstrate the effectiveness of using ACQIs on LivePerson internal dialog systems used in commercial customer service applications, and on the publicly available CMU LEGOv2 conversational dataset (Raux et al. 2005). We report on the annotation and analysis of conversational datasets showing which ACQIs are important to fix in various situations. The annotated datasets are then used to build a predictive model which uses a turn based vector embedding of the message texts and achieves an 79 weighted average f1 measure at the task of finding the correct ACQI for a given conversation. We predict that if such a model worked perfectly, the range of potential improvement actions a bot builder must consider at each turn could be reduced by an average of 81 .


TSI an Ad Text Strength Indicator using Text to CTR and Semantic Ad Similarity. Coming up with effective ad text is a time consuming process, and particularly challenging for small businesses with limited advertising experience. When an inexperienced advertiser onboards with a poorly written ad text, the ad platform has the opportunity to detect low performing ad text, and provide improvement suggestions. To realize this opportunity, we propose an ad text strength indicator (TSI) which (i) predicts the click through rate (CTR) for an input ad text, (ii) fetches similar existing ads to create a neighborhood around the input ad, (iii) and compares the predicted CTRs in the neighborhood to declare whether the input ad is strong or weak. In addition, as suggestions for ad text improvement, TSI shows anonymized versions of superior ads (higher predicted CTR) in the neighborhood. For (i), we propose a BERT based text to CTR model trained on impressions and clicks associated with an ad text. For (ii), we propose a sentence BERT based semantic ad similarity model trained using weak labels from ad campaign setup data. Offline experiments demonstrate that our BERT based text to CTR model achieves a significant lift in CTR prediction AUC for cold start (new) advertisers compared to bag of words based baselines. In addition, our semantic textual similarity model for similar ads retrieval achieves a precision 1 of 0.93 (for retrieving ads from the same product category) this is significantly higher compared to unsupervised TF IDF, word2vec, and sentence BERT baselines. Finally, we share promising online results from advertisers in the Yahoo (Verizon Media) ad platform where a variant of TSI was implemented with sub second end to end latency.


LLVIP A Visible infrared Paired Dataset for Low light Vision. It is very challenging for various visual tasks such as image fusion, pedestrian detection and image to image translation in low light conditions due to the loss of effective target areas. In this case, infrared and visible images can be used together to provide both rich detail information and effective target areas. In this paper, we present LLVIP, a visible infrared paired dataset for low light vision. This dataset contains 30976 images, or 15488 pairs, most of which were taken at very dark scenes, and all of the images are strictly aligned in time and space. Pedestrians in the dataset are labeled. We compare the dataset with other visible infrared datasets and evaluate the performance of some popular visual algorithms including image fusion, pedestrian detection and image to image translation on the dataset. The experimental results demonstrate the complementary effect of fusion on image information, and find the deficiency of existing algorithms of the three visual tasks in very low light conditions. We believe the LLVIP dataset will contribute to the community of computer vision by promoting image fusion, pedestrian detection and image to image translation in very low light applications. The dataset is being released in https bupt ai cz.github.io LLVIP.


Distributionally Robust Learning with Stable Adversarial Training. Machine learning algorithms with empirical risk minimization are vulnerable under distributional shifts due to the greedy adoption of all the correlations found in training data. There is an emerging literature on tackling this problem by minimizing the worst case risk over an uncertainty set. However, existing methods mostly construct ambiguity sets by treating all variables equally regardless of the stability of their correlations with the target, resulting in the overwhelmingly large uncertainty set and low confidence of the learner. In this paper, we propose a novel Stable Adversarial Learning (SAL) algorithm that leverages heterogeneous data sources to construct a more practical uncertainty set and conduct differentiated robustness optimization, where covariates are differentiated according to the stability of their correlations with the target. We theoretically show that our method is tractable for stochastic gradient based optimization and provide the performance guarantees for our method. Empirical studies on both simulation and real datasets validate the effectiveness of our method in terms of uniformly good performance across unknown distributional shifts.


FedCom A Byzantine Robust Local Model Aggregation Rule Using Data Commitment for Federated Learning. Federated learning (FL) is a promising privacy preserving distributed machine learning methodology that allows multiple clients (i.e., workers) to collaboratively train statistical models without disclosing private training data. Due to the characteristics of data remaining localized and the uninspected on device training process, there may exist Byzantine workers launching data poisoning and model poisoning attacks, which would seriously deteriorate model performance or prevent the model from convergence. Most of the existing Byzantine robust FL schemes are either ineffective against several advanced poisoning attacks or need to centralize a public validation dataset, which is intractable in FL. Moreover, to the best of our knowledge, none of the existing Byzantine robust distributed learning methods could well exert its power in Non Independent and Identically distributed (Non IID) data among clients. To address these issues, we propose FedCom, a novel Byzantine robust federated learning framework by incorporating the idea of commitment from cryptography, which could achieve both data poisoning and model poisoning tolerant FL under practical Non IID data partitions. Specifically, in FedCom, each client is first required to make a commitment to its local training data distribution. Then, we identify poisoned datasets by comparing the Wasserstein distance among commitments submitted by different clients. Furthermore, we distinguish abnormal local model updates from benign ones by testing each local model's behavior on its corresponding data commitment. We conduct an extensive performance evaluation of FedCom. The results demonstrate its effectiveness and superior performance compared to the state of the art Byzantine robust schemes in defending against typical data poisoning and model poisoning attacks under practical Non IID data distributions.


Globally Distributed Development during COVID 19. Due to the global pandemic, in March 2020 we in academia and industry were abruptly forced into working from home. Yet teaching never stopped, and neither did developing software, fixing software, and expanding into new markets. Demands for flexible ways of working, responding to new requirements, have never been so high. How did we manage to continue working, when we had to suddenly switch all communication to online and virtual forms of contact? In this short paper we describe how Ocuco Ltd., a medium sized organization headquartered in Ireland, managed our software development teams distributed throughout Ireland, Europe, Asia and America during the COVID 19 pandemic. We describe how we expanded, kept our customers happy, and our teams motivated. We made changes, some large, such as providing emergency financial support others small, like implementing regular online social pizza evenings. Technology and process changes were minor, an advantage of working in globally distributed teams since 2016, when development activities were coordinated according to the Scaled Agile Framework (SAFe). The results of implementing the changes were satisfying productivity went up, we gained new customers, and preliminary results from our wellness survey indicate that everyone feels extremely well supported by management to achieve their goals. However, the anonymised survey responses did show some developers' anxiety levels were slightly raised, and many are working longer hours. Administering this survey is very beneficial, as now we know, so we can act.


Can Multilinguality benefit Non autoregressive Machine Translation?. Non autoregressive (NAR) machine translation has recently achieved significant improvements, and now outperforms autoregressive (AR) models on some benchmarks, providing an efficient alternative to AR inference. However, while AR translation is often implemented using multilingual models that benefit from transfer between languages and from improved serving efficiency, multilingual NAR models remain relatively unexplored. Taking Connectionist Temporal Classification (CTC) as an example NAR model and Imputer as a semi NAR model, we present a comprehensive empirical study of multilingual NAR. We test its capabilities with respect to positive transfer between related languages and negative transfer under capacity constraints. As NAR models require distilled training sets, we carefully study the impact of bilingual versus multilingual teachers. Finally, we fit a scaling law for multilingual NAR, which quantifies its performance relative to the AR model as model scale increases.


Hex Me If You Can. HEXME consists of tetrahedral meshes with tagged features, and of a workflow to generate them. The main purpose of HEXME meshes is to enable consistent and fair evaluation of hexahedral meshing algorithms and related techniques. The tetrahedral meshes have been generated with Gmsh, starting from 63 computer aided design (CAD) models coming from various databases. To highlight and label the various and challenging aspects of hexahedral mesh generation, the CAD models are classified into three categories simple, nasty and industrial. For each CAD model, we provide three kinds of tetrahedral meshes. The mesh generation yielding those 189 tetrahedral meshes is defined thanks to Snakemake, a modern workflow management system, which allows us to define a fully automated, extensible and sustainable workflow. It is possible to download the whole dataset or to pick some meshes by browsing the online catalog. Since there is no doubt that the hexahedral meshing techniques are going to progress, the HEXME dataset is also built with evolution in mind. A public GitHub repository hosts the HEXME workflow, in which external contributions and future releases are possible and encouraged.


Residue Density Segmentation for Monitoring and Optimizing Tillage Practices. "No till" and cover cropping are often identified as the leading simple, best management practices for carbon sequestration in agriculture. However, the root of the problem is more complex, with the potential benefits of these approaches depending on numerous factors including a field's soil type(s), topography, and management history. Instead of using computer vision approaches to simply classify a field a still vs. no till, we instead seek to identify the degree of residue coverage across afield through a probabilistic deep learning segmentation approach to enable more accurate analysis of carbon holding potential and realization. This approach will not only provide more precise insights into currently implemented practices, but also enable a more accurate identification process of fields with the greatest potential for adopting new practices to significantly impact carbon sequestration in agriculture.


Teachers Without Borders. An educator who is also known as a lecturer in the university system has three main areas of focus, which include learning that is helping students to acquire knowledge, competence and virtue, research, implying developing new knowledge, breaking new grounds and community service, by focusing on applying the knowledge to real life situations to improve life and living conditions of the society. As the worlds geographical boundaries keep getting redefined in the context of a global village, the constituency of teachers keeps getting redefined as well. This essay aims to address issues about modern constituent and platform of teachers in Nigeria for service delivery in the context of a globalised world. It also focuses on how to reach out to these new set of communities brought about by globalisation to remain relevant, effective and efficient alongside their perceived challenges and possible solutions in Nigerian context.


On the period collapse of a family of Ehrhart quasi polynomials. A graph whose nodes have degree 1 or 3 is called a 1,3 graph. Liu and Osserman associated a polytope to each 1,3 graph and studied the Ehrhart quasi polynomials of these polytopes. They showed that the vertices of these polytopes have coordinates in the set 0, frac14, frac12,1 , which implies that the period of their Ehrhart quasi polynomials is either 1, 2, or 4. We show that the period of the Ehrhart quasi polynomial of these polytopes is at most 2 if the graph is a tree or a cubic graph, and it is equal to 4 otherwise. In the process of proving this theorem, several interesting combinatorial and geometric properties of these polytopes were uncovered, arising from the structure of their associated graphs. The tools developed here may find other applications in the study of Ehrhart quasi polynomials and enumeration problems for other polytopes that arise from graphs. Additionally, we have identified some interesting connections with triangulations of 3 manifolds.


On the 2 adic valuation of (a b c d). In this paper will be proved an inequality regarding v 2(a b c d ) . Using this formula it will be possible to have informations about the divisibility of 2 of this function without computing it. Then, will be studied the behavior of this function when it approaches infinity and there will be a lot of analogies with 2 adic integers. This result may be easily used on a calculator, to facilitate the analysis of the divisibility by 2 of this function for large values. Furthermore 2 adic valuation and in general 2 adic analysis is related to binary system, and every work related to it could have a lot of applications in informatics.


Learning to Regrasp by Learning to Place. In this paper, we explore whether a robot can learn to regrasp a diverse set of objects to achieve various desired grasp poses. Regrasping is needed whenever a robot's current grasp pose fails to perform desired manipulation tasks. Endowing robots with such an ability has applications in many domains such as manufacturing or domestic services. Yet, it is a challenging task due to the large diversity of geometry in everyday objects and the high dimensionality of the state and action space. In this paper, we propose a system for robots to take partial point clouds of an object and the supporting environment as inputs and output a sequence of pick and place operations to transform an initial object grasp pose to the desired object grasp poses. The key technique includes a neural stable placement predictor and a regrasp graph based solution through leveraging and changing the surrounding environment. We introduce a new and challenging synthetic dataset for learning and evaluating the proposed approach. We demonstrate the effectiveness of our proposed system with both simulator and real world experiments. More videos and visualization examples are available on our project webpage.


Mathematical Properties of Incremental Effect Additivity and Other Synergy Theories. Synergy theories for multi component agent mixtures use 1 agent dose effect relations, assumed known from analyzing previous 1 agent experiments, to calculate baseline Neither Synergy Nor Antagonism mixture dose effect relations. The most commonly used synergy theory, Simple Effect Additivity, is not self consistent mathematically. Many nonlinear alternatives have been suggested, almost all of which require an assumption that effects increase monotonically as dose increases. We here emphasize the recently introduced Incremental Effect Additivity synergy theory and briefly discuss Loewe Additivity. By utilizing the fact that, when dose increments approach zero, dose effect relations approach linearity, Incremental Effect Additivity theory to some extent circumvents the non linearity of dose effect relations that plague Simple Effect Additivity calculations. We study mathematical properties of Incremental Effect Additivity that are relevant to practical implementation of this synergy theory and hold whatever particular area of biology, medicine, toxicology or pharmacology is involved. However, as yet Incremental Effect Additivity synergy theory has only been applied to mixture experiments simulating the toxic galactic cosmic ray mixture encountered during voyages in interplanetary space. Our main results are theorems, propositions, examples and counterexamples revealing various properties of Incremental Effect Additivity synergy theory including whether or not Neither Synergy Nor Antagonism dose effect relations lie between 1 agent dose effect relations. These results are amply illustrated with figures.


Gradient flows for bounded linear evolution equations. We study linear evolution equations in separable Hilbert spaces defined by a bounded linear operator. We answer the question which of these equations can be written as a gradient flow, namely those for which the operator is real diagonalisable. The proof is constructive, from which we also derive geodesic lambda convexity.


Scaling of global properties of fluctuating streamwise velocities in pipe flow Impact of the viscous term. We extend the procedure outlined in Basse, "Scaling of global properties of fluctuating and mean streamwise velocities in pipe flow Characterization of a high Reynolds number transition region," Phys. Fluids Vol. 33, 065127 (2021) to study global, i.e. radially averaged, scaling of streamwise velocity fluctuations. A viscous term is added to the log law scaling which leads to the existence of a mathematical abstraction which we call the "global peak". The position and amplitude of this global peak are characterized and compared to the inner and outer peaks. A transition at a friction Reynolds number of order 10000 is identified. Consequences for the global peak scaling, length scales, non zero asymptotic viscosity, turbulent energy production dissipation and turbulence intensity scaling are appraised along with the impact of including an additional wake term.


Design of Many Core Big Little mu Brain for Energy Efficient Embedded Neuromorphic Computing. As spiking based deep learning inference applications are increasing in embedded systems, these systems tend to integrate neuromorphic accelerators such as mu Brain to improve energy efficiency. We propose a mu Brain based scalable many core neuromorphic hardware design to accelerate the computations of spiking deep convolutional neural networks (SDCNNs). To increase energy efficiency, cores are designed to be heterogeneous in terms of their neuron and synapse capacity (big cores have higher capacity than the little ones), and they are interconnected using a parallel segmented bus interconnect, which leads to lower latency and energy compared to a traditional mesh based Network on Chip (NoC). We propose a system software framework called SentryOS to map SDCNN inference applications to the proposed design. SentryOS consists of a compiler and a run time manager. The compiler compiles an SDCNN application into subnetworks by exploiting the internal architecture of big and little mu Brain cores. The run time manager schedules these sub networks onto cores and pipeline their execution to improve throughput. We evaluate the proposed big little many core neuromorphic design and the system software framework with five commonlyused SDCNN inference applications and show that the proposed solution reduces energy (between 37 and 98 ), reduces latency (between 9 and 25 ), and increases application throughput (between 20 and 36 ). We also show that SentryOS can be easily extended for other spiking neuromorphic accelerators.


Onshore, offshore or in turbine electrolysis? Techno economic overview of alternative integration designs for green hydrogen production into Offshore Wind Power Hubs. Massive investments in offshore wind power generate significant challenges on how this electricity will be integrated into the incumbent energy systems. In this context, green hydrogen produced by offshore wind emerges as a promising solution to remove barriers towards a carbon free economy in Europe and beyond. Motivated by the recent developments in Denmark with the decision to construct the world's first artificial Offshore Energy Hub, this paper investigates how the lowest cost for green hydrogen can be achieved. A model proposing an integrated design of the hydrogen and offshore electric power infrastructure, determining the levelised costs of both hydrogen and electricity, is proposed. The economic feasibility of hydrogen production from Offshore Wind Power Hubs is evaluated considering the combination of different electrolyser placements, technologies and modes of operations. The results show that costs down to 2.4 EUR per kg can be achieved for green hydrogen production offshore, competitive with the hydrogen costs currently produced by natural gas. Moreover, a reduction of up to 13 pct. of the cost of wind electricity is registered when an electrolyser is installed offshore shaving the peak loads.


Expansion in Cayley graphs, Cayley sum graphs and their twists. The Cayley graphs of finite groups are known to provide several examples of families of expanders, and some of them are Ramanujan graphs. Babai studied isospectral non isomorphic Cayley graphs of the dihedral groups. Lubotzky, Samuels and Vishne proved that there are isospectral non isomorphic Cayley graphs of mathrm PSL d( mathbb F q) for every d geq 5 ( d neq 6 ) and prime power q 2 . In this article, we focus on three variants of Cayley graphs, viz., the Cayley sum graphs, the twisted Cayley graphs, and the twisted Cayley sum graphs. We prove the existence of non isomorphic expander families of bounded degree, whose spectra are related by the values of certain characters. We also provide several new examples of expander families, and examples of non expanders and Ramanujan graphs formed by these three variants.


Statistical Analysis of Perspective Scores on Hate Speech Detection. Hate speech detection has become a hot topic in recent years due to the exponential growth of offensive language in social media. It has proven that, state of the art hate speech classifiers are efficient only when tested on the data with the same feature distribution as training data. As a consequence, model architecture plays the second role to improve the current results. In such a diverse data distribution relying on low level features is the main cause of deficiency due to natural bias in data. That's why we need to use high level features to avoid a biased judgement. In this paper, we statistically analyze the Perspective Scores and their impact on hate speech detection. We show that, different hate speech datasets are very similar when it comes to extract their Perspective Scores. Eventually, we prove that, over sampling the Perspective Scores of a hate speech dataset can significantly improve the generalization performance when it comes to be tested on other hate speech datasets.


Hamiltonian paths, unit interval complexes, and determinantal facet ideals. We study d dimensional generalizations of three mutually related topics in graph theory Hamiltonian paths, (unit) interval graphs, and binomial edge ideals. We provide partial high dimensional generalizations of Ore and Posa's sufficient conditions for a graph to be Hamiltonian. We introduce a hierarchy of combinatorial properties for simplicial complexes that generalize unit interval, interval, and co comparability graphs. We connect these properties to the already existing notions of determinantal facet ideals and Hamiltonian paths in simplicial complexes. Some important consequences of our work are (1) Every almost closed strongly connected d dimensional simplicial complex is traceable. (This extends the well known result "unit interval connected graphs are traceable".) (2) Every almost closed d complex that remains strongly connected after the deletion of d or less vertices, is Hamiltonian. (This extends the fact that "unit interval 2 connected graphs are Hamiltonian".) (3) Unit interval complexes are characterized, among traceable complexes, by the property that the minors defining their determinantal facet ideal form a Groebner basis for a diagonal term order which is compatible with the traceability of the complex. (This corrects a recent theorem by Ene et al., extends a result by Herzog and others, and partially answers a question by Almousa Vandebogert.) (4) Only the d skeleton of the simplex has a determinantal facet ideal with linear resolution. (This extends the result by Kiani and Saeedi Madani that "only the complete graph has a binomial edge ideal with linear resolution".) (5) The determinantal facet ideals of all under closed and semi closed complexes have a square free initial ideal with respect to lex. In characteristic p, they are even F pure.


Relative subanalytic sheaves II. We give a new construction of sheaves on a relative site associated to a product X times S where S plays the role of a parameter space, expanding the previous construction by the same authors, where the subanalytic structure on S was required. Here we let this last condition fall. In this way the construction becomes much easier to apply when dimension of S is bigger than one. We also study the functorial properties of base change with respect to the parameter space.


Characterisation of analogue front end and time walk in CMOS active pixel sensor. In this work we investigated a method to determine time walk in an active silicon pixel sensor prototype using Edge TCT with infrared laser charge injection. Samples were investigated before and after neutron irradiation to 5e14 neq cm2. Threshold, noise and calibration of the analogue front end were determined with external charge injection. A spatially sensitive measurement of collected charge and time walk was carried out with Edge TCT, showing a uniform charge collection and output delay in pixel centre. On pixel edges charge sharing was observed due to finite beam width resulting in smaller signals and larger output delay. Time walk below 25 ns was observed for charge above 2000 electrons at a threshold above the noise level. Time walk measurement with external charge injection yielded identical results.


DIALED Data Integrity Attestation for Low end Embedded Devices. Verifying integrity of software execution in low end micro controller units (MCUs) is a well known open problem. The central challenge is how to securely detect software exploits with minimal overhead, since these MCUs are designed for low cost, low energy and small size. Some recent work yielded inexpensive hardware software co designs for remotely verifying code and execution integrity. In particular, a means of detecting unauthorized code modifications and control flow attacks were proposed, referred to as Remote Attestation (RA) and Control Flow Attestation (CFA), respectively. Despite this progress, detection of data only attacks remains elusive. Such attacks exploit software vulnerabilities to corrupt intermediate computation results stored in data memory, changing neither the program code nor its control flow. Motivated by lack of any current techniques (for low end MCUs) that detect these attacks, in this paper we propose, implement and evaluate DIALED, the first Data Flow Attestation (DFA) technique applicable to the most resource constrained embedded devices (e.g., TI MSP430). DIALED works in tandem with a companion CFA scheme to detect all (currently known) types of runtime software exploits at fairly low cost.


A Berestycki Lions type result for a class of degenerate elliptic problems involving the Grushin Operator. In this work we study the existence of nontrivial solution for the following class of semilinear degenerate elliptic equations Delta gamma u a(z)u f(u) mbox in mathbb R N , where Delta gamma is known as the it Grushin operator , z (x,y) in mathbb R m times mathbb R k and m k N geq 3 , f and a are continuous function satisfying some technical conditions. In order to overcome some difficulties involving this type of operator, we have proved some compactness results that are crucial in the proof of our main results. For the case a 1 , we have showed a Berestycki Lions type result.


Evolution of large amplitude Alfv 'en waves and generation of switchbacks in the expanding solar wind. Motivated by recent Parker Solar Probe (PSP) observations of "switchbacks" (abrupt, large amplitude reversals in the radial magnetic field, which exhibit Alfv 'enic correlations) we examine the dynamics of large amplitude Alfv 'en waves in the expanding solar wind. We develop an analytic model which makes several predictions switchbacks should preferentially occur in regions where the solar wind plasma has undergone a greater expansion, the switchback fraction at radii comparable to PSP should be an increasing function of radius, and switchbacks should have their gradients preferentially perpendicular to the mean magnetic field direction. The expansion of the plasma generates small compressive components as part of the wave's nonlinear evolution these are maximized when the normalized fluctuation amplitude is comparable to sin theta , where theta is the angle between the propagation direction and the mean magnetic field. These compressive components steepen the primary Alfv 'enic waveform, keeping the solution in a state of nearly constant magnetic field strength as its normalized amplitude delta B B grows due to expansion. The small fluctuations in the magnetic field strength are minimized at a particular theta dependent value of beta , usually of order unity, and the density and magnetic field strength fluctuations can be correlated or anticorrelated depending on beta and theta . Example solutions of our dynamical equation are presented some do indeed form magnetic field reversals. Our predictions appear to match some previously unexplained phenomena in observations and numerical simulations, providing evidence that the observed switchbacks result from the nonlinear evolution of the initially small amplitude Alfv 'en waves already known to be present at the coronal base.


Categorical Semantics of Reversible Pattern Matching. This paper is concerned with categorical structures for reversible computation. In particular, we focus on a typed, functional reversible language based on Theseus. We discuss how join inverse rig categories do not in general capture pattern matching, the core construct Theseus uses to enforce reversibility. We then derive a categorical structure to add to join inverse rig categories in order to capture pattern matching. We show how such a structure makes an adequate model for reversible pattern matching.


Latent Modes of Nonlinear Flows a Koopman Theory Analysis. Extracting the latent underlying structures of complex nonlinear local and nonlocal flows is essential for their analysis and modeling. In this work, we attempt to provide a consistent framework through Koopman theory and its related popular discrete approximation dynamic mode decomposition (DMD). We investigate the conditions to perform appropriate linearization, dimensionality reduction, and representation of flows in a highly general setting. The essential elements of this framework are Koopman Eigenfunction (KEF), for which existence conditions are formulated. This is done by viewing the dynamic as a curve in state space. These conditions lay the foundations for system reconstruction, global controllability, and observability for nonlinear dynamics. We examine the limitations of DMD through the analysis of Koopman theory and propose a new mode decomposition technique based on the typical time profile of the dynamics. An overcomplete dictionary of decay profiles is used to sparsely approximate the flow. This analysis is also valid in the full continuous setting of Koopman theory, which is based on variational calculus. We demonstrate applications of this analysis, such as finding KEFs and their multiplicities, dynamics reconstruction, and global linearization.


Finding the Stochastic Shortest Path with Low Regret The Adversarial Cost and Unknown Transition Case. We make significant progress toward the stochastic shortest path problem with adversarial costs and unknown transition. Specifically, we develop algorithms that achieve widetilde O ( sqrt S 2ADT star K ) regret for the full information setting and widetilde O ( sqrt S 3A 2DT star K ) regret for the bandit feedback setting, where D is the diameter, T star is the expected hitting time of the optimal policy, S is the number of states, A is the number of actions, and K is the number of episodes. Our work strictly improves (Rosenberg and Mansour, 2020) in the full information setting, extends (Chen et al., 2020) from known transition to unknown transition, and is also the first to consider the most challenging combination bandit feedback with adversarial costs and unknown transition. To remedy the gap between our upper bounds and the current best lower bounds constructed via a stochastically oblivious adversary, we also propose algorithms with near optimal regret for this special case.


Temperature dependence of nitrogen vacancy center ensembles in diamond based on an optical fiber. The nitrogen vacancy (NV) centers in diamond sensing has been considered to be a promising micro nano scale thermometer due to its high stability, good temperature resolution and integration. In this work, we fabricated the sensing core by attaching a diamond plate containing NV centers to the section of a cut off multi mode fiber. Then we measured the zero field splitting parameter (D) of NV center ensembles using continuous wave optical detected magnetic resonance (CW ODMR) technique. A home made thermostatic system and two calibrated platinum resistance thermometers were applied for reference temperature measurement. The effects from preparation time and count time in the pulse sequence, laser power, microwave power, and microwave frequency step were investigated. Moreover, the experimental D and T from 298.15 K to 383.15 K was obtained with the standard uncertainty of u(D) (3.62268 8.54464)x10 5 GHz and u(T) (0.013 0.311) K. The experimental results are well consistent with the work of Toyli, et al. (Toyli, et al., 2012) using the similar diamond sample. The extrapolation for D T at 0 K and 700 K also agree with other references, and meanwhile dD dT varies with temperature. Finally, comparing the D T relationship measured by different research groups, we can know that the NV concentration resulting in different electron density and manufacturing procedure resulting in different thermal expansion would lead to different D T relationship. It is worthy to continue further comprehensive research especially from the metrological point of view to develop NV center as a practical and accurate micro nano scale thermometry.


To trust or not to trust an explanation using LEAF to evaluate local linear XAI methods. The main objective of eXplainable Artificial Intelligence (XAI) is to provide effective explanations for black box classifiers. The existing literature lists many desirable properties for explanations to be useful, but there is no consensus on how to quantitatively evaluate explanations in practice. Moreover, explanations are typically used only to inspect black box models, and the proactive use of explanations as a decision support is generally overlooked. Among the many approaches to XAI, a widely adopted paradigm is Local Linear Explanations with LIME and SHAP emerging as state of the art methods. We show that these methods are plagued by many defects including unstable explanations, divergence of actual implementations from the promised theoretical properties, and explanations for the wrong label. This highlights the need to have standard and unbiased evaluation procedures for Local Linear Explanations in the XAI field. In this paper we address the problem of identifying a clear and unambiguous set of metrics for the evaluation of Local Linear Explanations. This set includes both existing and novel metrics defined specifically for this class of explanations. All metrics have been included in an open Python framework, named LEAF. The purpose of LEAF is to provide a reference for end users to evaluate explanations in a standardised and unbiased way, and to guide researchers towards developing improved explainable techniques.


German Cities with Universities Socioeconomic Position and University Performance. We investigated the role of universities in the prosperity of cities and regions. Performance characteristics of universities are derived from the Leiden Ranking 2020. The socioeconomic strength of a city is determined with the urban scaling methodology. Our study shows a significant relation between the presence of a university in a city and its socioeconomic indicators, particularly for larger cities, and that this is especially the case for universities with higher values of their output, impact and collaboration indicators.


Ternary primitive LCD BCH codes. Absolute coset leaders were first proposed by the authors which have advantages in constructing binary LCD BCH codes. As a continue work, in this paper we focus on ternary linear codes. Firstly, we find the largest, second largest, and third largest absolute coset leaders of ternary primitive BCH codes. Secondly, we present three classes of ternary primitive BCH codes and determine their weight distributions. Finally, we obtain some LCD BCH codes and calculate some weight distributions. However, the calculation of weight distributions of two of these codes is equivalent to that of Kloosterman sums.


Cohomologically rigid solvable Lie superalgebras with model filiform and model nilpotent nilradical. In this paper, we find a family SL n,m , in any arbitrary dimensions, of cohomologically rigid solvable Lie superalgebras with nilradical the model filiform Lie superalgebra L n,m . Moreover, we exhibit a family of cohomologically rigid solvable Lie superalgebras with nilradical the model nilpotent Lie superalgebra of generic characteristic sequence. Both cases correspond to solvable Lie superalgebras of maximal dimension for a given nilradical. Contrariwise, we will show that the family of Lie superalgebras SL n,m can be deformed if defined over a field of odd characteristic.


Stolarsky Puebla index. We introduce a degree based variable topological index inspired on the Stolarsky mean (known as the generalization of the logarithmic mean). We name this new index as the Stolarsky Puebla index SP alpha(G) sum uv in E(G) d u , if d u d v , and SP alpha(G) sum uv in E(G) left left( d u alpha d v alpha right) left( alpha(d u d v right) right 1 ( alpha 1) , otherwise. Here, uv denotes the edge of the network G connecting the vertices u and v , d u is the degree of the vertex u , and alpha in mathbb R backslash 0,1 . Indeed, for given values of alpha , the Stolarsky Puebla index reproduces well known topological indices such as the reciprocal Randic index, the first Zagreb index, and several mean Sombor indices. Moreover, we apply these indices to random networks and demonstrate that left SP alpha(G) right , normalized to the order of the network, scale with the corresponding average degree left d right .


Iterative regularization for constrained minimization formulations of nonlinear inverse problems. In this paper we the formulation of inverse problems as constrained minimization problems and their iterative solution by gradient or Newton type. We carry out a convergence analysis in the sense of regularization methods and discuss applicability to the problem of identifying the spatially varying diffusivity in an elliptic PDE from different sets of observations. Among these is a novel hybrid imaging techology known as impedance acoustic tomography, for which we provide numerical experiments.


Signal and Image Reconstruction with Tight Frames via Unconstrained ell 1 alpha ell 2 Analysis Minimizations. In the paper, we introduce an unconstrained analysis model based on the ell 1 alpha ell 2 (0 alpha leq1) minimization for the signal and image reconstruction. We develop some new technology lemmas for tight frame, and the recovery guarantees based on the restricted isometry property adapted to frames. The effective algorithm is established for the proposed nonconvex analysis model. We illustrate the performance of the proposed model and algorithm for the signal and compressed sensing MRI reconstruction via extensive numerical experiments. And their performance is better than that of the existing methods.


A remark on restriction theorems and their application to Strichartz estimates. We present an elementary approach to prove restriction theorems for particular surfaces for which the Tomas Stein theorem does not apply, which in turn provide short proofs for well known Strichartz estimates for associated PDEs. The method consists in applying simple restriction theorems to the level sets of the surfaces studied (for instance, spheres in the case of the cone) and then integrating the inequalities over all level sets. This allows for a different proof of sharp estimates for the wave equation, and of some estimates related to the Euler equations in the rotational framework.


Modeling Implicit Bias with Fuzzy Cognitive Maps. This paper presents a Fuzzy Cognitive Map model to quantify implicit bias in structured datasets where features can be numeric or discrete. In our proposal, problem features are mapped to neural concepts that are initially activated by experts when running what if simulations, whereas weights connecting the neural concepts represent absolute correlation association patterns between features. In addition, we introduce a new reasoning mechanism equipped with a normalization like transfer function that prevents neurons from saturating. Another advantage of this new reasoning mechanism is that it can easily be controlled by regulating nonlinearity when updating neurons' activation values in each iteration. Finally, we study the convergence of our model and derive analytical conditions concerning the existence and unicity of fixed point attractors.