This paper is an attempt to apply the reasoning principles and calculational style underlying the so-called Bird-Meertens formalism to the design of process calculi, parametrized by a behaviour model. In particular, basically equational and pointfree proofs of process properties are given, relying on the universal characterisation of anamorphisms and therefore avoiding the explicit construction...

We show how wavelet techniques allow to derive irregularity properties of functions on two particular examples: Lacunary Fourier series and some Gaussian random processes. Then, we work out a general derivation of the multifractal formalism in the sequence setting, and derive some of its properties.

“T-fold” backgrounds are generically-nongeometric compactifications of string theory, described by T fibrations over a base N with transition functions in the perturbative T-duality group. We review Hull’s doubled torus formalism, which geometrizes these backgrounds, and use the formalism to constrain the D-brane spectrum (to leading order in gs and α ) on T fibrations over S with O(n, n;Z) mon...

The quality of a model induced by a learning algorithm is dependent upon the training data and the hyperparameters supplied to the learning algorithm. Prior work has shown that a model’s quality can be significantly improved by filtering out low quality instances or by tuning the learning algorithm hyperparameters. The potential impact of filtering and hyperparameter optimization (HPO) is large...

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...

We report theoretical studies based on density functional theory within spin-orbit coupling to explore electronic structures, lattice dynamical properties of ZrSbTe and HfSbTe. With spin−orbit included, our findings reveal that HfSbTe exhibit a semiconducting behavior with narrow indirect band gaps 0.10 eV, 0.15 respectively. Besides, the revealed explored materials antimonide−tellurides are dy...

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...