中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页 机构 成果 学者
  
  1. CAS IR Grid
机构
采集方式
内容类型
发表日期
学科主题
筛选

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

条数/页： 排序方式：
The emergence of COVID-19 over-concern immediately after the cancelation of the measures adopted by the dynamic zero-COVID policy in China 期刊论文  OAI收割
FRONTIERS IN PUBLIC HEALTH, 2024, 卷号: 11, 页码: 13
作者:  Hao, Fengyi;  Zhang, Zhisong;  Lau, Sam S. S.;  Chiang, Soon-Kiat;  Zhou, Dewen
  |  收藏  |  浏览/下载：31/0  |  提交时间：2024/02/27
Assessing the Effectiveness of China's Panda Protection System 期刊论文  OAI收割
CURRENT BIOLOGY, 2020, 卷号: 30, 期号: 7
作者:  Wei Wei;  Swaisgood Ronald R.;  Pilfold Nicholas W.;  Owen Megan A.;  Dai Qiang
  |  收藏  |  浏览/下载：26/0  |  提交时间：2021/10/26
Climate change and landscape-use patterns influence recent past distribution of giant pandas 期刊论文  OAI收割
PROCEEDINGS OF THE ROYAL SOCIETY B-BIOLOGICAL SCIENCES, 2020, 卷号: 287, 期号: 1929
作者:  Tang Junfeng;  Swaisgood Ronald R.;  Owen Megan A.
  |  收藏  |  浏览/下载：26/0  |  提交时间：2021/10/26
unitpanelnodedetectionbycnnonfastreflector 期刊论文  OAI收割
天文和天体物理学研究英文版, 2019, 卷号: 000, 期号: 001, 页码: 113
作者:  ZhiSong Zhang;  LiChun Zhu;  Wei Tang;  XinYi Li
  |  收藏  |  浏览/下载：16/0  |  提交时间：2020/03/11
基于SCC空性检测中状态空间的缩减方法 期刊论文  OAI收割
计算机学报, 2008, 卷号: 31, 期号: 6, 页码: 979-988
晏荣杰; 张文亮; 唐稚松
  |  收藏  |  浏览/下载：21/0  |  提交时间：2011/06/10
有限精度时间自动机的可达性检测 期刊论文  OAI收割
软件学报, 2006, 卷号: 17, 期号: 1
晏荣杰; 李广元; 徐雨波; 刘春明; 唐稚松
  |  收藏  |  浏览/下载：10/0  |  提交时间：2010/08/26
Statecharts的组合语义与求精 期刊论文  OAI收割
软件学报, 2006, 期号: 4, 页码: 670-681
朱雪阳; 唐稚松
  |  收藏  |  浏览/下载：15/0  |  提交时间：2011/07/13
UML活动图的时序逻辑语义 期刊论文  OAI收割
计算机研究与发展, 2005, 卷号: 42, 期号: 9, 页码: 1478-1484
朱雪阳; 唐稚松
  |  收藏  |  浏览/下载：17/0  |  提交时间：2011/07/28
三机冗余容错系统的描述和验证 期刊论文  OAI收割
软件学报, 2003, 卷号: 14, 期号: 1
郭亮; 唐稚松
  |  收藏  |  浏览/下载：13/0  |  提交时间：2010/08/26
反应系统的连续时序逻辑表示和验证 期刊论文  OAI收割
计算机学报, 2003, 卷号: 26, 期号: 11
李广元; 唐稚松
  |  收藏  |  浏览/下载：7/0  |  提交时间：2010/08/26