咨询与建议

限定检索结果

文献类型

  • 7,766 篇 期刊文献
  • 4,462 篇 会议
  • 4 册 图书

馆藏范围

  • 12,232 篇 电子文献
  • 1 种 纸本馆藏

日期分布

学科分类号

  • 7,310 篇 理学
    • 4,246 篇 数学
    • 2,698 篇 物理学
    • 1,208 篇 统计学(可授理学、...
    • 938 篇 生物学
    • 704 篇 系统科学
    • 623 篇 化学
    • 320 篇 地球物理学
  • 6,712 篇 工学
    • 3,600 篇 计算机科学与技术...
    • 2,633 篇 软件工程
    • 922 篇 控制科学与工程
    • 904 篇 信息与通信工程
    • 766 篇 电气工程
    • 695 篇 电子科学与技术(可...
    • 684 篇 生物工程
    • 536 篇 生物医学工程(可授...
    • 490 篇 材料科学与工程(可...
    • 488 篇 光学工程
    • 477 篇 化学工程与技术
    • 446 篇 力学(可授工学、理...
    • 399 篇 机械工程
    • 369 篇 动力工程及工程热...
    • 310 篇 仪器科学与技术
    • 250 篇 土木工程
    • 220 篇 建筑学
  • 1,245 篇 管理学
    • 763 篇 管理科学与工程(可...
    • 488 篇 图书情报与档案管...
    • 442 篇 工商管理
  • 524 篇 医学
    • 426 篇 临床医学
    • 353 篇 基础医学(可授医学...
  • 237 篇 法学
    • 209 篇 社会学
  • 190 篇 经济学
  • 154 篇 农学
  • 108 篇 教育学
  • 21 篇 文学
  • 17 篇 军事学
  • 16 篇 艺术学
  • 12 篇 哲学
  • 1 篇 历史学

主题

  • 345 篇 computer science
  • 340 篇 mathematics
  • 160 篇 machine learning
  • 121 篇 deep learning
  • 116 篇 optimization
  • 116 篇 computational mo...
  • 91 篇 polynomials
  • 88 篇 mathematical mod...
  • 83 篇 graph theory
  • 73 篇 graphic methods
  • 68 篇 hadron colliders
  • 67 篇 stochastic syste...
  • 65 篇 predictive model...
  • 65 篇 decision making
  • 64 篇 accuracy
  • 63 篇 higgs bosons
  • 62 篇 approximation al...
  • 62 篇 algebra
  • 61 篇 inverse problems
  • 60 篇 image segmentati...

机构

  • 411 篇 faculty of scien...
  • 410 篇 department for p...
  • 392 篇 department of ph...
  • 386 篇 department of ph...
  • 382 篇 department of ph...
  • 371 篇 kirchhoff-instit...
  • 331 篇 fakultät für phy...
  • 331 篇 institute of phy...
  • 326 篇 institute of phy...
  • 303 篇 department of ph...
  • 283 篇 instituto de fís...
  • 282 篇 department of ph...
  • 282 篇 dipartimento di ...
  • 272 篇 department of ph...
  • 264 篇 ictp trieste
  • 263 篇 universidade fed...
  • 257 篇 nikhef national ...
  • 255 篇 graduate school ...
  • 250 篇 department of ph...
  • 244 篇 department of ph...

作者

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

语言

  • 11,698 篇 英文
  • 479 篇 其他
  • 52 篇 中文
  • 3 篇 日文
  • 2 篇 德文
  • 2 篇 法文
  • 2 篇 俄文
检索条件"机构=Applied Mathematics Department Computer Science Program"
12232 条 记 录,以下是61-70 订阅
排序:
Explain the Explainer: Interpreting Model-Agnostic Counterfactual Explanations of a Deep Reinforcement Learning Agent
IEEE Transactions on Artificial Intelligence
收藏 引用
IEEE Transactions on Artificial Intelligence 2024年 第4期5卷 1443-1457页
作者: Chen, Ziheng Silvestri, Fabrizio Tolomei, Gabriele Wang, Jia Zhu, He Ahn, Hongshik Stony Brook University Department of Applied Mathematics and Statistics Stony BrookNY11794 United States Sapienza University of Rome Department of Computer Engineering The Department of Computer Science Rome00185 Italy Xi'An Jiaotong-Liverpool University Department of Intelligent Science Suzhou215000 China Rutgers University-New Brunswick Department of Computer Science PiscatawayNJ08854 United States
Counterfactual examples (CFs) are one of the most popular methods for attaching post hoc explanations to machine learning models. However, existing CF generation methods either exploit the internals of specific models... 详细信息
来源: 评论
Availability assessment of repairable linear consecutive k-out-of-n: F systems incorporating uncertainty and multiple failure modes
收藏 引用
Life Cycle Reliability and Safety Engineering 2025年 1-10页
作者: Khati, Amisha Singh, S.B. Department of Mathematics Statistics and Computer Science G. B. Pant University of Agriculture and Technology Pantnagar India Department of Applied Science and Humanities RIT Roorkee India
This study evaluates the interval-valued availability of a linear consecutive k-out-of-n: F system while considering uncertainty, where the probability that the system will perform as intended is not known with precis... 详细信息
来源: 评论
HS–WOA–MANET: a hybrid meta-heuristic approach-based multi-objective constraints for energy efficient routing protocol in mobile ad hoc networks
收藏 引用
Journal of Reliable Intelligent Environments 2024年 第2期10卷 151-176页
作者: Goswami, Subhrananda Mondal, Sukumar Johardar, Subhankar Das, Chandan Bikash Research Centre of Natural and Applied Sciences Department of Computer Science Raja Narendra Lal Khan Women’s College Affiliated to Vidyasagar University Midnapore India Department of Mathematics Raja Narendra Lal Khan Women’s College Midnapore India Department of Computer Science Haldia Institute of Technology Haldia India Department of Mathematics Tamralipta Mahavidyalaya Tamluk India
A self-organizing, reconfigurable, and structure-less wireless network that provides intended communications without any radio infrastructure is called the mobile ad hoc network (MANETs). It is generally utilized in s... 详细信息
来源: 评论
The inverse nullity pair problem and the strong nullity interlacing property
收藏 引用
Linear Algebra and Its Applications 2024年 699卷 539-568页
作者: Abiad, Aida Curtis, Bryan A. Flagg, Mary Hall, H. Tracy Lin, Jephian C.-H. Shader, Bryan Department of Mathematics and Computer Science Eindhoven University of Technology Eindhoven Netherlands Department of Mathematics: Analysis Logic and Discrete Mathematics Ghent University Ghent Belgium Department of Mathematics Iowa State University AmesIA50011 United States Department of Mathematics Statistics and Computer Science University of St. Thomas HoustonTX United States Hall Labs LLC ProvoUT United States Department of Applied Mathematics National Sun Yat-sen University Kaohsiung80424 Taiwan University of Wyoming Colorado United States
The inverse eigenvalue problem studies the possible spectra among matrices whose off-diagonal entries have their zero-nonzero patterns described by the adjacency of a graph G. In this paper, we refer to the i-nullity ... 详细信息
来源: 评论
Inductive Inference and Epistemic Modal Logic  31
Inductive Inference and Epistemic Modal Logic
收藏 引用
31st EACSL Annual Conference on computer science Logic, CSL 2023
作者: Gierasimczuk, Nina Department of Applied Mathematics and Computer Science Technical University of Denmark Lyngby Denmark
This paper is concerned with a link between inductive inference and dynamic epistemic logic. The bridge was first introduced in [20, 21, 22]. We present a synthetic view on subsequent contributions: inductive truth-tr... 详细信息
来源: 评论
The Formulation of Finite Difference RBFWENO Schemes for Hyperbolic Conservation Laws:An Alternative Technique
收藏 引用
Advances in applied mathematics and Mechanics 2023年 第4期15卷 1023-1055页
作者: Rooholah Abedian Mehdi Dehghan School of Engineering Science College of EngineeringUniversity of TehranIran Department of Applied Mathematics Faculty of Mathematics and Computer ScienceAmirkabir University of TechnologyNo.424Hafez Ave.TehranIran
To solve conservation laws,efficient schemes such as essentially nonoscillatory(ENO)and weighted ENO(WENO)have been introduced to control the Gibbs *** on radial basis functions(RBFs)with the classical WENO-JS weights... 详细信息
来源: 评论
Multilevel Skeletonization Using Local Separators  39
Multilevel Skeletonization Using Local Separators
收藏 引用
39th International Symposium on Computational Geometry, SoCG 2023
作者: Bærentzen, J. Andreas Christensen, Rasmus Emil Gæde, Emil Toftegaard Rotenberg, Eva Department of Applied Mathematics and Computer Science Technical University of Denmark Lyngby Denmark
In this paper we give a new, efficient algorithm for computing curve skeletons, based on local separators. Our efficiency stems from a multilevel approach, where we solve small problems across levels of detail and com... 详细信息
来源: 评论
Two-Stage Secure Bottom-Up Load Coordination Mechanism in Distribution Grids  11
Two-Stage Secure Bottom-Up Load Coordination Mechanism in Di...
收藏 引用
11th IEEE International Conference on Smart Energy Grid Engineering, SEGE 2023
作者: Banaei, Mohsen Ebrahimy, Razgar Madsen, Henrik Technical University of Denmark Department of Applied Mathematics and Computer Science Lyngby Denmark
Demand-side flexibility as a new source of ancillary services is attracting growing attention. Aggregation and coordination mechanisms are needed to efficiently use the demand side flexibility. This paper proposes a n... 详细信息
来源: 评论
Optimization Analysis of Bus Operation Scheduling Considering Passenger and Cargo Sharing under Uncertain Demand
Optimization Analysis of Bus Operation Scheduling Considerin...
收藏 引用
2024 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2024
作者: Li, Jiacheng Noto, Masato Zhang, Yang Kanagawa University Department of Applied Systems and Mathematics Yokohama Japan Kanagawa University Department of Computer Science Yokohama Japan
In view of the problems faced during the ongoing development of public transport, such as departure intervals that are too long, low occupancy rates, difficulties making a profit, and high express delivery costs, bus ... 详细信息
来源: 评论
U-Net Based Vegetation Segmentation for Urban Green Space (UGS) Regulation in Yogyakarta City  8
U-Net Based Vegetation Segmentation for Urban Green Space (U...
收藏 引用
8th International Conference on Informatics and Computing, ICIC 2023
作者: Putri, Delfia Nur Anrianti Wijaya, Raden Bagus Muhammad AdryanPutra Adhy Nailfaaz Wahyono Computer Science Undergraduate Program Faculty of Mathematics and Natural Science Sleman Indonesia Faculty of Mathematics and Natural Science Department of Computer Science and Electronics Sleman Indonesia
Urban Green Space (UGS) plays a vital role in maintaining the balance of urban ecosystems. In Yogyakarta City, urban development and an increase in population accompanied by a decrease and insufficiency in the proport... 详细信息
来源: 评论