Combining reconstruction and edge detection in computed tomography. We present two methods that combine image reconstruction and edge detection in computed tomography (CT) scans. Our first method is as an extension of the prominent filtered backprojection algorithm. In our second method we employ ell 1 regularization for stable calculation of the gradient. As opposed to the first method, we show that this approach is able to compensate for undersampled CT data.


Fast sampling via spectral independence beyond bounded degree graphs. Spectral independence is a recently developed framework for obtaining sharp bounds on the convergence time of the classical Glauber dynamics. This new framework has yielded optimal O(n log n) sampling algorithms on bounded degree graphs for a large class of problems throughout the so called uniqueness regime, including, for example, the problems of sampling independent sets, matchings, and Ising model configurations. Our main contribution is to relax the bounded degree assumption that has so far been important in establishing and applying spectral independence. Previous methods for avoiding degree bounds rely on using L p norms to analyse contraction on graphs with bounded connective constant (Sinclair, Srivastava, Yin FOCS'13). The non linearity of L p norms is an obstacle to applying these results to bound spectral independence. Our solution is to capture the L p analysis recursively by amortising over the subtrees of the recurrence used to analyse contraction. Our method generalises previous analyses that applied only to bounded degree graphs. As a main application of our techniques, we consider the random graph G(n,d n) , where the previously known algorithms run in time n O( log d) or applied only to large d . We refine these algorithmic bounds significantly, and develop fast n 1 o(1) algorithms based on Glauber dynamics that apply to all d , throughout the uniqueness regime.


Moduli stack of oriented formal groups and periodic complex bordism. We introduce and study the non connective spectral stack mathcal M mathrm FG mathrm or , the moduli stack of oriented formal groups. We realize some results of chromatic homotopy theory in terms of the geometry of this stack. For instance, we show that its descent spectral sequence recovers the Adams Novikov spectral sequence. For two mathbb E infty forms of periodic complex bordism mathrm MP , the Thom spectrum and Snaith construction model, we describe the universal property of the cover mathrm Spec ( mathrm MP ) to mathcal M mathrm FG mathrm or . We show that Quillen's celebrated theorem on complex bordism is equivalent to the assertion that the underlying ordinary stack of mathcal M mathrm FG mathrm or is the classical stack of ordinary formal groups mathcal M heartsuit mathrm FG . In order to carry out all of the above, we develop foundations of a functor of points approach to non connective spectral algebraic geometry.


Towards the Internet of Behaviors in airports with a fog to cloud approach. Recent advances in Internet of Things (IoT) and the rising of the Internet of Behavior (IoB) have made it possible to develop real time improved traveler assistance tools for mobile phones, assisted by cloud based machine learning, and using fog computing in between IoT and the Cloud. Within the Horizon2020 funded mF2C project an Android app has been developed exploiting the proximity marketing concept and covers the essential path through the airport onto the flight, from the least busy security queue through to the time to walk to gate, gate changes, and other obstacles. It gives chance to travelers to discover the facilities of the airport, aided by a recommender system using machine learning, that can make recommendations and offer voucher according with the traveler's preferences or on similarities to other travelers. The system provides obvious benefits to the airport planners, not only people tracking in the shops area, but also aggregated and anonymized view, like heat maps that can highlight bottlenecks in the infrastructure, or suggest situations that require intervention, such as emergencies. With the emerging of the COVID pandemic the tool could be adapted to help in the social distancing to guarantee safety. The use of the fog to cloud platform and the fulfilling of all centricity and privacy requirements of the IoB give evidence of the impact of the solution in a smart city environment.


Modeling Immunity to Malaria with an Age Structured PDE Framework. Malaria is one of the deadliest infectious diseases globally, causing hundreds of thousands of deaths each year. It disproportionately affects young children, with two thirds of fatalities occurring in under fives. Individuals acquire protection from disease through repeated exposure, and this immunity plays a crucial role in the dynamics of malaria spread. We develop a novel age structured PDE malaria model, which couples vector host epidemiological dynamics with immunity dynamics. Our model tracks the acquisition and loss of anti disease immunity during transmission and its corresponding nonlinear feedback onto the transmission parameters. We derive the basic reproduction number ( mathcal R 0 ) as the threshold condition for the stability of disease free equilibrium we also interpret mathcal R 0 probabilistically as a weighted sum of cases generated by infected individuals at different infectious stages and different ages. We parametrize our model using demographic and immunological data from sub Saharan regions. Numerical bifurcation analysis demonstrates the existence of an endemic equilibrium, and we observe a forward bifurcation in mathcal R 0 . Our numerical simulations reproduce the heterogeneity in the age distributions of immunity profiles and infection status created by frequent exposure. Motivated by the recently approved RTS,S vaccine, we also study the impact of vaccination our results show a reduction in severe disease among young children but a small increase in severe malaria among older children due to lower acquired immunity from delayed exposure.


Improving Pose Estimation through Contextual Activity Fusion. This research presents the idea of activity fusion into existing Pose Estimation architectures to enhance their predictive ability. This is motivated by the rise in higher level concepts found in modern machine learning architectures, and the belief that activity context is a useful piece of information for the problem of pose estimation. To analyse this concept we take an existing deep learning architecture and augment it with an additional 1x1 convolution to fuse activity information into the model. We perform evaluation and comparison on a common pose estimation dataset, and show a performance improvement over our baseline model, especially in uncommon poses and on typically difficult joints. Additionally, we perform an ablative analysis to indicate that the performance improvement does in fact draw from the activity information.


TransTailor Pruning the Pre trained Model for Improved Transfer Learning. The increasing of pre trained models has significantly facilitated the performance on limited data tasks with transfer learning. However, progress on transfer learning mainly focuses on optimizing the weights of pre trained models, which ignores the structure mismatch between the model and the target task. This paper aims to improve the transfer performance from another angle in addition to tuning the weights, we tune the structure of pre trained models, in order to better match the target task. To this end, we propose TransTailor, targeting at pruning the pre trained model for improved transfer learning. Different from traditional pruning pipelines, we prune and fine tune the pre trained model according to the target aware weight importance, generating an optimal sub model tailored for a specific target task. In this way, we transfer a more suitable sub structure that can be applied during fine tuning to benefit the final performance. Extensive experiments on multiple pre trained models and datasets demonstrate that TransTailor outperforms the traditional pruning methods and achieves competitive or even better performance than other state of the art transfer learning methods while using a smaller model. Notably, on the Stanford Dogs dataset, TransTailor can achieve 2.7 accuracy improvement over other transfer methods with 20 fewer FLOPs.


Homogenization of the Stokes system in a non periodically perforated domain. In our recent work 8 , we have studied the homogenization of the Poisson equation in a class of non periodically perforated domains. In this paper, we examine the case of the Stokes system. We consider a porous medium in which the characteristic distance between two holes, denoted by epsilon , is proportional to the characteristic size of the holes. It is well known (see 1 , 17 and 19 ) that, when the holes are periodically distributed in space, the velocity converges to a limit given by the Darcy's law when the size of the holes tends to zero. We generalize these results to the setting of 8 . The non periodic domains are defined as a local perturbation of a periodic distribution of holes. We obtain classical results of the homogenization theory in perforated domains (existence of correctors and regularity estimates uniform in epsilon ) and we prove H 2 convergence estimates for particular force fields.


On the expressive power of non deterministic and unambiguous Petri nets over infinite words. We prove that omega languages of (non deterministic) Petri nets and omega languages of (non deterministic) Turing machines have the same topological complexity the Borel and Wadge hierarchies of the class of omega languages of (non deterministic) Petri nets are equal to the Borel and Wadge hierarchies of the class of omega languages of (non deterministic) Turing machines. We also show that it is highly undecidable to determine the topological complexity of a Petri net omega language. Moreover, we infer from the proofs of the above results that the equivalence and the inclusion problems for omega languages of Petri nets are Pi 2 1 complete, hence also highly undecidable. Additionally, we show that the situation is quite the opposite when considering unambiguous Petri nets, which have the semantic property that at most one accepting run exists on every input. We provide a procedure of determinising them into deterministic Muller counter machines with counter copying. As a consequence, we entail that the omega languages recognisable by unambiguous Petri nets are Delta 0 3 sets.


Planar and Toroidal Morphs Made Easier. We present simpler algorithms for two closely related morphing problems, both based on the barycentric interpolation paradigm introduced by Floater and Gotsman, which is in turn based on Floater's asymmetric extension of Tutte's classical spring embedding theorem. First, we give a much simpler algorithm to construct piecewise linear morphs between planar straight line graphs. Specifically, given isomorphic straight line drawings Gamma 0 and Gamma 1 of the same 3 connected planar graph G , with the same convex outer face, we construct a morph from Gamma 0 to Gamma 1 that consists of O(n) unidirectional morphing steps, in O(n 1 omega 2 ) time. Our algorithm entirely avoids the classical edge collapsing strategy dating back to Cairns instead, in each morphing step, we interpolate the pair of weights associated with a single edge. Second, we describe a natural extension of barycentric interpolation to geodesic graphs on the flat torus. Barycentric interpolation cannot be applied directly in this setting, because the linear systems defining intermediate vertex positions are not necessarily solvable. We describe a simple scaling strategy that circumvents this issue. Computing the appropriate scaling requires O(n omega 2 ) time, after which we can can compute the drawing at any point in the morph in O(n omega 2 ) time. Our algorithm is considerably simpler than the recent algorithm of Chambers et al. (arXiv 2007.07927) and produces more natural morphs. Our techniques also yield a simple proof of a conjecture of Connelly et al. for geodesic torus triangulations.


A Variational Theory of Lift. In this paper, we revive a special, less common, variational principle in analytical mechanics (Hertz' principle of least curvature) to develop a novel variational analogue of Euler's equations for the dynamics of an ideal fluid. The new variational formulation is fundamentally different from those formulations based on Hamilton's principle of least action. Using this new variational formulation, we generalize the century old problem of the flow over a two dimensional body, to find that lift is a direct consequence of curvature. The developed variational principle reduces to the classical Kutta Zhukovsky condition in the special case of a sharp edged airfoil, which challenges the accepted wisdom about the Kutta condition being a manifestation of viscous effects. Rather, we found that it represents conservation of momentum. Moreover, the developed variational principle provides, for the first time, a theoretical model for lift over smooth shapes without sharp edges where the Kutta condition is not applicable. We discuss how this fundamental divergence from current theory can explain discrepancies in computational studies and experiments with superfluids.


Domain Adaptation for Semantic Segmentation via Patch Wise Contrastive Learning. We introduce a novel approach to unsupervised and semi supervised domain adaptation for semantic segmentation. Unlike many earlier methods that rely on adversarial learning for feature alignment, we leverage contrastive learning to bridge the domain gap by aligning the features of structurally similar label patches across domains. As a result, the networks are easier to train and deliver better performance. Our approach consistently outperforms state of the art unsupervised and semi supervised methods on two challenging domain adaptive segmentation tasks, particularly with a small number of target domain annotations. It can also be naturally extended to weakly supervised domain adaptation, where only a minor drop in accuracy can save up to 75 of annotation cost.


A Characteristic Mapping Method for Tracer Transport on the Sphere. A semi Lagrangian Characteristic Mapping method for the solution of the tracer transport equations on the sphere is presented. The method solves for the solution operator of the equations by approximating the inverse of the diffeomorphism generated by a given velocity field. The evolution of any tracer and mass density can then be computed via pullback with this map. We present a novel spatial discretization of the manifold valued map using a projection based approach with spherical spline interpolation. The numerical scheme yields C 1 continuity for the map and global second order accuracy for the solution of the tracer transport equations. Error estimates are provided and supported by convergence tests involving solid body rotation, moving vortices, deformational, and compressible flows. Additionally, we illustrate some unique features of computing the solution operator using a numerical mixing test and the transport of a fractal set in a complex flow environment.


Coincident point rigidity in normed planes. A bar joint framework (G,p) is the combination of a graph G and a map p assigning positions, in some space, to the vertices of G . The framework is rigid if every edge length preserving continuous motion of the vertices arises from an isometry of the space. We will analyse rigidity when the space is a (non Euclidean) normed plane and two designated vertices are mapped to the same position. This non genericity assumption leads us to a count matroid first introduced by Jackson, Kaszanitsky and the third author. We show that independence in this matroid is equivalent to independence as a suitably regular bar joint framework in a normed plane with two coincident points this characterises when a regular normed plane coincident point framework is rigid and allows us to deduce a delete contract characterisation. We then apply this result to show that an important construction operation (generalised vertex splitting) preserves the stronger property of global rigidity in normed planes and use this to construct rich families of globally rigid graphs when the normed plane is analytic.


Semantically Distributed Robust Optimization for Vision and Language Inference. Analysis of vision and language models has revealed their brittleness under linguistic phenomena such as paraphrasing, negation, textual entailment, and word substitutions with synonyms or antonyms. While data augmentation techniques have been designed to mitigate against these failure modes, methods that can integrate this knowledge into the training pipeline remain under explored. In this paper, we present textbf SDRO , a model agnostic method that utilizes a set linguistic transformations in a distributed robust optimization setting, along with an ensembling technique to leverage these transformations during inference. Experiments on benchmark datasets with images (NLVR 2 ) and video (VIOLIN) demonstrate performance improvements as well as robustness to adversarial attacks. Experiments on binary VQA explore the generalizability of this method to other V L tasks.


Dynamics of ultrafast heated radiative plasmas driven by petawatt laser lights. A relativistic petawatt laser light can heat heavy metals over keV temperature isochorically and ionize them almost fully. Copious hard X rays are emitted from the high Z hot plasma which acts as X ray sources, while they work as a cooling process of the plasma. The cooling process can affect on the creation of high energy density plasma via the interaction, however, the details are unknown. The X ray spectrum depends on the plasma temperature, so that it is worthwhile to investigate the radiation cooling effects. We here study the isochoric heating of a solid silver foil irradiated by relativistic laser lights with a help of particle in cell simulations including Coulomb collisions, ionizations, and radiation processes. We have conducted a parameter survey varying laser intensity, 10 18 20 , rm W cm 2 , to check the cooling effects while keeping the incident laser energy constant. The silver plasma heated mainly by the resistive heating dissipates its energy by keV X ray emissions in a picosecond time scale. The radiation power from the silver foil is found to be comparable to the incident laser power when the laser intensity is less than 10 19 , rm W cm 2 under the constant energy situation. The evolution of the plasma energy density inside the target is then suppressed, due to which a highly compressed collisional shock is formed at the target surface and propagates into the plasma. The radiation spectra of the keV silver plasma are also demonstrated.


Toward an Idiomatic Framework for Cognitive Robotics. Inspired by the "Cognitive Hour glass" model presented in https doi.org 10.1515 jagi 2016 0001, we propose a new framework for developing cognitive architectures aimed at cognitive robotics. The purpose of the proposed framework is foremost to ease the development of cognitive architectures by encouraging and mitigating cooperation and re use of existing results. This is done by proposing a framework dividing the development of cognitive architectures into a series of layers that can be considered partly in isolation, and some of which directly relate to other research fields. Finally, we give introductions to and review some topics essential to the proposed framework.


Deep ReLU neural network approximation of parametric and stochastic PDEs with lognormal inputs. We investigate non adaptive methods of deep ReLU neural network approximation of the solution u to parametric and stochastic elliptic PDEs with lognormal inputs on non compact set mathbb R infty . The approximation error is measured in the norm of the Bochner space L 2( mathbb R infty, V, gamma) , where gamma is the tensor product standard Gaussian probability on mathbb R infty and V is the energy space. The approximation is based on an m term truncation of the Hermite generalized polynomial chaos expansion (gpc) of u . Under a certain assumption on ell q summability condition for lognormal inputs ( 0 q infty ), we proved that for every integer n 1 , one can construct a non adaptive compactly supported deep ReLU neural network boldsymbol phi n of size not greater than n on mathbb R m with m mathcal O (n log n) , having m outputs so that the summation constituted by replacing polynomials in the m term truncation of Hermite gpc expansion by these m outputs approximates u with an error bound mathcal O left( left(n log n right) 1 q right) . This error bound is comparable to the error bound of the best approximation of u by n term truncations of Hermite gpc expansion which is mathcal O (n 1 q ) . We proved an analogous result on approximation of holomorphic functions with values in a Hilbert space X which represent solution maps to a wide range of parametric PDEs. Both these results are derived from a result on deep ReLU neural network approximation in a general Bochner space L 2( mathbb R infty X, gamma) . also obtained some results on similar problems for parametric and stochastic elliptic PDEs with affine inputs, based on the Jacobi and Taylor gpc expansions.


gen2Out Detecting and Ranking Generalized Anomalies. In a cloud of m dimensional data points, how would we spot, as well as rank, both single point as well as group anomalies? We are the first to generalize anomaly detection in two dimensions The first dimension is that we handle both point anomalies, as well as group anomalies, under a unified view we shall refer to them as generalized anomalies. The second dimension is that gen2Out not only detects, but also ranks, anomalies in suspiciousness order. Detection, and ranking, of anomalies has numerous applications For example, in EEG recordings of an epileptic patient, an anomaly may indicate a seizure in computer network traffic data, it may signify a power failure, or a DoS DDoS attack. We start by setting some reasonable axioms surprisingly, none of the earlier methods pass all the axioms. Our main contribution is the gen2Out algorithm, that has the following desirable properties (a) Principled and Sound anomaly scoring that obeys the axioms for detectors, (b) Doubly general in that it detects, as well as ranks generalized anomaly both point and group anomalies, (c) Scalable, it is fast and scalable, linear on input size. (d) Effective, experiments on real world epileptic recordings (200GB) demonstrate effectiveness of gen2Out as confirmed by clinicians. Experiments on 27 real world benchmark datasets show that gen2Out detects ground truth groups, matches or outperforms point anomaly baseline algorithms on accuracy, with no competition for group anomalies and requires about 2 minutes for 1 million data points on a stock machine.


Module Power Prediction from PL Measurements using Deep Learning. The individual causes for power loss of photovoltaic modules are investigated for quite some time. Recently, it has been shown that the power loss of a module is, for example, related to the fraction of inactive areas. While these areas can be easily identified from electroluminescense (EL) images, this is much harder for photoluminescence (PL) images. With this work, we close the gap between power regression from EL and PL images. We apply a deep convolutional neural network to predict the module power from PL images with a mean absolute error (MAE) of 4.4 or 11.7WP. Furthermore, we depict that regression maps computed from the embeddings of the trained network can be used to compute the localized power loss. Finally, we show that these regression maps can be used to identify inactive regions in PL images as well.


AceNAS Learning to Rank Ace Neural Architectures with Weak Supervision of Weight Sharing. Architecture performance predictors have been widely used in neural architecture search (NAS). Although they are shown to be simple and effective, the optimization objectives in previous arts (e.g., precise accuracy estimation or perfect ranking of all architectures in the space) did not capture the ranking nature of NAS. In addition, a large number of ground truth architecture accuracy pairs are usually required to build a reliable predictor, making the process too computationally expensive. To overcome these, in this paper, we look at NAS from a novel point of view and introduce Learning to Rank (LTR) methods to select the best (ace) architectures from a space. Specifically, we propose to use Normalized Discounted Cumulative Gain (NDCG) as the target metric and LambdaRank as the training algorithm. We also propose to leverage weak supervision from weight sharing by pretraining architecture representation on weak labels obtained from the super net and then finetuning the ranking model using a small number of architectures trained from scratch. Extensive experiments on NAS benchmarks and large scale search spaces demonstrate that our approach outperforms SOTA with a significantly reduced search cost.


A Federated Learning Framework for Smart Grids Securing Power Traces in Collaborative Learning. With the deployment of smart sensors and advancements in communication technologies, big data analytics have become vastly popular in the smart grid domain, informing stakeholders of the best power utilization strategy. However, these power related data are stored and owned by different parties. For example, power consumption data are stored in numerous transformer stations across cities mobility data of the population, which are important indicators of power consumption, are held by mobile companies. Direct data sharing might compromise party benefits, individual privacy and even national security. Inspired by the federated learning scheme from Google AI, we propose a federated learning framework for smart grids, which enables collaborative learning of power consumption patterns without leaking individual power traces. Horizontal federated learning is employed when data are scattered in the sample space vertical federated learning, on the other hand, is designed for the case with data scattered in the feature space. Case studies show that, with proper encryption schemes such as Paillier encryption, the machine learning models constructed from the proposed framework are lossless, privacy preserving and effective. Finally, the promising future of federated learning in other facets of the smart grid is discussed, including electric vehicles, distributed generation consumption and integrated energy systems.


Connected greedy colourings of perfect graphs and other classes the good, the bad and the ugly. The Grundy number of a graph is the maximum number of colours used by the First Fit'' greedy colouring algorithm over all vertex orderings. Given a vertex ordering sigma v 1, dots,v n , the First Fit'' greedy colouring algorithm colours the vertices in the order of sigma by assigning to each vertex the smallest colour unused in its neighbourhood. By restricting this procedure to vertex orderings that are connected, we obtain em connected greedy colourings . For some graphs, all connected greedy colourings use exactly chi(G) colours they are called em good graphs . On the opposite, some graphs do not admit any connected greedy colouring using only chi(G) colours they are called em ugly graphs . We show that no perfect graph is ugly. We also give simple proofs of this fact for subclasses of perfect graphs (block graphs, comparability graphs), and show that no K 4 minor free graph is ugly.


Influence of flux limitation on large time behavior in a three dimensional chemotaxis Stokes system modeling coral fertilization. In this paper, we consider the following system left begin array ll n t u cdot nabla n Delta n nabla cdot(n mathcal S ( nabla c 2) nabla c) nm, c t u cdot nabla c Delta c c m, m t u cdot nabla m Delta m mn, u t Delta u nabla P (n m) nabla Phi, qquad nabla cdot u 0 end array right. which models the process of coral fertilization, in a smoothly three dimensional bounded domain, where mathcal S is a given function fulfilling mathcal S ( sigma) leq K mathcal S (1 sigma) frac theta 2 , qquad sigma geq 0 with some K mathcal S 0. Based on conditional estimates of the quantity c and the gradients thereof, a relatively compressed argument as compared to that proceeding in related precedents shows that if theta 0, then for any initial data with proper regularity an associated initial boundary problem under no flux no flux no flux Dirichlet boundary conditions admits a unique classical solution which is globally bounded, and which also enjoys the stabilization features in the sense that n( cdot,t) n infty L infty ( Omega) c( cdot,t) m infty W 1, infty ( Omega) m( cdot,t) m infty W 1, infty ( Omega) u( cdot,t) L infty ( Omega) rightarrow0 quad textrm as t rightarrow infty with n infty frac 1 Omega left int Omega n 0 int Omega m 0 right and m infty frac 1 Omega left int Omega m 0 int Omega n 0 right .


Conditional DETR for Fast Training Convergence. The recently developed DETR approach applies the transformer encoder and decoder architecture to object detection and achieves promising performance. In this paper, we handle the critical issue, slow training convergence, and present a conditional cross attention mechanism for fast DETR training. Our approach is motivated by that the cross attention in DETR relies highly on the content embeddings for localizing the four extremities and predicting the box, which increases the need for high quality content embeddings and thus the training difficulty. Our approach, named conditional DETR, learns a conditional spatial query from the decoder embedding for decoder multi head cross attention. The benefit is that through the conditional spatial query, each cross attention head is able to attend to a band containing a distinct region, e.g., one object extremity or a region inside the object box. This narrows down the spatial range for localizing the distinct regions for object classification and box regression, thus relaxing the dependence on the content embeddings and easing the training. Empirical results show that conditional DETR converges 6.7x faster for the backbones R50 and R101 and 10x faster for stronger backbones DC5 R50 and DC5 R101. Code is available at https github.com Atten4Vis ConditionalDETR.


A Feynman Kac based numerical method for the exit time probability of a class of transport problems. The exit time probability, which gives the likelihood that an initial condition leaves a prescribed region of the phase space of a dynamical system at, or before, a given time, is arguably one of the most natural and important transport problems. Here we present an accurate and efficient numerical method for computing this probability for systems described by non autonomous (time dependent) stochastic differential equations (SDEs) or their equivalent Fokker Planck partial differential equations. The method is based on the direct approximation of the Feynman Kac formula that establishes a link between the adjoint Fokker Planck equation and the forward SDE. The Feynman Kac formula is approximated using the Gauss Hermite quadrature rules and piecewise cubic Hermite interpolating polynomials, and a GPU accelerated matrix representation is used to compute the entire time evolution of the exit time probability using a single pass of the algorithm. The method is unconditionally stable, exhibits second order convergence in space, first order convergence in time, and is straightforward to parallelize. Applications are presented to the advection diffusion of a passive tracer in a fluid flow exhibiting chaotic advection, and to the runaway acceleration of electrons in a plasma in the presence of an electric field, collisions, and radiation damping. Benchmarks against analytical solutions as well as comparisons with explicit and implicit finite difference standard methods for the adjoint Fokker Planck equation are presented.


Detecting Human Object Interaction via Fabricated Compositional Learning. Human Object Interaction (HOI) detection, inferring the relationships between human and objects from images videos, is a fundamental task for high level scene understanding. However, HOI detection usually suffers from the open long tailed nature of interactions with objects, while human has extremely powerful compositional perception ability to cognize rare or unseen HOI samples. Inspired by this, we devise a novel HOI compositional learning framework, termed as Fabricated Compositional Learning (FCL), to address the problem of open long tailed HOI detection. Specifically, we introduce an object fabricator to generate effective object representations, and then combine verbs and fabricated objects to compose new HOI samples. With the proposed object fabricator, we are able to generate large scale HOI samples for rare and unseen categories to alleviate the open long tailed issues in HOI detection. Extensive experiments on the most popular HOI detection dataset, HICO DET, demonstrate the effectiveness of the proposed method for imbalanced HOI detection and significantly improve the state of the art performance on rare and unseen HOI categories. Code is available at https github.com zhihou7 HOI CL.


Deep Structured Teams in Arbitrary Size Linear Networks Decentralized Estimation, Optimal Control and Separation Principle. In this article, we introduce decentralized Kalman filters for linear quadratic deep structured teams. The agents in deep structured teams are coupled in dynamics, costs and measurements through a set of linear regressions of the states and actions (also called deep states and deep actions). The information structure is decentralized, where every agent observes a noisy measurement of its local state and the global deep state. Since the number of agents is often very large in deep structured teams, any naive approach to finding an optimal Kalman filter suffers from the curse of dimensionality. Moreover, due to the decentralized nature of information structure, the resultant optimization problem is non convex, in general, where non linear strategies can outperform linear ones. However, we prove that the optimal strategy is linear in the local state estimate as well as the deep state estimate and can be efficiently computed by two scale free Riccati equations and Kalman filters. We propose a bi level orthogonal approach across both space and time levels based on a gauge transformation technique to achieve the above result. We also establish a separation principle between optimal control and optimal estimation. Furthermore, we show that as the number of agents goes to infinity, the Kalman gain associated with the deep state estimate converges to zero at a rate inversely proportional to the number of agents. This leads to a fully decentralized approximate strategy where every agent predicts the deep state by its conditional and unconditional expected value, also known as the certainty equivalence approximation and (weighted) mean field approximation, respectively.


Traveling fronts in a reaction diffusion equation with a memory term. Based on a recent work on traveling waves in spatially nonlocal reaction diffusion equations, we investigate the existence of traveling fronts in reaction diffusion equations with a memory term. We will explain how such memory terms can arise from reduction of reaction diffusion systems if the diffusion constants of the other species can be neglected. In particular, we show that two scale homogenization of spatially periodic systems can induce spatially homogeneous systems with temporal memory. The existence of fronts is proved using comparison principles as well as a reformulation trick involving an auxiliary speed that allows us to transform memory terms into spatially nonlocal terms. Deriving explicit bounds and monotonicity properties of the wave speed of the arising travelingfront, we are able to establish the existence of true traveling fronts for the original problem with memory. Our results are supplemented by numerical simulations.


Towards a Denotational Semantics for Proofs in Constructive Modal Logic. In this paper we provide two new semantics for proofs in the constructive modal logics CK and CD. The first semantics is given by extending the syntax of combinatorial proofs for propositional intuitionistic logic, in which proofs are factorised in a linear fragment (arena net) and a parallel weakening contraction fragment (skew fibration). In particular we provide an encoding of modal formulas by means of directed graphs (modal arenas), and an encoding of linear proofs as modal arenas equipped with vertex partitions satisfying topological criteria. The second semantics is given by means of winning innocent strategies of a two player game over modal arenas. This is given by extending the Heijltjes Hughes Stra ss burger correspondence between intuitionistic combinatorial proofs and winning innocent strategies in a Hyland Ong arena. Using our first result, we provide a characterisation of winning strategies for games on a modal arena corresponding to proofs with modalities.


Scene aware Learning Network for Radar Object Detection. Object detection is essential to safe autonomous or assisted driving. Previous works usually utilize RGB images or LiDAR point clouds to identify and localize multiple objects in self driving. However, cameras tend to fail in bad driving conditions, e.g. bad weather or weak lighting, while LiDAR scanners are too expensive to get widely deployed in commercial applications. Radar has been drawing more and more attention due to its robustness and low cost. In this paper, we propose a scene aware radar learning framework for accurate and robust object detection. First, the learning framework contains branches conditioning on the scene category of the radar sequence with each branch optimized for a specific type of scene. Second, three different 3D autoencoder based architectures are proposed for radar object detection and ensemble learning is performed over the different architectures to further boost the final performance. Third, we propose novel scene aware sequence mix augmentation (SceneMix) and scene specific post processing to generate more robust detection results. In the ROD2021 Challenge, we achieved a final result of average precision of 75.0 and an average recall of 81.0 . Moreover, in the parking lot scene, our framework ranks first with an average precision of 97.8 and an average recall of 98.6 , which demonstrates the effectiveness of our framework.


Measuring frequency dependent selection in culture. Cultural traits such as words, names, decorative styles, and technical standards often assume arbitrary values and are thought to evolve neutrally. But neutral evolution cannot explain why some traits come and go in cycles of popularity while others become entrenched. Here we study frequency dependent selection (FDS) where a trait's tendency to be copied depends on its current frequency regardless of the trait value itself. We develop a maximum likelihood method to infer the precise form of FDS from time series of trait abundance, and we apply the method to data on baby names and pet dog breeds over the last century. We find that the most common names tend to decline by 2 6 per yr on average whereas rare names 1 in 10,000 births tend to increase by 1 3 per yr. This specific form of negative FDS explains patterns of diversity and replicates across the United States, France, Norway and the Netherlands, despite cultural, linguistic and demographic variation. We infer a fixed fitness offset between male and female names that implies different rates of innovation. We also find a strong selective advantage for biblical names in every frequency class, which explains their predominance among the most common names. In purebred dog registrations we infer a form of negative FDS that is consistent with a preference for novelty, in which each year's newest breeds outgrow the previous by about 1 yr, which also recapitulates boom bust cycles in dog fanciers. Finally, we define the concept of effective frequency dependent selection, which enables a meaningful interpretation of inferred FDS even for complex mechanisms of evolution. Our analysis generalizes neutral evolution to incorporate pressures of conformity and anti conformity as fundamental forces in social evolution, and our inference procedure provides a quantitative account of how these forces operate within and across cultures.


CIM PPO Proximal Policy Optimization with Liu Correntropy Induced Metric. As an algorithm based on deep reinforcement learning, Proximal Policy Optimization (PPO) performs well in many complex tasks and has become one of the most popular RL algorithms in recent years. According to the mechanism of penalty in surrogate objective, PPO can be divided into PPO with KL Divergence (KL PPO) and PPO with Clip function(Clip PPO). Clip PPO is widely used in a variety of practical scenarios and has attracted the attention of many researchers. Therefore, many variations have also been created, making the algorithm better and better. However, as a more theoretical algorithm, KL PPO was neglected because its performance was not as good as CliP PPO. In this article, we analyze the asymmetry effect of KL divergence on PPO's objective function , and give the inequality that can indicate when the asymmetry will affect the efficiency of KL PPO. Proposed PPO with Correntropy Induced Metric algorithm(CIM PPO) that use the theory of correntropy(a symmetry metric method that was widely used in M estimation to evaluate two distributions' difference)and applied it in PPO. Then, we designed experiments based on OpenAIgym to test the effectiveness of the new algorithm and compare it with KL PPO and CliP PPO.


Accelerated Multiple Precision Direct Method and Mixed Precision Iterative Refinement on Python Programming Environment. Current Python programming environment does not have any reliable and efficient multiple precision floating point (MPF) arithmetic except mpmath" and gmpy2" packages based on GNU MP(GMP) and MPFR libraries. Although it is well known that multi component type MPF library can be utilized for middle length precision arithmetic under 200 bits, they are not widely used on Python environment. In this paper, we describe our accelerated MPF direct method with AVX2 techniques and its application to mixed precision iterative refinement combined with mpmath, and demonstrate their efficiency on x86 64 computational environments.


On generalized Berwald manifolds of dimension three. A linear connection on a Finsler manifold is called compatible to the Finsler function if its parallel transports preserve the Finslerian length of tangent vectors. Generalized Berwald manifolds are Finsler manifolds equipped with a compatible linear connection. In the paper we present a general and intrinsic method to characterize the compatible linear connections on a Finsler manifold of dimension three. We prove that if a compatible linear connection is not unique then the indicatrices must be Euclidean surfaces of revolution. The surplus freedom of choosing compatible linear connections is related to Euclidean symmetries. The unicity of the solution of the compatibility equations can be provided by some additional requirements. Following the idea in cite V14 we are also looking for the so called extremal compatible linear connection minimizing the norm of its torsion at each point of the manifold.


MOOCRep A Unified Pre trained Embedding of MOOC Entities. Many machine learning models have been built to tackle information overload issues on Massive Open Online Courses (MOOC) platforms. These models rely on learning powerful representations of MOOC entities. However, they suffer from the problem of scarce expert label data. To overcome this problem, we propose to learn pre trained representations of MOOC entities using abundant unlabeled data from the structure of MOOCs which can directly be applied to the downstream tasks. While existing pre training methods have been successful in NLP areas as they learn powerful textual representation, their models do not leverage the richer information about MOOC entities. This richer information includes the graph relationship between the lectures, concepts, and courses along with the domain knowledge about the complexity of a concept. We develop MOOCRep, a novel method based on Transformer language model trained with two pre training objectives 1) graph based objective to capture the powerful signal of entities and relations that exist in the graph, and 2) domain oriented objective to effectively incorporate the complexity level of concepts. Our experiments reveal that MOOCRep's embeddings outperform state of the art representation learning methods on two tasks important for education community, concept pre requisite prediction and lecture recommendation.


Can We Break Symmetry with o(m) Communication?. We study the communication cost (or message complexity) of fundamental distributed symmetry breaking problems, namely, coloring and MIS. While significant progress has been made in understanding and improving the running time of such problems, much less is known about the message complexity of these problems. In fact, all known algorithms need at least Omega(m) communication for these problems, where m is the number of edges in the graph. We address the following question in this paper can we solve problems such as coloring and MIS using sublinear, i.e., o(m) communication, and if so under what conditions? See full abstract in pdf


Trapping the Ultimate Success. We introduce a betting game, where the gambler aims to guess the last success epoch from past observed data. The player may bet on the event that no further successes occur, or choose a trap' which is any span of future times. In the latter case winning is achieved if the last success turns out to be the only one falling in the trap. The game is closely related to the sequential decision problem of maximising the probability of stopping on the last success in a finite sequence of trials. We use this connection to analyse the problem of stopping at the last record for trials paced by a Polya Lundberg process with log series distribution of the total number of trials.


Evaluating Two Approaches to Assessing Student Progress in Cybersecurity Exercises. Cybersecurity students need to develop practical skills such as using command line tools. Hands on exercises are the most direct way to assess these skills, but assessing students' mastery is a challenging task for instructors. We aim to alleviate this issue by modeling and visualizing student progress automatically throughout the exercise. The progress is summarized by graph models based on the shell commands students typed to achieve discrete tasks within the exercise. We implemented two types of models and compared them using data from 46 students at two universities. To evaluate our models, we surveyed 22 experienced computing instructors and qualitatively analyzed their responses. The majority of instructors interpreted the graph models effectively and identified strengths, weaknesses, and assessment use cases for each model. Based on the evaluation, we provide recommendations to instructors and explain how our graph models innovate teaching and promote further research. The impact of this paper is threefold. First, it demonstrates how multiple institutions can collaborate to share approaches to modeling student progress in hands on exercises. Second, our modeling techniques generalize to data from different environments to support student assessment, even outside the cybersecurity domain. Third, we share the acquired data and open source software so that others can use the models in their classes or research.


Deep Multi Task Model for Sarcasm Detection and Sentiment Analysis in Arabic Language. The prominence of figurative language devices, such as sarcasm and irony, poses serious challenges for Arabic Sentiment Analysis (SA). While previous research works tackle SA and sarcasm detection separately, this paper introduces an end to end deep Multi Task Learning (MTL) model, allowing knowledge interaction between the two tasks. Our MTL model's architecture consists of a Bidirectional Encoder Representation from Transformers (BERT) model, a multi task attention interaction module, and two task classifiers. The overall obtained results show that our proposed model outperforms its single task counterparts on both SA and sarcasm detection sub tasks.


Symmetry protected Spoof Localized Surface Plasmonic Skyrmion. Electromagnetic (EM) skyrmions are an EM analogue of the skyrmions in condensed matter physics, which offer new degrees of freedom to structure light and manipulate light matter interactions and thus promise various groundbreaking applications in optics and photonics. Recently, there is a growing interest in composing EM skyrmions based on different field vectors of EM waves. Here, we realize an EM skyrmion, i.e., a spoof plasmonic skyrmion, using the electric field vectors of spoof localized surface plasmons (spoof LSPs) in a planar microwave resonator with rotational and mirroring symmetries. We construct the spoof plasmonic skyrmion, which holds a hedgehog like configuration in its electric field vectors, by synthesizing a scalar vortex with a topological charge 0 in the out of plane component of the fields, and a polarization vortex with a topological charge 1 in the in plane component of the fields. Besides an experimental demonstration of this skyrmion, we employ group representation theory and pinpoint the symmetry origin of the skyrmion. Such an investigation demonstrates the ubiquity of the existence of the skyrmion in any planar EM resonator holding rotational and mirroring symmetries, regardless the dimensions and the operating frequencies. The designed skyrmion not only promises novel microwave applications for sensing, processing, storing and transferring information, but also lays down a general guideline for devising skyrmions operating over a broad range in the EM spectra owing to the fact that the conducted symmetry investigation is independent of specific dimension or frequency.


A vector valued almost sure invariance principle for random expanding on average cocycles. We obtain a quenched vector valued almost sure invariance principle (ASIP) for random expanding on average cocycles. This is achieved by combining the adapted version of Gou " e zel's approach for establishing ASIP and the recent construction of the so called adapted norms, which in some sense eliminate the non uniformity of the decay of correlations. For real valued observables, we also show that the martingale approximation technique is applicable in our setup, and that it yields the ASIP with better error rates. Finally, we present an example showing the necessity of a scaling condition, answering a question of the first and third authors.


LV BERT Exploiting Layer Variety for BERT. Modern pre trained language models are mostly built upon backbones stacking self attention and feed forward layers in an interleaved order. In this paper, beyond this stereotyped layer pattern, we aim to improve pre trained models by exploiting layer variety from two aspects the layer type set and the layer order. Specifically, besides the original self attention and feed forward layers, we introduce convolution into the layer type set, which is experimentally found beneficial to pre trained models. Furthermore, beyond the original interleaved order, we explore more layer orders to discover more powerful architectures. However, the introduced layer variety leads to a large architecture space of more than billions of candidates, while training a single candidate model from scratch already requires huge computation cost, making it not affordable to search such a space by directly training large amounts of candidate models. To solve this problem, we first pre train a supernet from which the weights of all candidate models can be inherited, and then adopt an evolutionary algorithm guided by pre training accuracy to find the optimal architecture. Extensive experiments show that LV BERT model obtained by our method outperforms BERT and its variants on various downstream tasks. For example, LV BERT small achieves 79.8 on the GLUE testing set, 1.8 higher than the strong baseline ELECTRA small.


Forwarders as Process Compatibility, Logically. Session types define protocols that processes must follow when communicating. The special case of binary session types, i.e. type annotations of protocols between two parties, is known to be in a propositions as types correspondence with linear logic. In previous work, we have shown that the generalization to multiparty session types can be expressed either by coherence proofs or by arbiters, processes that act as middleware by forwarding messages according to the given protocol. In this paper, following the propositions as types fashion, we generalize arbiters to a logic, which we call forwarder logic, a fragment of classical linear logic still satisfying cut elimination. Our main result is summarized as follows forwarders generalize coherence and give an elegant proof theoretic characterization of multiparty compatibility, a property of concurrent systems guaranteeing that all sent messages are eventually received and no deadlock ever occurs.


Wind farm yaw control set point optimization under model parameter uncertainty. Wake steering, the intentional yaw misalignment of certain turbines in an array, has demonstrated potential as a wind farm control approach to increase collective power. Existing algorithms optimize the yaw misalignment angle set points using steady state wake models and either deterministic frameworks, or optimizers which account for wind direction and yaw misalignment variability and uncertainty. Wake models rely on parameterizations of physical phenomena in the mean flow field, such as the wake spreading rate. The wake model parameters are uncertain and vary in time at a wind farm depending on the atmospheric conditions, including turbulence intensity, stability, shear, veer, and other atmospheric features. In this study, we develop a yaw set point optimization approach which includes model parameter uncertainty, in addition to wind condition variability and uncertainty. The optimization is tested in open loop control numerical experiments using utility scale wind farm operational data for which the set point optimization framework with parameter uncertainty has a statistically significant impact on the wind farm power production for certain wind turbine layouts at low turbulence intensity, but the results are not significant for all layouts considered nor at higher turbulence intensity. The set point optimizer is also tested for closed loop wake steering control of a model wind farm in large eddy simulations of a convective atmospheric boundary layer. The yaw set point optimization with model parameter uncertainty improved the robustness of the closed loop wake steering control to increases in the yaw controller update frequency. Increases in wind farm power production were not statistically significant due to the high ambient power variability in the turbulent, convective ABL.


Prefix to SQL Text to SQL Generation from Incomplete User Questions. Existing text to SQL research only considers complete questions as the input, but lay users might strive to formulate a complete question. To build a smarter natural language interface to database systems (NLIDB) that also processes incomplete questions, we propose a new task, prefix to SQL which takes question prefix from users as the input and predicts the intended SQL. We construct a new benchmark called PAGSAS that contains 124K user question prefixes and the intended SQL for 5 sub tasks Advising, GeoQuery, Scholar, ATIS, and Spider. Additionally, we propose a new metric SAVE to measure how much effort can be saved by users. Experimental results show that PAGSAS is challenging even for strong baseline models such as T5. As we observe the difficulty of prefix to SQL is related to the number of omitted tokens, we incorporate curriculum learning of feeding examples with an increasing number of omitted tokens. This improves scores on various sub tasks by as much as 9 recall scores on sub task GeoQuery in PAGSAS.


SCENARIOTCHECK A Checklist based Reading Technique for the Verification of IoT Scenarios. Software systems on the Internet of Things have driven the world into a new industrial revolution, bringing with it new features and concerns such as autonomy, continuous device connectivity, and interaction among systems, users, and things. Nevertheless, building these types of systems is still a problematic activity due to their specific features. Empirical studies show the lack of technologies to support the construction of IoT software systems, in which different software artifacts should be created to ensure their quality. Thus, software inspection has emerged as an alternative evidence based method to support the quality assurance of artifacts produced during the software development cycle. However, there is no knowledge of inspection techniques applicable to IoT software systems. Therefore, this research presents SCENARIOTCHECK, a Checklist based Reading Technique for the Verification of IoT Scenarios. The checklist has been evaluated with experimental studies. This research shows that the technique has good results regarding cost efficiency, efficiency, and IoT software system development effectiveness.


Perceptual Indistinguishability Net (PI Net) Facial Image Obfuscation with Manipulable Semantics. With the growing use of camera devices, the industry has many image datasets that provide more opportunities for collaboration between the machine learning community and industry. However, the sensitive information in the datasets discourages data owners from releasing these datasets. Despite recent research devoted to removing sensitive information from images, they provide neither meaningful privacy utility trade off nor provable privacy guarantees. In this study, with the consideration of the perceptual similarity, we propose perceptual indistinguishability (PI) as a formal privacy notion particularly for images. We also propose PI Net, a privacy preserving mechanism that achieves image obfuscation with PI guarantee. Our study shows that PI Net achieves significantly better privacy utility trade off through public image data.


Normal mode driven exploration of protein domain motions. Domain motions involved in the function of proteins can often be well described as a combination of motions along a handfull of low frequency modes, that is, with the values of a few normal coordinates. This means that, when the functional motion of a protein is unknown, it should prove possible to predict it, since it amounts to guess a few values. However, without the help of additional experimental data, using normal coordinates for generating accurate conformers far away from the initial one is not so straightforward. To do so, a new approach is proposed instead of building conformers directly with the values of a subset of normal coordinates, they are built in two steps, the conformer built with normal coordinates being just used for defining a set of distance constraints, the final conformer being built so as to match them. Note that this approach amounts to transform the problem of generating accurate protein conformers using normal coordinates into a better known one the distance geometry problem, which is herein solved with the help of the ROSETTA software. In the present study, this approach allowed to rebuild accurately six large amplitude conformational changes, using at most six low frequency normal coordinates. As a consequence of the low dimensionality of the corresponding subspace, random exploration also proved enough for generating low energy conformers close to the known end point of the conformational change of the LAO binding protein, lysozyme T4 and adenylate kinase.


From Convolutions towards Spikes The Environmental Metric that the Community currently Misses. Today, the AI community is obsessed with 'state of the art' scores (80 papers in NeurIPS) as the major performance metrics, due to which an important parameter, i.e., the environmental metric, remains unreported. Computational capabilities were a limiting factor a decade ago however, in foreseeable future circumstances, the challenge will be to develop environment friendly and power efficient algorithms. The human brain, which has been optimizing itself for almost a million years, consumes the same amount of power as a typical laptop. Therefore, developing nature inspired algorithms is one solution to it. In this study, we show that currently used ANNs are not what we find in nature, and why, although having lower performance, spiking neural networks, which mirror the mammalian visual cortex, have attracted much interest. We further highlight the hardware gaps restricting the researchers from using spike based computation for developing neuromorphic energy efficient microchips on a large scale. Using neuromorphic processors instead of traditional GPUs might be more environment friendly and efficient. These processors will turn SNNs into an ideal solution for the problem. This paper presents in depth attention highlighting the current gaps, the lack of comparative research, while proposing new research directions at the intersection of two fields neuroscience and deep learning. Further, we define a new evaluation metric 'NATURE' for reporting the carbon footprint of AI models.


A Lightweight Encryption Scheme for IoT Devices in the Fog. The Internet of Things (IoT) comprises of a heterogeneous mix of smart devices which vary widely in their size, usage, energy capacity, computational power etc. IoT devices are typically connected to the Cloud via Fog nodes for fast processing and response times. In a rush to deploy devices quickly into the real world and to maximize market share, the issue of security is often considered as an afterthought by the manufacturers of such devices. Some well known security concerns of IoT are data confidentiality, authentication of devices, location privacy, device integrity etc. We believe that the majority of security schemes proposed to date are too heavyweight for them to be of any practical value for the IoT. In this paper we propose a lightweight encryption scheme loosely based on the classic one time pad, and make use of hash functions for the generation and management of keys. Our scheme imposes minimal computational and storage requirements on the network nodes, which makes it a viable candidate for the encryption of data transmitted by IoT devices in the Fog.


Direct and inverse theorems on the approximation of almost periodic functions in Besicovitch Stepanets spaces. Direct and inverse approximation theorems are proved in the Besicovitch Stepanets spaces B mathcal S p of almost periodic functions in terms of the best approximations of functions and their generalized moduli of smoothness.


Analyzing Research Trends in Inorganic Materials Literature Using NLP. In the field of inorganic materials science, there is a growing demand to extract knowledge such as physical properties and synthesis processes of materials by machine reading a large number of papers. This is because materials researchers refer to many papers in order to come up with promising terms of experiments for material synthesis. However, there are only a few systems that can extract material names and their properties. This study proposes a large scale natural language processing (NLP) pipeline for extracting material names and properties from materials science literature to enable the search and retrieval of results in materials science. Therefore, we propose a label definition for extracting material names and properties and accordingly build a corpus containing 836 annotated paragraphs extracted from 301 papers for training a named entity recognition (NER) model. Experimental results demonstrate the utility of this NER model it achieves successful extraction with a micro F1 score of 78.1 . To demonstrate the efficacy of our approach, we present a thorough evaluation on a real world automatically annotated corpus by applying our trained NER model to 12,895 materials science papers. We analyze the trend in materials science by visualizing the outputs of the NLP pipeline. For example, the country by year analysis indicates that in recent years, the number of papers on "MoS2," a material used in perovskite solar cells, has been increasing rapidly in China but decreasing in the United States. Further, according to the conditions by year analysis, the processing temperature of the catalyst material "PEDOT PSS" is shifting below 200 degree, and the number of reports with a processing time exceeding 5 h is increasing slightly.


Data Sharing and Compression for Cooperative Networked Control. Sharing forecasts of network timeseries data, such as cellular or electricity load patterns, can improve independent control applications ranging from traffic scheduling to power generation. Typically, forecasts are designed without knowledge of a downstream controller's task objective, and thus simply optimize for mean prediction error. However, such task agnostic representations are often too large to stream over a communication network and do not emphasize salient temporal features for cooperative control. This paper presents a solution to learn succinct, highly compressed forecasts that are co designed with a modular controller's task objective. Our simulations with real cellular, Internet of Things (IoT), and electricity load data show we can improve a model predictive controller's performance by at least 25 while transmitting 80 less data than the competing method. Further, we present theoretical compression results for a networked variant of the classical linear quadratic regulator (LQR) control problem.


Collaborative Graph Learning with Auxiliary Text for Temporal Event Prediction in Healthcare. Accurate and explainable health event predictions are becoming crucial for healthcare providers to develop care plans for patients. The availability of electronic health records (EHR) has enabled machine learning advances in providing these predictions. However, many deep learning based methods are not satisfactory in solving several key challenges 1) effectively utilizing disease domain knowledge 2) collaboratively learning representations of patients and diseases and 3) incorporating unstructured text. To address these issues, we propose a collaborative graph learning model to explore patient disease interactions and medical domain knowledge. Our solution is able to capture structural features of both patients and diseases. The proposed model also utilizes unstructured text data by employing an attention regulation strategy and then integrates attentive text features into a sequential learning process. We conduct extensive experiments on two important healthcare problems to show the competitive prediction performance of the proposed method compared with various state of the art models. We also confirm the effectiveness of learned representations and model interpretability by a set of ablation and case studies.


COLIN implies LIN for emergent algebras. Emergent algebras, first time introduced in arXiv 0907.1520 , are families of quasigroup operations indexed by a commutative group, which satisfy some algebraic relations and also topological (convergence and continuity) relations. Besides sub riemannian geometry arXiv math 0608536, they appear as a semantics of a family of graph rewrite systems related to interaction combinators arXiv 2007.10288, or lambda calculus arXiv 1305.5786 . In arXiv 1807.02058 there is a lambda calculus version of emergent algebras. In this article we prove that for emergent algebras the condition (COLIN), or right distributivity for emergent algebras, implies (LIN), or left distributivity for emergent algebras. It means that any emergent algebra which is right distributive has to come from a commutative group endowed with a family of dilations. This is surprising, because there are many examples of emergent algebras which satisfy (LIN), but not (COLIN), namely those who are associated to non commutative conical groups, in particular to non commutative Carnot groups.


Deep Neural Compression Via Concurrent Pruning and Self Distillation. Pruning aims to reduce the number of parameters while maintaining performance close to the original network. This work proposes a novel emph self distillation based pruning strategy, whereby the representational similarity between the pruned and unpruned versions of the same network is maximized. Unlike previous approaches that treat distillation and pruning separately, we use distillation to inform the pruning criteria, without requiring a separate student network as in knowledge distillation. We show that the proposed em cross correlation objective for self distilled pruning implicitly encourages sparse solutions, naturally complementing magnitude based pruning criteria. Experiments on the GLUE and XGLUE benchmarks show that self distilled pruning increases mono and cross lingual language model performance. Self distilled pruned models also outperform smaller Transformers with an equal number of parameters and are competitive against (6 times) larger distilled networks. We also observe that self distillation (1) maximizes class separability, (2) increases the signal to noise ratio, and (3) converges faster after pruning steps, providing further insights into why self distilled pruning improves generalization.


Square Maxwell's fish eye lens for broadband achromatic super resolution imaging. Broadband super resolution imaging is important in optical field. To achieve super resolution imaging, various lenses from superlens to solid immersion lens have been designed and fabricated in recent years. However, the imaging is unsatisfactory due to low work efficiency and narrow band. In this work, we propose a solid immersion square Maxwell's fish eye lens which realizes broadband (7 16GHz) achromatic super resolution imaging with full width at half maximum around 0.2 wavelength based on transformation optics at microwave frequencies. In addition, a super resolution information transmission channel is also designed to realize long distance multi source super resolution information transmission based on the super resolution lens.


Designing drug regimens that mitigate nonadherence. Medication adherence is a well known problem for pharmaceutical treatment of chronic diseases. Understanding how nonadherence affects treatment efficacy is made difficult by the ethics of clinical trials that force patients to skip doses of the medication being tested, the unpredictable timing of missed doses by actual patients, and the many competing variables that can either mitigate or magnify the deleterious effects of nonadherence, such as pharmacokinetic absorption and elimination rates, dosing intervals, dose sizes, adherence rates, etc. In this paper, we formulate and analyze a mathematical model of the drug concentration in an imperfectly adherent patient. Our model takes the form of the standard single compartment pharmacokinetic model with first order absorption and elimination, except that the patient takes medication only at a given proportion of the prescribed dosing times. Doses are missed randomly, and we use stochastic analysis to study the resulting random drug level in the body. We then use our mathematical results to propose principles for designing drug regimens that are robust to nonadherence. In particular, we quantify the resilience of extended release drugs to nonadherence, which is quite significant in some circumstances, and we show the benefit of taking a double dose following a missed dose if the drug absorption or elimination rate is slow compared to the dosing interval. We further use our results to compare some antiepileptic and antipsychotic drug regimens.


GRN Generative Rerank Network for Context wise Recommendation. Reranking is attracting incremental attention in the recommender systems, which rearranges the input ranking list into the final rank ing list to better meet user demands. Most existing methods greedily rerank candidates through the rating scores from point wise or list wise models. Despite effectiveness, neglecting the mutual influence between each item and its contexts in the final ranking list often makes the greedy strategy based reranking methods sub optimal. In this work, we propose a new context wise reranking framework named Generative Rerank Network (GRN). Specifically, we first design the evaluator, which applies Bi LSTM and self attention mechanism to model the contextual information in the labeled final ranking list and predict the interaction probability of each item more precisely. Afterwards, we elaborate on the generator, equipped with GRU, attention mechanism and pointer network to select the item from the input ranking list step by step. Finally, we apply cross entropy loss to train the evaluator and, subsequently, policy gradient to optimize the generator under the guidance of the evaluator. Empirical results show that GRN consistently and significantly outperforms state of the art point wise and list wise methods. Moreover, GRN has achieved a performance improvement of 5.2 on PV and 6.1 on IPV metric after the successful deployment in one popular recommendation scenario of Taobao application.


Topological lower bounds on the sizes of simplicial complexes and regular simplicial sets. We prove that if an n dimensional space X satisfies certain topological conditions then any triangulation of X as well as any regular simplicial set homeomorphic to X has at least 2 n simplices of dimension n . One example of such X is the n dimensional torus (S 1) n .


Control results with overdetermination condition for higher order dispersive system. In recent years, controllability problems for dispersive systems have been extensively studied. This work is dedicated to proving a new type of controllability for a dispersive fifth order equation that models water waves, what we will now call the overdetermination control problem. Precisely, we are able to find a control acting at the boundary that guarantees that the solutions of the problem under consideration satisfy an overdetermination integral condition. In addition, when we make the control act internally in the system, instead of the boundary, we are also able to prove that this condition is satisfied. These problems give answers that were left open in 6 and present a new way to prove boundary and internal controllability results for a fifth order KdV type equation.


Congestion Aware Routing in Dynamic IoT Networks A Reinforcement Learning Approach. The innovative services empowered by the Internet of Things (IoT) require a seamless and reliable wireless infrastructure that enables communications within heterogeneous and dynamic low power and lossy networks (LLNs). The Routing Protocol for LLNs (RPL) was designed to meet the communication requirements of a wide range of IoT application domains. However, a load balancing problem exists in RPL under heavy traffic load scenarios, degrading the network performance in terms of delay and packet delivery. In this paper, we tackle the problem of load balancing in RPL networks using a reinforcement learning framework. The proposed method adopts Q learning at each node to learn an optimal parent selection policy based on the dynamic network conditions. Each node maintains the routing information of its neighbours as Q values that represent a composite routing cost as a function of the congestion level, the link quality and the hop distance. The Q values are updated continuously exploiting the existing RPL signalling mechanism. The performance of the proposed approach is evaluated through extensive simulations and compared with the existing work to demonstrate its effectiveness. The results show that the proposed method substantially improves network performance in terms of packet delivery and average delay with a marginal increase in the signalling frequency.


Arduino Controlled Spy Robo Car using Wireless Camera With live Streaming. Nowadays, the technological and digital world is developing very fast. Everything is getting smart, so we are talking about the technological world the devices like home appliances and other things are getting control by mobile applications, and this only happens by the device Arduino Uno raspberry pi3 and many others. Still, in our research we have used Arduino Uno to create a Wi Fi controlled car with camera top on it to monitor everything in its surrounding, we have seen many similar projects which using Arduino to makes things easy to use and its saving time and energy too. Automation is used for operating an electronic device such as the remote control car, home lighting system, and other useful things or reduced human invention. This report proposes a design and implementation of a remote controlled camera car by Wi Fi technology mobile devices. In this analysis work, radio code and hardware technologies area unit used, like the wireless module of ESP8266 for (transmitter and receiver), Arduino Uno as microcontroller, associate H bridge L293D IC for motor controller and 2 electrical DC motors are used to move the car, a Camera attached on the top of the vehicle.


Competition, Trait Variance Dynamics, and the Evolution of a Species' Range. Geographic ranges of communities of species evolve in response to environmental, ecological, and evolutionary forces. Understanding the effects of these forces on species' range dynamics is a major goal of spatial ecology. Previous mathematical models have jointly captured the dynamic changes in species' population distributions and the selective evolution of fitness related phenotypic traits in the presence of an environmental gradient. These models inevitably include some unrealistic assumptions, and biologically reasonable ranges of values for their parameters are not easy to specify. As a result, simulations of the seminal models of this type can lead to markedly different conclusions about the behavior of such populations, including the possibility of maladaptation setting stable range boundaries. Here, we harmonize such results by developing and simulating a continuum model of range evolution in a community of species that interact competitively while diffusing over an environmental gradient. Our model extends existing models by incorporating both competition and freely changing intraspecific trait variance. Simulations of this model predict a spatial profile of species' trait variance that is consistent with experimental measurements available in the literature. Moreover, they reaffirm interspecific competition as an effective factor in limiting species' ranges, even when trait variance is not artificially constrained. These theoretical results can inform the design of, as yet rare, empirical studies to clarify the evolutionary causes of range stabilization.


The Impact of DoS Attacks onResource constrained IoT Devices A Study on the Mirai Attack. Mirai is a type of malware that creates a botnet of internet connected devices, which can later be used to infect other devices or servers. This paper aims to analyze and explain the Mirai code and create a low cost simulation environment to aid in the dynamic analysis of Mirai. Further, we perform controlled Denial of Service attacks while measuring resource consumption on resource constrained compromised and victim Internet of Things (IoT) devices, such as energy consumption, CPU utilization, memory utilization, Ethernet input output performance, and Secure Digital card usage. The experimental setup shows that when a compromised device sends a User Datagram Protocol (UDP) flood, it consumes 38.44 more energy than its regular usage. In the case of Secure Digital usage, the victim, when flooded with Transmission Control Protocol (TCP) messages, uses 64.6 more storage for reading and 55.45 more for writing. The significant extra resource consumption caused by Mirai attacks on resource constrained IoT devices can severely threaten such devices' wide adoption and raises great challenges for the security designs in the resource constrained IoT environment.


AliMe MKG A Multi modal Knowledge Graph for Live streaming E commerce. Live streaming is becoming an increasingly popular trend of sales in E commerce. The core of live streaming sales is to encourage customers to purchase in an online broadcasting room. To enable customers to better understand a product without jumping out, we propose AliMe MKG, a multi modal knowledge graph that aims at providing a cognitive profile for products, through which customers are able to seek information about and understand a product. Based on the MKG, we build an online live assistant that highlights product search, product exhibition and question answering, allowing customers to skim over item list, view item details, and ask item related questions. Our system has been launched online in the Taobao app, and currently serves hundreds of thousands of customers per day.


Pairs of diagonal quartic forms the non singular Hasse principle. We establish the non singular Hasse Principle for pairs of diagonal quartic equations in 22 or more variables.


Stable geodesic nets in convex hypersurfaces. For each dimension n geq 2 , we construct a family of Riemannian n spheres, each with a stable geodesic net that is not a closed geodesic. These stable geodesic nets are composed of multiple geodesic loops based at the same point, and also do not contain any closed geodesic. All of these Riemannian n spheres are isometric to convex hypersurfaces of mathbb R n 1 with positive sectional curvature.


Recursive Training for Zero Shot Semantic Segmentation. General purpose semantic segmentation relies on a backbone CNN network to extract discriminative features that help classify each image pixel into a 'seen' object class (ie., the object classes available during training) or a background class. Zero shot semantic segmentation is a challenging task that requires a computer vision model to identify image pixels belonging to an object class which it has never seen before. Equipping a general purpose semantic segmentation model to separate image pixels of 'unseen' classes from the background remains an open challenge. Some recent models have approached this problem by fine tuning the final pixel classification layer of a semantic segmentation model for a Zero Shot setting, but struggle to learn discriminative features due to the lack of supervision. We propose a recursive training scheme to supervise the retraining of a semantic segmentation model for a zero shot setting using a pseudo feature representation. To this end, we propose a Zero Shot Maximum Mean Discrepancy (ZS MMD) loss that weighs high confidence outputs of the pixel classification layer as a pseudo feature representation, and feeds it back to the generator. By closing the loop on the generator end, we provide supervision during retraining that in turn helps the model learn a more discriminative feature representation for 'unseen' classes. We show that using our recursive training and ZS MMD loss, our proposed model achieves state of the art performance on the Pascal VOC 2012 dataset and Pascal Context dataset.


PoseDet Fast Multi Person Pose Estimation Using Pose Embedding. Current methods of multi person pose estimation typically treat the localization and the association of body joints separately. It is convenient but inefficient, leading to additional computation and a waste of time. This paper, however, presents a novel framework PoseDet (Estimating Pose by Detection) to localize and associate body joints simultaneously at higher inference speed. Moreover, we propose the keypoint aware pose embedding to represent an object in terms of the locations of its keypoints. The proposed pose embedding contains semantic and geometric information, allowing us to access discriminative and informative features efficiently. It is utilized for candidate classification and body joint localization in PoseDet, leading to robust predictions of various poses. This simple framework achieves an unprecedented speed and a competitive accuracy on the COCO benchmark compared with state of the art methods. Extensive experiments on the CrowdPose benchmark show the robustness in the crowd scenes. Source code is available.


QMSum A New Benchmark for Query based Multi domain Meeting Summarization. Meetings are a key component of human collaboration. As increasing numbers of meetings are recorded and transcribed, meeting summaries have become essential to remind those who may or may not have attended the meetings about the key decisions made and the tasks to be completed. However, it is hard to create a single short summary that covers all the content of a long meeting involving multiple people and topics. In order to satisfy the needs of different types of users, we define a new query based multi domain meeting summarization task, where models have to select and summarize relevant spans of meetings in response to a query, and we introduce QMSum, a new benchmark for this task. QMSum consists of 1,808 query summary pairs over 232 meetings in multiple domains. Besides, we investigate a locate then summarize method and evaluate a set of strong summarization baselines on the task. Experimental results and manual analysis reveal that QMSum presents significant challenges in long meeting summarization for future research. Dataset is available at url https github.com Yale LILY QMSum .


Differential Invariants in Algebra. In these lectures, we discuss two approaches to studying orbit spaces of algebraic Lie groups. Due to algebraic approach orbit space, or quotient, is an algebraic manifold, while from the differential viewpoint a quotient is a differential equation. The main goal of these lectures is to show that the differential approach gives us a better understanding of structure of invariants and orbit spaces. We illustrate this on classical equivalence problems, such as mathrm SL classification of binary and ternary forms, and affine classification of algebraic plane curves.


Global existence and decay of the inhomogeneous Muskat problem with Lipschitz initial data. In this work we study the inhomogeneous Muskat problem, emph i.e. the evolution of an internal wave between two different fluids in a porous medium with discontinuous permeability. In particular, under precise conditions on the initial datum and the physical quantities of the problem, our results ensure the decay of the solutions towards the equilibrium state in the Lipschitz norm. In addition, we establish the global existence and decay of Lipschitz solutions.


Effects of Pore scale on the Macroscopic Properties of Natural Convection in Porous Media. Natural convection in porous media is a fundamental process for the long term storage of CO2 in deep saline aquifers. Typically, details of mass transfer in porous media are inferred from the numerical solution of the volume averaged Darcy Oberbeck Boussinesq (DOB) equations, even though these equations do not account for the microscopic properties of a porous medium. According to the DOB equations, natural convection in a porous medium is uniquely determined by the Rayleigh number. However, in contrast with experiments, DOB simulations yield a linear scaling of the Sherwood number with the Rayleigh number (Ra) for high values of Ra (Ra 1,300). Here, we perform Direct Numerical Simulations (DNS), fully resolving the flow field within the pores. We show that the boundary layer thickness is determined by the pore size instead of the Rayleigh number, as previously assumed. The mega and proto plume sizes increase with the pore size. Our DNS results exhibit a nonlinear scaling of the Sherwood number at high porosity, and for the same Rayleigh number, higher Sherwood numbers are predicted by DNS at lower porosities. It can be concluded that the scaling of the Sherwood number depends on the porosity and the pore scale parameters, which is consistent with experimental studies.


Quantifying and Improving Performance of Distributed Deep Learning with Cloud Storage. Cloud computing provides a powerful yet low cost environment for distributed deep learning workloads. However, training complex deep learning models often requires accessing large amounts of data, which can easily exceed the capacity of local disks. Prior research often overlooks this training data problem by implicitly assuming that data is available locally or via low latency network based data storage. Such implicit assumptions often do not hold in a cloud based training environment, where deep learning practitioners create and tear down dedicated GPU clusters on demand, or do not have the luxury of local storage, such as in serverless workloads. In this work, we investigate the performance of distributed training that leverages training data residing entirely inside cloud storage buckets. These buckets promise low storage costs, but come with inherent bandwidth limitations that make them seem unsuitable for an efficient training solution. To account for these bandwidth limitations, we propose the use of two classical techniques, namely caching and pre fetching, to mitigate the training performance degradation. We implement a prototype, DELI, based on the popular deep learning framework PyTorch by building on its data loading abstractions. We then evaluate the training performance of two deep learning workloads using Google Cloud's NVIDIA K80 GPU servers and show that we can reduce the time that the training loop is waiting for data by 85.6 93.5 compared to loading directly from a storage bucket thus achieving comparable performance to loading data directly from disk while only storing a fraction of the data locally at a time. In addition, DELI has the potential of lowering the cost of running a training workload, especially on models with long per epoch training times.


Orthogonal decomposition of definable groups. Orthogonality in model theory captures the idea of absence of non trivial interactions between definable sets. We introduce a somewhat opposite notion of cohesiveness, capturing the idea of interaction among all parts of a given definable set. A cohesive set is indecomposable, in the sense that if it is internal to the product of two orthogonal sets, then it is internal to one of the two. We prove that a definable group in an o minimal structure is a product of cohesive orthogonal subsets. If the group has dimension one, or it is definably simple, then it is itself cohesive. Finally, we show that an abelian group definable in the disjoint union of finitely many o minimal structures is a quotient, by a discrete normal subgroup, of a direct product of locally definable groups in the single structures.


Regularity of the free boundary for a parabolic cooperative system. In this paper we study the following parabolic system begin equation Delta u partial t u u q 1 u , chi u 0 , qquad u (u 1, cdots , u m) , end equation with free boundary partial u 0 . For 0 leq q 1 , we prove optimal growth rate for solutions u to the above system near free boundary points, and show that in a uniform neighbourhood of any a priori well behaved free boundary point the free boundary is C 1, alpha in space directions and half Lipschitz in the time direction.


Scale matters The daily, weekly and monthly volatility and predictability of Bitcoin, Gold, and the S P 500. A reputation of high volatility accompanies the emergence of Bitcoin as a financial asset. This paper intends to nuance this reputation and clarify our understanding of Bitcoin's volatility. Using daily, weekly, and monthly closing prices and log returns data going from September 2014 to January 2021, we find that Bitcoin is a prime example of an asset for which the two conceptions of volatility diverge. We show that, historically, Bitcoin allies both high volatility (high Standard Deviation) and high predictability (low Approximate Entropy), relative to Gold and S P 500. Moreover, using tools from Extreme Value Theory, we analyze the convergence of moments, and the mean excess functions of both the closing prices and the log returns of the three assets. We find that the closing price of Bitcoin is consistent with a generalized Pareto distribution, when the closing prices of the two other assets (Gold and S P 500) present thin tailed distributions. However, returns for all three assets are heavy tailed and second moments (variance, standard deviation) non convergent. In the case of Bitcoin, lower sampling frequencies (monthly vs weekly, weekly vs daily) drastically reduce the Kurtosis of log returns and increase the convergence of empirical moments to their true value. The opposite effect is observed for Gold and S P 500. These properties suggest that Bitcoin's volatility is essentially an intra day and intra week phenomenon that is strongly attenuated on a weekly time scale, and make it an attractive store of value to investors and speculators, but its high standard deviation excludes its use a currency.


FADNet Real Time and Accurate Disparity Estimation with Configurable Networks. Deep neural networks (DNNs) have achieved great success in the area of computer vision. The disparity estimation problem tends to be addressed by DNNs which achieve much better prediction accuracy than traditional hand crafted feature based methods. However, the existing DNNs hardly serve both efficient computation and rich expression capability, which makes them difficult for deployment in real time and high quality applications, especially on mobile devices. To this end, we propose an efficient, accurate, and configurable deep network for disparity estimation named FADNet . Leveraging several liberal network design and training techniques, FADNet can boost its accuracy with a fast model inference speed for real time applications. Besides, it enables users to easily configure different sizes of models for balancing accuracy and inference efficiency. We conduct extensive experiments to demonstrate the effectiveness of FADNet on both synthetic and realistic datasets among six GPU devices varying from server to mobile platforms. Experimental results show that FADNet and its variants achieve state of the art prediction accuracy, and run at a significant order of magnitude faster speed than existing 3D models. With the constraint of running at above 15 frames per second (FPS) on a mobile GPU, FADNet achieves a new state of the art result for the SceneFlow dataset.


Global Well posedness of Incompressible Elastodynamics in Three Dimensional Thin Domain. In this article, we prove global existence of classical solutions to the incompressible isotropic Hookean elastodynamics in three dimensional thin domain Omega delta mathbb R 2 times 0, delta with periodic boundary condition.


Virtuoso Video based Intelligence for real time tuning on SOCs. Efficient and adaptive computer vision systems have been proposed to make computer vision tasks, such as image classification and object detection, optimized for embedded or mobile devices. These solutions, quite recent in their origin, focus on optimizing the model (a deep neural network, DNN) or the system by designing an adaptive system with approximation knobs. In spite of several recent efforts, we show that existing solutions suffer from two major drawbacks. First, the system does not consider energy consumption of the models while making a decision on which model to run. Second, the evaluation does not consider the practical scenario of contention on the device, due to other co resident workloads. In this work, we propose an efficient and adaptive video object detection system, Virtuoso, which is jointly optimized for accuracy, energy efficiency, and latency. Underlying Virtuoso is a multi branch execution kernel that is capable of running at different operating points in the accuracy energy latency axes, and a lightweight runtime scheduler to select the best fit execution branch to satisfy the user requirement. To fairly compare with Virtuoso, we benchmark 15 state of the art or widely used protocols, including Faster R CNN (FRCNN), YOLO v3, SSD, EfficientDet, SELSA, MEGA, REPP, FastAdapt, and our in house adaptive variants of FRCNN , YOLO , SSD , and EfficientDet (our variants have enhanced efficiency for mobiles). With this comprehensive benchmark, Virtuoso has shown superiority to all the above protocols, leading the accuracy frontier at every efficiency level on NVIDIA Jetson mobile GPUs. Specifically, Virtuoso has achieved an accuracy of 63.9 , which is more than 10 higher than some of the popular object detection models, FRCNN at 51.1 , and YOLO at 49.5 .


A denotational semantics for PROMELA addressing arbitrary jumps. PROMELA (Process Meta Language) is a high level specification language designed for modeling interactions in distributed systems. PROMELA is used as the input language for the model checker SPIN (Simple Promela INterpreter). The main characteristics of PROMELA are non determinism, process communication through synchronous as well as asynchronous channels, and the possibility to dynamically create instances of processes. In this paper, we introduce a bottom up, fixpoint semantics that aims to model the behavior of PROMELA programs. This work is the first step towards a more ambitious goal where analysis and verification techniques based on abstract interpretation would be defined on top of such semantics.


Towards transparency in NLP shared tasks. This article reports on a survey carried out across the Natural Language Processing (NLP) community. The survey aimed to capture the opinions of the research community on issues surrounding shared tasks, with respect to both participation and organisation. Amongst the 175 responses received, both positive and negative observations were made. We carried out and report on an extensive analysis of these responses, which leads us to propose a Shared Task Organisation Checklist that could support future participants and organisers. The proposed Checklist is flexible enough to accommodate the wide diversity of shared tasks in our field and its goal is not to be prescriptive, but rather to serve as a tool that encourages shared task organisers to foreground ethical behaviour, beginning with the common issues that the 175 respondents deemed important. Its usage would not only serve as an instrument to reflect on important aspects of shared tasks, but would also promote increased transparency around them.