咨询与建议

限定检索结果

文献类型

  • 456 篇 期刊文献
  • 280 篇 会议

馆藏范围

  • 736 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 491 篇 工学
    • 270 篇 计算机科学与技术...
    • 183 篇 软件工程
    • 80 篇 核科学与技术
    • 63 篇 信息与通信工程
    • 52 篇 电子科学与技术(可...
    • 36 篇 控制科学与工程
    • 34 篇 电气工程
    • 33 篇 仪器科学与技术
    • 32 篇 机械工程
    • 29 篇 生物工程
    • 26 篇 化学工程与技术
    • 24 篇 动力工程及工程热...
    • 22 篇 土木工程
    • 19 篇 材料科学与工程(可...
    • 16 篇 光学工程
    • 15 篇 冶金工程
    • 15 篇 航空宇航科学与技...
    • 13 篇 建筑学
  • 374 篇 理学
    • 227 篇 物理学
    • 90 篇 数学
    • 49 篇 地球物理学
    • 38 篇 生物学
    • 32 篇 化学
    • 27 篇 统计学(可授理学、...
    • 17 篇 系统科学
  • 101 篇 管理学
    • 69 篇 管理科学与工程(可...
    • 33 篇 图书情报与档案管...
    • 20 篇 工商管理
  • 18 篇 医学
    • 14 篇 基础医学(可授医学...
    • 14 篇 临床医学
  • 5 篇 经济学
  • 5 篇 法学
  • 5 篇 农学
  • 4 篇 教育学
  • 3 篇 文学
  • 1 篇 哲学
  • 1 篇 历史学
  • 1 篇 军事学
  • 1 篇 艺术学

主题

  • 106 篇 hadron colliders
  • 28 篇 w & z bosons
  • 24 篇 higgs bosons
  • 23 篇 computer archite...
  • 17 篇 cms
  • 15 篇 laboratories
  • 15 篇 wireless sensor ...
  • 15 篇 top quark
  • 12 篇 hypothetical par...
  • 12 篇 relativistic hea...
  • 11 篇 computer science
  • 10 篇 bottom quark
  • 10 篇 hadron-hadron sc...
  • 10 篇 convolution
  • 10 篇 cosmic rays
  • 10 篇 computational li...
  • 10 篇 telescopes
  • 9 篇 tau leptons
  • 9 篇 hardware
  • 9 篇 quark & gluon je...

机构

  • 152 篇 centro brasileir...
  • 151 篇 national and kap...
  • 151 篇 istanbul technic...
  • 151 篇 yerevan physics ...
  • 151 篇 charles universi...
  • 150 篇 university of sp...
  • 150 篇 indian institute...
  • 149 篇 universidad iber...
  • 147 篇 brunel universit...
  • 147 篇 rwth aachen univ...
  • 147 篇 university of de...
  • 146 篇 academy of scien...
  • 146 篇 imperial college...
  • 146 篇 department of ph...
  • 142 篇 indian institute...
  • 142 篇 institute for nu...
  • 140 篇 università di to...
  • 140 篇 centro de invest...
  • 139 篇 zhejiang univers...
  • 137 篇 infn sezione di ...

作者

  • 111 篇 g. tonelli
  • 111 篇 d. barney
  • 111 篇 l. valencia palo...
  • 111 篇 t. liu
  • 111 篇 c. hensel
  • 111 篇 a. garcia-bellid...
  • 111 篇 a. steen
  • 111 篇 n. cartiglia
  • 111 篇 n. colino
  • 111 篇 f. moortgat
  • 111 篇 b. clerbaux
  • 111 篇 g. sultanov
  • 111 篇 m. a. ciocci
  • 111 篇 k. lamichhane
  • 111 篇 s. maselli
  • 110 篇 a. babaev
  • 110 篇 v. karjavine
  • 110 篇 e. migliore
  • 110 篇 p. avery
  • 110 篇 l. silvestris

语言

  • 703 篇 英文
  • 19 篇 中文
  • 15 篇 其他
检索条件"机构=Computer Architecture and Languages Laboratory Institute of Computer Science"
736 条 记 录,以下是1-10 订阅
排序:
Block-gram:Mining knowledgeable features for efficiently smart contract vulnerability detection
收藏 引用
Digital Communications and Networks 2025年 第1期11卷 1-12页
作者: Xueshuo Xie Haolong Wang Zhaolong Jian Yaozheng Fang Zichun Wang Tao Li Tianjin Key Laboratory of Network and Data Security Technology TianjinChina College of Computer Science Nankai UniversityTianjinChina Key Laboratory of Blockchain and Cyberspace Governance of Zhejiang Province China State Key Laboratory of Computer Architecture Institute of Computing TechnologyChinese Academy of SciencesChina
Smart contracts are widely used on the blockchain to implement complex transactions,such as decentralized applications on *** vulnerability detection of large-scale smart contracts is critical,as attacks on smart cont... 详细信息
来源: 评论
Dual-step optimization for binary sequences with high merit factors
收藏 引用
Digital Signal Processing: A Review Journal 2025年 165卷
作者: Pšeničnik, Blaž Mlinarič, Rene Brest, Janez Bošković, Borko Computer Architecture and Languages Laboratory Institute of Computer Science Faculty of Electrical Engineering and Computer Science University of Maribor Koroška c. 46 Maribor2000 Slovenia
The problem of finding aperiodic low auto-correlation binary sequences (LABS) presents a significant computational challenge, particularly as the sequence length increases. Such sequences have important applications i... 详细信息
来源: 评论
Pedestrian wind flow prediction using spatial-frequency generative adversarial network
收藏 引用
Building Simulation 2024年 第2期17卷 319-334页
作者: Pengyue Wang Maozu Guo Yingeng Cao Shimeng Hao Xiaoping Zhou Lingling Zhao School of Architecture and Urban Planning Beijing University of Civil Engineering and ArchitectureBeijing100044China Beijing Key Laboratory of Intelligent Processing for Building Big Data Beijing100044China School of Electrical and Information Engineering Beijing University of Civil Engineering and ArchitectureBeijing100044China School of Computer Science and Technology Harbin Institute of TechnologyHarbin150001China
Pedestrian wind flow is a critical factor in designing livable residential environments under growing complex urban *** pedestrian wind flow during the early design stages is essential but currently suffers from ineff... 详细信息
来源: 评论
DUAL-STEP OPTIMIZATION FOR BINARY SEQUENCES WITH HIGH MERIT FACTORS
arXiv
收藏 引用
arXiv 2024年
作者: Pšeničnik, Blaž Mlinarič, Rene Brest, Janez Bošković, Borko Computer Architecture and Languages Laboratory Faculty of Electrical Engineering and Computer Science University of Maribor Slovenia
MSC Codes 68T20The problem of finding aperiodic low auto-correlation binary sequences (LABS) presents a significant computational challenge, particularly as the sequence length increases. Such sequences have important... 详细信息
来源: 评论
DRS: A deep reinforcement learning enhanced Kubernetes scheduler for microservice-based system
DRS: A deep reinforcement learning enhanced Kubernetes sched...
收藏 引用
作者: Jian, Zhaolong Xie, Xueshuo Fang, Yaozheng Jiang, Yibing Lu, Ye Dash, Ankan Li, Tao Wang, Guiling College of Computer Science Nankai University Tianjin China State Key Laboratory of Computer Architecture Institute of Computing Technology Chinese Academy of Sciences Beijing China College of Cyber Science Nankai University Tianjin China Department of Computer Science New Jersey Institute of Technology NewarkNJ United States
Recently, Kubernetes is widely used to manage and schedule the resources of microservices in cloud-native distributed applications, as the most famous container orchestration framework. However, Kubernetes preferentia... 详细信息
来源: 评论
The synergistic interplay of artificial intelligence and digital twin in environmentally planning sustainable smart cities:A comprehensive systematic review
收藏 引用
Environmental science and Ecotechnology 2024年 第4期20卷 79-104页
作者: Simon Elias Bibri Jeffrey Huang Senthil Kumar Jagatheesaperumal John Krogstie Swiss Federal Institute of Technology Lausanne(EPFL) Institute of Computer and Communication Sciences(IINFCOM)School of ArchitectureCivil and Environmental Engineering(ENAC)Media and Design Laboratory(LDM)1015LausanneSwitzerland Department of Electronics&Communication Engineering Mepco Schlenk Engineering CollegeSivakasi626005TamilnaduIndia Department of Computer Science Norwegian University of Science and Technology(NTNU)TrondheimNorway
The dynamic landscape of sustainable smart cities is witnessing a significant transformation due to the integration of emerging computational technologies and innovative *** advancements are reshaping data-driven plan... 详细信息
来源: 评论
WIP: An Engaging Undergraduate Intro to Model Checking in Software Engineering Using TLA+  54
WIP: An Engaging Undergraduate Intro to Model Checking in So...
收藏 引用
54th IEEE Frontiers in Education Conference, FIE 2024
作者: Läufer, Konstantin Mertin, Gunda Thiruvathukal, George K. Loyola University Software and Systems Laboratory Department of Computer Science Chicago United States Institute for Software Engineering and Programming Languages University of Lübeck Germany
Background: In this Innovative Practice Work in Progress, we present our initial efforts to integrate formal methods, with a focus on model-checking specifications written in Temporal Logic of Actions (TLA+), into com... 详细信息
来源: 评论
TSCMR:Two-Stage Cross-Modal Retrieval  9th
TSCMR:Two-Stage Cross-Modal Retrieval
收藏 引用
19th International Conference on Advanced Data Mining and Applications, ADMA 2023
作者: Chen, Zhihao Wang, Hongya School of Computer Science and Technology Donghua University Shanghai China State Key Laboratory of Computer Architecture Institute of Computing Technology CAS Beijing China Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai China
Currently, large-scale vision and language models has significantly improved the performances of cross-modal retrieval tasks. However, large-scale models require a substantial amount of computing resources, so the exe... 详细信息
来源: 评论
TransferTOD: A Generalizable Chinese Multi-Domain Task-Oriented Dialogue System with Transfer Capabilities
TransferTOD: A Generalizable Chinese Multi-Domain Task-Orien...
收藏 引用
2024 Conference on Empirical Methods in Natural Language Processing, EMNLP 2024
作者: Zhang, Ming Huang, Caishuang Wu, Yilong Liu, Shichun Zheng, Huiyuan Dong, Yurui Shen, Yujiong Dou, Shihan Zhao, Jun Ye, Junjie Zhang, Qi Gui, Tao Huang, Xuanjing School of Computer Science Fudan University China Shanghai Key Laboratory of Intelligent Information Processing Fudan University China Institute of Modern Languages and Linguistics Fudan University China
Task-oriented dialogue (TOD) systems aim to efficiently handle task-oriented conversations, including information collection. How to utilize TOD accurately, efficiently and effectively for information collection has a... 详细信息
来源: 评论
RoTBench: A Multi-Level Benchmark for Evaluating the Robustness of Large Language Models in Tool Learning
RoTBench: A Multi-Level Benchmark for Evaluating the Robustn...
收藏 引用
2024 Conference on Empirical Methods in Natural Language Processing, EMNLP 2024
作者: Ye, Junjie Wu, Yilong Gao, Songyang Huang, Caishuang Li, Sixian Li, Guanyu Fan, Xiaoran Zhang, Qi Gui, Tao Huang, Xuanjing School of Computer Science Fudan University China Institute of Modern Languages and Linguistics Fudan University China Shanghai Key Laboratory of Intelligent Information Processing Fudan University China
Tool learning has generated widespread interest as a vital means of interaction between Large Language Models (LLMs) and the physical world. Current research predominantly emphasizes LLMs' capacity to utilize tool... 详细信息
来源: 评论