2,207 results on '"Sato, Tetsuya"'
Search Results
2. Fluctuations in Spin Dynamics Excited by Pulsed Light
3. Formalizing Statistical Causality via Modal Logic
4. Sound and Relatively Complete Belief Hoare Logic for Statistical Hypothesis Testing Programs
5. Divergences on Monads for Relational Program Logics
6. Applying surface tension as pressure boundary condition in free surface flow analysis by moving particle simulation method
7. Measurement of void fraction of zeotropic refrigerant R454C using capacitance-based sensor in horizontal flow configuration
8. Fluctuation theorem for spin transport at insulating ferromagnetic junctions
9. Higher-order probabilistic adversarial computations: Categorical semantics and program logics
10. Experimental investigation of the void fractions of refrigerants R32 and R1234yf in a 1 mm diameter horizontal channel using a capacitance-based method
11. Formalizing Statistical Causality via Modal Logic
12. Task priority reduces an adverse effect of task load on automation trust in a dynamic multitasking environment
13. Sound and relatively complete belief Hoare logic for statistical hypothesis testing programs
14. Appearance of ferromagnetism in Pt(100) ultrathin films originated from quantum-well states
15. Graded Hoare Logic and its Categorical Semantics
16. Experimental investigation of void fraction of R32 refrigerant in horizontal flow configuration using capacitance-based and quick-closing valve-based methods
17. Measurement of the relative permittivity of the liquid phase of R454C with vapor quality change under two-phase condition
18. Hypothesis Testing Interpretations and Renyi Differential Privacy
19. Switching of magnetism via modifying phase shift of quantum-well states by tailoring the interface electronic structure
20. Manipulation of magnetization in Pd(100) ultrathin films with quantum well structure using modification of Schottky barrier potentials
21. Investigation of boiling hydrogen heat transfer characteristics under low-pressure conditions
22. Codensity Lifting of Monads and its Dual
23. Human-Centered Artificial Intelligence: Beyond a Two-Dimensional Framework
24. Program Logic for Higher-Order Probabilistic Programs in Isabelle/HOL
25. Revenue Management Problem via Stochastic Programming in the Aviation Industry
26. Stochastic Programming Model for Lateral Transshipment Considering Rentals and Returns
27. Optimal Operation Model of Heat Pump for Multiple Residences
28. Program logic for higher-order probabilistic programs in Isabelle/HOL
29. Chromatin Immunoprecipitation Sequencing (ChIP-seq) for Detecting Histone Modifications and Modifiers
30. Sexual fate of murine external genitalia development : Conserved transcriptional competency for male-biased genes in both sexes
31. Formal verification of higher-order probabilistic programs
32. Effect of angle of attack on the performance of the supersonic intake for High Mach Integrated Control Experiment (HIMICO)
33. Approximate Span Liftings
34. Statins Reduce Thoracic Aortic Aneurysm Growth in Marfan Syndrome Mice via Inhibition of the Ras‐Induced ERK (Extracellular Signal‐Regulated Kinase) Signaling Pathway
35. ARDS clinical practice guideline 2021
36. Experimental study of high-speed air intake performance by side clearance
37. Fluctuation theorem for spin transport at insulating ferromagnetic junctions
38. Graded Hoare Logic and its Categorical Semantics
39. Relational $\star$-Liftings for Differential Privacy
40. Catalytic NH3 oxidation affected by the nanometric roughness of the platinum overlayer.
41. Spontaneous Distortion and Ferromagnetism Induced by Quantum-well States in Pd(100) Ultrathin Films
42. The Giry Monad is not Strong for the Canonical Symmetric Monoidal Closed Structure on Meas
43. Program Logic for Higher-Order Probabilistic Programs in Isabelle/HOL
44. Classification of frost formation style interacting with mist formation on a flat plate with temperatures ranging from general-low to cryogenic using optical measurements
45. Visible-light-driven oxygen reduction by an anisotropically crystallized CuBi2O4 photocathode fabricated using a mixed metal-imidazole casting method
46. Heat transfer enhancement in pool boiling of liquid nitrogen using a low thermal conductive layer with openings
47. Optimization of Power Plant Operation via Stochastic Programming with Recourse
48. Optimal Operation Model of Heat Pump for Multiple Residences
49. Stochastic Programming Model for Lateral Transshipment Considering Rentals and Returns
50. Revenue Management Problem via Stochastic Programming in the Aviation Industry
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.