We consider a general class of high order weak approximation schemes for stochastic differential equations driven by Lévy processes with infinite activity. These schemes combine a compound Poisson approximation for the jump part of the Lévy process with a high order scheme for the Brownian driven component, applied between the jump times. The overall approximation is analyzed using a stochastic...

The interplay of nematicity and superconductivity has been observed in a wide variety quantum materials. To explore this interplay, we consider two-dimensional (2D) array nematogens, local droplets with Z3 nematicity, coupled to network Josephson junction wires. Using finite temperature classical Monte Carlo simulations, elucidate the phase diagram model show that development superconducting co...

A nite representation of the prime event structure corresponding to the behaviour of a program is suggested. The algorithm of linear complexity using this representation for model checking of the formulas of Discrete Event Structure Logic without past modalities is given. A method of building nite representations of event structures in an eecient way by applying partial order reductions is prov...

In this study we show that constituency is of limited importance for a proper treatment of the interaction between the linear position of a wa-marked nominal in a Japanese sentence and possible domains of contrastive focus, and that constraints concerning contrastive focus should be represented in terms of linear order and not constituency. Linearisation HPSG, where linear order is independent ...

Aggregated Markov models are a widely used tool to model patch clamp data measured from single ion channels. These channels must obey the principle of detailed balance in thermodynamic equilibrium; otherwise, the channel is driven by an external source of energy. We investigate the power of a likelihood ratio test for detailed balance for a number of data points which is in the order of magnitu...

In recent years, the Indian Ocean (IO) has been discovered to have a much larger impact on climate variability than previously thought. This paper reviews processes in which the IO is, or appears to be, actively involved. We begin the mathematical model with a pattern for summer monsoon winds. Three dimensional temperature and velocity fields are calculated analytically for the ocean forced by ...

So-called `latency' refers to the various small but significant time delays that occur in course of communications between a trader and market. Such happen an exchange streams market data trader, at which processes information decides trade, receives order from trader. Latency is challenge faced by all traders great importance modern financial markets. In present work, we develop mathematical m...