咨询与建议

限定检索结果

文献类型

  • 3,623 篇 会议
  • 2,206 篇 期刊文献

馆藏范围

  • 5,829 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 5,122 篇 工学
    • 4,354 篇 计算机科学与技术...
    • 1,439 篇 软件工程
    • 405 篇 电气工程
    • 272 篇 信息与通信工程
    • 265 篇 控制科学与工程
    • 230 篇 电子科学与技术(可...
    • 216 篇 生物工程
    • 190 篇 力学(可授工学、理...
    • 160 篇 机械工程
    • 135 篇 材料科学与工程(可...
    • 134 篇 化学工程与技术
    • 131 篇 动力工程及工程热...
    • 114 篇 土木工程
    • 106 篇 生物医学工程(可授...
    • 91 篇 光学工程
    • 72 篇 建筑学
    • 70 篇 仪器科学与技术
    • 68 篇 航空宇航科学与技...
  • 2,575 篇 理学
    • 1,713 篇 数学
    • 809 篇 物理学
    • 487 篇 统计学(可授理学、...
    • 258 篇 生物学
    • 165 篇 化学
    • 129 篇 系统科学
    • 62 篇 地球物理学
  • 390 篇 管理学
    • 220 篇 管理科学与工程(可...
    • 179 篇 图书情报与档案管...
    • 123 篇 工商管理
  • 132 篇 法学
    • 129 篇 社会学
  • 90 篇 医学
    • 72 篇 临床医学
  • 51 篇 教育学
  • 47 篇 经济学
  • 10 篇 农学
  • 7 篇 文学
  • 7 篇 军事学
  • 2 篇 哲学
  • 1 篇 艺术学

主题

  • 5,829 篇 computation theo...
  • 9 篇 computational mo...
  • 8 篇 computational co...
  • 7 篇 computer science
  • 7 篇 application soft...
  • 7 篇 game theory
  • 7 篇 controllers
  • 6 篇 discrete event s...
  • 6 篇 control theory
  • 6 篇 linear systems
  • 5 篇 integral equatio...
  • 5 篇 dynamical system...
  • 5 篇 software enginee...
  • 5 篇 non
  • 5 篇 embedded systems
  • 5 篇 optimization
  • 5 篇 logic
  • 5 篇 graph theory
  • 5 篇 automata
  • 5 篇 distributed comp...

机构

  • 9 篇 ieee
  • 9 篇 stanford univers...
  • 7 篇 technion haifa
  • 7 篇 columbia univers...
  • 7 篇 physics departme...
  • 7 篇 carnegie mellon ...
  • 7 篇 carnegie mellon ...
  • 6 篇 department of co...
  • 6 篇 university of to...
  • 6 篇 department of co...
  • 6 篇 univ calif berke...
  • 5 篇 harvard universi...
  • 5 篇 university of ca...
  • 5 篇 department of ma...
  • 5 篇 university colle...
  • 5 篇 mathematics inst...
  • 5 篇 university of sy...
  • 5 篇 school of comput...
  • 5 篇 massachusetts in...
  • 5 篇 deutsches elektr...

作者

  • 8 篇 wagner marc
  • 7 篇 li wei
  • 6 篇 ishai yuval
  • 5 篇 yuan wei
  • 5 篇 wang jian
  • 5 篇 rakow p.e.l.
  • 5 篇 perlt h.
  • 5 篇 schierholz g.
  • 5 篇 muller michael
  • 5 篇 yung moti
  • 5 篇 rajsbaum sergio
  • 5 篇 philipsen owe
  • 5 篇 sandholm tuomas
  • 5 篇 herlihy maurice
  • 5 篇 raz ran
  • 5 篇 procaccia ariel ...
  • 5 篇 horsley r.
  • 5 篇 fraigniaud pierr...
  • 5 篇 kushilevitz eyal
  • 5 篇 bournez olivier

语言

  • 5,373 篇 英文
  • 414 篇 其他
  • 22 篇 中文
  • 5 篇 西班牙文
  • 5 篇 法文
  • 4 篇 日文
  • 3 篇 德文
  • 3 篇 俄文
  • 1 篇 意大利文
  • 1 篇 朝鲜文
  • 1 篇 葡萄牙文
检索条件"主题词=computation theory"
5829 条 记 录,以下是751-760 订阅
排序:
Automating incremental graph processing with flexible memoization  47th
Automating incremental graph processing with flexible memoiz...
收藏 引用
47th International Conference on Very Large Data Bases, VLDB 2021
作者: Gong, Shufeng Tian, Chao Yin, Qiang Yu, Wenyuan Zhang, Yanfeng Geng, Liang Yu, Song Yu, Ge Zhou, Jingren Northeastern University United States Alibaba Group United States
The ever-growing amount of dynamic graph data demands efficient techniques of incremental graph processing. However, incremental graph algorithms are challenging to develop. Existing approaches usually require users t... 详细信息
来源: 评论
Research on the computational Model of Problem-Based Tutoring  9th
Research on the Computational Model of Problem-Based Tutorin...
收藏 引用
9th International Conference on Computer Engineering and Networks, CENet2019
作者: Liu, Yan Peng, Qiang Liu, Lin Wuhan University of Technology 122 Luoshi Road WuhanHubei430070 China
The existing intelligent tutoring still follows the traditional classroom teaching mode, with knowledge point as the center, which emphasizes the transfer of knowledge and neglects the problem-solving ability training... 详细信息
来源: 评论
Which one is better: Assessment and Locomotion imitation strategies in Changing Environments  4
Which one is better: Assessment and Locomotion imitation str...
收藏 引用
2021 4th International Conference on Mechatronics and Computer Technology Engineering, MCTE 2021
作者: Chen, Cunying Zhang, Hua Department of IT Development and Management Hua Qiao University Fujian Province Quanzhou362021 China Business School Hua Qiao University Fujian Province Quanzhou362021 China
Imitation is ubiquitous, yet what self-regulation orientations' role played in imitation strategies is poorly understood, which is particularly challenging in dynamic and uncertain environments. According to regul... 详细信息
来源: 评论
A computational Model of Comprehension in Manga Style Visual Narratives  43
A Computational Model of Comprehension in Manga Style Visual...
收藏 引用
43rd Annual Meeting of the Cognitive Science Society: Comparative Cognition: Animal Minds, CogSci 2021
作者: Chen, Yi-Chun Jhala, Arnav Department of Computer Science North Carolina State University RaleighNC27695 United States
Understanding a sequence of images as a visual narrative is challenging because it requires not only the understanding of what is shown at a particular moment but also what has changed, been omitted or is out of frame... 详细信息
来源: 评论
Research on the Construction Path of Energy Internet Ecosystem Based on Value China Analysis
Research on the Construction Path of Energy Internet Ecosyst...
收藏 引用
2021 IEEE Sustainable Power and Energy Conference, iSPEC 2021
作者: Yan, Qingguo Zhu, Jin Ma, Shengkun Guo, Li Wu, Chen Xue, Guiyuan State Grid Jiangsu Electric Power Co. Ltd Nanjing China State Grid Jiangsu Electric Power Co. LTD. Economic Research Institute Nanjing China
With the wide application of Internet technologies, cloud computing and big data technologies are gradually integrating with energy technologies promoting the connection between energy enterprises and upstream and dow... 详细信息
来源: 评论
On the Adequacy of Grammatical Description: The Case of Ròujiámó  21st
On the Adequacy of Grammatical Description: The Case of Ròu...
收藏 引用
21st Chinese Lexical Semantics Workshop, CLSW 2020
作者: Wang, Liyong Xu, Xiaoyan Zhang, Ren School of International Studies Shaanxi Normal University Xi’an China School of Foreign Studies Xi’an Jiaotong University Xi’an China
One criterion of linguistic theory is descriptive adequacy, i.e., whether it can capture the speaker’s intuition [1]. Traditional structuralist analyses and contemporary generative grammar largely confine themselves ... 详细信息
来源: 评论
Visual Search and Decluttering in Tactical Situation Displays: A computational Modeling Approach  65th
Visual Search and Decluttering in Tactical Situation Display...
收藏 引用
65th Human Factors and Ergonomics Society Annual Meeting, HFES 2021
作者: Lazaro, May Jorella Kim, Sungho Kang, Yohan Yun, Myung Hwan Seoul National University Seoul Korea Republic of Department of Industrial Engineering Seoul National University Seoul Korea Republic of Republic of Korea Air Force Gyeryong Korea Republic of
Clutter in tactical situation displays (TSD) is a persistent problem that affects pilots’ performance. Decluttering methods such as dimming, dotting, small-sizing and removal have been used in several display types t... 详细信息
来源: 评论
Covering Strategy Changes: From System 1 to System 2 in Syllogistic Reasoning  19
Covering Strategy Changes: From System 1 to System 2 in Syll...
收藏 引用
19th International Conference on Cognitive Modelling, ICCM 2021 - Co-located with the 54th Annual Meeting of the Society for Mathematical Psychology
作者: Wiens, Evelyn Tse, Alice Ping Ping Ragni, Marco Cognitive Computation Lab University of Freiburg Germany Department of Nordic Studies and Linguistics University of Copenhagen Denmark Danish Institute for Advanced Studies South Denmark University Odense Denmark Cognitive Computation Lab Technical Faculty University of Freiburg Germany
Most cognitive models for human syllogistic reasoning aim to explain an average reasoner, i.e., the responses given by aggregating the response of the majority of reasoners. Studies show that individuals can deviate a... 详细信息
来源: 评论
Theoretical Simulation and Experimental Analysis of Electromagnetic Wave Propagation characteristics in Sub-dense Nonuniform Plasma  4
Theoretical Simulation and Experimental Analysis of Electrom...
收藏 引用
4th International Applied computational Electromagnetics Society Symposium in China, ACES-China 2021
作者: Wu, Runhui Liu, Jiaqi Chai, Song Meng, Gang Li, Yanan Cui, Yichun Beijing Institute of Space Long March Vehicle National Key Laboratory of Science and Technology on Test Physics Numerical Mathematics Beijing China
In this paper, reflection, absorption and transmission characteristics of 1-50GHz frequency electromagnetic wave by the sub-dense heterogeneous plasma are studied by combining theoretical modeling and simulation with ... 详细信息
来源: 评论
Research on the Solution to Metrology Testing and Traceability System Solution for Digital Electrical Metering System
Research on the Solution to Metrology Testing and Traceabili...
收藏 引用
2021 International Conference on Advanced Electrical Equipment and Reliable Operation, AEERO 2021
作者: Mu, Xiaoxing Tian, Zhengqi Duan, Meimei Ouyang, Zengkai Xia, Guofang Lu, Zigang Zhou, Chao State Grid Jiangsu Electric Power Co. LTD Marketing Service Center Quality Control Department Nanjing China
In order to solve both the testing and the 'tracing' problems of digital electricity meter, the concepts and equipment of 'Analog Merging Unit', 'computational Analog Reference Meter', 'Dig... 详细信息
来源: 评论