Hierarchical Bayesian Approach for Improving Weights for Solving Multi Objective Route Optimization Problem. The weighted sum method is a simple and widely used technique that scalarizes multiple conflicting objectives into a single objective function. It suffers from the problem of determining the appropriate weights corresponding to the objectives. This paper proposes a novel Hierarchical Bayesian model based on Multinomial distribution and Dirichlet prior to refine the weights for solving such multi objective route optimization problems. The model and methodologies revolve around data obtained from a small scale pilot survey. The method aims at improving the existing methods of weight determination in the field of Intelligent Transport Systems as data driven choice of weights through appropriate probabilistic modelling ensures, on an average, much reliable results than non probabilistic techniques. Application of this model and methodologies to simulated as well as real data sets revealed quite encouraging performances with respect to stabilizing the estimates of weights.


Global well posedness of the half space problem of the Navier Stokes equations in critical function spaces of limiting case. In this paper, we study the initial boundary value problem of the Navier Stokes equations in half space. Let a solenoidal initial velocity be given in the function space dot B p infty,0 1 n p ( mathbb R n ) for frac n 3 p n . We prove the global in time existence of weak solution u in L infty(0, infty dot B 1 n p p infty ( mathbb R n )) , when the given initial velocity has small norm in function space dot B p infty,0 1 n p ( mathbb R n ) , where frac n 3 p n .


Optimized Distributed Processing in a Vehicular Cloud Architecture. The introduction of cloud data centres has opened new possibilities for the storage and processing of data, augmenting the limited capabilities of peripheral devices. Large data centres tend to be located away from the end users which increases latency and power consumption in the interconnecting networks. These limitations led to the introduction of edge processing where small distributed data centres or fog units are located at the edge of the network close to the end user. Vehicles can have substantial processing capabilities, often un used, in their on board units (OBUs). These can be used to augment the network edge processing capabilities. In this paper we extend our previous work and develop a mixed integer linear programming (MILP) formulation that optimizes the allocation of networking and processing resources to minimize power consumption. Our edge processing architecture includes vehicular processing nodes, edge processing and cloud infrastructure. Furthermore, in this paper our optimization formulation includes delay. Compared to power minimization, our new formulation reduces delay significantly, while resulting in a very limited increase in power consumption.


Pattern Spotting in Historical Documents Using Convolutional Models. Pattern spotting consists of searching in a collection of historical document images for occurrences of a graphical object using an image query. Contrary to object detection, no prior information nor predefined class is given about the query so training a model of the object is not feasible. In this paper, a convolutional neural network approach is proposed to tackle this problem. We use RetinaNet as a feature extractor to obtain multiscale embeddings of the regions of the documents and also for the queries. Experiments conducted on the DocExplore dataset show that our proposal is better at locating patterns and requires less storage for indexing images than the state of the art system, but fails at retrieving some pages containing multiple instances of the query.


Efficient Ab Initio Molecular Dynamic Simulations by Offloading Fast Fourier Transformations to FPGAs. A large share of today's HPC workloads is used for Ab Initio Molecular Dynamics (AIMD) simulations, where the interatomic forces are computed on the fly by means of accurate electronic structure calculations. They are computationally intensive and thus constitute an interesting application class for energy efficient hardware accelerators such as FPGAs. In this paper, we investigate the potential of offloading 3D Fast Fourier Transformations (FFTs) as a critical routine of plane wave based electronic structure calculations to FPGA and in conjunction demonstrate the tolerance of these simulations to lower precision computations.


On uniform convergence of the inverse Fourier transform for differential equations and Hamiltonian systems with degenerating weight. We study pseudospectral and spectral functions for Hamiltonian system Jy' B(t) lambda Delta(t)y and differential equation l y lambda Delta(t)y with matrix valued coefficients defined on an interval mathcal I a,b) with the regular endpoint a . It is not assumed that the matrix weight Delta(t) geq 0 is invertible a.e. on mathcal I . In this case a pseudospectral function always exists, but the set of spectral functions may be empty. We obtain a parametrization sigma sigma tau of all pseudospectral and spectral functions sigma by means of a Nevanlinna parameter tau and single out in terms of tau and boundary conditions the class of functions y for which the inverse Fourier transform y(t) int limits mathbb R varphi(t,s) , d sigma (s) widehat y(s) converges uniformly. We also show that for scalar equation l y lambda Delta(t)y the set of spectral functions is not empty. This enables us to extend the Kats Krein and Atkinson results for scalar Sturm Liouville equation (p(t)y')' q(t)y lambda Delta (t) y to such equations with arbitrary coefficients p(t) and q(t) and arbitrary non trivial weight Delta (t) geq 0 .


Training Data Independent Image Registration With GANs Using Transfer Learning And Segmentation Information. Registration is an important task in automated medical image analysis. Although deep learning (DL) based image registration methods out perform time consuming conventional approaches, they are heavily dependent on training data and do not generalize well for new images types. We present a DL based approach that can register an image pair which is different from the training images. This is achieved by training generative adversarial networks (GANs) in combination with segmentation information and transfer learning. Experiments on chest Xray and brain MR images show that our method gives better registration performance over conventional methods.


Physics informed Neural Network Software for Molecular Dynamics Applications. We have developed a novel differential equation solver software called PND based on the physics informed neural network for molecular dynamics simulators. Based on automatic differentiation technique provided by Pytorch, our software allows users to flexibly implement equation of atom motions, initial and boundary conditions, and conservation laws as loss function to train the network. PND comes with a parallel molecular dynamics (MD) engine in order for users to examine and optimize loss function design, and different conservation laws and boundary conditions, and hyperparameters, thereby accelerate the PINN based development for molecular applications.


Connectedness matters Construction and exact random sampling of connected graphs. We describe a new method for the random sampling of connected networks with a specified degree sequence. We consider both the case of simple graphs and that of loopless multigraphs. The constraints of fixed degrees and of connectedness are two of the most commonly needed ones when constructing null models for the practical analysis of physical or biological networks. Yet handling these constraints, let alone combining them, is non trivial. Our method builds on a recently introduced novel sampling approach that constructs graphs with given degrees independently (unlike edge switching Markov Chain Monte Carlo methods) and efficiently (unlike the configuration model), and extends it to incorporate the constraint of connectedness. Additionally, we present a simple and elegant algorithm for directly constructing a single connected realization of a degree sequence, either as a simple graph or a multigraph. Finally, we demonstrate our sampling method on a realistic scale free example, as well as on degree sequences of connected real world networks, and show that enforcing connectedness can significantly alter the properties of sampled networks.


Constrained Design of Deep Iris Networks. Despite the promise of recent deep neural networks in the iris recognition setting, there are vital properties of the classic IrisCode which are almost unable to be achieved with current deep iris networks the compactness of model and the small number of computing operations (FLOPs). This paper re models the iris network design process as a constrained optimization problem which takes model size and computation into account as learning criteria. On one hand, this allows us to fully automate the network design process to search for the best iris network confined to the computation and model compactness constraints. On the other hand, it allows us to investigate the optimality of the classic IrisCode and recent iris networks. It also allows us to learn an optimal iris network and demonstrate state of the art performance with less computation and memory requirements.


The Kinetic Fokker planck Equation With Mean Field Interaction. We study the long time behaviour of the kinetic Fokker Planck equation with mean field interaction, whose limit is often called Vlasov Fkker Planck equation. We prove a uniform (in the number of particles) exponential convergence to equilibrium for the solutions in the weighted Sobolev space H 1 ( mu ) with a rate of convergence which is explicitly computable and independent of the number of particles. The originality of the proof relies on functional inequalities and hypocoercivity with Lyapunov type conditions, usually not suitable to provide adimensional results.


Positive Semidefinite Programming Mixed, Parallel, and Width Independent. We give the first approximation algorithm for mixed packing and covering semidefinite programs (SDPs) with polylogarithmic dependence on width. Mixed packing and covering SDPs constitute a fundamental algorithmic primitive with recent applications in combinatorial optimization, robust learning, and quantum complexity. The current approximate solvers for positive semidefinite programming can handle only pure packing instances, and technical hurdles prevent their generalization to a wider class of positive instances. For a given multiplicative accuracy of epsilon , our algorithm takes O( log 3(nd rho) cdot epsilon 3 ) parallelizable iterations, where n , d are dimensions of the problem and rho is a width parameter of the instance, generalizing or improving all previous parallel algorithms in the positive linear and semidefinite programming literature. When specialized to pure packing SDPs, our algorithm's iteration complexity is O( log 2 (nd) cdot epsilon 2 ) , a slight improvement and derandomization of the state of the art (Allen Zhu et. al. '16, Peng et. al. '16, Wang et. al. '15). For a wide variety of structured instances commonly found in applications, the iterations of our algorithm run in nearly linear time. In doing so, we give matrix analytic techniques for overcoming obstacles that have stymied prior approaches to this open problem, as stated in past works (Peng et. al. '16, Mahoney et. al. '16). Crucial to our analysis are a simplification of existing algorithms for mixed positive linear programs, achieved by removing an asymmetry caused by modifying covering constraints, and a suite of matrix inequalities whose proofs are based on analyzing the Schur complements of matrices in a higher dimension. We hope that both our algorithm and techniques open the door to improved solvers for positive semidefinite programming, as well as its applications.


Modified log Sobolev inequalities, Beckner inequalities and moment estimates. We prove that in the context of general Markov semigroups Beckner inequalities with constants separated from zero as p to 1 are equivalent to the modified log Sobolev inequality (previously only one implication was known to hold in this generality). Further, by adapting an argument by Boucheron et al. we derive Sobolev type moment estimates which hold under these functional inequalities. We illustrate our results with applications to concentration of measure estimates (also of higher order, beyond the case of Lipschitz functions) for various stochastic models, including random permutations, zero range processes, strong Rayleigh measures, exponential random graphs, and geometric functionals on the Poisson path space.


Learning Residual Flow as Dynamic Motion from Stereo Videos. We present a method for decomposing the 3D scene flow observed from a moving stereo rig into stationary scene elements and dynamic object motion. Our unsupervised learning framework jointly reasons about the camera motion, optical flow, and 3D motion of moving objects. Three cooperating networks predict stereo matching, camera motion, and residual flow, which represents the flow component due to object motion and not from camera motion. Based on rigid projective geometry, the estimated stereo depth is used to guide the camera motion estimation, and the depth and camera motion are used to guide the residual flow estimation. We also explicitly estimate the 3D scene flow of dynamic objects based on the residual flow and scene depth. Experiments on the KITTI dataset demonstrate the effectiveness of our approach and show that our method outperforms other state of the art algorithms on the optical flow and visual odometry tasks.


On Uniqueness for Schr "odinger maps with low regularity large data. We prove that the solutions to the initial value problem for 2 dimensional Schr "odinger maps are unique in C tL x infty cap L t infty ( dot H 1 x cap dot H 2 x) . For the proof, we follow McGahagan's argument with improving its technical part, combining Yudovich's argument.


Dynamic backdoor attacks against federated learning. Federated Learning (FL) is a new machine learning framework, which enables millions of participants to collaboratively train machine learning model without compromising data privacy and security. Due to the independence and confidentiality of each client, FL does not guarantee that all clients are honest by design, which makes it vulnerable to adversarial attack naturally. In this paper, we focus on dynamic backdoor attacks under FL setting, where the goal of the adversary is to reduce the performance of the model on targeted tasks while maintaining a good performance on the main task, current existing studies are mainly focused on static backdoor attacks, that is the poison pattern injected is unchanged, however, FL is an online learning framework, and adversarial targets can be changed dynamically by attacker, traditional algorithms require learning a new targeted task from scratch, which could be computationally expensive and require a large number of adversarial training examples, to avoid this, we bridge meta learning and backdoor attacks under FL setting, in which case we can learn a versatile model from previous experiences, and fast adapting to new adversarial tasks with a few of examples. We evaluate our algorithm on different datasets, and demonstrate that our algorithm can achieve good results with respect to dynamic backdoor attacks. To the best of our knowledge, this is the first paper that focus on dynamic backdoor attacks research under FL setting.


A Synthetic Network Generator for Covert Network Analytics. We study social networks and focus on covert (also known as hidden) networks, such as terrorist or criminal networks. Their structures, memberships and activities are illegal. Thus, data about covert networks is often incomplete and partially incorrect, making interpreting structures and activities of such networks challenging. For legal reasons, real data about active covert networks is inaccessible to researchers. To address these challenges, we introduce here a network generator for synthetic networks that are statistically similar to a real network but void of personal information about its members. The generator uses statistical data about a real or imagined covert organization network. It generates randomized instances of the Stochastic Block model of the network groups but preserves this network organizational structure. The direct use of such anonymized networks is for training on them the research and analytical tools for finding structure and dynamics of covert networks. Since these synthetic networks differ in their sets of edges and communities, they can be used as a new source for network analytics. First, they provide alternative interpretations of the data about the original network. The distribution of probabilities for these alternative interpretations enables new network analytics. The analysts can find community structures which are frequent, therefore stable under perturbations. They may also analyze how the stability changes with the strength of perturbation. For covert networks, the analysts can quantify statistically expected outcomes of interdiction. This kind of analytics applies to all complex network in which the data are incomplete or partially incorrect.


Learning Inverse Rendering of Faces from Real world Videos. In this paper we examine the problem of inverse rendering of real face images. Existing methods decompose a face image into three components (albedo, normal, and illumination) by supervised training on synthetic face data. However, due to the domain gap between real and synthetic face images, a model trained on synthetic data often does not generalize well to real data. Meanwhile, since no ground truth for any component is available for real images, it is not feasible to conduct supervised learning on real face images. To alleviate this problem, we propose a weakly supervised training approach to train our model on real face videos, based on the assumption of consistency of albedo and normal across different frames, thus bridging the gap between real and synthetic face images. In addition, we introduce a learning framework, called IlluRes SfSNet, to further extract the residual map to capture the global illumination effects that give the fine details that are largely ignored in existing methods. Our network is trained on both real and synthetic data, benefiting from both. We comprehensively evaluate our methods on various benchmarks, obtaining better inverse rendering results than the state of the art.


Modelling the impact of deep water crustacean trawl fishery in the marine ecosystem off Portuguese Southwestern and South Coasts I) the trophic web and trophic flows. The concentration of the population in coastal regions, in addition to the direct human use, is leading to an accelerated process of change and deterioration of the marine ecosystems. Human activities such as fishing together with environmental drivers (e.g. climate change) are triggering major threats to marine biodiversity, and impact directly the services they provide. In the South and Southwest coasts of Portugal, the deep water crustacean trawl fishery is not exemption. This fishery is recognized to have large effects on a number of species while generating high rates of unwanted catches. However, taking into account an ecosystem based perspective, the fishing impacts along the food web accounting for biological interactions between and among species caught remains poorly understood. These impacts are particularly troubling and are a cause of concern given the cascading effects that might arise. Facing the main policies and legislative instruments for the restoration and conservation of the marine environment, times are calling for implementing ecosystem based approaches to fisheries management. To this end, we use a food web modelling (Ecopath with Ecosim) approach to assess the fishing impacts of this particular fishery on the marine ecosystem of southern and southwestern Portugal. In particular, we describe the food web structure and functioning, identify the main keystone species and or groups, quantify the major trophic and energy flows, and ultimately assess the impact of fishing on the target species but also on the ecosystem by means of ecological and ecosystem based indicators. Finally, we examine limitations and weaknesses of the model for potential improvements and future research directions.


On the 2 colored crossing number. Let D be a straight line drawing of a graph. The rectilinear 2 colored crossing number of D is the minimum number of crossings between edges of the same color, taken over all possible 2 colorings of the edges of D . First, we show lower and upper bounds on the rectilinear 2 colored crossing number for the complete graph K n . To obtain this result, we prove that asymptotic bounds can be derived from optimal and near optimal instances with few vertices. We obtain such instances using a combination of heuristics and integer programming. Second, for any fixed drawing of K n , we improve the bound on the ratio between its rectilinear 2 colored crossing number and its rectilinear crossing number.


Is Two Better than One? Effects of Multiple Agents on User Persuasion. Virtual humans need to be persuasive in order to promote behaviour change in human users. While several studies have focused on understanding the numerous aspects that influence the degree of persuasion, most of them are limited to dyadic interactions. In this paper, we present an evaluation study focused on understanding the effects of multiple agents on user's persuasion. Along with gender and status (authoritative peer), we also look at type of focus employed by the agent i.e., user directed where the agent aims to persuade by addressing the user directly and vicarious where the agent aims to persuade the user, who is an observer, indirectly by engaging another agent in the discussion. Participants were randomly assigned to one of the 12 conditions and presented with a persuasive message by one or several virtual agents. A questionnaire was used to measure perceived interpersonal attitude, credibility and persuasion. Results indicate that credibility positively affects persuasion. In general, multiple agent setting, irrespective of the focus, was more persuasive than single agent setting. Although, participants favored user directed setting and reported it to be persuasive and had an increased level of trust in the agents, the actual change in persuasion score reflects that vicarious setting was the most effective in inducing behaviour change. In addition to this, the study also revealed that authoritative agents were the most persuasive.


Gamification and engagement of tourists and residents in public transportation exploiting location based technologies. Cities are becoming very congested. There is a need to reduce the number of private cars on the roads, by maximising the potential for local public transport. With the increasing awareness of transport that is sustainable in the sense of environmental impact, but also climate and social, there is the need to create engagement into public transportation. Gamification, which is the use of game elements in non game contexts, has proven to deliver very positive results, by turning regular activities into engaging ones, which are fun to perform. We have designed a mobile application, that interacts with short range wireless communication technologies, inviting people to use public transport. To evaluate the solution, we have created a questionnaire based on the System Usability Scale, but also using usability testing with specific tasks.


Approximation, characterization, and continuity of multivariate monotonic regression functions. We deal with monotonic regression of multivariate functions f Q to mathbb R on a compact rectangular domain Q in mathbb R d , where monotonicity is understood in a generalized sense as isotonicity in some coordinate directions and antitonicity in some other coordinate directions. As usual, the monotonic regression of a given function f is the monotonic function f that has the smallest (weighted) mean squared distance from f . We establish a simple general approach to compute monotonic regression functions namely, we show that the monotonic regression f of a given function f can be approximated arbitrarily well with simple bounds on the approximation error in both the 2 norm and the infty norm by the monotonic regression f n of grid constant functions f n . We also establish the continuity of the monotonic regression f of a continuous function f along with an explicit averaging formula for f . And finally, we deal with generalized monotonic regression where the mean squared distance from standard monotonic regression is replaced by more complex distance measures which arise, for instance, in maximum smoothed likelihood estimation. We will see that the solution of such generalized monotonic regression problems is simply given by the standard monotonic regression f .


A study of multistage interconnection networks operating with wormhole routing and equipped with multi lane storage. Multistage interconnection networks (MINs) provide critical communication resources between network components with an attractive cost performance relation. In this paper, a novel architecture for a MIN is proposed. In contrast to other existing networks, this new architecture operates via wormhole routing using a multi lane equivalent weighted fair queuing system. Associating the lane storage with each physical channel for movement of the flits allows for high levels of packet flow and makes the system more robust. The resulting flit scheduling schema has been studied thoroughly, and the results are presented in this manuscript. In addition to performance metrics, additional factors such as complexity, cost and reliability are investigated. Since a basic aim of the design of MINs is to achieve a good data flow control mechanism, this proposal is an extremely effective and robust solution. The rationale behind this innovative scheme is to introduce a more efficient network technology, thus providing a better quality of service (i.e. streaming media vs. file transfer).


Distance functions on convex bodies and symplectic toric manifolds. In this paper we discuss three distance functions on the set of convex bodies. In particular we study the convergence of Delzant polytopes, which are fundamental objects in symplectic toric geometry. By using these observations, we derive some convergence theorems for symplectic toric manifolds with respect to the Gromov Hausdorff distance.


Reinforced Feature Points Optimizing Feature Detection and Description for a High Level Task. We address a core problem of computer vision Detection and description of 2D feature points for image matching. For a long time, hand crafted designs, like the seminal SIFT algorithm, were unsurpassed in accuracy and efficiency. Recently, learned feature detectors emerged that implement detection and description using neural networks. Training these networks usually resorts to optimizing low level matching scores, often pre defining sets of image patches which should or should not match, or which should or should not contain key points. Unfortunately, increased accuracy for these low level matching scores does not necessarily translate to better performance in high level vision tasks. We propose a new training methodology which embeds the feature detector in a complete vision pipeline, and where the learnable parameters are trained in an end to end fashion. We overcome the discrete nature of key point selection and descriptor matching using principles from reinforcement learning. As an example, we address the task of relative pose estimation between a pair of images. We demonstrate that the accuracy of a state of the art learning based feature detector can be increased when trained for the task it is supposed to solve at test time. Our training methodology poses little restrictions on the task to learn, and works for any architecture which predicts key point heat maps, and descriptors for key point locations.


From waves to convection and back again The phase space of stably stratified turbulence. We show that the phase space of stratified turbulence mainly consists of two slow invariant manifolds with rich physics, embedded on a larger basin with fast evolution. A local invariant manifold in the vicinity of the fluid at equilibrium corresponds to waves, while a global invariant manifold corresponds to the onset of local convection. Using a reduced model derived from the Boussinesq equations, we propose that waves accumulate energy nonlinearly up to a point such that fluid elements escape from the local manifold and evolve fast to the global manifold, where kinetic energy can be more efficiently dissipated. After this, fluid elements return to the first manifold. As the stratification increases, the volume of the first manifold increases, and the second manifold becomes harder to access. This explains recent observations of enhanced intermittency and marginal instability in these flows. The reduced model also allows us to study structure formation, alignment of field gradients in the flow, and to identify balance relations that hold for each fluid element.


Deformed dimensional reduction. Since its first use by Behrend, Bryan, and Szendr H o i in the computation of motivic Donaldson Thomas (DT) invariants of mathbb A mathbb C 3 , dimensional reduction has proved to be an important tool in motivic and cohomological DT theory. Inspired by a conjecture of Cazzaniga, Morrison, Pym, and Szendr H o i on motivic DT invariants, work of Dobrovolska, Ginzburg, and Travkin on exponential sums, and work of Orlov and Hirano on equivalences of categories of singularities, we generalize the dimensional reduction theorem in motivic and cohomological DT theory and use it to prove versions of the Cazzaniga Morrison Pym Szendr H o i conjecture in these settings.


Eigenvector decomposition to determine the existence, shape, and location of numerical oscillations in Parabolic PDEs. In this paper, we employed linear algebra and functional analysis to determine necessary and sufficient conditions for oscillation free and stable solutions to linear and nonlinear parabolic partial differential equations. We applied singular value decomposition and Fourier analysis to various finite difference schemes to extract patterns in the eigenfunctions (sampled by the eigenvectors) and the shape of their eigenspectrum. With these, we determined how the initial and boundary conditions affect the frequency and long term behavior of numerical oscillations, as well as the location of solution regions most sensitive to them.


Selecting Data to Clean for Fact Checking Minimizing Uncertainty vs. Maximizing Surprise. We study the optimization problem of selecting numerical quantities to clean in order to fact check claims based on such data. Oftentimes, such claims are technically correct, but they can still mislead for two reasons. First, data may contain uncertainty and errors. Second, data can be "fished" to advance particular positions. In practice, fact checkers cannot afford to clean all data and must choose to clean what "matters the most" to checking a claim. We explore alternative definitions of what "matters the most" one is to ascertain claim qualities (by minimizing uncertainty in these measures), while an alternative is just to counter the claim (by maximizing the probability of finding a counterargument). We show whether the two objectives align with each other, with important implications on when fact checkers should exercise care in selective data cleaning, to avoid potential bias introduced by their desire to counter claims. We develop efficient algorithms for solving the various variants of the optimization problem, showing significant improvements over naive solutions. The problem is particularly challenging because the objectives in the fact checking context are complex, non linear functions over data. We obtain results that generalize to a large class of functions, with potential applications beyond fact checking.


Indecomposable sets of finite perimeter in doubling metric measure spaces. We study a measure theoretic notion of connectedness for sets of finite perimeter in the setting of doubling metric measure spaces supporting a weak (1,1) Poincar ' e inequality. The two main results we obtain are a decomposition theorem into indecomposable sets and a characterisation of extreme points in the space of BV functions. In both cases, the proof we propose requires an additional assumption on the space, which is called isotropicity and concerns the Hausdorff type representation of the perimeter measure.


Inapproximability for Local Correlation Clustering and Dissimilarity Hierarchical Clustering. We present hardness of approximation results for Correlation Clustering with local objectives and for Hierarchical Clustering with dissimilarity information. For the former, we study the local objective of Puleo and Milenkovic (ICML '16) that prioritizes reducing the disagreements at data points that are worst off and for the latter we study the maximization version of Dasgupta's cost function (STOC '16). Our APX hardness results imply that the two problems are hard to approximate within a constant of 4 3 1.33 (assuming P vs NP) and 9159 9189 0.9967 (assuming the Unique Games Conjecture) respectively.


Parameter Estimation and Uncertainty Quantification for Systems Biology Models. Mathematical models can provide quantitative insight into immunoreceptor signaling, but require parameterization and uncertainty quantification before making reliable predictions. We review currently available methods and software tools to address these problems. We consider gradient based and gradient free methods for point estimation of parameter values, and methods of profile likelihood, bootstrapping, and Bayesian inference for uncertainty quantification. We consider recent and potential future applications of these methods to systems level modeling of immune related phenomena.


Persistence of Delayed Complex Balanced Chemical Reaction Networks. In this paper, we derive two sufficient conditions to diagnose the persistence of two classes of delayed complex balanced chemical reaction network systems equipped with mass action kinetics. One class is identified by dim Z W dim mathscr S 1 ( Z W is defined by ref eq g while mathscr S is the stoichiometric subspace of the network), the other class is identified through dim Z W 0 for any semilocking species set W in the network. Then we also derive that delayed complex balanced systems with 2 d stoichiometric subspace are persistent. The results recur those proposed by Anderson et al. D. F. Anderson, textit SIAM J. Appl. Math. , 68 (2008), pp. 1464 1476 D. F. Anderson and A. Shiu, textit SIAM J. Appl. Math. , 70 (2010), pp. 1840 1858 for checking the persistence of complex balanced reaction network systems without time delay. Further, we prove the above mentioned two classes of network systems are globally asymptotically stable at the corresponding positive equilibrium if the trajectory starts from a positive initial function. We illustrate the analysis by two numerical examples.


Semantic Product Search. We study the problem of semantic matching in product search, that is, given a customer query, retrieve all semantically related products from the catalog. Pure lexical matching via an inverted index falls short in this respect due to several factors a) lack of understanding of hypernyms, synonyms, and antonyms, b) fragility to morphological variants (e.g. "woman" vs. "women"), and c) sensitivity to spelling errors. To address these issues, we train a deep learning model for semantic matching using customer behavior data. Much of the recent work on large scale semantic search using deep learning focuses on ranking for web search. In contrast, semantic matching for product search presents several novel challenges, which we elucidate in this paper. We address these challenges by a) developing a new loss function that has an inbuilt threshold to differentiate between random negative examples, impressed but not purchased examples, and positive examples (purchased items), b) using average pooling in conjunction with n grams to capture short range linguistic patterns, c) using hashing to handle out of vocabulary tokens, and d) using a model parallel training architecture to scale across 8 GPUs. We present compelling offline results that demonstrate at least 4.7 improvement in Recall 100 and 14.5 improvement in mean average precision (MAP) over baseline state of the art semantic search methods using the same tokenization method. Moreover, we present results and discuss learnings from online A B tests which demonstrate the efficacy of our method.


Detection and Prediction of Users Attitude Based on Real Time and Batch Sentiment Analysis of Facebook Comments. The most of the people have their account on social networks (e.g. Facebook, Vkontakte) where they express their attitude to different situations and events. Facebook provides only the positive mark as a like button and share. However, it is important to know the position of a certain user on posts even though the opinion is negative. Positive, negative and neutral attitude can be extracted from the comments of users. Overall information about positive, negative and neutral opinion can bring the understanding of how people react in a position. Moreover, it is important to know how attitude is changing during the time period. The contribution of the paper is a new method based on sentiment text analysis for detection and prediction negative and positive patterns for Facebook comments which combines (i) real time sentiment text analysis for pattern discovery and (ii) batch data processing for creating opinion forecasting algorithm. To perform forecast we propose two steps algorithm where (i) patterns are clustered using unsupervised clustering techniques and (ii) trend prediction is performed based on finding the nearest pattern from the certain cluster. Case studies show the efficiency and accuracy (Avg. MAE 0.008) of the proposed method and its practical applicability. Also, we discovered three types of users attitude patterns and described them.


Debreach Mitigating Compression Side Channels via Static Analysis and Transformation. Compression is an emerging source of exploitable side channel leakage that threatens data security, particularly in web applications where compression is indispensable for performance reasons. Current approaches to mitigating compression side channels have drawbacks in that they either degrade compression ratio drastically or require too much effort from developers to be widely adopted. To bridge the gap, we develop Debreach, a static analysis and program transformation based approach to mitigating compression side channels. Debreach consists of two steps. First, it uses taint analysis to soundly identify flows of sensitive data in the program and uses code instrumentation to annotate data before feeding them to the compressor. Second, it enhances the compressor to exploit the freedom to not compress of standard compression protocols, thus removing the dependency between sensitive data and the size of the compressor's output. Since Debreach automatically instruments applications and does not change the compression protocols, it has the advantage of being non disruptive and compatible with existing systems. We have evaluated Debreach on a set of web server applications written in PHP. Our experiments show that, while ensuring leakage freedom, Debreach can achieve significantly higher compression performance than state of the art approaches.


Splitting Methods For Solving Multi Component Transport Model A Multicomponent Mixture for Hydrogen Plasma. In this paper, we present a splitting algorithm to solve multicomponent transport models. These models are related to plasma simulations, in which we consider the local thermodynamic equilibrium and weakly ionised plasma mixture models that are used for medical and technical applications in etching processes. These multi component transport mixture models can be derived by approximately solving a linearised multi component Boltzmann equation with an approximation of the collision terms in the mass, momentum and energy equations. The model equations are nonlinear partial differential equations and they are known as Stefan Maxwell equations. However, these partial differential equations are delicate to solve and we propose to use noniterative and iterative splitting methods. In the numerical experiments, we see the benefit of the iterative splitting methods, while these methods can relax the nonlinear terms.


Capelli operators for spherical superharmonics and the Dougall Ramanujan identity. Let (V, omega) be an orthosympectic mathbb Z 2 graded vector space and let mathfrak g mathfrak gosp (V, omega) denote the Lie superalgebra of similitudes of (V, omega) . When the space mathscr P(V) of superpolynomials on V is emph not a completely reducible mathfrak g module, we construct a natural basis D lambda of Capelli operators for the algebra of mathfrak g invariant superpolynomial superdifferential operators on V , where the index set mathcal P is the set of integer partitions of length at most two. We compute the action of the operators D lambda on maximal indecomposable components of mathscr P(V) explicitly, in terms of Knop Sahi interpolation polynomials. Our results show that, unlike the cases where mathscr P(V) is completely reducible, the eigenvalues of a subfamily of the D lambda are emph not given by specializing the Knop Sahi polynomials. Rather, the formulas for these eigenvalues involve suitably regularized forms of these polynomials. In addition, we demonstrate a close relationship between our eigenvalue formulas for this subfamily of Capelli operators and the Dougall Ramanujan hypergeometric identity. We also transcend our results on the eigenvalues of Capelli operators to the Deligne category mathsf Rep (O t) . More precisely, we define categorical Capelli operators mathbf D t, lambda lambda in mathcal P that induce morphisms of indecomposable components of symmetric powers of mathsf V t , where mathsf V t is the generating object of mathsf Rep (O t) . We obtain formulas for the eigenvalue polynomials associated to the left mathbf D t, lambda right lambda in mathcal P that are analogous to our results for the operators D lambda lambda in mathcal P .


Resolved energy budget of superstructures in Rayleigh B ' e nard convection. Turbulent superstructures, i.e. large scale flow structures in turbulent flows, play a crucial role in many geo and astrophysical settings. In turbulent Rayleigh B ' e nard convection, for example, horizontally extended coherent large scale convection rolls emerge. Currently, a detailed understanding of the interplay of small scale turbulent fluctuations and large scale coherent structures is missing. Here, we investigate the resolved kinetic energy and temperature variance budgets by applying a filtering approach to direct numerical simulations of Rayleigh B ' e nard convection at high aspect ratio. In particular, we focus on the energy transfer rate between large scale flow structures and small scale fluctuations. We show that the small scales primarily act as a dissipation for the superstructures. However, we find that the height dependent energy transfer rate has a complex structure with distinct bulk and boundary layer features. Additionally, we observe that the heat transfer between scales mainly occurs close to the thermal boundary layer. Our results clarify the interplay of superstructures and turbulent fluctuations and may help to guide the development of an effective description of large scale flow features in terms of reduced order models.


Bottom of the L 2 spectrum of the Laplacian on locally symmetric spaces. We estimate the bottom of the L 2 spectrum of the Laplacian on locally symmetric spaces in terms of the critical exponents of appropriate Poincar 'e series. Our main result is the higher rank analog of a characterization due to Elstrodt, Patterson, Sullivan and Corlette in rank one. It improves upon previous results obtained by Leuzinger and Weber in higher rank.


Asset Price Bubbles in market models with proportional transaction costs. We study asset price bubbles in market models with proportional transaction costs lambda in (0,1) and finite time horizon T in the setting of 49 . By following 28 , we define the fundamental value F of a risky asset S as the price of a super replicating portfolio for a position terminating in one unit of the asset and zero cash. We then obtain a dual representation for the fundamental value by using the super replication theorem of 50 . We say that an asset price has a bubble if its fundamental value differs from the ask price (1 lambda)S . We investigate the impact of transaction costs on asset price bubbles and show that our model intrinsically includes the birth of a bubble.


Classification of standard modules with linear periods. Suppose that F is a non Archimedean local field and D is a central division algebra over F . Let n be a positive integer. We show a classification modulo essentially square integrable representations of standard modules of mathrm GL n(D) which have non zero linear periods. By this classification, the conjecture of Prasad and Takloo Bighash is reduced to the case of essentially square integrable representations.


Reasonableness discussion and analysis for Hyperledger Fabric configuration. Blockchain, as a distributed ledger technology, becomes more and more popular in both industry and academia. Each peer in blockchain system maintains a copy of ledger and makes sure of data consistency through consensus protocol. Blockchain system can provide many benefits such as immutability, transparency and security. Hyperledger Fabric is permissioned blockchain platform hosted by Linux foundation. Fabric has various components such as peer, ordering service, chaincode and state database. The structure of Fabric network is very complicated to provide reliable permissioned blockchain service. Generally, developers must deal with hundreds of parameters to configure a network. That will cause many reasonableness problems in configurations. In this paper, we focus on how to detect reasonableness problems in Fabric configurations. Firstly, we discuss and provide a reasonableness problem knowledge database based on the perspectives of functionality, security and performance. Secondly, we implemented a detect tool for reasonableness check to Fabric. Finally, we collect 108 sample networks as the testing dataset in the experiment. The result shows our tool can help developers to locate reasonableness problems and understand their network better.


The Fourier Stieltjes algebra of a C dynamical system II. We continue our study of the Fourier Stieltjes algebra associated to a twisted (unital, discrete) C dynamical system and discuss how the various notions of equivalence of such systems are reflected at the algebra level. As an application, we show that the amenability of a system, as defined in our previous work, is preserved under Morita equivalence.


Real Time Context aware Detection of Unsafe Events in Robot Assisted Surgery. Cyber physical systems for robotic surgery have enabled minimally invasive procedures with increased precision and shorter hospitalization. However, with increasing complexity and connectivity of software and major involvement of human operators in the supervision of surgical robots, there remain significant challenges in ensuring patient safety. This paper presents a safety monitoring system that, given the knowledge of the surgical task being performed by the surgeon, can detect safety critical events in real time. Our approach integrates a surgical gesture classifier that infers the operational context from the time series kinematics data of the robot with a library of erroneous gesture classifiers that given a surgical gesture can detect unsafe events. Our experiments using data from two surgical platforms show that the proposed system can detect unsafe events caused by accidental or malicious faults within an average reaction time window of 1,693 milliseconds and F1 score of 0.88 and human errors within an average reaction time window of 57 milliseconds and F1 score of 0.76.


Streaming Quantiles Algorithms with Small Space and Update Time. Approximating quantiles and distributions over streaming data has been studied for roughly two decades now. Recently, Karnin, Lang, and Liberty proposed the first asymptotically optimal algorithm for doing so. This manuscript complements their theoretical result by providing a practical variants of their algorithm with improved constants. For a given sketch size, our techniques provably reduce the upper bound on the sketch error by a factor of two. These improvements are verified experimentally. Our modified quantile sketch improves the latency as well by reducing the worst case update time from O(1 varepsilon) down to O( log (1 varepsilon)) . We also suggest two algorithms for weighted item streams which offer improved asymptotic update times compared to na "ive extensions. Finally, we provide a specialized data structure for these sketches which reduces both their memory footprints and update times.


How to Securely Prune Bitcoin's Blockchain. Bitcoin was the first successful decentralized cryptocurrency and remains the most popular of its kind to this day. Despite the benefits of its blockchain, Bitcoin still faces serious scalability issues, most importantly its ever increasing blockchain size. While alternative designs introduced schemes to periodically create snapshots and thereafter prune older blocks, already deployed systems such as Bitcoin are often considered incapable of adopting corresponding approaches. In this work, we revise this popular belief and present CoinPrune, a snapshot based pruning scheme that is fully compatible with Bitcoin. CoinPrune can be deployed through an opt in velvet fork, i.e., without impeding the established Bitcoin network. By requiring miners to publicly announce and jointly reaffirm recent snapshots on the blockchain, CoinPrune establishes trust into the snapshots' correctness even in the presence of powerful adversaries. Our evaluation shows that CoinPrune reduces the storage requirements of Bitcoin already by two orders of magnitude today, with further relative savings as the blockchain grows. In our experiments, nodes only have to fetch and process 5 GiB instead of 230 GiB of data when joining the network, reducing the synchronization time on powerful devices from currently 5 h to 46 min, with even more savings for less powerful devices.


Detecting Lane and Road Markings at A Distance with Perspective Transformer Layers. Accurate detection of lane and road markings is a task of great importance for intelligent vehicles. In existing approaches, the detection accuracy often degrades with the increasing distance. This is due to the fact that distant lane and road markings occupy a small number of pixels in the image, and scales of lane and road markings are inconsistent at various distances and perspectives. The Inverse Perspective Mapping (IPM) can be used to eliminate the perspective distortion, but the inherent interpolation can lead to artifacts especially around distant lane and road markings and thus has a negative impact on the accuracy of lane marking detection and segmentation. To solve this problem, we adopt the Encoder Decoder architecture in Fully Convolutional Networks and leverage the idea of Spatial Transformer Networks to introduce a novel semantic segmentation neural network. This approach decomposes the IPM process into multiple consecutive differentiable homographic transform layers, which are called "Perspective Transformer Layers". Furthermore, the interpolated feature map is refined by subsequent convolutional layers thus reducing the artifacts and improving the accuracy. The effectiveness of the proposed method in lane marking detection is validated on two public datasets TuSimple and ApolloScape


Ladder determinantal rings over normal domains. We explicitly describe the divisor class groups and semidualizing modules for ladder determinantal rings with coefficients in an arbitrary normal domain for arbitrary ladders, not necessarily connected, and all sizes of minors.


Bounds for Combinatorial Types of Non Attacking Riders. Given q non attacking riders with r moves, the number of combinatorial types has not been found for r greater than 2 and q greater than 3. This paper aims to create upper and lower bound functions which can be applied to any q and r, regardless of size.


A symmetric function of increasing forests. For an indifference graph G we define a symmetric function of increasing spanning forests of G . We prove that this symmetric function satisfies certain linear relations, which are also satisfied by the chromatic quasisymmetric function and unicellular LLT polynomials. As a consequence we give a combinatorial interpretation of the coefficients of the LLT polynomial in the elementary basis (up to a factor of a power of (q 1) ), strengthening the description given by Alexandersson and Sulzgruber.


A decomposition formula for fractional Heston jump diffusion models. We present an option pricing formula for European options in a stochastic volatility model. In particular, the volatility process is defined using a fractional integral of a diffusion process and both the stock price and the volatility processes have jumps in order to capture the market effect known as leverage effect. We show how to compute a martingale representation for the volatility process. Finally, using It o calculus for processes with discontinuous trajectories, we develop a first order approximation formula for option prices. There are two main advantages in the usage of such approximating formulas to traditional pricing methods. First, to improve computational effciency, and second, to have a deeper understanding of the option price changes in terms of changes in the model parameters.


Preservation of normality by transducers. We consider input deterministic finite state transducers with infinite inputs and infinite outputs, and we consider the property of Borel normality on infinite words. When these transducers are given by a strongly connected set of states, and when the input is a Borel normal sequence, the output is an infinite word such that every word has a frequency given by a weighted automaton over the rationals. We prove that there is an algorithm that decides in cubic time whether an input deterministic transducer preserves normality.


Dehn Function of Finitely Presented Metabelian Groups. In this paper, we compute an upper bound for the Dehn function of a finitely presented metabelian group. In addition, we prove that the same upper bound works for the relative Dehn function of a finitely generated metabelian group. We also show that every wreath product of a free abelian group of finite rank with a finitely generated abelian group can be embedded into a metabelian group with exponential Dehn function.


On Ricci curvature of metric structures on mathfrak g manifolds. We study the properties of Ricci curvature of mathfrak g manifolds with particular attention paid to higher dimensional abelian Lie algebra case. The relations between Ricci curvature of the manifold and the Ricci curvature of the transverse manifold of the characteristic foliation are investigated. In particular, sufficient conditions are found under which the mathfrak g manifold can be a Ricci soliton or a gradient Ricci soliton. Finally, we obtain a amazing (non existence) higher dimensional generalization of the Boyer Galicki theorem on Einstein K manifolds for a special class of abelian mathfrak g manifolds.


Dynamics of symmetric SSVI smiles and implied volatility bubbles. We develop a dynamic version of the SSVI parameterisation for the total implied variance, ensuring that European vanilla option prices are martingales, hence preventing the occurrence of arbitrage, both static and dynamic. Insisting on the constraint that the total implied variance needs to be null at the maturity of the option, we show that no model in our setting allows for such behaviour. This naturally gives rise to the concept of implied volatility bubbles, whereby trading in an arbitrage free way is only possible during part of the life of the contract, but not all the way until expiry.


Molecular Mechanics Driven Graph Neural Network with Multiplex Graph for Molecular Structures. The prediction of physicochemical properties from molecular structures is a crucial task for artificial intelligence aided molecular design. A growing number of Graph Neural Networks (GNNs) have been proposed to address this challenge. These models improve their expressive power by incorporating auxiliary information in molecules while inevitably increase their computational complexity. In this work, we aim to design a GNN which is both powerful and efficient for molecule structures. To achieve such goal, we propose a molecular mechanics driven approach by first representing each molecule as a two layer multiplex graph, where one layer contains only local connections that mainly capture the covalent interactions and another layer contains global connections that can simulate non covalent interactions. Then for each layer, a corresponding message passing module is proposed to balance the trade off of expression power and computational complexity. Based on these two modules, we build Multiplex Molecular Graph Neural Network (MXMNet). When validated by the QM9 dataset for small molecules and PDBBind dataset for large protein ligand complexes, MXMNet achieves superior results to the existing state of the art models under restricted resources.


How Much Can D2D Communication Reduce Content Delivery Latency in Fog Networks with Edge Caching?. A Fog Radio Access Network (F RAN) is studied in which cache enabled Edge Nodes (ENs) with dedicated fronthaul connections to the cloud aim at delivering contents to mobile users. Using an information theoretic approach, this work tackles the problem of quantifying the potential latency reduction that can be obtained by enabling Device to Device (D2D) communication over out of band broadcast links. Following prior work, the Normalized Delivery Time (NDT) a metric that captures the high signal to noise ratio worst case latency is adopted as the performance criterion of interest. Joint edge caching, downlink transmission, and D2D communication policies based on compress and forward are proposed that are shown to be information theoretically optimal to within a constant multiplicative factor of two for all values of the problem parameters, and to achieve the minimum NDT for a number of special cases. The analysis provides insights on the role of D2D cooperation in improving the delivery latency.


How Political is the Spread of COVID 19 in the United States? An Analysis using Transportation and Weather Data. We investigate the difference in the spread of COVID 19 between the states won by Donald Trump (Red) and the states won by Hillary Clinton (Blue) in the 2016 presidential election, by mining transportation patterns of US residents from March 2020 to July 2020. To ensure a fair comparison, we first use a K means clustering method to group the 50 states into five clusters according to their population, area and population density. We then characterize daily transportation patterns of the residents of different states using the mean percentage of residents traveling and the number of trips per person. For each state, we study the correlations between travel patterns and infection rate for a 2 month period before and after the official states reopening dates. We observe that during the lock down, Red and Blue states both displayed strong positive correlations between their travel patterns and infection rates. However, after states reopened we find that Red states had higher travel infection correlations than Blue states in all five state clusters. We find that the residents of both Red and Blue states displayed similar travel patterns during the period post the reopening of states, leading us to conclude that, on average, the residents in Red states might be mobilizing less safely than the residents in Blue states. Furthermore, we use temperature data to attempt to explain the difference in the way residents travel and practice safety measures.


Point assigned distance like functions on non compact geodesic spaces. On a complete, connected, locally compact, non compact geodesic space (X,d) , we assign each compact set a distance like function. With the help of these functions, we obtain a pseudo metric on the space of (non empty) compact subsets of X which is less than the Hausdorff distance. The quotient metric space is closely related to the large scale geometry of the ambient metric space. In particular, we study both extreme cases the pseudo metric either vanishes or equals the original distance. The compactness of the level sets as well as stability under the Gromov Hausdorff topology of such dl functions are also investigated. As an application, we also give a representation formula of any distance like function in terms of the singleton assigned distance like functions defined here.


Fast TLB Simulation for RISC V Systems. Address translation and protection play important roles in today's processors, supporting multiprocessing and enforcing security. Historically, the design of the address translation mechanisms has been closely tied to the instruction set. In contrast, RISC V defines its privileged specification in a way that permits a variety of designs. An important part of the design space is the organisation of Translation Lookaside Buffers (TLBs). This paper presents our recent work on simulating TLB behaviours in multi core RISC V systems. Our TLB simulation framework allows rapid, flexible and versatile prototyping of various hardware TLB design choices, and enables validation, profiling and benchmarking of software running on RISC V systems. We show how this framework can be integrated with the dynamic binary translated emulator QEMU to perform online simulation. When simulating complicated multi level shared TLB designs, the framework runs at around 400 million instructions per second (MIPS) when simulating an 8 core system. The performance overhead compared to unmodified QEMU is only 18 when the benchmark's L1 TLB miss rate is 1 . We also demonstrate how this tool can be used to explore the instruction set level design space. We test a shared last level TLB design that is not currently permitted by the RISC V's privileged specification. We then propose an extension to RISC V's virtual memory system design based on these experimental results.


Weighted Network Analysis of Biologically Relevant Chemical Spaces. In cheminformatics, network representations of the space of compounds have been suggested extensively. Among these, the threshold network consists of nodes representing molecules. In this network representation, two molecules are connected by a link if the Tanimoto coefficient, a similarity measure, between them exceeds a preset threshold. However, the topology of the threshold network is affected significantly by the preset threshold. In this study, we collected the data of biologically relevant compounds and bioactivities. We defined the weighted network where the weight of each link between the nodes equals the Tanimoto coefficient between the bioactive compounds (nodes) without using the threshold. We investigated the relationship between the strength of the link connection and the bioactivity closeness in the weighted networks. We found that compounds with significantly high or low bioactivity have a stronger connection than those in the overall network.


Detecting Hateful Memes Using a Multimodal Deep Ensemble. While significant progress has been made using machine learning algorithms to detect hate speech, important technical challenges still remain to be solved in order to bring their performance closer to human accuracy. We investigate several of the most recent visual linguistic Transformer architectures and propose improvements to increase their performance for this task. The proposed model outperforms the baselines by a large margin and ranks 5 th on the leaderboard out of 3,100 participants.


Loop Programming Practices that Simplify Quicksort Implementations. Quicksort algorithm with Hoare's partition scheme is traditionally implemented with nested loops. In this article, we present loop programming and refactoring techniques that lead to simplified implementation for Hoare's quicksort algorithm consisting of a single loop. We believe that the techniques are beneficial for general programming and may be used for the discovery of more novel algorithms.


A bound on the degree of singular vectors for the exceptional Lie superalgebra E(5,10) . We use the language of Lie pseudoalgebras to gain information about the representation theory of the simple infinite dimensional linearly compact Lie superalgebra of exceptional type E(5,10) . This technology allows us to prove that the degree of singular vectors in minimal Verma modules is leq 14 . A few technical adjustments allow us to refine the bound, proving that the degree must always be leq 12 and it is actually, except for a finite number of cases, leq 10 .


Improved Online Algorithms for Knapsack and GAP in the Random Order Model. The knapsack problem is one of the classical problems in combinatorial optimization Given a set of items, each specified by its size and profit, the goal is to find a maximum profit packing into a knapsack of bounded capacity. In the online setting, items are revealed one by one and the decision, if the current item is packed or discarded forever, must be done immediately and irrevocably upon arrival. We study the online variant in the random order model where the input sequence is a uniform random permutation of the item set. We develop a randomized (1 6.65) competitive algorithm for this problem, outperforming the current best algorithm of competitive ratio 1 8.06 Kesselheim et al. SIAM J. Comp. 47(5) . Our algorithm is based on two new insights We introduce a novel algorithmic approach that employs two given algorithms, optimized for restricted item classes, sequentially on the input sequence. In addition, we study and exploit the relationship of the knapsack problem to the 2 secretary problem. The generalized assignment problem (GAP) includes, besides the knapsack problem, several important problems related to scheduling and matching. We show that in the same online setting, applying the proposed sequential approach yields a (1 6.99) competitive randomized algorithm for GAP. Again, our proposed algorithm outperforms the current best result of competitive ratio 1 8.06 Kesselheim et al. SIAM J. Comp. 47(5) .


Forward BSDEs and backward SPDEs for utility maximization under endogenous pricing. We study the expected utility maximization problem of a large investor who is allowed to make transactions on a tradable asset in a financial market with endogenous permanent market impacts as suggested in 24 building on 6, 7 . The asset price is assumed to follow a nonlinear price curve quoted in the market as the utility indifference curve of a representative liquidity supplier. We show that optimality can be fully characterized via a system of coupled forward backward stochastic differential equations (FBSDEs) which is equivalent to a highly non linear backward stochastic partial differential equation (BSPDE). Existence results can be achieved in the case where the driver function of the representative market maker is quadratic or the utility function of the large investor is exponential. Explicit examples are provided when the market is complete or the driver function is positively homogeneous.


High speed double layer graphene electro absorption modulator on SOI waveguide. We report on a C band double layer graphene electro absorption modulator on a passive SOI platform showing 29GHz 3dB bandwith and NRZ eye diagrams extinction ratios ranging from 1.7 dB at 10 Gb s to 1.3 dB at 50 Gb s. Such high modulation speed is achieved thanks to the quality of the CVD pre patterned single crystal growth and transfer on wafer method that permitted the integration of high quality scalable graphene and low contact resistance. By demonstrating this high speed CVD graphene EAM modulator integrated on Si photonics and the scalable approach, we are confident that graphene can satisfy the main requirements to be a competitive technology for photonics.


A Formal Model for Quality Driven Decision Making in Self Adaptive Systems. Maintaining an acceptable level of quality of service in modern complex systems is challenging, particularly in the presence of various forms of uncertainty caused by changing execution context, unpredicted events, etc. Although self adaptability is a well established approach for modelling such systems, and thus enabling them to achieve functional and or quality of service objectives by autonomously modifying their behavior at runtime, guaranteeing a continuous satisfaction of quality objectives is still challenging and needs a rigorous definition and analysis of system behavioral properties. Formal methods constitute a promising and effective solution in this direction in order to rigorously specify mathematical models of a software system and to analyze its behavior. They are also largely adopted to analyze and provide guarantees on the required functional non functional properties of self adaptive systems. Therefore, we introduce a formal model for quality driven self adaptive systems under uncertainty. We combine high level Petri nets and plausible Petri nets in order to model complex data structures enabling system quality attributes quantification and to improve the decision making process through selecting the most plausible plans with regard to the system's actual context.


Robust Convergence Analysis of Three Operator Splitting. Operator splitting methods solve composite optimization problems by breaking them into smaller sub problems that can be solved sequentially or in parallel. In this paper, we propose a unified framework for certifying both linear and sublinear convergence rates for three operator splitting (TOS) method under a variety of assumptions about the objective function. By viewing the algorithm as a dynamical system with feedback uncertainty (the oracle model), we leverage robust control theory to analyze the worst case performance of the algorithm using matrix inequalities. We then show how these matrix inequalities can be used to verify sublinear linear convergence of the TOS algorithm and guide the search for selecting the parameters of the algorithm (both symbolically and numerically) for optimal worst case performance. We illustrate our results numerically by solving an input constrained optimal control problem.


Detecting Objectifying Language in Online Professor Reviews. Student reviews often make reference to professors' physical appearances. Until recently RateMyProfessors.com, the website of this study's focus, used a design feature to encourage a "hot or not" rating of college professors. In the wake of recent MeToo and TimesUp movements, social awareness of the inappropriateness of these reviews has grown however, objectifying comments remain and continue to be posted in this online context. We describe two supervised text classifiers for detecting objectifying commentary in professor reviews. We then ensemble these classifiers and use the resulting model to track objectifying commentary at scale. We measure correlations between objectifying commentary, changes to the review website interface, and teacher gender across a ten year period.


Adjoint Reidemeister torsions of two bridge knots. We give an explicit formula for the adjoint Reidemeister torsion of two bridge knots and prove that the adjoint Reidemeister torsion satisfies a certain type of vanishing identities.


A Proof of Gr "unbaum's Lower Bound Conjecture for general polytopes. In 1967, Gr "unbaum conjectured that any d dimensional polytope with d s leq 2d vertices has at least phi k(d s,d) d 1 choose k 1 d choose k 1 d 1 s choose k 1 k faces. We prove this conjecture and also characterize the cases in which equality holds.


Measurements of undulator radiation power noise and comparison with textit ab initio calculations. Generally, turn to turn fluctuations of synchrotron radiation power in a storage ring depend on the 6D phase space distribution of the electron bunch. This effect is related to the interference of fields radiated by different electrons. Changes in the relative electron positions and velocities inside the bunch result in fluctuations in the total emitted energy per pass in a synchrotron radiation source. This effect has been previously described assuming constant and equal electron velocities before entering the synchrotron radiation source. In this paper, we present a generalized formula for the fluctuations with a non negligible beam divergence. Further, we corroborate this formula in a dedicated experiment with undulator radiation in the Integrable Optics Test Accelerator (IOTA) storage ring at Fermilab. Lastly, possible applications in beam instrumentation are discussed.


Structure theory of regular semigroups. This survey aims to give an overview of several substantial developments of the last 50 years in the structure theory of regular semigroups and to shed light on their impact on other parts of semigroup theory.


Constrained Differential Dynamic Programming Revisited. Differential Dynamic Programming (DDP) has become a well established method for unconstrained trajectory optimization. Despite its several applications in robotics and controls however, a widely successful constrained version of the algorithm has yet to be developed. This paper builds upon penalty methods and active set approaches, towards designing a Dynamic Programming based methodology for constrained optimal control. Regarding the former, our derivation employs a constrained version of Bellman's principle of optimality, by introducing a set of auxiliary slack variables in the backward pass. In parallel, we show how Augmented Lagrangian methods can be naturally incorporated within DDP, by utilizing a particular set of penalty Lagrangian functions that preserve second order differentiability. We demonstrate experimentally that our extensions (individually and combinations thereof) enhance significantly the convergence properties of the algorithm, and outperform previous approaches on a large number of simulated scenarios.


A model structure for weakly horizontally invariant double categories. We construct a model structure on the category mathrm DblCat of double categories and double functors, whose trivial fibrations are the double functors that are surjective on objects, full on horizontal and vertical morphisms, and fully faithful on squares and whose fibrant objects are the weakly horizontally invariant double categories. We show that the functor mathbb H simeq colon mathrm 2Cat to mathrm DblCat , a more homotopical version of the usual horizontal embedding mathbb H , is right Quillen and homotopically fully faithful when considering Lack's model structure on mathrm 2Cat . In particular, mathbb H simeq exhibits a levelwise fibrant replacement of mathbb H . Moreover, Lack's model structure on mathrm 2Cat is right induced along mathbb H simeq from the model structure for weakly horizontally invariant double categories. We also show that this model structure is monoidal with respect to B "ohm's Gray tensor product. Finally, we prove a Whitehead Theorem characterizing the weak equivalences with fibrant source as the double functors which admit a pseudo inverse up to horizontal pseudo natural equivalence.


Using Sat solvers for synchronization issues in partial deterministic automata. We approach the task of computing a carefully synchronizing word of minimum length for a given partial deterministic automaton, encoding the problem as an instance of SAT and invoking a SAT solver. Our experimental results demonstrate that this approach gives satisfactory results for automata with up to 100 states even if very modest computational resources are used.


Reinforcement Learning with Uncertainty Estimation for Tactical Decision Making in Intersections. This paper investigates how a Bayesian reinforcement learning method can be used to create a tactical decision making agent for autonomous driving in an intersection scenario, where the agent can estimate the confidence of its recommended actions. An ensemble of neural networks, with additional randomized prior functions (RPF), are trained by using a bootstrapped experience replay memory. The coefficient of variation in the estimated Q values of the ensemble members is used to approximate the uncertainty, and a criterion that determines if the agent is sufficiently confident to make a particular decision is introduced. The performance of the ensemble RPF method is evaluated in an intersection scenario, and compared to a standard Deep Q Network method. It is shown that the trained ensemble RPF agent can detect cases with high uncertainty, both in situations that are far from the training distribution, and in situations that seldom occur within the training distribution. In this study, the uncertainty information is used to choose safe actions in unknown situations, which removes all collisions from within the training distribution, and most collisions outside of the distribution.


A consistent variational formulation of Bishop nonlocal rods. Thick rods are employed in Nanotechnology to build modern electro mechanical systems. Design and optimization of such structures can be carried out by nonlocal continuum mechanics which is computationally convenient when compared to atomistic strategies. Bishop's kinematics is able to describe small scale thick rods if a proper mathematical model of nonlocal elasticity is formulated to capture size effects. In all papers on the matter, nonlocal contributions are evaluated by replacing Eringen's integral convolution with the consequent (but not equivalent) differential equation governed by Helmholtz's differential operator. As notorious in integral equation theory, this replacement is possible for convolutions, defined in unbounded domains, governed by averaging kernels which are Green's functions of differential operators. Indeed, Eringen himself, in order to study nonlocal problems defined in unbounded domains, such as screw dislocations and wave propagations, suggested to replace integro differential equations with differential conditions. A different scenario appears in Bishop rod mechanics where nonlocal integral convolutions are defined in bounded structural domains, so that Eringen's nonlocal differential equation has to be supplemented with additional boundary conditions. The objective is achieved by formulating the governing nonlocal equations by a proper variational statement. The new methodology provides an amendment of previous contributions in literature and is illustrated by investigating the elastostatic behavior of simple structural schemes. Exact solutions of Bishop rods are evaluated in terms of nonlocal parameter and cross section gyration radius. Both hardening and softening structural responses are predictable with a suitable tuning of the parameters.


Probabilistic End to end Noise Correction for Learning with Noisy Labels. Deep learning has achieved excellent performance in various computer vision tasks, but requires a lot of training examples with clean labels. It is easy to collect a dataset with noisy labels, but such noise makes networks overfit seriously and accuracies drop dramatically. To address this problem, we propose an end to end framework called PENCIL, which can update both network parameters and label estimations as label distributions. PENCIL is independent of the backbone network structure and does not need an auxiliary clean dataset or prior information about noise, thus it is more general and robust than existing methods and is easy to apply. PENCIL outperforms previous state of the art methods by large margins on both synthetic and real world datasets with different noise types and noise rates. Experiments show that PENCIL is robust on clean datasets, too.


Classical calculation of radiative decay rates of hydrogenic Stark states. The Kepler Coulomb problem is solved in parabolic coordinates and the Larmor radiation problem is analyzed to complement a previous study performed for the usual representation in spherical polar coordinates. A comparison with quantum spontaneous decay rates shows that for azimuthal quantum number m 0 states only transitions to nearby n Delta n principal quantum number states are described properly by the Wentzel Kramers Brillouin quantized classical motions, but that for m 0 reasonable results emerge for many values of Delta n . A simple approximate expression for the lifetime of m ne 0 states emerges from the semi classical analysis.


Facebook AI's WAT19 Myanmar English Translation Task Submission. This paper describes Facebook AI's submission to the WAT 2019 Myanmar English translation task. Our baseline systems are BPE based transformer models. We explore methods to leverage monolingual data to improve generalization, including self training, back translation and their combination. We further improve results by using noisy channel re ranking and ensembling. We demonstrate that these techniques can significantly improve not only a system trained with additional monolingual data, but even the baseline system trained exclusively on the provided small parallel dataset. Our system ranks first in both directions according to human evaluation and BLEU, with a gain of over 8 BLEU points above the second best system.


Smart Choices and the Selection Monad. Describing systems in terms of choices and their resulting costs and rewards offers the promise of freeing algorithm designers and programmers from specifying how those choices should be made in implementations, the choices can be realized by optimization techniques and, increasingly, by machine learning methods. We study this approach from a programming language perspective. We define two small languages that support decision making abstractions one with choices and rewards, and the other additionally with probabilities. We give both operational and denotational semantics. In the case of the second language we consider three denotational semantics, with varying degrees of correlation between possible program values and expected rewards. The operational semantics combine the usual semantics of standard constructs with optimization over spaces of possible execution strategies. The denotational semantics, which are compositional, rely on the selection monad, to handle choice, augmented with an auxiliary monad to handle other effects, such as rewards or probability. We establish adequacy theorems that the two semantics coincide in all cases. We also prove full abstraction at base types, with varying notions of observation in the probabilistic case corresponding to the various degrees of correlation. We present axioms for choice combined with rewards and probability, establishing completeness at base types for the case of rewards without probability.


Exploring Global Information for Session based Recommendation. Session based recommendation (SBR) is a challenging task, which aims at recommending items based on anonymous behavior sequences. Most existing SBR studies model the user preferences based only on the current session while neglecting the item transition information from the other sessions, which suffer from the inability of modeling the complicated item transition pattern. To address the limitations, we introduce global item transition information to strength the modeling of the dynamic item transition. For fully exploiting the global item transition information, two ways of exploring global information for SBR are studied in this work. Specifically, we first propose a basic GNN based framework (BGNN), which solely uses session level item transition information on session graph. Based on BGNN, we propose a novel approach, called Session based Recommendation with Global Information (SRGI), which infers the user preferences via fully exploring global item transitions over all sessions from two different perspectives (i) Fusion based Model (SRGI FM), which recursively incorporates the neighbor embeddings of each node on global graph into the learning process of session level item representation and (ii) Constrained based Model (SRGI CM), which treats the global level item transition information as a constraint to ensure the learned item embeddings are consistent with the global item transition. Extensive experiments conducted on three popular benchmark datasets demonstrate that both SRGI FM and SRGI CM outperform the state of the art methods consistently.


Dense Contrastive Learning for Self Supervised Visual Pre Training. To date, most existing self supervised learning methods are designed and optimized for image classification. These pre trained models can be sub optimal for dense prediction tasks due to the discrepancy between image level prediction and pixel level prediction. To fill this gap, we aim to design an effective, dense self supervised learning method that directly works at the level of pixels (or local features) by taking into account the correspondence between local features. We present dense contrastive learning, which implements self supervised learning by optimizing a pairwise contrastive (dis)similarity loss at the pixel level between two views of input images. Compared to the baseline method MoCo v2, our method introduces negligible computation overhead (only 1 slower), but demonstrates consistently superior performance when transferring to downstream dense prediction tasks including object detection, semantic segmentation and instance segmentation and outperforms the state of the art methods by a large margin. Specifically, over the strong MoCo v2 baseline, our method achieves significant improvements of 2.0 AP on PASCAL VOC object detection, 1.1 AP on COCO object detection, 0.9 AP on COCO instance segmentation, 3.0 mIoU on PASCAL VOC semantic segmentation and 1.8 mIoU on Cityscapes semantic segmentation. Code is available at https git.io AdelaiDet


Aerial multi object tracking by detection using deep association networks. A lot a research is focused on object detection and it has achieved significant advances with deep learning techniques in recent years. Inspite of the existing research, these algorithms are not usually optimal for dealing with sequences or images captured by drone based platforms, due to various challenges such as view point change, scales, density of object distribution and occlusion. In this paper, we develop a model for detection of objects in drone images using the VisDrone2019 DET dataset. Using the RetinaNet model as our base, we modify the anchor scales to better handle the detection of dense distribution and small size of the objects. We explicitly model the channel interdependencies by using "Squeeze and Excitation" (SE) blocks that adaptively recalibrates channel wise feature responses. This helps to bring significant improvements in performance at a slight additional computational cost. Using this architecture for object detection, we build a custom DeepSORT network for object detection on the VisDrone2019 MOT dataset by training a custom Deep Association network for the algorithm.


math.NA cs.LG cs.NA physics.comp-ph physics.flu-dyn

NPLIC A Machine Learning Approach to Piecewise Linear Interface Construction. Volume of fluid (VOF) methods are extensively used to track fluid interfaces in numerical simulations, and many VOF algorithms require that the interface be reconstructed geometrically. For this purpose, the Piecewise Linear Interface Construction (PLIC) technique is most frequently used, which for reasons of geometric complexity can be slow and difficult to implement. Here, we propose an alternative neural network based method called NPLIC to perform PLIC calculations. The model is trained on a large synthetic dataset of PLIC solutions for square, cubic, triangular, and tetrahedral meshes. We show that this data driven approach results in accurate calculations at a fraction of the usual computational cost, and a single neural network system can be used for interface reconstruction of different mesh types.


Promoting the Joy of Learning by Turning a Smartphone into Scientific Equipment. Smartphone is a powerful internet connected computer packed with internal sensors that measure sound, light, acceleration and magnetic field strength. Physics teachers can use them as measurement devices to demonstrate science concepts and promote the joy of learning. Some research has also shown the benefits of using smartphones for teaching and learning physics. This article aims to extend mobile phone research with our open source apps and low cost experimental design. The three experiments that we designed include radioactivity, line spectrum, standing sound wave and polarization of light. Students are able to conduct experiments and collect data easily without using bulky data loggers or laptops. Substituting a data logger with a smartphone will mean that every student can possess his her own measuring tool inside and outside the classroom, instead of having to share with a large group of students in a scheduled lab. By empowering the students to conduct their own experiments and collect data, the use of the smartphone as a tool aims to support student learning anytime and anywhere, igniting greater joy of learning


Rate distortion optimization over large scale video corpus with machine learning. We present an efficient codec agnostic method for bitrate allocation over a large scale video corpus with the goal of minimizing the average bitrate subject to constraints on average and minimum quality. Our method clusters the videos in the corpus such that videos within one cluster have similar rate distortion (R D) characteristics. We train a support vector machine classifier to predict the R D cluster of a video using simple video complexity features that are computationally easy to obtain. The model allows us to classify a large sample of the corpus in order to estimate the distribution of the number of videos in each of the clusters. We use this distribution to find the optimal encoder operating point for each R D cluster. Experiments with AV1 encoder show that our method can achieve the same average quality over the corpus with 22 less average bitrate.


Computational Approaches for Grocery Home Delivery Services. Grocery home delivery services require customers to be present when their deliveries arrive. Hence, the grocery retailer and the customer must mutually agree on a time window during which the delivery can be guaranteed. This concept is referred to as the Attended Home Delivery (AHD) problem. The phase during which customers place orders, usually through a web service, constitutes the computationally most challenging part of the logistical processes behind such services. The system must determine potential delivery time windows that can be offered to incoming customers and incrementally build the delivery schedule as new orders are placed. Typically, a Vehicle Routing Problem with Time Windows forms the underlying optimization problem. This work is concerned with the use case given by an international grocery retailer's online shopping service. We present an analysis of efficient solution methods that can be employed to AHD services. We provide several heuristic approaches for tackling the steps mentioned above. However, the basic framework can be easily be adapted to be used for many similar Vehicle Routing applications. We provide a comprehensive computational study comparing several algorithmic strategies, combining heuristics utilizing Local Search operations and Mixed Integer Linear Programs, tackling the booking process. Finally, we analyze the scalability and suitability of the approaches.


On Hasse's Unit Index. We study the distribution of Hasse's unit index Q(L) for the CM fields L mathbb Q ( sqrt d , sqrt 1 ) as d varies among positive squarefree integers. We prove that the number of d leq X such that Q(L) 2 is proportional to X sqrt log X .


Extremal eigenvalues of the Dirichlet biharmonic operator on rectangles. We study the behaviour of extremal eigenvalues of the Dirichlet biharmonic operator over rectangles with a given fixed area. We begin by proving that the principal eigenvalue is minimal for a rectangle for which the ratio between the longest and the shortest side lengths does not exceed 1.066459 . We then consider the sequence formed by the minimal k rm th eigenvalue and show that the corresponding sequence of minimising rectangles converges to the square as k goes to infinity.


Enhanced Behavioral Cloning Based self driving Car Using Transfer Learning. With the growing phase of artificial intelligence and autonomous learning, the self driving car is one of the promising area of research and emerging as a center of focus for automobile industries. Behavioral cloning is the process of replicating human behavior via visuomotor policies by means of machine learning algorithms. In recent years, several deep learning based behavioral cloning approaches have been developed in the context of self driving cars specifically based on the concept of transfer learning. Concerning the same, the present paper proposes a transfer learning approach using VGG16 architecture, which is fine tuned by retraining the last block while keeping other blocks as non trainable. The performance of proposed architecture is further compared with existing NVIDIA architecture and its pruned variants (pruned by 22.2 and 33.85 using 1x1 filter to decrease the total number of parameters). Experimental results show that the VGG16 with transfer learning architecture has outperformed other discussed approaches with faster convergence.


Multi Agent Reinforcement Learning for Visibility based Persistent Monitoring. The Visibility based Persistent Monitoring (VPM) problem seeks to find a set of trajectories (or controllers) for robots to persistently monitor a changing environment. Each robot has a sensor, such as a camera, with a limited field of view that is obstructed by obstacles in the environment. The robots may need to coordinate with each other to ensure no point in the environment is left unmonitored for long periods of time. We model the problem such that there is a penalty that accrues every time step if a point is left unmonitored. However, the dynamics of the penalty are unknown to us. We present a Multi Agent Reinforcement Learning (MARL) algorithm for the VPM problem. Specifically, we present a Multi Agent Graph Attention Proximal Policy Optimization (MA G PPO) algorithm that takes as input the local observations of all agents combined with a low resolution global map to learn a policy for each agent. The graph attention allows agents to share their information with others leading to an effective joint policy. Our main focus is to understand how effective MARL is for the VPM problem. We investigate five research questions with this broader goal. We find that MA G PPO is able to learn a better policy than the non RL baseline in most cases, the effectiveness depends on agents sharing information with each other, and the policy learnt shows emergent behavior for the agents.


Extending a Tag based Collaborative Recommender with Co occurring Information Interests. Collaborative Filtering is largely applied to personalize item recommendation but its performance is affected by the sparsity of rating data. In order to address this issue, recent systems have been developed to improve recommendation by extracting latent factors from the rating matrices, or by exploiting trust relations established among users in social networks. In this work, we are interested in evaluating whether other sources of preference information than ratings and social ties can be used to improve recommendation performance. Specifically, we aim at testing whether the integration of frequently co occurring interests in information search logs can improve recommendation performance in User to User Collaborative Filtering (U2UCF). For this purpose, we propose the Extended Category based Collaborative Filtering (ECCF) recommender, which enriches category based user profiles derived from the analysis of rating behavior with data categories that are frequently searched together by people in search sessions. We test our model using a big rating dataset and a log of a largely used search engine to extract the co occurrence of interests. The experiments show that ECCF outperforms U2UCF and category based collaborative recommendation in accuracy, MRR, diversity of recommendations and user coverage. Moreover, it outperforms the SVD Matrix Factorization algorithm in accuracy and diversity of recommendation lists.


Homogeneous length functions on Groups Intertwined computer human proofs. We describe a case of an interplay between human and computer proving which played a role in the discovery of an interesting mathematical result. The unusual feature of the use of computers here was that a computer generated but human readable proof was read, understood, generalized and abstracted by mathematicians to obtain the key lemma in an interesting mathematical result.


Quasi orthogonality and zeros of some 2 phi 2 and 3 phi 2 polynomials. We state and prove the q extension of a result due to Johnston and Jordaan (cf. cite Johnston 2015 ) and make use of this result, the orthogonality of q Laguerre, little q Jacobi, q Meixner and Al Salam Carlitz I polynomials as well as contiguous relations satisfied by the polynomials, to establish the quasi orthogonality of certain 2 phi 2 and 3 phi 2 polynomials. The location and interlacing properties of the real zeros of these quasi orthogonal polynomials are studied. Interlacing properties of the zeros of q Laguerre quasi orthogonal polynomials L n ( delta) (z q) when 2 delta 1 with those of L n 1 ( delta 1) (z q) and L n ( delta 1) (z q) are also considered.