We introduce a new concept of general $G$-$eta$-monotone operator generalizing the general $(H,eta)$-monotone operator cite{arvar2, arvar1}, general $H-$ monotone operator cite{xiahuang} in Banach spaces, and also generalizing $G$-$eta$-monotone operator cite{zhang}, $(A, eta)$-monotone operator cite{verma2}, $A$-monotone operator cite{verma0}, $(H, eta)$-monotone operator cite{fanghuang}...

We describe in this paper formalisations for the properties of weakening, type-substitutivity, subject-reduction and termination of the usual big-step evaluation relation. Our language is the lambda-calculus whose simplicity allows us to show actual theorem-prover code of the formal proofs. The formalisations are done in Nominal Isabelle, a definitional extention of the theorem prover Isabelle/...

Gurevich’s Abstract State Machines (ASMs) are computational models of systems specified in a high level language (ASM-SL). In this paper, we investigate the pros and cons of the automatic verification of ASM models using the ASM-Workbench and its extention ASM-SMV, which supports computer-aided verification by model checking. The results obtained are based on the validation and verification of ...

We present preliminary results for the ∆I = 3/2 kaon decay matrix elements using domain wall fermions and the DBW2 gauge action at one coarse lattice spacing corresponding to a−1 = 1.3 GeV. We employ an extention of the Lellouch and Lüscher formula for non-zero total momentum to extract the infinite volume, center-of-mass system decay amplitudes. We compare the result of ReA2 with previous resu...

Synthetic populations are used to study methods for adapting Efron’s bootstrap estimation technique to finite population sampling. Of particular interest is the extention of these methods to two-stage cluster sampling. Using simulations based on five artificial populations, two variations of bootstrap estimators and two Taylor series variance estimators for a ratio estimator are compared by mea...

Milgrom has proposed that the appearance of discrepancies between the Newtonian dynamical mass and the directly observable mass in astronomical systems could be due to a breakdown of Newtonian dynamics in the limit of low accelerations rather than the presence of unseen matter. Milgrom’s hypothesis, modified Newtonian dynamics or MOND , has been remarkably successful in explaining systematic pr...

In previous work we derived the topological terms in the M-theory action in terms of certain characters that we defined. In this paper, we propose the extention of these characters to include the dual fields. The unified treatment of the M-theory four-form field strength and its dual leads to several observations. In particular we elaborate on the possibility of a twisted cohomology theory with...

Prior knowledge can be introduced into system identiication problems in terms of constraints on the parameter space, or regularizing penalty functions in a prediction error criterion. The contribution of this work is mainly an extention of the well known FPE (Final Prediction Error) statistic to the case when the system identiication problem is constrainted and contains a regularization penalty...