Zobrazeno 1 - 10
of 1 537
pro vyhledávání: '"SATO, Tetsuya"'
Autor:
Sato, Tetsuya, Minamide, Yasuhiko
Differential privacy is a statistical definition of privacy that has attracted the interest of both academia and industry. Its formulations are easy to understand, but the differential privacy of databases is complicated to determine. One of the reas
Externí odkaz:
http://arxiv.org/abs/2410.15386
Autor:
Guo, Yangyang, Pašteka, Lukáš F, Nagame, Yuichiro, Sato, Tetsuya K., Eliav, Ephraim, Reitsma, Marten L., Borschevsky, Anastasia
The calculations of the first and the second ionization potentials of lawrencium and lutetium and the electron affinity of lawrencium are performed within the relativistic coupled cluster framework. These results are corrected by including the contri
Externí odkaz:
http://arxiv.org/abs/2405.20572
We theoretically investigate nonequilibrium spin fluctuations in a ferromagnet induced by a light pulse. Using a Lindblad equation consistent with the Landau-Lifshitz-Gilbert equation, we compute the autocorrelation function of magnetization. Our ana
Externí odkaz:
http://arxiv.org/abs/2405.10522
Publikováno v:
Proc. of the 18th European Conference on Logics in Artificial Intelligence (JELIA 2023), Lecture Notes in Computer Science, Vol.14281, pp.681-696, 2023
We propose a formal language for describing and explaining statistical causality. Concretely, we define Statistical Causality Language (StaCL) for expressing causal effects and specifying the requirements for causal inference. StaCL incorporates moda
Externí odkaz:
http://arxiv.org/abs/2210.16751
Publikováno v:
Artificial Intelligence, Vol.326, 104045, Elsevier, 2024
We propose a new approach to formally describing the requirement for statistical inference and checking whether a program uses the statistical method appropriately. Specifically, we define belief Hoare logic (BHL) for formalizing and reasoning about
Externí odkaz:
http://arxiv.org/abs/2208.07074
Autor:
Sato, Tetsuya, Katsumata, Shin-ya
Several relational program logics have been introduced for integrating reasoning about relational properties of programs and measurement of quantitative difference between computational effects. Towards a general framework for such logics, in this pa
Externí odkaz:
http://arxiv.org/abs/2206.05716
Publikováno v:
In Applied Thermal Engineering 1 September 2024 252
Publikováno v:
In International Journal of Heat and Mass Transfer January 2025 236 Part 2
Publikováno v:
Journal of Magnetism and Magnetic Materials, Vol. 546, 168814, 2022
General relations for nonequilibrium spin transport at a magnetic junction between a normal metal and a ferromagnetic insulator are derived from the quantum fluctuation theorem. They include the extended Onsager relations between the spin conductance
Externí odkaz:
http://arxiv.org/abs/2107.03001
Autor:
Aguirre, Alejandro, Barthe, Gilles, Gaboardi, Marco, Garg, Deepak, Katsumata, Shin-ya, Sato, Tetsuya
Adversarial computations are a widely studied class of computations where resource-bounded probabilistic adversaries have access to oracles, i.e., probabilistic procedures with private state. These computations arise routinely in several domains, inc
Externí odkaz:
http://arxiv.org/abs/2107.01155