Pushdown systems (PDSs) are an automata-theoretic formalism for specifying a class of infinite-state transition systems. Infiniteness comes from the fact that each configuration 〈p, S〉 in the state space consists of a (formal) “control location” p coupled with a stack S of unbounded size. PDSs can model program paths that have matching calls and returns, and automaton-based representations allo...

In the past twenty years, damped trend exponential smoothing has performed well in numerous empirical studies and is now well established as an accurate forecasting method. The original motivation for this method was intuitively appealing, but said very little about why or when it provided an optimal approach. The aim of this paper is to provide a theoretical rationale for the damped trend meth...

The background field approach to multi-loop calculations in gauge field theories is presented. A relation between the gauge-invariant effective action computed using this method and the effective action of the conventional functional approach is derived. Feynman rules are given and renormalization is discussed. It is shown that the renormalization programme can be carried out without any refere...

This talk presents details of the calculation of two-loop corrections to heavy baryon currents containing one heavy quark in leading order of the 1/mQ-expansion, i.e. in the limit of Heavy Quark Symmetry (HQS). The calculations lead to the determination of the anomalous dimension of these currents. I also discuss problems with different γ5-schemes and their solution by the finite renormalizatio...

Success in higher education depends on students’ ability to meet the writing requirements of their chosen courses, and in many cases this involves adapting to the literacy practices of particular disciplines. While research into professional academic discourse suggests that it may reflect differences in disciplinary culture and epistemology, there has been relatively little investigation of dis...

We consider the celebrated Cucker-Smale model in finite dimension, modelling interacting collective dynamics and their possible evolution to consensus. The objective of this paper is to study the effect of time delays in the general model. By a Lyapunov functional approach, we provide convergence results to consensus for symmetric as well as nonsymmetric communication weights under some structu...

Fundamental changes in the market environment force insurance intermediaries to redefine their roles. This article focuses on the future functions of brokers, which are analyzed from a functional as well as a customer-oriented perspective. To cope with the limitations of current intermediation research, the customer-value approach is applied as an alternative framework. This approach suggests t...

Wemake the first attempt to discuss stability and boundedness of solutions to stochastic Volterra integrodifferential equations with infinite delay (IDSVIDEs). By the Lyapunov-Krasovskii functional approach, we get kinds of sufficient criteria for stability and boundedness of solutions to IDSVIDEs. The main innovation here is that stochastic systems with infinite delay can retain stability and ...

‎In this paper we study the dynamics of the 2D-motion of a particle of monolayer‎. First we consider the usual physical time component and the plan manifold R2, having the polar coordinates. Then a geometric approach to nonholonomic constrained mechanical systems is applied to a problem from the two dimensional geometric dynamics of the Langmuir-Blodgett monolayer‎. We consider a constraint sub...