Pose based Sign Language Recognition using GCN and BERT. Sign language recognition (SLR) plays a crucial role in bridging the communication gap between the hearing and vocally impaired community and the rest of the society. Word level sign language recognition (WSLR) is the first important step towards understanding and interpreting sign language. However, recognizing signs from videos is a challenging task as the meaning of a word depends on a combination of subtle body motions, hand configurations, and other movements. Recent pose based architectures for WSLR either model both the spatial and temporal dependencies among the poses in different frames simultaneously or only model the temporal information without fully utilizing the spatial information. We tackle the problem of WSLR using a novel pose based approach, which captures spatial and temporal information separately and performs late fusion. Our proposed architecture explicitly captures the spatial interactions in the video using a Graph Convolutional Network (GCN). The temporal dependencies between the frames are captured using Bidirectional Encoder Representations from Transformers (BERT). Experimental results on WLASL, a standard word level sign language recognition dataset show that our model significantly outperforms the state of the art on pose based methods by achieving an improvement in the prediction accuracy by up to 5 .


Classifying sections of del Pezzo fibrations, I. We develop a strategy to classify the components of the space of sections of a del Pezzo fibration over mathbb P 1 . In particular, we prove the Movable Bend and Break lemma for del Pezzo fibrations. Our approach is motivated by Geometric Manin's Conjecture and proves upper bounds on the associated counting function. We also give applications to enumerativity of Gromov Witten invariants and to the study of the Abel Jacobi map.


E n ring spectra and Dyer Lashof operations. This is an expository article about power operations and their connection with the study of highly structured ring spectra. In particular, we discuss Dyer Lashof operations and their evolving role in the study of iterated loop spaces, E n algebras, and E n ring spectra. We will make use of these operations to show that structured ring spectra are heavily constrained. We also discuss some ongoing directions for study. This is a preliminary version of a chapter written for the Handbook of Homotopy Theory.


Equilibrium states for non uniformly hyperbolic systems statistical properties and analyticity. We consider a wide family of non uniformly expanding maps and hyperbolic H "older continuous potentials. We prove that the unique equilibrium state associated to each element of this family is given by the eigenfunction of the transfer operator and the eigenmeasure of the dual operator (both having the spectral radius as eigenvalue). We show that the transfer operator has the spectral gap property in some space of H "older continuous observables and from this we obtain an exponential decay of correlations and a central limit theorem for the equilibrium state. Moreover, we establish the analyticity with respect to the potential of the equilibrium state as well as that of other thermodynamic quantities. Furthermore, we derive similar results for the equilibrium state associated to a family of non uniformly hyperbolic skew products and hyperbolic H "older continuous potentials.


National Report to the International Association of Geodesy of the International Union of Geodesy and Geophysics 2015 2019. In this National Report are given major results of researches conducted by Russian geodesists in 2015 2018 on the topics of the International Association of Geodesy (IAG) of the International Union of Geodesy and Geophysics (IUGG). This report is prepared by the Section of Geodesy of the National Geophysical Committee of Russia. In the report prepared for the XXVII General Assembly of IUGG (Canada, Montreal, 8 18 July 2019), the results of principal researches in geodesy, geodynamics, gravimetry, in the studies of geodetic reference frame creation and development, Earth's shape and gravity field, Earth's rotation, geodetic theory, its application and some other directions are briefly described. For some objective reasons not all results obtained by Russian scientists on the problems of geodesy are included in the report.


A simple extrapolated predictor for overcoming the starting and tracking issues in the arc length method for nonlinear structural mechanics. This paper presents a simplified implementation of the arc length method for computing the equilibrium paths of nonlinear structural mechanics problems using the finite element method. In the proposed technique, the predictor is computed by extrapolating the solutions from two previously converged load steps. The extrapolation is a linear combination of the previous solutions therefore, it is simple and inexpensive. Additionally, the proposed extrapolated predictor also serves as a means for identifying the forward movement along the equilibrium path without the need for any sophisticated techniques commonly employed for explicit tracking. The ability of the proposed technique to successfully compute complex equilibrium paths in static structural mechanics problems is demonstrated using seven numerical examples involving truss, beam column and shell models. The computed numerical results are in excellent agreement with the reference solutions. The present approach does not require prohibitively small increments for its success.


Convergence of the spectral radius of a random matrix through its characteristic polynomial. Consider a square random matrix with independent and identically distributed entries of mean zero and unit variance. We show that as the dimension tends to infinity, the spectral radius is equivalent to the square root of the dimension in probability. This result can also be seen as the convergence of the support in the circular law theorem under optimal moment conditions. In the proof we establish the convergence in law of the reciprocal characteristic polynomial to a random analytic function outside the unit disc, related to a hyperbolic Gaussian analytic function. The proof is short and differs from the usual approaches for the spectral radius. It relies on a tightness argument and a joint central limit phenomenon for traces of fixed powers.


A Simplified Approach to Simulating Raman Spectra from Ab Initio Molecular Dynamics. We describe a simplified approach to simulating Raman spectra using ab initio molecular dynamics (AIMD) calculations. Our protocol relies on on the fly calculations of approximate molecular polarizabilities using a sum over orbitals (as opposed to states) method.


On simultaneous approximation of algebraic numbers. Let Gamma subset overline mathbb Q times be a finitely generated multiplicative group of algebraic numbers. Let alpha 1, ldots, alpha r in overline mathbb Q times be algebraic numbers which are mathbb Q linearly independent and let epsilon 0 and c 0 be given real numbers. One of the main results that we prove in this article is as follows There exist only finitely many tuple (u, q, p 1, ldots,p r) in Gamma times mathbb Z r 1 with d mathbb Q (u) mathbb Q such that alpha i q u c , alpha i q u is not a c pseudo Pisot number for some i and 0 alpha j qu p j frac 1 H epsilon(u)q frac d r varepsilon for 1 leq j leq r , where H(u) is the absolute Weil height. When put r 1 c , this result was proved by Corvaja and Zannier in 2 . As an application of our result, we also prove a transcendence criterion which generalizes a result of Han v c l, Kolouch, Pulcerov 'a and v S t v e pni v c ka in 3 . The proofs relies on the clever use of Subspace Theorem and the underlying ideas from the work of Corvaja and Zannier.


Left Bousfield localization without left properness. Given a combinatorial (semi )model category M and a set of morphisms C , we establish the existence of a semi model category L C M satisfying the universal property of the left Bousfield localization in the category of semi model categories. Our main tool is a semi model categorical version of a result of Jeff Smith, that appears to be of independent interest. Our main result allows for the localization of model categories that fail to be left proper. We give numerous examples and applications, related to the Baez Dolan stabilization hypothesis, localizations of algebras over operads, chromatic homotopy theory, parameterized spectra, C algebras, enriched categories, dg categories, functor calculus, and Voevodsky's work on radditive functors.


Leibniz superalgebras with a set grading. Consider a Leibniz superalgebra mathfrak L additionally graded by an arbitrary set I (set grading). We show that mathfrak L decomposes as the sum of well described graded ideals plus (maybe) a suitable linear subspace. In the case of mathfrak L being of maximal length, the simplicity of mathfrak L is also characterized in terms of connections.


Central limit theorems for parabolic stochastic partial differential equations. Let u(t ,,x) t ge 0, x in mathbb R d denote the solution of a d dimensional nonlinear stochastic heat equation that is driven by a Gaussian noise, white in time with a homogeneous spatial covariance that is a finite Borel measure f and satisfies Dalang's condition. We prove two general functional central limit theorems for occupation fields of the form N d int mathbb R d g(u(t ,,x)) psi(x N) , mathrm d x as N rightarrow infty , where g runs over the class of Lipschitz functions on mathbb R d and psi in L 2( mathbb R d) . The proof uses Poincar 'e type inequalities, Malliavin calculus, compactness arguments, and Paul L 'evy's classical characterization of Brownian motion as the only mean zero, continuous L 'evy process. Our result generalizes central limit theorems of Huang et al cite HuangNualartViitasaari2018,HuangNualartViitasaariZheng2019 valid when g(u) u and psi mathbf 1 0,1 d .


LandCoverNet A global benchmark land cover classification training dataset. Regularly updated and accurate land cover maps are essential for monitoring 14 of the 17 Sustainable Development Goals. Multispectral satellite imagery provide high quality and valuable information at global scale that can be used to develop land cover classification models. However, such a global application requires a geographically diverse training dataset. Here, we present LandCoverNet, a global training dataset for land cover classification based on Sentinel 2 observations at 10m spatial resolution. Land cover class labels are defined based on annual time series of Sentinel 2, and verified by consensus among three human annotators.


Bounds on multiplicities of spherical spaces over finite fields the general case. Let G be a connected reductive group scheme acting on a spherical scheme X . In the case where G is of type A n , Aizenbud and Avni proved the existence of a number C such that the multiplicity dim hom( rho, mathbb C X(F) ) is bounded by C , for any finite field F and any irreducible representation rho of G(F) . In this paper, we generalize this result to the case where G is a connected reductive group scheme over mathbb Z , and prove Conjecture A of 1 .


Mathematical model of SARS Cov 2 propagation versus ACE2 fits COVID 19 lethality across age and sex and predicts that of SARS, supporting possible therapy. The fatality rate of Covid 19 escalates with age and is larger in men than women. I show that these variations correlate strongly with the level of the viral receptor protein ACE2 in rat lungs, which is consistent with the still limited and apparently contradictory data on human ACE2. Surprisingly, lower levels of the receptor correlate with higher fatality. However, a previous mathematical model predicts that the speed of viral progression in the organism has a maximum and then declines with the receptor level. Moreover, many manifestations of severe CoViD 19, such as severe lung injury, exacerbated inflammatory response and thrombotic problems may derive from increased Angiotensin II (Ang II) level that results from degradation of ACE2 by the virus. I present here a mathematical model based on the influence of ACE2 on viral propagation and disease severity. The model fits Covid 19 fatality rate across age and sex with high accuracy ( r 2 0.9 ) under the hypothesis that SARS CoV 2 infections are in the dynamical regimes in which increased receptor slows down viral propagation. Moreover, rescaling the model parameters by the ratio of the binding rates of the spike proteins of SARS CoV and SARS CoV 2 allows predicting the fatality rate of SARS CoV across age and sex, thus linking the molecular and epidemiological levels. The presented model opposes the fear that angiotensin receptor blockers (ARB), suggested as a therapy against the most adverse effects of CoViD 19, may favour viral propagation, and suggests that Ang II and ACE2 are candidate prognostic factors for detecting population that needs stronger protection.


Zhi Wei Sun's 1 3 5 Conjecture and Variations. In this paper, using quaternion arithmetic in the ring of Lipschitz integers, we present a proof of Zh i W v e i S u n's "1 3 5 conjecture" for all integers, and for all natural numbers greater than a specific constant. This, together with computations, done by the authors and a colleague, which checked the validity of the conjecture up to that constant, completely proves the 1 3 5 conjecture. We also establish some variations of this conjecture.


"It is just a flu" Assessing the Effect of Watch History on YouTube's Pseudoscientific Video Recommendations. The role played by YouTube's recommendation algorithm in unwittingly promoting misinformation and conspiracy theories is not entirely understood. Yet, this can have dire real world consequences, especially when pseudoscientific content is promoted to users at critical times, such as the COVID 19 pandemic. In this paper, we set out to characterize and detect pseudoscientific misinformation on YouTube. We collect 6.6K videos related to COVID 19, the Flat Earth theory, as well as the anti vaccination and anti mask movements. Using crowdsourcing, we annotate them as pseudoscience, legitimate science, or irrelevant and train a deep learning classifier to detect pseudoscientific videos with an accuracy of 0.79. We quantify user exposure to this content on various parts of the platform and how this exposure changes based on the user's watch history. We find that YouTube suggests more pseudoscientific content regarding traditional pseudoscientific topics (e.g., flat earth, anti vaccination) than for emerging ones (like COVID 19). At the same time, these recommendations are more common on the search results page than on a user's homepage or in the recommendation section when actively watching videos. Finally, we shed light on how a user's watch history substantially affects the type of recommended videos.


SKD Keypoint Detection for Point Clouds using Saliency Estimation. We present SKD, a novel keypoint detector that uses saliency to determine the best candidates from a point cloud for tasks such as registration and reconstruction. The approach can be applied to any differentiable deep learning descriptor by using the gradients of that descriptor with respect to the 3D position of the input points as a measure of their saliency. The saliency is combined with the original descriptor and context information in a neural network, which is trained to learn robust keypoint candidates. The key intuition behind this approach is that keypoints are not extracted solely as a result of the geometry surrounding a point, but also take into account the descriptor's response. The approach was evaluated on two large LIDAR datasets the Oxford RobotCar dataset and the KITTI dataset, where we obtain up to 50 improvement over the state of the art in both matchability and repeatability. When performing sparse matching with the keypoints computed by our method we achieve a higher inlier ratio and faster convergence.


Enhancing Answer Boundary Detection for Multilingual Machine Reading Comprehension. Multilingual pre trained models could leverage the training data from a rich source language (such as English) to improve performance on low resource languages. However, the transfer quality for multilingual Machine Reading Comprehension (MRC) is significantly worse than sentence classification tasks mainly due to the requirement of MRC to detect the word level answer boundary. In this paper, we propose two auxiliary tasks in the fine tuning stage to create additional phrase boundary supervision (1) A mixed MRC task, which translates the question or passage to other languages and builds cross lingual question passage pairs (2) A language agnostic knowledge masking task by leveraging knowledge phrases mined from web. Besides, extensive experiments on two cross lingual MRC datasets show the effectiveness of our proposed approach.


BioTouchPass2 Touchscreen Password Biometrics Using Time Aligned Recurrent Neural Networks. Passwords are still used on a daily basis for all kind of applications. However, they are not secure enough by themselves in many cases. This work enhances password scenarios through two factor authentication asking the users to draw each character of the password instead of typing them as usual. The main contributions of this study are as follows i) We present the novel MobileTouchDB public database, acquired in an unsupervised mobile scenario with no restrictions in terms of position, posture, and devices. This database contains more than 64K on line character samples performed by 217 users, with 94 different smartphone models, and up to 6 acquisition sessions. ii) We perform a complete analysis of the proposed approach considering both traditional authentication systems such as Dynamic Time Warping (DTW) and novel approaches based on Recurrent Neural Networks (RNNs). In addition, we present a novel approach named Time Aligned Recurrent Neural Networks (TA RNNs). This approach combines the potential of DTW and RNNs to train more robust systems against attacks. A complete analysis of the proposed approach is carried out using both MobileTouchDB and e BioDigitDB databases. Our proposed TA RNN system outperforms the state of the art, achieving a final 2.38 Equal Error Rate, using just a 4 digit password and one training sample per character. These results encourage the deployment of our proposed approach in comparison with traditional typed based password systems where the attack would have 100 success rate under the same impostor scenario.


A two category of Hamiltonian manifolds, and a (1 1 1) field theory. We define an extended field theory in dimensions 1 1 1 , that takes the form of a quasi 2 functor' with values in a strict 2 category widehat mathcal H am , defined as the completion of a partial 2 category' mathcal H am , notions which we define. Our construction extends Wehrheim and Woodward's Floer Field theory, and is inspired by Manolescu and Woodward's construction of symplectic instanton homology. It can be seen, in dimensions 1 1 , as a real analog of a construction by Moore and Tachikawa. Our construction is motivated by instanton gauge theory in dimensions 3 and 4 we expect to promote widehat mathcal H am to a (sort of) 3 category via equivariant Lagrangian Floer homology, and extend our quasi 2 functor to dimension 4, via equivariant analogues of Donaldson polynomials.


A Relaxed Matching Procedure for Unsupervised BLI. Recently unsupervised Bilingual Lexicon Induction (BLI) without any parallel corpus has attracted much research interest. One of the crucial parts in methods for the BLI task is the matching procedure. Previous works impose a too strong constraint on the matching and lead to many counterintuitive translation pairings. Thus, We propose a relaxed matching procedure to find a more precise matching between two languages. We also find that aligning source and target language embedding space bidirectionally will bring significant improvement. We follow the previous iterative framework to conduct experiments. Results on standard benchmark demonstrate the effectiveness of our proposed method, which substantially outperforms previous unsupervised methods.


Bijective Mapping Analysis to Extend the Theory of Functional Connections to Non rectangular 2 dimensional Domains. This work presents an initial analysis of using bijective mappings to extend the Theory of Functional Connections to non rectangular two dimensional domains. Specifically, this manuscript proposes three different mappings techniques a) complex mapping, b) projection mapping, and c) polynomial mapping. In that respect, an accurate least squares approximated inverse mapping is also developed for those mappings having no closed form inverse. The advantages and disadvantages of using these mappings are highlighted and a few examples are provided. Additionally, the paper shows how to replace boundary constraints expressed in terms of a piecewise sequence of functions with a single function, that is compatible and required by the Theory of Functional Connections already developed by rectangular domains.


Fast Large Scale Discrete Optimization Based on Principal Coordinate Descent. Binary optimization, a representative subclass of discrete optimization, plays an important role in mathematical optimization and has various applications in computer vision and machine learning. Usually, binary optimization problems are NP hard and difficult to solve due to the binary constraints, especially when the number of variables is very large. Existing methods often suffer from high computational costs or large accumulated quantization errors, or are only designed for specific tasks. In this paper, we propose a fast algorithm to find effective approximate solutions for general binary optimization problems. The proposed algorithm iteratively solves minimization problems related to the linear surrogates of loss functions, which leads to the updating of some binary variables most impacting the value of loss functions in each step. Our method supports a wide class of empirical objective functions with without restrictions on the numbers of 1 s and 1 s in the binary variables. Furthermore, the theoretical convergence of our algorithm is proven, and the explicit convergence rates are derived, for objective functions with Lipschitz continuous gradients, which are commonly adopted in practice. Extensive experiments on several binary optimization tasks and large scale datasets demonstrate the superiority of the proposed algorithm over several state of the art methods in terms of both effectiveness and efficiency.


A Three Stage Stochastic Peer to Peer Market Clearing Model with Real Time Reserve Activation. With an increasing share of volatile renewables, more flexibility is needed to balance the electricity system. In order to enable local flexibility, we suggest a three stage stochastic market clearing model using community based peer to peer (P2P) trading with participation in the short term reserve markets. With this approach, internal intraday (IID) and real time (IRT) markets are cleared where peers can trade to balance their day ahead market position under uncertainty in load and activation of reserves. Results show increased participation of 19 and 44 in reserve markets when P2P IID and IRT is introduced. We illustrate the application of the model and give advice for the future reserve market design highlighting necessary changes in order to unlock end user flexibility to the reserve market.


Stochastic Approximation Proximal Method of Multipliers for Convex Stochastic Programming. This paper considers the problem of minimizing a convex expectation function over a closed convex set, coupled with a set of inequality convex expectation constraints. We present a new stochastic approximation type algorithm, namely the stochastic approximation proximal method of multipliers (PMMSopt) to solve this convex stochastic optimization problem. We analyze regrets of a stochastic approximation proximal method of multipliers for solving convex stochastic optimization problems. Under mild conditions, we show that this algorithm exhibits rm O (T 1 2 ) rate of convergence, in terms of both optimality gap and constraint violation if parameters in the algorithm are properly chosen, when the objective and constraint functions are generally convex, where T denotes the number of iterations. Moreover, we show that, with at least 1 e T 1 4 probability, the algorithm has no more than rm O (T 1 4 ) objective regret and no more than rm O (T 1 8 ) constraint violation regret. To the best of our knowledge, this is the first time that such a proximal method for solving expectation constrained stochastic optimization is presented in the literature.


EDNA Covid A Large Scale Covid 19 Tweets Dataset Collected with the EDNA Streaming Toolkit. The Covid 19 pandemic has fundamentally altered many facets of our lives. With nationwide lockdowns and stay at home advisories, conversations about the pandemic have naturally moved to social networks, e.g. Twitter. This affords an unprecedented insight into the evolution of social discourse in the presence of a long running destabilizing factor such as a pandemic with the high volume, high velocity, high noise Covid 19 Twitter feed. However, real time information extraction from such a data stream requires a fault tolerant streaming infrastructure to perform the non trivial integration of heterogenous data sources from news organizations, social feeds, and authoritative medical organizations like the CDC. To address this, we present (i) the EDNA streaming toolkit for consuming and processing streaming data, and (ii) EDNA Covid, a multilingual, large scale dataset of coronavirus related tweets collected with EDNA since January 25, 2020. EDNA Covid includes, at time of this publication, over 600M tweets from around the world in over 10 languages. We release both the EDNA toolkit and the EDNA Covid dataset to the public so that they can be used to extract valuable insights on this extraordinary social event.


Iterative and Non iterative Splitting approach of a stochastic Burgers' equation. In this paper we present iterative and noniterative splitting methods, which are used to solve stochastic Burgers' equations. The non iterative splitting methods are based on Lie Trotter and Strang splitting methods, while the iterative splitting approaches are based on the exponential integrators for stochastic differential equations. Based on the nonlinearity of the Burgers' equation, we have investigated that the iterative schemes are more accurate and efficient as the non iterative methods.


On Exceptional Maass Forms. We prove certain relations between Satake parameters of cuspidal representations of GL 2( mathbb A mathbb Q ) at finite and archimedean places. Consequently, we show that the Ramanujan Petersson conjecture at a fixed prime p nmid N for textit non exceptional Maass forms of level N implies the conjecture at p for textit all Maass forms of level N and the Selberg's 1 4 eigenvalue conjecture simultaneously. As an application, we improve Kim and Sarnak's 7 64 bound towards the Satake parameters at all p nmid N for exceptional Maass forms.


Topic Aware Neural Keyphrase Generation for Social Media Language. A huge volume of user generated content is daily produced on social media. To facilitate automatic language understanding, we study keyphrase prediction, distilling salient information from massive posts. While most existing methods extract words from source posts to form keyphrases, we propose a sequence to sequence (seq2seq) based neural keyphrase generation framework, enabling absent keyphrases to be created. Moreover, our model, being topic aware, allows joint modeling of corpus level latent topic representations, which helps alleviate the data sparsity that widely exhibited in social media language. Experiments on three datasets collected from English and Chinese social media platforms show that our model significantly outperforms both extraction and generation models that do not exploit latent topics. Further discussions show that our model learns meaningful topics, which interprets its superiority in social media keyphrase generation.


Sparse Polynomial Interpolation Based on Diversification. We consider the problem of interpolating a sparse multivariate polynomial over a finite field, represented with a black box. Building on the algorithm of Ben Or and Tiwari for interpolating polynomials over rings with characteristic zero, we develop a new Monte Carlo algorithm over the finite field by doing additional probes. To interpolate a polynomial f in F q x 1, dots,x n with a partial degree bound D and a term bound T , our new algorithm costs O thicksim(nT log 2q nT sqrt D log q) bit operations and uses 2(n 1)T probes to the black box. If q geq O(nT 2D) , it has constant success rate to return the correct polynomial. Compared with previous algorithms over general finite field, our algorithm has better complexity in the parameters n,T,D and is the first one to achieve the complexity of fractional power about D , while keeping linear in n,T . A key technique is a randomization which makes all coefficients of the unknown polynomial distinguishable, producing a diverse polynomial. This approach, called diversification, was proposed by Giesbrecht and Roche in 2011. Our algorithm interpolates each variable independently using O(T) probes, and then uses the diversification to correlate terms in different images. At last, we get the exponents by solving the discrete logarithms and obtain coefficients by solving a linear system. We have implemented our algorithm in Maple. Experimental results shows that our algorithm can applied to sparse polynomials with large degree. We also analyze the success rate of the algorithm.


Conversational Question Answering over Passages by Leveraging Word Proximity Networks. Question answering (QA) over text passages is a problem of long standing interest in information retrieval. Recently, the conversational setting has attracted attention, where a user asks a sequence of questions to satisfy her information needs around a topic. While this setup is a natural one and similar to humans conversing with each other, it introduces two key research challenges understanding the context left implicit by the user in follow up questions, and dealing with ad hoc question formulations. In this work, we demonstrate CROWN (Conversational passage ranking by Reasoning Over Word Networks) an unsupervised yet effective system for conversational QA with passage responses, that supports several modes of context propagation over multiple turns. To this end, CROWN first builds a word proximity network (WPN) from large corpora to store statistically significant term co occurrences. At answering time, passages are ranked by a combination of their similarity to the question, and coherence of query terms within these factors are measured by reading off node and edge weights from the WPN. CROWN provides an interface that is both intuitive for end users, and insightful for experts for reconfiguration to individual setups. CROWN was evaluated on TREC CAsT data, where it achieved above median performance in a pool of neural methods.


Spectral gaps of 1 D Robin Schr "odinger operators with single well potentials. We prove sharp lower bounds on the spectral gap of 1 dimensional Schr "odinger operators with Robin boundary conditions for each value of the Robin parameter. In particular, our lower bounds apply to single well potentials with a centered transition point. This result extends work of Cheng et al. and Horv 'ath in the Neumann and Dirichlet endpoint cases to the interpolating regime. We also build on recent work by Andrews, Clutterbuck, and Hauer in the case of convex and symmetric single well potentials. In particular, we show the spectral gap is an increasing function of the Robin parameter for symmetric potentials.


Special cycles on unitary Shimura curves at ramified primes. In this paper, we study special cycles on the Kr "amer model of mathrm U (1,1)(F F 0) Rapoport Zink spaces where F F 0 is a ramified quadratic extension of p adic number fields with the assumption that the 2 dimensional hermitian space of special quasi homomorphisms is anisotropic. We write down the decomposition of these special cycles and prove a version of Kudla Rapoport conjecture in this case. We then apply the local results to compute the intersection numbers of special cycles on unitary Shimura curves and relate these intersection numbers to Fourier coefficients of central derivatives of certain Eisenstein series.


An alternative approach on the existence of affine realizations for HJM term structure models. We propose an alternative approach on the existence of affine realizations for HJM interest rate models. It is applicable to a wide class of models, and simultaneously it is conceptually rather comprehensible. We also supplement some known existence results for particular volatility structures and provide further insights into the geometry of term structure models.


Effective Influence Spreading in Temporal Networks with Sequential Seeding. The spread of influence in networks is a topic of great importance in many application areas. For instance, one would like to maximise the coverage, limiting the budget for marketing campaign initialisation and use the potential of social influence. To tackle this and similar challenges, more than a decade ago, researchers started to investigate the influence maximisation problem. The challenge is to find the best set of initially activated seed nodes in order to maximise the influence spread in networks. In typical approach we will activate all seeds in single stage, at the beginning of the process, while in this work we introduce and evaluate a new approach for seeds activation in temporal networks based on sequential seeding. Instead of activating all nodes at the same time, this method distributes the activations of seeds, leading to higher ranges of influence spread. The results of experiments performed using real and randomised networks demonstrate that the proposed method outperforms single stage seeding in 71 of cases by nearly 6 on average. Knowing that temporal networks are an adequate choice for modelling dynamic processes, the results of this work can be interpreted as encouraging to apply temporal sequential seeding for real world cases, especially knowing that more sophisticated seed selection strategies can be implemented by using the seed activation strategy introduced in this work.


Separability of Hermitian Tensors and PSD Decompositions. Hermitian tensors are natural generalizations of Hermitian matrices, while possessing rather different properties. A Hermitian tensor is separable if it has a Hermitian decomposition with only positive coefficients, i.e., it is a sum of rank 1 psd Hermitian tensors. This paper studies how to detect separability of Hermitian tensors. It is equivalent to the long standing quantum separability problem in quantum physics, which asks to tell if a given quantum state is entangled or not. We formulate this as a truncated moment problem and then provide a semidefinite relaxation algorithm to solve it. Moreover, we study psd decompositions of separable Hermitian tensors. When the psd rank is low, we first flatten them into cubic order tensors and then apply tensor decomposition methods to compute psd decompositions. We prove that this method works well if the psd rank is low. In computation, this flattening approach can detect separability for much larger sized Hermitian tensors. This method is a good start on determining psd ranks of separable Hermitian tensors.


Spatio Temporal Filter Adaptive Network for Video Deblurring. Video deblurring is a challenging task due to the spatially variant blur caused by camera shake, object motions, and depth variations, etc. Existing methods usually estimate optical flow in the blurry video to align consecutive frames or approximate blur kernels. However, they tend to generate artifacts or cannot effectively remove blur when the estimated optical flow is not accurate. To overcome the limitation of separate optical flow estimation, we propose a Spatio Temporal Filter Adaptive Network (STFAN) for the alignment and deblurring in a unified framework. The proposed STFAN takes both blurry and restored images of the previous frame as well as blurry image of the current frame as input, and dynamically generates the spatially adaptive filters for the alignment and deblurring. We then propose the new Filter Adaptive Convolutional (FAC) layer to align the deblurred features of the previous frame with the current frame and remove the spatially variant blur from the features of the current frame. Finally, we develop a reconstruction network which takes the fusion of two transformed features to restore the clear frames. Both quantitative and qualitative evaluation results on the benchmark datasets and real world videos demonstrate that the proposed algorithm performs favorably against state of the art methods in terms of accuracy, speed as well as model size.


Bilinear Constraint based ADMM for Mixed Poisson Gaussian Noise Removal. In this paper, we propose new operator splitting algorithms for the total variation regularized infimal convolution (TV IC) model 4 in order to remove mixed Poisson Gaussian(MPG) noise. In the existing splitting algorithm for TV IC, an inner loop by Newton method had to be adopted for one nonlinear optimization subproblem, which increased the computation cost per outer loop. By introducing a new bilinear constraint and applying the alternating direction method of multipliers (ADMM), all subproblems of the proposed algorithms named as BCA (short for Bilinear Constraint based ADMM algorithm) and BCAf(short for a variant of BCA with fully splitting form) can be very efficiently solved especially for the proposed BCAf, they can be calculated without any inner iterations. Under mild conditions, the convergence of the proposed BCA is investigated. Numerically, compared to existing primal dual algorithms for the TV IC model, the proposed algorithms, with fewer tunable parameters, converge much faster and produce comparable results meanwhile.


An Empirical Analysis of Deep Learning for Cardinality Estimation. We implement and evaluate deep learning for cardinality estimation by studying the accuracy, space and time trade offs across several architectures. We find that simple deep learning models can learn cardinality estimations across a variety of datasets (reducing the error by 72 98 on average compared to PostgreSQL). In addition, we empirically evaluate the impact of injecting cardinality estimates produced by deep learning models into the PostgreSQL optimizer. In many cases, the estimates from these models lead to better query plans across all datasets, reducing the runtimes by up to 49 on select project join workloads. As promising as these models are, we also discuss and address some of the challenges of using them in practice.


Trimmed sums of twists and the area Siegel Veech constant. We relate trimmed sums of twists in cylinders along a typical Teichmuller geodesic to the area Siegel Veech constant.


On a Guided Nonnegative Matrix Factorization. Fully unsupervised topic models have found fantastic success in document clustering and classification. However, these models often suffer from the tendency to learn less than meaningful or even redundant topics when the data is biased towards a set of features. For this reason, we propose an approach based upon the nonnegative matrix factorization (NMF) model, deemed textit Guided NMF , that incorporates user designed seed word supervision. Our experimental results demonstrate the promise of this model and illustrate that it is competitive with other methods of this ilk with only very little supervision information.


Improving Inversion and Generation Diversity in StyleGAN using a Gaussianized Latent Space. Modern Generative Adversarial Networks are capable of creating artificial, photorealistic images from latent vectors living in a low dimensional learned latent space. It has been shown that a wide range of images can be projected into this space, including images outside of the domain that the generator was trained on. However, while in this case the generator reproduces the pixels and textures of the images, the reconstructed latent vectors are unstable and small perturbations result in significant image distortions. In this work, we propose to explicitly model the data distribution in latent space. We show that, under a simple nonlinear operation, the data distribution can be modeled as Gaussian and therefore expressed using sufficient statistics. This yields a simple Gaussian prior, which we use to regularize the projection of images into the latent space. The resulting projections lie in smoother and better behaved regions of the latent space, as shown using interpolation performance for both real and generated images. Furthermore, the Gaussian model of the distribution in latent space allows us to investigate the origins of artifacts in the generator output, and provides a method for reducing these artifacts while maintaining diversity of the generated images.


A Study of Checkpointing in Large Scale Training of Deep Neural Networks. Deep learning (DL) applications are increasingly being deployed on HPC systems, to leverage the massive parallelism and computing power of those systems for DL model training. While significant effort has been put to facilitate distributed training by DL frameworks, fault tolerance has been largely ignored. In this work, we evaluate checkpoint restart, a common fault tolerance technique in HPC workloads. We perform experiments with three state of the art DL frameworks common in HPC Chainer, PyTorch, and TensorFlow). We evaluate the computational cost of checkpointing, file formats and file sizes, the impact of scale, and deterministic checkpointing. Our evaluation shows some critical differences in checkpoint mechanisms and exposes several bottlenecks in existing checkpointing implementations. We provide discussion points that can aid users in selecting a fault tolerant framework to use in HPC. We also provide takeaway points that framework developers can use to facilitate better checkpointing of DL workloads in HPC.


Continuity method with movable singularities for classical Monge Amp ere equations. On a compact K "ahler manifold (X, omega) , we study the strong continuity of solutions with prescribed singularities of complex Monge Amp ere equations with integrable Lebesgue densities. Moreover, we give sufficient conditions for the strong continuity of solutions when the right hand sides are modified to include all (log) K "ahler Einstein metrics with prescribed singularities. Our findings can be interpreted as closedness of new continuity methods in which the densities vary together with the prescribed singularities. For Monge Amp ere equations of Fano type, we also prove an openness result when the singularities decrease. As an application, we deduce a strong stability result for (log )K "ahler Einstein metrics on semi K "ahler classes given as modifications of omega .


Palettes of Dehn colorings for spatial graphs and the classification of vertex conditions. In this paper, we study Dehn colorings of spatial graph diagrams, and classify the vertex conditions, equivalently the palettes. We give some example of spatial graphs which can be distinguished by the number of Dehn colorings with selecting an appropriate palette. Furthermore, we also discuss the generalized version of palettes, which is defined for knot theoretic ternary quasigroups and region colorings of spatial graph diagrams.


Efficient Algorithms for Generating Provably Near Optimal Cluster Descriptors for Explainability. Improving the explainability of the results from machine learning methods has become an important research goal. Here, we study the problem of making clusters more interpretable by extending a recent approach of Davidson et al., NeurIPS 2018 for constructing succinct representations for clusters. Given a set of objects S , a partition pi of S (into clusters), and a universe T of tags such that each element in S is associated with a subset of tags, the goal is to find a representative set of tags for each cluster such that those sets are pairwise disjoint and the total size of all the representatives is minimized. Since this problem is NP hard in general, we develop approximation algorithms with provable performance guarantees for the problem. We also show applications to explain clusters from datasets, including clusters of genomic sequences that represent different threat levels.


Grid Cells Are Ubiquitous in Neural Networks. Grid cells are believed to play an important role in both spatial and non spatial cognition tasks. A recent study observed the emergence of grid cells in an LSTM for path integration. The connection between biological and artificial neural networks underlying the seemingly similarity, as well as the application domain of grid cells in deep neural networks (DNNs), expect further exploration. This work demonstrated that grid cells could be replicated in either pure vision based or vision guided path integration DNNs for navigation under a proper setting of training parameters. We also show that grid like behaviors arise in feedforward DNNs for non spatial tasks. Our findings support that the grid coding is an effective representation for both biological and artificial networks.


On Sarnak's Density Conjecture and its Applications. Sarnak's Density Conjecture is an explicit bound on the multiplicities of non tempered representations in a sequence of cocompact congruence arithmetic lattices in a semisimple Lie group, which is motivated by the work of Sarnak and Xue. The goal of this work is to discuss similar hypotheses, their interrelation and applications. We mainly focus on two properties the spectral Spherical Density Hypothesis and the geometric Weak Injective Radius Property. Our results are strongest in the p adic case, where we show that the two properties are equivalent, and both imply Sarnak's General Density Hypothesis. One possible application is that either the Spherical Density Hypothesis or the Weak Injective Radius Property imply Sarnak's Optimal Lifting Property. Conjecturally, all those properties should hold in great generality. We hope that this work will motivate their proofs in new cases.


Motor cortex causally contributes to auditory word recognition following sensorimotor enriched vocabulary training. The role of the motor cortex in perceptual and cognitive functions is highly controversial. Here, we investigated the hypothesis that the motor cortex can be instrumental for translating foreign language vocabulary. Participants were trained on foreign language (L2) words and their native language translations over four consecutive days. L2 words were accompanied by complementary gestures (sensorimotor enrichment) or pictures (sensory enrichment). Following training, participants translated the auditorily presented L2 words that they had learned and repetitive transcranial magnetic stimulation (rTMS) was applied to the bilateral posterior motor cortices. Compared to sham stimulation, effective perturbation by rTMS slowed down the translation of sensorimotor enriched L2 words but not sensory enriched L2 words. This finding suggests that sensorimotor enriched training induced changes in L2 representations within the motor cortex, which in turn facilitated the translation of L2 words. The motor cortex may play a causal role in precipitating sensorimotor based learning benefits, and may directly aid in remembering the native language translations of foreign language words following sensorimotor enriched training. These findings support multisensory theories of learning while challenging reactivation based theories.


Conditional Vehicle Trajectories Prediction in CARLA Urban Environment. Imitation learning is becoming more and more successful for autonomous driving. End to end (raw signal to command) performs well on relatively simple tasks (lane keeping and navigation). Mid to mid (environment abstraction to mid level trajectory representation) or direct perception (raw signal to performance) approaches strive to handle more complex, real life environment and tasks (e.g. complex intersection). In this work, we show that complex urban situations can be handled with raw signal input and mid level representation. We build a hybrid end to mid approach predicting trajectories for neighbor vehicles and for the ego vehicle with a conditional navigation goal. We propose an original architecture inspired from social pooling LSTM taking low and mid level data as input and producing trajectories as polynomials of time. We introduce a label augmentation mechanism to get the level of generalization that is required to control a vehicle. The performance is evaluated on CARLA 0.8 benchmark, showing significant improvements over previously published state of the art.


Travelling helices and the vortex filament conjecture in the incompressible Euler equations. We consider the Euler equations in mathbb R 3 expressed in vorticity form. A classical question that goes back to Helmholtz is to describe the evolution of solutions with a high concentration around a curve. The work of Da Rios in 1906 states that such a curve must evolve by the so called binormal curvature flow. Existence of true solutions concentrated near a given curve that evolves by this law is a long standing open question that has only been answered for the special case of a circle travelling with constant speed along its axis, the thin vortex rings. We provide what appears to be the first rigorous construction of em helical filaments , associated to a translating rotating helix. The solution is defined at all times and does not change form with time. The result generalizes to multiple similar helical filaments travelling and rotating together.


Diamond Subgraphs in the Reduction Graph of a One Rule String Rewriting System. In this paper, we study a certain case of a subgraph isomorphism problem. We consider the Hasse diagram of the lattice M k (the unique lattice with k 2 elements and one anti chain of length k ) and want to find the maximal k for which it is isomorphic to a subgraph of the reduction graph of a given one rule string rewriting system. We obtain a complete characterization for this problem and show that there is a dichotomy. There are one rule string rewriting systems for which the maximal such k is 2 and there are cases where there is no maximum. No other intermediate option is possible.


A certifying extraction with time bounds from Coq to call by value lambda calculus. We provide a plugin extracting Coq functions of simple polymorphic types to the (untyped) call by value lambda calculus L. The plugin is implemented in the MetaCoq framework and entirely written in Coq. We provide Ltac tactics to automatically verify the extracted terms w.r.t a logical relation connecting Coq functions with correct extractions and time bounds, essentially performing a certifying translation and running time validation. We provide three case studies A universal L term obtained as extraction from the Coq definition of a step indexed self interpreter for L, a many reduction from solvability of Diophantine equations to the halting problem of L, and a polynomial time simulation of Turing machines in L.


Microwave trap for atoms and molecules. We demonstrate a trap that confines polarizable particles around the antinode of a standing wave microwave field. The trap relies only on the polarizability of the particles far from any resonances, so can trap a wide variety of atoms and molecules in a wide range of internal states, including the ground state. The trap has a volume of about 10 cm 3 , and a depth approaching 1 K for many polar molecules. We measure the trap properties using 7 Li atoms, showing that when the input microwave power is 610 W, the atoms remain trapped with a 1 e lifetime of 1.76(12) s, oscillating with an axial frequency of 28.55(5) Hz and a radial frequency of 8.81(8) Hz. The trap could be loaded with slow molecules from a range of available sources, and is particularly well suited to sympathetic cooling and evaporative cooling of molecules.


Towards Generation of Visual Attention Map for Source Code. Program comprehension is a dominant process in software development and maintenance. Experts are considered to comprehend the source code efficiently by directing their gaze, or attention, to important components in it. However, reflecting the importance of components is still a remaining issue in gaze behavior analysis for source code comprehension. Here we show a conceptual framework to compare the quantified importance of source code components with the gaze behavior of programmers. We use "attention" in attention models (e.g., code2vec) as the importance indices for source code components and evaluate programmers' gaze locations based on the quantified importance. In this report, we introduce the idea of our gaze behavior analysis using the attention map, and the results of a preliminary experiment.


Practical Privacy Preserving Data Science With Homomorphic Encryption An Overview. Privacy has gained a growing interest nowadays due to the increasing and unmanageable amount of produced confidential data. Concerns about the possibility of sharing data with third parties, to gain fruitful insights, beset enterprise environments value not only resides in data but also in the intellectual property of algorithms and models that offer analysis results. This impasse locks both the availability of high performance computing resources in the "as a service" paradigm and the exchange of knowledge with the scientific community in a collaborative view. Privacy preserving data science enables the use of private data and algorithms without putting at risk their privacy. Conventional encryption schemes are not able to work on encrypted data without decrypting them first. Homomorphic Encryption (HE) is a form of encryption that allows the computation of encrypted data while preserving the features and the format of the plaintext. Against the background of interesting use cases for the Central Bank of Italy, this article focuses on how HE and data science can be leveraged for the design and development of privacy preserving enterprise applications. We propose a survey of main Homomorphic Encryption techniques and recent advances in the conubium between data science and HE.


High order linearly implicit methods for evolution equations. This paper introduces a new class of numerical methods for the time integration of evolution equations set as Cauchy problems of ODEs or PDEs. The systematic design of these methods mixes the Runge Kutta collocation formalism with collocation techniques, in such a way that the methods are linearly implicit and have high order. The fact that these methods are implicit allows to avoid CFL conditions when the large systems to integrate come from the space discretization of evolution PDEs. Moreover, these methods are expected to be efficient since they only require to solve one linear system of equations at each time step, and efficient techniques from the literature can be used to do so. After the introduction of the methods, we set suitable definitions of consistency and stability for these methods. This allows for a proof that arbitrarily high order linearly implicit methods exist and converge when applied to ODEs. Eventually, we perform numerical experiments on ODEs and PDEs that illustrate our theoretical results for ODEs, and compare our methods with standard methods for several evolution PDEs.


HOPPY An open source and low cost kit for dynamic robotics education. This letter introduces HOPPY, an open source, low cost, robust, and modular kit for robotics education. The robot dynamically hops around a rotating gantry with a fixed base. The kit lowers the entry barrier for studying dynamic robots and legged locomotion in real systems. The kit bridges the theoretical content of fundamental robotic courses and real dynamic robots by facilitating and guiding the software and hardware integration. This letter describes the topics which can be studied using the kit, lists its components, discusses best practices for implementation, presents results from experiments with the simulator and the real system, and suggests further improvements. A simple controller is described to achieve velocities up to 2m s, navigate small objects, and mitigate external disturbances (kicks). HOPPY was utilized as the topic of a semester long project for the Robot Dynamics and Control course at the University of Illinois at Urbana Champaign. Students provided an overwhelmingly positive feedback from the hands on activities during the course and the instructors will continue to improve the kit for upcoming semesters.


Distortion based Light weight Security for Cyber Physical Systems. In Cyber Physical Systems (CPS), inference based on communicated data is of critical significance as it can be used to manipulate or damage the control operations by adversaries. This calls for efficient mechanisms for secure transmission of data since control systems are becoming increasingly distributed over larger geographical areas. Distortion based security, recently proposed as one candidate for secure transmissions in CPS, is not only more appropriate for these applications but also quite frugal in terms of prior requirements on shared keys. In this paper, we propose distortion based metrics to protect CPS communication and show that it is possible to confuse adversaries with just a few bits of pre shared keys. In particular, we will show that a linear dynamical system can communicate its state in a manner that prevents an eavesdropper from accurately learning the state.


On CW complexes over groups with periodic cohomology. If G has 4 periodic cohomology, then D2 complexes over G are determined up to polarised homotopy by their Euler characteristic if and only if G has at most two one dimensional quaternionic representations. We use this to solve Wall's D2 problem for several infinite families of non abelian groups and, in these cases, also show that any finite Poincar ' e 3 complex X with pi 1(X) G admits a cell structure with a single 3 cell. The proof involves cancellation theorems for mathbb Z G modules where G has periodic cohomology.


Global warNing challenges, threats and opportunities for ground beetles (Coleoptera Carabidae) in high altitude habitats. Aim of this paper is to provide the first comprehensive synthesis about ground beetle (Coleoptera Carabidae) distribution in high altitude habitats. Specifically, the attention is focused on the species assemblages living on the most common ice related mountain landforms (glaciers, debris covered glaciers, glacier forelands and rock glaciers) and on the challenges, threats and opportunities carabids living in these habitats have to face in relation to the ongoing climate warming. The suggested role of the ice related alpine landforms, as present climatic refugia for cold adapted ground beetles, is discussed. Finally, the needs to develop a large scale High alpine Biodiversity Monitoring Program to describe how the current climate change is shaping the distribution of high altitude specialists, is highlighted.


Electron capture of Xe 54 in collisions with H 2 molecules in the energy range between 5.5 MeV u and 30.9 MeV u. The electron capture process was studied for Xe 54 colliding with H 2 molecules at the internal gas target of the ESR storage ring at GSI, Darmstadt. Cross section values for electron capture into excited projectile states were deduced from the observed emission cross section of Lyman radiation, being emitted by the hydrogen like ions subsequent to the capture of a target electron. The ion beam energy range was varied between 5.5 MeV u and 30.9 MeV u by applying the deceleration mode of the ESR. Thus, electron capture data was recorded at the intermediate and in particular the low collision energy regime, well below the beam energy necessary to produce bare xenon ions. The obtained data is found to be in reasonable qualitative agreement with theoretical approaches, while a commonly applied empirical formula significantly overestimates the experimental findings.


Loss aversion fosters coordination among independent reinforcement learners. We study what are the factors that can accelerate the emergence of collaborative behaviours among independent selfish learning agents. We depart from the "Battle of the Exes" (BoE), a spatial repeated game from which human behavioral data has been obtained (by Hawkings and Goldstone, 2016) that we find interesting because it considers two cases a classic game theory version, called ballistic, in which agents can only make one action decision (equivalent to the Battle of the Sexes) and a spatial version, called dynamic, in which agents can change decision (a spatial continuous version). We model both versions of the game with independent reinforcement learning agents and we manipulate the reward function transforming it into an utility introducing "loss aversion" the reward that an agent obtains can be perceived as less valuable when compared to what the other got. We prove experimentally the introduction of loss aversion fosters cooperation by accelerating its appearance, and by making it possible in some cases like in the dynamic condition. We suggest that this may be an important factor explaining the rapid converge of human behaviour towards collaboration reported in the experiment of Hawkings and Goldstone.


Numerical schemes to reconstruct three dimensional time dependent point sources of acoustic waves. This paper is concerned with the numerical simulation of three dimensional time dependent inverse source problems of acoustic waves. The reconstructions of both multiple stationary point sources and a moving point source are considered. The modified method of fundamental solutions (MMFS), which expands the solution utilizing the time convolution of the Green's function and the signal function, is proposed to solve the problem. For the reconstruction of a moving point source, moreover, the MMFS is simplified as a simple sampling method at each time step. Numerical experiments are provided to show the effectiveness of the proposed methods.


Anypath Routing Protocol Design via Q Learning for Underwater Sensor Networks. As a promising technology in the Internet of Underwater Things, underwater sensor networks have drawn a widespread attention from both academia and industry. However, designing a routing protocol for underwater sensor networks is a great challenge due to high energy consumption and large latency in the underwater environment. This paper proposes a Q learning based localization free anypath routing (QLFR) protocol to prolong the lifetime as well as reduce the end to end delay for underwater sensor networks. Aiming at optimal routing policies, the Q value is calculated by jointly considering the residual energy and depth information of sensor nodes throughout the routing process. More specifically, we define two reward functions (i.e., depth related and energy related rewards) for Q learning with the objective of reducing latency and extending network lifetime. In addition, a new holding time mechanism for packet forwarding is designed according to the priority of forwarding candidate nodes. Furthermore, a mathematical analysis is presented to analyze the performance of the proposed routing protocol. Extensive simulation results demonstrate the superiority performance of the proposed routing protocol in terms of the end to end delay and the network lifetime.


Monocular Differentiable Rendering for Self Supervised 3D Object Detection. 3D object detection from monocular images is an ill posed problem due to the projective entanglement of depth and scale. To overcome this ambiguity, we present a novel self supervised method for textured 3D shape reconstruction and pose estimation of rigid objects with the help of strong shape priors and 2D instance masks. Our method predicts the 3D location and meshes of each object in an image using differentiable rendering and a self supervised objective derived from a pretrained monocular depth estimation network. We use the KITTI 3D object detection dataset to evaluate the accuracy of the method. Experiments demonstrate that we can effectively use noisy monocular depth and differentiable rendering as an alternative to expensive 3D ground truth labels or LiDAR information.


Kilowatt level Yb Raman fiber amplifier with narrow linewidth and near diffraction limited beam quality. By focusing on a typical emitting wavelength of 1120 nm as an example, we present the first demonstration of a high efficiency, narrow linewidth kilowatt level all fiber amplifier based on hybrid ytterbium Raman (Yb Raman) gains. Notably, two temporally stable, phase modulated single frequency lasers operating at 1064 nm and 1120nm, respectively, were applied in the fiber amplifier, to alleviate the spectral broadening of the 1120 signal laser and suppress the stimulated Brillouin scattering (SBS) effect simultaneously. Over 1 kW narrow linewidth 1120 nm signal laser was obtained with a slope efficiency of 77 and a beam quality of M2 1.21. The amplified spontaneous emission (ASE) noise in the fiber amplifier was effectively suppressed by incorporating an ASE filtering system between the seed laser and the main amplifier. Further examination of the influence of power ratios between the two seed lasers on the conversion efficiency had proved that the presented amplifier could work efficiently when the power ratio of 1120 nm seed laser ranged from 31 to 61 . Overall, this setup could provide a well reference for obtaining high power narrow linewidth fiber lasers operating within 1100 1200 nm.


Memory and mutualism in species sustainability a time fractional Lotka Volterra model with harvesting. We first present a predator prey model for two species and then extend the model to three species where the two predator species engage in mutualistic predation. Constant effort harvesting and the impact of by catch issue are also incorporated. Necessary sufficient conditions for the existence and stability of positive equilibrium points are examined. It is shown that harvesting is sustainable, and the memory concept of the fractional derivative damps out oscillations in the population numbers so that the system as a whole settles on an equilibrium quicker than it would with integer time derivatives. Finally, some possible physical explanations are given for the obtained results. It is shown that the stability requires the memory concept in the model.


Should bike sharing continue operating during the COVID 19 pandemic? Empirical findings from Nanjing, China. Coronavirus disease 2019 (COVID 19) has triggered a worldwide outbreak of pandemic, and transportation services have played a key role in coronavirus transmission. Although not crowded in a confined space like a bus or a metro car, bike sharing users will be exposed to the bike surface and take the transmission risk. During the COVID 19 pandemic, how to meet user demand and avoid virus spreading has become an important issue for bike sharing. Based on the trip data of bike sharing in Nanjing, China, this study analyzes the travel demand and operation management before and after the pandemic outbreak from the perspective of stations, users, and bikes. Semi logarithmic difference in differences model, visualization methods, and statistic indexes are applied to explore the transportation service and risk prevention of bike sharing during the pandemic. The results show that pandemic control strategies sharply reduced user demand, and commuting trips decreased more significantly. Some stations around health and religious places become more important. Men and older adults are more dependent on bike sharing systems. Besides, the trip decrease reduces user contact and increases idle bikes. And a new concept of user distancing is proposed to avoid transmission risk and activate idle bikes. This study evaluates the role of shared micro mobility during the COVID 19 pandemic, and also inspires the blocking of viral transmission within the city.


Sampling Constraint Satisfaction Solutions in the Local Lemma Regime. We give a Markov chain based algorithm for sampling almost uniform solutions of constraint satisfaction problems (CSPs). Assuming a canonical setting for the Lov 'asz local lemma, where each constraint is violated by a small number of forbidden local configurations, our sampling algorithm is accurate in a local lemma regime, and the running time is a fixed polynomial whose dependency on n is close to linear, where n is the number of variables. Our main approach is a new technique called state compression, which generalizes the "mark unmark" paradigm of Moitra (Moitra, JACM, 2019), and can give fast local lemma based sampling algorithms. As concrete applications of our technique, we give the current best almost uniform samplers for hypergraph colorings and for CNF solutions.


Open Domain Web Keyphrase Extraction Beyond Language Modeling. This paper studies keyphrase extraction in real world scenarios where documents are from diverse domains and have variant content quality. We curate and release OpenKP, a large scale open domain keyphrase extraction dataset with near one hundred thousand web documents and expert keyphrase annotations. To handle the variations of domain and content quality, we develop BLING KPE, a neural keyphrase extraction model that goes beyond language understanding using visual presentations of documents and weak supervision from search queries. Experimental results on OpenKP confirm the effectiveness of BLING KPE and the contributions of its neural architecture, visual features, and search log weak supervision. Zero shot evaluations on DUC 2001 demonstrate the improved generalization ability of learning from the open domain data compared to a specific domain.


eta Einstein Sasakian immersions in non compact Sasakian space forms. The aim of this paper is to study Sasakian immersions of (non compact) complete regular Sasakian manifolds into the Heisenberg group and into mathbb B N times mathbb R equipped with their standard Sasakian structures. We obtain a complete classification of such manifolds in the eta Einstein case.


Online Pricing with Reserve Price Constraint for Personal Data Markets. The society's insatiable appetites for personal data are driving the emergency of data markets, allowing data consumers to launch customized queries over the datasets collected by a data broker from data owners. In this paper, we study how the data broker can maximize her cumulative revenue by posting reasonable prices for sequential queries. We thus propose a contextual dynamic pricing mechanism with the reserve price constraint, which features the properties of ellipsoid for efficient online optimization, and can support linear and non linear market value models with uncertainty. In particular, under low uncertainty, our pricing mechanism provides a worst case regret logarithmic in the number of queries. We further extend to other similar application scenarios, including hospitality service, online advertising, and loan application, and extensively evaluate three pricing instances of noisy linear query, accommodation rental, and impression over MovieLens 20M dataset, Airbnb listings in U.S. major cities, and Avazu mobile ad click dataset, respectively. The analysis and evaluation results reveal that our proposed pricing mechanism incurs low practical regret, online latency, and memory overhead, and also demonstrate that the existence of reserve price can mitigate the cold start problem in a posted price mechanism, and thus can reduce the cumulative regret.


Explicit two deletion codes with redundancy matching the existential bound. We give an explicit construction of length n binary codes capable of correcting the deletion of two bits that have size 2 n n 4 o(1) . This matches up to lower order terms the existential result, based on an inefficient greedy choice of codewords, that guarantees such codes of size Omega(2 n n 4) . Our construction is based on augmenting the classic Varshamov Tenengolts construction of single deletion codes with additional check equations. We also give an explicit construction of binary codes of size Omega(2 n n 3 o(1) ) that can be list decoded from two deletions using lists of size two. Previously, even the existence of such codes was not clear.


From Prediction to Prescription Evolutionary Optimization of Non Pharmaceutical Interventions in the COVID 19 Pandemic. Several models have been developed to predict how the COVID 19 pandemic spreads, and how it could be contained with non pharmaceutical interventions (NPIs) such as social distancing restrictions and school and business closures. This paper demonstrates how evolutionary AI could be used to facilitate the next step, i.e. determining most effective intervention strategies automatically. Through evolutionary surrogate assisted prescription (ESP), it is possible to generate a large number of candidate strategies and evaluate them with predictive models. In principle, strategies can be customized for different countries and locales, and balance the need to contain the pandemic and the need to minimize their economic impact. While still limited by available data, early experiments suggest that workplace and school restrictions are the most important and need to be designed carefully. It also demonstrates that results of lifting restrictions can be unreliable, and suggests creative ways in which restrictions can be implemented softly, e.g. by alternating them over time. As more data becomes available, the approach can be increasingly useful in dealing with COVID 19 as well as possible future pandemics.


Identifying time dependence in network growth. Identifying power law scaling in real networks indicative of preferential attachment has proved controversial. Critics argue that measuring the temporal evolution of a network directly is better than measuring the degree distribution when looking for preferential attachment. However, many of the established methods do not account for any potential time dependence in the attachment kernels of growing networks, or methods assume that node degree is the key observable determining network evolution. In this paper, we argue that these assumptions may lead to misleading conclusions about the evolution of growing networks. We illustrate this by introducing a simple adaptation of the Barab 'a si Albert model, the "k2 model", where new nodes attach to nodes in the existing network in proportion to the number of nodes one or two steps from the target node. The k2 model results in time dependent degree distributions and attachment kernels, despite initially appearing to grow as linear preferential attachment, and without the need to include explicit time dependence in key network parameters (such as the average out degree). We show that similar effects are seen in several real world networks where constant network growth rules do not describe their evolution. This implies that measurements of specific degree distributions in real networks are also likely to change over time.


Direct Laser Ion Acceleration and Above Threshold Ionization at Intensities from 10 21 W cm 2 to 3 times 10 23 W cm 2 . Calculations on the dynamics of ions and electrons in near infrared laser fields at intensities up to 3 times 10 23 W cm 2 are presented. We explore the acceleration of ions in a laser focus by conservation of canonical momentum during ionization events and by the ponderomotive force in the f 1 focal geometry required to reach such intensity. At intensity exceeding 10 23 W cm 2 , highly charged ions are expelled from the laser focus before they can interact with the laser pulse at peak intensity, decreasing the predicted ionization yields of deeply bound states. We consider the interaction of a tightly focused, f 1 laser pulse with krypton at an intensity of 3 times 10 23 W cm 2 and a pulse duration of 140 fs. We find that the ions and electrons are accelerated to energies in excess of 2 MeV nucleon and 1.4 GeV, respectively. Ponderomotive expulsion of the parent ions decreases the total number of ultra relativistic ATI electrons produced by tunneling ionization from the K shell states of krypton but does not change their energy spectrum.


Parallel communicating one way reversible finite automata system. In this paper, we discuss the computational power of parallel communicating finite automata system with 1 way reversible finite automaton as components. We show that unlike the multi head one way reversible finite automata model (where we are still not sure whether it accepts all the regular languages) parallel communicating one way reversible finite automata systems can accept all the regular languages. Moreover for every multi head one way reversible finite automaton there exist a parallel communicating one way reversible finite automata system which accepts the same language. We also make an interesting observation that although the components of the system are reversible the system as a whole is not reversible. On the basis of which we conjecture that parallel communicating one way reversible finite automata systems may accept languages not accepted by multi head one way reversible finite automata.


Crossing Numbers of Beyond Planar Graphs. We study the 1 planar, quasi planar, and fan planar crossing number in comparison to the (unrestricted) crossing number of graphs. We prove that there are n vertex 1 planar (quasi planar, fan planar) graphs such that any 1 planar (quasi planar, fan planar) drawing has Omega(n) crossings, while O(1) crossings suffice in a crossing minimal drawing without restrictions on local edge crossing patterns.


Advanced Flow Based Multilevel Hypergraph Partitioning. The balanced hypergraph partitioning problem is to partition a hypergraph into k disjoint blocks of bounded size such that the sum of the number of blocks connected by each hyperedge is minimized. We present an improvement to the flow based refinement framework of KaHyPar MF, the current state of the art multilevel k way hypergraph partitioning algorithm for high quality solutions. Our improvement is based on the recently proposed HyperFlowCutter algorithm for computing bipartitions of unweighted hypergraphs by solving a sequence of incremental maximum flow problems. Since vertices and hyperedges are aggregated during the coarsening phase, refinement algorithms employed in the multilevel setting must be able to handle both weighted hyperedges and weighted vertices even if the initial input hypergraph is unweighted. We therefore enhance HyperFlowCutter to handle weighted instances and propose a technique for computing maximum flows directly on weighted hypergraphs. We compare the performance of two configurations of our new algorithm with KaHyPar MF and seven other partitioning algorithms on a comprehensive benchmark set with instances from application areas such as VLSI design, scientific computing, and SAT solving. Our first configuration, KaHyPar HFC, computes slightly better solutions than KaHyPar MF using significantly less running time. The second configuration, KaHyPar HFC , computes solutions of significantly better quality and is still slightly faster than KaHyPar MF. Furthermore, in terms of solution quality, both configurations also outperform all other competing partitioners.


Open loop potential difference games with inequality constraints. Static potential games are non cooperative games which admit a fictitious function, also referred to as a potential function, such that the minimizers of this function constitute a subset (or a refinement) of the Nash equilibrium strategies of the associated non cooperative game. In this paper, we study a class N player non zero sum difference games with inequality constraints which admit a potential game structure. In particular, we provide conditions for the existence of an optimal control problem (with inequality constraints) such that the solution of this problem yields an open loop Nash equilibrium strategy of the corresponding dynamic non cooperative game (with inequality constraints). Further, we provide a way to construct potential functions associated with this optimal control problem. We specialize our general results to a linear quadratic setting and provide a linear complementarity problem based approach for computing the refinements of the open loop Nash equilibria. We illustrate our results with an example inspired by energy storage incentives in a smart grid.


Incorporating a Local Translation Mechanism into Non autoregressive Translation. In this work, we introduce a novel local autoregressive translation (LAT) mechanism into non autoregressive translation (NAT) models so as to capture local dependencies among tar get outputs. Specifically, for each target decoding position, instead of only one token, we predict a short sequence of tokens in an autoregressive way. We further design an efficient merging algorithm to align and merge the out put pieces into one final output sequence. We integrate LAT into the conditional masked language model (CMLM Ghazvininejad et al.,2019) and similarly adopt iterative decoding. Empirical results on five translation tasks show that compared with CMLM, our method achieves comparable or better performance with fewer decoding iterations, bringing a 2.5xspeedup. Further analysis indicates that our method reduces repeated translations and performs better at longer sentences.


Growth of cohomology of arithmetic groups and the stable trace formula the case of U(2,1) . We present a strategy to use the stable trace formula to compute growth in the cohomology of cocompact arithmetic lattices in a reductive group G . We then implement it in the case where G U(2,1) , using results of Rogwaski. This recovers a result of Marshall.


A simple MATLAB program to compute differentiation matrices for arbitrary meshes via Lagrangian interpolation. A MATLAB program for computing differentiation matrices for arbitrary one dimensional meshes is presented in this manuscript. The differentiation matrices for a mesh of N arbitrarily spaced points are formed from those obtained using Lagrangian interpolation on stencils of a fixed but arbitrary number M N of contiguous mesh points. For the particular case M N and meshes with Chebyshev or Legendre distributions of points, the program yields the well known spectral differentiation matrices. For M N and M odd, the differentiation matrices coincide, for the special case of an evenly spaced mesh, with those obtained by central finite differences.


Debiasing Word Embeddings Improves Multimodal Machine Translation. In recent years, pretrained word embeddings have proved useful for multimodal neural machine translation (NMT) models to address the shortage of available datasets. However, the integration of pretrained word embeddings has not yet been explored extensively. Further, pretrained word embeddings in high dimensional spaces have been reported to suffer from the hubness problem. Although some debiasing techniques have been proposed to address this problem for other natural language processing tasks, they have seldom been studied for multimodal NMT models. In this study, we examine various kinds of word embeddings and introduce two debiasing techniques for three multimodal NMT models and two language pairs English German translation and English French translation. With our optimal settings, the overall performance of multimodal models was improved by up to 1.93 BLEU and 2.02 METEOR for English German translation and 1.73 BLEU and 0.95 METEOR for English French translation.


Warfarin dose estimation on multiple datasets with automated hyperparameter optimisation and a novel software framework. Warfarin is an effective preventative treatment for arterial and venous thromboembolism, but requires individualised dosing due to its narrow therapeutic range and high individual variation. Many machine learning techniques have been demonstrated in this domain. This study evaluated the accuracy of the most promising algorithms on the International Warfarin Pharmacogenetics Consortium dataset and a novel clinical dataset of South African patients. Support vectors and linear regression were amongst the top performers in both datasets and performed comparably to recent stacked ensemble approaches, whilst neural networks were one of the worst performers in both datasets. We also introduced genetic programming to automatically optimise model architectures and hyperparameters without human guidance. Remarkably, the generated models were found to match the performance of the best models hand crafted by human experts. Finally, we present a novel software framework (Warfit learn) for warfarin dosing research. It leverages the most successful techniques in preprocessing, imputation, and parallel evaluation, with the goal of accelerating research and making results in this domain more reproducible.


Nonlinear effects in locally resonant nanostrip phononic metasurface at GHz frequencies. In this paper, we report on the observation of nonlinear effects in a nanostrip phononic metasurface (NPM) that enable the tuning of resonance frequencies at 1.42 GHz. The NPM resonator made of periodic nanostrip array is fabricated on a lithium niobate substrate. Each of the nanostrip is 250 nm wide and is made of 680 nm thick SiO2 layer stacking on 50 nm Al metal electrodes. Finite element analysis reveals that the device operates in a vertically polarized (compression) mode with substantial acoustic energy confined in the nanostrips, leading to a local resonance at low acoustic velocity. Due to the nonlinearity, the resonance frequency of the device decreases quadratically with the increase of stimulation power from 10 to 30 dBm. The underlying mechanism of the nonlinearity is found to be the power dependent coupling of the adjacent nanostrips. This coupling induces softening of the substrate surface region, which reduces the acoustic velocity and hence the bulk radiation. As a result, the quality factor of the NPM resonator is found to improve with the increase of stimulation power. The power dependent coupling of nanostrips in the NPM resonator demonstrates a reliable method for the realization of nonlinearity in phononic metasurfaces, which would significantly enrich the mechanisms for the manipulation of surface acoustic waves at high frequencies.


Shard polytopes. For any lattice congruence of the weak order on permutations, N. Reading proved that gluing together the cones of the braid fan that belong to the same congruence class defines a complete fan, called a quotient fan, and V. Pilaud and F. Santos showed that it is the normal fan of a polytope, called a quotientope. In this paper, we provide a simpler approach to realize quotient fans based on Minkowski sums of elementary polytopes, called shard polytopes, which have remarkable combinatorial and geometric properties. In contrast to the original construction of quotientopes, this Minkowski sum approach extends to type B .


Image Encryption Using Elliptic Curves and Rossby Drift Wave Triads. We propose an image encryption scheme based on quasi resonant Rossby drift wave triads (related to elliptic surfaces) and Mordell elliptic curves (MECs). By defining a total order on quasi resonant triads, at a first stage we construct quasi resonant triads using auxiliary parameters of elliptic surfaces in order to generate pseudo random numbers. At a second stage, we employ an MEC to construct a dynamic substitution box (S box) for the plain image. The generated pseudo random numbers and S box are used to provide diffusion and confusion, respectively, in the tested image. We test the proposed scheme against well known attacks by encrypting all gray images taken from the USC SIPI image database. Our experimental results indicate the high security of the newly developed scheme. Finally, via extensive comparisons we show that the new scheme outperforms other popular schemes.


On locally analytic vectors of the completed cohomology of modular curves. We study the locally analytic vectors in the completed cohomology of modular curves and determine the eigenvectors of a rational Borel subalgebra of mathfrak gl 2( mathbb Q p) . As applications, we prove a classicality result for overconvergent eigenforms of weight one and give a new proof of the Fontaine Mazur conjecture in the irregular case under some mild hypotheses. For an overconvergent eigenform of weight k , we show its corresponding Galois representation has Hodge Tate Sen weights 0,k 1 and prove a converse result.


Ultra open High efficiency Ventilated Metamaterial Absorbers with Customized Broadband Performance. High efficiency absorption of low frequency sounds ( 1000 Hz) while maintaining a free flow of fluids remains a significant challenge in acoustical engineering due to the rigid trade off between absorption and ventilation performances. Although ongoing advances in acoustic metamaterials have unlocked unprecedented possibilities and various metamaterial absorbers have been proposed, most of them only work adequately in the condition of no sound transmissions. Unfortunately, such condition requires a complete block of fluid channels due to longitudinal nature of sounds, which allows them to penetrate any small holes. Otherwise, their absorption performance could be drastically degraded and often cannot exceed 50 . This basic trade off between absorption and ventilation performances definitely constrains their applications in daily scenarios where free air flows are necessary. Though some ventilated sound barriers with large transmission loss have been demonstrated, they essentially only reflect sounds, which are still there and even may be reflected back. Here, to overcome this general difficulty, we propose and demonstrate an ultra open ventilated metamaterial absorber. The absorber, aiming at low frequency sounds, simultaneously ensures high performance absorption and ventilation, confirmed in experiments. Their mechanism is understood from an effective model of coupled lossy oscillators. Furthermore, the absorbers can be simply stacked to work in a customized broadband, while maintaining a good ventilation. The demonstrated absorber provides a clear scheme for achieving high performance absorption and ventilation at low frequencies, necessary for applications in environment with free air flows.


Combining GHOST and Casper. We present "Gasper," a proof of stake based consensus protocol, which is an idealized version of the proposed Ethereum 2.0 beacon chain. The protocol combines Casper FFG, a finality tool, with LMD GHOST, a fork choice rule. We prove safety, plausible liveness, and probabilistic liveness under different sets of assumptions.


Laser driven Collisionless Shock Acceleration of Ions from Near critical plasmas. This paper overviews experimental and numerical results on acceleration of narrow energy spread ion beams by an electrostatic collisionless shockwave driven by 1 um (Omega EP) and 10 um (UCLA Neptune Laboratory) lasers in near critical density CH and He plasmas, respectively. Shock waves in CH targets produced high energy 50 MeV protons (energy spread of 30 ) and 314 MeV C6 ions (energy spread of 10 ). Observation of acceleration of both protons and carbon ions to similar velocities is consistent with reflection of particles off the moving potential of a shock front. For shocks driven by CO2 laser in a gas jet, 30 MeV peak in He ion spectrum was detected. Particle in cell simulations indicate that regardless of the target further control over its density profile is needed for optimization of accelerated ion beams in part of energy spread, yield and maximum kinetic energy.


Enhancing Word Embeddings with Knowledge Extracted from Lexical Resources. In this work, we present an effective method for semantic specialization of word vector representations. To this end, we use traditional word embeddings and apply specialization methods to better capture semantic relations between words. In our approach, we leverage external knowledge from rich lexical resources such as BabelNet. We also show that our proposed post specialization method based on an adversarial neural network with the Wasserstein distance allows to gain improvements over state of the art methods on two tasks word similarity and dialog state tracking.


Identification of Biomarkers Driving Blood Cell Development. A blood cell lineage consists of several consecutive developmental stages from the pluripotent or multipotent stem cell to a particular stage of terminally differentiated cells. There is considerable interest in identifying the key regulatory genes that govern blood cell development from the gene expression data without considering the underlying network between transcription factors (TFs) and their target genes. In this study, we introduce a novel expression pattern that key regulators expose along the differentiation path. We deploy this pattern to identify the cell specific key regulators responsible for the development. As proof of concept, we consider this approach to data on six developmental stages from mouse embryonic stem cells to terminally differentiated macrophages.


Why is Homology so Powerful?. My short answer to this question is that homology is powerful because it computes invariants of higher categories. In this article we show how this true by taking a leisurely tour of the connection between category theory and homological algebra.


Simulating the nonlinear interaction of relativistic electrons and tokamak plasma instabilities Implementation and validation of a fluid model. For the simulation of disruptions in tokamak fusion plasmas, a fluid model describing the evolution of relativistic runaway electrons and their interaction with the background plasma is presented. The overall aim of the model is to self consistently describe the nonlinear coupled evolution of runaway electrons (REs) and plasma instabilities during disruptions. In this model, the runaway electrons are considered as a separate fluid species in which the initial seed is generated through the Dreicer source, which eventually grows by the avalanche mechanism (further relevant source mechanisms can easily be added). Advection of the runaway electrons is considered primarily along field lines, but also taking into account the ExB drift. The model is implemented in the nonlinear magnetohydrodynamic (MHD) code JOREK based on Bezier finite elements, with current coupling to the thermal plasma. Benchmarking of the code with the one dimensional runaway electron code GO is done using an artificial thermal quench on a circular plasma. As a first demonstration, the code is applied to the problem of an axisymmetric cold vertical displacement event in an ITER plasma, revealing significantly different dynamics between cases computed with and without runaway electrons. Though it is not yet feasible to achieve fully realistic runaway electron velocities close to the speed of light in complete simulations of slowly evolving plasma instabilities, the code is demonstrated to be suitable to study various kinds of MHD RE interactions in MHD active and disruption relevant plasmas.


Unsupervised Semantic Hashing with Pairwise Reconstruction. Semantic Hashing is a popular family of methods for efficient similarity search in large scale datasets. In Semantic Hashing, documents are encoded as short binary vectors (i.e., hash codes), such that semantic similarity can be efficiently computed using the Hamming distance. Recent state of the art approaches have utilized weak supervision to train better performing hashing models. Inspired by this, we present Semantic Hashing with Pairwise Reconstruction (PairRec), which is a discrete variational autoencoder based hashing model. PairRec first encodes weakly supervised training pairs (a query document and a semantically similar document) into two hash codes, and then learns to reconstruct the same query document from both of these hash codes (i.e., pairwise reconstruction). This pairwise reconstruction enables our model to encode local neighbourhood structures within the hash code directly through the decoder. We experimentally compare PairRec to traditional and state of the art approaches, and obtain significant performance improvements in the task of document similarity search.


Parallel mathematical models of dynamic objects. The paper deals with the developing of the methodological backgrounds for the modeling and simulation of complex dynamical objects. Such backgrounds allow us to perform coordinate transformation and formulate the algorithm of its usage for transforming the serial mathematical model into parallel ones. This algorithm is based on partial fraction decomposition of the transfer function of a dynamic object. Usage of proposed algorithms is one of the ways to decrease calculation time and improve PC usage while a simulation is being performed. We prove our approach by considering the example of modeling and simulating of fourth order dynamical object with various eigenvalues. This example shows that developed parallel model is stable, well convergent, and high accuracy model. There is no defined any calculation errors between well known serial model and proposed parallel one. Nevertheless, the proposed approach's usage allows us to reduce calculation time by more than 20 by using several CPU's cores while calculations are being performed.