中国开放科研知识云: 检索

验证码:

换一张

忘记密码？记住我

取消登录

CORC

首页
科研机构
检索
知识图谱
申请加入
托管服务

在结果中检索

科研机构

西安交通大学 [45]

内容类型

会议论文 [32]

期刊论文 [13]

发表日期

知识图谱

CORC

已提交作品

待认领作品

已认领作品

未提交全文

浏览/检索结果: 共45条，第1-10条

帮助

已选(0)清除条数/页：排序方式：
	PAFSV: A FORMAL FRAMEWORK FOR SPECIFICATION AND ANALYSIS OF SYSTEMVERILOG 期刊论文 COMPUTING AND INFORMATICS, 2016, 卷号: 35, 页码: 143-176 作者: Man, Ka Lok; Lei, Chi-Un; Kapoor, Hemangee K.; Krilavicius, Tomas; Ma, Jieming 收藏 \| 浏览/下载：7/0 \| 提交时间：2019/11/26 circuit verification process algebras formal specification and analysis SystemVerilog PAFSV formal semantics
	The Design of a Smart Power Conversion System as an Undergraduate Cross-Discipline Integrated Design Project 会议论文作者: Lei, Chi-Un; Lee, Christopher H. T.; Kwan, T. O.; Lee, C. K.; Huang, K. B. 收藏 \| 浏览/下载：3/0 \| 提交时间：2019/12/02 project-based learning data sciences energy conversion design project cross-discipline learning project vehicle
	Business buddy: Connecting you and your business partners 会议论文作者: Kwok, Kenneth Kin Pong; Tsui, Ho Wang; Yang, Yichen; Chan, Wai Lun; Man, Ka Lok 收藏 \| 浏览/下载：4/0 \| 提交时间：2019/12/02 Advisory services Business partners Core curriculums Language analysis Management tool Recognition Technical implementation Time management
	Wearable textile substrate patch antennas 期刊论文 Engineering Letters, 2014, 卷号: 22, 期号: [db:dc_citation_issue], 页码: 94-101 作者: Lim, Eng Gee; Wang, Zhao; Wang, Jing Chen; Leach, Mark; Zhou, Rong 收藏 \| 浏览/下载：9/0 \| 提交时间：2019/12/02 Design and analysis Development and utilizations Rectangular-microstrip antennas Textile antennas Wearable Wearable antenna systems Wireless communication devices Wireless communications
	Specification and analysis of Null Convention Logic (NCL) circuits using PAFSV 会议论文作者: Man, Ka Lok; Zhang, Nan; Lei, Chi-Un; Lim, Eng Gee; Ting, T.O. 收藏 \| 浏览/下载：3/0 \| 提交时间：2019/12/02 Algebraic framework Bisimilarity Deduction rule Formal Semantics Formal specification and analysis Null convention logic SystemVerilog Time transition
	NextBUS: A bus transportation advisory system for metropolis 会议论文作者: Ho, Ka Lok; Lee, Chak Fai; Wong, Yat Fung; Choi, Sheung Ting; Cheung, Ka Ho 收藏 \| 浏览/下载：5/0 \| 提交时间：2019/12/02 Advisory systems Core curriculums Hong Kong people Possible futures Route planning Scheduling systems Societal concerns Technical implementation
	DERRT: Disastrous emergency response robot team for cooperative rescue 会议论文作者: Law, Nim Ying; Kwong, Yiu Choi; Lee, Jeffrey Jun Qi; Kwok, Kwun Hang; Lam, Zhao Lang 收藏 \| 浏览/下载：5/0 \| 提交时间：2019/12/02 Cooperative robots Core curriculums Disaster rescue Emergency response Natural disasters Rescue robot Robot teams
	Using learning analytics to analyze writing skills of students: A case study in a technological common core curriculum course 期刊论文 IAENG International Journal of Computer Science, 2014, 卷号: 41, 期号: [db:dc_citation_issue], 页码: 193-197 作者: Lei, Chi-Un; Man, Ka Lok; Ting, T.O. 收藏 \| 浏览/下载：4/0 \| 提交时间：2019/12/02 Automated essay scoring Educational data mining General education Learning analytics Text analysis
	QSC: QuickScan calculator without punching buttons 会议论文作者: Xue, Haotian; Chan, Lo Yuet; Zhang, Ying; Lau, Hei Yeung; Yu, Sai Hung 收藏 \| 浏览/下载：4/0 \| 提交时间：2019/12/02 Arithmetic expression Core curriculums Electronic calculators Formula recognition Optical character recognition (OCR) Possible futures Societal concerns Technical implementation
	State-of-charge for battery management system via Kalman filter 期刊论文 Engineering Letters, 2014, 卷号: 22, 期号: [db:dc_citation_issue], 页码: 75-82 作者: Ting, T.O.; Man, Ka Lok; Lei, Chi-Un; Lu, Chao 收藏 \| 浏览/下载：8/0 \| 提交时间：2019/12/02 Accurate modeling Accurate prediction Battery Management Systems (BMS) Battery modeling Complex dynamic behavior Mathematical derivation State - space models State of charge

相关链接
欧盟学术资源开放存取平台
CALIS高校机构知识库
台湾学术机构典藏
香港机构知识库整合系统
中国科学院机构知识库网格系统

CORC
关于我们
服务条款
隐私条款

联系我们
0931-8270076
cspace@llas.ac.cn
China-OR

中文简体

©版权所有 ©2017 CSpace - Powered by CSpace