Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Miyasaka, Yukio
46  Ergebnisse:
Personensuche X
?
1

Transduction Method for AIG Minimization:

, In: 2024 29th Asia and South Pacific Design Automation Conference (ASP-DAC),
Miyasaka, Yukio - p. 398-403 , 2024
Link: https://doi.org/10.1109/..
 
?
2

Formal Verification of Integer Multiplier Circuits Using Bi..:

Kumar, Jitendra ; Miyasaka, Yukio ; Srivastava, Asutosh.
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.  42 (2023)  4 - p. 1365-1378 , 2023
Link: https://doi.org/10.1109/..
 
?
3

Parallel Scheduling Attention Mechanism: Generalization and..:

Yu, Mingfei ; Miyasaka, Yukio ; Fujita, Masahiro
IPSJ Transactions on System and LSI Design Methodology.  15 (2022)  0 - p. 2-15 , 2022
Link: https://doi.org/10.2197/..
 
?
4

SAT-Based Mapping of Data-Flow Graphs onto Coarse-Grained R..:

, In: VLSI-SoC: Design Trends; IFIP Advances in Information and Communication Technology,
Miyasaka, Yukio ; Fujita, Masahiro ; Mishchenko, Alan. - p. 113-131 , 2021
Link: https://doi.org/10.1007/..
 
?
5

Synthesis and Generalization of Parallel Algorithms Conside..:

, In: 2020 21st International Symposium on Quality Electronic Design (ISQED),
Goda, Akihiro ; Miyasaka, Yukio ; Gharehbaghi, Amir Masoud. - p. 123-128 , 2020
Link: https://doi.org/10.1109/..
 
?
6

SAT-Based Data-Flow Mapping Onto Array Processor:

, In: 2020 IFIP/IEEE 28th International Conference on Very Large Scale Integration (VLSI-SOC),
Miyasaka, Yukio ; Fujita, Masahiro - p. 22-27 , 2020
Link: https://doi.org/10.1109/..
 
?
7

Synthesis and Generalization of Parallel Algorithm for Matr..:

Miyasaka, Yukio ; Goda, Akihiro ; Mittal, Ashish.
IPSJ Transactions on System LSI Design Methodology.  13 (2020)  0 - p. 31-34 , 2020
Link: https://doi.org/10.2197/..
 
?
8

Synthesis and Optimization of Multiple Portions of Circuits..:

, In: 2020 Design, Automation & Test in Europe Conference & Exhibition (DATE),
Fujita, Masahiro ; Kimura, Yusuke ; Le, Xingming.. - p. 744-749 , 2020
Link: https://doi.org/10.23919..
 
?
9

Synthesis and optimization of multiple portions of circuits..:

, In: Proceedings of the 23rd Conference on Design, Automation and Test in Europe,
Fujita, Masahiro ; Kimura, Yusuke ; Le, Xingming.. - p. 744-749 , 2020
Link: https://dl.acm.org/doi/1..
 
?
10

Logic Synthesis Meets Machine Learning: Trading Exactness f..:

Rai, Shubham ; Neto, Walter Lau ; Miyasaka, Yukio...
http://arxiv.org/abs/2012.02530.  , 2020
Link: http://arxiv.org/abs/201..
 
?
11

Generation and characterization of cerebellar granule neuro..:

Miyazaki, Haruko ; Nishioka, Saki ; Yamanaka, Tomoyuki...
Transgenic Research.  33 (2024)  3 - p. 99-117 , 2024
Link: https://doi.org/10.1007/..
 
?
12

Quantum-dot-labeled synuclein seed assay identifies drugs m..:

Imamura, Yukio ; Okuzumi, Ayami ; Yoshinaga, Saki...
Communications Biology.  5 (2022)  1 - p. , 2022
Link: https://doi.org/10.1038/..
 
?
13

CRISPR/Cas9-engineered Gad1 elimination in rats leads to co..:

Fujihara, Kazuyuki ; Yamada, Kazuo ; Ichitani, Yukio...
Translational Psychiatry.  10 (2020)  1 - p. , 2020
Link: https://doi.org/10.1038/..
 
?
14

Evaluation of differences and dosimetric influences of beam..:

Tani, Kensuke ; Wakita, Akihisa ; Tohyama, Naoki...
Medical Physics.  47 (2020)  11 - p. 5852-5871 , 2020
Link: https://doi.org/10.1002/..
 
?
15

Density scaling of phantom materials for a 3D dose verifica..:

Tani, Kensuke ; Fujita, Yukio ; Wakita, Akihisa...
Journal of Applied Clinical Medical Physics.  19 (2018)  4 - p. 103-113 , 2018
Link: https://doi.org/10.1002/..
 
1-15