| 臺大學術典藏 |
2020-06-11T06:44:54Z |
Constraint generation for software-based post-silicon bug masking with scalable resynthesis technique for constraint optimization
|
Chang, C.-W.;Chou, H.-Z.;Chang, K.-H.;Jiang, J.-H.R.;Liu, C.-N.J.;Hsiao, C.-H.;Kuo, S.-Y.; Chang, C.-W.; Chou, H.-Z.; Chang, K.-H.; Jiang, J.-H.R.; Liu, C.-N.J.; Hsiao, C.-H.; Kuo, S.-Y.; SY-YEN KUO |
| 臺大學術典藏 |
2018-09-10T08:47:27Z |
Constraint Generation for Software-Based Post-Silicon Bug Repair with Scalable Resynthesis Technique for Constraint Optimization
|
Chia-Wei Chang; Hong-Zu Chou; Kai-Hui Chang; Jie-Hong R. Jiang; Chien-Nan Liu; Sy-Yen Kuo; JIE-HONG JIANG |
| 臺大學術典藏 |
2018-09-10T07:03:49Z |
Constraint graph-based macro placement for modern mixed-size circuit designs
|
Chen, H.-C.; Chuang, Y.-L.; Chang, Y.-W.; Chang, Y.-C.; YAO-WEN CHANG |
| 南台科技大學 |
1994-03 |
Constraint Maintenance in Relational Databases-Based on First Order Logic
|
陳俊男 ; Chen, Chun-Nan |
| 臺大學術典藏 |
2018-09-10T08:41:16Z |
Constraint on parity-violating muonic forces
|
Barger, Vernon and Chiang, Cheng-Wei and Keung, Wai-Yee and Marfatia, Danny; CHENG-WEI CHIANG |
| 國立成功大學 |
2017 |
Constraint on the branching ratio of Bc- →τ ν from LEP1 data and consequences for R (D (?)) anomaly
|
Akeroyd, Akeroyd A.G.;Chen, Chen C.-H. |
| 亞洲大學 |
2004-10 |
Constraint Propagation and Progressive Verification for Component-based Process Model
|
蔡進發;Jeffrey, J.P.Tsai |
| 國立交通大學 |
2014-12-08T15:15:18Z |
Constraint relaxation and annealed belief propagation for binary networks
|
Chen, Yen-Chih; Su, Yu T. |
| 臺大學術典藏 |
2021-09-02T00:05:32Z |
Constraint Solving for Synthesis and Verification of Threshold Logic Circuits
|
Lee N.-Z;Jiang J.-H.R.; Lee N.-Z; Jiang J.-H.R.; JIE-HONG JIANG |
| 國立交通大學 |
2014-12-08T15:49:12Z |
Constraint time buffer determination model
|
Tu, YM; Li, RK |
| 國立交通大學 |
2014-12-08T15:36:38Z |
Constraint Trajectory Surface-Hopping Molecular Dynamics Simulation of the Photoisomerization of Stilbene
|
Lei, Yibo; Wu, Shaomei; Zhu, Chaoyuan; Wen, Zhenyi; Lin, Sheng-Hsien |
| 國立交通大學 |
2014-12-08T15:49:16Z |
Constraint violation stabilization using input-output feedback linearization in multibody dynamic analysis
|
Chiou, JC; Wu, SD |
| 國立成功大學 |
2015-02-15 |
Constraint-activated differential evolution for constrained min-max optimization problems: Theory and methodology
|
Guo, Shu-Mei; Yang, Chin-Chang; Chang, Hsin-Yu; Tsai, Jason Sheng-Hong |
| 國立交通大學 |
2018-08-21T05:56:31Z |
Constraint-Based Attribute Reduction in Rough Set Analysis
|
Fan, Tuan-Fang; Liau, Churn-Jung; Liu, Duen-Ren |
| 國立臺灣科技大學 |
2009 |
Constraint-based clustering and its applications in construction management
|
Cheng Y.-M.; Leu S.-S. |
| 國立臺灣科技大學 |
2008 |
Constraint-based clustering model for determining contract packages of bridge maintenance inspection
|
Cheng, Y.-M.;Leu, S.-S. |
| 國立成功大學 |
2013-11 |
Constraint-based Correspondence Matching for Stereo-based Interactive Robotic Massage Machine
|
Wang, Yu-Chih; Wu, Chia-Yu; Chung, Pau-Choo |
| 元智大學 |
2010-07 |
Constraint-Based Dogleg Channel Routing with Via Minimization
|
曾奕倫; 陳煥文 (Huan-Wen Chen); 李哲逸 (Che-I Lee); Adam Postula |
| 元智大學 |
2005-02 |
Constraint-based fuzzy models for an environment with heterogeneous information granules
|
賴國華; David Chiang |
| 元智大學 |
2006-05 |
Constraint-based fuzzy models for an environment with heterogeneous information-granules
|
賴國華; Yi-Yuan Chang |
| 元智大學 |
2006-06 |
Constraint-based software specifications and verification using UML
|
范金鳳; 鄭淳尹／C. Cheng |
| 元智大學 |
2004-12 |
Constraint-based Software Specifications for Safety-critical Applications
|
吳嘉國; 范金鳳 |
| 元智大學 |
2009-10 |
Constraint-directed Business Simulation for Supporting Game-based Problem-based Learning
|
賴國華; Chung Cheng Tseng; Chung Hsien Lan |
| 南亞技術學院 |
2009/10/19 |
Constraint-directed Business Simulation for Supporting Game-based Problem-based Learning
|
藍中賢 |
| 臺大學術典藏 |
2020-02-27T01:50:10Z |
Constraint-induced movement therapy as a paradigm of translational research in neurorehabilitation: Reviews and prospects
|
Huang W.-C. ;Chen Y.-J. ;Chung-Liang Chien ;Kashima H. ;Lin K.; Huang W.-C.; Chen Y.-J.; CHUNG-LIANG CHIEN; Kashima H.; Lin K. |
