Free and forced vibrations of damped locally resonant sandwich beams. This paper addresses the dynamics of locally resonant sandwich beams, where multi degree of freedom viscously damped resonators are periodically distributed within the core matrix. Using an equivalent single layer Timoshenko beam model coupled with mass spring dashpot subsystems representing the resonators, two solution methods are presented. The first is a direct integration method providing the exact frequency response under arbitrary loads. The second is a complex modal analysis approach obtaining exact modal impulse and frequency response functions, upon deriving appropriate orthogonality conditions for the complex modes. The challenging issue of calculating all eigenvalues, without missing anyone, is solved applying a recently introduced contour integral algorithm to a characteristic equation built as determinant of an exact frequency response matrix, whose size is 4 times 4 regardless of the number of resonators. Numerical applications prove exactness and robustness of the proposed solutions.


Continual Learning on the Edge with TensorFlow Lite. Deploying sophisticated deep learning models on embedded devices with the purpose of solving real world problems is a struggle using today's technology. Privacy and data limitations, network connection issues, and the need for fast model adaptation are some of the challenges that constitute today's approaches unfit for many applications on the edge and make real time on device training a necessity. Google is currently working on tackling these challenges by embedding an experimental transfer learning API to their TensorFlow Lite, machine learning library. In this paper, we show that although transfer learning is a good first step for on device model training, it suffers from catastrophic forgetting when faced with more realistic scenarios. We present this issue by testing a simple transfer learning model on the CORe50 benchmark as well as by demonstrating its limitations directly on an Android application we developed. In addition, we expand the TensorFlow Lite library to include continual learning capabilities, by integrating a simple replay approach into the head of the current transfer learning model. We test our continual learning model on the CORe50 benchmark to show that it tackles catastrophic forgetting, and we demonstrate its ability to continually learn, even under non ideal conditions, using the application we developed. Finally, we open source the code of our Android application to enable developers to integrate continual learning to their own smartphone applications, as well as to facilitate further development of continual learning functionality into the TensorFlow Lite environment.


Translating Numerical Concepts for PDEs into Neural Architectures. We investigate what can be learned from translating numerical algorithms into neural networks. On the numerical side, we consider explicit, accelerated explicit, and implicit schemes for a general higher order nonlinear diffusion equation in 1D, as well as linear multigrid methods. On the neural network side, we identify corresponding concepts in terms of residual networks (ResNets), recurrent networks, and U nets. These connections guarantee Euclidean stability of specific ResNets with a transposed convolution layer structure in each block. We present three numerical justifications for skip connections as time discretisations in explicit schemes, as extrapolation mechanisms for accelerating those methods, and as recurrent connections in fixed point solvers for implicit schemes. Last but not least, we also motivate uncommon design choices such as nonmonotone activation functions. Our findings give a numerical perspective on the success of modern neural network architectures, and they provide design criteria for stable networks.


Network Anomaly Detection in Cars A Case for Time Sensitive Stream Filtering and Policing. Connected cars are vulnerable to cyber attacks. Security challenges arise from vehicular management uplinks, from signaling with roadside units or nearby cars, as well as from common Internet services. Major threats arrive from bogus traffic that enters the in car backbone, which will comprise of Ethernet technologies in the near future. Various security techniques from different areas and layers are under discussion to protect future vehicles. In this paper, we show how Per Stream Filtering and Policing of IEEE Time Sensitive Networking (TSN) can be used as a core technology for identifying misbehaving traffic flows in cars, and thereby serve as network anomaly detectors. TSN is the leading candidate for implementing quality of service in vehicular Ethernet backbones. We classify the impact of network attacks on traffic flows and benchmark the detection performance in each individual class. Based on a backbone topology derived from a real car and its traffic definition, we evaluate the detection system in realistic scenarios with real attack traces. Our results show that the detection accuracy depends on the precision of the in vehicle communication specification, the traffic type, the corruption layer, and the attack impact on the link layer. Most notably, the anomaly indicators of our approach remain free of false positive alarms, which is an important foundation for implementing automated countermeasures in future vehicles.


Freeze dried microfluidic monodisperse microbubbles as a new generation of ultrasound contrast agents. In the paper, we succeeded to freeze dry monodisperse microbubbles without degrading their size and acoustic properties. We used microfluidic technology to generate highly monodisperse (coefficient of variation, CV 5 ) microbubbles and optimized their formulation along with a cryoprotectant. By using a specific technique of retrieval of the bubble, we showed that freeze drying the microbubbles does not alter their size distribution. To compare the fundamental resonance properties of the bubbles, we performed backscattered acoustic characterization measurements. Our experimental results revealed that the freeze drying process conserved the acoustic properties of the bubbles. The maximum backscattering power amplitude of fresh and freeze dried monodisperse PVA bubbles was around ten eight times higher than that of SonoVue at a similar concentration in vitro. By solving the question of storage and transportation of monodisperse bubbles, our work facilitates their penetration in the domain of UCAs, for performing new tasks and developing novel non invasive measurements, such as pressure, unaccessible to the existing commercialized bubbles.


Boosting performance for software defined networks from traffic engineering perspective. Paths selection algorithms and rate adaptation objective functions are usually studied separately. In contrast, this paper evaluates some traffic engineering (TE) systems for software defined networking obtained by combining path selection techniques with average delay and load balancing, the two most popular TE objective functions. Based on TE simulation results, the best TE system suitable for software defined networks is a system where the paths are calculated using an oblivious routing model and its adaptation rate calculated using an average delay objective function. Thus, we propose the RACKE AD system combining path sets computed using Racke's oblivious routing and traffic splitting objective function using average delay. This model outperforms current state of the art models, maximizes throughput, achieves better network resource utilization, and minimizes delay. The proposed system outperformed SMORE and SWAN by 4.2 and 9.6 respectively, achieving 27 better utilization and delivering 34 more traffic with 50 less latency compared with both systems on a GEANT network.


Reconfiguring Data Infrastructure Ecosystem in Africa A Primer Toward Digital Sovereignty. The growth of the Internet and its associated technologies including digital services have tremendously impacted our society. However, scholars have noted a trend in data flow and collection and have alleged mass surveillance and digital supremacy. To this end therefore, nations of the world such as Russia, China, Germany, Canada, France and Brazil among others have taken steps toward changing the narrative. The question now is, should Africans join these giants in this school of thought on digital sovereignty or fold their hands to remain on the other side of the divide? This question among others are the main reasons that provoked the thoughts of putting this paper together. This is with a view to demystifying the strategies to reconfigure data infrastructure in the context of Africa. It also highlights the benefits of digital technologies and its propensity to foster all round development in the continent as it relates to economic face lift, employment creation, national security, among others. There is therefore a need for African nations to design appropriate blueprint to ensure security of her digital infrastructure and the flow of data within her cyber space. In addition, a roadmap in the immediate, short and long term in accordance with the framework of African developmental goals should be put in place to guide the implementation.


Maximal and Calderon Zygmund operators on the local variable Morrey Lorentz spaces and some applications. In this paper, we give the definition of local variable Morrey Lorentz spaces which are a new class of functions. Also, we prove the boundedness of the Hardy Littlewood maximal operator M and Calderon Zygmund operators T on these spaces. Finally, we apply these results to the Bochner Riesz operator, identity approximation and the Marcinkiewicz operator on these spaces.


Towards a Physics Based Battery Aging Prediction. Accurately predicting aging of lithium ion batteries would help to prolong their lifespan, but remains a challenge owing to the complexity and interrelation of different aging mechanisms. As a result, aging prediction often relies on empirical or data driven approaches, which obtain their performance from analyzing large datasets. However, these datasets are expensive to generate and the models are agnostic of the underlying physics and thus difficult to extrapolate to new conditions. In this article, a physical model is used to predict capacity fade caused by solid electrolyte interphase (SEI) growth in 62 automotive cells, aged with 28 different protocols. Three protocols parametrize the time, current and temperature dependence of the model, the state of charge dependence results from the anode's open circuit voltage curve. The model validation with the remaining 25 protocols shows a high predictivity with a root mean squared error of 1.28 . A case study with the so validated model shows that the operating window, i.e. maximum and minimum state of charge, has the largest impact on SEI growth, while the influence of the applied current is almost negligible. Thereby the presented model is a promising approach to better understand, quantify and predict aging of lithium ion batteries.


Path dependent Hamilton Jacobi equations with super quadratic growth in the gradient and the vanishing viscosity method. The non exponential Schilder type theorem in Backhoff Veraguas, Lacker and Tangpi Ann. Appl. Probab., 30 (2020), pp. 1321 1367 is expressed as a convergence result for path dependent partial differential equations with appropriate notions of generalized solutions. This entails a non Markovian counterpart to the vanishing viscosity method. We show uniqueness of maximal subsolutions for path dependent viscous Hamilton Jacobi equations related to convex super quadratic backward stochastic differential equations. We establish well posedness for the Hamilton Jacobi Bellman equation associated to a Bolza problem of the calculus of variations with path dependent terminal cost. In particular, uniqueness among lower semi continuous solutions holds and state constraints are admitted.


Maximising the total weight of on time jobs on parallel machines subject to a conflict graph. The paper considers scheduling on parallel machines under the constraint that some pairs of jobs cannot be processed concurrently. Each job has an associated weight, and all jobs have the same deadline. The objective is to maximise the total weight of on time jobs. The problem is known to be strongly NP hard in general. A polynomial time algorithm for scheduling unit execution time jobs on two machines is proposed. The performance of a broad family of approximation algorithms for scheduling unit execution time jobs on more than two machines is analysed. For the case of arbitrary job processing times, two integer linear programming formulations are proposed and compared with two formulations known from the earlier literature. An iterated variable neighborhood search algorithm is also proposed and evaluated by means of computational experiments.


Spatial regionalization as optimal data compression. The process of aggregating areal units into contiguous clusters, known as regionalization, is central to the analysis of spatial data. Regionalization provides a means to reduce the effect of noise or outliers in sampled data, identify socioeconomically homogeneous areas for policy development, and simplify the visualization of data in maps among many other applications. Most existing regionalization methods require a substantial amount of manual input, such as the number of desired regions or a similarity measure among regional populations, which may be desirable for some applications but does not allow us to extract the natural regions defined solely by the data itself. Here we view the problem of regionalization as one of data compression. We define the optimal partition of spatial units with corresponding distributional data as the one that minimizes the description length required to transmit the data, and develop an efficient, parameter free greedy optimization algorithm to identify this partition. We demonstrate that our method is capable of recovering planted spatial clusters in noisy synthetic distributional data, and that it identifies meaningful ethnoracial boundaries in real demographic data. Using our description length formulation, we find that the information contained in spatial ethnoracial data in metropolitan areas across the U.S. has become more difficult to compress over the period from 1980 to 2010, which reflects the rising complexity of urban segregation patterns of these metros. We identify the increasing overall diversity of these metros as a major contributor to this lower data compressibility, while the spatial scale of ethnoracial clustering does not appear to be a significant factor.


'Just because you are right, doesn't mean I am wrong' Overcoming a Bottleneck in the Development and Evaluation of Open Ended Visual Question Answering (VQA) Tasks. GQA (Hudson and Manning, 2019) is a dataset for real world visual reasoning and compositional question answering. We found that many answers predicted by the best visionlanguage models on the GQA dataset do not match the ground truth answer but still are semantically meaningful and correct in the given context. In fact, this is the case with most existing visual question answering (VQA) datasets where they assume only one ground truth answer for each question. We propose Alternative Answer Sets (AAS) of ground truth answers to address this limitation, which is created automatically using off the shelf NLP tools. We introduce a semantic metric based on AAS and modify top VQA solvers to support multiple plausible answers for a question. We implement this approach on the GQA dataset and show the performance improvements.


Chickens and Dukes. Following on the King Chicken Theorems originally proved by Maurer, we examine the idea of multiple flocks of chickens by bringing the chickens from tournaments to multipartite tournaments. As Kings have already been studied in multipartite settings, notably by Koh Tan and Petrovic Thomassen, we examine a new type of chicken more suited than Kings for these multipartite graphs Dukes. We define an M Duke to be a vertex from which any vertex in a different partite set is accessible by a directed path of length at most M. In analogy with Maurer's paper, we prove various structural results regarding Dukes. In particular, we prove the existence of 3 Dukes in all multipartite tournaments, and we conclude by proving that in any multipartite tournament, either there is a 1 Duke, three 2 Dukes, or four 3 Dukes.


XOmiVAE an interpretable deep learning model for cancer classification using high dimensional omics data. The lack of explainability is one of the most prominent disadvantages of deep learning applications in omics. This "black box" problem can undermine the credibility and limit the practical implementation of biomedical deep learning models. Here we present XOmiVAE, a variational autoencoder (VAE) based interpretable deep learning model for cancer classification using high dimensional omics data. XOmiVAE is capable of revealing the contribution of each gene and latent dimension for each classification prediction, and the correlation between each gene and each latent dimension. It is also demonstrated that XOmiVAE can explain not only the supervised classification but the unsupervised clustering results from the deep learning network. To the best of our knowledge, XOmiVAE is one of the first activation level based interpretable deep learning models explaining novel clusters generated by VAE. The explainable results generated by XOmiVAE were validated by both the performance of downstream tasks and the biomedical knowledge. In our experiments, XOmiVAE explanations of deep learning based cancer classification and clustering aligned with current domain knowledge including biological annotation and academic literature, which shows great potential for novel biomedical knowledge discovery from deep learning models.


Ultra Spatiotemporal Light Confinement in Dielectric Nanocavity Metasurfaces. Light concentration with strong temporal and spatial confinement is crucial for tailoring light matter interaction. Electromagnetic cavity modes in photonic and plasmonic resonators provide platforms for optical field localization. Here, we propose a concept of quasi bound states in the continuum gap cavity and reveal that ultra spatiotemporal confinements in free space can be realized in a dielectric nanocavity metasurface. By introducing an asymmetric air slot in a nanodisk resonator, an ultra high quality factor rm Q sim 10 6 , accompanying an ultra small effective mode volume, rm V m sim 10 2 ( lambda n) 3 are achieved resulting in a Purcell factor of rm 10 6 ( lambda n) 3 in the visible wavelength range. The toroidal dipole drives the electric and magnetic field concentration in the air gap with a generated vortex polarizing electric field. As an alternative to plasmonic and photonic crystal cavities, our study provides a more intriguing platform for engineering light matter interaction to advance a plethora of fundamental studies and device applications, such as Purcell factor enhancement, room temperature strong coupling and nonlinear nanophotoncis.


Optimizing Large Scale Hyperparameters via Automated Learning Algorithm. Modern machine learning algorithms usually involve tuning multiple (from one to thousands) hyperparameters which play a pivotal role in terms of model generalizability. Black box optimization and gradient based algorithms are two dominant approaches to hyperparameter optimization while they have totally distinct advantages. How to design a new hyperparameter optimization technique inheriting all benefits from both approaches is still an open problem. To address this challenging problem, in this paper, we propose a new hyperparameter optimization method with zeroth order hyper gradients (HOZOG). Specifically, we first exactly formulate hyperparameter optimization as an A based constrained optimization problem, where A is a black box optimization algorithm (such as deep neural network). Then, we use the average zeroth order hyper gradients to update hyperparameters. We provide the feasibility analysis of using HOZOG to achieve hyperparameter optimization. Finally, the experimental results on three representative hyperparameter (the size is from 1 to 1250) optimization tasks demonstrate the benefits of HOZOG in terms of simplicity, scalability, flexibility, effectiveness and efficiency compared with the state of the art hyperparameter optimization methods.


The Total Variation Flow in Metric Graphs. Our aim is to study the Total Variation Flow in Metric Graphs. First, we define the functions of bounded variation in Metric Graphs and their total variation, we also give an integration by parts formula. We prove existence and uniqueness of solutions and that the solutions reach the mean of the initial data in finite time. Moreover, we obtain explicit solutions.


Coefficient Rings of Numerical Semigroup Algebras. Numerical semigroup rings are investigated from the relative viewpoint. It is known that algebraic properties such as singularities of a numerical semigroup ring are properties of a flat numerical semigroup algebra. In this paper, we show that arithmetic and set theoretic properties of a numerical semigroup ring are properties of an equi gcd numerical semigroup algebra.


Transferring Unconditional to Conditional GANs with Hyper Modulation. GANs have matured in recent years and are able to generate high resolution, realistic images. However, the computational resources and the data required for the training of high quality GANs are enormous, and the study of transfer learning of these models is therefore an urgent topic. Many of the available high quality pretrained GANs are unconditional (like StyleGAN). For many applications, however, conditional GANs are preferable, because they provide more control over the generation process, despite often suffering more training difficulties. Therefore, in this paper, we focus on transferring from high quality pretrained unconditional GANs to conditional GANs. This requires architectural adaptation of the pretrained GAN to perform the conditioning. To this end, we propose hyper modulated generative networks that allow for shared and complementary supervision. To prevent the additional weights of the hypernetwork to overfit, with subsequent mode collapse on small target domains, we introduce a self initialization procedure that does not require any real data to initialize the hypernetwork parameters. To further improve the sample efficiency of the transfer, we apply contrastive learning in the discriminator, which effectively works on very limited batch sizes. In extensive experiments, we validate the efficiency of the hypernetworks, self initialization and contrastive loss for knowledge transfer on standard benchmarks.


EvoSpex An Evolutionary Algorithm for Learning Postconditions. Software reliability is a primary concern in the construction of software, and thus a fundamental component in the definition of software quality. Analyzing software reliability requires a specification of the intended behavior of the software under analysis, and at the source code level, such specifications typically take the form of assertions. Unfortunately, software many times lacks such specifications, or only provides them for scenario specific behaviors, as assertions accompanying tests. This issue seriously diminishes the analyzability of software with respect to its reliability. In this paper, we tackle this problem by proposing a technique that, given a Java method, automatically produces a specification of the method's current behavior, in the form of postcondition assertions. This mechanism is based on generating executions of the method under analysis to obtain valid pre post state pairs, mutating these pairs to obtain (allegedly) invalid ones, and then using a genetic algorithm to produce an assertion that is satisfied by the valid pre post pairs, while leaving out the invalid ones. The technique, which targets in particular methods of reference based class implementations, is assessed on a benchmark of open source Java projects, showing that our genetic algorithm is able to generate post conditions that are stronger and more accurate, than those generated by related automated approaches, as evaluated by an automated oracle assessment tool. Moreover, our technique is also able to infer an important part of manually written rich postconditions in verified classes, and reproduce contracts for methods whose class implementations were automatically synthesized from specifications.


Finger Vein Recognition by Generating Code. Finger vein recognition has drawn increasing attention as one of the most popular and promising biometrics due to its high distinguishes ability, security and non invasive procedure. The main idea of traditional schemes is to directly extract features from finger vein images or patterns and then compare features to find the best match. However, the features extracted from images contain much redundant data, while the features extracted from patterns are greatly influenced by image segmentation methods. To tack these problems, this paper proposes a new finger vein recognition by generating code. The proposed method does not require an image segmentation algorithm, is simple to calculate and has a small amount of data. Firstly, the finger vein images were divided into blocks to calculate the mean value. Then the centrosymmetric coding is performed by using the generated eigenmatrix. The obtained codewords are concatenated as the feature codewords of the image. The similarity between vein codes is measured by the ratio of minimum Hamming distance to codeword length. Extensive experiments on two public finger vein databases verify the effectiveness of the proposed method. The results indicate that our method outperforms the state of theart methods and has competitive potential in performing the matching task.


Unrestricted quantum moduli algebras, II Noetherianity and simple fraction rings at roots of 1 . We prove that the unrestricted quantum moduli algebra of a punctured sphere and complex simple Lie algebra mathfrak g is a finitely generated ring and a Noetherian ring, and that its specialization at a root of unity of odd order l , coprime to 3 if mathfrak g has type G 2 , embeds in a natural way in a maximal order of a central simple algebra of PI degree l (n 1)N m , where N is the number of positive roots of mathfrak g , m its rank, and n 1 geq 3 the number of punctures.


Towards a Predictive Processing Implementation of the Common Model of Cognition. In this article, we present a cognitive architecture that is built from powerful yet simple neural models. Specifically, we describe an implementation of the common model of cognition grounded in neural generative coding and holographic associative memory. The proposed system creates the groundwork for developing agents that learn continually from diverse tasks as well as model human performance at larger scales than what is possible with existant cognitive architectures.


Transfer Learning for Mining Feature Requests and Bug Reports from Tweets and App Store Reviews. Identifying feature requests and bug reports in user comments holds great potential for development teams. However, automated mining of RE related information from social media and app stores is challenging since (1) about 70 of user comments contain noisy, irrelevant information, (2) the amount of user comments grows daily making manual analysis unfeasible, and (3) user comments are written in different languages. Existing approaches build on traditional machine learning (ML) and deep learning (DL), but fail to detect feature requests and bug reports with high Recall and acceptable Precision which is necessary for this task. In this paper, we investigate the potential of transfer learning (TL) for the classification of user comments. Specifically, we train both monolingual and multilingual BERT models and compare the performance with state of the art methods. We found that monolingual BERT models outperform existing baseline methods in the classification of English App Reviews as well as English and Italian Tweets. However, we also observed that the application of heavyweight TL models does not necessarily lead to better performance. In fact, our multilingual BERT models perform worse than traditional ML methods.


Accelerated Computation and Tracking of AC Optimal Power Flow Solutions using GPUs. We present a scalable solution method based on an alternating direction method of multipliers and graphics processing units (GPUs) for rapidly computing and tracking a solution of alternating current optimal power flow (ACOPF) problem. Such a fast computation is particularly useful for mitigating the negative impact of frequent load and generation fluctuations on the optimal operation of a large electrical grid. To this end, we decompose a given ACOPF problem by grid components, resulting in a large number of small independent nonlinear nonconvex optimization subproblems. The computation time of these subproblems is significantly accelerated by employing the massive parallel computing capability of GPUs. In addition, the warm start ability of our method leads to faster convergence, making the method particularly suitable for fast tracking of optimal solutions. We demonstrate the performance of our method on grids having up to 70,000 buses by solving associated optimal power flow problems with both cold start and warm start.


Blockwise Sequential Model Learning for Partially Observable Reinforcement Learning. This paper proposes a new sequential model learning architecture to solve partially observable Markov decision problems. Rather than compressing sequential information at every timestep as in conventional recurrent neural network based methods, the proposed architecture generates a latent variable in each data block with a length of multiple timesteps and passes the most relevant information to the next block for policy optimization. The proposed blockwise sequential model is implemented based on self attention, making the model capable of detailed sequential learning in partial observable settings. The proposed model builds an additional learning network to efficiently implement gradient estimation by using self normalized importance sampling, which does not require the complex blockwise input data reconstruction in the model learning. Numerical results show that the proposed method significantly outperforms previous methods in various partially observable environments.


Exploring the Role of Creativity in Software Engineering. In order to solve today's complex problems in the world of software development, technical knowledge is no longer enough. Previous studies investigating and identifying non technical skills of software engineers show that creative skills also play an important role in tackling difficult problems. However, creativity is typically a very vague concept to which everyone gives their own interpretation. Also, there is little research that focuses specifically on creativity in the field of software engineering. To better understand the role of creativity in this field, we conducted four focus groups, inviting 33 experts from four nationally and internationally renowned companies in total. This resulted in 399 minutes of transcripts, further coded into 39 sub themes grouped into seven categories technical knowledge, communication, constraints, critical thinking, curiosity, creative state of mind, and creative techniques. This study identifies the added value of creativity, which creative techniques are used, how creativity can be recognized, the reasons for being creative, and what environment is needed to facilitate creative work. Our ultimate goal is to use these findings to instill and further encourage the creative urge among undergraduate students in higher education.


Faults in Deep Reinforcement Learning Programs A Taxonomy and A Detection Approach. A growing demand is witnessed in both industry and academia for employing Deep Learning (DL) in various domains to solve real world problems. Deep Reinforcement Learning (DRL) is the application of DL in the domain of Reinforcement Learning (RL). Like any software systems, DRL applications can fail because of faults in their programs. In this paper, we present the first attempt to categorize faults occurring in DRL programs. We manually analyzed 761 artifacts of DRL programs (from Stack Overflow posts and GitHub issues) developed using well known DRL frameworks (OpenAI Gym, Dopamine, Keras rl, Tensorforce) and identified faults reported by developers users. We labeled and taxonomized the identified faults through several rounds of discussions. The resulting taxonomy is validated using an online survey with 19 developers researchers. To allow for the automatic detection of faults in DRL programs, we have defined a meta model of DRL programs and developed DRLinter, a model based fault detection approach that leverages static analysis and graph transformations. The execution flow of DRLinter consists in parsing a DRL program to generate a model conforming to our meta model and applying detection rules on the model to identify faults occurrences. The effectiveness of DRLinter is evaluated using 15 synthetic DRLprograms in which we injected faults observed in the analyzed artifacts of the taxonomy. The results show that DRLinter can successfully detect faults in all synthetic faulty programs.


An Extremely low Cost Ground Based Whole Sky Imager. Ground based Whole Sky Imagers (WSIs) are increasingly being used for various remote sensing applications. While the fundamental requirements of a WSI are to make it climate proof with an ability to capture high resolution images, cost also plays a significant role for wider scale adoption. This paper proposes an extremely low cost alternative to the existing WSIs. In the designed model, high resolution images are captured with auto adjusting shutter speeds based on the surrounding light intensity. Furthermore, a manual data backup option using a portable memory drive is implemented for remote locations with no internet access.


AI Ethics Needs Good Data. In this chapter we argue that discourses on AI must transcend the language of 'ethics' and engage with power and political economy in order to constitute 'Good Data'. In particular, we must move beyond the depoliticised language of 'ethics' currently deployed (Wagner 2018) in determining whether AI is 'good' given the limitations of ethics as a frame through which AI issues can be viewed. In order to circumvent these limits, we use instead the language and conceptualisation of 'Good Data', as a more expansive term to elucidate the values, rights and interests at stake when it comes to AI's development and deployment, as well as that of other digital technologies. Good Data considerations move beyond recurring themes of data protection privacy and the FAT (fairness, transparency and accountability) movement to include explicit political economy critiques of power. Instead of yet more ethics principles (that tend to say the same or similar things anyway), we offer four 'pillars' on which Good Data AI can be built community, rights, usability and politics. Overall we view AI's 'goodness' as an explicly political (economy) question of power and one which is always related to the degree which AI is created and used to increase the wellbeing of society and especially to increase the power of the most marginalized and disenfranchised. We offer recommendations and remedies towards implementing 'better' approaches towards AI. Our strategies enable a different (but complementary) kind of evaluation of AI as part of the broader socio technical systems in which AI is built and deployed.


Long term behavior of 2D and 3D non autonomous random convective Brinkman Forchheimer equations driven by colored noise. The long time behavior of Wong Zakai approximations of 2D as well as 3D non autonomous stochastic convective Brinkman Forchheimer (CBF) equations with non linear diffusion terms on bounded and unbounded ( mathbb R d for d 2,3 ) domains is discussed in this work. To establish the existence of random pullback attractors, the concept of asymptotic compactness (AC) is used. In bounded domains, AC is proved via compact Sobolev embeddings. In unbounded domains, due to the lack of compact embeddings, the ideas of energy equations and uniform tail estimates are exploited to prove AC. In the literature, CBF equations are also known as emph Navier Stokes equations (NSE) with damping , and it is interesting to see that the modification in NSE by linear and nonlinear damping provides better results than that available for NSE. The presence of linear damping term helps to establish the results in the whole domain mathbb R d . The nonlinear damping term supports to obtain better results in 3D and also for a large class of nonlinear diffusion terms. Moreover, we prove the existence of a unique random pullback attractor for stochastic CBF equations with additive white noise. Finally, for additive as well as multiplicative noise case, we establish the convergence of solutions and upper semicontinuity of random pullback attractors for Wong Zakai approximations of stochastic CBF equations towards the random pullback attractors for stochastic CBF equations when correlation time of colored noise converges to zero.


Every graded ideal of a Leavitt path algebra is graded isomorphic to a Leavitt path algebra. We show that every graded ideal of a Leavitt path algebra is graded isomorphic to a Leavitt path algebra. It is known that a graded ideal I of a Leavitt path algebra is isomorphic to the Leavitt path algebra of a graph, known as the generalized hedgehog graph, which is defined based on certain sets of vertices uniquely determined by I . However, this isomorphism may not be graded. We show that replacing the short "spines" of the generalized hedgehog graph with possibly fewer, but then necessarily longer spines, we obtain a graph (which we call the porcupine graph) such that its Leavitt path algebra is graded isomorphic to I . Our proof adapts to show that for every closed gauge invariant ideal J of a graph C algebra, there is a gauge invariant isomorphism mapping the graph C algebra of the porcupine graph of J onto J.


Palindromic and Colored Superdiagonal Compositions. A superdiagonal composition is one in which the i th part or summand is of size greater than or equal to i . In this paper, we study the number of palindromic superdiagonal compositions and colored superdiagonal compositions. In particular, we give generating functions and explicit combinatorial formulas involving binomial coefficients and Stirling numbers of the first kind.


Topological Simplifications of Hypergraphs. We study hypergraph visualization via its topological simplification. We explore both vertex simplification and hyperedge simplification of hypergraphs using tools from topological data analysis. In particular, we transform a hypergraph to its graph representations known as the line graph and clique expansion. A topological simplification of such a graph representation induces a simplification of the hypergraph. In simplifying a hypergraph, we allow vertices to be combined if they belong to almost the same set of hyperedges, and hyperedges to be merged if they share almost the same set of vertices. Our proposed approaches are general, mathematically justifiable, and they put vertex simplification and hyperedge simplification in a unifying framework.


Induced THz transitions in Rydberg caesium atoms for application in antihydrogen experiments. Antihydrogen atoms are produced at CERN in highly excited Rydberg states. However, precision measurements require anti atoms in ground state. Whereas experiments currently rely on spontaneous emission only, simulations have shown that THz light can be used to stimulate the decay towards ground state and thus increase the number of anti atoms available for measurements. We review different possibilities at hand to generate light in the THz range required for the purpose of stimulated deexcitation. We demonstrate the effect of a blackbody type light source, which however presents drawbacks for this application including strong photoionization. Further, we report on the first THz transitions in a beam of Rydberg caesium atoms induced by photomixers and conclude with the implications of the results for the antihydrogen case.


Toeplitz operators on CR manifolds and group actions. Let (X, T 1,0 X) be a connected orientable compact CR manifold of dimension 2n 1 , n geq 1 with non degenerate Levi curvature. In this paper, we study the algebra of Toeplitz operators on X and we establish star product for some class of symbols on X . In the second part of this paper, we consider a compact locally free Lie group G acting on X and we investigate the associated algebra of G invariant Toeplitz operators.


Bounding the exponent of a finite group by the exponent of the automorphism group and a theorem of Schur. Assume G is a finite p group, and let S be a Sylow p subgroup of operatorname Aut (G) with exp(S) q . We prove that if G is of class c , then exp(G) p ceil log pc q 3 , and if G is a metabelian p group of class at most 2p 1 , then exp(G) pq 3 .


Algebraic Bergman kernels and finite type domains in mathbb C 2 . Let G subset mathbb C 2 be a smoothly bounded pseudoconvex domain and assume that the Bergman kernel of G is algebraic of degree d . We show that the boundary partial G is of finite type and the type r satisfies r leq 2d . The inequality is optimal as equality holds for the egg domains z 2 w 2s 1 , s in mathbb Z , by D'Angelo's explicit formula for their Bergman kernels. Our results imply, in particular, that a smoothly bounded pseudoconvex domain G subset mathbb C 2 cannot have rational Bergman kernel unless it is strongly pseudoconvex and biholomorphic to the unit ball by a rational map. Furthermore, we show that if the Bergman kernel of G is rational of the form frac p q , reduced to lowest degrees, then its rational degree max text deg p, text deg q geq 6 . Equality is achieved if and only if G is biholomorphic to the unit ball by a complex affine transformation of mathbb C 2 .


Reactive and Safe Road User Simulations using Neural Barrier Certificates. Reactive and safe agent modelings are important for nowadays traffic simulator designs and safe planning applications. In this work, we proposed a reactive agent model which can ensure safety without comprising the original purposes, by learning only high level decisions from expert data and a low level decentralized controller guided by the jointly learned decentralized barrier certificates. Empirical results show that our learned road user simulation models can achieve a significant improvement in safety comparing to state of the art imitation learning and pure control based methods, while being similar to human agents by having smaller errors to the expert data. Moreover, our learned reactive agents are shown to generalize better to unseen traffic conditions, and react better to other road users and therefore can help understand challenging planning problems pragmatically.


Railway Anomaly detection model using synthetic defect images generated by CycleGAN. Although training data is essential for machine learning, railway companies are facing difficulties in gathering adequate images of defective equipment due to their proactive replacement of would be defective equipment. Nevertheless, proactive replacement is indispensable for safe and undisturbed operation of public transport. In this research, we have developed a model using CycleGAN to generate artificial images of defective equipment instead of real images. By adopting these generated images as training data, we verified that these images are indistinguishable from real images and they play a vital role in enhancing the accuracy of the defect detection models.


So Cloze yet so Far N400 Amplitude is Better Predicted by Distributional Information than Human Predictability Judgements. More predictable words are easier to process they are read faster and elicit smaller neural signals associated with processing difficulty, most notably, the N400 component of the event related brain potential. Thus, it has been argued that prediction of upcoming words is a key component of language comprehension, and that studying the amplitude of the N400 is a valuable way to investigate the predictions that we make. In this study, we investigate whether the linguistic predictions of computational language models or humans better reflect the way in which natural language stimuli modulate the amplitude of the N400. One important difference in the linguistic predictions of humans versus computational language models is that while language models base their predictions exclusively on the preceding linguistic context, humans may rely on other factors. We find that the predictions of three top of the line contemporary language models GPT 3, RoBERTa, and ALBERT match the N400 more closely than human predictions. This suggests that the predictive processes underlying the N400 may be more sensitive to the surface level statistics of language than previously thought.


Irreducible Non Metrizable Path Systems in Graphs. A path system mathcal P in a graph G (V,E) is said to be irreducible if there does not exist a partition V A sqcup B such that mathcal P restricts to a path system on both G A and G B . In this paper, we construct an infinite family of non metrizable irreducible path systems defined on certain Paley graphs.


Kolmogorov bounds for decomposable random variables and subgraph counting by the Stein Tikhomirov method. In his work cite Ti80 , Tikhomirov combined elements of Stein's method with the theory of characteristic functions to derive Kolmogorov bounds for the convergence rate in the central limit theorem for a normalized sum of a stationary sequence of random variables satisfying one of several weak dependency conditions. The combination of elements of Stein's method with the theory of characteristic functions is sometimes called emph Stein Tikhomirov method . citet AMPS17 successfully used the Stein Tikhomirov method to bound the convergence rate in contexts with non Gaussian targets. citet Ro17 used the Stein Tikhomirov method to bound the convergence rate in the Kolmogorov distance for normal approximation of normalized triangle counts in the Erd "os R 'enyi random graph.


Positive spectrahedra Invariance principles and Pseudorandom generators. In a recent work, O'Donnell, Servedio and Tan (STOC 2019) gave explicit pseudorandom generators (PRGs) for arbitrary m facet polytopes in n variables with seed length poly logarithmic in m,n , concluding a sequence of works in the last decade, that was started by Diakonikolas, Gopalan, Jaiswal, Servedio, Viola (SICOMP 2010) and Meka, Zuckerman (SICOMP 2013) for fooling linear and polynomial threshold functions, respectively. In this work, we consider a natural extension of PRGs for intersections of positive spectrahedrons. A positive spectrahedron is a Boolean function f(x) x 1A 1 cdots x nA n preceq B where the A i s are k times k positive semidefinite matrices. We construct explicit PRGs that delta fool "regular" width M positive spectrahedrons (i.e., when none of the A i s are dominant) over the Boolean space with seed length textsf poly ( log k, log n, M, 1 delta) . Our main technical contributions are the following We first prove an invariance principle for positive spectrahedra via the well known Lindeberg method. As far as we are aware such a generalization of the Lindeberg method was unknown. Second, we prove an upper bound on noise sensitivity and a Littlewood Offord theorem for positive spectrahedra. Using these results, we give applications for constructing PRGs for positive spectrahedra, learning theory, discrepancy sets for positive spectrahedra (over the Boolean cube) and PRGs for intersections of structured polynomial threshold functions.


Galois representations, ( varphi, Gamma) modules and prismatic F crystals. We prove that both local Galois representations and ( varphi, Gamma) modules can be recovered from prismatic F crystals, from which we obtain a new proof of the equivalence of Galois representations and ( varphi, Gamma) modules.


What Drives Readership? An Online Study on User Interface Types and Popularity Bias Mitigation in News Article Recommendations. Personalized news recommender systems support readers in finding the right and relevant articles in online news platforms. In this paper, we discuss the introduction of personalized, content based news recommendations on DiePresse, a popular Austrian online news platform, focusing on two specific aspects (i) user interface type, and (ii) popularity bias mitigation. Therefore, we conducted a two weeks online study that started in October 2020, in which we analyzed the impact of recommendations on two user groups, i.e., anonymous and subscribed users, and three user interface types, i.e., on a desktop, mobile and tablet device. With respect to user interface types, we find that the probability of a recommendation to be seen is the highest for desktop devices, while the probability of interacting with recommendations is the highest for mobile devices. With respect to popularity bias mitigation, we find that personalized, content based news recommendations can lead to a more balanced distribution of news articles' readership popularity in the case of anonymous users. Apart from that, we find that significant events (e.g., the COVID 19 lockdown announcement in Austria and the Vienna terror attack) influence the general consumption behavior of popular articles for both, anonymous and subscribed users.


Sentiment Analysis in Poems in Misurata Sub dialect A Sentiment Detection in an Arabic Sub dialect. Over the recent decades, there has been a significant increase and development of resources for Arabic natural language processing. This includes the task of exploring Arabic Language Sentiment Analysis (ALSA) from Arabic utterances in both Modern Standard Arabic (MSA) and different Arabic dialects. This study focuses on detecting sentiment in poems written in Misurata Arabic sub dialect spoken in Misurata, Libya. The tools used to detect sentiment from the dataset are Sklearn as well as Mazajak sentiment tool 1. Logistic Regression, Random Forest, Naive Bayes (NB), and Support Vector Machines (SVM) classifiers are used with Sklearn, while the Convolutional Neural Network (CNN) is implemented with Mazajak. The results show that the traditional classifiers score a higher level of accuracy as compared to Mazajak which is built on an algorithm that includes deep learning techniques. More research is suggested to analyze Arabic sub dialect poetry in order to investigate the aspects that contribute to sentiments in these multi line texts for example, the use of figurative language such as metaphors.


PRASEMap A Probabilistic Reasoning and Semantic Embedding based Knowledge Graph Alignment System. Knowledge Graph (KG) alignment aims at finding equivalent entities and relations (i.e., mappings) between two KGs. The existing approaches utilize either reasoning based or semantic embedding based techniques, but few studies explore their combination. In this demonstration, we present PRASEMap, an unsupervised KG alignment system that iteratively computes the Mappings with both Probabilistic Reasoning (PR) And Semantic Embedding (SE) techniques. PRASEMap can support various embedding based KG alignment approaches as the SE module, and enables easy human computer interaction that additionally provides an option for users to feed the mapping annotations back to the system for better results. The demonstration showcases these features via a stand alone Web application with user friendly interfaces. The demo is available at https prasemap.qizhy.com.


Detecting Antibody Antigen Interactions with Chiral Plasmons Factors Influencing Chiral Plasmonic Sensing. Chiral near fields possessing enhanced asymmetry (superchirality), created by the interaction of light with (chiral) nanostructures, potentially provide a route to novel sensing and metrology technologies for biophysical applications. However, the mechanisms by which these near fields lead to the detection of chiral media is still poorly understood. Using a combination of numerical modelling and experimental measurements on an antibody antigen exemplar system we illustrate important factors that influence the efficacy of chiral sensing. We demonstrate that localised and lattice chiral resonances display enantiomeric sensitivity. However, only the localised resonances exhibit strong dependency on the structure of the chiral media detected. This can be attributed to the ability of birefringent chiral layers to strongly modify the properties of near fields by acting as a sink source of optical chirality, and hence alter inductive coupling between nanostructure elements. In addition, we highlight how surface morphology defects may amplify sensing capabilities of localised chiral plasmonic modes by mediating inductive coupling.


Prediction of Landfall Intensity, Location, and Time of a Tropical Cyclone. The prediction of the intensity, location and time of the landfall of a tropical cyclone well advance in time and with high accuracy can reduce human and material loss immensely. In this article, we develop a Long Short Term memory based Recurrent Neural network model to predict intensity (in terms of maximum sustained surface wind speed), location (latitude and longitude), and time (in hours after the observation period) of the landfall of a tropical cyclone which originates in the North Indian ocean. The model takes as input the best track data of cyclone consisting of its location, pressure, sea surface temperature, and intensity for certain hours (from 12 to 36 hours) anytime during the course of the cyclone as a time series and then provide predictions with high accuracy. For example, using 24 hours data of a cyclone anytime during its course, the model provides state of the art results by predicting landfall intensity, time, latitude, and longitude with a mean absolute error of 4.24 knots, 4.5 hours, 0.24 degree, and 0.37 degree respectively, which resulted in a distance error of 51.7 kilometers from the landfall location. We further check the efficacy of the model on three recent devastating cyclones Bulbul, Fani, and Gaja, and achieved better results than the test dataset.


A Closer Look at Temporal Sentence Grounding in Videos Dataset and Metric. Temporal Sentence Grounding in Videos (TSGV), i.e., grounding a natural language sentence which indicates complex human activities in a long and untrimmed video sequence, has received unprecedented attentions over the last few years. Although each newly proposed method plausibly can achieve better performance than previous ones, current TSGV models still tend to capture the moment annotation biases and fail to take full advantage of multi modal inputs. Even more incredibly, several extremely simple baselines without training can also achieve state of the art performance. In this paper, we take a closer look at the existing evaluation protocols for TSGV, and find that both the prevailing dataset splits and evaluation metrics are the devils to cause unreliable benchmarking. To this end, we propose to re organize two widely used TSGV benchmarks (ActivityNet Captions and Charades STA). Specifically, we deliberately make the ground truth moment distribution different in the training and test splits, i.e., out of distribution (OOD) testing. Meanwhile, we introduce a new evaluation metric dR n,IoU m to calibrate the basic IoU scores by penalizing on the bias influenced moment predictions and alleviate the inflating evaluations caused by the dataset annotation biases such as overlong ground truth moments. Under our new evaluation protocol, we conduct extensive experiments and ablation studies on eight state of the art TSGV methods. All the results demonstrate that the re organized dataset splits and new metric can better monitor the progress in TSGV. Our reorganized datsets are available at https github.com yytzsy grounding changing distribution.


An Energy Sharing Mechanism Achieving the Same Flexibility as Centralized Dispatch. Deploying distributed renewable energy at the demand side is an important measure to implement a sustainable society. However, the massive small solar and wind generation units are beyond the control of a central operator. To encourage users to participate in energy management and reduce the dependence on dispatchable resources, a peer to peer energy sharing scheme is proposed which releases the flexibility at the demand side. Every user makes decision individually considering only local constraints the microgrid operator announces the sharing prices subjective to the coupling constraints without knowing users' local constraints. This can help protect privacy. We prove that the proposed mechanism can achieve the same disutility and flexibility as centralized dispatch, and develop an effective modified best response based algorithm for reaching the market equilibrium. The concept of absorbable region is presented to measure the operating flexibility under the proposed energy sharing mechanism. A linear programming based polyhedral projection algorithm is developed to compute that region. Case studies validate the theoretical results and show that the proposed method is scalable.


Categorification of DAHA and Macdonald polynomials. We describe a categorification of the Double Affine Hecke Algebra mathcal H kern .4em mathcal H associated with an affine Lie algebra widehat mathfrak g , a categorification of the polynomial representation and a categorification of Macdonald polynomials. All categorification results are given in the derived setting. That is, we consider the derived category associated with graded modules over the Lie superalgera mathfrak I xi , where mathfrak I subset widehat mathfrak g is the Iwahori subalgebra of the affine Lie algebra and xi is a formal odd variable. The Euler characteristic of graded characters of a complex of mathfrak I xi modules is considered as an element of a polynomial representation. First, we show that the compositions of induction and restriction functors associated with minimal parabolic subalgebras mathfrak p i categorify Demazure operators T i 1 in mathcal H kern .4em mathcal H , meaning that all algebraic relations of T i have categorical meanings. Second, we describe a natural collection of complexes mathbb EM lambda of mathfrak I xi modules whose Euler characteristic is equal to nonsymmetric Macdonald polynomials E lambda for dominant lambda and a natural collection of complexes of mathfrak g z, xi modules mathbb PM lambda whose Euler characteristic is equal to the symmetric Macdonald polynomial P lambda . We illustrate our theory with the example mathfrak g mathfrak sl 2 where we construct the cyclic representations of Lie superalgebra mathfrak I xi such that their supercharacters coincide with renormalizations of nonsymmetric Macdonald polynomials.


NDVR NDN Distance Vector Routing. Ad hoc mobile scenarios desire a lightweight routing protocol to propagate rapidly changing data reachability information in a highly dynamic environment. We are developing a distance vector routing protocol that enables each node to selectively propagate a data reachability vector containing the named data prefixes current reachable to their neighbors. In this report, we describe the implementation of NDVR (NDN Distance Vector Routing), discuss the rationale for the protocol design choices, and demonstrate a use case for the protocol to illustrate how the routing protocol can help NDN applications, especially in mobile ad hoc scenarios.


Sequence of Events During Peptide Unbinding from RNase S A Complete Experimental Description. The photo triggered unbinding of the intrinsically disordered S peptide from the RNase S complex is studied with the help of transient IR spectroscopy, covering a wide range of time scales from 100 ps to 10 ms. To that end, an azobenzene moiety has been linked to the S peptide in a way that its helicity is disrupted by light, thereby initiating its complete unbinding. The full sequence of events is observed, starting from unfolding of the helical structure of the S peptide on a 20 ns timescale while still being in the binding pocket of the S protein, S peptide unbinding after 300 microseconds, and the structural response of the S protein after 3 ms. With regard to the S peptide dynamics, the binding mechanism can be classified as an induced fit, while the structural response of the S protein is better described as conformational selection.


Optimal Trading with Signals and Stochastic Price Impact. Trading frictions are stochastic. They are, moreover, in many instances fast mean reverting. Here, we study how to optimally trade in a market with stochastic price impact and study approximations to the resulting optimal control problem using singular perturbation methods. We prove, by constructing sub and super solutions, that the approximations are accurate to the specified order. Finally, we perform some numerical experiments to illustrate the effect that stochastic trading frictions have on optimal trading.


Simulation of viscoelastic Cosserat rods based on the geometrically exact dynamics of special Euclidean strands. We propose a method for the description and simulation of the nonlinear dynamics of slender structures modeled as Cosserat rods. It is based on interpreting the strains and the generalized velocities of the cross sections as basic variables and elements of the special Euclidean algebra. This perspective emerges naturally from the evolution equations for strands, that are one dimensional submanifolds, of the special Euclidean group. The discretization of the corresponding equations for the three dimensional motion of a Cosserat rod is performed, in space, by using a staggered grid. The time evolution is then approximated with a semi implicit method. Within this approach we can easily include dissipative effects due to both the action of external forces and the presence of internal mechanical dissipation. The comparison with results obtained with different schemes shows the effectiveness of the proposed method, which is able to provide very good predictions of nonlinear dynamical effects and shows competitive computation times also as an energy minimizing method to treat static problems.


MAMRL Exploiting Multi agent Meta Reinforcement Learning in WAN Traffic Engineering. Traffic optimization challenges, such as load balancing, flow scheduling, and improving packet delivery time, are difficult online decision making problems in wide area networks (WAN). Complex heuristics are needed for instance to find optimal paths that improve packet delivery time and minimize interruptions which may be caused by link failures or congestion. The recent success of reinforcement learning (RL) algorithms can provide useful solutions to build better robust systems that learn from experience in model free settings. In this work, we consider a path optimization problem, specifically for packet routing, in large complex networks. We develop and evaluate a model free approach, applying multi agent meta reinforcement learning (MAMRL) that can determine the next hop of each packet to get it delivered to its destination with minimum time overall. Specifically, we propose to leverage and compare deep policy optimization RL algorithms for enabling distributed model free control in communication networks and present a novel meta learning based framework, MAMRL, for enabling quick adaptation to topology changes. To evaluate the proposed framework, we simulate with various WAN topologies. Our extensive packet level simulation results show that compared to classical shortest path and traditional reinforcement learning approaches, MAMRL significantly reduces the average packet delivery time even when network demand increases and compared to a non meta deep policy optimization algorithm, our results show the reduction of packet loss in much fewer episodes when link failures occur while offering comparable average packet delivery time.


ARTS Eliminating Inconsistency between Text Detection and Recognition with Auto Rectification Text Spotter. Recent approaches for end to end text spotting have achieved promising results. However, most of the current spotters were plagued by the inconsistency problem between text detection and recognition. In this work, we introduce and prove the existence of the inconsistency problem and analyze it from two aspects (1) inconsistency of text recognition features between training and testing, and (2) inconsistency of optimization targets between text detection and recognition. To solve the aforementioned issues, we propose a differentiable Auto Rectification Module (ARM) together with a new training strategy to enable propagating recognition loss back into detection branch, so that our detection branch can be jointly optimized by detection and recognition targets, which largely alleviates the inconsistency problem between text detection and recognition. Based on these designs, we present a simple yet robust end to end text spotting framework, termed Auto Rectification Text Spotter (ARTS), to detect and recognize arbitrarily shaped text in natural scenes. Extensive experiments demonstrate the superiority of our method. In particular, our ARTS S achieves 77.1 end to end text spotting F measure on Total Text at a competitive speed of 10.5 FPS, which significantly outperforms previous methods in both accuracy and inference speed.


SIMPLE SIngle network with Mimicking and Point Learning for Bottom up Human Pose Estimation. The practical application requests both accuracy and efficiency on multi person pose estimation algorithms. But the high accuracy and fast inference speed are dominated by top down methods and bottom up methods respectively. To make a better trade off between accuracy and efficiency, we propose a novel multi person pose estimation framework, SIngle network with Mimicking and Point Learning for Bottom up Human Pose Estimation (SIMPLE). Specifically, in the training process, we enable SIMPLE to mimic the pose knowledge from the high performance top down pipeline, which significantly promotes SIMPLE's accuracy while maintaining its high efficiency during inference. Besides, SIMPLE formulates human detection and pose estimation as a unified point learning framework to complement each other in single network. This is quite different from previous works where the two tasks may interfere with each other. To the best of our knowledge, both mimicking strategy between different method types and unified point learning are firstly proposed in pose estimation. In experiments, our approach achieves the new state of the art performance among bottom up methods on the COCO, MPII and PoseTrack datasets. Compared with the top down approaches, SIMPLE has comparable accuracy and faster inference speed.


Myths and Misconceptions about Attackers and Attacks. This paper is based on a three year project during which we studied attackers' behavior, reading military planning literature, and thinking on how would we do the same things they do, and what problems would we, as attackers, face. This research is still ongoing, but while participating in applications for other projects and talking to cyber security experts we constantly face the same issues, namely attackers' behavior is not well understood, and consequently, there are a number of misconceptions floating around that are simply not true, or are only partially true. This is actually expected as someone who casually follows news about incidents easily gets impression that attackers and attacks are everywhere and every one is under attack. Our goal in this paper is to debunk these myths, to show what attackers really can and can not, what dilemmas they face, what we don't know about attackers and attacks, etc. The conclusion is that, while attackers do have upper hand, they don't have absolute advantage, i.e. they also operate in an uncertain environment. Knowing this, means that defenses could be well established.


Large data limit of the MBO scheme for data clustering Gamma convergence of the thresholding energies. In this work we begin to rigorously analyze the MBO scheme for data clustering in the large data limit. Each iteration of the MBO scheme corresponds to one step of implicit gradient descent for the thresholding energy on the similarity graph of some dataset. For a subset of the nodes of the graph, the thresholding energy at time h is the amount of heat transferred from the subset to its complement at time h , rescaled by a factor sqrt h . It is then natural to think that outcomes of the MBO scheme are (local) minimizers of this energy. We prove that the algorithm is consistent, in the sense that these (local) minimizers converge to minimizers of a suitably weighted optimal partition problem.


A thermodynamic framework for unified continuum models for the healing of damaged soft biological tissue. When they are damaged or injured, soft biological tissues are able to self repair and heal. Mechanics is critical during the healing process, as the damaged extracellular matrix (ECM) tends to be replaced with a new undamaged ECM supporting homeostatic stresses. Computational modeling has been commonly used to simulate the healing process. However, there is a pressing need to have a unified thermodynamics theory for healing. From the viewpoint of continuum damage mechanics, some key parameters related to healing processes, for instance, the volume fraction of newly grown soft tissue and the growth deformation, can be regarded as internal variables and have related evolution equations. This paper is aiming to establish this unified framework inspired by thermodynamics for continuum damage models for the healing of soft biological tissues. The significant advantage of the proposed model is that no textit ad hoc equations are required for describing the healing process. Therefore, this new model is more concise and offers a universal approach to simulate the healing process. Three numerical examples are provided to demonstrate the effectiveness of the proposed model, which is in good agreement with the existing works, including an application for balloon angioplasty in an arteriosclerotic artery with a fiber cap.


Waveguide coupled nano emitters for non linear and quantum optics. This thesis covers different subjects of nonlinear and quantum optics, studied in systems with scales smaller or com parable to the wavelength of interest. The manuscript is divided into two parts. The first part of the manuscript dealswith several applications of optical nanofibers as a platform for light matter interaction. In particular we will explore thecoupling between a dipole placed on the surface of the nanofiber the coupling between two parallel nanofibers as well asthe mechanical properties of an optical nanofiber. In the second part of the manuscript, we will focus on solving two mainchallenges when working with emitters one is the quantum efficiency of photoluminescence, the other is the attenuationduring transport of the photons generated in fiber telecom networks.


Content Aware GAN Compression. Generative adversarial networks (GANs), e.g., StyleGAN2, play a vital role in various image generation and synthesis tasks, yet their notoriously high computational cost hinders their efficient deployment on edge devices. Directly applying generic compression approaches yields poor results on GANs, which motivates a number of recent GAN compression works. While prior works mainly accelerate conditional GANs, e.g., pix2pix and CycleGAN, compressing state of the art unconditional GANs has rarely been explored and is more challenging. In this paper, we propose novel approaches for unconditional GAN compression. We first introduce effective channel pruning and knowledge distillation schemes specialized for unconditional GANs. We then propose a novel content aware method to guide the processes of both pruning and distillation. With content awareness, we can effectively prune channels that are unimportant to the contents of interest, e.g., human faces, and focus our distillation on these regions, which significantly enhances the distillation quality. On StyleGAN2 and SN GAN, we achieve a substantial improvement over the state of the art compression method. Notably, we reduce the FLOPs of StyleGAN2 by 11x with visually negligible image quality loss compared to the full size model. More interestingly, when applied to various image manipulation tasks, our compressed model forms a smoother and better disentangled latent manifold, making it more effective for image editing.


IDOL Net An Interactive Dual Domain Parallel Network for CT Metal Artifact Reduction. Due to the presence of metallic implants, the imaging quality of computed tomography (CT) would be heavily degraded. With the rapid development of deep learning, several network models have been proposed for metal artifact reduction (MAR). Since the dual domain MAR methods can leverage the hybrid information from both sinogram and image domains, they have significantly improved the performance compared to single domain methods. However,current dual domain methods usually operate on both domains in a specific order, which implicitly imposes a certain priority prior into MAR and may ignore the latent information interaction between both domains. To address this problem, in this paper, we propose a novel interactive dualdomain parallel network for CT MAR, dubbed as IDOLNet. Different from existing dual domain methods, the proposed IDOL Net is composed of two modules. The disentanglement module is utilized to generate high quality prior sinogram and image as the complementary inputs. The follow up refinement module consists of two parallel and interactive branches that simultaneously operate on image and sinogram domain, fully exploiting the latent information interaction between both domains. The simulated and clinical results demonstrate that the proposed IDOL Net outperforms several state of the art models in both qualitative and quantitative aspects.


Similar Scenes arouse Similar Emotions Parallel Data Augmentation for Stylized Image Captioning. Stylized image captioning systems aim to generate a caption not only semantically related to a given image but also consistent with a given style description. One of the biggest challenges with this task is the lack of sufficient paired stylized data. Many studies focus on unsupervised approaches, without considering from the perspective of data augmentation. We begin with the observation that people may recall similar emotions when they are in similar scenes, and often express similar emotions with similar style phrases, which underpins our data augmentation idea. In this paper, we propose a novel Extract Retrieve Generate data augmentation framework to extract style phrases from small scale stylized sentences and graft them to large scale factual captions. First, we design the emotional signal extractor to extract style phrases from small scale stylized sentences. Second, we construct the plugable multi modal scene retriever to retrieve scenes represented with pairs of an image and its stylized caption, which are similar to the query image or caption in the large scale factual data. In the end, based on the style phrases of similar scenes and the factual description of the current scene, we build the emotion aware caption generator to generate fluent and diversified stylized captions for the current scene. Extensive experimental results show that our framework can alleviate the data scarcity problem effectively. It also significantly boosts the performance of several existing image captioning models in both supervised and unsupervised settings, which outperforms the state of the art stylized image captioning methods in terms of both sentence relevance and stylishness by a substantial margin.


Impulsive impact of a submerged body. An analytical solution of the impulsive impact of a cylindrical body submerged below a calm water surface is obtained by solving a free boundary problem. The shape of the cross section of the body is arbitrary. The integral hodograph method is applied to derive the complex velocity potential defined in a parameter plane. The boundary value problem is reduced to a Fredholm integral equation of the first kind in the velocity magnitude on the free surface. The velocity field, the impulsive pressure on the body surface, and the added mass are determined in a wide range of depths of submergence for various cross sectional shapes, such as a flat plate, a circular cylinder, and a rectangle.


Asymptotic regularity for Lipschitzian nonlinear optimization problems with applications to complementarity constrained and bilevel programming. Asymptotic stationarity and regularity conditions turned out to be quite useful to study the qualitative properties of numerical solution methods for standard nonlinear and complementarity constrained programs. In this paper, we first extend these notions to nonlinear optimization problems with nonsmooth but Lipschitzian data functions in order to find reasonable notions of asymptotic stationarity and regularity in terms of Clarke's and Mordukhovich's subdifferential construction. Particularly, we compare the associated novel asymptotic constraint qualifications with already existing ones. The second part of the paper presents two applications of the obtained theory. On the one hand, we specify our findings for complementarity constrained optimization problems and recover recent results from the literature which demonstrates the power of the approach. Furthermore, we hint at potential extensions to or and vanishing constrained optimization. On the other hand, we demonstrate the usefulness of asymptotic regularity in the context of bilevel optimization. More precisely, we justify a well known stationarity system for affinely constrained bilevel optimization problems in a novel way. Afterwards, we suggest a solution algorithm for this class of bilevel optimization problems which combines a penalty method with ideas from DC programming. After a brief convergence analysis, we present results of some numerical experiments.


Steiner distance matrix of caterpillar graphs. For a connected graph G (V,E) , the Steiner distance d G(X) among a set of vertices X is the minimum size among all the connected subgraphs of G whose vertex set contains X . The k Steiner distance matrix D k(G) of G is a matrix whose rows and columns are indexed by k subsets of V . For k subsets X 1 and X 2 , the (X 1,X 2) entry of D k(G) is d G(X 1 cup X 2) . In this paper, we show that the rank of 2 Steiner distance matrix of a caterpillar graph on N vertices and with p pendant veritices is 2N p 1 .


Lower Regularity Solutions of the Non homogeneous Boundary Value Problem for a Higher Order Boussinesq Equation in a Quarter Plane. We continue to study the initial boundary value problem of the sixth order Boussinesq equation in a quarter plane with non homogeneous boundary conditions begin equation begin cases u tt u xx beta u xxxx u xxxxxx (u 2) xx 0, quad x,t in mathbb R , u(x,0) varphi (x), u t(x,0) psi ''(x), u(0,t) h 1(t), u xx (0,t) h 2(t), u xxxx (0,t) h 3(t), end cases end equation where beta pm1 . We show that the problem is locally analytically well posed in the space H s( mathbb R ) for any s frac34 with the initial value data ( varphi, psi) in H s( mathbb R ) times H s 1 ( mathbb R ) and the boundary value data (h 1,h 2,h 3) in H frac s 1 3 ( mathbb R ) times H frac s 1 3 ( mathbb R ) times H frac s 3 3 ( mathbb R ).


Chung type law of the iterated logarithm and exact moduli of continuity for a class of anisotropic Gaussian random fields. We establish a Chung type law of the iterated logarithm and the exact local and uniform moduli of continuity for a large class of anisotropic Gaussian random fields with a harmonizable type integral representation and the property of strong local nondeterminism. Compared with the existing results in the literature, our results do not require the assumption of stationary increments and provide more precise upper and lower bounds for the limiting constants. The results are applicable to the solutions of a class of linear stochastic partial differential equations driven by a fractional colored Gaussian noise, including the stochastic heat equation.


Signalling boosts the evolution of cooperation in repeated group interactions. Many biological and social systems show significant levels of collective action. Several cooperation mechanisms have been proposed, yet they have been mostly studied independently. Among these, direct reciprocity supports cooperation on the basis of repeated interactions among individuals. Signals and quorum dynamics may also drive cooperation. Here, we resort to an evolutionary game theoretical model to jointly analyse these two mechanisms and study the conditions in which evolution selects for direct reciprocity, signalling, or their combination. We show that signalling alone leads to higher levels of cooperation than when combined with reciprocity, while offering additional robustness against errors. Specifically, successful strategies in the realm of direct reciprocity are often not selected in the presence of signalling, and memory of past interactions is only exploited opportunistically in case of earlier coordination failure. Differently, signalling always evolves, even when costly. In the light of these results, it may be easier to understand why direct reciprocity has been observed only in a limited number of cases among non humans, whereas signalling is widespread at all levels of complexity.


A transient biological fouling model for constant flux microfiltration. Microfiltration technology is a widely used engineering strategy for fresh water production and water treatment. The major concern in many applications is the formation of a biological fouling layer leading to increased hydraulic resistance and flux decline during membrane operations. The growth of bacteria constituting such a biological layer implicates the formation of a multispecies biofilm and the consequent increase of operational costs for reactor management and cleaning procedures. To predict the biofilm growth and evolution during the filtration process, a one dimensional continuous model has been developed by considering a free boundary value problem describing biofilm dynamics and EPS production in different operational phases of microfiltration systems. The growth of microbial species and EPS is governed by a system of hyperbolic PDEs. Substrates dynamics are modeled thorough parabolic equations accounting for diffusive and advective fluxes generated during the filtration process. The free boundary evolution depends on both microbial growth and detachment processes. The proposed model has been solved numerically to simulate biofilm evolution during biologically relevant conditions, and to investigate the hydraulic behavior of the membrane. The model has been calibrated and validated using lab scale experimental data. In all cases, numerical results accurately predicted the membrane pressure drop occurring in the microfiltration system.


A short noncomplex proof for the solution set of homogeneous second order linear differential equations with constant coefficients. We provide a short proof, not utilizing complex numbers, for the solution set of homogeneous second order linear differential equations with constant coefficients.


K theory of Jones polynomials. We recover the Jones polynomials of knots and links from the K theory of a cluster C algebra of the sphere with two cusps. In particular, an interplay between the Chebyshev and Jones polynomials is studied.


Transformer over Pre trained Transformer for Neural Text Segmentation with Enhanced Topic Coherence. This paper proposes a transformer over transformer framework, called Transformer 2 , to perform neural text segmentation. It consists of two components bottom level sentence encoders using pre trained transformers, and an upper level transformer based segmentation model based on the sentence embeddings. The bottom level component transfers the pre trained knowledge learned from large external corpora under both single and pair wise supervised NLP tasks to model the sentence embeddings for the documents. Given the sentence embeddings, the upper level transformer is trained to recover the segmentation boundaries as well as the topic labels of each sentence. Equipped with a multi task loss and the pre trained knowledge, Transformer 2 can better capture the semantic coherence within the same segments. Our experiments show that (1) Transformer 2 manages to surpass state of the art text segmentation models in terms of a commonly used semantic coherence measure (2) in most cases, both single and pair wise pre trained knowledge contribute to the model performance (3) bottom level sentence encoders pre trained on specific languages yield better performance than those pre trained on specific domains.


On Homomorphism Graphs. We introduce a new type of examples of bounded degree acyclic Borel graphs and study their combinatorial properties in the context of descriptive combinatorics, using a generalization of the determinacy method of Marks. The motivation for the construction comes from the adaptation of this method to the LOCAL model of distributed computing. Our approach unifies the previous results in the area, as well as produces new ones. In particular, we show that for Delta 2 it is impossible to give a simple characterization of acyclic Delta regular Borel graphs with Borel chromatic number at most Delta such graphs form a mathbf Sigma 1 2 complete set. This implies a strong failure of Brooks' like theorems in the Borel context.


BigEarthNet MM A Large Scale Multi Modal Multi Label Benchmark Archive for Remote Sensing Image Classification and Retrieval. This paper presents the multi modal BigEarthNet (BigEarthNet MM) benchmark archive made up of 590,326 pairs of Sentinel 1 and Sentinel 2 image patches to support the deep learning (DL) studies in multi modal multi label remote sensing (RS) image retrieval and classification. Each pair of patches in BigEarthNet MM is annotated with multi labels provided by the CORINE Land Cover (CLC) map of 2018 based on its thematically most detailed Level 3 class nomenclature. Our initial research demonstrates that some CLC classes are challenging to be accurately described by only considering (single date) BigEarthNet MM images. In this paper, we also introduce an alternative class nomenclature as an evolution of the original CLC labels to address this problem. This is achieved by interpreting and arranging the CLC Level 3 nomenclature based on the properties of BigEarthNet MM images in a new nomenclature of 19 classes. In our experiments, we show the potential of BigEarthNet MM for multi modal multi label image retrieval and classification problems by considering several state of the art DL models. We also demonstrate that the DL models trained from scratch on BigEarthNet MM outperform those pre trained on ImageNet, especially in relation to some complex classes, including agriculture and other vegetated and natural environments. We make all the data and the DL models publicly available at https bigearth.net, offering an important resource to support studies on multi modal image scene classification and retrieval problems in RS.


Small scale equidistribution of random waves generated by an unfair coin flip. In this paper we study the small scale equidistribution property of random waves whose coefficients are determined by an unfair coin. That is the coefficients take value 1 with probability p and 1 with probability 1 p . Random waves whose coefficients are associated with a fair coin are known to equidistribute down to the wavelength scale. We obtain explicit requirements on the deviation from the fair ( p 0.5 ) coin to retain equidistribution.


Generic and adaptive probabilistic safety assessment models Precursor analysis and multi purpose utilization. Motivated by learning from experience and exploiting existing knowledge in civil nuclear operations, we have developed in house generic PSA models for pressurized and boiling water reactors. The models are computationally light, handy, transparent, user friendly, and easily adaptable to account for major plant specific differences. They cover the common internal initiating events, frontline and support systems reliability and dependencies, human factors, common cause failures, and account for new factors typically overlooked in many developed PSAs. For quantification, the models use generic US reliability data, precursor analysis reports and studies, the ETHZ Curated Nuclear Events Database, and experts' opinions. Moreover, uncertainties in the most influential basic events are addressed. The generated results show good agreement with assessments available in the literature with detailed PSAs. We envision the models as an unbiased framework to measure nuclear operational risk with the same "ruler", and hence support inter plant risk comparisons that are usually not possible due to differences in plant specific PSA assumptions and scopes. The models can be used for initial risk screening, order of magnitude precursor analysis, and other research and pedagogic applications especially when no plant specific PSAs are available. Finally, we are using the generic models for large scale precursor analysis that will generate big picture trends, lessons, and insights.


Expanding Explainability Towards Social Transparency in AI systems. As AI powered systems increasingly mediate consequential decision making, their explainability is critical for end users to take informed and accountable actions. Explanations in human human interactions are socially situated. AI systems are often socio organizationally embedded. However, Explainable AI (XAI) approaches have been predominantly algorithm centered. We take a developmental step towards socially situated XAI by introducing and exploring Social Transparency (ST), a sociotechnically informed perspective that incorporates the socio organizational context into explaining AI mediated decision making. To explore ST conceptually, we conducted interviews with 29 AI users and practitioners grounded in a speculative design scenario. We suggested constitutive design elements of ST and developed a conceptual framework to unpack ST's effect and implications at the technical, decision making, and organizational level. The framework showcases how ST can potentially calibrate trust in AI, improve decision making, facilitate organizational collective actions, and cultivate holistic explainability. Our work contributes to the discourse of Human Centered XAI by expanding the design space of XAI.


CheXseen Unseen Disease Detection for Deep Learning Interpretation of Chest X rays. We systematically evaluate the performance of deep learning models in the presence of diseases not labeled for or present during training. First, we evaluate whether deep learning models trained on a subset of diseases (seen diseases) can detect the presence of any one of a larger set of diseases. We find that models tend to falsely classify diseases outside of the subset (unseen diseases) as "no disease". Second, we evaluate whether models trained on seen diseases can detect seen diseases when co occurring with diseases outside the subset (unseen diseases). We find that models are still able to detect seen diseases even when co occurring with unseen diseases. Third, we evaluate whether feature representations learned by models may be used to detect the presence of unseen diseases given a small labeled set of unseen diseases. We find that the penultimate layer of the deep neural network provides useful features for unseen disease detection. Our results can inform the safe clinical deployment of deep learning models trained on a non exhaustive set of disease classes.


A Review of Network Evolution Towards a Smart Connected World. With the rapid innovations in technology, wireless internet connected devices are more ubiquitous than ever and can be found in virtually every aspect of both our personal and professional lives. In this paper, we propose a comprehensive literature review that focuses on various network components that create connectivity among different devices, specifically Wireless Sensor Networks (WSNs), Radio Frequency Identification (RFID) tags, Internet of Things (IoT) devices, and how these devices helped usher in the 4th Industrial Revolution, or Industry 4.0. This paper focuses on the protocols, architecture, uses, security concerns, and solutions used in these network technologies, as well as their differences and similarities.


Do explanations increase the effectiveness of AI crowd generated fake news warnings?. Social media platforms are increasingly deploying complex interventions to help users detect false news. Labeling false news using techniques that combine crowd sourcing with artificial intelligence (AI) offers a promising way to inform users about potentially low quality information without censoring content, but also can be hard for users to understand. In this study, we examine how users respond in their sharing intentions to information they are provided about a hypothetical human AI hybrid system. We ask i) if these warnings increase discernment in social media sharing intentions and ii) if explaining how the labeling system works can boost the effectiveness of the warnings. To do so, we conduct a study ( N 1473 Americans) in which participants indicated their likelihood of sharing content. Participants were randomly assigned to a control, a treatment where false content was labeled, or a treatment where the warning labels came with an explanation of how they were generated. We find clear evidence that both treatments increase sharing discernment, and directional evidence that explanations increase the warnings' effectiveness. Interestingly, we do not find that the explanations increase self reported trust in the warning labels, although we do find some evidence that participants found the warnings with the explanations to be more informative. Together, these results have important implications for designing and deploying transparent misinformation warning labels, and AI mediated systems more broadly.


Metasurface Holography over 90 Efficiency in the Visible via Nanoparticle Embedded Resin Printing. Metasurface holography, the reconstruction of holographic images by modulating the spatial amplitude and phase of light using metasurfaces, has emerged as a next generation display technology. However, conventional fabrication techniques used to realize metaholograms are limited by their small patterning areas, high manufacturing costs, and low throughput, which hinder their practical use. Herein, we demonstrate a high efficiency hologram using a one step nanomanufacturing method with a titanium dioxide nanoparticle embedded resin, allowing for high throughput and low cost fabrication. At a single wavelength, a record high 96.4 theoretical efficiency is demonstrated with an experimentally measured conversion efficiency of 90.6 and zero order diffraction of 7.3 producing an ultrahigh efficiency, twin image free hologram, that can even be directly observed under ambient light conditions. Moreover, we design a broadband meta atom with an average efficiency of 76.0 and experimentally demonstrate a metahologram with an average efficiency of 62.4 at visible wavelengths from 450 to 650 nm.


Structural Properties of Graph Products. Dujmovi ' c , Joret, Micek, Morin, Ueckerdt, and Wood J. ACM 2020 established that every planar graph is a subgraph of the strong product of a graph with bounded treewidth and a path. Motivated by this result, this paper systematically studies various structural properties of cartesian, direct and strong products. In particular, we characterise when these graph products contain a given complete multipartite subgraph, determine tight bounds for their degeneracy, establish new lower bounds for the treewidth of cartesian and strong products, and characterise when they have bounded treewidth and when they have bounded pathwidth.


The Newton Polyhedron and positivity of 2F 3 hypergeometric functions. As for the 2F 3 hypergeometric function of the form begin equation 2F 3 left begin array c a 1, a 2 b 1, b 2, b 3 end array biggr x 2 right qquad(x 0), end equation where all of parameters are assumed to be positive, we give sufficient conditions on (b 1, b 2, b 3) for its positivity in terms of Newton polyhedra with vertices consisting of permutations of ,(a 2, a 1 1 2, 2a 1) , or ,(a 1, a 2 1 2, 2a 2). As an application, we obtain an extensive validity region of ( alpha, lambda, mu) for the inequality begin equation int 0 x (x t) lambda , t mu J alpha(t) , dt ge 0 qquad(x 0). end equation


Assessing a Single Image in Reference Guided Image Synthesis. Assessing the performance of Generative Adversarial Networks (GANs) has been an important topic due to its practical significance. Although several evaluation metrics have been proposed, they generally assess the quality of the whole generated image distribution. For Reference guided Image Synthesis (RIS) tasks, i.e., rendering a source image in the style of another reference image, where assessing the quality of a single generated image is crucial, these metrics are not applicable. In this paper, we propose a general learning based framework, Reference guided Image Synthesis Assessment (RISA) to quantitatively evaluate the quality of a single generated image. Notably, the training of RISA does not require human annotations. In specific, the training data for RISA are acquired by the intermediate models from the training procedure in RIS, and weakly annotated by the number of models' iterations, based on the positive correlation between image quality and iterations. As this annotation is too coarse as a supervision signal, we introduce two techniques 1) a pixel wise interpolation scheme to refine the coarse labels, and 2) multiple binary classifiers to replace a na "ive regressor. In addition, an unsupervised contrastive loss is introduced to effectively capture the style similarity between a generated image and its reference image. Empirical results on various datasets demonstrate that RISA is highly consistent with human preference and transfers well across models.