咨询与建议

限定检索结果

文献类型

  • 86,124 篇 会议
  • 2,723 册 图书
  • 1,726 篇 期刊文献
  • 4 篇 学位论文
  • 2 篇 科技报告

馆藏范围

  • 90,573 篇 电子文献
  • 8 种 纸本馆藏

日期分布

学科分类号

  • 46,771 篇 工学
    • 38,459 篇 计算机科学与技术...
    • 31,975 篇 软件工程
    • 6,391 篇 控制科学与工程
    • 6,351 篇 信息与通信工程
    • 5,584 篇 电气工程
    • 3,219 篇 机械工程
    • 2,960 篇 电子科学与技术(可...
    • 2,058 篇 生物工程
    • 1,600 篇 生物医学工程(可授...
    • 1,488 篇 安全科学与工程
    • 1,408 篇 动力工程及工程热...
    • 1,374 篇 仪器科学与技术
    • 1,271 篇 建筑学
    • 1,203 篇 土木工程
    • 1,161 篇 材料科学与工程(可...
    • 1,037 篇 光学工程
    • 1,031 篇 交通运输工程
  • 13,183 篇 理学
    • 7,373 篇 数学
    • 2,662 篇 物理学
    • 2,365 篇 系统科学
    • 2,244 篇 生物学
    • 1,768 篇 统计学(可授理学、...
  • 11,156 篇 管理学
    • 7,852 篇 管理科学与工程(可...
    • 4,112 篇 工商管理
    • 4,085 篇 图书情报与档案管...
  • 2,145 篇 教育学
    • 2,119 篇 教育学
  • 1,384 篇 医学
    • 1,180 篇 临床医学
    • 1,034 篇 基础医学(可授医学...
  • 1,377 篇 法学
    • 1,076 篇 社会学
  • 1,312 篇 经济学
    • 1,303 篇 应用经济学
  • 382 篇 农学
  • 257 篇 文学
  • 194 篇 军事学
  • 62 篇 艺术学
  • 2 篇 哲学
  • 2 篇 历史学

主题

  • 8,329 篇 application soft...
  • 7,111 篇 software enginee...
  • 5,921 篇 computer archite...
  • 5,292 篇 software
  • 5,225 篇 computer science
  • 4,425 篇 software systems
  • 4,162 篇 hardware
  • 3,534 篇 computer aided s...
  • 3,262 篇 control systems
  • 2,660 篇 computational mo...
  • 2,223 篇 costs
  • 2,093 篇 programming
  • 1,809 篇 artificial intel...
  • 1,744 篇 computer softwar...
  • 1,740 篇 real time system...
  • 1,619 篇 testing
  • 1,508 篇 real-time system...
  • 1,418 篇 software design
  • 1,371 篇 protocols
  • 1,350 篇 information syst...

机构

  • 197 篇 college of compu...
  • 114 篇 school of comput...
  • 59 篇 school of comput...
  • 56 篇 college of compu...
  • 54 篇 school of comput...
  • 49 篇 department of co...
  • 40 篇 college of compu...
  • 37 篇 department of el...
  • 37 篇 school of comput...
  • 36 篇 school of electr...
  • 36 篇 department of el...
  • 34 篇 institute of inf...
  • 33 篇 state key labora...
  • 32 篇 school of comput...
  • 32 篇 department of el...
  • 31 篇 department of co...
  • 31 篇 department of el...
  • 29 篇 department of co...
  • 28 篇 school of comput...
  • 27 篇 department of co...

作者

  • 49 篇 anon
  • 37 篇 bernady o. apduh...
  • 35 篇 bosch jan
  • 34 篇 o'connor rory v.
  • 28 篇 shaoying liu
  • 28 篇 li yang
  • 26 篇 dubinsky yael
  • 26 篇 ebrahim babaei
  • 22 篇 zhu huibiao
  • 21 篇 lei wang
  • 21 篇 dong jin song
  • 20 篇 katz guy
  • 19 篇 zhang lei
  • 17 篇 levent yilmaz
  • 17 篇 rui wang
  • 17 篇 wenyun zhao
  • 17 篇 shahar maoz
  • 17 篇 vardi moshe y.
  • 16 篇 weiming shen
  • 16 篇 noraziah a.

语言

  • 89,054 篇 英文
  • 1,053 篇 其他
  • 436 篇 中文
  • 32 篇 西班牙文
  • 18 篇 葡萄牙文
  • 15 篇 德文
  • 14 篇 土耳其文
  • 13 篇 俄文
  • 9 篇 法文
  • 4 篇 捷克文
  • 4 篇 日文
  • 2 篇 乌克兰文
  • 1 篇 朝鲜文
检索条件"任意字段=Israel Conference on Computer Systems and Software Engineering"
90579 条 记 录,以下是381-390 订阅
排序:
Linear Distribution System State Estimation with Synchrophasor Measurements and Voltage-Dependent Load Model
Linear Distribution System State Estimation with Synchrophas...
收藏 引用
2025 IEEE Texas Power and Energy conference, TPEC 2025
作者: Zargar, Behzad Ferdowsi, Mohsen Su, Jinshun Li, Yifu Dehghanian, Payman Hibberts-Caswell, Richard Fichtner GmbH & Co. KG Electrical System Studies Department Stuttgart70191 Germany Siemens Grid Software Nurnberg90459 Germany The George Washington University Department of Electrical & Computer Engineering WashingtonDC20025 United States
Distribution system state estimation (DSSE) is a critical enabler for distribution system operators (DSOs) to manage active distribution grids efficiently. Timely detection of state changes requires fast-executing sta... 详细信息
来源: 评论
Intelligent Decision Support System for Selection of Internal Devices for Installation of Electroplating
Intelligent Decision Support System for Selection of Interna...
收藏 引用
International conference on Power engineering and Intelligent systems, PEIS 2024
作者: Matrokhin, M. Nemtinov, V. Protasova, Yu Praveen, P.K. Morozov, V. Department of Computer-Integrated Systems in Mechanical Engineering Tambov State Technical University 106 Sovetskaya Street Tambov392000 Russia Department of Management Service and Tourism Tambov State University Named After G.R. Derzhavin 33 Internatsionalnaya Street Tambov392000 Russia AGG Lifesciences and Safety Solutions LLP 1102 Lodha Supremus Saki Vihar Road Opp. Saki Vihar MTNL Powai Maharashtra Mumbai400072 India
An approach for selecting internal devices for a multifunctional apparatus used for electroplating of parts in bulk based on the theory of expert systems is considered. The problem of optimal choice of devices and mat... 详细信息
来源: 评论
Comparison of Architectures of Deep Learning-Based Segmentation in Lower Extremity Human Thermal Imaging  3rd
Comparison of Architectures of Deep Learning-Based Segmentat...
收藏 引用
3rd International conference on Artificial Intelligence over Infrared Images for Medical Applications, AIIIMA 2024
作者: Yaşar, Mete Can Çevik, Mahmut Besnili, Şeyda Ceylan, Murat Faculty of Engineering and Natural Sciences The Department of Electrical and Electronics Engineering Konya Technical University Konya Turkey AIVISIONTECH Electronic Software Inc. Konya Turkey
Segmentation is the process of distinguishing the desired area in an image from the background and other objects. With the development of deep learning methods, the importance of segmentation has increased, and it is ... 详细信息
来源: 评论
Implicit Rankings for Verifying Liveness Properties in First-Order Logic  31th
Implicit Rankings for Verifying Liveness Properties in First...
收藏 引用
31st International conference on Tools and Algorithms for the Construction and Analysis of systems, TACAS 2025, which was held as part of the International Joint conferences on Theory and Practice of software, ETAPS 2025
作者: Lotan, Raz Shoham, Sharon Tel Aviv University Tel Aviv Israel
Liveness properties are traditionally proven using a ranking function that maps system states to some well-founded set. Carrying out such proofs in first-order logic enables automation by SMT solvers. However, reasoni... 详细信息
来源: 评论
Leveraging Requirements Elicitation through software Requirement Patterns and LLMs  31st
Leveraging Requirements Elicitation through Software Require...
收藏 引用
31st International Working conference on Requirements engineering: Foundation for software Quality, REFSQ 2025
作者: Franch, Xavier Gnesi, Stefania Paccosi, Federico Quer, Carme Semini, Laura Barcelona Spain Istituto di Scienza e Tecnologie dell’Informazione "A.Faedo" CNR Pisa Italy Dipartimento di informatica Università di Pisa Pisa Italy
[Context and motivation] software requirement patterns (SRPs) is one of the many techniques that contribute to requirements elicitation. At this respect, the emergence of large language models (LLMs) opens the door to... 详细信息
来源: 评论
GenomeCruzer, a 3D Interactive Environment for Genomic Data Visualization and Analysis
GenomeCruzer, a 3D Interactive Environment for Genomic Data ...
收藏 引用
18th International Joint conference on Biomedical engineering systems and Technologies, BIOSTEC 2025
作者: Anna, Cassisa Elhasnaoui, Jamal Chiara, Uliveto Corsi, Riccardo Grassi, Elena Stuchlík, Dalibor Trusolino, Livio Křenek, Aleš Vezzadini, Luca Bertotti, Andrea Isella, Claudio Medico, Enzo University of Torino Department of Oncology Torino Candiolo10060 Italy Candiolo10060 Italy Kairos3D via Agostino da Montefeltro 2 Turin10134 Italy Institute of Computer Science Masaryk University Šumavská 15 Brno60200 Czech Republic
The development of high-throughput sequencing technologies has generated vast amounts of multi-layered molecular data from human tumours, but effectively visualizing and analysing these complex datasets remains a sign... 详细信息
来源: 评论
Performance Analysis of Tesseract and EasyOCR for Bangla Optical Character Recognition on the Novel Bangla CrossHair Dataset  3
Performance Analysis of Tesseract and EasyOCR for Bangla Opt...
收藏 引用
3rd International conference on Intelligent systems, Advanced Computing, and Communication, ISACC 2025
作者: Chowdhury, Abdulla Nasir Sami, Aftar Ahmad Mamun, Shah Masud Parvej Absar, Shakib Rahman, Fuad Kohinoor, Saidur Rahman Leading University Department of Electrical and Electronic Engineering Sylhet Bangladesh Leading University Department of Computer Science and Engineering Sylhet Bangladesh Taylor's University Department of Software Engineering Kualalampur Malaysia King Fahd University of Petroleum and Minerals Department of Information and Computer Science Dhahran Saudi Arabia
This paper presents a comparative study of key metrics for OCR engines in Bangla language processing. PyTesseract (a Python wrapper for Tesseract OCR) and EasyOCR were benchmarked on a novel dataset, "Bangla-Cros... 详细信息
来源: 评论
BC-SBOM: Blockchain-based SBOM Management System
BC-SBOM: Blockchain-based SBOM Management System
收藏 引用
International conference on Advanced Communication Technology (ICACT)
作者: Ahyun Song Euiseong Seo Heeyoul Kim Department of Computer Science and Engineering Sungkyunkwan University Republic of Korea Division of Computer Science and Engineering Kyonggi University Republic of Korea
This paper presents BC-SBOM, a novel blockchain-based system designed to enhance the management of software Bills of Materials (SBOMs). By leveraging blockchain technology, BC-SBOM ensures secure storage and sharing o... 详细信息
来源: 评论
Plotting OSS-Based Supply Chain Attack Strategies and the Defense Failure  25th
Plotting OSS-Based Supply Chain Attack Strategies and the ...
收藏 引用
25th International conference on Information Security Applications, WISA 2024
作者: Sarang, Arpita Dinesh Choi, Sang-Hoon Park, Ki-Woong SysCore Lab Department of Information Security and Convergence Engineering for Intelligent Drone Sejong University Seoul05006 Korea Republic of SysCore Lab Sejong University Seoul05006 Korea Republic of Department of Information Security and Convergence Engineering for Intelligent Drone Sejong University Seoul05006 Korea Republic of
The supply chain attack, which targets open-source software, is currently the most discussed cyberattack. This is due to the recent open-source XZ utils and PyPI projects based attacks where the attackers employed sim... 详细信息
来源: 评论
Marlin: Enabling High-Throughput Congestion Control Testing in Large-Scale Networks  25
Marlin: Enabling High-Throughput Congestion Control Testing ...
收藏 引用
20th European conference on computer systems, EuroSys 2025, co-located 30th ACM International conference on Architectural Support for Programming Languages and Operating systems, ASPLOS 2025
作者: Chen, Yanqing Wang, Li Wang, Jingzhi Liu, Songyue He, Keqiang Wang, Jian Wang, Xiaoliang Dou, Wanchun Chen, Guihai Tian, Chen State Key Laboratory for Novel Software Technology Nanjing University China School of Electronic Science and Engineering Nanjing University China Shanghai Jiao Tong University China
Cloud providers require high-throughput traffic to test the effectiveness of congestion control (CC) configurations (i.e., CC algorithm selection and their parameter settings) in networks. A network tester capable of ... 详细信息
来源: 评论