We investigate the possibility of observing strong interactions of longitudinally polarized weak vector bosons in the process γγ → ZZ at a photon linear collider. We make use of polarization of the photon beams and cuts on the decay products of the Z bosons to enhance the signal relative to the background of transversely polarized ZZ pairs. We find that the background overwhelms the signal unle...

In this paper, we will discusse the strong optimality of general interval linear program (IvLP), that is, the IvLP has an optimal solution for each realization, and some necessary and sufficient conditions are established, based on the duality theory. Keywordsoptimal solution; strongly feasible; duality;

We present numerical schemes for the strong solution of linear stochastic differential equations driven by an arbitrary number of Wiener processes. These schemes are based on the Neumann (stochastic Taylor) and Magnus expansions. Firstly, we consider the case when the governing linear diffusion vector fields commute with each other, but not with the linear drift vector field. We prove that nume...

We consider a fuzzy linear system with crisp coefficient matrix and with an arbitrary fuzzy number in parametric form on the right-hand side. It is known that the well-known existence and uniqueness theorem of a strong fuzzy solution is equivalent to the following: The coefficient matrix is the product of a permutation matrix and a diagonal matrix. This means that this theorem can be applicable...

Here we investigate the kinetics of water-assisted CVD (henceforth denoted as supergrowth CVD) by a quantitative time-evolution analysis based on a simple growth model. We found that the supergrowth can be well described by a model where the dynamics of the catalyst activity is treated similar to radioactive decay. An in-depth analysis based on this growth model revealed the kinetics of the sup...

In [5] it is shown how a model for the logic of constructible duality is a symmetric monoidal closed category with products, that is, a model of linear logic. Remarkably, Nelson’s strong negation∼ behaves as linear duality ⊥. We compare it with some previous results from [4] regarding stable models in a linear logic setting, and suggest some further lines to explore. 1. From Ncd to linear logic...

In the present paper we introduce the notion of strong backdoors into the field of temporal logic for the CNF-fragment of linear temporal logic introduced by Fisher. We study the parameterised complexity of the satisfiability problem parameterised by the size of the backdoor. We distinguish between backdoor detection and evaluation of backdoors into the fragments of horn and krom formulas. Here...

Mutagenesis is a process which forces the coverage of certain zones of the search space during the generations of an evolution strategy, by keeping track of the covered ranges for the different variables in the so called gene matrix. Originally introduced as an artifact to control the automated stopping criterion in a memetic algorithm, ESLAT, it also improved the exploration capabilities of th...

We provide an alternative proof of the strong duality theorem whose main step is a proposition which says that every canonical linear programming minimization problem whose image under its objective function of the set of feasible solutions is non-empty and bounded below has an optimal solution. Unlike earlier proofs, this proof neither uses the simplex method, nor does it use Farkas’s lemma. W...