咨询与建议

限定检索结果

文献类型

  • 7,830 篇 期刊文献
  • 4,465 篇 会议
  • 141 册 图书

馆藏范围

  • 12,436 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 7,355 篇 理学
    • 4,262 篇 数学
    • 2,712 篇 物理学
    • 1,209 篇 统计学(可授理学、...
    • 947 篇 生物学
    • 703 篇 系统科学
    • 635 篇 化学
    • 320 篇 地球物理学
  • 6,758 篇 工学
    • 3,620 篇 计算机科学与技术...
    • 2,639 篇 软件工程
    • 930 篇 控制科学与工程
    • 913 篇 信息与通信工程
    • 784 篇 电气工程
    • 700 篇 电子科学与技术(可...
    • 687 篇 生物工程
    • 539 篇 生物医学工程(可授...
    • 503 篇 材料科学与工程(可...
    • 488 篇 光学工程
    • 486 篇 化学工程与技术
    • 451 篇 力学(可授工学、理...
    • 404 篇 机械工程
    • 378 篇 动力工程及工程热...
    • 309 篇 仪器科学与技术
    • 254 篇 土木工程
    • 225 篇 建筑学
  • 1,251 篇 管理学
    • 766 篇 管理科学与工程(可...
    • 491 篇 图书情报与档案管...
    • 444 篇 工商管理
  • 529 篇 医学
    • 429 篇 临床医学
    • 354 篇 基础医学(可授医学...
  • 240 篇 法学
    • 212 篇 社会学
  • 189 篇 经济学
  • 156 篇 农学
  • 108 篇 教育学
  • 21 篇 文学
  • 17 篇 军事学
  • 16 篇 艺术学
  • 12 篇 哲学
  • 1 篇 历史学

主题

  • 345 篇 computer science
  • 338 篇 mathematics
  • 168 篇 machine learning
  • 123 篇 deep learning
  • 122 篇 optimization
  • 116 篇 computational mo...
  • 88 篇 polynomials
  • 86 篇 mathematical mod...
  • 83 篇 graph theory
  • 83 篇 artificial intel...
  • 74 篇 graphic methods
  • 68 篇 hadron colliders
  • 68 篇 stochastic syste...
  • 65 篇 predictive model...
  • 65 篇 decision making
  • 63 篇 higgs bosons
  • 62 篇 approximation al...
  • 62 篇 algebra
  • 62 篇 accuracy
  • 61 篇 inverse problems

机构

  • 413 篇 faculty of scien...
  • 413 篇 department for p...
  • 393 篇 department of ph...
  • 386 篇 department of ph...
  • 384 篇 department of ph...
  • 374 篇 kirchhoff-instit...
  • 335 篇 fakultät für phy...
  • 335 篇 institute of phy...
  • 329 篇 institute of phy...
  • 305 篇 department of ph...
  • 287 篇 instituto de fís...
  • 285 篇 dipartimento di ...
  • 280 篇 department of ph...
  • 276 篇 department of ph...
  • 267 篇 universidade fed...
  • 267 篇 ictp trieste
  • 259 篇 nikhef national ...
  • 258 篇 graduate school ...
  • 248 篇 department of ph...
  • 248 篇 high energy phys...

作者

  • 336 篇 c. alexa
  • 335 篇 g. bella
  • 335 篇 d. calvet
  • 335 篇 c. amelung
  • 334 篇 j. m. izen
  • 334 篇 g. spigo
  • 333 篇 j. strandberg
  • 329 篇 f. siegert
  • 320 篇 r. ströhmer
  • 316 篇 m. rijssenbeek
  • 315 篇 s. jin
  • 309 篇 g. gaudio
  • 307 篇 y. tayalati
  • 307 篇 s. mohapatra
  • 294 篇 s. guindon
  • 290 篇 m. klein
  • 283 篇 a. kaczmarska
  • 273 篇 j. schaarschmidt
  • 263 篇 f. pastore
  • 263 篇 a. d. pilkington

语言

  • 11,895 篇 英文
  • 482 篇 其他
  • 50 篇 中文
  • 3 篇 日文
  • 2 篇 德文
  • 2 篇 法文
  • 2 篇 俄文
检索条件"机构=Applied Mathematics Department Computer Science Program"
12436 条 记 录,以下是4991-5000 订阅
排序:
Design of integer filters for transmultiplexer perfect reconstruction
Design of integer filters for transmultiplexer perfect recon...
收藏 引用
European Signal Processing Conference (EUSIPCO)
作者: Bartosz Ziółko Mariusz Ziółko Michał Nowak Faculty of Electrical Engineering Automatics Computer Science and Electronics Department of Electronics Faculty of Applied Mathematics AGH University of Science and Technology Krakow Poland
A new and efficient method of designing the transmultiplexer filters is presented. The bilinear equations posed for the FIR filters are solved to achieve perfect reconstruction. For a given combining filter bank a sep... 详细信息
来源: 评论
Identifying Student Learning Styles using Support Vector Machine in The Felder-Silverman Learning Style Model
Identifying Student Learning Styles using Support Vector Mac...
收藏 引用
Advanced applied Informatics Winter (IIAI-AAI-Winter), International Congress on
作者: Jeffri Prayitno Bangkit Saputra Harjanto Prabowo Ford Lumban Gaol Gatot Fatwanto Hertono Doctor Of Computer Science Program Bina Nusantara University Jakarta Indonesia Department of Mathematics Indonesia University Jakarta Indonesia
This research explores the intricate relationship between questionnaire structures and the accuracy of learning style predictions among students. Focusing on the balance between core and secondary questions, the study...
来源: 评论
Isabelle/HOL as a meta-language for teaching logic
arXiv
收藏 引用
arXiv 2020年
作者: Halkjær, Asta Villadsen, Jørgen Blackburn, Patrick DTU Compute - Department of Applied Mathematics and Computer Science - Technical University of Denmark Section of Philosophy and Science Studies IKH Roskilde University Denmark
Proof assistants are important tools for teaching logic. We support this claim by discussing three formalizations in Isabelle/HOL used in a recent course on automated reasoning. The first is a formalization of System ... 详细信息
来源: 评论
A robot laboratory for teaching artificial intelligence  98
A robot laboratory for teaching artificial intelligence
收藏 引用
Proceedings of the twenty-ninth SIGCSE technical symposium on computer science education
作者: Deepak Kumar Lisa Meeden Department of Mathematics Bryn Mawr College Bryn Mawr PA Computer Science Program Swarthmore College Swarthmore PA
There is a growing consensus among computer science faculty that it is quite difficult to teach the introductory course on Artificial Intelligence well [4, 6]. In part this is because AI lacks a unified methodology, o...
来源: 评论
Generation and reconstruction of time-bin entangled ququarts
Generation and reconstruction of time-bin entangled ququarts
收藏 引用
Frontiers in Optics, FiO 2016
作者: Nowierski, Samantha J. Oza, Neal N. Kumar, Prem Kanter, Gregory S. Northwestern University Applied Physics Program 2220 Campus Drive EvanstonIL60208 United States Northwestern University Center for Photonic Communication and Computing Department of Electrical Engineering and Computer Science 2145 Sheridan Road EvanstonIL60208 United States
We generate and reconstruct a maximally-entangled time-bin ququart using quantum state tomography and polarization-projective measurements. We measure a fidelity of 93.7±0.4% to a maximally-entangled ququart with... 详细信息
来源: 评论
Recursive projection-aggregation decoding of Reed-Muller codes
arXiv
收藏 引用
arXiv 2019年
作者: Ye, Min Abbe, Emmanuel Mathematics Institute School of Computer and Communication Sciences EPFL Switzerland Program in Applied and Computational Mathematics Department of Electrical Engineering Princeton University Department of Electrical Engineering Princeton University United States
We propose a new class of efficient decoding algorithms for Reed-Muller (RM) codes over binary-input memoryless channels. The algorithms are based on projecting the code on its cosets, recursively decoding the project... 详细信息
来源: 评论
Speed-Robust Scheduling: Sand, Bricks, and Rocks
arXiv
收藏 引用
arXiv 2020年
作者: Eberle, Franziska Hoeksma, Ruben Megow, Nicole Nölke, Lukas Schewior, Kevin Simon, Bertrand London School of Economics and Political Sciences Department of Mathematics United Kingdom University of Twente Department of Applied Mathematics Netherlands University of Bremen Department of Mathematics and Computer Science Germany University of Southern Denmark Department of Mathematics and Computer Science Odense Denmark IN2P3 Computing Center CNRS Villeurbanne France
The speed-robust scheduling problem is a two-stage problem where, given m machines, jobs must be grouped into at most m bags while the processing speeds of the machines are unknown. After the speeds are revealed, the ... 详细信息
来源: 评论
From Optimal Design of Experiment to Safe System Identification in Type 2 Diabetes
收藏 引用
IFAC-PapersOnLine 2023年 第2期56卷 9654-9659页
作者: Sarah Ellinor Engell Henrik Bengtsson Jeppe Sturis Dimitri Boiroux John Bagterp Jørgensen Technical University of Denmark Department of Applied Mathematics and Computer Science DK-2800 Kgs Lyngby Denmark Novo Nordisk A/S DK-2880 Bagsværd Denmark
Model-based design of experiment (MBDoE) provides a framework to collect informative data for system identification. However, a parametric and structural mismatch between the design model and the underlying physical s... 详细信息
来源: 评论
Circle Graph Isomorphism in Almost Linear Time
arXiv
收藏 引用
arXiv 2019年
作者: Kalisz, Vít Klavík, Pavel Zeman, Peter Department of Applied Mathematics Faculty of Mathematics and Physics Charles University Prague Czech Republic Computer Science Institute Faculty of Mathematics and Physics Charles University Prague Czech Republic
Circle graphs are intersection graphs of chords of a circle. In this paper, we present a new algorithm for the circle graph isomorphism problem running in time O((n + m)α(n + m)) where n is the number of vertices, m ... 详细信息
来源: 评论
Continuous Monitoring and Distributed Anomaly Detection for Ambient Factors
Continuous Monitoring and Distributed Anomaly Detection for ...
收藏 引用
IEEE/ACM Int'l Conference on & Int'l Conference on Cyber, Physical and Social Computing (CPSCom) Green Computing and Communications (GreenCom)
作者: Yang-Chi Shen Alvin Chiang Yi-Ren Yeh Yuh-Jye Lee Department of Computer Science and Information Engineering National Taiwan University of Science and Technology Taipei Taiwan Department of Applied Mathematics Chinese Culture University Taipei Taiwan
Considering the diverse application scenarios involving wireless sensor networks (WSNs), accurate continuous monitoring requires a solution to the essential task of estimating unmeasured locations in the monitored spa... 详细信息
来源: 评论