ATRAS Adversarially Trained Robust Architecture Search. In this paper, we explore the effect of architecture completeness on adversarial robustness. We train models with different architectures on CIFAR 10 and MNIST dataset. For each model, we vary different number of layers and different number of nodes in the layer. For every architecture candidate, we use Fast Gradient Sign Method (FGSM) to generate untargeted adversarial attacks and use adversarial training to defend against those attacks. For each architecture candidate, we report pre attack, post attack and post defense accuracy for the model as well as the architecture parameters and the impact of completeness to the model accuracies.


State Complexity Investigations on Commutative Languages The Upward and Downward Closure, Commutative Aperiodic and Commutative Group Languages. We investigate the state complexity of the upward and downward closure and interior operations on commutative regular languages. Then, we systematically study the state complexity of these operations and of the shuffle operation on commutative group languages and commutative aperiodic (or star free) languages.


Second order scheme for self similar solutions of a time fractional porous medium equation on the half line. Many physical, biological, and economical systems exhibit various memory effects due to which their present state depends on the history of the whole evolution. Combined with the nonlinearity of the process these phenomena pose serious difficulties in both analytical and numerical treatment. We investigate a time fractional porous medium equation that has proved to be important in many applications, notably in hydrology and material sciences. We show that solutions of the free boundary Dirichlet, Neumann, and Robin problems on the half line satisfy a Volterra integral equation with a non Lipschitz nonlinearity. Based on this result we prove existence, uniqueness, and construct a family of numerical methods that solve these equations outperforming the usual finite difference approach. Moreover, we prove the convergence of these methods and support the theory with several numerical examples.


On the Outage Capacity of the Massive MIMO Diversity Channel. We consider the massive Multiple Input Multiple Output (MIMO) diversity channel affected by independent and identically distributed Rayleigh fading, with linear processing at both transmitter and receiver sides, and analyze the outage capacity for large number of antennas. We first discuss the classical Single Input Multiple Output (SIMO) diversity channel that uses Maximal Ratio Combining (MRC) or Selection Combining (SC). For MRC, a numerical computation and a Gaussian Approximation (GA) are considered, whereas for SC an exact evaluation is possible. The analysis is then straightforwardly extended to the Multiple Input Single Output (MISO) system that uses Maximal Ratio Transmission (MRT) or transmit antenna selection. The general Multiple Input Multiple Output (MIMO) system that pursues full diversity is finally considered, with both optimal linear processing and simple antenna selection at both transmitter and receiver. If the number of antennas is sufficiently large on at least one side, the outage capacity of each considered diversity channel approaches that of a suitable reference Additive White Gaussian Noise (AWGN) channel with properly defined Signal to Noise Ratio (SNR), which provides a performance benchmark. This conclusion is valid for large but realistic number of antennas compatible with the assumption of independent fading.


HDXplore Automated Blackbox Testing of Brain Inspired Hyperdimensional Computing. Inspired by the way human brain works, the emerging hyperdimensional computing (HDC) is getting more and more attention. HDC is an emerging computing scheme based on the working mechanism of brain that computes with deep and abstract patterns of neural activity instead of actual numbers. Compared with traditional ML algorithms such as DNN, HDC is more memory centric, granting it advantages such as relatively smaller model size, less computation cost, and one shot learning, making it a promising candidate in low cost computing platforms. However, the robustness of HDC models have not been systematically studied. In this paper, we systematically expose the unexpected or incorrect behaviors of HDC models by developing HDXplore, a blackbox differential testing based framework. We leverage multiple HDC models with similar functionality as cross referencing oracles to avoid manual checking or labeling the original input. We also propose different perturbation mechanisms in HDXplore. HDXplore automatically finds thousands of incorrect corner case behaviors of the HDC model. We propose two retraining mechanisms and using the corner cases generated by HDXplore to retrain the HDC model, we can improve the model accuracy by up to 9 .


Dependence and algebraicity over subgroups of free groups. An element g of a free group F depends on a subgroup H F , or is algebraic over H , if it satisfies a univariate equation over H . Equivalently, when H is finitely generated, the rank of gen H,g is at most the rank of H . We study the elements that depend on subgroups of F , the subgroups they generate and the equations that they satisfy.


Comparison geometry for integral generalized quasi Einstein tensor bounds. The purpose of this paper is to extend the mean curvature comparison and volume comparison estimates by Petersen, Sprouse, and Wei to integral generalized quasi Einstein tensor. Moreover, we use our comparison results to get global diameter estimate.


Using Trajectory Compression Rate to Predict Changes in Cybersickness in Virtual Reality Games. Identifying cybersickness in virtual reality (VR) applications such as games in a fast, precise, non intrusive, and non disruptive way remains challenging. Several factors can cause cybersickness, and their identification will help find its origins and prevent or minimize it. One such factor is virtual movement. Movement, whether physical or virtual, can be represented in different forms. One way to represent and store it is with a temporally annotated point sequence. Because a sequence is memory consuming, it is often preferable to save it in a compressed form. Compression allows redundant data to be eliminated while still preserving changes in speed and direction. Since changes in direction and velocity in VR can be associated with cybersickness, changes in compression rate can likely indicate changes in cybersickness levels. In this research, we explore whether quantifying changes in virtual movement can be used to estimate variation in cybersickness levels of VR users. We investigate the correlation between changes in the compression rate of movement data in two VR games with changes in players' cybersickness levels captured during gameplay. Our results show (1) a clear correlation between changes in compression rate and cybersickness, and(2) that a machine learning approach can be used to identify these changes. Finally, results from a second experiment show that our approach is feasible for cybersickness inference in games and other VR applications that involve movement.


Copartitions. We develop the theory of copartitions, which are a generalization of partitions with connections to many classical topics in partition theory, including Rogers Ramanujan partitions, theta functions, mock theta functions, partitions with parts separated by parity, and crank statistics. Using both analytic and combinatorial methods, we give two forms of the three parameter generating function, and we study several special cases that demonstrate the potential broader impact the study of copartitions may have.


Outage Probability of Uplink Cell Free Massive MIMO Network with Imperfect CSI Using Dimension Reduction Method. In this paper, approximate outage probability (OP) expressions are derived for uplink cell free massive multiple input multiple output (CF mMIMO) system. The access points (APs) of the system considered have imperfect channel state information (CSI). The approximate expressions are derived first using conditional expectations and then using a novel dimension reduction method that approximates higher order integration by several single order integrations. Using the same approach, closed form approximations are also derived for conventional massive MIMO (mMIMO) systems. The OP approximations are then used to characterize the performance of cell edge users of CF mMIMO systems and compare the designs of CF mMIMO and mMIMO systems. The derived expressions have a close match with the simulated expression for OP.


Moduli spaces of slope semistable pure sheaves. We construct a moduli space of slope semistable pure sheaves, building upon previous work of Le Potier and Jun Li on torsion free sheaves over smooth surfaces. In particular, our construction provides a compactification of the Simpson moduli space of slope stable reflexive sheaves. We also prove an effective restriction theorem for slope (semi)stable pure sheaves following an approach due to Langer.


On chip integrated waveguide amplifiers on Erbium doped thin film lithium niobate on insulator. We demonstrate on chip light amplification with integrated optical waveguide fabricated on erbium doped thin film lithium niobate on insulator (TFLNOI) using the photolithography assisted chemo mechanical etching (PLACE) technique. A maximum internal net gain of 18 dB in the small signal gain regime is measured at the peak emission wavelength of 1530 nm for a waveguide length of 3.6 cm, indicating a differential gain per unit length of 5 dB cm. This work paves the way to the monolithic integration of diverse active and passive photonic components on the TFLNOI platform.


BridgeNet A Joint Learning Network of Depth Map Super Resolution and Monocular Depth Estimation. Depth map super resolution is a task with high practical application requirements in the industry. Existing color guided depth map super resolution methods usually necessitate an extra branch to extract high frequency detail information from RGB image to guide the low resolution depth map reconstruction. However, because there are still some differences between the two modalities, direct information transmission in the feature dimension or edge map dimension cannot achieve satisfactory result, and may even trigger texture copying in areas where the structures of the RGB D pair are inconsistent. Inspired by the multi task learning, we propose a joint learning network of depth map super resolution (DSR) and monocular depth estimation (MDE) without introducing additional supervision labels. For the interaction of two subnetworks, we adopt a differentiated guidance strategy and design two bridges correspondingly. One is the high frequency attention bridge (HABdg) designed for the feature encoding process, which learns the high frequency information of the MDE task to guide the DSR task. The other is the content guidance bridge (CGBdg) designed for the depth map reconstruction process, which provides the content guidance learned from DSR task for MDE task. The entire network architecture is highly portable and can provide a paradigm for associating the DSR and MDE tasks. Extensive experiments on benchmark datasets demonstrate that our method achieves competitive performance. Our code and models are available at https rmcong.github.io proj BridgeNet.html.


Sentence Similarity Based on Contexts. Existing methods to measure sentence similarity are faced with two challenges (1) labeled datasets are usually limited in size, making them insufficient to train supervised neural models (2) there is a training test gap for unsupervised language modeling (LM) based models to compute semantic scores between sentences, since sentence level semantics are not explicitly modeled at training. This results in inferior performances in this task. In this work, we propose a new framework to address these two issues. The proposed framework is based on the core idea that the meaning of a sentence should be defined by its contexts, and that sentence similarity can be measured by comparing the probabilities of generating two sentences given the same context. The proposed framework is able to generate high quality, large scale dataset with semantic similarity scores between two sentences in an unsupervised manner, with which the train test gap can be largely bridged. Extensive experiments show that the proposed framework achieves significant performance boosts over existing baselines under both the supervised and unsupervised settings across different datasets.


The Constant Trace Property in Noncommutative Optimization. In this article, we show that each semidefinite relaxation of a ball constrained noncommutative polynomial optimization problem can be cast as a semidefinite program with a constant trace matrix variable. We then demonstrate how this constant trace property can be exploited via first order numerical methods to solve efficiently the semidefinite relaxations of the noncommutative problem.


Trend Alert How a Cross Platform Organization Manipulated Twitter Trends in the Indian General Election. Political organizations worldwide keep innovating their use of social media technologies. In the 2019 Indian general election, organizers used a network of WhatsApp groups to manipulate Twitter trends through coordinated mass postings. We joined 600 WhatsApp groups that support the Bharatiya Janata Party, the right wing party that won the general election, to investigate these campaigns. We found evidence of 75 hashtag manipulation campaigns in the form of mobilization messages with lists of pre written tweets. Building on this evidence, we estimate the campaigns' size, describe their organization and determine whether they succeeded in creating controlled social media narratives. Our findings show that the campaigns produced hundreds of nationwide Twitter trends throughout the election. Centrally controlled but voluntary in participation, this hybrid configuration of technologies and organizational strategies shows how profoundly online tools transform campaign politics. Trend alerts complicate the debates over the legitimate use of digital tools for political participation and may have provided a blueprint for participatory media manipulation by a party with popular support.


An Artificial Bee Colony Based Algorithm for Continuous Distributed Constraint Optimization Problems. Distributed Constraint Optimization Problems (DCOPs) are a frequently used framework in which a set of independent agents choose values from their respective discrete domains to maximize their utility. Although this formulation is typically appropriate, there are a number of real world applications in which the decision variables are continuous valued and the constraints are represented in functional form. To address this, Continuous Distributed Constraint Optimization Problems (C DCOPs), an extension of the DCOPs paradigm, have recently grown the interest of the multi agent systems field. To date, among different approaches, population based algorithms are shown to be most effective for solving C DCOPs. Considering the potential of population based approaches, we propose a new C DCOPs solver inspired by a well known population based algorithm Artificial Bee Colony (ABC). Additionally, we provide a new exploration method that aids in the further improvement of the algorithm's solution quality. Finally, We theoretically prove that our approach is an anytime algorithm and empirically show it produces significantly better results than the state of the art C DCOPs algorithms.


Decoupled Transformer for Scalable Inference in Open domain Question Answering. Large transformer models, such as BERT, achieve state of the art results in machine reading comprehension (MRC) for open domain question answering (QA). However, transformers have a high computational cost for inference which makes them hard to apply to online QA systems for applications like voice assistants. To reduce computational cost and latency, we propose decoupling the transformer MRC model into input component and cross component. The decoupling allows for part of the representation computation to be performed offline and cached for online use. To retain the decoupled transformer accuracy, we devised a knowledge distillation objective from a standard transformer model. Moreover, we introduce learned representation compression layers which help reduce by four times the storage requirement for the cache. In experiments on the SQUAD 2.0 dataset, a decoupled transformer reduces the computational cost and latency of open domain MRC by 30 40 with only 1.2 points worse F1 score compared to a standard transformer.


Shokurov's conjecture on conic bundles with canonical singularities. A conic bundle is a contraction X to Z between normal varieties of relative dimension 1 such that K X is relatively ample. We prove a conjecture of Shokurov which predicts that, if X to Z is a conic bundle such that X has canonical singularities and Z is mathbb Q Gorenstein, then Z is always frac 1 2 lc, and the multiplicities of the fibers over codimension 1 points are bounded from above by 2 . Both values frac 1 2 and 2 are sharp. This is achieved by solving a more general conjecture of Shokurov on singularities of bases of lc trivial fibrations of relative dimension 1 with canonical singularities.


A Direct Proof of the Prime Number Theorem using Riemann's Prime counting Function. In this paper, we develop a novel analytic method to prove the prime number theorem in de la Vall 'ee Poussin's form pi(x) operatorname li (x) mathcal O(xe c sqrt log x ) Instead of performing asymptotic expansion on Chebyshev functions as in conventional analytic methods, this new approach uses contour integration method to analyze Riemann's prime counting function J(x) , which only differs from pi(x) by mathcal O( sqrt x log x) .


TinyML for Ubiquitous Edge AI. TinyML is a fast growing multidisciplinary field at the intersection of machine learning, hardware, and software, that focuses on enabling deep learning algorithms on embedded (microcontroller powered) devices operating at extremely low power range (mW range and below). TinyML addresses the challenges in designing power efficient, compact deep neural network models, supporting software framework, and embedded hardware that will enable a wide range of customized, ubiquitous inference applications on battery operated, resource constrained devices. In this report, we discuss the major challenges and technological enablers that direct this field's expansion. TinyML will open the door to the new types of edge services and applications that do not rely on cloud processing but thrive on distributed edge inference and autonomous reasoning.


BODAME Bilevel Optimization for Defense Against Model Extraction. Model extraction attacks have become serious issues for service providers using machine learning. We consider an adversarial setting to prevent model extraction under the assumption that attackers will make their best guess on the service provider's model using query accesses, and propose to build a surrogate model that significantly keeps away the predictions of the attacker's model from those of the true model. We formulate the problem as a non convex constrained bilevel optimization problem and show that for kernel models, it can be transformed into a non convex 1 quadratically constrained quadratic program with a polynomial time algorithm to find the global optimum. Moreover, we give a tractable transformation and an algorithm for more complicated models that are learned by using stochastic gradient descent based algorithms. Numerical experiments show that the surrogate model performs well compared with existing defense models when the difference between the attacker's and service provider's distributions is large. We also empirically confirm the generalization ability of the surrogate model.


On intersection cohomology with torus action of complexity one, II. We show that the components, appearing in the decomposition theorem for contraction maps of torus actions of complexity one, are intersection cohomology complexes of even codimensional subvarieties. As a consequence, we obtain the vanishing of the odd dimensional intersection cohomology for rational complete varieties with torus action of complexity one. The article also presents structural results on linear torus action in order to compute the intersection cohomology from the weight matrix. In particular, we determine the intersection cohomology Betti numbers of affine trinomial hypersurfaces in terms of their defining equation.


Subgroup Distortion and the Relative Dehn Functions of Metabelian Groups. We show the connection between the relative Dehn function of a finitely generated metabelian group and the distortion function of a corresponding subgroup in the wreath product of two free abelian groups of finite rank. Further, we show that if a finitely generated metabelian group G is an extension of an abelian group by mathbb Z the relative Dehn function of G is polynomially bounded. Therefore, if G is finitely presented, the Dehn function is bounded above by the exponential function up to equivalence.


Joint Communication and Motion Planning for Cobots. The increasing deployment of robots in co working scenarios with humans has revealed complex safety and efficiency challenges in the computation robot behavior. Movement among humans is one of the most fundamental and yet critical problems in this frontier. While several approaches have addressed this problem from a purely navigational point of view, the absence of a unified paradigm for communicating with humans limits their ability to prevent deadlocks and compute feasible solutions. This paper presents a joint communication and motion planning framework that selects from an arbitrary input set of robot's communication signals while computing robot motion plans. It models a human co worker's imperfect perception of these communications using a noisy sensor model and facilitates the specification of a variety of social workplace compliance priorities with a flexible cost function. Theoretical results and simulator based empirical evaluations show that our approach efficiently computes motion plans and communication strategies that reduce conflicts between agents and resolve potential deadlocks.


On Liouville type theorems in the stationary non Newtonian fluids. In this paper we prove a Liouville type theorem for the stationary equations of a non Newtonian fluid in mathbb R 3 with the viscous part of the stress tensor mathbf A p(u) mathrm div ( mathbf D (u) p 2 mathbf D (u) ) , where mathbf D (u) frac 12 ( nabla u ( nabla u ) top ) and frac 95 p 3 . We consider a weak solution u in W 1,p loc ( mathbb R 3) and its potential function mathbf V (V ij ) in W 2,p loc ( mathbb R 3) , i.e. nabla cdot mathbf V u . We show that there exists a constant s 0 s 0(p) such that if the L s mean oscillation of mathbf V for s s 0 satisfies a certain growth condition at infinity, then the velocity field vanishes. Our result includes the previous results cite CW20, CW19 as particular cases.


Many Hands Make Light Work Using Essay Traits to Automatically Score Essays. Most research in the area of automatic essay grading (AEG) is geared towards scoring the essay holistically while there has also been some work done on scoring individual essay traits. In this paper, we describe a way to score essays holistically using a multi task learning (MTL) approach, where scoring the essay holistically is the primary task, and scoring the essay traits is the auxiliary task. We compare our results with a single task learning (STL) approach, using both LSTMs and BiLSTMs. We also compare our results of the auxiliary task with such tasks done in other AEG systems. To find out which traits work best for different types of essays, we conduct ablation tests for each of the essay traits. We also report the runtime and number of training parameters for each system. We find that MTL based BiLSTM system gives the best results for scoring the essay holistically, as well as performing well on scoring the essay traits.


The (strong) Liouville property for a class of non local operators. We prove a necessary and sufficient condition for the Liouville and strong Liouville properties of the infinitesimal generator of a L 'evy process and subordinate L 'evy processes. Combining our criterion with the necessary and sufficient condition obtained by Alibaud et al., we obtain a characterization of (orthogonal subgroup of) the set of zeros of the characteristic exponent of the L 'evy process.


Approximate Triangle Counting via Sampling and Fast Matrix Multiplication. There is a trivial O( frac n 3 T ) time algorithm for approximate triangle counting where T is the number of triangles in the graph and n the number of vertices. At the same time, one may count triangles exactly using fast matrix multiplication in time tilde O (n omega) . Is it possible to get a negative dependency on the number of triangles T while retaining the n omega dependency on n ? We answer this question positively by providing an algorithm which runs in time O big( frac n omega T omega 2 big) cdot text poly (n o(1) epsilon) . This is optimal in the sense that as long as the exponent of T is independent of n, T , it cannot be improved while retaining the dependency on n this as follows from the lower bound of Eden and Rosenbaum APPROX RANDOM 2018 . Our algorithm improves upon the state of the art when T omega(1) and T o(n) . We also consider the problem of approximate triangle counting in sparse graphs, parameterizing by the number of edges m . The best known algorithm runs in time tilde O big( frac m 3 2 T big) Eden et al., SIAM Journal on Computing, 2017 . There is also a well known algorithm for exact triangle counting that runs in time tilde O (m 2 omega ( omega 1) ) . We again get an algorithm that retains the exponent of m while running faster on graphs with larger number of triangles. Specifically, our algorithm runs in time O Big( frac m 2 omega ( omega 1) T 2( omega 1) ( omega 1) Big) cdot text poly (n o(1) epsilon) . This is again optimal in the sense that if the exponent of T is to be constant, it cannot be improved without worsening the dependency on m . This algorithm improves upon the state of the art when T omega(1) and T o( sqrt m ) .


Super Catalan Numbers, Chromogeometry, and Fourier Summation over Finite Fields. We give the super Catalan numbers S(m,n) and their associated family of rational numbers, called the circular super Catalan numbers Omega(m,n) defined by begin align S(m,n) frac (2m)!(2n)! m!n!(m n)! enspace text and enspace Omega(m,n) frac S(m,n) 4 m n end align an algebraic interpretation in terms of values of an algebraic integral of polynomials over the unit circle over a finite field of odd characteristic. We consider three metrical geometries, the Euclidean geometry and two Einstein Minkowski geometries and show that the problem of polynomial summation over the unit circle in each geometry is intricately connected, which is a phenomenon of chromogeometry. This investigation opens up not only the possibility to do prime characteristic harmonic analysis and a connection to characteristic zero harmonic analysis, but also the study of a wide variety of additional (rational) numbers that complement the super Catalan numbers and circular super Catalan numbers.


Double dimer condensation and the PT DT correspondence. We resolve an open conjecture from algebraic geometry, which states that two generating functions for plane partition like objects (the "box counting" formulae for the Calabi Yau topological vertices in Donaldson Thomas theory and Pandharipande Thomas theory) are equal up to a factor of MacMahon's generating function for plane partitions. The main tools in our proof are a Desnanot Jacobi type condensation identity, and a novel application of the tripartite double dimer model of Kenyon Wilson.


Probabilistic representation of parabolic stochastic variational inequality with Dirichlet Neumann boundary and variational generalized backward doubly stochastic differential equations. We derive the existence and uniqueness of the generalized backward doubly stochastic differential equation with sub differential of a lower semi continuous convex function under a non Lipschitz condition. This study allows us give a probabilistic representation (in stochastic viscosity sense) to the parabolic variational stochastic partial differential equations with Dirichlet Neumann conditions.


FedCor Correlation Based Active Client Selection Strategy for Heterogeneous Federated Learning. Client wise data heterogeneity is one of the major issues that hinder effective training in federated learning (FL). Since the data distribution on each client may vary dramatically, the client selection strategy can significantly influence the convergence rate of the FL process. Active client selection strategies are popularly proposed in recent studies. However, they neglect the loss correlations between the clients and achieve only marginal improvement compared to the uniform selection strategy. In this work, we propose FedCor an FL framework built on a correlation based client selection strategy, to boost the convergence rate of FL. Specifically, we first model the loss correlations between the clients with a Gaussian Process (GP). Based on the GP model, we derive a client selection strategy with a significant reduction of expected global loss in each round. Besides, we develop an efficient GP training method with a low communication overhead in the FL scenario by utilizing the covariance stationarity. Our experimental results show that compared to the state of the art method, FedCorr can improve the convergence rates by 34 sim 99 and 26 sim 51 on FMNIST and CIFAR 10, respectively.


Adversarially Robust One class Novelty Detection. One class novelty detectors are trained with examples of a particular class and are tasked with identifying whether a query example belongs to the same known class. Most recent advances adopt a deep auto encoder style architecture to compute novelty scores for detecting novel class data. Deep networks have shown to be vulnerable to adversarial attacks, yet little focus is devoted to studying the adversarial robustness of deep novelty detectors. In this paper, we first show that existing novelty detectors are susceptible to adversarial examples. We further demonstrate that commonly used defense approaches for classification tasks have limited effectiveness in one class novelty detection. Hence, we need a defense specifically designed for novelty detection. To this end, we propose a defense strategy that manipulates the latent space of novelty detectors to improve the robustness against adversarial examples. The proposed method, referred to as Principal Latent Space (PLS), learns the incrementally trained cascade principal components in the latent space to robustify novelty detectors. PLS can purify latent space against adversarial examples and constrain latent space to exclusively model the known class distribution. We conduct extensive experiments on multiple attacks, datasets and novelty detectors, showing that PLS consistently enhances the adversarial robustness of novelty detection models.


Alternatives for Testing of Context Aware Contemporary Software Systems in industrial settings Results from a Rapid review. Context Context aware contemporary software systems (CACSS) are mainstream. Furthermore, they present challenges for current engineering practices. These challenges are distinctively present when testing CACSS, as the variation of context deepens the limitations of available software testing practices and technologies. Objective To understand how the industry deals with the variation of context when testing CACSS. Method A Rapid Review was commissioned to uncover the necessary evidence to achieve the objectives. Results Our results show that current research initiatives aim to generate or improve Test Suites that can deal with the variation of context and the sheer volume of test input possibilities. To achieve this, they mostly rely on modelling the systems' dynamic behavior and increasing computing resources to generate test inputs. We found no evidence of research results aiming at managing context variation through the testing lifecycle process. Conclusions We discuss how the identified solutions are not ready for mainstream adoption. They are all domain specific, and while the ideas and approaches can be reproduced in different settings, the technologies noon to be re engineered and tailor to the specific CACSS.


Discovering Non monotonic Autoregressive Orderings with Variational Inference. The predominant approach for language modeling is to process sequences from left to right, but this eliminates a source of information the order by which the sequence was generated. One strategy to recover this information is to decode both the content and ordering of tokens. Existing approaches supervise content and ordering by designing problem specific loss functions and pre training with an ordering pre selected. Other recent works use iterative search to discover problem specific orderings for training, but suffer from high time complexity and cannot be efficiently parallelized. We address these limitations with an unsupervised parallelizable learner that discovers high quality generation orders purely from training data no domain knowledge required. The learner contains an encoder network and decoder language model that perform variational inference with autoregressive orders (represented as permutation matrices) as latent variables. The corresponding ELBO is not differentiable, so we develop a practical algorithm for end to end optimization using policy gradients. We implement the encoder as a Transformer with non causal attention that outputs permutations in one forward pass. Permutations then serve as target generation orders for training an insertion based Transformer language model. Empirical results in language modeling tasks demonstrate that our method is context aware and discovers orderings that are competitive with or even better than fixed orders.


YOLOP You Only Look Once for Panoptic Driving Perception. A panoptic driving perception system is an essential part of autonomous driving. A high precision and real time perception system can assist the vehicle in making the reasonable decision while driving. We present a panoptic driving perception network (YOLOP) to perform traffic object detection, drivable area segmentation and lane detection simultaneously. It is composed of one encoder for feature extraction and three decoders to handle the specific tasks. Our model performs extremely well on the challenging BDD100K dataset, achieving state of the art on all three tasks in terms of accuracy and speed. Besides, we verify the effectiveness of our multi task learning model for joint training via ablative studies. To our best knowledge, this is the first work that can process these three visual perception tasks simultaneously in real time on an embedded device Jetson TX2(23 FPS) and maintain excellent accuracy. To facilitate further research, the source codes and pre trained models are released at https github.com hustvl YOLOP.


On a comparison method for a parabolic elliptic system of chemotaxis with density suppressed motility and logistic growth. We consider a parabolic elliptic system of partial differential equations with chemotaxis and logistic growth given by the system left begin array l u t Delta (u gamma(v) mu u(1 u), Delta v v u, end array right. under Neumann boundary conditions and appropriate initial data in a bounded and regular domain Omega of R N (for N geq 1) , where gamma in C 3( 0, infty)) and satisfies the assumptions gamma (s) 0 , gamma prime (s) leq 0 , gamma prime prime (s) geq 0 , gamma prime prime prime (s) leq 0 for any s geq 0 2 gamma prime (s) gamma prime prime (s)s leq mu 0 mu frac gamma prime (s) 2 gamma(s) leq c, quad mbox for any s in 0, infty). We obtain the global existence and uniqueness of bounded in time solutions and the following asymptotic behavior u 1 L infty ( Omega) v 1 L infty ( Omega) rightarrow 0, quad mbox when t rightarrow infty.


General Circulation and Principal Wave Modes in Andaman Sea from Observations. Objectives This study intends to describe the Andaman Sea circulation and investigate the dominant modes of variability in the basin. Analysis Observations The domain experiences stronger South westerly winds from May to September and relatively weaker North easterlies from November to February. A strong negative Ekman pumping along the north coast of Indonesia is observed during Summer. The transport of water across the straits of Andaman and Nicobar Islands (ANI) is computed by simple mass balance and is found to be in phase with the monthly averaged Mean Sea Level Anomalies (MSLA) of Andaman Sea. There occurs high surface outflux through Great channel and Ten Degree channel in Summer. In April and October, rate of transport through the straits is maximum. During the same months, meridional surface currents intensify along the eastern boundary of the basin and are associated with signatures of downwelling. Findings Intense down welling occurs to the north coast of Indonesia during Summer, locally forced by south westerlies. There occurs large influx of water into Andaman Sea between April and November through the straits between the islands. Equatorial Wyrtki jets remotely force Kelvin waves of downwelling nature in the basin during April and October. The circulation in Andaman Sea is characterised by gyres or vortices, which is the manifestation of Rossby waves of semi annual mode. The basin has a characteristic 120 day mode of westward propagating long Rossby wave packets which reflect from the coast of ANI as eastward propagating short Rossby waves. Novelty The first attempt to completely describe the dynamics of Andaman Sea circulation exclusively from observations.


Realization of broadband truly rainbow trapping in gradient index heterostructures. Unidirectionally propagating waves (UPW) such as topologically protected edge modes and surface magnetoplasmons (SMPs) has been a research hotspot in the last decades. In the study of UPW, metals are usually treated as perfect electric conductors (PECs) which, in general, are the boundary conditions. However, it was reported that the transverse resonance condition induced by the PEC wall(s) may significantly narrow up the complete one way propagation (COWP) band. In this paper, we propose two ways to achieve ultra broadband one way waveguide in terahertz regime. The first way is utilizing the epsilon negative (ENG) metamaterial (MM) and the other one is replacing the PEC boundary with perfect magnetic conductor (PMC) boundary. In both conditions, the total bandwidth of the COWP bands can be efficiently broadened by more than three times. Moreover, based on the ultra broadband one way configurations, gradient index metamaterial based one way waveguides are proposed to achieve broadband truly rainbow trapping (TRT). By utilizing the finite element method, the realization of the broadband TRT without backward reflection is verified in gradient index structures. Besides, giant electric field enhancement is observed in a PMC based one way structure with an ultra subwavelength ( approx 10 4 lambda 0 , lambda 0 is the wavelength in vaccum) terminal, and the amplitude of the electric field is enormously enhanced by five orders of magnitude. Our findings are beneficial for researches on broadband terahertz communication, energy harvesting and strong field devices.


Counting Lyndon Subsequences. Counting substrings subsequences that preserve some property (e.g., palindromes, squares) is an important mathematical interest in stringology. Recently, Glen et al. studied the number of Lyndon factors in a string. A string w uv is called a Lyndon word if it is the lexicographically smallest among all of its conjugates vu . In this paper, we consider a more general problem "counting Lyndon subsequences". We show (1) the maximum total number of Lyndon subsequences in a string, (2) the expected total number of Lyndon subsequences in a string, (3) the expected number of distinct Lyndon subsequences in a string.


Subgame perfect equilibrium strategies in state constrained recursive stochastic control problems. We study time inconsistent recursive stochastic control problems. Since, for this class of problems, classical optimal controls may fail to exist or to be relevant in practice, we focus on sub game perfect equilibrium policies. The approach followed in our work relies on the stochastic maximum principle and, indeed, we adapt the classical spike variation technique to obtain a characterisation of equilibrium strategies in terms of a generalised Hamiltonian function of second order defined through a flow of pairs of BSDEs. We deal then time inconsistent recursive stochastic control problems under a state constraint, defined by means of an additional recursive utility, by adapting the Ekeland variational principle to this more tricky situation. The theoretical results are applied to the financial field on finite horizon investment consumption policies with non exponential actualisation. The possibility that the constraint is a risk constraint is covered.


An Analysis of Probabilistic Forwarding of Coded Packets on Random Geometric Graphs. We consider the problem of energy efficient broadcasting on dense ad hoc networks. Ad hoc networks are generally modeled using random geometric graphs (RGGs). Here, nodes are deployed uniformly in a square area around the origin, and any two nodes which are within Euclidean distance of 1 are assumed to be able to receive each other's broadcast. A source node at the origin encodes k data packets of information into n ( k) coded packets and transmits them to all its one hop neighbors. The encoding is such that, any node that receives at least k out of the n coded packets can retrieve the original k data packets. Every other node in the network follows a probabilistic forwarding protocol upon reception of a previously unreceived packet, the node forwards it with probability p and does nothing with probability 1 p . We are interested in the minimum forwarding probability which ensures that a large fraction of nodes can decode the information from the source. We deem this a emph near broadcast . The performance metric of interest is the expected total number of transmissions at this minimum forwarding probability, where the expectation is over both the forwarding protocol as well as the realization of the RGG. In comparison to probabilistic forwarding with no coding, our treatment of the problem indicates that, with a judicious choice of n , it is possible to reduce the expected total number of transmissions while ensuring a near broadcast.


On the modelling of spatially heterogeneous nonlocal diffusion deciding factors and preferential position of individuals. We develop general heterogeneous nonlocal diffusion models and investigate their connection to local diffusion models by taking a singular limit of focusing kernels. We reveal the link between the two groups of diffusion equations which include both spatial heterogeneity and anisotropy. In particular, we introduce the notion of deciding factors which single out a nonlocal diffusion model and typically consist of the total jump rate and the average jump length. In this framework, we also discuss the dependence of the profile of the steady state solutions on these deciding factors, thus shedding light on the preferential position of individuals.


KiloNeRF Speeding up Neural Radiance Fields with Thousands of Tiny MLPs. NeRF synthesizes novel views of a scene with unprecedented quality by fitting a neural radiance field to RGB images. However, NeRF requires querying a deep Multi Layer Perceptron (MLP) millions of times, leading to slow rendering times, even on modern GPUs. In this paper, we demonstrate that real time rendering is possible by utilizing thousands of tiny MLPs instead of one single large MLP. In our setting, each individual MLP only needs to represent parts of the scene, thus smaller and faster to evaluate MLPs can be used. By combining this divide and conquer strategy with further optimizations, rendering is accelerated by three orders of magnitude compared to the original NeRF model without incurring high storage costs. Further, using teacher student distillation for training, we show that this speed up can be achieved without sacrificing visual quality.


Extending Environments To Measure Self Reflection In Reinforcement Learning. We consider an extended notion of reinforcement learning in which the environment can simulate the agent and base its outputs on the agent's hypothetical behavior. Since good performance usually requires paying attention to whatever things the environment's outputs are based on, we argue that for an agent to achieve on average good performance across many such extended environments, it is necessary for the agent to self reflect. Thus, an agent's self reflection ability can be numerically estimated by running the agent through a battery of extended environments. We are simultaneously releasing an open source library of extended environments to serve as proof of concept of this technique. As the library is first of kind, we have avoided the difficult problem of optimizing it. Instead we have chosen environments with interesting properties. Some seem paradoxical, some lead to interesting thought experiments, some are even suggestive of how self reflection might have evolved in nature. We give examples and introduce a simple transformation which experimentally seems to increase self reflection.


SpaceMeshLab Spatial Context Memoization and Meshgrid Atrous Convolution Consensus for Semantic Segmentation. Semantic segmentation networks adopt transfer learning from image classification networks which occurs a shortage of spatial context information. For this reason, we propose Spatial Context Memoization (SpaM), a bypassing branch for spatial context by retaining the input dimension and constantly communicating its spatial context and rich semantic information mutually with the backbone network. Multi scale context information for semantic segmentation is crucial for dealing with diverse sizes and shapes of target objects in the given scene. Conventional multi scale context scheme adopts multiple effective receptive fields by multiple dilation rates or pooling operations, but often suffer from misalignment problem with respect to the target pixel. To this end, we propose Meshgrid Atrous Convolution Consensus (MetroCon 2) which brings multi scale scheme into fine grained multi scale object context using convolutions with meshgrid like scattered dilation rates. SpaceMeshLab (ResNet 101 SpaM MetroCon 2) achieves 82.0 mIoU in Cityscapes test and 53.5 mIoU on Pascal Context validation set.


A data based comparative review and AI driven symbolic model for longitudinal dispersion coefficient in natural streams. A better understanding of dispersion in natural streams requires knowledge of longitudinal dispersion coefficient(LDC). Various methods have been proposed for predictions of LDC. Those studies can be grouped into three types analytical, statistical and ML driven researches(Implicit and explicit). However, a comprehensive evaluation of them is still lacking. In this paper, we first present an in depth analysis of those methods and find out their defects. This is carried out on an extensive database composed of 660 samples of hydraulic and channel properties worldwide. The reliability and representativeness of utilized data are enhanced through the deployment of the Subset Selection of Maximum Dissimilarity(SSMD) for testing set selection and the Inter Quartile Range(IQR) for removal of the outlier. The evaluation reveals the rank of those methods as ML driven method the statistical method the analytical method. Whereas implicit ML driven methods are black boxes in nature, explicit ML driven methods have more potential in prediction of LDC. Besides, overfitting is a universal problem in existing models. Those models also suffer from a fixed parameter combination. To establish an interpretable model for LDC prediction with higher performance, we then design a novel symbolic regression method called evolutionary symbolic regression network(ESRN). It is a combination of genetic algorithms and neural networks. Strategies are introduced to avoid overfitting and explore more parameter combinations. Results show that the ESRN model has superiorities over other existing symbolic models in performance. The proposed model is suitable for practical engineering problems due to its advantage in low requirement of parameters (only w and U are required). It can provide convincing solutions for situations where the field test cannot be carried out or limited field information can be obtained.


SmashEx Smashing SGX Enclaves Using Exceptions. Exceptions are a commodity hardware functionality which is central to multi tasking OSes as well as event driven user applications. Normally, the OS assists the user application by lifting the semantics of exceptions received from hardware to program friendly user signals and exception handling interfaces. However, can exception handlers work securely in user enclaves, such as those enabled by Intel SGX, where the OS is not trusted by the enclave code? In this paper, we introduce a new attack called SmashEx which exploits the OS enclave interface for asynchronous exceptions in SGX. It demonstrates the importance of a fundamental property of safe atomic execution that is required on this interface. In the absence of atomicity, we show that asynchronous exception handling in SGX enclaves is complicated and prone to re entrancy vulnerabilities. Our attacks do not assume any memory errors in the enclave code, side channels, or application specific logic flaws. We concretely demonstrate exploits that cause arbitrary disclosure of enclave private memory and code reuse (ROP) attacks in the enclave. We show reliable exploits on two widely used SGX runtimes, Intel SGX SDK and Microsoft Open Enclave, running OpenSSL and cURL libraries respectively. We tested a total of 14 frameworks, including Intel SGX SDK and Microsoft Open Enclave, 10 of which are vulnerable. We discuss how the vulnerability manifests on both SGX1 based and SGX2 based platforms. We present potential mitigation and long term defenses for SmashEx.


Newton Polygons of L functions Associated to Deligne Polynomials. A conjecture of Le says that the Deligne polytope Delta d is generically ordinary if p equiv 1 ( ! ! bmod D( Delta d)) , where D( Delta d) is a combinatorial constant determined by Delta d . In this paper a counterexample is given to show that the conjecture is not true in general.


Qimera Data free Quantization with Synthetic Boundary Supporting Samples. Model quantization is known as a promising method to compress deep neural networks, especially for inferences on lightweight mobile or edge devices. However, model quantization usually requires access to the original training data to maintain the accuracy of the full precision models, which is often infeasible in real world scenarios for security and privacy issues. A popular approach to perform quantization without access to the original data is to use synthetically generated samples, based on batch normalization statistics or adversarial learning. However, the drawback of such approaches is that they primarily rely on random noise input to the generator to attain diversity of the synthetic samples. We find that this is often insufficient to capture the distribution of the original data, especially around the decision boundaries. To this end, we propose Qimera, a method that uses superposed latent embeddings to generate synthetic boundary supporting samples. For the superposed embeddings to better reflect the original distribution, we also propose using an additional disentanglement mapping layer and extracting information from the full precision model. The experimental results show that Qimera achieves state of the art performances for various settings on data free quantization. Code is available at https github.com iamkanghyunchoi qimera.


Model Counting meets F0 Estimation. Constraint satisfaction problems (CSP's) and data stream models are two powerful abstractions to capture a wide variety of problems arising in different domains of computer science. Developments in the two communities have mostly occurred independently and with little interaction between them. In this work, we seek to investigate whether bridging the seeming communication gap between the two communities may pave the way to richer fundamental insights. To this end, we focus on two foundational problems model counting for CSP's and computation of zeroth frequency moments ( F 0 ) for data streams. Our investigations lead us to observe striking similarity in the core techniques employed in the algorithmic frameworks that have evolved separately for model counting and F 0 computation. We design a recipe for translation of algorithms developed for F 0 estimation to that of model counting, resulting in new algorithms for model counting. We then observe that algorithms in the context of distributed streaming can be transformed to distributed algorithms for model counting. We next turn our attention to viewing streaming from the lens of counting and show that framing F 0 estimation as a special case of DNF counting allows us to obtain a general recipe for a rich class of streaming problems, which had been subjected to case specific analysis in prior works. In particular, our view yields a state of the art algorithm for multidimensional range efficient F 0 estimation with a simpler analysis.


Accumulative Poisoning Attacks on Real time Data. Collecting training data from untrusted sources exposes machine learning services to poisoning adversaries, who maliciously manipulate training data to degrade the model accuracy. When trained on offline datasets, poisoning adversaries have to inject the poisoned data in advance before training, and the order of feeding these poisoned batches into the model is stochastic. In contrast, practical systems are more usually trained fine tuned on sequentially captured real time data, in which case poisoning adversaries could dynamically poison each data batch according to the current model state. In this paper, we focus on the real time settings and propose a new attacking strategy, which affiliates an accumulative phase with poisoning attacks to secretly (i.e., without affecting accuracy) magnify the destructive effect of a (poisoned) trigger batch. By mimicking online learning and federated learning on MNIST and CIFAR 10, we show that model accuracy significantly drops by a single update step on the trigger batch after the accumulative phase. Our work validates that a well designed but straightforward attacking strategy can dramatically amplify the poisoning effects, with no need to explore complex techniques.


Malware Analysis with Artificial Intelligence and a Particular Attention on Results Interpretability. Malware detection and analysis are active research subjects in cybersecurity over the last years. Indeed, the development of obfuscation techniques, as packing, for example, requires special attention to detect recent variants of malware. The usual detection methods do not necessarily provide tools to interpret the results. Therefore, we propose a model based on the transformation of binary files into grayscale image, which achieves an accuracy rate of 88 . Furthermore, the proposed model can determine if a sample is packed or encrypted with a precision of 85 . It allows us to analyze results and act appropriately. Also, by applying attention mechanisms on detection models, we have the possibility to identify which part of the files looks suspicious. This kind of tool should be very useful for data analysts, it compensates for the lack of interpretability of the common detection models, and it can help to understand why some malicious files are undetected.


Difficulty Aware Machine Translation Evaluation. The high quality translation results produced by machine translation (MT) systems still pose a huge challenge for automatic evaluation. Current MT evaluation pays the same attention to each sentence component, while the questions of real world examinations (e.g., university examinations) have different difficulties and weightings. In this paper, we propose a novel difficulty aware MT evaluation metric, expanding the evaluation dimension by taking translation difficulty into consideration. A translation that fails to be predicted by most MT systems will be treated as a difficult one and assigned a large weight in the final score function, and conversely. Experimental results on the WMT19 English German Metrics shared tasks show that our proposed method outperforms commonly used MT metrics in terms of human correlation. In particular, our proposed method performs well even when all the MT systems are very competitive, which is when most existing metrics fail to distinguish between them. The source code is freely available at https github.com NLP2CT Difficulty Aware MT Evaluation.


Automatic Configuration for Optimal Communication Scheduling in DNN Training. ByteScheduler partitions and rearranges tensor transmissions to improve the communication efficiency of distributed Deep Neural Network (DNN) training. The configuration of hyper parameters (i.e., the partition size and the credit size) is critical to the effectiveness of partitioning and rearrangement. Currently, ByteScheduler adopts Bayesian Optimization (BO) to find the optimal configuration for the hyper parameters beforehand. In practice, however, various runtime factors (e.g., worker node status and network conditions) change over time, making the statically determined one shot configuration result suboptimal for real world DNN training. To address this problem, we present a real time configuration method (called AutoByte) that automatically and timely searches the optimal hyper parameters as the training systems dynamically change. AutoByte extends the ByteScheduler framework with a meta network, which takes the system's runtime statistics as its input and outputs predictions for speedups under specific configurations. Evaluation results on various DNN models show that AutoByte can dynamically tune the hyper parameters with low resource usage, and deliver up to 33.2 higher performance than the best static configuration in ByteScheduler.


Shape adaptive Hysteresis Compensation for Tendon driven Continuum Manipulators. Tendon driven continuum manipulators (TDCM) are commonly used in minimally invasive surgical systems due to their long, thin, flexible structure that is compliant in narrow or tortuous environments. There exist many researches for precise tip control of the articulating section. However, these models do not account for the proximal shaft shape of TDCM, affecting the tip controls in practical settings. In this paper, we propose a gradient based shift detection method based on motor current that can easily find the offset of task space models (i.e., hysteresis). We analyze our proposed methods with multiple Intra cardiac Echocardiography catheters, which are typical commercial example of TDCM. Our results show that the errors from varied proximal shape are considerably reduced, and the accuracy of the tip manipulation is improved when changing external environmental structures.


Regional modeling of surface and sub surface dynamics in the Bay of Bengal using Modular Ocean Model. Regional dynamics of Bay of Bengal is studied using Open Boundary Condition (OBC) in Modular Ocean Model (MOM) to understand the effect of primary and secondary mesoscale features on various bulk ocean products and turbulent fluxes. A horizontal resolution of 0.1o is adopted to resolve a range of mesoscale features. In order to parametrize the vertical mixing, K Profile Parametrization (KPP) scheme is implemented. The results show successful implementation of OBC in a regional domain with exchange of mass and energy and conservation of mass at the boundaries. The Sea Surface Temperature (SST) and Sea Surface Salinity (SSS) are validated with SODA reanalysis, which are found to be in good agreement. The Mixed Layer Depth (MLD) pattern is very well represented, albeit the magnitude is slightly under predicted in comparison with SODA reanalysis. Additionally, analysis of flow energetics reveal regional differences in turbulent kinetic energy (K), production flux (P), buoyancy flux (B), and dissipation ( epsilon ). Our results clearly reveal the presence of inverse energy cascade in the southern Bay of Bengal, wherein energy flows back into mean flow structures from the turbulent eddies. The re energization of mean flow structures is likely to allow the large scale circulation to persist for longer periods, thereby modifying the local dynamics. Further analysis shows that the B term is the major source of turbulence production in the north and central Bay of Bengal regions. These results convey the various mechanisms by which energy is produced and transferred in different regions of Bay of Bengal.


Asymptotic Stability of the Relativistic Boltzmann Equation without Angular Cut off. This paper is concerned with the relativistic Boltzmann equation without angular cutoff. We establish the global in time existence, uniqueness and asymptotic stability for solutions nearby the relativistic Maxwellian to the special relativistic Boltzmann equation without any angular cutoff. We work in the case of a spatially periodic box. We assume the generic hard interaction and soft interaction conditions on the collision kernel that were derived by Dudy 'nski and Ekiel Je dot text z ewska (Comm. Math. Phys. 115(4) 607 629, 1985), and our assumptions include the case of Israel particles (J. Math. Phys. 4 1163 1181, 1963). In this physical situation, the angular function in the collision kernel is not locally integrable, and the collision operator behaves like a fractional diffusion operator. We further derive the relativistic analogue of the Carleman dual representation of Boltzmann collision operator. This is the first global existence and stability result for relativistic Boltzmann equation without angular cutoff and this resolves the open question of perturbative global existence without the Grad's angular cut off assumption.


Spiking neural networks trained via proxy. We propose a new learning algorithm to train spiking neural networks (SNN) using conventional artificial neural networks (ANN) as proxy. We couple two SNN and ANN networks, respectively, made of integrate and fire (IF) and ReLU neurons with the same network architectures and shared synaptic weights. The forward passes of the two networks are totally independent. By assuming IF neuron with rate coding as an approximation of ReLU, we backpropagate the error of the SNN in the proxy ANN to update the shared weights, simply by replacing the ANN final output with that of the SNN. We applied the proposed proxy learning to deep convolutional SNNs and evaluated it on two benchmarked datasets of Fahion MNIST and Cifar10 with 94.56 and 93.11 classification accuracy, respectively. The proposed networks could outperform other deep SNNs trained with tandem learning, surrogate gradient learning, or converted from deep ANNs. Converted SNNs require long simulation times to reach reasonable accuracies while our proxy learning leads to efficient SNNs with much shorter simulation times.


Predicting Early Dropout Calibration and Algorithmic Fairness Considerations. In this work, the problem of predicting dropout risk in undergraduate studies is addressed from a perspective of algorithmic fairness. We develop a machine learning method to predict the risks of university dropout and underperformance. The objective is to understand if such a system can identify students at risk while avoiding potential discriminatory biases. When modeling both risks, we obtain prediction models with an Area Under the ROC Curve (AUC) of 0.77 0.78 based on the data available at the enrollment time, before the first year of studies starts. This data includes the students' demographics, the high school they attended, and their admission (average) grade. Our models are calibrated they produce estimated probabilities for each risk, not mere scores. We analyze if this method leads to discriminatory outcomes for some sensitive groups in terms of prediction accuracy (AUC) and error rates (Generalized False Positive Rate, GFPR, or Generalized False Negative Rate, GFNR). The models exhibit some equity in terms of AUC and GFNR along groups. The similar GFNR means a similar probability of failing to detect risk for students who drop out. The disparities in GFPR are addressed through a mitigation process that does not affect the calibration of the model.


Orbital Optimized Density Functional Theory for Electronic Excited States. Density functional theory (DFT) based modeling of electronic excited states is of importance for investigation of the photophysical photochemical properties and spectroscopic characterization of large systems. The widely used linear response time dependent DFT (TDDFT) approach is however not effective at modeling many types of excited states, including (but not limited to) charge transfer states, doubly excited states and core level excitations. In this perspective, we discuss state specific orbital optimized (OO) DFT approaches as an alterative to TDDFT for electronic excited states. We motivate the use of OO DFT methods and discuss reasons behind their relatively restricted historical usage (vs TDDFT). We subsequently highlight modern developments that address these factors and allow efficient and reliable OO DFT computations. Several successful applications of OO DFT for challenging electronic excitations are also presented, indicating their practical efficacy. OO DFT approaches are thus increasingly becoming a useful route for computing excited states of large chemical systems. We conclude by discussing the limitations and challenges still facing OO DFT methods, as well as some potential avenues for addressing them.


A Triangle Inequality for Cosine Similarity. Similarity search is a fundamental problem for many data analysis techniques. Many efficient search techniques rely on the triangle inequality of metrics, which allows pruning parts of the search space based on transitive bounds on distances. Recently, Cosine similarity has become a popular alternative choice to the standard Euclidean metric, in particular in the context of textual data and neural network embeddings. Unfortunately, Cosine similarity is not metric and does not satisfy the standard triangle inequality. Instead, many search techniques for Cosine rely on approximation techniques such as locality sensitive hashing. In this paper, we derive a triangle inequality for Cosine similarity that is suitable for efficient similarity search with many standard search structures (such as the VP tree, Cover tree, and M tree) show that this bound is tight and discuss fast approximations for it. We hope that this spurs new research on accelerating exact similarity search for cosine similarity, and possible other similarity measures beyond the existing work for distance metrics.


Reducing Bus Bunching with Asynchronous Multi Agent Reinforcement Learning. The bus system is a critical component of sustainable urban transportation. However, due to the significant uncertainties in passenger demand and traffic conditions, bus operation is unstable in nature and bus bunching has become a common phenomenon that undermines the reliability and efficiency of bus services. Despite recent advances in multi agent reinforcement learning (MARL) on traffic control, little research has focused on bus fleet control due to the tricky asynchronous characteristic control actions only happen when a bus arrives at a bus stop and thus agents do not act simultaneously. In this study, we formulate route level bus fleet control as an asynchronous multi agent reinforcement learning (ASMR) problem and extend the classical actor critic architecture to handle the asynchronous issue. Specifically, we design a novel critic network to effectively approximate the marginal contribution for other agents, in which graph attention neural network is used to conduct inductive learning for policy evaluation. The critic structure also helps the ego agent optimize its policy more efficiently. We evaluate the proposed framework on real world bus services and actual passenger demand derived from smart card data. Our results show that the proposed model outperforms both traditional headway based control methods and existing MARL methods.


Near total reflection X ray photoelectron spectroscopy Quantifying chemistry at solid liquid and solid solid interfaces. Near total reflection regime has been widely used in X ray science, specifically in grazing incidence small angle X ray scattering and in hard X ray photoelectron spectroscopy. In this work, we introduce some practical aspects of using near total reflection in ambient pressure X ray photoelectron spectroscopy and apply this technique to study chemical concentration gradients in a substrate photoresist system. Experimental data are accompanied by X ray optical and photoemission simulations to quantitatively probe the photoresist and the interface with the depth accuracy of 1 nm. Together, our calculations and experiments confirm that near total reflection X ray photoelectron spectroscopy is a suitable method to extract information from buried interfaces with highest depth resolution, which can help address open research questions regarding our understanding of concentration profiles, electrical gradients, and charge transfer phenomena at such interfaces. The presented methodology is especially attractive for solid liquid interface studies, since it provides all the strengths of a Bragg reflection standing wave spectroscopy without the need of an artificial multilayer mirror serving as a standing wave generator, thus dramatically simplifying the sample synthesis.


Overview of BioASQ 2020 The eighth BioASQ challenge on Large Scale Biomedical Semantic Indexing and Question Answering. In this paper, we present an overview of the eighth edition of the BioASQ challenge, which ran as a lab in the Conference and Labs of the Evaluation Forum (CLEF) 2020. BioASQ is a series of challenges aiming at the promotion of systems and methodologies for large scale biomedical semantic indexing and question answering. To this end, shared tasks are organized yearly since 2012, where different teams develop systems that compete on the same demanding benchmark datasets that represent the real information needs of experts in the biomedical domain. This year, the challenge has been extended with the introduction of a new task on medical semantic indexing in Spanish. In total, 34 teams with more than 100 systems participated in the three tasks of the challenge. As in previous years, the results of the evaluation reveal that the top performing systems managed to outperform the strong baselines, which suggests that state of the art systems keep pushing the frontier of research through continuous improvements.


Cognitive cascades How to model (and potentially counter) the spread of fake news. Understanding the spread of false or dangerous beliefs through a population has never seemed so urgent. Network science researchers have often taken a page from epidemiologists, and modeled the spread of false beliefs as similar to how a disease spreads through a social network. However, absent from those disease inspired models is an internal model of an individual's set of current beliefs, where cognitive science has increasingly documented how the interaction between mental models and incoming messages seems to be crucially important for their adoption or rejection. Some computational social science modelers analyze agent based models where individuals do have simulated cognition, but they often lack the strengths of network science, namely in empirically driven network structures. We introduce a cognitive cascade model that combines a network science belief cascade approach with an internal cognitive model of the individual agents as in opinion diffusion models as a public opinion diffusion (POD) model, adding media institutions as agents which begin opinion cascades. We conduct an analysis of the cognitive cascade model with our simple cognitive function across various graph topologies and institutional messaging patterns. We argue from our results that population level aggregate outcomes of the model qualitatively match what has been reported in COVID related public opinion polls, and that the model dynamics lend insights as to how to address the spread of problematic beliefs. The overall model sets up a framework with which social science misinformation researchers and computational opinion diffusion modelers can join forces to understand, and hopefully learn how to best counter, the spread of disinformation and "alternative facts."


Steps Before Syntax Helping Novice Programmers Solve Problems using the PCDIT Framework. Novice programmers often struggle with problem solving due to the high cognitive loads they face. Furthermore, many introductory programming courses do not explicitly teach it, assuming that problem solving skills are acquired along the way. In this paper, we present 'PCDIT', a non linear problem solving framework that provides scaffolding to guide novice programmers through the process of transforming a problem specification into an implemented and tested solution for an imperative programming language. A key distinction of PCDIT is its focus on developing concrete cases for the problem early without actually writing test code students are instead encouraged to think about the abstract steps from inputs to outputs before mapping anything down to syntax. We reflect on our experience of teaching an introductory programming course using PCDIT, and report the results of a survey that suggests it helped students to break down challenging problems, organise their thoughts, and reach working solutions.


Weak factorizations of the Hardy space in terms of multilinear fractional integral operator. We give a constructive proof of the factorization theorem for the classical Hardy space in terms of fractional integral operator. Moreover, the result is extended to the multilinear case and weighted case. As an application, we obtain the characterization of BMO via the weighted boundedness of commutators of the multilinear fractional integral operator, without individual conditions on the weights class.


Revenue Attribution on iOS 14 using Conversion Values in F2P Games. Mobile app developers use paid advertising campaigns to acquire new users. Marketing managers decide where to spend and how much to spend based on the campaigns' performance. Apple's new privacy mechanisms have a profound impact on how performance marketing is measured. Starting iOS 14.5, all apps must get system permission for tracking explicitly via the new App Tracking Transparency Framework, which shows the users a pop up asking if they give the app permission to track. If a user does not allow tracking, the required identifier to deterministically find the online advertising campaign that brought the user to install the app is not shared. Instead of relying on individual identifiers, Apple proposed a new performance mechanism called conversion value, which is an integer set by the apps for each user, and the developers can get the number of installs per conversion value for each campaign. However, interpreting how conversion values are used to measure the campaigns performance is not obvious because it requires a method to translate the conversion values to revenue. This paper investigates the task of attributing revenue to advertising campaigns using the reported conversion values per campaign. Our contributions are to formalize the problem, find the theoretically optimal revenue attribution function for any conversion value schema, and show empirical results on past data of a free to play mobile game using different conversion value schemas.


Theoretical study of reactions in the three body e e bar p system and antihydrogen formation cross sections. We apply a new highly efficient method of solving Faddeev Merkuriev equations to multi channel scattering calculations of the antihydrogen formation cross section for antiproton scattering off the ground and excited states of the positronium. Our results demonstrate good agreement with the known data on total and partial cross sections for all the reaction channels. Using moderate computational resources we have achieved a supreme energy resolution.


GNN is a Counter? Revisiting GNN for Question Answering. Question Answering (QA) has been a long standing research topic in AI and NLP fields, and a wealth of studies have been conducted to attempt to equip QA systems with human level reasoning capability. To approximate the complicated human reasoning process, state of the art QA systems commonly use pre trained language models (LMs) to access knowledge encoded in LMs together with elaborately designed modules based on Graph Neural Networks (GNNs) to perform reasoning over knowledge graphs (KGs). However, many problems remain open regarding the reasoning functionality of these GNN based modules. Can these GNN based modules really perform a complex reasoning process? Are they under or over complicated for QA? To open the black box of GNN and investigate these problems, we dissect state of the art GNN modules for QA and analyze their reasoning capability. We discover that even a very simple graph neural counter can outperform all the existing GNN modules on CommonsenseQA and OpenBookQA, two popular QA benchmark datasets which heavily rely on knowledge aware reasoning. Our work reveals that existing knowledge aware GNN modules may only carry out some simple reasoning such as counting. It remains a challenging open problem to build comprehensive reasoning modules for knowledge powered QA.


SteaLTE Private 5G Cellular Connectivity as a Service with Full stack Wireless Steganography. Fifth generation (5G) systems will extensively employ radio access network (RAN) softwarization. This key innovation enables the instantiation of "virtual cellular networks" running on different slices of the shared physical infrastructure. In this paper, we propose the concept of Private Cellular Connectivity as a Service (PCCaaS), where infrastructure providers deploy covert network slices known only to a subset of users. We then present SteaLTE as the first realization of a PCCaaS enabling system for cellular networks. At its core, SteaLTE utilizes wireless steganography to disguise data as noise to adversarial receivers. Differently from previous work, however, it takes a full stack approach to steganography, contributing an LTE compliant steganographic protocol stack for PCCaaS based communications, and packet schedulers and operations to embed covert data streams on top of traditional cellular traffic (primary traffic). SteaLTE balances undetectability and performance by mimicking channel impairments so that covert data waveforms are almost indistinguishable from noise. We evaluate the performance of SteaLTE on an indoor LTE compliant testbed under different traffic profiles, distance and mobility patterns. We further test it on the outdoor PAWR POWDER platform over long range cellular links. Results show that in most experiments SteaLTE imposes little loss of primary traffic throughput in presence of covert data transmissions ( 6 ), making it suitable for undetectable PCCaaS networking.


Basic Analysis of Bin Packing Heuristics. The bin packing problem continues to remain relevant in numerous application areas. This technical report discusses the empirical performance of different bin packing heuristics for certain test problems.


Human Perceptions on Moral Responsibility of AI A Case Study in AI Assisted Bail Decision Making. How to attribute responsibility for autonomous artificial intelligence (AI) systems' actions has been widely debated across the humanities and social science disciplines. This work presents two experiments ( N 200 each) that measure people's perceptions of eight different notions of moral responsibility concerning AI and human agents in the context of bail decision making. Using real life adapted vignettes, our experiments show that AI agents are held causally responsible and blamed similarly to human agents for an identical task. However, there was a meaningful difference in how people perceived these agents' moral responsibility human agents were ascribed to a higher degree of present looking and forward looking notions of responsibility than AI agents. We also found that people expect both AI and human decision makers and advisors to justify their decisions regardless of their nature. We discuss policy and HCI implications of these findings, such as the need for explainable AI in high stakes scenarios.


Ext Multiplicity Theorem for Standard Representations of ( mathrm GL n 1 , mathrm GL n) . Let pi 1 be a standard representation of mathrm GL n 1 (F) and let pi 2 be the smooth dual of a standard representation of mathrm GL n(F) . When F is non Archimedean, we prove that mathrm Ext i mathrm GL n(F) ( pi 1, pi 2) is cong mathbb C when i 0 and vanishes when i geq 1 . The main tool of the proof is a notion of left and right Bernstein Zelevinsky filtrations. An immediate consequence of the result is to give a new proof on the multiplicity at most one theorem. Along the way, we also study an application of an Euler Poincar 'e pairing formula of D. Prasad on the coefficients of Kazhdan Lusztig polynomials. When F is an Archimedean field, we use the left right Bruhat filtration to prove a multiplicity result for the equal rank Fourier Jacobi models of standard principal series.


Witten Morse functions and Morse inequalities on digraphs. In this paper, we prove that discrete Morse functions on digraphs are flat Witten Morse functions and Witten complexes of transitive digraphs approach to Morse complexes. We construct a chain complex consisting of the formal linear combinations of paths which are not only critical paths of the transitive closure but also allowed elementary paths of the digraph, and prove that the homology of the new chain complex is isomorphic to the path homology. On the basis of the above results, we give the Morse inequalities on digraphs.


Temporal Brewster angle. Controlling amplitude, phase and polarization of electromagnetic waves is key for a full manipulation of wave matter interactions. The Brewster angle is one of the important features in this context. Here, we exploit metamaterial concepts with a time modulated permittivity to propose the temporal equivalent of the spatial Brewster angle, a concept we call temporal Brewster angle. We consider temporal boundaries (as the temporal equivalent of the spatial boundaries between two media) by rapidly changing the permittivity of the medium, where a wave travels, from isotropic to an anisotropic permittivity tensor. It is theoretically shown that when the incidence angle coincides with that of the temporal Brewster angle a forward (temporal transmission) wave is produced while the backward (temporal reflection) is eliminated. We provide a closed form analytical expression of the temporal Brewster angle and demonstrate its performance both theoretically and numerically. Our findings may provide a fresh view on how to control electromagnetic wave propagation and wave matter interactions in real time using temporal metamaterials.


On several notions of complexity of polynomial progressions. For a polynomial progression (x, x P 1(y), ldots, x P t (y)), we define four notions of complexity Host Kra complexity, Weyl complexity, true complexity and algebraic complexity. The first two describe the smallest characteristic factor of the progression, the third one refers to the smallest degree Gowers norm controlling the progression, and the fourth one concerns algebraic relations between terms of the progressions. We conjecture that these four notions are equivalent, which would give a purely algebraic criterion for determining the smallest Host Kra factor or the smallest Gowers norm controlling a given progression. We prove this conjecture for all progressions whose terms only satisfy homogeneous algebraic relations and linear combinations thereof. This family of polynomial progressions includes, but is not limited to, arithmetic progressions, progressions with linearly independent polynomials P 1, ldots, P t and progressions whose terms satisfy no quadratic relations. For progressions that satisfy only linear relations, such as (x, x y 2, x 2y 2, x y 3, x 2y 3), we derive several combinatorial and dynamical corollaries (1) an estimate for the count of such progressions in subsets of cyclic groups or totally ergodic dynamical systems (2) a lower bound for multiple recurrence (3) and a popular common difference result in cyclic groups. Lastly, we show that Weyl complexity and algebraic complexity always agree, which gives a straightforward algebraic description of Weyl complexity.


An Empirical Analysis of Practitioners' Perspectives on Security Tool Integration into DevOps. Background Security tools play a vital role in enabling developers to build secure software. However, it can be quite challenging to introduce and fully leverage security tools without affecting the speed or frequency of deployments in the DevOps paradigm. Aims We aim to empirically investigate the key challenges practitioners face when integrating security tools into a DevOps workflow in order to provide recommendations to overcome them. Method We conducted a study involving 31 systematically selected webinars on integrating security tools in DevOps. We used a qualitative data analysis method, i.e., thematic analysis, to identify the challenges and emerging solutions related to integrating security tools in rapid deployment environments. Results We find that while traditional security tools are unable to cater for the needs of DevOps, the industry is moving towards new generations of tools that have started focusing on these requirements. We have developed a DevOps workflow that integrates security tools and a set of guidelines by synthesizing practitioners' recommendations in the analyzed webinars. Conclusion While the latest security tools are addressing some of the requirements of DevOps, there are many tool related drawbacks yet to be adequately addressed.


Modelling DDoS Attacks in IoT Networks using Machine Learning. In current Internet of Things (IoT) deployments, a mix of traditional IP networking and IoT specific protocols, both relying on the TCP protocol, can be used to transport data from a source to a destination. Therefore, TCP specific attacks, such as the Distributed Denial of Service (DDoS) using the TCP SYN attack, are one of the most plausible tools that attackers can use on Cyber Physical Systems (CPS). This may be done by launching an attack from its IoT subsystem, here referred to as the "CPS IoT", with potential propagation to the different servers located in both fog and the cloud infrastructures of the CPS. This study compares the effectiveness of supervised, unsupervised, and semi supervised machine learning algorithms for detecting DDoS attacks in CPS IoT, particularly during data transmission to and from the physical space to the cyber space via the Internet. The algorithms considered are broadly grouped into two i) Detection algorithms, which include Logistic Regression (LGR), K Means, and Artificial Neural Networks (ANN). We also looked into the effectiveness of semi supervised hybrid learning models, which use unsupervised K Means to label data, then feed the output to a supervised learning model for attack detection. ii.) Prediction algorithms LGR, Kernel Ridge Regression (KRR) and Support Vector Regression (SVR), which were used to predict imminent attacks. Experimental tests were carried out and obtained results showed that the hybrid model was able to achieve 100 accuracy with zero false positives while all the prediction models were able to achieve over 94 attack prediction accuracy.


Remarks on two connected papers about Keller Segel systems with nonlinear production. These notes aim to provide a deeper insight on the specifics of two articles dealing with chemotaxis models with nonlinear production. More precisely, we are referring to the papers "Boundedness of solutions to a quasilinear parabolic parabolic chemotaxis model with nonlinear signal production" by X. Tao, S. Zhou and M. Ding J. Math. Anal. Appl. 474 1 (2019) 733 747 and "Boundedness for a fully parabolic Keller Segel model with sublinear segregation and superlinear aggregation" by S. Frassu and G. Viglialoro Acta Appl. Math. 171 1 (2021), 19 . These works, independently published in these last years, present results leaving open room for further improvement. Indeed, in the first a gap in the proof of the main claim appears, whereas the cornerstone assumption in the second is not sharp. In these pages we give a more complete picture to the relative underlying comprehension.


On the homology theory for the chromatic polynomials. In cite 10.2140 agt.2005.5.1365 , Rong and Helme Guizon defined a categorification for the chromatic polynomial P G(x) of graphs G , i.e. a homology theory H (G) whose Euler characteristic equals P G(x) . In this paper, we showed that the rational homoology H (G mathbb Q ) is supported in two lines, and develop an analogy of Lee's theory for Khovanov homology. In particular, we develop a new homology theory H Lee (G) , and showed that there is a spectral sequence whose E 2 term is isomorphic to H (G) converges to H Lee (G) .


A note on long cycles in sparse random graphs. Let L c,n denote the size of the longest cycle in G n,p . We show that there exists some absolute constant C 0 such that for c C 0 if p frac c n then w.h.p. G n,p contains a cycle of length ell for every ell in L c,n c 2e c n 4,L c,n . In addition, we show that there exists a continuous function f(c) such that L c,n n to f(c) in probability.


A Survey of Requirements for COVID 19 Mitigation Strategies. Part II Elicitation of Requirements. The COVID 19 pandemic has influenced virtually all aspects of our lives. Across the world, countries have applied various mitigation strategies, based on social, political, and technological instruments. We postulate that multi agent systems can provide a common platform to study (and balance) their essential properties. We also show how to obtain a comprehensive list of the properties by "distilling" them from media snippets. Finally, we present a preliminary take on their formal specification, using ideas from multi agent logics.


Maximum principles, Liouville theorem and symmetry results for the fractional g Laplacian. We study different maximum principles for non local non linear operators with non standard growth that arise naturally in the context of fractional Orlicz Sobolev spaces and whose most notable representative is the fractional g Laplacian ( Delta g) su(x) textrm p.v. int mathbb R n g left( frac u(x) u(y) x y s right) frac dy x y n s , being g the derivative of a Young function. We further derive qualitative properties of solutions such as a Liouville type theorem and symmetry results and present several possible extensions and some interesting open questions. These are the first results of this type proved in this setting.


Accelerated forward backward method with fast convergence rate for nonsmooth convex optimization beyond differentiability. We propose an accelerated forward backward method with fast convergence rate for finding a minimizer of a decomposable nonsmooth convex function over a closed convex set, and name it smoothing accelerated proximal gradient (SAPG) algorithm. The proposed algorithm combines the smoothing method with the proximal gradient algorithm with extrapolation frac k 1 k alpha 1 and alpha 3 . The updating rule of smoothing parameter mu k is a smart scheme and guarantees the global convergence rate of o( ln sigma k k) with sigma in( frac 1 2 ,1 on the objective function values. Moreover, we prove that the sequence is convergent to an optimal solution of the problem. Furthermore, we introduce an error term in the SAPG algorithm to get the inexact smoothing accelerated proximal gradient algorithm. And we obtain the same convergence results as the SAPG algorithm under the summability condition on the errors. Finally, numerical experiments show the effectiveness and efficiency of the proposed algorithm.


The case of an N gon. We construct the indefinite theta series attached to N gons in the symmetric space of an indefinite inner product space of signature (m 2,2) following the suggestions of section C in the recent paper of Alexandrov, Banerjee, Manschot, and Pioline. We prove the termwise absolute convergence of the holomorphic mock modular part of these series and also obtain an interpretation of the coefficients of this part as linking numbers. Thus we prove the convergence conjecture of ABMP provided none of the vectors in the collection CC C 1,..., C N is a null vector. The use of linking numbers and a homotopy argument eliminates the need for an explicit parametrization of a surface S spanning the N gon that was used in an essential way in our previous work. We indicate how our method could be carried over to a more general situation for signature (m q,q) where higher homotopy groups are now involved. In the last section, we apply the method to the case of a dodecahedral cell in the symmetric space of a quadratic form of signature (m 3,3).


Cross Modal Object Tracking Modality Aware Representations and A Unified Benchmark. In many visual systems, visual tracking often bases on RGB image sequences, in which some targets are invalid in low light conditions, and tracking performance is thus affected significantly. Introducing other modalities such as depth and infrared data is an effective way to handle imaging limitations of individual sources, but multi modal imaging platforms usually require elaborate designs and cannot be applied in many real world applications at present. Near infrared (NIR) imaging becomes an essential part of many surveillance cameras, whose imaging is switchable between RGB and NIR based on the light intensity. These two modalities are heterogeneous with very different visual properties and thus bring big challenges for visual tracking. However, existing works have not studied this challenging problem. In this work, we address the cross modal object tracking problem and contribute a new video dataset, including 654 cross modal image sequences with over 481K frames in total, and the average video length is more than 735 frames. To promote the research and development of cross modal object tracking, we propose a new algorithm, which learns the modality aware target representation to mitigate the appearance gap between RGB and NIR modalities in the tracking process. It is plug and play and could thus be flexibly embedded into different tracking frameworks. Extensive experiments on the dataset are conducted, and we demonstrate the effectiveness of the proposed algorithm in two representative tracking frameworks against 17 state of the art tracking methods. We will release the dataset for free academic usage, dataset download link and code will be released soon.


Engineered Raman Lasing in Photonic Integrated Chalcogenide Microresonators. Chalcogenide glass (ChG) is an attractive material for integrated nonlinear photonics due to its wide transparency and high nonlinearity, and its capability of being directly deposited and patterned on Silicon wafer substrates. It has a singular Raman effect among amorphous materials. Yet, the Raman lasing performance in high quality and chip integrated ChG microresonators remains unexplored. Here, we demonstrate an engineered Raman lasing dynamic based on home developed photonic integrated high Q ChG microresonators. With a quality factor above 10 6, we achieve the record low lasing threshold 3.25 mW among integrated planar photonic platforms. Both the single mode Raman lasers and a broadband Raman Kerr comb are observed and characterized, which is dependent on the dispersion of our flexible photonic platform and engineered via tuning the waveguide geometric size. The tunability of such a chipscale Raman laser is also demonstrated through tuning the pump wavelength and tuning the operating temperature on the chip. This allows for the access of single mode lasing at arbitrary wavelengths in the range 1615 1755 nm. Our results may contribute to the understanding of rich Raman and Kerr nonlinear interactions in dissipative and nonlinear microresonators, and on application aspect, may pave a way to chip scale efficient Raman lasers that is highly desired in spectroscopic applications in the infrared.


Adapting legacy robotic machinery to industry 4 a ciot experiment version 1. This paper presents an experimental adaptation of a non collaborative robot arm to collaborate with the environment, as one step towards adapting legacy robotic machinery to fit in industry 4.0 requirements. A cloud based internet of things (CIoT) service is employed to connect, supervise and control a robotic arm's motion using the added wireless sensing devices to the environment. A programmable automation controller (PAC) unit, connected to the robot arm receives the most recent changes and updates the motion of the robot arm. The experimental results show that the proposed non expensive service is tractable and adaptable to higher level for machine to machine collaboration. The proposed approach in this paper has industrial and educational applications. In the proposed approach, the CIoT technology is added as a technology interface between the sensors to the environment and the robotic arm. The proposed approach is versatile and fits to variety of applications to meet the flexible requirements of industry 4.0. The proposed approach has been implemented in an experiment using MECA 500 robot arm and AMAX 5580 programmable automation controller and ultrasonic proximity wireless sensor.