PS4 最近の更新履歴 yyasuda's website

The fusion method proposed in this paper comprises a fusion transformation called alge- braic fusion and a strategy called improvement which is useful for refining and reasoning

Definition 1 Given two piles, A and B, where #A ≤ #B and the number of to- kens in the respective pile is counted before the previous player’s move, then, if the previous player

We show that a similar approximation holds also for the cubic variant of the 4-flow conjecture, i.e., that every bridgeless cubic graph without a Petersen minor has a nowhere-

In this section we show that both log-Sobolev and Nash inequalities yield bounds on the spectral profile Λ(r), leading to new proofs of previous mixing time estimates in terms of

By incorporating the chemotherapy into a previous model describing the interaction of the im- mune system with the human immunodeficiency virus HIV, this paper proposes a novel

We use these to show that a segmentation approach to the EIT inverse problem has a unique solution in a suitable space using a fixed point

The variational constant formula plays an important role in the study of the stability, existence of bounded solutions and the asymptotic behavior of non linear ordinary

We now show that the formation of the Harder-Narasimhan filtration commutes with base change, thus establishing the slope filtration theorem; the strategy is to show that a