咨询与建议

限定检索结果

文献类型

  • 58 篇 期刊文献
  • 3 篇 会议

馆藏范围

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

日期分布

学科分类号

  • 32 篇 医学
    • 15 篇 临床医学
    • 6 篇 公共卫生与预防医...
    • 6 篇 中西医结合
    • 5 篇 药学(可授医学、理...
    • 3 篇 基础医学(可授医学...
    • 3 篇 中药学(可授医学、...
  • 19 篇 工学
    • 4 篇 电子科学与技术(可...
    • 4 篇 计算机科学与技术...
    • 3 篇 核科学与技术
    • 2 篇 材料科学与工程(可...
    • 2 篇 化学工程与技术
    • 2 篇 软件工程
    • 1 篇 机械工程
    • 1 篇 光学工程
    • 1 篇 控制科学与工程
    • 1 篇 建筑学
    • 1 篇 测绘科学与技术
    • 1 篇 地质资源与地质工...
    • 1 篇 环境科学与工程(可...
    • 1 篇 生物医学工程(可授...
    • 1 篇 城乡规划学
  • 16 篇 理学
    • 6 篇 物理学
    • 4 篇 生物学
    • 3 篇 天文学
    • 1 篇 化学
    • 1 篇 地理学
    • 1 篇 大气科学
    • 1 篇 生态学
  • 4 篇 农学
    • 2 篇 兽医学
  • 2 篇 教育学
    • 2 篇 教育学
  • 2 篇 管理学
  • 1 篇 艺术学

主题

  • 3 篇 covid-19
  • 3 篇 china
  • 2 篇 boolean comparis...
  • 2 篇 neoplasms
  • 2 篇 新型冠状病毒肺炎
  • 2 篇 expenditure
  • 2 篇 formal verificat...
  • 2 篇 有效性
  • 2 篇 boolean satisfia...
  • 2 篇 precise
  • 2 篇 大学生
  • 2 篇 unknown constrai...
  • 2 篇 black box
  • 2 篇 临床实践指南
  • 1 篇 质量控制
  • 1 篇 morphological in...
  • 1 篇 obstructive slee...
  • 1 篇 出院管理
  • 1 篇 中西医结合
  • 1 篇 dmrt1

机构

  • 5 篇 北京大学
  • 3 篇 河南省人民医院
  • 3 篇 四川大学华西医院
  • 3 篇 华中科技大学同济...
  • 3 篇 中南大学湘雅二医...
  • 3 篇 山东大学齐鲁医院
  • 2 篇 首都医科大学附属...
  • 2 篇 中日友好医院
  • 2 篇 青岛大学附属烟台...
  • 2 篇 武汉大学中南医院
  • 2 篇 university of ch...
  • 2 篇 河南大学
  • 2 篇 郑州大学医院
  • 2 篇 山西医科大学
  • 2 篇 贵州省人民医院
  • 2 篇 安徽医科大学第二...
  • 2 篇 中国科学院大学
  • 2 篇 武汉大学人民医院
  • 2 篇 四川大学华西第二...
  • 2 篇 武汉雷神山医院

作者

  • 5 篇 jian wang
  • 3 篇 杨旻
  • 3 篇 王娜
  • 2 篇 wei he
  • 2 篇 姚晓梅
  • 2 篇 yupeng yan
  • 2 篇 shaomin chen
  • 2 篇 xiaomei zhang
  • 2 篇 杨简
  • 2 篇 陈昊
  • 2 篇 tao lin
  • 2 篇 shubin liu
  • 2 篇 bayarto lubsando...
  • 2 篇 曾宪涛
  • 2 篇 ling-bin du
  • 2 篇 曾玫
  • 2 篇 李柄辉
  • 2 篇 杨秀芝
  • 2 篇 余临心
  • 2 篇 jie he

语言

  • 31 篇 中文
  • 30 篇 英文
检索条件"作者=LI Guang-hui 1.2,3 , LI Xiao-wei 2,31. School of information Engineering, Zhejiang {1. College, Hangzhou 31.300, Zhejiang, china"
61 条 记 录,以下是1-10 订阅
排序:
Formal Verification under Unknown Constraints
收藏 引用
Wuhan University Journal of Natural Sciences 2005年 第1期10卷 43-46页
作者: li guang-hui 1.2,3 , li xiao-wei 2,31. school of information engineering, zhejiang Forestry college, hangzhou 31.300, zhejiang, china 2. Institute of Computing Technology, Chinese Academy of Sciences, Beijing 100080, china 3. Graduate school of the Chinese Academy of Sciences, Beijing 100039, china school of {1. engineering Zhejiang Forestry College Hangzhou 311300 Zhejiang China
We present a formal method of verifying designs with unknown constraints (e.g., black boxes) using Boolean satisfiability (SAT). This method is based on a new encoding scheme of unknown constraints, and solves the cor... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
Entanglement quantification via weak measurements assisted by deep learning
收藏 引用
Photonics Research 2024年 第4期12卷 712-719页
作者: MU YANG YA xiao ZE-YAN HAO YU-{1. liAO JIA-HE CAO KAI SUN EN-hui WANG ZHENG-HAO liU YUTAKA SHIKANO JIN-SHI XU CHUAN-FENG li guang-CAN GUO CAS Key Laboratory of Quantum information University of Science and Technology of ChinaHefei 230026China college of Physics and Optoelectronic {1. Ocean University of ChinaQingdao 266100China CAS Center for Excellence in Quantum information and Quantum Physics University of Science and Technology of ChinaHefei 230026China Hefei National Laboratory University of Science and Technology of ChinaHefei 230088China Electric Power Research Institute State Grid Anhui Electric Power Co.Ltd.Hefei 230601China Institute of Systems and information {1. University of TsukubaIbaraki 305-8573Japan Center for Artificial Intelligence Research University of TsukubaIbaraki 305-8577Japan Graduate school of Science and Technology Gunma UniversityGunma 371-8510Japan Institute for Quantum Studies Chapman UniversityOrangeCalifornia 92866USA JST PRESTO Saitama 332-0012Japan
Entanglement has been recognized as being crucial when implementing various quantum information ***, quantifying entanglement for an unknown quantum state requires nonphysical operations or post-processing measurement... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
Stepped-up development of accelerator mass spectrometry method for the detection of ^(60)Fe with the HI-1.0}tandem accelerator
收藏 引用
Nuclear Science and Techniques 2024年 第4期35卷 136-143页
作者: Yang Zhang Sheng-Quan Yan Ming He Qing-Zhang Zhao Wen-hui Zhang Chao-Xin Kan Jian-Ming Zhou Kang-Ning {1. xiao-Fei Wang Jian-Cheng {1.u Zhao-Hua Peng Zhuo {1.ang Ai-{1.ng {1. Jian Zheng Qi-Wen Fan Yun-Ju {1. You-Bao Wang Zhi-Hong {1. Yang-Ping Shen Ding Nan wei Nan Yu-Qiang Zhang Jia-Ying-Hao {1. Jun-Wen Tian Jiang-{1.n Hou Chang-Xin Guo Zhi-Cheng Zhang Ming-Hao Zhu Yu-Wen Chen Yu-Chen Jiang Tao Tian Jin-Long Ma Yi-hui {1.u Jing-Yu Dong Run-Long {1.u Mei-Yue-Nan Ma Yong-Shou Chen wei-Ping {1.u Bing Guo china Institute of Atomic Energy P.O.Box 275(10)Beijing 102413China college of Science Southern University of Science and TechnologyShenzhen 518055China school of Physics Xi’an Jiaotong UniversityXi’an 710049China
The Moon provides a unique environment for investigating nearby astrophysical events such as *** samples retain valuable information from these events,via detectable long-{1.ved“fingerprint”radionuc{1.des such as^(60)... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
Achievements and challenges of primate conservation in china
收藏 引用
Zoological Research(Diversity and Conservation) 2024年 第1期1卷 66-74页
作者: Bao-Guo li He Zhang Ming li Xue-Long Jiang Peng-Fei Fan Jiang Zhou Song-Tao Guo xiao-guang Qi Jin-Hua li Ji-Qi Lu Dong-Po Xia liang-wei Cui Zuo-Fu Xiang Qi-Hai Zhou Zhi-Pang Huang Cheng-Ming Huang Wen xiao hui-Jian Hu Zhi-Xin Zhou Ming-Yong Chen Da-Yong li Peng-Lai Fan Yin Yang Ru-liang Pan Shaanxi Key Laboratory for Animal Conservation College of Life SciencesNorthwest UniversityXi’anShaanxi 710069China Jiangxi Provincial Key Laboratory of Conservation Biology College of ForestryJiangxi Agricultural UniversityNanchangJiangxi 330045China Key Laboratory of Animal Ecology and Conservation Biology Institute of ZoologyChinese Academy of SciencesBeijing 100101China State Key Laboratory of Genetic Resources and Evolution Kunming Institute of ZoologyChinese Academy of SciencesKunmingYunnan 650201China school of {1.fe Sciences Sun Yat-sen UniversityGuangzhouGuangdong 510275China school of Karst Science Guizhou Normal UniversityGuiyangGuizhou 550025China International Collaborative Research Center for Huangshan Biodiversity and Tibetan Macaque Behavioral Ecology Anhui UniversityHefeiAnhui 230601China Institute of Biodiversity and Ecology Zhengzhou UniversityZhengzhouHenan 450001China Key Laboratory for Conserving Wildlife with Small Populations in Yunnan Southwest Forestry UniversityKunmingYunnan 650224China college of {1.fe Sciences and Technology Central South University of Forestry and TechnologyChangshaHunan 410004China Key Laboratory of Ecology of Rare and Endangered Species and Environmental Protection(Ministry of Education) Guangxi Normal UniversityGuilinGuangxi 541004China International Centre of Biodiversity and Primate Conservation Centre Dali UniversityDaliYunnan 671003China guangdong Key Laboratory of Animal Conservation and Resource Uti{1.zation Institute of ZoologyGuangdong Academy of SciencesGuangzhouGuangdong 510663China school of {1.fe Sciences Yunnan UniversityKunmingYunnan 650500China Key Laboratory of Southwest china Wild{1.fe Resources Conservation(Ministry of Education) China West Normal UniversityNanchongSichuan 637001China Institute of International Rivers and Eco-security Yunnan UniversityKunmingYunnan 650500China school of Human Sciences The University of Western AustraliaPerthWA 6009Australia
The dual impact of climate change and human activities has precipitated a sharp decline in primate biodiversity *** is home to the most diverse primate species in the Northern hemisphere,which face severe ecological t... 详细信息
来源: 维普期刊数据库 维普期刊数据库 评论
Formal Verification under Unknown Constraints
Formal Verification under Unknown Constraints
收藏 引用
The 1.t Chinese Conference on Trusted Computing and information Security
作者: li guang-hui, li xiao-wei school of information engineering, zhejiang Forestry college, hangzhou 31.300, zhejiang, china Institute of Computing Technology, Chinese Academy of Sciences, Beijing 100080, china Graduate school of the Chinese Academy of Sciences, Beijing 100039, china
<正> We present a formal method of verifying designs with unknown constraints (e. g. , black boxes) using Boolean satisfiability (SAT). This method is based on a new encoding scheme of unknown constraints, and s... 详细信息
来源: cnki会议 评论
水通道蛋白9商品化抗体和自制抗体识别位点的分析和应用
收藏 引用
解剖学报 2024年 第2期55卷 237-240页
作者: 程全成 丁慧如 王子元 方金玉 张晓丽 张卫光 北京大学基础医学院人体解剖学与组织学胚胎学系 北京100191 北京卫生职业学院医学基础教研室 北京102402
目的分析水通道蛋白9(AQP9)商品化抗体和自制抗体的抗原识别位点,并鉴别其应用效果。方法利用Western blotting对比3种商品化抗体与自制AQP9抗体鉴定基因型的效果。分析4种抗体的抗原识别位点,及其在实际应用中的特异性。结果Western bl... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
以价值为导向的住院康复服务价值调节因子构建研究
收藏 引用
中国卫生政策研究 2024年 第3期17卷 48-55页
作者: 王萱萱 励建安 魏小雷 刘守国 李嘉慧 李阳 凌阅微 路定珍 陈家应 南京医科大学医政学院 江苏南京211166 南京医科大学第一附属医院 江苏南京210029 江苏省人民医院钟山康复分院 江苏南京210049 无锡市医疗保障基金管理中心 江苏无锡214011 南京医科大学康达学院 江苏连云港222000 斯坦福大学管理科学与工程系 加利福尼亚斯坦福94305 江苏大学附属武进医院 江苏常州213004
目的:本研究旨在建立实现康复治疗效果可比的价值调节因子,为将康复服务价值作为医保支付依据、基于现行医保制度建立按价值付费机制提供可行思路。方法:课题组于2022年1.1.—2023年3月31.收集样本医院脑损伤住院患者功能相关信息,... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
EAST-CTI测试平台上六硼化镧等离子体源的研制
收藏 引用
核聚变与等离子体物理 2024年 第1期44卷 24-29页
作者: 孟凡卫 张小辉 胡广海 孔德峰 叶扬 黄艳清 齐美彬 赵志豪 李博 董期龙 合肥工业大学计算机与信息学院 合肥230009 中国科学院等离子体物理研究所 合肥230031 合肥综合性国家科学中心能源研究院 合肥230031 衡阳师范学院物理与电子工程学院 衡阳4210024 石河子大学理学院 石河子832003
为了更方便和深入研究紧凑环注入(CTI)系统产生的等离子体团在等离子体中的演化过程,特设计了一套大尺寸、均匀的六硼化镧等离子体源,用来产生磁化、高密度等离子体。等离子体源的阴极采用钨丝间接加热的方式来达到工作温度,阴极最高可... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
CEPC Technical Design Report
收藏 引用
Radiation Detection Technology and Methods 2024年 第1期8卷 I0003-I0016,1-1091页
作者: Waleed Abdallah Tiago Carlos Adorno de Freitas Konstantin Afanaciev Shakeel Ahmad Ijaz Ahmed xiaocong Ai Abid Aleem Wolfgang Altmannshofer Fabio Alves weiming An Rui An Daniele Paolo Anderle Stefan Antusch Yasuo Arai Andrej Arbuzov Abdesslam Arhrib Mustafa Ashry Sha Bai Yu Bai Yang Bai Vipul Bairathi Csaba Balazs Philip Bambade Yong Ban Tripamo Bandyopadhyay Shou-Shan Bao Desmond P.Barber Ayse Bat Varvara Batozskaya Subash Chandra Behera Alexander Belyaev Michele Bertucci xiao-Jun Bi Yuanjie Bi Tianjian Bian Fabrizio Bianchi Thomas Biekotter Michela Biglietti Shalva Bilanishvili Deng Binglin Denis Bodrov Anton Bogomyagkov Serge Bondarenko Stewart Boogert Maarten Boonekamp Marcello Borri Angelo Bosotti Vincent Boudry Mohammed Boukidi Igor Boyko Ivanka Bozovic Giuseppe Bozzi Jean-Claude Brient Anastasiia Budzinskaya Masroor Bukhari Vladimir Bytev Giacomo Cacciapaglia Hua Cai Wenyong Cai Wujun Cai Yijian Cai Yizhou Cai Yuchen Cai Haiying Cai Huacheng Cai Lorenzo Calibbi Junsong Cang Guofu Cao Jianshe Cao Antoine Chance Xuejun Chang Yue Chang Zhe Chang Xinyuan Chang wei Chao Auttakit Chatrabhuti Yimin Che Yuzhi Che Bin Chen Danping Chen Fuqing Chen Fusan Chen Gang Chen Guoming Chen Hua-Xing Chen huirun Chen Jinhui Chen Ji-Yuan Chen Kai Chen Mali Chen Mingjun Chen Mingshui Chen Ning Chen Shanhong Chen Shanzhen Chen Shao-Long Chen Shaomin Chen Shiqiang Chen Tianlu Chen wei Chen Xiang Chen xiaoyu Chen Xin Chen Xun Chen Xurong Chen Ye Chen Ying Chen Yukai Chen Zelin Chen Zilin Chen Gang Chen Boping Chen Chunhui Chen Hok Chuen Cheng Huajie Cheng Shan Cheng Tongguang Cheng Yunlong Chi Pietro Chimenti Wen Han Chiu Guk Cho Ming-Chung Chu xiaotong Chu Ziliang Chu Guglielmo Coloretti Andreas Crivellin Hanhua Cui xiaohao Cui Zhaoyuan Cui Brunella D'Anzi ling-Yun Dai Xinchen Dai Xuwen Dai Antonio De Maria Nicola De Filippis Christophe De La Taille Francesca De Mori Chiara De Sio Elisa Del Core Shuangxue Deng wei-Tian Deng Zhi Deng Ziyan Deng Bhupal Dev Tang Dewen Biagio Di Micco Ran Ding Siqin Dingl Yadong Ding Haiyi Dong Jianin AGH University of Science and Technology Faculty of Physics and Applied Computer ScienceKrakow Anhui University HefeiAnhui Applied Physics Department Federal Urdu University of ArtsScience and TechnologyIslamabad Banaras Hindu University Institute of ScienceVaranasi Bandirma Onyedi Eylul University Bandirma Beihang University Beijing Beijing Computational Science Research Center Beijing Beijing Conveyi LTD Beijing Beijing Glass Research Institute Co. LtdBeijing Beijing Institute of Technology Beijing Beijing Normal University Beijing Brown University ProvidenceRI Budker Institute of Nuclear Physics Novosibirsk Cadi Ayyad University Laboratory of Fundamental and Applied PhysicsPolydisciplinary FacultyMarrakech Cairo University Giza Center for Theory and Computation National Tsing Hua UniversityHsinchu Central china Normal University WuhanHubei Central South University ChangshaHunan Centro de Fisica Teorica de Particulas Universidade Tecnica de LisboaLisboa Chengdu KaitengSifang Digital Radio&TV Equipment Co. LtdChengduSichuan china academy of {1. physics MianyangSichuan china building materials academy Beijing china Center of Advanced Science and Technology Beijing china Institute of Atomic Energy Beijing china Ji{1.ang University HangzhouZhejiang china Nuclear Instrument CO. LTDBeijing china University of Geosciences Beijing china University of Geosciences WuhanHubei china University of Mining and Technology XuzhouJiangsu china West Normal University NanchongSichuan Chongqing University Department of PhysicsChongqing Chulalongkorn University Bangkok City University of Hong Kong Department of PhysicsHong Kong Cockcroft Institute Daresbury Cornell University IthacaNY CPPM(AMU/IPhU&CNRS/INP) Marseille Dalian Minzu University DalianLiaoning Dalian University of Technology Department of PhysicsDalian Deutsches Elektronen-Synchrotron DESY Hamburg Dzhelepov Laboratory of Nuclear Problems of Joint Institute for Nuclear Research(DLNP JINR) Dubna East china University Of Science And Technol
The Circular Electron Positron Collider(CEPC)is a large scientific project initiated and hosted by{1.,fostered through extensive collaboration with international *** complex comprises four accelerators:a 30 GeV lin... 详细信息
来源: 维普期刊数据库 维普期刊数据库 评论
Dmrt1.regulates the immune response by repressing the TLR4 signaling pathway in goat male germline stem cells
收藏 引用
Zoological Research 2021年 第1期42卷 14-27页
作者: Yu-Dong wei {1.-Min Du Dong-hui Yang Fang-lin Ma Xiu-wei Yu Meng-Fei Zhang Na li Sha Peng Ming-Zhi liao guang-Peng li Chun-ling Bai wei-Shuai liu Jin-lian Hua college of Veterinary Medicine Northwest A&F UniversityShaanxi Centre of Stem Cells Engineering&TechnologyYanglingShaanxi 712100China college of {1.fe Sciences Northwest A&F UniversityYanglingShaanxi 712100China State Key Laboratory of Reproductive Regulation and Breeding of Grassland livestock School of Life SciencesInner Mongolia UniversityHohhotInner Mongolia 010021China Department of Pathology Yangling Demonstration Zone HospitalYangling Shaanxi 712100China
Double sex and mab-3-related transcription factor 1.Dmrt1.,which is expressed in goat male germline stem cells(mGSCs)and Sertoli cells,is one of the most conserved transcription factors involved in sex *** this study,... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论