Zobrazeno 1 - 10
of 49
pro vyhledávání: '"Minamide, Yasuhiko"'
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
Publikováno v:
In Science of Computer Programming August 2023 230
Autor:
Minamide, Yasuhiko
Publikováno v:
Logical Methods in Computer Science, Volume 12, Issue 2 (June 29, 2016) lmcs:1641
The reachability analysis of weighted pushdown systems is a very powerful technique in verification and analysis of recursive programs. Each transition rule of a weighted pushdown system is associated with an element of a bounded semiring representin
Externí odkaz:
http://arxiv.org/abs/1603.07790
Autor:
Takahashi, Kazuya, Minamide, Yasuhiko
Publikováno v:
コンピュータソフトウェア. 38(No. 2):53-70
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=jairo_______::bcab8e01115cf3582fe17490a8cd8e01
http://t2r2.star.titech.ac.jp/cgi-bin/publicationinfo.cgi?q_publication_content_number=CTT100848891
http://t2r2.star.titech.ac.jp/cgi-bin/publicationinfo.cgi?q_publication_content_number=CTT100848891
Publikováno v:
Lecture notes in computer science, LNCS. 13215
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=jairo_______::50bcf420ba8b409d27ab14339ff30ad0
http://t2r2.star.titech.ac.jp/cgi-bin/publicationinfo.cgi?q_publication_content_number=CTT100875917
http://t2r2.star.titech.ac.jp/cgi-bin/publicationinfo.cgi?q_publication_content_number=CTT100875917
Publikováno v:
In Journal of Applied Logic March 2012 10(1):32-51