| 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
Mathematical Structures in Computer Science | 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 |
\(*\)-liftings for differential privacy
| 2020-05-27 | Paper |
Relational \(\star\)-liftings for differential privacy
| 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}
Journal of Pure and Applied Algebra | 2018-05-11 | Paper |
Approximate relational Hoare logic for continuous random samplings
| 2018-04-23 | Paper |
Codensity liftings of monads
| 2017-07-11 | Paper |
Identifying all preorders on the subdistribution monad
| 2016-05-13 | Paper |
A new type of nonlinear plasma equation. I: Formulation
Journal of the Physical Society of Japan | 2016-04-19 | Paper |
A new type of nonlinear plasma equation. II: Annihilative and transparent interactions of pulses
Journal of the Physical Society of Japan | 2016-04-19 | Paper |
Preorders on monads and coalgebraic simulations
Lecture Notes in Computer Science | 2013-03-18 | Paper |
Inference of Protein-Protein Interactions by Using Co-evolutionary Information
Algebraic Biology | 2007-11-29 | Paper |
scientific article; zbMATH DE number 2226824 (Why is no real title available?)
| 2005-11-08 | Paper |
Multigrid iterative algorithm using pseudo-compressibility for three-dimensional mantle convection with strongly variable viscosity
Journal of Computational Physics | 2005-06-13 | Paper |
Molecular dynamics simulation of a single polymer chain in vacuum and in solution
Computer Physics Communications | 2002-09-12 | Paper |
Dynamics of orientationally ordered domains in a short chain-molecule system: Size dependence of domain oscillation
Computer Physics Communications | 2002-09-12 | Paper |
Dynamical process of coalescence of domains in a short chain-molecule system
Computer Physics Communications | 2002-08-25 | Paper |
Molecular dynamics study of structure formation of a single polymer chain by cooling
Computer Physics Communications | 2002-08-25 | Paper |
Virtual reality system to visualize and auralize numerical simulation data
Computer Physics Communications | 2002-07-24 | Paper |
Computational study of three-dimensional magnetohydrodynamic equilibria in toroidal helical systems
Journal of Computational Physics | 1989-01-01 | Paper |
Development of stochastic webs in a wave-driven linear oscillator
Physica D | 1988-01-01 | Paper |
Self-organization in three-dimensional compressible magnetohydrodynamic flow
The Physics of Fluids | 1988-01-01 | Paper |
Self-organization and energy relaxation in a three-dimensional magnetohydrodynamic plasma
The Physics of Fluids | 1986-01-01 | Paper |
Reply to comments of Montgomery and Matthaeus
The Physics of Fluids | 1986-01-01 | Paper |
Spheromak global instabilities and stabilization by nearby conductors
The Physics of Fluids | 1985-01-01 | Paper |
Simulation studies on line-tying stabilization of spheromak tilting instability
The Physics of Fluids | 1984-01-01 | Paper |
Numerical simulation of slow spheromak formation: Flux control by formation speed
The Physics of Fluids | 1983-01-01 | Paper |
Existence of a negative potential solitary-wave structure and formation of a double layer
The Physics of Fluids | 1982-01-01 | Paper |
Theory of vortex nutation and amplitude oscillation in an inviscid shear instability
Journal of Fluid Mechanics | 1978-01-01 | Paper |
