咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是641-650 订阅
排序:
PREDICTION OF BIOFILMS COLONIZATION PROCESS USING computationAL MODELLING TECHNIQUE  21
PREDICTION OF BIOFILMS COLONIZATION PROCESS USING COMPUTATIO...
收藏 引用
21st International Multidisciplinary Scientific Geoconference: Nano, Bio and Green - Technologies for a Sustainable Future, SGEM 2021
作者: Kočí, Václav Kobetičová, Klára Faculty of Civil Engineering Czech Technical University Prague Czech Republic
Biofilms on exterior plasters deserve an attention as they affect not only the aesthetical appearance of buildings, but also their hygric and thermal performance that can subsequently results in an initiation of degra... 详细信息
来源: 评论
"What Is Human?" A Turing Test for Artistic Creativity  10th
"What Is Human?" A Turing Test for Artistic Creativity
收藏 引用
10th International Conference on Artificial Intelligence in Music, Sound, Art and Design, EvoMUSART 2021 held as Part of EvoStar 2021
作者: Daniele, Antonio Di Bernardi Luft, Caroline Bryan-Kinns, Nick Queen Mary University of London London United Kingdom
This paper presents a study conducted in naturalistic setting with data collected from an interactive art installation. The audience is challenged in a Turing Test for artistic creativity involving recognising human-m... 详细信息
来源: 评论
Noisy Computing of the OR and MAX Functions
arXiv
收藏 引用
arXiv 2023年
作者: Zhu, Banghua Wang, Ziao Ghaddar, Nadim Jiao, Jiantao Wang, Lele The Department of Electrical Engineering and Computer Sciences University of California Berkeley BerkeleyCA94720 United States The Department of Electrical and Computer Engineering University of British Columbia VancouverBCV6T1Z4 Canada The Department of Electrical and Computer Engineering University of California San Diego La Jolla CA92093 United States
We consider the problem of computing a function of n variables using noisy queries, where each query is incorrect with some fixed and known probability p ∈ (0, 1/2). Specifically, we consider the computation of the O... 详细信息
来源: 评论
Understanding visual processing of motion: Completing the picture using experimentally driven computational models of MT
arXiv
收藏 引用
arXiv 2023年
作者: Eskikand, Parvin Zarei Grayden, David B. Kameneva, Tatiana Burkitt, Anthony N. Ibbotson, Michael R. Department of Biomedical Engineering The University of Melbourne Parkville3052 Australia Faculty of Science Engineering and Technology Swinburne University of Technology Hawthorn3122 Australia National Vision Research Institute Australian College of Optometry Carlton3053 Australia
computational modeling helps neuroscientists to integrate and explain experimental data obtained through neurophysiological and anatomical studies, thus providing a mechanism by which we can better understand and pred... 详细信息
来源: 评论
Design Exploration and Scalability Analysis of a CMOS-Integrated, Polymorphic, Nanophotonic Arithmetic-Logic Unit  21
Design Exploration and Scalability Analysis of a CMOS-Integr...
收藏 引用
19th ACM Conference on Embedded Networked Sensor Systems, SenSys 2021
作者: Karempudi, Venkata Sai Praneeth Datta, Shreyan Thakkar, Ishan G University of Kentucky Kentucky Lexington United States National Institute of Technology Durgapur India
Over the past two decades, the clock speed, and hence, the singlecore performance of microprocessors has already stagnated. Following this, the recent faltering of Moore's law due to the CMOS fabrication technolog... 详细信息
来源: 评论
Perturbatively corrected ring-polymer instanton theory for accurate tunneling splittings
arXiv
收藏 引用
arXiv 2023年
作者: Lawrence, Joseph E. Dušek, Jindřich Richardson, Jeremy O. Laboratory of Physical Chemistry Eth Zürich Zürich8093 Switzerland
We introduce an approach for calculating perturbative corrections to the ring-polymer instanton approximation to tunneling splittings (RPI+PC), by computing higher-order terms in the asymptotic expansion in h. The res... 详细信息
来源: 评论
Computing Four-Point Functions with Integrability, Bootstrap and Parity Symmetry
arXiv
收藏 引用
arXiv 2023年
作者: Cavaglià, Andrea Gromov, Nikolay Preti, Michelangelo Dipartimento di Fisica Università di Torino INFN Sezione di Torino Via P. Giuria 1 Torino10125 Italy Department of Mathematics King's College London Strand LondonWC2R 2LS United Kingdom C. N. Yang Institute for Theoretical Physics Stony Brook University Stony BrookNY11794 United States Simons Center for Geometry and Physics Stony Brook University Stony BrookNY11794 United States
The combination of integrability and crossing symmetry has proven to give tight non-perturbative bounds on some planar structure constants in N=4 SYM, particularly in the setup of defect observables built on a Wilson-... 详细信息
来源: 评论
TAMAGAWA NUMBERS OF QUASI-SPLIT GROUPS OVER FUNCTION FIELDS
arXiv
收藏 引用
arXiv 2023年
作者: Köhl, Ralf Radhika, M.M. Rai, Ankit Kiel University Department of Mathematics Heinrich-Hecht-Platz 6 Kiel24118 Germany Kerala School of Mathematics Kerala Kozhikode673571 India Chennai Mathematical Institute Chennai603103 India
We use Morris’ theory of Eisenstein series for reductive groups over global function fields in order to extend Harder’s computation of Tamagawa numbers to quasi-split groups. © 2023, CC BY.
来源: 评论
SUFFICIENT CONDITIONS FOR THE EXISTENCE OF MINIMIZING HARMONIC MAPS WITH AXIAL SYMMETRY IN THE SMALL-AVERAGE REGIME
arXiv
收藏 引用
arXiv 2023年
作者: Di Fratta, Giovanni Slastikov, Valeriy V. Zarnescu, Arghir D. Dipartimento di Matematica e Applicazioni "R. Caccioppoli" Università degli Studi di Napoli "Federico II" Via Cintia Napoli80126 Italy School of Mathematics University of Bristol BristolBS8 1TW United Kingdom BCAM Basque Center for Applied Mathematics Mazarredo 14 Bizkaia BilbaoE48009 Spain IKERBASQUE Basque Foundation for Science Maria Diaz de Haro 3 Bizkaia Bilbao48013 Spain Simion Stoilow Institute of Mathematics of the Romanian Academy P.O. Box 1-764 BucharestRO-014700 Romania
The paper concerns the analysis of global minimizers of a Dirichlet-type energy functional defined on the space of vector fields H1(S,T), where S and T are surfaces of revolution. The energy functional we consider is ... 详细信息
来源: 评论
TRAJECTORY DESIGN IN THE VICINITY OF 65803 DIDYMOS BASED ON THE CENTER MANIFOLD theory
TRAJECTORY DESIGN IN THE VICINITY OF 65803 DIDYMOS BASED ON ...
收藏 引用
AAS/AIAA Astrodynamics Specialist Conference, 2020
作者: Hiraiwa, Naoki Bando, Mai Hokamoto, Shinji Department of Aeronautics and Astronautics Kyushu University 819-0395 Japan
This paper considers the dynamical environment of 65803 Didymos and applies the center manifold approximation method to compute quasi-periodic orbits. Its dynamical environment is known to be complex due to the unique... 详细信息
来源: 评论