咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是111-120 订阅
Enhancing Transparency and Privacy in Financial Fraud Detection: The Integration of Explainable AI and Federated Learning  33rd
Enhancing Transparency and Privacy in Financial Fraud Detect...
收藏 引用
33rd International conference on software and Data engineering
作者: Ahmad, Waquar Vashist, Aditya Sinha, Neel Prasad, Manisha Shrivastava, Vishesh Muzamal, Junaid Hussain Univ Calif San Diego La Jolla CA 92093 USA Univ Florida Gainesville FL 32611 USA Univ Texas Dallas Richardson TX 75083 USA Univ Minnesota Twin Cities Minneapolis MN USA Univ Minnesota Twin Cities St Paul MN USA Fast Natl Univ Comp & Emerging Sci Lahore Pakistan
The pervasive issue of fraudulent transactions presents a considerable challenge for financial institutions globally. Developing innovative fraud detection systems is critical to maintaining customer confidence. Howev... 详细信息
来源: 评论
An Efficient Graphics Data Retrieval Method Based on Data Conversion Schemes
An Efficient Graphics Data Retrieval Method Based on Data Co...
收藏 引用
2025 International conference on Electronics, Information, and Communication, ICEIC 2025
作者: Baek, Nakhoon School of Computer Science and Engineering Kyungpook National University Daegu41566 Korea Republic of Graduate School of Data Science Kyungpook National University Daegu41566 Korea Republic of Data-Driven Intelligent Mobility ICT Research Center Kyungpook National University Daegu41566 Korea Republic of
Modern computer graphics systems usually manage a set of internal data to store control parameters and all kind of graphics data. The behind problem on these graphics system data is that they are frequently updated an... 详细信息
来源: 评论
Investigation of the Architecture for A Application Creation Platform Leveraging Modern Technology on Smart Campus  24
Investigation of the Architecture for A Application Creation...
收藏 引用
5th International conference on computer Science and Management Technology, ICCSMT 2024
作者: Huang, Jie Ma, Kai He, Xiaosong He, Hongjing Institute of Big Data Technology and Application Chongqing Institute of Engineering Chongqing China School of Big Data and Artificial Intelligence Chongqing Institute of Engineering Chongqing China
Intelligent technologies are driving the development of smart campuses, fostering a dynamic and diverse intelligent ***, the current trend of customizing smart campus solutions often positions campus citizens as mere ... 详细信息
来源: 评论
Advancing Suicide Prevention Through Immersive Technology  17
Advancing Suicide Prevention Through Immersive Technology
收藏 引用
17th International conference on computer Supported Education, CSEDU 2025
作者: Chen, Shenghao Li, Yi Mei, Chao Joiner, Thomas Department of Psychology Florida State University Tallahassee United States Department of Software Engineering and Game Development Kennesaw State University Marietta United States
This study presents a novel translational method for suicide prevention research, employing customizable virtual reality (VR) simulations that mimic real-life situations. We aim to validate the usability of these VR s... 详细信息
来源: 评论
AccMILP: An Approach for Accelerating Neural Network Verification Based on Neuron Importance  28th
AccMILP: An Approach for Accelerating Neural Network Verific...
收藏 引用
28th International conference on engineering of Complex computer systems (ICECCS)
作者: Zheng, Fei Xu, Qingguo Lei, Zhou Miao, Huaikou Shanghai Univ Sch Comp Engn & Sci Shanghai Peoples R China Shanghai Key Lab Comp Software Evaluating & Testi Shanghai Peoples R China
Deep Neural Networks (DNNs) have found successful applications in various non-safety-critical domains. However, given the inherent lack of interpretability in DNNs, ensuring their prediction accuracy through robustnes... 详细信息
来源: 评论
Automated Pest Control: computer Vision for Wildlife Surveillance  24
Automated Pest Control: Computer Vision for Wildlife Surveil...
收藏 引用
7th International conference on Computational Intelligence and Intelligent systems, CIIS 2024
作者: Crossling, Cleveland J. Vadapalli, Hima Van Der Haar, Dustin Academy of Computer Science and Software Engineering University of Johannesburg GP Johannesburg South Africa
The integration of artificial intelligence in agriculture has revolutionized farming practices, enhancing crop yields and resource efficiency. However, existing machine learning systems primarily focus on livestock, o... 详细信息
来源: 评论
Cluster Based Classification of Question Independent C Codes  8th
Cluster Based Classification of Question Independent C Codes
收藏 引用
8th IFIP TC 12 International conference on computer, Communication and Signal Processing, ICCCSP 2024
作者: Vijjapu, Aditya Meti, Aditya H. Rao, Aniruddh Balakrishnan, Roshni M. Pati, Peeta Basa Department of Computer Science and Engineering Amrita School of Computing Amrita Vishwa Vidyapeetham Bengaluru India
In the field of software development, ensuring the accuracy and quality of code remains a paramount concern. The task of precisely classifying code as correct or incorrect poses inherent challenges. This research intr... 详细信息
来源: 评论
Extended Abstract of Poster: STARS: Tree-Based Classification and Testing of Feature Combinations in the Automated Robotic Domain  18
Extended Abstract of Poster: STARS: Tree-Based Classificatio...
收藏 引用
18th IEEE International conference on software Testing, Verification and Validation Workshops, ICSTW 2025
作者: Schallau, Till Schmid, Dominik Pawlinorz, Nick Naujokat, Stefan Howar, Falk TU Dortmund University Dortmund44227 Germany Fraunhofer Institute for Software and Systems Engineering Dortmund44147 Germany
Testing complex systems is crucial for ensuring safety, especially in automated driving, where diverse data sources and variable environments pose challenges. Here, robust safety validation is critical but exhaustive ... 详细信息
来源: 评论
Performance Heuristics for GR(1) Realizability Checking and Related Analyses  31th
Performance Heuristics for GR(1) Realizability Checking and...
收藏 引用
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
作者: Yatskan, Roy Shevrin, Ilia Maoz, Shahar Tel Aviv University Tel Aviv Israel
Reactive synthesis is an automated process for deriving correct-by-construction reactive systems from temporal specifications. GR(1), in particular, is a popular LTL fragment that balances efficient synthesis complexi...
来源: 评论
Examining the Advantages of Dynamic Communications software Design in Networks  5th
Examining the Advantages of Dynamic Communications Software ...
收藏 引用
5th International conference on Data Science, Machine Learning and Applications, ICDSMLA 2023
作者: Raghavendra, R. Das, Neeraj Inzimam Kurmi, Raviraj Singh Karnataka Bangalore India Maharishi School of Engineering and Technology Maharishi University of Information Technology Uttar Pradesh Lucknow India Department of Computer Science and Application Vivekananda Global University Jaipur India Noida Institute of Engineering and Technology Uttar Pradesh Greater Noida India
This paper examines the blessings of dynamic communications software program design in networks. By leveraging advances in generation, dynamic communications provide an ever-evolving method of connecting, communicatin... 详细信息
来源: 评论