Related papers: Composition and Weight Pushing of Monotonic Subseq…
Monotone frameworks is one of the most successful frameworks for intraprocedural data flow analysis extending the traditional class of bitvector frameworks (like live variables and available expressions). Weighted pushdown systems is…
Persistent currents and Drude weights are investigated for the tight-binding approximation to one-dimensional rings threaded by a magnetic flux and with potential given by some almost-periodic substitution sequences with different degrees…
The failure probabilities or the strength distributions of heterogeneous 1D systems with continuous local strength distribution and local load sharing have been studied using a simple, exact, recursive method. The fracture behavior depends…
We have developed a coupled-mode analysis framework for superconducting travelling-wave parametric amplifiers using the full Telegrapher's equations to incorporate loss-related behaviour. Our model provides an explanation of previous…
Not all contracts are good, but all good contracts can be expressed as a finite-state transition system ("State-Transition Contracts"). Contracts that can be represented as State-Transition Contracts discretize fat-tailed risk to…
Mixture transition distribution time series models build high-order dependence through a weighted combination of first-order transition densities for each one of a specified number of lags. We present a framework to construct stationary…
It is shown that shape preservation is decidable for top-down tree transducers, bottom-up tree transducers, and for compositions of total deterministic macro tree transducers. Moreover, if a transducer is shape preserving, then it can be…
An integro-differential equation of hyperbolic type, with mixed boundary conditions, is considered. A continuous space-time finite element method of degree one is formulated. A posteriori error representations based on space-time cells is…
We propose a structure of a semiparametric two-component mixture model when one component is parametric and the other is defined through L-moments conditions. Estimation of a two-component mixture model with an unknown component is very…
A new method of composition orthogonality is introduced. It is applied to generate new sequences of orthogonal polynomials and functions. In particular, classical orthogonal polynomials are interpreted in the sense of composition…
Memory constraint of always-on devices is one of the major concerns when deploying speech processing models on these devices. While larger models trained with sufficiently large amount of data generally perform better, making them fit in…
Often in Software Engineering, a modeling formalism has to support scenarios of inconsistency in which several requirements either reinforce or contradict each other. Paraconsistent transition systems are proposed in this paper as one such…
Piezoelectric devices, such as piezoelectric traveling wave rotary ultrasonic motors, have composite piezoelectric structures. A composite piezoelectric structure consists of a combination of two or more bonded materials, where at least one…
Semiring parsing is an elegant framework for describing parsers by using semiring weighted logic programs. In this paper we present a generalization of this concept: latent-variable semiring parsing. With our framework, any semiring…
Imprecise probability is concerned with uncertainty about which probability distributions to use. It has applications in robust statistics and machine learning. We look at programming language models for imprecise probability. Our…
A topological superconductor features at its boundaries and vortices Majorana fermions, which are potentially applicable for topological quantum computations. The scarcity of the known experimentally verified physical systems with…
We continue to develop a new approach to description of charge kinetics in disordered semiconductors. It is based on fractional diffusion equations. This article is devoted to transient processes in structures under dispersive transport…
A weighted version of the parareal method for parallel-in-time computation of time dependent problems is presented. Linear stability analysis for a scalar weighing strategy shows that the new scheme may enjoy favorable stability properties…
The predictive Bayesian view involves eliciting a sequence of one-step-ahead predictive distributions in lieu of specifying a likelihood function and prior distribution. Recent methods have leveraged predictive distributions which are…
The finite element method is one of the widely employed numerical techniques in electrical engineering for the study of electric and magnetic fields. When applied to the moving conductor problems, the finite element method is known to have…