The following pages link to Tetsuya Sato (Q231248):
Displaying 37 items.
- Identifying all preorders on the subdistribution monad (Q283773) (← links)
- Molecular dynamics simulation of a single polymer chain in vacuum and in solution (Q696566) (← links)
- Dynamics of orientationally ordered domains in a short chain-molecule system: Size dependence of domain oscillation (Q696567) (← links)
- Development of stochastic webs in a wave-driven linear oscillator (Q1108096) (← links)
- Computational study of three-dimensional magnetohydrodynamic equilibria in toroidal helical systems (Q1114555) (← links)
- Approximate relational Hoare logic for continuous random samplings (Q1744393) (← links)
- The Giry monad is not strong for the canonical symmetric monoidal closed structure on \textbf {Meas} (Q1748385) (← links)
- Multigrid iterative algorithm using pseudo-compressibility for three-dimensional mantle convection with strongly variable viscosity (Q1780622) (← links)
- Program logic for higher-order probabilistic programs in Isabelle/HOL (Q2163157) (← links)
- Graded Hoare logic and its categorical semantics (Q2233460) (← links)
- A New Type of Nonlinear Plasma Equation I. Formulation (Q2801151) (← links)
- A New Type of Nonlinear Plasma Equation. II. Annihilative and Transparent Interaction of Pulses (Q2801152) (← links)
- Numerical simulation of slow spheromak formation: Flux control by formation speed (Q3323613) (← links)
- Simulation studies on line-tying stabilization of spheromak tilting instability (Q3329144) (← links)
- Spheromak global instabilities and stabilization by nearby conductors (Q3714728) (← links)
- Self-organization and energy relaxation in a three-dimensional magnetohydrodynamic plasma (Q3723973) (← links)
- Reply to comments of Montgomery and Matthaeus (Q3760178) (← links)
- Self-organization in three-dimensional compressible magnetohydrodynamic flow (Q3786228) (← links)
- Existence of a negative potential solitary-wave structure and formation of a double layer (Q3948817) (← links)
- Theory of vortex nutation and amplitude oscillation in an inviscid shear instability (Q4155998) (← links)
- Codensity Lifting of Monads and its Dual (Q4553284) (← links)
- Preorders on Monads and Coalgebraic Simulations (Q4910417) (← links)
- (Q5111434) (← links)
- (Q5207055) (← links)
- (Q5275349) (← links)
- Inference of Protein-Protein Interactions by Using Co-evolutionary Information (Q5429375) (← links)
- (Q5705174) (← links)
- Molecular dynamics study of structure formation of a single polymer chain by cooling (Q5956320) (← links)
- Dynamical process of coalescence of domains in a short chain-molecule system (Q5956321) (← links)
- Virtual reality system to visualize and auralize numerical simulation data (Q5956343) (← links)
- Divergences on monads for relational program logics (Q6149935) (← links)
- Formalizing statistical causality via modal logic (Q6545574) (← links)
- Optimal operation model of heat pump for multiple residences (Q6629032) (← links)
- Revenue management problem via stochastic programming in the aviation industry (Q6629034) (← links)
- Stochastic programming model for lateral transshipment considering rentals and returns (Q6629036) (← links)
- Semantic foundations of higher-order probabilistic programs in Isabelle/HOL (Q6642998) (← links)
- Approximate span liftings. Compositional semantics for relaxations of differential privacy (Q6654479) (← links)