Steady Compressible Radially Symmetric Flows with Nonzero Angular Velocity in an Annulus. In this paper, we investigate steady inviscid compressible flows with radial symmetry in an annulus. The major concerns are transonic flows with or without shocks. One of the main motivations is to elucidate the role played by the angular velocity in the structure of steady inviscid compressible flows. We give a complete classification of flow patterns in terms of boundary conditions at the inner and outer circle. Due to the nonzero angular velocity, many new flow patterns will appear. There exists accelerating or decelerating smooth transonic flows in an annulus satisfying one side boundary conditions at the inner or outer circle with all sonic points being nonexceptional and noncharacteristically degenerate. More importantly, it is found that besides the well known supersonic subsonic shock in a divergent nozzle as in the case without angular velocity, there exists a supersonic supersonic shock solution, where the downstream state may change smoothly from supersonic to subsonic. Furthermore, there exists a supersonic sonic shock solution where the shock circle and the sonic circle coincide, which is new and interesting.


Residually solvable extensions of an infinite dimensional filiform Leibniz algebra. In the paper the class of all solvable extensions of a filiform Leibniz algebra in the infinite dimensional case is classified. The filiform Leibniz algebra is taken as a maximal pro nilpotent ideal of residually solvable Leibniz algebra. It is proven that the second cohomology group of the extension is trivial.


CLEDGE A Hybrid Cloud Edge Computing Framework over Information Centric Networking. In today's era of Internet of Things (IoT), where massive amounts of data are produced by IoT and other devices, edge computing has emerged as a prominent paradigm for low latency data processing. However, applications may have diverse latency requirements certain latency sensitive processing operations may need to be performed at the edge, while delay tolerant operations can be performed on the cloud, without occupying the potentially limited edge computing resources. To achieve that, we envision an environment where computing resources are distributed across edge and cloud offerings. In this paper, we present the design of CLEDGE (CLoud EDGE), an information centric hybrid cloud edge framework, aiming to maximize the on time completion of computational tasks offloaded by applications with diverse latency requirements. The design of CLEDGE is motivated by the networking challenges that mixed reality researchers face. Our evaluation demonstrates that CLEDGE can complete on time more than 90 of offloaded tasks with modest overheads.


Inverse properties of a class of pentadiagonal matrices related to higher order difference operators. This paper analyzes the convergence of fixed point iterations of the form u f(u) and the properties of the inverse of the related pentadiagonal matrices, associated with the fourth order nonlinear beam equation. This nonlinear problem is discretized using the finite difference method with the clamped free and clamped clamped boundary conditions in the one dimension. Explicit formulas for the inverse of the matrices and norms of the inverse are derived. In iterative process, the direct computation of inverse matrix allows to achieve an efficiency. Numerical results were provided.


On Hamiltonicity of regular graphs with bounded second neighborhoods. Let mathcal G (k) denote the set of connected k regular graphs G , k geq2 , where the number of vertices at distance 2 from any vertex in G does not exceed k . Asratian (2006) showed (using other terminology) that a graph G in mathcal G (k) is Hamiltonian if for each vertex u of G the subgraph induced by the set of vertices at distance at most 2 from u is 2 connected. We prove here that in fact all graphs in the sets mathcal G (3) , mathcal G (4) and mathcal G (5) are Hamiltonian. We also prove that the problem of determining whether there exists a Hamilton cycle in a graph from mathcal G (6) is NP complete. Nevertheless we show that every locally connected graph G in mathcal G (k) , k geq6 , is Hamiltonian and that for each non Hamiltonian cycle C in G there exists a cycle C' of length V(C) ell in G , ell in 1,2 , such that V(C) subset V(C') . Finally, we note that all our conditions for Hamiltonicity apply to infinitely many graphs with large diameters.


Restyling Images with the Bangladeshi Paintings Using Neural Style Transfer A Comprehensive Experiment, Evaluation, and Human Perspective. In today's world, Neural Style Transfer (NST) has become a trendsetting term. NST combines two pictures, a content picture and a reference image in style (such as the work of a renowned painter) in a way that makes the output image look like an image of the material, but rendered with the form of a reference picture. However, there is no study using the artwork or painting of Bangladeshi painters. Bangladeshi painting has a long history of more than two thousand years and is still being practiced by Bangladeshi painters. This study generates NST stylized image on Bangladeshi paintings and analyzes the human point of view regarding the aesthetic preference of NST on Bangladeshi paintings. To assure our study's acceptance, we performed qualitative human evaluations on generated stylized images by 60 individual humans of different age and gender groups. We have explained how NST works for Bangladeshi paintings and assess NST algorithms, both qualitatively quantitatively. Our study acts as a pre requisite for the impact of NST stylized image using Bangladeshi paintings on mobile UI GUI and material translation from the human perspective. We hope that this study will encourage new collaborations to create more NST related studies and expand the use of Bangladeshi artworks.


Geometry of the symplectic Stiefel manifold endowed with the Euclidean metric. The symplectic Stiefel manifold, denoted by mathrm Sp (2p,2n) , is the set of linear symplectic maps between the standard symplectic spaces mathbb R 2p and mathbb R 2n . When p n , it reduces to the well known set of 2n times 2n symplectic matrices. We study the Riemannian geometry of this manifold viewed as a Riemannian submanifold of the Euclidean space mathbb R 2n times 2p . The corresponding normal space and projections onto the tangent and normal spaces are investigated. Moreover, we consider optimization problems on the symplectic Stiefel manifold. We obtain the expression of the Riemannian gradient with respect to the Euclidean metric, which then used in optimization algorithms. Numerical experiments on the nearest symplectic matrix problem and the symplectic eigenvalue problem illustrate the effectiveness of Euclidean based algorithms.


Zig Zag Modules Cosheaves and K Theory. Persistence modules have a natural home in the setting of stratified spaces and constructible cosheaves. In this article, we first give explicit constructible cosheaves for common data motivated persistence modules, namely, for modules that arise from zig zag filtrations (including monotone filtrations), and for augmented persistence modules (which encode the data of instantaneous events). We then identify an equivalence of categories between a particular notion of zig zag modules and the combinatorial entrance path category on stratified mathbb R . Finally, we compute the algebraic K theory of generalized zig zag modules and describe connections to both Euler curves and K 0 of the monoid of persistence diagrams as described by Bubenik and Elchesen.


Complementary Patch for Weakly Supervised Semantic Segmentation. Weakly Supervised Semantic Segmentation (WSSS) based on image level labels has been greatly advanced by exploiting the outputs of Class Activation Map (CAM) to generate the pseudo labels for semantic segmentation. However, CAM merely discovers seeds from a small number of regions, which may be insufficient to serve as pseudo masks for semantic segmentation. In this paper, we formulate the expansion of object regions in CAM as an increase in information. From the perspective of information theory, we propose a novel Complementary Patch (CP) Representation and prove that the information of the sum of the CAMs by a pair of input images with complementary hidden (patched) parts, namely CP Pair, is greater than or equal to the information of the baseline CAM. Therefore, a CAM with more information related to object seeds can be obtained by narrowing down the gap between the sum of CAMs generated by the CP Pair and the original CAM. We propose a CP Network (CPN) implemented by a triplet network and three regularization functions. To further improve the quality of the CAMs, we propose a Pixel Region Correlation Module (PRCM) to augment the contextual information by using object region relations between the feature maps and the CAMs. Experimental results on the PASCAL VOC 2012 datasets show that our proposed method achieves a new state of the art in WSSS, validating the effectiveness of our CP Representation and CPN.


Observation of Square Root Higher Order Topological States in Photonic Waveguide Arrays. Recently, high order topological insulators (HOTIs), accompanied by topologically nontrivial boundary states with codimension larger than one, have been extensively explored because of unconventional bulk boundary correspondences. As a novel type of HOTIs, very recent works have explored the square root HOTIs, where the topological nontrivial nature of bulk bands stems from the square of the Hamiltonian. In this paper, we experimentally demonstrate 2D square root HOTIs in photonic waveguide arrays written in glass using femtosecond laser direct write techniques. Edge and corner states are clearly observed through visible light spectra. The dynamical evolutions of topological boundary states are experimentally demonstrated, which further verify the existence of in gap edge and corner states. The robustness of these edge and corner states is revealed by introducing defects and disorders into the bulk structures. Our studies provide an extended platform for realizing light manipulation and stable photonic devices.


A note on fsg groups in p adically closed fields. Let G be a definable group in a p adically closed field M . We show that G has finitely satisfiable generics (fsg) if and only if G is definably compact. The case M mathbb Q p was previously proved by Onshuus and Pillay.


Not Quite 'Ask a Librarian' AI on the Nature, Value, and Future of LIS. AI language models trained on Web data generate prose that reflects human knowledge and public sentiments, but can also contain novel insights and predictions. We asked the world's best language model, GPT 3, fifteen difficult questions about the nature, value, and future of library and information science (LIS), topics that receive perennial attention from LIS scholars. We present highlights from its 45 different responses, which range from platitudes and caricatures to interesting perspectives and worrisome visions of the future, thus providing an LIS tailored demonstration of the current performance of AI language models. We also reflect on the viability of using AI to forecast or generate research ideas in this way today. Finally, we have shared the full response log online for readers to consider and evaluate for themselves.


Blockchain assisted Undisclosed IIoT Vulnerabilities Trusted Sharing Protection with Dynamic Token. With the large scale deployment of industrial internet of things (IIoT) devices, the number of vulnerabilities that threaten IIoT security is also growing dramatically, including a mass of undisclosed IIoT vulnerabilities that lack mitigation measures. Coordination Vulnerabilities Disclosure (CVD) is one of the most popular vulnerabilities sharing solutions, in which some security workers (SWs) can develop undisclosed vulnerabilities patches together. However, CVD assumes that sharing participants (SWs) are all honest, and thus offering chances for dishonest SWs to leak undisclosed IIoT vulnerabilities. To combat such threats, we propose an Undisclosed IIoT Vulnerabilities Trusted Sharing Protection (UIV TSP) scheme with dynamic token. In this article, a dynamic token is an implicit access credential for an SW to acquire an undisclosed vulnerability information, which is only held by the system and constantly updated as the SW access. Meanwhile, the latest updated token can be stealthily sneaked into the acquired information as the traceability token. Once the undisclosed vulnerability information leaves the SW host, the embedded self destruct program will be automatically triggered to prevent leaks since the destination MAC address in the traceability token has changed. To quickly distinguish dishonest SWs, trust mechanism is adopted to evaluate the trust value of SWs. Moreover, we design a blockchain assisted continuous logs storage method to achieve the tamper proofing of dynamic token and the transparency of undisclosed IIoT vulnerabilities sharing. The simulation results indicate that our proposed scheme is resilient to suppress dishonest SWs and protect the IoT undisclosed vulnerabilities effectively.


SMILE Self Distilled MIxup for Efficient Transfer LEarning. To improve the performance of deep learning, mixup has been proposed to force the neural networks favoring simple linear behaviors in between training samples. Performing mixup for transfer learning with pre trained models however is not that simple, a high capacity pre trained model with a large fully connected (FC) layer could easily overfit to the target dataset even with samples to labels mixed up. In this work, we propose SMILE Self Distilled Mixup for EffIcient Transfer LEarning. With mixed images as inputs, SMILE regularizes the outputs of CNN feature extractors to learn from the mixed feature vectors of inputs (sample to feature mixup), in addition to the mixed labels. Specifically, SMILE incorporates a mean teacher, inherited from the pre trained model, to provide the feature vectors of input samples in a self distilling fashion, and mixes up the feature vectors accordingly via a novel triplet regularizer. The triple regularizer balances the mixup effects in both feature and label spaces while bounding the linearity in between samples for pre training tasks. Extensive experiments have been done to verify the performance improvement made by SMILE, in comparisons with a wide spectrum of transfer learning algorithms, including fine tuning, L2 SP, DELTA, and RIFLE, even with mixup strategies combined. Ablation studies show that the vanilla sample to label mixup strategies could marginally increase the linearity in between training samples but lack of generalizability, while SMILE significantly improve the mixup effects in both label and feature spaces with both training and testing datasets. The empirical observations backup our design intuition and purposes.


Step Out of Your Comfort Zone More Inclusive Content Recommendation for Networked Systems. Networked systems are widely applicable in real world scenarios such as social networks, infrastructure networks, and biological networks. Among those applications, we are interested in social networks due to their complexity and popularity. One crucial task on the social network is to recommend new content based on special characteristics of the graph structure. In this project, we aim to enhance the recommender systems by preventing the recommendations from leaning towards contents from closed communities. To counteract the bias, we will consider information dissemination across network as a metric to assess the recommendation for contents e.g. new connections and news feed. We use academic collaboration network and user item interaction datasets from Yelp to simulate an environment for connection recommendations and to validate the proposed algorithm.


Discrete Lagrange problems with constraints valued in a Lie group. The Lagrange problem is established in the discrete field theory for constraints with values in a Lie group. For the admissible sections that satisfy a certain regularity condition, we prove that the critical sections of such problems are the solutions of a canonically unconstrained variational problem associated with the Lagrange problem (discrete Lagrange multiplier rule). This variational problem has a discrete Cartan 1 form, from which a Noether theory of symmetries and a multisymplectic form formula are established. The whole theory is applied to the Euler Poincar 'e reduction in the discrete field theory, concluding as an illustration with the remarkable example of the harmonic maps of the discrete plane in the Lie group SO(n) .


Stagnation points control chaotic fluctuations in viscoelastic porous media flow. Viscoelastic flows through porous media become unstable and chaotic beyond critical flow conditions, impacting industrial and biological processes. Recently, Walkama textit et al. Phys. Rev. Lett. textbf 124 , 164501 (2020) have shown that geometric disorder greatly suppresses such chaotic dynamics. We demonstrate experimentally that geometric disorder textit per se is not the reason for this suppression, and that disorder can also promote choatic fluctuations, given a slightly modified initial condition. The results are explained by the effect of disorder on the occurrence of stagnation points exposed to the flow field, which depends on the initially ordered geometric configuration.


Exploiting a Joint Embedding Space for Generalized Zero Shot Semantic Segmentation. We address the problem of generalized zero shot semantic segmentation (GZS3) predicting pixel wise semantic labels for seen and unseen classes. Most GZS3 methods adopt a generative approach that synthesizes visual features of unseen classes from corresponding semantic ones (e.g., word2vec) to train novel classifiers for both seen and unseen classes. Although generative methods show decent performance, they have two limitations (1) the visual features are biased towards seen classes (2) the classifier should be retrained whenever novel unseen classes appear. We propose a discriminative approach to address these limitations in a unified framework. To this end, we leverage visual and semantic encoders to learn a joint embedding space, where the semantic encoder transforms semantic features to semantic prototypes that act as centers for visual features of corresponding classes. Specifically, we introduce boundary aware regression (BAR) and semantic consistency (SC) losses to learn discriminative features. Our approach to exploiting the joint embedding space, together with BAR and SC terms, alleviates the seen bias problem. At test time, we avoid the retraining process by exploiting semantic prototypes as a nearest neighbor (NN) classifier. To further alleviate the bias problem, we also propose an inference technique, dubbed Apollonius calibration (AC), that modulates the decision boundary of the NN classifier to the Apollonius circle adaptively. Experimental results demonstrate the effectiveness of our framework, achieving a new state of the art on standard benchmarks.


The space of finite energy metrics over a degeneration of complex manifolds. Given a degeneration of compact projective complex manifolds X over the punctured disc, with meromorphic singularities, and a relatively ample line bundle L on X , we study spaces of plurisubharmonic metrics on L , with particular focus on (relative) finite energy conditions. We endow the space hat cE 1(L) of relatively maximal, relative finite energy metrics with a d 1 type distance given by the Lelong number at zero of the collection of fibrewise Darvas d 1 distances. We show that this metric structure is complete and geodesic. Seeing X and L as schemes X K , L K over the discretely valued field K mathbb C ((t)) of complex Laurent series, we show that the space cE 1(L K an) of non Archimedean finite energy metrics over L K an embeds isometrically and geodesically into hat cE 1(L) , and characterize its image. This generalizes previous work of Berman Boucksom Jonsson, treating the trivially valued case. We investigate consequences regarding convexity of non Archimedean functionals.


Distilling EEG Representations via Capsules for Affective Computing. Affective computing with Electroencephalogram (EEG) is a challenging task that requires cumbersome models to effectively learn the information contained in large scale EEG signals, causing difficulties for real time smart device deployment. In this paper, we propose a novel knowledge distillation pipeline to distill EEG representations via capsule based architectures for both classification and regression tasks. Our goal is to distill information from a heavy model to a lightweight model for subject specific tasks. To this end, we first pre train a large model (teacher network) on large number of training samples. Then, we employ the teacher network to learn the discriminative features embedded in capsules by adopting a lightweight model (student network) to mimic the teacher using the privileged knowledge. Such privileged information learned by the teacher contain similarities among capsules and are only available during the training stage of the student network. We evaluate the proposed architecture on two large scale public EEG datasets, showing that our framework consistently enables student networks with different compression ratios to effectively learn from the teacher, even when provided with limited training samples. Lastly, our method achieves state of the art results on one of the two datasets.


A short characterization of the Octonions. In this paper we prove that if R is a proper alternative ring whose additive group has no 3 torsion and whose non zero commutators are not zero divisors, then R has no zero divisors. It follows from a theorem of Bruck and Kleinfeld that if, in addition, the characteristic of R is not 2, then the central quotient of R is an octonion division algebra over some field. We include other characterizations of octonion division algebras and we also deal with the case where (R, ) has 3 torsion.


"Large" strange attractors in the unfolding of a heteroclinic attractor. In this paper we present a mechanism for the emergence of strange attractors in a one parameter family of differential equations acting on a 3 dimensional sphere. When the parameter is zero, its flow exhibits an attracting heteroclinic network (Bykov network) made by two 1 dimensional connections and one 2 dimensional separatrix between hyperbolic saddles foci with different Morse indices. After slightly increasing the parameter, while keeping the 1 dimensional connections unaltered, we concentrate our study in the case where the 2 dimensional invariant manifolds of the equilibria do not intersect. We will show that, for a set of parameters close enough to zero with positive Lebesgue measure, the dynamics exhibits strange attractors winding around an annulus in the phase space, supporting Sinai Ruelle Bowen (SRB) measures. We prove the existence of a sequence of parameter values for which the family exhibits a superstable sink. We also characterise the transition from a Bykov network to a strange attractor.


Enabling Large Scale Federated Learning over Wireless Edge Networks. Major bottlenecks of large scale Federated Learning(FL) networks are the high costs for communication and computation. This is due to the fact that most of current FL frameworks only consider a star network topology where all local trained models are aggregated at a single server (e.g., a cloud server). This causes significant overhead at the server when the number of users are huge and local models' sizes are large. This paper proposes a novel edge network architecture which decentralizes the model aggregation process at the server, thereby significantly reducing the aggregation latency of the whole network. In this architecture, we propose a highly effective in network computation protocol consisting of two components. First, an in network aggregation process is designed so that the majority of aggregation computations can be offloaded from cloud server to edge nodes. Second, a joint routing and resource allocation optimization problem is formulated to minimize the aggregation latency for the whole system at every learning round. The problem turns out to be NP hard, and thus we propose a polynomial time routing algorithm which can achieve near optimal performance with a theoretical bound. Numerical results show that our proposed framework can dramatically reduce the network latency, up to 4.6 times. Furthermore, this framework can significantly decrease cloud's traffic and computing overhead by a factor of K M, where K is the number of users and M is the number of edge nodes, in comparison with conventional baselines.


Area minimizing Cones over Products of Grassmannian Manifolds. This paper is the continuation of the previous one cite Cui2021 , where we re proved the area minimization of cones over Grassmannians of n planes G(n,m mathbb F )( mathbb F mathbb R , mathbb C , mathbb H ) , Cayley plane mathbb O P 2 from the point view of Hermitian orthogonal projectors, and gave area minimizing cones associated to oriented real Grassmannians widetilde G (n,m mathbb R ) . In this paper, we make a further step on showing that the cones, of dimension no less than mathbf 8 , over minimal products of G(n,m mathbb F ) are area minimizing. Moreover, those cones are very similar to the classical cones over products of spheres, and for the critical situation the cones of dimension mathbf 7 cite lawlor1991sufficient , we gain more area minimizing cones by carefully computing the Jacobian inf v det(I tH v ij ) . Certain minimizing cones among them had been found from the perspective of R spaces cite Ohno2021area , or isoparametric theory cite tang2020minimizing , and others are completely new. We also prove that the cones over minimal product of widetilde G (n,m mathbb R ) are area minimizing.


Quantum classical nonadiabatic dynamics of Floquet driven systems. We develop a trajectory based approach for excited state molecular dynamics simulations of systems subject to an external periodic drive. We combine the exact factorization formalism, allowing to treat electron nuclear systems in nonadiabatic regimes, with the Floquet formalism for time periodic processes. The theory is developed starting with the molecular time dependent Schroedinger equation with inclusion of an external periodic drive that couples to the system dipole moment. With the support of the Floquet formalism, quantum dynamics is approximated by combining classical like, trajectory based, nuclear evolution with electronic dynamics represented in the Floquet basis. The resulting algorithm, which is an extension of the coupled trajectory mixed quantum classical scheme for periodically driven systems, is applied to a model study, exactly solvable, with different field intensities.


Virtual algebraic fibrations of surface by surface groups and orbits of the mapping class group. We show that a conjecture of Putman Wieland, which posits the nonexistence of finite orbits for higher Prym representations of the mapping class group, is equivalent to the existence of surface by surface and surface by free groups which do not virtually algebraically fiber.


On the convergence of formal power log series solutions of an algebraic ODE. We propose a sufficient condition of the convergence of a power log series that formally satisfies an algebraic ordinary differential equation (ODE) of arbitrary order. A general form and properties of the functional coefficients of such a series are established.


KupenStack Kubernetes based Cloud Native OpenStack. OpenStack is an open source private cloud used to run VMs and its related cloud services. OpenStack deployment, management, and upgradation require lots of efforts and manual troubleshooting. Also, workloads and services offered by OpenStack cannot self heal itself on failures. We present KupenStack, a Cloud Native OpenStack as Code model built on top of Kubernetes stack as Custom Resources. KupenStack is a controller that interacts between Kubernetes and OpenStack and automates complex operations like scaling, LCM, zero downtime, self healing, version upgrades, configuration management, and offers OpenStack as a service through code. KupenStack builds cloud native values like immutable infrastructure, declarative APIs for OpenStack without changing any OpenStack code. If a VM workload goes down for some reason, then KupenStack handles it and automatically spins up a new instance. KupenStack uses OpenStack on Kubernetes deployment for lifecycle management of OpenStack.


Well ordering principles for iterated Pi 1 1 comprehension. We introduce ordinal collapsing principles that are inspired by proof theory but have a set theoretic flavor. These principles are shown to be equivalent to iterated Pi 1 1 comprehension and the existence of admissible sets, over weak base theories. Our work extends a previous result on the non iterated case, which had been conjectured in Montalb 'an's "Open questions in reverse mathematics" (Bull. Symb. Log. 17(3)2011). This previous result has already been applied to the reverse mathematics of combinatorial and set theoretic principles. The present paper is a significant contribution to a general approach that connects these fields.


Cybersecurity Issues and Practices in a Cloud Context A Comparison Amongst Micro, Small and Medium Enterprises. The advancement and the proliferation of information systems among enterprises have given rise to understanding cybersecurity. Cybersecurity practices provide a set of techniques and procedures to protect the systems, networks, programs and data from attack, damage, or unauthorised access. Such cybersecurity practices vary and are applied differently to different types of enterprises. The purpose of this research is to compare the critical cybersecurity threats and practices in the cloud context among micro, small, and medium enterprises. By conducting a survey among 289 micro, small and medium sized enterprises in Australia, this study highlights the significant differences in their cloud security practices. It also concludes that future studies that focus on cybersecurity issues and practices in the context of cloud computing should pay attention to these differences.


Engineering an Intelligent Essay Scoring and Feedback System An Experience Report. Artificial Intelligence (AI) Machine Learning (ML) based systems are widely sought after commercial solutions that can automate and augment core business services. Intelligent systems can improve the quality of services offered and support scalability through automation. In this paper we describe our experience in engineering an exploratory system for assessing the quality of essays supplied by customers of a specialized recruitment support service. The problem domain is challenging because the open ended customer supplied source text has considerable scope for ambiguity and error, making models for analysis hard to build. There is also a need to incorporate specialized business domain knowledge into the intelligent processing systems. To address these challenges, we experimented with and exploited a number of cloud based machine learning models and composed them into an application specific processing pipeline. This design allows for modification of the underlying algorithms as more data and improved techniques become available. We describe our design, and the main challenges we faced, namely keeping a check on the quality control of the models, testing the software and deploying the computationally expensive ML models on the cloud.


Nanoparticles for Multimodal Antivascular Therapeutics Dual Drug Release, Photothermal and Photodynamic Therapy. The poor delivery of nanoparticles to target cancer cells hinders their success in the clinical setting. In this work, an alternative target readily available for circulating nanoparticles has been selected to eliminate the need for nanoparticle penetration in the tissue the tumor blood vessels. A tumor endothelium targeted nanoparticle (employing an RGD containing peptide) capable of co delivering two anti vascular drugs (one anti angiogenic drug and one vascular disruption agent) is here presented. Furthermore, the nanodevice presents two additional anti vascular capabilities upon activation by Near Infrared light provoking local hyperthermia (by gold nanorods in the system) and generating toxic reactive oxygen species (by the presence of a photosensitizer). RGD targeting is shown to increase uptake by HUVEC cells, and while the nanoparticles are shown not to be toxic for these cells, upon Near Infrared irradiation their almost complete killing is achieved. The combination of all four therapeutic modalities is then evaluated in an ex ovo fibrosarcoma xenograft model, which shows a significant reduction in the number of blood vessels irrigating the xenografts when the nanoparticles are present, as well as the destruction of the existing blood vessels upon irradiation. These results suggest that the combination of different anti vascular therapeutic strategies in a single nanocarrier appears promising and should be further explored in the future.


Learning Revenue Maximizing Auctions With Differentiable Matching. We propose a new architecture to approximately learn incentive compatible, revenue maximizing auctions from sampled valuations. Our architecture uses the Sinkhorn algorithm to perform a differentiable bipartite matching which allows the network to learn strategyproof revenue maximizing mechanisms in settings not learnable by the previous RegretNet architecture. In particular, our architecture is able to learn mechanisms in settings without free disposal where each bidder must be allocated exactly some number of items. In experiments, we show our approach successfully recovers multiple known optimal mechanisms and high revenue, low regret mechanisms in larger settings where the optimal mechanism is unknown.


A Novel Generalised Meta Heuristic Framework for Dynamic Capacitated Arc Routing Problems. The capacitated arc routing problem (CARP) is a challenging combinatorial optimisation problem abstracted from many real world applications, such as waste collection, road gritting and mail delivery. However, few studies considered dynamic changes during the vehicles' service, which can cause the original schedule infeasible or obsolete. The few existing studies are limited by the dynamic scenarios considered, and by overly complicated algorithms that are unable to benefit from the wealth of contributions provided by the existing CARP literature. In this paper, we first provide a mathematical formulation of dynamic CARP (DCARP) and design a simulation system that is able to consider dynamic events while a routing solution is already partially executed. We then propose a novel framework which can benefit from existing static CARP optimisation algorithms so that they could be used to handle DCARP instances. The framework is very flexible. In response to a dynamic event, it can use either a simple restart strategy or a sequence transfer strategy that benefits from past optimisation experience. Empirical studies have been conducted on a wide range of DCARP instances to evaluate our proposed framework. The results show that the proposed framework significantly improves over state of the art dynamic optimisation algorithms.


The role of density in the energy conservation for the isentropic compressible Euler equations. In this paper, we study Onsager's conjecture on the energy conservation for the isentropic compressible Euler equations via establishing the energy conservation criterion involving the density varrho in L k (0,T L l ( mathbb T d )) . The motivation is to analysis the role of the integrability of density of the weak solutions keeping energy in this system, since almost all known corresponding results require varrho in L infty (0,T L infty ( mathbb T d )) . Our results imply that the lower integrability of the density varrho means that more integrability of the velocity v are necessary in energy conservation and the inverse is also true. The proof relies on the Constantin E Titi type and Lions type commutators on mollifying kernel.


User centered Evaluation of Popularity Bias in Recommender Systems. Recommendation and ranking systems are known to suffer from popularity bias the tendency of the algorithm to favor a few popular items while under representing the majority of other items. Prior research has examined various approaches for mitigating popularity bias and enhancing the recommendation of long tail, less popular, items. The effectiveness of these approaches is often assessed using different metrics to evaluate the extent to which over concentration on popular items is reduced. However, not much attention has been given to the user centered evaluation of this bias how different users with different levels of interest towards popular items are affected by such algorithms. In this paper, we show the limitations of the existing metrics to evaluate popularity bias mitigation when we want to assess these algorithms from the users' perspective and we propose a new metric that can address these limitations. In addition, we present an effective approach that mitigates popularity bias from the user centered point of view. Finally, we investigate several state of the art approaches proposed in recent years to mitigate popularity bias and evaluate their performances using the existing metrics and also from the users' perspective. Our experimental results using two publicly available datasets show that existing popularity bias mitigation techniques ignore the users' tolerance towards popular items. Our proposed user centered method can tackle popularity bias effectively for different users while also improving the existing metrics.


Exploring the Public Reaction to COVID 19 News on Social Media in Portugal. The outburst and proliferation of the COVID 19 pandemic, together with the subsequent social distancing measures, have raised massive challenges in almost all domains of public and private life around the globe. The stay at home movement has pushed the news audiences into social networks, which, in turn, has become the most prolific field for receiving and sharing news updates, as well as for public expression of opinions, concerns and feelings about the pandemic. Public opinion is a critical aspect in analysing how the information and events impact peoples lives, and research has shown that social media data may be promising in understanding how people respond to health risks and social crisis, which are the feelings they tend to share and how they are adapting to unforeseen circumstances that threaten almost all societal spheres. This paper presents results from a social media analysis of 61532 news headlines posted by the major daily news outlet in Portugal, Sic Noticias, on Facebook, from January to December 2020, focusing on the issues attention cycle and audiences emotional response to the COVID news outburst. This work adds to the emergent body of studies examining public response to the coronavirus pandemic on social media data.


Exponential decay of random correlations for random Anosov systems mixing on fibers. In this paper, we study the statistical property of Anosov systems driven by an external force. We show that the random Anosov system mixing on fibers together with the unique random SRB measure has exponential decay of (quenched) random correlations for Holder observables by using the Birkhoff cone method.


Protein sequence to structure learning Is this the end( to end revolution)?. The potential of deep learning has been recognized in the protein structure prediction community for some time, and became indisputable after CASP13. In CASP14, deep learning has boosted the field to unanticipated levels reaching near experimental accuracy. This success comes from advances transferred from other machine learning areas, as well as methods specifically designed to deal with protein sequences and structures, and their abstractions. Novel emerging approaches include (i) geometric learning, i.e. learning on representations such as graphs, 3D Voronoi tessellations, and point clouds (ii) pre trained protein language models leveraging attention (iii) equivariant architectures preserving the symmetry of 3D space (iv) use of large meta genome databases (v) combinations of protein representations (vi) and finally truly end to end architectures, i.e. differentiable models starting from a sequence and returning a 3D structure. Here, we provide an overview and our opinion of the novel deep learning approaches developed in the last two years and widely used in CASP14.


Variable resolution Poisson disk sampling for meshing discrete fracture networks. We present the near Maximal Algorithm for Poisson disk Sampling (nMAPS) to generate point distributions for variable resolution Delaunay triangular and tetrahedral meshes in two and three dimensions, respectively. nMAPS consists of two principal stages. In the first stage, an initial point distribution is produced using a cell based rejection algorithm. In the second stage, holes in the sample are detected using an efficient background grid and filled in to obtain a near maximal covering. Extensive testing shows that nMAPS generates a variable resolution mesh in linear run time with the number of accepted points. We demonstrate nMAPS capabilities by meshing three dimensional discrete fracture networks (DFN) and the surrounding volume. The discretized boundaries of the fractures, which are represented as planar polygons, are used as the seed of 2D nMAPS to produce a conforming Delaunay triangulation. The combined mesh of the DFN is used as the seed for 3D nMAPS, which produces conforming Delaunay tetrahedra surrounding the network. Under a set of conditions that naturally arise in maximal Poisson disk samples and are satisfied by nMAPS, the two dimensional Delaunay triangulations are guaranteed to only have well behaved triangular faces. While nMAPS does not provide triangulation quality bounds in more than two dimensions, we found that low quality tetrahedra in 3D are infrequent, can be readily detected and removed, and a high quality balanced mesh is produced.


Adaptive Projected Residual Networks for Learning Parametric Maps from Sparse Data. We present a parsimonious surrogate framework for learning high dimensional parametric maps from limited training data. The need for parametric surrogates arises in many applications that require repeated queries of complex computational models. These applications include such "outer loop" problems as Bayesian inverse problems, optimal experimental design, and optimal design and control under uncertainty, as well as real time inference and control problems. Many high dimensional parametric mappings admit low dimensional structure, which can be exploited by mapping informed reduced bases of the inputs and outputs. Exploiting this property, we develop a framework for learning low dimensional approximations of such maps by adaptively constructing ResNet approximations between reduced bases of their inputs and output. Motivated by recent approximation theory for ResNets as discretizations of control flows, we prove a universal approximation property of our proposed adaptive projected ResNet framework, which motivates a related iterative algorithm for the ResNet construction. This strategy represents a confluence of the approximation theory and the algorithm since both make use of sequentially minimizing flows. In numerical examples we show that these parsimonious, mapping informed architectures are able to achieve remarkably high accuracy given few training data, making them a desirable surrogate strategy to be implemented for minimal computational investment in training data generation.


Personalization Paradox in Behavior Change Apps Lessons from a Social Comparison Based Personalized App for Physical Activity. Social comparison based features are widely used in social computing apps. However, most existing apps are not grounded in social comparison theories and do not consider individual differences in social comparison preferences and reactions. This paper is among the first to automatically personalize social comparison targets. In the context of an m health app for physical activity, we use artificial intelligence (AI) techniques of multi armed bandits. Results from our user study (n 53) indicate that there is some evidence that motivation can be increased using the AI based personalization of social comparison. The detected effects achieved small to moderate effect sizes, illustrating the real world implications of the intervention for enhancing motivation and physical activity. In addition to design implications for social comparison features in social apps, this paper identified the personalization paradox, the conflict between user modeling and adaptation, as a key design challenge of personalized applications for behavior change. Additionally, we propose research directions to mitigate this Personalization Paradox.


An Edge Based Resource Allocation Optimization for the Internet of Medical Things (IoMT). As the number of Internet of Medical Things (IoMT) increases, the need for performing on premises tasks within hospitals or medical centers also increases. Many healthcare organizations are progressively embracing or adopting an edge computing paradigm such that computationally intensive tasks can be processed at the edge of the network in order to avoid latency and network reliability issues associated with offloading tasks to the cloud. The problem, however, hospitals or medical centers may not be equipped with sufficient computing resources that can process advanced ML or AI tasks efficiently. In addition, some tasks may not be easily offloadable or contain sensitive patient healthcare data which increases the risks of having malicious attacks. In this paper, we extend our Edgify resource provisioning framework to consider the task offloading of healthcare applications' involving patients' data as a multiple criteria decision making (MCDM) process that often involves multiple conflicting criteria (e.g. data privacy risks, costs, latency, network reliability, among others). We evaluate our proposed framework through a number of experiments which demonstrate the usefulness and effectiveness of employing our optimization approach within hospitals or medical centers.


Variational Regularization in Inverse Problems and Machine Learning. This paper discusses basic results and recent developments on variational regularization methods, as developed for inverse problems. In a typical setup we review basic properties needed to obtain a convergent regularization scheme and further discuss the derivation of quantitative estimates respectively needed ingredients such as Bregman distances for convex functionals. In addition to the approach developed for inverse problems we will also discuss variational regularization in machine learning and work out some connections to the classical regularization theory. In particular we will discuss a reinterpretation of machine learning problems in the framework of regularization theory and a reinterpretation of variational methods for inverse problems in the framework of risk minimization. Moreover, we establish some previously unknown connections between error estimates in Bregman distances and generalization errors.


Key parameters for surface plasma wave excitation in the ultra high intensity regime. Ultra short high power lasers can deliver extreme light intensities ( ge 10 20 W cm 2 and leq 30 f s) and drive large amplitude Surface Plasma Wave (SPW) at over dense plasma surface. The resulting current of energetic electron has great interest for applications, potentially scaling with the laser amplitude, provided the laser plasma transfer to the accelerated particles mediated by SPW is still efficient at ultra high intensity. By mean of Particle in Cell simulations, we identify the best condition for SPW excitation and show a strong correlation between the optimum Surface Plasma Wave excitation angle and the laser's angle of incidence that optimize the electron acceleration along the plasma surface. We also discuss how plasma density and plasma surface shape can be adjusted in order to push to higher laser intensity the limit of Surface Plasma Wave excitation. Our results open the way to new experiments on forthcoming multi petawatt laser systems.


LSC GAN Latent Style Code Modeling for Continuous Image to image Translation. Image to image (I2I) translation is usually carried out among discrete domains. However, image domains, often corresponding to a physical value, are usually continuous. In other words, images gradually change with the value, and there exists no obvious gap between different domains. This paper intends to build the model for I2I translation among continuous varying domains. We first divide the whole domain coverage into discrete intervals, and explicitly model the latent style code for the center of each interval. To deal with continuous translation, we design the editing modules, changing the latent style code along two directions. These editing modules help to constrain the codes for domain centers during training, so that the model can better understand the relation among them. To have diverse results, the latent style code is further diversified with either the random noise or features from the reference image, giving the individual style code to the decoder for label based or reference based synthesis. Extensive experiments on age and viewing angle translation show that the proposed method can achieve high quality results, and it is also flexible for users.


Ensemble Models for Neural Source Code Summarization of Subroutines. A source code summary of a subroutine is a brief description of that subroutine. Summaries underpin a majority of documentation consumed by programmers, such as the method summaries in JavaDocs. Source code summarization is the task of writing these summaries. At present, most state of the art approaches for code summarization are neural network based solutions akin to seq2seq, graph2seq, and other encoder decoder architectures. The input to the encoder is source code, while the decoder helps predict the natural language summary. While these models tend to be similar in structure, evidence is emerging that different models make different contributions to prediction quality differences in model performance are orthogonal and complementary rather than uniform over the entire dataset. In this paper, we explore the orthogonal nature of different neural code summarization approaches and propose ensemble models to exploit this orthogonality for better overall performance. We demonstrate that a simple ensemble strategy boosts performance by up to 14.8 , and provide an explanation for this boost. The takeaway from this work is that a relatively small change to the inference procedure in most neural code summarization techniques leads to outsized improvements in prediction quality.


ES ImageNet A Million Event Stream Classification Dataset for Spiking Neural Networks. With event driven algorithms, especially the spiking neural networks (SNNs), achieving continuous improvement in neuromorphic vision processing, a more challenging event stream dataset is urgently needed. However, it is well known that creating an ES dataset is a time consuming and costly task with neuromorphic cameras like dynamic vision sensors (DVS). In this work, we propose a fast and effective algorithm termed Omnidirectional Discrete Gradient (ODG) to convert the popular computer vision dataset ILSVRC2012 into its event stream (ES) version, generating about 1,300,000 frame based images into ES samples in 1000 categories. In this way, we propose an ES dataset called ES ImageNet, which is dozens of times larger than other neuromorphic classification datasets at present and completely generated by the software. The ODG algorithm implements an image motion to generate local value changes with discrete gradient information in different directions, providing a low cost and high speed way for converting frame based images into event streams, along with Edge Integral to reconstruct the high quality images from event streams. Furthermore, we analyze the statistics of the ES ImageNet in multiple ways, and a performance benchmark of the dataset is also provided using both famous deep neural network algorithms and spiking neural network algorithms. We believe that this work shall provide a new large scale benchmark dataset for SNNs and neuromorphic vision.


Seeking Visual Discomfort Curiosity driven Representations for Reinforcement Learning. Vision based reinforcement learning (RL) is a promising approach to solve control tasks involving images as the main observation. State of the art RL algorithms still struggle in terms of sample efficiency, especially when using image observations. This has led to increased attention on integrating state representation learning (SRL) techniques into the RL pipeline. Work in this field demonstrates a substantial improvement in sample efficiency among other benefits. However, to take full advantage of this paradigm, the quality of samples used for training plays a crucial role. More importantly, the diversity of these samples could affect the sample efficiency of vision based RL, but also its generalization capability. In this work, we present an approach to improve sample diversity for state representation learning. Our method enhances the exploration capability of RL algorithms, by taking advantage of the SRL setup. Our experiments show that our proposed approach boosts the visitation of problematic states, improves the learned state representation, and outperforms the baselines for all tested environments. These results are most apparent for environments where the baseline methods struggle. Even in simple environments, our method stabilizes the training, reduces the reward variance, and promotes sample efficiency.


Understanding the Security of Deepfake Detection. Deepfakes pose growing challenges to the trust of information on the Internet. Thus, detecting deepfakes has attracted increasing attentions from both academia and industry. State of the art deepfake detection methods consist of two key components, i.e., face extractor and face classifier, which extract the face region in an image and classify it to be real fake, respectively. Existing studies mainly focused on improving the detection performance in non adversarial settings, leaving security of deepfake detection in adversarial settings largely unexplored. In this work, we aim to bridge the gap. In particular, we perform a systematic measurement study to understand the security of the state of the art deepfake detection methods in adversarial settings. We use two large scale public deepfakes data sources including FaceForensics and Facebook Deepfake Detection Challenge, where the deepfakes are fake face images and we train state of the art deepfake detection methods. These detection methods can achieve 0.94 0.99 accuracies in non adversarial settings on these datasets. However, our measurement results uncover multiple security limitations of the deepfake detection methods in adversarial settings. First, we find that an attacker can evade a face extractor, i.e., the face extractor fails to extract the correct face regions, via adding small Gaussian noise to its deepfake images. Second, we find that a face classifier trained using deepfakes generated by one method cannot detect deepfakes generated by another method, i.e., an attacker can evade detection via generating deepfakes using a new method. Third, we find that an attacker can leverage backdoor attacks developed by the adversarial machine learning community to evade a face classifier. Our results highlight that deepfake detection should consider the adversarial nature of the problem.


Assessing the Value of Complex Refractive Index and Particle Density for Calibration of Low Cost Particle Matter Sensor for Size Resolved Particle Count and PM2.5 Measurements. Commercially available low cost particulate matter (PM) sensors provide output as total or size specific particle counts and mass concentrations. These quantities are not measured directly but are estimated by the original equipment manufacturers' (OEM) proprietary algorithms and have inherent limitations since particle scattering depends on their composition, size, shape, and complex index of refraction (CRI). Hence, there is a need to characterize and calibrate their performance under a controlled environment. We present calibration algorithms for Plantower PMS A003 sensor as a function of particle size and concentration. A standardized experimental protocol was used to control the PM level, environmental conditions and to evaluate sensor to sensor reproducibility. The calibration was based on tests when PMS A003 were exposed to different polydisperse standardized testing aerosols. The results suggested particle size distribution from PMS A003 was shifted compared to reference instrument measures. For calibration of number concentration, linear model without adjusting aerosol properties corrects the raw PMS A003 measurement for specific size bins with normalized mean absolute error within 4.0 of the reference instrument. Although the Bayesian Information Criterion suggests that models adjusting for particle optical properties and relative humidity are technically superior, they should be used with caution as the particle properties used in fitting were within a narrow range for challenge aerosols. The calibration models adjusted for particle CRI and density account for non linearity in the OEM's mass concentrations estimates and demonstrated lower error. These results have significant implications for using PMS A003 in high concentration environments, including indoor air quality and occupational industrial exposure assessments, wildfire smoke, or near source monitoring scenarios.


RL DARTS Differentiable Architecture Search for Reinforcement Learning. Recently, Differentiable Architecture Search (DARTS) has become one of the most popular Neural Architecture Search (NAS) methods successfully applied in supervised learning (SL). However, its applications in other domains, in particular for reinforcement learning (RL), has seldom been studied. This is due in part to RL possessing a significantly different optimization paradigm than SL, especially with regards to the notion of replay data, which is continually generated via inference in RL. In this paper, we introduce RL DARTS, one of the first applications of end to end DARTS in RL to search for convolutional cells, applied to the challenging, infinitely procedurally generated Procgen benchmark. We demonstrate that the benefits of DARTS become amplified when applied to RL, namely search efficiency in terms of time and compute, as well as simplicity in integration with complex preexisting RL code via simply replacing the image encoder with a DARTS supernet, compatible with both off policy and on policy RL algorithms. At the same time however, we provide one of the first extensive studies of DARTS outside of the standard fixed dataset setting in SL via RL DARTS. We show that throughout training, the supernet gradually learns better cells, leading to alternative architectures which can be highly competitive against manually designed policies, but also verify previous design choices for RL policies.


Causal Inference in Natural Language Processing Estimation, Prediction, Interpretation and Beyond. A fundamental goal of scientific research is to learn about causal relationships. However, despite its critical role in the life and social sciences, causality has not had the same importance in Natural Language Processing (NLP), which has traditionally placed more emphasis on predictive tasks. This distinction is beginning to fade, with an emerging area of interdisciplinary research at the convergence of causal inference and language processing. Still, research on causality in NLP remains scattered across domains without unified definitions, benchmark datasets and clear articulations of the remaining challenges. In this survey, we consolidate research across academic areas and situate it in the broader NLP landscape. We introduce the statistical challenge of estimating causal effects, encompassing settings where text is used as an outcome, treatment, or as a means to address confounding. In addition, we explore potential uses of causal inference to improve the performance, robustness, fairness, and interpretability of NLP models. We thus provide a unified overview of causal inference for the computational linguistics community.


An efficient mapped WENO scheme using approximate constant mapping. We present a novel mapping approach for WENO schemes through the use of an approximate constant mapping function which is constructed by employing an approximation of the classic signum function. The new approximate constant mapping function is designed to meet the overall criteria for a proper mapping function required in the design of the WENO PM6 scheme. The WENO PM6 scheme was proposed to overcome the potential loss of accuracy of the WENO M scheme which was developed to recover the optimal convergence order of the WENO JS scheme at critical points. Our new mapped WENO scheme, denoted as WENO ACM, maintains almost all advantages of the WENO PM6 scheme, including low dissipation and high resolution, while decreases the number of mathematical operations remarkably in every mapping process leading to a significant improvement of efficiency. The convergence rates of the WENO ACM scheme have been shown through one dimensional linear advection equation with various initial conditions. Numerical results of one dimensional Euler equations for the Riemann problems, the Mach 3 shock density wave interaction and the Woodward Colella interacting blastwaves are improved in comparison with the results obtained by the WENO JS, WENO M and WENO PM6 schemes. Numerical experiments with two dimensional problems as the 2D Riemann problem, the shock vortex interaction, the 2D explosion problem, the double Mach reflection and the forward facing step problem modeled via the two dimensional Euler equations have been conducted to demonstrate the high resolution and the effectiveness of the WENO ACM scheme. The WENO ACM scheme provides significantly better resolution than the WENO M scheme and slightly better resolution than the WENO PM6 scheme, and compared to the WENO M and WENO PM6 schemes, the extra computational cost is reduced by more than 83 and 93 , respectively.


Performance Analysis of Regularized Convex Relaxation for Complex Valued Data Detection. In this work, we study complex valued data detection performance in massive multiple input multiple output (MIMO) systems. We focus on the problem of recovering an n dimensional signal whose entries are drawn from an arbitrary constellation mathcal K subset mathbb C from m noisy linear measurements, with an independent and identically distributed (i.i.d.) complex Gaussian channel. Since the optimal maximum likelihood (ML) detector is computationally prohibitive for large dimensions, many convex relaxation heuristic methods have been proposed to solve the detection problem. In this paper, we consider a regularized version of this convex relaxation that we call the regularized convex relaxation (RCR) detector and sharply derive asymptotic expressions for its mean square error and symbol error probability. Monte Carlo simulations are provided to validate the derived analytical results.


A Real World Markov Chain arising in Recreational Volleyball. Card shuffling models have provided simple motivating examples for the mathematical theory of mixing times for Markov chains. As a complement, we introduce a more intricate realistic model of a certain observable real world scheme for mixing human players onto teams. We quantify numerically the effectiveness of this mixing scheme over the 7 or 8 steps performed in practice. We give a combinatorial proof of the non trivial fact that the chain is indeed irreducible.


Fast linear barycentric rational interpolation for singular functions via scaled transformations. In this paper, applied strictly monotonic increasing scaled maps, a kind of well conditioned linear barycentric rational interpolations are proposed to approximate functions of singularities at the origin, such as x alpha for alpha in (0,1) and log(x) . It just takes O(N) flops and can achieve fast convergence rates with the choice the scaled parameter, where N is the maximum degree of the denominator and numerator. The construction of the rational interpolant couples rational polynomials in the barycentric form of second kind with the transformed Jacobi Gauss Lobatto points. Numerical experiments are considered which illustrate the accuracy and efficiency of the algorithms. The convergence of the rational interpolation is also considered.


math.NA cs.NA physics.flu-dyn physics.geo-ph

Space time upscaling of reactive transport in porous media. Reactive transport in saturated unsaturated porous media is numerically upscaled to the space time scale of a hypothetical measurement through coarse grained space time (CGST) averages. The one dimensional reactive transport is modeled at the fine grained Darcy scale by the actual number of molecules involved in reactions which undergo advective and diffusive movements described by global random walk (GRW) simulations. The CGST averages verify identities similar to a local scale balance equation which allow us to derive expressions for the flow velocity and the intrinsic diffusion coefficient in terms of averaged microscopic quantities. The latter are further used to verify the CGST GRW numerical approach. The upscaling approach is applied to biodegradation processes in saturated aquifers and variably saturated soils and the CGST averages are compared to classical volume averages. One finds that if the process is characterized by slow variations in time, as in homogeneous systems or in case of observations of reactive transport in heterogeneous aquifers made at large times or far away from the contaminant source, the differences between the two averages are negligible. Instead, the differences are significant if the averages are computed close to the source at early times, in case of aquifer simulations, and can be extremely large in simulations of biodegradation in soils. In the latter case, the volume average is totally inappropriate as model for experimental measurements, leading for instance to overestimations by 100 of the CGST average.


Convergence of a Jacobi type method for the approximate orthogonal tensor diagonalization. For a general third order tensor mathcal A in mathbb R n times n times n the paper studies two closely related problems, the SVD like tensor decomposition and the (approximate) tensor diagonalization. We develop the alternating least squares Jacobi type algorithm that maximizes the squares of the diagonal entries of mathcal A . The algorithm works on 2 times2 times2 subtensors such that in each iteration the sum of the squares of two diagonal entries is maximized. We show how the rotation angles are calculated and prove the convergence of the algorithm. Different initializations of the algorithm are discussed, as well as the special cases of symmetric and antisymmetric tensors. The algorithm can be generalized to work on the higher order tensors.


Cyber Security Challenges in Aviation Industry A Review of Current and Future Trends. The integration of Information and Communication Technology (ICT) tools into mechanical devices found in aviation industry has raised security concerns. The more integrated the system, the more vulnerable due to the inherent vulnerabilities found in ICT tools and software that drives the system. The security concerns have become more heightened as the concept of electronic enabled aircraft and smart airports get refined and implemented underway. In line with the above, this paper undertakes a review of cyber security incidence in the aviation sector over the last 20 years. The essence is to understand the common threat actors, their motivations, the type of attacks, aviation infrastructure that is commonly attacked and then match these so as to provide insight on the current state of the cyber security in the aviation sector. The review showed that the industry's threats come mainly from Advance Persistent Threat (APT) groups that work in collaboration with some state actors to steal intellectual property and intelligence, in order to advance their domestic aerospace capabilities as well as possibly monitor, infiltrate and subvert other nations' capabilities. The segment of the aviation industry commonly attacked is the Information Technology infrastructure, and the prominent type of attacks is malicious hacking activities that aim at gaining unauthorised access using known malicious password cracking techniques such as Brute force attacks, Dictionary attacks and so on. The review further analysed the different attack surfaces that exist in aviation industry, threat dynamics, and use these dynamics to predict future trends of cyberattacks in the industry. The aim is to provide information for the cybersecurity professionals and aviation stakeholders for proactive actions in protecting these critical infrastructures against cyberincidence for an optimal customer service oriented industry.


High Resolution 3D Ultrasonic Breast Imaging by Time Domain Full Waveform Inversion. Ultrasound tomography (UST) scanners allow quantitative images of the human breast's acoustic properties to be derived with potential applications in screening, diagnosis and therapy planning. Time domain full waveform inversion (TD FWI) is a promising UST image formation technique that fits the parameter fields of a wave physics model by gradient based optimization. For high resolution 3D UST, it holds three key challenges Firstly, its central building block, the computation of the gradient for a single US measurement, has a restrictively large memory footprint. Secondly, this building block needs to be computed for each of the 10 3 10 4 measurements, resulting in a massive parallel computation usually performed on large computational clusters for days. Lastly, the structure of the underlying optimization problem may result in slow progression of the solver and convergence to a local minimum. In this work, we design and evaluate a comprehensive computational strategy to overcome these challenges Firstly, we exploit a gradient computation based on time reversal that dramatically reduces the memory footprint at the expense of one additional wave simulation per source. Secondly, we break the dependence on the number of measurements by using source encoding (SE) to compute stochastic gradient estimates. Also we describe a more accurate, TD specific SE technique with a finer variance control and use a state of the art stochastic LBFGS method. Lastly, we design an efficient TD multi grid scheme together with preconditioning to speed up the convergence while avoiding local minima. All components are evaluated in extensive numerical proof of concept studies simulating a bowl shaped 3D UST breast scanner prototype. Finally, we demonstrate that their combination allows us to obtain an accurate 442x442x222 voxel image with a resolution of 0.5mm using Matlab on a single GPU within 24h.


Euler characteristics of homogeneous and weighted homogeneous hypersurfaces. Let k be a field and let text GW (k) be the Grothendieck Witt ring of virtual non degenerate symmetric bilinear forms over k . We develop methods for computing the quadratic Euler characteristic chi(X k) in text GW (k) for X a smooth hypersurface in a projective space or a weighted projective space. We raise the question of a quadratic refinement of classical conductor formulas and find such a formula for the degeneration of a smooth hypersurface X in mathbb P n 1 to the cone over a smooth hyperplane section of X we also find a similar formula in the weighted homogeneous case. We formulate a conjecture that generalizes these computations to similar types of degenerations. Finally, we give an interpretation of the quadratic conductor formulas in terms of Ayoub's nearby cycles functor.


Addressing Inquiries about History An Efficient and Practical Framework for Evaluating Open domain Chatbot Consistency. A good open domain chatbot should avoid presenting contradictory responses about facts or opinions in a conversational session, known as its consistency capacity. However, evaluating the consistency capacity of a chatbot is still challenging. Employing human judges to interact with chatbots on purpose to check their capacities is costly and low efficient, and difficult to get rid of subjective bias. In this paper, we propose the Addressing Inquiries about History (AIH), an efficient and practical framework for the consistency evaluation. At the conversation stage, AIH attempts to address appropriate inquiries about the dialogue history to induce the chatbot to redeclare the historical facts or opinions. We carry out the conversation between chatbots, which is more efficient than the human bot interaction and can also alleviate the subjective bias. In this way, we manage to rapidly obtain a dialog session that contains responses with high contradiction possibilities. At the contradiction recognition stage, we can either employ human judges or a natural language inference (NLI) model to recognize whether the answers to the inquiries are contradictory with history. Finally, we are able to rank chatbots according to the contradiction statistics. Experiments on open domain chatbots show that our approach can efficiently and reliably assess the consistency capacity of chatbots and achieve a high ranking correlation with the human evaluation. We release the framework and hope to help improve the consistency capacity of chatbots. footnote url https github.com ictnlp AIH


Planar Robot Casting with Real2Sim2Real Self Supervised Learning. Manipulation of deformable objects using a single parameterized dynamic action can be useful for tasks such as fly fishing, lofting a blanket, and playing shuffleboard. Such tasks take as input a desired final state and output one parameterized open loop dynamic robot action which produces a trajectory toward the final state. This is especially challenging for long horizon trajectories with complex dynamics involving friction. This paper explores the task of Planar Robot Casting (PRC) where one planar motion of a robot wrist holding one end of a cable causes the other end to slide across the plane toward a desired target. PRC allows the cable to reach points beyond the robot's workspace and has applications for cable management in homes, warehouses, and factories. To efficiently learn a PRC policy for a given cable, we propose Real2Sim2Real, a self supervised framework that automatically collects physical trajectory examples to tune parameters of a dynamics simulator using Differential Evolution, generates many simulated examples, and then learns a policy using a weighted combination of simulated and physical data. We evaluate Real2Sim2Real with three simulators, Isaac Gym segmented, Isaac Gym hybrid, and PyBullet, two function approximators, Gaussian Processes and Neural Networks (NNs), and three cables with differing stiffness, torsion, and friction. Results on 16 held out test targets for each cable suggest that the NN PRC policies using Isaac Gym segmented attain median error distance (as of cable length) ranging from 8 to 14 , outperforming baselines and policies trained on only real or only simulated examples. Code, data, and videos are available at https tinyurl.com robotcast.


Societal Biases in Retrieved Contents Measurement Framework and Adversarial Mitigation for BERT Rankers. Societal biases resonate in the retrieved contents of information retrieval (IR) systems, resulting in reinforcing existing stereotypes. Approaching this issue requires established measures of fairness in respect to the representation of various social groups in retrieval results, as well as methods to mitigate such biases, particularly in the light of the advances in deep ranking models. In this work, we first provide a novel framework to measure the fairness in the retrieved text contents of ranking models. Introducing a ranker agnostic measurement, the framework also enables the disentanglement of the effect on fairness of collection from that of rankers. To mitigate these biases, we propose AdvBert, a ranking model achieved by adapting adversarial bias mitigation for IR, which jointly learns to predict relevance and remove protected attributes. We conduct experiments on two passage retrieval collections (MSMARCO Passage Re ranking and TREC Deep Learning 2019 Passage Re ranking), which we extend by fairness annotations of a selected subset of queries regarding gender attributes. Our results on the MSMARCO benchmark show that, (1) all ranking models are less fair in comparison with ranker agnostic baselines, and (2) the fairness of Bert rankers significantly improves when using the proposed AdvBert models. Lastly, we investigate the trade off between fairness and utility, showing that we can maintain the significant improvements in fairness without any significant loss in utility.


Search and Matching for Adoption from Foster Care. More than 100,000 children in the US foster care system are currently waiting for an adoptive placement. Adoption agencies differ significantly in what systems they use to identify matches between families and children. We consider two prominent alternatives (1) family driven search, where families respond to announcements made by the caseworker responsible for a child, and (2) caseworker driven search, where caseworkers utilize a software tool to perform a targeted search for families. In this work, we compare these two systems via a game theoretic analysis. We introduce a dynamic search and matching model that captures the heterogeneous preferences of families and children. This allows us to study their incentives during the search process, and we can compare the resulting welfare of the two systems in equilibrium. We first show that, in general, no system dominates the other, neither in terms of family welfare nor in terms of child welfare. This result maybe surprising, given that the caseworker driven approach employs a less wasteful search process. However, we do identify various advantages of the caseworker driven approach. Our main theoretical result establishes that the equilibrium outcomes in caseworker driven search can Pareto dominate the outcomes in family driven search, but not the other way around. We illustrate our results numerically to demonstrate the effect different model parameters (e.g., search costs and discount factors) have on welfare.


Indefinite Backward Stochastic Linear Quadratic Optimal Control Problems. This paper is concerned with a backward stochastic linear quadratic (LQ, for short) optimal control problem with deterministic coefficients. The weighting matrices are allowed to be indefinite, and cross product terms in the control and state processes are present in the cost functional. Based on a Hilbert space method, necessary and sufficient conditions are derived for the solvability of the problem, and a general approach for constructing optimal controls is developed. The crucial step in this construction is to establish the solvability of a Riccati type equation, which is accomplished under a fairly weak condition by investigating the connection with forward stochastic LQ optimal control problems.


A Digital Forensics Investigation of a Smart Scale IoT Ecosystem. The introduction of Internet of Things (IoT) ecosystems into personal homes and businesses prompts the idea that such ecosystems contain residual data, which can be used as digital evidence in court proceedings. However, the forensic examination of IoT ecosystems introduces a number of investigative problems for the digital forensics community. One of these problems is the limited availability of practical processes and techniques to guide the preservation and analysis of residual data from these ecosystems. Focusing on a detailed case study of the iHealth Smart Scale ecosystem, we present an empirical demonstration of practical techniques to recover residual data from different evidence sources within a smart scale ecosystem. We also document the artifacts that can be recovered from a smart scale ecosystem, which could inform a digital (forensic) investigation. The findings in this research provides a foundation for future studies regarding the development of processes and techniques suitable for extracting and examining residual data from IoT ecosystems.


StructuralLM Structural Pre training for Form Understanding. Large pre trained language models achieve state of the art results when fine tuned on downstream NLP tasks. However, they almost exclusively focus on text only representation, while neglecting cell level layout information that is important for form image understanding. In this paper, we propose a new pre training approach, StructuralLM, to jointly leverage cell and layout information from scanned documents. Specifically, we pre train StructuralLM with two new designs to make the most of the interactions of cell and layout information 1) each cell as a semantic unit 2) classification of cell positions. The pre trained StructuralLM achieves new state of the art results in different types of downstream tasks, including form understanding (from 78.95 to 85.14), document visual question answering (from 72.59 to 83.94) and document image classification (from 94.43 to 96.08).


ORPHEUS Living Labs for End to End Data Infrastructures for Digital Agriculture. IoT networks are being used to collect, analyze, and utilize sensor data. There are still some key requirements to leverage IoT networks in digital agriculture, e.g., design and deployment of energy saving and ruggedized sensor nodes (SN), reliable and long range wireless network connectivity, end to end data collection pipelines for batch and streaming data. Thus, we introduce our living lab ORPHEUS and its design and implementation trajectory to showcase our orchestrated testbed of IoT sensors, data connectivity, database orchestration, and visualization dashboard. We deploy light weight energy saving SNs in the field to collect data, using LoRa (Long Range wireless) to transmit data from the SNs to the Gateway node, upload all the data to the database server, and finally visualize the data. For future exploration, we also built a testbed of embedded devices using four different variants of NVIDIA Jetson development modules (Nano, TX2, Xavier NX, AGX Xavier) to benchmark the potential upgrade choices for SNs in ORPHEUS. Based on our deployment in multiple farms in a 3 county region around Purdue University, and on the Purdue University campus, we present analyses from our living lab deployment and additional components of the next generation IoT farm.


Classifying Dyads for Militarized Conflict Analysis. Understanding the origins of militarized conflict is a complex, yet important undertaking. Existing research seeks to build this understanding by considering bi lateral relationships between entity pairs (dyadic causes) and multi lateral relationships among multiple entities (systemic causes). The aim of this work is to compare these two causes in terms of how they correlate with conflict between two entities. We do this by devising a set of textual and graph based features which represent each of the causes. The features are extracted from Wikipedia and modeled as a large graph. Nodes in this graph represent entities connected by labeled edges representing ally or enemy relationships. This allows casting the problem as an edge classification task, which we term dyad classification. We propose and evaluate classifiers to determine if a particular pair of entities are allies or enemies. Our results suggest that our systemic features might be slightly better correlates of conflict. Further, we find that Wikipedia articles of allies are semantically more similar than enemies.


Graphs with all holes the same length. A graph is " ell holed" if all its induced cycles of length at least four have length exactly ell . We give a complete description of the ell holed graphs for each ell ge 7 .


Towards the Unseen Iterative Text Recognition by Distilling from Errors. Visual text recognition is undoubtedly one of the most extensively researched topics in computer vision. Great progress have been made to date, with the latest models starting to focus on the more practical "in the wild" setting. However, a salient problem still hinders practical deployment prior arts mostly struggle with recognising unseen (or rarely seen) character sequences. In this paper, we put forward a novel framework to specifically tackle this "unseen" problem. Our framework is iterative in nature, in that it utilises predicted knowledge of character sequences from a previous iteration, to augment the main network in improving the next prediction. Key to our success is a unique cross modal variational autoencoder to act as a feedback module, which is trained with the presence of textual error distribution data. This module importantly translate a discrete predicted character space, to a continuous affine transformation parameter space used to condition the visual feature map at next iteration. Experiments on common datasets have shown competitive performance over state of the arts under the conventional setting. Most importantly, under the new disjoint setup where train test labels are mutually exclusive, ours offers the best performance thus showcasing the capability of generalising onto unseen words.


Bounding cohomology on a smooth projective surface with Picard number two revisited. We say a smooth projective surface X satisfies the bounding cohomology if there exists a positive constant c X such that h 1( mathcal O X(C)) le c Xh 0( mathcal O X(C)) for every prime divisor C on X . Let the closed Mori cone overline mathrm NE (X) mathbb R ge0 C 1 mathbb R ge0 C 2 such that C 1 and C 2 with C 2 2 0 are some curves on X . If either (i) the Kodaira dimension kappa(X) le1 or (ii) kappa(X) 2 , the irregularity q(X) 0 and the Iitaka dimension kappa(X,C 1) 1 , then we prove that X satisfies the bounding cohomology.


Discovering an Algorithm Actually Learning Restricted Single Occurrence Regular Expression with Interleaving. A recent paper proposed an algorithm iSOIRE, which combines single occurrence automaton (SOA) and maximum independent set (MIS) to learn a subclass single occurrence regular expressions with interleaving (SOIREs) and claims the learnt expression is SOIRE, which has unrestricted usage for interleaving. However, in reality, the learnt expression still has many restrictions for using interleaving, even does for Kleene star or interation, i.e, the learnt expression is not an SOIRE, we prove that by examples. In this paper, for the algorithm iSOIRE, we first give the basic notions, then provide analyses about incorrectness, finally present the correct result learnt by iSOIRE. Our theoretical analyses demonstrate that the result derived by iSOIRE belongs to a subclass of SOIREs.


Targeted Ads and as Racial Discrimination Exploring Trends in New York City Ads for College Scholarships. This paper uses and recycles data from a third party digital marketing firm, to explore how targeted ads contribute to larger systems of racial discrimination. Focusing on a case study of targeted ads for educational searches in New York City, it discusses data visualizations and mappings of trends in the advertisements' targeted populations alongside U.S census data corresponding to these target zipcodes. We summarize and reflect on the results to consider how internet platforms systemically and differentially target advertising messages to users based on race the tangible harms and risks that result from an internet traffic system designed to discriminate and finally, novel approaches and frameworks for further auditing systems amid opaque, black boxed processes forestalling transparency and accountability.


Trace functions and fusion rules of diagonal coset vertex operator algebras. In this paper, irreducible modules of the diagonal coset vertex operator algebra C(L mathfrak g (k l,0),L mathfrak g (k,0) otimes L mathfrak g (l,0)) are classified under the assumption that C(L mathfrak g (k l,0),L mathfrak g (k,0) otimes L mathfrak g (l,0)) is rational, C 2 cofinite and certain additional assumption. An explicit modular transformation formula of traces functions of C(L mathfrak g (k l,0),L mathfrak g (k,0) otimes L mathfrak g (l,0)) is obtained. As an application, the fusion rules of C(L E 8 (k 2,0), L E 8 (k,0) otimes L E 8 (2,0)) are determined by using the Verlinde formula.


Hyperbolic Basis Functions for Time Transient Analysis of Eddy Currents in Conductive and Magnetic Thin Sheets. This paper presents a new time domain finite element approach for modelling thin sheets with hyperbolic basis functions derived from the well known steady state solution of the linear flux diffusion equation. The combination of solutions at different operating frequencies permits the representation of the time evolution of field quantities in the magnetic field formulation. This approach is here applied to solve a planar shielding problem in harmonic and time dependent simulations for materials with either linear or nonlinear characteristics. Local and global quantities show good agreement with the reference solutions obtained by the standard finite element method on a complete and representative discretization of the region exposed to a time varying magnetic field.


Tabletop Object Rearrangement Team ACRV's Entry to OCRTOC. Open Cloud Robot Table Organization Challenge (OCRTOC) is one of the most comprehensive cloud based robotic manipulation competitions. It focuses on rearranging tabletop objects using vision as its primary sensing modality. In this extended abstract, we present our entry to the OCRTOC2020 and the key challenges the team has experienced.


Frequency power spectra of global quantities in magnetoconvection. We present the results of direct numerical simulations of power spectral densities for kinetic energy, convective entropy and heat flux for unsteady Rayleigh B ' e nard magnetoconvection in the frequency space. For larger values of frequency, the power spectral densities for all the global quantities vary with frequency f as f 2 . The scaling exponent is independent of Rayleigh number, Chandrasekhar's number and thermal Prandtl number.


Single molecule force spectroscopy reveals structural differences of heparan sulfate chains during binding to vitronectin. The syndecans represent an ongoing research field focused on their regulatory roles in normal and pathological conditions. Syndecan's role in cancer progression becomes well documented, implicating their importance in diagnosis and even proposing various cancer potential treatments. Thus, the characterization of the unbinding properties at the single molecules level will appeal to their use as targets for therapeutics. In our study, syndecan 1 and syndecan 4 were measured during the interaction with the vitronectin HEP II binding site. Our findings show that syndecans are calcium ion dependent molecules that reveal distinct, unbinding properties indicating the alterations in heparin sulfate chain structure, possibly in the chain sequence or sulfation pattern. In that way, we suppose that HS chain affinity to ECM proteins may govern cancer invasion by altering syndecan ability to interact with cancer related receptors present in the tumor microenvironment, thereby promoting the activation of various signaling cascades regulating tumor cell behavior.


The Hadwiger theorem on convex functions. II. A new version of the Hadwiger theorem on convex functions is established and an explicit representation of functional intrinsic volumes is found using new functional Cauchy Kubota formulas. In addition, connections between functional intrinsic volumes and their classical counterparts are obtained and non negative valuations are classified.


Agile Elicitation of Scalability Requirements for Open Systems A Case Study. Eliciting scalability requirements during agile software development is complicated and poorly described in previous research. This article presents a lightweight artifact for eliciting scalability requirements during agile software development the ScrumScale model. The ScrumScale model is a simple spreadsheet. The scalability concepts underlying the ScrumScale model are clarified in this design science research, which also utilizes coordination theory. This paper describes the open banking case study, where a legacy banking system becomes open. This challenges the scalability of this legacy system. The first step in understanding this challenge is to elicit the new scalability requirements. In the open banking case study, key stakeholders from TietoEVRY spent 55 hours eliciting TietoEVRY's open banking project's scalability requirements. According to TietoEVRY, the ScrumScale model provided a systematic way of producing scalability requirements. For TietoEVRY, the scalability concepts behind the ScrumScale model also offered significant advantages in dialogues with other stakeholders.


AEI Actors Environment Interaction with Adaptive Attention for Temporal Action Proposals Generation. Humans typically perceive the establishment of an action in a video through the interaction between an actor and the surrounding environment. An action only starts when the main actor in the video begins to interact with the environment, while it ends when the main actor stops the interaction. Despite the great progress in temporal action proposal generation, most existing works ignore the aforementioned fact and leave their model learning to propose actions as a black box. In this paper, we make an attempt to simulate that ability of a human by proposing Actor Environment Interaction (AEI) network to improve the video representation for temporal action proposals generation. AEI contains two modules, i.e., perception based visual representation (PVR) and boundary matching module (BMM). PVR represents each video snippet by taking human human relations and humans environment relations into consideration using the proposed adaptive attention mechanism. Then, the video representation is taken by BMM to generate action proposals. AEI is comprehensively evaluated in ActivityNet 1.3 and THUMOS 14 datasets, on temporal action proposal and detection tasks, with two boundary matching architectures (i.e., CNN based and GCN based) and two classifiers (i.e., Unet and P GCN). Our AEI robustly outperforms the state of the art methods with remarkable performance and generalization for both temporal action proposal generation and temporal action detection.


Branching Time Active Inference empirical study and complexity class analysis. Active inference is a state of the art framework for modelling the brain that explains a wide range of mechanisms such as habit formation, dopaminergic discharge and curiosity. However, recent implementations suffer from an exponential (space and time) complexity class when computing the prior over all the possible policies up to the time horizon. Fountas et al. (2020) used Monte Carlo tree search to address this problem, leading to very good results in two different tasks. Additionally, Champion et al. (2021a) proposed a tree search approach based on structure learning. This was enabled by the development of a variational message passing approach to active inference (Champion et al., 2021b), which enables compositional construction of Bayesian networks for active inference. However, this message passing tree search approach, which we call branching time active inference (BTAI), has never been tested empirically. In this paper, we present an experimental study of the approach (Champion et al., 2021a) in the context of a maze solving agent. In this context, we show that both improved prior preferences and deeper search help mitigate the vulnerability to local minima. Then, we compare BTAI to standard active inference (AI) on a graph navigation task. We show that for small graphs, both BTAI and AI successfully solve the task. For larger graphs, AI exhibits an exponential (space) complexity class, making the approach intractable. However, BTAI explores the space of policies more efficiently, successfully scaling to larger graphs.


A representation theorem for the Lorentz cone automorphisms. In this note we prove a representation theorem for the symmetric cone automorphisms in the spin algebra , Ln .


Orientation based edge colorings and linear arboricity of multigraphs. The Goldberg Seymour Conjecture for f colorings states that the f chromatic index of a loopless multigraph is essentially determined by either a maximum degree or a maximum density parameter. We introduce an oriented version of f colorings, where now each color class of the edge coloring is required to be orientable in such a way that every vertex v has indegree and outdegree at most some specified values g(v) and h(v) . We prove that the associated (g,h) oriented chromatic index satisfies a Goldberg Seymour formula. We then present simple applications of this result to variations of f colorings. In particular, we show that the Linear Arboricity Conjecture holds for k degenerate loopless multigraphs when the maximum degree is at least 4k 2 , improving a bound recently announced by Chen, Hao, and Yu for simple graphs. Finally, we demonstrate that the (g,h) oriented chromatic index is always equal to its list coloring analogue.