PAX 8 positive synovial sarcoma

by Miriam Fewtrell, Patricia Symons, Angela M. Hong, Peter Luk, Roland Jiang
Published 2021-06-01

Resource-Aware Asynchronous Circuit Synthesis on FPGA and a Case Study of Secure AES Design

by Yi-Fan Chang, 張奕凡
Published 2019

Generalization and Improvement of Static Performance Analysis for Asynchronous Circuit Optimization

by Chun-Hong Shih, 施淳浤
Published 2016

Control Algorithm of Reconfigurable Battery Pack under Dynamic Loads

by Shih-Yu Chen, 陳識宇
Published 2017

Low Power FPGA Optimization by Voltage Scaling and Body Biasing

by Hong-Yuan Lin, 林鴻源
Published 2007

A Study of Gaussian Elimination on Boolean Satisfiability and Craig Interpolation

by Cheng-Shen Han, 韓承駪
Published 2012

Unified Certification of Quantified Boolean Formula Evaluation

by Valeriy Balabanov, 包偉力
Published 2011

High-Level Synthesis of Finite-Field Arithmetic Circuits Using Abstract Algebra

by Bing-Yuan Chen, 陳炳元
Published 2011

Inductive Equivalence Checking and Relation Determinization via SAT Solving

by Wei-Lun Hung, 洪偉倫
Published 2008

Robust Arithmetic Computation with Chemical Reactions

by Chi-Yun Cheng, 鄭棋勻
Published 2012

Uncovering the Bursting Phenomenon of Gene Transcription in Prokaryotes

by Fu-Rong Wu, 吳阜融
Published 2012

Multiset Constraint Solving and Its Applications

by Ko-Lung Yuan, 袁克倫
Published 2013

Scalable Synthesis of Safety Games and Low-Power Retention Using Satisfiability Solving

by Ting-Wei Chiang, 江庭瑋
Published 2015

String Analysis with Logic Circuit Representation: Theory and Applications

by Hung-En Wang, 王宏恩
Published 2016

String Analysis with Logic Circuit Representation: Implementation and Optimization

by Tzung-Lin Tsai, 蔡宗霖
Published 2016

Reconstructing and Utilizing Circuit Information in Quantified Boolean Formula Solving

by Tzu-Chien Hsu, 徐子騫
Published 2016

Optimal Battery Configurations and Control Strategies under Dynamic Loads

by Chi-Yung Feng, 馮其湧
Published 2016