We review the use of the Bird-Meertens Formalism as a vehicle for the construction of programs with massive implicit parallelism. We show that a simple result from the theory, concerning the expression of list homomorph-isms, can help us in our search for parallel algorithms and demonstrate its application to some simple problems including the maximum segment sum problem. Our main purpose is to...

The typical behavior of optimal solutions to portfolio optimization problems with absolute deviation and expected shortfall models using replica analysis was pioneeringly estimated by S. Ciliberti et al. [Eur. Phys. B. 57, 175 (2007)]; however, they have not yet developed an approximate derivation method for finding the optimal portfolio with respect to a given return set. In this study, an app...

We present a family of parallel algorithms for simple language recognition problems involving bracket matching. The algorithms are expressed in the Bird-Meertens Formalism, exploiting only list operations which are inherently massively parallel. Our intention is to illustrate the practical eecacy with which such algorithms can be derived and expressed given the support of a well understood theo...

Supersymmetry and Yang-Mills type gauge invariance are two of the essential properties of most, and possibly the most important models in fundamental physics. Supersymmetry is nearly trivial to prove in the (traditionally gauge-noncovariant) superfield formalism, whereas the gauge-covariant formalism makes gauge invariance manifest. In 3+1dimensions, the transformation from one into the other i...

The spin conductance of two-dimensional topological insulators (2D TIs) is not expected to be quantized in the presence perturbations that break spin-rotational symmetry. However, deviation from pristine-limit quantization has yet studied detail. In this paper, we define current operator for helical edge modes a 2D TI and introduce four-terminal setup measure conductances. Using developed forma...

We consider quantum stochastic processes and discuss a level 2.5 large deviation formalism providing an explicit complete characterisation of fluctuations time-averaged quantities, in the large-time limit. analyse two classes dynamics, within this framework. The first class consists jump trajectories related to photon detection; second is state diffusion homodyne detection. For both processes, ...

conclusions according to the results, the old dosimetry formalisms, overestimate the dose especially towards the applicator’s tip. while the tg-43u1 based software perform the calculations more accurately. results for a typical arrangement of 10 active pellets in the applicator, the percentage difference between doses obtained by the new algorithm at 1cm distance from the tip of the applicator ...