咨询与建议

限定检索结果

文献类型

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

馆藏范围

  • 6,055 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 5,260 篇 工学
    • 4,427 篇 计算机科学与技术...
    • 1,448 篇 软件工程
    • 407 篇 电气工程
    • 274 篇 信息与通信工程
    • 270 篇 控制科学与工程
    • 230 篇 电子科学与技术(可...
    • 217 篇 生物工程
    • 204 篇 力学(可授工学、理...
    • 164 篇 机械工程
    • 160 篇 化学工程与技术
    • 137 篇 材料科学与工程(可...
    • 137 篇 动力工程及工程热...
    • 116 篇 土木工程
    • 108 篇 生物医学工程(可授...
    • 88 篇 光学工程
    • 72 篇 建筑学
    • 70 篇 仪器科学与技术
    • 70 篇 航空宇航科学与技...
  • 2,718 篇 理学
    • 1,741 篇 数学
    • 916 篇 物理学
    • 486 篇 统计学(可授理学、...
    • 263 篇 生物学
    • 195 篇 化学
    • 131 篇 系统科学
  • 396 篇 管理学
    • 227 篇 管理科学与工程(可...
    • 178 篇 图书情报与档案管...
    • 123 篇 工商管理
  • 132 篇 法学
    • 129 篇 社会学
  • 99 篇 医学
    • 81 篇 临床医学
    • 63 篇 基础医学(可授医学...
  • 53 篇 教育学
  • 46 篇 经济学
  • 11 篇 农学
  • 7 篇 军事学
  • 6 篇 文学
  • 2 篇 哲学
  • 1 篇 艺术学

主题

  • 6,055 篇 computation theo...
  • 9 篇 computational mo...
  • 8 篇 computational co...
  • 7 篇 application soft...
  • 7 篇 game theory
  • 7 篇 controllers
  • 6 篇 computer science
  • 6 篇 discrete event s...
  • 6 篇 logic
  • 6 篇 control theory
  • 6 篇 automata
  • 6 篇 artificial intel...
  • 6 篇 books
  • 6 篇 linear systems
  • 5 篇 integral equatio...
  • 5 篇 dynamical system...
  • 5 篇 non
  • 5 篇 embedded systems
  • 5 篇 formal languages
  • 5 篇 optimization

机构

  • 9 篇 ieee
  • 9 篇 stanford univers...
  • 7 篇 technion haifa
  • 7 篇 columbia univers...
  • 7 篇 physics departme...
  • 7 篇 carnegie mellon ...
  • 7 篇 carnegie mellon ...
  • 6 篇 university of to...
  • 6 篇 department of co...
  • 6 篇 univ calif berke...
  • 5 篇 harvard universi...
  • 5 篇 university of ca...
  • 5 篇 department of co...
  • 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,655 篇 英文
  • 358 篇 其他
  • 22 篇 中文
  • 5 篇 西班牙文
  • 4 篇 法文
  • 4 篇 日文
  • 3 篇 俄文
  • 2 篇 德文
  • 1 篇 意大利文
  • 1 篇 朝鲜文
  • 1 篇 葡萄牙文
检索条件"主题词=computation theory"
6055 条 记 录,以下是721-730 订阅
排序:
On Token Swapping in Labeled Tree  3
On Token Swapping in Labeled Tree
收藏 引用
3rd International Conference on Inventive Research in Computing Applications, ICIRCA 2021
作者: Malavika, J. Scaria, Shijo Indulekha, T.S. Amrita Vishwa Vidyapeetham Department of Computer Science and Applications Amritapuri India
Calculating the permutation distance, which is the number of steps needed to transform a permutation to another under a particular operation, is of great value in many areas like genetics, interconnection networks, ga... 详细信息
来源: 评论
Research on emotional feature analysis and recognition in speech signal based on feature analysis modeling  2
Research on emotional feature analysis and recognition in sp...
收藏 引用
2nd IEEE Asia-Pacific Conference on Image Processing, Electronics and Computers, IPEC 2021
作者: Zhai, Yueying Wuhan Qingchuan University Wuhan China
Human speech contains not only the information of characters and symbols, but also the information of people's feelings and emotions. The purpose of emotional computing is to endow computers with the ability to ob... 详细信息
来源: 评论
computation of optical waveguide interaction for quantum gates implementation  8
Computation of optical waveguide interaction for quantum gat...
收藏 引用
8th International School and Conference "Saint Petersburg OPEN 2021" on Optoelectronics, Photonics, Engineering and Nanostructures, SPbOPEN 2021
作者: Lytaev, A.A. Popov, I.Y. Faculty of Control Systems and Robotics ITMO University St. Petersburg197101 Russia
The system of two coupled optical dual-mode waveguides is considered. The coupling of the system is studied to find a circuit for building a control switch for two qubit gates. The classical coupled mode theory is app... 详细信息
来源: 评论
Bending and torsion vibrations of a beam excited by a moving load
Bending and torsion vibrations of a beam excited by a moving...
收藏 引用
作者: Holl, Helmut J. Keplinger, Lukas Institute of Technical Mechanics Johannes Kepler University Altenbergerstr. 69 LinzA-4040 Austria FerRobotics Compliant Robot Technology GmbH Altenbergerstr. 69 LinzA-4040 Austria
The linear dynamic bending- and torsion vibrations of a simply supported Bernoulli-Euler beam under a moving load with constant velocity are analysed. The main target is to derive an analytical solution of the governi... 详细信息
来源: 评论
Parallel mining operating systems: From digital twins to mining intelligence  1
Parallel mining operating systems: From digital twins to min...
收藏 引用
1st IEEE International Conference on Digital Twins and Parallel Intelligence, DTPI 2021
作者: Chen, Long Hu, Xiaoming Wang, Ge Cao, Dongpu Li, Lingxi Wang, Fei-Yue Sun Yat-sen University Guangzhou510006 China Waytous Inc. Qingdao266109 China College of Intelligence and Computing Tianjin University Tianjin300350 China Institute of Systems Engineering Macau University of Science and Technology 999078 China Indiana University-Purdue University ECE Department IndianapolisIN46202 United States Institute of Automation Chinese Academy of Sciences Beijing100190 China
With the rapid development and modernization requirement of global coal industry, there is an emerging need for intelligent and unmanned mining systems. In this paper, the Intelligent Mining Operating System (IMOS) is... 详细信息
来源: 评论
Teaching programming using cultural viewpoint metaphors resignification  2021
Teaching programming using cultural viewpoint metaphors resi...
收藏 引用
10th Latin American Conference on Human Computer Interaction, CLIHC 2021
作者: Corrêa, Joseline Melo Mota, Marcelle Pereira Human Interaction with Technologies Research Group Federal University of Pará Brazil
Technologies permeate contemporary society, and the ability to use computer science concepts in the problem-solving process is essential to everyone. This paper presents an epistemic tool of Semiotic Engineering whose... 详细信息
来源: 评论
computational Model for Capturing the Interdependencies on Information Processes  11th
Computational Model for Capturing the Interdependencies on I...
收藏 引用
11th Annual International Conference on Brain-Inspired Cognitive Architectures for Artificial Intelligence, BICA*AI 2020
作者: Wolfengagen, Viacheslav Ismailova, Larisa Kosikov, Sergey National Research Nuclear University "Moscow Engineering Physics Institute" Moscow115409 Russia NAO "JurInfoR" Moscow119435 Russia
Current resource integrity techniques such as sub-resource integrity (SRI) do not apply to unknown content, and mitigating attacks along this vector remains an open issue. Complex interdependencies on the Internet hav... 详细信息
来源: 评论
Decision-Theoretic Question Generation for Situated Reference Resolution: An Empirical Study and computational Model  21
Decision-Theoretic Question Generation for Situated Referenc...
收藏 引用
23rd ACM International Conference on Multimodal Interaction, ICMI 2021
作者: Gervits, Felix Briggs, Gordon Roque, Antonio Kadomatsu, Genki A. Thurston, Dean Scheutz, Matthias Marge, Matthew U.S. Army Research Laboratory BurlingtonMA United States U.S. Naval Research Laboratory WashingtonDC United States Tufts University MedfordMA United States U.S. Army Research Laboratory AdelphiMD United States
Dialogue agents that interact with humans in situated environments need to manage referential ambiguity across multiple modalities and ask for help as needed. However, it is not clear what kinds of questions such agen... 详细信息
来源: 评论
Yes: Affirmative consent as a theoretical framework for understanding and imagining social platforms  21
Yes: Affirmative consent as a theoretical framework for unde...
收藏 引用
2021 CHI Conference on Human Factors in Computing Systems: Making Waves, Combining Strengths, CHI 2021
作者: Im, Jane Dimond, Jill Berton, Melody Lee, Una Mustelier, Katherine Ackerman, Mark Gilbert, Eric University of Michigan Ann ArborMI United States
Affirmative consent is the idea that someone must ask for, and earn, enthusiastic approval before interacting with someone else. For decades, feminist activists and scholars have used affirmative consent to theorize a... 详细信息
来源: 评论
Converting (n, n)-multiple secret sharing into more friendly appearance using chinese remainder theorem and boolean operations
Converting (n, n)-multiple secret sharing into more friendly...
收藏 引用
2021 International Symposium on Electronics and Smart Devices, ISESD 2021
作者: Prasetyo, Heri Rosiyadi, Didi Department of Informatics Surakarta Indonesia Research Center for Informatics Lembaga Ilmu Pengetahuan Indonesia Bandung Indonesia
This paper extends the (n, n) - Multiple Secret Sharing (MSS) into friendlier appearance. This paper modifies the (n, n)-MSS by utilizing the Chinese Remainder Theorem (CRT) and bitwise Boolean computation. It creates... 详细信息
来源: 评论