咨询与建议

限定检索结果

文献类型

  • 9 篇 期刊文献
  • 4 篇 会议
  • 1 册 图书

馆藏范围

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

日期分布

学科分类号

  • 9 篇 理学
    • 9 篇 数学
    • 2 篇 物理学
    • 1 篇 生物学
    • 1 篇 系统科学
    • 1 篇 统计学(可授理学、...
  • 5 篇 工学
    • 3 篇 计算机科学与技术...
    • 2 篇 软件工程
    • 1 篇 电子科学与技术(可...
    • 1 篇 控制科学与工程
    • 1 篇 生物工程
  • 1 篇 管理学
    • 1 篇 管理科学与工程(可...

主题

  • 2 篇 numerical approx...
  • 2 篇 continued fracti...
  • 2 篇 symbolic-numeric...
  • 2 篇 symmetric polyno...
  • 1 篇 probability dens...
  • 1 篇 discrimination
  • 1 篇 successive diffe...
  • 1 篇 cell-decompositi...
  • 1 篇 theory of comput...
  • 1 篇 e-learning
  • 1 篇 complete
  • 1 篇 fourier analysis
  • 1 篇 33f10
  • 1 篇 system.
  • 1 篇 r-filter
  • 1 篇 mechanical decis...
  • 1 篇 operator theory
  • 1 篇 inequality-provi...
  • 1 篇 computer graphic...
  • 1 篇 access control m...

机构

  • 3 篇 laboratory for a...
  • 2 篇 laboratory of au...
  • 2 篇 laboratory for a...
  • 2 篇 chongqing key la...
  • 1 篇 laboratory for a...
  • 1 篇 sichuan agricult...
  • 1 篇 graduate univers...
  • 1 篇 academia sinica ...
  • 1 篇 laboratory of co...
  • 1 篇 laboratory for a...
  • 1 篇 university of ch...
  • 1 篇 laboratory for a...
  • 1 篇 chongqing instit...
  • 1 篇 laboratory of cr...
  • 1 篇 programming chen...
  • 1 篇 laboratory for a...
  • 1 篇 laboratory of au...
  • 1 篇 university of ch...
  • 1 篇 institute of the...
  • 1 篇 laboratory for a...

作者

  • 3 篇 qin xiaolin
  • 3 篇 yong feng
  • 2 篇 feng yong
  • 2 篇 jingzhong zhang
  • 1 篇 yang lu1 3 yu we...
  • 1 篇 ming li
  • 1 篇 zhang ju
  • 1 篇 xun yuan
  • 1 篇 liu jiang
  • 1 篇 lian chen
  • 1 篇 yaohui li
  • 1 篇 dongming wang
  • 1 篇 ji zhenyi
  • 1 篇 lu yang
  • 1 篇 lu jianguang
  • 1 篇 li yi
  • 1 篇 lu yang~(1 2) yo...
  • 1 篇 lin mu
  • 1 篇 ju zhang
  • 1 篇 jiawei luo

语言

  • 14 篇 英文
检索条件"机构=Laboratory for Automated Reasoning and Programming Chengdu Institute of Computer Applications"
14 条 记 录,以下是11-20 订阅
排序:
automated Deduction in Geometry  1
收藏 引用
丛书名: Lecture Notes in computer Science
1000年
作者: Xiao-Shan Gao Dongming Wang Lu Yang
The Second International Workshop on automated Deduction in Geometry (ADG ’98) was held in Beijing, China, August 1–3, 1998. An increase of interest in ADG ’98 over the previous workshop ADG ’96 is represented by ... 详细信息
来源: 评论
Research on the multidimensional educational review strategy Based on MOOCs Integrated by the multidimensional learning theory
Research on the multidimensional educational review strategy...
收藏 引用
2015 World Congress on Engineering and computer Science, WCECS 2015
作者: Ming, Li Ju, Zhang Jingzhong, Zhang Lian, Chen High Performance Computing Application R and D Center Chongqing Institute of Green and Intelligent Technology Chinese Academy of Sciences Chongqing China Automated Reasoning and Cognition Key Laboratory of Chongqing Chongqing Institute of Green and Intelligent Technology Chinese Academy of Sciences Chongqing China Laboratory for Automated Reasoning and Programming Chengdu Institute of Computer Applications Chinese Academy of Sciences Chengdu China
Through a detailed analysis of the theoretical basis for MOOCs in terms of educational learning theories, this paper attempts at finding the corresponding relationship between the theories and MOOCs, which not only th... 详细信息
来源: 评论
Termination of programs over the union of intervals
Termination of programs over the union of intervals
收藏 引用
International Conference on Advanced computer Theory and Engineering, ICACTE
作者: Lin Mu Yi Li Taige Jin Jiawei Luo Laboratory of Automated Reasoning and Programming Chengdu Institute of Computer ApplicationCAS Chengdu China Laboratory of CRTC University of Electronic Science and Technology Chengdu China
For a generic loop: while (constraints) {updates} it is well known that the termination problem is undecidable in general, even for a simple class of polynomial programs. If the constraints or the updating function in... 详细信息
来源: 评论
A Probabilistic Signal Temporal Logic for Persistent Events
SSRN
收藏 引用
SSRN 2022年
作者: Zhang, Siqi Qin, Xiaolin Zhang, Ju Liu, Jiang Laboratory for Automated Reasoning and Programming Chengdu Institute of Computer Applications Chinese Academy of Sciences Chengdu610213 China Chongqing Institute of Green and Intelligent Technologye Chinese Academy of Sciences Chongqing400714 China University of Chinese Academy of Sciences Beijing100049 China
With the latest development in deep learning, today's models can easily reach or even exceed the human level in many downstream tasks. However, when it comes to estimating the probability of persistent events, tra... 详细信息
来源: 评论