102 results on '"Chung Yang Huang"'
Search Results
2. Joint Sequence Learning and Cross-Modality Convolution for 3D Biomedical Segmentation.
3. Automatic abstraction refinement of TR for PDR.
4. A semi-formal min-cost buffer insertion technique considering multi-mode multi-corner timing constraints.
5. Multi-patch generation for multi-error logic rectification by interpolation with cofactor reduction.
6. SoC HW/SW verification and validation.
7. A robust ECO engine by resource-constraint-aware technology mapping and incremental routing optimization.
8. Speeding Up MPSoC virtual platform simulation by Ultra Synchronization Checking Method.
9. NBM-T-BBX-OS01, Semisynthesized from Osthole, Induced G1 Growth Arrest through HDAC6 Inhibition in Lung Cancer Cells
10. Formal deadlock checking on high-level SystemC designs.
11. A robust functional ECO engine by SAT proof minimization and interpolation techniques.
12. Automatic constraint generation for guided random simulation.
13. Interpolant generation without constructing resolution graph.
14. SAT-controlled redundancy addition and removal: a novel circuit restructuring technique.
15. A false-path aware formal static timing analyzer considering simultaneous input transitions.
16. Improving Constant-Coefficient Multiplier Verification by Partial Product Identification.
17. Scalable exploration of functional dependency by interpolation and incremental SAT solving.
18. QuteSAT: a robust circuit-based SAT solver for complex circuit structure.
19. QuteIP: An IP qualification framework for System on Chip.
20. A High-Throughput and Arbitrary-Distribution Pattern Generator for the Constrained Random Verification.
21. An Ultrasynchronization Checking Method With Trace-Driven Simulation for Fast and Accurate MPSoC Virtual Platform Simulation.
22. Match and Replace: A Functional ECO Engine for Multierror Circuit Rectification.
23. An analysis of ATPG and SAT algorithms for formal verification.
24. Static property checking using ATPG vs. BDD techniques.
25. Assertion checking by combined word-level ATPG and modular arithmetic constraint-solving techniques.
26. To SAT or Not to SAT: Scalable Exploration of Functional Dependency.
27. Mechanistic Insights into the Photoisomerization of N,N′ ‐Disubstituted Indigos
28. LIBRA - a library-independent framework for post-layout performance optimization.
29. Using word-level ATPG and modular arithmetic constraint-solvingtechniques for assertion property checking.
30. AQUILA: An Equivalence Checking System for Large Sequential Designs.
31. To SAT or not to SAT: scalable exploration of functional dependency
32. N,N′-Disubstituted Indigos as Readily Available Red-Light Photoswitches with Tunable Thermal Half-Lives
33. Nickel-Catalyzed Enantioselective Reductive Cross-Coupling of Styrenyl Aziridines
34. Electron-Deficient Olefin Ligands Enable Generation of Quaternary Carbons by Ni-Catalyzed Cross-Coupling
35. Joint Sequence Learning and Cross-Modality Convolution for 3D Biomedical Segmentation
36. The Chemistry of Transition Metals with Three-Membered Ring Heterocycles
37. Directed Nickel-Catalyzed Negishi Cross Coupling of Alkyl Aziridines
38. Chrysin: A Histone Deacetylase 8 Inhibitor with Anticancer Activity and a Suitable Candidate for the Standardization of Chinese Propolis
39. Nickel-Catalyzed Negishi Alkylations of Styrenyl Aziridines
40. Marchantin A, a cyclic bis(bibenzyl ether), isolated from the liverwort Marchantia emarginata subsp. tosana induces apoptosis in human MCF-7 breast cancer cells
41. A validated spectrophotometric method for quantification of prenylated flavanones in pacific propolis from Taiwan
42. Characterisation of Taiwanese propolis collected from different locations and seasons
43. Propolin G, a Prenylflavanone, Isolated from Taiwanese Propolis, Induces Caspase-Dependent Apoptosis in Brain Cancer Cells
44. ChemInform Abstract: Electron-Deficient Olefin Ligands Enable Generation of Quaternary Carbons by Ni-Catalyzed Cross-Coupling
45. NBM-T-BBX-OS01, Semisynthesized from Osthole, Induced G1 Growth Arrest through HDAC6 Inhibition in Lung Cancer Cells
46. ChemInform Abstract: The Chemistry of Transition Metals with Three-Membered Ring Heterocycles
47. ChemInform Abstract: Directed Nickel-Catalyzed Negishi Cross Coupling of Alkyl Aziridines
48. [Untitled]
49. NBM-T-L-BMX-OS01, Semisynthesized from Osthole, Is a Novel Inhibitor of Histone Deacetylase and Enhances Learning and Memory in Rats
50. ChemInform Abstract: Nickel-Catalyzed Negishi Alkylations of Styrenyl Aziridines
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.