咨询与建议

限定检索结果

文献类型

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

馆藏范围

  • 88,023 篇 电子文献
  • 8 种 纸本馆藏

日期分布

学科分类号

  • 46,744 篇 工学
    • 38,429 篇 计算机科学与技术...
    • 31,980 篇 软件工程
    • 6,381 篇 控制科学与工程
    • 6,313 篇 信息与通信工程
    • 5,566 篇 电气工程
    • 3,214 篇 机械工程
    • 2,951 篇 电子科学与技术(可...
    • 2,059 篇 生物工程
    • 1,599 篇 生物医学工程(可授...
    • 1,487 篇 安全科学与工程
    • 1,405 篇 动力工程及工程热...
    • 1,371 篇 仪器科学与技术
    • 1,274 篇 建筑学
    • 1,206 篇 土木工程
    • 1,147 篇 材料科学与工程(可...
    • 1,037 篇 光学工程
    • 1,029 篇 交通运输工程
  • 13,166 篇 理学
    • 7,356 篇 数学
    • 2,660 篇 物理学
    • 2,363 篇 系统科学
    • 2,245 篇 生物学
    • 1,766 篇 统计学(可授理学、...
  • 11,155 篇 管理学
    • 7,853 篇 管理科学与工程(可...
    • 4,113 篇 工商管理
    • 4,080 篇 图书情报与档案管...
  • 2,147 篇 教育学
    • 2,121 篇 教育学
  • 1,383 篇 医学
    • 1,181 篇 临床医学
    • 1,036 篇 基础医学(可授医学...
  • 1,378 篇 法学
    • 1,077 篇 社会学
  • 1,313 篇 经济学
    • 1,304 篇 应用经济学
  • 382 篇 农学
  • 257 篇 文学
  • 194 篇 军事学
  • 61 篇 艺术学
  • 2 篇 哲学
  • 2 篇 历史学

主题

  • 8,329 篇 application soft...
  • 5,921 篇 computer archite...
  • 5,689 篇 software enginee...
  • 5,291 篇 software
  • 5,225 篇 computer science
  • 4,425 篇 software systems
  • 4,162 篇 hardware
  • 3,535 篇 computer aided s...
  • 3,262 篇 control systems
  • 2,660 篇 computational mo...
  • 2,235 篇 costs
  • 2,093 篇 programming
  • 1,748 篇 computer softwar...
  • 1,740 篇 real time system...
  • 1,637 篇 testing
  • 1,508 篇 real-time system...
  • 1,458 篇 software design
  • 1,389 篇 protocols
  • 1,358 篇 information syst...
  • 1,319 篇 educational inst...

机构

  • 196 篇 college of compu...
  • 117 篇 school of comput...
  • 61 篇 school of comput...
  • 56 篇 college of compu...
  • 53 篇 school of comput...
  • 49 篇 department of co...
  • 39 篇 school of comput...
  • 38 篇 college of compu...
  • 37 篇 department of el...
  • 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...
  • 31 篇 school of softwa...
  • 29 篇 department of co...
  • 28 篇 school of comput...

作者

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

语言

  • 86,539 篇 英文
  • 1,017 篇 其他
  • 437 篇 中文
  • 32 篇 西班牙文
  • 18 篇 葡萄牙文
  • 15 篇 德文
  • 14 篇 土耳其文
  • 13 篇 俄文
  • 9 篇 法文
  • 4 篇 捷克文
  • 4 篇 日文
  • 2 篇 乌克兰文
  • 1 篇 朝鲜文
检索条件"任意字段=Israel Conference on Computer Systems and Software Engineering"
88029 条 记 录,以下是4951-4960 订阅
排序:
Generating Assurance Cases Using Workflow+ Models  41st
Generating Assurance Cases Using Workflow<SUP>+</SUP> Models
收藏 引用
41st International conference on Safety, Reliability, and Security of computer-Based systems (SAFECOMP)
作者: Annable, Nicholas Chiang, Thomas Lawford, Mark Paige, Richard F. Wassyng, Alan McMaster Univ McMaster Ctr Software Certificat Hamilton ON Canada
The increasing complexity and scale of safety-critical systems makes it challenging to perform necessary safety analyses and document them convincingly in an assurance case. In previous work we introduced Workflow(+),... 详细信息
来源: 评论
Malaria Prediction Using Fusion Learning with Enhanced Trust and Interpretability  5th
Malaria Prediction Using Fusion Learning with Enhanced Trust...
收藏 引用
5th International conference on Recent Trends in Machine Learning, IoT, Smart Cities, and Applications, ICMISC 2024
作者: Gangone, Anjali Swapna, Mandu Bharat Kumar, G.J. Department of Computer Science and Engineering CMR Institute of Technology Hyderabad India Department of Computer Science and Engineering Sreyas Institute of Engineering and Technology Telangana Hyderabad India
Malaria, a significant global health threat, is traditionally diagnosed through manual examination of blood smears for parasite-infected cells, a method limited by its reliance on the examiner’s expertise. To overcom... 详细信息
来源: 评论
Integrated Private Data Trading systems for Data Marketplaces  26
Integrated Private Data Trading Systems for Data Marketplace...
收藏 引用
26th European conference on Artificial Intelligence, ECAI 2023
作者: Li, Weidong Zhang, Mengxiao Zhang, Libo Liu, Jiamou School of Computer Science and Engineering University of Electronic Science and Technology of China China School of Computer Science The University of Auckland New Zealand Department of Computer Science Durham University United Kingdom
In the digital age, data is a valuable commodity, and data marketplaces offer lucrative opportunities for data owners to monetize their private data. However, data privacy is a significant concern, and differential pr... 详细信息
来源: 评论
engineering and Data-Driven Approaches for Load Forecasting: A Review
Engineering and Data-Driven Approaches for Load Forecasting:...
收藏 引用
Electrical and computer engineering Researches (ICECER), International conference on
作者: Alain Kakompe Mwebe Bongumsa Mendu Bessie Baakanyang Monchusi Department of Electrical Engineering and Mining Engineering University of South Africa Pretoria South Africa Asset Management Department National Transmission Company of South Africa SOC Ltd Johannesburg South Africa
Precise load forecasting is critical for ensuring the equilibrium between electricity supply and demand, reducing operational costs, and optimizing resource scheduling in power systems. In this study, a comprehensive ... 详细信息
来源: 评论
Subgradient Descent Learning with Over-the-Air Computation  48
Subgradient Descent Learning with Over-the-Air Computation
收藏 引用
48th IEEE International conference on Acoustics, Speech and Signal Processing, ICASSP 2023
作者: Gez, Tamir L. S. Cohen, Kobi Ben-Gurion University of the Negev School of Electrical and Computer Engineering Beer-Sheva Israel
We consider a distributed learning problem in a communication network, consisting of N distributed nodes and a central parameter server (PS). The computation is made by the PS and is based on received data from the no... 详细信息
来源: 评论
Utilisation of Electronic Games and Simulators in the Educational Process to Maintain and Train Human Brain and Physical Activity in a Pandemic  6
Utilisation of Electronic Games and Simulators in the Educat...
收藏 引用
6th International conference on Information Technologies in engineering Education, Inforino 2022
作者: Simonov, Vladimir Lapshina, Ekaterina Runov, Aleksandr Russian State Social University RSSU Faculty of Information Technologies Moscow Russia
The article researches the problems of utilization of electronic games and simulators modeling, which is carried out during the educational process within the framework of the disciplines Design and administration of ... 详细信息
来源: 评论
Exploring the Correlation Between systems Thinking and Soft Skills for Improved Effectiveness of Project Based Learning
Exploring the Correlation Between Systems Thinking and Soft ...
收藏 引用
IEEE Frontiers in Education conference (FIE)
作者: Shekh-Abed, Aziz Barakat, Nael Ruppin Acad Ctr Dept Elect & Comp Engn Emek Hefer Israel Univ Texas Tyler Dept Mech Engn Tyler TX USA
This research to practice work-in-progress discusses how engineering educators continue to explore approaches that integrate different needed skillsets and knowledge bases in a holistic and efficient educational proce... 详细信息
来源: 评论
Generalized Method for Rational Selection of Parameters for Interference Fits Using computer-Aided Joint Design systems  1
收藏 引用
6th International conference on Design, Simulation, Manufacturing: The Innovation Exchange, DSMIE 2023
作者: Nechiporenko, Vladimir Salo, Valentin Litovchenko, Petro Yemanov, Vladislav Horielyshev, Stanislav National Academy of the National Guard of Ukraine 3 Zakhysnykiv Ukrayiny Sq. Kharkiv61001 Ukraine
The next stage of modernization of the generalized method proposed by the authors for selecting rational parameters of interference fits based on mathematical modeling using computer-aided design software is completed... 详细信息
来源: 评论
Interaction-Based Offline Runtime Verification of Distributed systems  1
收藏 引用
10th IPM International conference on Fundamentals of software engineering, FSEN 2023
作者: Mahe, Erwan Bannour, Boutheina Gaston, Christophe Lapitre, Arnault Gall, Pascale Le Université Paris -Saclay CEA List Palaiseau91120 France Université Paris-Saclay CentraleSupélec Gif-sur-Yvette91192 France
Interactions are formal models describing asynchronous communications within a distributed system. They can be drawn in the fashion of sequence diagrams and associated with an operational semantics in the style of pro... 详细信息
来源: 评论
On the Second Quantization of Virtual Photons in Nanophotonic systems  16
On the Second Quantization of Virtual Photons in Nanophotoni...
收藏 引用
16th IEEE International conference on Advanced Trends in Radioelectronics, Telecommunications and computer engineering, TCSET 2022
作者: Gritsunov, Alexander Bondarenko, Igor Pashchenko, Oleksiy Bendeberya, Hennadii Karnaushenko, Volodimir Kopot, Mykhailo Kharkiv National University of Radio Electronics Department of Microelectronics Electronic Devices and Appliances 14 Nauky Ave Kharkiv61166 Ukraine Kharkiv National University of Radio Electronics Department of Software Engineering 14 Nauky Ave Kharkiv61166 Ukraine
Fundamental issues of quantum electrodynamics of nanophotonic systems essential for further progress of nanotechnology are considered. Hypothesis of natural oscillatory systems with distributed parameters (NOSs) as ba... 详细信息
来源: 评论