咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是771-780 订阅
排序:
PANDORA Talks: Personality and Demographics on Reddit  9
PANDORA Talks: Personality and Demographics on Reddit
收藏 引用
9th International Workshop on Natural Language Processing for Social Media, SocialNLP 2021
作者: Gjurkovic, Matej Karan, Mladen Vukojevic, Iva Bosnjak, Mihaela Snajder, Jan Text Analysis and Knowledge Engineering Lab Faculty of Electrical Engineering and Computing University of Zagreb Unska 3 Zagreb10000 Croatia
Personality and demographics are important variables in social sciences and computational sociolinguistics. However, datasets with both personality and demographic labels are scarce. To address this, we present PANDOR... 详细信息
来源: 评论
Robots with purpose
Robots with purpose
收藏 引用
AISB Convention 2021: Communication and Conversations
作者: Battle, Steve Dept. Computer Science and Creative Technologies University of the West of England Bristol United Kingdom
In this paper we apply Perceptual Control theory to Braitenberg Vehicles. computational models explain systems in functional terms, as a transformation from input to output. Living, and indeed robotic systems are so m... 详细信息
来源: 评论
On the Influence of Ganpo Elements on Oil Painting Creation in Education and Teaching Under the Background of Ant Colony Algorithm  1st
On the Influence of Ganpo Elements on Oil Painting Creation ...
收藏 引用
1st EAI International Conference International Conference on Application of Big Data, Blockchain, and Internet of Things for Education Informatization, BigIoT-EDU 2021
作者: Luo, Hui Jiangxi Normal University Science and Technology College Gongqing Jiangxi332020 China
"Image" is the core category of Chinese traditional aesthetics and the core spirit of Chinese art. Image landscape oil painting is the product of the fusion of "oil painting", a Western media, into... 详细信息
来源: 评论
Diagnostics of Continuous Dynamic Systems Using Logic Functions  15
Diagnostics of Continuous Dynamic Systems Using Logic Functi...
收藏 引用
15th International IEEE Scientific and Technical Conference Dynamics of Systems, Mechanisms and Machines, Dynamics 2021
作者: Shalobanov, S.V. Shalobanov, S.S. Pacific National University Automation and System Engineering Department Khabarovsk Russia
The article is devoted to search defects method, in continuous dynamic systems with a depth to a dynamic element using logical functions, based on binary diagnostic feature. This method streamlines using of the way, s... 详细信息
来源: 评论
The ditungsten decacarbonyl dianion
收藏 引用
DALTON TRANSACTIONS 2020年 第27期49卷 9330-9335页
作者: Ostrowski, Joseph P. A. Atkinson, Benjamin E. Doyle, Laurence R. Wooles, Ashley J. Kaltsoyannis, Nikolas Liddle, Stephen T. Univ Manchester Dept Chem Oxford Rd Manchester M13 9PL Lancs England
We report the synthesis and structural authentication of the ditungsten decarbonyl dianion in [(OC)(5)W-W(CO)(5)][K(18-crown-6)(THF)(2)](2)(1), completing the group 6 dianion triad over half a century since the area b... 详细信息
来源: 评论
computational aspects of 19F NMR
收藏 引用
RUSSIAN CHEMICAL REVIEWS 2020年 第10期89卷 1040-1073页
作者: Krivdin, Leonid B. Russian Acad Sci Siberian Branch AE Favorsky Irkutsk Inst Chem Ul Favorskogo 1 Irkutsk 664033 Russia Angarsk State Tech Univ Ul Tchaikovskogo 60 Angarsk 665835 Irkutsk Region Russia
This review covers most recent advances in computation of F-19 NMR chemical shifts and spin-spin coupling constants involving F-19 nucleus calculated at different levels of theory. It deals mainly with electronic and ... 详细信息
来源: 评论
A Novel Ternary D Flip-Flop using Pass Transistors based on GNRFET  6
A Novel Ternary D Flip-Flop using Pass Transistors based on ...
收藏 引用
6th International Conference on Recent Trends on Electronics, Information, Communication and Technology, RTEICT 2021
作者: Pathak, Shashank Singh, Alok Kumar Department of Electronics and Communication Engineering Delhi India
For decades, computing logic uses Binary circuits based on CMOS technology. Ternary logic provides an edge over traditional Binary logic due to its ability to process more information content, thus reducing the Interc... 详细信息
来源: 评论
Weird Machines, Exploitability, and Provable Unexploitability
收藏 引用
IEEE TRANSACTIONS ON EMERGING TOPICS IN COMPUTING 2020年 第2期8卷 391-403页
作者: Dullien, Thomas Googles Project Zero CH-8002 Zurich Switzerland
The concept of exploit is central to computer security, particularly in the context of memory corruptions. Yet, in spite of the centrality of the concept and voluminous descriptions of various exploitation techniques ... 详细信息
来源: 评论
Synthesis-Analysis of Derivation Sequences of Tables' Functional Dependences
收藏 引用
JOURNAL OF COMPUTER AND SYSTEMS SCIENCES INTERNATIONAL 2020年 第6期59卷 957-980页
作者: Pomortsev, L. A. Tsurkov, V. I. Moscow Inst Phys & Technol Dolgoprudnyi 141700 Russia Russian Acad Sci Fed Res Ctr Comp Sci & Control Moscow 119333 Russia
As all computational programs, derivation sequences of functional dependences are twice partially ordered sets: by following the instructions in the program and by their execution in time. Order consistency is achieve... 详细信息
来源: 评论
Circadian stimulus - A computation model with photometric and colorimetric quantities
收藏 引用
LIGHTING RESEARCH & TECHNOLOGY 2020年 第6期52卷 751-762页
作者: Truong, W. Trinh, V Khanh, T. Q. PRACHT Inst Technol Dept Res & Dev Dautphetal Buchenau Germany Tech Univ Darmstadt Lab Lighting Technol Darmstadt Germany
The circadian stimulus is an important, validated and updated metric that describes the invisible influences of light on the human circadian system explicitly and scientifically. However, an absolute spectral power di... 详细信息
来源: 评论