関連したドキュメント
Kyoto University Research Information Repository https://repository.kulib.kyoto-u.ac.jp.. A Self-archived
redex search token passing reduction diagram rewriting. computation
Under the map Υ ◦ Φ, the (A, S)-involutions are in bijection with A-compatible ornaments such that (i) there are only 1-cycles and 2-cycles; (ii) any 2-cycle has vertices of
The present paper shows how to assess the contribution made by negative selection relative to other tolerisation mechanisms by deducing the impact of negative selection on the T
The set of families K that we shall consider includes the family of real or imaginary quadratic fields, that of real biquadratic fields, the full cyclotomic fields, their maximal
In [9], it was shown that under diffusive scaling, the random set of coalescing random walk paths with one walker starting from every point on the space-time lattice Z × Z converges
We find the criteria for the solvability of the operator equation AX − XB = C, where A, B , and C are unbounded operators, and use the result to show existence and regularity
In the further part, using the generalized Dirac matrices we have demonstrated how we can, from the roots of the d’Alembertian operator, generate a class of relativistic