中文版 | English

在结果中检索

KMS

浏览/检索结果: 共3条，第1-3条 帮助

已选(0)清除 条数/页：   排序方式：
RefSCAT: Formal Verification of Logic-Optimized Multipliers via Automated Reference Multiplier Generation and SCA-SAT Synergy 期刊论文
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2025, 卷号: 44, 期号: 2, 页码: 791-804
作者:  Rui Li;  Lin Li;  Heng Yu
Adobe PDF(6854Kb)  |  收藏  |  浏览/下载：341/10  |  提交时间：2024/08/26
TMELand: An end-to-end Pipeline for Quantification and Visualization of Waddingtons Epigenetic Landscape based on Gene Regulatory Network 期刊论文
IEEE/ACM TRANSACTIONS ON COMPUTATIONAL BIOLOGY AND BIOINFORMATICS, 2024, 卷号: 21, 期号: 6, 页码: 1604-1612
作者:  Lin Zhu;  Xin Kang;  Chunhe Li;  Jie Zheng
Adobe PDF(4456Kb)  |  收藏  |  浏览/下载：309/0  |  提交时间：2023/07/14
ESampler: Efficient Sampling of Satisfying Assignments for Boolean Formulas 会议论文
LECTURE NOTES IN COMPUTER SCIENCE, Beijing, China, November 25, 2021 - November 27, 2021
作者:  Xu, Yongjie;  Song, Fu;  Chen, Taolue
Adobe PDF(2466Kb)  |  收藏  |  浏览/下载：325/0  |  提交时间：2021/12/17
  • 首页
  • 上一页
  • 1
  • 下一页
  • 末页