Miki Tanaka - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 22 from 22

2023

2022

A Detection Method of Temporally Operated Videos Using Robust HashingShoko Niwa, Miki Tanaka, Hitoshi Kiya. gcce 2022: 144-147 [doi]

On the Transferability of Adversarial Examples between Encrypted ModelsMiki Tanaka, Isao Echizen, Hitoshi Kiya. ispacs 2022: 1-4 [doi]

2021

Fake-image detection with Robust HashingMiki Tanaka, Hitoshi Kiya. lifetech 2021: 40-43 [doi]

A universal detector of CNN-generated images using properties of checkerboard artifacts in the frequency domainMiki Tanaka, Sayaka Shiota, Hitoshi Kiya. gcce 2021: 103-106 [doi]

A Detection Method of Operated Fake-Images Using Robust HashingMiki Tanaka, Sayaka Shiota, Hitoshi Kiya. jimaging, 7(8):134, 2021. [doi]

2020

2 Ultra High Density SRAM Macro using 7nm FinFET Technology with Dual-Edge Driven Wordline/Bitline and Write/Read-Assist CircuitYoshisato Yokoyama, Miki Tanaka, Koji Tanaka, Masao Morimoto, Makoto Yabuuchi, Yuichiro Ishii, Shinji Tanaka. vlsic 2020: 1-2 [doi]

2018

A 28-nm 1R1W Two-Port 8T SRAM Macro With Screening Circuitry Against Read Disturbance and Wordline Coupling Noise FailuresMakoto Yabuuchi, Yasumasa Tsukamoto, Hidehiro Fujiwara, Miki Tanaka, Shinji Shinji, Koji Nii. tvlsi, 26(11):2335-2344, 2018. [doi]

2016

2 16-nm FinFET double pumping 1W1R 2-port SRAM with 313 ps read access timeMakoto Yabuuchi, Yohei Sawada, Toshiaki Sano, Yuichiro Ishii, Shinji Tanaka, Miki Tanaka, Koji Nii. vlsic 2016: 1-2 [doi]

2015

2 ternary-CAM macro with 484 ps search access time in 16 nm Fin-FET bulk CMOS technologyYasumasa Tsukamoto, Masao Morimoto, Makoto Yabuuchi, Miki Tanaka, Koji Nii. vlsic 2015: 274 [doi]

A cost effective test screening method on 40-nm 4-Mb embedded SRAM for low-power MCUYoshisato Yokoyama, Yuichiro Ishii, Toshihiro Inada, Koji Tanaka, Miki Tanaka, Yoshiki Tsujihashi, Koji Nii. asscc 2015: 1-4 [doi]

2014

13.3 20nm High-density single-port and dual-port SRAMs with wordline-voltage-adjustment system for read/write assistsMakoto Yabuuchi, Yasumasa Tsukamoto, Masao Morimoto, Miki Tanaka, Koji Nii. isscc 2014: 234-235 [doi]

2009

Axiomatics for Data Refinement in Call by Value Programming LanguagesJohn Power, Miki Tanaka. ENTCS, 225:281-302, 2009. [doi]

2008

Category Theoretic Semantics for Typed Binding Signatures with RecursionJohn Power, Miki Tanaka. FUIN, 84(2):221-240, 2008. [doi]

2007

Formal Proof of Provable Security by Game-Playing in a Proof AssistantReynald Affeldt, Miki Tanaka, Nicolas Marti. provsec 2007: 151-168 [doi]

2006

Pseudo-distributive laws and axiomatics for variable bindingMiki Tanaka, John Power. lisp, 19(2-3):305-337, 2006. [doi]

A Unified Category-theoretic Semantics for Binding Signatures in Substructural LogicsMiki Tanaka, John Power. logcom, 16(1):5-25, 2006. [doi]

2005

Binding Signatures for Generic ContextsJohn Power, Miki Tanaka. tlca 2005: 308-323 [doi]

A unified category-theoretic formulation of typed binding signaturesMiki Tanaka, John Power. ICFP 2005: 13-24 [doi]

2000

Abstract Syntax and Variable Binding for Linear BindersMiki Tanaka. mfcs 2000: 670-679 [doi]

Sign in or sign up to see more results.

runs on WebDSL