咨询与建议
  • 全部搜索
  • 期刊论文
  • 图书
  • 学位论文
  • 标准
  • 纸本馆藏
  • 外文资源发现
  • 数据库导航
  • 超星发现
高级检索

限定检索结果

文献类型

  • 13 篇 期刊文献
  • 8 篇 会议

馆藏范围

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

日期分布

学科分类号

  • 11 篇 工学
    • 9 篇 计算机科学与技术...
    • 7 篇 软件工程
    • 3 篇 信息与通信工程
    • 2 篇 电子科学与技术（可...
    • 2 篇 生物工程
    • 1 篇 力学（可授工学、理...
    • 1 篇 光学工程
    • 1 篇 材料科学与工程（可...
    • 1 篇 冶金工程
    • 1 篇 电气工程
    • 1 篇 控制科学与工程
    • 1 篇 航空宇航科学与技...
    • 1 篇 生物医学工程（可授...
  • 10 篇 理学
    • 6 篇 数学
    • 4 篇 统计学（可授理学、...
    • 3 篇 生物学
    • 2 篇 物理学
    • 2 篇 系统科学
    • 1 篇 天文学
  • 5 篇 管理学
    • 2 篇 管理科学与工程(可...
    • 2 篇 工商管理
    • 2 篇 图书情报与档案管...
    • 1 篇 公共管理
  • 3 篇 医学
    • 3 篇 临床医学
    • 2 篇 基础医学(可授医学...
    • 1 篇 公共卫生与预防医...
    • 1 篇 药学(可授医学、理...
  • 2 篇 经济学
    • 2 篇 应用经济学

主题

  • 2 篇 marketing
  • 2 篇 predictive model...
  • 2 篇 machine learning
  • 1 篇 adaptive systems
  • 1 篇 qubits
  • 1 篇 support vector m...
  • 1 篇 dredging
  • 1 篇 child health
  • 1 篇 public healthcar...
  • 1 篇 quantum algorith...
  • 1 篇 government of in...
  • 1 篇 waterway mainten...
  • 1 篇 analytics practi...
  • 1 篇 defence
  • 1 篇 customer privacy
  • 1 篇 big data analyti...
  • 1 篇 food security
  • 1 篇 iron
  • 1 篇 shoaling rates
  • 1 篇 corporate govern...

机构

  • 2 篇 university of so...
  • 2 篇 department of co...
  • 1 篇 department of ot...
  • 1 篇 pharmaceutical o...
  • 1 篇 nimbus therapeut...
  • 1 篇 ms in data analy...
  • 1 篇 department of nu...
  • 1 篇 faculty of medic...
  • 1 篇 department of co...
  • 1 篇 research centre ...
  • 1 篇 university centr...
  • 1 篇 department of ne...
  • 1 篇 medical research...
  • 1 篇 department of pu...
  • 1 篇 college of infor...
  • 1 篇 intramural resea...
  • 1 篇 karachi pakistan
  • 1 篇 hunter medical r...
  • 1 篇 division of neur...
  • 1 篇 neuroscience res...

作者

  • 3 篇 hasan mahadi
  • 3 篇 hasan md maruf
  • 3 篇 md maruf hasan
  • 3 篇 mahadi hasan
  • 1 篇 couto rosa a.s.
  • 1 篇 salih yusra ahme...
  • 1 篇 mohammed arif
  • 1 篇 van heyningen r....
  • 1 篇 c. barbey
  • 1 篇 ramakrishnan nar...
  • 1 篇 suvi p rovio
  • 1 篇 anna c need
  • 1 篇 sudheer giddalur...
  • 1 篇 anvari davood
  • 1 篇 lenore launer
  • 1 篇 steven t turner
  • 1 篇 anne c böhmer
  • 1 篇 gilani syed amir
  • 1 篇 gesesew hailay a...
  • 1 篇 biehl molly h.

语言

  • 20 篇 英文
  • 1 篇 其他
检索条件"机构=MS in Data Analytics"
共 21 条 记 录，以下是21-30 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
Verification of adaptive systems
Verification of adaptive systems
收藏
分享
引用
AIAA Infotech at Aerospace Conference and Exhibit 2012
作者： Pullum, Laura Cui, Xiaohui Vassev, Emil Hinchey, Mike Rouff, Christopher Buskens, Richard Computational Data Analytics Group Oak Ridge National Laboratory P.O. Box 2008 MS-6085 Oak Ridge TN 37830 United States Computer Science Department New York Institute of Technology 1855 Broadway Manhattan NY 10023 United States Lero - The Irish Software Engineering Research Centre University of Limerick Limerick Ireland Lockheed Martin Advanced Technology Laboratories Informatics Laboratory 3 Executive Campus Suite 600 Cherry Hill NJ 08002 United States Lockheed Martin Advanced Technology Laboratories Informatics Laboratory Applied Science Laboratory 3 Executive Campus Cherry Hill NJ 08002 United States
Adaptive systems are critical for future space and other unmanned and intelligent systems. Verification of these systems is also critical for their use in systems with potential harm to human life or with large financ... 详细信息
来源： 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共3页 <<  < 1 2 3 >  >>
回到顶部
执行限定条件