QQ客服 官方微博 反馈留言

浏览/检索结果: 共4条，第1-4条 帮助 限定条件 内容类型：期刊论文    专题：西安交通大学    第一署名单位    第一作者单位    通讯作者单位     已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 Incremental Topological Surface Reconstruction from Massive Point Cloud Data 期刊论文 Jisuanji Fuzhu Sheji Yu Tuxingxue Xuebao/Journal of Computer-Aided Design and Computer Graphics, 2017, 卷号: 29, 页码: 2117-2122 作者:  Bo, Zhicheng;  Sun, Dianzhu;  Li, Yanrui;  Xu, Zhao 收藏  |  浏览/下载：3/0  |  提交时间：2019/11/26 Delau-nay triangulations  Local Delaunay triangulation  Local reconstruction process  Point cloud  Sampling densities  Surface reconstruction algorithms  Topological correctness  Triangular meshes   Implementation of WHO multimodal strategy for improvement of hand hygiene: a quasi-experimental study in a Traditional Chinese Medicine hospital in Xi'an, China 期刊论文 ANTIMICROBIAL RESISTANCE AND INFECTION CONTROL, 2017, 卷号: 6 作者:  Shen, Li;  Wang, Xiaoqing;  An, Junming;  An, Jialu;  Zhou, Ning 收藏  |  浏览/下载：3/0  |  提交时间：2019/11/26 Healthcare-associated infection  Compliance  Correctness  Hand hygiene   Design and correctness proof of a security protocol for mobile banking 期刊论文 Bell Labs Technical Journal, 2009, 卷号: 14, 期号: 1, 页码: 259-266 作者:  Li, Dalton;  Lin, David;  Zhao, Grace;  Huang, Brian 收藏  |  浏览/下载：5/0  |  提交时间：2019/12/18 Application layer securities  Correctness proofs  Design technologies  In-depth analysis  Security properties  Security protocols  Strand Space model  Strong securities   Rigorous development of fault-tolerant transactions for information retrieval systems using event-B 期刊论文 Information Technology Journal, 2008, 卷号: 7, 期号: 6, 页码: 868-875 作者:  Gao, Hong-Jiang;  Sun, Hong;  Xu, Bang-Hai;  He, Ying;  Qin, Zheng 收藏  |  浏览/下载：3/0  |  提交时间：2019/12/18 Abstract modeling  Abstract specifications  Correctness-preserving transformations  Distributed transaction  Event-B  Incremental approach  Mechanical proof  Refinement