Tetsuya Sato

Available identifiers

zbMath Open sato.tetsuyaMaRDI QIDQ231248

List of research outcomes

Publication	Date of Publication	Type
Approximate span liftings. Compositional semantics for relaxations of differential privacy	2024-12-19	Paper
Semantic foundations of higher-order probabilistic programs in Isabelle/HOL	2024-11-26	Paper
Optimal operation model of heat pump for multiple residences	2024-10-29	Paper
Revenue management problem via stochastic programming in the aviation industry	2024-10-29	Paper
Stochastic programming model for lateral transshipment considering rentals and returns	2024-10-29	Paper
Formalizing statistical causality via modal logic	2024-05-29	Paper
Divergences on monads for relational program logics	2024-03-05	Paper
Program logic for higher-order probabilistic programs in Isabelle/HOL	2022-08-10	Paper
Graded Hoare logic and its categorical semantics	2021-10-18	Paper
https://portal.mardi4nfdi.de/entity/Q5111434	2020-05-27	Paper
https://portal.mardi4nfdi.de/entity/Q5207055	2020-01-03	Paper
Codensity Lifting of Monads and its Dual	2018-11-02	Paper
The Giry monad is not strong for the canonical symmetric monoidal closed structure on \textbf {Meas}	2018-05-11	Paper
Approximate relational Hoare logic for continuous random samplings	2018-04-23	Paper
https://portal.mardi4nfdi.de/entity/Q5275349	2017-07-11	Paper
Identifying all preorders on the subdistribution monad	2016-05-13	Paper
A new type of nonlinear plasma equation. I: Formulation	2016-04-19	Paper
A new type of nonlinear plasma equation. II: Annihilative and transparent interactions of pulses	2016-04-19	Paper
Preorders on Monads and Coalgebraic Simulations	2013-03-18	Paper
Inference of Protein-Protein Interactions by Using Co-evolutionary Information	2007-11-29	Paper
https://portal.mardi4nfdi.de/entity/Q5705174	2005-11-08	Paper
Multigrid iterative algorithm using pseudo-compressibility for three-dimensional mantle convection with strongly variable viscosity	2005-06-13	Paper
Molecular dynamics simulation of a single polymer chain in vacuum and in solution	2002-09-12	Paper
Dynamics of orientationally ordered domains in a short chain-molecule system: Size dependence of domain oscillation	2002-09-12	Paper
Dynamical process of coalescence of domains in a short chain-molecule system	2002-08-25	Paper
Molecular dynamics study of structure formation of a single polymer chain by cooling	2002-08-25	Paper
Virtual reality system to visualize and auralize numerical simulation data	2002-07-24	Paper
Computational study of three-dimensional magnetohydrodynamic equilibria in toroidal helical systems	1989-01-01	Paper
Development of stochastic webs in a wave-driven linear oscillator	1988-01-01	Paper
Self-organization in three-dimensional compressible magnetohydrodynamic flow	1988-01-01	Paper
Self-organization and energy relaxation in a three-dimensional magnetohydrodynamic plasma	1986-01-01	Paper
Reply to comments of Montgomery and Matthaeus	1986-01-01	Paper
Spheromak global instabilities and stabilization by nearby conductors	1985-01-01	Paper
Simulation studies on line-tying stabilization of spheromak tilting instability	1984-01-01	Paper
Numerical simulation of slow spheromak formation: Flux control by formation speed	1983-01-01	Paper
Existence of a negative potential solitary-wave structure and formation of a double layer	1982-01-01	Paper
Theory of vortex nutation and amplitude oscillation in an inviscid shear instability	1978-01-01	Paper

Research outcomes over time

This page was built for person: Tetsuya Sato