On the cohomology of pro fusion systems. We prove the Cartan Eilenberg stable elements theorem and construct a Lyndon Hochschild Serre type spectral sequence for pro fusion systems. As an application, we determine the continuous mod p cohomology ring of text GL 2( mathbb Z p) for any odd prime p .


On the structure of divergence free measures on mathbb R 2 . We consider the structure of divergence free vector measures on the plane. We show that such measures can be decomposed into measures induced by closed simple curves. More generally, we show that if the divergence of a planar vector valued measure is a signed measure, then the vector valued measure can be decomposed into measures induced by simple curves (not necessarily closed). As an application we generalize certain rigidity properties of divergence free vector fields to vector valued measures. Namely, we show that if a locally finite vector valued measure has zero divergence, vanishes in the lower half space and the normal component of the unit tangent vector of the measure is bounded from below (in the upper half plane), then the measure is identically zero.


Multi Principal Assistance Games. Assistance games (also known as cooperative inverse reinforcement learning games) have been proposed as a model for beneficial AI, wherein a robotic agent must act on behalf of a human principal but is initially uncertain about the humans payoff function. This paper studies multi principal assistance games, which cover the more general case in which the robot acts on behalf of N humans who may have widely differing payoffs. Impossibility theorems in social choice theory and voting theory can be applied to such games, suggesting that strategic behavior by the human principals may complicate the robots task in learning their payoffs. We analyze in particular a bandit apprentice game in which the humans act first to demonstrate their individual preferences for the arms and then the robot acts to maximize the sum of human payoffs. We explore the extent to which the cost of choosing suboptimal arms reduces the incentive to mislead, a form of natural mechanism design. In this context we propose a social choice method that uses shared control of a system to combine preference inference with social welfare optimization.


Multilevel Ensemble Kalman Filtering based on a sample average of independent EnKF estimators. We introduce a new multilevel ensemble Kalman filter method (MLEnKF) which consists of a hierarchy of independent samples of ensemble Kalman filters (EnKF). This new MLEnKF method is fundamentally different from the preexisting method introduced by Hoel, Law and Tempone in 2016, and it is suitable for extensions towards multi index Monte Carlo based filtering methods. Robust theoretical analysis and supporting numerical examples show that under appropriate regularity assumptions, the MLEnKF method has better complexity than plain vanilla EnKF in the large ensemble and fine resolution limits, for weak approximations of quantities of interest. The method is developed for discrete time filtering problems with finite dimensional state space and linear observations polluted by additive Gaussian noise.


Regularity of solutions to elliptic equations with Grushin's operator. In this paper, we consider the regularity of solutions to elliptic equation with Grushin's operator. By using the Feynman Kac formula, we first get the expression of heat kernel, and then by using the properties of heat kernel, the optimal regularity of solutions will be obtained. The novelty of this paper is that the Grushin's operator is a degenerate operator.


SRv6 PM Performance Monitoring of SRv6 Networks with a Cloud Native Architecture. Segment Routing over IPv6 (SRv6 in short) is a networking solution for IP backbones and datacenters. The SRv6 standardization, implementation and research are actively progressing and SRv6 has already been adopted in a number of large scale network deployments. Effective Performance Monitoring (PM) solutions for SRv6 networks are strongly needed. The design, implementation and deployment of such PM solutions span the different planes of a networking architecture Performance Measurements data (packet loss and delay) needs to be measured (in the Data Plane), the monitored nodes needs to be controlled (in the Control Plane), the measured data needs to be collected (in the Control Management Planes), then the Data must be processed and stored, using Big Data processing solutions. We focus on Loss Monitoring, by considering a solution capable of tracking single packet loss events in near real time (e.g. with a delay in the order of 20 seconds). We describe SRv6 PM, a solution for Performance Monitoring of SRv6 networks. SRv6 PM features a cloud native architecture for the SDN based control of Linux routers and for ingestion, processing, storage and visualization of PM data. In the Data Plane, SRv6 PM includes efficient building blocks for packet loss evaluation (e.g. the packet counting components) in a Linux router. SRv6 PM is released as open source. Not only we provide a reproducible environment for PM experiments, but we also offer a re usable and extensible cloud native platform that can be automatically deployed in different environments, from a single host to multiple servers on private public clouds.


Approximate Vertex Enumeration. The problem to compute a V polytope which is close to a given H polytope is addressed. Both polytopes are not required to be combinatorially equivalent. This raises the question whether this problem, called approximate vertex enumeration, is easier to realize than exact vertex enumeration. An approximate variant of Motzkin's double description method (DDM) is developed. Under certain strong conditions we are able to control the approximation error and to prove correctness of the algorithm for arbitrary polytopes. For dimension 2 and 3 these conditions can be omitted, which allows an easy implementation of the method. We provide an algorithm for the approximate vertex enumeration problem which is correct in dimension 2 and 3 even if imprecise arithmetic is used. It remains open if the latter results can be extended to a dimension larger than 3.


Determinant Identities for Toeplitz Hessenberg Matrices with Tribonacci Number Entries. In this paper, we evaluate determinants of some families of Toeplitz Hessenberg matrices having tribonacci number entries. These determinant formulas may also be expressed equivalently as identities that involve sums of products of multinomial coefficients and tribonacci numbers. In particular, we establish a connection between the tribonacci and the Fibonacci and Padovan sequences via Toeplitz Hessenberg determinants. We then obtain, by combinatorial arguments, extensions of our determinant formulas in terms of generalized tribonacci sequences satisfying an r th order recurrence of a more general form with the appropriate initial conditions, where r 2 is arbitrary.


Point configurations, phylogenetic trees, and dissimilarity vectors. In 2004 Pachter and Speyer introduced the higher dissimilarity maps for phylogenetic trees and asked two important questions about their relation to the tropical Grassmannian. Multiple authors, using independent methods, answered affirmatively the first of these questions, showing that dissimilarity vectors lie on the tropical Grassmannian, but the second question, whether the set of dissimilarity vectors forms a tropical subvariety, remained opened. We resolve this question by showing that the tropical balancing condition fails. However, by replacing the definition of the dissimilarity map with a weighted variant, we show that weighted dissimilarity vectors form a tropical subvariety of the tropical Grassmannian in exactly the way that Pachter Speyer envisioned. Moreover, we provide a geometric interpretation in terms of configurations of points on rational normal curves and construct a finite tropical basis that yields an explicit characterization of weighted dissimilarity vectors.


Assessing the reliability and validity ranges of magnetic characterization methods. Evaluating the interaction fields of magnetic nanowires (MNWs) is of utmost importance for advancing their functionality in diverse applications including spintronic devices and nanomedicine. In recent years, several quantitative methods have been proposed and become inevitable tools to quantify the interaction fields and decouple their effects from the coercivity. However, the uncertainty of the attained results arose countless open questions leading to discrepancies among the literature. Here, we employ our novel experimental method, named the projection method, to resolve these discrepancies. Using a comparative analysis of the four most commonly used methods (hysteresis loops method, remanence curves method, first order reversal curve method, and projection method), we unambiguously explicate the reliability and validity limits of these methods to elucidate the origin of the discrepancies. We show that the remanence curves method must solely be used for quantifying the interaction fields if they are considerably weaker compared to the coercivity. Furthermore, we show that both the remanence curves method and first order reversal curve method fail to fully decouple the interaction fields effects from the coercivity, similar to the hysteresis loops method.


Radial operators on polyanalytic Bargmann Segal Fock spaces. The paper considers bounded linear radial operators on the polyanalytic Fock spaces mathcal F n and on the true polyanalytic Fock spaces mathcal F (n) . The orthonormal basis of normalized complex Hermite polynomials plays a crucial role in this study it can be obtained by the orthogonalization of monomials in z and overline z . First, using this basis, we decompose the von Neumann algebra of radial operators, acting in mathcal F n , into the direct sum of some matrix algebras, i.e. radial operators are represented as matrix sequences. Secondly, we prove that the radial operators, acting in mathcal F (n) , are diagonal with respect to the basis of the complex Hermite polynomials belonging to mathcal F (n) . We also provide direct proofs of the fundamental properties of mathcal F n and an explicit description of the C algebra generated by Toeplitz operators in mathcal F (n) , whose generating symbols are radial, bounded, and have finite limits at infinity.


A Multimodal Memes Classification A Survey and Open Research Issues. Memes are graphics and text overlapped so that together they present concepts that become dubious if one of them is absent. It is spread mostly on social media platforms, in the form of jokes, sarcasm, motivating, etc. After the success of BERT in Natural Language Processing (NLP), researchers inclined to Visual Linguistic (VL) multimodal problems like memes classification, image captioning, Visual Question Answering (VQA), and many more. Unfortunately, many memes get uploaded each day on social media platforms that need automatic censoring to curb misinformation and hate. Recently, this issue has attracted the attention of researchers and practitioners. State of the art methods that performed significantly on other VL dataset, tends to fail on memes classification. In this context, this work aims to conduct a comprehensive study on memes classification, generally on the VL multimodal problems and cutting edge solutions. We propose a generalized framework for VL problems. We cover the early and next generation works on VL problems. Finally, we identify and articulate several open research issues and challenges. This is the first study that presents the generalized view of the advanced classification techniques concerning memes classification to the best of our knowledge. We believe this study presents a clear road map for the Machine Learning (ML) research community to implement and enhance memes classification techniques.


Time changed fractional Ornstein Uhlenbeck process. We define a time changed fractional Ornstein Uhlenbeck process by composing a fractional Ornstein Uhlenbeck process with the inverse of a subordinator. Properties of the moments of such process are investigated and the existence of the density is shown. We also provide a generalized Fokker Planck equation for the density of the process.


Computational Analysis of Subscapularis Tears and Pectoralis Major Transfers on Muscular Activity. Muscle transfers are commonly performed to restore joint function after muscle tears. However, there are not many biomechanical studies of muscle transfers, with the available ones often limited to passive movements in anatomical planes. Using data from three activities of daily living (ADL) and an available computational musculoskeletal model of the shoulder, we analyse the impact of a subscapularis tear and its treatment by a pectoralis major (PMA) transfer of the clavicular, sternal, or both segments. The shoulder model is validated against experimental data the model kinematics with motion capture, muscle activity with EMG measurements, and model joint reaction force with in vivo data from an instrumented prosthesis. Our results indicate that subscapularis tear requires a compensatory activation of the supraspinatus and is accompanied by a reduced co contraction of the infraspinatus, both of which can be partially recovered after PMA transfer. Furthermore, although the PMA acts asynchronously to the subscapularis before the transfer, its patterns of activation change significantly after the transfer. Overall, this study demonstrates that muscle transfers have a significant impact on the neuromuscular system of the joint during active motion, beyond mere kinematics. Capability of a transferred muscle segment to activate similarly to intact subscapularis is found to be dependent on a considered motion. Differences in the activation patterns between intact subscapularis and segments of PMA may explain the difficulty of some patients in adapting their psycho motor patterns during the rehabilitation period. Thereby, rehabilitation programs could benefit from targeted training on specific motion patterns and biofeedback programs. Finally, the condition of the anterior deltoid should be considered to avoid adding limitations to the joint function before a transfer of the clavicular part.


Yang Mills Connections on Conformally Compact Manifolds. We study the moduli space of Yang Mills connections on bundles over a conformally compact manifold overline M . We prove that, for every Yang Mills connection A that satisfies an appropriate nondegeneracy condition, and for every small deformation gamma of A partial overline M , there is a Yang Mills connection in the interior that extends A partial overline M gamma . As a corollary, we confirm an expectation of Witten mentioned in his foundational paper about holography arXiv hep th 9802150 .


Stochastic state estimation via incremental iterative sparse polynomial chaos based Bayesian Gauss Newton Markov Kalman filter. In this paper is proposed a novel incremental iterative Gauss Newton Markov Kalman filter method for state estimation of dynamic models given noisy measurements. The mathematical formulation of the proposed filter is based on the construction of an optimal nonlinear map between the observable and parameter (state) spaces via a convergent sequence of linear maps obtained by successive linearisation of the observation operator in a Gauss Newton like form. To allow automatic linearisation of the dynamical system in a sparse form, the smoother is designed in a hierarchical setting such that the forward map and its linearised counterpart are estimated in a Bayesian manner given a forecasted data set. To improve the algorithm convergence, the smoother is further reformulated in its incremental form in which the current and intermediate states are assimilated before the initial one, and the corresponding posterior estimates are taken as pseudo measurements. As the latter ones are random variables, and not deterministic any more, the novel stochastic iterative filter is designed to take this into account. To correct the bias in the posterior outcome, the procedure is built in a predictor corrector form in which the predictor phase is used to assimilate noisy measurement data, whereas the corrector phase is constructed to correct the mean bias. The resulting filter is further discretised via time adapting sparse polynomial chaos expansions obtained either via modified Gram Schmidt orthogonalisation or by a carefully chosen nonlinear mapping, both of which are estimated in a Bayesian manner by promoting the sparsity of the outcomes. The time adaptive basis with non Gaussian arguments is further mapped to the polynomial chaos one by a suitably chosen isoprobabilistic transformation. Finally, the proposed method is tested on a chaotic nonlinear Lorenz 1984 system.


Boundary layer effects on electromagnetic and acoustic extraordinary transmission through narrow slits. We study the problem of resonant extraordinary transmission of electromagnetic and acoustic waves through subwavelength slits in an infinite plate, whose thickness is close to a half multiple of the wavelength. We build on the matched asymptotics analysis of Holley Schnitzer (Wave Motion, 91 102381, 2019), who considered a single slit configuration assuming an idealised formulation where dissipation is neglected and the electromagnetic and acoustic problems are analogous. We here extend that theory to include thin dissipative boundary layers associated with finite conductivity of the plate in the electromagnetic problem and viscous and thermal effects in the acoustic problem, considering both single slit and slit array configurations. By considering a distinguished boundary layer scaling where dissipative and diffractive effects are comparable, we develop accurate analytical approximations that are generally valid near resonance the electromagnetic acoustic analogy is preserved up to a single physics dependent parameter that is provided explicitly for both scenarios. The theory is shown to be in excellent agreement with GHz microwave and kHz acoustic experiments in the literature.


Global well posedness of the 3D Cahn Hilliard equations. The Cauchy problem of the Cahn Hilliard equations is studied in three dimensional space. Firstly, we construct its approximate fourth order parabolic equation, obtaining the existence of solutions by the Aubin Lions's compactness lemma. Furthermore, we prove the uniqueness of the solution. Then, the global well posedness is demonstrated by using energy estimates. At last, we consider a special case and get a better result about it.


Automatic Conjecturing and Proving of Exact Values of Some Infinite Families of Infinite Continued Fractions. Inspired by the recent pioneering work, dubbed "The Ramanujan Machine" by Raayoni et al. (arXiv 1907.00205), we (automatically) rigorously prove some of their conjectures regarding the exact values of some specific infinite continued fractions, and generalize them to evaluate infinite families (naturally generalizing theirs). Our work complements their beautiful approach, since we use symbolic rather than numeric computations, and we instruct the computer to not only discover such evaluations, but at the same time prove them rigorously.


On Bloch Kato Selmer groups and Iwasawa theory of p adic Galois representations. A result due to R. Greenberg gives a relation between the cardinality of Selmer groups of elliptic curves over number fields and the characteristic power series of Pontryagin duals of Selmer groups over cyclotomic mathbb Z p extensions at good ordinary primes p . We extend Greenberg's result to more general p adic Galois representations, including a large subclass of those attached to p ordinary modular forms of level Gamma 0(N) with p nmid N .


Concrete Barriers to Quantifier Elimination in Finite Dimensional C algebras. Work of Eagle, Farah, Goldbring, Kirchberg, and Vignati shows that the only separable C algebras that admit quantifier elimination in continuous logic are mathbb C , mathbb C 2, M 2( mathbb C ), and the continuous functions on the Cantor set. We show that, among finite dimensional C algebras, quantifier elimination does hold if the language is expanded to include two new predicate symbols One for minimal projections, and one for pairs of unitarily conjugate projections. Both of these predicates are definable, but not quantifier free definable, in the usual language of C algebras. We also show that adding just the predicate for minimal projections is sufficient in the case of full matrix algebras, but that in general both new predicate symbols are required.


Screenplay Quality Assessment Can We Predict Who Gets Nominated?. Deciding which scripts to turn into movies is a costly and time consuming process for filmmakers. Thus, building a tool to aid script selection, an initial phase in movie production, can be very beneficial. Toward that goal, in this work, we present a method to evaluate the quality of a screenplay based on linguistic cues. We address this in a two fold approach (1) we define the task as predicting nominations of scripts at major film awards with the hypothesis that the peer recognized scripts should have a greater chance to succeed. (2) based on industry opinions and narratology, we extract and integrate domain specific features into common classification techniques. We face two challenges (1) scripts are much longer than other document datasets (2) nominated scripts are limited and thus difficult to collect. However, with narratology inspired modeling and domain features, our approach offers clear improvements over strong baselines. Our work provides a new approach for future work in screenplay analysis.


Bad( mathbf w ) is hyperplane absolute winning. In 1998 Kleinbock conjectured that any set of weighted badly approximable d times n real matrices is a winning subset in the sense of Schmidt's game. In this paper we prove this conjecture in full for vectors in mathbf R d in arbitrary dimensions by showing that the corresponding set of weighted badly approximable vectors is hyperplane absolute winning. The proof uses the Cantor potential game played on the support of Ahlfors regular absolutely decaying measures and the quantitative non divergence estimate for a class of fractal measures due to Kleinbock, Lindenstrauss and Weiss. To establish the existence of a relevant winning strategy in the Cantor potential game we introduce a new approach using two independent diagonal actions on the space of lattices.


A First Step Towards Understanding Real world Attacks on IoT Devices. With the rapid growth of Internet of Things (IoT) devices, it is imperative to proactively understand the real world cybersecurity threats posed to them. This paper describes our initial efforts towards building a honeypot ecosystem as a means to gathering and analyzing real attack data against IoT devices. A primary condition for a honeypot to yield useful insights is to let attackers believe they are real systems used by humans and organizations. IoT devices pose unique challenges in this respect, due to the large variety of device types and the physical connectedness nature. We thus create a multiphased approach in building a honeypot ecosystem, where researchers can gradually increase a low interaction honeypot's sophistication in emulating an IoT device by observing real world attackers' behaviors. We deployed honeypots both on premise and in the cloud, with associated analysis and vetting infrastructures to ensure these honeypots cannot be easily identified as such and appear to be real systems. In doing so we were able to attract increasingly sophisticated attack data. We present the design of this honeypot ecosystem and our observation on the attack data so far. Our data shows that real world attackers are explicitly going after IoT devices, and some captured activities seem to involve direct human interaction (as opposed to scripted automatic activities). We also build a low interaction honeypot for IoT cameras, called Honeycamera, that present to attackers seemingly real videos. This is our first step towards building a more comprehensive honeypot ecosystem that will allow researchers to gain concrete understanding of what attackers are going after on IoT devices, so as to more proactively protect them.


A blow up criterion for the strong solutions to the nonhomogeneous Navier Stokes Korteweg equations in dimension three. This paper proves a Serrin's type blow up criterion for the 3D density dependent Navier Stokes Korteweg equations with vacuum. It is shown that if the density and velocity field satisfy some Serrin's type condition, then the strong solutions to the density dependent Navier Stokes Korteweg equations can exist globally.


Make Skeleton based Action Recognition Model Smaller, Faster and Better. Although skeleton based action recognition has achieved great success in recent years, most of the existing methods may suffer from a large model size and slow execution speed. To alleviate this issue, we analyze skeleton sequence properties to propose a Double feature Double motion Network (DD Net) for skeleton based action recognition. By using a lightweight network structure (i.e., 0.15 million parameters), DD Net can reach a super fast speed, as 3,500 FPS on one GPU, or, 2,000 FPS on one CPU. By employing robust features, DD Net achieves the state of the art performance on our experimental datasets SHREC (i.e., hand actions) and JHMDB (i.e., body actions). Our code will be released with this paper later.


Modeling bike availability in a bike sharing system using machine learning. This paper models the availability of bikes at San Francisco Bay Area Bike Share stations using machine learning algorithms. Random Forest (RF) and Least Squares Boosting (LSBoost) were used as univariate regression algorithms, and Partial Least Squares Regression (PLSR) was applied as a multivariate regression algorithm. The univariate models were used to model the number of available bikes at each station. PLSR was applied to reduce the number of required prediction models and reflect the spatial correlation between stations in the network. Results clearly show that univariate models have lower error predictions than the multivariate model. However, the multivariate model results are reasonable for networks with a relatively large number of spatially correlated stations. Results also show that station neighbors and the prediction horizon time are significant predictors. The most effective prediction horizon time that produced the least prediction error was 15 minutes.


A Probabilistic Formulation of Unsupervised Text Style Transfer. We present a deep generative model for unsupervised text style transfer that unifies previously proposed non generative techniques. Our probabilistic approach models non parallel data from two domains as a partially observed parallel corpus. By hypothesizing a parallel latent sequence that generates each observed sequence, our model learns to transform sequences from one domain to another in a completely unsupervised fashion. In contrast with traditional generative sequence models (e.g. the HMM), our model makes few assumptions about the data it generates it uses a recurrent language model as a prior and an encoder decoder as a transduction distribution. While computation of marginal data likelihood is intractable in this model class, we show that amortized variational inference admits a practical surrogate. Further, by drawing connections between our variational objective and other recent unsupervised style transfer and machine translation techniques, we show how our probabilistic view can unify some known non generative objectives such as backtranslation and adversarial loss. Finally, we demonstrate the effectiveness of our method on a wide range of unsupervised style transfer tasks, including sentiment transfer, formality transfer, word decipherment, author imitation, and related language translation. Across all style transfer tasks, our approach yields substantial gains over state of the art non generative baselines, including the state of the art unsupervised machine translation techniques that our approach generalizes. Further, we conduct experiments on a standard unsupervised machine translation task and find that our unified approach matches the current state of the art.


HierTrain Fast Hierarchical Edge AI Learning with Hybrid Parallelism in Mobile Edge Cloud Computing. Nowadays, deep neural networks (DNNs) are the core enablers for many emerging edge AI applications. Conventional approaches to training DNNs are generally implemented at central servers or cloud centers for centralized learning, which is typically time consuming and resource demanding due to the transmission of a large amount of data samples from the device to the remote cloud. To overcome these disadvantages, we consider accelerating the learning process of DNNs on the Mobile Edge Cloud Computing (MECC) paradigm. In this paper, we propose HierTrain, a hierarchical edge AI learning framework, which efficiently deploys the DNN training task over the hierarchical MECC architecture. We develop a novel textit hybrid parallelism method, which is the key to HierTrain, to adaptively assign the DNN model layers and the data samples across the three levels of edge device, edge server and cloud center. We then formulate the problem of scheduling the DNN training tasks at both layer granularity and sample granularity. Solving this optimization problem enables us to achieve the minimum training time. We further implement a hardware prototype consisting of an edge device, an edge server and a cloud server, and conduct extensive experiments on it. Experimental results demonstrate that HierTrain can achieve up to 6.9x speedup compared to the cloud based hierarchical training approach.


Non radial scattering theory for nonlinear Schr "odinger equations with potential. We consider a class of nonlinear Schr "odinger equations with potential i partial t u Delta u Vu pm u alpha u, quad (t,x) in mathbb R times mathbb R 3, where frac 4 3 alpha 4 and V is a Kato type potential. We establish a scattering criterion for the equation with non radial initial data using the ideas of Dodson Murphy Math. Res. Lett. 25(6) 1805 1825 . As a consequence, we prove the energy scattering for the focusing problem with data below the ground state threshold. Our result extends the recent works of Hong Commun. Pure Appl. Anal. 15(5) 1571 1601 and Hamano Ikeda J. Evol. Equ. 2019 . We also study long time dynamics of global solutions to the focusing problem with data at the ground state threshold.


Children's health in the digital age. Environmental studies, metabolic research, and state of the art in neurobiology point towards the reduced amount of natural day and sunlight exposure of the developing childs organism, as a consequence of increasingly long hours spent indoors online, as the single unifying source of a whole set of health risks identified worldwide, as is made clear in this review of the current literature. Over exposure to digital environments, from abuse to addiction, now concerns even the youngest (ages zero to 2), and triggers, as argued on the basis of clear examples herein, a chain of interdependent negative and potentially long term metabolic changes. This leads to a deregulation of the serotonin and dopamine neurotransmitter pathways in the developing brain, currently associated with online activity abuse or internet addiction, and akin to that found in severe substance abuse syndromes. A general functional working model is proposed under the light of evidence brought to the forefront in this review.


RobustECD Enhancement of Network Structure for Robust Community Detection. Community detection, which focuses on clustering vertex interactions, plays a significant role in network analysis. However, it also faces numerous challenges like missing data and adversarial attack. How to further improve the performance and robustness of community detection for real world networks has raised great concerns. In this paper, we explore robust community detection by enhancing network structure, with two generic algorithms presented one is named robust community detection via genetic algorithm (RobustECD GA), in which the modularity and the number of clusters are combined in a fitness function to find the optimal structure enhancement scheme the other is called robust community detection via similarity ensemble (RobustECD SE), integrating multiple information of community structures captured by various vertex similarities, which scales well on large scale networks. Comprehensive experiments on real world networks demonstrate, by comparing with two traditional enhancement strategies, that the new methods help six representative community detection algorithms achieve more significant performance improvement. Moreover, experiments on the corresponding adversarial networks indicate that the new methods could also optimize the network structure to a certain extent, achieving stronger robustness against adversarial attack. The source code of this paper is released on https github.com jjzhou012 RobustECD.


OmBURo A Novel Unicycle Robot with Active Omnidirectional Wheel. A mobility mechanism for robots to be used in tight spaces shared with people requires it to have a small footprint, to move omnidirectionally, as well as to be highly maneuverable. However, currently there exist few such mobility mechanisms that satisfy all these conditions well. Here we introduce Omnidirectional Balancing Unicycle Robot (OmBURo), a novel unicycle robot with active omnidirectional wheel. The effect is that the unicycle robot can drive in both longitudinal and lateral directions simultaneously. Thus, it can dynamically balance itself based on the principle of dual axis wheeled inverted pendulum. This letter discloses the early development of this novel unicycle robot involving the overall design, modeling, and control, as well as presents some preliminary results including station keeping and path following. With its very compact structure and agile mobility, it might be the ideal locomotion mechanism for robots to be used in human environments in the future.


A Novel Graph based Multi modal Fusion Encoder for Neural Machine Translation. Multi modal neural machine translation (NMT) aims to translate source sentences into a target language paired with images. However, dominant multi modal NMT models do not fully exploit fine grained semantic correspondences between semantic units of different modalities, which have potential to refine multi modal representation learning. To deal with this issue, in this paper, we propose a novel graph based multi modal fusion encoder for NMT. Specifically, we first represent the input sentence and image using a unified multi modal graph, which captures various semantic relationships between multi modal semantic units (words and visual objects). We then stack multiple graph based multi modal fusion layers that iteratively perform semantic interactions to learn node representations. Finally, these representations provide an attention based context vector for the decoder. We evaluate our proposed encoder on the Multi30K datasets. Experimental results and in depth analysis show the superiority of our multi modal NMT model.


Electron double emission spectra for Helium atoms in intense 400 nm laser pulses. Double photoelectron emission from He atoms by intense laser pulses with a wave length of 394.5 ,nm is computed for intensities 3.5 9.2 times 10 14 W cm 2 . Joint momentum distributions confirm the characteristics seen in classical trajectory calculations. The pronounced transition from back to back to side by side emission with increasing intensity, the He He ratios, and a modulation of joint energy spectra agree well with a recent experiment Henrichs et al., PRA 98, 43405 (2018) , if one admits an increase of experimental intensities by a factor sim 2 . We find that Freeman resonances enhance anti correlated emission, we identify the signature of electron repulsion in joint angular distributions, and we interpret the modulation of joint energy spectra as a signature of multiple recollsions.


Solving imperfect information games via exponential counterfactual regret minimization. In general, two agent decision making problems can be modeled as a two player game, and a typical solution is to find a Nash equilibrium in such game. Counterfactual regret minimization (CFR) is a well known method to find a Nash equilibrium strategy in a two player zero sum game with imperfect information. The CFR method adopts a regret matching algorithm iteratively to reduce regret values progressively, enabling the average strategy to approach a Nash equilibrium. Although CFR based methods have achieved significant success in the field of imperfect information games, there is still scope for improvement in the efficiency of convergence. To address this challenge, we propose a novel CFR based method named exponential counterfactual regret minimization (ECFR). With ECFR, an exponential weighting technique is used to reweight the instantaneous regret value during the process of iteration. A theoretical proof is provided to guarantees convergence of the ECFR algorithm. The result of an extensive set of experimental tests demostrate that the ECFR algorithm converges faster than the current state of the art CFR based methods.


Newton retraction as approximate geodesics on submanifolds. Efficient approximation of geodesics is crucial for practical algorithms on manifolds. Here we introduce a class of retractions on submanifolds, induced by a foliation of the ambient manifold. They match the projective retraction to the third order and thus match the exponential map to the second order. In particular, we show that Newton retraction (NR) is always stabler than the popular approach known as oblique projection or orthographic retraction per Kantorovich type convergence theorems, the superlinear convergence regions of NR include those of the latter. We also show that NR always has a lower computational cost. The preferable properties of NR are useful for optimization, sampling, and many other statistical problems on manifolds.


A Psychophysical Oriented Saliency Map Prediction Model. Visual attention is one of the most significant characteristics for selecting and understanding the outside redundancy world. The human vision system cannot process all information simultaneously, due to the visual information bottleneck. In order to reduce the redundant input of visual information, the human visual system mainly focuses on dominant parts of scenes. This is commonly known as visual saliency map prediction. This paper proposed a new psychophysical saliency prediction architecture, WECSF, inspired by multi channel model of visual cortex functioning in humans. The model consists of opponent color channels, wavelet transform, wavelet energy map, and contrast sensitivity function for extracting low level image features and providing maximum approximation to the human visual system. The proposed model is evaluated using several datasets, including the MIT1003, MIT300, TORONTO, SID4VAM, and UCF Sports datasets. We also quantitatively and qualitatively compare the saliency prediction performance with that of other state of the art models. Our model achieved strongly stable and better performance with different metrics on nature images, psychophysical synthetic images and dynamic videos. Additionally, we found that Fourier and spectral inspired saliency prediction models outperformed other state of the art non neural network and even deep neural network models on psychophysical synthetic images, it can be explained and supported the Fourier Vision Hypothesis. Finally, the proposed model could be used as a computational model of primate vision system and help us understand mechanism of vision system.


Black box Explanation of Object Detectors via Saliency Maps. We propose D RISE, a method for generating visual explanations for the predictions of object detectors. Utilizing the proposed similarity metric that accounts for both localization and categorization aspects of object detection allows our method to produce saliency maps that show image areas that most affect the prediction. D RISE can be considered "black box" in the software testing sense, as it only needs access to the inputs and outputs of an object detector. Compared to gradient based methods, D RISE is more general and agnostic to the particular type of object detector being tested, and does not need knowledge of the inner workings of the model. We show that D RISE can be easily applied to different object detectors including one stage detectors such as YOLOv3 and two stage detectors such as Faster RCNN. We present a detailed analysis of the generated visual explanations to highlight the utilization of context and possible biases learned by object detectors.


An Exact Cutting Plane Method for k submodular Function Maximization. A natural and important generalization of submodularity k submodularity applies to set functions with k arguments and appears in a broad range of applications, such as infrastructure design, machine learning, and healthcare. In this paper, we study maximization problems with k submodular objective functions. We propose valid linear inequalities, namely the k submodular inequalities, for the hypograph of any k submodular function. This class of inequalities serves as a novel generalization of the well known submodular inequalities. We show that maximizing a k submodular function is equivalent to solving a mixed integer linear program with exponentially many k submodular inequalities. Using this representation in a delayed constraint generation framework, we design the first exact algorithm, that is not a complete enumeration method, to solve general k submodular maximization problems. Our computational experiments on the multi type sensor placement problems demonstrate the efficiency of our algorithm in constrained nonlinear k submodular maximization problems for which no alternative compact mixed integer linear formulations are available. The computational experiments show that our algorithm significantly outperforms the only available exact solution method exhaustive search. Problems that would require over 13 years to solve by exhaustive search can be solved within ten minutes using our method.


Stance Detection Benchmark How Robust Is Your Stance Detection?. Stance Detection (StD) aims to detect an author's stance towards a certain topic or claim and has become a key component in applications like fake news detection, claim validation, and argument search. However, while stance is easily detected by humans, machine learning models are clearly falling short of this task. Given the major differences in dataset sizes and framing of StD (e.g. number of classes and inputs), we introduce a StD benchmark that learns from ten StD datasets of various domains in a multi dataset learning (MDL) setting, as well as from related tasks via transfer learning. Within this benchmark setup, we are able to present new state of the art results on five of the datasets. Yet, the models still perform well below human capabilities and even simple adversarial attacks severely hurt the performance of MDL models. Deeper investigation into this phenomenon suggests the existence of biases inherited from multiple datasets by design. Our analysis emphasizes the need of focus on robustness and de biasing strategies in multi task learning approaches. The benchmark dataset and code is made available.


On Higher order Poincar 'e Inequalities with radial derivatives and Hardy improvements on the hyperbolic space. In this paper we prove higher order Poincar 'e inequalities involving radial derivatives namely, begin equation int mathbb H N nabla r, mathbb H N k u 2 , rm d v mathbb H N geq bigg( frac N 1 2 bigg) 2(k l) int mathbb H N nabla r, mathbb H N l u 2 , rm d v mathbb H N text for all u in H k( mathbb H N ), end equation where underlying space is N dimensional hyperbolic space mathbb H N , 0 leq l k are integers and the constant big( frac N 1 2 big) 2(k l) is sharp. Furthermore we improve the above inequalities by adding Hardy type remainder terms and the sharpness of some constants is also discussed.


Ergodic cocycles of IDPFT systems and nonsingular Gaussian actions. It is proved that each Gaussian cocycle over a mildly mixing Gaussian transformation is either a Gaussian coboundary or sharply weak mixing. The class of nonsingular infinite direct products T of transformations T n , n in Bbb N , of finite type (IDPFT) is studied. It is shown that if T n is mildly mixing, n in Bbb N , the sequence of the Radon Nikodym derivatives of T n is asymptotically translation quasi invariant and T is conservative then the Maharam extension of T is sharply weak mixing. This techniques provides a new approach to the nonsingular Gaussian transformations studied recently by Arano, Isono and Marrakchi.


Pulsed magnetic field generation system for laser plasma research. An up to 15 T pulsed magnetic field generator in a volume of a few cubic centimeters has been created for experiments with magnetized laser plasma. The magnetic field is created by a pair of coils placed in a sealed reservoir with liquid nitrogen, which is installed in a vacuum chamber with a laser target. The bearing body provides the mechanical strength of the system both in the case of co directional and oppositely connected coils. The configuration of the housing allows laser radiation to be introduced into the working area between the coils in a wide range of directions and focusing angles, to place targets away from the symmetry axis of the magnetic system, and to irradiate several targets simultaneously.


LaserFlow Efficient and Probabilistic Object Detection and Motion Forecasting. In this work, we present LaserFlow, an efficient method for 3D object detection and motion forecasting from LiDAR. Unlike the previous work, our approach utilizes the native range view representation of the LiDAR, which enables our method to operate at the full range of the sensor in real time without voxelization or compression of the data. We propose a new multi sweep fusion architecture, which extracts and merges temporal features directly from the range images. Furthermore, we propose a novel technique for learning a probability distribution over future trajectories inspired by curriculum learning. We evaluate LaserFlow on two autonomous driving datasets and demonstrate competitive results when compared to the existing state of the art methods.


Computational Concentration of Measure Optimal Bounds, Reductions, and More. Product measures of dimension n are known to be concentrated in Hamming distance for any set S in the product space of probability epsilon , a random point in the space, with probability 1 delta , has a neighbor in S that is different from the original point in only O( sqrt n ln(1 ( epsilon delta)) ) coordinates. We obtain the tight computational version of this result, showing how given a random point and access to an S membership oracle, we can find such a close point in polynomial time. This resolves an open question of Mahloujifar and Mahmoody, ALT 2019 . As corollaries, we obtain polynomial time poisoning and (in certain settings) evasion attacks against learning algorithms when the original vulnerabilities have any cryptographically non negligible probability. We call our algorithm MUCIO ("MUltiplicative Conditional Influence Optimizer") since proceeding through the coordinates, it decides to change each coordinate of the given point based on a multiplicative version of the influence of that coordinate, where influence is computed conditioned on previously updated coordinates. We also define a new notion of algorithmic reduction between computational concentration of measure in different metric probability spaces. As an application, we get computational concentration of measure for high dimensional Gaussian distributions under the ell 1 metric. We prove several extensions to the results above (1) Our computational concentration result is also true when the Hamming distance is weighted. (2) We obtain an algorithmic version of concentration around mean, more specifically, McDiarmid's inequality. (3) Our result generalizes to discrete random processes, and this leads to new tampering algorithms for collective coin tossing protocols. (4) We prove exponential lower bounds on the average running time of non adaptive query algorithms.


On Topological Rank of Factors of Cantor Minimal Systems. A Cantor minimal system is of finite topological rank if it has a Bratteli Vershik representation whose number of vertices per level is uniformly bounded. We prove that if the topological rank of a minimal dynamical system on a Cantor set is finite then all its minimal Cantor factors have finite topological rank as well. This gives an affirmative answer to a question posed by Donoso, Durand, Maass, and Petite.


AdaBERT Task Adaptive BERT Compression with Differentiable Neural Architecture Search. Large pre trained language models such as BERT have shown their effectiveness in various natural language processing tasks. However, the huge parameter size makes them difficult to be deployed in real time applications that require quick inference with limited resources. Existing methods compress BERT into small models while such compression is task independent, i.e., the same compressed BERT for all different downstream tasks. Motivated by the necessity and benefits of task oriented BERT compression, we propose a novel compression method, AdaBERT, that leverages differentiable Neural Architecture Search to automatically compress BERT into task adaptive small models for specific tasks. We incorporate a task oriented knowledge distillation loss to provide search hints and an efficiency aware loss as search constraints, which enables a good trade off between efficiency and effectiveness for task adaptive BERT compression. We evaluate AdaBERT on several NLP tasks, and the results demonstrate that those task adaptive compressed models are 12.7x to 29.3x faster than BERT in inference time and 11.5x to 17.0x smaller in terms of parameter size, while comparable performance is maintained.


Multifunctional Metasurface Design with a Generative Adversarial Network. Metasurfaces have enabled precise electromagnetic wave manipulation with strong potential to obtain unprecedented functionalities and multifunctional behavior in flat optical devices. These advantages in precision and functionality come at the cost of tremendous difficulty in finding individual meta atom structures based on specific requirements (commonly formulated in terms of electromagnetic responses), which makes the design of multifunctional metasurfaces a key challenge in this field. In this paper, we present a Generative Adversarial Networks (GAN) that can tackle this problem and generate meta atom metasurface designs to meet multifunctional design goals. Unlike conventional trial and error or iterative optimization design methods, this new methodology produces on demand free form structures involving only a single design iteration. More importantly, the network structure and the robust training process are independent of the complexity of design objectives, making this approach ideal for multifunctional device design. Additionally, the ability of the network to generate distinct classes of structures with similar electromagnetic responses but different physical features could provide added latitude to accommodate other considerations such as fabrication constraints and tolerances. We demonstrate the network's ability to produce a variety of multifunctional metasurface designs by presenting a bifocal metalens, a polarization multiplexed beam deflector, a polarization multiplexed metalens and a polarization independent metalens.


Singular solutions to Yamabe type systems with prescribed asymptotics. Our primary purpose is to study a class of strongly coupled nonlinear elliptic systems with critical growth in a compact Riemannian manifold with constant scalar curvature. Using a gluing technique and perturbation arguments, we show the existence of singular solutions asymptotic to a Fowler type solution near the isolated singularity.


Quarantined! Examining the Effects of a Community Wide Moderation Intervention on Reddit. Should social media platforms override a community's self policing when it repeatedly break rules? What actions can they consider? In light of this debate, platforms have begun experimenting with softer alternatives to outright bans. We examine one such intervention called quarantining, that impedes direct access to and promotion of controversial communities. Specifically, we present two case studies of what happened when Reddit quarantined the influential communities r TheRedPill (TRP) and r The Donald (TD). Using over 85M Reddit posts, we apply causal inference methods to examine the quarantine's effects on TRP and TD. We find that the quarantine made it more difficult to recruit new members new user influx to TRP and TD decreased by 79.5 and 58 , respectively. Despite quarantining, existing users' misogyny and racism levels remained unaffected. We conclude by reflecting on the effectiveness of this design friction in limiting the influence of toxic communities and discuss broader implications for content moderation.


CLT and MDP for McKean Vlasov SDEs. Under a Lipschitz condition on distribution dependent coefficients, the central limit theorem and the moderate deviation principle are obtained for solutions of McKean Vlasov type stochastic differential equations, which extend from the corresponding results for classical stochastic differential equations to the distribution dependent setting.


Waterfall Atrous Spatial Pooling Architecture for Efficient Semantic Segmentation. We propose a new efficient architecture for semantic segmentation, based on a "Waterfall" Atrous Spatial Pooling architecture, that achieves a considerable accuracy increase while decreasing the number of network parameters and memory footprint. The proposed Waterfall architecture leverages the efficiency of progressive filtering in the cascade architecture while maintaining multiscale fields of view comparable to spatial pyramid configurations. Additionally, our method does not rely on a postprocessing stage with Conditional Random Fields, which further reduces complexity and required training time. We demonstrate that the Waterfall approach with a ResNet backbone is a robust and efficient architecture for semantic segmentation obtaining state of the art results with significant reduction in the number of parameters for the Pascal VOC dataset and the Cityscapes dataset.


Efficient computation of Jacobian matrices for entropy stable summation by parts schemes. Entropy stable schemes replicate an entropy inequality at the semi discrete level. These schemes rely on an algebraic summation by parts (SBP) structure and a technique referred to as flux differencing. We provide simple and efficient formulas for Jacobian matrices for the semi discrete systems of ODEs produced by entropy stable discretizations. These formulas are derived based on the structure of flux differencing and derivatives of flux functions, which can be computed using automatic differentiation (AD). Numerical results demonstrate the efficiency and utility of these Jacobian formulas, which are then used in the context of two derivative explicit time stepping schemes and implicit time stepping.


The e LiBANS facility a new compact thermal neutron source based on a medical electron LINAC. A new photonuclear thermal neutron facility has been developed at the Physics Department of University of Torino. The facility is based on a medical electron LINAC coupled to a compact converter and moderator assembly. A homogenous thermal neutron field of the order of 10 6 cm 2 s 1 is achievable in the enclosed irradiation cavity with low gamma and fast neutron contaminations. Its intensity can be tuned varying the LINAC current. These characteristics make the source appropriate for several applications like detectors development, material studies and BNCT preclinical research. This work describes the project and the experimental characterization of the facility. This includes the measurement of the thermal neutron fluence rate, the determination of the neutron energy spectrum and of the thermal neutron field uniformity and the evaluation of the gamma contamination.


Turbulent boundary layers around wing sections up to Rec 1,000,000. Reynolds number effects in the adverse pressure gradient (APG) turbulent boundary layer (TBL) developing on the suction side of a NACA4412 wing section are assessed in the present work. To this end, we analyze four cases at Reynolds numbers based on freestream velocity and chord length ranging from Rec 100, 000 to 1,000,000, all of them with 5 degree angle of attack. The results of four well resolved large eddy simulations (LESs) are used to characterize the effect of Reynolds number on APG TBLs subjected to approximately the same pressure gradient distribution (defined by the Clauser pressure gradient parameter beta). Comparisons of the wing profiles with zero pressure gradient (ZPG) data at matched friction Reynolds numbers reveal that, for approximately the same beta distribution, the lower Reynolds number boundary layers are more sensitive to pressure gradient effects. This is reflected in the values of the inner scaled edge velocity Ue , the shape factor H, the components of the Reynolds stress tensor in the outer region and the outer region production of turbulent kinetic energy. This conclusion is supported by the larger wall normal velocities and outer scaled fluctuations observed in the lower Rec cases.Thus, our results suggest that two complementing mechanisms contribute to the development of the outer region in TBLs and the formation of large scale energetic structures one mechanism associated with the increase in Reynolds number, and another one connected to the APG. Future extensions of the present work will be aimed at studying the differences in the outer region energizing mechanisms due to APGs and increasing Reynolds number.


An inside outside Ramsey theorem and recursion theory. Inspired by Ramsey's theorem for pairs, Rival and Sands proved what we refer to as an inside outside Ramsey theorem every infinite graph G contains an infinite subset H such that every vertex of G is adjacent to precisely none, one, or infinitely many vertices of H . We analyze the Rival Sands theorem from the perspective of reverse mathematics and the Weihrauch degrees. In reverse mathematics, we find that the Rival Sands theorem is equivalent to arithmetical comprehension and hence is stronger than Ramsey's theorem for pairs. We also identify a weak form of the Rival Sands theorem that is equivalent to Ramsey's theorem for pairs. We turn to the Weihrauch degrees to give a finer analysis of the Rival Sands theorem's computational strength. We find that the Rival Sands theorem is Weihrauch equivalent to the double jump of weak K " o nig's lemma. We believe that the Rival Sands theorem is the first natural theorem shown to exhibit exactly this strength. Furthermore, by combining our result with a result of Brattka and Rakotoniaina, we obtain that solving one instance of the Rival Sands theorem exactly corresponds to simultaneously solving countably many instances of Ramsey's theorem for pairs. Finally, we show that the uniform computational strength of the weak Rival Sands theorem is weaker than that of Ramsey's theorem for pairs by showing that a number of well known consequences of Ramsey's theorem for pairs do not Weihrauch reduce to the weak Rival Sands theorem. We also address an apparent gap in the literature concerning the relationship between Weihrauch degrees corresponding to the ascending descending sequence principle and the infinite pigeonhole principle.


On Jordan classes for Vinberg's theta groups. Popov has recently introduced an analogue of Jordan classes (packets, or decomposition classes) for the action of a theta group (G 0,V), showing that they are finitely many, locally closed, irreducible unions of G 0 orbits of constant dimension partitioning V. We carry out a local study of their closures showing that Jordan classes are smooth and that their closure is a union of Jordan classes. We parametrize Jordan classes and G 0 orbits in a given class in terms of the action of subgroups of Vinberg's little Weyl group, and include several examples and counterexamples underlying the differences with the symmetric case and the critical issues arising in the theta situation.


LiDAR Data Enrichment Using Deep Learning Based on High Resolution Image An Approach to Achieve High Performance LiDAR SLAM Using Low cost LiDAR. LiDAR based SLAM algorithms are extensively studied to providing robust and accurate positioning for autonomous driving vehicles (ADV) in the past decades. Satisfactory performance can be obtained using high grade 3D LiDAR with 64 channels, which can provide dense point clouds. Unfortunately, the high price significantly prevents its extensive commercialization in ADV. The cost effective 3D LiDAR with 16 channels is a promising replacement. However, only limited and sparse point clouds can be provided by the 16 channels LiDAR, which cannot guarantee sufficient positioning accuracy for ADV in challenging dynamic environments. The high resolution image from the low cost camera can provide ample information about the surroundings. However, the explicit depth information is not available from the image. Inspired by the complementariness of 3D LiDAR and camera, this paper proposes to make use of the high resolution images from a camera to enrich the raw 3D point clouds from the low cost 16 channels LiDAR based on a state of the art deep learning algorithm. An ERFNet is firstly employed to segment the image with the aid of the raw sparse 3D point clouds. Meanwhile, the sparse convolutional neural network is employed to predict the dense point clouds based on raw sparse 3D point clouds. Then, the predicted dense point clouds are fused with the segmentation outputs from ERFnet using a novel multi layer convolutional neural network to refine the predicted 3D point clouds. Finally, the enriched point clouds are employed to perform LiDAR SLAM based on the state of the art normal distribution transform (NDT). We tested our approach on the re edited KITTI datasets (1)the sparse 3D point clouds are significantly enriched with a mean square error of 1.1m MSE. (2)the map generated from the LiDAR SLAM is denser which includes more details without significant accuracy loss.


Weak solutions of ideal MHD which do not conserve magnetic helicity. We construct weak solutions to the ideal magneto hydrodynamic (MHD) equations which have finite total energy, and whose magnetic helicity is not a constant function of time. In view of Taylor's conjecture, this proves that there exist finite energy weak solutions to ideal MHD which cannot be attained in the infinite conductivity and zero viscosity limit. Our proof is based on a Nash type convex integration scheme with intermittent building blocks adapted to the geometry of the MHD system.


A Core Valence Separated Similarity Transformed EOM CCSD Method for Core excitation Spectra. We present the theory and implementation of a core valence separated similarity transformed EOM CCSD (STEOM CCSD) method for K edge core excitation spectra. The method can select an appropriate active space using CIS natural orbitals and near black box to use. The second similarity transformation Hamiltonian is diagonalized in the space of single excitation. Therefore, the final diagonalization step is free from the convergence problem arising because of the coupling of the core excited states with the continuum of doubly excited states. Convergence trouble can appear for the preceding core ionized states calculation in STEOM CCSD. A core valence separation scheme (CVS) compatible with the natural orbital based active space selection has been implemented to overcome the problem. The CVS STEOM CCSD has similar accuracy as that of the standard CVS EOM CCSD method but comes with a lower computational cost. The modification required for the CVS scheme because of the use of CIS natural orbital is highlighted. The suitability of CVS STEOM CCSD for chemical application is demonstrated by simulating the K edge spectra of glycine and thymine.


On Maximizing Task Throughput in IoT enabled 5G Networks under Latency and Bandwidth Constraints. Fog computing in 5G networks has played a significant role in increasing the number of users in a given network. However, Internet of Things (IoT) has driven system designers towards designing heterogeneous networks to support diverse demands (tasks with different priority values) with different latency and data rate constraints. In this paper, our goal is to maximize the total number of tasks served by a heterogeneous network, labeled task throughput, in the presence of data rate and latency constraints and device preferences regarding computational needs. Since our original problem is intractable, we propose an efficient solution based on graph coloring techniques. We demonstrate the effectiveness of our proposed algorithm using numerical results, real world experiments on a laboratory testbed and comparing with the state of the art algorithm.


Lab Hackathons to Overcome Laboratory Equipment Shortages in Africa Opportunities and Challenges. Equipment shortages in Africa undermine Science, Technology, Engineering and Mathematics (STEM) Education. We have pioneered the LabHackathon (LabHack) a novel initiative that adapts the conventional hackathon and draws on insights from the Open Hardware movement and Responsible Research and Innovation (RRI). LabHacks are fun, educational events that challenge student participants to build frugal and reproducible pieces of laboratory equipment. Completed designs are then made available to others. LabHacks can therefore facilitate the open and sustainable design of laboratory equipment, in situ, in Africa. In this case study we describe the LabHackathon model, discuss its application in a pilot event held in Zimbabwe and outline the opportunities and challenges it presents.


Random gap processes and asymptotically complete sequences. We study a process of generating random positive integer weight sequences W n where the gaps between the weights X n W n W n 1 are i.i.d. positive integer valued random variables. We show that as long as the gap distribution has finite frac 1 2 moment, almost surely, the resulting weight sequence is asymptotically complete, i.e., all large enough multiples of the gcd of the possible gap values can be written as a sum of distinct weights. We then show a much stronger result that if the gap distribution has a moment generating function with large enough radius of convergence, then every large enough multiple of the gcd of gap values can be written as a sum of m distinct weights for any fixed m geq 2 .


Automated Labelling using an Attention model for Radiology reports of MRI scans (ALARM). Labelling large datasets for training high capacity neural networks is a major obstacle to the development of deep learning based medical imaging applications. Here we present a transformer based network for magnetic resonance imaging (MRI) radiology report classification which automates this task by assigning image labels on the basis of free text expert radiology reports. Our model's performance is comparable to that of an expert radiologist, and better than that of an expert physician, demonstrating the feasibility of this approach. We make code available online for researchers to label their own MRI datasets for medical imaging applications.


In vivo characterization of optically trapped Brownianprobes at a glance. Calibration of optically trapped particles in vivo has been complicated given the frequency dependence and spatial inhomogeneity of the cytoplasmic viscosity, and the requirement of accurate knowledge of the medium refractive index. Further, it has been demonstrated that the medium viscosity is dependent upon the measurement probe leading to reliability issues for measurements with even micrometer sized particles. Here, we employ a recent extension of Jeffery's model of viscoelasticity in the microscopic domain to fit the passive motional power spectra of micrometer sized optically trapped particles embedded in a viscoelastic medium. We find excellent agreement between the 0 Hz viscosity in MCF7 cells and the typical values of viscosity in literature, between 2 to 16 mPa sec expected for the typical concentration of proteins inside the cytoplasmic solvent. This bypasses the dependence on probe size by relying upon small thermal displacements. Our measurements of the relaxation time also match values reported with magnetic tweezers, at about 0.1 sec. Finally, we calibrate the optical tweezers and demonstrate the efficacy of the technique to the study of in vivo translational motion.


AI based Resource Allocation Reinforcement Learning for Adaptive Auto scaling in Serverless Environments. Serverless computing has emerged as a compelling new paradigm of cloud computing models in recent years. It promises the user services at large scale and low cost while eliminating the need for infrastructure management. On cloud provider side, flexible resource management is required to meet fluctuating demand. It can be enabled through automated provisioning and deprovisioning of resources. A common approach among both commercial and open source serverless computing platforms is workload based auto scaling, where a designated algorithm scales instances according to the number of incoming requests. In the recently evolving serverless framework Knative a request based policy is proposed, where the algorithm scales resources by a configured maximum number of requests that can be processed in parallel per instance, the so called concurrency. As we show in a baseline experiment, this predefined concurrency level can strongly influence the performance of a serverless application. However, identifying the concurrency configuration that yields the highest possible quality of service is a challenging task due to various factors, e.g. varying workload and complex infrastructure characteristics, influencing throughput and latency. While there has been considerable research into intelligent techniques for optimizing auto scaling for virtual machine provisioning, this topic has not yet been discussed in the area of serverless computing. For this reason, we investigate the applicability of a reinforcement learning approach, which has been proven on dynamic virtual machine provisioning, to request based auto scaling in a serverless framework. Our results show that within a limited number of iterations our proposed model learns an effective scaling policy per workload, improving the performance compared to the default auto scaling configuration.


Length spectrum compactification of the mathrm SO 0 (2,3) Hitchin component. We find a compactification of the mathrm SO 0 (2,3) Hitchin component by studying the degeneration of the induced metric on the unique equivariant maximal surface in the 4 dimensional pseudo hyperbolic space mathbb H 2,2 . In the process, we establish the closure in the space of projectivized geodesic currents of the space of flat metrics induced by holomorphic quartic differentials on a Riemann surface. As an application, we describe the behavior of the entropy of Hitchin representations along rays of quartic differentials.


Hierarchical Finite State Controllers for Generalized Planning. Finite State Controllers (FSCs) are an effective way to represent sequential plans compactly. By imposing appropriate conditions on transitions, FSCs can also represent generalized plans that solve a range of planning problems from a given domain. In this paper we introduce the concept of it hierarchical FSCs for planning by allowing controllers to call other controllers. We show that hierarchical FSCs can represent generalized plans more compactly than individual FSCs. Moreover, our call mechanism makes it possible to generate hierarchical FSCs in a modular fashion, or even to apply recursion. We also introduce a compilation that enables a classical planner to generate hierarchical FSCs that solve challenging generalized planning problems. The compilation takes as input a set of planning problems from a given domain and outputs a single classical planning problem, whose solution corresponds to a hierarchical FSC.


A Comprehensive Survey on the Ambulance Routing and Location Problems. In this research, an extensive literature review was performed on the recent developments of the ambulance routing problem (ARP) and ambulance location problem (ALP). Both are respective modifications of the vehicle routing problem (VRP) and maximum covering problem (MCP), with modifications to objective functions and constraints. Although alike, a key distinction is emergency service systems (EMS) are considered critical and the optimization of these has become all the more important as a result. Similar to their parent problems, these are NP hard and must resort to approximations if the space size is too large. Much of the current work has simply been on modifying existing systems through simulation to achieve a more acceptable result. There has been attempts towards using meta heuristics, though practical experimentation is lacking when compared to VRP or MCP. The contributions of this work are a comprehensive survey of current methodologies, summarized models, and suggested future improvements.


App Limits Bar A Progress of App Limits for Overcoming Smartphone Overuse. Smartphone overuse has many negative effects on human beings. The function App Limits in our phones, which belongs to behavior reinforcement strategies for overcoming problematic smartphone overuse, constrains users by shutting them completely out of an app after a certain period of time. While it has the effectiveness to some extent, lacking procedural detection of problematic behavior always brings about anxiety and depression for users. We proposed App Limits Bar (ALB) to progress the traditional App Limits, aiming to mitigate the negative feelings about using App Limits and enhance users' abilities to manage their time on addictive apps. Meanwhile, we took a three phase user study to answer whether ALB helps users be more content with using the app limits function and whether ALB performs better than traditional App Limits in terms of reducing usage time and open times on addictive apps. Future work will study the best shape of the edge screen for visualization when the front screen faces us.


Visualizing the Invisible Occluded Vehicle Segmentation and Recovery. In this paper, we propose a novel iterative multi task framework to complete the segmentation mask of an occluded vehicle and recover the appearance of its invisible parts. In particular, to improve the quality of the segmentation completion, we present two coupled discriminators and introduce an auxiliary 3D model pool for sampling authentic silhouettes as adversarial samples. In addition, we propose a two path structure with a shared network to enhance the appearance recovery capability. By iteratively performing the segmentation completion and the appearance recovery, the results will be progressively refined. To evaluate our method, we present a dataset, the Occluded Vehicle dataset, containing synthetic and real world occluded vehicle images. We conduct comparison experiments on this dataset and demonstrate that our model outperforms the state of the art in tasks of recovering segmentation mask and appearance for occluded vehicles. Moreover, we also demonstrate that our appearance recovery approach can benefit the occluded vehicle tracking in real world videos.


The noise fluxes produced by the degree of first order temporal coherence in a single mode class A laser amplifier. The noise feature of a single mode class A laser is investigated in the presence (amplifier) and absence (free running) of an input signal. The Maxwell Bloch equations of motion have been solved after adding the cavity Langevin force to calculate fluctuations that imposed to the atomic population inversion and the amplitude and phase of cavity electric field. The correlation function of these fluctuations is then used to derive the spontaneous emission, amplitude, and phase noise fluxes in the below and above threshold states. The bandwidth of noise fluxes is not only adjusted by the amplitude and frequency detuning of input signal, but also by the laser pumping and cavity damping rates. On the other hand, the degree of first order temporal coherence (DFOTC) is turned out as the correlation function of the amplitude fluctuation so that its Fourier transform led to the amplitude noise flux. The coherence time plays a dual role in order that it is equal to the damping rate invers of DFOTC and at the same time has an uncertainty relation with the bandwidth of amplitude noise flux. Finally, the flux conservation requires a balance between the input pumping noise flux and the output amplitude and spontaneous emission noise fluxes.


Dynamical Uniform Bounds for Fibers and a Gap Conjecture. We prove a uniform version of the Dynamical Mordell Lang Conjecture for 'etale maps also, we obtain a gap result for the growth rate of heights of points in an orbit along an arbitrary endomorphism of a quasiprojective variety defined over a number field. More precisely, for our first result, we assume X is a quasi projective variety defined over a field K of characteristic 0 , endowed with the action of an 'etale endomorphism Phi , and f colon X to Y is a morphism with Y a quasi projective variety defined over K . Then for any x in X(K) , if for each y in Y(K) , the set S y n in mathbb N colon f( Phi n(x)) y is finite, then there exists a positive integer N such that S y le N for each y in Y(K) . For our second result, we let K be a number field, f X dashrightarrow mathbb P 1 is a rational map, and Phi is an arbitrary endomorphism of X . If mathcal O Phi(x) denotes the forward orbit of x under the action of Phi , then either f( mathcal O Phi(x)) is finite, or limsup n to infty h(f( Phi n(x))) log(n) 0 , where h( cdot) represents the usual logarithmic Weil height for algebraic points.


Asynchronous Interaction Aggregation for Action Detection. Understanding interaction is an essential part of video action detection. We propose the Asynchronous Interaction Aggregation network (AIA) that leverages different interactions to boost action detection. There are two key designs in it one is the Interaction Aggregation structure (IA) adopting a uniform paradigm to model and integrate multiple types of interaction the other is the Asynchronous Memory Update algorithm (AMU) that enables us to achieve better performance by modeling very long term interaction dynamically without huge computation cost. We provide empirical evidence to show that our network can gain notable accuracy from the integrative interactions and is easy to train end to end. Our method reports the new state of the art performance on AVA dataset, with 3.7 mAP gain (12.6 relative improvement) on validation split comparing to our strong baseline. The results on dataset UCF101 24 and EPIC Kitchens further illustrate the effectiveness of our approach. Source code will be made public at https github.com MVIG SJTU AlphAction .


Growth of local height functions along orbits of self morphisms on projective varieties. In this paper, we consider the limit lim n to infty sum v in S lambda Y,v (f n (x)) h H (f n (x)) where f colon X longrightarrow X is a surjective self morphism on a smooth projective variety X over a number field, S is a finite set of places, lambda Y,v is a local height function associated with a proper closed subscheme Y subset X , and h H is an ample height function on X . We give a geometric condition which ensures that the limit is zero, unconditionally when dim Y 0 and assuming Vojta's conjecture when dim Y geq1 . In particular, we prove (one is unconditional, one is assuming Vojta's conjecture) Dynamical Lang Siegel type theorems, that is, the relative sizes of coordinates of orbits on mathbb P N are asymptotically the same with trivial exceptions. These results are higher dimensional generalization of Silverman's classical result.


Smoothing does not give a selection principle for transport equations with bounded autonomous fields. We give an example of a bounded divergence free autonomous vector field in mathbb R 3 (and of a nonautonomous bounded divergence free vector field in mathbb R 2 ) and of a bounded initial data for which the Cauchy problem for the corresponding transport equation has 2 distinct solutions. We then show that both solutions are limits of classical solutions of transport equations for appropriate smoothings of the vector fields and of the initial data.


On the convergence of Kac Moody Eisenstein series. Let G be a representation theoretic Kac Moody group associated to a nonsingular symmetrizable generalized Cartan matrix. We first consider Kac Moody analogs of Borel Eisenstein series (induced from quasicharacters on the Borel), and prove they converge almost everywhere inside the Tits cone for arbitrary spectral parameters in the Godement range. We then use this result to show the full absolute convergence everywhere inside the Tits cone (again for spectral parameters in the Godement range) for a class of Kac Moody groups satisfying a certain combinatorial property, in particular for rank 2 hyperbolic groups.


Multi dimensional Features for Prediction with Tweets. With the rise of opioid abuse in the US, there has been a growth of overlapping hotspots for overdose related and HIV related deaths in Springfield, Boston, Fall River, New Bedford, and parts of Cape Cod. With a large part of population, including rural communities, active on social media, it is crucial that we leverage the predictive power of social media as a preventive measure. We explore the predictive power of micro blogging social media website Twitter with respect to HIV new diagnosis rates per county. While trending work in Twitter NLP has focused on primarily text based features, we show that multi dimensional feature construction can significantly improve the predictive power of topic features alone with respect STI's (sexually transmitted infections). By multi dimensional features, we mean leveraging not only the topical features (text) of a corpus, but also location based information (counties) about the tweets in feature construction. We develop novel text location based smoothing features to predict new diagnoses of HIV.


Replication of the Keyword Extraction part of the paper "'Without the Clutter of Unimportant Words' Descriptive Keyphrases for Text Visualization". "Keyword Extraction" refers to the task of automatically identifying the most relevant and informative phrases in natural language text. As we are deluged with large amounts of text data in many different forms and content emails, blogs, tweets, Facebook posts, academic papers, news articles the task of "making sense" of all this text by somehow summarizing them into a coherent structure assumes paramount importance. Keyword extraction a well established problem in Natural Language Processing can help us here. In this report, we construct and test three different hypotheses (all related to the task of keyword extraction) that take us one step closer to understanding how to meaningfully identify and extract "descriptive" keyphrases. The work reported here was done as part of replicating the study by Chuang et al. 3 .


Sanction or Financial Crisis? An Artificial Neural Network Based Approach to model the impact of oil price volatility on Stock and industry indices. In this paper, we model the impact of oil price volatility on Tehranstock and industry indices in two periods of international sanctions and post sanction. To analyse the purpose of study, we use Feed forward neural net works. The period of study is from 2008 to 2018 that is split in two periods during international energy sanction and post sanction. The results show that Feed forward neural networks perform well in predicting stock market and industry, which means oil price volatility has a significant impact on stock and industry market indices. During post sanction and global financial crisis, the model performs better in predicting industry index. Additionally, oil price stock market index prediction performs better in the period of international sanctions. Herein, these results are, up to some extent, important for financial market analysts and policy makers to understand which factors and when influence the financial market, especially in an oil dependent country such asIran with uncertainty in the international politics. Keywords Feed forward neural networks,Industry index,International energy sanction,Oil price volatility,Tehran stock index


A Gradient thresholding Algorithm for Sparse Regularization. Inverse problems arise in a wide spectrum of applications in fields ranging from engineering to scientific computation. Connected with the rise of interest in inverse problems is the development and analysis of regularization methods, such as Tikhonov type regularization methods or iterative regularization methods, which are a necessity in most of the inverse problems. In the last few decades, regularization methods motivating sparsity has been the focus of research, due to the high dimensionalty of the real life data, and mathcal L 1 regularization methods (such as LASSO or FISTA) has been in its center (due to their computational simplicity). In this paper we propose a new (semi ) iterative regularization method which is not only simpler than the mentioned algorithms but also yields better results, in terms of accuracy and sparsity of the recovered solution. Furthermore, we also present a very effective and practical stopping criterion to choose an appropriate regularization parameter (here, it's iteration index) so as to recover a regularized (sparse) solution. To illustrate the computational efficiency of this algorithm we apply it to numerically solve the image deblurring problem and compare our results with certain standard regularization methods, like total variation, FISTA, LSQR etc.


Bounds on strong unicity for Chebyshev approximation with bounded coefficients. We obtain new effective results in best approximation theory, specifically moduli of uniqueness and constants of strong unicity, for the problem of best uniform approximation with bounded coefficients, as first considered by Roulier and Taylor. We make use of techniques from the field of proof mining, as introduced by Kohlenbach in the 1990s. In addition, some bounds are obtained via the Lagrangian interpolation formula as extended through the use of Schur polynomials to cover the case when certain coefficients are restricted to be zero.


Ground states of bi harmonic equations with critical exponential growth involving constant and trapping potentials. In this paper, we first give a necessary and sufficient condition for the boundedness and the compactness for a class of nonlinear functionals in H 2 ( mathbb R 4) . Using this result and the principle of symmetric criticality, we can present a relationship between the existence of the nontrivial solutions to the semilinear bi harmonic equation of the form ( Delta) 2 u gamma u f(u) text in mathbb R 4 and the range of gamma in mathbb R , where f(s) is the general nonlinear term having the critical exponential growth at infinity. Our next goal in this paper is to establish the existence of the ground state solutions for the equation begin equation label con ( Delta) 2 u V(x)u lambda s exp(2 s 2 )) text in mathbb R 4 , end equation when V(x) is a positive constant using the Fourier rearrangement and the Pohozaev identity. Then we will explore the relationship between the Nehari manifold and the corresponding limiting Nehari manifold to derive the existence of the ground state solutions for the above equation when V(x) is the Rabinowitz type trapping potential, namely it satisfies 0 V 0 underset x in mathbb R 4 inf V(x) underset x rightarrow infty lim V(x) infty. The same result and proof applies to the harmonic equation with the critical exponential growth involving the Rabinowitz type trapping potential in mathbb R 2 .


Some connections of complex dynamics. We survey some of the connections linking complex dynamics to other fields of mathematics and science. We hope to show that complex dynamics is not just interesting on its own but also has value as an applicable theory.


Subcritical branching processes in random environment with immigration stopped at zero. We consider subcritical branching processes with immigration which evolve under the influence of a random environment and study the tail distribution of life periods of such processes defined as the length of the time interval between the moment when first invader (or invaders) came to an empty site until the moment when the site becomes empty again. We prove that the tail distribution decays with exponential rate. The main tools are the change of measure and some conditional limit theorems for random walks.


Totally umbilical hypersurfaces of Spin c manifolds carrying special spinor fields. Under some dimension restrictions, we prove that totally umbilical hypersurfaces of Spin c manifolds carrying a parallel, real or imaginary Killing spinor are of constant mean curvature. This extends to the Spin c case the result of O. Kowalski stating that, every totally umbilical hypersurface of an Einstein manifold of dimension greater or equal to 3 is of constant mean curvature. As an application, we prove that there are no extrinsic hypersheres in complete Riemannian Spin manifolds of non constant sectional curvature carrying a parallel, Killing or imaginary Killing spinor.


Current Limitations of Language Models What You Need is Retrieval. We classify and re examine some of the current approaches to improve the performance computes trade off of language models, including (1) non causal models (such as masked language models), (2) extension of batch length with efficient attention, (3) recurrence, (4) conditional computation and (5) retrieval. We identify some limitations (1) (4) suffer from. For example, (1) currently struggles with open ended text generation with the output loosely constrained by the input as well as performing general textual tasks like GPT 2 3 due to its need for a specific fine tuning dataset. (2) and (3) do not improve the prediction of the first sim 10 3 tokens. Scaling up a model size (e.g. efficiently with (4)) still results in poor performance scaling for some tasks. We argue (5) would resolve many of these limitations, and it can (a) reduce the amount of supervision and (b) efficiently extend the context over the entire training dataset and the entire past of the current sample. We speculate how to modify MARGE to perform unsupervised causal modeling that achieves (b) with the retriever jointly trained.


Towards a Unified Approach to Electromagnetic Analysis by Objects Embedded in Multilayers. In this paper, an efficient and accurate unified approach is proposed to solve transverse magnetic scattering problems by multilayer embedded objects. In the proposed approach, an equivalent current density is derived when the equivalent theorem is recursively applied on each boundary from inner to exterior regions. Then, the objects are replaced by the background medium and the equivalent electric current density enforced on the outermost boundary remains fields in the exterior region unchanged. Therefore, the scattering problems by the multilayer embedded objects can be solved with the electric field integral equation (EFIE). Compared with other two region formulations (TRFs), like the PMCHWT, CTF, the proposed approach shows significant benefits only the surface electric current density instead of both the electric and magnetic current densities is required to model the complex objects. Furthermore, the single electric current density is only enforced on the outermost boundary of objects. Therefore, the overall count of unknowns can be significantly reduced, especially when the number of boundaries between different homogeneous media is large. At last, several numerical experiments are performed to validate the accuracy and efficiency of the proposed approach.


On the representation theory of non semisimple (graded) deformed Fomin Kirillov algebras. This work is motivated to study the representation theory of the non semisimple deformed Fomin Kirillov algebras mathcal D 4( alpha 1, alpha 2) . In particular, we consider Gabriel's theorem applications in regard of constructing algebraic presentations.


Bounded H infty calculus for Boundary Value Problems on Manifolds with Conical Singularities. Realizations of differential operators subject to differential boundary conditions on manifolds with conical singularities are shown to have a bounded H infty calculus in appropriate L p Sobolev spaces provided suitable conditions of parameter ellipticity are satisfied. Applications concern the Dirichlet and Neumann Laplacian and the porous medium equation.


Acoustic optic Q switched cavityless weak feedback laser based on Nd GdVO4 bounce geometry. An AOQ (acoustic optic Q switched) laser with cavityless weak feedback configuration is demonstrated based on a Nd GdVO4 bounce geometry. The laser can operate at a repetition up to 500 kHz with the output power above 4W. The pulse width at 100 kHz reaches 5.2 ns, which is 4.3 times the round trip time. A theory of Q switched cavityless weak feedback laser is proposed for the first time, to our best knowledge. This theory is very suitable for analyzing short pulses comparable to round trip time. By utilizing the theory, simulation is implemented for our experimental conditions. The consistence between the simulation and the experimental results proves the validity of our theory.


Impact of the COVID 19 pandemic on the Internet latency a large scale study. The COVID 19 pandemic dramatically changed the way of living of billions of people in a very short time frame. In this paper, we evaluate the impact on the Internet latency caused by the increased amount of human activities that are carried out on line. The study focuses on Italy, which experienced significant restrictions imposed by local authorities, but results about Spain, France, Germany, Sweden, and the whole of Europe are also included. The analysis of a large set of measurements shows that the impact on the network can be significant, especially in terms of increased variability of latency. In Italy we observed that the standard deviation of the average additional delay the additional time with respect to the minimum delay of the paths in the region during lockdown is 3 4 times as much as the value before the pandemic. Similarly, in Italy, packet loss is 2 3 times as much as before the pandemic. The impact is not negligible also for the other countries and for the whole of Europe, but with different levels and distinct patterns.


ALICE Active Learning with Contrastive Natural Language Explanations. Training a supervised neural network classifier typically requires many annotated training samples. Collecting and annotating a large number of data points are costly and sometimes even infeasible. Traditional annotation process uses a low bandwidth human machine communication interface classification labels, each of which only provides several bits of information. We propose Active Learning with Contrastive Explanations (ALICE), an expert in the loop training framework that utilizes contrastive natural language explanations to improve data efficiency in learning. ALICE learns to first use active learning to select the most informative pairs of label classes to elicit contrastive natural language explanations from experts. Then it extracts knowledge from these explanations using a semantic parser. Finally, it incorporates the extracted knowledge through dynamically changing the learning model's structure. We applied ALICE in two visual recognition tasks, bird species classification and social relationship classification. We found by incorporating contrastive explanations, our models outperform baseline models that are trained with 40 100 more training data. We found that adding 1 explanation leads to similar performance gain as adding 13 30 labeled training data points.


Experiments with a PCCoder extension. Recent research in synthesis of programs written in some Domain Specific Language (DSL) by means of neural networks from a limited set of inputs output correspondences such as DeepCoder and its PCCoder reimplementation optimization proved the efficiency of this kind of approach to automatic program generation in a DSL language that although limited in scope is universal in the sense that programs can be translated to basically any programming language. We experiment with the extension of the DSL of DeepCoder PCCoder with symbols IFI and IFL which denote functional expressions of the If ramification (test) instruction for types Int and List. We notice an increase (doubling) of the size of the training set, the number of parameters of the trained neural network and of the time spent looking for the program synthesized from limited sets of inputs output correspondences. The result is positive in the sense of preserving the accuracy of applying synthesis on randomly generated test sets.


Combinatorial statistics on restricted growth functions containing a pattern exactly k times. In this undergraduate thesis, we expand on the study of statistics on restricted growth functions avoiding patterns initiated by Campbell, et. al. Restricted growth functions are of interest because they are in bijection with set partitions. We examine the case when a restricted growth function contains a pattern exactly k times, where k 0 corresponds to pattern avoidance. We prove results for several statistic and pattern combinations in the case when k 1 and define a new type of Wilf equivalence for these patterns. We also examine a poset related to M(n) , the poset of integer partitions into distinct parts, and give a conjecture on the new poset's unimodality. We begin with a brief history of the field and end with a list of conjectures.