咨询与建议

限定检索结果

文献类型

  • 35 篇 期刊文献
  • 1 篇 会议

馆藏范围

  • 36 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 20 篇 工学
    • 6 篇 计算机科学与技术...
    • 5 篇 软件工程
    • 3 篇 电子科学与技术(可...
    • 3 篇 核科学与技术
    • 2 篇 材料科学与工程(可...
    • 2 篇 生物医学工程(可授...
    • 2 篇 生物工程
    • 1 篇 光学工程
    • 1 篇 仪器科学与技术
    • 1 篇 信息与通信工程
    • 1 篇 建筑学
    • 1 篇 测绘科学与技术
    • 1 篇 化学工程与技术
    • 1 篇 农业工程
    • 1 篇 城乡规划学
  • 12 篇 理学
    • 4 篇 物理学
    • 2 篇 天文学
    • 2 篇 大气科学
    • 1 篇 数学
    • 1 篇 地球物理学
    • 1 篇 生物学
  • 9 篇 医学
    • 4 篇 临床医学
    • 2 篇 公共卫生与预防医...
    • 1 篇 口腔医学
  • 2 篇 管理学
    • 1 篇 管理科学与工程(可...
    • 1 篇 公共管理

主题

  • 3 篇 juno
  • 2 篇 deep learning
  • 2 篇 artificial intel...
  • 2 篇 neutrino oscilla...
  • 1 篇 减缓气候变化
  • 1 篇 colored petri ne...
  • 1 篇 人口老龄化趋势
  • 1 篇 mobility
  • 1 篇 机械取栓术
  • 1 篇 数学形态学
  • 1 篇 space research i...
  • 1 篇 scalability
  • 1 篇 机电模拟
  • 1 篇 cshine
  • 1 篇 血流动力学
  • 1 篇 几何形状
  • 1 篇 n-acetylglucosam...
  • 1 篇 drug repurposing
  • 1 篇 renew
  • 1 篇 charm physics

机构

  • 5 篇 university of ch...
  • 4 篇 institute of hig...
  • 3 篇 tsung-dao lee in...
  • 3 篇 infn milano bico...
  • 3 篇 guangxi universi...
  • 3 篇 yerevan physics ...
  • 3 篇 jinan university...
  • 3 篇 dongguan univers...
  • 3 篇 north china elec...
  • 3 篇 pakistan institu...
  • 3 篇 nanjing universi...
  • 3 篇 technische unive...
  • 3 篇 national united ...
  • 3 篇 the radiochemist...
  • 3 篇 school of physic...
  • 3 篇 college of elect...
  • 3 篇 eberhard karls u...
  • 3 篇 wuyi university ...
  • 3 篇 universidad tecn...
  • 3 篇 beijing normal u...

作者

  • 4 篇 yupeng yan
  • 4 篇 bayarto lubsando...
  • 3 篇 yifan yang
  • 3 篇 sébastien leblan...
  • 3 篇 jian wang
  • 3 篇 apimook watchara...
  • 3 篇 nicomede pellicc...
  • 3 篇 shaomin chen
  • 3 篇 emanuela meroni
  • 3 篇 xiaomei zhang
  • 3 篇 simon blyth
  • 3 篇 nunzio guardone
  • 3 篇 tao lin
  • 3 篇 shubin liu
  • 3 篇 marco fargetta
  • 3 篇 jason leung
  • 3 篇 alexander tietzs...
  • 3 篇 flavio dal corso
  • 3 篇 igor tkachev
  • 3 篇 konstantin kouza...

语言

  • 26 篇 英文
  • 10 篇 中文
检索条件"作者=WANG ShengYuan & DONG Yuan Department of Computer science and technology,tsinghua university,{3.,china"
36 条 记 录,以下是1-10 订阅
排序:
A verifiable low-level concurrent programming model based on colored Petri nets
收藏 引用
science china(Information sciences) 2011年 第10期54卷 2013-2027页
作者: wang shengyuan & dong yuan department of computer science and technology,tsinghua university,Beijing 100084,china department of computer science and {3. Tsinghua University Beijing China
Concurrent programs written in a machine-level language are being used in many areas,but the verification of such programs brings various new challenges to the programming language *** of existing contributions on ver... 详细信息
来源: 同方期刊数据库 同方期刊数据库 评论
Highly transparent anti-reflection coating enhances the underwater efficiency and stability of perovskite solar modules
收藏 引用
Nano Research 2024年 第9期17卷 8126-8133页
作者: Feng Qian Shihao yuan Ting Zhang Lei wang Xiaobo Li Hualin Zheng Qien Xu Zhi David Chen Shibin Li School of Optoelectronic science and Engineering University of Electronic Science and Technology of ChinaChengdu 610054China department of Electrical and computer Engineering and Center for Nanoscale science and Engineering University of KentuckyLexingtonKentucky 40506USA
Perovskite solar cells have shown great potential in the field of underwater solar cells due to their excellent optoelectronic properties;however,their underwater performance and stability still hinder their practical... 详细信息
来源: 维普期刊数据库 维普期刊数据库 评论
A formally verified transformation to unify multiple nested clocks for a Lustre-like language
收藏 引用
science china(Information sciences) 2019年 第1期62卷 208-210页
作者: Gang SHI Yucheng ZHANG Shu SHANG shengyuan wang yuan {3. Pen-Chung YEW department of computer science and {3. Tsinghua University department of computer science and Engineering University of Minnesota
Multiple nested clocks is a major language feature in synchronous data-flow languages such as Lustre [1]. To build a formally verified compiler for such a language, it is a common practice to compile the source progra... 详细信息
来源: 同方期刊数据库 同方期刊数据库 评论
一种基于Renew的有色网元对象协议的设计与实现
收藏 引用
系统仿真学报 2008年 第S2期20卷 63-68页
作者: 郭胜基 齐大伟 林明 王生原 董渊 清华大学计算机科学与技术系 北京100084
在Petri网模拟工具Renew的基础上,设计和实现了相应的元对象协议,从四个方面大大增加了Renew的建模能力:简化基级网模型;获取基级网运行信息;动态改变基级网结构以及控制基极网的运行。文章最后以银行家算法的建模作为例子,说明如何用... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
Understanding Centrality-Lethality Rule in Yeast Protein-Protein Interaction Network by Topological Property
Understanding Centrality-Lethality Rule in Yeast Protein-Pro...
收藏 引用
2011 6th IEEE Joint International Information technology and Artificial Intelligence Conference(ITAIC 2011)
作者: dong Yun-yuan 1 wang Zheng-hua 1 LIU Qi-jun 2 wang Yong-xian 1 1.School of computer National university of Defense technology Changsha china 2.department of Chemistry and Biology School of science National university of Defense technology Changsha china
One of the most important problems in biology is to discover the relationship between topological properties and functional features of proteins in Protein-Protein Interaction(PPI) *** centrality-lethality rule reve... 详细信息
来源: cnki会议 评论
Research on the Willingness to Accept Compensation and Compensation Sharing of Returning Land for Farming to Forestry in Zhangjiakou and Chengde Region
收藏 引用
Meteorological and Environmental Research 2011年 第5期2卷 41-44页
作者: wang Yan-xia1,CHEN Xu-dong1,ZHANG Su-juan1,BAI Jie2,ZHANG Yi-wen3.1.Institute of Geographical science,Hebei Academy of science,Shijiazhuang 050011,china 2.computer department,Hebei Vocational College of Politics and Law,Shijiazhuang 050081,china 3.College of Resources and Environment science,Hebei Normal university,Hebei Key Laboratory of Environmental Change and Ecological Construction,Shijiazhuang 050016,china
[Objective] The aim was to study the willingness to accept compensation and compensation sharing of returning land for farming to forestry in Zhangjiakou and Chengde region.[Method] Based on the investigation of farm... 详细信息
来源: 维普期刊数据库 维普期刊数据库 评论
Distributed Game-Theoretical D2D-Enabled Task Offloading in Mobile Edge Computing
收藏 引用
Journal of computer science & technology 2022年 第4期37卷 919-941页
作者: En wang Han wang Peng-Min dong {3.-Bo Xu Yong-Jian Yang department of computer science and {3. Jilin UniversityChangchun 130012China department of Software Jilin UniversityChangchun 130012China
Mobile Edge Computing(MEC)has been envisioned as a promising distributed computing paradigm where mobile users offload their tasks to edge nodes to decrease the cost of energy and ***,most of the existing studies only... 详细信息
来源: 维普期刊数据库 维普期刊数据库 评论
Research on the reconstruction of fast and accurate AFM probe model
收藏 引用
Chinese science Bulletin 2010年 第24期55卷 2750-2754页
作者: yuan Shuai dong ZaiLi MIAO Lei XI Ning wang YueChao State Key Laboratory of Robotics Shenyang Institute of Automation Chinese Academy of Sciences Shenyang 110016 China Graduate university of Chinese Academy of sciences Beijing 100049 China department of Electrical and computer Engineering Michigan State University USA
The AFM image will be distorted due to the tip-broadening effect. It may be mathematically represented as the effect of the tip's convolution on the real image. As a result, the true geometry of the sample surface can... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
Noninvasive Tracking of Every Individual in Unmarked Mouse Groups Using Multi-Camera Fusion and Deep Learning
收藏 引用
Neuroscience Bulletin 2023年 第6期39卷 893-910页
作者: Feng Su Yangzhen wang Mengping Wei Chong wang Shaoli wang Lei Yang Jianmin Li Peijiang {3. dong-Gen Luo Chen Zhang department of Neurobiology School of Basic Medical SciencesBeijing Key Laboratory of Neural Regeneration and RepairCapital Medical UniversityBeijing100069China Chinese Institute for Brain Research Beijing102206China State Key Laboratory of Translational Medicine and Innovative Drug Development Nanjing210000China Peking-tsinghua Center for Life sciences Academy for Advanced Interdisciplinary StudiesPeking UniversityBeijing100871China School of Life sciences Tsinghua UniversityBeijing100084China School of Biological science and Medical Engineering Beihang UniversityBeijing100191China The Key Laboratory of Developmental Genes and Human Disease Institute of Life SciencesSoutheast UniversityNanjing210096JiangsuChina Institute for Artificial Intelligence the State Key Laboratory of Intelligence Technology and SystemsBeijing National Research Center for Information Science and TechnologyDepartment of Computer Science and TechnologyTsinghua UniversityBeijing100084China School of Mechanical Engineering and Automation Beihang UniversityBeijing100191China
Accurate and efficient methods for identifying and tracking each animal in a group are needed to study complex behaviors and social *** tracking methods(e.g.,marking each animal with dye or surgically implanting micro... 详细信息
来源: 维普期刊数据库 维普期刊数据库 评论
Systematic analyses of glutamine and glutamate metabolisms across different cancer types
收藏 引用
Chinese Journal of Cancer 2017年 第12期36卷 712-725页
作者: yuan Tian Wei Du Sha Cao Yue Wu Ning dong Yan wang Ying Xu College of computer science and technology Jilin UniversityChangchun 130012JilinP.R.China The First Hospital Jilin UniversityChangchun 130012JilinP.R.China College of Public Health Jilin UniversityChangchun 130012JilinP.R.China Computational Systems Biology Lab Department of Biochemistry and Molecular Biology and Institute of BioinformaticsUniversity of Georgia120 E Green StAthensGA 30602USA
Background: Glutamine and glutamate are known to play important roles in cancer biology. However, no detailed information is available in terms of their levels of involvement in various biological processes across dif... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论