Warmth and Competence to Predict Human Preference of Robot Behavior in Physical Human Robot Interaction. A solid methodology to understand human perception and preferences in human robot interaction (HRI) is crucial in designing real world HRI. Social cognition posits that the dimensions Warmth and Competence are central and universal dimensions characterizing other humans. The Robotic Social Attribute Scale (RoSAS) proposes items for those dimensions suitable for HRI and validated them in a visual observation study. In this paper we complement the validation by showing the usability of these dimensions in a behavior based, physical HRI study with a fully autonomous robot. We compare the findings with the popular Godspeed dimensions Animacy, Anthropomorphism, Likeability, Perceived Intelligence and Perceived Safety. We found that Warmth and Competence, among all RoSAS and Godspeed dimensions, are the most important predictors for human preferences between different robot behaviors. This predictive power holds even when there is no clear consensus preference or significant factor difference between conditions.


Cheating in online gaming spreads through observation and victimization. Antisocial behavior can be contagious, spreading from individual to individual and rippling through social networks. Moreover, it can spread not only through third party influence from observation, just like innovations or individual behavior do, but also through direct experience, via "pay it forward" retaliation. Here, we distinguish between the effects of observation and victimization for the contagion of antisocial behavior by analyzing large scale digital trace data. We study the spread of cheating in more than a million matches of an online multiplayer first person shooter game, in which up to 100 players compete individually or in teams against strangers. We identify event sequences in which a player who observes or is killed by a certain number of cheaters starts cheating, and evaluate the extent to which these sequences would appear if we preserve the team and interaction structure but assume alternative gameplay scenarios. The results reveal that social contagion is only likely to exist for those who both observe and experience cheating, suggesting that third party influence and "pay it forward" reciprocity interact positively. In addition, the effect is present only for those who both observe and experience more than once, suggesting that cheating is more likely to spread after repeated or multi source exposure. Approaching online games as models of social systems, we use the findings to discuss strategies for targeted interventions to stem the spread of cheating and antisocial behavior more generally in online communities, schools, organizations, and sports.


Simulation of 3D elasto acoustic wave propagation based on a Discontinuous Galerkin Spectral Element method. In this paper we present a numerical discretization of the coupled elasto acoustic wave propagation problem based on a Discontinuous Galerkin Spectral Element (DGSE) approach in a three dimensional setting. The unknowns of the coupled problem are the displacement field and the velocity potential, in the elastic and the acoustic domains, respectively, thereby resulting in a symmetric formulation. After stating the main theoretical results, we assess the performance of the method by convergence tests carried out on both matching and non matching grids, and we simulate realistic scenarios where elasto acoustic coupling occurs. In particular, we consider the case of Scholte waves and the scattering of elastic waves by an underground acoustic cavity. Numerical simulations are carried out by means of the code SPEED, available at http speed.mox.polimi.it.


Google Trends Analysis of COVID 19. The World Health Organization (WHO) announced that COVID 19 was a pandemic disease on the 11th of March as there were 118K cases in several countries and territories. Numerous researchers worked on forecasting the number of confirmed cases since anticipating the growth of the cases helps governments adopting knotty decisions to ease the lockdowns orders for their countries. These orders help several people who have lost their jobs and support gravely impacted businesses. Our research aims to investigate the relation between Google search trends and the spreading of the novel coronavirus (COVID 19) over countries worldwide, to predict the number of cases. We perform a correlation analysis on the keywords of the related Google search trends according to the number of confirmed cases reported by the WHO. After that, we applied several machine learning techniques (Multiple Linear Regression, Non negative Integer Regression, Deep Neural Network), to forecast the number of confirmed cases globally based on historical data as well as the hybrid data (Google search trends). Our results show that Google search trends are highly associated with the number of reported confirmed cases, where the Deep Learning approach outperforms other forecasting techniques. We believe that it is not only a promising approach for forecasting the confirmed cases of COVID 19, but also for similar forecasting problems that are associated with the related Google trends.


A family of q hypergeometric congruences modulo the fourth power of a cyclotomic polynomial. We prove a two parameter family of q hypergeometric congruences modulo the fourth power of a cyclotomic polynomial. Crucial ingredients in our proof are George Andrews' multiseries extension of the Watson transformation, and a Karlsson Minton type summation for very well poised basic hypergeometric series due to George Gasper. The new family of q congruences is then used to prove two conjectures posed earlier by the authors.


Federated Adversarial Domain Adaptation. Federated learning improves data privacy and efficiency in machine learning performed over networks of distributed devices, such as mobile phones, IoT and wearable devices, etc. Yet models trained with federated learning can still fail to generalize to new devices due to the problem of domain shift. Domain shift occurs when the labeled data collected by source nodes statistically differs from the target node's unlabeled data. In this work, we present a principled approach to the problem of federated domain adaptation, which aims to align the representations learned among the different nodes with the data distribution of the target node. Our approach extends adversarial adaptation techniques to the constraints of the federated setting. In addition, we devise a dynamic attention mechanism and leverage feature disentanglement to enhance knowledge transfer. Empirically, we perform extensive experiments on several image and text classification tasks and show promising results under unsupervised federated domain adaptation setting.


Ladder relations for a class of matrix valued orthogonal polynomials. Using the theory introduced by Casper and Yakimov, we investigate the structure of algebras of differential and difference operators acting on matrix valued orthogonal polynomials (MVOPs) on mathbb R , and we derive algebraic and differential relations for these MVOPs. A particular case of importance is that of MVOPs with respect to a matrix weight of the form W(x) e v(x) e xA e xA ast on the real line, where v is a scalar polynomial of even degree with positive leading coefficient and A is a constant matrix.


Red Carpet to Fight Club Partially supervised Domain Transfer for Face Recognition in Violent Videos. In many real world problems, there is typically a large discrepancy between the characteristics of data used in training versus deployment. A prime example is the analysis of aggression videos in a criminal incidence, typically suspects need to be identified based on their clean portrait like photos, instead of their prior video recordings. This results in three major challenges large domain discrepancy between violence videos and ID photos, the lack of video examples for most individuals and limited training data availability. To mimic such scenarios, we formulate a realistic domain transfer problem, where the goal is to transfer the recognition model trained on clean posed images to the target domain of violent videos, where training videos are available only for a subset of subjects. To this end, we introduce the WildestFaces dataset, tailored to study cross domain recognition under a variety of adverse conditions. We divide the task of transferring a recognition model from the domain of clean images to the violent videos into two sub problems and tackle them using (i) stacked affine transforms for classifier transfer, (ii) attention driven pooling for temporal adaptation. We additionally formulate a self attention based model for domain transfer. We establish a rigorous evaluation protocol for this clean to violent recognition task, and present a detailed analysis of the proposed dataset and the methods. Our experiments highlight the unique challenges introduced by the WildestFaces dataset and the advantages of the proposed approach.


Contract based Methodology for Developing Resilient Cyber Infrastructure in the Industry 4.0 Era. As the industrial cyber infrastructure become increasingly important to realise the objectives of Industry 4.0, the consequence of disruption due to internal or external faults become increasingly severe. Thus there is a need for a resilient infrastructure. In this paper, we propose a contract based methodology where components across layers of the cyber infrastructure are associated with contracts and a light weight resilience manager. This allows the system to detect faults (contract violation monitored using observers) and react (change contracts dynamically) effectively.


The Almost Disjoint 2 Path Decomposition Problem. We consider the problem of decomposing a given (di)graph into paths of length 2 with the additional restriction that no two such paths may have more than one vertex in common. We establish its NP hardness by a reduction from 3 SAT, characterize (di)graph classes for which the problem can be be reduced to the Stable set problem on claw free graphs and describe a dynamic program for solving it for series parallel digraphs.


The Affine Geometric Heat Flow and Motion Planning for Dynamic Systems. We present a new method for motion planning for control systems. The method aims to provide a natural computational framework in which a broad class of motion planning problems can be cast including problems with holonomic and non holonomic constraints, drift dynamics, obstacle constraints and constraints on the magnitudes of the applied controls. The method, which finds its inspiration in recent work on the so called geometric heat flows and curve shortening flows, relies on a hereby introduced partial differential equation, which we call the affine geometric heat flow, which evolves an arbitrary differentiable path joining initial to final state in configuration space to a path that meets the constraints imposed on the problem. From this path, controls to be applied on the system can be extracted. We provide conditions guaranteeing that the controls extracted will drive the system arbitrarily close to the desired final state, while meeting the imposed constraints and illustrate the method on three canonical examples.


Resolving nonuniform temperature distributions with single beam absorption spectroscopy. Part II Implementation from broadband spectra. Several past studies have described how absorption spectroscopy can be used to determine spatial temperature variations along the optical path by measuring the unique, nonlinear response to temperature of many molecular absorption transitions and performing an inversion. New laser absorption spectroscopy techniques are well suited to this nonuniformity measurement, yet present analysis approaches use only isolated features rather than a full broadband spectral measurement. In this work, we develop a constrained spectral fitting technique called E" binning to fit an absorption spectrum arising from a nonuniform environment. The information extracted from E" binning is then input to the inversion approach from the previous paper in this series (Malarich and Rieker, JQSRT 107455) to determine the temperature distribution. We demonstrate this approach by using dual frequency comb laser measurements to resolve convection cells in a tube furnace. The recovered temperature distributions at each measurement height agree with an existing natural convection model. Finally, we show that for real world measurements with noise and absorption model error, increasing the bandwidth and the number of measured absorption transitions may improve the temperature distribution precision. We make the fitting code publicly available for use with any broadband absorption measurement.


The q multiple gamma functions of Barnes Milnor type. The multiple gamma functions of BM (Barnes Milnor) type and the q multiple gamma functions have been studied independently. In this paper, we introduce a new generalization of the multiple gamma functions called the q BM multiple gamma function including those functions and prove some properties the BM multiple gamma functions satisfy for them.


Surface Susceptibility Synthesis of Metasurface Holograms for creating Electromagnetic Illusions. A systematic approach is presented to exploit the rich field transformation capabilities of Electromagnetic (EM) metasurfaces for creating a variety of illusions using the concept of metasurface holograms. A system level approach to metasurface hologram synthesis is presented here, in which the hologram is co designed with the desired object to be projected. A structured approach for the classification of the creation of EM illusions is proposed for better organization and tractability of the overall synthesis problem. The deliniation is in terms of the initial incident (reference) illumination of the object to be recreated (front back lit), the position of illusion (posterior anterior), and the illumination used to create the illusion (front back). Therefore the classification is based on the specific relationship between the reference object to be recreated, the observer measuring the object, the orientation and placement of the reference and illumination field, and the desired placement of the metasurface hologram creating a virtual image. In the paper a general design procedure to synthesize metasurface holograms is presented based on Integral Equations (IE) and Generalized Sheet Transition Conditions (GSTCs), where the metasurface hologram is described as zero thickness sheet with tensorial surface susceptibility densities. Several selected configurations are chosen to illustrate various aspects of the hologram creation in 2D, along with a novel numerical technique to artificially reverse propagate the scattered fields, required in the synthesis process. Finally, the impact of the metasurface size and the illumination field strength on the quality of the reconstructed scattered fields is also discussed.


ShapeGlot Learning Language for Shape Differentiation. In this work we explore how fine grained differences between the shapes of common objects are expressed in language, grounded on images and 3D models of the objects. We first build a large scale, carefully controlled dataset of human utterances that each refers to a 2D rendering of a 3D CAD model so as to distinguish it from a set of shape wise similar alternatives. Using this dataset, we develop neural language understanding (listening) and production (speaking) models that vary in their grounding (pure 3D forms via point clouds vs. rendered 2D images), the degree of pragmatic reasoning captured (e.g. speakers that reason about a listener or not), and the neural architecture (e.g. with or without attention). We find models that perform well with both synthetic and human partners, and with held out utterances and objects. We also find that these models are amenable to zero shot transfer learning to novel object classes (e.g. transfer from training on chairs to testing on lamps), as well as to real world images drawn from furniture catalogs. Lesion studies indicate that the neural listeners depend heavily on part related words and associate these words correctly with visual parts of objects (without any explicit network training on object parts), and that transfer to novel classes is most successful when known part words are available. This work illustrates a practical approach to language grounding, and provides a case study in the relationship between object shape and linguistic structure when it comes to object differentiation.


Segmenting the Future. Predicting the future is an important aspect for decision making in robotics or autonomous driving systems, which heavily rely upon visual scene understanding. While prior work attempts to predict future video pixels, anticipate activities or forecast future scene semantic segments from segmentation of the preceding frames, methods that predict future semantic segmentation solely from the previous frame RGB data in a single end to end trainable model do not exist. In this paper, we propose a temporal encoder decoder network architecture that encodes RGB frames from the past and decodes the future semantic segmentation. The network is coupled with a new knowledge distillation training framework specific for the forecasting task. Our method, only seeing preceding video frames, implicitly models the scene segments while simultaneously accounting for the object dynamics to infer the future scene semantic segments. Our results on Cityscapes and Apolloscape outperform the baseline and current state of the art methods. Code is available at https github.com eddyhkchiu segmenting the future .


New blow up result for the weakly coupled wave equations with a scale invariant damping and time derivative nonlinearity. We consider in this article the weakly coupled system of wave equations in the textit scale invariant case and with time derivative nonlinearities. Under the usual assumption of small initial data, we obtain an improvement of the delimitation of the blow up region by obtaining a new candidate for the critical curve. More precisely, we enhance the results obtained in cite Palmieri for the system under consideration in the present work. We believe that our result is optimal in the sense that beyond the blow up region obtained here we may conjecture the global existence of the solution.


Pun Generation with Surprise. We tackle the problem of generating a pun sentence given a pair of homophones (e.g., "died" and "dyed"). Supervised text generation is inappropriate due to the lack of a large corpus of puns, and even if such a corpus existed, mimicry is at odds with generating novel content. In this paper, we propose an unsupervised approach to pun generation using a corpus of unhumorous text and what we call the local global surprisal principle we posit that in a pun sentence, there is a strong association between the pun word (e.g., "dyed") and the distant context, as well as a strong association between the alternative word (e.g., "died") and the immediate context. This contrast creates surprise and thus humor. We instantiate this principle for pun generation in two ways (i) as a measure based on the ratio of probabilities under a language model, and (ii) a retrieve and edit approach based on words suggested by a skip gram model. Human evaluation shows that our retrieve and edit approach generates puns successfully 31 of the time, tripling the success rate of a neural generation baseline.


A Game Theoretic Analysis for Cooperative Smart Farming. The application of Internet of Things (IoT) and Machine Learning (ML) to the agricultural industry has enabled the development and creation of smart farms and precision agriculture. The growth in the number of smart farms and potential cooperation between these farms has given rise to the Cooperative Smart Farming (CSF) where different connected farms collaborate with each other and share data for their mutual benefit. This data sharing through CSF has various advantages where individual data from separate farms can be aggregated by ML models and be used to produce actionable outputs which then can be utilized by all the farms in CSFs. This enables farms to gain better insights for enhancing desired outputs, such as crop yield, managing water resources and irrigation schedules, as well as better seed applications. However, complications may arise in CSF when some of the farms do not transfer high quality data and rather rely on other farms to feed ML models. Another possibility is the presence of rogue farms in CSFs that want to snoop on other farms without actually contributing any data. In this paper, we analyze the behavior of farms participating in CSFs using game theory approach, where each farm is motivated to maximize its profit. We first present the problem of defective farms in CSFs due to lack of better data, and then propose a ML framework that segregates farms and automatically assign them to an appropriate CSF cluster based on the quality of data they provide. Our proposed model rewards the farms supplying better data and penalize the ones that do not provide required data or are malicious in nature, thus, ensuring the model integrity and better performance all over while solving the defective farms problem.


Convexity estimates for hypersurfaces moving by concave curvature functions. We study fully nonlinear geometric flows that deform strictly k convex hypersurfaces in Euclidean space with pointwise normal speed given by a concave function of the principal curvatures. Specifically, the speeds we consider are obtained by performing a nonlinear interpolation between the mean and the k harmonic mean of the principal curvatures. Our main result is a convexity estimate showing that, on compact solutions, regions of high curvature are approximately convex. In contrast to the mean curvature flow, the fully nonlinear flows considered here preserve k convexity in a Riemannian background, and we show that the convexity estimate carries over to this setting as long as the ambient curvature satisfies a natural pinching condition.


Enumerating the class of minimally path connected simplicial complexes. In 1983 Kalai proved an incredible generalisation of Cayley's formula for the number of trees on a labelled vertex set to a formula for a class of r dimensional simplicial complexes. These simplicial complexes generalise trees by means of being homologically Bbb Q acyclic. In this text we consider a different generalisation of trees to the class of pure dimensional simplicial complexes that textit minimally connect a vertex set (in the sense that the removal of any top dimensional face disconnects the complex). Our main result provides an upper and lower bound for the number of these minimally connected complexes on a labelled vertex set. We also prove that they are potentially vastly more topologically complex than the generalisation of Kalai. As an application of our bounds we compute the threshold probability for the connectivity of a random simplicial complex.


Improved Approximation Algorithms for Inventory Problems. We give new approximation algorithms for the submodular joint replenishment problem and the inventory routing problem, using an iterative rounding approach. In both problems, we are given a set of N items and a discrete time horizon of T days in which given demands for the items must be satisfied. Ordering a set of items incurs a cost according to a set function, with properties depending on the problem under consideration. Demand for an item at time t can be satisfied by an order on any day prior to t , but a holding cost is charged for storing the items during the intermediate period the goal is to minimize the sum of the ordering and holding cost. Our approximation factor for both problems is O( log log min(N,T)) this improves exponentially on the previous best results.


Extending DeepSDF for automatic 3D shape retrieval and similarity transform estimation. Recent advances in computer graphics and computer vision have found successful application of deep neural network models for 3D shapes based on signed distance functions (SDFs) that are useful for shape representation, retrieval, and completion. However, this approach has been limited by the need to have query shapes in the same canonical scale and pose as those observed during training, restricting its effectiveness on real world scenes. We present a formulation to overcome this issue by jointly estimating shape and similarity transform parameters. We conduct experiments to demonstrate the effectiveness of this formulation on synthetic and real datasets and report favorable comparisons to the state of the art. Finally, we also emphasize the viability of this approach as a form of 3D model compression.


Welfare Guarantees in Schelling Segregation. Schelling's model is an influential model that reveals how individual perceptions and incentives can lead to residential segregation. Inspired by a recent stream of work, we study welfare guarantees and complexity in this model with respect to several welfare measures. First, we show that while maximizing the social welfare is NP hard, computing an assignment of agents to the nodes of any topology graph with approximately half of the maximum welfare can be done in polynomial time. We then consider Pareto optimality, introduce two new optimality notions based on it, and establish mostly tight bounds on the worst case welfare loss for assignments satisfying these notions as well as the complexity of computing such assignments. In addition, we show that for tree topologies, it is possible to decide whether there exists an assignment that gives every agent a positive utility in polynomial time moreover, when every node in the topology has degree at least 2 , such an assignment always exists and can be found efficiently.


Partially Shared Semi supervised Deep Matrix Factorization with Multi view Data. Since many real world data can be described from multiple views, multi view learning has attracted considerable attention. Various methods have been proposed and successfully applied to multi view learning, typically based on matrix factorization models. Recently, it is extended to the deep structure to exploit the hierarchical information of multi view data, but the view specific features and the label information are seldom considered. To address these concerns, we present a partially shared semi supervised deep matrix factorization model (PSDMF). By integrating the partially shared deep decomposition structure, graph regularization and the semi supervised regression model, PSDMF can learn a compact and discriminative representation through eliminating the effects of uncorrelated information. In addition, we develop an efficient iterative updating algorithm for PSDMF. Extensive experiments on five benchmark datasets demonstrate that PSDMF can achieve better performance than the state of the art multi view learning approaches. The MATLAB source code is available at https github.com libertyhhn PartiallySharedDMF.


A Data Driven Approach for Accurate Rainfall Prediction. In recent years, there has been growing interest in using Precipitable Water Vapor (PWV) derived from Global Positioning System (GPS) signal delays to predict rainfall. However, the occurrence of rainfall is dependent on a myriad of atmospheric parameters. This paper proposes a systematic approach to analyze various parameters that affect precipitation in the atmosphere. Different ground based weather features like Temperature, Relative Humidity, Dew Point, Solar Radiation, PWV along with Seasonal and Diurnal variables are identified, and a detailed feature correlation study is presented. While all features play a significant role in rainfall classification, only a few of them, such as PWV, Solar Radiation, Seasonal and Diurnal features, stand out for rainfall prediction. Based on these findings, an optimum set of features are used in a data driven machine learning algorithm for rainfall prediction. The experimental evaluation using a four year (2012 2015) database shows a true detection rate of 80.4 , a false alarm rate of 20.3 , and an overall accuracy of 79.6 . Compared to the existing literature, our method significantly reduces the false alarm rates.


Cellular Fourier analysis for geometrically disordered materials. Many media are divided into elementary units with irregular shape and size, as exemplified by domains in magnetic materials, bubbles in foams, or cells in biological tissues. Such media are essentially characterized by geometrical disorder of their elementary units, which we term cells. Cells set a reference scale at which are often assessed parameters and fields reflecting material properties and state. Here, we consider the spectral analysis of spatially varying fields. Such analysis is difficult in geometrically disordered media, because space discretization based on standard coordinate systems is not commensurate with the natural discretization into geometrically disordered cells. Indeed, we found that two classical spectral methods, the Fast Fourier Transform and the Graph Fourier transform, fail to reproduce all expected properties of spectra of plane waves and of white noise. We therefore built a method, which we call Cellular Fourier Transform (CFT), to analyze cell scale fields, which comprise both discrete fields defined only at cell level and continuous fields smoothed out from their sub cell variations. Our approach is based on the construction of a discrete operator suited to the disordered geometry and on the computation of its eigenvectors, which, respectively, play the same role as the Laplace operator and sine waves in Euclidean coordinate systems. We show that CFT has the expected behavior for sinusoidal fields and for random fields with long range correlations. Our approach for spectral analysis is suited to any geometrically disordered material, such as a biological tissue with complex geometry, opening the path to systematic multiscale analyses of material behavior.


Nonlinear Centralizers in Homology II. The Schatten classes. The paper computes the spaces of extensions for the Schatten classes when they are regarded in its natural module structure over the algebra of bounded operators on the ground Hilbert space.


Fukaya A infty structures associated to Lefschetz fibrations. V. We (re)consider how the Fukaya category of a Lefschetz fibration is related to that of the fibre. The distinguishing feature of the approach here is a more direct identification of the bimodule homomorphism involved.


Optical phase mining by adjustable spatial differentiator. Phase is a fundamental resource for optical imaging but cannot be directly observed with intensity measurements. The existing methods to quantify a phase distribution rely on complex devices and structures. Here we experimentally demonstrate a phase mining method based on so called adjustable spatial differentiation, just generally by analyzing the polarization in light reflection on a single planar dielectric interface. With introducing an adjustable bias, we create a virtual light source to render the measured images with a shadow cast effect. We further successfully recover the phase distribution of a transparent object from the virtual shadowed images. Without any dependence on resonance or material dispersion, this method directly stems from the intrinsic properties of light and can be generally extended to a board frequency range.


An analysis of the evolution of science technology linkage in biomedicine. Demonstrating the practical value of public research has been an important subject in science policy. Here we present a detailed study on the evolution of the citation linkage between life science related patents and biomedical research over a 37 year period. Our analysis relies on a newly created dataset that systematically links millions of non patent references to biomedical papers. We find a large disparity in the volume of science linkage among technology sectors, with biotechnology and drug patents dominating it. The linkage has been growing exponentially over a long period of time, doubling every 2.9 years. The U.S. has been the largest producer of cited science for years, receiving nearly half of the citations. More than half of citations goes to universities. We use a new paper level indicator to quantify to what extent a paper is basic research or clinical medicine. We find that the cited papers are likely to be basic research, yet a significant portion of papers cited in patents that are related to FDA approved drugs are clinical research. The U.S. National Institute of Health continues to be an important funder of cited science. For the majority of companies, more than half of citations in their patents are authored by public research. Taken together, these results indicate a continuous linkage of public science to private sector inventions.


Data Augmentation with Unsupervised Machine Translation Improves the Structural Similarity of Cross lingual Word Embeddings. Unsupervised cross lingual word embedding (CLWE) methods learn a linear transformation matrix that maps two monolingual embedding spaces that are separately trained with monolingual corpora. This method relies on the assumption that the two embedding spaces are structurally similar, which does not necessarily hold true in general. In this paper, we argue that using a pseudo parallel corpus generated by an unsupervised machine translation model facilitates the structural similarity of the two embedding spaces and improves the quality of CLWEs in the unsupervised mapping method. We show that our approach outperforms other alternative approaches given the same amount of data, and, through detailed analysis, we show that data augmentation with the pseudo data from unsupervised machine translation is especially effective for mapping based CLWEs because (1) the pseudo data makes the source and target corpora (partially) parallel (2) the pseudo data contains information on the original language that helps to learn similar embedding spaces between the source and target languages.


Linear Time Recognition of Double Threshold Graphs. A graph G (V,E) is a double threshold graph if there exist a vertex weight function w colon V to mathbb R and two real numbers mathtt lb , mathtt ub in mathbb R such that uv in E if and only if mathtt lb le mathtt w (u) mathtt w (v) le mathtt ub . In the literature, those graphs are studied also as the pairwise compatibility graphs that have stars as their underlying trees. We give a new characterization of double threshold graphs that relates them to bipartite permutation graphs. Using the new characterization, we present a linear time algorithm for recognizing double threshold graphs. Prior to our work, the fastest known algorithm by Xiao and Nagamochi Algorithmica 2020 ran in O(n 3 m) time, where n and m are the numbers of vertices and edges, respectively.


The Gauss quadrature for general linear functionals, Lanczos algorithm, and minimal partial realization. The concept of Gauss quadrature can be generalized to approximate linear functionals with complex moments. Following the existing literature, this survey will revisit such generalization. It is well known that the (classical) Gauss quadrature for positive definite linear functionals is connected with orthogonal polynomials, and with the (Hermitian) Lanczos algorithm. Analogously, the Gauss quadrature for linear functionals is connected with formal orthogonal polynomials, and with the non Hermitian Lanczos algorithm with look ahead strategy moreover, it is related to the minimal partial realization problem. We will review these connections pointing out the relationships between several results established independently in related contexts. Original proofs of the Mismatch Theorem and of the Matching Moment Property are given by using the properties of formal orthogonal polynomials and the Gauss quadrature for linear functionals.


Non Uniform Time Step Deep Q Network for Carrier Sense Multiple Access in Heterogeneous Wireless Networks. This paper investigates a new class of carrier sense multiple access (CSMA) protocols that employ deep reinforcement learning (DRL) techniques, referred to as carrier sense deep reinforcement learning multiple access (CS DLMA). The goal of CS DLMA is to enable efficient and equitable spectrum sharing among a group of co located heterogeneous wireless networks. Existing CSMA protocols, such as the medium access control (MAC) of WiFi, are designed for a homogeneous network in which all nodes adopt the same protocol. Such protocols suffer from severe performance degradation in a heterogeneous environment where there are nodes adopting other MAC protocols. CS DLMA aims to circumvent this problem by making use of DRL. In particular, this paper adopts alpha fairness as the general objective of CS DLMA. With alpha fairness, CS DLMA can achieve a range of different objectives when coexisting with other MACs by changing the value of alpha. A salient feature of CS DLMA is that it can achieve these objectives without knowing the coexisting MACs through a learning process based on DRL. The underpinning DRL technique in CS DLMA is deep Q network (DQN). However, the conventional DQN algorithms are not suitable for CS DLMA due to their uniform time step assumption. In CSMA protocols, time steps are non uniform in that the time duration required for carrier sensing is smaller than the duration of data transmission. This paper introduces a non uniform time step formulation of DQN to address this issue. Our simulation results show that CS DLMA can achieve the general alpha fairness objective when coexisting with TDMA, ALOHA, and WiFi protocols by adjusting its own transmission strategy. Interestingly, we also find that CS DLMA is more Pareto efficient than other CSMA protocols when coexisting with WiFi.


User Driven Functional Movement Training with a Wearable Hand Robot after Stroke. We studied the performance of a robotic orthosis designed to assist the paretic hand after stroke. It is wearable and fully user controlled, serving two possible roles as a therapeutic tool that facilitates device mediated hand exercises to recover neuromuscular function or as an assistive device for use in everyday activities to aid functional use of the hand. We present the clinical outcomes of a pilot study designed as a feasibility test for these hypotheses. 11 chronic stroke ( 2 years) patients with moderate muscle tone (Modified Ashworth Scale less than or equal to 2 in upper extremity) engaged in a month long training protocol using the orthosis. Individuals were evaluated using standardized outcome measures, both with and without orthosis assistance. Fugl Meyer post intervention scores without robotic assistance showed improvement focused specifically at the distal joints of the upper limb, suggesting the use of the orthosis as a rehabilitative device for the hand. Action Research Arm Test scores post intervention with robotic assistance showed that the device may serve an assistive role in grasping tasks. These results highlight the potential for wearable and user driven robotic hand orthoses to extend the use and training of the affected upper limb after stroke.


Best Match Graphs and Reconciliation of Gene Trees with Species Trees. A wide variety of problems in computational biology, most notably the assessment of orthology, are solved with the help of reciprocal best matches. Using an evolutionary definition of best matches that captures the intuition behind the concept we clarify rigorously the relationships between reciprocal best matches, orthology, and evolutionary events under the assumption of duplication loss scenarios. We show that the orthology graph is a subgraph of the reciprocal best match graph (RBMG). We furthermore give conditions under which an RBMG that is a cograph identifies the correct orthlogy relation. Using computer simulations we find that most false positive orthology assignments can be identified as so called good quartets and thus corrected in the absence of horizontal transfer. Horizontal transfer, however, may introduce also false negative orthology assignments.


Setting of the predefined multiplier gain of a photomultiplier. A method to set the predefined PMT gain with high precision is described. The method supposes minimal participation of the operator. After the rough initial setting of the gain, the automated system adjusts the PMT gain within a predefined precision (up to 2 ). The method has been successfully applied at the Borexino PMT test facility at LNGS for the gain adjustment of the 2000 photomultipliers for the Borexino detector


The Personal Software Process, Experiences from Denmark. Software process improvement (SPI) research and practice is transforming from the traditional large scale assessment based improvement initiatives into smaller sized, tailored initiatives where the emphasis is set on the development personnel and their personal abilities. The personal software process (PSPSM) is a method for improving the personal capabilities of a single software engineer. This paper contributes to the body of knowledge within this area by reporting experiences from Denmark. The results indicate an improvement in the effort estimation skills and a significant increase in the resulting product quality in terms of reduced total defect density. The data shows that with relatively small effort (i.e., 10 ) used in defect prevention activities (i.e., design and code reviews) almost one third of all defects were removed and consequently the time required for the testing was cut by 50 . Based on this data the use of the PSP method in the software industry is discussed.


Concentration inequalities in spaces of random configurations with positive Ricci curvatures. In this paper, we prove an Azuma Hoeffding type inequality in several classical models of random configurations, including the Erd H o s R 'enyi random graph models G(n,p) and G(n,M) , the random d out(in) regular directed graphs, and the space of random permutations. The main idea is using Ollivier's work on the Ricci curvature of Markov chairs on metric spaces. Here we give a cleaner form of such concentration inequality in graphs. Namely, we show that for any Lipschitz function f on any graph (equipped with an ergodic random walk and thus an invariant distribution nu ) with Ricci curvature at least kappa 0 , we have nu left( f E nu f geq t right) leq 2 exp left( frac t 2 kappa 7 right).


Generalized Entropy Regularization or There's Nothing Special about Label Smoothing. Prior work has explored directly regularizing the output distributions of probabilistic models to alleviate peaky (i.e. over confident) predictions, a common sign of overfitting. This class of techniques, of which label smoothing is one, has a connection to entropy regularization. Despite the consistent success of label smoothing across architectures and data sets in language generation tasks, two problems remain open (1) there is little understanding of the underlying effects entropy regularizers have on models, and (2) the full space of entropy regularization techniques is largely unexplored. We introduce a parametric family of entropy regularizers, which includes label smoothing as a special case, and use it to gain a better understanding of the relationship between the entropy of a model and its performance on language generation tasks. We also find that variance in model performance can be explained largely by the resulting entropy of the model. Lastly, we find that label smoothing provably does not allow for sparsity in an output distribution, an undesirable property for language generation models, and therefore advise the use of other entropy regularization methods in its place.


Multi Modal Data Collection for Measuring Health, Behavior, and Living Environment of Large Scale Participant Cohorts Conceptual Framework and Findings from Deployments. As mobile technologies become ever more sensor rich, portable, and ubiquitous, data captured by smart devices are lending rich insights into users' daily lives with unprecedented comprehensiveness, unobtrusiveness, and ecological validity. A number of human subject studies have been conducted in the past decade to examine the use of mobile sensing to uncover individual behavioral patterns and health outcomes. While understanding health and behavior is the focus for most of these studies, we find that minimal attention has been placed on measuring personal environments, especially together with other human centric data modalities. Moreover, the participant cohort size in most existing studies falls well below a few hundred, leaving questions open about the reliability of findings on the relations between mobile sensing signals and human outcomes. To address these limitations, we developed a home environment sensor kit for continuous indoor air quality tracking and deployed it in conjunction with established mobile sensing and experience sampling techniques in a cohort study of up to 1584 student participants per data type for 3 weeks at a major research university in the United States. In this paper, we begin by proposing a conceptual framework that systematically organizes human centric data modalities by their temporal coverage and spatial freedom. Then we report our study design and procedure, technologies and methods deployed, descriptive statistics of the collected data, and results from our extensive exploratory analyses. Our novel data, conceptual development, and analytical findings provide important guidance for data collection and hypothesis generation in future human centric sensing studies.


Two Stage Peer Regularized Feature Recombination for Arbitrary Image Style Transfer. This paper introduces a neural style transfer model to generate a stylized image conditioning on a set of examples describing the desired style. The proposed solution produces high quality images even in the zero shot setting and allows for more freedom in changes to the content geometry. This is made possible by introducing a novel Two Stage Peer Regularization Layer that recombines style and content in latent space by means of a custom graph convolutional layer. Contrary to the vast majority of existing solutions, our model does not depend on any pre trained networks for computing perceptual losses and can be trained fully end to end thanks to a new set of cyclic losses that operate directly in latent space and not on the RGB images. An extensive ablation study confirms the usefulness of the proposed losses and of the Two Stage Peer Regularization Layer, with qualitative results that are competitive with respect to the current state of the art using a single model for all presented styles. This opens the door to more abstract and artistic neural image generation scenarios, along with simpler deployment of the model.


Multilinear Algebra for Distributed Storage. An (n, k, d, alpha, beta, M) ERRC (exact repair regenerating code) is a collection of n nodes used to store a file. For a file of total size M , each node stores alpha symbols, any k nodes recover the file, and any d nodes repair any other node via sending out beta symbols. We establish a multilinear algebra foundation to assemble (n, k, d, alpha, beta, M) ERRCs for all meaningful (n, k, d) tuples. Our ERRCs tie the alpha M versus beta M trade off with cascade codes, the best known construction for this trade off. We give directions on how these ERRCs repair multiple failures.


Discovering Multi Table Functional Dependencies Without Full Join Computation. In this paper, we study the problem of discovering join FDs, i.e., functional dependencies (FDs) that hold on multiple joined tables. We leverage logical inference, selective mining, and sampling and show that we can discover most of the exact join FDs from the single tables participating to the join and avoid the full computation of the join result. We propose algorithms to speed up the join FD discovery process and mine FDs on the fly only from necessary data partitions. We introduce JEDI (Join dEpendency DIscovery), our solution to discover join FDs without computation of the full join beforehand. Our experiments on a range of real world and synthetic data demonstrate the benefits of our method over existing FD discovery methods that need to precompute the join results before discovering the FDs. We show that the performance depends on the cardinalities and coverage of the join attribute values for join operations with low coverage, JEDI with selective mining outperforms the competing methods using the straightforward approach of full join computation by one order of magnitude in terms of runtime and can discover three quarters of the exact join FDs using mainly logical inference in half of its total execution time on average. For higher join coverage, JEDI with sampling reaches precision of 1 with only 63 of the table input size on average.


Tunable and precise two bunch generation at FLASHForward. Beam driven plasma wakefield acceleration based on external injection has the potential to significantly reduce the size of future accelerators. Stability and quality of the acceleration process substantially depends on the incoming bunch parameters. Precise control of the current profile is essential for optimising energy transfer efficiency and preserving energy spread. At the FLASHForward facility, driver witness bunch pairs of adjustable bunch length and separation are generated by a set of collimators in a dispersive section, which enables fs level control of the longitudinal bunch profile. The design of the collimator apparatus and its commissioning is presented.


LiftTiles Constructive Building Blocks for Prototyping Room scale Shape changing Interfaces. Large scale shape changing interfaces have great potential, but creating such systems requires substantial time, cost, space, and efforts, which hinders the research community to explore interactions beyond the scale of human hands. We introduce modular inflatable actuators as building blocks for prototyping room scale shape changing interfaces. Each actuator can change its height from 15cm to 150cm, actuated and controlled by air pressure. Each unit is low cost (8 USD), lightweight (10 kg), compact (15 cm), and robust, making it well suited for prototyping room scale shape transformations. Moreover, our modular and reconfigurable design allows researchers and designers to quickly construct different geometries and to explore various applications. This paper contributes to the design and implementation of highly extendable inflatable actuators, and demonstrates a range of scenarios that can leverage this modular building block.


On Bilinear Hardy Inequality and Corresponding Geometric Mean Inequality. The main aim of this paper to provide several scales of equivalent conditions for the bilinear Hardy inequalities in the case 1 q, p 1, p 2 infty with q geq max(p 1,p 2) .


Identifying central endomorphisms of an abelian variety via Frobenius endomorphisms. Assuming the Mumford Tate conjecture, we show that the center of the endomorphism ring of an abelian variety defined over a number field can be recovered from an appropriate intersection of the fields obtained from its Frobenius endomorphisms. We then apply this result to exhibit a practical algorithm to compute this center.


Gamma convergence of polyconvex functionals involving s fractional gradients to their local counterparts. In this paper we study localization properties of the Riesz s fractional gradient D s u of a vectorial function u as s nearrow 1 . The natural space to work with s fractional gradients is the Bessel space H s,p for 0 s 1 and 1 p infty . This space converges, in a precise sense, to the Sobolev space W 1,p when s nearrow 1 . We prove that the s fractional gradient D s u of a function u in W 1,p converges strongly to the classical gradient Du . We also show a weak compactness result in W 1,p for sequences of functions u s with bounded L p norm of D s u s as s nearrow 1 . Moreover, the weak convergence of D s u s in L p implies the weak continuity of its minors, which allows us to prove a semicontinuity result of polyconvex functionals involving s fractional gradients defined in H s,p to their local counterparts defined in W 1,p . The full Gamma convergence of the functionals is achieved only for the case p n .


Topological phases and bulk edge correspondence of magnetized cold plasmas. Plasmas have been recently studied as topological materials. However, a comprehensive picture of topological phases and topological phase transitions in cold magnetized plasmas is still missing. Here we systematically map out all the topological phases and establish the bulk edge correspondence in cold magnetized plasmas. We find that for the linear eigenmodes, there are 10 topological phases in the parameter space of density n , magnetic field B , and parallel wavenumber k z , separated by the surfaces of Langmuir wave L wave resonance, Langmuir wave cyclotron wave resonance, and zero magnetic field. For fixed B and k z , only the phase transition at the Langmuir wave cyclotron wave resonance corresponds to edge modes. A sufficient and necessary condition for the existence of this type of edge modes is given and verified by numerical solutions. We demonstrate that edge modes exist not only on a plasma vacuum interface but also on more general plasma plasma interfaces. This finding broadens the possible applications of these exotic excitations in space and laboratory plasmas.


Semistable modularity lifting over imaginary quadratic fields. We prove a non minimal modularity lifting theorem for ordinary Galois representations over imaginary quadratic fields, conditional on a local global compatibility conjecture for ordinary torsion classes.


Trilinear smoothing inequalities and a variant of the triangular Hilbert transform. Lebesgue space inequalities are proved for a variant of the triangular Hilbert transform involving curvature. The analysis relies on a crucial trilinear smoothing inequality developed herein, and on bounds for an anisotropic variant of the twisted paraproduct. The trilinear smoothing inequality also leads to Lebesgue space bounds for a corresponding maximal function and a quantitative nonlinear Roth type theorem concerning patterns in the Euclidean plane.


Global existence, regularity, and uniqueness of infinite energy solutions to the Navier Stokes equations. This paper addresses several problems associated to local energy solutions (in the sense of Lemari 'e Rieusset) to the Navier Stokes equations with initial data which is sufficiently small at large or small scales as measured using truncated Morrey type quantities, namely (1) global existence for a class of data including the critical L 2 based Morrey space (2) initial and eventual regularity of local energy solutions to the Navier Stokes equations with initial data sufficiently small at small or large scales (3) small large uniqueness of local energy solutions for data in the critical L 2 based Morrey space. A number of interesting corollaries are included, including eventual regularity in familiar Lebesgue, Lorentz, and Morrey spaces, a new local generalized Von Wahl uniqueness criteria, as well as regularity and uniqueness for local energy solutions with small discretely self similar data.


Asymptotically Scale invariant Multi resolution Quantization. A multi resolution quantizer is a sequence of quantizers where the output of a coarser quantizer can be deduced from the output of a finer quantizer. In this paper, we propose an asymptotically scale invariant multi resolution quantizer, which performs uniformly across any choice of average quantization step, when the length of the range of input numbers is large. Scale invariance is especially useful in worst case or adversarial settings, ensuring that the performance of the quantizer would not be affected greatly by small changes of storage or error requirements. We also show that the proposed quantizer achieves a tradeoff between rate and error that is arbitrarily close to the optimum.


Liouville type theorems and periodic solutions for chi (2) type systems with non homogeneous nonlinearities. In the present paper we derive Liouville type results and existence of periodic solutions for chi (2) type systems with non homogeneous nonlinearities. Moreover, we prove both universal bounds as well as singularity and decay estimates for this class of problems. In this study, we have to face new difficulties due to the non homogenous nonlinearities. To overcome this issue, we carry out delicate integral estimates for this class of nonlinearities and modify the usual scaling and blow up arguments. This seems to be the first result for parabolic systems with non homogeneous nonlinearities.


Fractal dimension of premixed flames in multifractal turbulence. In turbulent premixed flames, the fractal dimension of flame iso surface is argued to be mathbb D 7 3 for Damk "ohler's large scale limit (Da 1) and mathbb D 8 3 for Damk "ohler's small scale limit (Da sim mathcal O (1)) based on heuristic scaling arguments. However, such scaling arguments do not consider the effect of the multifractal nature of turbulent kinetic energy dissipation on the flame surface. In this paper, we account for the effects of multifractal dissipation on the fractal dimension of low Da turbulent premixed flames. We derive two corrections to the upper limit of fractal dimension mathbb D 8 3 3 4(1 D 1 4 ) and mathbb D 8 3 2 3(3 D 1 3 ) which correspond to the change in the scalar flux and the total area of flame interface due to fluctuations in the inner cut off scale arising from the intermittent nature of turbulent dissipation, respectively. We further show that the second correction leads to an explicit dependence of the fractal dimension ( mathbb D ) on the scaling exponent ( xi) of the velocity structure function through the relation mathbb D 11 3 xi . Thus, we explicitly quantify the effect of the multifractal nature of turbulence upon low Da premixed combustion.


Reduction of SISO H infinity Output Feedback Control Problem. We consider the linear matrix inequality (LMI) problem of H infty output feedback control problem for a generalized plant whose control input, measured output, disturbance input, and controlled output are scalar. We provide an explicit form of the optimal value. This form is the unification of some results in the literature of H infty performance limitation analysis. To obtain the form of the optimal value, we focus on the non uniqueness of perpendicular matrices, which appear in the LMI problem. We use the null vectors of invariant zeros associated with the dynamical system for the expression of the perpendicular matrices. This expression enables us to reduce and simplify the LMI problem. Our approach uses some well known fundamental tools, e.g., the Schur complement, Lyapunov equation, Sylvester equation, and matrix completion. We use these techniques for the simplification of the LMI problem. Also, we investigate the structure of dual feasible solutions and reduce the size of the dual. This reduction is called a facial reduction in the literature of convex optimization.


Coding theory for noiseless channels realized by anonymous oblivious mobile robots. We propose an information transmission scheme by a swarm of anonymous oblivious mobile robots on a graph. The swarm of robots travel from a sender vertex to a receiver vertex to transmit a symbol generated at the sender. The codeword for a symbol is a pair of an initial configuration at the sender and a set of terminal configurations at the receiver. The set of such codewords forms a code. We analyze the performance of the proposed scheme in terms of its code size and transmission delay. We first demonstrate that a lower bound of the transmission delay depends on the size of the swarm, and the code size is upper bounded by an exponent of the size of the swarm. We then give two algorithms for a swarm of a fixed size. The first algorithm realizes a near optimal code size with a large transmission delay. The second algorithm realizes an optimal transmission delay with a smaller code size. We then consider information transmission by swarms of different sizes and present upper bounds of the expected swarm size by the two algorithms. We also present lower bounds by Shannon's lemma and noiseless coding theorem.


Turbulence and self similarity in highly aerated shear flows the stable hydraulic jump. Hydraulic jumps are oftentimes encountered in natural and human made environments. The transition from supercritical to subcritical flow involves large energy dissipation rates and substantial air entrainment, preventing the use of monophasic flow measurement instrumentation. This paper presents an experimental study of a stable hydraulic jump with a Froude number of 4.25, utilizing novel intrusive phase detection probe techniques and image based velocimetry from a side perspective. Turbulence estimations were obtained for the impinging region and the roller region of the jump including Reynolds stresses, turbulent integral scales and velocity fluctuations spectra. The velocity spectra had a 5 3 slope in the inertial subrange and flattened at larger frequencies. This is thought to be linked to an energy transfer from the inertial range to the frequencies associated with bubble scales. Overall, the collected data is of particular interest for high fidelity numerical model validation and the study represents an advancement in air water flow research.


Local Voting Games for Misbehavior Detection in VANETs in Presence of Uncertainty. Cooperation between neighboring vehicles is an effective solution to the problem of malicious node identification in vehicular ad hoc networks (VANETs). However, the outcome is subject to nodes' beliefs and reactions in the collaboration. In this paper, a plain game theoretic approach that captures the uncertainty of nodes about their monitoring systems, the type of their neighboring nodes, and the outcome of the cooperation is proposed. In particular, one stage of a local voting based scheme for identifying a target node is developed using a Bayesian game. In this context, incentives are offered in expected utilities of nodes in order to promote cooperation in the network. The proposed model is then analyzed to obtain equilibrium points, ensuring that no node can improve its utility by changing its strategy. Finally, the behavior of malicious and benign nodes is studied by extensive simulation results. Specifically, it is shown how the existing uncertainties and the designed incentives impact the strategies of the players and, consequently, the correct target node identification.


On the Partition Bound for Undirected Unicast Network Information Capacity. One of the important unsolved problems in information theory is the conjecture that network coding has no rate benefit over routing in undirected unicast networks. Three known bounds on the symmetric rate in undirected unicast information networks are the sparsest cut, the LP bound and the partition bound. In this paper, we present three results on the partition bound. We show that the decision version problem of computing the partition bound is NP complete. We give complete proofs of optimal routing schemes for two classes of networks that attain the partition bound. Recently, the conjecture was proved for a new class of networks and it was shown that all the network instances for which the conjecture is proved previously are elements of this class. We show the existence of a network for which the partition bound is tight, achievable by routing and is not an element of this new class of networks.


On the lack of interior regularity of the p Poisson problem with p 2 . In this note we are concerned with interior regularity properties of the p Poisson problem Delta p(u) f with p 2 . For all 0 lambda leq 1 we constuct right hand sides f of differentiability 1 lambda such that the (Besov ) smoothness of corresponding solutions u is essentially limited to 1 lambda (p 1) . The statements are of local nature and cover all integrability parameters. They particularly imply the optimality of a shift theorem due to Savar 'e J. Funct. Anal. 152 176 201, 1998 , as well as of some recent Besov regularity results of Dahlke et al. Nonlinear Anal. 130 298 329, 2016 . Keywords Nonlinear and adaptive approximation, Besov space, regularity of solutions, p Poisson problem.


The National Corpus of Contemporary Welsh Project Report Y Corpws Cenedlaethol Cymraeg Cyfoes Adroddiad y Prosiect. This report provides an overview of the CorCenCC project and the online corpus resource that was developed as a result of work on the project. The report lays out the theoretical underpinnings of the research, demonstrating how the project has built on and extended this theory. We also raise and discuss some of the key operational questions that arose during the course of the project, outlining the ways in which they were answered, the impact of these decisions on the resource that has been produced and the longer term contribution they will make to practices in corpus building. Finally, we discuss some of the applications and the utility of the work, outlining the impact that CorCenCC is set to have on a range of different individuals and user groups.


Measures with specified support and arbitrary Assouad dimensions. We show that if the upper Assouad dimension of the compact set E subseteq mathbb R is positive, then given any D dim A E there is a measure with support E and upper Assouad (or regularity) dimension D . Similarly, given any 0 leq d dim L E, there is a measure on E with lower Assouad dimension d .


Mean index for non periodic orbits in Hamiltonian systems. In this paper, we define mean index for non periodic orbits in Hamiltonian systems and study its properties. In general, the mean index is an interval in R which is uniformly continuous on the systems. We show that the index interval is a point for a quasi periodic orbit. The mean index can be considered as a generalization of rotation number which defined by Johnson and Moser in the study of almost periodic Schrodinger operators. Motivated by their works, we study the relation of Fredholm property of the linear operator and the mean index at the end of the paper.


Drive Net Convolutional Network for Driver Distraction Detection. To help prevent motor vehicle accidents, there has been significant interest in finding an automated method to recognize signs of driver distraction, such as talking to passengers, fixing hair and makeup, eating and drinking, and using a mobile phone. In this paper, we present an automated supervised learning method called Drive Net for driver distraction detection. Drive Net uses a combination of a convolutional neural network (CNN) and a random decision forest for classifying images of a driver. We compare the performance of our proposed Drive Net to two other popular machine learning approaches a recurrent neural network (RNN), and a multi layer perceptron (MLP). We test the methods on a publicly available database of images acquired under a controlled environment containing about 22425 images manually annotated by an expert. Results show that Drive Net achieves a detection accuracy of 95 , which is 2 more than the best results obtained on the same database using other methods


On generalized near group fusion categories. In this paper, we study the structure of a generalized near group fusion category and classified it when it is slightly degenerate.


On certain equations of arbitrary length over torsion free groups. Let G be a non trivial torsion free group and t be an unknown. In this paper we consider three equations (over G ) of arbitrary length and show that they have a solution (over G ) provided two relations among their coefficients hold. Such equations appear for all lengths greater than or equal to eight and the results presented in this article can substantially simplify their solution.


Fast and accurate reconstruction of HARDI using a 1D encoder decoder convolutional network. High angular resolution diffusion imaging (HARDI) demands a lager amount of data measurements compared to diffusion tensor imaging, restricting its use in practice. In this work, we explore a learning based approach to reconstruct HARDI from a smaller number of measurements in q space. The approach aims to directly learn the mapping relationship between the measured and HARDI signals from the collecting HARDI acquisitions of other subjects. Specifically, the mapping is represented as a 1D encoder decoder convolutional neural network under the guidance of the compressed sensing (CS) theory for HARDI reconstruction. The proposed network architecture mainly consists of two parts an encoder network produces the sparse coefficients and a decoder network yields a reconstruction result. Experiment results demonstrate we can robustly reconstruct HARDI signals with the accurate results and fast speed.


TRSM RS A Movie Recommender System Based on Users' Gender and New Weighted Similarity Measure. With the growing data on the Internet, recommender systems have been able to predict users' preferences and offer related movies. Collaborative filtering is one of the most popular algorithms in these systems. The main purpose of collaborative filtering is to find the users or the same items using the rating matrix. By increasing the number of users and items, this algorithm suffers from the scalability problem. On the other hand, due to the unavailability of a large number of user preferences for different items, there is a cold start problem for a new user or item that has a significant impact on system performance. The purpose of this paper is to design a movie recommender system named TRSM RS using users' demographic information (just users' gender) along with the new weighted similarity measure. By segmenting users based on their gender, the scalability problem is improved, and by considering the reliability of the users' similarity as the weight in the new similarity measure (Tanimoto Reliability Similarity Measure, TRSM), the effect of the cold start problem is undermined and the performance of the system is improved. Experiments were performed on the MovieLens dataset and the system was evaluated using mean absolute error (MAE), Accuracy, Precision, and Recall metrics. The results of the experiments indicate improved performance (accuracy and precision) and system error rate compared to other research methods of the researchers. The maximum improved MAE rate of the system for men and women is 5.5 and 13.8 , respectively.


Rigid chain in parallel kinematic positioning system. The article presents an analysis of the trends in the development of kinematic structures of modern machine building technological equipment. The prospects of using machines with parallel kinematics in processing, measuring and handling equipment, their advantages and disadvantages are demonstrated. It is shown that it is inexpedient to use ball screw drives in machines with parallel kinematics, performing tasks of low accuracy, but with displacements of more than 3000 mm. The rigid chain system of the Serapid firm and the possibility of its use in machines with parallel kinematics are considered. A schematic solution of a three coordinate manipulation robot based on parallel kinematics with drive mechanisms on rigid chains is proposed.


Multiple objective Reinforcement Learning for Inverse Design and Identification. The aim of the inverse chemical design is to develop new molecules with given optimized molecular properties or objectives. Recently, generative deep learning (DL) networks are considered as the state of the art in inverse chemical design and have achieved early success in generating molecular structures with desired properties in the pharmaceutical and material chemistry fields. However, satisfying a large number (larger than 10 objectives) of molecular objectives is a limitation of current generative models. To improve the model's ability to handle a large number of molecule design objectives, we developed a Reinforcement Learning (RL) based generative framework to optimize chemical molecule generation. Our use of Curriculum Learning (CL) to fine tune the pre trained generative network allowed the model to satisfy up to 21 objectives and increase the generative network's robustness. The experiments show that the proposed multiple objective RL based generative model can correctly identify unknown molecules with an 83 to 100 percent success rate, compared to the baseline approach of 0 percent. Additionally, this proposed generative model is not limited to just chemistry research challenges we anticipate that problems that utilize RL with multiple objectives will benefit from this framework.


A Survey on Compressive Sensing Classical Results and Recent Advancements. Recovering sparse signals from linear measurements has demonstrated outstanding utility in a vast variety of real world applications. Compressive sensing is the topic that studies the associated raised questions for the possibility of a successful recovery. This topic is well nourished and numerous results are available in the literature. However, their dispersity makes it challenging and time consuming for readers and practitioners to quickly grasp its main ideas and classical algorithms, and further touch upon the recent advancements in this surging field. Besides, the sparsity notion has already demonstrated its effectiveness in many contemporary fields. Thus, these results are useful and inspiring for further investigation of related questions in these emerging fields from new perspectives. In this survey, we gather and overview vital classical tools and algorithms in compressive sensing and describe significant recent advancements. We conclude this survey by a numerical comparison of the performance of described approaches on an interesting application.


Robust Alignment for Panoramic Stitching via an Exact Rank Constraint. We study the problem of image alignment for panoramic stitching. Unlike most existing approaches that are feature based, our algorithm works on pixels directly, and accounts for errors across the whole images globally. Technically, we formulate the alignment problem as rank 1 and sparse matrix decomposition over transformed images, and develop an efficient algorithm for solving this challenging non convex optimization problem. The algorithm reduces to solving a sequence of subproblems, where we analytically establish exact recovery conditions, convergence and optimality, together with convergence rate and complexity. We generalize it to simultaneously align multiple images and recover multiple homographies, extending its application scope towards vast majority of practical scenarios. Experimental results demonstrate that the proposed algorithm is capable of more accurately aligning the images and generating higher quality stitched images than state of the art methods.


Turn Signal Prediction A Federated Learning Case Study. Driving etiquette takes a different flavor for each locality as drivers not only comply with rules laws but also abide by local unspoken convention. When to have the turn signal (indicator) on off is one such etiquette which does not have a definitive right or wrong answer. Learning this behavior from the abundance of data generated from various sensor modalities integrated in the vehicle is a suitable candidate for deep learning. But what makes it a prime candidate for Federated Learning are privacy concerns and bandwidth limitations for any data aggregation. This paper presents a long short term memory (LSTM) based Turn Signal Prediction (on or off) model using vehicle control area network (CAN) signal data. The model is trained using two approaches, one by centrally aggregating the data and the other in a federated manner. Centrally trained models and federated models are compared under similar hyperparameter settings. This research demonstrates the efficacy of federated learning, paving the way for in vehicle learning of driving etiquette.


Kolmogorov flow Linear Stability and Energy Transfers in a minimal low dimensional model. In this paper, we derive a four mode model for the Kolmogorov flow by employing Galerkin truncation and Craya Herring basis for the decomposition of velocity field. After this, we perform a bifurcation analysis of the model. Though our low dimensional model has fewer modes than the past models, it captures the essential features of the primary bifurcation of the Kolmogorov flow. For example, it reproduces the critical Reynolds number for the supercritical pitchfork bifurcation and the flow structures of the past works. We also demonstrate energy transfers from intermediate scales to large scales. We perform direct numerical simulations of the Kolmogorov flow and show that our model predictions match with the numerical simulations very well.


Podle 's Spheres for the Braided Quantum operatorname SU (2) . Starting with the braided quantum group operatorname SU q(2) for a complex deformation parameter q we perform the construction of the quotient operatorname SU q(2) mathbb T which serves as a model of a quantum sphere. Then we follow the reasoning of Podle ' s who for real q classified quantum spaces with the action of operatorname SU q(2) with appropriate spectral properties. These properties can also be expressed in the context of the braided quantum operatorname SU q(2) (with complex q ) and we find that they lead to precisely the same family of quantum spaces as found by Podle ' s for the real parameter q .


Partial Coactions of Weak Hopf Algebras on Coalgebras. It will be seen that if H is a weak Hopf algebra in the definition of coaction of weak bialgebras on coalgebras cite Wang , then a definition property is suppressed giving rise to the (global) coactions of weak Hopf algebras on coalgebras. The next step will be introduce the more general notion of partial coactions of weak Hopf algebras on coalgebras as well as a family of examples via a fixed element on the weak Hopf algebra, illustrating both definitions global and partial. Moreover, it will also be presented how to obtain a partial comodule coalgebra from a global one via projections, giving another way to find examples of partial coactions of weak Hopf algebras on coalgebras. In addition, the weak smash coproduct cite Wang will be studied and it will be seen under what conditions it is possible to generate a weak Hopf algebra structure from the coproduct and the counit defined on it. Finally, a dual relationship between the structures of partial action and partial coaction of a weak Hopf algebra on a coalgebra will be established.


Needles in Haystacks On Classifying Tiny Objects in Large Images. In some important computer vision domains, such as medical or hyperspectral imaging, we care about the classification of tiny objects in large images. However, most Convolutional Neural Networks (CNNs) for image classification were developed using biased datasets that contain large objects, in mostly central image positions. To assess whether classical CNN architectures work well for tiny object classification we build a comprehensive testbed containing two datasets one derived from MNIST digits and one from histopathology images. This testbed allows controlled experiments to stress test CNN architectures with a broad spectrum of signal to noise ratios. Our observations indicate that (1) There exists a limit to signal to noise below which CNNs fail to generalize and that this limit is affected by dataset size more data leading to better performances however, the amount of training data required for the model to generalize scales rapidly with the inverse of the object to image ratio (2) in general, higher capacity models exhibit better generalization (3) when knowing the approximate object sizes, adapting receptive field is beneficial and (4) for very small signal to noise ratio the choice of global pooling operation affects optimization, whereas for relatively large signal to noise values, all tested global pooling operations exhibit similar performance.


Attacking Recommender Systems with Augmented User Profiles. Recommendation Systems (RS) have become an essential part of many online services. Due to its pivotal role in guiding customers towards purchasing, there is a natural motivation for unscrupulous parties to spoof RS for profits. In this paper, we study the shilling attack a subsistent and profitable attack where an adversarial party injects a number of user profiles to promote or demote a target item. Conventional shilling attack models are based on simple heuristics that can be easily detected, or directly adopt adversarial attack methods without a special design for RS. Moreover, the study on the attack impact on deep learning based RS is missing in the literature, making the effects of shilling attack against real RS doubtful. We present a novel Augmented Shilling Attack framework (AUSH) and implement it with the idea of Generative Adversarial Network. AUSH is capable of tailoring attacks against RS according to budget and complex attack goals, such as targeting a specific user group. We experimentally show that the attack impact of AUSH is noticeable on a wide range of RS including both classic and modern deep learning based RS, while it is virtually undetectable by the state of the art attack detection model.


Optimal intervention strategies of staged progression HIV infections through an age structured model with probabilities of ART drop out. In this paper, we construct a model to describe the transmission of HIV in a homogeneous host population. By considering the specific mechanism of HIV, we derive a model structured in three successive stages (i) primary infection, (ii) long phase of latency without symptoms and (iii) AIDS. Each HIV stage is stratified by the duration for which individuals have been in the stage, leading to a continuous age structure model. In the first part of the paper, we provide a global analysis of the model depending upon the basic reproduction number R 0. When R 0 le 1, then the disease free equilibrium is globally asymptotically stable and the infection is cleared in the host population. On the contrary, if R 0 1, we prove the epidemic's persistence with the asymptotic stability of the endemic equilibrium. By performing the sensitivity analysis, we then determine the impact 1 of control related parameters of the outbreak severity. For the second part, the initial model is extended with intervention methods. By taking into account ART interventions and the probability of treatment drop out, we discuss optimal interventions methods which minimize the number of AIDS cases.


On K "ahler Einstein Fano polygons. We show that every symmetric toric Fano varieties are K "ahler Einstein extending the result of Batyrev and Selivanova. We also show that every K "ahler Einstein Fano polygon does not admit a reflection by classifying all Fano polygons admitting a reflection as its only nontrivial automorphism.


Propensity rules and interference effects in laser assisted photoionization of helium and neon. We investigate the angle resolved photoelectron spectra from laser assisted photoionization for helium and neon atoms using an textit ab initio method based on time dependent surface flux and configuration interaction singles. We find that the shape of the distributions can be interpreted using a propensity rule, an intrinsic difference in the absorption and emission processes, as well as interference effects between multiple paths to the final angular momentum state. In neon we find that the difference between absorption and emission is hidden in the first sideband due to the multiple competing m channels. Together, this aids the understanding of the formation of minima in the angular distributions, which can be transferred to an improved understanding on photoionization time delays in attosecond science.


Tight and cheap conic relaxation for the AC optimal power flow problem. The classical alternating current optimal power flow problem is highly nonconvex and generally hard to solve. Convex relaxations, in particular semidefinite, second order cone, convex quadratic, and linear relaxations, have recently attracted significant interest. The semidefinite relaxation is the strongest among them and is exact for many cases. However, the computational efficiency for solving large scale semidefinite optimization is lower than for second order cone optimization. We propose a conic relaxation obtained by combining semidefinite optimization with the reformulation linearization technique, commonly known as RLT. The proposed relaxation is stronger than the second order cone relaxation and nearly as tight as the standard semidefinite relaxation. Computational experiments using standard test cases with up to 6515 buses show that the time to solve the new conic relaxation is up to one order of magnitude lower than for the chordal relaxation, a semidefinite relaxation technique that exploits the sparsity of power networks.


Online route choice modeling for Mobility as a Service networks with non separable, congestible link capacity effects. With the prevalence of MaaS systems, route choice models need to consider characteristics unique to them. MaaS systems tend to involve service systems with fleets of vehicles as a result, the available service capacity depends on the choices of other travelers in different parts of the system. We model this with a new concept of "congestible capacity" that is, link capacities are a function of flow instead of link costs. This dependency is also non separable the capacity in one link can depend on flows from multiple links. An offline online estimation method is introduced to capture the structural effects that flows have on capacities and the resulting impacts on route choice utilities. The method is first applied to obtain unique congestible capacity shadow prices in a multimodal network to verify the capability to capture congestion effects on capacities. The capacities are shown to vary and impact the utility of a route. The method is validated using real system data from Citi Bike in New York City. The results show that the model can fit to the data quite well and performs better than a baseline modeling approach that ignores congestible capacity effects. By relating the route choice to congestible capacities using a random utility model, modelers can monitor and quantify the impacts to traveler consumer surplus in real time. Applications of the model and online method include monitoring capacity effects on consumer surplus, using the model to direct incentives programs for rebalancing and other revenue management strategies, and to guide resource allocation to mitigate consumer surplus impacts due to disruptions from incidents.


Advancing NLP with Cognitive Language Processing Signals. When we read, our brain processes language and generates cognitive processing data such as gaze patterns and brain activity. These signals can be recorded while reading. Cognitive language processing data such as eye tracking features have shown improvements on single NLP tasks. We analyze whether using such human features can show consistent improvement across tasks and data sources. We present an extensive investigation of the benefits and limitations of using cognitive processing data for NLP. Specifically, we use gaze and EEG features to augment models of named entity recognition, relation classification, and sentiment analysis. These methods significantly outperform the baselines and show the potential and current limitations of employing human language processing data for NLP.


Multiscale modeling meets machine learning What can we learn?. Machine learning is increasingly recognized as a promising technology in the biological, biomedical, and behavioral sciences. There can be no argument that this technique is incredibly successful in image recognition with immediate applications in diagnostics including electrophysiology, radiology, or pathology, where we have access to massive amounts of annotated data. However, machine learning often performs poorly in prognosis, especially when dealing with sparse data. This is a field where classical physics based simulation seems to remain irreplaceable. In this review, we identify areas in the biomedical sciences where machine learning and multiscale modeling can mutually benefit from one another Machine learning can integrate physics based knowledge in the form of governing equations, boundary conditions, or constraints to manage ill posted problems and robustly handle sparse and noisy data multiscale modeling can integrate machine learning to create surrogate models, identify system dynamics and parameters, analyze sensitivities, and quantify uncertainty to bridge the scales and understand the emergence of function. With a view towards applications in the life sciences, we discuss the state of the art of combining machine learning and multiscale modeling, identify applications and opportunities, raise open questions, and address potential challenges and limitations. We anticipate that it will stimulate discussion within the community of computational mechanics and reach out to other disciplines including mathematics, statistics, computer science, artificial intelligence, biomedicine, systems biology, and precision medicine to join forces towards creating robust and efficient models for biological systems.


Flag transitive block designs with prime replication number and almost simple groups. In this article, we study 2 designs with prime replication number admitting a flag transitive automorphism group. The automorphism groups of these designs are point primitive of almost simple or affine type. We determine 2 designs with prime replication number admitting an almost simple automorphism group.


Certified Monotonic Neural Networks. Learning monotonic models with respect to a subset of the inputs is a desirable feature to effectively address the fairness, interpretability, and generalization issues in practice. Existing methods for learning monotonic neural networks either require specifically designed model structures to ensure monotonicity, which can be too restrictive complicated, or enforce monotonicity by adjusting the learning process, which cannot provably guarantee the learned model is monotonic on selected features. In this work, we propose to certify the monotonicity of the general piece wise linear neural networks by solving a mixed integer linear programming problem.This provides a new general approach for learning monotonic neural networks with arbitrary model structures. Our method allows us to train neural networks with heuristic monotonicity regularizations, and we can gradually increase the regularization magnitude until the learned network is certified monotonic. Compared to prior works, our approach does not require human designed constraints on the weight space and also yields more accurate approximation. Empirical studies on various datasets demonstrate the efficiency of our approach over the state of the art methods, such as Deep Lattice Networks.


Semi analytical calculation of the singular and hypersingular integrals for discrete Helmholtz operators in 2D BEM. Approximate solutions to elliptic partial differential equations with known kernel can be obtained via the boundary element method (BEM) by discretizing the corresponding boundary integral operators and solving the resulting linear system of algebraic equations. Due to the presence of singular and hypersingular integrals, the evaluation of the operator matrix entries requires the use of regularization techniques. In this work, the singular and hypersingular integrals associated with first order Galerkin discrete boundary operators for the two dimensional Helmholtz equation are reduced to quasi closed form expressions. The obtained formulas may prove useful for the implementation of the BEM in two dimensional electromagnetic, acoustic and quantum mechanical problems.


Uncertainty quantification with risk measures in production planning. This paper is concerned with a simulation study for a stochastic production network model, where the capacities of machines may change randomly. We introduce performance measures motivated by risk measures from finance leading to a simulation based optimization framework for the production planning. The same measures are used to investigate the scenario when capacities are related to workers that are randomly not available. This corresponds to the study of a workforce planning problem in an uncertain environment.


Efficient Scene Compression for Visual based Localization. Estimating the pose of a camera with respect to a 3D reconstruction or scene representation is a crucial step for many mixed reality and robotics applications. Given the vast amount of available data nowadays, many applications constrain storage and or bandwidth to work efficiently. To satisfy these constraints, many applications compress a scene representation by reducing its number of 3D points. While state of the art methods use K cover based algorithms to compress a scene, they are slow and hard to tune. To enhance speed and facilitate parameter tuning, this work introduces a novel approach that compresses a scene representation by means of a constrained quadratic program (QP). Because this QP resembles a one class support vector machine, we derive a variant of the sequential minimal optimization to solve it. Our approach uses the points corresponding to the support vectors as the subset of points to represent a scene. We also present an efficient initialization method that allows our method to converge quickly. Our experiments on publicly available datasets show that our approach compresses a scene representation quickly while delivering accurate pose estimates.


Single Headed Attention RNN Stop Thinking With Your Head. The leading approaches in language modeling are all obsessed with TV shows of my youth namely Transformers and Sesame Street. Transformers this, Transformers that, and over here a bonfire worth of GPU TPU neuromorphic wafer scale silicon. We opt for the lazy path of old and proven techniques with a fancy crypto inspired acronym the Single Headed Attention RNN (SHA RNN). The author's lone goal is to show that the entire field might have evolved a different direction if we had instead been obsessed with a slightly different acronym and slightly different result. We take a previously strong language model based only on boring LSTMs and get it to within a stone's throw of a stone's throw of state of the art byte level language model results on enwik8. This work has undergone no intensive hyperparameter optimization and lived entirely on a commodity desktop machine that made the author's small studio apartment far too warm in the midst of a San Franciscan summer. The final results are achievable in plus or minus 24 hours on a single GPU as the author is impatient. The attention mechanism is also readily extended to large contexts with minimal computation. Take that Sesame Street.


Effect of different geometries of self oscillating trailing edge flaplets on aerofoil self noise. This paper presents an acoustic study of a standard NACA 0012 aerofoil with additional self oscillating passive flaplets attached to the trailing edge. The tests with varying geometries of the flaplets were conducted in the anechoic wind tunnel at Brandenburg University of Technology, at chord based Reynolds numbers, Re c 100,000 900,000 at three geometric angles of attack alpha g 0 circ, 10 circ and 15 circ . It was observed that all flaplet configurations reduce tonal noise and that the key geometric parameter to reduce this noise component is the width of the flaplets. The narrowest configuration tested almost completely removed the tonal noise, leading to an average overall sound pressure level reduction of up to 9 dB across the entire Re c range at alpha g 10 circ . It was also observed that, in the low frequency regime, a further noise reduction can be achieved by tuning the natural frequency of the oscillating flaplets. The thereby affected frequency range in the noise spectrum moves to higher frequencies when the natural frequency of the flaplets is increased and vice versa. Hence we show a novel way to target specific frequencies in passive aerofoil self noise cancellation.


Applications of Deep Neural Networks. Deep learning is a group of exciting new technologies for neural networks. Through a combination of advanced training techniques and neural network architectural components, it is now possible to create neural networks that can handle tabular data, images, text, and audio as both input and output. Deep learning allows a neural network to learn hierarchies of information in a way that is like the function of the human brain. This course will introduce the student to classic neural network structures, Convolution Neural Networks (CNN), Long Short Term Memory (LSTM), Gated Recurrent Neural Networks (GRU), General Adversarial Networks (GAN), and reinforcement learning. Application of these architectures to computer vision, time series, security, natural language processing (NLP), and data generation will be covered. High Performance Computing (HPC) aspects will demonstrate how deep learning can be leveraged both on graphical processing units (GPUs), as well as grids. Focus is primarily upon the application of deep learning to problems, with some introduction to mathematical foundations. Readers will use the Python programming language to implement deep learning using Google TensorFlow and Keras. It is not necessary to know Python prior to this book however, familiarity with at least one programming language is assumed.


Equilibrium Statistical Mechanics of Barotropic Quasi Geostrophic Equations. We consider equations describing a barotropic inviscid flow in a channel with topography effects and beta plane approximation of Coriolis force, in which a large scale mean flow interacts with smaller scales. Gibbsian measures associated to the first integrals energy and enstrophy are Gaussian measures supported by distributional spaces. We define a suitable weak formulation for barotropic equations, and prove existence of a stationary solution preserving Gibbsian measures, thus providing a rigorous infinite dimensional framework for the equilibrium statistical mechanics of the model.